ポエム解説④；時空が生み出されるとスピンや一般相対論がこぼれる説

時空が生み出されるとスピンや一般相対論がこぼれる説

「日々何かを増やすのではなく、日々何かを減らせ。本質的でないものを削ぎ落とせ」 (ブルース・リー「ブルース・リーの人間哲学」)

こんな話をします！

• スタート：波動関数のフーリエ変換表示
• ゴール：質量成分が時空をゆがめるメカニズム
• ポイント①：波動関数をフーリエ変換表示すると、シュレディンガー方程式が自然に見える
• ポイント②：4元数上のフーリエ変換に拡張すると、スピンが得られる
• ポイント③：8元数上のフーリエ変換に拡張すると、質量が非結合性成分のノルムになる
• ポイント④：質量はほぼ定数だが、僅かな非結合成分が波動関数をテンソル的に歪ませる

まだ時空は説明していない

物理学ポエムではちょっとぼかしてあるのですが、今回は時空の位置づけを説明しようと思います。僕たちは、宇宙を記述できる数学が存在するとしたら、ノルム１の8元数であるS7しかないと結論しています。S7は非結合性の代数で、そのままでは物理が成立しません。そこで、ミンコフスキー計量０の条件を適用すると非可換代数の部分空間が得られることをしめしました。これは、ミンコフスキー計量０で結ばれた２点の間に量子力学的なプロセスが成立する、ということを意味します。素晴らしい成果ではありますが、肝心のS7は時空速度に対応する代数であり、時空とは直接の関係を持ちません。つまり、僕たちが普通にイメージする宇宙は、全然説明できていないのです。結論から言うと、時空はS7のフーリエ双対と考えると、いろいろなことの説明がつきます。

これまでのS7の議論は実は時空の話ではありませんでした。いや、特殊相対論は時空の話じゃなかったの？って思うのも当然です。でも、よく読んでもらえれば、時空速度の議論がメインだったと分かります。そもそも時空は閉じてませんから、S7はありえないのです。

特殊相対論では、以下の等式が得られます。

$${E^2=m^2 c^4 + c^2 p^2}$$

両辺を${m^2 c^4}$で除して、以下のように変形します

$${\frac{E^2}{ m^2 c^4} - \frac{p^2}{m^2 c^2} = 1}$$

ここで${p = m v}$と思えば、${p^2 / (m^2 c^2) = (v/c)^2}$になるので、光速でスケールされた「時空速度」が1に固定されている、という意味になります。S7はこれなのです。S7は運動量エネルギー空間なのです。

${\vec{p}}$は結合的なので、S7の結合的な３つの虚数成分は${\vec{p}}$になることがわかります。そして、残りの非結合的な４成分で質量＝エネルギーを構成すると予想できます。非結合的な４成分は演算に強い制限があるので、普通の相互作用ではほぼ変化しません。つまり、定数と考えてよいことになります。それでも非結合的な４成分は複素数のベクトルになっていますから、質量やエネルギーにアサインされるスカラー値は、複素数ベクトルのノルムと考えるとよいでしょう。確かに、「時空速度１」の式では、質量・エネルギー項がノルムの形をしています。

量子力学と時空

それでも時空は説明されねばなりません。運動量エネルギーと時空を繋ぐヒントは量子力学に見つかります。量子力学では運動量と空間が微分を通じて繋がっています。

$${p \psi = -i \hbar \frac{\partial\psi}{\partial x}}$$

量子力学はこの関係を認めることから始まります。でも、その根拠ははっきりと説明しません。そこで、この関係が成立する条件を考えてみます。

波動関数が空間の関数${\psi(x)}$とします。当然フーリエ変換出来て　

$${\psi(x) = \int {\Psi(q) e^{iqx} dq}}$$

となる${\Psi(q)}$が存在します。フーリエ変換できないことってほとんどないので、この部分は数学的にまあまあ問題ありません。ここで、${\psi(x)}$の空間微分を考えます。

$${\frac{\partial\psi}{\partial x} = \int {iq \Psi(q) e^{iqx} dq}}$$

${\psi(x)}$がそのまま積分の前に出てくるには、${\Psi(q)}$がδ関数「的」である必要があります。逆に言えば、${\Psi(q)}$がδ関数的でないと、微分演算子の形に取り出せないので、微分演算子として取り出せるなら、δ関数的に違いない、と言えます。その場合、

$${\frac{\partial\psi(x)}{\partial x} = iq \psi(x)}$$

ここから、${i \hbar q = p}$が得られます。つまり、運動量${p}$は空間${x}$のフーリエ変換変数なのです。

同様の議論はエネルギーについても可能で、その結果、${\Psi(E, p)}$の逆フーリエ変換が波動関数${\psi (t, x)}$になることが分かります。すなわち

$${\psi (t,x) =\int{\Psi(E, p) e^{\frac{i}{\hbar}(Et+px)}dE dp}}$$

この関係は、時間と空間がエネルギーと運動量のフーリエ双対である、というものです。ポントリャーギンは平坦な空間の自然な双対はフーリエ変換であることを示しました。

双対という概念は、どちらの空間で議論しても結果は同じという、一つの実体に複数(この場合は2個)の視点を認める概念です。

波動関数を運動量エネルギーのフーリエ変換で考える流儀はマイナーですが、存在しないわけではありません。この流儀の良いところは、シュレディンガー方程式の微分オペレーターがきちんと説明できるところです。

この流儀ではもう一つ大きなメリットがあります。それは、不確定性が説明出来ることです。フーリエ変換ではδ関数のフーリエ変換は波になります。運動量とエネルギーが定まっていることは粒子性に通じますが、時空では波になります。量子の曖昧さが上手く説明できます。また、運動量とエネルギーが「点」でも、時空では波なのです。フーリエ変換の性質として${\Delta x \Delta p}$には上限ができます。フーリエ変換的な上限値は、何故か不確定性原理の倍になります。倍半分の違いはどこから来るんだろう？その答えは後ほど。

フーリエ変換は完全な写像になってるので、波動関数を時空で考えようが、運動量エネルギーで考えようが頓着しません。だから、本体が時空なのか運動量エネルギーなのかは確定しません。この時点では、物理学が時空を基礎としていても、運動量エネルギーを基礎としていても、どちらでも構わない、ということです。エネルギーと運動量が平坦なベクトル空間であれば、「時空の創発」云々の議論は、すべて無意味です。

4元数への接続とスピン

（注）ここから、正確でないかもしれない内容が含まれます。

量子力学で登場する「スピン」という概念はとても奇妙なものです。コマのように回転する物体の運動に関連する、「角運動量」のようなものが量子力学にも表れます。「コマのような回転運動」と断言できないのは、量子力学のスピンとコマの運動はちょっと違うからです。スピンは、1軸回転ではありません。回転運動みたいなものにもかかわらず、コマのような回転運動ではないのです。そして、回転運動の単位＝一周、が1/2単位になっています。さらに、スピンは1/2と-1/2の2種類あるとされています。

スピンというよくわからない概念がないと、実際の現象が説明できないので、量子力学ではスピンを後付けで、波動関数の係数にスピンベクトル（あるいはスピン行列）をつけて表現します。でも、スピンの由来はよくわかっていません。

そういうのが気に入らないとして、ディラックさんは、シュレディンガー方程式を魔改造してディラック方程式を考案し、スピンを説明しました。でも、ベースに用いたのはクラインゴルドン方程式でした。つまり、

$${E^2=(mc^2)^2 +(pc)^2}$$

というエネルギーの２乗の式をシュレディンガー方程式の運動量演算子やエネルギー演算子を使って書き直しました。シュレディンガー方程式は、${E=...}$というエネルギーの１乗＝ハミルトニアン、をベースにしていますから、ちょっと違うのです。相対論的なエネルギーの式をベースにすることで、相対論と相性の悪い（とされている）量子力学に、相対論を持ち込み、スピンを説明しました。通常の量子力学は、相対論的でないにもかかわらずスピンを要求するのです。ちょっと混乱します。

スピンには奇妙な性質があって、実数・複素数の代数ではうまく表現できません。ですが、4元数を使うと、ぴったり表現できます。なので、量子力学を4元数で書き直そうとする試みは、まあまあ人気のある分野です。でもうまくいってないんですよね。なぜならば、4元数は掛け算の順序で値が変わるという非可換性を持っていて、今まで物理学で使っていた全ての数式を見直ししないといけないのです。特に波動関数の書き換えは影響が大きいので、 ほとんど進んでいません。波動関数が4元数で書き直せれば、相対論との相性も改善されるかもしれません。

さて、僕たちは運動量エネルギーのフーリエ変換で波動関数を記述できているので、これを4元数にしてみましょう。

$${q \equiv t + x i_x + y i_y + z i_z}$$

$${Q \equiv E + p_x i_x + p_y i_y + p_z i_z}$$

と定義して

$${\psi (q)= \int{ \Psi (Q) e^{\frac{i}{\hbar}qQ}dQ}}$$

と書けます。${i}$が必要かどうかは議論の余地がありますが、まあまあ破綻しません。なぜなら、4元数の基底を構成する虚数単位は、正方行列で書けます。だから、指数部は行列になります。一応、行列が指数になっても計算可能なことは、線形代数で学ぶことです。

