Exact Quantum Maxima of the n-Cycle Overlap Inequalities
Pith reviewed 2026-05-19 16:39 UTC · model grok-4.3
The pith
Pairwise visibility measurements in multi-path interferometers witness preparation contextuality via violated overlap inequalities.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Under ideal symmetric conditions, interference visibility directly encodes state overlaps, without requiring tomography or SWAP tests. For three paths, any jointly diagonalizable (coherence-free) description must satisfy V12² + V23² - V13² ≤ 1, where Vij are two-path visibilities. Pure qubit detector states violate this bound, achieving a maximal value of 5/4. The generalization yields the tight qubit bound Sn^max = n cos²(π/2n) - 1 for all n ≥ 3, achieved by coplanar pure qubit states with uniform angular separation π/n. Under the operational equivalences used in overlap-based generalized noncontextuality frameworks, violations of these visibility inequalities witness preparation contextual
What carries the argument
Visibility inequalities derived from pairwise measurements that bound possible state overlaps in jointly diagonalizable descriptions of n-path interferometers.
Load-bearing premise
The system operates under ideal symmetric conditions with jointly diagonalizable coherence-free descriptions that respect the operational equivalences of overlap-based noncontextuality frameworks.
What would settle it
Measure the three pairwise visibilities in a symmetric three-path interferometer prepared with a pure qubit state and check whether their squares satisfy V12² + V23² - V13² > 1.
Figures
read the original abstract
We derive the exact quantum maximum over all finite-dimensional quantum realizations of the $n$-cycle overlap inequalities, $S_n^{\max}=n\cos^2(\pi/(2n))-1$, valid for arbitrary cycle length $n\ge3$. The bound is saturated by an explicit family of coplanar qubit states equally spaced along a Fubini--Study geodesic of length $(n-1)\pi/(2n)$, establishing dimensional saturation of the overlap-cycle hierarchy. Thus, the global optimum over all finite-dimensional quantum realizations is already achieved in dimension two. For three paths, coherence-free models satisfy $\mathcal{V}_{12}^2+\mathcal{V}_{23}^2-\mathcal{V}_{13}^2\le1$, whereas quantum theory allows the larger value $5/4$. Within generalized noncontextuality frameworks, violations witness preparation contextuality. We further derive explicit visibility thresholds for arbitrary cycle length, identifying interference visibility as an operational probe of overlap-based nonclassicality, and discuss feasible photonic implementations.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper shows that pairwise interference visibility measurements in multi-path interferometers provide an operational witness for preparation noncontextuality via overlap inequalities. Under ideal symmetric conditions, visibilities directly encode state overlaps without tomography or SWAP tests. For three paths, any jointly diagonalizable description satisfies V_{12}^2 + V_{23}^2 - V_{13}^2 ≤ 1, which pure qubit states violate up to a value of 5/4. This is generalized to n-path interferometers yielding the tight qubit bound S_n^max = n cos^2(π/2n) - 1 for n ≥ 3, achieved by coplanar pure states with uniform angular separation π/n. A robustness analysis supplies explicit experimental thresholds, and violations witness preparation contextuality under the operational equivalences of overlap-based generalized noncontextuality frameworks. For n-cycle inequalities, only the relevant pairwise visibilities need to be measured.
Significance. If the central derivations hold, this constitutes a useful operational advance by linking standard interferometric observables directly to preparation noncontextuality tests. The explicit qubit bounds, generalization to arbitrary n, and provision of robustness thresholds are strengths that facilitate experimental implementation in photonic systems. The manuscript supplies clean inequality derivations from overlap relations and falsifiable visibility predictions, which enhance its value for quantum foundations research.
minor comments (3)
- In the section deriving the three-path inequality, explicitly number and reference the key overlap-to-visibility mapping equations to improve traceability of the steps from operational equivalences to the bound V_{12}^2 + V_{23}^2 - V_{13}^2 ≤ 1.
- The robustness analysis should include a brief table or plot summarizing the experimental visibility thresholds as a function of noise parameters for quick reference by experimental groups.
- Clarify the notation for S_n^max in the generalization section by providing its explicit definition immediately before the bound is stated, rather than relying primarily on the abstract.
Simulated Author's Rebuttal
We thank the referee for their positive summary and recommendation of minor revision. The assessment correctly captures the main results on visibility inequalities as witnesses of preparation contextuality.
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper maps pairwise visibilities to state overlaps under explicit ideal symmetric conditions, derives the inequality V12² + V23² - V13² ≤ 1 for jointly diagonalizable descriptions directly from those overlap relations, exhibits explicit violation by pure qubit states, and obtains the general bound Sn^max = n cos²(π/2n) - 1 via standard trigonometric maximization over coplanar states. These steps are algebraic and geometric calculations independent of the target contextuality conclusion. The final link to preparation noncontextuality is stated as following from pre-existing operational equivalences in overlap-based generalized noncontextuality frameworks rather than being presupposed or fitted within the present derivation. No self-citation chain, ansatz smuggling, or reduction of a claimed prediction to a fitted input is present in the provided derivation chain.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption Jointly diagonalizable (coherence-free) descriptions must satisfy the visibility inequality under ideal symmetric conditions.
- domain assumption Operational equivalences in overlap-based generalized noncontextuality frameworks allow visibility violations to witness preparation contextuality.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.