Measurement Uncertainty Relations for Position and Momentum: Relative Entropy Formulation

Abstract

Heisenberg’s uncertainty principle has recently led to general measurement uncertainty relations for quantum systems: incompatible observables can be measured jointly or in sequence only with some unavoidable approximation, which can be quantified in various ways. The relative entropy is the natural theoretical quantifier of the information loss when a ‘true’ probability distribution is replaced by an approximating one. In this paper, we provide a lower bound for the amount of information that is lost by replacing the distributions of the sharp position and momentum observables, as they could be obtained with two separate experiments, by the marginals of any smeared joint measurement. The bound is obtained by introducing an entropic error function, and optimizing it over a suitable class of covariant approximate joint measurements. We fully exploit two cases of target observables: (1) n-dimensional position and momentum vectors; (2) two components of position and momentum along different directions. In (1), we connect the quantum bound to the dimension n; in (2), going from parallel to orthogonal directions, we show the transition from highly incompatible observables to compatible ones. For simplicity, we develop the theory only for Gaussian states and measurements.

1. Introduction

Uncertainty relations for position and momentum [1] have always been deeply related to the foundations of Quantum Mechanics. For several decades, their axiomatization has been of ‘preparation’ type: an inviolable lower bound for the widths of the position and momentum distributions, holding in any quantum state. Such kinds of uncertainty relations, which are now known as preparation uncertainty relations (PURs) have been later extended to arbitrary sets of $n\ge 2$ observables [2,3,4,5]. All PURs trace back to the celebrated Robertson’s formulation [6] of Heisenberg’s uncertainty principle: for any two observables, represented by self-adjoint operators A and B, the product of the variances of A and B is bounded from below by the expectation value of their commutator; in formulae, ${\mathrm{Var}}_{\rho }(A){\mathrm{Var}}_{\rho }(B)\ge \frac{1}{4}{\left|\mathrm{Tr}\{\rho [A,B]\}\right|}^2$, where ${\mathrm{Var}}_{\rho }$ is the variance of an observable measured in any system state $\rho$. In the case of position Q and momentum P, this inequality gives Heisenberg’s relation ${\mathrm{Var}}_{\rho }(Q){\mathrm{Var}}_{\rho }(P)\ge \frac{{\hslash }^2}{4}$. About 30 years after Heisenberg and Robertson’s formulation, Hirschman attempted a first statement of position and momentum uncertainties in terms of informational quantities. This led him to a formulation of PURs based on Shannon entropy [7]; his bound was later refined [8,9], and extended to discrete observables [10]. Also other entropic quantities have been used [11]. We refer to [12,13] for an extensive review on entropic PURs.

However, Heisenberg’s original intent [1] was more focused on the unavoidable disturbance that a measurement of position produces on a subsequent measurement of momentum [14,15,16,17,18,19,20,21]. Trying to give a better understanding of his idea, more recently new formulations were introduced, based on a ‘measurement’ interpretation of uncertainty, rather than giving bounds on the probability distributions of the target observables. Indeed, with the modern development of the quantum theory of measurement and the introduction of positive operator valued measures and instruments [3,22,23,24,25,26], it became possible to deal with approximate measurements of incompatible observables and to formulate measurement uncertainty relations (MURs) for position and momentum, as well as for more general observables. The MURs quantify the degree of approximation (or inaccuracy and disturbance) made by replacing the original incompatible observables with a joint approximate measurement of them. A very rich literature on this topic flourished in the last 20 years, and various kinds of MURs have been proposed, based on distances between probability distributions, noise quantifications, conditional entropy, etc. [12,14,15,16,17,18,19,20,21,27,28,29,30,31,32].

In this paper, we develop a new information-theoretical formulation of MURs for position and momentum, using the notion of the relative entropy (or Kullback-Leibler divergence) of two probabilities. The relative entropy $S(p\parallel q)$ is an informational quantity which is precisely tailored to quantify the amount of information that is lost by using an approximating probability q in place of the target one p. Although classical and quantum relative entropies have already been used in the evaluation of the performances of quantum measurements [24,27,30,33,34,35,36,37,38,39,40], their first application to MURs is very recent [41].

In [41], only MURs for discrete observables were considered. The present work is a first attempt to extend that information-theoretical approach to the continuous setting. This extension is not trivial and reveals peculiar problems, that are not present in the discrete case. However, the nice properties of the relative entropy, such as its scale invariance, allow for a satisfactory formulation of the entropic MURs also for position and momentum.

We deal with position and momentum in two possible scenarios. Firstly, we consider the case of n-dimensional position and momentum, since it allows to treat either scalar particles, or vector ones, or even the case of multi-particle systems. This is the natural level of generality, and our treatment extends without difficulty to it. Then, we consider a couple made up of one position and one momentum component along two different directions of the n-space. In this case, we can see how our theory behaves when one moves with continuity from a highly incompatible case (parallel components) to a compatible case (orthogonal ones).

The continuous case needs much care when dealing with arbitrary quantum states and approximating observables. Indeed, it is difficult to evaluate or even bound the relative entropy if some assumption is not made on probability distributions. In order to overcome these technicalities and focus on the quantum content of MURs, in this paper we consider only the case of Gaussian preparation states and Gaussian measurement apparatuses [2,4,5,42,43,44,45]. Moreover, we identify the class of the approximate joint measurements with the class of the joint POVMs satisfying the same symmetry properties of their target position and momentum observables [3,23]. We are supported in this assumption by the fact that, in the discrete case [41], simmetry covariant measurements turn out to be the best approximations without any hypothesis (see also [17,19,20,29,32] for a similar appearance of covariance within MURs for different uncertainty measures).

We now sketch the main results of the paper. In the vector case, we consider approximate joint measurements $\mathsf{M}$ of the position $\mathit{Q}\equiv (Q_1,\dots ,Q_n)$ and the momentum $\mathit{P}\equiv (P_1,\dots ,P_n)$. We find the following entropic MUR (Theorem 5, Remark 14): for every choice of two positive thresholds ${ϵ}_1,{ϵ}_2$, with ${ϵ}_1{ϵ}_2\ge {\hslash }^2/4$, there exists a Gaussian state $\rho$ with position variance matrix $A^{\rho }\ge {ϵ}_1\mathrm{𝟙}$ and momentum variance matrix $B^{\rho }\ge {ϵ}_2\mathrm{𝟙}$ such that

$$S({\mathsf{Q}}_{\rho }\parallel {\mathsf{M}}_{1,\rho })+S({\mathsf{P}}_{\rho }\parallel {\mathsf{M}}_{2,\rho })\ge n\left(\log \mathrm{e}\right)\left\{\ln \left(1+\frac{\hslash }{2\sqrt{{ϵ}_1{ϵ}_2}}\right)-\frac{\hslash }{\hslash +2\sqrt{{ϵ}_1{ϵ}_2}}\right\}$$

(1)

for all Gaussian approximate joint measurements $\mathsf{M}$ of $\mathit{Q}$ and $\mathit{P}$. Here ${\mathsf{Q}}_{\rho }$ and ${\mathsf{P}}_{\rho }$ are the distributions of position and momentum in the state $\rho$, and ${\mathsf{M}}_{\rho }$ is the distribution of $\mathsf{M}$ in the state $\rho$, with marginals ${\mathsf{M}}_{1,\rho }$ and ${\mathsf{M}}_{2,\rho }$; the two marginals turn out to be noisy versions of ${\mathsf{Q}}_{\rho }$ and ${\mathsf{P}}_{\rho }$. The lower bound is strictly positive and it linearly increases with the dimension n. The thresholds ${ϵ}_1$ and ${ϵ}_2$ are peculiar of the continuous case and they have a classical explanation: the relative entropy $S(p\parallel q)\to +\infty$ if the variance of p vanishes faster than the variance of q, so that, given $\mathsf{M}$, it is trivial to find a state $\rho$ enjoying (1) if arbtrarily small variances are allowed. What is relevant in our result is that the total loss of information $S({\mathsf{Q}}_{\rho }\parallel {\mathsf{M}}_{1,\rho })+S({\mathsf{P}}_{\rho }\parallel {\mathsf{M}}_{2,\rho })$ exceeds the lower bound even if we forbid target distributions with small variances.

The MUR (1) shows that there is no Gaussian joint measurement which can approximate arbitrarily well both $\mathit{Q}$ and $\mathit{P}$. The lower bound (1) is a consequence of the incompatibility between $\mathit{Q}$ and $\mathit{P}$ and, indeed, it vanishes in the classical limit $\hslash \to 0$. Both the relative entropies and the lower bound in (1) are scale invariant. Moreover, for fixed ${ϵ}_1$ and ${ϵ}_2$, we prove the existence and uniqueness of an optimal approximate joint measurement, and we fully characterize it.

In the scalar case, we consider approximate joint measurements $\mathsf{M}$ of the position $Q_{\mathit{u}}=\mathit{u}·\mathit{Q}$ along the direction $\mathit{u}$ and the momentum $P_{\mathit{v}}=\mathit{v}·\mathit{P}$ along the direction $\mathit{v}$, where $\mathit{u}·\mathit{v}=\cos \alpha$. We find two different entropic MURs. The first entropic MUR in the scalar case is similar to the vector case (Theorem 3, Remark 11). The second one is (Theorem 1):

$$S({\mathsf{Q}}_{\mathit{u},\rho }\parallel {\mathsf{M}}_{1,\rho })+S({\mathsf{P}}_{\mathit{v},\rho }\parallel {\mathsf{M}}_{2,\rho })\ge c_{\rho }(\alpha ),$$

(2)

$$c_{\rho }(\alpha )=\left(\log \mathrm{e}\right)\left\{\ln \left(1+\frac{\hslash \left|\cos \alpha \right|}{2\sqrt{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}}\right)-\frac{\hslash \left|\cos \alpha \right|}{\hslash \left|\cos \alpha \right|+2\sqrt{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}}\right\},$$

for all Gaussian states $\rho$ and all Gaussian joint approximate measurements $\mathsf{M}$ of $Q_{\mathit{u}}$ and $P_{\mathit{v}}$. This lower bound holds for every Gaussian state $\rho$ without constraints on the position and momentum variances $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)$, it is strictly positive unless $\mathit{u}$ and $\mathit{v}$ are orthogonal, but it is state dependent. Again, the relative entropies and the lower bound are scale invariant.

The paper is organized as follows. In Section 2, we introduce our target position and momentum observables, we discuss their general properties and define some related quantities (spectral measures, mean vectors and variance matrices, PURs for second order quantum moments, Weyl operators, Gaussian states). Section 3 is devoted to the definitions and main properties of the relative and differential (Shannon) entropies. Section 4 is a review on the entropic PURs in the continuous case [7,8,9,46], with a particular focus on their lack of scale invariance. This is a flaw due to the very definition of differential entropy, and one of the reasons that lead us to introduce relative entropy based MURs. In Section 5 we construct the covariant observables which will be used as approximate joint measurements of the position and momentum target observables. Finally, in Section 6 the main results on MURs that we sketched above are presented in detail. Some conclusions are discussed in Section 7.

2. Target Observables and States

Let us start with the usual position and momentum operators, which satisfy the canonical commutation rules:

$$\mathit{Q}\equiv (Q_1,\dots ,Q_n),\mathit{P}\equiv (P_1,\dots ,P_n),\left[Q_i,P_j\right]=\mathrm{i}\hslash {\delta }_{ij}.$$

(3)

Each of the vector operators has n components; it could be the case of a single particle in one or more dimensions ($n=1,2,3$), or several scalar or vector particles, or the quadratures of n modes of the electromagnetic field. We assume the Hilbert space $\mathcal{H}$ to be irreducible for the algebra generated by the canonical operators $\mathit{Q}$ and $\mathit{P}$. An observable of the quantum system $\mathcal{H}$ is identified with a positive operator valued measure (POVM); in the paper, we shall consider observables with outcomes in ${\mathbb{R}}^k$ endowed with its Borel $\sigma$-algebra $\mathcal{B}({\mathbb{R}}^k).$ The use of POVMs to represent observables in quantum theory is standard and the definition can be found in many textbooks [22,23,26,47]; the alternative name “non-orthogonal resolutions of the identity” is also used [3,4,5]. Following [5,23,26,31], a sharp observable is an observable represented by a projection valued measure (pvm); it is standard to identify a sharp observable on the outcome space ${\mathbb{R}}^k$ with the k self-adjoint operators corresponding to it by spectral theorem. Two observables are jointly measurable or compatible if there exists a POVM having them as marginals. Because of the non-vanishing commutators, each couple $Q_i$, $P_i$, as well as the vectors $\mathit{Q}$, $\mathit{P}$, are not jointly measurable.

We denote by $\mathcal{T}(\mathcal{H})$ the trace class operators on $\mathcal{H}$, by $\mathcal{S}\subset \mathcal{T}(\mathcal{H})$ the subset of the statistical operators (or states, preparations), and by $\mathcal{L}(\mathcal{H})$ the space of the linear bounded operators.

2.1. Position and Momentum

Our target observables will be either n-dimensional position and momentum (vector case) or position and momentum along two different directions of ${\mathbb{R}}^n$ (scalar case). The second case allows to give an example ranging with continuity from maximally incompatible observables to compatible ones.

2.1.1. Vector Observables

As target observables we take $\mathit{Q}$ and $\mathit{P}$ as in (3) and we denote by $\mathsf{Q}(A),\mathsf{P}(B)$, $A,B\in \mathcal{B}({\mathbb{R}}^n)$, their pvm’s, that is

$$Q_i={\int }_{{\mathbb{R}}^n}{x}_i\mathsf{Q}(\mathrm{d}\mathit{x}),P_i={\int }_{{\mathbb{R}}^n}{p}_i\mathsf{P}(\mathrm{d}\mathit{p}).$$

(4)

Then, the distributions in the state $\rho \in \mathcal{S}$ of a sharp position and a sharp momentum measurements (denoted by ${\mathsf{Q}}_{\rho }$ and ${\mathsf{P}}_{\rho }$) are absolutely continuous with respect to the Lebesgue measure; we denote by $f(•|\rho )$ and $g(•|\rho )$ their probability densities: $\forall A,B\in \mathcal{B}({\mathbb{R}}^n)$,

$${\mathsf{Q}}_{\rho }(A)=\mathrm{Tr}\left\{\rho \mathsf{Q}(A)\right\}={\int }_{A}f(\mathit{x}|\rho )\mathrm{d}\mathit{x},{\mathsf{P}}_{\rho }(B)=\mathrm{Tr}\left\{\rho \mathsf{P}(B)\right\}={\int }_{B}g(\mathit{p}|\rho )\mathrm{d}\mathit{p}.$$

(5)

In the Dirac notation, if $|\mathit{x}\rangle$ and $|\mathit{p}\rangle$ are the improper position and momentum eigenvectors, these densities take the expressions $f(\mathit{x}|\rho )=\langle \mathit{x}|\rho |\mathit{x}\rangle$ and $g(\mathit{p}|\rho )=\langle \mathit{p}|\rho |\mathit{p}\rangle$, respectively. The mean vectors and the variance matrices of these distributions will be given in (7) and (8).

2.1.2. Scalar Observables

As target observables we take the position along a given direction $\mathit{u}$ and the momentum along another given direction $\mathit{v}$:

$$Q_{\mathit{u}}=\mathit{u}·\mathit{Q},P_{\mathit{v}}=\mathit{v}·\mathit{P},\mathrm{with}\mathit{u},\mathit{v}\in {\mathbb{R}}^n,\left|\mathit{u}\right|=\left|\mathit{v}\right|=1,\mathit{u}·\mathit{v}=\cos \alpha .$$

(6)

In this case we have $[Q_{\mathit{u}},P_{\mathit{v}}]=\mathrm{i}\hslash \cos \alpha$, so that $Q_{\mathit{u}}$ and $P_{\mathit{v}}$ are not jointly measurable, unless the directions $\mathit{u}$ and $\mathit{v}$ are orthogonal.

Their pvm’s are denoted by ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$, their distributions in a state $\rho$ by ${\mathsf{Q}}_{\mathit{u},\rho }$ and ${\mathsf{P}}_{\mathit{v},\rho }$, and their corresponding probability densities by $f_{\mathit{u}}(•|\rho )$ and $g_{\mathit{v}}(•|\rho )$: $\forall A,B\in \mathcal{B}(\mathbb{R})$,

$${\mathsf{Q}}_{\mathit{u},\rho }(A)=\mathrm{Tr}\{{\mathsf{Q}}_{\mathit{u}}(A)\rho \}={\int }_A{f}_{\mathit{u}}(x|\rho )\mathrm{d}x,{\mathsf{P}}_{\mathit{v},\rho }(B)=\mathrm{Tr}\{{\mathsf{P}}_{\mathit{v}}(A)\rho \}={\int }_B{g}_{\mathit{v}}(p|\rho )\mathrm{d}p.$$

Of course, the densities in the scalar case are marginals of the densities in the vector case. Means and variances will be given in (11).

2.2. Quantum Moments

Let ${\mathcal{S}}_2$ be the set of states for which the second moments of position and momentum are finite:

$${\mathcal{S}}_2:=\left\{\rho \in \mathcal{S}:{\int }_{{\mathbb{R}}^n}{\left|\mathit{x}\right|}^{2}f(\mathit{x}|\rho )\mathrm{d}\mathit{x}<+\infty ,{\int }_{{\mathbb{R}}^n}{\left|\mathit{p}\right|}^{2}g(\mathit{p}|\rho )\mathrm{d}\mathit{p}<+\infty \right\}.$$

Then, the mean vector and the variance matrix of the position $\mathit{Q}$ in the state $\rho \in {\mathcal{S}}_2$ are

$$\begin{array}{cc}\hfill a_i^{\rho }:={\int }_{{\mathbb{R}}^n}{x}_{i}f(\mathit{x}|\rho )\mathrm{d}\mathit{x}& \equiv \mathrm{Tr}\left\{\rho Q_i\right\},\hfill \\ \hfill A_{ij}^{\rho }:={\int }_{{\mathbb{R}}^n}\left(x_i-a_i^{\rho }\right)\left(x_j-a_j^{\rho }\right)f(\mathit{x}|\rho )\mathrm{d}\mathit{x}& \equiv \mathrm{Tr}\left\{\rho \left(Q_i-a_i^{\rho }\right)\left(Q_j-a_j^{\rho }\right)\right\},\hfill \end{array}$$

(7)

while for the momentum $\mathit{P}$ we have

$$\begin{array}{cc}\hfill b_i^{\rho }:={\int }_{{\mathbb{R}}^n}{p}_{i}g(\mathit{p}|\rho )\mathrm{d}\mathit{p}& \equiv \mathrm{Tr}\left\{\rho P_i\right\},\hfill \\ \hfill B_{ij}^{\rho }:={\int }_{{\mathbb{R}}^n}\left(p_i-b_i^{\rho }\right)\left(p_j-b_j^{\rho }\right)g(\mathit{p}|\rho )\mathrm{d}\mathit{p}& \equiv \mathrm{Tr}\left\{\rho \left(P_i-b_i^{\rho }\right)\left(P_j-b_j^{\rho }\right)\right\}.\hfill \end{array}$$

(8)

For $\rho \in {\mathcal{S}}_2$ it is possible to introduce also the mixed ‘quantum covariances’

$$C_{ij}^{\rho }:=\mathrm{Tr}\left\{\rho \frac{(Q_i-a_i^{\rho })(P_j-b_j^{\rho })+(P_j-b_j^{\rho })(Q_i-a_i^{\rho })}{2}\right\}.$$

(9)

Since there is no joint measurement for the position $\mathit{Q}$ and momentum $\mathit{P}$, the quantum covariances $C_{ij}^{\rho }$ are not covariances of a joint distribution, and thus they do not have a classical probabilistic interpretation.

By means of the moments above, we construct the three real $n\times n$ matrices $A^{\rho },B^{\rho },C^{\rho }$, the $2n$-dimensional vector ${\mu }^{\rho }$ and the symmetric $2n\times 2n$ matrix $V^{\rho }$, with

$${\mu }^{\rho }:=\left(\begin{array}{c}{\mathit{a}}^{\rho }\\ {\mathit{b}}^{\rho }\end{array}\right),V^{\rho }:=\left(\begin{array}{cc}{A}^{\rho }& C^{\rho }\\ {(C^{\rho })}^T& B^{\rho }\end{array}\right).$$

(10)

We say $V^{\rho }$ is the quantum variance matrix of position and momentum in the state $\rho$. In [2] dimensionless canonical operators are considered, but apart from this, our matrix $V^{\rho }$ corresponds to their “noise matrix in real form”; the name “variance matrix” is also used [44,48].

In a similar way, we can introduce all the moments related to the position $Q_{\mathit{u}}$ and momentum $P_{\mathit{v}}$ introduced in (6). For $\rho \in {\mathcal{S}}_2$, the means and variances are respectively

$$\mathit{u}·{\mathit{a}}^{\rho },\mathrm{Var}({\mathsf{Q}}_{\mathit{u},\rho })=\mathit{u}·A^{\rho }\mathit{u},\mathit{v}·{\mathit{b}}^{\rho },\mathrm{Var}({\mathsf{P}}_{\mathit{v},\rho })=\mathit{v}·B^{\rho }\mathit{v}.$$

