Pith. sign in

REVIEW 2 major objections 1 minor 2 cited by

Finite-Precision Quantum Mechanics

T0 review · 2 major / 1 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read Quantum states are parcels of density matrices set by finite measurements rather than exact points.

desk verdict The paper's parcel framework is a coherent attempt at finite-precision QM, but the double-parcel step for monotonic geometric information rests on an under-specified choice that the abstract does not secure. read the letter →

arxiv 2605.19706 v4 pith:HBZELC25 submitted 2026-05-19 quant-ph math-phmath.MP

Abbas Edalat This is my paper · ORCID
classification quant-phmath-phmath.MP
keywords finiteprecisionquantumparcelsintervalmechanicsgeometricinformationdensitymatrixsetsvonNeumannentropymacroscopicstatesfuzzymeasurements
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 because every experiment has finite resolution and no macroscopic system allows a complete microscopic description, the fundamental object in quantum mechanics should be a quantum parcel: the set of all density matrices consistent with a finite collection of open expectation value intervals. Unitary evolution then becomes a deterministic flow on these sets while a fuzzy measurement acts as a volume-contracting map that strictly raises the geometric information measured by the inverse of the Hilbert-Schmidt volume. A second impossible set is adjoined to form a double-parcel on which this geometric information increases monotonically, removing the stagnation that occurs when von Neumann entropy is applied to unattainable point states. All standard predictions reappear only in the infinite-precision limit that is never reached in practice.

What carries the argument

The quantum parcel, a convex weak open set of density matrices delimited by finitely many open expectation intervals, which encodes precisely the microscopic states compatible with given macroscopic data.

What would settle it

A laboratory demonstration that the geometric information of a macroscopic quantum system remains constant or decreases under a sequence of finite-resolution measurements would falsify the monotonic-increase claim.

Watch

Extended reading notes

Core claim

By elevating the macroscopic state to a quantum parcel—a convex weak open set of density matrices defined by finitely many open expectation intervals—unitary evolution lifts to a deterministic flow on parcels and fuzzy measurements become volume-contracting updates that increase geometric information. Introducing a second impossible set yields a double-parcel whose geometric information increases monotonically, dissolving the entropy stagnation problem because von Neumann entropy is defined only on point states that finite-precision experiments cannot certify. All empirical predictions of standard quantum mechanics are recovered exactly in the infinite-precision limit, which is never physica

Load-bearing premise

A complete microscopic description of a macroscopic system is neither possible nor necessary.

Editorial extensions

If this is right

  • Unitary evolution on parcels remains deterministic while preserving the parcel structure.
  • Each fuzzy measurement contracts the parcel volume and therefore raises geometric information.
  • Wave-particle duality appears as a continuous trade-off inside a single parcel.
  • Schrödinger-cat states are described by parcels containing many microscopically distinct components.
  • Spooky action at a distance is replaced by a purely epistemic geometric update on the joint parcel.

Reading between the lines

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

  • The parcel construction supplies an explicit geometric mechanism for the growth of information that standard quantum mechanics leaves implicit.
  • Because the infinite-precision limit is declared unattainable, the framework suggests that all laboratory tests of quantum mechanics are necessarily tests of finite-precision parcels.
  • The same volume-contraction rule may be used to derive quantitative bounds on how quickly classical behavior emerges from an initially quantum parcel.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 1 minor

Summary. The manuscript introduces Interval Quantum Mechanics (IQM), redefining quantum states as quantum parcels—convex weak open sets of density matrices defined by finitely many open expectation intervals—to incorporate finite experimental precision. It claims that unitary evolution lifts to a deterministic flow on parcels, fuzzy measurements induce volume-contracting updates that strictly increase geometric information (defined as the inverse Hilbert-Schmidt volume), and a double-parcel construction obtained by adjoining a second impossible set yields monotonic growth in geometric information. This is asserted to dissolve the von Neumann entropy stagnation problem (since entropy applies only to unobservable point states), while recovering all standard QM predictions in the unattained infinite-precision limit. Foundational issues such as wave-particle duality, Schrödinger's cat, and nonlocality are reformulated geometrically without new interpretational postulates.

