REVIEW 3 major objections 4 minor 15 references
Comment on "Quantum coherence between mass eigenstates of a neutrino cannot be destroyed by its mass-momentum entanglement"
T0 review · 3 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read The reply defends the claim that mass–momentum entanglement destroys the quantum coherence between neutrino mass eigenstates when the detector is much larger than the wavepacket.
desk verdict The reply correctly fixes Cline's misreading about the energy-eigenstate assumption, but its own defense of decoherence collapses at Eq. (8)→(9), where momentum variables are treated as fixed labels instead of integration variables. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the momentum-representation state of Eq. (1) together with the detector-volume integral in Eq. (8). Tracing out momentum in Eq. (3) produces the off-diagonal factor $D_{j,k}=\int_{\sigma_j}\int_{\sigma_k} f(p_j)f^*(p_k)\langle p_k|p_j\rangle$, which vanishes when the momentum supports are disjoint. In position space, the detection probability contains $\int_D dz\, e^{i(p_j-p_k)z}$, and the reply's key step replaces this with a delta function by sending $D$ to the whole line when the detector is much larger than the wavepacket. That step kills the cross terms and yields $P_e\simeq \sum_j |U_{ej}|^2$, the expression with no interference.
What would settle it
Compute the exact double integral in Eq. (8) with Gaussian momentum distributions for two mass eigenstates, keeping $p_j$ and $p_k$ as integration variables; the cross term is proportional to $\exp[-(p_{0j}-p_{0k})^2/(4\sigma^2)]$ times the time-dependent phase, which is nonzero for any finite momentum separation, so the flavor probability still shows interference.
Extended reading notes
Core claim
The central claim, stated on the author's own terms, is that when the neutrino state is written as $\sum_j \int_{\sigma_j} d^3 p_j\, f(p_j)|p_j\rangle|\nu_j\rangle$, the momentum degree of freedom can be traced out, and if the momentum supports $\sigma_j,\sigma_k$ do not overlap the off-diagonal density-matrix element $D_{j,k}$ vanishes, leaving the mass degree of freedom in a classical mixture. In the position representation, the detection probability integrates over the detector region $D$, and for a detector much larger than the wavepacket the integral $\int_D dz\, e^{i(p_j-p_k)z}$ is replaced by $\int_{-\infty}^{\infty} dz\, e^{i(p_j-p_k)z}$, which vanishes for $p_j\neq p_k$. The reply asserts that the commenter's counterargument is therefore valid only when the wavepacket size exceeds the detector size, a regime that does not match real neutrino experiments. The paper defends the original decoherence claim as a consequence of quantum complementarity: if momentum could in principle reveal which mass eigenstate is present, the coherence is gone whether or not the momentum is actually measured.
Load-bearing premise
The load-bearing premise is that the momentum distributions of different mass eigenstates are effectively disjoint, so that after the position integral is taken the off-diagonal terms vanish; the reply never proves this disjointness for a real neutrino wavepacket.
Editorial extensions
If this is right
- If the reply's argument is correct, flavor oscillations are unobservable in any detector whose volume is large compared with the neutrino wavepacket, because the spatial phase is averaged away.
- A proper wavepacket treatment of oscillations must keep the momentum integration variables; setting $p_j-p_k$ to a fixed nonzero constant before integrating implicitly assumes disjoint momentum supports.
- The commenter's proposed counterexample would hold only in the reversed regime, a wavepacket much larger than the detector, which does not describe solar, reactor, or accelerator neutrino experiments.
- The same complementarity logic extends to any interfering particle whose branches carry different momenta: a large integrating detector that could in principle resolve the branches removes the interference.
Reading between the lines
- The reply does not actually compute the momentum overlap for realistic Gaussian wavepackets; if the two momentum distributions overlap, the exact detector integral leaves a nonzero cross term, so the original claim is strictly true only for disjoint momentum supports.
- A decisive check would be to evaluate Eq. (8) exactly for a two-Gaussian model and see whether the oscillatory terms survive as the detector length grows; the reply's delta-function replacement skips this evaluation.
- If the overlap is nonzero, the reply's own criterion—detector much larger than wavepacket—would not by itself destroy coherence; the real condition would involve the momentum separation relative to the wavepacket width.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This manuscript is a reply by Shi-Biao Zheng to a comment by James M. Cline on Zheng's earlier claim that quantum coherence between neutrino mass eigenstates is destroyed by mass-momentum entanglement. Zheng restates his momentum-space derivation, argues that Cline misinterpreted his assumptions about energy eigenstates and spatial dependence, and defends his conclusion by asserting that a large detector volume averages away the position-dependent interference phase. The reply also revisits an alternative mechanism for solar 8B neutrino flavor transformation and argues that the Standard Model is not an appropriate framework for criticizing that mechanism.
Significance. If the central claim were correct, it would challenge the standard quantum-mechanical treatment of neutrino oscillations for realistic wavepackets and detectors, contradicting an extensive experimental and theoretical consensus. The reply does not provide a valid defense of the claim: the step from Eq. (8) to Eq. (9) is mathematically incorrect, and the key assumption that different mass eigenstates have disjoint momentum supports is not justified. The manuscript therefore fails to establish its central assertion and does not constitute a reliable contribution to the debate.
major comments (3)
- [Eq. (8) to Eq. (9)] The transition from Eq. (8) to Eq. (9) is invalid. Replacing the detector integral by an infinite integral gives the distributional identity ∫_{-∞}^{∞} dz e^{i(p_j-p_k)z} = 2πδ(p_j-p_k). Inserting this into Eq. (8), the off-diagonal terms (j≠k) become proportional to ∫ dp_j ∫ dp_k f(p_j)f*(p_k) δ(p_j-p_k) e^{i(E_k(p_k)-E_j(p_j))t} = ∫ dp f(p)f*(p) e^{i(E_k(p)-E_j(p))t}, which is generally nonzero because p_j and p_k are integration variables and the momentum distributions overlap. The sentence 'For p_j ≠ p_k, this integral vanishes' treats p_j and p_k as fixed external labels rather than integration variables; the delta function selects the contribution p_j = p_k, not p_j ≠ p_k. Consequently Eq. (9) does not follow, and the claimed disappearance of interference effects is not established.
- [Eqs. (1)-(3)] The derivation in Eqs. (1)-(3) assumes that the momentum distribution regions σ_j and σ_k for different mass eigenstates are disjoint, so that p_j ≠ p_k for all values in their supports. This is an assumption, not a derived property. For neutrinos produced in weak interactions, the momentum distributions of different mass eigenstates overlap substantially because the mass differences are tiny compared with typical momentum uncertainties. Without disjoint supports, D_{j,k} in Eq. (3) is proportional to ∫ dp f(p)f*(p), which is nonzero, and the claimed decoherence does not occur. The reply provides no argument or evidence that realistic neutrino sources satisfy the disjoint-support condition.
- [Overall argumentation] The reply's defense relies heavily on the author's own Refs. [1] and [12] as authority. In particular, the derivation in Eqs. (1)-(3) is essentially the same as that in Ref. [1], so citing it does not address Cline's objection that the assumption of different momenta is exactly the point at issue. The final paragraph, asserting that it is unreasonable to use the Standard Model to criticize the mechanism of Ref. [12], is a non sequitur with respect to the technical criticism and is not substantiated by any calculation in this manuscript. These features make the response circular rather than an independent validation.
minor comments (4)
- [Eq. (1)] The word 'eigemstate' is a typo for 'eigenstate'.
- [Eq. (3)] The notation σ_j as the 'distribution region' of momentum is not precisely defined; it should be stated explicitly that σ_j is the support of the momentum probability distribution for mass eigenstate |ν_j⟩.
- [General] There are several typographical errors and formatting inconsistencies, such as 'different' in the text and inconsistent spacing in Eq. (8); a careful proofreading pass is needed.
- [Final paragraph] The statement that neutrino oscillations are 'beyond the Standard Model' is too sweeping: while minimal Standard Model neutrinos are massless, neutrino oscillations can be accommodated by adding mass terms, and this claim does not affect the validity of Cline's technical critique.
Circularity Check
The reply's central step (Eq. 8 -> Eq. 9) is circular: the disappearance of interference is obtained only by assuming the non-overlapping momentum supports whose consequence it purports to derive.
-
self definitional
[Derivation of P_e, Eqs. (8)-(9)]
"When the neutrino detector has a size much larger than the wavepacket size, it is reasonable to replace ∫_D dze^{i(p_j − p_k)z} with ∫_{−∞}^{∞} dze^{i(p_j − p_k)z}. For p_j ≠ p_k, this integral vanishes, and P_e is approximated by P_e ≃ ∑_j |U_ej|^2, which does not show interference effects."
In Eq. (8), p_j and p_k are dummy integration variables over f(p_j) and f*(p_k). Replacing the detector integral by the full-axis integral yields 2πδ(p_j−p_k); after performing the momentum integrals, the off-diagonal contribution is ∫ dp f(p) f*(p) e^{i[E_k(p)−E_j(p)]t}, which does not vanish when the two mass-eigenstate production amplitudes have overlapping momentum support. The reply's phrase 'For p_j ≠ p_k' fixes the momenta as distinct labels and discards the equal-momentum contribution selected by the delta function. Hence the no-interference result holds only if σ_j∩σ_k=∅, which is exactly the input assumption of Eqs. (1)-(3). Eq. (9) is the non-overlap premise restated in position-space language, not a consequence of the large detector volume.
full rationale
The displayed derivation in Eqs. (1)-(9) is the core of the reply. Eqs. (1)-(3) correctly show that disjoint momentum supports imply D_jk=0, but that is a standard trace-over-environment calculation and not itself the circular step. The circularity enters in the new detector-size argument: Eq. (9) is obtained by treating p_j and p_k as fixed distinct labels after replacing the detector integral by a delta function, whereas in Eq. (8) they are integration variables. The delta function selects p_j=p_k, leaving an overlap integral that is generally nonzero for realistic wavepackets with overlapping momentum distributions. The conclusion that P_e ≈ Σ_j |U_ej|^2 therefore requires σ_j∩σ_k=∅, the same assumption stated in Eqs. (1)-(3); the large-detector limit does no independent work. Self-citations to Refs. [1] and [12] are present, and the final solar-neutrino argument is asserted rather than derived, but the decisive issue is internal to Eqs. (8)-(9), so the score reflects that reduction rather than the citations alone. The reply is therefore only partially circular: one new element (detector-size integration) is introduced, but the load-bearing prediction reduces to its own premise.
Assumptions & free parameters
assumptions (3)
- ad hoc to paper The momentum distributions σ_j and σ_k for different mass eigenstates are non-overlapping, so that p_j ≠ p_k for all values in their supports.
- domain assumption The detector volume D can be approximated as infinite, so the integral ∫_D dz e^{i(p_j-p_k)z} equals 2π δ(p_j-p_k).
- domain assumption The quantum complementarity principle applies: the mere possibility of which-path information (momentum measurement) destroys interference.
Cite this review
Pith. "Pith review of Comment on "Quantum coherence between mass eigenstates of a neutrino cannot be destroyed by its mass-momentum entanglement"." pith.science (2026). https://pith.science/paper/HQ7B3P3Z
@misc{pith2026250109762,
author = {Pith},
title = {Pith review of: Comment on "Quantum coherence between mass eigenstates of a neutrino cannot be destroyed by its mass-momentum entanglement"},
year = {2026},
howpublished = {\url{https://pith.science/paper/HQ7B3P3Z}},
note = {Machine review of arXiv:2501.09762}
}
read the original abstract
In arXiv:2410.21850, I proved that the quantum coherence between the mass eigenstates of a neutrino will be destroyed if they are correlated with different momenta. In arXiv:2411.01190, James M. Cline claimed that I had made the unrealistic assumption that the neutrino is always in a nearly exact energy eigenstate, and ignored the spatial dependence of the wavefunction in my paper. However, I did not assume that the neutrino is in a nearly exact eigenstate of energy anywhere in my paper, and the wavefunction I wrote in the position representation has a spatial dependence. The argumentation of arXiv:2411.01190 is based on misinterpreting my claim, and on ignoring the critical fact that the neutrino's wavepacket has a finite size and the detector has a large volume.
Reference graph
Works this paper leans on
-
[12]
Revisiting the origin of neutrino flavor transformations
S.-B. Zheng, Revisiting the origin of neutrino flavor tr ansformations, arXiv:2407.00954
-
[1]
S.-B. Zheng, Quantum coherence between mass eigenstate s of a neutrino can be destroyed by its mass-momentum entan- glement, arXiv:2410.21850. 3
-
[2]
J. M. Cline, Quantum coherence between mass eigenstates of a neutrino cannot be destroyed by its mass-momentum entanglementar, arXiv:2411.01190
-
[3]
M. O. Scully, B.-G. Englert, and H. Walther, Quantum opti cal tests of complementarity, Nature 351, 111 (1991)
work page 1991
-
[4]
Englert, Fringe visibility and which-way informa tion: an inequality, Phys
B.-G. Englert, Fringe visibility and which-way informa tion: an inequality, Phys. Rev. Lett. 77, 2154 (1996)
work page 1996
-
[5]
Brune et al., Observing the progressive decoherence o f the “meter” in a quantum measurement, Phys
M. Brune et al., Observing the progressive decoherence o f the “meter” in a quantum measurement, Phys. Rev. Lett. 77, 4887 (1996)
work page 1996
-
[6]
E. Buks, R. Schuster, M. Heiblum, D. Mahalu, and V. Umansk y, Dephasing in electron interference by a ‘which-path’ detector, Nature 391, 871 (1998)
work page 1998
- [7]
Show all 15 references
-
[8]
D¨ urr, T
S. D¨ urr, T. Nonn, and G. Rempe, Fringe visibility and whi ch-way information in an atom interferometer, Phys. Rev. Le tt. 81, 5705 (1998)
1998
-
[9]
Bertet et al., A complementarity experiment with an in terferometer at the quantum-classical boundary, Nature 41 1,166 (2001)
P. Bertet et al., A complementarity experiment with an in terferometer at the quantum-classical boundary, Nature 41 1,166 (2001)
2001
-
[10]
Liu et al., A twofold quantum delayed-choice experim ent in a superconducting circuit, Sci
K. Liu et al., A twofold quantum delayed-choice experim ent in a superconducting circuit, Sci. Adv. 3, e1603159 (201 7)
-
[11]
Huang et al., Entanglement-interference comple mentarity and experimental demonstration in a superconduc ting circuit, npj Quantum Information 9, 43 (2023)
X.-J. Huang et al., Entanglement-interference comple mentarity and experimental demonstration in a superconduc ting circuit, npj Quantum Information 9, 43 (2023)
2023
-
[13]
Wolfenstein, Neutrino oscillations in matter, Phys
L. Wolfenstein, Neutrino oscillations in matter, Phys . Rev. D 17, 2369 (1978)
1978
-
[14]
Mikheyev and A.Yu
S.P. Mikheyev and A.Yu. Smirnov, Resonance amplificati on of oscillations in matter and spectroscopy of solar neutr inos, Sov. J. Nucl. Phys. 42, 913 (1985)
1985
-
[15]
T. K. Kuo and James Pantaleone, Neutrino oscillations i n matter, Rev. Mod. Phys. 61, 937 (1989)
1989
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.