REVIEW 2 major objections 4 minor 7 references
Quantum Zeno-like Paradox for Position Measurements: A Particle Precisely Found in Space is Nowhere to be Found in Hilbert Space
T0 review · 2 major / 4 minor · reviewed 2026-08-03 · deepseek-v4-flash
Pith's one-line read If a particle's position is measured with perfect precision, every fixed projection measurement gives outcome 1 with probability zero, so no Hilbert-space vector or density matrix can describe the post-measurement state.
desk verdict The limit theorem is rigorous and cleanly proved; the 'novel state is necessary' conclusion is an interpretive step the paper itself does not close off, and the title oversells it. 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 workhorse is the bin-projection overlap sum S_n = Σ_j |⟨φ|P_j^(n)ψ⟩|², with P_j^(n) the operation that keeps only the component of the wave function inside the j-th bin of a rectangular grid. For sufficiently regular ψ and φ, each term is about (1/n)∫_{bin} φ*ψ dx, so S_n itself is roughly (1/n)∫|φ|²|ψ|² dx and therefore tends to zero as the grid spacing shrinks. The rigorous argument averages φψ over bins, shows the averaged function converges in norm to φψ by a dominated-convergence route, and then extends from bounded to arbitrary square-integrable states and from pure to mixed states.
What would settle it
Repeat the calculation with an unsharp position measurement formed from smooth kernels of width 1/n (for instance, Gaussian convolution with standard deviation 1/n) instead of hard-bin projections. If for some fixed φ and initial ψ the probability of Y=1 does not tend to 0, then the paradox depends essentially on the projection model; conversely, if every smooth model also gives zero, the conclusion would be strengthened.
Extended reading notes
Core claim
The central claim is that after a position measurement of precision 1/n, the probability of a subsequent fixed projection |φ><φ| giving outcome 1 is S_n = ⟨φ|Σ_j P_j^(n) ρ P_j^(n)|φ⟩, and S_n → 0 for every density matrix ρ and unit vector φ as n→∞. Because a non-zero vector or density matrix always assigns non-zero probability to some one-dimensional projection—take φ along that vector, or along an eigenvector with non-zero eigenvalue—the limiting post-measurement state is not a Hilbert-space state. The proof covers pure and mixed states, uneven rectangular grids, boxes of arbitrary dimension, and all of Euclidean space, so the effect is not tied to a special geometry.
Load-bearing premise
The load-bearing premise is the projection rule for position measurements: one models a measurement of width 1/n as an orthogonal projection onto a hard bin followed by the standard collapse rule; if high-precision position measurements are instead genuinely unsharp, the theorem's vanishing probability can fail.
Editorial extensions
If this is right
- The limiting probability of outcome 1 for any fixed projection |φ><φ| is zero, so after an ideal position measurement no Hilbert-space vector or density matrix can be the collapsed state.
- The effect survives arbitrary rectangular grid schemes, initial mixed states, arbitrary dimension, and the transition from a box to all of R^d, making it a general feature of ideal position measurements.
- The limiting joint distribution of the position outcome X and the projection outcome Y is all weight on Y=0 with |ψ|²-distribution along X, giving concrete statistics for the limiting experiment.
- The result transfers the quantum Zeno phenomenon from repeated time checks to a single continuous-variable measurement followed by a discrete test, suggesting Zeno-like limits occur for any continuous observable.
- The authors conclude that a novel type of quantum state, likely a positive functional on an operator algebra, is necessary to describe the particle after a perfect position measurement.
Reading between the lines
- The projection model is what generates the paradox; replacing it with smooth unsharp position measurements appears to avoid the vanishing probability, so the theorem can be read as a boundary on how far the projection postulate can be pushed.
- For smooth wave functions, the proof suggests the decay is actually P(Y=1) ~ (1/n)∫|φ|²|ψ|² dx; measuring this 1/n scaling at finite precision would provide an experimental signature of the predicted mechanism.
- If perfect position measurements require non-Hilbert states, similar limits may arise for other continuous observables whose ideal eigenstates lie outside Hilbert space, such as momentum or energy in certain settings, generalizing the Zeno-like outcome.
- The authors leave open how to construct the conjectured state as an operator-algebra functional; filling this gap could connect the result to existing approaches to infinitely localized states.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper considers a particle in L^2([0,1)) (or L^2(R^d)) and the following two-step experiment: first measure position with a coarse-grained grid of bins of side length ~1/n using Lüders collapse, then measure a fixed one-dimensional projection |φ><φ|. The central theorem states that for any initial pure or mixed state, any fixed φ, and any grid scheme, the probability of outcome Y=1 in the second measurement tends to 0 as n→∞. The authors interpret this as showing that after a perfectly precise position measurement the post-measurement state cannot be represented by any vector or density matrix in Hilbert space, and suggest that a new type of quantum state beyond Hilbert space is necessary.
Significance. If taken as a rigorous theorem about Lüders collapse for coarse-grained position measurements, the result is correct and provides a clean, quantitative manifestation of a Zeno-type effect for position. The proofs in the appendix are complete: the epsilon-chain in Lemma 3 and the dominated-convergence arguments in Lemmas 1, 4, and Theorem 2 are sound, and the main result goes well beyond the one-dimensional pure-state example. The claimed foundational conclusion, however, is not established by the theorem; it depends on the choice of quantum instrument and on an additional idealization about infinite-precision limits.
major comments (2)
- [§4, Eq. (14); §3] Theorem 2 is proved for the Lüders instrument ρ ↦ Σ_j P_j ρ P_j. This is not the only instrument consistent with the POVM {P_j}. For example, take A_j = U_j P_j with U_j unitary and choose U_j so that it maps the normalized component P_jψ/∥P_jψ∥ to a fixed vector φ. Then the probability of Y=1 after the second measurement is Σ_j ∥P_jψ∥² = 1, not 0, for every n. Thus the vanishing probability is an artifact of the Lüders rule, not a consequence of the position-measurement statistics. The abstract and title present the result as a property of 'a position measurement' without this restriction; the claims should be explicitly limited to Lüders collapse or supported by an operational argument for why that instrument is the relevant one.
- [§5; Abstract] The step from 'P_n(Y=1)→0 for every fixed φ' to 'a novel type of quantum state is necessary' is a nontrivial interpretive leap. It assumes that the sequence of post-measurement density matrices has a physical state as its n→∞ limit and that measurement probabilities are continuous under that limiting procedure. The paper itself states that this construction is left for future research, but the abstract and §5 present the necessity as a conclusion. Without a construction of the alleged functional on an operator algebra, or a proof that no Hilbert-space state can describe the limiting procedure under all physically allowed instruments, the correct conclusion is only that the Lüders-collapse ensemble has no limit in H under this idealization.
minor comments (4)
- [Definition 3; §4] The definition of a grid scheme for R^d requires that bins do not cross the boundaries of a fixed family of unit cubes. This is not literally 'arbitrary rectangular grid' on R^d; one can imagine grids with edges not aligned to that global lattice. The statement of Theorem 2 for R^d should be adjusted to match Definition 3, or the proof generalized.
- [Eq. (8)] There is a formatting typo in the display: 'j/nZ' should be the integral from (j-1)/n to j/n. Please fix.
- [§4] In the sentence 'either on L^2(Q) or L^2(R^n)', the second space should be L^2(R^d), not L^2(R^n).
- [§3, 'New type of quantum state'] The claim that the new type of state gives well-defined probabilities for 'any subsequent quantum measurement' is supported only for the examples of projections |φ><φ| and the joint X,Y distribution. It is not shown for general observables or general instruments. Please soften this statement.
Circularity Check
No significant circularity: the central theorem is a direct computation from the explicitly stated Lüders collapse rule; the only self-citation is a background textbook reference.
full rationale
The derivation chain is self-contained. The target probability is defined in Eqs. (4)-(6) and (14) from the stated postulates: the first measurement is represented by the projections P_j^(n) and Lüders collapse (Eq. 3), and the second by the projection |φ><φ|. Theorem 2 then proves a mathematical limit using standard measure theory (Lebesgue differentiation, dominated convergence, spectral decomposition of trace-class operators); no parameter is fitted and no input is a prediction of the theorem. The conclusion that a novel type of state is 'necessary' is not used as a premise; it is offered as a suggested interpretation, and the paper explicitly flags that it leaves formalization for future research ('We leave this inquiry for future research'). The only self-citation is Ref. [2], the second author's textbook, used as background for the quantum Zeno comparison; it is not load-bearing. The dependence of the zero limit on the Lüders instrument is a modeling assumption, not circularity: the paper states the model and derives its consequences.
Assumptions & free parameters
assumptions (4)
- domain assumption Coarse position measurements are projective measurements onto bins, with Lüders collapse P_j ψ / ||P_j ψ|| (Eqs. (2)-(3)).
- domain assumption Grid schemes have bins with edge lengths between 1/(Cn) and 1/n (Definition 1).
- standard math Standard analytic facts: Lebesgue differentiation theorem, dominated convergence theorem, density of L∞ in L2, spectral theorem for trace-class operators.
- ad hoc to paper The infinite-precision limit of a sequence of measurement procedures can be regarded as a legitimate physical state.
invented entities (1)
-
Post-perfect-position-measurement state (putative functional on an operator algebra)
Cite this review
Pith. "Pith review of Quantum Zeno-like Paradox for Position Measurements: A Particle Precisely Found in Space is Nowhere to be Found in Hilbert Space." pith.science (2026). https://pith.science/paper/OGKRIQIB
@misc{pith2026260119469,
author = {Pith},
title = {Pith review of: Quantum Zeno-like Paradox for Position Measurements: A Particle Precisely Found in Space is Nowhere to be Found in Hilbert Space},
year = {2026},
howpublished = {\url{https://pith.science/paper/OGKRIQIB}},
note = {Machine review of arXiv:2601.19469}
}
abstract
On a quantum particle in the unit interval $[0,1]$, perform a position measurement with inaccuracy $1/n$ and then a quantum measurement of the projection $|\phi\rangle\langle\phi|$ with some arbitrary but fixed normalized $\phi$. Call the outcomes $X \in[0,1]$ and $Y \in\{0,1\}$. We show that in the limit $n\to\infty$ corresponding to perfect precision for $X$, the probability of $Y=1$ tends to 0 for every $\phi$. Since there is no density matrix, pure or mixed, which upon measurement of any $|\phi\rangle\langle\phi|$ yields outcome 1 with probability 0, our result suggests that a novel type of quantum state beyond Hilbert space is necessary to describe a quantum particle after a perfect position measurement.
Reference graph
Works this paper leans on
-
[1]
The Zeno’s paradox in quantum theory,
B. Misra and E. Sudarshan, “The Zeno’s paradox in quantum theory,” Journal of Mathemat- ical Physics, vol. 18, pp. 756–763, 1977
1977
-
[2]
Tumulka, Foundations of quantum mechanics
R. Tumulka, Foundations of quantum mechanics . Springer, 2022
2022
-
[3]
Control of quantum noise: On the role of dilations,
D. Burgarth, P. Facchi, and R. Hillier, “Control of quantum noise: On the role of dilations,” Annales Henri Poincar´ e, vol. 24, no. 1, pp. 325–347, 2023
2023
-
[4]
Infinitely entangled states,
M. Keyl, D. Schlingemann, and R. Werner, “Infinitely entangled states,” Quantum Informa- tion & Computation , vol. 3, no. 4, pp. 281–306, 2003
2003
-
[5]
Tao, An Introduction to Measure Theory
T. Tao, An Introduction to Measure Theory . American Mathematical Society, 2011
2011
-
[6]
G. B. Folland, Real Analysis: Modern Techniques and their Applications . John Wiley & Sons, 1999
1999
-
[7]
Simon, Trace Ideals and Their Applications (Lecture note series vol
B. Simon, Trace Ideals and Their Applications (Lecture note series vol. 35). Cambridge Uni- versity Press, 1979. 12
1979
Reviewed August 3, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.