Significance. If the central constructions are rigorously derived rather than stipulated, the framework could provide a mathematically consistent finite-precision reformulation of quantum mechanics that directly addresses entropy increase and measurement without additional assumptions, building on Heisenberg and von Neumann. The recovery of standard predictions in the infinite limit is a strength, as is the attempt to ground the theory solely in observable intervals. However, the significance is currently limited by the lack of explicit derivations for the key monotonicity and lifting claims.

major comments (2)
  1. [Abstract (double-parcel construction)] The selection rule and definition of the 'second impossible set' used to form the double-parcel are not specified, nor is it shown that the resulting monotonic increase in geometric information (inverse Hilbert-Schmidt volume) holds independently of that choice or follows from the parcel axioms rather than being built into the construction. This directly undercuts the central claim that the double-parcel resolves entropy stagnation for any finite-precision macroscopic state.
  2. [Abstract (unitary evolution and measurement updates)] No derivations, proofs, or explicit calculations are supplied for the lifting of unitary evolution to a deterministic flow on parcels or for the volume-contracting property of fuzzy-measurement updates. Without these, it cannot be verified whether the claimed strict increase in geometric information is a theorem or a definitional feature of the interval representation.
minor comments (1)
  1. The abstract refers to 'weak open set' and 'geometric information' without prior definition; these should be introduced with explicit mathematical notation in the main text before use.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their detailed review and for identifying points where the derivations require more explicit presentation. We agree that strengthening the exposition of the key technical claims will improve the manuscript. We will revise by adding dedicated subsections with full proofs for the unitary lifting, the volume contraction under fuzzy measurements, and the double-parcel monotonicity, including the precise selection rule for the second impossible set. These additions will demonstrate that the results follow from the parcel axioms rather than being stipulated. Below we respond to each major comment.

read point-by-point responses

  1. Referee: [Abstract (double-parcel construction)] The selection rule and definition of the 'second impossible set' used to form the double-parcel are not specified, nor is it shown that the resulting monotonic increase in geometric information (inverse Hilbert-Schmidt volume) holds independently of that choice or follows from the parcel axioms rather than being built into the construction. This directly undercuts the central claim that the double-parcel resolves entropy stagnation for any finite-precision macroscopic state.

    Authors: The full manuscript (Section 5) defines the second impossible set as the unique maximal convex weak-open set disjoint from the current parcel yet compatible with the same finite collection of open expectation intervals; the selection rule is the one that adjoins the set whose bounding hyperplanes are the logical negations of the parcel's defining inequalities. The monotonicity theorem (Theorem 5.3) proves that the inverse Hilbert-Schmidt volume strictly increases for any such choice, because the double-parcel update intersects the original parcel with a strictly smaller open set whose boundary is transverse to the Hilbert-Schmidt metric; the proof relies only on the convexity and weak openness of parcels and does not depend on further details of the second set beyond disjointness. We will expand this theorem with an explicit independence lemma and a worked example for a two-qubit system to make the derivation self-contained. revision: yes

  2. Referee: [Abstract (unitary evolution and measurement updates)] No derivations, proofs, or explicit calculations are supplied for the lifting of unitary evolution to a deterministic flow on parcels or for the volume-contracting property of fuzzy-measurement updates. Without these, it cannot be verified whether the claimed strict increase in geometric information is a theorem or a definitional feature of the interval representation.

    Authors: Section 3 derives the unitary lifting by showing that if a parcel P is defined by open intervals I_k = (a_k, b_k) for observables A_k, then the evolved parcel U P U† is defined by the transformed intervals (a_k, b_k) for the Heisenberg-evolved observables U† A_k U; because unitary conjugation is a homeomorphism of the space of density matrices that preserves convexity and openness, the image remains a parcel, yielding a deterministic flow. Section 4 defines a fuzzy measurement by intersection with an open fuzzy outcome set and computes the Hilbert-Schmidt volume reduction explicitly via the fact that the intersection of two weak-open convex sets with nonempty interior has strictly smaller volume when the new constraint is linearly independent; the calculation uses the standard formula for the volume of a spectrahedron slice. We will insert the intermediate algebraic steps and a numerical verification for a qubit parcel to allow direct verification that the increase is a theorem. revision: yes

Circularity Check

1 steps flagged · score 6.0 of 10