このとき、${qQ}$は非可換なので、ちょっと取り扱いの問題が出ます。数学ではその点についていろいろ議論があって、自然な積では、先行する項を「共役」にします。すなわち、${q^* Q}$を使うとよいとされています（ちゃんとした根拠もあるのですが、ここでは割愛します）。「共役」は普通の複素数と同じで、虚部の符号を反転します。したがって、4元数の積${q^* Q}$は次のように分解できます。

$${q^*Q =E - \vec{x} \cdot\vec{p} - \vec{x} \times \vec{p} + t \vec{p} -E \vec{x}}$$

これが指数に入っているので、

$${\psi (q)= \int{ \Psi (Q) e^{\frac{i}{\hbar}(Et - p \cdot x)}  e^{-\frac{i}{\hbar}\vec{x} \times \vec{p}}  e^{\frac{i}{\hbar}(t \vec{p} -E \vec{x})}dQ}}$$

のように分離できます。最初のeの部分${e^{\frac{i}{\hbar}(Et - p \cdot x)} }$は、4元数でない波動関数のフーリエ形式と完全に同じになっていて、この表式が自然な拡張になっていることがわかります。

${\Psi (Q) }$がδ関数的だと、${e^{-\frac{i}{\hbar}\vec{x} \times \vec{p}}  }$は係数になります。この係数は展開すると、双曲型のパウリ行列になります。つまり、スピンになるのです。そして、${e^{\frac{i}{\hbar}(t \vec{p} -E \vec{x})}}$は、特殊相対論的な対称性に関連します。ローレンツ対称性の埋め込みです。

また、4元数拡張のないときに指数部が不確定性に対応していたことを鑑みると、4元数拡張の指数部が小澤の不等式になっていることに気づきます。

ちなみに、4元数であっても、4元数と4元数を結びつけるフーリエ変換は、完全な写像になっているので、運動量・エネルギーと時空のどちらが本体か？という議論は無意味です。つまり、「時空の創発」云々はこの時点でも無意味な議論です。

S7への拡張

次は8元数なんですが、僕たちはずっとS7（純虚数の8元数でノルム１）を宇宙の候補としていましたから、8元数に拡張するのではなく、S7に拡張していきます。S7のうち、結合性の部分は${\vec{x}}$や${\vec{p}}$と考え、非結合性の部分のノルムを${||s_4||}$と${||S_4||}$とします。${\vec{x}}$と${\vec{p}}$のS7での共役軸を${i}$とすると、

$${s_7\equiv\vec{x}+i||s_4||}$$, 

$$  {S_7\equiv\vec{p}+i ||S_4||}$$

と書けます。すると、フーリエ変換の指数部は

$${s_7^* S_7= - \vec{x} \vec{p} - (||s_4||) ( ||S_4||) - i \vec{x} ||S_4|| + i\vec{p} ||s_4||}$$

と書けます。第１項は4元数の積なので、結合的です。

ここで、普通の4次元の時の波動関数との比較から、${||s_4||}$は時間に関係していることがわかります。そして${||S_4||}$はエネルギーに関係します。4元数の時と同じように、${e^{- i \vec{x} ||S_4||}}$が係数になるわけですが、${||S_4||}$は質量に関係することがわかっていますので、${e^{-i\vec{x} m}}$の係数になります。しかしながら、実のところ${i m}$の実体は非結合性S4なので、この係数はテンソル量になり、波動関数をゆがめます。時空をゆがめる質量に関連するテンソル、つまり、一般相対論が埋め込まれるのです。

精密な検討が必要ですが、S7代数のフーリエ変換において、固いコア部分である${S_4}$は投影された時空での「関数」をゆがめるのです。それは完全に重力のフレームワークに一致しているのです。

ここで、とても興味深いことがわかってきます。僕たちは、通常時間やエネルギーは実数だと思っています。でも時間やエネルギーは${s4}$や${S4}$で非常に「硬い＝演算が不自由」定数であって、本質的に、時空とは異なる「虚数軸のノルム」だということが示唆されます。すると、フーリエ変換の指数部にあった外付けの${i}$が必要ないかもしれない、ということになります。そうすると、ハイパーボリック型だったスピン行列が、ふつうのパウリ行列に完全に一致します。本当のところはどうなのかわかりませんけどね。些細なことかもしれませんけどね。ちょっと興味深いかもしれません。

ここに至って、S7は実質７次元、時空は４次元です。S7の方が大きいので、S7の方が情報がリッチです。S7から時空は作れますが、時空からはS7を再構成できません。ここに至り、運動量・エネルギーに対応するS7が本体、時空が射影であることが結論されます。もちろん、時空にはゆがみとしてS7のフーリエ変換成分が反映されているので、僕らの目に映る時空は４次元ですが、ゆがみも入れると８次元である可能性があります。なので、時空の方が大きいと言えるかもしれませんが、物理を支配しているのはS7であり、時空は「影」と考えるのが妥当です。

時空はS7の影なので、時空での観測だけではうまく説明できない事象がみられるのです。犬の顔に見える影絵を手のひらを組み合わせて作ってるみたいな感じです。

不確定性の起源

不確定性はフーリエ変換の指数部から得られるというのは、フーリエ変換の性質です。S7でのフーリエ変換はちょっとだけ特殊です。S7は８次元の超球面だけで定義されているので、フーリエ変換は８次元超球面上で行われなければなりません。4元数以上でも同じです。その際、フーリエ変換の積分範囲？がちょっと違ってきて、不確定性が修正を受けます。それが1/2。そして、S7が半径cの球ということから、積分範囲の限定を受けます。つまり、本質的にcに関連するナイキスト周波数が存在するのです。それが、不確定性の根本原理だと推測されます。

ポエム解説③；S7の物理学は特殊相対論と量子力学を削り出す説

S7の物理学は特殊相対論と量子力学が削り出す説

「狭い門から入りなさい。滅びに至る門は大きく、その道は広く、そこから入って行く者が多いのです。」(新約聖書「マタイ福音書7章13節」)

こんな話をします

• スタート：宇宙を記述する代数の候補であるS7
• ゴール：ミンコフスキー計量０の条件がS7代数の部分空間として量子力学を与える
• ポイント①：S7の非結合性は要素還元主義を破壊し、科学が成立しなくなる
• ポイント②：アルティンの定理により結合性を取り戻す
• ポイント③：アルティンの定理の条件を変形すると、ミンコフスキー計量０の条件で、非可換代数が得られる。
• ポイント④：非可換代数では余積代数＝量子代数が成立する。

実のところ物理学ポエムの内容はほとんどが従来の物理学と数学理論の範囲に収まっています。どちらかというと解釈を変更しています。でも、単なる解釈の変更だけで全てが説明できるなら、人類はすでに宇宙の真理に到達していて、研究することは残ってない状態になっていないとおかしいと思います。そうなっていないのは雑多に存在する様々な知識がきちっと繋がるように並んでいないからだと僕は思っています。僕が考える正しいつながりと並びの候補をこれから解説したいと思います。お断り：数学的に詰めが甘い話題が一部に含まれます。

S7代数と物理

ポエム解説②基礎公理で解説したように、フルヴィッツの定理と素粒子の対称性から、宇宙を記述するための代数として、唯一の候補がS7だ、という結論に至っています。S7はノルムが１の8元数です。8次元の超球面上の点がS7、というのが幾何学的なイメージです。8次元なんて想像を超えている、という文句はあるかもしれません。なので、普通に3次元の球面のイメージで代用してもらって大丈夫です。

S7上の演算はS7になることが保障されています。この状態は、代数的に閉じている、というように表現されることもあります。これは宇宙が概念的に首尾一貫していることを保証します。演算のたびに宇宙から飛び出して、引き戻されるみたいな不格好なことは最初からありません。聞いてます？ローレンツ変換さん！

S7は超球面上の点なので、球対称性があります。出ましたね。対称性。僕たちが知っている物理法則の多くはエネルギーや運動量が保存するという原理に基づいて議論されます。ドイツ出身の女性数学者エミー・ネーターは、対称性と保存則が1対1で対応するということを証明しました。このネーターの定理は、物理学のあり方を根本的に改革しました。対称性があれば物理学を構築できる可能性が出てくるのです。

S7代数は素粒子の対称性を内包しており、素粒子の振る舞いをきちんと説明できる可能性はあります。特にS7に埋め込まれているFANO平面には位数3の巡回対称性があります。素粒子の世代とか、色価と呼ばれる 素粒子の内部量子数はいずれも３という特別な数の性質を持っています。３というキーワードは普通の代数構造からは直接現れてこないという厄介な数で、多くの理論物理学者の頭を悩ました問題です。その3の謎がS7代数から自然に導出されそうで、とても希望が持てます。

相互作用＝2項演算

僕らが、宇宙を理解する、と言ったとき、当然物理の法則の集合体として宇宙を記述する、という意味を頭の中に浮かべています。物理の法則は、基本的に「保存則」あるいはそこからの導出で構成されます。根底には「保存則」があるわけです。ネーターの定理によれば、対称性と保存則は１対１対応があるとされるので、対称性が欲しいところです。S7ではノルム１という対称性があり、物理が成立する下地を備えています。

