Pith. sign in

REVIEW 4 major objections 6 minor 20 references

Quantum Interference and the Limits of Separability

T0 review · 4 major / 6 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Every m-way influence can be mediated by m/2 events, rounded up

desk verdict Theorems 1 and 2 are genuine, but the universal principle is built on a misstated no-common-cause condition and a very wide extrapolation. read the letter →

arxiv 2510.21015 v2 pith:IM2HB4GE submitted 2025-10-23 quant-ph physics.hist-ph

Sebastian Horvat This is my paper · ORCID
classification quant-phphysics.hist-ph
keywords quantuminterferencehigher-ordernon-separabilitycausalcorrelationsprobabilisticeventmodelssemi-generalexperimentsbi-localcompletionspacetimeevents
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper argues that the structure of quantum interference—second-order possible, third-order impossible—implies a universal principle about spatiotemporally localized events. The principle: any joint influence of m mutually spacelike events on a future event can be reproduced through ⌈m/2⌉ mediating events, and in some cases cannot be reproduced through more than that many. If true, non-separable correlations in nature have a precisely quantifiable limit, independent of the underlying objects. The author supports this by proving that every maximal-interference semi-general interference experiment has a "closed bi-local completion," then extends the claim from particles to arbitrary phenomena describable by probabilistic event models.

What carries the argument

The central machinery is the class of semi-general interference experiments, described by triples (ρ, U(a), Π) with number-preserving local unitary transformations. Lemma 1 shows that maximal interference forces the transformed state into an equal-weight superposition over bipartitions, with the inputs encoded in π-phases. Theorems 1 and 2 then construct, for any such maximal experiment, an alternative experiment sharing the same input state and unitaries but whose final measurement factors through n = ⌈m/2⌉ mutually spacelike, number-preserving intermediate measurements. This concrete construction is abstracted into the definitions of closed GIP_m and n-local completions, yielding the paper

What would settle it

Exhibit a physically possible maximal GIP_3 (I_3 = 1/2) whose correlation provably cannot be preserved and mediated by two spacelike intermediate events in any closed completion—for example, by showing that any such completion would require changing total energy or the non-dynamical quantities Q.

Watch

Extended reading notes

Core claim

On the paper's own terms: every maximal GIP_m—a phenomenon with m spacelike binary events whose joint influence I_m reaches the maximum value 1/2—has a physically possible closed bi-local completion. That means there exists another physically possible phenomenon which agrees with the original on the entire causal past, preserves the matter content (non-dynamical quantities Q), and mediates the correlation between the m events and the future event through ⌈m/2⌉ intermediate mutually spacelike events. Conversely, some maximal GIP_m have no closed n-local completion when ⌈m/n⌉ < 2. The possibility of second-order interference and impossibility of third-order interference are thereby transformed

Load-bearing premise

What is proven for unitary, number-preserving, non-relativistic particle experiments is assumed to hold for all phenomena describable by probabilistic event models, including quantum field theory and any hypothetical future physics.

Editorial extensions

If this is right

  • If correct, any maximal joint influence of m spacelike events can always be simulated by a chain through ⌈m/2⌉ intermediate spacelike events, without changing the matter content.
  • No physical phenomenon can require more than ⌈m/2⌉ mediators to reproduce a maximal correlation; the ceiling is exact, not asymptotic.
  • The principle is formulated for binary events but depends only on causal relations, so it generalizes trivially to arbitrary spacetimes.
  • Extensions to non-maximal interference and to events with more than two values are left open, with earlier work indicating the same possibility-impossibility structure persists for prime-valued configurations.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A testable corollary: any future theory (e.g., a quantum field theory) that exhibits maximal higher-order interference would be forced to contain hidden intermediate degrees of freedom at the ⌈m/2⌉ level, otherwise it would violate the proposed principle.
  • The principle suggests a hierarchy of possible worlds: classical worlds mediate through m events, quantum worlds through ⌈m/2⌉, and no worlds allow more non-separability than this—a 'no third-order interference' law of nature.
  • The paper's modal formulation, comparing pairs of physically possible phenomena, may open a new class of causal-statistical principles beyond the Bell-Tsirelson structure, though the paper only gestures at this direction.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 6 minor

