14

The Heisenberg Uncertainty Principle is derived for two operators $\hat A$ and $\hat B$ as $$\Delta \hat A\ \Delta \hat B \geq \dfrac{1}{2}|\langle[\hat A, \hat B] \rangle|$$ where $\Delta$ denotes the standard deviation in a variable.

Taking position and momentum as $\hat A$ and $\hat B$ respectively, we get- $$\Delta \hat x\ \Delta \hat p_x\geq \hbar/2$$

Now, mathematically what this means is that if we prepare a large number of states $\ | \Psi \rangle$ and perform measurements of the position and momentum on them one by one, the RMS value of deviation from the mean for both $x$ and $p_x$ will show an inverse relationship with each other.

How then does this lead to a restriction on the individually measured values of position and momentum? How do we make claims such as the particle is restricted to this box so it can't have a zero momentum and so forth?

Qmechanic
  • 201,751
Physiker
  • 1,441
  • Related: https://physics.stackexchange.com/q/285290 – Nihar Karve Apr 21 '21 at 16:33
  • The obligatory link to the video by Grant Sanderson The more general uncertainty principle, beyond quantum For the key point of that video see the following answer to the question How can I accurately state the uncertainty principle? – Cleonis Apr 21 '21 at 18:50
  • Related: https://physics.stackexchange.com/q/534614/195139 – Sandejo Apr 22 '21 at 03:47
  • It doesn't lead to any restrictions on the range of possible values you can obtain in a measurement (except when one of the standard deviations is zero). For example, if a particle is restricted to a box (which means you can predict beforehand that the result of a $\hat{x}$ measurement will be within two hard bounds), a measurement of $\hat{p}$ can still yield the value $0$. Partially related: https://physics.stackexchange.com/questions/599980/why-is-it-impossible-to-measure-position-and-momentum-at-the-same-time-with-arbi/600015#600015 – pglpm Apr 22 '21 at 08:53
  • @pglpm how about stationary states? – Physiker Apr 22 '21 at 09:03
  • 2
    @SarthakGirdhar From the context I assume we're speaking about one measurement on one system at some specific time, not repeated measurements on the same system (or measurements on a collection of identically prepared systems). So stationarity is not relevant in this particular case, if I'm not mistaken. – pglpm Apr 22 '21 at 09:08
  • "Why are you not winning the lottery every week"? (The answer might be the same). – lalala Apr 23 '21 at 17:34
  • You can also prove uncertainty relations for simultaneous measurements of two properties on the same system (and it has been done). – Norbert Schuch Apr 23 '21 at 19:55

5 Answers5

20

While uncertainties can be interpreted as statements about ensembles of identically-prepared states, that's not how they are defined. You take a state $\psi$ and then the uncertainty $\sigma_\psi(A) = \sqrt{\langle A^2\rangle - \langle A\rangle^2}$ for any observable $A$ is simply a property of that state.

A state that has a definite momentum of zero would have to be an eigenstate of momentum. You can straightforwardly show that $\sigma_\psi(A) = 0$ for an eigenstate of $A$. So any state that has a well-defined $\sigma_\psi(x)$ cannot be an eigenstate of momentum, since the uncertainty principle implies $\sigma_\psi(p)\neq 0$. Note that this argument shows that in general you cannot have eigen"states" of position or momentum if both $\sigma_\psi(x)$ and $\sigma_\psi(p)$ exist.

"It can't have zero momentum" is not supposed to mean it's impossible to measure 0 momentum - just that it's not an eigenstate where the only possible result for momentum is zero (or indeed any other value of momentum).

In somewhat sloppy phrasing, "It can't have zero momentum" might also refer to the expectation value of the magnitude of momentum: If $\sigma_\psi(p)\neq 0$, then since $\sigma_\psi(p)\leq \sqrt{\langle p^2\rangle}$ we have that $\langle p^2\rangle$ is also non-zero.

