Covariant phase difference observables are determined in two different ways, by a direct computation and by a group theoretical method. A characterization of phase difference observables which can be expressed as difference of two phase observables is given. Classical limit of such phase difference observables are determined and the Pegg-Barnett phase difference distribution is obtained from the phase difference representation. The relation of Ban's theory to the covariant phase theories is exhibited.
A fuzzy observable is regarded as a smearing of a sharp observable, and the structure of covariant fuzzy observables is studied. It is shown that the covariant coarse-grainings of sharp observables are exactly the covariant fuzzy observables. A necessary and sufficient condition for a covariant fuzzy observable to be informationally equivalent to the corresponding sharp observable is given.
We compare the Pegg-Barnett (PB) formalism with the covariant phase observable approach to the problem of quantum phase and show that PB-formalism gives essentially the same results as the canonical (covariant) phase observable. We also show that PB-formalism can be extended to cover all covariant phase observables including the covariant phase observable arising from the angle margin of the Husimi Q-function.
We represent quantum observables as POVMs (normalized positive operator valued measures) and consider convex sets of observables which are covariant with respect to a unitary representation of a locally compact Abelian symmetry group $G$. The value space of such observables is a transitive $G$-space. We characterize the extreme points of covariant observables and also determine the covariant extreme points of the larger set of all quantum observables. The results are applied to position, position difference and time observables.
We study the mathematical structure of covariant phase observables. Such an observable can alternatively be expressed as a phase matrix, as a sequence of unit vectors, as a sequence of phase states, or as an equivalent class of covariant trace-preserving operations. Covariant generalized operator measures are defined by structure matrices which form a W*-algebra with phase matrices as its subset. The properties of the Radon-Nikodym derivatives of phase probability measures are studied.
Covariant phase observables are obtained by defining simple conditions for mappings from the set of phase wave functions (unit vectors of the Hardy space) to the set of phase probability densities. The existence of phase probability density for any phase wave function, the existence of interference effects, and the natural phase shift covariance are those simple conditions. The nonlocalizability of covariant phase observables is proved.
We describe all the localization observables of a quantum particle in a one-dimensional box in terms of sequences of unit vectors in a Hilbert space. An alternative representation in terms of positive semidefinite complex matrices is furnished and the commutative localizations are singled out. As a consequence, we also get a vector sequence characterization of the covariant phase observables.
It has been recently shown that an observable that identifies all pure states of a d-dimensional quantum system has minimally 4d-4 outcomes or slightly less (the exact number depending on the dimension d). However, no simple construction of this type of observable with minimal number of outcomes is known. In this work we investigate the possibility to have a covariant observable that identifies all pure states and has minimal number of outcomes for this purpose. It is shown that the existence of these kind of observables depends on the dimension of the Hilbert space. The fact that these kind o…
We consider the quantum optical eight-port homodyne detection scheme in the case that each of the associated photon detectors is assigned with a different quantum efficiency. We give a mathematically rigorous and strictly quantum mechanical proof of the fact that the measured observable (positive operator measure) in the high-amplitude limit is a smearing of the covariant phase space observable related to the ideal measurement. The result is proved for an arbitary parameter field. Furthermore, we investigate some properties of the measured observable. In particular, we show that the state dist…
Determining the measurement uncertainty region is a difficult problem for generic sets of observables. For this reason the literature on exact measurement uncertainty regions is focused on symmetric sets of observables, where the symmetries are used to simplify the calculation. We provide a framework to systematically exploit available symmetries, formulated in terms of covariance, to simplify problems of measurement uncertainty. Our key result is that for a wide range figures of merit the optimal compatible approximations of covariant target observables are themselves covariant. This substant…
We study various optimality criteria for quantum observables. Observables are represented as covariant positive operator valued measures and we consider the case when the symmetry group is compact. Phase observables are examined as an example.
In this paper we investigate the coupling properties of pairs of quadrature observables, showing that, apart from the Weyl relation, they share the same coupling properties as the position-momentum pair. In particular, they are complementary. We determine the marginal observables of a covariant phase space observable with respect to an arbitrary rotated reference frame, and observe that these marginal observables are unsharp quadrature observables. The related distributions constitute the Radon tranform of a phase space distribution of the covariant phase space observable. Since the quadrature…
We discuss symmetric quantum measurements and the associated covariant observables modelled, respectively, as instruments and positive-operator-valued measures. The emphasis of this work are the optimality properties of the measurements, namely, extremality, informational completeness, and the rank-1 property which contrast the complementary class of (rank-1) projection-valued measures. The first half of this work concentrates solely on finite-outcome measurements symmetric w.r.t. finite groups where we derive exhaustive characterizations for the pointwise Kraus-operators of covariant instrume…
Noise sequences of infinite matrices associated with covariant phase and box localization observables are defined and determined. The canonical observables are characterized within the relevant classes of observables as those with asymptotically minimal or minimal noise, i.e., the noise tending to 0 or having the value 0.
A covariant phase space observable is uniquely characterized by a positive operator of trace one and, in turn, by the Fourier-Weyl transform of this operator. We study three properties of such observables, and characterize them in terms of the zero set of this transform. The first is informational completeness, for which it is necessary and sufficient that the zero set has dense complement. The second is a version of informational completeness for the Hilbert-Schmidt class, equivalent to the zero set being of measure zero, and the third, known as regularity, is equivalent to the zero set being…
The imposition of symmetry upon the nature and structure of quantum observables has recently been extensively studied, with quantum reference frames playing a crucial role. In this paper, we extend this work to quantum transformations, giving quantitative results showing, in direct analogy to the case of observables, that a "large" reference frame is required for non-covariant channels to be well approximated by covariant ones. We apply our findings to the concrete setting of SU(2) symmetry.
A construction of covariant quantum phase observables, for Hamiltonians with a finite number of energy eigenvalues, has been recently given by D. Arsenovic et al. [Phys. Rev. A 85, 044103 (2012)]. For Hamiltonians generating periodic evolution, we show that this construction is just a simple rescaling of the known canonical 'time' or 'age' observable, with the period T rescaled to 2π. Further, for Hamiltonians generating quasiperiodic evolution, we note that the construction leads to a phase observable having several undesirable features, including (i) having a trivially uniform probability de…
We construct a generalized Markov kernel which transforms the observable associated with the homodyne tomography into a covariant phase space observable with a regular kernel state. Illustrative examples are given in the cases of a 'Schrodinger cat' kernel state and the Cahill-Glauber s-parametrized distributions. Also we consider an example of a kernel state when the generalized Markov kernel cannot be constructed.
We present a unified treatment of sequential measurements of two conjugate observables. Our approach is to derive a mathematical structure theorem for all the relevant covariant instruments. As a consequence of this result, we show that every Weyl-Heisenberg covariant observable can be implemented as a sequential measurement of two conjugate observables. This method is applicable both in finite and infinite dimensional Hilbert spaces, therefore covering sequential spin component measurements as well as position-momentum sequential measurements.
Time-independent gauge transformations are implemented in the canonical formalism by the Gauss law which is not covariant. The covariant form of Gauss law is conceptually important for studying asymptotic properties of the gauge fields. For QED in $3+1$ dimensions, we have developed a formalism for treating the equations of motion (EOM) themselves as constraints, that is, constraints on states using Peierls' quantization. They generate spacetime dependent gauge transformations. We extend these results to the Maxwell-Chern-Simons (MCS) Lagrangian. The surprising result is that the covariant Gau…
We give a quantum benchmark for teleportation and quantum storage experiments suited for pure and mixed test states. The benchmark is based on the average fidelity over a family of phase-covariant states and certifies that an experiment can not be emulated by a classical setup, i.e., by a measure-and-prepare scheme. We give an analytical solution for qubits, which shows important differences with standard state estimation approach, and compute the value of the benchmark for coherent and squeezed states, both pure and mixed.
It has been demonstrated that the optimal sensitivity achievable with Greenberger-Horne-Zeilinger states is the same as that with uncorrelated probes in the frequency estimation in the presence of uncorrelated Markovian dephasing [S. F. Huelga, et al., Phys. Rev. Lett. 79, 3865 (1997)]. Here, we extend this issue by examining the optimal frequency sensitivities achievable by the use of ancilla-assisted strategy, which has been proposed recently for robust phase estimation. We present the ultimate frequency sensitivities bounded by the quantum Fisher information for a general case in the presen…
In this paper it is presented a manifestly covariant formulation of the Aharonov-Bohm (AB) phase difference for the magnetic AB effect . This covariant AB phase is written in terms of the Faraday 2-form F and using the decomposition of F in terms of the electric and magnetic fields as four-dimensional (4D) geometric quantities. It is shown that there is a static electric field outside a stationary solenoid with resistive conductor carrying steady current, which causes that the AB phase difference in the magnetic AB effect may be determined by the electric part of the covariant expression, i.e.…
Given a topological group $G$ and a unitary representation $U$ of $G$, we consider the problem of classifying the positive operator measures which are based on a $G$-homogeneous space $X$ and covariant with respect to the representation $U$. We completely solve the problem in two cases: 1) when $G$ is abelian; 2) when $G$ is not abelian, $X$ has compact stbiliser in $G$ and the representation $U$ is irreducible. We then give an application of the above results to the characterisation of covariant position and momentum observables in quantum mechanics, and to the determination of those covarian…
