All Quantum Probability viewed in Complex Projective Geometry
Pith reviewed 2026-05-20 12:38 UTC · model grok-4.3
The pith
Quantum probabilities can be expressed using only the geometric properties of complex projective space without any Hilbert space reference.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
All Hilbert-space formulas for quantum probabilities are realized as functions of geometric properties of the projective space itself, with no reference to the underlying Hilbert space theory. This is achieved through a projection theorem for complex projective space that is analogous to the Hilbert-space projection theorem and suffices to express every probability formula in terms of the Riemannian geometry of the associated Kähler manifold. The resulting description applies to both finite- and infinite-dimensional projective spaces and remains compatible with the von Neumann-algebra formulation of quantum theory.
What carries the argument
The projection theorem for complex projective space, which supplies the geometric operations needed to recover all quantum probabilities from the Riemannian metric of the non-linear Kähler manifold.
If this is right
- Quantum probabilities become intrinsic functions of distances and angles in the projective space.
- The formulation covers both finite-dimensional and infinite-dimensional cases equally.
- The approach is compatible with quantum theory formulated via von Neumann algebras.
- Quantum theory is exhibited as the Riemannian geometry of a Kähler manifold without linear structure.
- The same geometric setting immediately suggests generalizations of quantum theory to other manifolds.
Where Pith is reading between the lines
- This view may allow quantum features such as entanglement to be studied directly as geometric relations on the manifold.
- Computational methods could shift from linear algebra to differential-geometry algorithms on the projective space.
- The framework makes it natural to explore quantum-like theories on other curved spaces that carry analogous projection structures.
Load-bearing premise
A projection theorem exists in complex projective space that is strong enough to express every quantum probability formula using only its Riemannian geometry.
What would settle it
A direct calculation showing that the Born-rule probability for a superposition state cannot be recovered from the Fubini-Study distance and other invariants of the projective space alone.
read the original abstract
In a recent paper it was shown that all the Hilbert space formulas for quantum probabilities can be realized as functions of geometric properties of the associated projective space, but those functions were expressed using the structures of the associated Hilbert space. In this paper a direct description of all these probabilities is given as formulas involving only the geometric properties of the projective space itself without referring to the associated Hilbert space theory. In large part this depends on a projection theorem for complex projective space which is analogous to the projection theorem for Hilbert spaces. The importance of this is that this exhibits quantum probability in terms of the geometry of a Riemannian metric in a non-linear K\"ahler manifold without any reference to a linear Hilbert space. As such this is a part of a larger program of the geometrization of physics. This opens the possibility of generalizations of quantum theory in other similar geometric settings. The theory presented includes projective spaces of both finite and infinite dimension. Some comments explain how quantum theory based on a von Neumann algebra is compatible with this approach.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript claims that all quantum probability formulas from Hilbert space theory can be rewritten as functions of intrinsic geometric properties (Riemannian/Kähler) of the associated complex projective space (finite or infinite dimensional) alone, without any reference to the underlying linear Hilbert space. This is achieved via a projection theorem for complex projective space that is presented as analogous to the Hilbert-space projection theorem, enabling a purely geometric description on the nonlinear Kähler manifold and opening routes to generalizations.
Significance. If the independence from Hilbert space is rigorously established, the result would advance the geometrization program by supplying explicit, parameter-free geometric expressions for probabilities and by showing compatibility with von Neumann-algebra formulations. The treatment of both finite- and infinite-dimensional cases is a positive feature; however, the significance is currently limited by the absence of explicit derivations that would allow verification of the claimed independence.
major comments (2)
- [Abstract and the section introducing the projection theorem] The abstract states that a projection theorem for complex projective space suffices to express every quantum probability formula purely in terms of the Riemannian geometry of the Kähler manifold. No explicit statement, uniqueness proof, or verification that this theorem is defined without invoking the linear vector-space structure, inner product, or any Hilbert-space-derived object appears in the supplied text; this is load-bearing for the central claim of complete independence.
- [Sections treating POVMs and infinite-dimensional projective spaces] For general POVMs and the infinite-dimensional case, the manuscript must demonstrate that the geometric projection operation does not implicitly recover the Hilbert-space orthogonal projection via the underlying linear structure. Without such a demonstration, the formulas remain dependent on the very theory they purport to eliminate.
minor comments (2)
- [Notation and definitions] Clarify the precise relation between the Kähler metric and the Fubini-Study metric when the latter is used in the geometric formulas.
- [Main results] Add explicit cross-references between the geometric probability expressions and the corresponding standard Hilbert-space formulas to facilitate comparison.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for highlighting the need to make the independence from Hilbert-space structure fully explicit. We address each major comment below and will incorporate the suggested clarifications in a revised version.
read point-by-point responses
-
Referee: [Abstract and the section introducing the projection theorem] The abstract states that a projection theorem for complex projective space suffices to express every quantum probability formula purely in terms of the Riemannian geometry of the Kähler manifold. No explicit statement, uniqueness proof, or verification that this theorem is defined without invoking the linear vector-space structure, inner product, or any Hilbert-space-derived object appears in the supplied text; this is load-bearing for the central claim of complete independence.
Authors: We agree that the current text would benefit from an explicit statement and verification that the projection theorem is formulated intrinsically on the Kähler manifold. In the revision we will add a dedicated paragraph in the section introducing the projection theorem that defines the operation using only the Riemannian metric, the complex structure, and the Fubini-Study distance on the projective space itself. We will also include a brief uniqueness argument showing that any map satisfying the stated geometric axioms is uniquely determined without reference to an underlying linear space or inner product. This addition directly supports the claim of complete independence. revision: yes
-
Referee: [Sections treating POVMs and infinite-dimensional projective spaces] For general POVMs and the infinite-dimensional case, the manuscript must demonstrate that the geometric projection operation does not implicitly recover the Hilbert-space orthogonal projection via the underlying linear structure. Without such a demonstration, the formulas remain dependent on the very theory they purport to eliminate.
Authors: We accept that an explicit demonstration is required for the general POVM and infinite-dimensional settings. In the revised manuscript we will insert a short subsection following the treatment of POVMs that shows how the geometric projection is constructed solely from the Kähler metric on the (possibly infinite-dimensional) projective space. The argument will verify that the resulting operation coincides with the required probability formulas while remaining independent of any linear orthogonal projection; the construction uses only the manifold geometry and the definition of the projective space as a set of rays equipped with the Fubini-Study metric. This will be done without invoking the linear Hilbert-space structure at any step. revision: yes
Circularity Check
Minor self-citation to prior work on geometric realization; central projection theorem presented as independent but unverified in provided text
full rationale
The paper explicitly references a recent prior work for the initial realization of quantum probabilities as functions of projective-space geometry, then claims a new direct description via an analogous projection theorem that avoids Hilbert-space structures. This constitutes a self-citation, but the abstract and available excerpts do not exhibit any equation or definition that reduces the target probabilities to the prior fitted quantities or to the cited theorem by construction. No specific reduction (e.g., Eq. X defined in terms of Y) is visible, and the derivation is presented as building on an independent geometric theorem. Per the guidelines, a single non-load-bearing self-citation warrants a low score rather than a finding of circularity; the paper remains self-contained against external benchmarks in the absence of explicit circular steps.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption There exists a projection theorem for complex projective space analogous to the Hilbert-space projection theorem.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 3.1. Projection Theorem of Projective Space... d(x,S)=d(x,y) which is equal to the projective angle... P_x(S) = cos² d(x,S)
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
P Proj(x|y) := |<x,y>|² = cos² d(x,y) ... exhibits quantum probability in terms of the geometry of a Riemannian metric in a non-linear Kähler manifold
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.