A new lower boundary for the product of variances of two observables is obtained in the case, when these observables are entangled with the third one. This boundary can be higher than the Robertson--Schrodinger one. The special case of the two-dimensional pure Gaussian state is considered as an example.
We formulate uncertainty relations for arbitrary $N$ observables. Two uncertainty inequalities are presented in terms of the sum of variances and standard deviations, respectively. The lower bounds of the corresponding sum uncertainty relations are explicitly derived. These bounds are shown to be tighter than the ones such as derived from the uncertainty inequality for two observables [Phys. Rev. Lett. 113, 260401 (2014)]. Detailed examples are presented to compare among our results with some existing ones.
New sum and product uncertainty relations, containing variances of three or four observables, but not containing explicitly their covariances, are derived. One of consequences is the new inequality, giving a nonzero lower bound for the product of two variances in the case of zero mean value of the commutator between the related operators. Moreover, explicit examples show that in some cases this new bound can be better than the known Robertson--Schrodinger one.
Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification of errors is based on an arbitrary cost function, which assigns a penalty to getting result $x$ rather than y, for any pair (x,y). This induces a notion of optimal transport cost for a pair of probability distributions, and we include an appendix with a short summary of optimal transport theory as needed in our context. There are then different ways to form an overall figure of merit from the comparison of distributions. We consider three, which are related to different physical testing scenarios. The most thorough test compares the transport distances between the marginals of a joint measurement and the reference observables for every input state. Less demanding is a test just on the states for which a true value is known in the sense that the reference observable yields a definite outcome. Finally, we can measure a deviation as a single expectation value by comparing the two observables on the two parts of a maximally entangled state. All three error quantities have the property that they vanish if and only if the tested observable is equal to the reference. The theory is illustrated with some characteristic examples.
In this work we study various notions of uncertainty for angular momentum in the spin-s representation of SU(2). We characterize the uncertainty regions given by all vectors, whose components are specified by the variances of the three angular momentum components. A basic feature of this set is a lower bound for the sum of the three variances. We give a method for obtaining optimal lower bounds for uncertainty regions for general operator triples, and evaluate these for small s. Further lower bounds are derived by generalizing the technique by which Robertson obtained his state-dependent lower bound. These are optimal for large s, since they are saturated by states taken from the Holstein-Primakoff approximation. We show that, for all s, all variances are consistent with the so-called vector model, i.e., they can also be realized by a classical probability measure on a sphere of radius sqrt(s(s+1)). Entropic uncertainty relations can be discussed similarly, but are minimized by different states than those minimizing the variances for small s. For large s the Maassen-Uffink bound becomes sharp and we explicitly describe the extremalizing states. Measurement uncertainty, as recently discussed by Busch, Lahti and Werner for position and momentum, is introduced and a generalized observable (POVM) which minimizes the worst case measurement uncertainty of all angular momentum components is explicitly determined, along with the minimal uncertainty. The output vectors for the optimal measurement all have the same length r(s), where r(s)/s goes to 1 as s tends to infinity.
This contribution to the present Workshop Proceedings outlines a general programme for identifying geometric structures--out of which to possibly recover quantum dynamics as well--associated to the manifold in Hilbert space of the quantum states that saturate the Schrodinger-Robertson uncertainty relation associated to a specific set of quantum observables which characterise a given quantum system and its dynamics. The first step in such an exploration is addressed herein in the case of the observables Q and P of the Heisenberg algebra for a single degree of freedom system. The corresponding saturating states are the well known general squeezed states, whose properties are reviewed and discussed in detail together with some original results, in preparation of a study deferred to a separated analysis of their quantum geometry and of the corresponding path integral representation over such states.