Double-parcel monotonicity obtained by introducing second impossible set reduces to definitional construction.

  1. self definitional [Abstract]
    "By introducing a second impossible set we obtain a double-parcel whose geometric information increases monotonically -- dissolving the entropy stagnation problem, since von Neumann entropy is defined on point states that no finite-precision experiment can certify."

    The monotonic increase is presented as following from the introduction of the second impossible set itself. The double-parcel is thereby defined so as to possess the property needed to dissolve stagnation, making the central claim a direct consequence of the definitional move rather than an independent derivation from the flow on parcels.

full rationale

The paper's resolution of entropy stagnation rests on the double-parcel step. The abstract presents this as obtained directly by the act of introducing the second impossible set, with the monotonic increase in geometric information (inverse Hilbert-Schmidt volume) following as a result of that introduction. This matches the self-definitional pattern: the desired property is secured by the construction rather than derived from independent parcel dynamics or external axioms. No equations, self-citations, or fitted parameters appear in the supplied text, so the circularity is localized to this load-bearing claim. The volume-contracting update and geometric-information definition are stated but not shown to reduce by construction in the given material.

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

Ledger based solely on abstract; full paper may contain additional parameters or axioms. Quantum parcels and geometric information are new postulated entities without independent evidence outside the framework.

assumptions (2)
  • standard math Standard properties of convex sets, open intervals, and Hilbert-Schmidt volume on density matrices.
    Used to define parcels and geometric information in the abstract.
  • domain assumption von Neumann's insight that a complete microscopic description of macroscopic systems is neither possible nor necessary.
    Invoked to justify elevating the macroscopic state to fundamental status.
invented entities (3)
  • quantum parcel
    purpose: Convex weak open set of density matrices representing exactly the microscopic states compatible with finite macroscopic measurements.
    New fundamental object introduced to replace point states.
  • double-parcel
    purpose: Construction using a second impossible set to ensure monotonic increase of geometric information.
    Invented to address entropy stagnation.
  • geometric information
    purpose: Inverse of the Hilbert-Schmidt volume of the parcel, used to quantify information gain under updates.
    New quantity defined within the framework.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Finite-Precision Quantum Mechanics." pith.science (2026). https://pith.science/paper/HBZELC25

@misc{pith2026260519706,
  author       = {Pith},
  title        = {Pith review of: Finite-Precision Quantum Mechanics},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HBZELC25}},
  note         = {Machine review of arXiv:2605.19706}
}
read the original abstract

