Faithful Quantumness Certification

• The paper introduces a certification protocol using local contextuality self-testing to verify unique high-dimensional quantum states and measurements with robustness scaling as O(√ε).
• It employs exclusivity graphs, such as odd anti-cycles, to distinguish quantum from classical behaviors by comparing observed statistics to the Lovász theta bound.
• The approach minimizes assumptions by relying solely on measurement projectivity and observed probabilities, enabling scalable, device-independent quantum certification.

Faithful quantumness certification refers to rigorously verifying, with strong operational and quantitative guarantees, that a quantum device realizes nonclassical behaviors or resources—such as high-dimensional quantum states, contextual measurements, entanglement, or quantum channels—up to specified tolerances, and without requiring trust in or assumptions on the device’s internal modeling or noise characteristics. The task is to provide a certificate, often in the form of statistics or observable quantities, whose (near-)optimal attainment uniquely identifies the target quantum structure (up to isometries or specific equivalence classes), and which is robust to imperfections and experimental noise. This approach generalizes and strengthens the paradigm of self-testing and nonlocality-based certification to local, single-device, and programmable settings, and plays a central role in the trusted operation of quantum computers, simulators, and communication devices (Bharti et al., 2019).

1. Model and Formal Framework

In the paradigm introduced by Bharti et al. (Bharti et al., 2019), the quantum device is modeled as a black-box whose physical dimension and internal workings are not assumed known or trusted. The only operational interface is via programming “scenarios” and observing measurement outcomes. A program is specified by an exclusivity graph $G=(V,E)$ of $n$ events, encoding which outcomes are mutually exclusive. The device, upon receiving $G$, is expected to:

• Prepare a (possibly unknown) quantum state $\rho$ in a Hilbert space $\mathcal H$.
• Implement projective measurements $\{\Pi_i\}_{i=1}^n$, each corresponding to a vertex in $G$.

The observed data is the probability vector $(p_1,...,p_n)$ where $p_i = \Pr(e_i)$, with the physical exclusivity constraint $p_i + p_j \leq 1$ for $i \sim j$ in $E$. The convex set of all classically allowed behaviors is the noncontextual polytope ${\cal P}_{nc}(G)$, and quantum-allowed behaviors form ${\cal P}_q(G)$, where

$p_i = \Tr(\rho \Pi_i),\qquad \Pi_i\,\Pi_j = 0\ \forall\,i\sim j\,.$

The certification problem is to use only the observed behavior $p$, with no assumptions on the internal structure, to decide whether the device actually realizes the intended quantum states and measurements in a given dimension.

2. Certification Strategy: Local Contextuality Self-Testing

The certification protocol is based on robust self-testing through quantum contextuality, not relying on Bell-type nonlocality. The key mechanism is as follows (Bharti et al., 2019):

• Choose an exclusivity graph $G$ (ideally from a family with unique, high-dimensional quantum realizations).
• Construct a canonical noncontextuality inequality

$\sum_{i=1}^n p_i \leq B_{nc}(G) = \alpha(G)$

where $\alpha(G)$ is the independence number of $G$.

• Quantum theory predicts an achievable value

$B_{q}(G) = \vartheta(G)$

where $\vartheta(G)$ is the Lovász theta number, serving as the maximal quantum violation.

• For odd anti-cycles $\overline{C_n}$, this separation scales with dimension, and the quantum realization is unique up to isometry.

If the observed sum attains $$\sum_{i=1}^n p_i \geq \vartheta(\overline{C_n}) - \epsilon$$, then, via self-testing theorems, the state and projectors must be close (in operator norm) to the ideal configuration, with the closeness scaling as $O(\sqrt{\epsilon})$. No trust or detailed modeling of the device, nor specific noise models beyond projectivity, are required. This achieves a local and faithful certification in arbitrary finite dimension.

3. Explicit High-Dimensional Certification: Odd Anti-Cycles

Certification is grounded in explicit state and measurement constructions. For graphs $\overline{C_n}$ (odd anti-cycles), the achieving quantum realization is in dimension $d=n-2$ and is unique up to isometry:

