Due to the absence of an external, classical time variable, the probabilistic predictions of covariant quantum theory are ambiguous when multiple measurements are considered. Here, we introduce an information theoretic framework to the covariant formalism, and use it to interpret the measurement process. We find that the time ordering of measurements emerges as an entropy relationship in the state of the observers, giving unique probabilities for multiple measurements. This approach suggests a new, fully self-contained probability interpretation for generally covariant quantum physics, which makes use of a quantum mechanical description of the observer, in contrast to standard quantum mechanics which assumes an external, classical observer.
The formalism of covariant quantum theory, introduced by Reisenberger and Rovelli, casts the description of quantum states and evolution into a framework compatable with the principles of general relativity. The leap to this covariant formalism, however, outstripped the standard interpretation used to connect quantum theory to experimental predictions, leaving the predictions of the RR theory ambiguous. Here we discuss in detail some implications of our recently proposed description of covariant quantum information (CQI), which addresses these problems. We show explicit agreement with standard…
We study the possibility of applying statistical mechanics to generally covariant quantum theories with a vanishing Hamiltonian. We show that (under certain appropiate conditions) this makes sense, in spite of the absence of a notion of energy and external time. We consider a composite system formed by a large number of identical components, and apply Boltzmann's ideas and the fundamental postulates of ordinary statistical physics. The thermodynamical parameters are determined by the properties of the thermalizing interaction. We apply these ideas to a simple example, in which the component sy…
We study the classical and quantum dynamics of generally covariant theories with vanishing a Hamiltonian and with a finite number of degrees of freedom. In particular, the geometric meaning of the full solution of the relational evolution of the degrees of freedom is displayed, which means the determination of the total number of evolving constants of motion required. Also a method to find evolving constants is proposed. The generalized Heinsenberg picture needs M time variables, as opposed to the Heisenberg picture of standard quantum mechanics where one time variable t is enough. As an appli…
How to make compatible both boundary and gauge conditions for generally covariant theories using the gauge symmetry generated by first class constraints is studied. This approach employs finite gauge transformations in contrast with previous works which use infinitesimal ones. Two kinds of variational principles are taken into account; the first one features non-gauge-invariant actions whereas the second includes fully gauge-invariant actions. Furthermore, it is shown that it is possible to rewrite fully gauge-invariant actions featuring first class constraints quadratic in the momenta into fi…
We provide general guidelines for generalizing dynamical reduction models to curved spacetimes and propose a class of generally covariant relativistic versions of the GRW model. We anticipate that the collapse operators of our class of models may play a rôle in a yet-to-be-formulated theory of semiclassical gravity with collapses. We show explicitly that the collapse operators map a dense domain of states that are initially Hadamard to final Hadamard states -- a property that we expect will be needed for the construction of such a semiclassical theory. Finally, we provide a simple example in w…
Causality imposes strong restrictions on the type of operators that may be observables in relativistic quantum theories. In fact, causal violations arise when computing conditional probabilities for certain partial causally connected measurements using the standard non covariant procedure. Here we introduce another way of computing conditional probabilities, based on an intrinsic covariant relational order of the events, which differs from the standard one when these type of measurements are included. This alternative procedure is compatible with a wider and very natural class of operators wit…
A simultaneous description of the dynamics of multiple particles requires a configuration space approach with an external time parameter. This is in stark contrast with the relativistic paradigm, where time is but a coordinate chosen by an observer. Here we show, however, that the two attitudes toward modelling $N$-particle dynamics can be conciliated within a generally covariant framework. To this end we construct an '$N$-particle configuration spacetime' $\mathcal{M}_{\scriptscriptstyle (N)}$, starting from a globally hyperbolic spacetime $\mathcal{M}$ with a chosen smooth splitting into tim…
Cartan's spacetime reformulation of the Newtonian theory of gravity is a generally-covariant Galilean-relativistic limit-form of Einstein's theory of gravity known as the Newton-Cartan theory. According to this theory, space is flat, time is absolute with instantaneous causal influences, and the degenerate `metric' structure of spacetime remains fixed with two mutually orthogonal non-dynamical metrics, one spatial and the other temporal. The spacetime according to this theory is, nevertheless, curved, duly respecting the principle of equivalence, and the non-metric gravitational connection-fie…
We characterize the extremal points of the convex set of quantum measurements that are covariant under a finite-dimensional projective representation of a compact group, with action of the group on the measurement probability space which is generally non-transitive. In this case the POVM density is made of multiple orbits of positive operators, and, in the case of extremal measurements, we provide a bound for the number of orbits and for the rank of POVM elements. Two relevant applications are considered, concerning state discrimination with mutually unbiased bases and the maximization of the …
We derive the class of covariant measurements which are optimal according to the maximum likelihood criterion. The optimization problem is fully resolved in the case of pure input states, under the physically meaningful hypotheses of unimodularity of the covariance group and measurability of the stability subgroup. The general result is applied to the case of covariant state estimation for finite dimension, and to the Weyl-Heisenberg displacement estimation in infinite dimension. We also consider estimation with multiple copies, and compare collective measurements on identical copies with the …
Quantum particles, such as spins, can be used for communicating spatial directions to observers who share no common coordinate frame. We show that if the emitter's signals are the orbit of a group, then the optimal detection method may not be a covariant measurement (contrary to widespread belief). It may be advantageous for the receiver to use a different group and an indirect estimation method: first, an ordinary measurement supplies redundant numerical parameters; the latter are then used for a nonlinear optimal identification of the signal.
We cannot perform the projective measurement of a momentum on a half line since it is not an observable. Nevertheless, we would like to obtain some physical information of the momentum on a half line. We define an optimality for measurement as minimizing the variance between an inferred outcome of the measured system before a measuring process and a measurement outcome of the probe system after the measuring process, restricting our attention to the covariant measurement studied by Holevo. Extending the domain of the momentum operator on a half line by introducing a two dimensional Hilbert spa…
We consider the problem of phase-covariant cloning for coherent states. We show that an experimental scheme based on ideal phase measurement and feedforward outperforms the semiclassical procedure of ideal phase measurement and preparation in terms of fidelity. A realistic scheme where the ideal phase measurement is replaced with double-homodyne detection is shown to be unable to overcome the semiclassical cloning strategy. On the other hand, such a realistic scheme is better than semiclassical cloning based on double-homodyne phase measurement and preparation.
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.
We propose an eavesdropping experiment with linear optical 1-3 phase-covariant quantum cloner. In this paper, we have designed an optical circuit of the cloner and shown how the eavesdropper (Eve) utilizes her clones. We have also optimized the measurement scheme for Eve by numerical calculation. The optimized measurement is easy to implement with liner optics.
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…
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 present a consistent, generally covariant quantization of light for non-vacuum birefringent, Lorentz-symmetry breaking electrodynamics in the context of the Standard Model Extension. We find that the number of light quanta in the field is not frame independent, and that the interaction of the quantized field with matter is necessarily birefringent. We also show that the conventional Lorenz gauge condition used to restrict the photon-mode basis to solutions of the Maxwell equations must be weakened to consistently describe Lorentz symmetry violation.
We consider the time delay of massive, non-relativistic, one-dimensional particles due to a tunneling potential. In this setting the well-known Hartman effect asserts that often the sub-ensemble of particles going through the tunnel seems to cross the tunnel region instantaneously. An obstacle to the utilization of this effect for getting faster signals is the exponential damping by the tunnel, so there seems to be a trade-off between speedup and intensity. In this paper we prove that this trade-off is never in favor of faster signals: the probability for a signal to reach its destination befo…
The general formalism of quantum mechanics for the description of statistical experiments is briefly reviewed, introducing in particular position and momentum observables as POVM characterized by their covariance properties with respect to the isochronous Galilei group. Mappings describing state transformations both as a consequence of measurement and of dynamical evolution for a closed or open system are considered with respect to the general constraints they have to obey and their covariance properties with respect to symmetry groups. In particular different master equations are analyzed in …
We provide a general framework for quantifying the optimal tradeoff between the information retrieved by a quantum measurement and the disturbance on the quantum state in covariant quantum state estimation.
We characterize the operational capabilities of quantum channels which can neither create nor detect quantum coherence vis-à-vis efficiently manipulating coherence as a resource. We study the class of dephasing-covariant operations (DIO), unable to detect the coherence of any input state, as well as introduce an operationally-motivated class of channels $ρ$-DIO which is tailored to a specific input state. We first show that pure-state transformations under DIO are completely governed by majorization, establishing necessary and sufficient conditions for such transformations and adding to the li…
We show that universally covariant cloning is not optimal for achieving joint measurements of noncommuting observables with minimum added noise. For such a purpose a cloning transformation that is covariant with respect to a restricted transformation group is needed.
We show that it is possible to define a Lorentz-covariant reduced spin density matrix for massive particles. Such a matrix allows one to calculate the mean values of observables connected with spin measurements (average polarizations). Moreover, it contains not only information about polarization of the particle but also information about its average kinematical state. We also use our formalism to calculate the correlation function in the Einstein--Podolsky--Rosen--Bohm type experiment with massive relativistic particles.
We explore the possibility of achieving optimal joint measurements of noncommuting observables on a single quantum system by performing conventional measurements of commuting self adjoint operators on optimal clones of the original quantum system. We consider the case of both finite dimensional and infinite dimensional Hilbert spaces. In the former we study the joint measurement of three orthogonal components of a spin 1/2, in the latter we consider the case of the joint measurements of any pair of noncommuting quadratures of one mode of the electromagnetic field. We show that universally cova…
We present an optical implementation of two programmable quantum measurement devices. The first one serves for unambiguous discrimination of two nonorthogonal states of a qubit. The particular pair of states to be discriminated is specified by the quantum state of a program qubit. The second device can perform von Neumann measurements on a single qubit in any basis located on the equator of the Bloch sphere. Again, the basis is selected by the state of a program qubit. In both cases the data and program qubits are represented by polarization states of photons. The experimental apparatus exploi…
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.
In quantum field theory it is generally assumed that there is a lower bound to the energy of a quantum state. Here, it will be shown that there is no lower bound to the energy of physical states in QED in a manifestly covariant gauge.
We study the power of dephasing-covariant operations in the resource theories of coherence and entanglement. These are quantum operations whose actions commute with a projective measurement. In the resource theory of coherence, we find that any two states are asymptotically interconvertible under dephasing-covariant operations. This provides a rare example of a resource theory in which asymptotic reversibility can be attained without needing the maximal set of resource non-generating operations. When extended to the resource theory of entanglement, the resultant operations share similarities w…
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…
We present a generally covariant approach to quantum mechanics in which generalized positions, momenta and time variables are treated as coordinates on a fundamental "phase-spacetime." We show that this covariant starting point makes quantization into a purely geometric flatness condition. This makes quantum mechanics purely geometric, and possibly even topological. Our approach is especially useful for time-dependent problems and systems subject to ambiguities in choices of clock or observer. As a byproduct, we give a derivation and generalization of the Wigner functions of standard quantum m…
We introduce positive operator-valued measure (POVM) generated by the projective unitary representation of a direct product of locally compact Abelian group $G$ with its dual $\hat G$. The method is based upon the Pontryagin duality allowing to establish an isometrical isomorphism between the space of Hilbert-Schmidt operators in $L^2(G)$ and the Hilbert space $L^2(\hat G\times G)$. Any such a measure determines a pair of hybrid (containing classical and quantum parts) quantum channels consisting of the measurement channel and the channel transmitting an initial quantum state to the ensemble o…