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 refute this conjecture by means of a counter-example. Further, we give an axiomatic characterization which completely fixes the definition of the Wigner function and compare two approaches to stabilizer states for Hilbert spaces of prime-power dimensions. In the course of the discussion, we derive explicit formulas for the number of stabilizer codes defined on such systems.
According to Hudson's theorem, any pure quantum state with a positive Wigner function is necessarily a Gaussian state. Here, we make a step towards the extension of this theorem to mixed quantum states by finding upper and lower bounds on the degree of non-Gaussianity of states with positive Wigner functions. The bounds are expressed in the form of parametric functions relating the degree of non-Gaussianity of a state, its purity, and the purity of the Gaussian state characterized by the same covariance matrix. Although our bounds are not tight, they permit us to visualize the set of states wi…
Schur-Weyl duality is a ubiquitous tool in quantum information. At its heart is the statement that the space of operators that commute with the tensor powers of all unitaries is spanned by the permutations of the tensor factors. In this work, we describe a similar duality theory for tensor powers of Clifford unitaries. The Clifford group is a central object in many subfields of quantum information, most prominently in the theory of fault-tolerance. The duality theory has a simple and clean description in terms of finite geometries. We demonstrate its effectiveness in several applications: (1) …
In nonrelativistic quantum mechanics, Hudsons theorem states that a Gaussian wavefunction is the only pure state corresponding to a positive Wigner function (WF). We explicitly construct non Gaussian Dirac spinors with positive relativistic WF. These pure states are coherent superpositions of particles and antiparticles, while the existence of positive WF exclusive composed of particles is conjectured. These observations challenge a common belief that states with positive WF are classical or have classical analogues, and may open new venues in relativistic quantum information.
Using the Trotter-Kato theorem we prove the convergence of the unitary dynamics generated by an increasingly singular Hamiltonian in the case of a single field coupling. The limit dynamics is a quantum stochastic evolution of Hudson-Parthasarathy type, and we establish in the process a graph limit convergence of the pre-limit Hamiltonian operators to the Chebotarev-Gregoratti-von Waldenfels Hamiltonian generating the quantum Ito evolution.
We describe a universal scheme of quantum computation by state injection on rebits (states with real density matrices). For this scheme, we establish contextuality and Wigner function negativity as computational resources, extending results of [M. Howard et al., Nature 510, 351--355 (2014)] to two-level systems. For this purpose, we define a Wigner function suited to systems of $n$ rebits, and prove a corresponding discrete Hudson's theorem. We introduce contextuality witnesses for rebit states, and discuss the compatibility of our result with state-independent contextuality.
We present an elementary proof of the quantum de Finetti representation theorem, a quantum analogue of de Finetti's classical theorem on exchangeable probability assignments. This contrasts with the original proof of Hudson and Moody [Z. Wahrschein. verw. Geb. 33, 343 (1976)], which relies on advanced mathematics and does not share the same potential for generalization. The classical de Finetti theorem provides an operational definition of the concept of an unknown probability in Bayesian probability theory, where probabilities are taken to be degrees of belief instead of objective states of n…
Quantum versions of de Finetti's theorem are powerful tools, yielding conceptually important insights into the security of key distribution protocols or tomography schemes and allowing to bound the error made by mean-field approaches. Such theorems link the symmetry of a quantum state under the exchange of subsystems to negligible quantum correlations and are well understood and established in the context of distinguishable particles. In this work, we derive a de Finetti theorem for finite sized Majorana fermionic systems. It is shown, much reflecting the spirit of other quantum de Finetti the…
According to a classical result due to Hudson, the Wigner function of a pure, continuous variable quantum state is non-negative if and only if the state is Gaussian. We have proven an analogous statement for finite-dimensional quantum systems. In this context, the role of Gaussian states is taken on by stabilizer states. The general results have been published in [D. Gross, J. Math. Phys. 47, 122107 (2006)]. For the case of systems of odd prime dimension, a greatly simplified proof can be employed which still exhibits the main ideas. The present paper gives a self-contained account of these me…
Optimal convergence rates in trace distance and relative entropy for the quantum central limit theorem
School of Mathematics, Institute for Research in Fundamental Sciences (IPM)（基础科学研究院数学学院）；Centre for Quantum Technologies, National University of Singapore（新加坡国立大学量子技术中心）；School of Electrical and Computer Engineering, Cornell University（康奈尔大学电气与计算机工程学院）
Recently Cator & Landsman made a comparison between Bell's Theorem and Conway & Kochen's Strong Free Will Theorem. Their overall conclusion was that the latter is stronger in that it uses fewer assumptions, but also that it has two shortcomings. Firstly, no experimental test of the Conway-Kochen Theorem has been performed thus far, and, secondly, because the Conway-Kochen Theorem is strongly connected to the Kochen-Specker Theorem it may be susceptible to the finite precision loophole of Meyer, Kent and Clifton. In this paper I show that the finite precision loophole does not apply to the Conw…
Various quantum analogues of the central limit theorem, which is one of the cornerstones of probability theory, are known in the literature. One such analogue, due to Cushen and Hudson, is of particular relevance for quantum optics. It implies that the state in any single output arm of an $n$-splitter, which is fed with $n$ copies of a centred state $ρ$ with finite second moments, converges to the Gaussian state with the same first and second moments as $ρ$. Here we exploit the phase space formalism to carry out a refined analysis of the rate of convergence in this quantum central limit theore…
This paper is concerned with a class of open quantum systems whose dynamic variables have an algebraic structure, similar to that of the Pauli matrices pertaining to finite-level systems. The system interacts with external bosonic fields, and its Hamiltonian and coupling operators depend linearly on the system variables. This results in a Hudson-Parthasarathy quantum stochastic differential equation (QSDE) whose drift and dispersion terms are affine and linear functions of the system variables. The quasilinearity of the QSDE leads to tractable dynamics of mean values and higher-order multi-poi…
We develop a theory of Gaussian states over general quantum kinematical systems with finitely many degrees of freedom. The underlying phase space is described by a locally compact abelian (LCA) group $G$ with a symplectic structure determined by a 2-cocycle on $G$. We use the concept of Gaussian distributions on LCA groups in the sense of Bernstein to define Gaussian states and completely characterize Gaussian states over 2-regular LCA groups of the form $G= F\times\hat{F}$ endowed with a canonical normalized 2-cocycle. This covers, in particular, the case of $n$-bosonic modes, $n$-qudit syste…
A new simple proof of the adiabatic theorem is given in the finite dimensional case for nondegenerate as well as degenerate states. The explicitly integrable two level system is considered as an example. It is demonstrated that the error estimate given by the adiabatic theorem can not be improved.
