Robust self-testing and certified randomness based on chained Bell inequality

1. Problem Statement

Device-independent (DI) self-testing is a protocol that uniquely characterizes a quantum system (state and measurements) solely based on observed input-output statistics, without needing to trust the internal workings of the devices. While self-testing is well-established for standard Bell inequalities (like CHSH with two inputs), extending this to arbitrary-input chained Bell inequalities (where parties have an arbitrary number $n$ of measurement settings) presents significant challenges:

• Dimensionality Constraints: Traditional methods often rely on the Jordan Lemma, which only applies to two dichotomic observables. It fails for scenarios with $n > 2$ measurements, making dimension-independent derivation difficult.
• Noise Sensitivity: Real-world experiments suffer from noise and imperfections, preventing the achievement of the optimal quantum violation. Existing protocols often lack rigorous analytical bounds for robustness in these noisy regimes.
• Randomness Certification: While previous works demonstrated randomness generation using chained inequalities, they often required modifying the Bell functional or lacked robustness analysis for generating the maximum possible randomness (2 bits) in a DI setting.

2. Methodology

The authors propose a comprehensive framework combining three main technical pillars:

A. Systematic Sum-of-Squares (SOS) Approach

The core innovation is a dimension-independent SOS technique to derive the optimal quantum violation of the chained Bell inequality ($C_n$) without assuming the system's Hilbert space dimension.

• Operator Construction: They define a positive semi-definite operator $\Gamma_n$ such that the Bell functional can be written as $\langle C_n \rangle = \beta_n - \langle \Gamma_n \rangle$.
• Optimization: By setting $\langle \Gamma_n \rangle = 0$, they derive the optimal quantum value $(C_n)_{opt}^Q = 2n \cos(\frac{\pi}{2n})$.
• State and Observable Derivation: Unlike previous methods that assumed the state, this approach derives the unique state and the functional relationships between local observables directly from the optimization conditions ($\langle L_{n,i}^\dagger L_{n,i} \rangle = 0$). This reveals that the optimal state is a maximally entangled state and establishes specific commutation/anticommutation relations for the observables.

B. Swap-Circuit Isometry for Self-Testing

To prove that the physical system is equivalent to the ideal reference system, the authors construct a swap circuit.

• This circuit acts as a local isometry $\Phi$ that maps the physical state $|\psi\rangle_{AB}$ and ancillary systems to a reference state (maximally entangled two-qubit state $|\phi^+\rangle$) and a "junk" state.
• The isometry is constructed using the derived observables ($X_A, Z_A, X_B, Z_B$) which are linear combinations of the original $n$ measurement settings.
• This proves that if the optimal violation is observed, the underlying state and measurements are uniquely determined up to local isometries.

C. Robustness Analysis

The paper provides an analytical technique to quantify the impact of noise.

• They model noise as deviations in the implementation of observables ($\tilde{X}, \tilde{Z}$) from ideal ones, bounded by parameters $\alpha$ and $\beta$.
• They derive explicit bounds on the trace distance between the imperfect output state and the ideal target state as a function of the deviation from the optimal quantum value ($\xi$).
• Key Finding: The protocol becomes more robust as the number of measurement settings $n$ increases. Higher $n$ allows for successful state extraction even with larger deviations from the optimal violation.

3. Key Results

• Optimal Quantum Violation: The authors analytically derived the optimal quantum value for the chained Bell inequality with arbitrary $n$:
  $$(C_n)_{opt}^Q = 2n \cos\left(\frac{\pi}{2n}\right)$$
  This was achieved without assuming the dimension of the quantum system.

• Unique Characterization: The optimization conditions uniquely determine the state as a maximally entangled pure state and define the specific algebraic structure of the observables (e.g., $\{A_i, A_{i+1}\} = 2\cos(\pi/n)$).

• Robustness Bounds:

  • The paper establishes a trade-off between the relative observed violation ($r$) and the fidelity of the extracted state.
  • For $n=11$, the protocol remains robust (fidelity $> 0.5$) even when the observed violation drops to $r \approx 0.877$.
  • The maximum tolerable deviation $\xi$ increases with $n$ (e.g., from 0.052 for $n=3$ to 0.22 for $n=11$), demonstrating that increasing measurement settings enhances noise tolerance.

• Certified Randomness:

  • The scheme certifies 2 bits of global randomness (the maximum possible for two parties with binary outcomes) for odd values of $n$.
  • Specifically, for measurement settings $A_i$ and $B_{i + \frac{n-1}{2}}$, the correlation is zero ($\langle A_i \otimes B_{i + \frac{n-1}{2}} \rangle = 0$), leading to a uniform probability distribution $P(a,b) = 1/4$.
  • The authors analyze the robustness of this randomness generation in the presence of noise, providing formulas for the minimum and maximum achievable randomness ($\tilde{R}_{min}$ and $\tilde{R}_{max}$) as a function of the noise parameter $\epsilon$.

4. Significance and Impact

• Generalization of Self-Testing: This work overcomes the limitation of the Jordan Lemma by providing a systematic SOS method applicable to arbitrary numbers of inputs, significantly broadening the scope of DI self-testing.
• Practical Viability: The demonstration that robustness improves with more measurement settings ($n$) is counter-intuitive and highly significant for experimental implementations. It suggests that using more complex Bell tests can actually make the certification more resilient to experimental noise.
• Randomness Generation: It provides a rigorous, unmodified Bell inequality protocol for generating 2 bits of DI randomness with a robustness analysis, addressing a gap in previous literature where 2-bit generation often required tilted inequalities or lacked noise tolerance analysis.
• Future Applications: The framework is applicable to various arbitrary-input Bell functionals, offering a pathway for secure quantum key distribution (QKD) and quantum computing verification in noisy, real-world environments.

In summary, the paper presents a mathematically elegant and experimentally robust framework for self-testing quantum systems and certifying randomness using chained Bell inequalities with arbitrary inputs, establishing a new benchmark for device-independent quantum certification.