Pith.

Pith Preprint · Mathematical Physics · Version 1 · Published on Pith 13 Nov 2026 · doi:10.67347/pith.preprint.2026.000061

The Hopf Fibration Is One Comparison: Ratio, Cost and Linking on the Three-Sphere

Jonathan Washburn (Recognition Physics Research Institute) ORCID

The paper says

“Two complex numbers a and b compare through their ratio a/b: multiplying both by the same number changes each of them and leaves the comparison alone. The map that sends a pair to its ratio is the Hopf fibration.”

more of the abstract

Scaled so that |a|^2 + |b|^2 = 1, the pairs form a three-dimensional sphere and the ratios form an ordinary sphere. All the pairs with one ratio form a circle, traced by the phase the two numbers share: the one thing the ratio forgets. Each feature of the fibration is then a plain fact about two numbers. Latitude on the sphere of ratios is relative size and longitude is relative phase. The equator holds the pairs of equal size, each pole the pairs in which one number is zero, and swapping the two numbers turns the sphere through half a turn. A continuous cost that measures how unequal the two sizes are and obeys the composition law C(xy) + C(x/y) = 2C(x) + 2C(y) + 2C(x)C(y) for chained comparisons must be cosh(κ ln r) − 1, with r = |a|/|b| and κ a constant. For κ = 1 it is sec φ − 1 at latitude φ: zero on the equator, infinite at the poles, and on Mercator's map a function of height alone. The pairs of zero cost, |a| = |b|, form a torus. Any two of the circles of shared phase are linked once, like two links of a chain, and closed curves in a sphere can be linked in three dimensions and in no other. The sphere of pairs is not physical space: it is the set of turns of a three-dimensional space, each counted twice, and for a particle of spin one-half that space is physical space. Conversely, by a theorem of Seifert, a closed, simply connected three-dimensional space that is a bundle of loops, each loop with neighbours running alongside it, can only be the sphere of pairs with its circles of shared phase. A separate result derives three dimensions from the requirement that a comparison be kept as a link of two loops. We show that in a closed three-dimensional space whose first homology group is zero, a family of loops that fills the space, every two linked once, exists only on the three-sphere and is unique: it is the family of circles of shared phase. Whether the loops of that separate result form such a family is left open. The map from a pair to its ratio is a fibration for exactly four number systems, of dimensions 1, 2, 4 and 8. A closing table separates what is classical, what is proved here and what is open.

from the abstract

Pith says

Machine review · 13 Nov 2026 · read the full text · not checked by a person

It can be wrong. Get a human review.

Review not finished: some checks did not complete. No verdict yet.

5 major objections · 5 minor

The paper says, at PDF page 17

The review did not quote this passage.

Pith says: Objection 1 of 5 · major

In Section 8 (page 17), replace number systems built on the real numbers that contain a unit 1 with finite-dimensional unital real normed division algebras (or an equivalent Hurwitz phrase). State the quaternionic common factor as right (or left) multiplication by a unit quaternion. Keep the octonion non-orbit caveat. Verify the revised sentence matches the hypotheses under which Baez and the classical sources prove dimensions 1, 2, 4, 8 only.

The paper says, at PDF page 17

The review did not quote this passage.

Pith says: Objection 2 of 5 · major

In Section 8 replace the informal phrase with finite-dimensional unital real normed division algebras (or equivalent). Verify against Baez and classical Hurwitz hypotheses.

The paper says, at PDF page 17

The review did not quote this passage.

Pith says: Objection 3 of 5 · major

Section 8: replace informal phrase by finite-dimensional unital real normed division algebras; state quaternionic factor as right/left unit multiplication; keep octonion caveat. Verify against Hurwitz/Baez hypotheses.

The paper says, at PDF page 17

The review did not quote this passage.

Pith says: Objection 4 of 5 · major

In Section 8, replace the phrase number systems built on the real numbers with finite-dimensional unital real normed division algebras (or an equivalent standard Hurwitz statement); verify by confirming the sentence matches the hypotheses under which Baez and the classical sources prove uniqueness of dimensions 1, 2, 4 and 8.

The paper says, at PDF page 18

The review did not quote this passage.

Pith says: Objection 5 of 5 · major

In the Table 1 caption, restrict the common-factor wording to the associative rows or insert the octonion non-orbit caveat; verify by confirming the caption no longer contradicts the body text on octonions.

5 minor objections

The paper says, at Theorem 6 and Definition 11

Pith says: minor objection 1 of 5