しかしながら、ノルム１の対称性だけでは、なかなか物理が立ち上がってきません。そこで、物理とは何かということを少し掘り下げることにしましょう。僕らの知る物理というのは保存則が基本になっています。保存則というのは、系が変化したとき何かが保存する、という意味があります。系の状態は「数」に対応するわけですから、「数」が変化したとき何かが保存していることを保存則と言う訳です。「数」は勝手には変化しませんから、何らかの都合で変化する必要があります。代数的には「演算」しかありません。

通常、「演算」には「２項演算」と「単項演算」があります。単項演算は定数を乗じるみたいな演算ですが、それでは物理を説明することはできません。物理は主に２項演算で記述されることになります。２項演算というのは２の状態間の演算です。あるいは、２つの項の間の相互作用とも言えます。S7が宇宙を記述する代数の候補であるなら、S7上の２項演算について理解する、ということがセントラルドグマになります。

総括すると、物理は、２項演算の連続で表される、という風に考えることができます。つまり、状態をA,B,Cで表せば、ABCのような演算の連続が物理となるわけです。

S7代数の致命的欠点

S7には致命的な欠点があります。S7の代数は非結合的なのです。非結合性とは、(AB)CとA(BC)が同じとは限らないという演算規則です。ご存知のように僕らが知っている普通の演算はこのようにはなりません。(AB)CとA(BC)は必ず同じ値になります。その性質を結合性と呼びます。演算規則としての非結合性はそれほど大きな問題とはみなされないかもしれません。でも、僕らが議論しているS7の代数は宇宙を記述する物理の基本になります。非結合性を物理学あるいは科学の観点から眺めると、致命的な問題を引き起こします。

科学の概念の基礎には、客観性とか再現性とか検証可能性とかそういうものが成立するという前提があります。研究する際には、現象の要素を切り出して、各要素を検証して、再び組み立てて全体像を理解する、という要素還元主義が用いられます。これは客観性や再現性が担保されている時には強力な手法となります。もし宇宙が非結合性代数で記述されていると、部分を切り出して検証して、検証された部分を再び組み立てて全体像を理解するという手法ができなくなります。先ほどの例だと、ABCの演算について、ABとBCの各要素からできていると考えて、各要素の仕組みが解明されたとしても、(AB)CとA(BC)の違いによって、全体を構成することができません。

僕らの目的の1つは科学の成立条件を探すこと

S7の非結合性では科学がまともに成立しません。僕たちの唯一の希望がS7で、そのS7は科学の概念を破壊してしまうのです。一見手詰まりに見えますが、諦めてしまえば、そこで試合終了です。S7は僕らに残された最後の希望なのです。

行列は積の順番を入れ替えることができないという非可換という性質を持っています。でも特別な条件を満たすと、積の順序を入れ替え可能な、可換の性質を取り戻すことができます。例えば、複素数は行列を用いて書き直すことができますが、積の順序を入れ替えることができます。同じように非結合なS7でも、特別な条件下では結合性を取り戻すことができるかもしれません。このような性質を、部分空間あるいは部分代数と呼びます。

（注）ここから一般的な物理学とは大きく違ってきます。

S7において、どういう時に結合性が取り戻せるかということを研究した人がいました。名前をエミール・アルティンさんと言います。その定理はアルティンさんの名前を取ってアルティンの定理と呼ばれています。

アルティンの定理では${1-e_7^2=2}$の条件を満たすと、残りの部分空間には結合性が復活する、とされています。${e_7}$は虚数単位なので、${e_7^2=-1}$です。${e_7}$の7には特に意味はありません。ですので、アルティンの定理の条件は、8元数の７つの虚数軸のうち一つを選択する、という意味になります。２項演算では、２項の虚数軸の１つが共通の場合に、結合性が復活する、という意味になります。

ちなみに、ミンコフスキー計量は以下の通りです。

$${d\tau^2=c^2 dt^2 -dx^2-dy^2-dz^2}$$

ただし、${d\tau}$は固有時間で、ミンコフスキー計量における距離になります。ということなので、${d\tau =0 }$がミンコフスキー計量０の条件ということになります。ここで、${(dx/dt, dy/dt, dz/dt)}$を${e_7}$の方向と定義すれば、アルティンの定理の条件がミンコフスキー計量０と一致することになります。言い換えると、ミンコフスキー計量０のときに、S7では結合性が復活する、ということです。ただし、非結合性が解消したとしても、依然として非可換で、厄介なことには変わりありません。

ポエム解説①特殊相対論との符牒

ポエム解説のシリーズの１番目、特殊相対論の話の結論として、ミンコフスキー計量０で時空の２点がつながることで、「同時」の概念でつながることができる。空間的に２点がどれだけ離れていても、ミンコフスキー計量が０なら、時空的な距離は０であり、２点は同時かつ瞬時に相互作用でき、量子力学が成立する、と指摘しました。

量子力学の説明にはいくつか流儀があります。一つはシュレーディンガー方程式で、これはもっとも有名です。ちょっと面倒なのですがハイゼンベルグの行列力学、という流儀も有名です。もう一つの流儀が、生成子・消滅子をベースにした余積代数の流儀です。余積代数というのは別名を量子力学と呼びます。非可換代数において、非可換の度合いを表す余積${[A,B]=AB-BA}$が定義され、これが量子力学を説明します。余積代数は量子代数とも呼ばれます。

つまり、非可換な代数は量子力学を生み出すのです。アルティンの定理によってミンコフスキー計量０の条件下で取り戻された結合性の部分空間は依然として非可換であり、そこでの代数は余積代数の形式をとります。つまり、量子力学が成立するのです。

「おお！これこそ奇跡！特殊相対論は${S^7}$に物理を取り戻し、量子力学を残すのだ。」

アルティン切断の説明が弱いらしい

AIに一連の記事の評価をさせると、アルティンの定理の条件とミンコフスキー計量0との同値性に関して数学的根拠が乏しいと言われました。あと、可除代数の公理が独善的？と言われました。

可除代数を公理に据えるのは一般的ではありません。宇宙を記述する代数が可除代数でない場合、勝手に物質やエネルギーが消えてしまう可能性がある以外に、勝手に物質やエネルギーが生じてしまうということが起こります。現在の主流物理学では、真空のゆらぎがそのような現象として、議論されてますけどね。真空のエネルギーとかも、似た概念かもしれません。標準模型は無理やり次元拡張してるので、代数的な無理があって、そういう概念が必要になってしまうのかもしれません。ま、でも、普通の現象に対しては、可除代数というのは妥当に思います。

僕たちの目的は、アルティンの定理の条件とミンコフスキー計量０を直接つなぐことではありません。ミンコフスキー計量０がS7に結合性を取り戻す、ということが示せれば、十分です。というか、そこにこそ意味があります。そういう条件が存在していることはアルティンの定理が証明しています。ミンコフスキー計量０の条件下で、S7の代数が結合性の演算として示せれば、僕たちの目的は完全に果たせることになります。

S7の点AとBを考え、以下のように定義します。

$${A=\alpha + a, B=\beta + b}$$

ただし、${\alpha}$と${\beta}$は、4元数的な成分で、結合性があります。例えば、

$${\alpha = a_ 1 e_1 + a_2 e_2 +a_3 e_3}$$

になります。
一方、${a}$と${b}$はそのほかの成分をまとめたものです。この部分がなければ、結合性が戻ってくるわけですが、そんなわけにはいきません。ここで余積代数が成立するとは${[A,B]=AB−BA}$でこれが結合性演算成分の要素で書ければよいということです。

AとBの間の演算は、次のようになります。

$${A B= (\alpha +a) (\beta +b)= \alpha \beta + a \beta +\alpha b +a b}$$

${\alpha}$と${\beta}$は元々結合性です。なので、${\alpha \beta}$は結合的です。また、${a}$や${b}$の基底は、${\alpha}$と${\beta}$の基底に、追加の虚数単位を乗じたものになっています（ケーリー・ディクソン構成）。そのため、${a}$や${b}$だけでの演算は結合的です。これは、8元数の積表の左上の${4\times 4}$の領域と、右下の${4\times 4}$の領域が相似形になっていること対応します。なので、残るは交差項${(\alpha b - b\alpha) + (a\alpha - \alpha a) }$の結合性を調べることになります。

いま、${\alpha-\beta=0}$となるように、${A}$と${B}$が座標変換されているとします。これが、実質的にアルティンの定理の条件に対応します。その時、交差項は次のように変形されます。

$${(\alpha b - b \alpha) + (a\alpha - \alpha a) = (\alpha b - b\alpha) + (a\alpha - \alpha a) }$$

この式中で、${(\alpha b - b\alpha)}$ の項は、共通の時空基盤 ${\alpha}$ と、外部のゆらぎ ${b}$ が作る「右回り・左回りのズレ（ねじれ）」を表しています。

${a}$と${b}$の基底は8元数の対称性から、4元数の基底に${\alpha}$の虚数単位の1つを乗じたものです。具体的には、$\alpha b$ と $b \alpha$ は単なる可換な積ではなく、一方が他方の共役や符号反転を伴う関係、すなわち $\alpha b = -b \bar{\alpha}$を持っています。これを適用すると、