(11)

Similarly to (9), we have also the ‘quantum covariance’ $\mathit{u}·C^{\rho }\mathit{v}\equiv \mathit{v}·{(C^{\rho })}^T\mathit{u}$. Then, we collect the two means in a single vector and we introduce the variance matrix:

$${\mu }_{\mathit{u},\mathit{v}}^{\rho }:=\left(\begin{array}{c}\mathit{u}·{\mathit{a}}^{\rho }\\ \mathit{v}·{\mathit{b}}^{\rho }\end{array}\right),V_{\mathit{u},\mathit{v}}^{\rho }:=\left(\begin{array}{cc}\mathit{u}·A^{\rho }\mathit{u}& \mathit{u}·C^{\rho }\mathit{v}\\ \mathit{u}·C^{\rho }\mathit{v}& \mathit{v}·B^{\rho }\mathit{v}\end{array}\right).$$

(12)

Proposition 1.

Let $V=\left(\begin{array}{cc}A& C\\ C^T& B\end{array}\right)$ be a real symmetric $2n\times 2n$ block matrix with the same dimensions of a quantum variance matrix. Define

$$V_{\pm }:=\left(\begin{array}{cc}A& C\pm \mathrm{i}\frac{\hslash }{2}\mathrm{𝟙}\\ C^T\mp \mathrm{i}\frac{\hslash }{2}\mathrm{𝟙}& B\end{array}\right)\equiv V\pm \frac{\mathrm{i}}{2}\mathrm{\Omega },\mathit{with}\mathrm{\Omega }:=\left(\begin{array}{cc}0& \hslash \mathrm{𝟙}\\ -\hslash \mathrm{𝟙}& 0\end{array}\right).$$

(13)

Then

$$V=V^{\rho }\mathit{for}\mathit{some}\mathit{state}\rho \in {\mathcal{S}}_2\iff V_{+}\ge 0\iff V_{-}\ge 0.$$

(14)

In this case we have: $V\ge 0$, $A>0$, $B>0$, and

$$({\mathit{u}}^{\prime }·A{\mathit{u}}^{\prime })({\mathit{v}}^{\prime }·B{\mathit{v}}^{\prime })\ge {\left({\mathit{v}}^{\prime }·C{\mathit{u}}^{\prime }\right)}^2+\frac{{\hslash }^2}{4}{\left({\mathit{v}}^{\prime }·{\mathit{u}}^{\prime }\right)}^2,\forall {\mathit{u}}^{\prime }\in {\mathbb{R}}^n,\forall {\mathit{v}}^{\prime }\in {\mathbb{R}}^n.$$

(15)

The inequalities (14) for $V_{\pm }$ tell us exactly when a (positive semi-definite) real matrix V is the quantum variance matrix of position and momentum in a state $\rho$. Moreover, they are the multidimensional version of the usual uncertainty principle expressed through the variances [2,3,5], hence they represent a form of PURs. The block matrix $\mathrm{\Omega }$ in the definition of $V_{\pm }$ is useful to compress formulae involving position and momentum; moreover, it makes simpler to compare our equations with their frequent dimensionless versions (with $\hslash =1$) in the literature [43,44].

Proof. 

Equivalences (14) are well known, see e.g., [3] (Section 1.1.5), [5] (Equation (2.20)), and [2] (Theorem 2). Then $V=\frac{1}{2}{V}_{+}+\frac{1}{2}{V}_{-}\ge 0$.

By using the real block vector $\left(\begin{array}{c}\alpha {\mathit{u}}^{\prime }\\ \beta {\mathit{v}}^{\prime }\end{array}\right)$, with arbitrary $\alpha ,\beta \in \mathbb{R}$ and given ${\mathit{u}}^{\prime },{\mathit{v}}^{\prime }\in {\mathbb{R}}^n$, the semi-positivity (14) implies

$$\left(\begin{array}{cc}{\mathit{u}}^{\prime }·A{\mathit{u}}^{\prime }& {\mathit{u}}^{\prime }·C{\mathit{v}}^{\prime }\pm \mathrm{i}\frac{\hslash }{2}{\mathit{u}}^{\prime }·{\mathit{v}}^{\prime }\\ {\mathit{v}}^{\prime }·C^T{\mathit{u}}^{\prime }\mp \mathrm{i}\frac{\hslash }{2}{\mathit{v}}^{\prime }·{\mathit{u}}^{\prime }& {\mathit{v}}^{\prime }·B{\mathit{v}}^{\prime }\end{array}\right)\ge 0,\forall {\mathit{u}}^{\prime }\in {\mathbb{R}}^n,\forall {\mathit{v}}^{\prime }\in {\mathbb{R}}^n,$$

which in turn implies $A\ge 0$, $B\ge 0$ and (15). Then, by choosing ${\mathit{u}}^{\prime }={\mathit{v}}^{\prime }={\mathit{u}}_i$, where ${\mathit{u}}_1,\dots ,{\mathit{u}}_n$ are the eigenvectors of A (since A is a real symmetric matrix, ${\mathit{u}}_i\in {\mathbb{R}}^n$ for all i), one gets the strict positivity of all the eigenvalues of A; analogously, one gets $B>0$. ☐

Inequality (15) for ${\mathit{u}}^{\prime }=\mathit{u}$ and ${\mathit{v}}^{\prime }=\mathit{v}$ becomes the uncertainty rule à la Robertson [6] for the observables in (6) (a position component and a momentum component spanning an arbitrary angle $\alpha$):

$$\mathrm{Var}({\mathsf{Q}}_{\mathit{u},\rho })\mathrm{Var}({\mathsf{P}}_{\mathit{v},\rho })\ge {\left(\mathit{v}·C^{\rho }\mathit{u}\right)}^2+\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2.$$

(16)

Inequality (16) is equivalent to

$$V_{\mathit{u},\mathit{v}}^{\rho }\pm \frac{\mathrm{i}\hslash }{2}\cos \alpha \left(\begin{array}{cc}0& 1\\ -1& 0\end{array}\right)\ge 0.$$

(17)

Since $V_{\pm }$ are block matrices, their positive semi-definiteness can be studied by means of the Schur complements [49,50,51]. However, as $V_{\pm }$ are complex block matrices with a very peculiar structure, special results hold for them. Before summarizing the properties of $V_{\pm }$ in the next proposition, we need a simple auxiliary algebraic lemma.

Lemma 1.

Let A and B be complex self-adjoint matrices such that $A\ge B\ge 0$. Then $\det A\ge \det B\ge 0$, and the equality $\det A=\det B$ holds iff $A=B$.

Proof. 

Let ${\lambda }_i^{\downarrow }(A)$ and ${\lambda }_i^{\downarrow }(B)$ be the ordered decreasing sequences of the eigenvalues of A and B, respectively. Then, by Weyl’s inequality, $A\ge B\ge 0$ implies ${\lambda }_i^{\downarrow }(A)\ge {\lambda }_i^{\downarrow }(B)\ge 0$ for every i [52] (Section III.2). This gives the first statement. Moreover, if $A\ge B\ge 0$ and $\det A=\det B$, we get ${\lambda }_i^{\downarrow }(A)={\lambda }_i^{\downarrow }(B)$ for every i. Then $A=B$ because $A-B\ge 0$ and $\mathrm{Tr}\{A-B\}=0$. ☐

Proposition 2.

Let $V=\left(\begin{array}{cc}A& C\\ C^T& B\end{array}\right)$ be a real symmetric $2n\times 2n$ matrix with the same dimensions of a quantum variance matrix. Then $V_{+}\ge 0$ (or, equivalently, $V_{-}\ge 0$) if and only if $A>0$ and

$$B\ge \left(C^T\mp \frac{\mathrm{i}\hslash }{2}\mathrm{𝟙}\right)A^{-1}\left(C\pm \frac{\mathrm{i}\hslash }{2}\mathrm{𝟙}\right)\equiv C^T{A}^{-1}C+\frac{{\hslash }^2}{4}{A}^{-1}\mp \frac{\mathrm{i}\hslash }{2}\left(A^{-1}C-C^T{A}^{-1}\right).$$

(18)

In this case we have

$$B\ge C^T{A}^{-1}C+\frac{{\hslash }^2}{4}{A}^{-1}\ge \frac{{\hslash }^2}{4}{A}^{-1}>0.$$

(19)

Moreover, we have also the following properties for the various determinants:

$$(\det A)(\det B)\ge \det V=(\det A)\det \left(B-C^T{A}^{-1}C\right)\ge {\left(\frac{\hslash }{2}\right)}^{2n},$$

(20)

$$\det V={\left(\frac{\hslash }{2}\right)}^{2n}\iff B=C^T{A}^{-1}C+\frac{{\hslash }^2}{4}{A}^{-1}\Rightarrow CA=A{C}^T,$$

(21)

$$(\det A)(\det B)={\left(\frac{\hslash }{2}\right)}^{2n}\iff B=\frac{{\hslash }^2}{4}{A}^{-1},C=0.$$

(22)

By interchanging A with B and C with $C^T$ in (18)–(22) equivalent results are obtained.

Proof. 

Since we already know that $V_{+}\ge 0$ implies the invertibility of A, the equivalence between (14) and (18) with $A>0$ follows from [49] (Theorem 1.12 p. 34) (see also [50] (Theorem 11.6) or [51] (Lemma 3.2)).

In (19), the first inequality follows by summing up the two inequalities in (18). The last two ones are immediate by the positivity of $A^{-1}$.

The equality in (20) is Schur’s formula for the determinant of block matrices ([49], Theorem 1.1 p. 19). Then, the first inequality is immediate by the lemma above and the trivial relation $B\ge B-C^T{A}^{-1}C$; the second one follows from (19):

$$B-C^T{A}^{-1}C\ge \frac{{\hslash }^2}{4}{A}^{-1}\Rightarrow \det \left(B-C^T{A}^{-1}C\right)\ge \det \left(\frac{{\hslash }^2}{4}{A}^{-1}\right)=\frac{{(\hslash /2)}^{2n}}{\det A}.$$

The equality $\det V={\left(\frac{\hslash }{2}\right)}^{2n}$ is equivalent to $\det \left(B-C^T{A}^{-1}C\right)=\det \left(\frac{{\hslash }^2}{4}{A}^{-1}\right)$; since the latter two determinants are evaluated on ordered positive matrices by (19), they coincide if and only if the respective arguments are equal (Lemma 1); this shows the equivalence in (21). Then, by (18), the self-adjoint matrix $\frac{\mathrm{i}\hslash }{2}\left(A^{-1}C-C^T{A}^{-1}\right)$ is both positive semi-definite and negative semi-definite; hence it is null, that is, $CA=A{C}^T$.

Finally, $B=\frac{{\hslash }^2}{4}{A}^{-1}$ gives $(\det A)(\det B)={\left(\frac{\hslash }{2}\right)}^{2n}$ trivially. Conversely, $(\det A)(\det B)={\left(\frac{\hslash }{2}\right)}^{2n}$ implies $\det B=\det \left(B-C^T{A}^{-1}C\right)$ by (20); since $B\ge B-C^T{A}^{-1}C\ge 0$ by (19), Lemma 1 then implies $C^T{A}^{-1}C=0$ and so $C=0$. ☐

By (18) and (19), every time three matrices $A,B,C$ define the quantum variance matrix of a state $\rho$, the same holds for $A,B,\tilde{C}=0$. This fact can be used to characterize when two positive matrices A and B are the diagonal blocks of some quantum variance matrix, or two positive numbers $c_Q$ and $c_P$ are the position and momentum variances of a quantum state along the two directions $\mathit{u}$ and $\mathit{v}$.

Proposition 3.

Two real matrices $A>0$ and $B>0$, having the dimension of the square of a length and momentum, respectively, are the diagonal blocks of a quantum variance matrix $V^{\rho }$ if and only if

$$B\ge \frac{{\hslash }^2}{4}{A}^{-1}.$$

Two real numbers $c_Q>0$ and $c_P>0$, having the dimension of the square of a length and momentum, respectively, are such that $c_Q=\mathrm{Var}({\mathsf{Q}}_{\mathit{u},\rho })$ and $c_P=\mathrm{Var}({\mathsf{P}}_{\mathit{v},\rho })$ for some state ρ if and only if

$$c_Q{c}_P\ge {\left(\frac{\hslash }{2}\cos \alpha \right)}^2.$$

Proof. 

For A and B, the necessity follows from (19). The sufficiency comes from (18) by choosing $V^{\rho }=\left(\begin{array}{cc}A& 0\\ 0& B\end{array}\right)$.

For $c_Q$ and $c_P$, the necessity follows from (15). The sufficiency comes from (18) with $V^{\rho }=\left(\begin{array}{cc}A& 0\\ 0& B\end{array}\right)$ and for example the following choices of A and B:

• if $\cos \alpha =\pm 1$, we take $A=c_Q\mathrm{𝟙}$ and $B=c_P\mathrm{𝟙}$;
• if $\cos \alpha =0$, we let

  $$\begin{array}{cc}\hfill A& =c_Q\mathit{u}{\mathit{u}}^T+\frac{{\hslash }^2}{4c_P}\mathit{v}{\mathit{v}}^T+A^{\prime }B=\frac{{\hslash }^2}{4c_Q}\mathit{u}{\mathit{u}}^T+c_P\mathit{v}{\mathit{v}}^T+B^{\prime },\hfill \end{array}$$

  where $A^{\prime }$ and $B^{\prime }$ are any two scalar multiples of the orthogonal projection onto ${\{\mathit{u},\mathit{v}\}}^{\perp }$ satisfying $B^{\prime }\ge \frac{{\hslash }^2}{4}{A}^{\prime -1}$ when restricted to ${\{\mathit{u},\mathit{v}\}}^{\perp }$;
• if $\cos \alpha \notin \{0,\pm 1\}$, we choose

  $$\begin{array}{cc}\hfill A& =c_Q\left[\mathit{u}{\mathit{u}}^T-\frac{1}{\cos \alpha }(\mathit{u}{\mathit{v}}^T+\mathit{v}{\mathit{u}}^T)+\frac{2}{{(\cos \alpha )}^2}\mathit{v}{\mathit{v}}^T\right]+A^{\prime }\hfill \\ \hfill B& =\frac{c_P}{{(\sin \alpha )}^4}\left[\frac{{(\sin \alpha )}^2+{(\cos \alpha )}^4}{{(\cos \alpha )}^2}\mathit{u}{\mathit{u}}^T-\frac{1}{\cos \alpha }(\mathit{u}{\mathit{v}}^T+\mathit{v}{\mathit{u}}^T)+\mathit{v}{\mathit{v}}^T\right]+B^{\prime },\hfill \end{array}$$

  where $A^{\prime }$ and $B^{\prime }$ are as in the previous item.

In the last two cases, we chose A and B in such a way that $B=\frac{c_Q{c}_P}{{(\cos \alpha )}^2}{A}^{-1}$ when restricted to the linear span of $\{\mathit{u},\mathit{v}\}$. ☐

2.3. Weyl Operators and Gaussian States

In the following, we shall introduce Gaussian states, Gaussian observables and covariant observables on the phase-space. In all these instances, the Weyl operators are involved; here we recall their definition and some properties (see e.g., [4] (Section 5.2) or [5] (Section 12.2), where, however, the definition differs from ours in that the Weyl operators are composed with the map ${\mathrm{\Omega }}^{-1}$ of (13)).

Definition 1.

The Weyl operators are the unitary operators defined by

$$W(\mathit{x},\mathit{p}):=\exp \left\{\frac{\mathrm{i}}{\hslash }\left(\mathit{p}·\mathit{Q}-\mathit{x}·\mathit{P}\right)\right\}=\prod _{j=1}^n{\mathrm{e}}^{\frac{\mathrm{i}}{\hslash }\left(p_j{Q}_j-x_j{P}_j\right)}=\prod _{j=1}^n\left({\mathrm{e}}^{\frac{\mathrm{i}}{\hslash }{p}_j{Q}_j}{\mathrm{e}}^{-\frac{\mathrm{i}}{\hslash }{x}_j{P}_j}{\mathrm{e}}^{-\frac{\mathrm{i}{x}_j{p}_j}{2\hslash }}\right).$$

(23)

The Weyl operators (23) satisfy the composition rule

$$W({\mathit{x}}_1,{\mathit{p}}_1)W({\mathit{x}}_2,{\mathit{p}}_2)=\exp \left\{-\frac{\mathrm{i}}{2\hslash }\left({\mathit{x}}_1·{\mathit{p}}_2-{\mathit{x}}_2·{\mathit{p}}_1\right)\right\}W({\mathit{x}}_1+{\mathit{x}}_2,{\mathit{p}}_1+{\mathit{p}}_2);$$

in particular, this implies the commutation relation

$$W({\mathit{x}}_1,{\mathit{p}}_1)W({\mathit{x}}_2,{\mathit{p}}_2)=\exp \left\{-\mathrm{i}\left(\begin{array}{cc}{\mathit{x}}_1^T& {\mathit{p}}_1^T\end{array}\right){\mathrm{\Omega }}^{-1}\left(\begin{array}{c}{\mathit{x}}_2\\ {\mathit{p}}_2\end{array}\right)\right\}W({\mathit{x}}_2,{\mathit{p}}_2)W({\mathit{x}}_1,{\mathit{p}}_1).$$

(24)

These commutation relations imply the translation property

$${W(\mathit{x},\mathit{p})}^{*}{Q}_{i}W(\mathit{x},\mathit{p})=Q_i+x_i,{W(\mathit{x},\mathit{p})}^{*}{P}_{i}W(\mathit{x},\mathit{p})=P_i+p_i,i=1,\dots ,n;$$

(25)

due to this property, the Weyl operators are also known as displacement operators.

With a slight abuse of notation, we shall sometimes use the identification

$$W(\mathit{x},\mathit{p})\equiv W\left(\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right),$$

(26)

where $\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)$ is a block column vector belonging to the phase-space ${\mathbb{R}}^n\times {\mathbb{R}}^n\equiv {\mathbb{R}}^{2n}$; here, the first block $\mathit{x}$ is a position and the second block $\mathit{p}$ is a momentum.

By means of the Weyl operators, it is possible to define the characteristic function of any trace-class operator.

Definition 2.

For any operator $\rho \in \mathcal{T}(\mathcal{H})$, its characteristic function is the complex valued function $\widehat{\rho }:{\mathbb{R}}^{2n}\to \mathbb{C}$ defined by

$$\widehat{\rho }(w):=\mathrm{Tr}\left\{\rho W(-\mathrm{\Omega }w)\right\},w\equiv \left(\begin{array}{c}\mathit{k}\\ \mathit{l}\end{array}\right).$$

(27)

Note that $\mathit{k}$ is the inverse of a length and $\mathit{l}$ is the inverse of a momentum, so that w is a block vector living in the space ${\mathbb{R}}^{2n}\equiv {\mathbb{R}}^n\times {\mathbb{R}}^n$ regarded as the dual of the phase-space.

Instead of the characteristic function, sometimes the so called Weyl transform $\mathrm{Tr}\left\{W(\mathit{x},\mathit{p})\rho \right\}$ is introduced [4,44].

By [4] (Proposition 5.3.2, Theorem 5.3.3), we have $\widehat{\rho }(w)\in L^2({\mathbb{R}}^{2n})$ and the following trace formula holds: $\forall \rho ,\sigma \in \mathcal{T}(\mathcal{H})$,

$$\mathrm{Tr}\{{\sigma }^{*}\rho \}={\left(\frac{\hslash }{2\pi }\right)}^n{\int }_{{\mathbb{R}}^{2n}}\overline{\widehat{\sigma }(w)}\widehat{\rho }(w)\mathrm{d}w.$$

(28)

As a corollary [4] (Corollary 5.3.4), we have that a state $\rho \in \mathcal{S}$ is pure if and only if

$${\left(\frac{\hslash }{2\pi }\right)}^n{\int }_{{\mathbb{R}}^{2n}}{\left|\widehat{\rho }(w)\right|}^2\mathrm{d}w=1.$$

By [53] (Lemma 3.1) or [26] (Proposition 8.5.(e)), the trace formula also implies

$$\frac{1}{{(2\pi \hslash )}^n}{\int }_{{\mathbb{R}}^{2n}}W(\mathit{x},\mathit{p})\rho {W(\mathit{x},\mathit{p})}^{*}\mathrm{d}\mathit{x}\mathrm{d}\mathit{p}=\mathrm{Tr}\{\rho \}\mathrm{𝟙},\forall \rho \in \mathcal{T}(\mathcal{H}).$$

(29)

Moreover, the following inversion formula ensures that the characteristic function $\widehat{\rho }$ completely characterizes the state $\rho$ [4] (Corollary 5.3.5):

$$\rho ={\left(\frac{\hslash }{2\pi }\right)}^n{\int }_{{\mathbb{R}}^{2n}}W(\mathrm{\Omega }w)\widehat{\rho }(w)\mathrm{d}w,\forall \rho \in \mathcal{T}(\mathcal{H}).$$

The last two integrals are defined in the weak operator topology.

Finally, for $\rho \in {\mathcal{S}}_2$, the moments (7)–(10) can be expressed as in [4] (Section 5.4):

