Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

Technical Summary: Robust Bell Nonlocality from Gottesman–Kitaev–Preskill States

Problem Statement
Bell inequality violations are essential for certifying non-classicality and ruling out local realism. However, in continuous-variable (CV) systems, demonstrating Bell nonlocality is constrained by the measurement scheme. While homodyne detection offers high efficiency—crucial for closing the detection loophole—it is fundamentally limited: Bell nonlocality cannot be generated from Gaussian measurements on Gaussian states. Consequently, non-Gaussian states are required. Existing proposals using photon-subtracted or optical cat states suffer from fragility under loss, and their non-Gaussian features are often degraded in realistic implementations. Furthermore, testing Bell inequalities in CV systems requires discretizing continuous outcomes via "binning." Previous approaches often optimized binning for specific states or settings, affecting the robustness and magnitude of observed violations. The central question addressed is whether Gottesman–Kitaev–Preskill (GKP) encoding, which naturally encodes qubits into bosonic modes, can enable robust Bell violations using only homodyne detection and fixed binning, even in the presence of finite squeezing and noise.

Methodology
The authors propose a framework where each party performs homodyne detection on a shared bosonic mode and discretizes the continuous outcome via a fixed, periodic binning rule. This binning corresponds to logical Pauli measurements ($X, Y, Z$) on the encoded qubit.

1. Resource State: The study utilizes square-lattice GKP states. Ideal GKP codewords are non-normalizable Dirac combs. The authors model realistic states using a finite-energy approximation generated by an energy filter $e^{-\epsilon \hat{n}}$. This replaces the Dirac comb with a lattice of narrow Gaussian peaks under a broader Gaussian envelope, characterized by a squeezing parameter $r_{dB}$.
2. Measurement Scheme: Parties measure rotated quadratures $\hat{q}_{\theta}$ at specific angles ($\theta_Z=0, \theta_X=\pi/2, \theta_Y=\pi/4$) corresponding to logical $Z, X,$ and $Y$. The continuous outcome $q_\theta$ is mapped to a binary bit $o \in \{0, 1\}$ based on whether it falls within periodic intervals $R_o$.
3. Theoretical Framework: The authors derive an explicit analytical expression for the $N$-party joint probability distribution $p(o|x)$ for any finite-energy GKP-encoded state. By expanding the encoded state in terms of logical Pauli operators and utilizing the Gaussian-mixture structure of the GKP Wigner functions, they reduce the $N$-mode probability to a product of single-mode overlaps. These overlaps are expressed as absolutely convergent series involving error functions (Eq. 7).
4. Bell Tests: The framework is applied to multipartite scenarios ($N \ge 3$) using two distinct entanglement structures:
   • GHZ States: Tested using the Mermin–Ardehali–Belinskii–Klyshko (MABK) inequality.
   • W States: Tested using a Cabello-type probability inequality.
     The study also analyzes the effects of photon loss (modeled as a beam-splitter channel with transmissivity $\eta$) and thermal noise.

Key Contributions and Results

• Bipartite No-Go Theorem: The authors establish a fundamental obstruction for bipartite systems: for Bell-pair states, Pauli measurements (implemented via homodyne + fixed binning) generate only local correlations in the CHSH scenario. No violation is possible in the bipartite case under these constraints.
• Multipartite Violations: Moving beyond two parties, the study demonstrates that finitely squeezed GKP-encoded GHZ and W states exhibit strong multipartite nonlocality. They violate multipartite Bell inequalities using homodyne-only readout.
• Analytical Tool: The derivation of the single-mode overlap formula (Eq. 7) provides an efficiently computable link between the physical GKP parameters (squeezing, lattice structure) and the resulting binned-homodyne statistics. This enables numerical evaluation of Bell violations under loss and finite squeezing.
• Thresholds and Robustness:
  • Squeezing: Higher squeezing ($r_{dB}$) improves the approximation of logical Pauli measurements, increasing Bell violation values.
  • Loss: Photon loss blurs the phase-space grid, reducing distinguishability. The authors define a critical squeezing parameter ($r_{crit}$) as the minimum squeezing required to violate a specific inequality for a given loss level.
  • Comparison: W-type states (tested with the Cabello inequality) are found to be more robust to finite squeezing than GHZ states (tested with MABK). Specifically, W-type witnesses achieve violations at lower squeezing thresholds than GHZ-type witnesses for the same number of parties ($N=3$).
  • Noise Trade-offs: The analysis quantifies a "noise budget," showing that higher transmission can compensate for moderate thermal noise, but near-vacuum noise is required to tolerate significant attenuation.
• Geometric Distance: Analysis of the geometric distance to the local polytope confirms that W-type correlations are more robust to finite squeezing. Furthermore, increasing measurement settings from 2 to 3 drastically amplifies this distance, suggesting that homodyne-based nonlocality is richer than what standard two-setting witnesses capture.

Significance and Claims
The paper claims to provide a route toward practical, loophole-friendly Bell tests in continuous-variable systems. By leveraging GKP encoding, the authors show that robust Bell violations are achievable using only high-efficiency homodyne detection and fixed binning, without requiring complex non-Gaussian operations (like T-gates) or fragile non-Gaussian states.

• Experimental Relevance: The results are directly applicable to platforms where GKP states have been realized, such as trapped ions, microwave cavities, and integrated photonic sources.
• Scalability: While GHZ states can be generated using Gaussian couplings and Clifford operations (compatible with GKP architectures), the preparation of W states remains a challenge as it requires non-Clifford resources. The authors identify this as a key experimental hurdle.
• Broader Impact: The analytical framework (Eq. 7) extends beyond Bell tests, offering tools for prepare-and-measure protocols and privacy certification in distributed quantum sensing.

The work concludes that GKP states serve as a natural bridge between the requirements of fault-tolerant quantum computing and the need for robust, high-efficiency certification of quantum nonlocality in photonic and CV technologies.