Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2608.11122

Robust CHSH Self-Testing with Finite-Energy GKP States

Farzin Salek, Masahito Hayashi

quant-phSubmitted Aug 11, 2026• Announced Aug 12, 2026• 0 citations
arXivHTMLPDF

Abstract

We present a full-oscillator analysis of a finite-energy GKP CHSH test whose observed score yields robust Bell-pair self-testing. Periodically binned position and momentum give the Pauli settings, while a fixed binary coarse-graining of photon number modulo four and its displaced conjugate realize the tilted settings. For a number-filtered GKP source, we retain the finite codeword overlap, define the measurements on all photon-number sectors, and compute the physical correlations without logical post-corrections. With the canonical ideal-logical displacement \(d=\sqrtπ\), the CHSH value exceeds the local bound above \(4.56\) dB of per-peak squeezing, and Kaniewski's extractability bound becomes nontrivial above \(5.02\) dB. Calibrating only \(d\) using an independently characterized finite-energy parameter lowers these model thresholds to \(4.21\) dB and \(4.58\) dB, respectively; at \(12\) dB, it raises the score from \(2.69486\) to \(2.78858\) and the corresponding target-state overlap bound from \(0.90758\) to \(0.97243\). This calibration is fixed before Bell-test data are collected. The displacement activates the odd modulo-four sectors, so their fixed a priori assignments are a genuine finite-energy component. The large gain is specific to the deterministic phase-bit coarse-graining; independently calibrating the one-bit POVM with randomized odd-sector outcomes gives only a much smaller improvement. These are honest-model predictions, not loss, detection-efficiency, or finite-sample thresholds. In an experiment, a device-independent guarantee for an extracted Bell pair follows by inserting a confidence lower bound on the observed CHSH score into the self-testing theorem.

Related papers

Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

Xiaotian Yang, Santiago Zamora, Rafael Chaves +3 more

Bell tests based on homodyne detection are strongly constrained in continuous-variable systems. Can Gottesman-Kitaev-Preskill (GKP) encoding turn homodyne detection into a practical tool for revealing Bell nonlocality? We consider a physically motivated model in which each party performs homodyne detection and digitizes the continuous outcome via a fixed periodic binning, corresponding to logical Pauli measurements. Within this framework, we derive a bipartite no-go: CHSH cannot be violated for Bell-pair states. Moving beyond two parties, we show that finitely squeezed GKP-encoded GHZ and W states nevertheless exhibit strong multipartite nonlocality, violating multipartite Bell inequalities with homodyne-only readout. We quantify the required squeezing thresholds and robustness to loss, providing a route toward homodyne-based Bell tests in continuous-variable systems.

quant-pharXiv:2601.16189•Jan 23, 2026•0 citations

Fisher-Information Certification from Bell Statistics: CHSH Bounds, Information Loss, and Finite-Data Guarantees

Juan Sumaya-Martínez, Omar Olmos-López, Jorge Mulia Rodríguez

Bell-test data are typically used to certify nonlocal correlations, while quantum metrology is concerned with the sensitivity of measurement statistics to unknown parameters. Here we connect these tasks at the level of experimentally accessible Bell statistics. Using standard moment-based Fisher-information inequalities, we derive lower bounds on the classical Fisher information directly from Bell scores and their parameter dependence, without requiring full state tomography. For CHSH measurements we establish a hierarchy between the information contained in the full outcome record, the set of individual correlators, and the compressed Bell parameter, thereby quantifying the metrological cost of data compression. In polarization-phase sensing, this hierarchy reveals a Bell-metrology tradeoff: the point of maximal CHSH violation need not maximize, and can even suppress, the Fisher information carried by the Bell score itself. We further derive finite-sample lower-confidence bounds from coincidence counts and analyze the effects of biased marginals, accidental coincidences, visibility loss, and multipair emission. The framework provides a practical route for extracting metrological guarantees from Bell-type experiments using only standard correlation measurements.

quant-pharXiv:2610.16702•Oct 13, 2026•0 citations

Near-Optimal Bell Nonlocality with GKP and Entangled Cat States

Özlem Erkılıç, Aritra Das, S. Nibedita Swain +2 more