ACuriousMind
  • 124,833
  • "You take a state ψ and then the uncertainty ... for any observable A is simply a property of that state." Is it fair to say that it is gosh darn curious that things we can observe have this property? My instinct is that that particular "coincidence" is at the root of a great deal of confusion about QM. – Cort Ammon Apr 23 '21 at 02:28
  • @CortAmmon I'd say it's just another manifestation of standard QM being probabilistic - quantum states encode probability distributions, and so of course they also encode the standard deviations of these probability distributions. We're not used to thinking about single "definite" states in probabilistic terms, and indeed this is at the root of both confusion and the desire of many who first encounter it to find some underlying "deterministic" theory that removes this weirdness. – ACuriousMind Apr 23 '21 at 08:15
  • @CortAmmon it's actually a consequence of certain notable observables (time, position) being fourier transforms of other notable observables (energy, momentum) and of a mathematical truth that applies to such pairs of observables in general. – John Dvorak Apr 23 '21 at 14:33
  • 1
    @JohnDvorak Time is not an observable (otherwise energy could not be bounded from below, see https://physics.stackexchange.com/a/268344/50583), and the $\Delta t$ in the "energy-time uncertainty principle" likely does not mean what you think it means, see https://physics.stackexchange.com/a/53804/50583 – ACuriousMind Apr 23 '21 at 15:27
  • 1
    @LoneAcademic If you have a new question, you should make a new post asking that question. The comments of an answer is not the place to ask new questions. – BioPhysicist Apr 27 '21 at 13:52
8

(This first section refers to v1 of the post)

Now, mathematically what this means is that if we prepare a large number of states $|Ψ⟩$ and perform measurements of the position and momentum on them (not doing >1 measurement on any prepared system)...

First mistake. For example, measuring $X$ on one state gives you a new state, so the resulting $\Delta p$ you get from subsequent momentum measurements will not be related (by the HUP) to the previous $\Delta x$ you obtained.

The HUP is a statement about measurements of $X$ or $P$ separately on a large number of similar states. So, take a large number of similar states and measure $X$ for each one to get $\Delta x$. Take another larger number of similar states and measure their momentum to get $\Delta p$. The HUP says that no matter what state you started with, you will always find $\Delta x\cdot\Delta p$ to be no smaller than $\hbar/2$.

...the RMS value of deviation from the mean for both will show an inverse relationship with each other.

Second mistake. If you have multiple similar states and do the above steps you will get a single $\Delta x$ and a single $\Delta p$. There is no inverse relationship to be found.

However, let's say we were to then take a different state and do the same procedure, and let's say $\Delta x$ is now smaller than before. We still cannot say anything about the new $\Delta p$. $\Delta p$ could increase or decrease; all we would know is that $\Delta x\cdot\Delta p$ can be no smaller than $\hbar/2$. However, if the previous $\Delta x\cdot\Delta p$ was exactly equal to $\hbar/2$, then we could guarantee a larger $\Delta p$ because the HUP must hold.

How then does this lead to a restriction on the individually measured values of position and momentum?

It doesn't. The HUP does not say anything about individual measurements.

How do we make claims such as the particle is restricted to this box so it can't have a zero momentum and so forth?

You can certainly make a $0$ momentum measurement. That doesn't violate the HUP. The HUP would be violated if $\Delta p=0$, i.e., if every momentum measurement of our large collection of similar states gave us the same value every single time.

To address the title then:

Why can't the Uncertainty Principle be broken for individual measurements if it is a statistical law?

As stated above, the HUP does not say anything about individual measurements. It just puts a bound on the product of the "spreads" of two types of measurements.

BioPhysicist
  • 56,248
  • I think there has been a confusion in my wordings in the question. I will edit it. But what I mean is- Take a large number of states $| \Psi \rangle$ and perform $\Delta x$ and $\Delta p$ calculation on them, while performing the experiment only on $|\Psi \rangle$ at a time. After that you will get an inverse relationship between the two. Okay sure. But now, how does this tell us that you can't find a particle at rest in a box, since zero point energy is often attributed to the uncertainty principle. – Physiker Apr 21 '21 at 17:00
  • @SarthakGirdhar I have addressed your concerns in my answer. The zero point energy being due to the HUP is not correct though. That is just a property of certain quantum mechanical systems in general. – BioPhysicist Apr 21 '21 at 17:02
  • I have edited me question, please check if it makes sense now. – Physiker Apr 21 '21 at 17:06
  • @SarthakGirdhar Thanks. My answer is still valid and addresses your concerns – BioPhysicist Apr 21 '21 at 17:07
  • What would you attribute the zero point energy to? Secondly- This was my exact problem. There are a lot of people claiming that you can't measure a particle to have exact 0 momentum since there will always be a $\pm$ factor. Similarly you can't measure the position because it will also have a $\pm$ factor, and those two factors will always show the $\hbar/2$ inequality but as it seems that isn't really true. – Physiker Apr 21 '21 at 17:17
  • @BioPhysicist Why is the claim that zero-point energy is a result of HUP not correct? – Lost Apr 21 '21 at 17:24
  • 1
    @SarthakGirdhar There is a lot of pop-sci descriptions of the HUP that are not rigorous in their description. As for the zero-point energy, that is just a property of quantum systems in general. They do not arise from the HUP. They arise from the system only being able to take on certain energy values, and the smallest of those not being $0$. – BioPhysicist Apr 21 '21 at 17:29
  • @BioPhysicist One interpretation of ZPE for a particle bound by an energy potential is that HUP gives lower bounds for Kinetic Energy and Potential Energy, since in an energy potential, these two quantities map directly to Momentum and Position. – Aron Apr 22 '21 at 02:06
  • "If you have multiple similar states and do the above steps you will get a single Δx and a single Δp." That's what they said. The RMS is a single value. "There is no inverse relationship to be found." Yes, there is. Δx ~ 1/Δp – Acccumulation Apr 22 '21 at 17:50
  • @Acccumulation That brings in additional assumptions. The HUP alone does not say that has to be the case at all. – BioPhysicist Apr 22 '21 at 18:20
  • If you want to be pedantic, it holds for Gaussian distributions, and in general there is an inverse relationship between the value of one and the bound and the other: min(Δx) ~ 1/Δp. I considered including such caveats, but thought they would be understood, and such precision not being necessary for a comment. – Acccumulation Apr 22 '21 at 18:24
  • @Acccumulation I am trying to be as general as possible here since the OP said nothing about assuming Gaussian distributions – BioPhysicist Apr 22 '21 at 18:27
4

All measurements in QM are implied to be the ensemble measurements, i.e., they are done on many particles/systems "prepared" in the same way. A measurement perturbs the system, so it can never be done on the same system twice. Measuring two non-commuting operators on the same system would require two measurements, so it cannot be done on one system. But consecutive measurements may indeed violate the uncertainty principle, before we collect enough data for reliable statistical inference.

Update
It is necessary to distinguish between the mathematical and the sample means. Thus, mathematically we define the mean and the variance of a quantity as $$ \langle A\rangle = \int dx \psi^*(x)\hat{A}\psi(x),\\ \langle (\Delta A)^2\rangle = \int dx \psi^*(x)(\hat{A}-\langle A\rangle)^2\psi(x) $$ The uncertainty relation applied to such mathematical quantities is a rigorous mathematical statement, allowing no ambiguity.

In experiment however we will have measurements $\mathbf{A}=(A_1, A_2, ..., A_N)$ and calculate sample averages $$ \overline{x} = \frac{1}{N}\sum_{i=1}^Nx_i,\\ var(x) = \overline{(x -\overline{x})^2} = \frac{1}{N-1}\sum_{i=1}^N(x_i-\overline{x})^2 $$ These averages are themselves random quantities, which approach the mathematical averages only in the limit $N\rightarrow\infty$ (Note factor $1/(N-1)$ in the definition of the invariance - if it were $1/N$, the estimate would be biased, i.e., it would never approach the theoretical value). Thus, for finite $N$ it is quite possible to have a situation where the sample variances do not satisfy the uncertainty relation.

To summarize: the physical meaning of the uncertainty relation is statistical. More specifically:

  • it is valid only for an ensemble of measurements
  • it cannot be used for a single measurement (moreover, two non-commuting quantities cannot be measured simultaneously)
Roger V.
  • 58,522
  • 1
    What then does measuring position and momentum simultaneously mean? – Physiker Apr 21 '21 at 16:38
  • 1
    They cannot be measured simultaneously. – Roger V. Apr 21 '21 at 16:52
  • 1
    Don't we say casually that the Uncertainty Principle says that measuring position and momentum simultaneously to arbitrary accuracy is impossible. Does that refer to the ensemble average? – Physiker Apr 21 '21 at 16:54
  • 1
    But consecutive measurements may indeed violate the uncertainty principle... I am not sure about what this actually means. Are you just saying with limited data calculated $\Delta x$ and $\Delta p$ will have substantial errors? – BioPhysicist Apr 21 '21 at 16:57
  • 2
    @BioPhysicist this is precisely what I meant. – Roger V. Apr 21 '21 at 18:56
  • trivial example: you measure the position once, and the momentum once, and then your measured $\Delta{}x = \Delta{}p = 0$, right? – user253751 Apr 22 '21 at 09:36
  • @user253751 if you measure them once, the variance is not defined. But this is the idea: you can make ten measurements and get the same value of $x$, so its variance will be zero, while $p$ is measured to a finite accuracy. – Roger V. Apr 22 '21 at 09:39
  • All measurements in QM are implied to be the ensemble emasurements

    Not at all! Repeated measurements have to be, but it's perfectly possible to measure a single system once.

    – wnoise Apr 23 '21 at 05:34
  • @wnoise quantum repeat measurements do exist, but one does not measure the object prepared in the same state, i.e., not exactly the same thing - see the second half of the phrase that you quoted. – Roger V. Apr 23 '21 at 06:02
  • @vadim: I prepare a state, once; I measure it, once. No ensemble needed or wanted.

    By "repeated measurements", I of course meant getting statistics on outcomes from identically prepared states. You can insist on describing this in terms of "ensembles", but the word really adds nothing to the discussion.

    – wnoise Apr 23 '21 at 06:08
  • @wnoise Then I am not sure what you disagree with. Statistical ensemble is a standard term. – Roger V. Apr 23 '21 at 07:39
  • @vadim: It is a misleading term. It implies that states only have meaning in terms of a large number of identically prepared systems. Which is not at all what orthodox quantum mechanics requires. – wnoise Apr 23 '21 at 16:59
  • @wnoise I never said that about states, but about measurement. And the information that we have about states is accessible only through measurements. – Roger V. Apr 23 '21 at 17:35
  • @Vadim Does your answer explain why the original Heisenberg's argument on Heisenberg's microscope (see wiki) is wrong? – nabzdyczony May 15 '21 at 18:30
  • Why would the estimate never approach the theoretical value if $\frac{N-1}N\to1$ as $N\to\infty$? – Ruslan Oct 21 '21 at 10:05
  • @Ruslan it is a biased estimator - its expectation value is different from the quantity that it estimates. Bias, Unbiased estimation of standard deviation – Roger V. Oct 21 '21 at 10:14
2

Quantum mechanics cannot be reduced to the HUP. There are some basic axioms of QM and the HUP follows from them. The relevant axioms here are:

  1. Quantum states are vectors $\psi$ in a Hilbert space $\mathbf{H}$.
  2. Observables are operators $A: \mathbf{H} \rightarrow\mathbf{H}$
  3. The measurement outcomes can only be the eigenvalues of the corresponding operator.
  4. The measurement outcome is random (that means unknowable in general). The probability of measuring the value $a$ is given by the absolute square of the overlab $\langle \phi_a |\psi \rangle$ of the quantum state and the eigenvector of $A$, corresponding to the eigenvalue $a$

Therefore the value of an observable for a given state is only known, if the quantum state is an eigenstate of that observable (for example immediately after a measurement). It follows that we can know the value of two observables simultaneously only if the state is an eigenstate of both observables at once. This is only possible if the two observables commute.

curio
  • 1,027
1

How do we make claims such as the particle is restricted to this box so it can't have a zero momentum and so forth?

Have you seen this claim made? It is at best shorthand for something else, and at worst just wrong. First, one should talk of the expected value or measured value of a particle, rather than speaking of it just having a value. The expected value of the momentum of a particle confined to a box absolutely can be zero; if it's confined to a box, and the box isn't moving, then overall expected value has to be zero (there are states where the expected value varies over time, but the average is still zero).

The probability of the measured value of its momentum being zero is zero (that is, $p(\text{momentum}=0)=0$), but that's just because the probability of it being any particular value is zero. The probability density for its momentum will, for normal states, be highest at zero.

Another correct statement would be that the momentum can't be restricted to zero.