This is the first paper this series wrote about quantum measurement. The 3rd edition recasts the mistake made there into a discipline of general form, and maps where the questions raised there were later taken up.
First, a factor multiplying a normalised probability that does not depend on the variable vanishes by definition. For any c≠0, c·f/∫c·f = f/∫f (verified numerically here: with c=4π, 16π² and 10⁹ the probability densities agree to 10⁻¹⁶, and a factor of 10⁹ changes nothing). Moreover c need not even be constant: any quantity not depending on the integration variable will do. Hence if a proposed "mechanism" enters the expression only as an overall factor, it is unverifiable in principle — not "the experiment has not been done yet", but cancelled by definition. This is offered as a new check for the series, and the first edition's 4π patch fails it. Paper 35 sorted the two 4π's inside 4πG into a fact (Gauss's flux) and a convention (a choice of units); what this section adds is a third category — quantities that do not survive in the expression at all.
Second, the metaphor of "lazy evaluation" fails the machinery-transfer test (Paper 100). Lazy evaluation in computer science is a structure in which the value is determined and only its computation is deferred (a thunk), and that very core is what the Kochen–Specker theorem (1967) forbids. What fails is therefore not the periphery of the metaphor but its engine. The Peres–Mermin square is computed here, confirming that the three observables in each row and each column commute, and that the row products are all +I while the column products are +I, +I and −I. If ±1 could be assigned non-contextually, the total product of the nine values would be the same read by rows or by columns; but it comes out +1 and −1. And this counterexample does not depend on the state. The picture transfers; the machinery does not.
Third, the repaired metaphor computes nothing. Reading the state as a context-dependent thunk — the result of evaluation depending on what it was asked together with, and in what order — is consistent with quantum mechanics. Numerical check: on |0⟩, measuring σz alone gives +1 with probability 1.0, while measuring σx and then σz gives 50:50; the same value changes according to what was inserted before it. But consistency and prediction are different things, and no number comes out of this metaphor. This paper keeps it as a mnemonic for a theorem and does not claim it as a model. Paper 93 wrote of Faraday that intuition can precede the mathematics; but there, machinery was later supplied. It has not been supplied here, and this paper does not claim it will be.
Fourth, no-signalling is a constraint, not an option. In the Bell state (|00⟩+|11⟩)/√2, whichever of σz, σx or σy Bob measures, Alice's reduced density matrix stays I/2 (verified here: the norms of the differences are 0, 3.1×10⁻¹⁶ and 3.1×10⁻¹⁶). The correlation appears only once the outcomes are compared over a classical channel. And for the singlet at optimal angles, CHSH gives |S| = 2.8284271247 = 2√2 exactly, saturating the Tsirelson bound. Any model reproducing the predictions of quantum mechanics must (under the standard assumptions) violate Bell's inequality — so "this model is consistent with the Bell violation" is not a merit but a minimum requirement. Paper 112 took a census of six distinct roots beneath the intuition "a region is allotted, and within it one is free", and wrote that the Bell line is the one that is not conceded.
Fifth, what forces the exponent 2 in Born's rule has at least three addresses. (1) Gleason's theorem (Paper 71): in a Hilbert space of dimension ≥3, every probability measure on closed subspaces must take the form tr(ρP) (Gleason 1957) — Born's rule is a theorem, not a postulate. Gleason is silent in dimension 2, a gap filled by the POVM extension (Busch 2003). (2) Unitarity (Paper 53): for p≠2, every surjective linear isometry of ℓ^p is a permutation composed with phases (Banach 1932; Lamperti 1958), so for p≠2 the multiset of amplitude moduli is preserved and no interference is possible. Numerical check: under a random unitary, Σ|ψ_i|^p moves from 1.8499 to 1.9900 at p=1 and from 0.5677 to 0.5073 at p=3, but stays 1.000000000000 at p=2 (largest deviation 8.9×10⁻¹⁶). (3) The 2 of the Hopf map (Paper 68): whether the 2 appearing in the qubit's state space S³→S² is the same root or a rhyme is a judgement Paper 68 reserved. The three reach the same 2 by measure theory, functional analysis and topology respectively. Following the series' discipline that the same number is not evidence of the same origin, this paper does not decide which is the root. The error of the first edition was to build a fourth answer without knowing that three established ones already existed.
This paper (Paper 11) is the series' earliest attempt on quantum measurement, and the questions raised here were subsequently taken up at their proper addresses — the exponent 2 by Papers 71, 53 and 68; what an unobserved system holds by Paper 55; a 3D wave seen on a 2D screen by Paper 41; measurement and time by Paper 54; and "a region is allotted, freedom within" by Paper 112. For the series' present position on Born's rule and the measurement problem, see Papers 71, 53 and 55 rather than this one. The first edition's talk of "the universe's OS rendering" is quarantined in Layer 3, the non-scientific layer, following the discipline of Paper 82: the vocabulary of computing is a tool of invention, not a claim about physics. The magic square, the reduced density matrices, CHSH, the ℓ^p norms and the normalisation invariance were all computed here (no external tables consulted). The quantum measurement problem is unsolved. This paper claims neither a derivation of Born's rule, nor an account of the collapse mechanism, nor a solution of the measurement problem.
(scope note) Positioning of this paper: This paper offers a structural interpretation of established physical laws and mathematical theorems. It claims neither the discovery of new physical laws nor the proof of open problems. The algebraic relations presented are transformations of known expressions; the aim is to propose a geometric reading of them. No claim contradicting established theory is made.
A note on the aim of this work. This is a structural reinterpretation of well-established physics, not a proposal for a new physical law. Every relation shown is a substitution into, or a geometric re-reading of, equations that are already known and that remain unchanged. The aim is a modest one: to make a few recurring geometric structures — in particular the solid angle 4π and the exponent n = 2 — easier to see within a single picture. Where a particular unit convention is adopted (for example G = 4π), this is a choice of notation, not a claim about nature. Nothing here is intended to contradict existing results.
On the making of this work: The ideas and content of this work stem from the author's own considerations. Assistance from an AI (a large language model) was used for structuring, English translation, and checking the algebra. Any remaining errors or misinterpretations are solely the author's. Feedback and corrections are sincerely appreciated.
Reference
Yamagishi, Y. (2026). Factors That Cancel in Normalisation, and the Exponent $2$ of Born’s Rule [Paper 11]. Zenodo.
DOI: 10.5281/zenodo.21404636
ORCID: 0009-0006-8587-3450