Trading classical and quantum computational resources
arXiv:1506.01396 · doi:10.1103/PhysRevX.6.021043
Abstract
We propose examples of a hybrid quantum-classical simulation where a classical computer assisted by a small quantum processor can efficiently simulate a larger quantum system. First we consider sparse quantum circuits such that each qubit participates in O(1) two-qubit gates. It is shown that any sparse circuit on n+k qubits can be simulated by sparse circuits on n qubits and a classical processing that takes time . Secondly, we study Pauli-based computation (PBC) where allowed operations are non-destructive eigenvalue measurements of n-qubit Pauli operators. The computation begins by initializing each qubit in the so-called magic state. This model is known to be equivalent to the universal quantum computer. We show that any PBC on n+k qubits can be simulated by PBCs on n qubits and a classical processing that takes time . Finally, we propose a purely classical algorithm that can simulate a PBC on n qubits in a time where . This improves upon the brute-force simulation method which takes time . Our algorithm exploits the fact that n-fold tensor products of magic states admit a low-rank decomposition into n-qubit stabilizer states.
14 pages, 4 figures
References in corpus (5)
- Magic state distillation with low overhead
- Improved classical simulation of quantum circuits dominated by Clifford gates
- Estimating outcome probabilities of quantum circuits using quasiprobabilities
- Wigner function negativity and contextuality in quantum computation on rebits
- Multilevel distillation of magic states for quantum computing
Cited by in corpus (207)
- Quantum Resource Theories
- Quantum algorithms for quantum chemistry and quantum materials science
- Practical Quantum Error Mitigation for Near-Future Applications
- Application of a resource theory for magic states to fault-tolerant quantum computing
- Rydberg atom quantum technologies
- The Future of Quantum Computing with Superconducting Qubits
- Building a fault-tolerant quantum computer using concatenated cat codes
- Stabilizer Rényi entropy
- Simulation of quantum circuits by low-rank stabilizer decompositions
- Hybrid Quantum-Classical Approach to Quantum Optimal Control
- Simulating Large Quantum Circuits on a Small Quantum Computer
- Variational Quantum State Diagonalization
- Doubling the size of quantum simulators by entanglement forging
- Digital quantum simulation of open quantum systems using quantum imaginary time evolution
- CutQC: Using Small Quantum Computers for Large Quantum Circuit Evaluations
- Many-body quantum magic
- Valleytronics in merging Dirac cones: All-electric-controlled valley filter, valve and universal reversible logic gate
- Quantifying the magic of quantum channels
- Operational Resource Theory of Quantum Channels
- Quantifying nonstabilizerness of matrix product states
- Quantifying quantum speedups: improved classical simulation from tighter magic monotones
- Quantifying magic for multi-qubit operations
- Contextuality and Wigner function negativity in qubit quantum computation
- Scalable measures of magic resource for quantum computers
- Robustness of Magic and Symmetries of the Stabiliser Polytope
- Circuit knitting with classical communication
- Lowering qubit requirements for quantum simulations of fermionic systems
- Efficiently computable bounds for magic state distillation
- Convex geometry of quantum resource quantification
- Constructing a virtual two-qubit gate by sampling single-qubit operations
- Universal quantum computing with twist-free and temporally encoded lattice surgery
- Quantum simulation with hybrid tensor networks
- Nonstabilizerness via matrix product states in the Pauli basis
- Fast quantum circuit cutting with randomized measurements
- Measuring nonstabilizerness via multifractal flatness
- Multicore Quantum Computing
- Nonstabilizerness determining the hardness of direct fidelity estimation
- Pauli Spectrum and Non-stabilizerness of Typical Quantum Many-Body States
- Dynamical Magic Transitions in Monitored Clifford+T Circuits
- On the statistical complexity of quantum circuits
- Suppressing quantum circuit errors due to system variability
- Variational quantum eigensolver for the Heisenberg antiferromagnet on the kagome lattice
- Overhead for simulating a non-local channel with local channels by quasiprobability sampling
- Non-stabilizerness versus entanglement in matrix product states
- Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
- Complexity of frustration: a new source of non-local non-stabilizerness
- From estimation of quantum probabilities to simulation of quantum circuits
- Efficient classical simulation of Clifford circuits with nonstabilizer input states
- Improved upper bounds on the stabilizer rank of magic states
- Quantum advantage and noise reduction in distributed quantum computing
- Computational speedups using small quantum devices
- Entanglement-magic separation in hybrid quantum circuits
- Pseudomagic Quantum States
- Lower bound for the T count via unitary stabilizer nullity
- All pure fermionic non-Gaussian states are magic states for matchgate computations
- Quantum Entropy and Central Limit Theorem
- Magic in generalized Rokhsar-Kivelson wavefunctions
- Error mitigation and quantum-assisted simulation in the error corrected regime
- High Dimensional Quantum Machine Learning With Small Quantum Computers
- Stabilizer Tensor Networks: universal quantum simulator on a basis of stabilizer states
- Quantifying Qubit Magic Resource with Gottesman-Kitaev-Preskill Encoding
- Learning quantum circuits of some gates
- Fast estimation of outcome probabilities for quantum circuits
- Stabilizer extent is not multiplicative
- Investigating the effect of circuit cutting in QAOA for the MaxCut problem on NISQ devices
- N-electron valence perturbation theory with reference wavefunctions from quantum computing: application to the relative stability of hydroxide anion and hydroxyl radical
- Quantum Divide and Compute: Exploring The Effect of Different Noise Sources
- A single -gate makes distribution learning hard
- Efficient simulatability of continuous-variable circuits with large Wigner negativity
- A polynomial time and space heuristic algorithm for T-count
- Magic-induced computational separation in entanglement theory
- Quantum circuits and low-degree polynomials over F_2
- Cutting multi-control quantum gates with ZX calculus
- Experimental Simulation of Larger Quantum Circuits with Fewer Superconducting Qubits
- Verifiable Hybrid Secret Sharing With Few Qubits
- How to simulate quantum measurement without computing marginals
- Fast Stabiliser Simulation with Quadratic Form Expansions
- Nonstabilizerness of Permutationally Invariant Systems
- LIMDD: A Decision Diagram for Simulation of Quantum Computing Including Stabilizer States
- Magic of quantum hypergraph states
- Doubly optimal parallel wire cutting without ancilla qubits
- Probing quantum complexity via universal saturation of stabilizer entropies
- Quantifying dynamical magic with completely stabilizer preserving operations as free
- Improved Stabilizer Estimation via Bell Difference Sampling
- Classical Splitting of Parametrized Quantum Circuits
- Classical simulation of non-Gaussian fermionic circuits
- Mana and thermalization: probing the feasibility of near-Clifford Hamiltonian simulation
- Handbook for Quantifying Robustness of Magic
- Short-depth circuits for efficient expectation value estimation
- Gravitational back-reaction is magical
- Networked Quantum Services
- Quantum Non-Local Nonstabilizerness
- Computational power of matchgates with supplementary resources
- Opening the Black Box Inside Grover's Algorithm
- Experimental demonstration of scalable cross-entropy benchmarking to detect measurement-induced phase transitions on a superconducting quantum processor
- Magic Resource Can Enhance the Quantum Capacity of Channels
- The role of cohomology in quantum computation with magic states
- Chaos and magic in the dissipative quantum kicked top
- Error-corrected Hadamard gate simulated at the circuit level
- Stabilizer rank and higher-order Fourier analysis
- Entanglement and Stabilizer entropies of random bipartite pure quantum states
- Approximate stabilizer rank and improved weak simulation of Clifford-dominated circuits for qudits
- Secure multi-party quantum computation with few qubits
- Quantum circuit compilation and hybrid computation using Pauli-based computation
- Quantum Complexity Fluctuations from Nuclear and Hypernuclear Forces
- Magic of Random Matrix Product States
- Overhead-constrained circuit knitting for variational quantum dynamics
- Optimal quantum circuit cuts with application to clustered Hamiltonian simulation
- Fermion-Parity-Based Computation and its Majorana-Zero-Mode Implementation
- Bridging magic and non-Gaussian resources via Gottesman-Kitaev-Preskill encoding
- Clifford recompilation for faster classical simulation of quantum circuits
- Stabilizer Testing and Magic Entropy via Quantum Fourier Analysis
- Nonstabilizerness in the unitary and monitored quantum dynamics of XXZ-staggered and SYK models
- A hybrid algorithm framework for small quantum computers with application to finding Hamiltonian cycles
- Improved simulation of quantum circuits dominated by free fermionic operations
- -QER: An Intelligent Approach towards Quantum Error Reduction
- Tangling schedules eases hardware connectivity requirements for quantum error correction
- Experimental demonstration of a high-fidelity virtual two-qubit gate
- Error suppression by a virtual two-qubit gate
- Nonstabilizerness of a Boundary Time Crystal
- Cutting circuits with multiple two-qubit unitaries
- A nonstabilizerness monotone from stabilizerness asymmetry
- Using a resource theoretic perspective to witness and engineer quantum generalized contextuality for prepare-and-measure scenarios
- NISQ-compatible approximate quantum algorithm for unconstrained and constrained discrete optimization
- Random unitaries, Robustness, and Complexity of Entanglement
- Improved Simulation of Quantum Circuits by Fewer Gaussian Eliminations
- A Hardware-Aware Gate Cutting Framework for Practical Quantum Circuit Knitting
- Hybrid divide-and-conquer approach for tree search algorithms
- Improved Graph Formalism for Quantum Circuit Simulation
- Pauli-based model of quantum computation with higher-dimensional systems
- Preserving Entanglement in a Solid-Spin System Using Quantum Autoencoders
- Limitations of Classically-Simulable Measurements for Quantum State Discrimination
- Stationary Phase Method in Discrete Wigner Functions and Classical Simulation of Quantum Circuits
- Fermionic Magic Resources of Quantum Many-Body Systems
- Cutting a Wire with Non-Maximally Entangled States
- Faster Born probability estimation via gate merging and frame optimisation
- Ultrafast valley polarization in bilayer graphene
- Lower Bounds on Stabilizer Rank
- Divide-and-conquer verification method for noisy intermediate-scale quantum computation
- Disentangling magic states with classically simulable quantum circuits
- Quantum Ruzsa Divergence to Quantify Magic
- Computing quantum magic of state vectors
- Simulating Quantum Computations with Tutte Polynomials
- Classical simulation and quantum resource theory of non-Gaussian optics
- Fast simulation of planar Clifford circuits
- New techniques for bounding stabilizer rank
- Feynman-path type simulation using stabilizer projector decomposition of unitaries
- A new twist on the Majorana surface code: Bosonic and fermionic defects for fault-tolerant quantum computation
- The Hadamard gate cannot be replaced by a resource state in universal quantum computation
- Comparative Study of Sampling-Based Simulation Costs of Noisy Quantum Circuits
- Non-stabilizerness in quantum-enhanced metrological protocols
- Faster computation of nonstabilizerness
- Possibilistic simulation of quantum circuits by classical circuits
- Shadow Simulation of Quantum Processes
- Catalytic Transformation from Computationally Universal to Strictly Universal Measurement-Based Quantum Computation
- Procedurally Optimised ZX-Diagram Cutting for Efficient T-Decomposition in Classical Simulation
- Local spreading of stabilizer Rényi entropy in a brickwork random Clifford circuit
- Hidden variable model for quantum computation with magic states on qudits of any dimension
- Certifying nonstabilizerness in quantum processors
- Finding maximal quantum resources
- Quantum channel decomposition with pre- and post-selection
- Anticipative measurements in hybrid quantum-classical computation
- Fast algorithms for classical specifications of stabiliser states and Clifford gates
- Tabu-driven Quantum Neighborhood Samplers
- Wasserstein Complexity of Quantum Circuits
- Sequency Hierarchy Truncation (SeqHT) for Adiabatic State Preparation and Time Evolution in Quantum Simulations
- Robustness of Magic in the quantum Ising chain via Quantum Monte Carlo tomography
- Invested and Potential Magic Resources in Measurement-Based Quantum Computation
- Simulating quantum computation: how many "bits" for "it"?
- Non-stabilizerness and entanglement from cat-state injection
- Certification of two-qubit quantum systems with temporal inequality
- Entanglement-informed Construction of Variational Quantum Circuits
- Density matrix representation of hybrid tensor networks for noisy quantum devices
- Coherence as a resource for phase estimation
- Perspectives on Utilization of Measurements in Quantum Algorithms
- Circuit cutting with classical side information
- Tunable Tradeoff between Quantum and Classical Computation via Nonunitary Zeno-like Dynamics
- Bell inequalities with overlapping measurements
- Leakage Mobility in Superconducting Qubits as a Leakage Reduction Unit
- On the Hardness of Measuring Magic
- Phase transitions in (2 + 1)D subsystem-symmetric monitored quantum circuits
- Entanglement and magic on the light-front
- Quantifying magic via quantum Jensen-Shannon divergence
- Stabilizer Rényi Entropy for Translation-Invariant Matrix Product States
- Making the cut: two methods for breaking down a quantum algorithm
- Enhancement of non-Stabilizerness within Indefinite Causal Order
- Efficient simulation of logical magic state preparation protocols
- General entropic constraints on CSS codes within magic distillation protocols
- Simulation of quantum computation with magic states via Jordan-Wigner transformations
- Correcting and extending Trotterized quantum many-body dynamics
- Parallel Logical Measurements via Quantum Code Surgery
- Fast Classical Simulation of Quantum Circuits via Parametric Rewriting in the ZX-Calculus
- Characterization of non-adaptive Clifford channels
- Classically Simulating Quantum Supremacy IQP Circuits through a Random Graph Approach
- Quantum Magic in Discrete-Time Quantum Walk
- Circuit connectivity boosts by quantum-classical-quantum interfaces
- Limits of Clifford Disentangling in Tensor Network States
- Qubit-efficient quantum combinatorial optimization solver
- Basic entanglement distillation with realistic noise
- A streamlined demonstration that stabilizer circuits simulation reduces to Boolean linear algebra
- Polynomial-Time Classical Simulation of Hidden Shift Circuits via Confluent Rewriting of Symbolic Sums
- Unitary-transformed projective squeezing: applications for circuit-knitting and state-preparation of non-Gaussian states
- Efficient classical simulation of cluster state quantum circuits with alternative inputs
- Hybrid Classical-Quantum Simulation of MaxCut using QAOA-in-QAOA
- Symmetry-Accelerated Classical Simulation of Clifford-Dominated Circuits
- Reducing depth and measurement weights in Pauli-based computation
- Noncontextual Pauli Hamiltonians