Given a real-valued phase-space function, it is a nontrivial task to determine whether it corresponds to a Wigner distribution for a physically acceptable quantum state. This topic has been of fundamental interest for long, and in a modern application, it can be related to the problem of entanglement detection for multi-mode cases. In this paper, we present a hierarchy of complete conditions for a physically realizable Wigner distribution. Our derivation is based on the normally-ordered expansion, in terms of annihilation andcreation operators, of the quasi-density operator corresponding to the phase-space function in question. As a by-product, it is shown that the phase-space distributions with elliptical symmetry can be readily diagonalized in our representation, facilitating the test of physical realizability. We also illustrate how the current formulation can be connected to the detection of bipartite entanglement for continuous variables.
The evolution of the discrete Wigner function is formally similar to a probabilistic process, but the transition probabilities, like the discrete Wigner function itself, can be negative. We investigate these transition probabilities, as well as the transition rates for a continuous process, aiming particularly to give simple criteria for deciding when a set of such quantities corresponds to a legitimate quantum process. We also show how the transition rates for any Hamiltonian evolution can be worked out by expanding the Hamiltonian as a linear combination of displacement operators in the disc…
Wigner functions provide a way to do quantum physics using quasiprobabilities, that is, "probability" distributions that can go negative. Informationally complete POVMs, a much younger subject than phase space formulations of quantum mechanics, are less familiar but provide wholly probabilistic representations of quantum theory. In this paper, we show that the Born Rule links these two classes of structure and discuss the art of interconverting between them. In particular, we demonstrate that the operator bases corresponding to minimal discrete Wigner functions (Wigner bases) are orthogonaliza…
The Wigner representation of parametric down conversion in the Heisenberg picture is applied to the study of the Rome teleportation experiment. We investigate the physical meaning of the zeropoint inputs at the different areas of the experimental setup. In particular, we establish a quantitative relationship between the zeropoint sets of modes that are needed for the preparation of the quantum state to be teleported, the idle channels inside the one-photon polarization-momentum Bell-state analyser, and the possibility of performing teleportation of a polarization state whith certainty.
To avoid the computational burden of many-body quantum simulation, the interaction of an electron with a photon (phonon) is typically accounted for by disregarding the explicit simulation of the photon (phonon) degree of freedom and just modelling its effect on the electron dynamics. For quantum models developed from the (reduced) density matrix or its Wigner-Weyl transformation, the modelling of collisions may violate complete positivity (precluding the typical probabilistic interpretation). In this paper, we show that such quantum transport models can also strongly violate the energy conserv…
A bipartite quantum state is tomographically faithful when it can be used as an input of a quantum operation acting on one of the two quantum systems, such that the joint output state carries a complete information about the operation itself. Tomographically faithful states are a necessary ingredient for tomography of quantum operations and for complete quantum calibration of measuring apparatuses. In this paper we provide a complete classification of such states for continuous variables in terms of the Wigner function of the state. For two-mode Gaussian states faithfulness simply resorts to c…
By means of a well-grounded mapping scheme linking Schwinger unitary operators and generators of the special unitary group $\mathrm{SU(N)}$, it is possible to establish a self-consistent theoretical framework for finite-dimensional discrete phase spaces which has the discrete $\mathrm{SU(N)}$ Wigner function as a legitimate by-product. In this paper, we apply these results with the aim of putting forth a detailed study on the discrete $\mathrm{SU(2)} \otimes \mathrm{SU(2)}$ and $\mathrm{SU(4)}$ Wigner functions, in straight connection with experiments involving, among other things, the tomogra…
We apply the Wigner function formalism to the study of two-photon polarization-momentum hyperentanglement generated in parametric down conversion. It is shown that the consideration of a higher number of degrees of freedom is directly related to the extraction of additional uncorrelated sets of zeropoint modes at the source. We present a general expression for the description of the quantum correlations corresponding to the sixteen Bell base states, in terms of four beams whose amplitudes are correlated through the stochastic properties of the zeropoint field. A detailed analysis of the two ex…
We discuss a family of quasi-distributions (s-ordered Wigner functions of Agarwal and Wolf) and its connection to the so called phase space representation of the Schroedinger equation. It turns out that although Wigner functions satisfy the Schroedinger equation in phase space they have completely different interpretation.
We report a direct measurement of the Wigner function characterizing the quantum state of a light mode. The experimental scheme is based on the representation of the Wigner function as an expectation value of a displaced photon number parity operator. This allowed us to scan the phase space point-by-point, and obtain the complete Wigner function without using any numerical reconstruction algorithms.
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.
The probability distribution for finding a state of the radiation field in a particular phase is described by a multitude of theoretical formalisms; the phase-sensitivity of the Wigner quasi-probability distribution being one of them. We construct a hermitian phase operator for this Wigner phase. We show that this operator is complete and also elucidate a set of complete but non-orthogonal states that seems to be naturally associated with such an operator. Further we show that our operator satisfies a weak equivalence relation with the Pegg-Barnett operator, thus showing that the essential pha…
Phase-space representations as given by Wigner functions are a powerful tool for representing the quantum state and characterizing its time evolution in the case of infinite-dimensional quantum systems and have been widely used in quantum optics and beyond. Continuous phase spaces have also been studied for finite-dimensional quantum systems such as spin systems. However, much less is known for finite-dimensional, coupled systems, and we present a complete theory of Wigner functions for this case. In particular, we provide a self-contained Wigner formalism for describing and predicting the tim…
We measure complete and continuous Wigner functions of a two-level cesium atom in both a nearly pure state and highly mixed states. We apply the method [T. Tilma et al., Phys. Rev. Lett. 117, 180401 (2016)] of strictly constructing continuous Wigner functions for qubit or spin systems. We find that the Wigner function of all pure states of a qubit has negative regions and the negativity completely vanishes when the purity of an arbitrary mixed state is less than $\frac{2}{3}$. We experimentally demonstrate these findings using a single cesium atom confined in an optical dipole trap, which unde…
We calculate the atomic (spin) Wigner function for the single mode Dicke model in the regime of large number of two-level atoms. The dynamics of this quasi-probability function on the Bloch sphere allows us to visualize the consequences of the entanglement process between the boson and the spin subsystems. Such investigation shows a distinct localization behavior of the spin state with respect to the polar and azimuthal Bloch sphere angles. A complete {\em breakdown of reflection symmetry} in the azimuthal angle is shown in the non-integrable case, even at short evolution times. Also, in the c…
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 study the class of discrete Wigner functions proposed by Gibbons et al. [Phys. Rev. A 70, 062101 (2004)] to describe quantum states using a discrete phase-space based on finite fields. We find the extrema of such functions for small Hilbert space dimensions, and present a quantum information application: a construction of quantum random access codes. These are constructed using the complete set of phase-space point operators to find encoding states and to obtain the codes' average success rates for Hilbert space dimensions 2,3,4,5,7 and 8.
The 3-regular graphs representing sums over products of Wigner 3-jm symbols are drawn on up to 12 vertices (complete to 18j-symbols), and the irreducible graphs on up to 14 vertices (complete to 21j-symbols). The Lederer-Coxeter-Frucht notations of the Hamiltonian cycles in these graphs are tabulated to support search operations.
We examine the effect of the decoherence-induced reduction of correlation length on a one-dimensional scattering problem by solving numerically the evolution equation for the Wigner function with decoherence proposed in [L. Barletti, G. Frosali and E. Giovannini, Journal of Computational and Theoretical Transport 47, 209 (2018)]. The numerical solution is achieved by the Splitting-Scheme algorithm. Three cases are examined, corresponding to a reflection-dominated regime, a transmission-dominated regime and an intermediate one. The dynamic evolution of the Wigner function is followed until the …
We demonstrate a method which allows the stochastic modelling of quantum systems for which the generalised Fokker-Planck equation in the phase space contains derivatives of higher than second order. This generalises quantum stochastics far beyond the quantum-optical paradigm of three and four-wave mixing problems to which these techniques have so far only been applicable. To verify our method, we model a full Wigner representation for the optical parametric oscillator, a system where the correct results are well known and can be obtained by other methods.
We investigate exponential phase moments of the s-parametrized quasidistributions (smoothed Wigner functions). We show that the knowledge of these moments as functions of s provides, together with photon-number statistics, a complete description of the quantum state. We demonstrate that the exponential phase moments can be directly sampled from the data recorded in balanced homodyne detection and we present simple expressions for the sampling kernels. The phase moments are Fourier coefficients of phase distributions obtained from the quasidistributions via integration over the radial variable …
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…
We present a new quasi-probability distribution function for ensembles of spin-half particles or qubits that has many properties in common with Wigner's original function for systems of continuous variables. We show that this function provides clear and intuitive graphical representation of a wide variety of states, including Fock states, spin-coherent states, squeezed states, superpositions and statistical mixtures. Unlike previous attempts to represent ensembles of spins/qubits, this distribution is capable of simultaneously representing several angular momentum shells.
We apply the Wigner function formalism to partial Bell-state analysis using polarization entanglement produced in parametric down conversion. Two-photon statistics at a beam-splitter are reproduced by a wavelike description with zeropoint fluctuations of the electromagnetic field. In particular, the fermionic behaviour of two photons in the singlet state is explained from the invariance on the correlation properties of two light beams going through a balanced beam-splitter. Moreover, we show that a Bell-state measurement introduces some fundamental noise at the idle channels of the analyzers. …
Recent experimental results demonstrated the generation of a quantum superpositon (MQS), involving a number of photons in excess of 5x10^4, which showed a high resilience to losses. In order to perform a complete analysis on the effects of de-coherence on this multiphoton fields, obtained through the Quantum Injected Optical Parametric Amplifier (QIOPA), we invesigate theoretically the evolution of the Wigner functions associated to these states in lossy conditions. Recognizing the presence of negative regions in the W-representation as an evidence of non-classicality, we focus our analysis on…
We consider the general Wigner function for a particle confined to a finite interval and subject to Dirichlet boundary conditions. We derive the boundary corrections to the "star-genvalue" equation and to the time evolution equation. These corrections can be cast in the form of a boundary potential contributing to the total Hamiltonian which together with a subsidiary boundary condition is responsible for the discretization of the energy levels. We show that a completely analogous formulation (in terms of boundary potentials) is also possible in standard operator quantum mechanics and that the…
Recently, it is shown that the extended phase space formulation of quantum mechanics is a suitable technique for studying the quantum dissipative system. Here, as an application of this formalism, we consider a dissipative system of charged particles interacting with an external time dependent electric field. Such a system has been investigating by Buch and Denman, and two solutions with completely different structure have been obtained for Schrödinger's equation in two different gauges. We demonstrate how both gauges lead to the same conductivity by generalizing the gauge transformations to t…
We first review the usefulness of the Wigner distribution functions (WDF), associated with Lindblad and pre-master equations, for analyzing a host of problems in Quantum Optics where dissipation plays a major role, an arena where weak coupling and long-time approximations are valid. However, we also show their limitations for the discussion of decoherence, which is generally a short-time phenomenon with decay rates typically much smaller than typical dissipative decay rates. We discuss two approaches to the problem both of which use a quantum Langevin equation (QLE) as a starting-point: (a) us…
An integral of the Wigner function of a wavefunction |psi >, over some region S in classical phase space is identified as a (quasi) probability measure (QPM) of S, and it can be expressed by the |psi > average of an operator referred to as the region operator (RO). Transformation theory is developed which provides the RO for various phase space regions such as point, line, segment, disk and rectangle, and where all those ROs are shown to be interconnected by completely positive trace increasing maps. The latter are realized by means of unitary operators in Fock space extended by 2D vector spac…
We study different techniques that allow us to gain complete knowledge about an unknown quantum state, e.g. to perform full tomography of this state. We focus on two apparently simple cases, full tomography of one and two qubit systems. We analyze and compare those techniques according to two figures of merit. Our first criterion is the minimisation of the redundancy of the data acquired during the tomographic process. In the case of two-qubits tomography, we also analyze this process from the point of view of factorisability, so to say we analyze the possibility to realise the tomographic pro…
A complete solution to the problem of setting up Wigner distribution for N-level quantum systems is presented. The scheme makes use of some of the ideas introduced by Dirac in the course of defining functions of noncommuting observables and works uniformly for all N. Further, the construction developed here has the virtue of being essentially input-free in that it merely requires finding a square root of a certain N^2 x N^2 complex symmetric matrix, a task which, as is shown, can always be accomplished analytically. As an illustration, the case of a single qubit is considered in some detail an…
A discussion of discrete Wigner functions in phase space related to mutually unbiased bases is presented. This approach requires mathematical assumptions which limits it to systems with density matrices defined on complex Hilbert spaces of dimension p^n where p is a prime number. With this limitation it is possible to define a phase space and Wigner functions in close analogy to the continuous case. That is, we use a phase space that is a direct sum of n two-dimensional vector spaces each containing p^2 points. This is in contrast to the more usual choice of a two-dimensional phase space conta…
The Hong-Ou-Mandel (HOM) experiment was a benchmark in quantum optics, evidencing the quantum nature of the photon. In order to go deeper, and obtain the complete information about the quantum state of a system, for instance, composed by photons, the direct measurement or reconstruction of the Wigner function or other quasi--probability distribution in phase space is necessary. In the present paper, we show that a simple modification in the well-known HOM experiment provides the direct measurement of the Wigner function. We apply our results to a widely used quantum optics system, consisting o…
In the context of phase-space quantization, matrix elements and observables result from integration of c-number functions over phase space, with Wigner functions serving as the quasi-probability measure. The complete sets of Wigner functions necessary to expand all phase-space functions include off-diagonal Wigner functions, which may appear technically involved. Nevertheless, it is shown here that suitable generating functions of these complete sets can often be constructed, which are relatively simple, and lead to compact evaluations of matrix elements. New features of such generating functi…
Distinct from Bell's approach, Wigner had derived a form of local realist (LR) inequality which is quantum mechanically violated for a bipartite maximally entangled state. Subsequently, this approach was generalized to obtain a multipartite LR inequality. However, the violation of such generalised Wigner's inequality does not guarantee nonlocality between all possible different bipartitions of the multipartite system. In the present work, this limitation has been overcome by formulating a further generalisation of Wigner's approach through the derivation of a set of LR inequalities with respec…
Using the quadrature bases that incorporate the spatiotemporal degrees of freedom, we develop a Wigner functional theory for quantum optics, as an extension of the Moyal formalism. Since the spatiotemporal quadrature bases span the complete Hilbert space of all quantum optical states, it does not require factorization as a tensor product of discrete Hilbert spaces. The Wigner functions associated with such a space become functionals and operations are expressed by functional integrals -- the functional version of the star product. The resulting formalism enables tractable calculations for scen…
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.
Long ago appeared a discussion in quantum mechanics of the problem of opening a completely absorbing shutter on which were impinging a stream of particles of definite velocity. The solution of the problem was obtained in a form entirely analogous to the optical one of diffraction by a straight edge. The argument of the Fresnel integrals was though time dependent and thus the first part in the title of this article. In section 1 we briefly review the original formulation of the problem of diffraction in time. In section 2 and 3 we reformulate respectively this problem in Wigner distributions an…
We consider transformation maps on the space of states which are symmetries in the sense of Wigner. Due to the convex nature of the space of states, the set of these maps has a convex structure. We investigate the possibility of a complete characterization of extreme maps of this convex body, to be able to contribute to the classification of positive maps. Our study provides a variant of Wigner's theorem originally proved for ray transformations in Hilbert spaces.
The Quantum Ergodic Conjecture equates the Wigner function for a typical eigenstate of a classically chaotic Hamiltonian with a delta-function on the energy shell. This ensures the evaluation of classical ergodic expectations of simple observables, in agreement with Shnirelman's theorem, but this putative Wigner function violates several important requirements. Consequently, we transfer the conjecture to the Fourier transform of the Wigner function, that is, the chord function. We show that all the relevant consequences of the usual conjecture require only information contained within a small …
We show that, on a Hilbert space of odd dimension, the only pure states to possess a non-negative Wigner function are stabilizer states. The Clifford group is identified as the set of unitary operations which preserve positivity. The result can be seen as a discrete version of Hudson's Theorem. Hudson established that for continuous variable systems, the Wigner function of a pure state has no negative values if and only if the state is Gaussian. Turning to mixed states, it might be surmised that only convex combinations of stabilizer states give rise to non-negative Wigner distributions. We re…
It has recently been shown that it is possible to represent the complete quantum state of any system as a phase-space quasi-probability distribution (Wigner function) [Phys Rev Lett 117, 180401]. Such functions take the form of expectation values of an observable that has a direct analogy to displaced parity operators. In this work we give a procedure for the measurement of the Wigner function that should be applicable to any quantum system. We have applied our procedure to IBM's Quantum Experience five-qubit quantum processor to demonstrate that we can measure and generate the Wigner function…
Physicians define death as the "irreversible" breakdown of all brain-functions including brain-stem. By "irreversible" they mean a damage that is beyond the human capacity to restore the patient's healthy state. In the same line I propose to complete the definition of quantum physics in [1] by Principle D (Detection): "Detection outcomes (like death) are ordinarily irreversible and observer-independent". It is then argued that this principle excludes generalization of quantum superposition to visible objects bearing observer-dependent outcomes. However this exclusion is not absolute: It rather…
By virtue of the thermal entangled states representation of density operator and using dissipative interaction picture we solve the master equation of a driven damped harmonic oscillator in a squeezed bath. We show that the essential part of the dynamics can be expressed by the convolution of initial Wigner function with a special kind of normalized Gaussian in phase space and relate the dynamics with the change of Gaussian ordering of density operator.
The state of a microscopic system encodes its complete quantum description, from which the probabilities of all measurement outcomes are inferred. Being a statistical concept, the state cannot be obtained from a single system realization. It can be reconstructed from an ensemble of copies, by performing measurements on different realizations. Reconstructing the state of a set of trapped particles shielded from their environment is an important step for the investigation of the quantum to classical boundary. While trapped atom state reconstructions have been achieved, it is challenging to perfo…
Recently a paper on the construction of consistent Wigner functions for cylindrical phase spaces S^1 x R, i.e. for the canonical pair angle and angular momentum, was presented (arXiv:1601.02520), main properties of those functions derived, discussed and their usefulness illustrated by examples. The present paper is a continuation which compares properties of the new Wigner functions for cylindrical phase spaces with those of the well-known Wigner functions on planar ones in more detail. Furthermore, the mutual (Weyl) correspondence between Hilbert space operators and their phase space function…
Negativity of the Wigner function is arguably one of the most striking non-classical features of quantum states. Beyond its fundamental relevance, it is also a necessary resource for quantum speedup with continuous variables. As quantum technologies emerge, the need to identify and characterize the resources which provide an advantage over existing classical technologies becomes more pressing. Here we derive witnesses for Wigner negativity of single-mode and multimode quantum states, based on fidelities with Fock states, which can be reliably measured using standard detection setups. They poss…
We show that the cross Wigner function can be written in the form $W(ψ, ϕ)= \hat S (ψ\otimes \overline{\hatϕ})$ where ${\hatϕ}$ is the Fourier transform of $ϕ$ and $\hat S$ is a metaplectic operator that projects onto a linear symplectomorphism $S$ consisting of a rotation along an ellipse in phase space (or in the time-frequency space). This formulation can be extended to generic Weyl symbols and yields an interesting fractional generalization of the Weyl-Wigner formalism. It also provides a suitable approach to study the Bopp phase space representation of quantum mechanics, familiar from def…
The paper scrutinizes both the similarities and the differences between the classical optics and quantum mechanical theories in phase space, especially between the Wigner distribution functions defined in the respective phase spaces. Classical optics is able to provide an understanding of either the corpuscular or wave aspects of quantum mechanics, reflected in phase space through the classical limit of the quantum Wigner distribution function or the Wigner distribution function in classical optics, respectively. However, classical optics, as any classical theory, cannot mimic the wave-particl…
The introduction of phase coherence in the detection of quantum noise of light yields a pure quantum measurement of spectral modes. We theoretically show that such coherent quantum measurement performed with the technique of resonator detection (RD) is able to access any direction in the two-mode phase space of spectral sidebands under appropriate conditions, thus furnishing a complete measurement of the four-dimensional Wigner function. We obtain a realistic measurement operator for coherent RD by including the effects of imperfect resonator mode matching in our analysis. Moreover, we experim…
Many applications in quantum communication, sensing and computation need provably quantum non-Gaussian light. Recently such light, witnessed by a negative Wigner function, has been estimated using homodyne tomography from a single atom dispersively coupled to a high-finesse cavity. This opens an investigation of quantum non-Gaussian light for many experiments with atoms and solid-state emitters. However, at their early stage, an atom or emitter in a cavity system with different channels to the environment and additional noise are insufficient to produce negative Wigner functions. Moreover, hom…
We present a general method by which linear quantum Hamiltonian dynamics with exponentially many degrees of freedom is replaced by approximate classical nonlinear dynamics with the number of degrees of freedom (phase space dimensionality) scaling polynomially in the system size. This method is based on generalization of the truncated Wigner approximation (TWA) to a higher dimensional phase space, where phase space variables are associated with a complete set of quantum operators spanning finite size clusters. The method becomes asymptotically exact with the increasing cluster size. The crucial…
Using the remarkable mathematical construct of Eugene Wigner to visualize quantum trajectories in phase space, quantum processes can be described in terms of a quasi-probability distribution analogous to the phase space probability distribution of the classical realm. In contrast to the incomplete glimpse of the wave function that is achievable in a single shot experiment, the Wigner distribution, accessible by quantum state tomography, reflects the full quantum state. We show that during the fundamental symmetry-breaking process of a generic quantum system - with a symmetry breaking field dri…
We present a method for calculating expectation values of operators in terms of a corresponding c-function formalism which is not the Wigner--Weyl position-momentum phase-space, but another space. Here, the quantity representing the quantum system is the expectation value of the displacement operator, parametrized by the position and momentum displacements, and expectation values are evaluated as classical integrals over these parameters. The displacement operator is found to offer a complete orthogonal basis for operators, and some of its other properties are investigated. Connection to the W…
