Thanks for the replies! I have some things to say (it isn't as much as it seems; a lot of space is filled by quote tags):
Fredrik said:
Consider a particle with a well-defined energy (and therefore well-defined ##\vec p^2##) moving along the x-axis in the direction of increasing x towards a tiny hole in a screen in the yz plane. Behind the screen, a distance L from the screen, there's a wall (parallel to the yz plane) covered with tiny particle detectors. Suppose that a detector in the xy plane signals detection. (Alternatively, suppose that an
arbitrary detector signals detection, and now rotate the coordinate system in the yz plane so that the detector is in the yx plane). The angle of deflection θ satisfies tan θ=y/L. Define ##p=|\vec p|##. At least one peer-reviewed article* has claimed that this y coordinate measurement can also be considered a p
y measurement with result p sin θ. The author used this to argue that it's possible to simultaneously measure y and p
y with margins of error δy and δp
y such that ##\delta y\,\delta p_y\ll\hbar##. (This product can be made arbitrarily small by making L large).
*) Leslie Ballentine: The statistical interpretation of quantum mechanics.
PDF link. (See in particular figure 3 on page 365).
I've heard of this argument before, and it's interesting to say the least. Besides the objections by Demystifier (in the
thread you linked to) --and which I'll comment on shortly-- I want to express my concern about the energy: the argument relies on the fact that energy is conserved, but is this certain? The initial state is an eigenfunction of energy in vacuum (i.e. also an eigenfunction of the momentum operator) but this eventually interacts with a strong potential, where the energy eigenfunctions are of a totally different shape, hence--according to me!--I do not directly see conservation of energy and hence I don't know whether one can conclude that the final state (before measurement) has the same momentum squared as the initial state. But this is a minor remark, perhaps.
I move on to Demystifier's arguments, which I give titles for clarity:
A) "MEASURING" VS. CALCULATING
As you quote Demystifier saying
Demystifier said:
I haven't seen the debate on this forum, but I can present a simple reason why the Ballentine's experiment is NOT a measurement of momentum p_y. The point is that in this experiment p_y is NOT MEASURED but CALCULATED.
upon which you replied with
Fredrik said:
I reject that argument. A full definition of QM would include a definition of "momentum measurement". When we write down such a definition, we can choose to include Ballentine's technique among the things we call "a momentum measurement", and we can choose not to. These choices define two slightly different theories. The only thing that matters to me is which one of these theories has the best agreement with measurements.
So let's call QM without this measuring technique QM1, and QM with it QM2.
I understand your reply, but I have an even more fundamental objection: isn't every measurement to some extent deduced from something else? Even a position measurement: if I read off the value indicated by the pointer on my position measuring device, I'm relying on the information that the pointer deduces from the spring which it is attached to, a chain of command that tracks all the way back to the system under inspection. The justification for each step is justified by an element of theory and is thus a form of deduction.
But I realize this objection is a bit abstract, so let me state it alternatively: let's presume one can define QM1 and QM2 as you did, what kind of measurement
does belong to QM1? Let's take position measurements for a moment (despite my earlier reasoning) as belonging to QM1: can you think of any momentum measurement that belongs to QM1? Isn't every momentum measurement deduced from (a) position measurement(s)?
B) CORRECT MOMENTUM PROBABILITIES?
I quote:
Demystifier said:
what result of an experiment would make you conclude that QM2 is wrong while QM1 is still potentially right?
Fredrik said:
If we perform the experiment that Ballentine describes, and find that the distribution of results isn't given by p_y\mapsto|\langle p_y|\psi\rangle|^2, then I would say that QM2 has been falsified.
Demystifier said:
Fine!
I haven't worked out the calculation in detail, but it is rather straightforward to see that in QM2 the probability of p_y is NOT |\langle p_y|\psi\rangle|^2. Namely, in QM2 p_y is determined by the position y, so the probability of p_y is related to the probability of y, which is |\langle y|\psi\rangle|^2. In other words, the probability amplitude of p_y in QM2 is related to \langle y|\psi\rangle and not to its Fourier transform \langle p_y|\psi\rangle. Thus, QM2 is already falsified, as it is already experimentally tested that the probability of y is given by |\langle y|\psi\rangle|^2.
Despite its broadstroked nature, Demystifier's argument makes sense. It is however not conclusive: the thing which makes me think otherwise is a proof showing that if one does two position measurements (separated by a time t) on a free particle and calls \textbf p := \frac{m \textbf r}{t} (where \textbf r is of course the displacement between the two measurements) then the probability distribution for this \textbf p (calculated using usual quantum formalism)
is the same as the probability for momentum, i.e. the squared modulus of the Fourier transform of psi! The idea of this experiment is very comparable to Ballentine's measurement (I can't see a fundamental/conceptual difference) yet Demystifier's conclusion (and thus also his argument) seems to be incorrect in this case? For those interested, the proof can be found on
page 34 (section 2.6).
---
And when all else is said, I just want to note: do we want QM2 to be wrong? After all, as e.g. Edgardo's post demonstrates, experimentally we do measure momentum by deduction/calculation of position measurements, so if QM2 is wrong, we're not only in trouble, we should be very confused as to how come we get sensible results!
I eagerly await replies :)