• The state is $|v_0\rangle = (1,0,...,0)^T \in \mathbb R^d$.
• Projectors $\Pi_j = |v_j\rangle\langle v_j|$ are constructed so that the quantum bound

$\sum_i |\langle v_0 | v_i \rangle|^2 = \vartheta_n$

matches the Lovász theta value $\vartheta_n = (1 + \cos(\pi/n))/\cos(\pi/n)$.

The analytical forms of $|v_j\rangle$ ensure orthogonality and exclusivity per the graph structure. Thus, by programming the device to implement such a scenario and observing the quantum bound up to an error $\epsilon$, the desired preparation and measurement structure in dimension $d$ is unambiguously certified, up to deviations of $O(\sqrt{\epsilon})$.

4. Robustness Guarantees

Two technical foundations ensure the protocol is robust to experimental imperfections (Bharti et al., 2019):

• The Lovász-theta SDP for $\overline{C_n}$ has a unique optimal solution that is strictly dual non-degenerate, implying small statistical errors do not result in ambiguities.
• The robust self-testing theorem: Any (state, measurement) pair achieving the quantum bound within $\epsilon$ can be mapped via an isometry $V$ to the canonical realization within operator norm error $O(\sqrt{\epsilon})$:

$$\|\,V\,|v_i\rangle\langle v_i|\,V^\dagger - |\tilde v_i\rangle\langle \tilde v_i|\,\| = O(\sqrt{\epsilon})\,.$$

This robustness holds generically for odd anti-cycles, enabling faithful quantumness certification even in the presence of realistic noise, provided outcomes are near-optimal.

5. Faithfulness, Assumption Minimality, and Operational Impact

Faithful quantumness certification in this context means that, up to a known isometry, the target high-dimensional state and measurements are the only possible realization capable of generating the observed statistics to within the given precision. Key properties (Bharti et al., 2019):

• Assumption-Minimal: The only modeling assumption is projectivity of the measurements; no knowledge of device internals, dimension, or noise model is required.
• Spatial Locality: Certification is achieved via single-device contextuality, not requiring multiple space-like separated devices (as in Bell-based self-testing).
• Scalability: By selecting anti-cycles $\overline{C_n}$ for arbitrary odd $n$, faithful certification is achievable in arbitrary finite dimension, with robustness that does not deteriorate with $n$.
• Unique among Local Certification Protocols: Prior to this result, local self-testing in high dimension was unknown.

This approach directly supports the development and benchmarking of programmable quantum hardware and algorithms, enabling operational guarantees that the prepared states and measurements are genuinely quantum and of the intended dimension, without unwarranted trust in hardware or implementation details.

6. Comparison with Other Certification Paradigms

Faithful quantumness certification as in (Bharti et al., 2019) should be contrasted with several other paradigms:

Certification Paradigm	Assumptions	Scope	Robustness	Dimension Scalability
Bell-based self-testing	No device trust; 2 black-boxes; spatial separation required	Entangled states, measurements	$O(\sqrt\epsilon)$, tight	Any $d$ via high-dimensional Bell inequalities
Local contextuality self-testing (this work)	Projectivity; 1 black-box; no structure assumed	Local high-dimensional states, measurements	$O(\sqrt\epsilon)$, strict isometry	All dimensions via $\overline{C_n}$
Tomography/fidelity estimation	Assumed calibration; modeled noise	General states, processes	Sampling/statistical	$d$ exponential scaling

Unlike device characterization frameworks based on tomography, faithful contextuality-based self-testing scales efficiently and does not require structural modeling or calibrated operations.

7. Foundational and Practical Implications

The introduction of faithful local quantumness certification protocols addresses a foundational challenge: certifying the ability of a single, untrusted programmable machine to realize genuinely high-dimensional quantum structures. Such protocols supply operational guarantees for next-generation quantum computation platforms and act as prerequisites for the secure deployment of quantum algorithms, benchmarking of error-corrected hardware, and validation of physical layer implementations—without reliance on a detailed calibration or simulation. The mathematical machinery—exclusivity graphs, contextuality inequalities, and robust self-testing—provides a unifying language linking foundational and practical aspects of quantum certification (Bharti et al., 2019).