Certifying nonstabilizerness in quantum processors

Emmanuel Zambrini Cruzeiro; Ernesto F. Galv\~ao; Filipa C. R. Peres; Rafael Wagner

arxiv: 2404.16107 · v1 · submitted 2024-04-24 · 🪐 quant-ph

Certifying nonstabilizerness in quantum processors

Rafael Wagner , Filipa C. R. Peres , Emmanuel Zambrini Cruzeiro , Ernesto F. Galv\~ao This is my paper

Pith reviewed 2026-05-24 01:22 UTC · model grok-4.3

classification 🪐 quant-ph

keywords set magicnonstabilizernessquantum processorsoverlap inequalitieswitnessesmulti-qubit statesquantum computation

0 comments

The pith

Two-state overlap inequalities witness multi-qubit set magic and certify it across unentangled quantum processors.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines set magic for a collection of states whenever at least one state in the collection is non-stabilizer. It shows that two-state overlap inequalities already known as coherence witnesses also detect this set magic property for multi-qubit states. The same inequalities thereby let experimenters certify the presence of magic when states are held on separate quantum processors that share no entanglement, lowering the measurement load on each processor.

Core claim

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.

What carries the argument

Set magic, a property of a collection of states that holds when at least one member is non-stabilizer, detected via repurposed two-state overlap inequalities.

If this is right

The inequalities serve as witnesses for multi-qubit set magic.
Magic can be certified across multiple QPUs that share no entanglement.
Experimental demands on each individual QPU are reduced.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The approach may extend to certifying other quantum resources in distributed settings.
Similar repurposing of existing inequalities could apply to single-qubit or continuous-variable cases.

Load-bearing premise

The two-state overlap inequalities can be shown to witness set magic for multi-qubit states without extra conditions that fail to hold in general.

What would settle it

A concrete multi-qubit non-stabilizer state that satisfies all the two-state overlap inequalities would demonstrate that the inequalities do not witness set magic in general.

read the original 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.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Abstract defines set magic and claims overlap inequalities witness it for multi-qubit and distributed QPUs, but no details available to check the math.

read the letter

The main takeaway is that the authors introduce set magic for a collection of states and argue that certain two-state overlap inequalities can serve as witnesses for it, including in settings with multiple separate QPUs and no entanglement between them. This is presented as a scalable way to certify nonstabilizerness in growing hardware. What is new is the set-based definition itself and the direct application to multi-device certification without shared entanglement. The abstract frames this as reducing demands on individual devices, which addresses a practical issue in quantum processor characterization. The work does a reasonable job identifying a potential shortcut using existing inequalities from the coherence literature. The clear limitation is that only the abstract is available, so there are no explicit inequalities, proofs, or checks to examine. It is impossible to tell whether the repurposing step holds without extra conditions or counterexamples, which matches the low soundness score. The multi-QPU claim in particular needs the actual derivation to assess. This paper would mainly interest experimental groups working on resource estimation and hardware benchmarking. A reader focused on certification methods might get something out of the full version if the inequalities are shown to work cleanly. I would send it to peer review rather than desk reject so that referees can evaluate the technical steps once the full text is in hand.

Referee Report

1 major / 0 minor

Summary. The manuscript introduces the notion of set magic for a collection of quantum states (the set has the property if at least one state is non-stabilizer). It claims that certain two-state overlap inequalities previously introduced for basis-independent coherence are also witnesses of multi-qubit set magic, and that this enables certification of magic across multiple QPUs without requiring entanglement between them.

Significance. If the central claims are substantiated, the work would provide a practical route to scalable certification of nonstabilizerness in distributed quantum hardware by repurposing existing coherence witnesses, addressing a growing need for resource characterization as QPUs increase in size and number.

major comments (1)

[Abstract] Abstract: the claim that the two-state overlap inequalities witness multi-qubit set magic is presented without the explicit inequalities, the precise conditions for their validity, or any derivation; this prevents assessment of whether the repurposing step holds without additional assumptions that may fail in general.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their review. We address the single major comment below and will revise the manuscript accordingly to improve clarity and substantiation of the central claim.

read point-by-point responses

Referee: [Abstract] Abstract: the claim that the two-state overlap inequalities witness multi-qubit set magic is presented without the explicit inequalities, the precise conditions for their validity, or any derivation; this prevents assessment of whether the repurposing step holds without additional assumptions that may fail in general.

Authors: We agree that the abstract as written is too concise on this point and does not provide the explicit inequalities, validity conditions, or derivation needed for immediate assessment. In the revised version we will expand the abstract by one or two sentences to state the specific two-state overlap inequalities (originally from the coherence literature) that we repurpose, the precise condition under which they witness multi-qubit set magic (i.e., when the set contains at least one non-stabilizer state), and a brief indication that the repurposing follows from the fact that stabilizer states saturate the inequalities. The full derivation, including the proof that the inequalities are violated precisely when set magic is present, remains in Sections III–IV of the main text; no additional assumptions beyond standard stabilizer theory are required. This revision will allow readers to evaluate the claim directly from the abstract while preserving its brevity. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The abstract introduces the new notion of 'set magic' (a set has the property if at least one member is non-stabilizer) and asserts that two-state overlap inequalities previously defined for basis-independent coherence are also witnesses for multi-qubit set magic, plus enabling distributed certification without inter-QPU entanglement. With only the abstract available, no equations, derivation steps, or self-citations are present that reduce any claim to its inputs by construction, fitted parameters renamed as predictions, or load-bearing self-citation chains. The extension of prior inequalities to the newly defined property constitutes independent content rather than a self-referential reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Abstract-only; the paper relies on standard quantum information background and introduces one new defined entity. No free parameters or invented physical entities are mentioned.

axioms (2)

domain assumption Quantum states are classified as stabilizer or non-stabilizer states under the stabilizer formalism
Implicit background required to define nonstabilizerness and set magic
domain assumption Two-state overlap inequalities can serve as witnesses for basis-independent coherence
Cited as recently introduced and repurposed here

invented entities (1)

set magic no independent evidence
purpose: Property that a set of states possesses if at least one member is a non-stabilizer state
Newly introduced definition in the paper

pith-pipeline@v0.9.0 · 5619 in / 1346 out tokens · 27811 ms · 2026-05-24T01:22:08.390919+00:00 · methodology

discussion (0)

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Every Little Thing Heat Does Is Magic
quant-ph 2026-04 unverdicted novelty 7.0

Energy and heat measurements provide witnesses that certify quantum magic without full state tomography.
A trace distance-based geometric analysis of the stabilizer polytope for few-qubit systems
quant-ph 2025-04 unverdicted novelty 5.0

Geometric study of non-stabilizerness in few-qubit systems via trace distance to the stabilizer polytope, with state sampling, measure comparisons, an analytical expression, facet classification, and a concentration b...