Semiclassical Formulation of Gottesman-Knill and Universal Quantum Computation

Abstract

We give a path integral formulation of the time evolution of qudits of odd dimension. This allows us to consider semiclassical evolution of discrete systems in terms of an expansion of the propagator in powers of $\hslash$. The largest power of $\hslash$ required to describe the evolution is a traditional measure of classicality. We show that the action of the Clifford operators on stabilizer states can be fully described by a single contribution of a path integral truncated at order ${\hslash }^0$ and so are "classical," just like propagation of Gaussians under harmonic Hamiltonians in the continuous case. Such operations have no dependence on phase or quantum interference. Conversely, we show that supplementing the Clifford group with gates necessary for universal quantum computation results in a propagator consisting of a finite number of semiclassical path integral contributions truncated at order ${\hslash }^1$ , a number that nevertheless scales exponentially with the number of qudits. The same sum in continuous systems has an infinite number of terms at order ${\hslash }^1$.

References in corpus (8)

• Hidden Variables and the Two Theorems of John Bell
• Negativity and contextuality are equivalent notions of nonclassicality
• Wigner function negativity and contextuality in quantum computation on rebits
• Classicality in discrete Wigner functions
• Contextuality and Wigner function negativity in qubit quantum computation
• Frame representations of quantum mechanics and the necessity of negativity in quasi-probability representations
• Framed Hilbert space: hanging the quasi-probability pictures of quantum theory
• Generalized Gaussian wave packet dynamics: Integrable and Chaotic Systems

Cited by in corpus (9)

• Deeply inelastic scattering structure functions on a hybrid quantum computer
• Discrete Wigner Formalism for Qubits and Non-Contextuality of Clifford Gates on Qubit Stabilizer States
• Discrete Wigner Function Derivation of the Aaronson-Gottesman Tableau Algorithm
• Stationary Phase Method in Discrete Wigner Functions and Classical Simulation of Quantum Circuits
• Measurement Contextuality and Planck's Constant
• Quantum Path Computing: Computing Architecture with Propagation Paths in Multiple Plane Diffraction of Classical Sources of Fermion and Boson Particles
• The Non-Disjoint Ontic States of the Grassmann Ontological Model, Transformation Contextuality, and the Single Qubit Stabilizer Subtheory
• Differential Geometry of Contextuality
• Noncontextual Pauli Hamiltonians