Summary. The paper generalizes the Sorkin hierarchy of interferometric experiments to ‘general interference phenomena’ (GIP_m) defined through probabilistic event models, and proposes a universal Principle: every maximal GIP_m has a physically possible closed bi-local completion, while not every maximal GIP_m has a closed n-local completion when ⌈m/n⌉<2. The supporting analytic results (Lemma 1 and Theorems 1–2) concern non-relativistic semi-general interference experiments with unitary number-preserving transformations; they are rigorous for even m and for odd m under a restricted support condition, and Appendix 5 gives preliminary evidence for a broader odd-m case. The paper explicitly labels the universal principle a conjecture and notes that the QFT case, non-number-preserving CP-maps, and the general odd-m case remain open. The philosophical framing is careful, and the paper’s main theorem is an exact construction, not merely an existence claim.

Significance. If the Principle were established, it would be a genuinely novel causal-statistical principle: an exact quantitative bound on the non-separability of joint influences of m spacelike separated events on a common future event. The restricted theorems are a real contribution: Lemma 1 extracts the structural form forced by maximal interference, and Theorem 1 constructs the mediating measurements explicitly, with a GHJW-based extension to mixed states. The paper is also commendably explicit about what is proven and what is conjectured. However, the formal definition of the GIP_m class has a defect that blocks the entire framework, and the universal step goes far beyond the analytic evidence. With a repaired Definition 3 and a clearer separation between theorem and conjecture, the paper could make a valuable contribution to quantum foundations.

