Quantum Fourier transform, Heisenberg groups and quasiprobability distributions

This paper aims to explore the inherent connection among Heisenberg groups, quantum Fourier transform and (quasiprobability) distribution functions. Distribution functions for continuous and finite quantum systems are examined first as a semiclassical approach to quantum probability distribution. This leads to studying certain functionals of a pair of "conjugate" observables, connected via the quantum Fourier transform. The Heisenberg groups emerge naturally from this study and we take a rapid look at their representations. The quantum Fourier transform appears as the intertwining operator of two equivalent representation arising out of an automorphism of the group. Distribution functions correspond to certain distinguished sets in the group algebra. The marginal properties of a particular class of distribution functions (Wigner distributions) arise from a class of automorphisms of the group algebra of the Heisenberg group. We then study the reconstruction of Wigner function from the marginal distributions via inverse Radon transform giving explicit formulas. We consider applications of our approach to quantum information processing and quantum process tomography.Comment: 39 page

Quasi-probability representations of quantum theory with applications to quantum information science

This article comprises a review of both the quasi-probability representations of infinite-dimensional quantum theory (including the Wigner function) and the more recently defined quasi-probability representations of finite-dimensional quantum theory. We focus on both the characteristics and applications of these representations with an emphasis toward quantum information theory. We discuss the recently proposed unification of the set of possible quasi-probability representations via frame theory and then discuss the practical relevance of negativity in such representations as a criteria for quantumness.Comment: v3: typos fixed, references adde

Wigner function for twisted photons

A comprehensive theory of the Weyl-Wigner formalism for the canonical pair angle-angular momentum is presented, with special emphasis in the implications of rotational periodicity and angular-momentum discreteness.Comment: 6 pages, 4 figure

Negative Quasi-Probability as a Resource for Quantum Computation

A central problem in quantum information is to determine the minimal physical resources that are required for quantum computational speedup and, in particular, for fault-tolerant quantum computation. We establish a remarkable connection between the potential for quantum speed-up and the onset of negative values in a distinguished quasi-probability representation, a discrete analog of the Wigner function for quantum systems of odd dimension. This connection allows us to resolve an open question on the existence of bound states for magic-state distillation: we prove that there exist mixed states outside the convex hull of stabilizer states that cannot be distilled to non-stabilizer target states using stabilizer operations. We also provide an efficient simulation protocol for Clifford circuits that extends to a large class of mixed states, including bound universal states.Comment: 15 pages v4: This is a major revision. In particular, we have added a new section detailing an explicit extension of the Gottesman-Knill simulation protocol to deal with positively represented states and measurement (even when these are non-stabilizer). This paper also includes significant elaboration on the two main results of the previous versio

Linear canonical transformations and quantum phase:a unified canonical and algebraic approach

The algebra of generalized linear quantum canonical transformations is examined in the prespective of Schwinger's unitary-canonical basis. Formulation of the quantum phase problem within the theory of quantum canonical transformations and in particular with the generalized quantum action-angle phase space formalism is established and it is shown that the conceptual foundation of the quantum phase problem lies within the algebraic properties of the quantum canonical transformations in the quantum phase space. The representations of the Wigner function in the generalized action-angle unitary operator pair for certain Hamiltonian systems with the dynamical symmetry are examined. This generalized canonical formalism is applied to the quantum harmonic oscillator to examine the properties of the unitary quantum phase operator as well as the action-angle Wigner function.Comment: 19 pages, no figure

Hudson's Theorem for finite-dimensional quantum systems

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.Comment: 17 pages, 3 figures; References updated. Title changed to match published version. See also quant-ph/070200