$$-\mathrm{i}\frac{\partial \widehat{\rho }(w)}{\partial w_i}{|}_0={\mu }_i^{\rho },-\frac{{\partial }^2\widehat{\rho }(w)}{\partial w_i\partial w_j}{|}_0=V_{ij}^{\rho }+{\mu }_i^{\rho }{\mu }_j^{\rho }.$$

(30)

Definition 3 

([2,3,4,5,44,48]). A state ρ is Gaussian if

$$\begin{array}{cc}\hfill \widehat{\rho }(w)& =\exp \left\{\mathrm{i}{w}^T{\mu }^{\rho }-\frac{1}{2}{w}^T{V}^{\rho }w\right\}\hfill \\ \hfill & =\exp \left\{\mathrm{i}\left(\mathit{k}·{\mathit{a}}^{\rho }+\mathit{l}·{\mathit{b}}^{\rho }\right)-\frac{1}{2}\left(\mathit{k}·A^{\rho }\mathit{k}+\mathit{l}·B^{\rho }\mathit{l}\right)-\mathit{k}·C^{\rho }\mathit{l}\right\},\hfill \end{array}$$

(31)

for a vector ${\mu }^{\rho }\in {\mathbb{R}}^{2n}$ and a real $2n\times 2n$ matrix $V^{\rho }$ such that $V_{+}^{\rho }\ge 0$.

The condition $V_{+}^{\rho }\ge 0$ is necessary and sufficient in order that the function (31) defines the characteristic function of a quantum state [4] (Theorem 5.5.1), [5] (Theorem 12.17). Therefore, Gaussian states are exactly the states whose characteristic function is the exponential of a second order polynomial [4] (Equation (5.5.49)), [5] (Equation (12.80)).

We shall denote by $\mathcal{G}$ the set of the Gaussian states; we have $\mathcal{G}\subset {\mathcal{S}}_2\subset \mathcal{S}$. By (30), the vectors ${\mathit{a}}^{\rho }$, ${\mathit{b}}^{\rho }$ and the matrices $A^{\rho }$, $B^{\rho }$, $C^{\rho }$ characterizing a Gaussian state $\rho$ are just its first and second order quantum moments introduced in (7)–(9). By (31), the corresponding distributions of position and momentum are Gaussian, namely

$${\mathsf{Q}}_{\rho }=\mathcal{N}({\mathit{a}}^{\rho };A^{\rho }),{\mathsf{Q}}_{\mathit{u},\rho }=\mathcal{N}(\mathit{u}·{\mathit{a}}^{\rho };\mathit{u}·A^{\rho }\mathit{u}),{\mathsf{P}}_{\rho }=\mathcal{N}({\mathit{b}}^{\rho };B^{\rho }),{\mathsf{P}}_{\mathit{v},\rho }=\mathcal{N}(\mathit{v}·{\mathit{b}}^{\rho };\mathit{v}·B^{\rho }\mathit{v}).$$

(32)

Proposition 4 (Pure Gaussian states).

For $\rho \in \mathcal{G}$, we have $\det V^{\rho }={\left(\frac{\hslash }{2}\right)}^{2n}$ if and only if ρ is pure.

Proof. 

The trace formula (28) and (31) give $\mathrm{Tr}\{{\rho }^2\}=\frac{{(\hslash /2)}^n}{\sqrt{\det V^{\rho }}}$, and this implies the statement. ☐

Proposition 5 (Minimum uncertainty states).

For $\rho \in {\mathcal{S}}_2$, we have $(\det A^{\rho })(\det B^{\rho })={\left(\frac{\hslash }{2}\right)}^{2n}$ if and only if ρ is a pure Gaussian state and it factorizes into the product of minimum uncertainty states up to a rotation of ${\mathbb{R}}^n$.

Proof. 

If $(\det A^{\rho })(\det B^{\rho })={\left(\frac{\hslash }{2}\right)}^{2n}$, then the equivalence (22) gives $B^{\rho }=\frac{{\hslash }^2}{4}{(A^{\rho })}^{-1}$, so that the variance matrices $A^{\rho }$ and $B^{\rho }$ have a common eigenbasis ${\mathit{u}}_1,\dots ,{\mathit{u}}_n$. Thus, all the corresponding couples of position ${\mathsf{Q}}_{{\mathit{u}}_i}$ and momentum ${\mathsf{P}}_{{\mathit{u}}_i}$ have minimum uncertainties: $\mathrm{Var}({\mathsf{Q}}_{{\mathit{u}}_i})\mathrm{Var}({\mathsf{P}}_{{\mathit{u}}_i})=\frac{{\hslash }^2}{4}$. Therefore, if we consider the factorization of the Hilbert space $\mathcal{H}={\mathcal{H}}_1\otimes \cdots \otimes {\mathcal{H}}_n$ corresponding to the basis ${\mathit{u}}_1,\dots ,{\mathit{u}}_n$, all the partial traces of the state $\rho$ on each factor ${\mathcal{H}}_i$ are minimum uncertainty states. Since for $n=1$ the minimum uncertainty states are pure and Gaussian, the state $\rho$ is a pure product Gaussian state.

The converse is immediate. ☐

3. Relative and Differential Entropies

In this paper, we will be concerned with entropic quantities of classical type [54,55,56]. We express them in ‘bits’, that is we use the base-2 logarithms: $\log a\equiv {\log }_{2}a$.

We deal only with probabilities on the measurable space $\left({\mathbb{R}}^n,\mathcal{B}({\mathbb{R}}^n)\right)$ which admit densities with respect to the Lebesgue measure. So, we define the relative entropy and differential entropy only for such probabilities; moreover, we list only the general properties used in the following.

3.1. Relative Entropy or Kullback-Leibler Divergence

The fundamental quantity is the relative entropy, also called information divergence, discrimination information, Kullback-Leibler divergence or information or distance or discrepancy. The relative entropy of a probability p with respect to a probability q is defined for any couple of probabilities p, q on the same probability space.

Given two probabilities p and q on $({\mathbb{R}}^n,\mathcal{B}({\mathbb{R}}^n))$ with densities f and g, respectively, the relative entropy of p with respect to q is

$$S(p\parallel q)={\int }_{{\mathbb{R}}^n}f(\mathit{x})\log \frac{f(\mathit{x})}{g(\mathit{x})}\mathrm{d}\mathit{x}.$$

(33)

The value $+\infty$ is allowed for $S(p\parallel q)$; the usual convention $0\log (0/0)=0$ is understood. The relative entropy (33) is the amount of information that is lost when q is used to approximate p [54] (p. 51). Of course, if $\mathit{x}$ is dimensioned, then the densities f and g have the same dimension (that is, the inverse of $\mathit{x}$), and the argument of the logarithm is dimensionless, as it must be.

Proposition 6 

([56], Theorem 8.6.1). The following properties hold.

(i) 

$S(p\parallel q)\ge 0$.

(ii) 

$S(p\parallel q)=0\iff p=q\iff f=g\mathrm{a}.\mathrm{e}.$.

(iii) 

$S(p\parallel q)$ is invariant under a change of the unit of measurement.

(iv) 

If $p=\mathcal{N}(\mathit{a};A)$ and $q=\mathcal{N}(\mathit{b};B)$ with invertible variance matrices A and B, then

$$2S(p\parallel q)=(\log \mathrm{e})\left\{\left(\mathit{a}-\mathit{b}\right)·B^{-1}\left(\mathit{a}-\mathit{b}\right)+\mathrm{Tr}\left\{B^{-1}A-\mathrm{𝟙}\right\}\right\}+\log \frac{\det B}{\det A}.$$

(34)

As $S(p\parallel q)$ is scale invariant, it quantifies a relative error for the use of q as an approximation of p, not an absolute one.

Let us employ the relative entropy to evaluate the effect of an additive Gaussian noise $\nu \sim \mathcal{N}(b;{\beta }^2)$ on an independent Gaussian random variable X. If $X\sim \mathcal{N}(a;{\alpha }^2)$, then $X+\nu \sim \mathcal{N}(a+b;{\alpha }^2+{\beta }^2)$, and the relative entropy of the true distribution of X with respect to its disturbed version $X+\nu$ is

$$S(X\parallel X+\nu )=\frac{\log \mathrm{e}}{2}\frac{b^2-{\beta }^2}{{\alpha }^2+{\beta }^2}+\frac{1}{2}\log \frac{{\alpha }^2+{\beta }^2}{{\alpha }^2}.$$

This expression vanishes if the noise becomes negligible with respect to the true distribution, that is if ${\beta }^2/{\alpha }^2\to 0$ and $b^2/{\alpha }^2\to 0$. On the other hand, $S(X\parallel X+\nu )$ diverges if the noise becomes too strong with respect to the true distribution, or, in other words, if the true distribution becomes too peaked with respect to the noise, that is, ${\beta }^2/{\alpha }^2\to +\infty$ or $b^2/{\alpha }^2\to +\infty$.

3.2. Differential Entropy

The differential entropy of an absolutely continuous random vector $\mathit{X}$ with a probability density f is

$$H(\mathit{X}):=-{\int }_{{\mathbb{R}}^n}f(\mathit{x})\log f(\mathit{x})\mathrm{d}\mathit{x}.$$

This quantity is commonly used in the literature, even if it lacks many of the nice properties of the Shannon entropy for discrete random variables. For example, $H(\mathit{X})$ is not scale invariant, and it can be negative [56] (p. 244).

Since the density f enters in the logarithm argument, the definition of $H(\mathit{X})$ is meaningful only when f is dimensionless, which is the same as $\mathit{X}$ being dimensionless. Note that, if $\mathit{X}$ is dimensioned and $c>0$ is a real parameter making $\tilde{\mathit{X}}=c\mathit{X}$ a dimensionless random variable, then

$$H(\tilde{\mathit{X}})=-{\int }_{{\mathbb{R}}^n}\frac{f(\mathit{u}/c)}{c^n}\log \frac{f(\mathit{u}/c)}{c^n}\mathrm{d}\mathit{u}=-{\int }_{{\mathbb{R}}^n}f(\mathit{x})\log \frac{f(\mathit{x})}{c^n}\mathrm{d}\mathit{x}.$$

In the following, we shall consider the differential entropy only for dimensionless random vectors $\mathit{X}$.

Proposition 7 

([56], Section 8.6). The following properties hold.

(i) 

If $\mathit{X}$ is an absolutely continuous random vector with variance matrix A, then

$$H(\mathit{X})\le \frac{1}{2}\log \left({(2\pi \mathrm{e})}^n\det A\right)=\frac{n}{2}\log \left(2\pi \mathrm{e}\right)+\frac{1}{2}\mathrm{Tr}\log A.$$

The equality holds iff $\mathit{X}$ is Gaussian with variance matrix A and arbitrary mean vector $\mathit{a}$.

(ii) 

If $\mathit{X}=(X_1,\dots ,X_n)$ is an absolutely continuous random vector, then

$$H(\mathit{X})\le \sum _{i=1}^{n}H(X_i).$$

The equality holds iff the components $X_1,\dots ,X_n$ are independent.

Remark 1.

In property (i) we have used the following well-known matrix identity, which follows by diagonalization:

$$\log \det A=\mathrm{Tr}\log A,\forall A>0.$$

Remark 2.

Property (i) yields that the differential entropy of a Gaussian random variable $X\sim \mathcal{N}(a;{\alpha }^2)$ is

$$H(X)=\frac{1}{2}\log \left(2\pi \mathrm{e}{\alpha }^2\right),$$

which is an increasing function of the variance ${\alpha }^2$, and thus it is a measure of the uncertainty of X. Note that $H(X)\ge 0$ iff ${\displaystyle {\alpha }^2\ge 1/(2\pi \mathrm{e})}$.

4. Entropic PURs for Position and Momentum

The idea of having an entropic formulation of the PURs for position and momentum goes back to [7,8,9]. However, we have just seen that, due to the presence of the logarithm, the Shannon differential entropy needs dimensionless probability densities. So, this leads us to introduce dimensionless versions of position and momentum.

Let $\lambda >0$ be a dimensionless parameter and $\varkappa$ a second parameter with the dimension of a mass times a frequency. Then, we introduce the dimensionless versions of position and momentum:

$$\tilde{\mathit{Q}}:=\sqrt{\frac{\varkappa }{\hslash }}\mathit{Q},\tilde{\mathit{P}}=\frac{\lambda }{\sqrt{\hslash \varkappa }}\mathit{P}\Rightarrow \left[{\tilde{Q}}_i,{\tilde{P}}_j\right]=\mathrm{i}\lambda {\delta }_{ij}.$$

(35)

We use a unique dimensional constant $\varkappa$, in order to respect rotation symmetry and do not distinguish different particles. Anyway, there is no natural link between the parameter multiplying $\mathit{Q}$ and the parameter multiplying $\mathit{P}$; this is the reason for introducing $\lambda$. As we see from the commutation rules, the constant $\lambda$ plays the role of a dimensionless version of ℏ; in the literature on PURs, often $\lambda =1$ is used [8,9,12,46].

4.1. Vector Observables

Let $\tilde{\mathsf{Q}}$ and $\tilde{\mathsf{P}}$ be the pvm’s of $\tilde{\mathit{Q}}$ and $\tilde{\mathit{P}}$; then, ${\tilde{\mathsf{Q}}}_{\rho }$ and ${\tilde{\mathsf{P}}}_{\rho }$ are their probability distributions in the state $\rho$. The total preparation uncertainty is quantified by the sum of the two differential entropies $H({\tilde{\mathsf{Q}}}_{\rho })+H({\tilde{\mathsf{P}}}_{\rho })$. For $\rho \in \mathcal{G}$, by Proposition 7 we get

$$H({\tilde{\mathsf{Q}}}_{\rho })+H({\tilde{\mathsf{P}}}_{\rho })=n\log \left(\pi \mathrm{e}\lambda \right)+\frac{1}{2}\log \left[{\left(\frac{4}{{\hslash }^2}\right)}^n\left(\det A^{\rho }\right)\left(\det B^{\rho }\right)\right].$$

(36)

In the case of product states of minimum uncertainty, we have $\left(\det A^{\rho }\right)\left(\det B^{\rho }\right)={\left({\hslash }^2/4\right)}^n$; then, by taking (20) into account, we get

$$\underset{\rho \in \mathcal{G}}{\inf }\left\{H({\tilde{\mathsf{Q}}}_{\rho })+H({\tilde{\mathsf{P}}}_{\rho })\right\}=n\log \left(\pi \mathrm{e}\lambda \right).$$

(37)

Thus, the bound (37) arises from quantum relations between $\mathit{Q}$ and $\mathit{P}$; indeed, there would be no lower bound for (36) if we could take both $\det A^{\rho }$ and $\det B^{\rho }$ arbitrarily small.

By item (ii) of Proposition 7, the differential entropy for the distribution of a random vector is smaller than the sum of the entropies of its marginals; however, the final bound (37) is a tight bound for both $H({\tilde{\mathsf{Q}}}_{\rho })+H({\tilde{\mathsf{P}}}_{\rho })$ and ${\sum }_{i=1}^{n}H({\tilde{\mathsf{Q}}}_{i,\rho })+{\sum }_{i=1}^{n}H({\tilde{\mathsf{P}}}_{i,\rho })$.

By the results of [8,9], the same bound (37) is obtained even if the minimization is done over all the states, not only the Gaussian ones.

The uncertainty result (37) depends on $\lambda$, this being a consequence of the lack of scale invariance of the differential entropy; note that the bound is positive if and only if $\lambda >1/(\pi \mathrm{e})$. Sometimes in the literature the parameter ℏ appears in the argument of the logarithm [27,30]; this fact has to be interpreted as the appearance of a parameter with the numerical value of ℏ, but without dimensions. In this sense the formulation (37) is consistent with both the cases with $\lambda =1$ or $\lambda =\hslash$. Sometimes the smaller bound $\ln 2\pi$ appears in place of $\log \pi \mathrm{e}$ [10]; this is connected to a state dependent formulation of the entropic PUR [12] (Section V.B).

4.2. Scalar Observables

The dimensionless versions of the scalar observables introduced in (6) are

$${\tilde{Q}}_{\mathit{u}}=\sqrt{\frac{\varkappa }{\hslash }}{Q}_{\mathit{u}},{\tilde{P}}_{\mathit{v}}=\frac{\lambda }{\sqrt{\hslash \varkappa }}{P}_{\mathit{v}}\Rightarrow \left[{\tilde{Q}}_{\mathit{u}},{\tilde{P}}_{\mathit{v}}\right]=\mathrm{i}\lambda \cos \alpha .$$

(38)

We denote by ${\tilde{\mathsf{Q}}}_{\mathit{u},\rho }$ and ${\tilde{\mathsf{P}}}_{\mathit{v},\rho }$ the associated distributions in the state $\rho$. For $\rho \in {\mathcal{S}}_2$, the respective means and variances are

$$\sqrt{\frac{\varkappa }{\hslash }}\mathit{u}·{\mathit{a}}^{\rho },\frac{\lambda }{\sqrt{\hslash \varkappa }}\mathit{v}·{\mathit{b}}^{\rho },\mathrm{Var}({\tilde{\mathsf{Q}}}_{\mathit{u},\rho })=\frac{\varkappa }{\hslash }\mathit{u}·A^{\rho }\mathit{u},\mathrm{Var}({\tilde{\mathsf{P}}}_{\mathit{v},\rho })=\frac{{\lambda }^2}{\hslash \varkappa }\mathit{v}·B^{\rho }\mathit{v},$$

with $\sqrt{\mathrm{Var}({\tilde{\mathsf{Q}}}_{\mathit{u},\rho })\mathrm{Var}({\tilde{\mathsf{P}}}_{\mathit{v},\rho })}\ge \lambda \left|\cos \alpha \right|/2$.

As in the vector case, the total preparation uncertainty is quantified by the sum of the two differential entropies $H({\tilde{\mathsf{Q}}}_{\mathit{u},\rho })+H({\tilde{\mathsf{P}}}_{\mathit{v},\rho })$. For $\rho \in \mathcal{G}$, Proposition 7 gives

$$H({\tilde{\mathsf{Q}}}_{\mathit{u},\rho })+H({\tilde{\mathsf{P}}}_{\mathit{v},\rho })=\log \left(2\pi \mathrm{e}\sqrt{\mathrm{Var}({\tilde{\mathsf{Q}}}_{\mathit{u},\rho })\mathrm{Var}({\tilde{\mathsf{P}}}_{\mathit{v},\rho })}\right).$$

(39)

Then, we have the lower bound

$$\underset{\rho \in \mathcal{G}}{\inf }\left\{H({\tilde{\mathsf{Q}}}_{\mathit{u},\rho })+H({\tilde{\mathsf{P}}}_{\mathit{v},\rho })\right\}=\log \left(\pi \mathrm{e}\lambda \left|\cos \alpha \right|\right)=\frac{1+\ln \left(\pi \left|\lambda \cos \alpha \right|\right)}{\ln 2},$$

(40)

which depends on $\lambda$, but not on $\varkappa$. Of course, because of (39), for Gaussian states a lower bound for the sum $H({\tilde{\mathsf{Q}}}_{\mathit{u},\rho })+H({\tilde{\mathsf{P}}}_{\mathit{v},\rho })$ is equivalent to a lower bound for the product $\mathrm{Var}({\tilde{\mathsf{Q}}}_{\mathit{u},\rho })\mathrm{Var}({\tilde{\mathsf{P}}}_{\mathit{v},\rho })$. By the generalization of the results of [8,9] given in [46], the bound (40) is obtained also when the minimization is done over all the states.

Let us note that the bound in (40) is positive for $\left|\lambda \cos \alpha \right|>1/(\pi \mathrm{e})$, and it goes to $-\infty$ for $\alpha \to \pi /2$, which is the case of compatible ${\mathsf{Q}}_{\mathit{u},\rho }$ and ${\mathsf{P}}_{\mathit{v},\rho }$. In the case $\alpha =0$, the bound (40) is the same as (37) for $n=1$.

5. Approximate Joint Measurements of Position and Momentum

In order to deal with MURs for position and momentum observables, we have to introduce the class of approximate joint measurements of position and momentum, whose marginals we will compare with the respective sharp observables. As done in [3,4,18,57], it is natural to characterize such a class by requiring suitable properties of covariance under the group of space translations and velocity boosts: namely, by approximate joint measurement of position and momentum we will mean any POVM on the product space of the position and momentum outcomes sharing the same covariance properties of the two target sharp observables. As we have already discussed, two approximation problems will be of our concern: the approximation of the position and momentum vectors (vector case, with outcomes in the phase-space ${\mathbb{R}}^n\times {\mathbb{R}}^n$), and the approximation of one position and one momentum component along two arbitrary directions (scalar case, with oucomes in $\mathbb{R}\times \mathbb{R}$). In order to treat the two cases altogether, we consider POVMs with outcomes in ${\mathbb{R}}^m\times {\mathbb{R}}^m\equiv {\mathbb{R}}^{2m}$, which we call bi-observables; they correspond to a measurement of m position components and m momentum components. The specific covariance requirements will be given in the Definitions 5–7.