Gottesman-Kitaev-Preskill (GKP) states are widely studied as a bosonic encoding for fault-tolerant quantum computing because small displacement errors can be identified and corrected through syndrome measurements. However, fault-tolerant operation requires substantially greater GKP squeezing than is currently available in optical platforms. It is therefore important to identify quantum-information tasks that can be realised with finite-squeezing GKP states. Here, we study Bell nonlocality in finite-energy GKP Bell states under experimentally motivated measurement constraints. Although finite-energy GKP Bell states support Bell nonlocality even at low squeezing, logical Pauli measurements alone cannot reveal it. Accessing the maximum CHSH violation supported by the state generally requires logical non-Clifford rotations. We instead show that the required non-Gaussian resource can reside in the measurement itself. Photon-number-resolving detection combined with Gaussian preprocessing and adaptive feed-forward closely approaches the maximum violation of the CHSH Bell inequality without implementing logical non-Clifford gates. The same measurement principle strongly enhances Bell violations for cat-code Bell pairs and entangled coherent states, demonstrating that its usefulness extends beyond the GKP lattice. Our results identify non-Gaussian measurements as a practical route to revealing Bell nonlocality in finite-energy bosonic states.

quant-pharXiv:2609.27640•Sep 24, 2026•0 citations

Probing the robustness of various self-testing protocols for multipartite entangled states

Priyaranjan K. Jha, Ritesh K. Singh, A. K. Pan

