We study a generalization of the Wigner function to arbitrary tuples of hermitian operators. We show that for any collection of hermitian operators A1...An , and any quantum state there is a unique joint distribution on R^n, with the property that the marginals of all linear combinations of the operators coincide with their quantum counterpart. In other words, we consider the inverse Radon transform of the exact quantum probability distributions of all linear combinations. We call it the Wigner distribution, because for position and momentum this property defines the standard Wigner function. We discuss the application to finite dimensional systems, establish many basic properties and illustrate these by examples. The properties include the support, the location of singularities, positivity, the behavior under symmetry groups, and informational completeness.
A theory of joint nonideal measurement of incompatible observables is used in order to assess the relative merits of quantum tomography and certain measurements of generalized observables, with respect to completeness of the obtained information. A method is studied for calculating a Wigner distribution from the joint probability distribution obtained in a joint measurement.
We study the sum uncertainty relations based on variance and skew information for arbitrary finite N quantum mechanical observables. We derive new uncertainty inequalities which improve the exiting results about the related uncertainty relations. Detailed examples are provided to illustrate the advantages of our uncertainty inequalities.
Uncertainty principle is the basis of quantum mechanics. It reflects the basic law of the movement of microscopic particles. Wigner-Yanase skew information, as a measure of quantum uncertainties, is used to characterize the intrinsic features of the state and the observable. In this paper, we mainly investigate the sum uncertainty relations for both quantum mechanical observables and quantum channels based on skew information. We establish a new uncertainty relation in terms of Wigner-Yanase skew information for $n$ observables, which is saturated (thus it holds as equality) for two incompatib…
We present a unified approach to quantum teleportation in arbitrary dimensions based on the Wigner-function formalism. This approach provides us with a clear picture of all manipulations performed in the teleportation protocol. In addition within the framework of the Wigner-function formalism all the imperfections of the manipulations can be easily taken into account.
In this paper, we use certain norm inequalities to obtain new uncertain relations based on the Wigner-Yanase skew information. First for an arbitrary finite number of observables we derive an uncertainty relation outperforming previous lower bounds. We then propose new weighted uncertainty relations for two noncompatible observables. Two separable criteria via skew information are also obtained.
We study sum uncertainty relations for arbitrary finite $N$ quantum mechanical observables. Some uncertainty inequalities are presented by using skew information introduced by Wigner and Yanase. These uncertainty inequalities are nontrivial as long as the observables are mutually noncommutative. The relations among these new and existing uncertainty inequalities have been investigated. Detailed examples are presented.
We study a generalization of the Wigner function to arbitrary tuples of hermitian operators, which is a distribution uniquely characterized by the property that the marginals for all linear combinations of the given operators agree with the quantum mechanical distributions. Its role as a joint quasi-probability distribution is underlined by the property that its support always lies in the set of expectation value tuples of the operators. We characterize the set of singularities and positivity, and provide some basic examples.
A realization of the concept of "crossing state" invoked, but not implemented, by Wigner, allows to advance in two important aspects of the time of arrival in quantum mechanics: (i) For free motion, we find that the limitations described by Aharonov et al. in Phys. Rev. A 57, 4130 (1998) for the time-of-arrival uncertainty at low energies for certain mesurement models are in fact already present in the intrinsic time-of-arrival distribution of Kijowski; (ii) We have also found a covariant generalization of this distribution for arbitrary potentials and positions.
We study the weak values of a quantum observable from the point of view of the Wigner formalism. The main actor is here the cross-Wigner transform of two functions, which is in disguise the cross-ambiguity function familiar from radar theory and time-frequency analysis. It allows us to express weak values using a complex probability distribution. We suggest that our approach seems to confirm that the weak value of an observable is, as conjectured by several authors, due to the interference of two wavefunctions, one coming from the past, and the other from the future.
We propose a new Wigner inequality suitable for test of the hypothesis of realism. We show that this inequality is not identical neither to the well-known Wigner inequality nor to the Leggett-Garg inequality in Wigner form. The obtained inequality is suitable for test of realism not only in quantum mechanical systems, but also in quantum field systems. Also we propose a mathematically consistent derivation of the Leggett--Garg inequality in Wigner form, which was recently presented in the literature, for three and $n$ distinct moments of time. Contrary to these works, our rigor derivation uses…
We investigate the Wigner rotation for photons, which governs the change in the polarization of the photon as it propagates through an arbitrary gravitational field. We give explicit examples in Schwarzschild spacetime, and compare with the corresponding flat spacetime results, which by the equivalence principle, holds locally at each spacetime point. We discuss the implications of the Wigner rotation for entangled photon states in curved spacetime, and lastly develop a sufficient condition for special (Fermi-Walker) frames in which the observer would detect no Wigner rotation.
The Wigner-Araki-Yanase (WAY) theorem can be understood as a result in the resource theory of asymmetry asserting the impossibility of perfectly simulating, via symmetric processing, the measurement of an asymmetric observable unless one has access to a state that is perfectly asymmetric, that is, one whose orbit under the group action is a set of orthogonal states. The simulation problem can be characterized information-theoretically by considering how well both the target observable and the resource state can provide an encoding of an element of the symmetry group. Leveraging this informatio…
An extension of the Weyl-Wigner-Moyal formulation of quantum mechanics suitable for a Dirac quantized constrained system is proposed. In this formulation, quantum observables are described by equivalent classes of Weyl symbols. The Weyl product of these equivalent classes is defined. The new Moyal bracket is shown to be compatible with the Dirac bracket for constrained systems.
The possibility of constructing a complete, continuous Wigner function for any quantum system has been a subject of investigation for over 50 years. A key system that has served to illustrate the difficulties of this problem has been an ensemble of spins. Here we present a general and consistent framework for constructing Wigner functions exploiting the underlying symmetries in the physical system at hand. The Wigner function can be used to fully describe any quantum system of arbitrary dimension or ensemble size.
Drawing inspiration from Dirac's work on functions of non commuting observables, we develop a fresh approach to phase space descriptions of operators and the Wigner distribution in quantum mechanics. The construction presented here is marked by its economy, naturalness and more importantly, by its potential for extensions and generalisations to situations where the underlying configuration space is non Cartesian.
In Valiant's matchgate theory, 2-input 2-output matchgates are 4x4 matrices that satisfy ten so-called matchgate identities. We prove that the set of all such matchgates (including non-unitary and non-invertible ones) coincides with the topological closure of the set of all matrices obtained as exponentials of linear combinations of the 2-qubit Jordan-Wigner (JW) operators and their quadratic products, extending a previous result of Knill. In Valiant's theory, outputs of matchgate circuits can be classically computed in poly-time. Via the JW formalism, Terhal & DiVincenzo and Knill established…
We have found an effective method of calculating the Wigner function, being a quantum analogue of joint probability distribution of position and momentum, for bound states of nonrelativistic hydrogen atom. The formal similarity between the eigenfunctions of nonrelativistic hydrogen atom in the momentum representation and Klein-Gordon propagators has allowed the calculation of the Wigner function for an arbitrary bound state of the hydrogen atom. These Wigner functions for some low lying states are depicted and discussed.
For quantum systems with two dimensional configuration space we construct a physical radial momentum observable. Rescaling the radius we find the dilatonic degrees of freedom form a Weyl algebra. With this we construct the radial Wigner quasi-probability distribution function.
Tomographic probability representation of multimode electromagnetic field states in the scheme of center-of-mass tomography is reviewed. Both connection of the field state Wigner function and observable Weyl symbols with the center-of-mass tomograms as well as connection of Grönewold kernel with the center-of-mass tomographic kernel determining the noncommutative product of the tomograms are obtained. The dual center-of-mass tomogram of the photon states are constructed and the dual tomographic kernel is obtained. The models of other generalised center-of-mass tomographies are discussed. Examp…
The relativistic phase-space representation by means of the usual position and momentum operators for a class of observables with Weyl symbols independent of charge variable (i.e. with any combination of position and momentum) is proposed. The dynamical equation coincides with its analogue in the non-local theory (generalization of the Newton-Wigner position operator approach) under conditions when particles creation is impossible. Differences reveal themselves in specific constraints on possible initial conditions.
The Weyl quantization of classical observables on the torus (as phase space) without regularity assumptions is explicitly computed. The equivalence class of symbols yielding the same Weyl operator is characterized. The Heisenberg equation for the dynamics of general quantum observables is written through the Moyal brackets on the torus and the support of the Wigner transform is characterized. Finally, a dequantization procedure is introduced that applies, for instance, to the Pauli matrices. As a result we obtain the corresponding classical symbols.
We construct, using simple geometrical arguments, a Wigner function defined on a discrete phase space of arbitrary integer Hilbert-space dimension that is free of redundancies. ``Ghost images'' plaguing other Wigner functions for discrete phase spaces are thus revealed as artifacts. It allows to devise a corresponding phase-space propagator in an unambiguous manner. We apply our definitions to eigenstates and propagator of the quantum baker map. Scars on unstable periodic points of the corresponding classical map become visible with unprecedented resolution.
A Bell-type inequality is proposed in terms of Wigner-Yanase skew information, which is quadratic and involves only one local spin observable at each site. This inequality presents a hierarchic classification of all states of multipartite quantum systems from separable to fully entangled states, which is more powerful than the one presented by quadratic Bell inequalities from two-entangled to fully entangled states. In particular, it is proved that the inequality provides an exact test to distinguish entangled from nonentangled pure states of two qubits. Our inequality sheds considerable light…
The variance of an observable in a quantum state is usually used to describe Heisenberg uncertainty relation. For mixed states, the variance includes quantum uncertainty and classical uncertainty. By means of the skew information and the decomposition of the variance, a stronger uncertainty relation was presented by Luo in [Phys. Rev. A 72, 042110 (2005)]. In this paper, by using Wigner-Yanase-Dyson information which is a generalization of the skew information, we propose a general uncertainty relation of mixed states.
Wigner's argument inferring Bell-type inequality for the EPR-Bohm entangled state is generalized here for any N-partite state. This is based on assuming for the relevant dichotomic observables the existence of the overall joint probability distributions, satisfying the locality condition, that would yield the measurable marginal probabilities. For any N, such Generalized Wigner's Inequality (GWI) is violated by quantum mechanics for all pure entangled states. The efficacy of GWI is probed, comparing with the Seevinck-Svetlichny multipartite Bell-type inequality, by calculating threshold visibi…
There are quantum states of light that can be expressed as finite superpositions of Fock states (FSFS). We demonstrate the nonclassicality of an arbitrary FSFS by means of its phase space distributions such as the Wigner function and the $Q$-function. The decoherence of the FSFS is studied by considering the time evolution of its Wigner function in amplitude decay and phase damping channels. As examples, we determine the nonclassicality and decoherence of generalized and reciprocal binomial states.
We present the experimental reconstruction of the Wigner function of an individual electronic spin qubit associated with a nitrogen-vacancy (NV) center in diamond at room temperature. This spherical Wigner function contains the same information as the density matrix for arbitrary spin systems. As an example, we exactly characterize the quantum state of a single qubit undergoing a nearly pure dephasing process by Wigner function. The fidelities and purities during this process are extracted from the experimental reconstructed Wigner functions, whose dynamics agree with the theoretical predictio…
Uncertainty principle plays a vital role in quantum physics. The Wigner-Yanase skew information characterizes the uncertainty of an observable with respect to the measured state. We generalize the uncertainty relations for two quantum channels to arbitrary N quantum channels based on Wigner-Yanase skew information. We illustrate that these uncertainty inequalities are tighter than the existing ones by detailed examples. Especially, we also discuss the uncertainty relations for N unitary channels, which could be regarded as variance-based sum uncertainty relations with respect to any pure state…
Quantum correlations of observables for two particle states have demonstrated the nonlocal character of the quantum mechanics. However nonlocality can be exhibited even for noncommuting observables of a single particle system. In this paper we show nonlocality of position-momentum correlations of a single particle in the double-slit experiment modeled by an initially correlated Gaussian wavepacket. The positivity or negativity of the Wigner function for the state of the particle at the detection screen is related with the $σ_{xp}$ covariances. A Bell's inequality is constructed from the Wigner…
The Wigner function of quantum systems is an effective instrument to construct the approximate classical description of the systems for which the classical approximation is possible. During the last time, the Wigner function formalism is applied as well to seek indications of specific quantum properties of quantum systems leading to impossibility of the classical approximation construction. Most of all, as such an indication the existence of negative values in Wigner function for specific states of the quantum system being studied is used. The existence of such values itself prejudices the pro…
We present a phase space description of the process of quantum teleportation for a system with an $N$ dimensional space of states. For this purpose we define a discrete Wigner function which is a minor variation of previously existing ones. This function is useful to represent composite quantum system in phase space and to analyze situations where entanglement between subsystems is relevant (dimensionality of the space of states of each subsystem is arbitrary). We also describe how a direct tomographic measurement of this Wigner function can be performed.
The Weyl-Wigner-Moyal formalism for quantum particle with discrete internal degrees of freedom is developed. A one to one correspondence between operators in the Hilbert space $L^{2}(\mathbb{R}^{3})\otimes{\mathcal{H}}^{(s+1)}$ and functions on the phase space $\mathbb{R}^{3}\times\mathbb{R}^{3}\times \{0,...,s\} \times\{0,...,s\}$ is found. The expressions for the Stratonovich-Weyl quantizer, star product and Wigner functions of such systems for arbitrary values of spin are obtained in detail. As examples the Landau levels and the corresponding Wigner functions for a spin $\frac{1}{2}$ nonrel…
We show how to represent the state and the evolution of a quantum computer (or any system with an $N$--dimensional Hilbert space) in phase space. For this purpose we use a discrete version of the Wigner function which, for arbitrary $N$, is defined in a phase space grid of $2N\times 2N$ points. We compute such Wigner function for states which are relevant for quantum computation. Finally, we discuss properties of quantum algorithms in phase space and present the phase space representation of Grover's quantum search algorithm.
"The unambiguous account of proper quantum phenomena must, in principle, include a description of all relevant features of experimental arrangement" (Bohr). The measurement process is composed of pre-measurement (quantum correlation of the system with the pointer variable), and an irreversible decoherence via interaction with an environment. The system ends up in a probabilistic mixture of the eigenstates of the measured observable. For the pre-measurement stage, any attempt to introduce an 'outcome' leads, as we show, to a logical contradiction, $1=i$. This nullifies claims that a modified co…
The relation of the Wigner function with the fair probability distribution called tomographic distribution or quantum tomogram associated with the quantum state is reviewed. The connection of the tomographic picture of quantum mechanics with the integral Radon transform of the Wigner quasidistribution is discussed. The Wigner--Moyal equation for the Wigner function is presented in the form of kinetic equation for the tomographic probability distribution both in quantum mechanics and in the classical limit of the Liouville equation. The calculation of moments of physical observables in terms of…
We modify the path integral representation of exciton transport in open quantum systems such that an exact description of the quantum fluctuations around the classical evolution of the system is possible. As a consequence, the time evolution of the system observables is obtained by calculating the average of a stochastic difference equation which is weighted with a product of pseudo-probability density functions. From the exact equation of motion one can clearly identify the terms that are also present if we apply the truncated Wigner approximation. This description of the problem is used as a…
We analyze the asymptotics of the Wigner $3j$-symbol as a matrix element connecting eigenfunctions of a pair of integrable systems, obtained by lifting the problem of the addition of angular momenta into the space of Schwinger's oscillators. A novel element is the appearance of compact Lagrangian manifolds that are not tori, due to the fact that the observables defining the quantum states are noncommuting. These manifolds can be quantized by generalized Bohr-Sommerfeld rules and yield all the correct quantum numbers. The geometry of the classical angular momentum vectors emerges in a clear man…
We provide a detailed description of the EPR paradox (in the Bohm version) for a two qubit-state in the discrete Wigner function formalism. We compare the probability distributions for two qubit relevant to simultaneously-measurable observables (computed from the Wigner function) with the probability distributions representing two perfectly-correlated classic particles in a discrete phase-space. We write in both cases the updating formulae after a measure, thus obtaining a mathematical definition of \textit{classic collapse} and \textit{quantum collapse}. We study, with the EPR experiment, the…
Density matrices and Discrete Wigner Functions are equally valid representations of multiqubit quantum states. For density matrices, the partial trace operation is used to obtain the quantum state of subsystems, but an analogous prescription is not available for discrete Wigner Functions. Further, the discrete Wigner function corresponding to a density matrix is not unique but depends on the choice of the quantum net used for its reconstruction. In the present work, we derive a reduction formula for discrete Wigner functions of a general multiqubit state which works for arbitrary quantum nets.…
One of the central foundational questions of physics is to identify what makes a system quantum as opposed to classical. One seminal notion of classicality of a quantum system is the existence of a non-contextual hidden variable model as introduced in the early work by Bell, Kochen and Specker. In quantum optics, the non-negativity of the Wigner function is a ubiquitous notion of classicality. In this work we establish an equivalence between these two concepts. In particular, we show that any non-contextual hidden variable model for Gaussian quantum optics has an alternative non-negative Wigne…
A finite Hilbert space can be associated to a periodic phase space, that is, a torus. A finite subgroup of operators corresponding to reflections and translations on the torus form respectively the basis for the discrete Weyl representation, including the Wigner function, and for its Fourier conjugate, the chord representation. They are invariant under Clifford transformations and obey analogous product rules to the continuous representations, so allowing for the calculation of expectations and correlations for observables. We here import new identities from the continuum for products of pure …
I describe a method of inferring the past of quantum observables given the initial state and the subsequent measurement results using Wigner quasi-probability representations. The method is proved to be compatible with logic for large subclasses of quantum systems, including those that involve incompatible observables and can still exhibit some quantum features, such as the uncertainty relation, measurement backaction, and entanglement.
Notwithstanding radical conceptual differences between classical and quantum mechanics, it is usually assumed that physical measurements concern observables common to both theories . Not so with the eigenvalues ($\pm 1$) of the parity operator. The effect of such a measurement on a mixture of even and odd states of the harmonic oscillator is akin to separating at a single stroke a pair of shuffled card decks: the result is a set of definite parity, though otherwise mixed. The Wigner function should be a sensitive probe for this phenomenon, for it can be interpreted as the expectation value of …
For an ergodic system, the time average of a classical observable coincides with that obtained via the Liouville probability density, a delta-function on the energy shell. Reinterpreting this distribution as a Wigner function, that is, the Weyl representation of a density operator, the quantum ergodic conjecture identifies this classical construction as an approximate representation of the quantum eigenstate of the same energy. It is found that this reasonable hypothesis, as far as expectations for observables are concerned, does not satisfy the requirement of positivity, so that the delta-fun…
We study the tomography of multispin quantum states in the context of finite-dimensional Wigner representations. An arbitrary operator can be completely characterized and visualized using multiple shapes assembled from linear combinations of spherical harmonics [A. Garon, R. Zeier, and S. J. Glaser, Phys. Rev. A 91, 042122 (2015)]. We develop a general methodology to experimentally recover these shapes by measuring expectation values of rotated axial spherical tensor operators and provide an interpretation in terms of fictitious multipole potentials. Our approach is experimentally demonstrated…
Wigner functions play a central role in the phase space formulation of quantum mechanics. Although closely related to classical Liouville densities, Wigner functions are not positive definite and may take negative values on subregions of phase space. We investigate the accumulation of these negative values by studying bounds on the integral of an arbitrary Wigner function over noncompact subregions of the phase plane with hyperbolic boundaries. We show using symmetry techniques that this problem reduces to computing the bounds on the spectrum associated with an exactly-solvable eigenvalue prob…
We consider the Weyl quantization on a flat non-standard symplectic vector space. We focus mainly on the properties of the Wigner functions defined therein. In particular we show that the sets of Wigner functions on distinct symplectic spaces are different but have non-empty intersections. This extends previous results to arbitrary dimension and arbitrary (constant) symplectic structure. As a by-product we introduce and prove several concepts and results on non-standard symplectic spaces which generalize those on the standard symplectic space, namely the symplectic spectrum, Williamson's theor…
