Abstract
We propose a refinement of the Robertson–Schrödinger uncertainty principle (RSUP) using Wigner distributions. This new principle is stronger than the RSUP. In particular, and unlike the RSUP, which can be saturated by many phase space functions, the refined RSUP can be saturated by pure Gaussian Wigner functions only. Moreover, the new principle is technically as simple as the standard RSUP. In addition, it makes a direct connection with modern harmonic analysis, since it involves the Wigner transform and its symplectic Fourier transform, which is the radar ambiguity function. As a by-product of the refined RSUP, we derive inequalities involving the entropy and the covariance matrix of Wigner distributions. These inequalities refine the Shanon and the Hirschman inequalities for the Wigner distribution of a mixed quantum state \(\rho \). We prove sharp estimates which critically depend on the purity of \(\rho \) and which are saturated in the Gaussian case.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In quantum mechanics, the state of a system is represented by a positive trace class operator with unit trace—called a density matrix—acting on a separable Hilbert space \(\mathcal {H}\). We denote the set of density matrices—the set of states—by \(\mathcal {S}(\mathcal {H})\). Given some trace class operator \(\widehat{\rho }\), it is in general very difficult to assess whether \( \widehat{\rho } \in \mathcal {S}(\mathcal {H})\). The main difficulty resides in the verification of the positivity condition:
for all \(f \in \mathcal {H}\). This is particularly difficult in infinite dimensional Hilbert spaces. In this work we shall be concerned with the case \(\mathcal {H}=L^2 (\mathbb {R}^n)\).
A very useful representation of density matrices, which casts position and momentum variables on equal footing and is akin to a classical probability density, is the Wigner distribution [44]. It is obtained from \(\widehat{\rho }\) by way of the Weyl transform [8, 47]:
where \(\rho ( \cdot , \cdot ) \in L^2 (\mathbb {R}^{2n})\) is the Hilbert-Schmidt kernel of \(\widehat{\rho }\). Here \(h=2 \pi \hbar \) is Planck’s constant and x, p denote the particle’s position and momentum respectively. We shall write them collectively as \(z=(x,p) \in \mathbb {R}^{2n}\), a point in the particle’s phase space \(\mathbb {R}^n \times (\mathbb {R}^n)^{*} \simeq \mathbb {R}^{2n}\).
The Wigner distribution is not a true probability density as it may be negative [22, 27]. Rather, it defines a finite signed measure:
for Borel sets \(A \in \mathcal {B}(\mathbb {R}^{2n})\), and \( \mu _{\rho } (\mathbb {R}^{2n})=1\).
This means that the covariance matrix \({\text {Cov}}(W \rho )\) of \(W \rho \) might a priori not be positive definite. However, it can be shown that it is [39]. In fact, it obeys an even stronger constraint called the Robertson–Schrödinger uncertainty principle (RSUP) which states that [8, 37, 38, 40]
where J is the standard symplectic matrix:
It can be shown that condition (4) is a necessary but not sufficient condition for a phase space function to be a Wigner distribution [10].
Nevertheless it has many interesting features. For a Gaussian measure G it is both a necessary and sufficient condition for G to be a Wigner distribution [37]. It is invariant under linear symplectic transformations (unlike the more frequently used Heisenberg uncertainty relation). It has a nice geometric interpretation in terms of Poincaré invariants [39], and it is intimately related with symplectic topology and Gromov’s non-squeezing theorem [11, 24]. By a suitable linear symplectic transformation, the RSUP makes it a simple task to determine directions in phase space of minimal uncertainty [39]. In particular, we say that the RSUP is saturated if we can find n two-dimensional symplectic planes, where the uncertainty is minimal. More specifically, the RSUP (4) is saturated, whenever all the Williamson invariants of \({\text {Cov}}(W \rho )\) are minimal [11, 37]:
Having said that, there is nothing about inequality (4) which is particularly quantum mechanical, with the exception of the presence of Planck’s constant. In fact, (4) is only a requirement about a minimal scale related to \(\hbar \). This condition is not sufficient to ensure that the state is quantum mechanical (not even if saturated). We shall give an example of a function in phase space which saturates the RSUP, but which is manifestly not a Wigner function. More emphatically, we will show that any measurable function in phase space F with a positive definite covariance matrix \( {\text {Cov}}(F)>0\) satisfies (4) after a suitable dilation \(F(z) \mapsto \lambda ^{2n} F(\lambda z)\), while most of them remain non quantum. This means that being a quantum state is not only a question of scale but also of shape. This prompted us to look for an alternative uncertainty principle which goes beyond the RSUP.
In order to state our results precisely, let us fix some notation. In the sequel \(\mathcal {F}_{\sigma } (F)\) denotes the symplectic Fourier transform of the function F. Roughly speaking, it can be obtained from the ordinary Fourier transform \(\mathcal {F} (F)\) by a symplectic rotation and a dilation \((\mathcal {F}_{\sigma } F) (z)= \frac{1}{(2 \pi \hbar )^n} (\mathcal {F} F) \left( \frac{Jz}{2 \pi \hbar } \right) \).
For a given measurable phase-space function F, satisfying
we write
Morevover, we denote by
the expectation value of z regarded as a column vector, and by
the covariance matrix. Notice that there is some abuse of language in this probabilistic terminology, as F is not required to be non-negative.
The main result of this paper is Theorem 15, where we prove the following uncertainty principle, hereafter called refined Robertson–Schrödinger uncertainty principle:
for Wigner distributions \(W \rho \) belonging to some appropriate maximal functional space and where
is the so-called purity of the state \(\rho \). As before, we have defined:
to make sure that \(|{\widetilde{W \rho }} (z) |^2\) and \(|\mathcal {F}_{\sigma } {\widetilde{W \rho }} (\zeta )|^2\) are properly normalized probability densities.
Moreover, we will also show that the first inequality in (11) becomes an equality if an only if the state is pure.
So, in fact, the refined RSUP amounts to two inequalities. The first inequality is
In other words, the matrix \({\text {Cov}}(|{\widetilde{W \rho }}|^2)+\frac{1}{4} {\text {Cov}}(|\mathcal {F}_{\sigma }{\widetilde{W \rho }}|^2)\) also obeys the RSUP. The second inequality is
We notice that (14) and (15) immediately imply the RSUP (4).
Let us point out the main properties of the refined RSUP:
- (1):
-
It is parsimonious, in the sense that it is a computable test as the RSUP, but not a complicated one as sets of necessary and sufficient conditions such as the Kastler, Loupias, Miracle-Sole (KLM) conditions [29, 33, 34]. In fact, we only have to compute the covariance matrices of \(W \rho \), \(|{\widetilde{W \rho }}|^2\) and \(|\mathcal {F}_{\sigma } ({\widetilde{W \rho }})|^2\) and check inequalities (11).
- (2):
-
It is invariant under linear symplectic and anti-symplectic transformations (see Theorem 19).
- (3):
-
It makes a direct connection with harmonic analysis, as it amounts to an inequality relating \(W \rho \) and its Fourier transform \(\mathcal {F}_{\sigma }(W \rho )\). Here we use the squares \(|{\widetilde{W\rho }}|^2\) and \(|\mathcal {F}_{\sigma }({\widetilde{W \rho }})|^2\), and so we are treating \(W \rho \) as a wave function in ordinary quantum mechanics on a 2n-dimensional configuration space.Footnote 1
- (4):
-
It includes a pure state condition. Indeed, inequality (15) is an equality iff the state is pure.
- (5):
-
It is stronger than the RSUP. Indeed, inequality (11) implies immediately the Robertson–Schrödinder uncertainty principle. Example 21 shows that it is not equivalent to it.
- (6):
-
It is a deeper quantum mechanical requirement than the condition about a minimal scale. For instance, in Example 10, we show that the saturation (6) of the RSUP can be easily achieved by many functions which are not Wigner distributions. On the other hand, we prove in Theorem 20 that the refined RSUP is saturated (i.e. (11) and the saturation condition (6) are both satisfied) if and only if the state is a pure Gaussian Wigner function.
As a by-product of the refined RSUP, we also obtain a refinement of the Shannon and Hirschman inequalities [26, 41] for Wigner distributions.
A famous theorem by Shannon [19, 41] states that if a probability density
has finite covariance matrix \(Cov(\mu )\), then its Boltzmann entropy
is well defined and satisfies the inequality:
Another theorem due to Beckner [2], Bialynicki-Birula and Mycielski [3] and Hirschmann [26] relates the entropy of \(|f|^{2}\), for \(f\in L^{2}(\mathbb {R}^{n})\) and \(||f||_{2}=1\) with that of \(|\mathcal {F}_{\hbar }f|^{2}\), where \((\mathcal {F}_{\hbar }f)\) is the \(\hbar \)-scaled Fourier transform. If the entropies of \(|f|^{2}\) and \(|\mathcal {F}_{\hbar }f|^{2}\) are well defined then the Hirschman inequality reads:
This inequality is sometimes called an entropic uncertainty principle as it prevents a simultaneous sharp localization of \(|f|^{2}\) and \(|\mathcal {F} _{\hbar }f|^{2}\) and is saturated if and only if f is a Gaussian with minimal Heisenberg uncertainty.
Of course we may combine (18) and (19) and obtain the naive double inequality:
This can be stated in the following terms: if \(|f|^{2} \) and \(| \mathcal {F} _{\hbar }f|^{2}\) have finite covariance matrices, then they have well defined entropies and inequality (20) holds. Moreover, we have equalities throughout if and only if f is a Gaussian. The inequality between the first and the last term is, upon exponentiation, the Heinig–Smith uncertainty principle [25].
As a consequence of inequality (20) for the Wigner distribution and the refined RSUP (11), we derive the following Hirschman–Shannon inequality (Theorem 23):
We obtain an inequality throughout (21) if and only if \(W \rho \) is the Wigner distribution of a pure Gaussian state.
For pure states \(W \rho =W \psi \), the refined RSUP leads to the following Hirschman–Lieb–Shannon relation which involves \(W \psi \) only and not its Fourier transform (Corollary 24):
Before we conclude the introduction, let us comment on the new parts of the inequalities (21,22). In (21) the last inequality is the Hirschman inequality for the Wigner function and the penultimate inequality is the Shannon inequality applied both to \(|{\widetilde{W \rho }}|^2\) and to \(|\mathcal {F}_{\hbar } {\widetilde{W \rho }}|^2\). The new inequalities are:
and
In (22) the last inequality is the entropic inequality of Lieb [30]. The penultimate inequality is the Shannon inequality applied to \(|{\widetilde{W \psi }}|^{2}\). The new inequalities are:
and
2 Notation
The Plancherel–Fourier transform of a function \(f \in L^1 (\mathbb {R}^n) \cap L^2 (\mathbb {R}^n)\) is defined by:
and the \(\hbar \)-scaled Fourier transform is:
We use lower case letters \(f,g,\ldots \) for functions defined on the configuration space \(\mathbb {R}^n\) and upper case letters from the middle of the alphabet \(F,G, \ldots \) for functions on the phase space \(\mathbb {R}^{2n}\). We shall use the physicists’ convention for the inner product (anti-linear in the first argument and linear in the second)
To avoid a proliferation of subscripts, we use the notation
for the inner product on the phase space. Similarly we denote by \(|| \cdot ||\) the norm on \(L^2 (\mathbb {R}^n)\) and by \(||| \cdot |||\) that on \(L^2 (\mathbb {R}^{2n})\). Sometimes, when more general \(L^p \) norms are needed, we will be more specific and write \(|| \cdot ||_{L^p(\mathbb {R}^n)}\).
The Schwartz class of test functions is \(\mathcal {S} (\mathbb {R}^n)\) and its dual—the space of tempered distributions—is denoted by \(\mathcal {S}^{\prime } (\mathbb {R}^n)\). The distributional bracket is written \(\langle \cdot , \cdot \rangle \).
Given a functional space L, we denote by \(\mathcal {F}L\) the set of distributions \(f \in \mathcal {S}^{\prime } (\mathbb {R}^n)\) for which \(\mathcal {F}f \in L\).
3 A Review of Wigner Distributions
In this section, we recapitulate the main results about Wigner distributions, which we will need in the sequel.
3.1 Symplectic Geometry
The standard symplectic form on \(\mathbb {R}^{2n} = \mathbb {R}_x^n \times \mathbb {R}_p^n\) is given by
for \(z=(x,p)\) and \(z=(x^{\prime },p^{\prime })\). A linear automorphism \(s: \mathbb {R}^{2n} \rightarrow \mathbb {R}^{2n}\) is a symplectic transformation if \(\sigma (s(z),s(z^{\prime }))= \sigma (z,z^{\prime })\) for all \(z,z^{\prime } \in \mathbb {R}^{2n}\). Let the symplectic transformation be represented by the matrix \(S \in Gl(2n)\): \(s(z) =Sz\). Then
The set of real \(2n \times 2n\) matrices which satisfy (32) form a group called the symplectic group Sp(n). If a matrix \(A \in Gl(2n)\) is such that
then it is said to be anti-symplectic. Every anti-symplectic matrix A can be written as [15]
where \(S \in Sp(n)\), and T is usually interpreted as a “time-reversal” operator, since it amounts to a reversal of the particle’s momentum:
We shall denote the group of matrices which are either symplectic or anti-symplectic by ASp(n).
Given a real symmetric positive definite matrix B its symplectic eigenvalues (also called Williamson invariants) are given by the moduli of the eigenvalues of the matrix \(B J^{-1}\) [7, 46]. Since they come in pairs \(\pm i \lambda \)\((\lambda >0)\), we denote the n moduli in increasing order by:
The set
is called the symplectic spectrum of B. Williamson’s Theorem [46] states that the matrix B can be diagonalized to a “normal” form by way of a similarity transformation with a symplectic matrix. More specifically, there exists \(S \in Sp(n)\) such that
where \(\Lambda = diag \left( \lambda _{\sigma ,1}(B) , \lambda _{\sigma ,2}(B) , \ldots , \lambda _{\sigma ,n}(B) \right) \).
3.2 Weyl Operators
The symplectic Fourier transform of a function \(F \in L^1 (\mathbb {R}^{2n}) \cap L^2 (\mathbb {R}^{2n})\) is given by:
It is related to the Fourier transform (27) and the \(\hbar \)-scaled Fourier transform (28) by:
The symplectic Fourier transform is an involution which extends by duality to an involutive automorphism \(\mathcal {S}^{\prime } (\mathbb {R}^{2n}) \rightarrow \mathcal {S}^{\prime } (\mathbb {R}^{2n})\).
Given a symbol \(a \in \mathcal {S}^{\prime } (\mathbb {R}^{2n})\), the associated Weyl operator is given by the Bochner integral [7, 8]:
where \(\widehat{T} (z_0)\) is the Heisenberg-Weyl operator
for \(z_0 = (x_0,p_0) \in \mathbb {R}^{2n}\) and \(f \in \mathcal {S} (\mathbb {R}^n)\). We remark that the operator \(\widehat{A}\) is formally self-adjoint if and only its symbol a is real.
The Weyl correspondence, written \(a \overset{\mathrm {Weyl}}{\longleftrightarrow } \widehat{A}\) or \(\widehat{A} \overset{\mathrm {Weyl}}{\longleftrightarrow } a\), between an element \(a \in \mathcal {S}^{\prime } (\mathbb {R}^{2n})\) and the Weyl operator it defines is bijective; in fact the Weyl transformation is one-to-one from \(\mathcal {S}^{\prime } (\mathbb {R}^{2n})\) onto the space \(\mathcal {L}\left( \mathcal {S}(\mathbb {R}^{n}),\mathcal {S}^{\prime } (\mathbb {R}^{n})\right) \) of linear continuous maps \(\mathcal {S}(\mathbb {R}^{n}) \rightarrow \mathcal {S}^{\prime } (\mathbb {R}^{n})\) (see e.g. Maillard [35], Unterberger [42, 43] or Wong [47]). This can be proven using Schwartz’s kernel theorem and the fact that the Weyl symbol a of the operator \(\widehat{A}\) is related to the distributional kernel \(K_A\) of that operator by the partial Fourier transform with respect to the y variable
where \(K_A \in \mathcal {S}^{\prime } (\mathbb {R}^n \times \mathbb {R}^n )\) and the Fourier transform is defined in the usual distributional sense. Conversely, the kernel \(K_A\) is expressed in terms of the symbol a by the inverse Fourier transform
Weyl operators enjoy the following symplectic covariance property [7, 8, 18, 22, 47]. Let \(S \in Sp(n)\) and \(\widehat{S} \in Mp(n)\) be one of the two metaplectic operators that project onto S. Recall that metaplectic operators constitute a unitary representation of the two-fold cover \(Sp_2(n)\) of Sp(n). If \(\widehat{A}: \mathcal {S} (\mathbb {R}^n) \rightarrow \mathcal {S}^{\prime } (\mathbb {R}^n)\) is a Weyl operator with symbol \(a \in \mathcal {S}^{\prime } (\mathbb {R}^{2n})\), then we have
Since an anti-symplectic transformation is the composition TS (see (34)) it suffices to consider the action of T. Quantum mechanically, this is implemented by the anti-linear operator
This also supports the interpretation of T as a time reversal. If f obeys the Schrödinger equation, then \({\overline{f}}\) obeys the same equation with the time reversal \(t \rightarrow -t\).
Assuming that the product \(\widehat{A}\widehat{B}\) exists (which is the case for instance if \(\widehat{B} : \mathcal {S}(\mathbb {R}^{n}) \rightarrow \mathcal {S}(\mathbb {R}^{n})\)) the Weyl symbol c of \(\widehat{C}= \widehat{A}\widehat{B}\) and its symplectic Fourier transform \(\mathcal {F}_{\sigma } c\) are given by the formulae:
and
The first formula is often written \(c = a \star _{\hbar } b\) and \(a \star _{\hbar } b\) is called the twisted product or Moyal product (see e.g. [18, 23, 36, 47]).
3.3 Quantum States and Wigner Functions
An important case consists of rank one operators of the form:
for fixed \(f,g \in L^2 (\mathbb {R}^n)\) acting on \(h \in L^2 (\mathbb {R}^n)\). They are Hilbert–Schmidt operators with kernel \(K_{f,g}(x,y) = (f \otimes \overline{g}) (x,y)=f(x) {\overline{g(y)}} \). According to (43), the associated Weyl symbol is:
This is just the cross-Wigner function up to a multiplicative constant:
From (45), we conclude that
If \(g=f\), we simply write Wf meaning W(f, f):
We say that Wf is the Wigner function [44] associated with the pure state \(f \in L^2 (\mathbb {R}^n)\).
In quantum mechanics, one usually has to deal with statistical mixtures of pure states. This means that pure states represented by the rank one operators \(\widehat{\rho }_f =\widehat{\rho }_{f,f}\) (see (49)) are replaced by convex combinations of the form:
with \(p_{\alpha } \ge 0\) and \(\sum _{\alpha } p_{\alpha } =1\). The convergence of the series in (54) is understood in the sense of the trace norm. Operators of this form are called density matrices. They are positive trace class operators with unit trace. The set of density matrices—the set of states—is denoted by \(\mathcal {S}( L^2 (\mathbb {R}^n))\). A density matrix \(\widehat{\rho }\) is a Hilbert–Schmidt operator with kernel:
The associated Wigner function is
with uniform convergence.
We shall denote by \(\mathcal {W} (\mathbb {R}^{2n})\) the set of all Wigner functions associated with density matrices, that is the range of the Weyl transform acting on \(\mathcal {S}(L^2 (\mathbb {R}^n))\). This is basically the set of quantum mechanical states in the Weyl–Wigner representation. One can tell whether an element \(W \rho \in \mathcal {W} (\mathbb {R}^{2n})\) represents a pure or a mixed state by calculating its purity:
We have:
One aspect which makes the Wigner formalism very appealing is the fact that expectation values are computed with a formula akin to classical statistical mechanics [7, 18, 47]. Indeed, if \(\widehat{A}\) is a self-adjoint Weyl operator with symbol \(a \in \mathcal {S} (\mathbb {R}^{2n})\), then it can be shown that
for \(f,g \in \mathcal {S} (\mathbb {R}^n)\). In particular, we have:
For a generic self-adjoint Weyl operator \(\widehat{A} \overset{\mathrm {Weyl}}{\longleftrightarrow } a\) which is also trace-class, the following identity holds:
If \(\widehat{A} \overset{\mathrm {Weyl}}{\longleftrightarrow } a\) and \(\widehat{B} \overset{\mathrm {Weyl}}{\longleftrightarrow } b\) are Weyl operators such that \(\widehat{A} \widehat{B}\) is trace-class, then we have[7, 8]:
In particular, for density matrices (60) generalizes to
provided \(\widehat{A} \widehat{\rho }\) is trace class.
In general, it is very difficult to determine whether a given phase space function F is the Wigner function of some density matrix \(\widehat{\rho } \in \mathcal {S}(L^2 (\mathbb {R}^n))\). It can be shown that [13, 31]:
Theorem 1
Let \(F: \mathbb {R}^{2n} \rightarrow \mathbb {C}\) be a measurable function. We have \(F \in \mathcal {W} (\mathbb {R}^{2n})\) if and only if:
-
(i)
F is a real function,
-
(ii)
\(F \in L^2 (\mathbb {R}^{2n})\),
-
(iii)
\(\int _{\mathbb {R}^{2n}}F (z) dz =1\),
-
(iv)
\(\int _{\mathbb {R}^{2n}}F (z) W f (z) dz \ge 0\), for all \(f \in L^2 (\mathbb {R}^n) \).
The first two conditions mean that F is the Weyl symbol of a self-adjoint Hilbert–Schmidt operator. The last condition means that this operator is positive. These conditions, together with (iii), imply that the operator is trace class and that the trace is equal to one.
This set of conditions are somewhat tautological as they require the knowledge of the set of pure state Wigner functions Wf to check the positivity (iv).
There are an alternative set of necessary and sufficient conditions, the Kastler, Loupias, Miracle-Sole (KLM) conditions [29, 33, 34], that do not share this disadvantage. However, they are virtually impossible to check, as they amount to verifying the positivity of an infinite hierarchy of matrices of growing dimension (see also [14, 37, 38, 40]). In practise, these conditions can be checked up to a given finite order, in which case they provide a set of necessary but not sufficient conditions for a measurable function F to belong to \(\mathcal {W}(\mathbb {R}^{2n})\). Other, more practical, necessary conditions are the uncertainty principles.
3.4 Uncertainty Principles
One of the hallmarks of quantum mechanics is the uncertainty principle. For a survey of mathematical aspects of the uncertainty principle see [19]. Good discussions on the physical interpretation and implications of the uncertainty principle can be found in [4, 5]. Roughly speaking, an uncertainty principle poses an obstruction to a state being sharply localized both in position and in momentum space. There are various ways one can formulate this principle mathematically. For instance, one can show that (see e.g. [10, 28]).
Theorem 2
If \(W \rho \in \mathcal {W}(\mathbb {R}^{2n})\), then \(W \rho \) is uniformly continuous and it cannot be compactly supported.
Other results for the support of joint position-momentum (or time-frequency) representations can be found in [12] for the ambiguity function and in [45] for the short-time Fourier transform. The continuous wavelet transform, which is a time-scale representation, was also shown to have non-compact support in [45]. Ghobber and Jaming [20, 21] derived uncertainty principles for arbitrary integral operators (Fourier, Dunkl, Clifford transforms, etc) which have bounded kernels and satisfy a Plancherel theorem. A sharp version of the Beurling uncertainty principle was proven by B. Demange for the ambiguity function [12].
The most famous version of an uncertainty principle is Heisenberg’s uncertainty principle:
Theorem 3
Let \(\langle \widehat{X}_i\rangle = Tr(\widehat{X}_i \widehat{\rho })\), \(\langle \widehat{P}_i\rangle = Tr(\widehat{P}_i \widehat{\rho })\), \(\Delta x_i^2= Tr((\widehat{X}_i-\langle \widehat{X}_i\rangle \widehat{I})^2 \widehat{\rho })\) and \(\Delta p_i^2= Tr((\widehat{P}_i-\langle \widehat{P}_i\rangle \widehat{I})^2 \widehat{\rho })\) denote the expectation values and the variances of the particle’s position and momentum which we assume to be finite. Then:
for \(i=1, \ldots , n\).
This theorem does not take into account the correlations \(x_ix_j\), \(p_ip_j\) or \(x_i p_j\). A first generalization would be the Heinig–Smith uncertainty principle [25]:
Theorem 4
Let \(f \in L^2 (\mathbb {R}^n)\), and \(\widetilde{f}\) as before, such that
and
are finite for all \(i,j=1, \ldots , n\). Here
Then the covariance matrices \(D=(d_{ij})_{ij}\) and \(\widetilde{D}=(\widetilde{d}_{ij})_{ij}\) satisfy:
Moreover, an equality holds if and only if f is a generalized Gaussian of the form:
where \(A \in Gl(n, \mathbb {C})\) is symmetric with \(Re(A) >0\), and \(b \in \mathbb {C}^n\), \(c \in \mathbb {C}\).
Remark 5
The previous theorem also holds for density matrices. Moreover, as in Theorem 3, we could have assumed immediately that f is normalized \(||f||=||\mathcal {F}f ||=1\). We have chosen this version here, because this is how we will need this result below.
Remark 6
It will be useful in the sequel to write the Heinig–Smith inequality for functions F defined in the phase space \(\mathbb {R}^{2n}\) and express it in terms of the symplectic Fourier transform. Thus, in view of (40):
Replacing D by \({\text {Cov}}(|\widetilde{F}|^2)\), \(\widetilde{D}\) by \({\text {Cov}} (|\mathcal {F}_{\sigma } \widetilde{F}|^2)\) and n by 2n in (68) yields:
Moreover, the inequality (71) becomes an equality if and only if F is of the form:
where \(A \in Gl(2n, \mathbb {C})\) is symmetric with \(Re(A) >0\), and \(b \in \mathbb {C}^{2n}\), \(c \in \mathbb {C}\).
Other uncertainty principles involving quadratic forms were obtained by B. Demange [12].
Theorems 3 and 4 still do not account for the position-momentum correlations. A consequence of this is that they are not invariant under linear (anti-)symplectic transformations. On the other hand, the Robertson–Schrödinger uncertainty principle is symplectially invariant [7].
Theorem 7
(Robertson–Schrödinger uncertainty principle) Let \( {\text {Cov}} (W \rho )\) be the covariance matrix of \(W \rho \) (or \(\widehat{\rho }\)) with entries:
which we assume to be finite. Then we have:
That is, the matrix \({\text {Cov}} (W \rho ) + \frac{i\hbar }{2} J\) is positive in \(\mathbb {C}^{2n}\).
By diagonalizing \({\text {Cov}} (W \rho )\) with the help of Williamson’s Theorem and using the symplectic invariance of (74), we conclude that the RSUP is equivalent to [7, 37, 39]
where \(\lambda _{\sigma ,1}\left( {\text {Cov}} (W \rho )\right) \) is the smallest symplectic eigenvalue of \({\text {Cov}} (W \rho )\). The extremal situation
corresponds to a minimal uncertainty density matrix. In \(\mathcal {W}(\mathbb {R}^{2n})\) this can only be achieved by Gaussian pure states [7].
Theorem 8
Let \({\text {Cov}} (W \rho )\) satisfy the RSUP (74) with \(W \rho \in \mathcal {W} (\mathbb {R}^{2n})\). Then it saturates the uncertainty principle in the sense of (76) if and only if \(W \rho =W f\) is the Wigner function of a Gaussian pure state f of the form (69).
Remark 9
The Wigner function of a Gaussian pure state (69) can be expressed as
where \(z_0 \in \mathbb {R}^{2n}\) and the covariance matrix \( {\text {Cov}} (Wf)\) is a real symmetric positive-definite \(2 n \times 2n\) matrix such that
This is known by physicists as Littlejohn’s Theorem [32] but was first proven by Bastiaans [1].
Theorem 8 is valid in \(\mathcal {W}(\mathbb {R}^{2n})\) but not in \(L^2(\mathbb {R}^{2n})\). In fact, the RSUP is only a necessary condition for a real phase space function F to be a Wigner function. However, it is not sufficient (not even if saturated). Here is a counter-example.
Example 10
Let F be the function on \(\mathbb {R}^2\) defined by
where \(\chi _R (z)\) is the indicator function of the disc of radius R centered at the origin
The function F is real and normalized. However, it cannot possibly be a Wigner function, because it is discontinuous and because it has compact support. But, as we now show, it can nevertheless satisfy the Robertson–Schrödinger uncertainty principle, or even saturate it, provided we choose the radius R appropriately.
A simple calculation shows that the covariance matrix of F is
where I is the identity matrix. The Williamson invariant of \({\text {Cov}} (F)\) is
So the Robertson–Schrödinger uncertainty principle is satisfied, if and only if
and saturated provided
In higher dimension \(n >1\), we may consider the tensor products
Again, if (83) holds, then F satisfies the RSUP and it saturates it for (85).
Thus, as we argued in the introduction, the only imprint of quantum mechanics in the RSUP is a scale requirement related to Planck’s constant. Indeed, we have the more dramatic result that, provided the covariance matrix is finite and positive-definite, then any phase space function satisfies the RSUP after a scale transformation.
Lemma 11
Let \(F: \mathbb {R}^{2n} \rightarrow \mathbb {R}\) be a normalized measurable function such that its covariance matrix \({\text {Cov}}(F)\) is finite and positive-definite. Then there exists \(0<\mu \le 1 \) such that \(F_{\mu }(z)= \mu ^{2n} F(\mu z)\) satisfies the RSUP.
Proof
Let \(\lambda _{\sigma ,1} \left( {\text {Cov}}(F)\right) \) denote the smallest Williamson invariant of \({\text {Cov}} (F)\). If \(\lambda _{\sigma ,1} \left( {\text {Cov}}(F)\right) \ge \frac{\hbar }{2}\), we choose \(\mu =1\) and we are done. Alternatively, suppose that \(\lambda _{\sigma ,1} \left( {\text {Cov}} (F)\right) < \frac{\hbar }{2}\). Since \({\text {Cov}} (F_{\mu }) = \frac{1}{\mu ^2} {\text {Cov}} (F)\), we conclude that \(\lambda _{\sigma ,1} \left( {\text {Cov}} (F_{\mu })\right) = \frac{ \lambda _{\sigma ,1} \left( {\text {Cov}} (F)\right) }{\mu ^2}\). If we choose
then \(F_{\mu }\) satisfies the RSUP. \(\square \)
3.5 Modulation Spaces
To conclude this section, we address the question of finiteness of the covariance matrix elements of a given function. The proper setting in this respect is that of Feichtinger’s modulation spaces [16, 17].Footnote 2 These are a class of functional spaces which, roughly speaking, describe the integrability, decay and smoothness properties of a function and its Fourier transform.
Let \(\langle z\rangle =(1+|z|^2)^{1/2}\); we will call \(\langle \cdot \rangle \) the standard weight function. The modulation space \(M_{s}^{q}(\mathbb {R}^{n})\) consists of all distributions \(f\in \mathcal {S}^{\prime }(\mathbb {R}^{n})\) such that \(W(f,g)\in L_{s} ^{q}(\mathbb {R}^{2n})\) for all \(g \in \mathcal {S}(\mathbb {R}^{n}) \backslash \left\{ 0 \right\} \). Here \(L_{s}^{q}(\mathbb {R}^{2n})\) is the space of all functions F on \(\mathbb {R}^{2n}\) such that
One shows that \(M_{s}^{q}(\mathbb {R}^{n})\) is a Banach space for the norms
these norms are in fact all equivalent for different choices of window g, so that the condition \(f\in M_{s}^{q}(\mathbb {R}^{n})\) holds if \(W(f,g)\in L_{s}^{q}(\mathbb {R} ^{2n})\) for one \(g \in \mathcal {S}(\mathbb {R}^{n})\backslash \left\{ 0 \right\} \); even more surprisingly, we have \(f\in M_{s}^{q}(\mathbb {R}^{n})\) if and only if \(Wf =W(f,f) \in L_{s} ^{q}(\mathbb {R}^{2n})\) (but it is of course not immediately obvious from this characterization that \(M_{s}^{q}(\mathbb {R}^{n})\) is a vector space!). The class of modulation spaces contain as particular cases several well-known function spaces. For instance, the Shubin class
corresponds to \(M_{s}^{2} (\mathbb {R}^n)\). In particular, it can be shown that:
The case \(q=1\), \(s=0\) is also noteworthy. The corresponding modulation space \(M_{0}^{1}(\mathbb {R}^{n})\) is called Feichtinger’s algebra and is usually denoted by \(S_{0}(\mathbb {R}^{n})\). The Feichtinger algebra is an algebra for both pointwise multiplication and convolution. One proves that \(S_{0}(\mathbb {R}^{n})\) is the smallest Banach space containing \(\mathcal {S} (\mathbb {R}^{n})\) and which is invariant under the action of metaplectic operators and translations. We have the inclusion
The modulation spaces \(M_{s}^{q}(\mathbb {R}^{n})\) have similar properties:
Proposition 12
-
(i)
Each space \(M_{s}^{q}(\mathbb {R}^{n})\) is invariant under the action of the Heisenberg–Weyl operators \(\widehat{T}(z)\) and there exists a constant \(C>0\) such that
$$\begin{aligned} ||\widehat{T}(z)f||_{g,M_{s}^{q}}\le C\langle z\rangle ^{s} ||f||_{g ,M_{s}^{q}}; \end{aligned}$$(92) -
(ii)
If \(\widehat{S}\in {\text {Mp}}(n)\) and \(f \in M_{s} ^{q}(\mathbb {R}^{n})\) then \(\widehat{S} f \in M_{s}^{q}(\mathbb {R}^{n})\);
-
(iii)
\(\mathcal {S}(\mathbb {R}^{n})\) is dense in each of the spaces \(M_{s} ^{q}(\mathbb {R}^{n})\) and we have
$$\begin{aligned} \mathcal {S}(\mathbb {R}^{n})=\cap _{s\ge 0}M_{s}^{2}(\mathbb {R}^{n}). \end{aligned}$$(93)
We remark that the Feichtinger algebra \(S_{0}(\mathbb {R}^{n})=M_{0}^{1}(\mathbb {R}^{n})\) is the smallest algebra containg the Schwartz functions and having properties (i) and (ii) above.
4 The Refined Robertson–Schrödinger Uncertainty Principle
To prove our main theorem, we need the following two preliminary results.
Proposition 13
Let \(\widehat{A} \overset{\mathrm {Weyl}}{\longleftrightarrow } a\) be a positive Weyl operator with symbol \(a \in \mathcal {S}^{\prime } (\mathbb {R}^{2n})\), and let \(W \rho \) be the Wigner function associated with the density matrix \(\widehat{\rho }\). If \(\widehat{A}\widehat{\rho }\) is trace-class, then we have
where \(\star _{\hbar }\) denotes the Moyal product. Moreover, the first inequality bccomes an equality if and only if the state is pure.
Proof
A density matrix is a trace class operator and hence compact. Thus, it admits the following spectral decomposition [7]:
where \((\lambda _{\alpha })_{\alpha }\) are the eigenvalues of \(\widehat{\rho }\), with
Here \(\widehat{P}_{\alpha }\) is the orthogonal projection onto the eigenspace associated with the eigenvalue \(\lambda _{\alpha }\). Since
we have by linearity, the positivity of \(\widehat{A} \), convergence in the trace norm and the fact that \(0 < \lambda _{\alpha } \le 1\):
Finally, an equality holds if and only if \(\lambda _{\alpha }=0\) or \(\lambda _{\alpha }=1\) for all \(\alpha \). This is possible for a normalized state if and only if the state is pure. From (47,62), we then recover (94). \(\square \)
The following technical result will also be useful.
Proposition 14
Let \(F \in M_1^2 (\mathbb {R}^{2n})\) and \(a(z)= \eta \cdot (z-z_0)\) for fixed \(\eta \in \mathbb {C}^{2n}\) and \(z_0 \in \mathbb {R}^{2n}\). Then the following identity holds:
Proof
We start by showing that, as a distribution, \(a \star _{\hbar }F \in \mathcal {S}^{\prime } (\mathbb {R}^{2n})\) is given by:
where
is the distributional gradient of F.
Indeed, let \(\phi \in \mathcal {S}(\mathbb {R}^{2n})\). We have by the distributional property (62):
Hence, (100) follows.
Since \(M_1^2( \mathbb {R}^{2n}) \simeq H^1 (\mathbb {R}^{2n}) \cap \mathcal {F}H^1 (\mathbb {R}^{2n})\) it is clear from (100), that \(a \star _{\hbar }F \in L^2 (\mathbb {R}^{2n})\). Moreover, given that
the same can be said about \(F \star _{\hbar }a\). We conclude that the left-hand side of (99) is well defined and finite.
Since \(F \in H^1 (\mathbb {R}^{2n}) \), we can express the last term as
and we recover (99). \(\square \)
We are now in a position to prove the refined RSUP. This uncertainty principle synthesizes the Heinig–Smith inequality and the RSUP, but is stronger than both.
Theorem 15
Let \(W \rho \in \mathcal {W}(\mathbb {R}^{2n})\) be such that
Then the following matrix inequalities hold in \(\mathbb {C}^{2n}\):
The first inequality becomes a matrix identity if and only if the state is pure.
We remark that if a real function F belongs to \(M_1^2 (\mathbb {R}^{2n}) \cap M_2^1 (\mathbb {R}^{2n})\), then automatically \(F \in \mathcal {A} (\mathbb {R}^{2n}) \).
Proof
We start by remarking that if \(W \rho \in \mathcal {A} (\mathbb {R}^{2n})\), then all the covariance matrices appearing in (107) are finite.
Define the operators
for \(j=1, \ldots , 2n\), and where
Let also \(\eta =(\eta _1, \ldots , \eta _{2n}) \in \mathbb {C}^{2n}\) and define
where \(\widehat{B}^{*}\) denotes the adjoint of the operator \(\widehat{B}\). Clearly, \(\widehat{A}\) is a positive Weyl operator with symbol:
where \(y_j=z_j - \langle \widehat{Z}_j\rangle \) is the symbol of \(\widehat{Y}_j\).
Since \(W \rho \in \mathcal {A} (\mathbb {R}^{2n})\), we have that \(\widehat{A}\widehat{\rho }\) is trace class, or equivalently, that
exists and is finite. We conclude that (94) holds.
Next we evaluate the integrals in (94). We start with
Next, we have
where we used the cyclicity of the trace and (62).
From Proposition 14, it follows that
Now let us consider the two terms in the integral in previous expression. We have (recall that \(\langle \widehat{Z}\rangle \) is the expectation value for \(W \rho \) and not \(|W \rho |^2\)):
Next, we remark that
where we used the fact that
for \(j=1, \ldots , 2n\), and that, by Placherel’s Theorem, \(|||\mathcal {F}_{\sigma } W \rho |||=|||W \rho |||\). Altogether, from (115)–(117), we obtain
The first inequality in (107) then follows from (94,113,119).
To show the second inequality in (107), we observe that, from our previous calculations (115, 117):
where \(\widehat{B}_{\zeta }\) is the Weyl operator
with symbol
This is manifestly a positive operator, and so from (120), it follows that
We leave to the reader the simple proof that the first inequality in (107) becomes an equality if and only if the state is pure. \(\square \)
The following is a simple corollary of the previous theorem.
Corollary 16
Let \(W \rho \in \mathcal {W}(\mathbb {R}^{2n}) \cap \mathcal {A} (\mathbb {R}^{2n})\). Then the following inequalities hold:
Proof
The first inequality is obtained from (107) by a restriction to \(\mathbb {R}^{2n}\). The remaining two inequalities follow from the observation that \(A +B \ge A\) if A and B are real symmetric and positive matrices. \(\square \)
Before we proceed, we make the following remarks.
Remark 17
The RSUP has an interesting geometric interpretation; as shown in [11] the condition
is equivalent to the condition \(c(\Omega )\ge \pi \hbar \) where \(\Omega \) is the covariance ellipsoid and c any symplectic capacity on the standard symplectic space \((\mathbb {R}^{2n},\sigma )\). This property relates the RSUP to deep results in symplectic topology (Gromov’s non-squeezing theorem [24]). It would certainly interesting to extend this geometric interpretation to the refinement of the RSUP and the inequalities (124) proposed in the present paper.
Remark 18
Let \(A \in M (n; \mathbb {C})\) be some complex matrix. Then A is positive if and only if \(A^T\) is positive. From this observation and the fact that \(J^T =-J\) it follows that a function F satisfies the refined RSUP (107) if and only if it satisfies the same inequalities with \(\hbar \) replaced by \(- \hbar \).
Next we show that the refined RSUP is invariant under linear symplectic and anti-symplectic transformations.
Theorem 19
Suppose that \(F \in \mathcal {A} (\mathbb {R}^{2n}) \) satisfies the refined RSUP:
Then for every \(S \in ASp(n)\), the function \(F \circ S\) also satisfies (125).
Proof
A simple calculation shows that
where \(\epsilon =1\) if S is symplectic and \(\epsilon =-1\) if S is anti-symplectic. It is then a straightforward task to check that
for \(G=F,|\widetilde{F}|^2\) and \(| \mathcal {F}_{\sigma } \widetilde{F}|^2\). Using the fact that \(SJS^T= \epsilon J\), we conclude that \(F \circ S\) satisfies (125) with \(\hbar \) replaced by \(\epsilon \hbar \). In view of Remark 18 the result follows. \(\square \)
Theorem 20
Let \(F\in \mathcal {A} (\mathbb {R}^{2n})\) be such that (125) holds. Then F has minimal Robertson–Schrödinger uncertainty,
if and only if F is proportional to a Gaussian pure state Wigner function:
with \(z_0 \in \mathbb {R}^{2n}\) and \(\frac{2}{\hbar } {\text {Cov}}(F) \in Sp (n)\).
Proof
Since (125) holds, we have in particular
Let \((u_j)_j\) be the n eigenvectors of \( {\text {Cov}}(F) J^{-1}\) associated with the eigenvalues \(-i \lambda _{\sigma ,j} ({\text {Cov}}(F)) = -\frac{i \hbar }{2}\):
Then we have:
for \(j=1, \ldots , n\).
From (125), we must also have:
for \(j=1, \ldots , n\).
By (125), the matrix
satisfies the RSUP. And so, from (133), we conclude that its symplectic eigenvalues are also all equal to \(\frac{\hbar }{2}\) and that \((u_j)_j\) are the associated eigenvectors:
It follows that
Setting \(X=\det ( {\text {Cov}}(|\widetilde{F}|^2))\), \(Y=\det (\frac{1}{4} {\text {Cov}} (|\mathcal {F}_{\sigma } \widetilde{F}|^2))\), we have from (136), Minkowski’s Determinant Theorem, the Heinig–Smith inequality (71) and the arithmetic-geometric mean inequality that
Thus all the inequalities become equalities. In particular the Heinig–Smith inequality is saturated, and F must be of the form (72).
We have
for \(j=1, \ldots , 2n\). Since, by assumption, F is a real function, we conclude that \(b \in \mathbb {R}^{2n}\), \(c \in \mathbb {R}\) and A is real, symmetric and positive-definite. Altogether, we recover (129). Finally, since F is a Gaussian distribution which saturates the RSUP, then by Littlejohn’s Theorem we must have \(\frac{2}{\hbar } {\text {Cov}}(F) \in Sp (n)\). \(\square \)
To complete our analysis we consider two examples. The first one shows that a function may satisfy the RSUP but not the refined RSUP. In a certain sense Example 10 already does that. But that is not really a good example since \( {\text {Cov}}(|\mathcal {F}_{\sigma } \widetilde{F}|^2)\) is not finite.
The second example shows that the refined RSUP is not a sufficient condition for a phase space function to be a Wigner distribution.
Example 21
Consider the following real and normalized function defined on \(\mathbb {R}^2\):
By straightforward calculations, we have:
while
We conclude that
that is F satisfies the RSUP. On the other hand:
which violates the second inequality in (124).
To obtain a similar example in higher dimensions, we just have to take tensor products of the function (139).
Example 22
Next consider the function
A simple calculation shows that \(\mathcal {F}_{\sigma }(F)=- F\) and that
We conclude that F satisfies the refined RSUP (125).
However, this is not a Wigner function. To see this consider the ground state of the simple harmonic oscillator:
We have:
which violates the positivity condition (iv) in Theorem 1.
5 The Hirschman–Shannon Inequality for Wigner Functions
In this section, we prove the entropic inequalities which appear as a by-product of the refined RSUP.
Theorem 23
Let \(W\rho \) be a Wigner function with purity \(\mathcal {P} \left[ W\rho \right] \) and finite covariance matrix \(Cov(W\rho )\). Then \(|{\widetilde{W\rho }}|^{2}\) and \(|\mathcal {F}_{\hbar }{\widetilde{W\rho }}|^{2}\) have finite covariance matrices and entropies and the following inequalities hold:
We have an equality throughout in (148) if and only if \(W \rho =W \psi \) is a pure Gaussian of the form:
where \(z_{0}\in \mathbb {R}^{2n}\) and
is a \(2n\times 2n\) real symplectic matrix.
Proof
From (20) with \(n \rightarrow 2n\) and \(f={\widetilde{W\rho }}\), we obtain:
The first inequality in (124) and Minkowski’s determinant theorem yield
From the concavity of the logarithm and (151):
and the result follows.
Finally, suppose we have an equality throughout (148). By Hirschman’s Theorem, the last inequality becomes an equality if and only if \(W \rho \) is a generalized Gaussian. But since, \(W \rho \) is a real normalized function, it must be of the form:
with A a real, symmetric, positive-definite \(2n \times 2n \) matrix. By standard Gaussian integral computations, we conclude that:
Moreover,
From which we conclude that
If we have an equality throughout (148), then we also have an equality in (152). By Minkowski’s determinant theorem that can happen if and only if, there exists a constant \(\alpha \ge 0\), such that
Plugging (157) into (158) yields:
In other words: A is proportional to a symplectic matrix.
Equating the first and the last term in (148), we obtain:
From (155) and (160), we conclude that:
which proves the result. \(\square \)
Another consequence of the refined RSUP is the following corollary for pure states.
Corollary 24
Suppose that the Wigner function \(W \psi \) has a finite covariance matrix. Then \(|{\widetilde{W \psi }}|^{2}\) has a finite covariance matrix and a finite entropy and we have:
Proof
The last inequality in (162) is a well known result by Lieb [30]. The penultimate inequality is just Shannon’s inequality (18). In remains to prove the first inequality. But again from the first inequality in (124), we conclude that
and the result follows. \(\square \)
Remark 25
Notice that the previous results are mainly interesting if the state \(W\rho \) does not depart appreciably from a pure state, that is if \(\mathcal {P}\left[ W\rho \right] \approx 1\). This is of course true if we have exactly a pure state as in (162). If \(W\rho \) is highly mixed \(\mathcal {P}\left[ W\rho \right] \approx 0\), then \(\log \left( \mathcal {P} \left[ W\rho \right] \right) \rightarrow -\infty \), and inequality (148) becomes trivially true.
Remark 26
Before we proceed let us make a brief comment on the choice of Fourier transform in the various inequalities. In the refined RSUP we chose the symplectic Fourier transform in order to have a simpler expression. Otherwise, we would have to make the replacement
Because of this identity, the determinants of the two covariance matrices coincide. Likewise, we can easily show that \(E \left( |\mathcal {F}_{\sigma } ({\widetilde{W \rho }})|^2\right) = E \left( |\mathcal {F}_{\hbar } ({\widetilde{W \rho }})|^2\right) \). Consequently, (21) holds whether we use \(|\mathcal {F}_{\sigma } ({\widetilde{W \rho }})|^2\) or \(|\mathcal {F}_{\hbar } ({\widetilde{W \rho }})|^2\). We picked \(|\mathcal {F}_{\hbar } ({\widetilde{W \rho }})|^2\) because we can then compare it directly with the Hirschman inequality. But this is really just a question of taste.
6 Outlook
The Wigner quasi-distribution plays a central role in both time-frequency analysis and quantum mechanics (from which it originates). One should however be aware that it is not the only possible choice. Any element of the so-called Cohen class [22] having the correct marginals is a priory an equally good choice in entropic questions of the type considered in this paper (even if the Wigner quasi-distribution is well-adapted when symplectic symmetries are present). It would for instance be interesting to generalize our results to a particular element of the Cohen class, namely the Born–Jordan distribution [9] which is closely related to the eponymous quantization procedure, and which has certain advantages compared to those of the Wigner quasi-distribution (in particular it damps certain unwanted interference effects [6]). We hope to come back to this case in the near future.
Notes
In this interpretation \({\text {Cov}} (|W\rho |^2)\) is the covariance matrix of the 2n configurational variables; and \({\text {Cov}}(|\mathcal {F}_{\sigma }W \rho |^2)\) is the covariance matrix of the 2n conjugate momenta.
References
Bastiaans, M.J.: Wigner distribution function and its application to first-order optics. J. Opt. Soc. Am. 69(12), 1710–1716 (1979)
Beckner, W.: Inequalities in Fourier analysis. Ann. Math. 102(6), 159–182 (1986)
Bialynicki-Birula, I., Mycielski, J.: Uncertainty relations for information entropy in wave mechanics. Commun. Math. Phys. 44(2), 129–132 (1975)
Busch, P., Heinonen, T., Lahti, P.: Heisenberg’s uncertainty principle. Phys. Rep. 452, 155–176 (2007)
Busch, P., Lahti, P., Werner, R.F.: Quantum root-mean-square error and measurement uncertainty relations. Rev. Mod. Phys. 86, 1261–1281 (2014)
Cordero, E., de Gosson, M., Nicola, F.: On the reduction of the interferences in the Born-Jordan distribution. Appl. Comput. Harmon. Anal. (2016). https://doi.org/10.1016/j.acha.2016.04.007
de Gosson, M.: Symplectic Geometry and Quantum Mechanics. Birkhäuser, Basel (2006)
de Gosson, M.: Symplectic Methods in Harmonic Analysis and in Mathematical Physics. Birkhäuser, Basel (2011)
de Gosson, M.: Born-Jordan Quantization: Theory and Applications. Springer, New York (2016)
de Gosson, M., Luef, F.: Remarks on the fact that the uncertainty principle does not determine the quantum state. Phys. Lett. A 364, 453–457 (2007)
de Gosson, M., 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). https://doi.org/10.1016/j.physrep.2009.08.001
Demange, B.: Uncertainty principles for the ambiguity function. J. Lond. Math. Soc. 72, 717–730 (2005)
Dias, N.C., Prata, J.N.: Admissible states in quantum phase space. Ann. Phys. 313, 110–146 (2004)
Dias, N.C., Prata, J.N.: The Narcowich-Wigner spectrum of a pure state. Rep. Math. Phys. 63, 43–54 (2009)
Dias, N.C., de Gosson, M., Prata, J.N.: Maximal covariance group of Wigner transforms and pseudo-differential operators. Proc. Am. Math. Soc. 142(9), 3183–3192 (2014)
Feichtinger, H.G.: Banach spaces of distributions of Wiener’s type and interpolation. In: Functional Analysis and Approximation, Oberwohlfach, (1980). Internat. Ser. Numer. Math., vol. 60, pp. 153–165. Birkhäuser, Basel (1981)
Feichtinger, H.G.: On a new Segal algebra. Monatshefte Math. 92(4), 269–289 (1981)
Folland, G.B.: Harmonic Analysis in Phase Space. Annals of Mathematics Studies, vol. 122. Princeton University Press, Princeton (1989)
Folland, G.B., Sitaram, A.: The uncertainty principle: a mathematical survey. J. Fourier Anal. Appl. 3(3), 207–238 (1997)
Ghobber, S.: Variations on uncertainty principles for integral operators. Appl. Anal. 93, 1057–1072 (2014)
Ghobber, S., Jaming, P.: Uncertainty principles for integral operators. Stud. Math. 220, 197–220 (2014)
Gröchenig, K.: Foundations of Time-Frequency Analysis. Birkhäuser, Boston (2000)
Groenewold, H.: On the principles of elementary quantum mechanics. Physica 12, 405 (1946)
Gromov, M.: Pseudoholomorphic curves in symplectic manifolds. Invent. Math. 82, 307–347 (1985)
Heinig, H.P., Smith, M.: Extensions of the Heisenberg inequality. Int. J. Math. Math. Sci. 9, 185–192 (1986)
Hirschman Jr., I.I.: A note on entropy. Am. J. Math. 79(1), 152–156 (1957)
Hudson, R.L.: When is the Wigner quasi-probability density non-negative? Rep. Math. Phys. 6(2), 249–252 (1974)
Janssen, A.J.E.M.: Proof of a conjecture on the supports of Wigner distributions. J. Fourier Anal. Appl. 4, 723–726 (1998)
Kastler, D.: The \(C^{\ast }\)-algebras of a free Boson field. Commun. Math. Phys. 1, 14–48 (1965)
Lieb, E.H.: Integral bounds for radar ambiguity functions and Wigner distributions. J. Math. Phys. 31(3), 594–599 (1990)
Lions, P.L., Paul, T.: Sur les mesures de Wigner. Rev. Mat. Iberoam. 9(3), 553–618 (1993)
Littlejohn, R.G.: The semiclassical evolution of wave packets. Phys. Rep. 138, 193 (1986)
Loupias, G., Miracle-Sole, S.: \(C^{\ast }\)-Algèbres des systèmes canoniques, I. Commun. Math. Phys. 2, 31–48 (1966)
Loupias, G., Miracle-Sole, S.: \(C^{\ast }\)-Algèbres des systèmes canoniques, II. Ann. l’Inst. Henri Poincaré 6(1), 39–58 (1967)
Maillard, J.M.: On the twisted convolution product and the Weyl transformation of tempered distributions. J. Geom. Phys. 3(2), 232–261 (1986)
Moyal, J.: Quantum mechanics as a statistical theory. In: Proceedings of the Cambridge Philosophical Society, vol. 45, p. 99 (1949)
Narcowich, F.J.: Conditions for the convolution of two Wigner distributions to be itself a Wigner distribution. J. Math. Phys. 29(9), 2036–2041 (1988)
Narcowich, F.J.: Distributions of \(\hbar \)-positive type and applications. J. Math. Phys. 30(11), 2565–2573 (1989)
Narcowich, F.J.: Geometry and uncertainty. J. Math. Phys. 31(2), 354–364 (1990)
Narcowich, F.J., O’Connell, R.F.: Necessary and sufficient conditions for a phase-space function to be a Wigner distribution. Phys. Rev. A 34(1), 1–6 (1986)
Shannon, C., Weaver, W.: The Mathematical Theory of Communication. University of Illinois Press, Urbana (1949)
Unterberger, A.: Quantization, symmetries and relativity. In: Contemporary Mathematics, vol. 214. American Mathematical Society, Providence, RI (1998)
Unterberger, A.: Quantization, symmetries and relativity. In: Perspectives on Quantization, South Hadley, MA (1996)
Wigner, E.: On the quantum correction for thermodynamic equilibrium. Phys. Rev. 40, 749–759 (1932)
Wilczek, E.: New uncertainty principles for the continuous Gabor transform and the continuous Wavelet transform. Docum. Math. 5, 201–226 (2000)
Williamson, J.: On the algebraic problem cocerning the normal forms of linear dynamical systems. Am. J. Math. 58, 141–163 (1936)
Wong, M.W.: Weyl Transforms. Springer, New York (1998)
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). The work of N.C. Dias and J.N. Prata is supported by the COST Action 1405 and by the Portuguese Science Foundation (FCT) Grant PTDC/MAT-CAL/4334/2014. M. de Gosson has been funded by the Grant P27773 of the Austrian Research agency FWF.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Hans G. Feichtinger.
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
Dias, N.C., de Gosson, M.A. & Prata, J.N. A Refinement of the Robertson–Schrödinger Uncertainty Principle and a Hirschman–Shannon Inequality for Wigner Distributions. J Fourier Anal Appl 25, 210–241 (2019). https://doi.org/10.1007/s00041-018-9602-x
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-018-9602-x