Abstract:The stabiliser formalism plays a central role in quantum computing, error correction, and fault tolerance. Conversions between and verifications of different specifications of stabiliser states and Clifford gates are important components of many classical algorithms in quantum information, e.g. for gate synthesis, circuit optimisation, and simulating quantum circuits. These core functions are also used in the numerical experiments critical to formulating and testing mathematical conjectures on the stabiliser formalism. We develop novel mathematical insights concerning stabiliser states and Clifford gates that significantly clarify their descriptions. We then utilise these to provide ten new fast algorithms which offer asymptotic advantages over any existing implementations. We show how to rapidly verify that a vector is a stabiliser state, and interconvert between its specification as amplitudes, a quadratic form, and a check matrix. These methods are leveraged to rapidly check if a given unitary matrix is a Clifford gate and to interconvert between the matrix of a Clifford gate and its compact specification as a stabiliser tableau. For example, we extract the stabiliser tableau of a $2^n \times 2^n$ matrix, promised to be a Clifford gate, in $O(n 2^n)$ time. Remarkably, it is not necessary to read all the elements of a Clifford gate matrix to extract its stabiliser tableau. This is an asymptotic speedup over the best-known method that is exponential in the number of qubits. We provide implementations of our algorithms in $\texttt{Python}$ and $\texttt{C++}$ that exhibit vastly improved practical performance over existing algorithms in the cases where they exist.

Fast convolution algorithm for state space models

An Off-line Algorithm of Constrained Predictive Control Model Using Linear Matrix Inequalities

EfficientState Space Model viaFast Tensor Convolutionand Block Diagonalization

Fast Online Reinforcement Learning Control using State-Space Dimensionality Reduction

Fast Randomized Subspace System Identification for Large I/O Data

A Fast Simulation Approach to Switched Systems

Simple and high-precision Hamiltonian simulation by compensating Trotter error with linear combination of unitary operations

Accelerated Convergence Interleaving Iterative Learning Control and Inverse Dynamics Identification

Iterative Maximum Likelihood FIR Filter for State-Space Models with Time-Stamped Delayed and Missing Data

Discrete the solving model of time-variant standard Sylvester-conjugate matrix equations using Euler-forward formula

Multidirectional cascade of square MIMO LTI subsystems: Transfer function representation

Lie Algebraic Method in Nonlinear Filtering with State Space Dimension Up to 6

State-Free Inference of State-Space Models: The Transfer Function Approach

Wave Matrix Lindbladization I: Quantum Programs for Simulating Markovian Dynamics

Finite-time Stabilization of Linear Time-Varying Systems by Piecewise Constant Feedback

Strategies for simulating time evolution of Hamiltonian lattice field theories

Nonsynchronized State Estimation of Uncertain Discrete-Time Piecewise Affine Systems

An Adaptive Learning Control for MIMO Nonlinear System with Nonuniform Trial Lengths and Invertible Control Gain Matrix

A Split Fast Fourier Transform Algorithm for Block Toeplitz Matrix-Vector Multiplication

Fast algorithms for classical specifications of stabiliser states and Clifford gates

Fast Electromagnetic Transient Simulation Based on Hierarchical Low-Rank Approximation