Abstract:Magic states, pivotal for universal quantum computation via classically simulable Clifford gates, often undergo decomposition into resourceless stabilizer states, facilitating simulation through classical means. This approach yields three operationally significant metrics: stabilizer rank, fidelity, and extent. We extend these simulation methods to encompass matchgate circuits (MGCs), and define equivalent metrics for this setting. We begin with an investigation into the algebraic constraints defining Gaussian states, marking the first explicit characterisation of these states. The explicit description of Gaussian states is pivotal to our methods for tackling all the simulation tasks. Central to our inquiry is the concept of Gaussian rank -- a pivotal metric defining the minimum terms required for decomposing a quantum state into Gaussian constituents. This metric holds paramount significance in determining the runtime of rank-based simulations for MGCs featuring magic state inputs. The absence of low-rank decompositions presents a computational hurdle, thereby prompting a deeper examination of fermionic magic states. We find that the Gaussian rank of 2 instances of our canonical magic state is 4 under symmetry-restricted decompositions. Additionally, our numerical analysis suggests the absence of low-rank decompositions for 2 or 3 copies of this magic state. Further, we explore the Gaussian extent, a convex metric offering an upper bound on the rank. We prove the Gaussian extent's multiplicative behaviour on 4-qubit systems, along with initial strides towards proving its sub-multiplicative nature in general settings. One important result in that direction we present is an upper bound on the Gaussian fidelity of generic states.

Minimal entanglement for injecting diagonal gates

Ja n 20 05 Probabilistically implementing nonlocal operation using non-maximally entangled state

Probabilistic implementation of a nonlocal operation using a nonmaximally entangled state

Transversal Injection: A method for direct encoding of ancilla states for non-Clifford gates using stabiliser codes

Very low overhead fault-tolerant magic state preparation using redundant ancilla encoding and flag qubits

Stabilizer Tensor Networks with Magic State Injection

Characterising semi-Clifford gates using algebraic sets

Optimality of T-gate for generating magic resource

Harnessing the Power of Long-Range Entanglement for Clifford Circuit Synthesis

Unifying Gate Synthesis and Magic State Distillation

Gaussian decomposition of magic states for matchgate computations

Logical Noise Bias in Magic State Injection

Diagonal operator decomposition on restricted topologies via enumeration of quantum state subsets

Preparing topological states with finite depth simultaneous commuting gates

Qudit Gate Decomposition Dependence for Lattice Gauge Theories

Measurement-free code-switching for low overhead quantum computation using permutation invariant codes

Error Mitigation for Universal Gates on Encoded Qubits

Transversal Injection: Using the Surface Code to Prepare Non-Pauli Eigenstates

Optimized synthesis of circuits for diagonal unitary matrices with reflection symmetry

Scaling W state circuits in the qudit Clifford hierarchy