Entanglement Detection with Rotationally Covariant Measurements -- From Compton Scattering to Lemonade

The gist: This work derives explicit positive operator valued measures (POVMs) for measurement devices specified by rotational symmetry, providing an entanglement certification method that operates on full measured statistics and shows that lemonade-based detectors are suitable for entanglement detection.

Rotational Covariance and Measurement Modeling

The research develops a model for detecting the entanglement of two polarized photons using measurement devices specified solely by rotational covariance, which can be found in various settings. The approach is based on two fundamental assumptions: (i) that the quantum state of the individual system can be described as a qubit, and (ii) that the system and measurement device are rotationally covariant (RoC) with respect to U(1). A measurement with such a POVM is called rotationally covariant if it fulfills Mφ = 1/π U∗φM0Uφ. This leads to the probability density of a detection event occurring at a differential angle segment dφ around φ for a given state ρ being Pρ(dφ) = 1/π tr[ρ U∗φM0Uφ]dφ. Any RoC measurement on a qubit is fully characterized by this one parameter r, the ‘detector contrast’.

Entanglement Detection via Semidefinite Programming (SDP)

Entanglement detection is reformulated as a semidefinite program (SDP) [35] which allows for a straightforward method of determining whether the measured data corresponds to an entangled state. For two qubits, the state is entangled if inf N (˜ρ) ρ˜ ∈ D, tr[˜ρ (Ai ⊗ Bj)] = pij ∀i, j > 0. This minimization can be formulated as an SDP (7). The state is entangled if the minimal negativity Nmin > 0. Furthermore, for experimental data, Hoeffding’s inequality [37] can be used to estimate the probability P that the deviation εij of the experimental probabilities pij from the actual probabilities Pij is smaller than a c-dependent threshold.

Semi-Device Independence and Detector Contrast

The approach allows for semi-device independence, enabling entanglement detection without any knowledge of the devices involved. The procedure involves trying to replicate measurement statistics using two arbitrary hypothetical RoC measurement devices (rhypA, rhypB) and every hypothetical state ρhyp. The sample state must have been entangled if, for all possible hypothetical devices (rhypA, rhypB), only case 1 and 3 appear. Assuming a maximally entangled sample state, the threshold below which device-independent entanglement detection is impossible is rArB > 1/3.

Experimental Validation with Lemonade

A rotationally covariant showcase experiment analyzes the scattering of polarized optical light in a selection of soft drinks, suggesting that apple lemonade is suitable for detecting entanglement. By fitting the measurement data to f(φ) = a(1+r cos(2(φ + φ0))), the detector contrast r can be determined. Using apple lemonade as a scatterer, a detector contrast of at least r = 0.704 ± 0.001 can be achieved, which is higher than the known theoretical upper bound for Compton scattering experiments of positron–electron annihilation photons. This quality even suffices to detect entanglement in the semidevice independent setting described in V.

Comparison to Known Physics

The formalism can recover well established descriptions of Compton scattering of polarized photons, like the Klein–Nishina Formula [33]. The RoC framework yields the probability PRoC rArB(∆φ) = Z π/2 trρ⊥ (MrAφ ⊗ MrBφ+∆φ)π/2 dφ = 2π [1 - rArB cos(2∆φ)]. This reproduces the probability distribution PθA,θB(∆φ) = 1/π [1 - α(θA)α(θB) cos(2∆φ)] for orthogonally linearly polarized photons when ri = α(θi). The analysis also shows that the parent POVMs imply LHV Models.

Conclusion and Future Directions

The work establishes that RoC measurements are fully classified by the detector contrast r. It demonstrates that any RoC setup admits a parent POVM and is hence not suitable for Bell–violations, while steering with one characterized RoC measurement is possible. Future work includes the analysis of U(1) representations beyond qubits and extending this analysis to detectors that omit an O(3) covariance. The hope is to enable entanglement detection with the introduced lemonade experiment.

Appendix Details