In studying the properties of probability measures on ${\mathbb{R}}^k$, a very useful notion is that of the characteristic function, that is, the Fourier cotransform of the measure at hand; the analogous quantity for POVMs turns out to have the same relevance. Different names have been used in the literature to refer to the characteristic function of POVMs, or, more generally, quantum instruments, such as characteristic operator or operator characteristic function [3,24,34,44,58,59,60,61,62]. As a variant, also the symplectic Fourier transform quite often appears [5] (Section 12.4.3). The characteristic function has been used, for instance, to study the quantum analogues of the infinite-divisible distributions [3,34,58,59,60,62] and measurements of Gaussian type [5,44,61]. Here, we are interested only in the latter application, as our approximating bi-observables will typically be Gaussian. Since we deal with bi-observables, we limit our definition of the characteristic function only to POVMs on ${\mathbb{R}}^m\times {\mathbb{R}}^m$, which have the same number of variables of position and momentum type.

Being measures, POVMs can be used to construct integrals, whose theory is presented e.g., in [26] (Section 4.8) and [4] (Section 2.9, Proposition 2.9.1).

Definition 4.

Given a bi-observable $\mathsf{M}:\mathcal{B}({\mathbb{R}}^{2m})\to \mathcal{L}(\mathcal{H})$, the characteristic function of $\mathsf{M}$ is the operator valued function $\widehat{\mathsf{M}}:{\mathbb{R}}^{2m}\to \mathcal{L}(\mathcal{H})$, with

$$\widehat{\mathsf{M}}(\mathit{k},\mathit{l})={\int }_{{\mathbb{R}}^{2m}}{\mathrm{e}}^{\mathrm{i}(\mathit{k}·\mathit{x}+\mathit{l}·\mathit{p})}\mathsf{M}(\mathrm{d}\mathit{x}\mathrm{d}\mathit{p}).$$

(41)

In this definition the dimensions of the vector variables $\mathit{k}$ and $\mathit{l}$ are the inverses of a length and momentum, respectively, as in the definition of the characteristic function of a state (27). This definition is given so that $\mathrm{Tr}\left\{\widehat{\mathsf{M}}(\mathit{k},\mathit{l})\rho \right\}$ is the usual characteristic function of the probability distribution ${\mathsf{M}}_{\rho }$ on ${\mathbb{R}}^{2m}$.

5.1. Covariant Vector Observables

In terms of the pvm’s (4), the translation property (25) is equivalent to the symmetry properties

$$W(\mathit{x},\mathit{p})\mathsf{Q}(A){W(\mathit{x},\mathit{p})}^{*}=\mathsf{Q}(A+\mathit{x}),W(\mathit{x},\mathit{p})\mathsf{P}(B){W(\mathit{x},\mathit{p})}^{*}=\mathsf{P}(B+\mathit{p}),\forall A,B\in \mathcal{B}({\mathbb{R}}^n),$$

and they are taken as the transformation property defining the following class of POVMs on ${\mathbb{R}}^{2n}$ [23,26,44,53,57].

Definition 5.

A covariant phase-space observable is a bi-observable $\mathsf{M}:\mathcal{B}({\mathbb{R}}^{2n})\to \mathcal{L}(\mathcal{H})$ satisfying the covariance relation

$$W(\mathit{x},\mathit{p})\mathsf{M}(Z){W(\mathit{x},\mathit{p})}^{*}=\mathsf{M}\left(Z+\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right),\forall Z\in \mathcal{B}({\mathbb{R}}^{2n}),\forall \mathit{x},\mathit{p}\in {\mathbb{R}}^n.$$

We denote by $\mathcal{C}$ the set of all the covariant phase-space observables.

The interpretation of covariant phase-space observables as approximate joint measurements of position and momentum is based on the fact that their marginal POVMs

$${\mathsf{M}}_1(A)=\mathsf{M}(A\times {\mathbb{R}}^n),{\mathsf{M}}_2(B)=\mathsf{M}({\mathbb{R}}^n\times B),A,B\in \mathcal{B}({\mathbb{R}}^n),$$

have the same symmetry properties of $\mathsf{Q}$ and $\mathsf{P}$, respectively. Although $\mathsf{Q}$ and $\mathsf{P}$ are not jointly measurable, the following well-known result says that there are plenty of covariant phase-space observables [4] (Theorem 4.8.3), [63,64]. In (43) below, we use the parity operator $\Pi$ on $\mathcal{H}$, which is such that

$$\Pi W(\mathit{x},\mathit{p})\Pi =W(-\mathit{x},-\mathit{p})={W(\mathit{x},\mathit{p})}^{*}.$$

(42)

Proposition 8.

The covariant phase-space observables are in one-to-one correspondence with the states on $\mathcal{H}$, so that we have the identification $\mathcal{S}\sim \mathcal{C}$; such a correspondence $\sigma \leftrightarrow {\mathsf{M}}^{\sigma }$ is given by

$$\begin{array}{cc}\hfill {\mathsf{M}}^{\sigma }(B)& ={\int }_B{M}^{\sigma }(\mathit{x},\mathit{p})\mathrm{d}\mathit{x}\mathrm{d}\mathit{p},\forall B\in \mathcal{B}({\mathbb{R}}^{2n}),\hfill \\ \hfill M^{\sigma }(\mathit{x},\mathit{p})& =\frac{1}{{\left(2\pi \hslash \right)}^n}W(\mathit{x},\mathit{p})\Pi \sigma \Pi {W(\mathit{x},\mathit{p})}^{*}.\hfill \end{array}$$

(43)

The characteristic function (41) of a measurement ${\mathsf{M}}^{\sigma }\in \mathcal{C}$ has a very simple structure in terms of the characteristic function (27) of the corresponding state $\sigma \in \mathcal{S}$.

Proposition 9.

The characteristic function of ${\mathsf{M}}^{\sigma }\in \mathcal{C}$ is given by

$${\widehat{\mathsf{M}}}^{\sigma }(\mathit{k},\mathit{l})=W\left(-\mathrm{\Omega }w\right)\widehat{\sigma }(w),w\equiv \left(\begin{array}{c}\mathit{k}\\ \mathit{l}\end{array}\right)\in {\mathbb{R}}^{2n},$$

(44)

and the characteristic function of the probability ${\mathsf{M}}_{\rho }^{\sigma }$ is

$$\mathrm{Tr}\left\{{\widehat{\mathsf{M}}}^{\sigma }(\mathit{k},\mathit{l})\rho \right\}=\widehat{\rho }(w)\widehat{\sigma }(w).$$

(45)

In (44) we have used the identification (26). The characteristic function of a state is introduced in (27).

Proof. 

By the commutation relations (24) we have

$$W(-\hslash \mathit{l},\hslash \mathit{k})W(\mathit{x},\mathit{p}){W(-\hslash \mathit{l},\hslash \mathit{k})}^{*}={\mathrm{e}}^{i(\mathit{k}·\mathit{x}+\mathit{l}·\mathit{p})}W(\mathit{x},\mathit{p}).$$

Then, we get

$$\begin{array}{cc}\hfill {\widehat{\mathsf{M}}}^{\sigma }(\mathit{k},\mathit{l})& =\frac{1}{{(2\pi \hslash )}^n}{\int }_{{\mathbb{R}}^{2n}}{\mathrm{e}}^{i(\mathit{k}·\mathit{x}+\mathit{l}·\mathit{p})}W(\mathit{x},\mathit{p})\Pi \sigma \Pi {W(\mathit{x},\mathit{p})}^{*}\mathrm{d}\mathit{x}\mathrm{d}\mathit{p}\hfill \\ \hfill & =\frac{1}{{(2\pi \hslash )}^n}{\int }_{{\mathbb{R}}^{2n}}W(-\hslash \mathit{l},\hslash \mathit{k})W(\mathit{x},\mathit{p}){W(-\hslash \mathit{l},\hslash \mathit{k})}^{*}\Pi \sigma \Pi {W(\mathit{x},\mathit{p})}^{*}\mathrm{d}\mathit{x}\mathrm{d}\mathit{p}\hfill \\ \hfill & =W(-\hslash \mathit{l},\hslash \mathit{k})\mathrm{Tr}\{{W(-\hslash \mathit{l},\hslash \mathit{k})}^{*}\Pi \sigma \Pi \},\hfill \end{array}$$

where we used the formula (29). By (42) and the definition (27), we get (44). Again by (27), we get (45). ☐

In terms of probability densities, measuring ${\mathsf{M}}^{\sigma }$ on the state $\rho$ yields the density function $h^{\sigma }(\mathit{x},\mathit{p}|\rho )=\mathrm{Tr}\{M^{\sigma }(\mathit{x},\mathit{p})\rho \}$. Then, by (45), the densities of the marginals ${\mathsf{M}}_{1,\rho }^{\sigma }$ and ${\mathsf{M}}_{2\rho }^{\sigma }$ are the convolutions

$$h_1^{\sigma }(•|\rho )=f(•|\rho )*f(•|\sigma ),h_2^{\sigma }(•|\rho )=g(•|\rho )*g(•|\sigma ),$$

(46)

where f and g are the sharp densities introduced in (5). By the arbitrariness of the state $\rho$, the marginal POVMs of ${\mathsf{M}}^{\sigma }$ turn out to be the convolutions (or ‘smearings’)

$${\mathsf{M}}_1^{\sigma }(A){\int }_A\mathrm{d}\mathit{x}{\int }_{{\mathbb{R}}^n}f(\mathit{x}-{\mathit{x}}^{\prime }|\sigma )\mathsf{Q}(\mathrm{d}{\mathit{x}}^{\prime }),{\mathsf{M}}_2^{\sigma }(B){\int }_B\mathrm{d}\mathit{p}{\int }_{{\mathbb{R}}^n}g(\mathit{p}-{\mathit{p}}^{\prime }|\sigma )\mathsf{P}(\mathrm{d}{\mathit{p}}^{\prime })$$

(see e.g., [23] (Section III, Equations (2.48) and (2.49))).

Let us remark that the distribution of the approximate position observable ${\mathsf{M}}_1^{\sigma }$ in a state $\rho$ is the distribution of the sum of two independent random vectors: the first one is distributed as the sharp position $\mathsf{Q}$ in the state $\rho$, the second one is distributed as the sharp position $\mathsf{Q}$ in the state $\sigma$. In this sense, the approximate position ${\mathsf{M}}_1^{\sigma }$ looks like a sharp position plus an independent noise given by $\sigma$. Of course, a similar fact holds for the momentum. However, this statement about the distributions can not be extended to a statement involving the observables. Indeed, since $\mathsf{Q}$ and $\mathsf{P}$ are incompatible, nobody can jointly observe ${\mathsf{M}}^{\sigma }$, $\mathsf{Q}$ and $\mathsf{P}$, so that the convolutions (46) do not correspond to sums of random vectors that actually exist when measuring ${\mathsf{M}}^{\sigma }$.

5.2. Covariant Scalar Observables

Now we focus on the class of approximate joint measurements of the observables $Q_{\mathit{u}}$ and $P_{\mathit{v}}$ representing position and momentum along two possibly different directions $\mathit{u}$ and $\mathit{v}$ (see Section 2.1.2). As in the case of covariant phase-space observables, this class is defined in terms of the symmetries of its elements: we require them to transform as if they were joint measurements of ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$. Recall that ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$ denote the spectral measures of $Q_{\mathit{u}}$, $P_{\mathit{v}}$.

Due to the commutation relation (24), the following covariance relations hold

$$\begin{array}{c}\hfill W(\mathit{x},\mathit{p}){\mathsf{Q}}_{\mathit{u}}(A){W(\mathit{x},\mathit{p})}^{*}={\mathsf{Q}}_{\mathit{u}}(A+\mathit{u}·\mathit{x}),W(\mathit{x},\mathit{p}){\mathsf{P}}_{\mathit{v}}(B){W(\mathit{x},\mathit{p})}^{*}={\mathsf{P}}_{\mathit{v}}(B+\mathit{v}·\mathit{p}),\end{array}$$

for all $A,B\in \mathcal{B}(\mathbb{R})$ and $\mathit{x},\mathit{p}\in {\mathbb{R}}^n$. We employ covariance to define our class of approximate joint measurements of ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$.

Definition 6.

A$(\mathit{u},\mathit{v})$-covariant bi-observable is a POVM $\mathsf{M}:\mathcal{B}({\mathbb{R}}^2)\to \mathcal{L}(\mathcal{H})$ such that

$$W(\mathit{x},\mathit{p})\mathsf{M}(Z){W(\mathit{x},\mathit{p})}^{*}=\mathsf{M}\left(Z+\left(\begin{array}{c}\mathit{u}·\mathit{x}\\ \mathit{v}·\mathit{p}\end{array}\right)\right),\forall Z\in \mathcal{B}({\mathbb{R}}^2),\forall \mathit{x},\mathit{p}\in {\mathbb{R}}^n.$$

We denote by ${\mathcal{C}}_{\mathit{u},\mathit{v}}$ the class of such bi-observables.

So, our approximate joint measurements of ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$ will be all the bi-observables in the class ${\mathcal{C}}_{\mathit{u},\mathit{v}}$.

Example 1.

The marginal of a covariant phase-space observable $M^{\sigma }$ along the directions $\mathit{u}$ and $\mathit{v}$ is a $(\mathit{u},\mathit{v})$-covariant bi-observable. Actually, it can be proved that, if $\cos \alpha \ne 0$, all $(\mathit{u},\mathit{v})$-covariant bi-observables can be obtained in this way.

It is useful to work with a little more generality, and merge Definitions 5 and 6 into a single notion of covariance.

Definition 7.

Suppose J is a $k\times 2n$ real matrix. A POVM $\mathsf{M}:\mathcal{B}({\mathbb{R}}^k)\to \mathcal{L}(\mathcal{H})$ is a J -covariant observable on ${\mathbb{R}}^k$ if

$$W(\mathit{x},\mathit{p})\mathsf{M}(Z){W(\mathit{x},\mathit{p})}^{*}=\mathsf{M}\left(Z+J\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right),\forall Z\in \mathcal{B}({\mathbb{R}}^k),\forall \mathit{x},\mathit{p}\in {\mathbb{R}}^n.$$

Thus, approximate joint observables of ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$ are just J-covariant observables on ${\mathbb{R}}^2$ for the choice of the $2\times 2n$ matrix

$$J=\left(\begin{array}{cc}{\mathit{u}}^T& {\mathbf{0}}^T\\ {\mathbf{0}}^T& {\mathit{v}}^T\end{array}\right).$$

(47)

On the other hand, covariant phase-space observables constitute the class of ${\mathrm{𝟙}}_{2n}$-covariant observables on ${\mathbb{R}}^{2n}$, where ${\mathrm{𝟙}}_{2n}$ is the identity map of ${\mathbb{R}}^{2n}$.

5.3. Gaussian Measurements

When dealing with Gaussian states, the following class of bi-observables quite naturally arises.

Definition 8.

A POVM $\mathsf{M}:\mathcal{B}({\mathbb{R}}^{2m})\to \mathcal{L}(\mathcal{H})$ is a Gaussian bi-observable if

$$\widehat{\mathsf{M}}(\mathit{k},\mathit{l})=W\left(-\mathrm{\Omega }{(J^{\mathsf{M}})}^T\left(\begin{array}{c}\mathit{k}\\ \mathit{l}\end{array}\right)\right)\exp \left\{\mathrm{i}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)\left(\begin{array}{c}{\mathit{a}}^{\mathsf{M}}\\ {\mathit{b}}^{\mathsf{M}}\end{array}\right)-\frac{1}{2}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)V^{\mathsf{M}}\left(\begin{array}{c}\mathit{k}\\ \mathit{l}\end{array}\right)\right\}$$

(48)

for two vectors ${\mathit{a}}^{\mathsf{M}},{\mathit{b}}^{\mathsf{M}}\in {\mathbb{R}}^m$, a real $2m\times 2n$ matrix $J^{\mathsf{M}}$ and a real symmetric $2m\times 2m$ matrix $V^{\mathsf{M}}$ satisfying the condition

$$V^{\mathsf{M}}\pm \frac{\mathrm{i}}{2}{J}^{\mathsf{M}}\mathrm{\Omega }{(J^{\mathsf{M}})}^T\ge 0.$$

(49)

We set ${\mu }^{\mathsf{M}}=\left(\begin{array}{c}{\mathit{a}}^{\mathsf{M}}\\ {\mathit{b}}^{\mathsf{M}}\end{array}\right)$. The triple $({\mu }^{\mathsf{M}},V^{\mathsf{M}},J^{\mathsf{M}})$ is the set of the parameters of the Gaussian observable $\mathsf{M}$.

In this definition, the vector ${\mathit{a}}^{\mathsf{M}}$ has the dimension of a length, and ${\mathit{b}}^{\mathsf{M}}$ of a momentum; similarly, the matrices $J^{\mathsf{M}}$, $V^{\mathsf{M}}$ decompose into blocks of different dimensions. The condition (49) is necessary and sufficient in order that the function (48) defines the characteristic function of a POVM.

For unbiased Gaussian measurements, i.e., Gaussian bi-observables with ${\mathit{a}}^{\mathsf{M}}={\mathit{b}}^{\mathsf{M}}=\mathbf{0}$, the previous definition coincides with the one of [5] (Section 12.4.3). It is also a particular case of the more general definition of Gaussian observables on arbitrary (not necessarily symplectic) linear spaces that is given in [43,44]. We refer to [5,44] for the proof that Equation (48) is actually the characteristic function of a POVM.

Measuring the Gaussian observable $\mathsf{M}$ on the Gaussian state $\rho$ yields the probability distribution ${\mathsf{M}}_{\rho }$ whose characteristic function is

$$\begin{array}{cc}\hfill \mathrm{Tr}\{\widehat{\mathsf{M}}(\mathit{k},\mathit{l})\rho \}& =\widehat{\rho }\left({(J^{\mathsf{M}})}^T\left(\begin{array}{c}\mathit{k}\\ \mathit{l}\end{array}\right)\right)\exp \left\{\mathrm{i}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)\left(\begin{array}{c}{\mathit{a}}^{\mathsf{M}}\\ {\mathit{b}}^{\mathsf{M}}\end{array}\right)-\frac{1}{2}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)V^{\mathsf{M}}\left(\begin{array}{c}\mathit{k}\\ \mathit{l}\end{array}\right)\right\}\hfill \\ \hfill & =\exp \left\{\mathrm{i}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)\left[\left(\begin{array}{c}{\mathit{a}}^{\mathsf{M}}\\ {\mathit{b}}^{\mathsf{M}}\end{array}\right)+J^{\mathsf{M}}\left(\begin{array}{c}{\mathit{a}}^{\rho }\\ {\mathit{b}}^{\rho }\end{array}\right)\right]-\frac{1}{2}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)\left[V^{\mathsf{M}}+J^{\mathsf{M}}{V}^{\rho }{(J^{\mathsf{M}})}^T\right]\left(\begin{array}{c}\mathit{k}\\ \mathit{l}\end{array}\right)\right\};\hfill \end{array}$$

hence the output distribution is Gaussian,

$${\mathsf{M}}_{\rho }=\mathcal{N}\left(J^{\mathsf{M}}{\mu }^{\rho }+{\mu }^{\mathsf{M}};J^{\mathsf{M}}{V}^{\rho }{(J^{\mathsf{M}})}^T+V^{\mathsf{M}}\right).$$

(50)

5.3.1. Covariant Gaussian Observables

For Gaussian bi-observables, J-covariance has a very easy characterization.

Proposition 10.

Suppose $\mathsf{M}$ is a Gaussian bi-observable on ${\mathbb{R}}^{2m}$ with parameters $({\mu }^{\mathsf{M}},V^{\mathsf{M}},J^{\mathsf{M}})$. Let J be any $2m\times 2n$ real matrix. Then, the POVM $\mathsf{M}$ is a J-covariant observable if and only if $J^{\mathsf{M}}=J$.

Proof. 

For $\mathit{x},\mathit{p}\in {\mathbb{R}}^n$, we let ${\mathsf{M}}^{\prime }$ and ${\mathsf{M}}^{″}$ be the two POVMs on ${\mathbb{R}}^{2m}$ given by

$${\mathsf{M}}^{\prime }(Z)=W(\mathit{x},\mathit{p})\mathsf{M}(Z){W(\mathit{x},\mathit{p})}^{*},{\mathsf{M}}^{″}(Z)=\mathsf{M}\left(Z+J\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right),\forall Z\in \mathcal{B}({\mathbb{R}}^{2m}).$$

By the commutation relations (24) for the Weyl operators, we immediately get

$$\begin{array}{c}{\widehat{\mathsf{M}}}^{\prime }(\mathit{k},\mathit{l})=W(\mathit{x},\mathit{p})\widehat{\mathsf{M}}(\mathit{k},\mathit{l}){W(\mathit{x},\mathit{p})}^{*}=\exp \left\{-\mathrm{i}\left(\begin{array}{cc}{\mathit{x}}^T& {\mathit{p}}^T\end{array}\right){\mathrm{\Omega }}^{-1}\left[-\mathrm{\Omega }{(J^{\mathsf{M}})}^T\left(\begin{array}{c}\mathit{k}\\ \mathit{l}\end{array}\right)\right]\right\}\widehat{\mathsf{M}}(\mathit{k},\mathit{l})\hfill \\ \hfill =\exp \left\{-\mathrm{i}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)J^{\mathsf{M}}\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right\}\widehat{\mathsf{M}}(\mathit{k},\mathit{l});\end{array}$$

we have also