$${(\alpha b - b\alpha)+ (a\alpha - \alpha a) = b(\alpha +\bar{\alpha})+(\alpha +\bar{\alpha}) a}$$

になります。もともとの${\alpha}$は純虚数の4元数ですが、座標変換によって、普通の4元数です。そのため、${(\alpha +\bar{\alpha})}$は実数成分になります。これを${k_a}$とすれば、

$${(\alpha b - b\alpha) + (a\alpha - \alpha a) =k_a (a+b)}$$

になります。これは可換な演算で構成されており、明らかに非結合的ではありません。よって、${\alpha-\beta=0}$の条件下で${[A,B]}$は結合的な演算要素に還元されることが示されました。${\alpha-\beta=0}$の場合、明らかに、${||\alpha-\beta||=0}$です。つまり、${\alpha-\beta=0}$となる「線上」では、${[A,B]}$は結合的で、余積代数が成立する、となります。このとき、明らかに${||\alpha-\beta||=0}$で、これをミンコフスキー計量０の条件を時空速度空間で見たときの数式とみなすことができます。すなわち、ミンコフスキー計量０で、余積代数＝量子代数が成立し、量子力学が成立する下地が得られます。

Q.E.D

ポエム解説②；宇宙を記述可能な代数は1つしかない説

 宇宙を記述可能な代数は１つしかない説

​「この世界について永久に理解しがたいこと（永遠の謎）は、それが理解可能だということである。」(アインシュタイン「物理学と実在」)

こんな話をします！

• スタート：宇宙の理解可能性から公理系を構築
• ゴール：ノルム１の8元数S7が唯一の可能性
• ポイント①：宇宙が理解可能だったらいいな！を数学で定義する
• ポイント②：フルヴィッツの定理で、候補が絞られる
• ポイント③：素粒子も記述できないといけないので、8元数が唯一の候補
• ポイント④：光速不変などから、ノルムが固定されている可能性が高い

ポエムの冒頭部分を解説するよ！

物理学ポエムの冒頭では宇宙を数学的に記述できる条件を議論しています。ちょっと哲学的かつ詩的なセクションなんで、一番ポエミーで、まともな議論に見えにくいかもしれません。なので、解説が必要だと思うのです。

宇宙が理解可能な条件を探すことの意味

大統一理論は、人類の悲願の一つと言えます。多くの試みが現在も続いています。ただ、大統一理論が存在するかどうかすら、わかりません。大統一理論を探す試みはすべて失敗するかもしれません。でも人はめげずに努力を続けるでしょう。でも、ゴールの存在が不明な状況で努力するのと、ゴールの存在が確定している場合と、モチベーションはずいぶん違うと思うのです。だから、ゴール＝大統一理論、が存在する条件を、宇宙が満たしているかどうかを調べることは、意味があると思うのです。

大統一理論がどんなものかはわからないのですが、そもそも宇宙が理解可能な存在でないなら、大統一理論は決して存在できません。だから、大統一理論が存在する前提条件として、宇宙が理解可能な存在であるための条件を調べようと思うわけです。宇宙が理解可能な存在であっても、大統一理論が見つからないかもしれません。でも宇宙が理解可能な存在でなければ、大統一理論を探すのはあきらめた方が良い、と早々に見切りをつけることができます。

宇宙が理解可能な存在かどうかを検討することには、別の意味もあります。ポエムの中では、時間も空間も導出対象になっています。その場合、時間や空間にまつわる概念を使って、宇宙を説明することができません。トートロジー(循環論法)は避けねばならないのです。

ネーターの定理により、時間並進対称性とエネルギー保存則が対応していることが知られています。時間の概念を使用禁止にするということは、エネルギー保存を使った議論が出来なくなります。

僕たちは「因果関係」を当たり前のように考えていますが、原因と結果の区別は時間的な順序によるものなのです。時間の概念が使えないと、因果関係を使った説明ができなくなります。

要するに、物理学がものすごい縛りプレイになるわけです。因果関係は、「客観性」の一部になっていますから、客観性も著しく制限を受けます。そうすると、科学と言う概念が成立するかどうかギリギリのところを議論しないといけなくなるわけです。

このレベルの極端な縛りプレイでは、人類に残されたツールは数学のみになります。だから、宇宙は、少なくとも数学に対応させることができないと、理解可能ではないよね？となるわけです。

実際の理論構築はこのような順序で行われたのですが、説明にあたっては別の方法を使っています。すなわち、公理系によるボトムアップです。 このやり方は抽象数学では一般的で、まあ、そういうフォーマットに従った方が、高度な理論っぽく見えます。見えてるよね？

状態＝数、という概念

ここからは公理を1つ1つ見ていこうと思います。

まず1番目。宇宙の状態は数に対応させることができる＝記述可能性、という部分は、ほとんどの人が面食らうと思います。ふつうの人にとっては、数というのは１，２，３，４のような数値です。実数だったり、有理数だったりするかもしれせんが、実数が有理数になったところで大差ありません。こうした数が宇宙の状態に対応する、というわけではありません。ポエムで語られる「数」は、一般化された「数の概念」という意味になっています。

理系の皆さんは、ベクトルとか行列とかを学んでいると思います。ベクトルというのは数値が組みになったものです。例えば、座標なんかはベクトルに対応させることができます。数学ではベクトルはある種の「数」とみなされてます。あるいは、色とか形とかそういう概念も数学では「数」に分類される概念です。そういう一般化された「数」の概念を使えば、宇宙の様々な状態も「数」に対応させることができるでしょ？という仮定（公理）を１番目に据えています。この公理は、明示しなくてもよいくらい、当たり前、なものかもしれません。でももし、宇宙の状態が何らかの「数」で表せないなら、状態を特定することができず、あらゆる法則に意味がなくなります。そういうことを防ぐために最初の公理が存在します。

代数≒再現性・決定論

2番目の公理は、宇宙の状態を表す「数」には代数があるっていう要請＝予測可能性です。これは一旦捨ててしまってる客観性や因果関係の代わりに導入されていると思えば良いかもしれなません。客観性や因果関係や時間の概念を排除してしまうとほとんど何も残りません。残るのは代数と幾何学くらい。幾何学をベースに考えてもう大丈夫なんだけど、幾何学も最終的には代数で語った方が厳密になるので、そういうことなら最初から代数をベースで考えようとしています。まあ、将棋で言うなら手抜きってやつ？取って取られて合駒を入れるのであれば、最初から合駒を入れといてもいいよね。みたいな感じ？

ここでいう代数は四則演算のことではありません。「数」は通常の数値ではないかもしれません。と言うか、通常の数値ではないと考えた方が合理的です。数値ではないのに、掛け算とか足し算とかそういうのはできるとは限りません。まあ、こういう論理構成は抽象数学では一般的なので、そういうフォーマットを採用しているだけです。一般の人にとっては、状態の変化がきちんと定まっている、ということの要請と考えてください。 客観性を一旦保留してるのでその代わりに導入しているという解釈もできます。

代数には演算が通常は1つ以上、定義されています。通常は乗法、つまり掛け算を想定するのが基本になります。実際の演算は掛け算と限りません。へんてこな演算かもしれないし、普通の掛け算かもしれません。あるいは掛け算という名の足し算かもしれません。数式で書く時には掛け算と同じ書き方をするというだけです。こういう考え方はスタンダードな群論です。演算は基本的に１種類です。僕らが慣れ親しんでいるような、足し算と掛け算が両方使えるような代数は贅沢品で特別なのです。よちよち歩きの宇宙にはそんな贅沢は許されないのです。

書き方はちょっと回りくどいですが、演算というのは同じ入力に対して同じ出力が得られることが前提になっているので、演算結果の予測ができるようになります。その予測可能性が客観性や再現性の代わりになり、形なりにもかろうじて科学が成立するようになります。

実際問題、宇宙はそんなに不安定には見えない

３番目の公理は、宇宙を記述する代数は可除代数であるというものです。これは宇宙が勝手に消えたりしないという要請です。実際のところ、物質は安定して存在してて、エネルギーとかが勝手に消えたりしません。質量保存則とかエネルギー保存則とか使えたらいいんですけど、そういうのも前提としないところからスタートしてるので、使えません。その代わりというわけです。

可除代数というのは、０が演算に関わらない限り、演算結果が０にならないという性質のことを言います。そのおかげで割り算が必ず存在するとか、そういう特別な性質も出てきますけど、ここでは演算結果が０になって、宇宙が消滅するのを防ぎたいという意味で用いています。なので、この公理は、宇宙の永続性という別名をつけています。実はこの可除性というのがかなりキツい制約になります。

真打登場！フルヴィッツさん、どうぞ！

数学者というのは、何に関しても徹底的に調べ上げる能力に長けています。可除性を持つ代数というのは、驚くほど少なくて、おなじみの実数、複素数の他に、4元数と8元数しかない！ってことをフルヴィッツという人が証明しています。