Add one explicit sentence that linking number +/-1 means absolute linking number one when loop orientations are not fixed; the first occurrence of each claim should carry the convention.

The paper says, at Theorem 10

Pith says: minor objection 2 of 5

State that the base B is a closed connected surface; closedness is inherited from compactness of M and local triviality but should be named explicitly.

show 3 more

The paper says, at Section 9

Pith says: minor objection 3 of 5

Name the coherence measure as l1-coherence (sum of absolute off-diagonal entries) so the identity C=1/coherence-1 is stated for that specific measure.

The paper says, at Abstract, Section 1 and Conclusion

Pith says: minor objection 4 of 5

Keep the existing open labelling of Statement 14 and Open questions 1-3 prominent so no reader confuses the conditional uniqueness theorem with a physical identification.

The paper says, at References

Pith says: minor objection 5 of 5

Add available DOIs, ISBNs or stable identifiers for Aczel, Hatcher, Steenrod, Ranada and the Penrose chapter, and record the correction notice on Irvine-Bouwmeester [25].

The review in full

Review incomplete. There is no verdict yet because some source or objection checks did not finish. This is a limitation of the review, not a finding against the manuscript.

The referees' assessment

The manuscript presents the Hopf fibration as the comparison of two complex numbers by their ratio. Theorem 2 defines the standard map p:S^3 to S^2 by p(a,b)=(2 Re(a bar b), 2 Im(a bar b), |a|^2-|b|^2) on the unit sphere |a|^2+|b|^2=1 and proves it equals the stereographic image sigma(a/b) of equation (1). The short algebraic verification is correct: when b is nonzero and z=a/b one recovers a bar b = z/(|z|^2+1) and |a|^2-|b|^2=(|z|^2-1)/(|z|^2+1); when b=0 the image is the north pole. Fibres are therefore the circles of common phase. The worked pair a=2i, b=1 is carried consistently through coordinates, cost, exchange and fibre pictures and matches the numerical values shown in Figures 1-3 and 5. Proposition 3 correctly identifies the exchange (a,b) to (b,a) with the half-turn (X,Y,H) to (X,-Y,-H) about the X-axis, fixing the ratios z=+-1. These elementary statements are classical and correctly recovered under the manuscript conventions; the novelty claimed is the sustained dictionary that reads every geometric feature as a fact about two numbers (Section 1 and Table 2). The domain is the classical Hopf setting of complex pairs; no new construction of the fibration is offered or needed.

