Yamagishi Complexity Torus Lab | 山岸勇輝ラボ

論文11 の記録のページです。住所（YOI）は https://www.yamagishiyuuki.com/yoi/11 で、論文の本文は下の PDF にあります。ファイルは自分で用意した置き場所（https://yamagishi.sakuraweb.com）に置き、日付の証拠（.ots）を添えています。Zenodo でも公開しています（DOI：10.5281/zenodo.21404636）。

本文はサイトの記事でも読めます：【論文11】正規化で消える因子と、ボルン則の指数 2

@misc{yamagishi2026yoi11,
  author = {Yamagishi, Yuuki},
  title = {Factors That Cancel in Normalisation, and the Exponent 2 of Born's Rule},
  year = {2026},
  howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/11},
  doi = {10.5281/zenodo.21404636},
  note = {Preprint, edition 3}
}

日付の証拠（OpenTimestamps）

2026年10月1日に、2 本の PDF の指紋（SHA-256）をまとめて OpenTimestamps に送り、ビットコインのブロック 969387・969388・969398・969440 に記録されました（2026年10月01日 12:18（日本時間））。この .ots があれば、PDF がその時点で存在したことを、このサイトや運営者を信用しなくても、誰でも確かめられます。

書誌

要旨

本稿は、量子測定について本体系が最初に書いた論文である。第3版は、そこで作った誤りを一般的な形の規律に鋳直し、そこで立てた問いが体系のどこに引き取られたかを地図として示す。第一に、正規化された確率に掛けられた「変数に依存しない因子」は、定義により観測から消える。 任意の $c\neq0$ について $c f/\!\int\!c f=f/\!\int\!f$ である（本稿で数値確認：$c=4\pi,\;16\pi^2,\;10^9$ で確率密度は $10^{-16}$ の精度で一致）。しかも $c$ は定数である必要すらなく、積分変数に依存しない任意の量でよい。 したがって「機構」が全体因子としてしか式に入らないなら、それは原理的に検証不能である。 これは本体系が新たに掲げる検査項目であり、初版の $4\pi$ パッチはこの検査に落ちる。第二に、「遅延評価」という比喩は、機械の移送テストに落ちる。 計算機科学の遅延評価とは値は確定していて計算だけが先送りされている構造（サンク）であり、その芯にあるものこそコッヘン＝シュペッカーの定理が禁じるものである。本稿ではペレス＝マーミンの魔方陣を自前で計算し、行の積と列の積が $+1$ と $-1$ に分かれることを確認した。非文脈的な値の割り当ては状態によらず不可能である。比喩は絵として渡るが、機械は渡らない（論文100）。第三に、修正した比喩は何も計算しない。 文脈依存のサンクという読み替えは量子力学と整合するが、整合することと予言することは別である。本稿はこの比喩を定理の記憶術として残し、模型としては主張しない。第四に、無信号定理は制約であって選択肢ではない。 ベル状態でボブが $\sigma_z,\sigma_x,\sigma_y$ のどれを測っても、アリスの縮約密度行列は $I/2$ のまま動かない（数値確認：差のノルム $\le3.1\times10^{-16}$）。また CHSH は $|S|=2.8284271247=2\sqrt2$ ちょうど、ツィレルソン限界に一致する。ベル不等式の破れは模型の長所ではなく要件である。 第五に、ボルン則の指数 $2$ を強制するものには、少なくとも三つの住所がある。 論文71（グリーソンの定理：次元3以上で確率測度は $\mathrm{tr}(\rho P)$ に限られる。要請ではなく定理）、論文53（ユニタリ性：$\ell^p$ の等長写像は $p\neq2$ では位相と置換に限られる。バナッハ＝ランペルティ）、論文68（ホップ写像の $2$：同根か韻か、未決）。本稿はどれが根であるかを決めない。 射程：確立した量子力学の枠内での構造的整理（第2層）。量子測定問題は未解決である。本稿はボルン則の導出も、波束収縮の機構の解明も、測定問題の解決も主張しない。

Abstract

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\neq0$, $cf/\!\int\!cf=f/\!\int\!f$ (verified numerically here: with $c=4\pi,\;16\pi^2,\;10^9$ the probability densities agree to $10^{-16}$). 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. This is offered as a new check for the series, and the first edition’s $4\pi$ patch fails it. Second, the metaphor of “lazy evaluation” fails the machinery-transfer test. 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 forbids. The Peres–Mermin square is computed here, confirming that the row products and the column products come out $+1$ and $-1$: non-contextual value assignment is impossible independently of the state. The picture transfers; the machinery does not (Paper 100). Third, the repaired metaphor computes nothing. Reading the state as a context-dependent thunk is consistent with quantum mechanics, but consistency and prediction are different things. This paper keeps the metaphor as a mnemonic for a theorem and does not claim it as a model. Fourth, no-signalling is a constraint, not an option. In a Bell state, whichever of $\sigma_z,\sigma_x,\sigma_y$ Bob measures, Alice’s reduced density matrix stays $I/2$ (verified here: norm of the difference $\le3.1\times10^{-16}$). And CHSH gives $|S|=2.8284271247=2\sqrt2$ exactly, saturating the Tsirelson bound、violating Bell’s inequality is a requirement, not a merit. Fifth, what forces the exponent $2$ in Born’s rule has at least three addresses. Paper 71 (Gleason’s theorem: in dimension $\ge3$ every probability measure is $\mathrm{tr}(\rho P)$、a theorem, not a postulate); Paper 53 (unitarity: for $p\neq2$ the isometries of $\ell^p$ are only phases and permutations、Banach–Lamperti); Paper 68 (the $2$ of the Hopf map: same root or rhyme, undecided). This paper does not decide which is the root. Scope: a structural account within established quantum mechanics (Layer 2). 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.

版の記録

ここの PDF（倉庫の v1）は第3版（2026年8月）の原稿から作りました。ファイルは版ごとに分けて置いています（/yoi/11/v1/ の下）。中身を直すときは、このファイルを書き換えず、新しい版を足します（住所 https://www.yamagishiyuuki.com/yoi/11 はいつも最新の版を指します）。Zenodo の記録とは、Zenodo に上げる前の改訂のぶんだけ違うことがあります。

YOI の一覧へ