要するに宇宙が理解可能な存在だとすると、候補は4つのモデルしかないということになります。この辺りから、他の物理理論とは全く違う様相を呈します。

宇宙を記述するのに、実数や複素数は明らかに複雑さが足りません。だから候補は実質的に2つに絞られます。残った2つは一般の人たちにはあんまり馴染みがないかもしれません。

4元数は1つの実数軸と3つの虚数軸を持つ4次元の数です。物理の世界では結構みんな大好きなんですが、うまく使いこなせていません。例えば、特殊相対論で用いるミンコフスキー空間は、4元数とほぼ同じです。4元数には右手系と左手系の区別が最初から組み込まれてるので、単純なミンコフスキー空間より現実の世界に近いかもしれません。実際、スピンと言った概念を説明するのに4元数が用いられます。

そんな4元数なんですが、物理学において全面採用には至っておりません。僕にはよくわからないんですけど、4次元を4元数に置き換えようとすると、微妙に色々書き変わってしまうので、理論の構築難易度が上がっちゃうんだと思います。

そして最後の8元数なんですが、1つの実数軸と7つの虚数軸を持つ数になります。4元数からの自然な拡張で得られるので、とっつきは悪くないんですけど、掛け算のシステムが非常に複雑になってしまい、そのままでは暗算とか絶対できません。そのため8元数を積極的に使って物理学を書き直そうという試みはほとんどありません。

素粒子を例外にしてはいけない

僕らの宇宙には素粒子という奇妙な性質を持つ存在があります。 素粒子は普段は目立たないのですが、普段目にする物質の基礎を構成する存在です。素粒子の性質を説明するにはSU(3)✕SU(2)✕U(1)という複雑な対称性が必要だと言われています。この記号は群論で用いられる対称性の記号で、一応ちゃんとした意味はあるのですが、単なる記号と考えて問題がありません。それでも少しは説明しておいた方がいいと思います。U(1)は複素数的な性質を指します。電荷なんかを議論するのに必要な対称性です。SU(2)は4元数的な性質に対応します。 スピンとか電場磁場なんかを議論するのに必要になります。そしてSU(3)は素粒子が持つ奇妙な性質、ゲージ対称性を議論するのに必要になります。厄介なことにSU(3)は僕らが普段使っている数値ではうまく記述できません。素粒子が持つ奇妙な性質がSU(3)という対称性にきっちり収まり、特定の条件下で計算が可能になるということを示したのがヤンミルズ理論で、ヤンとミルズはノーベル賞をスピード受賞しました。8元数はSU(3)の対称性を持ちます。

SU(3)はSU(2)とU(1)を内包します。そのため、宇宙を記述するには最低でもSU(3)が表現できる代数が必要と結論されます。これが4つ目の公理です。使用される代数が宇宙を記述できるキャパシティーを持たねば、どうあがいても宇宙の真理に到達できないので、諦めた方がいいよという要請です。

公理１〜３で、実質的に4元数と8元数が候補に残り、公理４で8元数以上に複雑さが選ばれます。ということで、公理１〜４で、宇宙が理解可能な存在であるならば、宇宙は8元数の代数で記述されるだろうという予想が成り立つわけです。

S7が最有力候補

8元数だけでは、あまりに平坦で宇宙を記述できるかもしれないけど、宇宙の法則はさっぱりわかりません。そこで、ちょっとした制約を考えます。それはノルムが１というものです。特殊相対論で見たように、物体の時空速度は光速に固定されています。つまり、時空速度のノルムが一定ということです。光速を１となるような単位系を導入すれば、現実の物体の時空速度のノルムは１ということになります。同じように、8元数においてもノルムが１に固定されている可能性を考えるわけです。そのような数体系には、純虚数の8元数、S7というものがあります。S7は7次元の「数」になります。

純虚数の複素数には、「回転」の操作という性質が自動的に付随します。特殊相対論の話の中で、ローレンツ対称性に言及しましたが、これは4元数のノルム１の数体系S3に見られる特徴です。このような性質はノルム１の特殊な数体系の特徴の一つなのです。なので、宇宙はノルム１の8元数で記述されている可能性がかなり高いのです。そのため、物理学ポエムでは宇宙がS7で説明できる可能性を探っていくことになります。

ポエム解説①；特殊相対論を再解釈すると量子もつれが理解できる説

特殊相対論を再解釈すると量子もつれが理解できる説

「とてもかんたんだよ。心で見なくちゃ、ものはよくみえない。大切なものは目には見えないんだよ。」(サン・テグジュペリ「星の王子さま」)

こんな話をします！

• スタート：特殊相対論のミンコフスキー計量
• ゴール：量子もつれは不思議な現象ではない
• ポイント①：ミンコフスキー計量は時空速度一定という意味
• ポイント②：光線で結ばれた２つの地点は同時
• ポイント③：光線がエネルギーを運ぶ量子力学は原因と結果を同時に結ぶ
• ポイント④：原因と結果の違いは、観測者から見たときの見かけの時間の順序でしかない
• ポイント⑤：量子力学的相互作用はすべて量子もつれ

特殊相対論を再解釈していくよ！

物理学ポエムではいろんな「怪しい理論」が展開されるのですが、実はそれなりに根拠があります。それをできるだけ解説したいと思うのです。でも、膨大な量になるので、小分けして説明していきたいと思っています。まずは、全然怪しくない部分、「みんな大好き特殊相対論」からです。

特殊相対論とは、誰でも知っているアルバート・アインシュタインさんが1905年に発表した理論です。もう100年以上経っていますが、今のところ反証が見つかっていない、非常に信頼のおける理論です。それどころか、数々の予言を的中させていて、様々な理論の基礎になっています。特殊相対論の導出において、アインシュタインは「光速不変の原理」を導入しました。「光は真空中を、つねに発光体の運動状態とは無関係な、ある一定の速度 V で伝播する」としています。僕たちがどんなに高速に運動していても、光の速度はいつでも一定であるという宣言です。これは僕たちの直観に反します。なので、特殊相対論の理解に当たってはいろいろな混乱が生じます。

ここで語られる様々な考察の多くは、一般的に語られる説明と随分違います。きちんと読み解けばわかりますが、特殊相対論の原則を厳密に適用しているだけで、何か新しい概念を付け足しているわけではありません。というか、一般には別々に説明されている事柄を、慎重に組み合わせているだけ、という側面の方が強いと思います。あと、ここでは一般相対論には立ち入りません。僕の考えでは、特殊相対論と一般相対論は全く別物です。一般相対論は特殊相対論の一般化ではなく、一般相対論は特殊相対論を含みません。ま、これは僕の考えでしかないですし、その根拠を述べるのは別の機会になる予定です。

超有名な特殊相対論ですが、アインシュタインは原著の中で、「我々はここで……光が真空中を常に一定の速度 V で伝播するという前提（Voraussetzung）を導入しなければならない。」とも述べています。光が一定の速度 V で伝播する、とは断言していません。それを前提とする、としています。もし光が伝播するものであれば、断定するでしょう。もし光が伝播するものでない可能性、何らかの理由で、光が一定の速度 V で伝播する、「ように見える」だけでも、この前提を満たします。アインシュタインは、光が空間を伝播するようなモノではない可能性を捨てていなかったと僕は推定しています。

アインシュタインが慎重だったのには、1905年ごろの時代背景が強く影響していると思います。当時は「光の媒介となる実体（エーテル）」を探す実験（マイケルソン・モーリーなど）が悉く失敗していた時代でした。19世紀末にマクスウェル方程式によって、光は空間を伝播する波、としていったん決着しましたが、光の直進性などいくつかの性質は依然として粒子説を支持していました。量子の考え方はもう少し後にならないと出てこないので、光の実体がどうなっているか分からないという状態だったのです。だからこそ、観測のルールとして『光速不変の前提』という慎重な態度をとったのだと思われます。

観測の「仕組み」によって、どんな慣性系からも光が一定速度で伝播しているという結果が得られるのであれば、実際に光が一定速度で伝播していても、観測の仕組みでそう見えるとしても、光速不変は変わりません。光速不変の理由を考えるよりも、光速不変を受け入れたときに何が起こるか考える、というのが特殊相対論のエッセンスなのです。

種明かしをすると、通常の特殊相対論の解釈では、光は一定速度（光速）で空間を伝播する、としています。でも僕は、「観測の仕組み」によって、光は光速で空間を伝播するように見える、と考えています。どちらも特殊相対論の原則である、光速不変の原理、を逸脱しているわけではありません。

ミンコフスキー計量について

ここでは特殊相対論の導出をしたいわけではないので、結論を述べたのち、その解釈について考察していきます。

最初の結論は、ミンコフスキー計量と固有時間の概念です。特殊相対論では時間と空間をごちゃまぜにした時空という概念が導入されるのですが、時空においては「距離」の概念が少し修正されます。具体的には、時空での距離はミンコフスキー計量が適用されます。

$d\tau^2=(c dt)^2-dx^2-dy^2-dz^2$

という形で「距離」が定義されます。この距離は固有時間とも呼ばれます。次元を落として、

$d\tau^2=c^2 dt^2-dx^2$

