Certifying nonstabilizerness in quantum processors
- URL: http://arxiv.org/abs/2404.16107v1
- Date: Wed, 24 Apr 2024 18:01:02 GMT
- Title: Certifying nonstabilizerness in quantum processors
- Authors: Rafael Wagner, Filipa C. R. Peres, Emmanuel Zambrini Cruzeiro, Ernesto F. Galvão,
- Abstract summary: Nonstabilizerness, also known as magic, is a crucial resource for quantum computation.
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.
- Score: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- 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.
Related papers
- Quantum States with Maximal Magic [0.0]
We show that if a Weyl-Heisenberg (WH) covariant Symmetric Informationally Complete (SIC) quantum measurement exists, its states uniquely maximize the stabilizer entropies by saturating the bound.
Our result may have implications for quantum computation at a practical level, as it demonstrates that this notion of maximal magic inherits all the difficulties of the 25-year-old SIC existence problem, along with the deep questions in number theory associated with it.
arXiv Detail & Related papers (2024-12-30T17:02:22Z) - A computational test of quantum contextuality, and even simpler proofs of quantumness [43.25018099464869]
We show that an arbitrary contextuality game can be compiled into an operational "test of contextuality" involving a single quantum device.
Our work can be seen as using cryptography to enforce spatial separation within subsystems of a single quantum device.
arXiv Detail & Related papers (2024-05-10T19:30:23Z) - Retrieving non-stabilizerness with Neural Networks [0.0]
We introduce a novel approach leveraging Convolutional Neural Networks (CNNs) to classify quantum states based on their magic content.
Our methodology circumvents the limitations of full state tomography, offering a practical solution for real-world quantum experiments.
arXiv Detail & Related papers (2024-03-01T19:02:09Z) - The Power of Unentangled Quantum Proofs with Non-negative Amplitudes [55.90795112399611]
We study the power of unentangled quantum proofs with non-negative amplitudes, a class which we denote $textQMA+(2)$.
In particular, we design global protocols for small set expansion, unique games, and PCP verification.
We show that QMA(2) is equal to $textQMA+(2)$ provided the gap of the latter is a sufficiently large constant.
arXiv Detail & Related papers (2024-02-29T01:35:46Z) - Unifying (Quantum) Statistical and Parametrized (Quantum) Algorithms [65.268245109828]
We take inspiration from Kearns' SQ oracle and Valiant's weak evaluation oracle.
We introduce an extensive yet intuitive framework that yields unconditional lower bounds for learning from evaluation queries.
arXiv Detail & Related papers (2023-10-26T18:23:21Z) - Quantum Merlin-Arthur proof systems for synthesizing quantum states [0.0]
We investigate a state synthesizing counterpart of the class NP-synthesizing.
We establish that the family of UQMA witnesses, considered as one of the most natural candidates, is in stateQMA.
We demonstrate that stateQCMA achieves perfect completeness.
arXiv Detail & Related papers (2023-03-03T12:14:07Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
A test of quantumness is a protocol that allows a classical verifier to certify (only) that a prover is not classical.
We show that tests of quantumness that follow a certain template, which captures recent proposals such as (Kalai et al., 2022) can in fact do much more.
Namely, the same protocols can be used for certifying a qubit, a building-block that stands at the heart of applications such as certifiable randomness and classical delegation of quantum computation.
arXiv Detail & Related papers (2023-03-02T14:18:17Z) - Scalable measures of magic resource for quantum computers [0.0]
We introduce efficient measures of magic resource for pure quantum states with a sampling cost independent of the number of qubits.
We show the transition of classically simulable stabilizer states into intractable quantum states on the IonQ quantum computer.
arXiv Detail & Related papers (2022-04-21T12:50:47Z) - Computational self-testing for entangled magic states [0.0]
We show that a magic state for the CCZ gate can be self-tested while that for the T gate cannot.
Our result is applicable to a proof of quantumness, where we can classically verify whether a quantum device generates a quantum state having non-zero magic.
arXiv Detail & Related papers (2021-11-04T09:25:40Z) - Operational Resource Theory of Imaginarity [48.7576911714538]
We show that quantum states are easier to create and manipulate if they only have real elements.
As an application, we show that imaginarity plays a crucial role for state discrimination.
arXiv Detail & Related papers (2020-07-29T14:03:38Z) - Einselection from incompatible decoherence channels [62.997667081978825]
We analyze an open quantum dynamics inspired by CQED experiments with two non-commuting Lindblad operators.
We show that Fock states remain the most robust states to decoherence up to a critical coupling.
arXiv Detail & Related papers (2020-01-29T14:15:19Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.