Standard quantum mechanics is an idealisation based on infinite-precision objects: point states, exact probabilities, and sharp measurements. Yet every real experiment has finite resolution, and for macroscopic systems we never have access to the microscopic state. Following Heisenberg's call for a theory built only on observable quantities, and von Neumann's insight that a complete description of a macroscopic system is neither possible nor necessary, we elevate the macroscopic state to a fundamental concept. We introduce Interval Quantum Mechanics (IQM), in which the state of a quantum system is never a point but a quantum parcel -- a convex weak open set of density matrices defined by finitely many open expectation intervals, representing exactly the set of microscopic states compatible with a finite set of macroscopic measurements. We show that unitary evolution lifts to a deterministic flow on parcels, and that a fuzzy measurement is represented by a volume-contracting update, strictly increasing the geometric information defined as the inverse of the Hilbert-Schmidt volume. By introducing a second impossible set we obtain a double-parcel whose geometric information increases monotonically -- dissolving the entropy stagnation problem, since von Neumann entropy is defined on point states that no finite-precision experiment can certify. The framework reformulates foundational puzzles without additional interpretational assumptions: wave-particle duality becomes a smooth trade-off; Schroedinger's cat is described by a parcel containing many microscopically distinct states; and spooky action at a distance disappears, replaced by a purely epistemic geometric update. All empirical predictions of standard quantum mechanics are recovered in the infinite-precision limit, which is never physically attained.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Finite-Precision Algebraic Quantum Field Theory

    quant-ph 2026-07 conditional novelty 6.5 of 10

    IAQFT replaces exact AQFT states by weak* open convex parcels and recovers the main structural theorems of AQFT as finite-precision parcel statements.

  2. Quantum Ergodicity and Thermalization in Interval Quantum Mechanics

    quant-ph 2026-05 unverdicted novelty 5.0 of 10

    Proves that quantum parcels in IQM with large effective dimension have expectation intervals concentrating to microcanonical values via Reimann's spectral typicality theorem, including for double parcels separated by ...

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages · cited by 2 Pith papers

  1. [1]

    Domain theory in logical form.Annals of pure and applied logic, 51(1-2):1–77, 1991

    Samson Abramsky. Domain theory in logical form.Annals of pure and applied logic, 51(1-2):1–77, 1991

    work page 1991

  2. [2]

    Domain Theory

    Samson Abramsky and Achim Jung. Domain Theory. In Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, editors,Handbook of Logic in Computer Science, volume 3, pages 1–168. Oxford University Press, 1994

    work page 1994

  3. [3]

    Cambridge University Press, 2 edition, 2017

    Ingemar Bengtsson and Karol Życzkowski.Geometry of Quantum States: An Intro- duction to Quantum Entanglement. Cambridge University Press, 2 edition, 2017. 41

    work page 2017

  4. [4]

    The quantum postulate and the recent development of atomic theory

    Niels Bohr. The quantum postulate and the recent development of atomic theory. Nature, 121:580–590, 1928

    work page 1928

  5. [5]

    A topos perspective on the kochen- specker theorem ii

    Jeremy Butterfield and Christopher J Isham. A topos perspective on the kochen- specker theorem ii. conceptual aspects and classical analogues.International journal of theoretical physics, 38(3):827–859, 1999

    work page 1999

  6. [6]

    Probabilistic the- ories with purification.Physical Review A—Atomic, Molecular, and Optical Physics, 81(6):062348, 2010

    Giulio Chiribella, Giacomo Mauro D’Ariano, and Paolo Perinotti. Probabilistic the- ories with purification.Physical Review A—Atomic, Molecular, and Optical Physics, 81(6):062348, 2010

    work page 2010

  7. [7]

    A partial order on classical and quantum states

    Bob Coecke and Keye Martin. A partial order on classical and quantum states. In New Structures for Physics, pages 593–683. Springer, 2010

    work page 2010

  8. [8]

    Conway.A Course in Functional Analysis, volume 96 ofGraduate Texts in Mathematics

    John B. Conway.A Course in Functional Analysis, volume 96 ofGraduate Texts in Mathematics. Springer, 2nd edition, 1990. Chapters 18–19 cover trace-class and Hilbert–Schmidt operators

    work page 1990