Section 4 introduces a continuous cost C(r) of relative size r=|a|/|b| that is required to satisfy the composition law (4), independence of relative phase (C1), and non-triviality (C3). Setting f=C+1 converts (4) into the multiplicative form of d'Alembert's equation; the continuous solutions with f>=1 are cosh(kappa u) with kappa>0, yielding Theorem 4: C(r)=cosh(kappa ln r)-1. Conversion via H=tanh(ln r) produces the height formula (6); for kappa=1 one obtains the explicit expressions (7) and the geometric reading (8) that 1+C equals the reciprocal of distance from the polar axis. The derivation is elementary and conditional on the assumed law; the manuscript correctly notes that statements (i)-(iii) of Theorem 4 and the height dependence of Corollary 5 hold for any monotone function of |ln r|, while the specific hyperbolic formula is fixed by (C2). The unit kappa=1 is selected by the second-derivative normalisation C''(1)=1 taken from the cited uniqueness results [11,12]. The cost is therefore a well-defined function on the ratio sphere (and on Mercator's map of Corollary 5) but is not claimed to be an energy or other measured observable; Section 9 later identifies it, for a qubit and kappa=1, with 1/coherence-1 where coherence is the l1 off-diagonal sum 2|a||b|. That identification is basis-dependent and correctly presented as such.

Theorem 6 recovers the classical fact that any two distinct Hopf fibres are linked once. The proof first exhibits a transverse intersection of the pole fibre A with a disk Delta bounded by the other pole fibre B, then uses path-connectedness of the ordered pairs of distinct points of S^2 to transport the linking number. The argument is standard (Hopf 1931) and the absolute value is one; the sign depends on orientation, a point the manuscript later acknowledges. Proposition 7 correctly specialises Alexander duality to show that an embedded circle K in S^D has non-vanishing H_1(S^D\K) if and only if D=3, so that closed curves can detect linking only in that dimension. The statement is limited to circles in spheres, as the text notes; higher-dimensional linking phenomena lie outside its scope. These results supply the topological substrate for the later uniqueness theorems but do not by themselves force any physical identification of the three-sphere of pairs with physical space.

Theorem 8 realises each normalised pair as an element of SU(2) and shows that conjugation of the Pauli matrices realises the double cover SU(2) to SO(3). The north pole is sent to p(a,b), and the shared phase corresponds to a double-angle rotation about the image axis; the kernel is +-I. The construction is the classical Cayley-Klein description and is correctly tied to the Hopf fibre. Proposition 9 records the elementary dimension counts that make the space of pairs coincide with the space of turns only for three-dimensional space and only for complex pairs among the four Hopf fibrations. The neutron interferometry references [16,17] confirm the 4pi spinor property but are empirical facts external to the mathematical development. The manuscript is careful to state that the three-sphere of pairs is the set of turns, not physical space itself.

The uniqueness statements of Section 7 are the most synthetic part of the paper. Theorem 10 is the classical classification of circle bundles over surfaces with vanishing first homology: the base must be S^2 and the Euler number must be +-1, recovering the Hopf fibration (Seifert, Steenrod). The proof sketch is correct once the base is understood to be a closed connected surface, a mild clarification already requested by both referees. Theorem 12 formulates a "complete record" (Definition 11): a C^1 foliation by circles of a closed integral homology three-sphere in which every pair of leaves has linking number +-1. The argument imports Epstein's theorem that such a foliation is Seifert fibred, the Seifert restrictions on exceptional fibres in a homology sphere, and the Eisenbud-Neumann linking formulae. Under those imported results the exceptional multiplicities must all be 1 (otherwise regular-regular and regular-exceptional linking numbers differ), after which Theorem 10 forces the Hopf fibration. The conclusion is therefore a corollary rather than an independent construction; the proof is compressed and citation-dependent. Both referees correctly request explicit statement of orientation conventions for linking numbers, the precise version of Epstein's theorem used, and the exact linking formulae. No counter-example under the stated hypotheses is known, but the support is unresolved until those normalisations are written out. Statement 14, that recognition traces such a complete record, is explicitly left open; the manuscript does not identify the recognition loops of the companion paper [14] with Hopf fibres.

Section 8 recalls the four real normed division algebras (Hurwitz) and the corresponding Hopf fibrations of dimensions 1, 2, 4 and 8 (Adams). The cost of Theorem 4 applies in every row because it depends only on relative size. The octonionic caveat that fibres are not group orbits is correctly stated in the body but the Table 1 caption still speaks of a common factor for each row and should be restricted or caveated. The informal phrase "number systems built on the real numbers" should be replaced by the standard finite-dimensional unital normed-division-algebra hypothesis. The qubit dictionary of Section 9 is accurate and does not over-claim physical status for the cost. Table 2 cleanly separates classical, elementary, assumed, cited and open items; the three open questions are stated without equivocation. Reference integrity shows no retractions; a few classic books are unresolved by automated metadata matching and the Irvine-Bouwmeester paper carries a published correction notice that should be noted. Overall the mathematical claims that were checked against the page images hold under their stated or standard hypotheses. The paper's contribution is expository and organisational: a coherent comparison dictionary together with a carefully delimited complete-record corollary. Minor revision is warranted to expose the imported 3-manifold hypotheses of Theorem 12, to tighten the Hurwitz wording and Table 1 caption, and to standardise absolute-linking language; no mathematical defect that invalidates a theorem was confirmed.

Significance

If the central reading is accepted, the Hopf fibration becomes a transparent dictionary between elementary comparison, cost, linking, and spinor rotations rather than an isolated topological construction. The cost formula and the complete-record characterization are the most paper-specific mathematical contributions; both are conditional on stated hypotheses and do not by themselves establish that recognition traces such a record. The work is therefore primarily an unusually careful expository and conceptual synthesis. Its lasting value lies in the clarity with which proved topology is kept separate from open physical and recognition claims, not in a new construction of the fibration itself.

Strengths (8)
  1. Theorem 2 correctly identifies the standard Hopf map p with stereographic placement of the ratio a/b on the unit sphere; algebra confirmed against page images.
  2. Theorem 4 correctly derives C=cosh(kappa ln r)-1 from the explicit axioms (C1)-(C3) via d'Alembert; for kappa=1 this is sec phi-1.
  3. Theorem 6 recovers absolute linking number one for distinct Hopf fibres by a transverse disc and path transport.
  4. Proposition 7 correctly specialises Alexander duality so that circle linking in spheres occurs only in dimension three.
  5. Theorem 8 recovers the classical SU(2) to SO(3) double cover with the ratio as image of the north pole and the fibre as polar rotations.
  6. The manuscript repeatedly separates classical, proved-here, assumed, cited, and open items; Table 2 and Statement 14 are especially clear.
  7. The worked pair a=2i, b=1 is numerically consistent (H=3/5, C=1/4, coherence 4/5) across coordinates, cost, exchange, and figures.
  8. No overclaim that the sphere of pairs is physical space; it is identified as the set of turns, each counted twice.
Reviews by people

This review was written by a machine. No person has reviewed this paper on Pith yet. A scientist listed on Pith can review it for a fee, and their review is published here whatever it concludes. It does not decide whether the paper is published.

Get a human review · Become a reviewer

How Pith checks papers

The paper

Abstract

Two complex numbers a and b compare through their ratio a/b: multiplying both by the same number changes each of them and leaves the comparison alone. The map that sends a pair to its ratio is the Hopf fibration. Scaled so that |a|^2 + |b|^2 = 1, the pairs form a three-dimensional sphere and the ratios form an ordinary sphere. All the pairs with one ratio form a circle, traced by the phase the two numbers share: the one thing the ratio forgets. Each feature of the fibration is then a plain fact about two numbers. Latitude on the sphere of ratios is relative size and longitude is relative phase. The equator holds the pairs of equal size, each pole the pairs in which one number is zero, and swapping the two numbers turns the sphere through half a turn. A continuous cost that measures how unequal the two sizes are and obeys the composition law C(xy) + C(x/y) = 2C(x) + 2C(y) + 2C(x)C(y) for chained comparisons must be cosh(κ ln r) − 1, with r = |a|/|b| and κ a constant. For κ = 1 it is sec φ − 1 at latitude φ: zero on the equator, infinite at the poles, and on Mercator's map a function of height alone. The pairs of zero cost, |a| = |b|, form a torus. Any two of the circles of shared phase are linked once, like two links of a chain, and closed curves in a sphere can be linked in three dimensions and in no other. The sphere of pairs is not physical space: it is the set of turns of a three-dimensional space, each counted twice, and for a particle of spin one-half that space is physical space. Conversely, by a theorem of Seifert, a closed, simply connected three-dimensional space that is a bundle of loops, each loop with neighbours running alongside it, can only be the sphere of pairs with its circles of shared phase. A separate result derives three dimensions from the requirement that a comparison be kept as a link of two loops. We show that in a closed three-dimensional space whose first homology group is zero, a family of loops that fills the space, every two linked once, exists only on the three-sphere and is unique: it is the family of circles of shared phase. Whether the loops of that separate result form such a family is left open. The map from a pair to its ratio is a fibration for exactly four number systems, of dimensions 1, 2, 4 and 8. A closing table separates what is classical, what is proved here and what is open.

Keywords: Hopf fibration, Recognition Science, three-sphere, Riemann sphere, linking number, d'Alembert functional equation, Mercator projection, normed division algebras, Bloch sphere

Declarations

Competing interests. The author is affiliated with the Recognition Physics Institute and is an owner of Pith.

License. This paper is distributed under the Creative Commons Attribution 4.0 license.

The paper is published as the authors' own PDF. Read the full paper (PDF)

The record

Review record

Scores from the review: 52 of 100

technical
42
claim discipline
53
novelty
45
significance
60
reproducibility
50
verification
55
consensus
45
objections
80

The scores come from the Pith review. They are shown with the paper and never decide whether it is published.

current recommendation
none yet (review not finished)
rubric
journal-rubric-2026-09-09-v4
verification grade
V1
endorsements
0
objections filed
0
version
1
On the record
pdf sha-256
663ec01fea9f0c2a…
bitcoin
block 975,705, 2026-11-13
DigiCert
2026-11-13 18:29 UTC
FreeTSA
2026-11-13 18:29 UTC

This is the fingerprint of the PDF exactly as it was uploaded: download the file as uploaded. The PDF link at the top of this page opens the same paper with one line added by Pith up the left margin of its first page (its identifier, field and date, as arXiv prints on its papers), so that copy has a different fingerprint.

Check it yourself

Decision log
  1. preprint published 2026-11-13 18:29 UTC by preprint-admission

    Preprint record published. Integrity screen clean; desk screen PASS. The review summary and available scorecard are attached as public metadata.