原点を出発点とする光の運動を考えると、 $dx = c dt$ なので、$d\tau=0$が得られます。これをもって、光は固有時間０で伝播する、とされます。これはヌル条件とも呼ばれます。$x = c t$ を× $(x,t)$の平面に図示すると、斜め45度の線になるので、これを以って、「光円錐」という概念が語られます。

さて、ここからが本番です。ミンコフスキー計量の両辺を$dt^2$で除して、整えます。

$c^2=(\frac{d\tau}{dt})^2+(\frac{dx}{dt})^2+(\frac{dy}{dt})^2+(\frac{dz}{dt})^2$

ここから、固有時間というものを考えると、４次元時空中での「時空速度」は常に$c$ということが導かれます。これは、一部の人たちには有名な話です。例えば、ブライアント・グリーン「エレガントな宇宙」など。

そうすると、速度を変更する＝加速する、という概念が少し修正されます。すなわち、速度が変化したとしても、時空速度は常に$c$なので、空間での速度の変化は、4次元時空では固有時間の方向が、変化＝回転、することに対応します。要するに、加速とは、4次元時空での回転なのです。これはローレンツ対称性と呼ばれています。この描像はウィック回転と呼ばれています。

有名なローレンツ変換はこれを３次元時空で見たときの操作になっています。特殊相対論の世界では、速度ベクトルの足し算は厳密には成立しません。4次元時空で考えると、いかなる速度ベクトルの変化（加速）においても、時空速度が$c$を超えてしまうのです。半径$c$の(超)球面からはみ出した時空速度を縮めて(超)球面に押し戻す計算がローレンツ変換です。

慣性系を時空速度で考えれば、固有時間方向のベクトルになります。その最大値は垂直の方向。最大速度の光は、固有時間０の方向に「飛んでいく」＝慣性系の固有時間方向に対して垂直、となります。つまり、時空速度で考えると、光は45度（光円錐）ではないのです。

光速$c$について

特殊相対論に関する説明では、物体は速度が光に近づくと時間の進みが遅くなる、とされます。この記述に違和感を感じる人はなかなか素晴らしいです。特殊相対論の結論として、時間は慣性系に依存するのだから、時間の進みが変化しても問題ありません。でも、時間の進みが遅い（あるいは早い）というとき、基準がどこかにないといけません。でも、そういう時間の基準は存在しない、と特殊相対論は結論付けています。ロジック、分かります？

加速とは時空速度を回転させることでした。最初の固有時間（方向）をAとしましょう。少し加速すると、時空速度が少し回転し、新たな固有時間Bを得ます。固有時間Bからさらに加速すると、さらに回転し、固有時間Cを得ます。その結果、固有時間はどんどん傾きます。ただし、１回の加速が同じならば、A→BとB→Cの角度変化は同じはずです。加速を続けるにはエネルギーの問題があるのですが、とりあえずエネルギーの問題を無視すれば、加速を続けることで、固有時間はぐるぐる回ります。その途中で、固有時間Aに対して垂直を通過するでしょう。固有時間Aに対して垂直、とは固有時間Aから発する光と同じ方向です。つまり、加速を続ければ光速に至るのです。

いやいや、加速を続けても光速に達しないって、みんな言ってる。それは間違い？光速に達する？達しない？どっち？実はこれはどちらも正しいということになります。違いは、誰から見たときの真実か？

加速する物体を外から眺めているならば、その物体は永遠に光速に達しません。なぜなら、加速して速度が増すにつれ、物体内部の時間の進みが、「外側の観測者から見たときに」遅くなり、時間当たりの加速が小さくなっていきます。だから、永遠に光速に到達しません。

一方、加速する物体の立場では、時間の進みは遅くなりません。常に一定の加速が続きます。出発地点（固有時間A）から考えると、有限時間内で固有時間Aにおける光速に達します。ただし、物体が光速に達したときというのは、固有時間Aからみると永遠の時間経過時点、その頃には宇宙が滅んでいるかもしれません。

それでもちょっと変な気がします。光速に達した物体はどのように見えるでしょう？答えは、「見えない」です。物体を見るには、物体から発した光を受け取る必要があります。さて、光速に運動する物体から発せられる光の方向はどうなるでしょう？光は固有時間に垂直に発せられ、光速に運動する物体の固有時間は、観測者の固有時間に垂直です。つまり光速の物体からの光は、観測者の固有時間の垂直状態から垂直に発せられます。絵に描けばすぐわかります。観測者の固有時間と平行ですね！つまり、永遠に交わらない＝光が届かない、というのが答えになります。見えないんだったら存在しないのと同じなんでしょうか？どうなんだろ？

光は時空の２点を結ぶ

光速とは物体が到達できない限界の速度であり、光は常に光速で伝播する特別な存在だ、って僕たちは教わります。でも、先の例にあるように、加速を続けることさえできれば、（現実には不可能だけど）光速に達するだけでなく、見かけ上、光速を超えることすらできるのです(見えないけど)。では光の特別さはどこにあるのでしょう？

光は観測者（発光点）の固有時間に対して垂直な方向に飛ぶ？のであり、その方向こそが同時の定義であるということになります。同時より固有時間側は未来であり、その反対側は過去と定義できます。この描像は、観測者の固有時間に基づく定義で、観測者が変わると、状況は変化します。

そこで、ここからは、発光点と吸光点の２つを考えて、その間を光が移動する状況を考えていきましょう。

特殊相対論の最も大きな結論の一つは、異なる2つの地点に共通する時間を概念レベルで否定する、というものです。その代わり、光を同時の概念の代わりに用います。これはある意味、前提に近いものです。観測される光速があらゆる慣性系で同じになるためには、時計が観測系に依存しなければならない、ということが、アインシュタインの発見です。

物体の運動は時空中の軌跡として描かれます。このとき、観測者の軌跡は（固有）時間方向に直線ですが、観測者が観測する物体の運動はそうではありません。物体の時間経過は、物体の軌跡に沿ってミンコフスキー計量$d\tau$を積分したものになります。

同じような固有時間の積分を光の軌跡に関して実行してみましょう。光の軌跡は$d\tau=0$であると、以前のセクションでわかっています。なので、いくら積分しても固有時間は進まない、と結論できます。すなわち、光の軌跡上は同じ固有時間＝同時、ということになります。ホントかウソかわからないのですが、特殊相対論の着想に至るために、アインシュタインは光の速度で飛んだらどうなるか、という思考実験を行ったと伝えられています。果たして、アインシュタインは、光の速度で飛ぶと時間が進まないという結論を見出していたのかどうか。

この結論は興味深い事実を導きます。2点間を光が結ぶとき、発光点と吸光点の間を飛ぶのに時間がかかると考えがちです。でも、光にとっては2点間を瞬時に移動していることになるのです。それはもはや移動と言えるのか？そういう疑問が生じます。

でもそういう疑問が、むしろ福音である分野があります。みんな大好き量子力学です。量子力学では、発光と吸光が同時に混ざる、とされます。結果＝吸光がおこならない限り、原因＝発光が生じない、ということを量子力学は要請します。言い換えると、原因と結果が「同時」じゃないと都合が悪いということです。

さあ、結論が出ました。特殊相対論によれば、光は発光点の同時の方向に発せられ、吸光点に届きます。発光点から見れば吸光点は「同時」なのです。それはつまり、発光点と吸光点が「同時」の概念でつながっていることを意味します。その間に、発光と吸光の同時性を要求する量子力学が成立しても、何の違和感もありません。

量子力学における因果の同時性は、特殊相対論と相性が悪いわけではないということが説明できました。でも、僕らは実世界で因果の区別を感じています。一方の量子力学では因果の区別ができないということで、両者の矛盾が問題とされています。さて、発光と吸光の量子力学過程の特殊相対論的描像において、発光と吸光には明確な区別があります。それは、発光点と吸光点をつなぐ光は、発光点の固有時間に垂直だけど、吸光点の固有時間に対して垂直とは限らない、という事実です。つまり、原因＝発光と、結果＝吸光には、２点をつなぐ線分とそれぞれの地点の固有時間との角度に関して明確な区別があるということです。一般に、吸光点の固有時間から見ると光の方向は、普通は過去側にあります。つまり、吸光点からみると結果が現在で、原因＝発光点は過去にあるのです。そのような違いに基づいて、僕たちは「同時」につながっている量子力学過程に、時間的順序という因果の概念を認めているのです。

この描像は量子もつれを見事に説明します。量子力学によれば、原因と結果は両方同時に確定する、とされています。因果関係の文脈では、発光が起こらないと吸光が生じない、というのが常識です。一般に、光子の移動には時間が必要なので、発光が先、吸光が後、ということになって、時間的な順序から、発光が原因で、吸光が結果、に割り当てられています。でも、量子力学的文脈では、吸収が起こらないと発光が生じない、というのもアリなのです。その場合、時間的に後のはずの吸収が原因で、時間的に先のはずの発光が結果になるのです。そのような時間（時空）的逆転現象のことを「量子もつれ」と呼び、時間的逆転状態のことを「エンタングルメント」と呼んでいます。でも、ここで議論したように、発光と吸光は同時の概念である光で結ばれており、現象的な順序は意味消失しているのです。だから、「量子もつれ」は不思議でも何でもない、と結論できます。