$$\begin{array}{c}{\widehat{\mathsf{M}}}^{″}(\mathit{k},\mathit{l})={\int }_{{\mathbb{R}}^{2m}}\exp \left\{\mathrm{i}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)\left[\left(\begin{array}{c}{\mathit{x}}^{\prime }\\ {\mathit{p}}^{\prime }\end{array}\right)-J\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right]\right\}\mathsf{M}(\mathrm{d}{\mathit{x}}^{\prime }\mathrm{d}{\mathit{p}}^{\prime })\hfill \\ \hfill =\exp \left\{-\mathrm{i}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)J\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right\}\widehat{\mathsf{M}}(\mathit{k},\mathit{l}).\end{array}$$

Since $\widehat{\mathsf{M}}(\mathit{k},\mathit{l})\ne 0$ for all $\mathit{k},\mathit{l}$, by comparing the last two expressions we see that ${\mathsf{M}}^{\prime }={\mathsf{M}}^{″}$ if and only if

$$\exp \left\{-\mathrm{i}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)J^{\mathsf{M}}\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right\}=\exp \left\{-\mathrm{i}\left(\begin{array}{cc}{\mathit{k}}^T& {\mathit{l}}^T\end{array}\right)J\left(\begin{array}{c}\mathit{x}\\ \mathit{p}\end{array}\right)\right\},\forall \mathit{x},\mathit{p}\in {\mathbb{R}}^n,\forall \mathit{k},\mathit{l}\in {\mathbb{R}}^m,$$

which in turn is equivalent to $J^{\mathsf{M}}=J$. ☐

Vector Observables

Let us point out the structure of the Gaussian approximate joint measurements of $\mathsf{Q}$ and $\mathsf{P}$.

Proposition 11.

A bi-observable ${\mathsf{M}}^{\sigma }\in \mathcal{C}$ is Gaussian if and only if the state σ is Gaussian. In this case, the covariant bi-observable ${\mathsf{M}}^{\sigma }$ is Gaussian with parameters

$${\mu }^{{\mathsf{M}}^{\sigma }}={\mu }^{\sigma },V^{{\mathsf{M}}^{\sigma }}=V^{\sigma },J^{{\mathsf{M}}^{\sigma }}={\mathrm{𝟙}}_{2n}.$$

Proof. 

By comparing (31), (44) and (48), and using the fact that $W({\mathit{x}}_1,{\mathit{p}}_1)\propto W({\mathit{x}}_2,{\mathit{p}}_2)$ if and only if ${\mathit{x}}_1={\mathit{x}}_2$ and ${\mathit{p}}_1={\mathit{p}}_2$, we have the first statement. Then, for $\sigma \in \mathcal{G}$, we see immediately that ${\mathsf{M}}^{\sigma }$ is a Gaussian observable with the above parameters. ☐

We call ${\mathcal{C}}^G$ the class of the Gaussian covariant phase-space observables. By (50), observing ${\mathsf{M}}^{\sigma }$ on a Gaussian state $\rho \in \mathcal{G}$ yields the normal probability distribution ${\mathsf{M}}_{\rho }^{\sigma }=\mathcal{N}\left({\mu }^{\rho }+{\mu }^{\sigma };V^{\rho }+V^{\sigma }\right)$, with marginals

$${\mathsf{M}}_{1,\rho }^{\sigma }=\mathcal{N}({\mathit{a}}^{\rho }+{\mathit{a}}^{\sigma };A^{\rho }+A^{\sigma }),{\mathsf{M}}_{2,\rho }^{\sigma }=\mathcal{N}({\mathit{b}}^{\rho }+{\mathit{b}}^{\sigma };B^{\rho }+B^{\sigma }).$$

(51)

When ${\mathit{a}}^{\sigma }=\mathbf{0}$ and ${\mathit{b}}^{\sigma }=\mathbf{0}$, we have an unbiased measurement.

Scalar Observables

We now study the Gaussian approximate joint measurements of the target observables $Q_{\mathit{u}}$ and $P_{\mathit{u}}$ defined in (6).

Proposition 12.

A Gaussian bi-observable $\mathsf{M}$ with parameters $({\mu }^{\mathsf{M}},V^{\mathsf{M}},J^{\mathsf{M}})$ is in ${\mathcal{C}}_{\mathit{u},\mathit{v}}$ if and only if $J^{\mathsf{M}}=J$, where J is given by (47). In this case, the condition (49) is equivalent to

$$V_{11}^{\mathsf{M}}\ge 0,V_{22}^{\mathsf{M}}\ge 0,V_{11}^{\mathsf{M}}{V}_{22}^{\mathsf{M}}\ge \frac{{\hslash }^2}{4}{(\cos \alpha )}^2+{(V_{12}^{\mathsf{M}})}^2.$$

(52)

Proof. 

The first statement follows from Proposition 10. Then, the matrix inequality (49) reads

$$V^{\mathsf{M}}\pm \frac{\mathrm{i}\hslash }{2}\left(\begin{array}{cc}0& \cos \alpha \\ -\cos \alpha & 0\end{array}\right)\ge 0,$$

which is equivalent to (52). ☐

We write ${\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ for the class of the Gaussian $(\mathit{u},\mathit{v})$-covariant phase-space observables. An observable $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ is thus characterized by the couple $({\mu }^{\mathsf{M}},V^{\mathsf{M}})$. From (50) with $J^{\mathsf{M}}=J$ given by (47), we get that measuring $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ on a Gaussian state $\rho$ yields the probability distribution ${\mathsf{M}}_{\rho }=\mathcal{N}\left({\mu }_{\mathit{u},\mathit{v}}^{\rho }+{\mu }^{\mathsf{M}};V_{\mathit{u},\mathit{v}}^{\rho }+V^{\mathsf{M}}\right)$ with ${\mu }_{\mathit{u},\mathit{v}}^{\rho }$ and $V_{\mathit{u},\mathit{v}}^{\rho }$ given by (12). Its marginals with respect to the first and second entry are, respectively,

$${\mathsf{M}}_{1,\rho }=\mathcal{N}\left(\mathit{u}·{\mathit{a}}^{\rho }+a^{\mathsf{M}};\mathrm{Var}({\mathsf{Q}}_{\mathit{u},\rho })+V_{11}^{\mathsf{M}}\right),{\mathsf{M}}_{2,\rho }=\mathcal{N}\left(\mathit{v}·{\mathit{b}}^{\rho }+b^{\mathsf{M}};\mathrm{Var}({\mathsf{P}}_{\mathit{v},\rho })+V_{22}^{\mathsf{M}}\right).$$

(53)

Example 2.

Let us construct an example of an approximate joint measurement of $Q_{\mathit{u}}$ and $P_{\mathit{v}}$, by using a noisy measurement of position along $\mathit{u}$ followed by a sharp measurement of momentum along $\mathit{v}$. Let Δ be a positive real number yielding the precision of the position measurement, and consider the POVM $\mathsf{M}$ on ${\mathbb{R}}^2$ given by

$$\mathsf{M}(A\times B)=\frac{1}{\sqrt{2\pi \Delta }}{\int }_A\exp \left\{-\frac{{(x-Q_{\mathit{u}})}^2}{4\Delta }\right\}{\mathsf{P}}_{\mathit{v}}(B)\exp \left\{-\frac{{(x-Q_{\mathit{u}})}^2}{4\Delta }\right\}\mathrm{d}x,\forall A,B\in \mathcal{B}(\mathbb{R}).$$

The characteristic function of $\mathsf{M}$ is

$$\begin{array}{cc}\hfill \widehat{\mathsf{M}}(k,l)& =\frac{1}{\sqrt{2\pi \Delta }}{\int }_{\mathbb{R}}{\mathrm{e}}^{\mathrm{i}kx}\exp \left\{-\frac{{(x-Q_{\mathit{u}})}^2}{4\Delta }\right\}\left[{\int }_{\mathbb{R}}{\mathrm{e}}^{\mathrm{i}lp}{\mathsf{P}}_{\mathit{v}}(\mathrm{d}p)\right]\exp \left\{-\frac{{(x-Q_{\mathit{u}})}^2}{4\Delta }\right\}\mathrm{d}x\hfill \\ \hfill & =\frac{1}{\sqrt{2\pi \Delta }}{\int }_{\mathbb{R}}\exp \left\{\mathrm{i}kx-\frac{{(x-Q_{\mathit{u}})}^2}{4\Delta }\right\}{\mathrm{e}}^{\mathrm{i}l{P}_{\mathit{v}}}\exp \left\{-\frac{{(x-Q_{\mathit{u}})}^2}{4\Delta }\right\}\mathrm{d}x\hfill \\ \hfill & =\frac{{\mathrm{e}}^{\mathrm{i}l{P}_{\mathit{v}}}}{\sqrt{2\pi \Delta }}{\int }_{\mathbb{R}}\exp \left\{\mathrm{i}kx-\frac{{(x-Q_{\mathit{u}}+\hslash l\mathit{u}·\mathit{v})}^2}{4\Delta }\right\}\exp \left\{-\frac{{(x-Q_{\mathit{u}})}^2}{4\Delta }\right\}\mathrm{d}x\hfill \\ \hfill & =\frac{1}{\sqrt{2\pi \Delta }}\exp \left\{\mathrm{i}l{P}_{\mathit{v}}-\frac{{(\hslash l\cos \alpha )}^2}{8\Delta }\right\}{\int }_{\mathbb{R}}\exp \left\{\mathrm{i}kx-\frac{{(x-Q_{\mathit{u}}+\hslash l\cos \alpha /2)}^2}{2\Delta }\right\}\mathrm{d}x\hfill \\ \hfill & =\exp \left\{\mathrm{i}l{P}_{\mathit{v}}+\mathrm{i}k\left(Q_{\mathit{u}}+\frac{\hslash l\cos \alpha }{2}\right)-\frac{\Delta }{2}{k}^2-\frac{{(\hslash \cos \alpha )}^2}{8\Delta }{l}^2\right\}\hfill \\ \hfill & =W(-\hslash l\mathit{v},\hslash k\mathit{u})\exp \left\{-\frac{\Delta }{2}{k}^2-\frac{{(\hslash \cos \alpha )}^2}{8\Delta }{l}^2\right\}.\hfill \end{array}$$

Therefore, $\mathsf{M}$ is a Gaussian bi-observable with parameters $a^{\mathsf{M}}=0$, $b^{\mathsf{M}}=0$ and $J^{\mathsf{M}}=J$, where J is given by (47) and $V_{11}^{\mathsf{M}}=\Delta$, $V_{22}^{\mathsf{M}}=\frac{{(\hslash \cos \alpha )}^2}{4\Delta }$ and $V_{12}^{\mathsf{M}}=0$. This implies $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$; in particular, the set ${\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ is non-empty. Moreover, the lower bound $V_{11}^{\mathsf{M}}{V}_{22}^{\mathsf{M}}=\frac{{\hslash }^2}{4}{(\cos \alpha )}^2$ is attained, cf. (52).

Example 3.

Let us consider the case $\alpha =\pm \pi /2$; now the target observables ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$ are compatible and we can define a pvm $\mathsf{M}$ on ${\mathbb{R}}^2$ by setting $\mathsf{M}(A\times B)={\mathsf{Q}}_{\mathit{u}}(A){\mathsf{P}}_{\mathit{v}}(B)$ for all $A,B\in \mathcal{B}(\mathbb{R})$. Its characteristic function is

$$\widehat{\mathsf{M}}(k,l)={\int }_{\mathbb{R}}{\mathrm{e}}^{ikx}{\mathsf{Q}}_{\mathit{u}}(\mathrm{d}x){\int }_{\mathbb{R}}{\mathrm{e}}^{ilp}{\mathsf{P}}_{\mathit{v}}(\mathrm{d}p)={\mathrm{e}}^{i(k{Q}_{\mathit{u}}+l{P}_{\mathit{v}})}=W(-\hslash l\mathit{v},\hslash k\mathit{u}).$$

Then, $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ with parameters $a^{\mathsf{M}}=0$, $b^{\mathsf{M}}=0$, $V^{\mathsf{M}}=0$ and $J^{\mathsf{M}}=J$ given by (47). Note that $\mathsf{M}$ can be regarded as the limit case of the observables of the previous example when $\cos \alpha =0$ and $\Delta \downarrow 0$.

6. Entropic MURs for Position and Momentum

In the case of two discrete target observables, in [41] we found an entropic bound for the precision of their approximate joint measurements, which we named entropic incompatibility degree. Its definition followed a three steps procedure. Firstly, we introduced an error function: when the system is in a given state $\rho$, such a function quantifies the total amount of information that is lost by approximating the target observables by means of the marginals of a bi-observable; the error function is nothing else than the sum of the two relative entropies of the respective distributions. Then, we considered the worst possible case by maximizing the error function over $\rho$, thus obtaining an entropic divergence quantifying the approximation error in a state independent way. Finally, we got our index of the incompatibility of the two target observables by minimizing the entropic divergence over all bi-observables. In particular, when symmetries are present, we showed that the minimum is attained at some covariant bi-observables. So, the covariance followed as a byproduct of the optimization procedure, and was not a priori imposed upon the class of approximating bi-observables.

As we shall see, the extension of the previous procedure to position and momentum target observables is not straightforward, and peculiar problems of the continuous case arise. In order to overcome them, in this paper we shall fully analyse only a case in which explicit computations can be done: Gaussian preparations, and Gaussian bi-observables, which we a priori assume to be covariant. We conjecture that the final result should be independent of these simplifications, as we shall discuss in Section 7.

As we said in Section 5, by “approximate joint measurement” we mean “a bi-observable with the ‘right’ covariance properties”.

6.1. Scalar Observables

Given the directions $\mathit{u}$ and $\mathit{v}$, the target observables are $Q_{\mathit{u}}$ and $P_{\mathit{v}}$ in (6) with pvm’s ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$. For $\rho \in \mathcal{G}$ with parameters $({\mu }^{\rho },V^{\rho })$ given in (10), the target distributions ${\mathsf{Q}}_{\mathit{u},\rho }$ and ${\mathsf{P}}_{\mathit{v},\rho }$ are normal with means and variances (11).

An approximate joint measurements of ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$ is given by a covariant bi-observable $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}$; then, we denote its marginals with respect to the first and second entry by ${\mathsf{M}}_1$ and ${\mathsf{M}}_2$, respectively. For a Gaussian covariant bi-observable $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ with parameters $({\mu }^{\mathsf{M}},V^{\mathsf{M}})$, the distribution of $\mathsf{M}$ in a Gaussian state $\rho$ is normal,

$${\mathsf{M}}_{\rho }=\mathcal{N}\left({\mu }_{\mathit{u},v}^{\rho }+{\mu }^{\mathsf{M}};V_{\mathit{u},\mathit{v}}^{\rho }+V^{\mathsf{M}}\right),$$

so that its marginal distributions ${\mathsf{M}}_{1,\rho }$ and ${\mathsf{M}}_{2,\rho }$ are normal with means $\mathit{u}·{\mathit{a}}^{\rho }+a^{\mathsf{M}}$ and $\mathit{v}·{\mathit{b}}^{\rho }+b^{\mathsf{M}}$ and variances

$$\mathrm{Var}\left({\mathsf{M}}_{1,\rho }\right)=\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)+V_{11}^{\mathsf{M}},\mathrm{Var}\left({\mathsf{M}}_{2,\rho }\right)=\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)+V_{22}^{\mathsf{M}}.$$

(54)

Let us recall that $\left|\mathit{u}\right|=1$, $\left|\mathit{v}\right|=1$, $\mathit{u}·\mathit{v}=\cos \alpha$, and that by (16) and (52), we have

$$\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2,V_{11}^{\mathsf{M}}{V}_{22}^{\mathsf{M}}\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2.$$

(55)

6.1.1. Error Function

The relative entropy is the amount of information that is lost when an approximating distribution is used in place of a target one. For this reason, we use it to give an informational quantification of the error made in approximating the distributions of sharp position and momentum by means of the marginals of a joint covariant observable.

Definition 9.

Given the preparation $\rho \in \mathcal{S}$ and the covariant bi-observable $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}$, the error function for the scalar case is the sum of the two relative entropies:

$$S(\rho ,\mathsf{M}):=S({\mathsf{Q}}_{\mathit{u},\rho }\parallel {\mathsf{M}}_{1,\rho })+S({\mathsf{P}}_{\mathit{v},\rho }\parallel {\mathsf{M}}_{2,\rho }).$$

(56)

The relative entropy is invariant under a change of the unit of measurement, so that the error function is scale invariant, too; indeed, it quantifies a relative error, not an absolute one. In the Gaussian case the error function can be explicitly computed.

Proposition 13 (Error function for the scalar Gaussian case).

For $\rho \in \mathcal{G}$ and $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$, the error function is

$$S(\rho ,\mathsf{M})=\frac{\log \mathrm{e}}{2}\left[s(x)+s(y)+\Delta (\rho ,\mathsf{M})\right],$$

(57)

where

$$x:=\frac{V_{11}^{\mathsf{M}}}{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)},y:=\frac{V_{22}^{\mathsf{M}}}{\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)},\Delta (\rho ,\mathsf{M}):=\frac{{(a^{\mathsf{M}})}^2}{\mathrm{Var}\left({\mathsf{M}}_{1,\rho }\right)}+\frac{{(b^{\mathsf{M}})}^2}{\mathrm{Var}\left({\mathsf{M}}_{2,\rho }\right)},$$

and $s:[0,+\infty )\to [0,+\infty )$ is the following ${\mathcal{C}}^{\infty }$ strictly increasing function with $s(0)=0$:

$$s(x):=\ln \left(1+x\right)-\frac{x}{1+x}.$$

(58)

Proof. 

The statement follows by a straightforward combination of (32), (34), (53) and (56). ☐

Note that the error function does not depend on the mixed covariances $\mathit{u}·C^{\rho }\mathit{v}$ and $V_{12}^{\mathsf{M}}$. Note also that, if we select a possible approximation $\mathsf{M}$, then the error function $S(\rho ,\mathsf{M})$ decreases for states $\rho$ with increasing sharp variances $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)$: the loss of information decreases when the sharp distributions make the approximation error negligible. Finally, note that

$$s(x)+s(y)=\ln \left[(1+x)(1+y)\right]+{(1+x)}^{-1}+{(1+y)}^{-1}-2,$$

$$1+x=\frac{\mathrm{Var}\left({\mathsf{M}}_{1,\rho }\right)}{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)},1+y=\frac{\mathrm{Var}\left({\mathsf{M}}_{2,\rho }\right)}{\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}.$$

This means that, apart from the term $\Delta (\rho ,\mathsf{M})$ due to the bias, our error function $S(\rho ,\mathsf{M})$ only depends on the two ratios “variance of the approximating distribution over variance of the target distribution”. Thus, in order to optimize the error function, one has to optimize these two ratios.

We use formula (57) to firstly give a state dependent MUR, and then, following the scheme of [41], a state independent MUR.

A lower bound for the error function can be found by minimizing it over all possible approximate joint measurements of $Q_{\mathit{u}}$ and $P_{\mathit{v}}$. First of all, let us remark that this minimization makes sense because we consider only $(\mathit{u},\mathit{v})$-covariant bi-observables: if we minimized over all possible bi-observables, then the minimum would be trivially zero for every given preparation $\rho$. Indeed, the trivial bi-observable $\mathsf{M}(A\times B)={\mathsf{Q}}_{\mathit{u},\rho }(A){\mathsf{P}}_{\mathit{v},\rho }(B)\mathrm{𝟙}$ yields $S(\rho ,\mathsf{M})=0$.

When minimizing the error function over all $(\mathit{u},\mathit{v})$-covariant bi-observables, both the minimum and the best measurement attaining it are state dependent. When $\alpha =\pm \pi /2$, the two target observables are compatible, so that their joint measurement trivially exists (see Example 3) and we get ${\inf }_{\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}}S(\rho ,\mathsf{M})=0$. In order to have explicit results for any angle $\alpha$, we consider only the Gaussian case.

Theorem 1 (State dependent MUR, scalar observables).

For every $\rho \in \mathcal{G}$ and $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$,

$$S({\mathsf{Q}}_{\mathit{u},\rho }\parallel {\mathsf{M}}_{1,\rho })+S({\mathsf{P}}_{\mathit{v},\rho }\parallel {\mathsf{M}}_{2,\rho })\ge c_{\rho }(\alpha ),$$

(59)

where the lower bound is

$$\begin{array}{c}{c}_{\rho }(\alpha )=s\left(z_{\rho }\right)\log \mathrm{e}\hfill \\ =\left(\log \mathrm{e}\right)\left\{\ln \left(1+\frac{\hslash \left|\cos \alpha \right|}{2\sqrt{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}}\right)-\frac{\hslash \left|\cos \alpha \right|}{\hslash \left|\cos \alpha \right|+2\sqrt{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}}\right\},\hfill \end{array}$$

(60)

with

$$z_{\rho }:=\frac{\hslash \left|\cos \alpha \right|}{2\sqrt{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}}\in [0,1].$$

(61)

The lower bound is tight and the optimal measurement is unique: $c_{\rho }(\alpha )=S(\rho ,{\mathsf{M}}_{*})$, for a unique ${\mathsf{M}}_{*}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$; such a Gaussian $(\mathit{u},\mathit{v})$-covariant bi-observable is characterized by

