No-cost Bell nonlocality certification from quantum tomography and its applications in quantum-magic-resource witnessing

Harald Weinfurter; Lukas Knips; Pawel Cieslinski; Wieslaw Laskowski

arxiv: 2512.25068 · v2 · submitted 2025-12-31 · 🪐 quant-ph

No-cost Bell nonlocality certification from quantum tomography and its applications in quantum-magic-resource witnessing

Pawel Cieslinski , Lukas Knips , Harald Weinfurter , Wieslaw Laskowski This is my paper

Pith reviewed 2026-05-16 18:22 UTC · model grok-4.3

classification 🪐 quant-ph

keywords Bell nonlocalityquantum tomographyPauli measurementsBell inequalitiesquantum magicstabilizer operatorsresource witnessing

0 comments

The pith

Standard Pauli tomography measurements can certify Bell nonlocality at no added experimental cost.

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

The paper shows that the X, Y, and Z measurements routinely performed for quantum state tomography already contain the data needed to test nonlocality. A constructive procedure turns those same stabilizer operators into custom Bell inequalities that can be violated by the measured state. Because the procedure works on any existing tomographic dataset, past experiments can be reinterpreted as nonlocality tests without new runs. The same operators are then used to witness quantum magic, the resource required for universal fault-tolerant computation. The net result is that one set of Pauli measurements simultaneously reconstructs the state, certifies its nonlocality, and quantifies its magic content.

Core claim

The same Pauli-basis measurements (X, Y, Z) used for quantum state tomography can be directly employed to construct and violate tailored Bell inequalities, thereby certifying nonlocality at zero additional experimental cost. The method applies to realistic noisy states, leverages the stabilizer nature of the measured operators, and extends to witnessing quantum magic solely through resources already present in the state.

What carries the argument

Tailored Bell inequalities constructed from the stabilizer operators obtained in standard Pauli tomography.

If this is right

Any archived tomographic dataset can be reprocessed to certify nonlocality.
Experiments that planned only tomography can now certify nonlocality without extra measurements.
Quantum magic witnessing becomes possible using exactly the same Pauli data collected for state reconstruction.
A single experimental run yields state reconstruction, nonlocality certification, and magic-resource quantification.

Where Pith is reading between the lines

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

Historical tomography records from many quantum-information labs could be mined for previously undetected nonlocality.
The approach may reduce the measurement overhead when verifying magic states in quantum-computing hardware.
Similar reuse of characterization data might apply to other discrete measurement bases beyond Pauli operators.

Load-bearing premise

The stabilizer operators measured during ordinary Pauli tomography are sufficient to produce Bell inequalities that the target states violate under realistic experimental noise.

What would settle it

Collect full Pauli tomography on a maximally entangled two-qubit state, apply the constructive procedure, and observe that none of the generated inequalities is violated.

read the original abstract

Tomographic measurements are the standard tool for characterizing quantum states, yet they are usually regarded only as means for state reconstruction or fidelity measurement. Here, we show that the same Pauli-basis measurements (X, Y, Z) can be directly employed for the certification of nonlocality at no additional experimental cost. Our framework allows any tomographic data - including archival datasets -- to be reinterpreted in terms of fundamental nonlocality tests. We introduce a generic, constructive method to generate tailored Bell inequalities and showcase their applicability to certify the non-locality of states in realistic experimental scenarios. Recognizing the stabilizer nature of the considered operators, we analyze our inequalities in the context of witnessing quantum magic - a crucial resource for quantum computing. Our approach requires Pauli measurements only and tests the quantum magic solely through the resources present in the state. Our results establish a universal standard that unifies state tomography with nonlocality certification and its application to quantum magic witnessing, thereby streamlining both fundamental studies and practical applications.

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

This paper shows how to turn routine Pauli tomography into Bell nonlocality certification and magic witnessing without extra measurements.

read the letter