さて、ここに至り、光は空間を時間をかけて移動する存在なのか、ちょっと疑問になります。量子もつれは、情報なりエネルギーを未来から過去に運ぶので、因果関係が狂ってしまい混乱します。でもここで議論したように、量子力学過程にはそもそも因果関係は存在せず、特殊相対論的な事情で、時空の2点間の時間的序列を無視して、光が2点間を「同時」の概念でつないで、量子力学過程を成立させているのです。光の移動に「時間」は要らないのです。なぜなら、「同時」だから。

そうすると、光は粒子というより、線と考えた方が良くなります。発光がないと吸光がなく、吸光がないと発光がないのであれば、光は両端を持つ線分としてしか存在できなくなります。ま、すごく長い粒子、と言えなくもないかな？

星空を見上げる

光が届く範囲はすべて、「発光点の同時」であるという結論は、驚くべきことです。近い範囲の発光と吸光現象ならそれほど違和感がないかもしれません。でも、もっと遠い2点間の発光と吸収だと、僕たちの常識が破壊されます。極端に遠い2点間の発光・吸収現象の典型例は、星空です。

星空を眺めるとき、僕たちは何億光年も遠くの星の光を目の中で受けます。そう、遠い星の発光と、僕たちの目の中の吸光が、星の光でつながっているのです。

よく考えると、「光年」という単位は、僕たちに届く光を、発光点の距離で測る、そういう単位です。光が届く範囲は「発光点の同時」なので、発光点がどれだけ遠くにあっても、発光点と同時につながることができるのです。

量子力学の原則に基づくと、吸収がなければ発光は生じません。つまり、僕たちが遠い星を観測しないと、遠い星での発光は生じないのです。僕たちは遠い星の光を見るたびに、「おそらく過去」の星で生じている発光現象に影響を与えているのです。量子もつれは、100億光年彼方であっても、生じるのです！

A Poem on Physics (English version)

 0. Why are there laws in the universe?

Perhaps the idea should be in the reverse.
Because there are things like laws in the universe, we can understand it.
And we are satisfied. We want to understand the universe.
Will that ever succeed?
In the first place, the universe might not be something we can comprehend.
Even so, we believe that the universe is understandable.
It is like a baseless prayer.

This is my humble wish.

If so, the fundamental question would be as follows:

If the universe is an understandable entity, what conditions must it satisfy?

1. The Requirements of Existence

First, states or phenomena in the universe must correspond to some kind of numbers.

Although we do not know what kind of numbers they are, in order to apply any sort of law, states must correspond to something like numbers.

This can be rephrased as the requirement of describability.

Second, the states of the universe possess some algebraic structure.

A law means predictability under fixed conditions.

Conditions correspond to certain numbers, and to those numbers, certain operations—that is, algebra—must correspond.

This can be rephrased as the requirement of predictability.

Third, that algebra must possess divisibility.

Our universe exists with remarkable stability within the observable range.

If the algebra inherent in the universe were one that outputted zero mid-calculation, the universe would not be nearly as stable.

In algebra, the property where operation results never become zero is called divisibility.

This can be said to be the requirement of the permanence of the universe.

Adolf Hurwitz proved that there are only four algebras satisfying these three requirements: real numbers, complex numbers, quaternions, and octonions.

Alas, the universe has only four choices.

And as an observational fact, strange particles called elementary particles exist in our universe.

Let us make this the fourth requirement.

That is, fourth, the algebra of the universe must be able to describe the symmetry of elementary particles.

The only algebra with the potential to describe these strange particles is the octonions.

To guarantee complete divisibility, the algebra permitted in the universe must consist solely of multiplication.

The entity holding such conditions is closed octonions—purely imaginary $S^7$.

$S^7$ contains no zero to begin with.

2. The Geometry of $S^7$ and the Birth of Physics

$S^7$ contains three associative imaginary axes and four non-associative imaginary axes.

The three associative imaginary axes possess properties akin to space.

The three-dimensional space we know well must relate to these three associative imaginary axes.

Considering that $S^7$ is closed, it corresponds to spacetime metrics.

The three associative imaginary axes of $S^7$ determine the directions of three-dimensional space.

$S^7$ has a fatal weakness: it is non-commutative and non-associative, imposing severe constraints on operations.

Physics cannot be constructed with an algebra where one cannot move.

Now, what is the true nature of what we call physics? Phenomena we consider as physics boil down to the fact that interactions between two states serve as the minimal unit. In the world of $S^7$, does there not exist an operation that guarantees at least associativity?

Emil Artin stated: "Even if the entire algebra is non-associative, the subalgebra generated by any 'two elements ($a$ and $b$)' satisfying specific conditions is associative."

In $S^7$, that condition is sharing a single imaginary axis.

Sharing a single imaginary axis in $S^7$ corresponds to connecting two states with a null condition.

In special relativity, a null condition means connecting two points in spacetime with a single ray of light.

It is the condition for "observation," and it is also the condition for "interaction."

Of course you knew that, because observation is carried out through interaction.

And! From the algebra between two points connected by Artin's theorem, non-associativity is removed, creating room for physics to be established.

But! It is still non-commutative.

In a non-commutative algebra, operations occur through coproducts.

That is! Between two points connected by the simultaneity of special relativity, a coproduct algebra is established!

Coproduct algebra is otherwise known as quantum algebra.

Oh! This is truly a miracle!

Special relativity restores physics to $S^7$ and leaves behind quantum mechanics.

3. Relativity, Entanglement, and Light

Quantum mechanics carved out from $S^7$ provides the story that "two states are connected and interact via the concept of simultaneity in special relativity."

In other words, two states classified into cause and effect are simultaneous from the perspective of interaction, explaining that the temporal order impressed upon us by the distinction between cause and effect does not actually exist.

Because two states in four-dimensional spacetime have different proper times, their intersection angles with the interaction segment differ.

This difference in angles gives rise to the distinction between cause and effect.

Since special relativity denied the existence of a common clock between two locations, discussing the temporal precedence or succession between distant points was fundamentally impossible to begin with.

When viewing another location from one point, we were merely labeling it as "past" or "present" depending on the angle relative to our own proper time.

If we redefine the relationship between cause and effect in this way, quantum entanglement ceases to be a mysterious phenomenon at all.

When the angle of the interaction segment connecting two points is controlled by a special operation, we call it entanglement.

At the end of this scenario awaits a shocking conclusion.

Namely, light does not travel through space at the speed of light; it is not even a particle to begin with.

There is no actual entity moving.

Light is the bearer of interaction, and because we recognize that an interaction occurred, we perceive that light traveled between them.

Therefore, we have never once actually seen light.

What we recognize is solely the fact that an interaction took place.

Particles that transmit force might inherently be things like this.

4. Mass, Geometry, and History

Three axes of $S^7$ are associative, and the remaining four are non-associative.

The three associative ones are relatively free, but severe conditions are imposed on the four non-associative ones.

In ordinary interactions, the non-associative part behaves like a constant.

Since the norm of $S^7$ is fixed, the norm of the four non-associative axes acts as a "weight" relative to the norm of the three associative axes.

In other words, the norm of the four non-associative axes will appear as mass.

And the paired three associative axes correspond to momentum.

Spacetime may be born as the Fourier dual of $S^7$.

If so, the four non-associative axes will produce a slight distortion in spacetime—a distortion roughly proportional to their norm.

Could inertial mass and gravitational mass ever possibly differ?

Ruth Moufang pointed out that the subalgebra carved out by Artin's theorem possesses a discrete, cyclic associative law called a Moufang loop.

The Moufang loop has characteristics resembling rotation.

However, because that rotation exists outside the concept of time, it would appear as rotational motion exceeding the speed of light.

This would correspond to how the properties of elementary particles, such as electron spin, differ completely from ordinary physical laws.

What we can observe must correspond to the invariants of those rotation operations.

In $S^7$, Artin's cuts produce a special geometric arrangement.

Known as the 16-cell, it forms—through the Moufang loop—a miraculous figure called the 24-cell. $S^7$ contains $SU(3)$ symmetry, but when carved out by Artin's theorem, the symmetry becomes incomplete.

But! The 24-cell reconstructed by the Moufang loop contains $SU(3)$ in a discrete form.

$SU(3)$! Discrete! This is precisely the hallmark of elementary particles!

Although the interactions carved out by Artin's theorem are associative, $S^7$ itself remains non-associative.

But do not despair.

The non-associativity of $S^7$ explains a very important fact: namely, that the universe has history.

Non-associativity means things like $(AB)C \neq A(BC)$.

A state where a glass filled with milk is dropped on the floor is by no means the same as a state where the milk is spilled first and then the glass is dropped.

The universe clearly possesses such a property, and that property can be said to be none other than non-associativity.

5. This is just our wish.

Our discussion has expanded greatly, but please remember.

Our starting point was simply the conditions for the universe to be an understandable entity. That was my humble wish.

That was all.

To understand the universe is nothing less than continuing to hold onto that single, solitary wish.

宇宙が理解可能である条件から始まる旅；物理学ポエム

 ちょっとしたポエムを作った。

単なるポエムというわけではないので、解説も追加していこうと思う。