$${\mu }^{{\mathsf{M}}_{*}}=0,V_{12}^{{\mathsf{M}}_{*}}=0,V_{11}^{{\mathsf{M}}_{*}}=\frac{\hslash }{2}\sqrt{\frac{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)}{\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}}\left|\cos \alpha \right|,V_{22}^{{\mathsf{M}}_{*}}=\frac{\hslash }{2}\sqrt{\frac{\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)}}\left|\cos \alpha \right|.$$

(62)

Proof. 

As already discussed, the case $\cos \alpha =0$ is trivial. If $\cos \alpha \ne 0$, we have to minimize the error function (57) over $\mathsf{M}$. First of all we can eliminate the positive term $\Delta (\rho ,\mathsf{M})$ by taking an unbiased measurement. Then, since s is an increasing function, by the second condition in (55) we can also take $V_{11}^{{\mathsf{M}}_{*}}{V}_{22}^{{\mathsf{M}}_{*}}=\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2$. This implies $V_{12}^{{\mathsf{M}}_{*}}=0$ by (52). In this case the error function (57) reduces to

$$S(\rho ,{\mathsf{M}}_{*})=\frac{\log \mathrm{e}}{2}\left(s(x)+s(z_{\rho }^2/x)\right),x=\frac{V_{11}^{{\mathsf{M}}_{*}}}{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)},$$

with $z_{\rho }$ given by (61); by the first of (55), we have $z_{\rho }\in (0,1]$.

Now, we can minimize the error function with respect to x by studying its first derivative:

$$\frac{\mathrm{d}}{\mathrm{d}x}\left(s(x)+s(z_{\rho }^2/x)\right)=\frac{x}{{(1+x)}^2}-\frac{z_{\rho }^4}{x{(z_{\rho }^2+x)}^2}=\frac{\left(x^2-z_{\rho }^2\right)\left(x^2+2z_{\rho }^{2}x+z_{\rho }^2\right)}{x{\left(z_{\rho }^2+x\right)}^2{\left(1+x\right)}^2}.$$

Having $x>0$, we immediately get that $x=z_{\rho }$ gives the unique minimum. Thus

$$S(\rho ,\mathsf{M})\ge S(\rho ,{\mathsf{M}}_{*})=s(z_{\rho })\log \mathrm{e}=\log (1+z_{\rho })-\frac{z_{\rho }}{1+z_{\rho }}\log \mathrm{e},$$

and

$$V_{11}^{{\mathsf{M}}_{*}}=z_{\rho }\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\equiv \frac{\hslash }{2}\sqrt{\frac{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)}{\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}}\left|\cos \alpha \right|,V_{22}^{{\mathsf{M}}_{*}}=z_{\rho }\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)\equiv \frac{\hslash }{2}\sqrt{\frac{\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)}}\left|\cos \alpha \right|,$$

which conclude the proof. ☐

Remark 3.

The minimum information loss $c_{\rho }(\alpha )$ depends on both the preparation ρ and the angle α. When $\alpha \ne \pm \pi /2$, that is when the target observables are not compatible, $c_{\rho }(\alpha )$ is strictly grater than zero. This is a peculiar quantum effect: given ρ, $\mathit{u}$ and $\mathit{v}$, there is no Gaussian approximate joint measurement of ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$ that can approximate them arbitrarily well. On the other side, in the limit $\alpha \to \pm \pi /2$, the lower bound $c_{\rho }(\alpha )$ goes to zero; so, the case of commuting target observables is approached with continuity.

Remark 4.

The lower bound $c_{\rho }(\alpha )$ goes to zero also in the classical limit $\hslash \to 0$. This holds for every angle α and every Gaussian state ρ.

Remark 5.

Another case in which $c_{\rho }(\alpha )\to 0$ is the limit of large uncertainty states, that is, if we let the product $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)\to +\infty$: our entropic MUR disappears because, roughly speaking, the variance of (at least) one of the two target observables goes to infinity, its relative entropy vanishes by itself, and an optimal covariant bi-observable ${\mathsf{M}}_{*}$ has to take care of (at most) only the other target observable.

Remark 6.

Actually, something similar to the previous remark happens also at the macroscopic limit, and does not require the measuring instrument to be an optimal one; indeed, unbiasedness is enough in this case. This happens because the error function $S(\rho ,\mathsf{M})$ quantifies a relative error; even if the measurement approximation $\mathsf{M}$ is fixed, such an error can be reduced by suitably changing the preparation ρ. Indeed, if we consider the position and momentum of a macroscopic particle, for instance the center of mass of many particles, it is natural that its state has much larger position and momentum uncertainties than the intrinsic uncertainties of the measuring instrument; that is, $\frac{V_{11}^{\mathsf{M}}}{\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)}\ll 1$ and $\frac{V_{22}^{\mathsf{M}}}{\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)}\ll 1$, implying that the error function (57) is negligible. In practice, this is a classical case: the preparation has large position and momentum uncertainties and the measuring instrument is relatively good. In this situation we do not see the difference between the joint measurement of position and momentum and their separate sharp observations.

Remark 7.

The optimal approximating joint measurement ${\mathsf{M}}_{*}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ is unique; by (62) it depends on the preparation ρ one is considering, as well as on the directions $\mathit{u}$ and $\mathit{v}$. A realization of ${\mathsf{M}}_{*}$ is the measuring procedure of Example 2.

Remark 8.

The MUR (59) is scale invariant, as both the error function $S(\rho ,\mathsf{M})$ and the lower bound $c_{\rho }(\alpha )$ are such.

Remark 9.

For $\cos \alpha \ne 0$, we get ${\inf }_{\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G}S(\rho ,\mathsf{M})=s(z_{\rho })\log \mathrm{e}$, where $z_{\rho }$ is defined by (61). As $z_{\rho }$ ranges in the interval $(0,1]$, the quantity ${\inf }_{\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G}S(\rho ,\mathsf{M})$ takes all the values in the interval $\left(0,1-\frac{\log \mathrm{e}}{2}\right]$, so that

$$\underset{\rho \in \mathcal{G}}{\sup }\underset{\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G}{\inf }S(\rho ,\mathsf{M})=1-\frac{\log \mathrm{e}}{2}.$$

(63)

In order to get this result, we needed $\cos \alpha \ne 0$; however, the final result does not depend on α. Therefore, in the ${\sup }_{\rho }{\inf }_{\mathsf{M}}$-approach of (63), the continuity from quantum to classical is lost.

6.1.2. Entropic Divergence of ${\mathsf{Q}}_u$, ${\mathsf{P}}_v$ from $\mathsf{M}$

Now we want to find an entropic quantification of the error made in observing $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}$ as an approximation of ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$ in an arbitrary state $\rho$. The procedure of [41], already suggested in [19] (Section VI.C) for a different error function, is to consider the worst case by maximizing the error function over all the states. However, in the continuous framework this is not possible for the error function (56); indeed, from (57) we get ${\sup }_{\rho \in \mathcal{G}}S(\rho ,\mathsf{M})=+\infty$ even if we restrict to unbiased covariant bi-observables.

Anyway, the reason for $S(\rho ,\mathsf{M})$ to diverge is classical: it depends only on the continuous nature of $Q_{\mathit{u}}$ and $P_{\mathit{v}}$, without any relation to their (quantum) incompatibility. Indeed, as we noted in Section 3.1, if an instrument measuring a random variable $X\sim \mathcal{N}(a;{\alpha }^2)$ adds an independent noise $\nu \sim \mathcal{N}(b;{\beta }^2)$, thus producing an output $X+\nu \sim \mathcal{N}(a+b;{\alpha }^2+{\beta }^2)$, then the relative entropy $S(X\parallel X+\nu )$ diverges for ${\alpha }^2\to 0$; this is what happens if we fix the noise and we allow for arbitrarily peaked preparations. Thus, the sum $S({\mathsf{Q}}_{\mathit{u},\rho }\parallel {\mathsf{M}}_{1,\rho })+S({\mathsf{P}}_{\mathit{v},\rho }\parallel {\mathsf{M}}_{2,\rho })$ diverges if, fixed $\mathsf{M}$, we let $\mathrm{Var}({\mathsf{Q}}_{\mathit{u},\rho })$ or $\mathrm{Var}({\mathsf{P}}_{\mathit{v},\rho })$ go to 0.

The difference between the classical and quantum frameworks emerges if we bound from below the variances of the sharp position and momentum observables. Indeed, in the classical framework we have ${\inf }_{b,{\beta }^2}{\sup }_{{\alpha }^2\ge ϵ}S(X\parallel X+\nu )=0$ for every $ϵ>0$; the same holds for the sum of two relative entropies if no relation exists between the two noises. On the contrary, in the quantum framework the entropic MURs appear due to the relation between the position and momentum errors occurring in any approximate joint measurement.

In order to avoid that $S(\rho ,\mathsf{M})\to +\infty$ due to merely classical effects, we thus introduce the following subset of the Gaussian states:

$${\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}:=\left\{\rho \in \mathcal{G}:\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\ge {ϵ}_1,\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)\ge {ϵ}_2\right\},{ϵ}_i>0,$$

(64)

and we evaluate the error made in approximating ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$ with the marginals of a $(\mathit{u},\mathit{v})$-covariant bi-observable by maximizing the error function over all these states.

Definition 10.

The Gaussian $\mathit{ϵ}$-entropic divergence of ${\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}$ from $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}$ is

$$D_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel \mathsf{M}):=\underset{\rho \in {\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}}{\sup }S(\rho ,\mathsf{M}).$$

(65)

For Gaussian $\mathsf{M}$, depending on the choice of the thresholds ${ϵ}_1$ and ${ϵ}_2$, the divergence $D_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel \mathsf{M})$ can be easily computed or at least bounded.

Theorem 2.

Let the bi-observable $\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ be fixed.

(i) 

For ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, the divergence $D_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel \mathsf{M})$ is given by

$$D_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel \mathsf{M})=S({\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v}),\mathsf{M})=\frac{\log \mathrm{e}}{2}\left[s(x_{\mathit{ϵ}})+s(y_{\mathit{ϵ}})+\Delta (\mathit{ϵ};\mathsf{M})\right],$$

(66)

where ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})$ is any Gaussian state with $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},{\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})}\right)={ϵ}_1$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},{\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})}\right)={ϵ}_2$, and

$$x_{\mathit{ϵ}}:=\frac{V_{11}^{\mathsf{M}}}{{ϵ}_1},y_{\mathit{ϵ}}:=\frac{V_{22}^{\mathsf{M}}}{{ϵ}_2},\Delta (\mathit{ϵ};\sigma ):=\frac{{(a^{\mathsf{M}})}^2}{V_{11}^{\mathsf{M}}+{ϵ}_1}+\frac{{(b^{\mathsf{M}})}^2}{V_{22}^{\mathsf{M}}+{ϵ}_2}.$$

(ii) 

For ${\displaystyle {ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, the divergence $D_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel \mathsf{M})$ is bounded from below by

$$D_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel \mathsf{M})\ge S({\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v}),\mathsf{M})=\frac{\log \mathrm{e}}{2}\left[s(x_{\mathit{ϵ}})+s(y_{\mathit{ϵ}})+\Delta (\mathit{ϵ};\mathsf{M})\right],$$

(67)

where ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})$ is any Gaussian state with $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},{\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})}\right)={ϵ}_1$ and ${\displaystyle \mathrm{Var}\left({\mathsf{P}}_{\mathit{v},{\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})}\right)=\frac{{\hslash }^2}{4{ϵ}_1}{\left(\cos \alpha \right)}^2}$, and

$$x_{\mathit{ϵ}}:=\frac{V_{11}^{\mathsf{M}}}{{ϵ}_1},y_{\mathit{ϵ}}:=\frac{4{ϵ}_1{V}_{22}^{\mathsf{M}}}{{\hslash }^2{\left(\cos \alpha \right)}^2},\Delta (\mathit{ϵ};\sigma ):=\frac{{(a^{\mathsf{M}})}^2}{V_{11}^{\mathsf{M}}+{ϵ}_1}+\frac{{(b^{\mathsf{M}})}^2}{V_{22}^{\mathsf{M}}+\frac{{\hslash }^2}{4{ϵ}_1}{\left(\cos \alpha \right)}^2}.$$

The existence of the above states ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})$ is guaranteed by Proposition 3.

Proof. 

By Proposition 3, maximizing the error function over the states in ${\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}$ is the same as maximizing (57) over the parameters $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)$ satisfying (55) and (64) (note that in the bias $\Delta (\rho ,\mathsf{M})$, the variances $\mathrm{Var}{\mathsf{M}}_{1,\rho }$ and $\mathrm{Var}{\mathsf{M}}_{2,\rho }$ depend on $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)$ by (54)).

(i)

In the case ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, the thresholds themselves satisfy Heisenberg uncertainty relation, and so equality (66) follows from the expression (57) and the fact the functions $s(x)$, $s(y)$, $\Delta (\rho ,\mathsf{M})$ are decreasing in $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)$.

(ii)

In the case ${\displaystyle {ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, we have to take into account the relation (55) for $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)$: the supremum of $S(\rho ,\mathsf{M})$ is achieved when $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)=\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2$, with $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\ge {ϵ}_1$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)\ge {ϵ}_2$. Then inequality (67) follows by choosing $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)={ϵ}_1$ and ${\displaystyle \mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)=\frac{{\hslash }^2}{4{ϵ}_1}{\left(\cos \alpha \right)}^2}$.

 ☐

Remark 10.

The conditions on the states ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})$ do not depend on $\mathsf{M}$, but only on the parameters defining ${\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}$. Thus, in the case ${ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2$, any choice of ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})$ yields a state which is the worst one for every Gaussian approximate joint measurement $\mathsf{M}$.

6.1.3. Entropic Incompatibility Degree of ${\mathsf{Q}}_u$ and ${\mathsf{P}}_v$

The last step is to optimize the state independent $\mathit{ϵ}$-entropic divergence (65) over all the approximate joint measurements of ${\mathsf{Q}}_{\mathit{u}}$ and ${\mathsf{P}}_{\mathit{v}}$. This is done in the next definition.

Definition 11.

The Gaussian $\mathit{ϵ}$-entropic incompatibility degree of ${\mathsf{Q}}_{\mathit{u}}$, ${\mathsf{P}}_{\mathit{v}}$ is

$$c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ}):=\underset{\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G}{\inf }{D}_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel \mathsf{M})\equiv \underset{\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G}{\inf }\underset{\rho \in {\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}}{\sup }S(\rho ,\mathsf{M}).$$

(68)

Again, depending on the choice of the thresholds ${ϵ}_1$ and ${ϵ}_2$, the entropic incompatibility degree $c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})$ can be easily computed or at least bounded.

Theorem 3. 

(i) 

For ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, the incompatibility degree $c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})$ is given by

$$c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})=(\log \mathrm{e})\left\{\ln \left(1+\frac{\hslash \left|\cos \alpha \right|}{2\sqrt{{ϵ}_1{ϵ}_2}}\right)-\frac{\hslash \left|\cos \alpha \right|}{2\sqrt{{ϵ}_1{ϵ}_2}+\hslash \left|\cos \alpha \right|}\right\}.$$

(69)

The infimum in (68) is attained and the optimal measurement is unique, in the sense that

$$c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})=D_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel {\mathsf{M}}_{\mathit{ϵ}})$$

(70)

for a unique ${\mathsf{M}}_{\mathit{ϵ}}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G$; such a bi-observable is characterized by

$$a^{{\mathsf{M}}_{\mathit{ϵ}}}=0,b^{{\mathsf{M}}_{\mathit{ϵ}}}=0,V_{11}^{{\mathsf{M}}_{\mathit{ϵ}}}=\frac{\hslash }{2}\sqrt{\frac{{ϵ}_1}{{ϵ}_2}}\left|\cos \alpha \right|,V_{22}^{{\mathsf{M}}_{\mathit{ϵ}}}=\frac{\hslash }{2}\sqrt{\frac{{ϵ}_2}{{ϵ}_1}}\left|\cos \alpha \right|,V_{12}^{{\mathsf{M}}_{\mathit{ϵ}}}=0.$$

(71)

(ii) 

For ${\displaystyle {ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, the incompatibility degree $c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})$ is bounded from below by

$$c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})\ge (\log \mathrm{e})\left\{\ln \left(2\right)-\frac{1}{2}\right\}.$$

(72)

The latter bound is

$$(\log \mathrm{e})\left\{\ln \left(2\right)-\frac{1}{2}\right\}=S\left({\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v}),{\mathsf{M}}_{\mathit{ϵ}}\right)=\underset{\mathsf{M}\in {\mathcal{C}}_{\mathit{u},\mathit{v}}^G}{\inf }S\left({\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v}),\mathsf{M}\right),$$

(73)

where the state ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})$ is defined in item (ii) of Theorem 2 and ${\mathsf{M}}_{\mathit{ϵ}}$ is the bi-observable in ${\mathcal{C}}_{\mathit{u},\mathit{v}}^G$ such that

$$a^{{\mathsf{M}}_{\mathit{ϵ}}}=0,b^{{\mathsf{M}}_{\mathit{ϵ}}}=0,V_{11}^{{\mathsf{M}}_{\mathit{ϵ}}}={ϵ}_1,V_{22}^{{\mathsf{M}}_{\mathit{ϵ}}}=\frac{{\hslash }^2}{4{ϵ}_1}{\left(\cos \alpha \right)}^2,V_{12}^{{\mathsf{M}}_{\mathit{ϵ}}}=0.$$

(74)

Proof. 

(i)

In the case ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, due to (66), the proof is the same as that of Theorem 1 with the replacements $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mapsto {ϵ}_1$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)\mapsto {ϵ}_2$.

(ii)

In the case ${\displaystyle {ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, starting from (67), the proof is the same as that of Theorem 1 with the replacements $\mathrm{Var}\left({\mathsf{Q}}_{\mathit{u},\rho }\right)\mapsto {ϵ}_1$ and $\mathrm{Var}\left({\mathsf{P}}_{\mathit{v},\rho }\right)\mapsto \frac{{\hslash }^2}{4{ϵ}_1}{\left(\cos \alpha \right)}^2$.

 ☐

Remark 11 (State independent MUR, scalar observables).

By means of the above results, we can formulate a state independent entropic MUR for the position $Q_{\mathit{u}}$ and the momentum $P_{\mathit{v}}$ in the following way. Chosen two positive thresholds ${ϵ}_1$ and ${ϵ}_2$, there exists a preparation ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})\in {\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}$ (introduced in Theorem 2) such that, for all Gaussian approximate joint measurements $\mathsf{M}$ of $Q_{\mathit{u}}$ and $P_{\mathit{v}}$, we have

$$\begin{array}{c}S({\mathsf{Q}}_{\mathit{u},{\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})}\parallel {\mathsf{M}}_{1,{\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})})+S({\mathsf{P}}_{\mathit{v},{\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})}\parallel {\mathsf{M}}_{2,{\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})})\hfill \\ \hfill \hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\hspace{1em}\ge \left\{\begin{array}{cc}{\displaystyle (\log \mathrm{e})\left\{\ln \left(1+\frac{\hslash \left|\cos \alpha \right|}{2\sqrt{{ϵ}_1{ϵ}_2}}\right)-\frac{\hslash \left|\cos \alpha \right|}{2\sqrt{{ϵ}_1{ϵ}_2}+\hslash \left|\cos \alpha \right|}\right\},}\hfill & {\displaystyle \mathrm{if}{ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2,}\hfill \\ {\displaystyle (\log \mathrm{e})\left\{\ln \left(2\right)-\frac{1}{2}\right\},}\hfill & {\displaystyle \mathrm{if}{ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2.}\hfill \end{array}\right.\end{array}$$

(75)

The inequality follows by (66) and (69) in the case ${ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2$, and (73) in the case ${ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2$.

What is relevant is that, for every approximate joint measurement $\mathsf{M}$, the total information loss $S(\rho ,\mathsf{M})$ does exceed the lower bound (75) even if the set of states ${\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}$ forbids preparations ρ with too peaked target distributions. Indeed, without the thresholds ${ϵ}_1$, ${ϵ}_2$, it would be trivial to exceed the lower bound (75), as we noted in Section 6.1.2.

We also remark that, chosen ${ϵ}_1$ and ${ϵ}_2$, we found a single state ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})$ in ${\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}$ that satisfies (75) for every $\mathsf{M}$, so that ${\rho }_{\mathit{ϵ}}(\mathit{u},\mathit{v})$ is a ‘bad’ state for all Gaussian approximate joint measurements of position and momentum.

When ${ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2$, the optimal approximate joint measurement ${\mathsf{M}}_{\mathit{ϵ}}$ is unique in the class of Gaussian $(\mathit{u},\mathit{v})$-covariant bi-observables; it depends only on the class of preparations ${\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}$: it is the best measurement for the worst choice of the preparation in the class ${\mathcal{G}}_{\mathit{ϵ}}^{\mathit{u},\mathit{v}}$.

Remark 12.

The entropic incompatibility degree $c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})$ is strictly positive for $\cos \alpha \ne 0$ (incompatible target observables) and it goes to zero in the limits $\alpha \to \pm \pi /2$ (compatible observables), $\hslash \to 0$ (classical limit), and ${ϵ}_1{ϵ}_2\to \infty$ (large uncertainty states).

Remark 13.

The scale invariance of the relative entropy extends to the error function $S(\rho ,\mathsf{M})$, hence to the divergence $D_{\mathit{ϵ}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}}\parallel \mathsf{M})$ and the entropic incompatibility degree $c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})$, as well as the entropic MUR (75).

