Hudson's Theorem for finite-dimensional quantum systems
arXiv:quant-ph/0602001 · doi:10.1063/1.2393152
Abstract
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.
17 pages, 3 figures; References updated. Title changed to match published version. See also quant-ph/0702004
References in corpus (5)
Cited by in corpus (227)
- Quantum Resource Theories
- Contextuality supplies the magic for quantum computation
- Recovering low-rank matrices from few coefficients in any basis
- The Resource Theory of Stabilizer Computation
- Positive Wigner functions render classical simulation of quantum computation efficient
- Application of a resource theory for magic states to fault-tolerant quantum computing
- Stim: a fast stabilizer circuit simulator
- Negative Quasi-Probability as a Resource for Quantum Computation
- Evenly distributed unitaries: on the structure of unitary designs
- How to quantify coherence: Distinguishing speakable and unspeakable notions
- Resource theory of quantum non-Gaussianity and Wigner negativity
- Estimating outcome probabilities of quantum circuits using quasiprobabilities
- Kochen-Specker Contextuality
- Enhanced fault-tolerant quantum computing in -level systems
- Multiqubit Clifford groups are unitary 3-designs
- Quasi-probability representations of quantum theory with applications to quantum information science
- Magic state distillation in all prime dimensions using quantum Reed-Muller codes
- Many-body quantum magic
- Reconstruction of Gaussian quantum mechanics from Liouville mechanics with an epistemic restriction
- Quantifying the magic of quantum channels
- Quantifying quantum speedups: improved classical simulation from tighter magic monotones
- Quantifying magic for multi-qubit operations
- Robustness of Magic and Symmetries of the Stabiliser Polytope
- Qudit versions of the qubit "pi-over-eight" gate
- Schur-Weyl Duality for the Clifford Group with Applications: Property Testing, a Robust Hudson Theorem, and de Finetti Representations
- Classicality of spin states
- Efficiently computable bounds for magic state distillation
- Conformal field theories are magical
- Convex geometry of quantum resource quantification
- Directly estimating non-classicality
- Many-body magic via Pauli-Markov chains -- from criticality to gauge theories
- Framed Hilbert space: hanging the quasi-probability pictures of quantum theory
- Efficient simulation scheme for a class of quantum optics experiments with non-negative Wigner representation
- Schur complement inequalities for covariance matrices and monogamy of quantum correlations
- Nonstabilizerness via matrix product states in the Pauli basis
- Multipartite Entanglement in Stabilizer Tensor Networks
- Phase space simulation method for quantum computation with magic states on qubits
- Equivalence between contextuality and negativity of the Wigner function for qudits
- Kirkwood-Dirac quasiprobability approach to the statistics of incompatible observables
- Scrambling and Complexity in Phase Space
- The status of determinism in proofs of the impossibility of a noncontextual model of quantum theory
- Non-negative Wigner functions in prime dimensions
- Simulation of Qubit Quantum Circuits via Pauli Propagation
- Resources for bosonic quantum computational advantage
- Magic spreading in random quantum circuits
- Pauli Spectrum and Non-stabilizerness of Typical Quantum Many-Body States
- Overview of the phase space formulation of quantum mechanics with application to quantum technologies
- Can a quantum state over time resemble a quantum state at a single time?
- Uniqueness of noncontextual models for stabilizer subtheories
- Axiomatic and operational connections between the -norm of coherence and negativity
- Quasiprobability representations of quantum mechanics with minimal negativity
- Permutation Symmetry Determines the Discrete Wigner Function
- Quantification and manipulation of magic states
- Entanglement Entropy and the Colored Jones Polynomial
- Split spin-squeezed Bose-Einstein Condensates
- Symmetry-protected sign problem and magic in quantum phases of matter
- New Phase Space Formulations and Quantum Dynamics Approaches
- Critical behaviors of non-stabilizerness in quantum spin chains
- Contextuality as a resource for measurement-based quantum computation beyond qubits
- Nonnegative subtheories and quasiprobability representations of qubits
- Lower bound for the T count via unitary stabilizer nullity
- Normal form for single-qutrit Clifford+T operators and synthesis of single-qutrit gates
- Quantum Entropy and Central Limit Theorem
- Optimal verification of stabilizer states
- Witnessing Wigner Negativity
- Noise Thresholds for Higher Dimensional Systems using the Discrete Wigner Function
- Qutrit Magic State Distillation Tight in Some Directions
- Genuine multipartite entanglement of symmmetric Gaussian states: Strong monogamy, unitary localization, scaling behavior, and molecular sharing structure
- Contextuality and Wigner negativity are equivalent for continuous-variable quantum measurements
- From SICs and MUBs to Eddington
- Hierarchy in temporal quantum correlations
- Entanglement from Topology in Chern-Simons Theory
- Fast estimation of outcome probabilities for quantum circuits
- Stabilizer extent is not multiplicative
- Discrete Wigner Formalism for Qubits and Non-Contextuality of Clifford Gates on Qubit Stabilizer States
- Wigner function for a particle in an infinite lattice
- Statistical mechanics model for Clifford random tensor networks and monitored quantum circuits
- Efficient simulatability of continuous-variable circuits with large Wigner negativity
- Rotational covariance and GHZ contradictions for three or more particles of any dimension
- Catalytic quantum randomness
- Stabilizer information inequalities from phase space distributions
- Fast Stabiliser Simulation with Quadratic Form Expansions
- Probability representation of quantum dynamics using pseudostochastic maps
- Quantum Contextuality with Stabilizer States
- Qutrit and Ququint Magic States
- A structure theorem for generalized-noncontextual ontological models
- Wigner negativity in spin- systems
- Maximum nonlocality and minimum uncertainty using magic states
- Holomorphic representation of quantum computations
- Universal limitations on implementing resourceful unitary evolutions
- Stabilizer notation for Spekkens' toy theory
- Spectra of phase point operators in odd prime dimensions and the extended Clifford group
- Mutually unbiased bases as minimal Clifford covariant 2-designs
- Quantum Advantage in Information Retrieval
- Complexity of quantum circuits via sensitivity, magic, and coherence
- Constraints on magic state protocols from the statistical mechanics of Wigner negativity
- Quantifying dynamical magic with completely stabilizer preserving operations as free
- Randomized benchmarking for qudit Clifford gates
- Non-negative Wigner functions for orbital angular momentum states
- Improved Stabilizer Estimation via Bell Difference Sampling
- Mermin inequalities for perfect correlations in many-qutrit systems
- Mana and thermalization: probing the feasibility of near-Clifford Hamiltonian simulation
- Magic State Distillation with the Ternary Golay Code
- Graph-theoretic strengths of contextuality
- Kirkwood-Dirac representations beyond quantum states (and their relation to noncontextuality)
- Magic Resource Can Enhance the Quantum Capacity of Channels
- The role of cohomology in quantum computation with magic states
- State-injection schemes of quantum computation in Spekkens' toy theory
- Coherence makes quantum systems 'magical'
- Knots, links, and long-range magic
- Efficient quantum gate teleportation in higher dimensions
- Characterizing the geometry of the Kirkwood-Dirac positive states
- Stabilizer rank and higher-order Fourier analysis
- Operational Theories in Phase Space: Toy Model for the Harmonic Oscillator
- Quantum game theory and the complexity of approximating quantum Nash equilibria
- Quantum Fourier transform, Heisenberg groups and quasiprobability distributions
- Transformations of Stabilizer States in Quantum Networks
- Bridging magic and non-Gaussian resources via Gottesman-Kitaev-Preskill encoding
- Spekkens' toy model in all dimensions and its relationship with stabilizer quantum mechanics
- High-dimensional entanglement witnessed by correlations in arbitrary bases
- Stabilizer Testing and Magic Entropy via Quantum Fourier Analysis
- The axiomatic and the operational approaches to resource theories of magic do not coincide
- The magic of universal quantum computing with permutations
- Bipartite entangled stabilizer mutually unbiased bases as maximum cliques of Cayley graphs
- Wigner distributions for finite state systems without redundant phase point operators
- Nonstabilizerness dynamics in many-body localized systems
- Discrete Wigner Function Derivation of the Aaronson-Gottesman Tableau Algorithm
- States that "look the same" with respect to every basis in a mutually unbiased set
- States that are far from being stabilizer states
- Mixing and localisation in random time-periodic quantum circuits of Clifford unitaries
- Stabilizer Rényi Entropy and Conformal Field Theory
- Depicting qudit quantum mechanics and mutually unbiased qudit theories
- Absence of localization in two-dimensional Clifford circuits
- Quantum Bayesian Inference in Quasiprobability Representations
- -epistemic interpretations of quantum theory have a measurement problem
- Interplay of entanglement structures and stabilizer entropy in spin models
- Hierarchies of resources for measurement-based quantum computation
- Extracting Error Thresholds through the Framework of Approximate Quantum Error Correction Condition
- Unconditional generation of bright coherent non-Gaussian light from exciton-polariton condensates
- Generalised state spaces and non-locality in fault tolerant quantum computing schemes
- Improved Simulation of Quantum Circuits by Fewer Gaussian Eliminations
- A Graphical Calculus for Lagrangian Relations
- Contextual bound states for qudit magic state distillation
- Mixed-state additivity properties of magic monotones based on quantum relative entropies for single-qubit states and beyond
- NoRA: A Tensor Network Ansatz for Volume-Law Entangled Equilibrium States of Highly Connected Hamiltonians
- Limitations of Classically-Simulable Measurements for Quantum State Discrimination
- Semiclassical Formulation of Gottesman-Knill and Universal Quantum Computation
- Universal resources for quantum computing
- Faster Born probability estimation via gate merging and frame optimisation
- Stabilizer ground states for simulating quantum many-body physics: theory, algorithms, and applications
- Efficient classical simulation and benchmarking of quantum processes in the Weyl basis
- Stationary Phase Method in Discrete Wigner Functions and Classical Simulation of Quantum Circuits
- Qudit Shadow Estimation Based on the Clifford Group and the Power of a Single Magic Gate
- Quantum Ruzsa Divergence to Quantify Magic
- Exponential learning advantages with conjugate states and minimal quantum memory
- Measurement Contextuality and Planck's Constant
- New techniques for bounding stabilizer rank
- Convex roofs witnessing Kirkwood-Dirac nonpositivity
- A classical formulation of quantum theory?
- Computing quantum magic of state vectors
- Statistical Mechanics of Stochastic Quantum Control: -adic Rényi Circuits
- Prepare-and-Magic: Semi-Device Independent Magic Certification in the Prepare-and-Measure Scenario
- Counting stabiliser codes for arbitrary dimension
- Fundamental limits on quantum cloning from the no-signalling principle
- Aligned SICs and embedded tight frames in even dimensions
- Automatic Test Pattern Generation for Robust Quantum Circuit Testing
- Comparative Study of Sampling-Based Simulation Costs of Noisy Quantum Circuits
- Quantum Bochner's theorem for phase spaces built on projective representations
- Quantum circuit dynamics via path integrals: Is there a classical action for discrete-time paths?
- Classical codes in quantum state space
- Ontological models for quantum theory as functors
- Covariant mutually unbiased bases
- Uncertainty from the Aharonov-Vaidman Identity
- Transition probabilities and transition rates in discrete phase space
- Hidden variable model for quantum computation with magic states on qudits of any dimension
- A trace distance-based geometric analysis of the stabilizer polytope for few-qubit systems
- Lightweight Detection of a Small Number of Large Errors in a Quantum Circuit
- Continuous phase-space methods on discrete phase spaces
- The Non-Disjoint Ontic States of the Grassmann Ontological Model, Transformation Contextuality, and the Single Qubit Stabilizer Subtheory
- Stokes vector and its relationship to Discrete Wigner Functions of multiphoton states
- Classifying space for quantum contextuality
- Minimum uncertainty states and completeness of non-negative quasi probability of finite-dimensional quantum systems
- A quantum prediction as a collection of epistemically restricted classical predictions
- Finding maximal quantum resources
- Minimizing the negativity of quantum circuits in overcomplete quasiprobability representations
- Wigner's Theorem for stabilizer states and quantum designs
- Clifford group is not a semidirect product in dimensions divisible by four
- Resource distillation in convex Gaussian resource theories
- Nonstabilizerness and Error Resilience in Noisy Quantum Circuits
- Extending Classically Simulatable Bounds of Clifford Circuits with Nonstabilizer States via Framed Wigner Functions
- Single-copy stabilizer testing
- Smallest state spaces for which bipartite entangled quantum states are separable
- Unconditionally separating noisy from bounded polynomial threshold circuits of constant depth
- Spin flip of multiqubit states in discrete phase space
- Magic of discrete lattice gauge theories
- Bounding the quantum capacity with flagged extensions
- Grand Unification of All Discrete Wigner Functions on Phase Space
- Harvesting Contextuality from the Vacuum
- Stellar representation of extremal Wigner-negative spin states
- Wigner formalism for a particle on an infinite lattice: dynamics and spin
- Simulating quantum computation: how many "bits" for "it"?
- On the stabilizer complexity of Hawking radiation
- General entropic constraints on CSS codes within magic distillation protocols
- Symmetries and Wigner representations of operational theories
- Simulation of quantum computation with magic states via Jordan-Wigner transformations
- On character table of Clifford groups
- Enhancement of non-Stabilizerness within Indefinite Causal Order
- Characterization of non-adaptive Clifford channels
- Classical simulation of circuits with realistic odd-dimensional Gottesman-Kitaev-Preskill states
- The Kirkwood-Dirac representation associated to the Fourier transform for finite abelian groups: positivity
- Expanding the Class of Free Fermions via Twin-Collapse Methods
- Symmetric Localizable Multipartite Quantum Measurements from Pauli Orbits
- Duality theory for Clifford tensor powers
- Automated discovery of heralded ballistic graph state generators for fusion-based photonic quantum computation
- Efficient classical simulation of cluster state quantum circuits with alternative inputs
- Gottesman-Knill Limit on One-way Communication Complexity: Tracing the Quantum Advantage down to Magic Resources
- Non-Gaussianity from superselection rules
- Qudit Noisy Stabilizer Formalism
- A streamlined demonstration that stabilizer circuits simulation reduces to Boolean linear algebra
- Maximally symmetric stabilizer MUBs in even prime-power dimensions
- The Interplay between Quantum Contextuality and Wigner Negativity
- Efficient measure of information backflow with a quasistochastic process
- A Functorial Construction of Quantum Subtheories
- Qudit Clauser-Horne-Shimony-Holt Inequality and Nonlocality from Wigner Negativity
- Almost no experiments have classical Kirkwood-Dirac representations
- Contextuality from the vacuum
- Computable and noncomputable in the quantum domain: statements and conjectures