• ポエム解説①相対性理論を再解釈すると量子もつれが理解できる説
• ポエム解説②宇宙を記述可能な代数は１つしかない説
• ポエム解説③S7の物理学は特殊相対論と量子力学を削り出す説
• ポエム解説④時空がS7から生み出されると一般相対論がこぼれる説
• ポエム解説⑤時空の外側の演算子が内部量子数を生む説
• ポエム解説⑥宇宙の外側は観測できないけど、少しは分かることがある説
• ポエム解説⑦究極の理論は宇宙の存在を肯定的に説明する説

「宇宙が何のためにあり、なぜ存在するのかを完全に突き止めた者が現れた瞬間、宇宙は忽ち消え去り、より奇怪で説明のつかない何かに置き換わる。さらに厄介なことに、それはすでに起こってしまった、と主張する者もいる」(ダグラス・アダムス「銀河ヒッチハイク・ガイドガイド」)

序

宇宙にはなぜ法則があるのだろうか？

その発想は逆かもしれない。

宇宙に法則のようなものがあるから、僕たちは宇宙を理解できる。

そして僕らは満足する。

僕たちは宇宙を理解したいのだ。

果たしてそれは成功するだろうか？
そもそも宇宙は僕たちが理解できるようなものではないかもしれない。
それでも僕たちは宇宙は理解できるものだと信じている。
それは根拠のない祈りのようなものだ。

これは僕のささやかな願い。
であれば根源的な問いは次のようになるだろう。

起

宇宙がもし理解可能なものであるならば、宇宙はどのような条件を満たしてなければならないだろうか？

1つ、宇宙における状態あるいは現象は何らかの数に対応させることができる。
その数はどんなものかはわからないけれども、何かしらの法則を当てはめるためには、状態は数のようなものに対応していなければならないだろう。
これはすなわち 記述可能性の要請と言い換えることもできる。

2つ、宇宙の状態は何かしらの代数構造を持つ。
法則とは決まった条件下で予測が可能であるということだ。
条件というのはすなわち何らかの数に対応しており、その数に対して何らかの操作すなわち代数が対応しているはずである。
これはすなわち予測可能性の要請と言い換えることができる。

３つ、その代数は可除性を備えていなければならない。

我々の宇宙は観測可能な範囲で非常に安定して存在している。

もし、宇宙に備わった代数が演算の途中で0を出力するようなものであれば、宇宙はこれほど安定していないだろう。

代数において演算結果が０にならないことを可除性という。

これはすなわち、宇宙の永続性の要請と言える。

アドルフ・フルヴィッツは、これら３つの要請を満たす代数は、実数、複素数、4元数、8元数の４つしかないと証明した。

悲しいかな、宇宙の選択肢は4つしかない。

そして観測事実として、僕たちの宇宙には素粒子という奇妙な粒子？が存在している。

これを4つ目の要請としよう。

すなわち、４つ、宇宙の代数は素粒子の対称性を記述できなければならない。

この奇妙な粒子を記述できる可能性があるのは8元数しかない。

完全な可除性を保証するには、宇宙に許される代数は積のみで構成されねばならない。

そのような条件を持つのは閉じた8元数＝純虚数の$S^7$になる。

$S^7$にはそもそも０が含まれない。

続

$S^7$には結合的な虚数軸３つと非結合的な虚数軸４つが含まれる。
結合的な３つの虚数軸は空間のような性質を持つ。
僕らがよく知る3次元空間はこの結合的な３つの虚数軸と関係するはずだ。

$S^7$が閉じていることを鑑みると、時空速度ということになるだろう。
$S^7$の３つの結合的虚軸は3次元空間の方向を定める。
$S^7$には致命的な弱点がある。
非可換かつ非結合的で演算に厳しい制約が課されてしまう。

身動きできない代数では物理が構成できない。

さて、我々が物理と呼んでいるものの正体は何だろう？

僕たちが物理として考える現象は、2つの状態間の相互作用を最小単位としているということに尽きる。

$S^7$の世界で、少なくとも結合性ぐらいは保障される、そのような演算は存在しないだろうか？

エミール・アルティンは「たとえ代数全体が非結合的であっても、特定の条件を満たす任意の『2つの要素（a と b）』が生成する部分代数は結合的である」と述べている。

$S^7$において、その条件は1つの虚数軸を共有することである。

$S^7$において、1つの虚数軸を共有するとは、２つの状態をヌル条件で結ぶことに対応する。

特殊相対論においてヌル条件とは時空中の2点を1本の光線でつなぐこと。

「観測」の条件であり、それは「相互作用」の条件でもある。

もちろん知っていたさ。

だって、観測は相互作用を通じて行うんだからね。

そして！アルティンの定理で結ばれた２点間の代数からは非結合性が取り除かれ、物理が成立する余裕が生まれる。

でも！未だ非可換だ。

非可換の代数では、演算は余積を通じたものになる。

すなわち！特殊相対論の同時性で結ばれた２点間に余積代数が成立する！

余積代数は別名を量子代数と言う。

おお！これこそ奇跡！

特殊相対論は$S^7$に物理を取り戻し、量子力学を残すのだ。

承

$S^7$から切り出された量子力学は、「２つの状態が特殊相対論の同時の概念で接続されて相互作用する」、というストーリーを与える。

つまり、原因と結果に分類される２つの状態は、相互作用の観点からは同時であり、原因と結果の区別から印象付けられる時間的な順序は存在しないということを説明する。

4次元時空における２つの状態はそれぞれ固有時間が違うので、相互作用の線分との交差角度が違う。

この角度の違いが原因と結果の区別を与える。

特殊相対論は２つの地点に共通の時計の存在を否定したのであるから、離れた地点間の時刻的な前後を議論することはそもそもできなかったんだよ。

片方の地点から、もう片方の地点を見た時に自分の固有時間との角度に応じて、過去や現在とラベル付けしてただけなんだ。

こうして原因と結果の関係を再定義すれば、量子もつれは不思議な現象でもなんでもなくなる。

2つの地点を結ぶ相互作用の線分の角度が、特別な操作によって制御されたものである時に、それを僕たちはエンタングルメントと呼ぶ。

余

このシナリオの最後には1つの衝撃的な結論が控えている。

何と光は空間を光速で移動しているわけではない、 そもそも粒子でもない。

何かしらの存在があるわけでもない、ということだ。

光は相互作用の運び屋であり、僕たちは相互作用があったということを以って、その間に光が移動したと僕たちは認知する。

だから僕たちは光を見たことなんて一度もないんだよ。

僕らが認識しているのは相互作用があったという事実のみだ。

力を伝える粒子というのは、そもそもこういうものかもしれない。

$S^7$の３つの軸は結合的で、残り４つは非結合的だ。

結合的な３つは比較的自由だけど、非結合的な４つは厳しい条件が課される。通常の相互作用では、非結合的な部分は定数のように振る舞うことになる。

$S^7$のノルムは固定なので、非結合的４軸のノルムは結合的３軸のノルムに対して「重し」になる。

すなわち、非結合的４軸のノルムは質量のように見えるだろう。

そして、相方の結合的３軸は運動量、と言うことになる。

時空は$S^7$のフーリエ双対として生まれるかもしれない。

もしそうなら、非結合的４軸は時空にわずかな歪みを生むことになる。

概ねそのノルムに比例する歪みを。

果たして、慣性質量と重力質量は異なることなどあり得るだろうか？

還

ルス・ムーファンは、アルティンの定理で切り出された部分代数にムーファンループと呼ばれる離散的で巡回的な結合則があると指摘した。

ムーファンループは、回転のような特徴を持つ。

ただし、その回転は時間の概念の外側に存在するので、光速を超えた回転運動のように見えるだろう。

電子のスピンなど、素粒子の性質が通常の物理法則と全く異なることと対応するだろう。

僕たちが観測できるのは、それらの回転操作の不変量に対応するはずだ。

$S^7$においてアルティン切断は特殊な幾何学配置を生む。

正16胞体と呼ばれるそれは、ムーファンループによって、正24胞体と言う奇跡の図形を構成する。$S^7$はSU(3)の対称性を含むが、アルティンの定理によって切り出されると対称性が不完全になる。

しかし！ムーファンループで再構成された正24胞体はSU(3)を離散的な形式で含む。

SU(3)！離散的！

これこそ素粒子の特徴！

アルティンの定理によって切り出された相互作用は結合的ではあるけれど、$S^7$自体は依然として非結合的だ。

でも悲観することはない。

$S^7$の非結合性はとても重要な事実を説明してくれる。

すなわち宇宙に歴史があることだ。

非結合性とは、(AB)CとA(BC)が異なることなど。

ミルクの入ったグラスを床に落とした状態と、ミルクをこぼしてからグラスを落とした状態は決して同じではない。

宇宙には明らかにそのような性質があり、その性質はすなわち非結合性と言える。

始

話が大きく広がってしまったけれど、思い出してほしい。

僕たちの出発点は、単に宇宙が理解可能な存在である条件だった。

それは僕のささやかな願い。

それだけだった。

宇宙を理解するとは、そのたった1つの願いを持ち続けることに他ならない。