6.2. Vector Observables

Now the target observables are $\mathit{Q}$ and $\mathit{P}$ given in (3), with pvm’s $\mathsf{Q}$ and $\mathsf{P}$; the approximating bi-observables are the covariant phase-space observables $\mathcal{C}$ of Definition 5. Each bi-observable $\mathsf{M}\in \mathcal{C}$ is of the form $\mathsf{M}={\mathsf{M}}^{\sigma }$ for some $\sigma \in \mathcal{S}$, where ${\mathsf{M}}^{\sigma }$ is given by (43). ${\mathcal{C}}^G$ is the subset of the Gaussian bi-observables in $\mathcal{C}$, and ${\mathsf{M}}^{\sigma }\in {\mathcal{C}}^G$ if and only if $\sigma$ is a Gaussian state.

We proceed to define the analogues of the scalar quantities introduced in Section 6.1.1, Section 6.1.2 and Section 6.1.3. In order to do it, in the next proposition we recall some known results on matrices.

Proposition 14.

([50,51,52,65]). Let $M_1$ and $M_2$ be $n\times n$ complex matrices such that $M_1>M_2>0$. Then, we have $0<M_1^{-1}<M_2^{-1}$. Moreover, if $s:{\mathbb{R}}_{+}\to \mathbb{R}$ is a strictly increasing continuous function, we have $\mathrm{Tr}\{s(M_1)\}>\mathrm{Tr}\{s(M_2)\}$.

6.2.1. Error Function

Definition 12.

Given the preparation $\rho \in \mathcal{S}$ and the covariant phase-space observable ${\mathsf{M}}^{\sigma }$, with $\sigma \in \mathcal{S}$, the error function for the vector case is the sum of the two relative entropies:

$$S(\rho ,{\mathsf{M}}^{\sigma }):=S({\mathsf{Q}}_{\rho }\parallel {\mathsf{M}}_{1,\rho }^{\sigma })+S({\mathsf{P}}_{\rho }\parallel {\mathsf{M}}_{2,\rho }^{\sigma }).$$

(76)

As in the scalar case, the error function is scale invariant, it quantifies a relative error, and we always have $S(\rho ,{\mathsf{M}}^{\sigma })>0$ because position and momentum are incompatible. Indeed, since the marginals of a bi-observable ${\mathsf{M}}^{\sigma }\in \mathcal{C}$ turn out to be convolutions of the respective sharp observables $\mathsf{Q}$ and $\mathsf{P}$ with some probability densities on ${\mathbb{R}}^n$, ${\mathsf{Q}}_{\rho }\ne {\mathsf{M}}_{1,\rho }^{\sigma }$ and ${\mathsf{P}}_{\rho }\ne {\mathsf{M}}_{2,\rho }^{\sigma }$ for all states $\rho$; this is an easy consequence, for instance, of Problem 26.1, p. 362, in [66].

In the Gaussian case the error function can be explicitly computed.

Proposition 15 (Error function for the vector Gaussian case).

For $\rho ,\sigma \in \mathcal{G}$, the error function has the two equivalent expressions:

$$\begin{array}{cc}\hfill S(\rho ,{\mathsf{M}}^{\sigma })& =\frac{\log \mathrm{e}}{2}\left[\mathrm{Tr}\left\{s(E_{\rho ,\sigma })+s(F_{\rho ,\sigma })\right\}+{\mathit{a}}^{\sigma }·{(A^{\rho }+A^{\sigma })}^{-1}{\mathit{a}}^{\sigma }+{\mathit{b}}^{\sigma }·{(B^{\rho }+B^{\sigma })}^{-1}{\mathit{b}}^{\sigma }\right]\hfill \end{array}$$

(77a)

$$\begin{array}{cc}\hfill & \phantom{S(\rho ,{\mathsf{M}}^{\sigma })}=\frac{\log \mathrm{e}}{2}\left[\mathrm{Tr}\left\{s(N_{\rho ,\sigma }^{-1})+s(R_{\rho ,\sigma }^{-1})\right]+{\mathit{a}}^{\sigma }·{(A^{\rho }+A^{\sigma })}^{-1}{\mathit{a}}^{\sigma }+{\mathit{b}}^{\sigma }·{(B^{\rho }+B^{\sigma })}^{-1}{\mathit{b}}^{\sigma }\right],\hfill \end{array}$$

(77b)

where the function s is defined in (58), and

$$E_{\rho ,\sigma }:={(A^{\rho })}^{-1/2}{A}^{\sigma }{(A^{\rho })}^{-1/2},F_{\rho ,\sigma }:={(B^{\rho })}^{-1/2}{B}^{\sigma }{(B^{\rho })}^{-1/2},$$

(78a)

$$N_{\rho ,\sigma }:={(A^{\sigma })}^{-1/2}{A}^{\rho }{(A^{\sigma })}^{-1/2},R_{\rho ,\sigma }:={(B^{\sigma })}^{-1/2}{B}^{\rho }{(B^{\sigma })}^{-1/2}.$$

(78b)

Proof. 

First of all, recall that

$$\begin{array}{cc}\hfill {\mathsf{Q}}_{\rho }& =\mathcal{N}({\mathit{a}}^{\rho };A^{\rho }),{\mathsf{M}}_{1,\rho }^{\sigma }=\mathcal{N}({\mathit{a}}^{\rho }+{\mathit{a}}^{\sigma };A^{\rho }+A^{\sigma })\hfill \\ \hfill {\mathsf{P}}_{\rho }& =\mathcal{N}({\mathit{b}}^{\rho };B^{\rho }),{\mathsf{M}}_{2,\rho }^{\sigma }=\mathcal{N}({\mathit{b}}^{\rho }+{\mathit{b}}^{\sigma };B^{\rho }+B^{\sigma }).\hfill \end{array}$$

A direct application of (34) yields

$$S({\mathsf{Q}}_{\rho }\parallel {\mathsf{M}}_{1,\rho }^{\sigma })=\frac{1}{2}\log \frac{\det (A^{\rho }+A^{\sigma })}{\det A^{\rho }}+\frac{\log \mathrm{e}}{2}\left[\mathrm{Tr}\left\{{(A^{\rho }+A^{\sigma })}^{-1}{A}^{\rho }-\mathrm{𝟙}\right\}+{\mathit{a}}^{\sigma }·{(A^{\rho }+A^{\sigma })}^{-1}{\mathit{a}}^{\sigma }\right].$$

We can transform this equation by using

$$\frac{\det \left(A^{\sigma }+A^{\rho }\right)}{\det A^{\rho }}=\det \left[{(A^{\rho })}^{-1/2}\left(A^{\sigma }+A^{\rho }\right){(A^{\rho })}^{-1/2}\right]=\det \left(\mathrm{𝟙}+E_{\rho ,\sigma }\right),$$

$$\ln \det \left(\mathrm{𝟙}+E_{\rho ,\sigma }\right)=\mathrm{Tr}\left\{\ln \left(\mathrm{𝟙}+E_{\rho ,\sigma }\right)\right\},$$

$$\mathrm{Tr}\left\{{(A^{\rho }+A^{\sigma })}^{-1}{A}^{\rho }-\mathrm{𝟙}\right\}=\mathrm{Tr}\left\{{(A^{\rho })}^{1/2}{(A^{\rho }+A^{\sigma })}^{-1}{(A^{\rho })}^{1/2}-\mathrm{𝟙}\right\}=-\mathrm{Tr}\left\{{(\mathrm{𝟙}+E_{\rho ,\sigma })}^{-1}{E}_{\rho ,\sigma }\right\}.$$

This gives

$$S({\mathsf{Q}}_{\rho }\parallel {\mathsf{M}}_{1,\rho }^{\sigma })=\frac{\log \mathrm{e}}{2}\left[\mathrm{Tr}\{s(E_{\rho ,\sigma })\}+{\mathit{a}}^{\sigma }·{(A^{\rho }+A^{\sigma })}^{-1}{\mathit{a}}^{\sigma }\right].$$

In the same way a similar expression is obtained for $S({\mathsf{P}}_{\rho }\parallel {\mathsf{M}}_{2,\rho }^{\sigma })$ and (77a) is proved.

On the other hand, by using

$$\ln \frac{\det \left(A^{\sigma }+A^{\rho }\right)}{\det A^{\rho }}=\ln \frac{\det \left(\mathrm{𝟙}+N_{\rho ,\sigma }\right)}{\det N_{\rho ,\sigma }}=\ln \det \left(\mathrm{𝟙}+N_{\rho ,\sigma }^{-1}\right)=\mathrm{Tr}\left\{\ln \left(\mathrm{𝟙}+N_{\rho ,\sigma }^{-1}\right)\right\},$$

$$\mathrm{Tr}\left\{{(A^{\rho }+A^{\sigma })}^{-1}{A}^{\rho }-\mathrm{𝟙}\right\}=-\mathrm{Tr}\left\{{\left(A^{\rho }+A^{\sigma }\right)}^{-1}{A}^{\sigma }\right\}=-\mathrm{Tr}\left\{{\left(\mathrm{𝟙}+N_{\rho ,\sigma }^{-1}\right)}^{-1}{N}_{\rho ,\sigma }^{-1}\right\},$$

and the analogous expressions involving $B^{\rho }$ and $R_{\rho ,\sigma }$, one gets (77b). ☐

State Dependent Lower Bound

In principle, a state dependent lower bound for the error function could be found by analogy with Theorem 1, by taking again the infimum over all joint covariant measurements, that is ${\inf }_{\sigma }S(\rho ,{\mathsf{M}}^{\sigma })$. By considering only Gaussian states $\rho$ and measurements ${\mathsf{M}}^{\sigma }$, from (18), (77a) and (78a), the infimum over $\sigma \in \mathcal{G}$ can be reduced to an infimum over the matrices $A^{\sigma }$:

$$\underset{\sigma \in \mathcal{G}}{\inf }S(\rho ,{\mathsf{M}}^{\sigma })=\frac{\log \mathrm{e}}{2}\underset{A^{\sigma }}{\inf }\mathrm{Tr}\left\{s\left({(A^{\rho })}^{-1/2}{A}^{\sigma }{(A^{\rho })}^{-1/2}\right)+s\left(\frac{{\hslash }^2}{4}{(B^{\rho })}^{-1/2}{(A^{\sigma })}^{-1}{(B^{\rho })}^{-1/2}\right)\right\}.$$

The above equality follows since the monotonicity of s (Proposition 14) implies that the trace term in (77a) attains its minimum when $B^{\sigma }=\frac{{\hslash }^2}{4}{(A^{\rho })}^{-1}$. However, it remains an open problem to explicitly compute the infimum over the matrices $A^{\sigma }$ when the preparation $\rho$ is arbitrary.

Nevertheless, the computations can be done at least for a preparation ${\rho }_{*}$ of minimum uncertainty (Proposition 5). Indeed, by (22) we get

$$\underset{\sigma \in \mathcal{G}}{\inf }S({\rho }_{*},{\mathsf{M}}^{\sigma })=\frac{\log \mathrm{e}}{2}\underset{A^{\sigma }}{\inf }\mathrm{Tr}\left\{s\left(E_{\rho ,\sigma }\right)+s\left(E_{\rho ,\sigma }^{-1}\right)\right\}.$$

Now we can diagonalize $E_{\rho ,\sigma }$ and minimize over its eigenvalues; since $s(x)+s(x^{-1})$ attains its minimum value at $x=1$, this procedure gives $E_{\rho ,\sigma }=\mathrm{𝟙}$. So, by denoting by ${\sigma }_{*}$ the state giving the minimum, we have

$$A^{{\sigma }_{*}}=A^{{\rho }_{*}},B^{{\sigma }_{*}}=B^{{\rho }_{*}}=\frac{{\hslash }^2}{4}{\left(A^{{\rho }_{*}}\right)}^{-1},$$

(79)

$$\underset{\sigma \in \mathcal{G}}{\inf }S({\rho }_{*},{\mathsf{M}}^{\sigma })=S({\rho }_{*},{\mathsf{M}}^{{\sigma }_{*}})=ns(1)\log \mathrm{e}.$$

(80)

For an arbitrary $\rho \in \mathcal{G}$, we can use the last formula to deduce an upper bound for ${\inf }_{\sigma \in \mathcal{G}}S(\rho ,{\mathsf{M}}^{\sigma })$. Indeed, if ${\rho }_{*}$ is a minimum uncertainty state with $A^{{\rho }_{*}}=A^{\rho }$, then $B^{\rho }\ge \frac{{\hslash }^2}{4}{(A^{\rho })}^{-1}=B^{{\rho }_{*}}$ by (19), and, using again the state ${\sigma }_{*}$ of (79), we find

$$\underset{\sigma \in \mathcal{G}}{\inf }S(\rho ,{\mathsf{M}}^{\sigma })\le S(\rho ,{\mathsf{M}}^{{\sigma }_{*}})\le S({\rho }_{*},{\mathsf{M}}^{{\sigma }_{*}})=ns(1)\log \mathrm{e}.$$

The second inequality in the last formula follows from (77b), (78b) and the monotonicity of s (Proposition 14).

6.2.2. Entropic Divergence of $\mathsf{Q},\mathsf{P}$ from ${\mathsf{M}}^{\sigma }$

In order to define a state independent measure of the error made in regarding the marginals of ${\mathsf{M}}^{\sigma }$ as approximations of $\mathsf{Q}$ and $\mathsf{P}$, we can proceed along the lines of the scalar case in Section 6.1.2. To this end, we introduce the following vector analogue of the Gaussian states defined in (64):

$${\mathcal{G}}_{\mathit{ϵ}}:=\left\{\rho \in \mathcal{G}:A^{\rho }\ge {ϵ}_1\mathrm{𝟙},B^{\rho }\ge {ϵ}_2\mathrm{𝟙}\right\},\mathit{ϵ}\equiv ({ϵ}_1,{ϵ}_2),{ϵ}_i>0.$$

(81)

In the vector case, Definition 10 then reads as follows.

Definition 13.

The Gaussian $\mathit{ϵ}$-entropic divergence of $\mathsf{Q},\mathsf{P}$ from ${\mathsf{M}}^{\sigma }\in \mathcal{C}$ is

$$D_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma }):=\underset{\rho \in {\mathcal{G}}_{\mathit{ϵ}}}{\sup }S(\rho ,{\mathsf{M}}^{\sigma }).$$

(82)

As in the scalar case, when ${\mathsf{M}}^{\sigma }$ is Gaussian, depending on the choice of the product ${ϵ}_1{ϵ}_2$, we can compute the divergence $D_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma })$ or at least bound it from below.

Theorem 4.

Let the bi-observable ${\mathsf{M}}^{\sigma }\in {\mathcal{C}}^G$ be fixed.

(i) 

For ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}}$, the divergence $D_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma })$ is given by

$$\begin{array}{c}{D}_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma })=S({\rho }_{\mathit{ϵ}},{\mathsf{M}}^{\sigma })=\frac{\log \mathrm{e}}{2}[\mathrm{Tr}\left\{s\left(A^{\sigma }/{ϵ}_1\right)+s\left(B^{\sigma }/{ϵ}_2\right)\right\}\hfill \\ \hfill +{\mathit{a}}^{\sigma }·{(A^{\sigma }+{ϵ}_1\mathrm{𝟙})}^{-1}{\mathit{a}}^{\sigma }+{\mathit{b}}^{\sigma }·{(B^{\sigma }+{ϵ}_2\mathrm{𝟙})}^{-1}{\mathit{b}}^{\sigma }],\end{array}$$

(83)

where ${\rho }_{\mathit{ϵ}}$ is any Gaussian state with $A^{{\rho }_{\mathit{ϵ}}}={ϵ}_1\mathrm{𝟙}$ and $B^{{\rho }_{\mathit{ϵ}}}={ϵ}_2\mathrm{𝟙}$.

(ii) 

For ${\displaystyle {ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}}$, the divergence $D_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma })$ is bounded from below by

$$\begin{array}{c}{D}_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma })\ge S({\rho }_{\mathit{ϵ}},{\mathsf{M}}^{\sigma })=\frac{\log \mathrm{e}}{2}[\mathrm{Tr}\left\{s\left(A^{\sigma }/{ϵ}_1\right)+s\left(4{ϵ}_1{B}^{\sigma }/{\hslash }^2\right)\right\}\hfill \\ \hfill +{\mathit{a}}^{\sigma }·{(A^{\sigma }+{ϵ}_1\mathrm{𝟙})}^{-1}{\mathit{a}}^{\sigma }+{\mathit{b}}^{\sigma }·{\left(B^{\sigma }+\frac{{\hslash }^2}{4{ϵ}_1}\mathrm{𝟙}\right)}^{-1}{\mathit{b}}^{\sigma }],\end{array}$$

(84)

where ${\rho }_{\mathit{ϵ}}$ is any Gaussian state with $A^{{\rho }_{\mathit{ϵ}}}={ϵ}_1\mathrm{𝟙}$ and ${\displaystyle B^{{\rho }_{\mathit{ϵ}}}=\frac{{\hslash }^2}{4{ϵ}_1}\mathrm{𝟙}}$.

Proof. 

(i)

In the case ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}}$, for $\rho \in {\mathcal{G}}_{\mathit{ϵ}}$ we have $N_{\rho ,\sigma }\ge {ϵ}_1{(A^{\sigma })}^{-1}$ and $R_{\rho ,\sigma }\ge {ϵ}_2{(B^{\sigma })}^{-1}$; by Proposition 14 we get

$$\mathrm{Tr}\{s(N_{\rho ,\sigma }^{-1})\}\le \mathrm{Tr}\left\{s\left(A^{\sigma }/{ϵ}_1\right)\right\},\mathrm{Tr}\{s(R_{\rho ,\sigma }^{-1})\}\le \mathrm{Tr}\left\{s\left(B^{\sigma }/{ϵ}_2\right)\right\},$$

$${(A^{\rho }+A^{\sigma })}^{-1}\le {({ϵ}_1\mathrm{𝟙}+A^{\sigma })}^{-1},{(B^{\rho }+B^{\sigma })}^{-1}\le {({ϵ}_2\mathrm{𝟙}+B^{\sigma })}^{-1}.$$

By using these inequalities in the expression (77b), we get (83).

(ii)

In the case ${\displaystyle {ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}}$, the lower bound (84) follows by evaluating $S(\rho ,{\mathsf{M}}^{\sigma })$ at the state $\rho ={\rho }_{\mathit{ϵ}}\in {\mathcal{G}}_{\mathit{ϵ}}$ with $A^{{\rho }_{\mathit{ϵ}}}={ϵ}_1\mathrm{𝟙}$ and ${\displaystyle B^{{\rho }_{\mathit{ϵ}}}=\frac{{\hslash }^2}{4{ϵ}_1}\mathrm{𝟙}}$.

 ☐

Note that ${\rho }_{\mathit{ϵ}}$ does not depend on $\sigma$, but only on the parameters defining ${\mathcal{G}}_{\mathit{ϵ}}$: again, in the case ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}}$, the error attains its maximum at a state which is independent of the approximate measurement.

6.2.3. Entropic Incompatibility Degree of $\mathsf{Q}$ and $\mathsf{P}$

By analogy with Section 6.1.3, we can optimize the $\mathit{ϵ}$-entropic divergence over all the approximate joint measurements of $\mathit{Q}$ and $\mathit{P}$.

Definition 14.

The Gaussian $\mathit{ϵ}$-entropic incompatibility degree of $\mathsf{Q}$ and $\mathsf{P}$ is

$$c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ}):=\underset{\sigma \in \mathcal{G}}{\inf }{D}_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma })\equiv \underset{\sigma \in \mathcal{G}}{\inf }\underset{\rho \in {\mathcal{G}}_{\mathit{ϵ}}}{\sup }S(\rho ,{\mathsf{M}}^{\sigma }).$$

(85)

Again, depending on the product ${ϵ}_1{ϵ}_2$, we can compute or at least bound $c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ})$ from below.

Theorem 5. 

(i) 

For ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}}$, the incompatibility degree $c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ})$ is given by

$$c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ})=n\left(\log \mathrm{e}\right)\left\{\ln \left(1+\frac{\hslash }{2\sqrt{{ϵ}_1{ϵ}_2}}\right)-\frac{\hslash }{2\sqrt{{ϵ}_1{ϵ}_2}+\hslash }\right\}.$$

(86)

The infimum in (85) is attained and the optimal measurement is unique, in the sense that

$$c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ})=D_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{{\sigma }_{\mathit{ϵ}}})$$

(87)

for a unique ${\sigma }_{\mathit{ϵ}}\in \mathcal{G}$; such a state is the minimal uncertainty state characterized by

