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 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.
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.
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=π, 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.
Aggregating logical information in continuous-variable quantum networks is essential for distributed quantum architecture. However, direct passive linear optics degrade non-Gaussian Gottesman-Kitaev-Preskill (GKP) grid states via symplectic lattice compression and entanglement-induced decoherence when auxiliary modes are discarded. We present an active, measurement-based continuous-variable network primitive for combining spatially distributed computational-basis payloads. Utilizing GKP Bell states, homodyne measurements, and conditional feed-forward phase-space displacements, we construct a completely positive trace-preserving (CPTP) map that evaluates a logical XOR operation on computational-basis inputs. We bound the Heisenberg action of the physical finite-squeezing channel on logical Pauli generators, demonstrate measurement-specific homodyne-outcome hiding for continuous-variable quantum one-time pads (CV-OTP) with an explicit prefactor bound DTV≤1.60e−r, and evaluate logical success probabilities under physical optical loss and network scaling constraints.
To implement fault-tolerant quantum computation (FTQC) with continuous variables, continuous variables need to be digitized using an appropriate code such as the Gottesman-Kitaev-Preskill (GKP) qubit. The scheme introduced in [Fukui et al. Phys. Rev. X 8, 021054 (2018)] has reduced the threshold of the squeezing level required for continuous-variable FTQC to less than 10 dB, assuming noise derived from the GKP qubit itself. In this paper, we propose a scheme to improve noise tolerance during the construction of a large-scale cluster state used for FTQC with the GKP qubits. In our scheme, a small-scale cluster state is prepared by employing maximum-likelihood estimation, the entanglement generation via the Bell measurement, and probabilistic reliable measurement. Then, a large-scale cluster state is constructed from the small-scale cluster states via the reliable encoded Bell measurement. In the numerical calculations, we assume errors derived from the two-mode gate and loss in the homodyne measurement in addition to noise from the GKP qubit itself. The results show that the thresholds of a squeezing level are around 8.1, 9.6, and 12.4 dB for loss in the homodyne measurement 0, 5, and 10%, respectively. Hence, this paper provides a way toward continuous-variable FTQC with a feasible squeezing level.
Although the original EPR paradox was formulated in terms of position and momentum, most studies of these phenomena have focused on measurement scenarios with only a discrete number of possible measurement outcomes. Here, we present a framework for studying non-locality that is agnostic to the dimension of the physical systems involved, allowing us to probe purely continuous-variable, discrete-variable, and hybrid continuous/discrete non-locality. Our approach allows us to find the optimal Bell inequality for any given measurement scenario and quantifies the amount of non-locality that is present in measurement statistics. This formalism unifies the existing literature on continuous-variable non-locality and allows us to identify new states in which Bell non-locality can be probed through homodyne detection. Notably, we find the first example of two-mode continuous-variable non-locality that cannot be mapped to a binary Bell inequality. Moreover, we provide several examples of simple hybrid DV-CV entangled states that could lead to near-term violation of Bell inequalities.
Physical Gottesman-Kitaev-Preskill (GKP) states are inherently noisy as ideal ones would require infinite energy. While this is typically considered as a deficiency to be actively corrected, this work demonstrates that imperfect GKP stabilizer states can be leveraged in order to apply non-Clifford gates using only linear optical elements. In particular, Gaussian operations on normalizable GKP states, combined with homodyne measurements, permit two key primitives: clean projection onto Pauli eigenstates in the normalizable GKP codespace, thereby implementing Clifford gates with high fidelity; and probabilistic projection of unmeasured modes onto non-Pauli eigenstates. These results demonstrate that normalizable GKP stabilizer states combined with Gaussian operations provide a practical framework for computational universality within the measurement-based model of quantum computation in a realistic continuous-variable setting.