描写はもう十分。今回は実際に回して、次元が「出てくる」のを見る
第1〜3回は言葉の話でした。今回は手を動かします。単純な「つなぎ方の規則」を選ぶと、コンピュータが中心から幅優先で歩数を数え、空間の次元がその場で測られて出てくる。次元を先に決めて置くのではなく、連結の仕方から測定値として現れる ── 第2回で「幾何は出力」と言ったことを、実物で見ます。
次元の測り方は第1回の式そのまま。中心の点から\(r\) 歩以内で届く点の数を \(N(r)\) とすると、\(d\) 次元的なつなぎなら体積のように \(N(r)\sim r^{d}\) で増える。だから:
両対数に \(N(r)\) を打つと、直線の傾きが測った次元 \(D\)。第1回の \(F=1/(Cn)^D\) を「量が増える側」で読んだだけ。下の図は、この \(N(r)\) を実際に幅優先探索(BFS)で数えています ── 数値はズルなしの実測。
規則を切り替えると、測った \(D\) が変わります:鎖なら \(\approx1\)、格子2D なら \(\approx2\)、3D なら \(\approx3\)、4D なら \(4\) に迫る(有限格子ゆえ実測はやや低めに出て、格子を大きくするほど \(4\) へ収束 ── これ自体が離散→連続の縮み)。どこにも「次元は4」とは書いていない ── つなぎ方だけを与え、\(N(r)\) を数えたら、次元が測定値として出てきた。
木を選ぶと \(N(r)\) が指数的に増え、\(r^D\) というべき則に乗らない(両対数で上に反っていく)。=有限次元を持たない("無限次元的")。どんな規則でも良い次元が出るわけではない ── これも大事な実測です。
気持ちよく4が出ましたが、つなぎ方(格子)を手で入れています。格子4D は「次元4」を最初から配線に埋め込んでいて、それを測り返しただけ。本物の創発は、その配線自体を、点の情報を持たない局所的な書き換え規則から"生やす"必要があります。ここが第2回の③(更新規則=穴)と直結する所です。
このトイが示せること:(1) 次元は連結の測定量で、宣言でなく出力。(2) 幾何の創発は原理的に可能。(3) 4次元的につながっていれば、測ると4が出る。(4) 木のように次元が定まらない規則も普通にある。
このトイが示せないこと:宇宙が4次元であること(つなぎ方を手で入れたから)。局所書き換え規則から4次元+ローレンツ不変性を導くこと(=第2回③の穴、埋まっていない)。図の \(N(r)\) は有限サイズの格子の実測なので、\(r\) が大きい端では境界で頭打ちになります(そこはフィットから外しています)。この文書に「解けた」はありません。
手を動かした。つなぎ方の規則を選び、中心から BFS で \(N(r)\) を数え、両対数の傾きとして次元を測定した ── 鎖1・格子2D→2・3D→3・4D→4、木は発散(次元なし)。次元は宣言でなく連結の測定量=出力だと、実物で確かめた。第2回「幾何は創発」の、手触りのある証拠。
ただし格子は次元を配線に埋め込んだ半分ズル。本物は配線自体を局所書き換え規則から生やし、\(D\to4\) を検算する(Wolfram/因果集合/CDT が実際にやっている)。その規則を当てる=第2回③の穴で、そこは埋めない ── 掟どおり、旗は立てない。
印刷 / PDF 化:Ctrl+P(Mac は ⌘+P)。画面ではスライダーで規則を選ぶと、その場で N(r) を数え直し、両対数の傾き=測った次元が出ます。「答えを見る」で解答が開きます。