$${\mathit{a}}^{{\sigma }_{\mathit{ϵ}}}=\mathbf{0},{\mathit{b}}^{{\sigma }_{\mathit{ϵ}}}=\mathbf{0},A^{{\sigma }_{\mathit{ϵ}}}=\frac{\hslash }{2}\sqrt{\frac{{ϵ}_1}{{ϵ}_2}}\mathrm{𝟙},B^{{\sigma }_{\mathit{ϵ}}}=\frac{\hslash }{2}\sqrt{\frac{{ϵ}_2}{{ϵ}_1}}\mathrm{𝟙},C^{{\sigma }_{\mathit{ϵ}}}=0.$$

(88)

(ii) 

For ${\displaystyle {ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}{\left(\cos \alpha \right)}^2}$, the incompatibility degree $c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ})$ is bounded from below by

$$c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ})\ge n(\log \mathrm{e})\left\{\ln \left(2\right)-\frac{1}{2}\right\}.$$

(89)

The latter bound is

$$n(\log \mathrm{e})\left\{\ln \left(2\right)-\frac{1}{2}\right\}=S({\rho }_{\mathit{ϵ}},{\mathsf{M}}^{{\sigma }_{\mathit{ϵ}}})=\underset{\sigma \in \mathcal{G}}{\inf }S({\rho }_{\mathit{ϵ}},{\mathsf{M}}^{\sigma }),$$

(90)

where the preparation ${\rho }_{\mathit{ϵ}}$ is defined in item (ii) of Theorem 4 and ${\sigma }_{\mathit{ϵ}}$ is the state in $\mathcal{G}$ such that

$${\mathit{a}}^{{\sigma }_{\mathit{ϵ}}}=\mathbf{0},{\mathit{b}}^{{\sigma }_{\mathit{ϵ}}}=\mathbf{0},A^{{\sigma }_{\mathit{ϵ}}}={ϵ}_1\mathrm{𝟙},B^{{\sigma }_{\mathit{ϵ}}}=\frac{{\hslash }^2}{4{ϵ}_1}\mathrm{𝟙},C^{{\sigma }_{\mathit{ϵ}}}=0.$$

(91)

Proof. 

(i)

In the case ${\displaystyle {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}}$, from the expression (83) we get immediately ${\mathit{a}}^{{\sigma }_{\mathit{ϵ}}}=\mathbf{0}$, ${\mathit{b}}^{{\sigma }_{\mathit{ϵ}}}=\mathbf{0}$ and by (19) we have $B^{\sigma }\ge \frac{{\hslash }^2}{4}{(A^{\sigma })}^{-1}$. So, by (83) and Propositions 3 and 14, we get $B^{\sigma }=\frac{{\hslash }^2}{4}{(A^{\sigma })}^{-1}$, and

$$\underset{\sigma \in \mathcal{G}}{\inf }\underset{\rho \in {\mathcal{G}}_{\mathit{ϵ}}}{\sup }S(\rho ,{\mathsf{M}}^{\sigma })=\frac{\log \mathrm{e}}{2}\underset{A^{\sigma }}{\inf }\mathrm{Tr}\left\{s\left(A^{\sigma }/{ϵ}_1\right)+s\left(\frac{{\hslash }^2}{4{ϵ}_2}{(A^{\sigma })}^{-1}\right)\right\}.$$

By minimizing over all the eigenvalues of $A^{\sigma }$, we get the minimum (86), which is attained if and only if $A^{\sigma }$ is as in (88). Hence, $A^{{\sigma }_{\mathit{ϵ}}}$ and $B^{{\sigma }_{\mathit{ϵ}}}$ are as in (88). This implies that any optimal state ${\sigma }_{\mathit{ϵ}}$ is a minimum uncertainty state; so, $C^{{\sigma }_{\mathit{ϵ}}}=0$ and the state ${\sigma }_{\mathit{ϵ}}$ is unique.

(ii)

In the case ${\displaystyle {ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}}$, by (19) and Proposition 14, inequality (84) implies

$$\underset{\sigma \in \mathcal{G}}{\inf }\underset{\rho \in {\mathcal{G}}_{\mathit{ϵ}}}{\sup }S(\rho ,{\mathsf{M}}^{\sigma })\ge \frac{\log \mathrm{e}}{2}\underset{A^{\sigma }}{\inf }\mathrm{Tr}\left\{s\left(A^{\sigma }/{ϵ}_1\right)+s\left({ϵ}_1{(A^{\sigma })}^{-1}\right)\right\}.$$

By minimizing over all the eigenvalues of $A^{\sigma }$, we get (89). Then (89) holds for ${\rho }_{\mathit{ϵ}}$ as in item (ii) of Theorem 4 and ${\sigma }_{\mathit{ϵ}}$ in (91).

 ☐

Remark 14 (State independent MUR, vector observables).

By means of the above results, we can formulate the following state independent entropic MUR for the position $\mathit{Q}$ and momentum $\mathit{P}$. Chosen two positive thresholds ${ϵ}_1$ and ${ϵ}_2$, there exists a preparation ${\rho }_{\mathit{ϵ}}\in {\mathcal{G}}_{\mathit{ϵ}}$ (introduced in Theorem 4) such that, for all Gaussian approximate joint measurements ${\mathsf{M}}^{\sigma }$ of $\mathsf{Q}$ and $\mathsf{P}$, we have

$$\begin{array}{cc}\hfill S({\mathsf{Q}}_{{\rho }_{\mathit{ϵ}}}\parallel {\mathsf{M}}_{1,{\rho }_{\mathit{ϵ}}}^{\sigma })+S({\mathsf{P}}_{{\rho }_{\mathit{ϵ}}}\parallel {\mathsf{M}}_{2,{\rho }_{\mathit{ϵ}}}^{\sigma })& \hfill \\ \hfill & \ge \left\{\begin{array}{cc}{\displaystyle n\left(\log \mathrm{e}\right)\left\{\ln \left(1+\frac{\hslash }{2\sqrt{{ϵ}_1{ϵ}_2}}\right)-\frac{\hslash }{2\sqrt{{ϵ}_1{ϵ}_2}+\hslash }\right\},}\hfill & {\displaystyle \mathit{if}{ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4},}\hfill \\ {\displaystyle n(\log \mathrm{e})\left\{\ln \left(2\right)-\frac{1}{2}\right\},}\hfill & {\displaystyle \mathit{if}{ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}.}\hfill \end{array}\right.\hfill \end{array}$$

(92)

The inequality follows by (83) and (86) for ${ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}$, and (90) for ${ϵ}_1{ϵ}_2<\frac{{\hslash }^2}{4}$.

Thus, also in the vector case, for every approximate joint measurement ${\mathsf{M}}^{\sigma }$, the total information loss $S(\rho ,{\mathsf{M}}^{\sigma })$ does exceed the lower bound (92) even if ${\mathcal{G}}_{\mathit{ϵ}}$ forbids preparations ρ with too peaked target distributions. Moreover, chosen ${ϵ}_1$ and ${ϵ}_2$, one can fix again a single ‘bad’ state ${\rho }_{\mathit{ϵ}}$ in ${\mathcal{G}}_{\mathit{ϵ}}$ that satisfies (92) for all Gaussian approximate joint measurements ${\mathsf{M}}^{\sigma }$ of $\mathit{Q}$ and $\mathit{P}$.

Whenever ${ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}$, the optimal approximating joint measurement ${\mathsf{M}}^{{\sigma }_{\mathit{ϵ}}}$ is unique in the class of Gaussian covariant bi-observables; it corresponds to a minimum uncertainty state ${\sigma }_{\mathit{ϵ}}$ which depends only on the chosen class of preparations ${\mathcal{G}}_{\mathit{ϵ}}$, that is, on the thresholds ${ϵ}_1$ and ${ϵ}_2$: ${\mathsf{M}}^{{\sigma }_{\mathit{ϵ}}}$ is the best measurement for the worst choice of the preparation in that class.

Remark 15.

For $n=1$, the vector lower bound in (92) reduces to the scalar lower bound found in (75) for two parallel directions $\mathit{u}$ and $\mathit{v}$; for $n\ge 1$, the bound linearly increases with n.

Remark 16.

The entropic incompatibility degree $c_{\mathrm{inc}}^G({\mathsf{Q}}_{\mathit{u}},{\mathsf{P}}_{\mathit{v}};\mathit{ϵ})$ is strictly positive for $\cos \alpha \ne 0$ (incompatible target observables) and it goes to zero in the limit $\alpha \to \pm \pi /2$ (compatible observables), $\hslash \to 0$ (classical limit), and ${ϵ}_1{ϵ}_2\to \infty$ (large uncertainty states).

Remark 17.

Similarly to Remark 6 for scalar target observables, also the MUR (92) is actually ineffective for macroscopic systems. Indeed, suppose we are concerned with position and momentum of a macroscopic particle, say the center of mass of a multi-particle system (in this case $n=3$). The states ρ which can be prepared in practice have macroscopic widths, say $\rho \in {\mathcal{G}}_{\mathit{ϵ}}$ with ‘large’ thresholds $\mathit{ϵ}$ and ${ϵ}_1{ϵ}_2\gg {\hslash }^2/4$. Then, we consider a measuring instrument ${\mathsf{M}}^{{\sigma }_{*}}$ having a high precision with respect to this class of states, but not necessarily attaining a precision near the quantum limits. For instance, let us take ${\mathsf{M}}^{{\sigma }_{*}}\in {\mathcal{C}}^G$ with $A^{{\sigma }_{*}}={\delta }_1\mathrm{𝟙}$, $B^{{\sigma }_{*}}={\delta }_2\mathrm{𝟙}$, and $0<{\delta }_1\ll {ϵ}_1$, $0<{\delta }_2\ll {ϵ}_2$; we assume ${\mathsf{M}}^{{\sigma }_{*}}$ is also unbiased: ${\mathit{a}}^{{\sigma }_{*}}=\mathbf{0}$, $b^{{\sigma }_{*}}=\mathbf{0}$. Obviously, ${\delta }_1{\delta }_2\ge {\hslash }^2/4$ must hold. Then, $\forall \rho \in {\mathcal{G}}_{\mathit{ϵ}}$ by (77a) and (78a) we have

$$E_{\rho ,{\sigma }_{*}}=\frac{{\delta }_1}{A^{\rho }}\le \frac{{\delta }_1}{{ϵ}_1}\mathrm{𝟙},F_{\rho ,{\sigma }_{*}}=\frac{{\delta }_2}{B^{\rho }}\le \frac{{\delta }_2}{{ϵ}_2}\mathrm{𝟙},$$

$$0<S(\rho ,{\mathsf{M}}^{{\sigma }_{*}})=\frac{\log \mathrm{e}}{2}\mathrm{Tr}\left\{s(E_{\rho ,{\sigma }_{*}})+s(F_{\rho ,{\sigma }_{*}})\right\}\le \frac{n\log \mathrm{e}}{2}\left[s({\delta }_1/{ϵ}_1)+s({\delta }_2/{ϵ}_2)\right].$$

By (58) the function s is increasing and it behaves as $s(x)\simeq x^2/2$ in a neighborhood of zero; in the present case ${\delta }_1/{ϵ}_1\ll 1$ and ${\delta }_2/{ϵ}_2\ll 1$, thus implying that the error function is negligible. This is practically a ‘classical’ case: the preparation has ‘large’ position and momentum uncertainties and the measuring instrument is ‘relatively good’. In this situation we do not see the difference between the joint measurement of position and momentum and their separate sharp distributions. Of course the bound (92) continues to hold, but it is also negligible since ${ϵ}_1{ϵ}_2\gg {\hslash }^2/4$.

Remark 18.

Also in the vector case, the scale invariance of the relative entropy extends to the error function $S(\rho ,{\mathsf{M}}^{\sigma })$, the divergence $D_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma })$ and the entropic incompatibility degree $c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ})$, as well as the entropic MUR (92). Indeed, let us consider the dimensionless versions of position and momentum (35) and their associated projection valued measures $\tilde{\mathsf{Q}}$, $\tilde{\mathsf{P}}$ introduced in Section 4. Accordingly, we rescale the joint measurement ${\mathsf{M}}^{\sigma }$ of (43) in the same way, obtaining the POVM

$$\begin{array}{cc}\hfill {\tilde{\mathsf{M}}}^{\sigma }(B)& ={\int }_B{\tilde{M}}^{\sigma }(\tilde{\mathit{x}},\tilde{\mathit{p}})\mathrm{d}\tilde{\mathit{x}}\mathrm{d}\tilde{\mathit{p}},\hfill \\ \hfill {\tilde{M}}^{\sigma }(\tilde{\mathit{x}},\tilde{\mathit{p}})& =\frac{1}{{\left(2\pi \lambda \right)}^n}\exp \left\{\frac{\mathrm{i}}{\lambda }\left(\tilde{\mathit{p}}·\tilde{\mathit{Q}}-\tilde{\mathit{x}}·\tilde{\mathit{P}}\right)\right\}\Pi \sigma \Pi \exp \left\{-\frac{\mathrm{i}}{\lambda }\left(\tilde{\mathit{p}}·\tilde{\mathit{Q}}-\tilde{\mathit{x}}·\tilde{\mathit{P}}\right)\right\}.\hfill \end{array}$$

Here, both the vector variables $\tilde{\mathit{x}}$ and $\tilde{\mathit{p}}$, as well as the components of the Borel set B, are dimensionless. By the scale invariance of the relative entropy, the error function takes the same value as in the dimensioned case:

$$S({\tilde{\mathsf{Q}}}_{\rho }\parallel {\tilde{\mathsf{M}}}_{1,\rho }^{\sigma })+S({\tilde{\mathsf{P}}}_{\rho }\parallel {\tilde{\mathsf{M}}}_{2,\rho }^{\sigma })=S({\mathsf{Q}}_{\rho }\parallel {\mathsf{M}}_{1,\rho }^{\sigma })+S({\mathsf{P}}_{\rho }\parallel {\mathsf{M}}_{2,\rho }^{\sigma }).$$

(93)

Then, the scale invariance holds for the entropic divergence and incompatibility degree, too:

$$D_{\widetilde{\mathit{ϵ}}}^G(\tilde{\mathsf{Q}},\tilde{\mathsf{P}}\parallel {\tilde{\mathsf{M}}}^{\sigma })=D_{\mathit{ϵ}}^G(\mathsf{Q},\mathsf{P}\parallel {\mathsf{M}}^{\sigma }),c_{\mathrm{inc}}^G(\tilde{\mathsf{Q}},\tilde{\mathsf{P}};\widetilde{\mathit{ϵ}})=c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ}),$$

where ${\displaystyle {\widetilde{ϵ}}_1:=\frac{\varkappa {ϵ}_1}{\hslash }}$ and ${\displaystyle {\widetilde{ϵ}}_2:=\frac{{\lambda }^2{ϵ}_2}{\varkappa \hslash }}$. In particular ${\displaystyle {\widetilde{ϵ}}_1{\widetilde{ϵ}}_2\ge \frac{{\lambda }^2}{4}\iff {ϵ}_1{ϵ}_2\ge \frac{{\hslash }^2}{4}}$ and, in this case, we have

$$n\left(\log \mathrm{e}\right)s\left(\frac{\lambda }{2\sqrt{{\widetilde{ϵ}}_1{\widetilde{ϵ}}_2}}\right)=c_{\mathrm{inc}}^G(\tilde{\mathsf{Q}},\tilde{\mathsf{P}};\widetilde{\mathit{ϵ}})=c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ})=n\left(\log \mathrm{e}\right)s\left(\frac{\hslash }{2\sqrt{{ϵ}_1{ϵ}_2}}\right).$$

7. Conclusions

We have extended the relative entropy formulation of MURs given in [41] from the case of discrete incompatible observables to a particular instance of continuous target observables, namely the position and momentum vectors, or two components of them along two possibly non parallel directions. The entropic MURs we found share the nice property of being scale invariant and well-behaved in the classical and macroscopic limits. Moreover, in the scalar case, when the angle spanned by the position and momentum components goes to $\pm \pi /2$, the entropic bound correctly reflects their increasing compatibility by approaching zero with continuity.

Although our results are limited to the case of Gaussian preparation states and covariant Gaussian approximate joint measurements, we conjecture that the bounds we found still hold for arbitrary states and general (not necessarily covariant or Gaussian) bi-observables. Let us see with some more detail how this should work in the case when the target observables are the vectors $\mathit{Q}$ and $\mathit{P}$.

The most general procedure should be to consider the error function $S({\mathsf{Q}}_{\rho }\parallel {\mathsf{M}}_{1,\rho })+S({\mathsf{P}}_{\rho }\parallel {\mathsf{M}}_{2,\rho })$ for an arbitrary POVM $\mathsf{M}$ on ${\mathbb{R}}^n\times {\mathbb{R}}^n$ and any state $\rho \in \mathcal{S}$. First of all, we need states for which neither the position nor the momentum dispersion are too small; the obvious generalization of the test states (81) is

$${\mathcal{S}}_{\mathit{ϵ}}:=\left\{\rho \in {\mathcal{S}}_2:A^{\rho }\ge {ϵ}_1\mathrm{𝟙},B^{\rho }\ge {ϵ}_2\mathrm{𝟙}\right\},{ϵ}_i>0.$$

Then, the most general definitions of the entropic divergence and incompatibility degree are:

$$\begin{array}{cc}\hfill D_{\mathit{ϵ}}(\mathsf{Q},\mathsf{P}\parallel \mathsf{M})& :=\underset{\rho \in {\mathcal{S}}_{\mathit{ϵ}}}{\sup }\left[S({\mathsf{Q}}_{\rho }\parallel {\mathsf{M}}_{1,\rho })+S({\mathsf{P}}_{\rho }\parallel {\mathsf{M}}_{2,\rho })\right],\hfill \end{array}$$

(94)

$$\begin{array}{cc}\hfill c_{\mathrm{inc}}(\mathsf{Q},\mathsf{P};\mathit{ϵ})& :=\underset{\mathsf{M}}{\inf }{D}_{\mathit{ϵ}}(\mathsf{Q},\mathsf{P}\parallel \mathsf{M}).\hfill \end{array}$$

(95)

It may happen that ${\mathsf{Q}}_{\rho }$ is not absolutely continuous with respect to ${\mathsf{M}}_{1,\rho }$, or ${\mathsf{P}}_{\rho }$ with respect to ${\mathsf{M}}_{2,\rho }$; in this case, the error function and the entropic divergence take the value $+\infty$ by definition. So, we can restrict to bi-observables that are (weakly) absolutely continuous with respect to the Lebesgue measure. However, the true difficulty is that, even with this assumption, here we are not able to estimate (94), hence (95). It could be that the symmetrization techniques used in [17,19] can be extended to the present setting, and one can reduce the evaluation of the entropic incompatibility index to optimizing over all covariant bi-observables. Indeed, in the present paper we a priori selected only covariant approximating measurements; we would like to understand if, among all approximating measurements, the relative entropy approach selects covariant bi-observables by itself. However, even if $\mathsf{M}$ is covariant, there remains the problem that we do not know how to evaluate (94) if $\rho$ and $\mathsf{M}$ are not Gaussian. It is reasonable to expect that some continuity and convexity arguments should apply, and the bounds in Theorem 5 might be extended to the general case by taking dense convex combinations. Also the techniques used for the PURs in [8,9] could be of help in order to extend what we did with Gaussian states to arbitrary states. This leads us to conjecture:

$$c_{\mathrm{inc}}(\mathsf{Q},\mathsf{P};\mathit{ϵ})=c_{\mathrm{inc}}^G(\mathsf{Q},\mathsf{P};\mathit{ϵ}).$$

(96)

Conjecture (96) is also supported since the uniqueness of the optimal approximating bi-observable in Theorem 5(i) is reminiscent of what happens in the discrete case of two Fourier conjugated mutually unbiased bases (MUBs); indeed, in the latter case, the optimal bi-observable is actually unique among all the bi-observables, not only the covariant ones (see [41] (Theorem 5)).

Similar considerations obviously apply also to the case of scalar target observables. We leave a more deep investigation of equality (96) to future work.

As a final consideration, one could be interested in finding error/disturbance bounds involving sequential measurements of position and momentum, rather than considering all their possible approximate joint measurements. As sequential measurements are a proper subset of the set of all the bi-observables, optimizing only over them should lead to bounds that are greater than $c_{\mathrm{inc}}$. This is the reason for which in [41] an error/disturbance entropic bound, denoted by $c_{\mathrm{ed}}$ and dinstinct from $c_{\mathrm{inc}}$, was introduced. However, it was also proved that the equality $c_{\mathrm{inc}}=c_{\mathrm{ed}}$ holds when one of the target observables is discrete and sharp. Now, in the present paper, only sharp target observables are involved; although the argument of [41] can not be extended to the continuous setting, the optimal approximating joint observables we found in Theorems 3(i) and 5(i) actually are sequential measurements. Indeed, the optimal bi-observable in Theorem 3(i) is one of the POVMs described in Examples 2 and 3 (see (74)); all these bi-observables have a (trivial) sequential implementation in terms of an unsharp measurement of ${\mathsf{Q}}_{\mathit{u}}$ followed by sharp ${\mathsf{P}}_{\mathit{v}}$. On the other hand, in the vector case, it was shown in ([67], Corollary 1) that all covariant phase-space observables can be obtained as a sequential measurement of an unsharp version of the position $\mathsf{Q}$ followed by the sharp measurement of the momentum $\mathsf{P}$. Therefore, $c_{\mathrm{inc}}=c_{\mathrm{ed}}$ also for target position and momentum observables, in both the scalar and vector case.