Lemma 1 proves that if A is a hermitian operator on a finite dimensional Hilbert space H, then tr[A+] = inf T in T tr[T] with T = [T: H → H T ≥ 0, T ≥ A]. The derivation of the detector contrast r is given by r = NH/NV − 1/(NH/NV + 1)(a − 1). The entanglement detection for equal sample devices shows that entanglement is detected for sample devices with rArB ≥ 0.4. The derivation of the threshold for semi-device independent entanglement detection with equal devices is rthresh = √0.393 ≈ 0.627. The probability Pij = tr[ρ (Ai ⊗ Bj)] can be estimated using Hoeffding’s inequality [37]. The derivation of the minimal (rA, rB) for detecting entanglement shows that the detector contrasts (rA, rB) must be at least rArB > 1/3. The probability PRoC r(φ) = tr[ρlin Mrφ] = 1 + r cos(2φ)/2π. The derivation of the relation between the Klein–Nishina formula and RoC-framework is given by equation (12). The final probability expression for the perpendicular and parallel scattering events is R = PRoC rArB(π/2) P RoC rArB(0) = 1 + rArB / 1 - rArB. The derivation of the relation between the fidelity and detector contrasts is given by˜f = f rArB. The final probability expression for the Werner state is 1 − f rArB cos[2 (φ - ψ)]π/2. The derivation of the angle-independent distribution for a separable state is PRoC rArB(∆φ) = 1/π. The derivation of the final probability expression for the perpendicular and parallel scattering events is R = 1 + rArB / 1 - rArB. The derivation of the final probability expression for the Werner state is 1 − f rArB cos[2 (φ - ψ)]π/2. The derivation of the angle-independent distribution for a separable state is PRoC rArB(∆φ) = 1/π<ref:2512.

1. The AI system can perform entanglement certification for measurement devices specified solely by rotational symmetry by classifying any such setting by one real measurable parameter r. This allows for a rigorous quantum information perspective on experiments where device imperfections are modeled as a single contrast parameter, which is crucial for analyzing experimental data from systems like soft drinks.

2. The system can detect entanglement in semi-device independent scenarios by determining if measured statistics can only be replicated with entangled ρ hyp or can be replicated with some non-entangled ρ hyp. This capability allows the AI to certify the entanglement of an unknown sample state without prior knowledge of the exact detector contrasts (rA, rB) of the measurement devices.

3. The system can quantify Bell violations and steering capabilities under rotational covariance constraints by analyzing the parent POVMs derived from measurements, showing that any RoC setup admits a parent POVM and is hence not suitable for Bell–violations, while steering with one characterized RoC measurement is possible. This enables the AI to distinguish between scenarios where entanglement detection is possible versus those where only steering or no quantum correlations are observable.

4. The system can recover established physical formulas, such as the Klein–Nishina formula for Compton scattering of polarized photons, by simply adjusting the detector contrast r, showing that our formalism can transfer specific descriptions like the Klein–Nishina formula to POVM-descriptions. This allows the AI to apply known physics models directly to new experimental data obtained from rotationally covariant measurements.

5. The system can optimize entanglement detection using semidefinite programming (SDP) solvers, as demonstrated by formulating the task as a semidefinite program (SDP) [35] which is easily solved by, e.g., the MOSEK SDP solver with exact error estimations. This provides a numerically tractable method for determining whether measured data corresponds to an entangled state while incorporating finite sample errors using Hoeffding's inequality.

The accurate and efficient detection of quantum entanglement remains a central challenge in quantum information science. In this work, we study the detection of entanglement of polarized photons for measurement devices that are specified by rotational covariance. We derive explicit positive operator-valued measures (POVMs) showing that any such (idealized) setting is classified by one real measurable parameter r. In particular, we give a POVM formulation of the Klein-Nishina formula for Compton scattering of polarized photons. We provide an SDP-based entanglement certification method with computable bounds that operates on the full measured statistics, also considering semi-device independent scenarios. Furthermore, we show that, while Bell violations are impossible with two rotationally covariant measurements, EPR steering can still be certified under one-sided symmetry constraints. Finally, we demonstrate how our approach can be applied by analyzing a rotationally covariant showcase experiment using scattered polarized light in a selection of soft drinks. Our results motivate further investigation of entanglement detection with lemonade- based detectors.