Device-independent certification of multipartite entangled states plays a central role in a wide range of practical applications, including quantum networks, conference key agreement, and verifiable distributed quantum computation. A particularly important class of multipartite entangled states is the class of Greenberger-Horne-Zeilinger (GHZ) states. Many Bell operators have been proposed to self-test GHZ states. However, in practical scenarios, due to imperfections and the finite collection of statistics, the observed statistics do not satisfy the ideal self-testing relations. Hence, it becomes essential to investigate and compare the robustness of the different self-testing protocols. In this work, we investigate the robustness of self-testing schemes constructed from Bell operators due to Svetlichny and Mermin--Ardehali--Belinskii--Klyshko (MABK), using the analytic operator-inequality framework developed by Kaniewski [\href{https://doi.org/10.1103/PhysRevLett.117.070402}{Phys. Rev. Lett. 117, 070402 (2016)}]. We derive lower bounds on the extractable fidelity as a function of the observed value of these Bell operators. Although these protocols self-test the same underlying state, they exhibit markedly different levels of robustness. By comparing the resulting fidelity bounds, we demonstrate that the self-testing scheme based on the Svetlichny's Bell operator is the more robust among the two. Our results thus identify the Svetlichny operator based self-testing protocol as the most favorable candidate for device-independent certification of GHZ states in realistic, noisy experimental scenarios.

quant-pharXiv:2605.03518•May 6, 2026•0 citations

Robust Device-Independent Certification of Boolean-Phase Gates

Yunguang Han, Xingyuan Bu, Aleksandra Gočanin +1 more

Device-independent certification of a quantum gate requires the input and output tests to identify the same reference qubits. Self-testing the output Choi state alone does not guarantee this consistency. We develop a robust certification scheme for Boolean-phase gates, a broad family of computational-basis diagonal gates specified by Boolean functions. Boolean derivatives convert the target-dependent phase information into classical signs that can be evaluated from local measurement outcomes. This leads to Bell tests built from CHSH blocks using two binary measurements per party and no entangling measurements. At maximal violation, the tests self-test the normalized Choi state and the measured observables. Away from the maximum, they give an explicit affine lower bound on the extracted-state squared fidelity that is uniform over all Boolean functions and valid in arbitrary local dimensions. We then combine an identity test and a gate-output test in an independent-source network in which the reference devices use the same physical observables, obtaining a closed-form Choi-fidelity bound for an effective \(n\)-qubit channel. For CCZ, a joint six-party analysis gives a stronger robustness bound without changing the Bell expression or measurement settings. The construction shows how the algebraic structure of a gate can shift target-dependent information from quantum measurement design to classical processing of local outcomes.

quant-pharXiv:2609.09836•Sep 10, 2026•0 citations

Bell–CHSH Under Setting-Dependent Selection: Sharp Total-Variation Bounds and an Experimental Audit Protocol

Parker Emmerson

Bell--CHSH is frequently paraphrased as ``local realism is impossible'' after experimental violations of CHSH. The theorem is correct, but the paraphrase hides a structural assumption: \emph{selection centrality} (fair sampling), i.e.\ that the detected sample is not a setting- and hidden-variable--dependent reweighting of the hidden prior. We give a precise measure-theoretic separation between (i) the \emph{central} sector, where $E_{\mathrm{obs}}=E_{\mathrm{full}}$ and CHSH$\le 2$ holds under measurement independence and locality, and (ii) the \emph{noncentral} sector, where the observed correlations are computed under a reweighted measure $d\nu_{a,b}=w(a,b,\lambda)\,d\rho$. We prove a sharp CHSH inflation bound \[ S_{\mathrm{obs}}\le 2+4\delta, \qquad \delta:=\sup_{a,b}\int |w(a,b,\lambda)-1|\,\rho(d\lambda), \] so reproducing Tsirelson's $2\sqrt2$ by strictly local measurement-independent models via selection requires $\delta\ge (2\sqrt2-2)/4\approx0.2071$. We provide (A) a canonical Radon--Nikod\'ym construction (piecewise constants on sign regions plus a small positive remainder), (B) an explicit local factorized detection-loophole construction that reproduces arbitrary finite correlation tables, and (C) an implementable optics protocol to estimate or upper-bound $\delta$ from time-tag data via window dithering, threshold and spectral sweeps, and auxiliary-tag binning. This paper critiques not the validity of Bell's theorem, but the common overstatement of what CHSH violations imply without an explicit, quantitative centrality audit.

Quantum Reports•Jan 23, 2026•0 citations
We present a full-oscillator analysis of a finite-energy GKP CHSH test whose observed score yields robust Bell-pair self-testing. Periodically binned position and momentum give the Pauli settings, while a fixed binary coarse-graining of photon number modulo four and its displaced conjugate realize the tilted settings. For a number-filtered GKP source, we retain the finite codeword overlap, define the measurements on all photon-number sectors, and compute the physical correlations without logical post-corrections. With the canonical ideal-logical displacement (d=\sqrtπ), the CHSH value exceeds the local bound above (4.56) dB of per-peak squeezing, and Kaniewski's extractability bound becomes nontrivial above (5.02) dB. Calibrating only (d) using an independently characterized finite-energy parameter lowers these model thresholds to (4.21) dB and (4.58) dB, respectively; at (12) dB, it raises the score from (2.69486) to (2.78858) and the corresponding target-state overlap bound from (0.90758) to (0.97243). This calibration is fixed before Bell-test data are collected. The displacement activates the odd modulo-four sectors, so their fixed a priori assignments are a genuine finite-energy component. The large gain is specific to the deterministic phase-bit coarse-graining; independently calibrating the one-bit POVM with randomized odd-sector outcomes gives only a much smaller improvement. These are honest-model predictions, not loss, detection-efficiency, or finite-sample thresholds. In an experiment, a device-independent guarantee for an extracted Bell pair follows by inserting a confidence lower bound on the observed CHSH score into the self-testing theorem.
Bell tests based on homodyne detection are strongly constrained in continuous-variable systems. Can Gottesman-Kitaev-Preskill (GKP) encoding turn homodyne detection into a practical tool for revealing Bell nonlocality? We consider a physically motivated model in which each party performs homodyne detection and digitizes the continuous outcome via a fixed periodic binning, corresponding to logical Pauli measurements. Within this framework, we derive a bipartite no-go: CHSH cannot be violated for Bell-pair states. Moving beyond two parties, we show that finitely squeezed GKP-encoded GHZ and W states nevertheless exhibit strong multipartite nonlocality, violating multipartite Bell inequalities with homodyne-only readout. We quantify the required squeezing thresholds and robustness to loss, providing a route toward homodyne-based Bell tests in continuous-variable systems.
Bell-test data are typically used to certify nonlocal correlations, while quantum metrology is concerned with the sensitivity of measurement statistics to unknown parameters. Here we connect these tasks at the level of experimentally accessible Bell statistics. Using standard moment-based Fisher-information inequalities, we derive lower bounds on the classical Fisher information directly from Bell scores and their parameter dependence, without requiring full state tomography. For CHSH measurements we establish a hierarchy between the information contained in the full outcome record, the set of individual correlators, and the compressed Bell parameter, thereby quantifying the metrological cost of data compression. In polarization-phase sensing, this hierarchy reveals a Bell-metrology tradeoff: the point of maximal CHSH violation need not maximize, and can even suppress, the Fisher information carried by the Bell score itself. We further derive finite-sample lower-confidence bounds from coincidence counts and analyze the effects of biased marginals, accidental coincidences, visibility loss, and multipair emission. The framework provides a practical route for extracting metrological guarantees from Bell-type experiments using only standard correlation measurements.
Gottesman-Kitaev-Preskill (GKP) states are widely studied as a bosonic encoding for fault-tolerant quantum computing because small displacement errors can be identified and corrected through syndrome measurements. However, fault-tolerant operation requires substantially greater GKP squeezing than is currently available in optical platforms. It is therefore important to identify quantum-information tasks that can be realised with finite-squeezing GKP states. Here, we study Bell nonlocality in finite-energy GKP Bell states under experimentally motivated measurement constraints. Although finite-energy GKP Bell states support Bell nonlocality even at low squeezing, logical Pauli measurements alone cannot reveal it. Accessing the maximum CHSH violation supported by the state generally requires logical non-Clifford rotations. We instead show that the required non-Gaussian resource can reside in the measurement itself. Photon-number-resolving detection combined with Gaussian preprocessing and adaptive feed-forward closely approaches the maximum violation of the CHSH Bell inequality without implementing logical non-Clifford gates. The same measurement principle strongly enhances Bell violations for cat-code Bell pairs and entangled coherent states, demonstrating that its usefulness extends beyond the GKP lattice. Our results identify non-Gaussian measurements as a practical route to revealing Bell nonlocality in finite-energy bosonic states.
Device-independent certification of multipartite entangled states plays a central role in a wide range of practical applications, including quantum networks, conference key agreement, and verifiable distributed quantum computation. A particularly important class of multipartite entangled states is the class of Greenberger-Horne-Zeilinger (GHZ) states. Many Bell operators have been proposed to self-test GHZ states. However, in practical scenarios, due to imperfections and the finite collection of statistics, the observed statistics do not satisfy the ideal self-testing relations. Hence, it becomes essential to investigate and compare the robustness of the different self-testing protocols. In this work, we investigate the robustness of self-testing schemes constructed from Bell operators due to Svetlichny and Mermin--Ardehali--Belinskii--Klyshko (MABK), using the analytic operator-inequality framework developed by Kaniewski [\href{https://doi.org/10.1103/PhysRevLett.117.070402}{Phys. Rev. Lett. 117, 070402 (2016)}]. We derive lower bounds on the extractable fidelity as a function of the observed value of these Bell operators. Although these protocols self-test the same underlying state, they exhibit markedly different levels of robustness. By comparing the resulting fidelity bounds, we demonstrate that the self-testing scheme based on the Svetlichny's Bell operator is the more robust among the two. Our results thus identify the Svetlichny operator based self-testing protocol as the most favorable candidate for device-independent certification of GHZ states in realistic, noisy experimental scenarios.
Device-independent certification of a quantum gate requires the input and output tests to identify the same reference qubits. Self-testing the output Choi state alone does not guarantee this consistency. We develop a robust certification scheme for Boolean-phase gates, a broad family of computational-basis diagonal gates specified by Boolean functions. Boolean derivatives convert the target-dependent phase information into classical signs that can be evaluated from local measurement outcomes. This leads to Bell tests built from CHSH blocks using two binary measurements per party and no entangling measurements. At maximal violation, the tests self-test the normalized Choi state and the measured observables. Away from the maximum, they give an explicit affine lower bound on the extracted-state squared fidelity that is uniform over all Boolean functions and valid in arbitrary local dimensions. We then combine an identity test and a gate-output test in an independent-source network in which the reference devices use the same physical observables, obtaining a closed-form Choi-fidelity bound for an effective nnn-qubit channel. For CCZ, a joint six-party analysis gives a stronger robustness bound without changing the Bell expression or measurement settings. The construction shows how the algebraic structure of a gate can shift target-dependent information from quantum measurement design to classical processing of local outcomes.
Bell--CHSH is frequently paraphrased as ``local realism is impossible'' after experimental violations of CHSH. The theorem is correct, but the paraphrase hides a structural assumption: \emph{selection centrality} (fair sampling), i.e.\ that the detected sample is not a setting- and hidden-variable--dependent reweighting of the hidden prior. We give a precise measure-theoretic separation between (i) the \emph{central} sector, where Eobs=EfullE_{\mathrm{obs}}=E_{\mathrm{full}}Eobs​=Efull​ and CHSH≤2\le 2≤2 holds under measurement independence and locality, and (ii) the \emph{noncentral} sector, where the observed correlations are computed under a reweighted measure dνa,b=w(a,b,λ) dρd\nu_{a,b}=w(a,b,\lambda)\,d\rhodνa,b​=w(a,b,λ)dρ. We prove a sharp CHSH inflation bound Sobs≤2+4δ,δ:=sup⁡a,b∫∣w(a,b,λ)−1∣ ρ(dλ), S_{\mathrm{obs}}\le 2+4\delta, \qquad \delta:=\sup_{a,b}\int |w(a,b,\lambda)-1|\,\rho(d\lambda), Sobs​≤2+4δ,δ:=supa,b​∫∣w(a,b,λ)−1∣ρ(dλ), so reproducing Tsirelson's 222\sqrt222​ by strictly local measurement-independent models via selection requires δ≥(22−2)/4≈0.2071\delta\ge (2\sqrt2-2)/4\approx0.2071δ≥(22​−2)/4≈0.2071. We provide (A) a canonical Radon--Nikod\'ym construction (piecewise constants on sign regions plus a small positive remainder), (B) an explicit local factorized detection-loophole construction that reproduces arbitrary finite correlation tables, and (C) an implementable optics protocol to estimate or upper-bound δ\deltaδ from time-tag data via window dithering, threshold and spectral sweeps, and auxiliary-tag binning. This paper critiques not the validity of Bell's theorem, but the common overstatement of what CHSH violations imply without an explicit, quantitative centrality audit.