Certifying nonstabilizerness in quantum processors
arXiv:2404.16107 · doi:10.1088/1751-8121/ade9ff
Abstract
Nonstabilizerness, also known as magic, is a crucial resource for quantum computation. The growth in complexity of quantum processing units (QPUs) demands robust and scalable techniques for characterizing this resource. We introduce the notion of set magic: a set of states has this property if at least one state in the set is a non-stabilizer state. We show that certain two-state overlap inequalities, recently introduced as witnesses of basis-independent coherence, are also witnesses of multi-qubit set magic. We also show it is possible to certify the presence of magic across multiple QPUs without the need for entanglement between them and reducing the demands on each individual QPU.
7+10 pages, 3+2 figures. Comments are welcome!
References in corpus (35)
- Noisy intermediate-scale quantum (NISQ) algorithms
- Logical quantum processor based on reconfigurable atom arrays
- Quantum Error Mitigation
- Quantum Tomography via Compressed Sensing: Error Bounds, Sample Complexity, and Efficient Estimators
- Testing the Hilbert space dimension
- Stabilizer Rényi entropy
- Kochen-Specker Contextuality
- Stabilizer entropies and nonstabilizerness monotones
- Measuring magic on a quantum processor
- Scalable measures of magic resource for quantum computers
- Bounding the set of finite dimensional quantum correlations
- Catalysis and activation of magic states in fault tolerant architectures
- Experimental progress on quantum coherence: detection, quantification, and manipulation
- Quantum circuits for measuring weak values, Kirkwood--Dirac quasiprobability distributions, and state spectra
- Measuring nonstabilizerness via multifractal flatness
- Set coherence: basis-independent quantification of quantum coherence
- Simulation of Qubit Quantum Circuits via Pauli Propagation
- Efficient quantum algorithms for stabilizer entropies
- Semidefinite programming relaxations for quantum correlations
- Uniqueness of noncontextual models for stabilizer subtheories
- Unitary-invariant witnesses of quantum imaginarity
- Lower bound for the T count via unitary stabilizer nullity
- Stabilizer Tensor Networks: universal quantum simulator on a basis of stabilizer states
- Quantifying n-photon indistinguishability with a cyclic integrated interferometer
- Experimental certification of contextuality, coherence and dimension in a programmable universal photonic processor
- Multivariate trace estimation in constant quantum depth
- An Improved Sample Complexity Lower Bound for (Fidelity) Quantum State Tomography
- Coherence and contextuality in a Mach-Zehnder interferometer
- Inequalities witnessing coherence, nonlocality, and contextuality
- Multi-object operational tasks for convex quantum resource theories
- Graph-Theoretic Framework for Self-Testing in Bell Scenarios
- Witnesses of coherence and dimension from multiphoton indistinguishability tests
- A coherence-witnessing game and applications to semi-device-independent quantum key distribution
- Witnessing Magic with Bell inequalities
- An estimation theoretic approach to quantum realizability problems