Robust CHSH Self-Testing with Finite-Energy GKP States
- URL: http://arxiv.org/abs/2608.11122v1
- Date: Tue, 11 Aug 2026 16:33:28 GMT
- Title: Robust CHSH Self-Testing with Finite-Energy GKP States
- Abstract summary: We present a full-oscillator analysis of a finite-energy GKP CHSH test.<n>The observed score yields robust Bell-pair self-testing.
- Score: 42.71287663143178
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- 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
- Characterizing Heterogeneous Rates in Finite Mixture Estimation via Partial Optimal Transport [88.55403215843967]
Voronoi-based partial optimal transport (VPOT) for obtaining refined local and global convergence guarantees for the maximum likelihood estimator of the mixing measure.<n>Results hold in arbitrary fixed dimension without requiring mixing proportions to be uniformly bounded away from zero or prior knowledge of the true number of mixture components.
arXiv Detail & Related papers (2026-09-15T04:32:53Z) - Quantum Decision Theory for Displacement Detection with Finite-Energy GKP States [46.2474896050764]
We develop a framework for detecting phase-space displacements with finite-energy, $d$-level Gottesman-Kitaev-Preskill (GKP) probes.<n>For single-mode and entanglement-assisted architectures, we derive the Bayesian minimum-error probability.<n>We benchmark the resulting protocols against coherent-state, direction-matched squeezed-vacuum, and twin-beam schemes.
arXiv Detail & Related papers (2026-08-08T10:32:05Z) - Provably Efficient Self-Calibrating Quantum Fault Tolerance [3.3230675313521716]
Quantum error correction protects logical information only when every physical operation remains below the fault-tolerance threshold.<n>We establish a theoretical framework for self-calibrating quantum fault tolerance.<n>Our results establish self-calibrating fault tolerance as a provably efficient paradigm in which the same syndrome measurements simultaneously protect logical information and stabilize the underlying hardware.
arXiv Detail & Related papers (2026-08-06T07:22:20Z) - Branch-resolved Pauli-block spectroscopy of residual conditional phase in two-qubit gates [0.0]
We introduce branch-resolved Pauli-block spectroscopy to estimate the per-cycle residual ZZ-rotation angle theta_c with its sign.<n>The approach yields a low-overhead, signed per-cycle estimate of residual conditional phase that standard fidelity benchmarks underresolve at leading order.
arXiv Detail & Related papers (2026-07-11T10:32:05Z) - Semi-Device-Independent Quantum Key Distribution from Operational Assumptions [0.5872014229110214]
Semi-device-independent quantum key distribution leaves measurement devices uncharacterized while placing a trusted assumption on Alice's source.<n>We formulate this source assumption operationally on Alice's four-preparation ensemble as a scalar bound on one of four physically motivated source tasks.<n>We obtain two dimension-independent security certificates over this feasible set.
arXiv Detail & Related papers (2026-07-07T18:01:48Z) - Beyond Uncertainty Sets: Leveraging Optimal Transport to Extend Conformal Predictive Distribution to Multivariate Settings [0.14504054468850666]
Conformal prediction (CP) constructs uncertainty sets for model outputs with finite-sample coverage guarantees.<n>We show that optimal assignment is piecewise-constant across a fixed polyhedral partition of the score space.<n>This allows us to characterize the entire prediction set tractably, and provides the machinery to address a deeper limitation of prediction sets.
arXiv Detail & Related papers (2025-11-19T05:59:01Z) - Unsupervised Conformal Inference: Bootstrapping and Alignment to Control LLM Uncertainty [49.19257648205146]
We propose an unsupervised conformal inference framework for generation.<n>Our gates achieve close-to-nominal coverage and provide tighter, more stable thresholds than split UCP.<n>The result is a label-free, API-compatible gate for test-time filtering.
arXiv Detail & Related papers (2025-09-26T23:40:47Z) - Targeted Separation and Convergence with Kernel Discrepancies [61.973643031360254]
kernel-based discrepancy measures are required to (i) separate a target P from other probability measures or (ii) control weak convergence to P.<n>In this article we derive new sufficient and necessary conditions to ensure (i) and (ii)<n>For MMDs on separable metric spaces, we characterize those kernels that separate Bochner embeddable measures and introduce simple conditions for separating all measures with unbounded kernels.
arXiv Detail & Related papers (2022-09-26T16:41:16Z) - Distribution-free binary classification: prediction sets, confidence
intervals and calibration [106.50279469344937]
We study three notions of uncertainty quantification -- calibration, confidence intervals and prediction sets -- for binary classification in the distribution-free setting.
We derive confidence intervals for binned probabilities for both fixed-width and uniform-mass binning.
As a consequence of our 'tripod' theorems, these confidence intervals for binned probabilities lead to distribution-free calibration.
arXiv Detail & Related papers (2020-06-18T14:17:29Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.