The main takeaway is that the same X, Y, Z measurements used for standard state tomography can be reinterpreted as Bell inequality tests at no added experimental cost. The authors give a constructive method to build tailored inequalities from the tomographic data, including archival sets, and then connect those inequalities to witnessing quantum magic through the stabilizer structure of the operators. This unifies two tasks that are usually handled separately in the lab. Tomography is already common, so extracting nonlocality certificates from the same data could reduce the need for dedicated Bell experiments. The magic-witnessing angle is relevant because magic is a key resource for quantum computing, and the approach tests it using only the resources already present in the state. The framework is presented as generic and applicable to realistic scenarios, which could make it useful for streamlining experimental workflows. The soft spots are that the abstract contains no explicit inequalities, no numerical violation examples, and no checks against noise or specific states. Without those details it is hard to tell whether the constructed inequalities reliably detect nonlocality or whether the tailoring step introduces any hidden limitations. The zero-cost claim is attractive but needs the full derivations to confirm it holds in practice. This paper is aimed at experimental groups that already run Pauli tomography and want to pull extra information from their data, as well as theorists interested in resource theories. It deserves peer review so the constructions and any supporting checks can be examined in detail.

Referee Report

1 major / 0 minor

Summary. The paper claims that standard Pauli-basis measurements (X, Y, Z) used for quantum state tomography can be directly reinterpreted to certify Bell nonlocality at no additional experimental cost. It introduces a generic constructive method to generate tailored Bell inequalities from tomographic data (including archival sets), demonstrates applicability to realistic experimental scenarios, and extends the approach to witness quantum magic resources using only the stabilizer operators present in the state.

Significance. If the constructions hold, the result would be significant for quantum information science by unifying tomography with nonlocality certification and magic witnessing, enabling reuse of existing datasets, reducing experimental overhead, and providing a parameter-free route to resource certification in quantum computing contexts.

major comments (1)

[Abstract] Abstract: the central claim that a 'generic, constructive method' generates tailored Bell inequalities from stabilizer operators that certify nonlocality for realistic states is load-bearing, yet no explicit inequality, violation threshold, or derivation is supplied; without these, it is impossible to verify whether the Pauli data suffice or whether post-selection affects the certification.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed review and for identifying the need for greater concreteness in the abstract. We address the major comment point by point below and will revise the manuscript accordingly.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that a 'generic, constructive method' generates tailored Bell inequalities from stabilizer operators that certify nonlocality for realistic states is load-bearing, yet no explicit inequality, violation threshold, or derivation is supplied; without these, it is impossible to verify whether the Pauli data suffice or whether post-selection affects the certification.

Authors: We agree that the abstract, as currently written, does not supply an explicit inequality or threshold and therefore cannot by itself allow verification of the claim. The full manuscript contains the constructive procedure that maps any set of Pauli tomographic expectations onto a tailored Bell inequality whose violation is witnessed directly by the same data; an explicit example (for a two-qubit state) together with the numerical violation threshold and the short derivation from the stabilizer correlators is given in Section III. No post-selection is performed: the inequality is evaluated on the complete set of measurement outcomes. To make the central claim verifiable from the abstract alone, we will add one concrete inequality, its threshold, and a one-sentence outline of the construction. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The abstract describes a framework that reinterprets existing Pauli-basis tomographic data (X, Y, Z measurements) to certify nonlocality via tailored Bell inequalities constructed from stabilizer operators, with no additional experimental cost. It further applies this to quantum magic witnessing. No equations, fitted parameters, or self-citations appear in the provided text. The central claim rests on the standard stabilizer property of Pauli operators, which is an independent fact from quantum information theory and does not reduce to any input defined within the paper itself. The derivation is presented as a constructive reinterpretation of archival data rather than a self-referential or fitted prediction, rendering the chain self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the method is described at the level of Pauli measurements and stabilizer operators without further detail.

pith-pipeline@v0.9.0 · 5455 in / 977 out tokens · 22798 ms · 2026-05-16T18:22:29.073888+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We introduce a generic, constructive method to generate tailored Bell inequalities... Recognizing the stabilizer nature of the considered operators, we analyze our inequalities in the context of witnessing quantum magic
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

A general N-party m-setting Bell inequality is given as B(c) = sum c_i1...iN O(i1)1 ... O(iN)N <= L

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.