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.

Graphical Calculus for Non-Gaussian Quantum States

Encoding Hypergraphs into Quantum States

Graphical description of unitary transformations on hypergraph states

ZH: A Complete Graphical Calculus for Quantum Computations Involving Classical Non-linearity

Algebraic Geometry of Quantum Graphical Models

Non-symmetric GHZ states; weighted hypergraph and controlled-unitary graph representations

ZX Graphical Calculus for Continuous-Variable Quantum Processes

Demonstration of hypergraph-state quantum information processing

Graph state data structures

A unifying primary framework for QGNNs from quantum graph states

The Focked-up ZX Calculus: Picturing Continuous-Variable Quantum Computation

A unifying primary framework for quantum graph neural networks from quantum graph states

Spiral-wave Dynamics Depends Sensitively on nhomogeneities in Mathematical Models of Ventricular Tissue

Many-body quantum resources of graph states

Graphical Calculi and their Conjecture Synthesis

Quantum Graph-State Synthesis with SAT

Quantum Experiments and Hypergraphs: Multi-Photon Sources for Quantum Interference, Quantum Computation and Quantum Entanglement

Gaussian decomposition of magic states for matchgate computations

Continuous-variable graph states for quantum metrology

Quantum Graph Neural Networks