Abstract
The standard uncertainty relations (UR) in quantum mechanics are typically used for unbounded operators (like the canonical pair). This implies the need for the control of the domain problems. On the other hand, the use of (possibly bounded) functions of basic observables usually leads to more complex and less readily interpretable relations. In addition, UR may turn trivial for certain states if the commutator of observables is not proportional to a positive operator. In this letter we consider a generalization of standard UR resulting from the use of two, instead of one, vector states. The possibility to link these states to each other in various ways adds additional flexibility to UR, which may compensate some of the above-mentioned drawbacks. We discuss applications of the general scheme, leading not only to technical improvements, but also to interesting new insight.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In popular textbook terms, the quantum-mechanical UR states that if any three observables A, B, C satisfy the commutation relation
then in any normalized quantum state \(\psi \) there is
where \(\langle A\rangle _\psi =(\psi ,A\psi )\) is the mean value of the probability distribution of A in the state \(\psi \) and \(\Delta _\psi (A)=\Vert (A-\langle A\rangle _\psi )\psi \Vert \) is the standard deviation of this distribution (see, e.g., [3]). This formulation follows the extension of the original Heisenberg relation [5] given by Robertson [13].
Quantum-mechanical observables are self-adjoint operators, which usually are not bounded (as is the case with the most prominent example of the canonical pair). Therefore, a more mathematically conscious formulation of UR has to take into account domain restrictions (see, e.g., [4]). By \(\mathcal {D}(A)\subseteq \mathcal {H}\) we denote the domain of an operator A acting in a Hilbert space \(\mathcal {H}\). For any self-adjoint operators A, B, the relation (1) defines a symmetric operator C on the domain
It is now a simple mathematical theorem that the relation (2) is satisfied for any normalized vector \(\psi \in \mathcal {D}(C)\).
The question that now arises is this: is \(\mathcal {D}(C)\) “sufficiently large” for the relation to be of use? In the worst possible case it could happen that \(\mathcal {D}(C)\) would not be dense in \(\mathcal {H}\), which would leave outside the range of the relation the whole closed subspace \(\mathcal {D}(C)^\bot \subseteq \mathcal {H}\). This case is of little use, so we assume from now on that \(\overline{\mathcal {D}(C)}=\mathcal {H}\) (bar denoting the closure). Even with this restriction, we are still left with a few open problems:
-
(i)
If \(\psi \) is not in \(\mathcal {D}(A)\), then \(\Delta _\psi (A)\) may be regarded as infinite; the relation tells us then nothing on the spread of distribution of B in the state \(\psi \).
-
(ii)
If \(\psi \in \mathcal {D}(A)\cap \mathcal {D}(B)\), then the product of uncertainties is finite. It may happen that also C extends to this larger domain, but UR need not extend to this case.
-
(iii)
The restrictions of A and B to \(\mathcal {D}(C)\) need not determine self-adjoint operators A and B uniquely (i.e., in technical terms, \(\mathcal {D}(C)\) need not be a core for A and B), so that the UR does not admit all states crucial for the determination of the observables A and B themselves.
-
(iv)
In general, if C is not strictly positive, it may have vanishing expectation value \(\langle C\rangle \) in the state \(\psi \) under consideration. The relation has no nontrivial content in this case.
Standard examples of the difficulties (ii) and (iii) occur for the ‘angle–angular momentum’ pair. Let \(\Phi ,L\) be the operators in \(\mathcal {H}=L^2(\langle 0,2\pi \rangle )\) defined by:
(where \(\psi '\) is a measurable derivative function of \(\psi \)). With these domains both operators are self-adjoint. The UR (2) on the domain (3) holds then with \(C\psi =\psi \) on
so that on this domain, which may be shown to be dense: \(\overline{\mathcal {D}(C)}=\mathcal {H}\), one has for normalized \(\psi \):
Both sides of this inequality are meaningful and finite for \(\psi \in \mathcal {D}(\Phi )\cap \mathcal {D}(L)=\mathcal {D}(L)\), but the inequality does not extend to this larger domain: take any eigenstate of L to find \(0\ge 1\), which illustrates difficulty (ii). The explanation of this seeming paradox is that for \(L\psi =m\psi \) there is no sequence of vectors \(\psi _n\in \mathcal {D}(C)\) which converges to \(\psi \), and at the same time satisfies \(\Delta _{\psi _n}(L)\rightarrow \Delta _\psi (L)\).
Even more disturbing is the fact that the domain \(\mathcal {D}(C)\) is not sufficient to uniquely identify the self-adjoint operator L taking part in the above relation (i.e., \(\mathcal {D}(C)\) is not a core for L). To see this it is sufficient to note that for each complex \(\omega \) with \(|\omega |=1\) one has a self-adjoint operator \(L_\omega \) defined as L, but on a different domain \(\mathcal {D}(L_\omega )=\{\psi \in \mathcal {H}\mid \psi '\in \mathcal {H},\ \psi (2\pi )=\omega \,\psi (0)\}\) (see, e.g., [12]). Each of these operators may replace L in the above UR, with no change of C or \(\mathcal {D}(C)\). This illustrates difficulty (iii).
Difficulty (iv) occurs in the well-known case of three-dimensional angular momentum operators; see below.
In the rest of this article we propose a simple extension of the minimization argument leading to UR. Our generalized UR are given in Sect. 2, Proposition 1. Applications of the general scheme to a few cases of particular physical interest are discussed in Sect. 3. Our use of the result of Proposition 1 is closely related to the mathematical and physical problem of the original formulation of UR: find optimal bounds on spreads of probability distributions defined by a given state for two incompatible observables.Footnote 1 We do not touch upon various other problems broadly related to ‘uncertainty’ in quantum mechanics, which recently draw considerable attention in physical literature (entropic uncertainty, error-disturbance problem, parameter estimation, etc.).
2 Generalized uncertainty relation
We consider general normal operators. We recall that (see, e.g., [14]):
-
(i)
A is called normal if it is densely defined, closed and satisfies \(A^*A=AA^*\).
-
(ii)
For normal A there is \(\mathcal {D}(A^*)=\mathcal {D}(A)\) and \(\Vert A^*\chi \Vert =\Vert A\chi \Vert \) for all vectors \(\chi \in \mathcal {D}(A)\).
-
(iii)
All functions of self-adjoint operators are normal operators.
-
(iv)
All normal operators satisfy the spectral theorem, \(A=\int _{\sigma (A)}z\,dE^A_z\), where \(\sigma (A)\) is the spectrum of A—a closed subset of \(\mathbb {C}\), and \(E^A_\Omega \) is its spectral family. For each normalized vector \(\psi \), the mapping \(\Omega \mapsto (\psi ,E^A_\Omega \psi )\) is a probability measure on Borel sets \(\Omega \subseteq \sigma (A)\), with the mean value \(\langle A\rangle _\psi =(\psi ,A\psi )\in \mathbb {C}\) and the standard deviation \(\Delta _\psi (A)=\Vert (A-\langle A\rangle _\psi )\psi \Vert \).
Let A and B be normal operators with the domains \(\mathcal {D}(A)\) and \(\mathcal {D}(B)\), respectively. Then we define a sesquilinear form
with the domain \(\varphi ,\chi \in \mathcal {D}(q_{A,B})\equiv \mathcal {D}(A)\cap \mathcal {D}(B)\) (an example of a recent use of this ‘weak commutator’ may be found in [15]). In special case when \(\chi \in \mathcal {D}(AB)\cap \mathcal {D}(BA)\), this weak commutator becomes the ordinary one, \(q_{A,B}(\varphi ,\chi )=(\varphi ,[A,B]\chi )\). Moreover, for any complex numbers a, b, we denote \(A_a=A-a\mathbf{1}\), \(B_b=B-b\mathbf{1}\), which are also normal operators.
Proposition 1
(Generalized Uncertainty Relation). For any normal operators A, B and unit vectors \(\varphi ,\chi \in \mathcal {D}(q_{A,B})\), the following inequality holds
where \(\delta \langle A\rangle =\langle A\rangle _\varphi -\langle A\rangle _\chi \), \(\delta \langle B\rangle =\langle B\rangle _\varphi - \langle B\rangle _\chi \).
Proof
We first note that \(q_{A_a,B_b}=q_{A,B}\). Therefore, the successive use of the triangle and the Schwarz inequalities (and property (ii) above) gives
Thus, using the arbitrariness of a and b, we arrive at the first relation (inequality) in (4). The rhs of (5) is a real function \(F(a,\bar{a}, b, \bar{b})\), nondecreasing for |a| or |b| sufficiently large and tending to \(+\infty \). Therefore, it reaches its infimum at one of its stationary points, which are the solutions of the set of equations \(\partial F/\partial \bar{a}=0\), \(\partial F/\partial \bar{b}=0\), i.e.,
Solving the first two of these equations for a and b in terms of \(\lambda _i\equiv \gamma _i/(\gamma _1+\gamma _2)\) (\(i=1,2\)), one obtains \(a=\lambda _2\langle A\rangle _\varphi +\lambda _1\langle A\rangle _\chi \), \(b=\lambda _2\langle B\rangle _\varphi +\lambda _1\langle B\rangle _\chi \). Setting these values into (5), one obtains the second relation (equality) in (4). The condition for stationary points is now reduced to the condition on \(\lambda _i\): \(\gamma _1\lambda _2=\gamma _2\lambda _1\), i.e.,
where \(\lambda _1,\lambda _2\in \langle 0,1\rangle \), \(\lambda _1+\lambda _2=1\). This condition, when expressed in terms of one unknown, is an algebraic equation of the fifth order, which is not algebraically solvable in general. Thus, we postpone its solution to more special cases. \(\square \)
The simplest special case of Proposition 1 is obtained for \(\varphi =\chi \), \(\Vert \chi \Vert =1\). Relation (4) then immediately takes the form
The UR in this form was applied by Kraus [8] to the above-mentioned case of angle–angular momentum pair. Integrating by parts one finds that \(q_{L,\Phi }(\chi ,\chi )=i(2\pi |\chi (2\pi )|^2-1)\), hence
This yields correct \(0\le 0\) for \(L\chi =m\chi \), but a drawback of this relation is that beside uncertainties it needs the value of \(\chi \) at a particular point.
Relation (7) reduces to the standard form (2) for \(\chi \in \mathcal {D}(C)\).
The extended flexibility of the relation (4) relies on the possibility to assume more general relations between \(\varphi \) and \(\chi \), than equality. Before discussing some special examples in the next section, we illustrate this with a simple proof of a property, which may also be proved without the use of Proposition 1, although with much more effort.
Proposition 2
Let \(\mathcal {H}=\displaystyle \bigoplus _{i=1}^N\mathcal {H}_i\), \(\chi =\displaystyle \sum _{i=1}^N\chi _i\), \(\chi _i\in \mathcal {H}_i\), \(\Vert \chi \Vert =1\).
If \(A\chi _i,B\chi _i\in \mathcal {H}_i\) for \(i=1,\ldots ,N\) (in particular, if all \(\mathcal {H}_i\) are invariant under A and B) then
Proof
Set \(\varphi =\displaystyle \sum _{i=1}^N\frac{q_{A,B}(\chi _i,\chi _i)}{|q_{A,B} (\chi _i,\chi _i)|}\,\chi _i\) and use relation (4). The means and uncertainties of A and B in the states \(\chi \) and \(\varphi \) coincide, while \(\frac{1}{2}|q_{A,B}(\varphi ,\chi )|\) is equal to the lhs of the above inequality. \(\square \)
3 Applications of the generalized relation
We start with a few remarks on unitary operators and one-parameter groups. If V is a unitary operator on \(\mathcal {H}\), then it is normal, with the spectrum on the unit circle, and with \(\Delta ^2_\psi (V)=\Vert (V-\langle V\rangle _\psi )\psi \Vert ^2=1-|\langle V\rangle _\psi |^2\le 1\). In this case we shall denote
This parameter is an increasing function of the deviation, for small spread \(\delta _\psi (V)\approx \Delta _\psi (V)\), while for \(\Delta _\psi (V)\rightarrow 1\) (maximal spread) it tends to infinity.
If \(V(s)=\exp [-isX]\) is a one-parameter unitary group with the self-adjoint generator X, then \(\langle V(s)\rangle _\psi =\int _{\sigma (X)} e^{-isx} \mathrm{d}\mu _\psi (x)\), where \(\mathrm{d}\mu _\psi (x)\) is the spectral measure of X in the state \(\psi \). Using this representation and its conjugate one finds
Therefore, if \(\psi \in \mathcal {D}(X)\), the finite limit exists
which is also equal to \(\displaystyle \lim \nolimits _{s\rightarrow 0}s^{-2}\delta ^2_\psi (V(s))\) (if \(\psi \notin \mathcal {D}(X)\) the limit is \(+\infty \)).
3.1 A Weyl pair
Proposition 3
Let U and W be unitary operators on \(\mathcal {H}\), such that
with some complex number \(\omega \), \(|\omega |=1\)—we shall call any such system a Weyl pair. Then for each normalized vector \(\psi \in \mathcal {H}\) the following inequality holds
Proof
We consider relation (4) with the substitutions \(A=W\), \(B=U\), \(\varphi =U\psi \), \(\chi =W^*\psi \). Then using the relation \(UW^*=\omega W^*U\) one finds \(q_{W,U}(\varphi ,\chi )=\omega -1\), so the lhs of (4) is \(|\omega -1|\). In addition, algebraic relations give \(\langle W\rangle _\varphi =\omega \langle W\rangle _\psi \), \(\langle W\rangle _\chi =\langle W\rangle _\psi \), \(\langle U\rangle _\varphi =\langle U\rangle _\psi \), \(\langle U\rangle _\chi =\omega \langle U\rangle _\psi \). We set these means into the stationary point condition (6). After some simple algebra this condition is reduced to the form
where we have introduced \(\varepsilon =\frac{1}{2}|\omega -1|\in \langle 0,1\rangle \). For the stationary point \(\lambda _1=\lambda _2=\frac{1}{2}\) the relation (4) implies
Solving this for \(\varepsilon \) one obtains relation (8). This stationary point is in fact the unique minimum point of the rhs of our UR (4) in all nontrivial cases, i.e., when \(\omega \ne 1\). Indeed, for \(\lambda _1\ne \lambda _2\) there is \(\lambda _1\lambda _2<\frac{1}{4}\), so using inequality (8) we find for \(\varepsilon >0\):
which closes the proof. \(\square \)
Remark
Relation equivalent to our inequality (8) has been given earlier by Massar and Spindel [11], and their proof is to be found in the supplementary material to that reference. Our form of the inequality has more directly visible interpretation. In addition, our much simpler proof is an application of our general minimization scheme, showing that the inequality is in a certain sense optimal.
3.2 The canonical pair
The standard canonical pair operators X, P are uniquely (up to unitary equivalence) defined as being generators of irreducibly represented one-parameter groups \(W(\alpha )=\exp [-i\alpha X]\), \(U(\beta )=\exp [-i\beta P]\) which satisfy relation
Inequality (8) may be written in the form
For small \(\alpha \), \(\beta \) quantities on the rhs approximate the standard deviations of X and P, but are finite for all \(\psi \). If \(\psi \) is in the domain of one of the variables, say \(\psi \in \mathcal {D}(X)\), then the limit in \(\alpha \) results in
and when \(\psi \in \mathcal {D}(X)\cap \mathcal {D}(P)\), the usual UR is obtained for \(\beta \rightarrow 0\), with the guarantee of its validity on this domain.
3.3 Angle–angular momentum pair
Similarly, the angle–angular momentum operators \(\Phi \), L are uniquely (up to unitary equivalence) defined by irreducibly represented unitary operators \(W(n)=\exp [-in\Phi ]\), \(n\in \mathbb {Z}\), and \(U(\beta )=\exp [-i\beta L]\), \(\beta \in \mathbb {R}/\!{{\mathrm{mod}}}2\pi \), which satisfy the relation
The UR now takes the form
For \(\psi \in \mathcal {D}(L)\) this implies
(The latter relation for \(n=1\) was earlier discussed by Hradil et al. [7]). In particular, if \(\psi \) is an eigenvector of L, then the spread reaches \(\Delta _\psi (W(n))=1\), the maximal value.
3.4 Unitary transformation
Proposition 4
Let U be a unitary transformation, A a normal operator, and denote \(A_U=U^*\!A\,U\). Then for each normalized \(\chi \in \mathcal {D}(A)\cap \mathcal {D}(A_U)\) \(=\mathcal {D}(A)\cap U^*\mathcal {D}(A)\) there is
Proof
We set \(B=U\) and \(\varphi =U\chi \) in Proposition 1. Then the lhs of inequality (4) becomes \(|q_{A,U}(U\chi ,\chi )|=|\langle A_U\rangle _\chi -\langle A\rangle _\chi |\equiv |\delta \langle A\rangle |\). We also have \(\langle U\rangle _\varphi =\langle U\rangle _\chi \), \(\Delta _\varphi (U)=\Delta _\chi (U)\) and \(\Delta _\varphi (A)=\Delta _\chi (A_U)\). Using these values in the stationary point condition (6), we find that its solution is given by \(\lambda _1=\Delta _\chi (A_U)/(\Delta _\chi (A_U)+\Delta _\chi (A))\), \(\lambda _2=1-\lambda _1\). With these values, the rhs of inequality (4) is \(\Delta _\chi (U)\big ([\Delta _\chi (A_U)+ \Delta _\chi (A)]^2+|\delta \langle A\rangle |^2\big )^{1/2}\). Solving now the inequality for \(|\delta \langle A\rangle |\) one obtains (9). \(\square \)
3.5 Time evolution
For a quantum system in Heisenberg picture, with the time evolution operator \(U(t)=\exp [-itH]\), with H the energy operator, consider Heisenberg normal variable \(A_t\). Then \(A_{t_2}=(A_{t_1})_{U(t_2-t_1)}\) in the notation of the last subsection. Relation (9), for \(\chi \in \mathcal {D}(A_{t_2})\cap \mathcal {D}(A_{t_1})\), takes now the form
If \(\chi \in \bigcap _{\tau \in (t-\varepsilon ,t+\varepsilon )}\mathcal {D}(A_\tau )\cap \mathcal {D}(H)\) and such that \(\Vert A_\tau \chi -A_t\chi \Vert \rightarrow 0\) for \(\tau \rightarrow t\), one can recover the well-known relation
It is well known that there is no self-adjoint time operator which would be translated by time evolution as \(U(t)^*TU(t)=T+t\) (see, e.g., [2]).Footnote 2 Formula (11) may be interpreted as a substitute for time–energy relation, in the following sense [10]. Let \(\mathrm{d}\langle A_t\rangle _\chi /\mathrm{d}t\approx \mathrm {const}.\) in some interval of t, then A may be rescaled so that in fact \(\mathrm{d}\langle A_t\rangle _\chi /\mathrm{d}t\approx 1\). Then \(\langle A_t\rangle _\chi \) describes correctly the flow of time in this interval. The product of uncertainties is then bounded by 1 / 2 from below.
The full formula (10) tells us more. Suppose \(\langle A_t\rangle _\chi \) is an increasing function of time, say, for simplicity, proportional to t. For this quantity to be a good measure of time we demand that the deviation \(\Delta _\chi (A_t)\) stays bounded by a constant. This is then possible only if \(|\langle U(t)\rangle _\chi |=|(\chi ,\chi _t)|\) decreases at least as 1 / t with time—the Schrödinger evolution of the state has to bring it sufficiently fast away from the initial state.Footnote 3
3.6 Angular momentum
Let \(\mathcal {H}\) be a representation space of the usual angular momentum operators \(J_i\), either bosonic: \(\exp (i2\pi J_3)=\mathbf{1}\), or fermionic: \(\exp (i2\pi J_3)=- \mathbf{1}\). For \(\varphi ,\chi \in \mathcal {D}(\sqrt{J^2})\) the weak commutator of \(J_i\) and \(J_j\) is equal to the strong one, that is \(q_{J_1,J_2}(\varphi ,\chi )=i(\varphi ,J_3\chi )\) (and permuted relations). This is easily seen by differentiating the identity
with respect to \(\beta \), setting \(\beta =0\), and then performing the same operation with respect to \(\alpha \). Therefore, for such vectors and any real numbers \(j_1,j_2\) we obtain
There are now a few possible choices of \(\varphi \). The standard choice \(\varphi =\chi \) and minimization with respect to \(j_1,j_2\) gives the standard relation
on the maximal possible domain. A weak point of this relation is that \(J_3\) is not positive, so the mean on the lhs may take arbitrarily small value for certain states, including zero.
Our second choice is \(\varphi =J_3\chi /\Vert J_3\chi \Vert \) for \(\chi \in \mathcal {D}(J^2)\). We denote by S the positive operator such that \(J^2=S(S+1)\), and choose \(j_i=\langle J_i\rangle _\chi \). Then the lhs of (12) is \(\Vert J_3\chi \Vert \), and on the rhs we have \(\Vert (J_i-j_i)\varphi \Vert \le \Vert J_i\varphi \Vert +|\langle J_i\rangle _\chi |\le \Vert S\varphi \Vert +\langle S\rangle _\chi \). Using this in (12) we find
In particular, if the spectrum of \(J^2\) is bounded, sayFootnote 4 \(\Vert S\Vert =j\), then it follows that
but note that this form may become much weaker for some states and large j.
We go to our third choice of \(\varphi \), explained below. We denote by \(P_m\) the projection operator onto the eigensubspace \({{\mathrm{Ker}}}(J_3-m\mathbf{1})\). Let \(\mu \) be a spectral value of \(J_3\) such that \(\mu -1\le 0\le \mu \) (thus in fermionic case \(\mu =1/2\), while in bosonic case \(\mu =0\) or \(\mu =1\)). We introduce further self-adjoint projection operators and an involution:
so that \(J_3=E|J_3|\). We choose now \(\varphi =E\chi \) and \(j_i=\langle J_i\rangle _\chi \).
Proposition 5
In standing notation, for \(\chi \in \mathcal {D}(\sqrt{J^2})\), there is
where \(\delta =0\) (\(\delta =1\)) in bosonic (fermionic) case, respectively.
Proof
Expressing operators \(J_i\) (\(i=1,2\)) in terms of \(J_\pm \) one shows that \(EJ_iE-J_i=-2PJ_iP\equiv W_i\), and furthermore, \(W_i^2=\big (J^2+\mu (1-\mu )\big )P=(J^2+\frac{1}{4}\delta )P\), with \(\delta \) defined in the thesis. It follows that \(|W_i|=[J^2+\frac{1}{4}\delta ]^{1/2}P\). Setting now \(\varphi =E\chi \), \(j_i=\langle J_i\rangle _\chi \) we note that
which gives the thesis when used in (12). \(\square \)
In particular, if \(P\chi =0\) (that is, \(P_0\chi =P_{+1}\chi =0\) or \(P_0\chi =P_{-1}\chi =0\) in bosonic case, or \(P_{-1/2}\chi =P_{+1/2}\chi =0\) in fermionic case), then
This fact follows also more directly from Proposition 2: set \(\mathcal {H}=\mathcal {H}_+\oplus \mathcal {H}_-\), \(\mathcal {H}_\pm =E_\pm \mathcal {H}\), \(\chi =\chi _++\chi _-\), \(\chi _\pm \in \mathcal {H}_\pm \). Then \(\varphi =\chi _+-\chi _-\) and the relation immediately follows.
Discussion In the present subsection, instead of minimizing the rhs of the inequality (12) with respect to \(j_1\) and \(j_2\) (in the spirit of Proposition 1), we have chosen specific values \(j_i=\langle J_i\rangle _\chi \): minimization does not seem to be algebraically solvable, in general. In addition, some norm inequalities employed in the derivation could possibly be replaced by other arguments leading to more stringent conditions. Therefore, the inequalities (13) and (15) need not be optimal and may be improved in special cases.
We illustrate this in the special case of spin 1 / 2 operators. In this case \(j=1/2\) and \(J_i^2=(1/4)\mathbf{1}\) and one easily finds that inequalities (14) and (15) take in this case the form
respectively. Both of these restrictions are weaker than the inequality
which is a consequence of the standard uncertainty relation for \(J_1\) and \(J_3\), due to the sequenceFootnote 5 \(\Delta _\chi (J_1)^2\ge 4\Delta _\chi (J_3)^2\Delta _\chi (J_1)^2\ge \langle J_2\rangle _\chi ^2=(1/4)-\Delta _\chi (J_2)^2 \), or by the use of the explicit Pauli matrices representation.
However, in spin 1 / 2 case the minimization given by Proposition 1 may be effectively carried out. In this case the choice of vector \(\varphi \) coincides in the two cases leading to (14) and (15): \(\varphi =J_3\chi /\Vert J_3\chi \Vert =E\chi \). Moreover, here \(EJ_iE=-J_i\), so \(\langle J_i\rangle _\varphi =-\langle J_i\rangle _\chi \) and \(\Delta _\varphi (J_i)=\Delta _\chi (J_i)\), and the relation (4) takes the form
Now take into account that here \(\Delta _\chi ^2(J_i)=1/4-\langle J_i\rangle _\chi ^2\), set \(\lambda _1=(1+s)/2\), \(\lambda _2=(1-s)/2\), \(s\in \langle -1,1\rangle \), and expand the rhs in s. The straightforward calculation gives
Therefore, we find that \(1/4\ge \langle J_1\rangle _\chi ^2+\langle J_2\rangle _\chi ^2\), which is equivalent to (16). Of course, this is not the simplest way to arrive at this result in this special case. However, in general the standard uncertainty relation alone does not seem to lead to analogous improvements of relations (13) or (15).
Finally, to illustrate further applications of our method we obtain another relation, which results from the combination of the standard one with the relation (13). Namely, for \(\chi \in \mathcal {D}(\sqrt{J^2})\) we have a sequence
and another one with indices 1 and 2 interchanged. Adding these inequalities side by side and using \(\Vert \sqrt{J^2}\chi \Vert ^2=\sum _k\Vert J_k\chi \Vert ^2\) one obtains
We can now further estimate the rhs with the use of inequality (13), or (14) in the bounded spectrum case. We assume for simplicity that \(\Vert J^2\Vert =j(j+1)\) (again, we do not need to assume that \(\mathcal {H}\) is an eigenspace of \(J^2\)) and then we obtain
Estimating \(\big (\Delta _\chi (J_1)+\Delta _\chi (J_2)\big )^2\le 2 \big (\Delta _\chi ^2(J_1)+\Delta _\chi ^2(J_2)\big )\) and solving the above inequality for \(\Delta _\chi ^2(J_1)+\Delta _\chi ^2(J_2)\) we find
The rhs is further bounded by \(2\langle J^2\rangle _\chi /c(j)\), where c(j) results from the replacement of \(\langle J^2\rangle _\chi \) by \(j(j+1)\) in the denominator. One shows that \(j(j+1)/c(j)\) is a decreasing function of j for \(j\ge 1/2\), thus it is bounded from below by its limit value. In this way, we find
These relations may be compared with a three-observable relationFootnote 6
obtained by summing relation (17) with its two cyclically permuted versions.
Notes
A different generalization of UR has been recently proposed in [9].
We insist on self-adjointness; non-self-adjoint ‘time operators’ considered in the literature (a recent example is [6]) do not have spectral decompositions, thus the probabilistic interpretation does not apply in standard form.
On other state decay estimates—in context of non-self-adjoint time operators—see [1].
Note that we do not assume that \(\mathcal {H}\) is an eigenspace of \(J^2\).
We are grateful to the Referee for bringing this, and similar sequences for higher j, to our attention, which led us to the addition of the present discussion.
This is an improved/generalized version of a relation pointed out to us by Referee.
References
Arai, A.: Generalized weak Weyl relation and decay of quantum dynamics. Rev. Math. Phys. 17, 1071–1109 (2005)
Busch, P., Grabowski, M., Lahti, P.J.: Operational Quantum Physics. Springer, Berlin (1995)
Griffiths, D.J.: Introduction to Quantum Mechanics. Prentice Hall, Upper Saddle River (1995)
Hall, B.C.: Quantum Theory for Mathematicians. Springer, New York (2013)
Heisenberg, W.: Über den anschaulichen Inhalt der quantentheoretischen Kinematik und Mechanik. Z. f. Phys. 43, 172–198 (1927)
Hiroshima, F., Kuribayashi, S., Matsuzawa, Y.: Strong time operators associated with generalized hamiltonians. Lett. Math. Phys. 87, 115–123 (2009)
Hradil, Z., Rehacek, J., Bouchal, Z., Celechovsky, R., Sanchez-Soto, L.L.: Minimum uncertainty measurements of angle and angular momentum. Phys. Rev. Lett. 97, 243601 (2006)
Kraus, K.: Remark on the uncertainty between angle and angular momentum. Z. f. Phys. 188, 374–377 (1965)
Maccone, L., Pati, A.K.: Stronger uncertainty relations for all incompatible observables. Phys. Rev. Lett. 113, 260401 (2014)
Mandelstam, L.I., Tamm, I.E.: The uncertainty relation between energy and time in nonrelativistic quantum mechanics. Izv. Akad. Nauk SSSR (ser. fiz.) 9, 122–128 (1945)
Massar, S., Spindel, P.: Uncertainty relation for the discrete Fourier transform. Phys. Rev. Lett. 100, 190401 (2008)
Reed, M., Simon, B.: Methods of Modern Mathematical Physics, vol. I. Academic Press, San Diego (1972)
Robertson, H.P.: The uncertainty principle. Phys. Rev. 34, 163–164 (1929)
Rudin, W.: Functional Analysis. McGraw-Hill, New York (1973)
Takaesu, T.: A Hardy’s uncertainty principle lemma in weak commutation relations of Heisenberg-Lie algebra. Lett. Math. Phys. 97, 29–35 (2011)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Herdegen, A., Ziobro, P. Generalized uncertainty relations. Lett Math Phys 107, 659–671 (2017). https://doi.org/10.1007/s11005-016-0916-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11005-016-0916-9