Learn About Quantum Amplitudes, Probabilities and EPR
This is a little note about quantum amplitudes. Even though quantum probabilities seem very mysterious, with weird interference effects and seemingly nonlocal effects, the mathematics of quantum amplitudes is completely straightforward. (The amplitude squared gives the probability.) As a matter of fact, the rules for computing amplitudes are almost the same as the classical rules for computing probabilities for a memoryless stochastic process. (Memoryless means that future probabilities depend only on the current state, not on how it got to that state.)
Table of Contents
Probabilities for stochastic processes:
If you have a stochastic process such as Brownian motion, then probabilities work this way:
Let [itex]P(i,t|j,t’)[/itex] be the probability that the system winds up in state [itex]i[/itex] at time [itex]t[/itex], given that it is in state [itex]j[/itex] at time [itex]t'[/itex].
Then these transition probabilities combine as follows: (Assume [itex]t’ < t” < t[/itex])
[itex]P(i,t|j,t’) = \sum_k P(i,t|k,t”) P(k,t”|j,t’)[/itex]
where the sum is over all possible intermediate states [itex]k[/itex].
There are two principles at work here:
- In computing the probability for going from state [itex]j[/itex] to state [itex]k[/itex] to state [itex]i[/itex], you multiply the probabilities for each “leg” of the path.
- In computing the probability for going from state [itex]j[/itex] to state [itex]i[/itex] via an intermediate state, you add the probabilities for each alternative intermediate state.
These are exactly the same two rules for computing transition amplitudes using Feynman path integrals. So there is an analogy: amplitudes are to quantum mechanics as probabilities are to classical stochastic processes.
Continuing with the analogy, we can ask the question as to whether there is a local hidden variables theory for quantum amplitudes. The answer is YES.
Local “hidden-variables” model for EPR amplitudes
Here’s a “hidden-variables” theory for the amplitudes for the EPR experiment.
First, a refresher on the probabilities for the spin-1/2 anti-correlated EPR experiment, and what a “hidden-variables” explanation for those probabilities would be:
In the EPR experiment, there is a source for anti-correlated electron-positron pairs. One particle of each pair is sent to Alice, and another is sent to Bob. They each measure the spin relative to some axis that they choose independently.
Assume Alice chooses her axis at angle [itex]\alpha[/itex] relative to the x-axis in the x-y plane, and Bob chooses his to be at angle [itex]\beta[/itex] (let’s confine the orientations of the detectors to the x-y plane so that orientation can be given by a single real number, an angle). Then the prediction of quantum mechanics is that probability that Alice will get the result [itex]A[/itex] (+1 for spin-up, relative to the detector orientation, and -1 for spin-down) and Bob will get result [itex]B[/itex] is:
[itex]P(A, B | \alpha, \beta) = \frac{1}{2} sin^2(\frac{\beta-\alpha}{2}) [/itex] if [itex]A = B[/itex]
[itex]P(A, B | \alpha, \beta) = \frac{1}{2} cos^2(\frac{\beta-\alpha}{2}) [/itex] if [itex]A \neq B[/itex]
A “local hidden variables” explanation for this result would be given by a probability distribution [itex]P(\lambda)[/itex] on values of some hidden variable [itex]\lambda[/itex], together with probability distributions
[itex]P_A(A | \alpha, \lambda)[/itex]
[itex]P_B(B | \beta, \lambda)[/itex]
such that
[itex]P(A, B | \alpha, \beta) = \sum P(\lambda) P_A(A|\alpha, \lambda) P_B(B|\beta, \lambda)[/itex]
(where the sum is over all possible values of [itex]\lambda[/itex]; if [itex]\lambda[/itex] is continuous, the sum should be replaced by [itex]\int d\lambda[/itex].)
The fact that the QM predictions violate Bell’s inequality proves that there is no such hidden-variables explanation of this sort.
But now, let’s go through the same exercise in terms of amplitudes, instead of probabilities. The amplitude for Alice and Bob to get their respective results is basically the square-root of the probability (up to a phase). So let’s consider the amplitude:
[itex]\psi(A, B|\alpha, \beta) \sim \frac{1}{\sqrt{2}} sin(\frac{\beta – \alpha}{2})[/itex] if [itex]A = B[/itex], and
[itex]\psi(A, B|\alpha, \beta) \sim \frac{1}{\sqrt{2}} cos(\frac{\beta – \alpha}{2})[/itex] if [itex]A \neq B[/itex].
(I’m using the symbol [itex]\sim[/itex] to mean “equal up to a phase”; I’ll figure out a convenient phase as I go).
In analogy with the case for probabilities, let’s say a “hidden variables” explanation for these amplitudes will be a parameter [itex]\lambda[/itex] with associated functions [itex]\psi(\lambda)[/itex], [itex]\psi_A(A|\lambda, \alpha)[/itex], and [itex]\psi_B(B|\lambda, \beta)[/itex] such that:
[itex]\psi(A, B|\alpha, \beta) = \sum \psi(\lambda) \psi_A(A | \alpha, \lambda) \psi_B(B | \beta, \lambda)[/itex]
where the sum ranges over all possible values for the hidden variable [itex]\lambda[/itex].
I’m not going to bore you (any more than you are already) by deriving such a model, but I will just present it:
- The parameter [itex]\lambda[/itex] ranges over the two-element set, [itex]\{ +1, -1 \}[/itex]
- The amplitudes associated with these are: [itex]\psi(\lambda) = \frac{\lambda}{\sqrt{2}} = \pm \frac{1}{\sqrt{2}}[/itex]
- When [itex]\lambda = +1[/itex], [itex]\psi_A(A | \alpha, \lambda) = A \frac{1}{\sqrt{2}} e^{i \alpha/2}[/itex] and [itex]\psi_B(B | \beta, \lambda) = \frac{1}{\sqrt{2}} e^{-i \beta/2}[/itex]
- When [itex]\lambda = -1[/itex], [itex]\psi_A(A | \alpha, \lambda) = \frac{1}{\sqrt{2}} e^{-i \alpha/2}[/itex] and [itex]\psi_B(B | \alpha, \lambda) = B \frac{1}{\sqrt{2}} e^{i \beta/2}[/itex]
Check:
[itex]\sum \psi(\lambda) \psi_A(A|\alpha, \lambda) \psi_B(B|\beta, \lambda) = \frac{1}{\sqrt{2}} (A \frac{1}{\sqrt{2}} e^{i \alpha/2}\frac{1}{\sqrt{2}} e^{-i \beta/2} – \frac{1}{\sqrt{2}} e^{-i \alpha/2} B \frac{1}{\sqrt{2}} e^{+i \beta/2})[/itex]
If [itex]A = B = \pm 1[/itex], then this becomes (using [itex]sin(\theta) = \frac{e^{i \theta} – e^{-i \theta}}{2i}[/itex]):
[itex] = \pm 1 \frac{i}{\sqrt{2}} sin(\frac{\alpha – \beta}{2})[/itex]
If [itex]A = -B = \pm 1[/itex], then this becomes (using [itex]cos(\theta) = \frac{e^{i \theta} + e^{-i \theta}}{2}[/itex]):
[itex] = \pm 1 \frac{1}{\sqrt{2}} cos(\frac{\alpha – \beta}{2})[/itex]
So we have successfully reproduced the quantum predictions for amplitudes (up to the phase [itex]\pm 1[/itex]).
What does it mean?
In a certain sense, what this suggests is that quantum mechanics is a sort of “stochastic process”, but where the “measure” of possible outcomes of a transition is not real-valued probabilities but complex-valued probability amplitudes. When we just look in terms of amplitudes, everything seems to work out the same as it does classically, and the weird correlations that we see in experiments such as EPR are easily explained by local hidden variables, just as Einstein, Podolsky, and Rosen hoped. But in actually testing the predictions of quantum mechanics, we can’t directly measure amplitudes, but instead compile statistics that give us probabilities, which are the squares of the amplitudes. The squaring process is in some sense responsible for the weirdness of QM correlations.
Do these observations contribute anything to our understanding of QM? Beats me. But they are interesting.
[QUOTE="RockyMarciano, post: 5641842, member: 585697"]True, but it is in the context of complex numbers that you can integrate those nonpositive amplitudes in a coherent mathematical way.I think we basically agree that all the weirdness is due to using complex numbers instead of reals as inputs(as commented by Lavinia in previous post this is nothing new), so maybe my point is just a nitpicking that might seem pedantic, but mathematically I think it is important to remark that the difference between classical and EPR correlations is not just the squaring, but as you say the squaring combined with more things that conform the complex structure of QM.”Well, it's more dramatic with complex amplitudes, but interference effects would show up even if all amplitudes are positive real numbers.Suppose you do a double slit experiment with positive real amplitudes. A photon can either go through the left slit, with probability [itex]p[/itex], or the other slit, with probability [itex]1-p[/itex]. If it goes through the left slit, say that it has a probability of [itex]q_L[/itex] of triggering a particular photon detector. If it goes through the right slit, say that it has a probability of [itex]q_R[/itex] of triggering that detector. Then the amplitude for triggering the detector, when you don't observe which slit it goes through, is:[itex]psi = sqrt{p} sqrt{q_L} + sqrt{1-p}sqrt{q_R}[/itex]leading to a probability[itex]P = |psi|^2 = p q_L + (1-p) q_R + 2 sqrt{p(1-p)q_L q_R}[/itex]That last term is the interference term, and it seems nonlocal, in the sense that it depends on details of both paths (and so in picturesque terms, the photon seems to have taken both paths). Without negative numbers, the interference term is always positive, so you don't have the stark pattern of zero-intensity bands that come from cancellations, but you still have a similar appearance of nonlocality.
[QUOTE="stevendaryl, post: 5641822, member: 372855"]Well, it's the combination of nonpositive amplitudes and squaring that leads to interference effects. (You don't need complex amplitudes for that, just negative ones).”True, but it is in the context of complex numbers that you can integrate those nonpositive amplitudes in a coherent mathematical way. I think we basically agree that all the weirdness is due to using complex numbers instead of reals as inputs(as commented by Lavinia in previous post this is nothing new), so maybe my point is just a nitpicking that might seem pedantic, but mathematically I think it is important to remark that the difference between classical and EPR correlations is not just the squaring, but as you say the squaring combined with more things that conform the complex structure of QM.
[QUOTE="RockyMarciano, post: 5641815, member: 585697"]To be specific, the probability amplitudes used to obtain probability densities are different from the amplitudes up to sign obtained from the square root of the probabilities. Namely, only the former have a complex phase, so it seems it is this complex phase rather than their squaring that is responsible for the differences between classical and quantum correlations.”Well, it's the combination of nonpositive amplitudes and squaring that leads to interference effects. (You don't need complex amplitudes for that, just negative ones).
[QUOTE="Jilang, post: 5640513, member: 492883"]Rocky, my understanding is that the maths is just a convenience. Complex numbers have the ability to reduce two real solutions to one complex one.”In general you are right that math is just a convenient tool to describe the physics, but I'm not questioning this when I try to anlayze the role of the complex structure of amplitudes in the context of classical probabilties versus EPR.I think if we are invited to think about and draw conclusions from the clear set up in the OP we have to consider the role of the complex structure in this particular case, not necessarily to derive anything about nature but about the mathematical meaning of the variables involved here and therefore wich are the valid conclusions to draw if any..To be specific, the probability amplitudes used to obtain probability densities are different from the amplitudes up to sign obtained from the square root of the probabilities. Namely, only the former have a complex phase, so it seems it is this complex phase rather than their squaring that is responsible for the differences between classical and quantum correlations. It would be interesting to know if somebody disagrees with this or thinks it is irrelevant and if so why.
It's how nature works, assuming we have "this typical Bell-type experiment" – i.e., the particular experiment that [USER=372855]@stevendaryl[/USER] proposed. The two particles are entangled with opposite spins – sometimes called a "Bell state". Therefore "when their detector angles are equal, they will always detect the opposite".The term "Bell-type" is vague. I don't think there's any official definition. To me it does not necessarily mean entanglement with opposite spins, although that's most common, and that's how Bell originally did it. They could instead be in the "twin state" so that they must have the same spin for the same angles. I even use that term sometimes when I'm not talking about Bell's inequality at all, but something similar like CHSH inequality. Almost any experiment that demonstrates the conclusion Bell came up with (ruling out realist, local hidden-variables model) might be referred to, loosely, as "Bell-type". The meaning should be clear from context.If others disagree with my use of this term "Bell-type", I won't argue, maybe they're right.
[QUOTE="secur, post: 5634338, member: 588176"]Seems there's some confusion. I think the best way to straighten it out is, please address the other point I made, which is very simple.In this typical Bell-type experiment, QM says A and B must always be opposite (product is -1) when their detector angles are equal. A valid hidden-variable model must reproduce that behavior. But that's not the case with your model:”Can you clarify? I may be misunderstanding this.Do you mean "when their detector angles are equal, they will always detect the opposite" as a statement of how nature works or as a way of classifying whether an experiment is "bell-type" or not?
[QUOTE="Jilang, post: 5640513, member: 492883"]Rocky, my understanding is that the maths is just a convenience. Complex numbers have the ability to reduce two real solutions to one complex one.”I think that's not the right way to look at QM. It's true that anywhere in math you can always reformulate complex numbers in terms of reals. But that doesn't mean the complex numbers have no physical meaning. Contrast QM to EM. You can do EM calculations using complex numbers but when finally getting the solution you take the real part. In that case the complex numbers are indeed "just a convenience" and EM (Maxwell's eqns) are naturally expressed with reals. But that's not the case with QM, where "i" has a deep physical meaning.Consider two and three dimensions. We could say they're "just a convenience": they can be represented as tensor products of two and three 1-dimensional real number lines. But not only is that very awkward, also it doesn't negate the fact that the two and three dimensions have very important physical relevance. Or, consider transcendental numbers like pi and e. For any given problem we can get an arbitrarily accurate answer by representing pi and e as finite rational numbers, with enough decimal places. But still, the exact transcendental numbers have very important physical meaning (circumference of circle, Euler's number). The point: the fact we can get rid of "i" in QM by awkwardly using coupled real number equations (actually it's even more trouble than that), doesn't mean it has no physical significance.My favorite way of seeing that significance comes from Paul Dirac. The Hilbert space vector which represents a pure state always has norm 1, of course (that's why we're dealing with projective Hilbert Space). Thus the wavefunction represents a point on the unit sphere (in infinite dimensions). Now, what is the time derivative of that vector? It can only move on the unit circle: that means it can only move orthogonally to its direction. So the time derivative must be 90 degrees from the state vector's direction. 90 degrees rotation is represented by multiplying by "i". So the time derivative is i times the direction of the vector, and that's what the "i" on the left side of Schroedinger's eqn is for. Over-simplifying a bit.BTW David Hestenes with his Geometric Algebra or Space-Time Algebra strongly makes the point that "i" is unnecessary in QM. But that doesn't contradict what I said above. He just substitutes a different square root of -1. (There are infinitely many square roots of -1 in geometric algebra.) So he still agrees that a quantity similar to i, playing the same role, has deep physical significance.
Rocky, my understanding is that the maths is just a convenience. Complex numbers have the ability to reduce two real solutions to one complex one.
[QUOTE="lavinia, post: 5639692, member: 243745"]Just that the time evolutions of QM systems are like stochastic processes with amplitudes and conditional amplitudes instead of probabilities and conditional probabilities. The reason for this is that the passage of time itself is a linear operator for any time increment. The Shroedinger equation for a free particle is only one example.”Absolutely, the importance of the amplitudes being complex in the shift from classical to quantum theories has been known from the beginning and was underlined by Feynman more than half a century ago.What I was trying to convey is that by using a pure state bipartite system something more about how what you call general principle actually works can be deduced. But maybe it would lead to depart slightly from the conclusions in the (now) insights article of the OP.I mean let's pretend that, as secur pointed out earlier, the conclusion that all the difference between the classical and the quantum correlations lies in the process of squaring the amplitudes is not completely correct and the difference lies actually in the amplitudes. Since stevendaryl showed that the only difference between the square root amplitudes and the usual quantum amplitudes is a +/- sign, i.e. a global phase, let's pretend(please bear with me) that this difference normally considered irrelevant is somehow not irrelevant in this case. Can anybody think of a mathematical reason global phase might be relevant for the argument of complex numbers?It is relevant at least formally in the analysis of EPR correlations in the form of one of the three angles needed for the analysis, that many peolple finds odd as they think it would be enough with two angles for the difference between the polarizers. This might give a clue for the question above.
[QUOTE="RockyMarciano, post: 5639564, member: 585697"]I'm not sure what general principle you are referring to, can you state it explicitly?”Just that the time evolutions of QM systems are like stochastic processes with amplitudes and conditional amplitudes instead of probabilities and conditional probabilities. The reason for this is that the passage of time itself is a linear operator for any time increment. The Shroedinger equation for a free particle is only one example.
[QUOTE="lavinia, post: 5639085, member: 243745"]There is a general principle being described here.”I'm not sure what general principle you are referring to, can you state it explicitly?
[QUOTE="RockyMarciano, post: 5639042, member: 585697"]Sure, but that was a more general case, the nice thing here is that it is simplified to the two-state system in Bell's inequalities, and it is much easier to see how the amplitudes being complex can convey just the right amount of info about phase when squared so that the nonlocal statistical correlations of the physics can be correctly predicted.While it doesn't explain why nature is like this it shows how the math gets it right and how this cannot be done with classical probabilities.”There is a general principle being described here. A good exercise by the way is to see how discrete Brownian motion leads to the Heat Equation.
[QUOTE="lavinia, post: 5638852, member: 243745"]One can derive the Shroedinger equation from the assumption that the process of state evolution is like a Markov process except with conditional probabilities replaced by conditional amplitudes.”Sure, but that was a more general case, the nice thing here is that it is simplified to the two-state system in Bell's inequalities, and it is much easier to see how the amplitudes being complex can convey just the right amount of info about phase when squared so that the nonlocal statistical correlations of the physics can be correctly predicted. While it doesn't explain why nature is like this it shows how the math gets it right and how this cannot be done with classical probabilities.
[QUOTE="Jilang, post: 5638916, member: 492883"]Thanks but I was meaning the derivation itself.”Feynmann has the derivation. I will write it out when I have time.
In a non-QM context, complex numbers have been used in the place of real number transition probabilites in Markov chains. The simplest example, I know of this is the paper : http://bidabad.com/doc/complex-prob.pdf. The general idea is that the we have data for a Markov process who steps occur increments of time T and we wish to have a model that proceeds in smaller steps of time or a model that is a continuous time Markov process. I don't know what approach this paper takes, but it's an oft-cited work:D.R. Cox, A use of Complex Probabilities in the Theory of Stochastic Processesshttps://www.cambridge.org/core/journals/mathematical-proceedings-of-the-cambridge-philosophical-society/article/div-classtitlea-use-of-complex-probabilities-in-the-theory-of-stochastic-processesdiv/3DE2C9013903EDD218F5B85129F65B2CI don't subscribe to that site and I haven't been able to find a free article that gives that citation and also explains the concept of the paper.
[QUOTE="lavinia, post: 5638906, member: 243745"]Feynmann's Lecture Volume 3. There is another post where I wrote out what Feynmann said. Forget what it was called.”Thanks but I was meaning the derivation itself.
[QUOTE="Jilang, post: 5638904, member: 492883"]That's interesting. Do you have link for that?”Feynmann's Lecture Volume 3. There is another post where I wrote out what Feynmann said. Forget what it was called.
[QUOTE="lavinia, post: 5638852, member: 243745"]One can derive the Shroedinger equation from the assumption that the process of state evolution is like a Markov process except with conditional probabilities replaced by conditional amplitudes.”That's interesting. Do you have link for that?
One can derive the Shroedinger equation from the assumption that the process of state evolution is like a Markov process except with conditional probabilities replaced by conditional amplitudes.
[QUOTE="lavinia, post: 5638241, member: 243745"]The Shroedinger Equation for a free particle is just the Heat Equation with an ##i## thrown in. It is no surprise that it should behave like a complex diffusion – meaning that conditional amplitudes replace conditional probabilities.”This is indeed no surprise, but the OP shows a little more than this. At least I thought that what it was highlighting by using the amplitudes obtained from the squared root of the probabilities(i.e. going backwards with respect to the usual process from complex amplitudes to probabilities) and therefore up to phase, which led to a local hidden variables model of those amplitudes, was the contrast with the usual forward procedure from complex amplitudes being multiplied to their complex conjugates and where some info about phase makes it to the probabilities. This can't happen with classical probabilities and real valued inputs for obvious mathematical reasons.
The Shroedinger Equation for a free particle is just the Heat Equation with an ##i## thrown in. It is no surprise that it should behave like a complex diffusion – meaning that conditional amplitudes replace conditional probabilities.
[QUOTE="secur, post: 5638106, member: 588176"]The only problem (as I indicated before) is that using this approach, you can make it result in the correct probabilities, namely, 1/2 cos^2 and sin^2 of ([itex]alpha[/itex] – [itex]beta[/itex])/2. That seems to undermine the conclusion that "The squaring process is in some sense responsible for the weirdness of QM correlations".”That sentence may be ambiguous in its meaning, I think that rather than making certain operation responsible for any perceived weirdness, what is shown is how the formalism (Born rule)attains nonlocal correlations from local amplitudes not connected to measurements directly. It is of course nature that is responsible for the lack of predetermined values of measurements, not any mathematical operation.
The only problem (as I indicated before) is that using this approach, you can make it result in the correct probabilities, namely, 1/2 cos^2 and sin^2 of ([itex]alpha[/itex] – [itex]beta[/itex])/2. That seems to undermine the conclusion that "The squaring process is in some sense responsible for the weirdness of QM correlations".
[QUOTE="stevendaryl, post: 5633307, member: 372855"]What does it mean?In a certain sense, what this suggests is that quantum mechanics is a sort of "stochastic process", but where the "measure" of possible outcomes of a transition is not real-valued probabilities but complex-valued probability amplitudes. When we just look in terms of amplitudes, everything seems to work out the same as it does classically, and the weird correlations that we see in experiments such as EPR are easily explained by local hidden variables, just as Einstein, Podolsky and Rosen hoped. But in actually testing the predictions of quantum mechanics, we can't directly measure amplitudes, but instead compile statistics which give us probabilities, which are the squares of the amplitudes. The squaring process is in some sense responsible for the weirdness of QM correlations.Do these observations contribute anything to our understanding of QM? Beats me. But they are interesting.”[QUOTE="stevendaryl, post: 5634793, member: 372855"]. as I said in the very first post, amplitudes don't correspond directly to anything can measure, unlike probabilities, so it's unclear what relevance this observation is. I just thought it was interesting.”[QUOTE="stevendaryl, post: 5635253, member: 372855"]The screwy thing about the amplitude story is that we have an intuitive idea about what it means to choose a value according to a certain probability distribution (rolling dice, for instance), but we don't have an intuitive idea about what it means to choose a value according to a certain amplitude.”I do think these observations might contribute to a better understanding in that they analyze a specific quantum situation in wich it is very clear that the amplitudes cannot correspond to measurements, given the bipartite system prepared as pure states used, so only the probabilities are relevant, so while it is clean enough that can never raise any doubt about Bell's theorem it gives us hints about how complex amplitudes being squared erase any trace of hidden variables in QM and therefore helps clarify the mathematical device that the formulism uses to achieve this.
[QUOTE="zonde, post: 5637534, member: 129046"]For your model to work in EPR case you would have to model post-processing using amplitudes i.e. detection results would have to remain hidden variables until coincidences are obtained and "measured".”I think you are under a similar confusion that secur initially had concerning what the OP model intends. If it "worked" in the way that you seem to think it would it would be a counterexample to Bell's theorem and that is not at all its aim.
[QUOTE="zonde, post: 5637534, member: 129046"]For your model to work in EPR case you would have to model post-processing using amplitudes i.e. detection results would have to remain hidden variables until coincidences are obtained and "measured".”I don't understand your point about "post-processing", but I think I've said everything that there is to say: The goal was simply to write the amplitude for joint measurements as an amplitude-weighted sum of uncorrelated (product) amplitudes. It's just a mathematical exercise—I'm not making any claims about having any new interpretation of QM. It's just a way of describing the usual QM that parallels what is done with hidden-variables models (except that probabilities are replaced by amplitudes).
[QUOTE="stevendaryl, post: 5636842, member: 372855"]The EPR case is only more complicated, in that the observable being measured is a pair of values, one measured by Alice and one measured by Bob, and the initial state is a product state.”For your model to work in EPR case you would have to model post-processing using amplitudes i.e. detection results would have to remain hidden variables until coincidences are obtained and "measured".
[QUOTE="zonde, post: 5636652, member: 129046"]Let me ask a bit more about role of ##lambda## in your model. Do your model assumes that each detection of pair has only one of the possible values of ##lambda## attached to it? Or does every observation of pair have both values of ##lambda## attached to it?In other words do we get averaged amplitude [itex]psi(A, B|alpha,beta)[/itex] for every coincidence or do we get it only when we average over ensemble of pairs?”My description in terms of [itex]lambda[/itex] is just an alternative way to describe the standard quantum mechanical computation of transition amplitudes, to make the description more parallel to a classical hidden-variables probabilistic model.The traditional approach is this:
With all that, we can compute probability amplitudes for getting certain measurement results from certain initial states (Fix the time [itex]t[/itex] that the measurement will be performed, for simplicity):
The translation to the "hidden variables" approach is trivial:
The EPR case is only more complicated, in that the observable being measured is a pair of values, one measured by Alice and one measured by Bob, and the initial state is a product state.
[QUOTE="stevendaryl, post: 5636175, member: 372855"]The summation [itex]sum_lambda psi(lambda) psi_A(A|alpha, lambda) psi_B(B|beta, lambda)[/itex] does not represent any kind of post-processing, because [itex]lambda[/itex] is hidden, so nobody ever knows what its value was. The meaning of that sum is that this is a model explaining how the amplitude [itex]psi(A, B|alpha,beta)[/itex] might arise. So I'm not sure I understand why you say it's nonlocal.I guess in general, it's sort of nonlocal to add probabilities, or probability amplitudes, but that seems like a necessary step in order to talk about nonlocal correlations, which is what hidden variables are supposed to explain. I don't understand why you think it's more nonlocal to talk about amplitudes than to talk about probabilities.”Let me ask a bit more about role of ##lambda## in your model. Do your model assumes that each detection of pair has only one of the possible values of ##lambda## attached to it? Or does every observation of pair have both values of ##lambda## attached to it?In other words do we get averaged amplitude [itex]psi(A, B|alpha,beta)[/itex] for every coincidence or do we get it only when we average over ensemble of pairs?
[QUOTE="zonde, post: 5636062, member: 129046"]Your Story 2 is quite counterintuitive but it's not the problem I see there. It is a step further where I see the problem.In your description of entangled pair, amplitudes are attached to different coincidences not simply local measurements (as in your example with babies). And then amplitudes of coincidences can cancel out. The problem is that coincidences are not basic measurements but rather derived by postselection. So it would seem that this cancelation should happen somewhere in the process of postselection.Imagine experimentalist who compares two sheets of paper where there are "clicks" of detectors with timestamps from two locations. He then on the third paper counts coincidences in two columns as being the same polarization or opposite polarization. But then he sometimes subtracts coincidence from one or the other column (amplitudes canceling out). That is the strange part in it.”The summation [itex]sum_lambda psi(lambda) psi_A(A|alpha, lambda) psi_B(B|beta, lambda)[/itex] does not represent any kind of post-processing, because [itex]lambda[/itex] is hidden, so nobody ever knows what its value was. The meaning of that sum is that this is a model explaining how the amplitude [itex]psi(A, B|alpha,beta)[/itex] might arise. So I'm not sure I understand why you say it's nonlocal.I guess in general, it's sort of nonlocal to add probabilities, or probability amplitudes, but that seems like a necessary step in order to talk about nonlocal correlations, which is what hidden variables are supposed to explain. I don't understand why you think it's more nonlocal to talk about amplitudes than to talk about probabilities.
[QUOTE="stevendaryl, post: 5636010, member: 372855"]I don't understand why you say the sign of the summands implies something about locality, although I do agree that there is something fishy about canceling amplitudes.Let me go through a pair of "stories", one about probabilities, and one about probability amplitudes, and maybe I can get at the reason that you think there is something weird about amplitudes.Story 1: Suppose that there is a "left-handed" gene, such that if you have it from either of your parents, you're 81% likely to be left-handed, and if you lack it, you are 81% likely to be right-handed. So a couple has a baby, and by Mendelian genetics, we figure that the baby has a 50% chance of getting the gene from the father. So we compute that he has a 50% chance of being-lefthanded: [itex].5 cdot .81 + .5 cdot .19 = .5[/itex]. Presumably, we could test this empirically by checking many babies in the same genetic situation.Story 2: Suppose that it works by amplitudes, rather than probabilities. If the baby has the gene, he has an amplitude of 0.9 of being left-handed, and 0.44 of being right-handed. If he lacks the gene, the amplitudes are switched. Now, suppose that we compute that he has an amplitude of +0.44 of having the gene, and -0.9 of lacking the gene. Then the amplitude that he is left-handed is [itex].44 cdot .9 + (-.9) cdot .44 = 0[/itex]. So he has ZERO chance of being left-handed.The mathematical analysis is very similar in both cases. However, in the first case, each set of parents can reason that really the baby either has the gene, or doesn't, and that the probability reflects their lack of knowledge about the true state of their baby. In the second case, it's hard to see how certainty (that the baby will not be left-handed) can arise from lack of knowledge.”Your Story 2 is quite counterintuitive but it's not the problem I see there. It is a step further where I see the problem.In your description of entangled pair, amplitudes are attached to different coincidences not simply local measurements (as in your example with babies). And then amplitudes of coincidences can cancel out. The problem is that coincidences are not basic measurements but rather derived by postselection. So it would seem that this cancelation should happen somewhere in the process of postselection.Imagine experimentalist who compares two sheets of paper where there are "clicks" of detectors with timestamps from two locations. He then on the third paper counts coincidences in two columns as being the same polarization or opposite polarization. But then he sometimes subtracts coincidence from one or the other column (amplitudes canceling out). That is the strange part in it.
[QUOTE="stevendaryl, post: 5636010, member: 372855"]I don't understand why you say the sign of the summands implies something about locality, although I do agree that there is something fishy about canceling amplitudes.Let me go through a pair of "stories", one about probabilities, and one about probability amplitudes, and maybe I can get at the reason that you think there is something weird about amplitudes…..The mathematical analysis is very similar in both cases. However, in the first case, each set of parents can reason that really the baby either has the gene, or doesn't, and that the probability reflects their lack of knowledge about the true state of their baby. In the second case, it's hard to see how certainty (that the baby will not be left-handed) can arise from lack of knowledge.”It looks like you've introduced interference which rules out one possibility. Lack of information is easy to define in quantum systems but (apparently) has a different interpretation between CM and QM. I found this paper very interesting on this subject arXiv:quant-ph/9601025v1 25 Jan 1996
[QUOTE="zonde, post: 5635934, member: 129046"]Compare these two expressions:##P(A,B|alpha, beta) = sum_lambda P(lambda) P_A(A|alpha, lambda) P_B(B|beta, lambda)## (1)##psi(A,B|alpha, beta) = sum_lambda psi(lambda) psi_A(A|alpha, lambda) psi_B(B|beta, lambda)## (2)In these two sums we combine non-local summands. There is no problem as these summands are acquired from local values by postprocessing.The question however is if this summation can be viewed as part of postprocessing. In case of (1) summands are nonnegative and can be viewed as independent elements in postprocessing.But in (2) summands do not combine statistically as they can cancel each other out so it can't be just a step in postprocessing. So this summation is not consistent with locality.”I don't understand why you say the sign of the summands implies something about locality, although I do agree that there is something fishy about canceling amplitudes.Let me go through a pair of "stories", one about probabilities, and one about probability amplitudes, and maybe I can get at the reason that you think there is something weird about amplitudes.Story 1: Suppose that there is a "left-handed" gene, such that if you have it from either of your parents, you're 81% likely to be left-handed, and if you lack it, you are 81% likely to be right-handed. So a couple has a baby, and by Mendelian genetics, we figure that the baby has a 50% chance of getting the gene from the father. So we compute that he has a 50% chance of being-lefthanded: [itex].5 cdot .81 + .5 cdot .19 = .5[/itex]. Presumably, we could test this empirically by checking many babies in the same genetic situation.Story 2: Suppose that it works by amplitudes, rather than probabilities. If the baby has the gene, he has an amplitude of 0.9 of being left-handed, and 0.44 of being right-handed. If he lacks the gene, the amplitudes are switched. Now, suppose that we compute that he has an amplitude of +0.44 of having the gene, and -0.9 of lacking the gene. Then the amplitude that he is left-handed is [itex].44 cdot .9 + (-.9) cdot .44 = 0[/itex]. So he has ZERO chance of being left-handed.The mathematical analysis is very similar in both cases. However, in the first case, each set of parents can reason that really the baby either has the gene, or doesn't, and that the probability reflects their lack of knowledge about the true state of their baby. In the second case, it's hard to see how certainty (that the baby will not be left-handed) can arise from lack of knowledge.
[QUOTE="mikeyork, post: 5635899, member: 22888"]That's just a special case. Your ##lambda## can be in any other basis, but I think your ##psi(lambda)## functions will be that of a superposition in that new basis equivalent to the composite spin state. As regards the differing orientations ##alpha## and ##beta##, that is simply a matter of a frame transformation (a rotation) of the spin projection direction for each detector and that is handled by D-functions (the simplest example being ##d(alpha)## and ##d(beta)## — rotations about the y-axis chosen to be perpendicular to the plane of the z-axis and your direction of projection).”Sorry, I misunderstood what you were saying. You're exactly right–the [itex]psi(lambda)[/itex] are Clebsch-Gordan coefficients, and the [itex]psi_A(A|alpha, beta)[/itex] are the coefficients relating spin-up in one direction to spin-up in another direction.
[QUOTE="Nugatory, post: 5635397, member: 382138"]We don't. We have negative (or even complex) amplitudes for positive or zero numbers of clicks.Stevendaryl's point about us not having an intuition for what it means to select a result according to an amplitude, as opposed to a probability, is looking pretty good right now….”Compare these two expressions:##P(A,B|alpha, beta) = sum_lambda P(lambda) P_A(A|alpha, lambda) P_B(B|beta, lambda)## (1)##psi(A,B|alpha, beta) = sum_lambda psi(lambda) psi_A(A|alpha, lambda) psi_B(B|beta, lambda)## (2)In these two sums we combine non-local summands. There is no problem as these summands are acquired from local values by postprocessing.The question however is if this summation can be viewed as part of postprocessing. In case of (1) summands are nonnegative and can be viewed as independent elements in postprocessing.But in (2) summands do not combine statistically as they can cancel each other out so it can't be just a step in postprocessing. So this summation is not consistent with locality.
[QUOTE="stevendaryl, post: 5635795, member: 372855"]In the EPR experiment, the composite spin is zero, so there is only one possible value for that.”That's just a special case. Your ##lambda## can be in any other basis, but I think your ##psi(lambda)## functions will be that of a superposition in that new basis equivalent to the composite spin state. As regards the differing orientations ##alpha## and ##beta##, that is simply a matter of a frame transformation (a rotation) of the spin projection direction for each detector and that is handled by D-functions (the simplest example being ##d(alpha)## and ##d(beta)## — rotations about the y-axis chosen to be perpendicular to the plane of the z-axis and your direction of projection).So although you are correct that your ##lambda## quantum numbers are not simply the composite spin, they are mathematically derived from it.
[QUOTE="mikeyork, post: 5635532, member: 22888"]stevendaryl: forgive me if I have misunderstood. But don't we already know what ##lambda## is? Isn't it the eigenvalue of the composite state? So if ##A,B## are individual spins, then ##lambda## is the composite spin. And your ##psi(A,B;alpha,beta,lambda)## are essentially Clebsch-Gordon coefficients — apart from the rotation which takes the orientation of one detector into the other.”That's on the right track, but not exactly right. In the EPR experiment, the composite spin is zero, so there is only one possible value for that.No, the meanings of the various amplitudes is this: Let [itex]|Phirangle[/itex] be the composite two-particle spin state. Then
So this is just a decomposition of the usual spin-zero state: [itex]frac{1}{sqrt{2}} (|u_z d_zrangle – |d_z u_zrangle)[/itex]. The amplitudes for [itex]lambda = +1[/itex] and [itex]lambda = -1[/itex] can be read off immediately.Then the other amplitudes:[itex]psi_A(A|alpha, lambda) = [/itex] the probability amplitude for measuring spin [itex]A/2[/itex] in the direction [itex]hat{x} cos(alpha) + hat{y} sin(alpha)[/itex], given that it was prepared to have spin [itex]lambda/2[/itex] in the direction [itex]hat{z}[/itex].[itex]psi_B(B|alpha, lambda) = [/itex] the probability amplitude for measuring spin [itex]B/2[/itex] in the direction [itex]hat{x} cos(alpha) + hat{y} sin(alpha)[/itex], given that it was prepared to have spin [itex]-lambda/2[/itex] in the direction [itex]hat{z}[/itex].
[QUOTE="Jilang, post: 5635385, member: 492883"]Sorry, I don't have a registration with that provider. Can the third alternative (fourth-sorry Mike) be summarised here?”Unfortunately, I don't think it can be understood easily without understanding consistent histories first. The CH answer is that the EPR argument is invalid, because it mixes incompatible frameworks. If you are interested in CH, you should check out Griffiths book "Consistent Quantum Theory". He also has some slides on his homepage: http://quantum.phys.cmu.edu/CHS/histories.html
stevendaryl: forgive me if I have misunderstood. But don't we already know what ##lambda## is? Isn't it the eigenvalue of the composite state? So if ##A,B## are individual spins, then ##lambda## is the composite spin. And your ##psi(A,B;alpha,beta,lambda)## are essentially Clebsch-Gordon coefficients — apart from the rotation which takes the orientation of one detector into the other.
[QUOTE="stevendaryl, post: 5635253, member: 372855"]The screwy thing about the amplitude story is that we have an intuitive idea about what it means to choose a value according to a certain probability distribution (rolling dice, for instance), but we don't have an intuitive idea about what it means to choose a value according to a certain amplitude.”Can we make the description of the intuitive difficulty more precise?Mathematically, it is easy to imagine choosing a value according to any sort of input variable. You just need an algorithm that maps values of the input to a value that defines a probability. You can use that probability to make you final choice.So doesn't the intuitive problem begin in step 4 or 5 instead of in step 1 and 2 ?
[USER=372855]@stevendaryl[/USER]'s approach seems to be unaffected by this issue. It still works if we treat the amplitude the normal way, when it comes to selecting an actual result, since that's not crucial in his scheme. I.e., square the amplitude (complex norm) and use that as the probability. Perhaps I'm missing something.
[QUOTE="zonde, post: 5635313, member: 129046"]But how would you model "negative" click in detector?”We don't. We have negative (or even complex) amplitudes for positive or zero numbers of clicks.Stevendaryl's point about us not having an intuition for what it means to select a result according to an amplitude, as opposed to a probability, is looking pretty good right now….
[QUOTE="zonde, post: 5635313, member: 129046"]Let's say I am giving you apples. Every time I give you apples we describe this event with positive (or at least non negative) integer. Every such event can be viewed as independent because it's different apples every time. But now let's say that event of me giving you apples can be described by any integer (positive, negative or zero). If I give you negative number of apples it actually means I am taking apples from you. Obviously event of taking away apples is not independent from event of giving you apples as the same apples participate in both events.But how would you model "negative" click in detector?”Zonde, SD already stressed that it is not the amplitude that gets measured, You don't need to worry about negative clicks.
[QUOTE="zonde, post: 5635313, member: 129046"]Let's say I am giving you apples. Every time I give you apples we describe this event with positive (or at least non negative) integer. Every such event can be viewed as independent because it's different apples every time. But now let's say that event of me giving you apples can be described by any integer (positive, negative or zero). If I give you negative number of apples it actually means I am taking apples from you. Obviously event of taking away apples is not independent from event of giving you apples as the same apples participate in both events.But how would you model "negative" click in detector?”
[QUOTE="rubi, post: 5635382, member: 395236"]That depends on the model. There are several manifestly local quantum mechanical models. One example would be consistent histories. A careful analysis of the EPR paradox is done in the following paper:http://scitation.aip.org/content/aapt/journal/ajp/55/1/10.1119/1.14965Space-time is not observer dependent. Relativity doesn't claim that.”Sorry, I don't have a registration with that provider. Can the third alternative (fourth-sorry Mike) be summarised here?
[QUOTE="Jilang, post: 5635356, member: 492883"]Without hidden variables or interactions over space time distances what is another explanation?”That depends on the model. There are several manifestly local quantum mechanical models. One example would be consistent histories. A careful analysis of the EPR paradox is done in the following paper:http://scitation.aip.org/content/aapt/journal/ajp/55/1/10.1119/1.14965[Mentor's note: This post has been edited to remove a reply to a deleted post]
[QUOTE="Jilang, post: 5635356, member: 492883"]Without hidden variables or interactions over space time distances what is another explanation?”Here's one: space-time distances are a creation of the observer, not fundamental to reality. We already know from relativity that space-time is observer-dependent. So what is it in the absence of an observer?
[QUOTE="rubi, post: 5635291, member: 395236"]I don't think that this is how people argue for locality of QM. The argument for locality is that a hidden parameter is not the only possible explanation for the correlations, because mathematically, the assumption of a hidden parameter is a non-trivial restriction on the set of models (i.e. hidden variable models aren't the most general models). In order for a particular model to be local, that model just needs to offer an explanation for how the correlations can come about without invoking interactions over space-like distances.”Without hidden variables or interactions over space time distances what is another explanation?
[QUOTE="stevendaryl, post: 5633728, member: 372855"]Amplitudes add in the same way that probabilities do. The reason that some amplitudes cancel others is because they aren't guaranteed to be positive.”Let's say I am giving you apples. Every time I give you apples we describe this event with positive (or at least non negative) integer. Every such event can be viewed as independent because it's different apples every time. But now let's say that event of me giving you apples can be described by any integer (positive, negative or zero). If I give you negative number of apples it actually means I am taking apples from you. Obviously event of taking away apples is not independent from event of giving you apples as the same apples participate in both events.But how would you model "negative" click in detector?
[QUOTE="stevendaryl, post: 5635253, member: 372855"]And as a matter of fact, when people give rigorous mathematical proofs of the locality of quantum mechanics or quantum field theory, they are really showing that amplitudes behave locally, even if probabilities do not.”I don't think that this is how people argue for locality of QM. The argument for locality is that a hidden parameter is not the only possible explanation for the correlations, because mathematically, the assumption of a hidden parameter is a non-trivial restriction on the set of models (i.e. hidden variable models aren't the most general models). In order for a particular model to be local, that model just needs to offer an explanation for how the correlations can come about without invoking interactions over space-like distances.
Just to expand a little bit about the analogy between classical probabilities and quantum amplitudes:Here is the (false, as shown by tests of Bell's inequality) classical nondeterministic local hidden-variables story for correlated measurements:
So this story would explain the correlation in Alice's and Bob's measurements as being due to a common (though unknown) hidden variable, [itex]lambda[/itex]. That's what a local hidden variable theory would do, if there were one. Note, that even though this model is nondeterministic, all choices being made—which value of [itex]lambda[/itex], which value of [itex]A[/itex], which value of [itex]B[/itex]—are made using only local information.Here's the analogous story for amplitudes:
The amplitude story has one final step:6. We compute a probability from the amplitude, according to the rule [itex]P(A,B|alpha, beta) = |psi(A,B|alpha,beta)|^2[/itex]The hidden-variables amplitude story sounds as local as the hidden-variables probability story. And as a matter of fact, when people give rigorous mathematical proofs of the locality of quantum mechanics or quantum field theory, they are really showing that amplitudes behave locally, even if probabilities do not.The screwy thing about the amplitude story is that we have an intuitive idea about what it means to choose a value according to a certain probability distribution (rolling dice, for instance), but we don't have an intuitive idea about what it means to choose a value according to a certain amplitude.
[QUOTE="mfb, post: 5634988, member: 405866"]It looks like you talk about phases, not amplitudes.”Yes, of course; the magnitude is already physically significant in giving the probability.
[QUOTE="stevendaryl, post: 5634793, member: 372855"]The point, which I made in the very first post, is that1.We can formulate certain mathematical rules for how we think that probability ought to work, in a local realistic model.2.We can prove that QM probabilities don't work that way.3.However, the analogous rules for QM amplitudes do work that way.Amplitudes work for QM in the way that we would expect probabilities to work in a local hidden variables model of the sort Bell investigated. As you say, and as I said in the very first post, amplitudes don't correspond directly to anything can measure, unlike probabilities, so it's unclear what relevance this observation is. I just thought it was interesting.”Yes it's interesting, and now it's a lot clearer to me, as delineated in my …[QUOTE="secur, post: 5634486, member: 588176"]previous post.”Initially I thought you were talking about the standard Bell experiment hidden-variables situation. You're actually doing something a bit different, and unique, AFAIK. That's a problem with an original idea: many people will mistake it for the "same old thing" they've heard before. Reviewing OP the misunderstanding seems pretty natural. On the plus side we've been able to bring out some of the subtleties of the standard Bell HV model, by contrast. Also, no doubt others thought the same as I did, so it was worthwhile to straighten that out. Thanks for the stimulating thread!
[QUOTE="mikeyork, post: 5634970, member: 22888"]Because of an arbitrary global phase. But relative amplitudes are physically significant. Spin-statistics is an obvious example.”It looks like you talk about phases, not amplitudes.
[QUOTE="stevendaryl, post: 5634793, member: 372855"]amplitudes don't correspond directly to anything can measure”Because of an arbitrary global phase. But relative amplitudes are physically significant. Spin-statistics is an obvious example.
That the situation is local at some level could remove an element of the spookiness (of which far too much is made).
[QUOTE="secur, post: 5634486, member: 588176"]Ok, I thought that answer would remove my confusion. This is NOT a hidden-variables model of the type addressed by Bell's theorem.”Of course not. Bell proved that there was no such thing.The point, which I made in the very first post, is that
Amplitudes work for QM in the way that we would expect probabilities to work in a local hidden variables model of the sort Bell investigated. As you say, and as I said in the very first post, amplitudes don't correspond directly to anything can measure, unlike probabilities, so it's unclear what relevance this observation is. I just thought it was interesting.
Ok, I thought that answer would remove my confusion. This is NOT a hidden-variables model of the type addressed by Bell's theorem.[QUOTE="stevendaryl, post: 5634440, member: 372855"]It certainly is. The resulting probability amplitude is (the very first post):•If [itex]A=B=pm 1[/itex], then [itex]psi(A, B|alpha, beta) = pm frac{i}{sqrt{2}} sin(frac{beta-alpha}{2})[/itex]. This means that the probability amplitude that Alice and Bob both get the same result is proportional to [itex]sin(frac{beta-alpha}{2})[/itex], which means it is zero when [itex]alpha = beta[/itex].•If [itex]A=-B=pm 1[/itex], then [itex]psi(A, B|alpha, beta) = pm frac{1}{sqrt{2}} cos(frac{beta-alpha}{2})[/itex]. This means that the probability amplitude that Alice and Bob get opposite results is proportional to [itex]cos(frac{beta – alpha}{2})[/itex], which means that it's 0 when [itex]alpha – beta = pi[/itex].”These are the amplitudes which, in usual Bell HV attempt, need to be achieved. One comes up with a scheme to generate A's and B's – two sequences of +-1's – which will result, ultimately, in these amplitudes (actually, the correlation function is usually aimed at). Alice's results can depend on her detector setting [itex]alpha[/itex], the hidden variable(s), and almost anything else, except Bob's detector setting [itex]beta[/itex]. And similar for Bob.But that's not the type of model you're doing. You present amplitudes – NOT sequences of detector results – which multiply (and, sum over the [itex]lambda[/itex]'s) to give the correct joint probability (or, amplitude). The two amplitudes, for Alice and Bob, don't depend on the other's detector setting – that's good. But you don't present correct results (indeed, any results) for each individual detection, nor (a fortiori) do you use them to get to the final joint distribution (or, correlation).[QUOTE="stevendaryl"]Look, the whole point of the first post was to reproduce the EPR spin-1/2 joint probability function.”Exactly. NOT the individual results for each pair of entangled photons, as in all other attempted HV models.That's fine. On its own terms, your model works. The only problem, however, is your assumption that a similar model can't reproduce the true QM probabilities, with squares of sin and cos.[QUOTE="stevendaryl, post: 5633307, member: 372855"]The fact that the QM predictions violate Bell's inequality proves that there is no such hidden-variables explanation of this sort.”No. It's been well-proven there's no (local, realistic) HV model of the usual sort giving the right QM predictions. But none of that work has addressed the different type of HV model you're presenting. Your model doesn't have to worry about individual photon-by-photon results, and the two factors from Alice and Bob are represented by complex numbers, not just +-1's. It may well be that a model like that can reproduce the right QM predictions. At least no one's shown otherwise. Without such demonstration this conclusion is not justified:[QUOTE="stevendaryl"]The squaring process is in some sense responsible for the weirdness of QM correlations.”
[QUOTE="secur, post: 5634338, member: 588176"]Seems there's some confusion. I think the best way to straighten it out is, please address the other point I made, which is very simple.In this typical Bell-type experiment, QM says A and B must always be opposite (product is -1) when their detector angles are equal. A valid hidden-variable model must reproduce that behavior. But that's not the case with your model:”It certainly is. The resulting probability amplitude is (the very first post):
Look, the whole point of the first post was to reproduce the EPR spin-1/2 joint probability function.
Another way to look at it: you don't specify the procedure whereby Alice and Bob generate their two results, A and B, which = +1 or -1. Presumably they're generated randomly based on their (known, given) amplitudes. I referred to it above hand-wavingly as "flipping a coin". Can you specify that procedure, showing how it guarantees the correct result for equal angles, namely, A * B = -1 ?
Seems there's some confusion. I think the best way to straighten it out is, please address the other point I made, which is very simple.In this typical Bell-type experiment, QM says A and B must always be opposite (product is -1) when their detector angles are equal. A valid hidden-variable model must reproduce that behavior. But that's not the case with your model:[QUOTE="secur, post: 5633911, member: 588176"]Sorry, this is not a hidden-variable model as understood in Bell experiment. The problem is that A and B results must be +-1 …… your scheme doesn't guarantee that if [itex]alpha[/itex] = [itex]beta[/itex] then their results will definitely be opposite. A and B must "flip a coin" based on their amplitudes, and record a definite +1 or -1. In general with these probability amplitudes they will often get the same result, even though the angles are equal.”
[QUOTE="secur, post: 5634091, member: 588176"][USER=492883]@Jilang[/USER]. the wavefunctions can, in fact, be complex. I said that in the calculation of [itex]psi(A, B|alpha, beta)[/itex] "the numbers that appear for [itex] psi_A(A | alpha, lambda)[/itex] and [itex]psi_B(B | beta, lambda)[/itex] can't be complex".”You are misunderstanding what the functions [itex]psi_A(A|alpha, lambda)[/itex] and [itex]psi_B(B|beta, lambda)[/itex] are.[itex]psi_A(A|alpha, lambda) = [/itex] the amplitude for Alice getting result [itex]A[/itex], given that she chooses setting [itex]alpha[/itex] and that the initial twin-particle state was described by variable [itex]lambda[/itex].[itex]psi_B(B|beta, lambda) = [/itex] the amplitude for Bob getting result [itex]B[/itex], given that he chooses setting [itex]beta[/itex] and that the initial twin-particle state was described by variable [itex]lambda[/itex].These are amplitudes. They are not measurement results. Amplitudes are complex numbers whose squares give probabilities for transitions.
[QUOTE="secur, post: 5633911, member: 588176"]Sorry, this is not a hidden-variable model as understood in Bell experiment. The problem is that A and B results must be +-1. When you calculate[itex]psi(A, B|alpha, beta) = sum psi(lambda) psi_A(A | alpha, lambda) psi_B(B | beta, lambda)[/itex]the numbers that appear for [itex] psi_A(A | alpha, lambda)[/itex] and [itex]psi_B(B | beta, lambda)[/itex] can't be complex; can't even be any real numbers, except +-1. That's because this calculation must be performed on their actual results, after the experiment is concluded.”I'm afraid you're completely misunderstanding what is being claimed, and in particular, what the meanings of the various [itex]psi[/itex]s are. I tried to explain it in the first post, but if it was unclear, let me try again.We have experimenters Alice and Bob that are performing measurements at a spacelike separation. Assume that their results are described by a joint probability distribution [itex]P(A, B|alpha, beta)[/itex], which gives the probability that Alice gets result [itex]A[/itex] (assumed to be [itex]pm 1[/itex]) and Bob gets [itex]B[/itex] (also [itex]pm 1[/itex]), given that Alice chooses detector setting [itex]alpha[/itex] and Bob chooses detector setting [itex]beta[/itex]A nondeterministic local hidden-variables theory explanation for [itex]P(A, B|alpha, beta)[/itex] would consist of:
such that [itex]P(A, B| alpha, beta) = sum_lambda P(lambda) P_A(A|alpha, lambda) P_B(B|beta, lambda)[/itex]A deterministic local hidden-variables theory explanation makes a stronger assumption, that [itex]A[/itex] and [itex]B[/itex] are determined by the parameters [itex]alpha, beta, lambda[/itex]. That is, it assumes that there are deterministic functions [itex]F_A(alpha, lambda)[/itex] and [itex]F_B(beta, lambda)[/itex] such that whenever Alice chooses setting [itex]alpha[/itex] and the hidden variable has value [itex]lambda[/itex], then Alice will deterministically get the result [itex]F_A(alpha, lambda)[/itex]. Similarly, whenever Bob chooses setting [itex]beta[/itex] and the hidden variable has value [itex]lambda[/itex], then Bob will deterministically get the result [itex]F_B(beta, lambda)[/itex]. Such a deterministic model would reproduce the joint probability distribution, provided that:[itex]P(A, B | alpha, beta) = sum'_lambda P(lambda)[/itex]where [itex]sum'[/itex] means that the sum is only over those values of [itex]lambda[/itex] such that[itex]F_A(alpha, lambda) = A[/itex] and [itex]F_B(beta, lambda) = B[/itex].Do you understand the distinction?The distinction was not important for Bell, because it's easy to show that if there is a nondeterministic local hidden variables theory, then there is also a deterministic local hidden variables theory. So if he disproved the existence of a deterministic local hidden variables theory, that also proved that there was no nondeterministic local hidden variables theory.But when I made my amplitude analogy, I was making an analogy to the nondeterministic theory, not the deterministic theory.The functions [itex]psi(lambda)[/itex], [itex]psi_A(A|alpha, lambda)[/itex], [itex]psi_B(B|beta, lambda)[/itex] are the amplitude analogues of the probability distributions [itex]P(lambda)[/itex], [itex]P_A(A|alpha, lambda)[/itex], [itex]P_B(B|beta, lambda)[/itex]. They are not analogues to the deterministic functions [itex]F_A(alpha, lambda)[/itex] and [itex]F_B(beta, lambda)[/itex].
[USER=492883]@Jilang[/USER]. the wavefunctions can, in fact, be complex. I said that in the calculation of [itex]psi(A, B|alpha, beta)[/itex] "the numbers that appear for [itex] psi_A(A | alpha, lambda)[/itex] and [itex]psi_B(B | beta, lambda)[/itex] can't be complex". Realizing the point might not be too clear I went on to "Another way to put it" which is, I think, straightforward.Consider what happens in the Bell-type experiments. Alice and Bob independently measure +1 or -1 for the spin states of their respective particles. Those measurements are based, probabilistically, on complex wavefunctions. After their experimental data is complete we bring the results together in a calculation where A and B (+-1) are multiplied together, similar to [USER=372855]@stevendaryl[/USER]'s [itex]psi(A, B|alpha, beta)[/itex]. The key point: when those results are multiplied together they must have been reduced to +-1, can't still be the underlying wavefunction numbers.Note if A and B could record the underlying spinors (as quaternions), we could easily get the right correlations for actual QM probabilities, never mind amplitudes.I'm not very happy with this explanation, hopefully with further discussion it will get better. But consider my simpler second point, "Another way to put it". That's symptomatic of the same problem and clearly shows there's something wrong here.
Secur, why can't the wavefunctions be complex?
Sorry, this is not a hidden-variable model as understood in Bell experiment. The problem is that A and B results must be +-1. When you calculate[itex]psi(A, B|alpha, beta) = sum psi(lambda) psi_A(A | alpha, lambda) psi_B(B | beta, lambda)[/itex]the numbers that appear for [itex] psi_A(A | alpha, lambda)[/itex] and [itex]psi_B(B | beta, lambda)[/itex] can't be complex; can't even be any real numbers, except +-1. That's because this calculation must be performed on their actual results, after the experiment is concluded.Another way to put it, your scheme doesn't guarantee that if [itex]alpha[/itex] = [itex]beta[/itex] then their results will definitely be opposite. A and B must "flip a coin" based on their amplitudes, and record a definite +1 or -1. In general with these probability amplitudes they will often get the same result, even though the angles are equal.
[QUOTE="stevendaryl, post: 5633728, member: 372855"]Amplitudes add in the same way that probabilities do. The reason that some amplitudes cancel others is because they aren't guaranteed to be positive.”Great analysis for the original post!
[QUOTE="stevendaryl, post: 5633744, member: 372855"]I skipped over this first line without asking: What does "i.i.d." stands for?”Independent and identically distributedhttps://en.wikipedia.org/wiki/Independent_and_identically_distributed_random_variables
[QUOTE="stevendaryl, post: 5633307, member: 372855"]But in actually testing the predictions of quantum mechanics, we can't directly measure amplitudes, but instead compile statistics which give us probabilities, which are the squares of the amplitudes. The squaring process is in some sense responsible for the weirdness of QM correlations.”Yes, that's true! A similar conclusion is also drawn in https://arxiv.org/abs/0707.2319
[QUOTE="zonde, post: 5633718, member: 129046"]We can talk about probabilities when assumption that ensemble is i.i.d. holds. “I skipped over this first line without asking: What does "i.i.d." stands for?
[QUOTE="zonde, post: 5633718, member: 129046"]We can talk about probabilities when assumption that ensemble is i.i.d. holds. When this assumption holds probabilities of individual events independently contribute to total probability. Amplitudes obviously are not independent as two opposite amplitudes can cancel out.”I'm not sure I understand your point. Amplitudes add in the same way that probabilities do. The reason that some amplitudes cancel others is because they aren't guaranteed to be positive.”It is interesting that in your model the final amplitude is calculated by adding/subtracting amplitudes from two different subsets of pairs (with ##lambda## +1 and -1). So each separate pair does not produce correct amplitude. And they add up not just statistically but in a way that suggest some interdependence on the level of ensemble of pairs.”As I said, I think it's the same issue with classical probabilities (except for the big difference that classical probabilities are positive reals numbers, while quantum amplitudes are complex numbers).Let me give a made-up classical probability problem to illustrate. Suppose I'm trying to figure out the probability that a certain newborn baby will grow up to be left-handed. This is not true, but I'm going to pretend that there is a "left-handed gene" such that if you have this gene, there is a 90% chance that you will be left-handed, and if you lack this gene, then there is a 90% chance that you will be right-handed. Let's furthermore assume that the mother lacks this gene, but the father received the gene from one parent but not the other. Then genetics would say that the father has a 50% chance of passing on the gene to the baby. So letting [itex]lambda = +1[/itex] to indicate having the gene, and [itex]lambda = -1[/itex] to indicate not having the gene, we can compute:[itex]P(LH) = sum_lambda P(lambda) P(LH | lambda) = P(+1) P(LH | +1) + P(-1) P(LH | -1) = .50 cdot .90 + .50 cdot .10 = .50[/itex]So the baby has a 50% chance of being left-handed.That involves summing over different values of [itex]lambda[/itex] in exactly the same way as the amplitudes were computed in my EPR example.
[QUOTE="stevendaryl, post: 5633307, member: 372855"]Do these observations contribute anything to our understanding of QM? Beats me. But they are interesting.”We can talk about probabilities when assumption that ensemble is i.i.d. holds. When this assumption holds probabilities of individual events independently contribute to total probability. Amplitudes obviously are not independent as two opposite amplitudes can cancel out.It is interesting that in your model the final amplitude is calculated by adding/subtracting amplitudes from two different subsets of pairs (with ##lambda## +1 and -1). So each separate pair does not produce correct amplitude. And they add up not just statistically but in a way that suggest some interdependence on the level of ensemble of pairs.
[QUOTE="stevendaryl, post: 5633307, member: 372855"]Do these observations contribute anything to our understanding of QM?”I think yes. There are two diverse concepts of probability. The primary one that we think of all the time is that which corresponds to frequency counting. It can be determined only asymptotically as the number of possible events approaches infinity. But there is also a theoretical concept of probability which we use all the time before even a single event is detected. Historically we try to predict probability as that asymptotic limit itself. But, any quantity from which the asymptotic limit is uniquely computable is an encoding of theoretical probability. In QM the amplitude is such an encoding. As such a probability encoding it enables the probabilistic prediction of quantum states without detecting any events. It has all the requirements of a theoretical probability encoding while at the same time describing the physical reality of a single system. Frequency counting, on the other hand, has meaning only for large numbers of systems/events. We can think of QM and the probability amplitude, therefore, as the primary encoding of theoretical probability and frequency counting as secondary.
[USER=372855]@stevendaryl[/USER]I like that a lot. Gourmet food for thought. There is something in the two-valuedness of amplitude that is elusive.[later]I deleted this bit. Still thinking about it.
Nice job.