Yamagishi Complexity Torus Lab | 山岸勇輝ラボ

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

本文はサイトの記事でも読めます：【論文59】単位球の体積は 5 次元で最大になる

@misc{yamagishi2026yoi59,
  author = {Yamagishi, Yuuki},
  title = {The Volume of the Unit Ball Is Greatest in Five Dimensions},
  year = {2026},
  howpublished = {YOI: https://www.yamagishiyuuki.com/yoi/59},
  doi = {10.5281/zenodo.21597865},
  note = {Preprint, edition 2}
}

日付の証拠（OpenTimestamps）

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

書誌

要旨

半径 $1$ の $n$ 次元ボールの体積 $V_n=\pi^{n/2}/\Gamma(n/2+1)$ が整数次元 $n=5$ で最大となること（連続変数では $n^\ast\approx5.2569$）は古典的に既知である。初版はこれを本体系に位置づけ、$c$ を半径と読むと $c^n$ が $n$ 次元ボール体積のスケーリングに一致すること、そして「体積最大の次元 $5$」が「容量最大＝サーバー」の直観に対応することを述べ、同時に$d=5$ を $d=3$（安定性）と混同してはならないと正しく戒めた。

第2版はその戒めを、初版が予期していなかったところまで押し進める。

第一に、$n=5$ という答えは、半径を $1$ と置いたことの帰結である。半径 $\lambda$ のボールで比べれば最大化条件は $\psi(n/2+1)=\ln(\pi\lambda^2)$ となり、峰は動く。$\lambda=1$ で $5.26$、$\lambda=2$ で $24.1$、$\lambda=3$ で $55.5$、$\lambda=10$ で $627$、$\lambda=1/2$ では $0.48$（本稿ですべて数値確認）。同じ球を別の定規で測れば、峰は好きな場所へ動く。すなわち $d=5$ は規約であって事実ではない（論文95）。

第二に、そもそも $V_4$ と $V_5$ は比べられない。$V_n$ は無次元の係数であり、体積は $V_nr^n$、次元は $L^n$ である。$L^4$ に付く数と $L^5$ に付く数を大小比較している。論文28（指数は次元ではない）・論文45（面積は立体角ではない）が名指しした圏の誤りである（観察2.3）。

第三に、これが初版の第4節を鋭くする。初版は「基準を変えれば特別次元も変わる」と正しく述べた。第2版はその分類をもう一段細かくする。定規を変えても動かない基準と、動く基準がある。軌道が閉じること（ベルトラン）、束縛基底状態が存在すること、ホイヘンスの原理が成立することは定規に依らない。単位球の体積が最大になることは定規に依る。$d=3$ は世界についての事実であり、$d=5$ は「$1$ という数」についての事実である（観察4.2）。

第四に、「$c$ を半径と読む」は、初版が思ったより強く言える。初版はこれを「$G=4\pi$ と同格の表示の選択」と弱めた。弱める必要はない。特殊相対論では $|v|<c$ であるから、到達可能な速度の集合は本当に半径 $c$ のボールである。その体積は $V_nc^n$、次元 $(L/T)^n$ で整合する。これは体系自身の速度球（論文20・63）にほかならない。パッチではなく、実在する対象である（観察3.2）。

以上により、初版の系1（「$5$ 次元サーバー」）を撤回する。

Abstract

That the volume $V_n=\pi^{n/2}/\Gamma(n/2+1)$ of the unit ball in $n$ dimensions is greatest at $n=5$ among the integers (and at $n^\ast\approx5.2569$ as a continuous variable) is classically known. The first edition placed this within the corpus, noting that reading $c$ as a radius makes $c^n$ the scaling of an $n$-dimensional ball’s volume, and that “the dimension of greatest volume, five” corresponds to the intuition of “greatest capacity, a server”、while rightly warning that $d=5$ must not be confused with the $d=3$ of stability.

The second edition pushes that warning further than the first edition anticipated.

First, the answer $n=5$ is a consequence of having set the radius to one. Comparing balls of radius $\lambda$ instead, the maximising condition becomes $\psi(n/2+1)=\ln(\pi\lambda^2)$ and the peak moves: $5.26$ at $\lambda=1$, $24.1$ at $\lambda=2$, $55.5$ at $\lambda=3$, $627$ at $\lambda=10$, and $0.48$ at $\lambda=1/2$ (all verified numerically here). Measure the same ball with a different ruler and the peak goes wherever you like. So $d=5$ is a convention, not a fact (Paper 95).

Second, $V_4$ and $V_5$ cannot be compared at all. $V_n$ is a dimensionless coefficient; the volume is $V_nr^n$, of dimension $L^n$. The comparison sets a number attached to $L^4$ beside one attached to $L^5$、the category error named by Paper 28 (an exponent is not a dimension) and Paper 45 (an area is not a solid angle) (Observation 2.3).

Third, this sharpens the first edition’s Section 4. That section said, correctly, that changing the criterion changes the special dimension. The second edition refines the classification: some criteria survive a change of ruler and some do not. That all bound orbits close (Bertrand), that a bound ground state exists, and that Huygens’ principle holds are independent of the ruler. That the unit ball’s volume is greatest is not. $d=3$ is a fact about the world; $d=5$ is a fact about the number one (Observation 4.2).

Fourth, reading $c$ as a radius can be put more strongly than the first edition thought. It weakened this to “a choice of representation, on a par with $G=4\pi$”. No weakening is needed: in special relativity $|v|<c$, so the set of attainable velocities really is a ball of radius $c$, whose volume $V_nc^n$ is dimensionally consistent as $(L/T)^n$. This is the corpus’s own velocity sphere (Papers 20, 63). It is not a patch but a real object (Observation 3.2).

Accordingly, the first edition’s Corollary 1 (“the five-dimensional server”) is withdrawn.

版の記録

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

YOI の一覧へ