major comments (4)
  1. [Definition 3, condition 3] Condition 3 quantifies over all z∈R^4. As written, a future mediator z—e.g. the ‘which slit’ event in the double-slit experiment, or the mediating events y_i in Definition 5—is correlated with X and changes P'_y(y|X,z) relative to P'_y(y|X), so condition 3 is violated. Thus the paper’s own paradigm GIP_2 (the double-slit experiment) is excluded, and every n-local completion T* in Definition 5, whose mediating events lie in C^(+)_X ∩ C^(-)_y, also fails condition 3. The intended no-common-cause condition must be restricted to the common causal past of X and y, e.g. z ∈ C^(-)_X ∩ C^(-)_y (or at least z ∉ C^(+)_X). Until this is fixed, GIP_m is not well-defined and the Principle has no coherent domain.
  2. [§IV.II–IV.III and §V] The analytic evidence covers only unitary number-preserving transformations, not general CP-maps; Theorem 2 assumes input states with support on exactly two spatial configurations (with only Appendix 5 heuristic evidence for three), and the text concedes in §IV.III that the QFT case ‘would require a completely new investigation’. Therefore the universal Principle of §V is a conjecture, not a proved statement. This is acceptable if clearly labeled, but the abstract and §IV.III should state precisely what is proven and what is extrapolated; as written, the phrase ‘analytic evidence’ overstates the support for the claim that any maximal GIP_m has the stated completion property.
  3. [Definition 4 (closed GIP_m)] The definition of ‘closed’ refers to probabilities P_S(Q) on all spacelike hypersurfaces S, but the PE-model framework of Definition 1 assigns distributions only to finite subsets of R^4. Moreover, the ‘non-dynamical quantities’ Q are never specified; the text itself acknowledges that this ‘would definitely require further elaboration’. Since ‘closed’ appears in the statement of the Principle, a precise definition (or a well-defined approximating family of finite hypersurfaces, and a specification of Q) is needed before the Principle can be evaluated.
  4. [Definition 5, condition 5] Condition 5 equates P'_{y'}(ω_{y'}|ω_X) with P'_y(ω_y|ω_X) for y' ∈ C^(-)_y, but these are distributions over different event spaces at different locations. The condition should be reformulated, e.g. in terms of a coarse-graining map or a common refinement, otherwise the non-triviality requirement is not formally meaningful.
minor comments (6)
  1. [Definition 3, condition 2] The notation P_y(⊕_i ω_{x_i}|ω_X) is overloaded: ω_X is the vector of configurations, and the sum over ω_X is correct, but the conditioning should be written more explicitly to avoid confusion with a single event at X.
  2. [Definition 3, condition 3] The arrow notation used for the implication is nonstandard and should be replaced by ordinary logical implication with parentheses.
  3. [§IV.I, Example 2] The claim that the correlation ‘cannot be mediated by intermediate events arising from number-preserving operations’ is argued only for local projective measurements. The statement should be explicitly qualified to that class, since general number-preserving CP-maps are not analyzed here.
  4. [Lemma 1 statement] The lemma states that U^(a)|ψ⟩ = G(…), with G an arbitrary unitary, but the proof constructs a specific G of the form (28). The lemma should state this explicit form, or say ‘for some G of the form (28)’.
  5. [Equation (13), Theorem 1] The expression for Π'_b is dense and difficult to parse. A short explanation of the role of each factor (G, E_B, H_B, M^{(B,i)}_{b_i}, Π^{(B)}_b) would greatly improve readability.
  6. [General] The paper uses many newly introduced terms (GIP_m, closed, n-local completion, Q). A glossary or a summary table of definitions would help the reader keep track of the dependencies.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: completion theorems are proved from quantum mechanics; the universal principle is an acknowledged conjecture, not a fitted or self-referential input.

full rationale

The paper's central derivations, Lemma 1 and Theorems 1 and 2, are self-contained proofs within non-relativistic quantum mechanics. Lemma 1 follows from the Helstrom bound and an analysis of the structure of maximally interfering states; Theorem 1 and 2 construct explicit experiments T' with mediating measurements from the resulting state form. These proofs do not assume the Principle or the definitions of GIP_m or completion; they are independent mathematical results about quantum interferometry. The Principle itself is explicitly presented as a tentative conjecture — "tentatively, boldly, fallibly, conjecture" — and is inferred from the theorems and examples, not fitted to data or derived by definition. The paper's self-citations (notably Horvat & Dakić 2021a) supply background results about semi-general interference experiments, but the load-bearing completion theorems are proved in this paper from the Helstrom bound and explicit unitary/POVM constructions. The cited results are externally published and parameter-free, so they do not constitute circular support. The paper also candidly acknowledges limitations: the unitary-only restriction, the odd-m support restriction, and the open QFT case. These are extrapolation/correctness concerns, not circularity. No step was found in which a claimed prediction is equivalent by construction to its own input, nor any load-bearing uniqueness claim imported from prior self-authored work.

Assumptions & free parameters 0 free parameters · 5 assumptions · 3 invented entities

No free parameters are fitted; the paper's central derivation is an existence proof for mediating measurements. The main burden is on domain assumptions: PE-model adequacy, the no-common-cause refinement condition, and the identification of particle-number preservation with Q-preservation.

assumptions (5)
  • domain assumption Non-relativistic quantum mechanics with number-preserving unitary evolutions and arbitrary binary POVMs describes the relevant semi-general interference experiments.
    Used to model experiments in §IV.II; excludes non-number-preserving CP maps and QFT.
  • domain assumption Every physical phenomenon of interest can be adequately described by a probabilistic-event model (Definition 1).
    Definition 3 defines GIP_m via existence of such a model; the paper admits there is no principled event-assignment for arbitrary quantum regions (§III).
  • domain assumption The no-common-cause condition (Definition 3 condition 3) is captured by requiring that all refinements of a PE-model that change correlations with y also change correlations with X.
    This is the 'no conspiracy' condition; it is formulated semantically and not proven equivalent to a physical causal condition.
  • domain assumption Non-dynamical quantities Q (mass, charge, spin) preserve the particle-number distinction; P_SX(Q)=P_Sy(Q) represents 'no change in particle number'.
    Definition 4 uses Q to abstract particle number; the equivalence n_C=n_C' iff Q_C=Q_C' is asserted without proof for all possible particles.
  • standard math Helstrom bound, GHJW theorem, and standard trace-norm inequalities.
    Used in Appendices 2 and 3 to characterize maximal interference and handle mixed states.
invented entities (3)
  • General interference phenomenon (GIP_m)
    purpose: Definition 3; abstracts interference experiments to correlations between spacelike events and a future event, independent of particles and devices.
    No empirical handle beyond the definition; it is a formal category, not a new physical object.
  • Closed bi-local completion
    purpose: Definition 5; the mediating events whose existence the Principle asserts.
    Defined relative to a given GIP; its physical possibility is modal and not independently measurable.
  • Non-dynamical quantities Q
    purpose: Definition 4; stand in for particle number to define 'closed' GIPs.
    The paper explicitly says this appeal requires further elaboration and may be replaced by total energy.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum Interference and the Limits of Separability." pith.science (2026). https://pith.science/paper/IM2HB4GE

@misc{pith2026251021015,
  author       = {Pith},
  title        = {Pith review of: Quantum Interference and the Limits of Separability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IM2HB4GE}},
  note         = {Machine review of arXiv:2510.21015}
}
abstract

Quantum theory implies, and empirical evidence confirms, that while particles $\textit{can}$ exhibit wave-like behavior in interferometric experiments, this behavior is so limited as $\textit{not}$ to allow for third- and higher-order interference. The article at hand shows that this possibility-impossibility structure suggests the universal validity of a principle that regulates statistical correlations between spatiotemporally localized events, $\textit{independently}$ of the nature of the objects that may or may not partake in these events. Roughly, the said principle mandates that $\textit{any}$ joint influence of $m$ mutually spacelike separated events on $\textit{another}$ event, be such, that it can be separated by $\textit{at least}$ $\lceil \frac{m}{2} \rceil$ mediating events, and in some cases, by $\textit{no more}$ than $\lceil \frac{m}{2} \rceil$ mediating events. The structure of quantum interference thus teaches us that events can influence each other in a non-separable fashion, but that this non-separability has a certain exactly quantifiable limit.

Figures

Figures reproduced from arXiv: 2510.21015 by the authors.

Figure 1
Figure 1. The double-slit experiment. More precisely, the experiment can be partitioned into three temporal steps: t1: The two slits are set in configurations a1 and a2, where ai ∈ {0, 1}. t2: A particle is sent on the plate, via a method that is independent of a1 and a2. t3: The particle is either detected somewhere on the screen or is not detected at all. Let P(y|a1a2) be the conditional probability that the particle is det… view at source ↗
Figure 2
Figure 2. The m-slit experiment. as a ≡ (a1, ..., am), the m-th order interference term reads as: I (y) m = X 1 a1,...,am=0 (−1) Pm i=1 aiP(y|a). (2) As it can be readily verified, the generalized I (y) m reduces to Eq. (1) for m = 2, since P(y|00) = 0 holds, or in other words, since the particle cannot reach the screen if both slits are closed. The reason these experiments are worthy of special consideration is the following… view at source ↗
Figure 3
Figure 3. The semi-general interference experiment of order [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figures from the paper (2 more)
Figure 4
Figure 4. Figure 4: Spatiotemporal diagram of a general interference phenomenon of order 3. The [PITH_FULL_IMAGE:figures/full_fig_p011_4.png]
Figure 5
Figure 5. Figure 5: A 2-local-completion (right figure) of a GIP [PITH_FULL_IMAGE:figures/full_fig_p027_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references

  1. [1]

    First the unitaryG † is applied resulting in state X B∈B2n eiϕB √qB 1√ 2 |β(0)⟩B + (−1) P l al |β(1)⟩B .(66)

  2. [2]

    OutcomeBobtains with probabilityq B and results in output state 1√ 2 |β(0)⟩B + (−1) P l al |β(1)⟩B .(67)

    The latter state then undergoes a joint projective measurement{E B}, whereE B ≡P Sx |Sx⟩B ⟨Sx|B ⊗1. OutcomeBobtains with probabilityq B and results in output state 1√ 2 |β(0)⟩B + (−1) P l al |β(1)⟩B .(67)

  3. [3]

    EachH B acts as HB |β(x)⟩B =|Sx⟩ B ⊗ |ϕ⟩B ,(68) for someS∈ S n and|ϕ⟩ B ∈(C d)⊗n

    Then a unitary operatorH B is applied, conditioned on the outcome of the previous measurement. EachH B acts as HB |β(x)⟩B =|Sx⟩ B ⊗ |ϕ⟩B ,(68) for someS∈ S n and|ϕ⟩ B ∈(C d)⊗n. For eachB, the output state is thus trans- formed into 1√ 2 |S0⟩B + (−1) P l al |S1⟩B ⊗ |ϕ⟩B .(69) The state can accordingly be re-parametrized using the initial notation as 1√ 2 |...

  4. [4]

    The latter state then undergoes another projective measurement n M (B,1) b1 ⊗...⊗M (B,n) bn o bi=0,1 , where M (B,l) bl = 1 2 |i(B) l ⟩+ (−1) bl |j(B) l ⟩ ⟨i(B) l |+ (−1) bl ⟨j(B) l | .(71) It is simple to verify that the outcomes are distributed as PT ′(b1...bn|aB) = 1 2n−1 δ⊕ibi,⊕j aj .(72)

  5. [5]

    Finally, a binary measurement Π (B) = n Π(B) 0 ,Π (B) 1 o is applied, where Π(B) b = X ⊕ibi=b M (B,1) b1 ⊗...⊗M (B,n) bn ,(73) whose outcomes are thus distributed as PT ′(b|b1...bn) =δ b,⊕ibi.(74) 43 The effective correlation between the final outcomeband inputsais therefore: PT ′(b|a) = X B,b1,...bn P(b|b 1...bn)P(b 1...bn|aB)P(B|a) = 1 2n−1 X B,b1,...bn...

    1989

  6. [6]

    An application of the same techniques accordingly implies that||ρ (1) ψ −ρ (0) ψ ||= 2 only if the following conditions are satisfied: O j̸=i 1j ⊗U ki |ϕ(k)⟩=− |ϕ(k)⟩,∀i̸= 1,2 (Uk1 ⊗U k1)⊗ O j̸=1,2 1j |ϕ(k)⟩=− |ϕ(k)⟩ O j̸=i 1j ⊗U li |ϕ(l)⟩=− |ϕ(l)⟩,∀i pk =p l = 1 2 . (84) Again, analogously to the even case, the latter conditions imply (up to a global pha...

  7. [7]

    The unitary operatorG † is applied

  8. [8]

    A unitary operatorHis applied which acts as H|k⟩ |ϕ(k)⟩=|k⟩ |ϕ⟩ H|l⟩ |ϕ(l)⟩=|l⟩ |ϕ⟩, (86) 46 for some|ϕ⟩ ∈(Cd)n

Show all 20 references
  1. [9]

    Projective measurement n M (1) b1 ⊗...⊗M (n) bn o bi=0,1 is applied, where M (i) bi = 1 2 |ki⟩+ (−1) bi |li⟩ ⟨ki|+ (−1) bi ⟨li| .(87)

  2. [10]

    Finally, binary measurement Π ={Π 0,Π 1}is applied, where Π b = P b=⊕ibi M (1) b1 ⊗ ...⊗M (n) bn . It follows that experimentT ′ generates maximal interferenceI 2n−1 = 1 2 and that it featuresnadditional possibly spacelike separated measurements with outcomes (b 1, ...bn), tha...

  3. [11]

    UnitaryG † is applied

  4. [12]

    The state is thereby transformed into 1√ 2 |k⟩+ (−1) P i̸=k1 ai |l⟩ |0⟩,ifa k1 = 0 1√ 2 h α |k⟩ −(−1) P i̸=k1 ai |l⟩ |0⟩+β |k⟩+ (−1) P i̸=k1 ai |l⟩ |1⟩ i ,ifa k1 = 1 (101)

    UnitaryM≡ |k⟩ ⟨k| ⊗1+|l⟩ ⟨l| ⊗Ml is applied, where Ml |ϕ(l) 0 ⟩=|0⟩ Ml |ϕ(l) 1 ⟩=−α|0⟩+β|1⟩, (100) where the second line ensures the condition that⟨ϕ (k) 0 |ϕ(k) 1 ⟩=− ⟨ϕ (l) 0 |ϕ(l) 1 ⟩. The state is thereby transformed into 1√ 2 |k⟩+ (−1) P i̸=k1 ai |l⟩ |0⟩,ifa k1 = 0 1√ 2 h...

  5. [13]

    A further unitary is applied which retains all components of the quantum state invariant except for|l⟩ |1⟩ → − |l⟩ |1⟩, thus transforming the overall state into 1√ 2 |k⟩+ (−1) P2n−1 j=1 aj |l⟩ |ϕ(k) ak1 ⟩.(102) Note that the inputsaare now all encoded in the phase (−1) P2n−1 j...

  6. [14]

    We thus apply a further unitary that 28The experiment hereby constructed will for simplicity apply for pure input statesρ=|ψ⟩ ⟨ψ|

    In order to proceed with the interferometric measurements, we need to first ensure that each pair (k i, li) is such thatk i ̸=l i. We thus apply a further unitary that 28The experiment hereby constructed will for simplicity apply for pure input statesρ=|ψ⟩ ⟨ψ|. It is however o...

  7. [15]

    It once again follows that experimentT ′ generates maximal interferenceI 2n−1 = 1 2 , while featuringnadditional possibly spacelike separated mediating events (b 1, ...bn)

    Finally, binary measurement Π ={Π 0,Π 1}is applied, where Π b = P b=⊕ibi M (1) b1 ⊗ ...⊗M (n) bn . It once again follows that experimentT ′ generates maximal interferenceI 2n−1 = 1 2 , while featuringnadditional possibly spacelike separated mediating events (b 1, ...bn). Appen...

  8. [16]

    Unitary operatorG † is applied

  9. [17]

    The resulting state is 1√ 2 (−1)a1+a3 |23⟩+|12⟩ |0⟩,ifa 2 = 0 1√ 2 α (−1)a1+a3 |23⟩ − |12⟩ |0⟩+β (−1)a1+a3 |23⟩+|12⟩ |1⟩ ,ifa 2 = 1 (118)

    UnitaryM≡ |23⟩ ⟨23| ⊗1+ (|11⟩ ⟨11|+|12⟩ ⟨12|)⊗˜Mis applied, where ˜M|θ 0⟩=|12⟩ ⊗ |0⟩ ˜M|θ 1⟩=|12⟩ ⊗(−α|0⟩+β|1⟩), (117) where|0⟩ ≡ |ϕ(23) 0 ⟩,|1⟩is a vector orthogonal to|0⟩, and|ϕ (23) 1 ⟩=α|0⟩+β|1⟩. The resulting state is 1√ 2 (−1)a1+a3 |23⟩+|12⟩ |0⟩,ifa 2 = 0 1√ 2 α (−1)a1+a...

  10. [18]

    A further unitary is applied that acts as|12⟩ |1⟩ → − |12⟩ |1⟩, thus turning the state, up to a global phase, into 52 1√ 2 |23⟩+ (−1) a1+a2+a3 |12⟩ .(119)

  11. [19]

    Interferometric measurement n M (1) b1 ⊗M (2) b2 o bi=0,1 is then applied, where M (1) b1 = 1 2 |2⟩+ (−1) b1 |1⟩ ⟨2|+ (−1) b1 ⟨1| M (2) b2 = 1 2 |3⟩+ (−1) b2 |2⟩ ⟨3|+ (−1) b2 ⟨2| (120)

  12. [20]

    We have thereby again constructed an experimentT ′ that generates maximal inter- ferenceI 3 = 1 2 , while featuringn= 2 possibly spacelike separated mediating events (b1, b2)

    Finally, binary measurement Π ={Π 0,Π 1}is applied, where Π b = P b=b1⊕b2 M (1) b1 ⊗ M (2) b2 . We have thereby again constructed an experimentT ′ that generates maximal inter- ferenceI 3 = 1 2 , while featuringn= 2 possibly spacelike separated mediating events (b1, b2). It is...

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.