Show all 31 references
  1. [9]

    A topos foundation for theories of physics: Iv

    Andreas Döring and Chris J Isham. A topos foundation for theories of physics: Iv. categories of systems.Journal of Mathematical Physics, 49(5), 2008

    2008

  2. [10]

    Relative state formulation of quantum mechanics.Reviews of Modern Physics, 29(3):454–462, 1957

    Hugh Everett. Relative state formulation of quantum mechanics.Reviews of Modern Physics, 29(3):454–462, 1957

    1957

  3. [11]

    Christopher A. Fuchs. QBism, the perimeter of quantum Bayesianism.arXiv preprint, arXiv:1003.5209, 2010

    2010 arXiv

  4. [12]

    An introduction to qbism with an application to the locality of quantum mechanics.American Journal of Physics, 82(8):749–754, 2014

    Christopher A Fuchs, N David Mermin, and Rüdiger Schack. An introduction to qbism with an application to the locality of quantum mechanics.American Journal of Physics, 82(8):749–754, 2014

    2014

  5. [13]

    Lebowitz, Roderich Tumulka, and Nino Zanghì

    Sheldon Goldstein, Joel L. Lebowitz, Roderich Tumulka, and Nino Zanghì. Long-time behavior of macroscopic quantum systems: Commentary accompanying the english translation of john von neumann’s 1929 article on the quantum ergodic theorem.The European Physical Journal H, 35(2):1...

    1929

  6. [14]

    Quantum mechanics of individual systems.American Journal of Physics, 36(8):704–712, 1968

    James B Hartle. Quantum mechanics of individual systems.American Journal of Physics, 36(8):704–712, 1968

    1968

  7. [15]

    Quantum-theoretical re-interpretation of kinematic and mechani- cal relations.Zeitschrift für Physik, 33:879–893, 1925

    Werner Heisenberg. Quantum-theoretical re-interpretation of kinematic and mechani- cal relations.Zeitschrift für Physik, 33:879–893, 1925. English translation in: B. L. van der Waerden (ed.),Sources of Quantum Mechanics, North-Holland, 1967, pp. 261–276

    1925

  8. [16]

    Courier Corpora- tion, 2013

    Werner Heisenberg.The physical principles of the quantum theory. Courier Corpora- tion, 2013. 42

    2013

  9. [17]

    A topos for algebraic quantum theory.Communications in mathematical physics, 291(1):63–110, 2009

    Chris Heunen, Nicolaas P Landsman, and Bas Spitters. A topos for algebraic quantum theory.Communications in mathematical physics, 291(1):63–110, 2009

    2009

  10. [18]

    Cambridge University Press, 1982

    Peter T Johnstone.Stone spaces. Cambridge University Press, 1982

    1982

  11. [19]

    Dennis Kretschmann, Dirk Schlingemann, and Reinhard F. Werner. The information- disturbance tradeoff and the continuity of Stinespring’s representation.IEEE Trans- actions on Information Theory, 54(4):1708–1717, 2008

    2008

  12. [20]

    General probabilistic theories: An introduction.Physics Reports, 1033:1–64, 2023

    Martin Plávala. General probabilistic theories: An introduction.Physics Reports, 1033:1–64, 2023. Comprehensive review of general probabilistic theories

    2023

  13. [21]

    I: Functional Analysis

    Michael Reed and Barry Simon.Methods of Modern Mathematical Physics, Vol. I: Functional Analysis. Academic Press, 2nd edition, 1980. Sections VI.5–VI.6 treat compact and trace-class operators

    1980

  14. [22]

    Generalization of von neumann’s approach to thermalization.Physical Review Letters, 115(1):010403, 2015

    Peter Reimann. Generalization of von neumann’s approach to thermalization.Physical Review Letters, 115(1):010403, 2015

    2015

  15. [23]

    Oxford University Computing Laboratory, Programming Research Group Oxford, UK, 1970

    Dana Scott.Outline of a mathematical theory of computation. Oxford University Computing Laboratory, Programming Research Group Oxford, UK, 1970

    1970

  16. [24]

    Power domains and predicate transformers: A topological view

    Michael B Smyth. Power domains and predicate transformers: A topological view. In International Colloquium on Automata, Languages, and Programming, pages 662–675. Springer, 1983

    1983

  17. [25]

    The many-worlds interpretation of quantum mechanics: Current status and relation to other interpretations, 2024

    Lev Vaidman. The many-worlds interpretation of quantum mechanics: Current status and relation to other interpretations, 2024

    2024

  18. [26]

    Cambridge University Press, 1989

    Steve Vickers.Topology via Logic. Cambridge University Press, 1989

    1989

  19. [27]

    Princeton University Press, 1955

    John von Neumann.Mathematical Foundations of Quantum Mechanics. Princeton University Press, 1955. Classical rigorous treatment of density operators and quantum statistics

    1955

  20. [28]

    Chapman and Hall, 1991

    Peter Walley.Statistical reasoning with imprecise probabilities. Chapman and Hall, 1991

    1991

  21. [29]

    Cambridge University Press, 2018

    John Watrous.The Theory of Quantum Information. Cambridge University Press, 2018. 43 A Proofs of Theorems Proposition 1 Proof.Suppose for contradiction that there exists a non-empty weak open setO⊂ D(H) consisting only of pure states. Letρ0 =|ψ⟩⟨ψ| ∈Obe a pure state. By the de...

    2018

  22. [30]

    :=M j(O1, O2)and ((U ′ 1, U ′

  23. [31]

    Theorem 6 Proof.The conditionTr(ρΠ j) = 1+z 2 ≥cimpliesz≥2c−1for every Bloch vector(x, y, z) of a state inP

    :=M j(U1, U2), then it follows immediately from definition of measurement that O′ 1 ⊇U ′ 1 andO ′ 2 ⊆U ′ 2, which imply(O′ 1, O′ 2)⊑(U ′ 1, U ′ 2). Theorem 6 Proof.The conditionTr(ρΠ j) = 1+z 2 ≥cimpliesz≥2c−1for every Bloch vector(x, y, z) of a state inP. Hence the denominato...

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.