Abstract
We investigate properties of the covariance matrix in the framework of non-commutative quantum mechanics for an one-parameter family of transformations between the familiar Heisenberg–Weyl algebra and a particular extension of it. Employing as a measure of the Robertson–Schrödinger uncertainty principle the linear symplectic capacity of the Weyl ellipsoid (and its dual), we determine its corresponding bounds. Inequalities between the capacities for non-commutative phase-spaces are established. We also present a constructive example based on a simple model to justify our theoretical predictions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article motivated by the work of [1,2,3] a number of questions arise in the context of non-commutative quantum mechanics. Which conditions extend properties of the quantum mechanical covariance matrix for the conventional Heisenberg-Weyl (H.W.) algebra to the non-commutative one in arbitrary phase-space dimensions? What criteria the Wigner quasi-probability function should meet so that the transformation of covariance matrices for the two algebras be legitimate? Do exist bounds for the linear symplectic capacity of the covariance ellipsoid and its dual in this case? Can we establish any inequalities for the linear symplectic capacities of the corresponding non-commutative phase-spaces?
In the literature [4, 5] some of the above issues have been addressed and partially studied following different paths. A brief outlook of the present work which exhibits our contribution is as follows. In Sect. 2 we define the extended Heisenberg-Weyl algebra of our interest and state the transformation matrix M which connects it with the familiar H.W. algebra. We focus our attention on a particular one-parameter class of transformations and discover that the skew-symmetric matrices \(\theta _{ij}=\theta E_{ij}, \eta _{ij}=\eta E'_{ij}\) of the deformed algebra, should be of even dimension if one is willing to maintain their symplectic or anti-symplectic structure. Restricting further to orthogonal Darboux transformations, the one parameter space is forced to obtain only the two values \(\pm 1\), and therefore \(M\in SO(4l), \, l\in {\mathbb {N}}\). Such kind of transformations will be used in our example exposed at the end of the manuscript.
In Sect. 3 we define the quantum mechanical covariance matrix with density operator constructed for a pure state. In order to establish the connection of the covariance matrices between the two algebras, we require the Wigner quasi-probability measure to transform as in the classical probability theory. In the remainder of this section we prove (Proposition 1) that if the covariance matrix of the extended algebra is positive semi-definite then the matrix \(\Sigma _{W_{\Omega }}\), with elements the traces of the density operator, is positive definite, independently of the symplectic or anti-symplectic behaviour of the matrix \(S(\theta ,\eta )\). This result, according to our knowledge, is new and was first appeared for the standard symplectic case in [1]. Also, the aforementioned property will assist in proving Proposition 4 of the next section.
In Sect. 4 the third and fourth questions admit a positive answer if one diagonalizes \(\Sigma _{W_{\Omega }}\) by an \(\omega \)-symplectic matrix (Proposition 4). The proof is based on an extension of Williamson’s diagonalization theorem and applied to four phase-space dimensions. The reason for this dimensional limitation is due to the technical complexity associated with the use of Sylvester’s criterion for positive semi-definite matrices. Depending on whether the matrix S is symplectic or anti-symplectic we derive inclusions between the Wigner ellipsoids and its duals. These inclusions, by the monotonicity property of the symplectic capacity, imply certain inequalities among them. The results of this section are also new.
Finally, in Sect. 5 we present an application for a simple model, borrowed from our previous work on non-commutative harmonic oscillator [6], and justify our theoretical predictions for the ground state of the system.
Conventions: We conclude introduction with a statement of our notations used in the manuscript. Latin indices take values in the set \(\{1,2,\cdots ,n\}\) whereas Greek indices are phase-space indices with values \(\{1,2,\cdots ,2n\}\). The superscript “\({}^{\intercal }\)” indicates transposition and the over bar denotes complex conjugation. We denote by \({\mathcal {M}}(2n,{\mathbb {R}})\) the set of all \(2n\times 2n\) real constant matrices and use the compact notations:
for the real symmetric matrices,
for the positive definite symmetric matrices,
for the semi-definite positive symmetric matrices,
for the standard symplectic group with form \(\sigma (u,v)=u^{\intercal }J v\) on \({\mathbb {R}}^n\oplus {\mathbb {R}}^n\) (see 8 for the definition of J) and
for the \(\omega \)-symplectic group corresponding to the linear transformations which leave the skew-symmetric bilinear form \(\omega (u,v)=u^{\intercal }\Omega v\) on \({\mathbb {R}}^n\oplus {\mathbb {R}}^n\) invariant (\(\Omega \) is defined in (12)).
2 A class of extended Heisenberg-Weyl algebras
Consider the extended Heisenberg–Weyl algebra in \(n\ge 2\),
where \(f(\hbar ,\theta ,\eta )\) is a function of Planck’s constant \(\hbar =h/2\pi =6.62607015\times 10^{-34} J\cdot Hz^{-1}\) as well as the deformation parameters \(\theta _{ij}, \eta _{ij}\) which are assumed to form \(n\times n\) real, skew-symmetric and constant matrices. We concentrate on the case in which \(\theta _{ij}=\theta E_{ij}, \,\eta _{ij}=\eta E'_{ij}\)Footnote 1 where \(E_{ij}, E'_{ij}=\pm 1\) for \(i\ne j\) and zero otherwise. The natural units of both \({\hat{q}}\)’s and \({\hat{p}}\)’s are to be those of length and momentum respectively. Adopting the notation \({\hat{z}}_{\alpha }={\hat{q}}_{\alpha }, \, \alpha =1,\cdots ,n\) and \({\hat{z}}_{\alpha }={\hat{p}}_{\alpha -n}, \, \alpha =n+1,\cdots ,2n\) the commutation relations can be written compactly in phase-space as
where J is the standard symplectic matrix
and S is given by
This algebra is related to the familiar H.W. algebra
through a non-canonical linear transformation, which is a diffeomorphism of phase space whose Jacobian matrix is not symplectic at every point. The map
is called a Darboux map and induces the matrix equation between the two algebras
Relation (12) implies that M is not manifestly a symplectic matrix. If one writes M in block matrix form as
then (12) leads to the following matrix system
with unknowns the submatrices A, B, C, D. Using the possibility \(AB^{\intercal },\, CD^{\intercal } \) to be both skew-symmetricFootnote 2, we obtain the equivalent system
Tracing the first equation of (15) yields \(f(\hbar ,\theta ,\eta )=g(\hbar )\text {Tr}(AD^{\intercal }-BC^{\intercal })/n\). The unique decomposition of a matrix into symmetric and skew-symmetric parts allows us to search for solutions of the particular form \(N_{n\times n}=\lambda I_{n\times n}+\mu E_{n\times n}, \, \lambda ,\mu \in {\mathbb {R}}\). One can verify that a viable set of solutions is
Special attention should be paid to the derivation of \(f(\hbar ,\theta ,\eta )\) since the term \(E'E\) equals the identity matrix on condition that E is nonsingular and therefore invertible. This is true for even dimensional matrices \(n=2k\) because then an antisymmetric matrix satisfies the relation \(\det E_{2k\times 2k}=(\text {Pf} \, E_{2k\times 2k})^2>0\) where \(\text {Pf}\, E=\varepsilon _{i_1j_1 i_2j_2 \cdots i_kj_k}E_{i_1j_1}E_{i_2j_2}\cdots E_{i_kj_k}/2^k k!\) is the Pfaffian of E [7]. For square matrices with \(n=2k+1\) the determinant vanishes since there are null eigenvalues. Also every \(2k\times 2k\) antisymmetric matrix can be diagonalized by a unitary matrix and it has purely imaginary eigenvalues coming in conjugate pairs. Denoting these by \(\pm i\lambda _j, \, j=1,\cdots ,k\), with \(\lambda _j\) being positive reals, A can be brought into a unique canonical form, by a special orthogonal transformation \({\mathcal {O}}\)
where \(\oplus _{j=1}^k A_j\) is the direct sum of skew-symmetric \(2\times 2\) sub-blocks \(A_j\). If in addition A is an orthogonal matrix then its eigenvalues should have unit modulus and \(\lambda _j=1, \forall j=1,\cdots ,k\). Hence E equipped with antisymmetry and orthogonality can be written in block diagonal form as
Requiring \(\lim _{\theta ,\eta \rightarrow 0}f(\hbar ,\theta ,\eta )=\hbar \), the real parameters \(a,d,b,c,f(\hbar ,\theta ,\eta )\) should satisfy the relations
Dimensional analysis and experimental results [8] demand the deformation parameters \(\theta ,\eta \) to satisfy the relation \(|\theta \eta |\approx (\epsilon g(\hbar ))^2\) where \(\epsilon \in [0,1)\).
Remark
Regarding the acceptable values of k such that \(E_d\) is symplectic or anti-symplectic, we distinguish the following two cases:
-
if \(k=2l\) then E is standard symplectic or anti-symplectic. The relation \(E^{\intercal }JE=\pm J\), when written in blocked form, simplifies to
$$\begin{aligned} A_E^{\intercal }D_E=\pm I \end{aligned}$$(20)which ensures that E is symplectic for \(A_E=D_E\) or anti-symplectic for \(D_E=A_E^{\intercal }\). Notice that every anti-symplectic matrix can be factorized as the product TS where \(S\in Sp_{\sigma }(2n,{\mathbb {R}})\) and
$$\begin{aligned} T=\begin{pmatrix} I_{n\times n} &{} 0_{n\times n} \\ 0_{n\times n} &{} -I_{n\times n} \end{pmatrix} \end{aligned}$$(21) -
if \(k=2l+1, \, l\ge 1\) then E is neither symplectic nor anti-symplectic. The reason is based on the simple observation that after calculating \(EJE^{\intercal }\) there always exists a term of the form \(A_1 \begin{pmatrix}0 &{} 1 \\ 0 &{} 0 \end{pmatrix}A_{\frac{k-1}{2}}\ne \begin{pmatrix}0 &{} 1 \\ 0 &{} 0 \end{pmatrix}\) in the center, at the top of the matrix which destroys the symplectic or anti-symplectic property of E.
If \(a=d=\pm 1\) and rescaling M by its determinant \(\det M=\sqrt{1-\frac{\theta \eta }{4g^2(\hbar )}}\), the Darboux matrix \(M\in SO(4l),\, l\in {\mathbb {N}}\) . As a consequence, the Euclidean distance on the phase-space remains rotationally invariant. Finally, observe that if \(S\in SO(2n)\) and \([S,J]=0\) then \(S\in Sp(2n,{\mathbb {R}})\) whereas if the commutator is replaced by \(\{S,J\}=0\) then S is anti-symplectic.
3 Covariance matrix and the Robertson–Schrödinger uncertainty principle
We start this section by giving the definition of the covariance matrix in quantum mechanics.
Definition 1
The quantum mechanical covariance matrix associated with an \(\Omega \)-Wigner quasi-probability measure \(W_{\Omega }[\psi ]\) for a pure state \(\psi \in {\mathcal {S}}({\mathbb {R}}^{n})\)Footnote 3 and density operator \({\hat{\rho }}=|\psi \rangle \langle \psi |\), is defined by
where \({\hat{z}}_a, \, a=1,\cdots ,2n\) is a row vector operator with entries the cartesian coordinates of position and momentum operators.
Recall that the expectation value of a self-adjoint operator for which \({\hat{\rho }}{\hat{A}}\) is of trace-class, is given by [9]
where \(\sigma _{\Omega }(z)\) is the Weyl symbol (or transform) of the operator \({\hat{A}}\). In configuration space it is obtained by
with \(<{{\textbf {q}}}-{{\textbf {y}}}/2 |{\hat{A}} |{{\textbf {q}}}+{{\textbf {y}}}/2>\in {\mathcal {S}}'({\mathbb {R}}^n\times {\mathbb {R}}^n)\) be the kernel of the operator. Setting \({\hat{A}}={\hat{\rho }}\) in (24) we obtain the Wigner function
Remarks
-
The condition which guarantees finiteness of the covariance matrix or equivalently existence up to the second moments, is
$$\begin{aligned} (1+\Vert z\Vert ^2)W_{\Omega }[\psi ](z) \in L^1({\mathbb {R}}^{2n}) \end{aligned}$$(26)where \(\Vert z\Vert \) is the Euclidean norm on \({\mathbb {R}}^{2n}\). We also assume that
$$\begin{aligned} \int _{{\mathbb {R}}^{2n}} W_{\Omega }[\psi ](z) dz=1. \end{aligned}$$(27)The Wigner function is real and supports negative values. The later claim is showed by the following bound
$$\begin{aligned}&\!\!\! |W_{\Omega }[\psi ](z)|\le \left( \frac{2}{(\pi f(\hbar ,\theta ,\eta ))}\right) ^n \Vert \Phi _1\Vert _{L^2}\Vert \Phi _2\Vert _{L^2} \quad \text {where} \quad \Phi _1({{\textbf {u}}})=\psi ({{\textbf {u}}}) \nonumber \\&\!\!\!\text {and} \quad \Phi _2({{\textbf {u}}})={\bar{\psi }}({{\textbf {u}}}-{{\textbf {y}}}) e^{-i<{{\textbf {u}}},{{\textbf {p}}}>/f(\hbar )} \end{aligned}$$(28)where a change of variables and use of the Cauchy-Schwarz inequality have been performed to (25). From the definition (25) of Wigner function it is evident that all even wave functions reach the upper bound of (28) at \(({{\textbf {q}}},{{\textbf {p}}})=({{\textbf {0}}},{{\textbf {0}}})\), and all odd ones the lower bound.
-
The covariance matrix can be casted into the form
$$\begin{aligned}&\text {Cov}_{W_{\Omega }}({\hat{z}},{\hat{z}})= M\text {Cov}_{W_{J}}({\hat{Z}},{\hat{Z}})M^{\intercal } \nonumber \\&\text {where} \quad \text {Cov}_{W_{J}}({\hat{Z}},{\hat{Z}})=\Sigma _{W_{J}}({\hat{Z}},{\hat{Z}})+\frac{ig(\hbar )}{2}J. \end{aligned}$$(29)This expression is meaningful if we require the Wigner function to behave as a classical distribution function, therefore obey the transformation rule
$$\begin{aligned} W_{\Omega }[\psi ](z)=W_J[\Psi ](M^{-1}z). \end{aligned}$$(30) -
The main diagonal entries of the symmetric \(\Sigma _{W_{\Omega }}\) matrix are identified to be the variances \(Var_{W_{\Omega }} {\hat{A}}\). Definition (1) can be extended to incorporate mixed states with density operator \({\hat{\rho }}=\sum _{k=1}^{N} p_k |\psi _k \rangle \langle \psi _k |\) where \(p_k\in [0,1]\) being the weights of the states which sum up to unity, \(\sum _{k=1}^N p_k=1 \). In the case of H.W. algebra the matrix \(\Sigma _{W_J}+\frac{ig(\hbar )}{2}J\) is a non-negative Hermitian matrix [1] and as a consequence its determinant satisfies
$$\begin{aligned}&\!\!\!\!\det \left( \Sigma _{W_J}+\frac{ig(\hbar )}{2}J\right) \ge 0, \quad \text {with}\nonumber \\&\!\!\!\! W_J[\Psi ](Z)\!\!=\!\!\frac{1}{(2\pi g(\hbar ))^n}\int _{{\mathbb {R}}^n}\!\!\!\! \Psi \left( {{\textbf {Q}}}-\frac{{{\textbf {Y}}}}{2}\right) {\bar{\Psi }} \left( {{\textbf {Q}}}+\frac{{{\textbf {Y}}}}{2}\right) e^{\frac{i}{g(\hbar )}<{{\textbf {Y}}},{{\textbf {P}}}>}d {{\textbf {Y}}}. \end{aligned}$$(31)In two phase-space dimensions this inequality provides the well-known Robertson-Schrödinger uncertainty principle (R.S.U.P.)
$$\begin{aligned} (Var_{W_{J}} {\hat{Q}})(Var_{W_{J}} {\hat{P}})-\left( \frac{1}{2}\text {Tr}({\hat{\rho }}\{{\hat{Q}},{\hat{P}}\})-\text {Tr}({\hat{\rho }}{\hat{Q}})\text {Tr}({\hat{\rho }}{\hat{P}}) \right) ^2 \ge \frac{g(\hbar )^2}{4} \end{aligned}$$(32)which is the strong version of the Heisenberg uncertainty principle.
We now prove a technical but useful proposition which extends Lemma (2.3) of [1] to the non-commutative phase-space.
Proposition 1
Let \(\Sigma _{W_{\Omega }}\in S^{2n}\) with \(\hbar , \theta , \eta \) real numbers. Then the following hold:
-
i)
The matrix \(\Sigma _{W_{\Omega }}({\hat{z}},{\hat{z}})+\frac{i}{2}\Omega (\hbar ,\theta ,\eta )\) has real eigenvalues.
-
ii)
If there exist real numbers \(\hbar ,\theta ,\eta \ne 0\) such that S is symplectic or anti-symplectic, and the covariance matrix is positive semi-definite then \(\Sigma _{W_{\Omega }}\in S^{2n}_{++}\) and \(Cov_{W_{\Omega }}({\hat{z}},{\hat{z}};\hbar ',\theta ')\succeq 0, \, \forall \, \hbar '\le \hbar , \theta '\le \theta \) as long as \(f(\hbar ,\theta )\) is an homogeneous function of degree one.
Proof
-
i)
Using that \(\Sigma _{W_{\Omega }}\in S^{2n}\) as well as the identities \((iJ)^\dagger =-iJ^{\intercal }=iJ\) and \((iS)^{\dagger }=iS\) the hermiticity of the covariance matrix is an immediate consequence.
-
ii)
Suppose now \(\Sigma _{W_{\Omega }}\) has a negative eigenvalue \(\lambda \) corresponding to a real eigenvector \(v_{\lambda }\). Since \(J, \, S(\theta ,\eta )\) are skew-symmetric matrices, \(v_{\lambda }^{\intercal }J v_{\lambda }=0=v_{\lambda }^{\intercal }S(\theta ,\eta ) v_{\lambda }\) and the Rayleigh quotient is negative
$$\begin{aligned} R(Cov_{W_{\Omega }},v_{\lambda })=\frac{\langle v_{\lambda },Cov_{W_{\Omega }} v_{\lambda }\rangle }{\Vert v_{\lambda }\Vert ^2}=\lambda <0 \end{aligned}$$(33)This contradicts the assumption \(Cov_{W_{\Omega }}({\hat{z}},{\hat{z}};\hbar ,\theta ,\eta )\succeq 0\) and therefore \(\Sigma _{W_{\Omega }}\) is a non-negative matrix. To complete the proof we now show that \(\Sigma _{W_{\Omega }}\) cannot have a zero eigenvalue. Let \(v_0\) be a real eigenvector of \(\Sigma _{W_{\Omega }}\) with zero eigenvalue and consider the perturbed complex vector
$$\begin{aligned} v_{\lambda }(\epsilon _{\hbar }, \epsilon _{\theta },\epsilon _{\eta })= & {} \left( I+i(f(\epsilon _{\hbar },\epsilon _{\theta },\epsilon _{\eta })J+S(\epsilon _{\hbar },\epsilon _{\theta },\epsilon _{\eta }))\right) v_0 \nonumber \\= & {} \left( I+i(f(\epsilon )J+S(\epsilon )\right) v_0 \end{aligned}$$(34)where in brief we denote by \(f(\epsilon )=f(\epsilon _{\hbar },\epsilon _{\theta },\epsilon _{\eta })\) and by \(S(\epsilon )=S(\epsilon _{\hbar },\epsilon _{\theta },\epsilon _{\eta })\). Performing a lengthy but straightforward calculation and taking into account:
-
\(\theta _{ij}=-\eta _{ij}\) (S is anti-symplectic)
-
the identities: \(\Sigma _{W_{\Omega }} v_0=v_0^{\intercal }\Sigma _{W_{\Omega }}=0\), \(v_0^{\intercal }Jv_0=0=v_0^{\intercal }S v_0\), \(\Vert Jv_0 \Vert ^2=\Vert v_0 \Vert ^2\), \(v_0^{\intercal }S(\theta ,\eta ) S(\epsilon )v_0 =-\theta \epsilon _{\theta }\Vert v_0 \Vert ^2\) and
-
disregarding terms but linear in \(\epsilon \)’s
we end up with the expression
$$\begin{aligned} {\bar{v}}_{\lambda }^{\intercal }Cov_{W_{\Omega }}({\hat{z}},{\hat{z}};\hbar ,\theta ) v_{\lambda }=(f(\epsilon _{\hbar },\epsilon _{\theta })f(\hbar ,\theta )+\epsilon _{\theta }\theta ) \Vert v_0 \Vert ^2 \end{aligned}$$(35)For both \(|\epsilon _{\hbar } |,|\epsilon _{\theta }|\) small enough and \(f(\epsilon _{\hbar },\epsilon _{\theta })f(\hbar ,\theta ),\theta \epsilon _{\theta }<0\) we get a negative result which again contradicts the hypothesis of positive semi-definiteness. If we relax the condition of S being anti-symplectic then it appears the extra contribution
$$\begin{aligned} -\frac{1}{2}v_0^{\intercal }(f(\epsilon )\{S(\theta ,\eta ),J\}+f(\hbar ,\theta )\{J,S(\epsilon )\})v_0=-(f(\epsilon )\theta +f(\hbar ,\theta )\epsilon _{\theta })v_0^{\intercal }SJv_0 \end{aligned}$$(36)where SJ is symmetric with a minimum eigenvalue \(\lambda _{min.}(SJ)=-1<0\). Therefore the above expression is again negative for \(f(\epsilon )\theta<0, \, f(\hbar ,\theta )\epsilon _{\theta }<0\) and leads to a contradiction. By hypothesis, \(f(s\hbar ,s\theta )=sf(\hbar ,\theta )\), \(s\in (0,1]\), and
$$\begin{aligned} Cov_{W_{\Omega }}({\hat{z}},{\hat{z}};\hbar ',\theta ')= & {} \Sigma _{W_{\Omega }}+\frac{i}{2}s(f(\hbar ,\theta )J+\theta S) \nonumber \\= & {} (1-s)\Sigma _{W_{\Omega }}+s(\Sigma _{W_{\Omega }}+\frac{i}{2}(f(\hbar ,\theta )J+\theta S)\succeq 0. \end{aligned}$$(37)Relation (37) is true since \((1-s)\Sigma _{W_{\Omega }}\succeq 0\) and \(Cov_{W_{\Omega }}({\hat{z}},{\hat{z}};\hbar ,\theta )\succeq 0\).
-
Another useful observation, which clarifies the interplay of semi-definite positivity for the covariance matrices of the corresponding algebras, is stated by the following proposition.
Proposition 2
Let \({\mathcal {P}}_{\omega }\in Sp_{\omega }(2n,{\mathbb {R}})\) and \({\mathcal {P}}_{\omega }=MSM^{\intercal }\) where the Darboux transformation \(M\in SO(4l)\) satisfies \(g(\hbar ) MJM^{\intercal }=\Omega \) and \(S\in Sp_{\sigma }(2n,{\mathbb {R}})\). The matrix \({\mathcal {P}}_{\omega }^{\intercal }\Sigma _{W_{\Omega }}({\hat{z}},{\hat{z}}){\mathcal {P}}_{\omega }+\frac{i}{2}\Omega \) is positive semi-definite iff \(\Sigma _{W_{J}}({\hat{Z}},{\hat{Z}})+\frac{ig(\hbar )}{2}J\) is positive semi-definite.
Proof
Theorem (2.2) of [1] guarantees \(\Sigma _{W_{J}}({\hat{Z}},{\hat{Z}})+\frac{ig(\hbar )}{2}J\succeq 0\) and Williamson’s standard symplectic theorem implies the existence of \(S\in Sp_{\sigma }(2n,{\mathbb {R}})\) which diagonalizes \(\Sigma _{W_J}\). Therefore we have the following relations
\(\square \)
which proves the claim. A point that requires attention is the particular \({\mathcal {P}}_{\omega }\) which does not diagonalize \(\Sigma _{W_{\Omega }}\) as one might suspect. This situation will be partly encountered in our toy model since there \(\Sigma _{W_{J}}\) will be diagonal by construction.
The decomposition of an \(\omega \)-symplectic matrix into a Darboux and a standard symplectic matrix was also pointed out by [5]. In our case \(M\in SO(4l)\) as explained in Sect. 3. Also \({\mathcal {P}}_{\omega }\) turns out to be a special orthogonal matrix as well, since \({\mathcal {P}}_{\omega }{\mathcal {P}}_{\omega }^{\intercal }=I\) and \(\det {\mathcal {P}}_{\omega }=(\det M)^2 \det S=1\). Recall that a standard symplectic matrix always has unit determinant.
The determinant and trace of the covariance matrices for the corresponding algebras are related through the following expressions
In the \(\theta \rightarrow 0\) limit and slightly modifying the notation, namely \({\hat{Z}}^{\intercal }=({\hat{Q}}_1,{\hat{P}}_1;\cdots ;{\hat{Q}}_n,{\hat{P}}_n)^{\intercal }\), the covariance matrix is easily recognizable.
4 Symplectic capacity and R.S.U.P.
In paper [10] the R.S.U.P., in two phase-space dimensions (\(n=1\)), was expressed in terms of the area of the covariance ellipse. It was then proved that \(Area({\mathcal {B}})=2\pi \sqrt{\det (Cov_{W_J}({\hat{Z}},{\hat{Z}}))}\ge h/2 \). The same idea can be extended in higher dimensions but again in terms of areas of the intersections of the conjugate planes \(q_j,p_j\) with the covariance (or Wigner) ellipsoid. In general it is defined as follows:
Definition 2
The Wigner ellipsoid associated to \(\Sigma _{W_{\Omega }}\) is defined by the quadratic form
and its Legendre transform (or dual) in phase-space, is defined by
We now introduce the notion of symplectic capacity [3, 11] and study its connection to R.S.U.P.
Definition 3
For a symplectic manifold \(({\mathbb {R}}^n\oplus {\mathbb {R}}^n,\sigma )\) of fixed dimension 2n it is defined through the map
which satisfies the following properties:
-
(3.1)
Monotonicity: If there exists a symplectic embedding: \(\phi : \,\, {\mathcal {A}}_1\rightarrow {\mathbb {R}}^{2n}\) such that \(\phi ({\mathcal {A}}_1)\subset {\mathcal {A}}_2\) then \(c({\mathcal {A}}_1)\le c({\mathcal {A}}_2)\)
-
(3.2)
Conformality: \(c(\lambda {\mathcal {A}})=\lambda ^2 c({\mathcal {A}}), \, \text {for}\,\, \lambda \in {\mathbb {R}}\)
-
(3.3)
Nontriviality: \(c({\mathcal {B}}^{2n}(1),\sigma _0)>0, \, \, c({\mathcal {Z}}^{2n}(1)<\infty \) for the open unit ball \({\mathcal {B}}^{2n}(1)\) and the open symplectic cylinder \({\mathcal {Z}}^{2n}(1)\) in the standard space \(({\mathbb {R}}^{2n},\sigma _0)\).
The last property for \(c({\mathcal {B}}^{2n}(1),\sigma _0)=\pi =c({\mathcal {Z}}^{2n}(1)\) is equivalent to Gromov’s nonsqueezing theorem. In what follows we will consider the linear symplectic capacity which obeys the extra property
where \(ASp(2n,{\mathbb {R}})\) is the affine symplectic group consisting of translations accompanied by symplectic transformations on phase-space.
Williamson’s \(\omega \)-symplectic diagonalization theorem plays a prominent role in proving Proposition 4. Its proof follows similar steps to the standard case [12, 13] and states:
Theorem 3
Let \(A\in S^{2n}_{++}\), then there exists \({\mathcal {P}}_{\omega }\in Sp_{\omega }(2n,{\mathbb {R}})\) such that
where \(\Lambda _{\omega }=diag(\lambda _{1,\omega },\cdots ,\lambda _{n,\omega })\) and the \(\lambda _{j,\omega }>0\) being the \(\omega \)-symplectic eigenvalues of A satisfying
The diagonal matrix \(W_{\omega }\) is called the “\(\omega \)-Williamson form” of A. We denote by
the decreasing sequence of the symplectic eigenvalues of A and is called the \(\omega \)-symplectic spectrum of A. The symplectic spectrum of A coincides to its Euclidean spectrum only if \({\mathcal {P}}_{\omega }\) is supplemented by orthogonality.
We continue our study by proving the following geometric result for the non-commutative four-dimensional phase-space (\(n=2\)).
Proposition 4
Let \(\Sigma _{W_{\Omega }} + \frac{i}{2}\Omega \succeq 0\). This condition is equivalent to the following two:
-
i)
The linear symplectic capacity of the ellipsoid \({\mathcal {E}}_{\Sigma _{W_{\Omega }}}\), in four phase-space dimensions, is such that
$$\begin{aligned} c_{lin.}({\mathcal {E}}_{\Sigma _{W_{\Omega }}})\ge \pi \sqrt{f^2(\hbar ,\theta )+\theta ^2} \end{aligned}$$(48) -
ii)
The linear symplectic capacity of the dual ellipsoid \({\mathcal {E}}_{\Sigma _{W_{\Omega }}}^*\), in four phase-space dimensions, is such that
$$\begin{aligned} c_{lin.}({\mathcal {E}}_{\Sigma _{W_{\Omega }}}^*)\le \frac{2\pi }{\sqrt{f^2(\hbar ,\theta )+\theta ^2}} \end{aligned}$$(49)
Proof
\(\Sigma _{W_{\Omega }}\in S^{2n}\) by construction, and moreover it is positive definite by Proposition 1. Setting \(B=\Sigma _{W_{\Omega }}^{-1}/2\) in the first condition of Proposition 4 and applying Williamson’s Theorem (3) we get
where \(D_{\omega }^{-1}=diag((\lambda _{1,\omega })^{-1}, (\lambda _{2,\omega })^{-1};(\lambda _{1,\omega })^{-1},(\lambda _{2,\omega })^{-1})\) and the eigenvalues \(\lambda _{j,\omega }^{-1}\) are of order at least \(\hbar \). The characteristic polynomial is then given by
\(\square \)
It has degree four in \(\mu \) and its coefficients appear with alternating sign. To prove this property we combine Sylvester’s criterion for Hermitian, positive semi-definite matrices [14] with the ordering of eigenvalues. The no negativity of the principal minorsFootnote 4 of size three leads to
which proves the claim. Moreover, using Descarte’s sign rule, the characteristic polynomial has four positive real roots, explicitly given by
In view of Proposition (94) of [3], we find that
Remarks
-
From (54) and using (19) we have
$$\begin{aligned} c_{lin.}({\mathcal {E}}_{\Sigma _{W_\Omega }})\ge \pi \sqrt{g^2(\hbar )(1-\frac{\theta \eta }{4g(\hbar )^2})^2+\theta ^2}. \end{aligned}$$(56)One can derive the following inclusions \({\mathcal {E}}_{\Sigma _{W_{\Omega ^S}}}\subseteq {\mathcal {E}}_{\Sigma _{W_J}}\subseteq {\mathcal {E}}_{\Sigma _{W_{\Omega ^A}}}\) where \(\Omega ^{S(A)}\) denotes the case in which \(\Omega \) contains a symplectic (\(\theta =\eta \)) or an anti-symplectic (\(\theta =-\eta \)) S matrix respectively.
-
In \(n\ge 8\) phase-space dimensions the analysis is more involved but standard.
5 Application to a toy model
As an example [6] consider the non-commutative, isotropic, harmonic oscillator in four phase-space dimensions satisfying the algebra (\(f(\hbar )=\hbar , \, g(\hbar ,\theta )=\sqrt{\hbar ^2+\theta ^2}\) according to the notation used in Sect. (2))
The connection of this extended algebra with the H.W. one, is given through the orthogonal Darboux matrix
The energy eigenvalues are found to be \(E_{(n_1,n_2)}= \tilde{\omega }\sqrt{\hbar ^2+\theta ^2} \sum _{i=1}^2 \left( n_i+1/2\right) \) and the trajectories on phase-space with \(E_{(n_1,n_2)}\) energy satisfy the equation of an ellipsoid which is rotationally invariant. The intersection of this ellipsoid by a plane of conjugate variables \(q_i,p_i\) is an ellipse with area \(2\pi \sqrt{\hbar ^2+\theta ^2}(n_1+n_2+1), \, n_1,n_2=0,1,2,\cdots \). This area has a lower bound, corresponding to the ground state, and given by
The Wigner function for this system, in terms of the Laguerre’s polynomials [6]
is given by
where C is the normalization constant determined by
Notice that the Wigner function is an even function with respect to \(Q_i, P_i\) and therefore the off-diagonal elements of \(\Sigma _{W_{J}}\) vanish.
The ground state is given by the Gaussian density function
and the normalized Wigner function is then found to be
This result is in agreement with Hudson [15] and Soto, Claverie theorem [16] according to which the Wigner measure of a state vector \(\Psi \in L^2({\mathbb {R}}^{2n})\) is non-negative iff \(\Psi \) is a Gaussian state. The diagonal elements of \(\Sigma _{W_{J}}\) with multiplicity two are given by
assuming the system to be in the ground state. If \(m\tilde{\omega }=1\) then the ellipsoid degenerates to a sphere of radius \(R=\sqrt{2}(\hbar ^2+\theta ^2)^{1/4}\) and then \(\lambda _{1,max.}=\lambda _{2,min}=\sqrt{\hbar ^2+\theta ^2}/2\). We can check that the R.S.U.P. in four phase-space dimensions, namely,
is saturated by \(\Psi _{(0,0)}\) and \(\det (\text {Cov}_{W_{\Omega }}({\hat{z}},{\hat{z}}))=0\) using (39).
Exploiting Proposition 4 for the ordinary H.W. algebra we find the product of the eigenvalues to be given by
and thus the linear symplectic capacity of the Wigner ellipsoid and its dual, satisfy the predicted bounds. The covariance matrix of the extended algebra using (29) is
We distinguish the following two cases:
-
\(m\tilde{\omega }=1\). The matrix \(\Sigma _{W_\Omega }\) is diagonal and has one eigenvalue with multiplicity four. As a consequence \(c_{lin.}({\mathcal {E}}_{\Sigma _{W_\Omega }})=c_{lin.}({\mathcal {E}}_{\Sigma _{W_J}})\).
-
\(m\tilde{\omega }\ne 1\). The \(\omega \)-symplectic spectrum of \(\Sigma _{W_\Omega }\) is
$$\begin{aligned} Spec_{\omega }(\Sigma _{W_\Omega })=\{\lambda _{\omega }, \lambda _{\omega }, \lambda _{\omega }, \lambda _{\omega }\}, \,\, \lambda _{\omega }=\sqrt{(\hbar ^2+\theta ^2)\lambda _1 \lambda _2}=\frac{1}{2}(\hbar ^2+\theta ^2) \end{aligned}$$(69)where (65) have been used. This result is also in agreement with the bounds predicted by Proposition 4.
Remark
The ordering of the eigenvalues
implies the inequalities for the linearized symplectic capacities
6 Conclusion
In the present work for a particular one-parameter family of extended H.W. algebra we study the conditions under which the Darboux matrix is symplectic or anti-symplectic. It turns out that for specific values of the a-parameter, it belongs to the special orthogonal group \(SO(4l), \, l\in {\mathbb {N}}\).
The covariance matrices of the extended and ordinary H.W. algebras are meaningful provided the Wigner quasi-probability measure transforms like a classical distribution function under symplectic automorphisms. In Proposition 1 we have proved that the symmetric part of the covariance matrix is positive definite by imposing precise algebraic conditions.
The connection of the linear symplecic capacity with the R.S.U.P. is derived in Proposition 4 with the assistance of the Williamson’s \(\omega \)-symplectic diagonalization Theorem 3. Although the investigation is restricted in four phase-space dimensions it can also be extended to higher ones. Inclusions of the Weyl ellipsoids which depend on the symplectic or anti-symplectic nature of \(S(\theta ,\eta )\) lead to inequalities for the corresponding linear symplecic capacities.
Finally, the rigorous agreement of our theoretical results is exposed by explicitly studying a toy model inspired by our previous work on non-commutative harmonic oscillator.
Notes
In \(n=2\) the square matrices can be written as \(\theta _{ij}=\theta \epsilon _{ij},\, \eta _{ij}=\eta \varepsilon _{ij}, \, i,j=1,2\) where \(\varepsilon _{ij}\) is the rank-2 Levi-Civita tensor.
A different case, in which the identity matrix is replaced by a diagonal matrix with different elements along the main diagonal, was studied in [6].
\({\mathcal {S}}(\cdot )\) is the Schwartz space of test functions whereas \({\mathcal {S}}'(\cdot )\) its dual.
There are \(2^{2n} -1\) principal minors including the determinant \(det\left( D_{\omega }^{-1} + i\Omega \right) \). In our case, \(n=2\), there are four non-negative principal minors of size three, producing three independent inequalities.
References
Narcowich, F.J.: Geometry and uncertainty. J. Math. Phys. 31, 354–364 (1990)
De Gosson, M.A., Luef, F.: Symplectic capacities and the geometry of uncertainty: The irruption of symplectic topology in classical and quantum mechanics. Phys. Rep. 484, 131–179 (2009)
De Gosson, M.A.: Symplectic Methods in Harmonic Analysis and in Mathematical Physics, Birkh auser, (2010)
Dias, N.C., de Gosson, M.A., Prata, J.N.: A refinement of the Robertson-Schrödinger uncertainty principle and a Hirchman-Shannon inequality for Wigner distributions. J. Fourier Anal. Appl. A 25, 210–241 (2019)
Dias, N.C., Prata, J.N.: Wigner functions on non-standard symplectic vector spaces. J. Math. Phys. 59, 012108 (2018)
Hatzinikitas A., Smyrnakis I.: The non-commutative harmonic oscillator in more than one dimension. J. Math. Phys. 43,113-125 (2002)
Voronov, T.: Concise Encyclopedia of Supersymmetry, Kluwer Academic Publishers, (2004)
Carroll, S.M., Harvey, J.A., Kostelecký, V.A., Lane, C.D., Okamoto, T.: Noncommutative field theory and Lorentz violation. Phys. Rev. Lett. 87, 141601 (2001)
Wong, M.W.: Weyl transforms. Springer-Verlag, New York Inc (1998)
Gosson, De.: The symplectic egg in classical and quantum mechanics. Am. J. Phys. 81, 328–337 (2013)
McDuff, D., Salamon, D.: Introduction to Symplectic Topology. Claredon Press, Oxford (1998)
Williamson, J.: On the algebraic problem concerning the normal forms of linear dynamical systems. Amer. J. Math. 58, 141–163 (1936)
Pirandola, S., Serafini, A., Lloyd, S.: Correlation matrices of two-mode bosonic systems. Phys. Rev. A 79, 052327 (2009)
Horn, R. A., Johnson C. R.: Matrix Analysis, 2nd Edition, Cambridge University Press, (1994)
Hudson, R.L.: When is the Wigner quasy-probability density non-negative? Rep. Math. Phys. 6, 249–252 (1974)
Soto, F., Claverie, P.: When is the Wigner function of multi-dimensional systems nonnegative? J. Math. Phys. 24, 97–100 (1983)
Funding
Open access funding provided by HEAL-Link Greece.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hatzinikitas, A.N. The non-commutative Robertson–Schrödinger uncertainty principle. Quantum Stud.: Math. Found. 10, 67–78 (2023). https://doi.org/10.1007/s40509-022-00282-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40509-022-00282-0