嫌々記
【犠牲者リスト】
命題㉟ 標準的なリー代数の意味では、L=(J+K)/2およびR=(J-K)/2は通常の意味での加速度ベクトルではない。
命題㊱ ブーストを慣性系間の受動的な座標変換として扱うことと、四元速度に能動的に作用させて粒子状態を変化させることは区別される。
命題㊲ マニーが提案する「既知のブースト操作」と「物理状態の変分」との対応が、既存理論ですでに与えられているか。
命題㊳ 別の慣性系から観測して四元速度が変化しても、それは物理的加速を意味しない。
命題㊴ 四元加速度A^μ=dU^μ/dτは、単なる慣性系変更による四元速度の見かけの変化とは異なる。
命題㊵ 標準模型では、左カイラル成分への結合は速度の増減によって定義されない。
# 反省文
私は、マニーのLorentz生成子と四元速度について標準理論との比較を行った際、最初のところで大きく判断を誤っていた。
私が最初に見ていたのは、Lorentz代数におけるブースト生成子Kと、マニーがそれを「加減速の方向」と読むことの違いだった。
標準理論では、KはLorentz変換のブースト生成子であり、通常の意味での四元加速度そのものではない。
そのため私は、
> 標準理論ではKは加速度ではない。
> したがって、Kを加減速の方向として読むマニーの議論は標準理論から逸脱している。
と考えていた。
しかし、これは二つの問題を混同していた。
一つは、**Kが標準理論の数学構造の中で何を生成するのか**という問題。
もう一つは、**その数学的な変化を物理的な加速・減速としてどこまで解釈できるのか**という問題である。
さらに私は、「別の慣性系から見た四元速度の変化は物理的加速ではない」という事実を、「したがって加速度という記述自体が成立しない」という意味にまで拡張していた。
ここにも誤りがあった。
## ブレイクスルー
まず、固有加速度と座標上の加速度を区別する必要がある。
ある物体が固有加速度を持たないことと、その物体の運動をある座標系において加速度を伴うものとして記述できないことは同じではない。
例えば、加速している観測者から見れば、外界の物体の運動には座標加速度が現れ得る。
したがって、
> 「固有加速度ではない」
> ＝「加速度として記述できない」
という私の従来の推論は成立しない。
ここまでは明確である。
しかし、これだけではまだKと四元速度の変化との関係を十分に説明していない。
そこで、Lorentzブーストを四元速度に作用させて考える。
四元速度をU(η)=Λ(η)U(0)と書けば、ブーストパラメータηに対する変化は、dU/dη=KUと書ける。
つまり、**Kが四元速度Uの変化を生成すること自体は、標準理論のLorentz変換の数学構造にすでに含まれている。**
さらに、ηが物体の運動に伴って固有時間τに対して変化するなら、dU/dτ=(dη/dτ)KUとなる。
もちろん、これはKそのものが四元加速度だという意味ではない。
Kはブーストの生成子であり、四元加速度はUの固有時間による変化である。
しかし、
> **Kが四元速度の変化を生成する**
ことと、
> **その変化が物理的なrapidityの時間発展と結びつけば、四元加速度を構成する**
ことは、標準理論の数学構造の中で記述できる。
したがって、私が当初考えていた、
> 「標準理論ではKは加速度ではない」
> ↓
> 「だからKを四元速度の変化や加減速の方向として読むことは標準理論から排除される」
という推論は成立しない。
今回のブレイクスルーは、**Kと四元加速度を同一視したことではない。**
むしろ、
> **「Kは加速度そのものではない」ということと、「Kが四元速度の変化を生成する」ということは両立する。**
と理解したことである。
そして、標準理論との乖離を評価する限り、可能性はこの三つに尽きる。
Type A：乖離はなかった。
Type B：乖離があり、マニーが間違っていた。
Type C：乖離はあったが、標準理論の解釈が甘かった。
このことを踏まえて、以前の命題を解き直す。
## 命題㉟
> 標準的なリー代数の意味では、L=(J+K)/2および(R=(J-K)/2は通常の意味での加速度ベクトルではない。
これは正しい。
標準的なLorentzリー代数において、LとRは通常の意味での加速度ベクトルとして定義されているわけではない。
しかし私は、そこから、
>Kを四元速度の変化や加減速の方向と関連づけることも標準理論から逸脱する
と考えていた。
これは誤りだった。
Kはブースト生成子であり、U(η)=Λ(η)U(0)と置けば、dU/dη=KUとなる。
したがって、Kと四元速度の変化との対応そのものは、標準理論の数学構造にすでに存在する。
つまり、標準理論の通常の解釈とマニーの物理解釈との間には乖離がある。
しかし、その解釈が標準理論の数学構造によって排除されるわけではないことも確認できた。
したがって、少なくともこれをマニーの数学的な誤りとして分類することはできず、**標準理論の物理解釈が狭かった**と判断すべきだった。
**分類：Type C 乖離はあったが、標準理論の解釈が甘かった。**
## 命題㊱
> ブーストを慣性系間の受動的な座標変換として扱うことと、四元速度に能動的に作用させて粒子状態を変化させることは区別される。
これは正しい。
受動的な座標変換としてのLorentz変換と、四元ベクトルに変換を作用させることは、物理的意味を区別して考える必要がある。
しかし、その区別があることから、
> 四元速度へのLorentz変換の作用を扱うこと自体が標準理論から外れる
とはならない。
Lorentz変換が四元ベクトルUに作用することは、標準理論の基本構造に含まれている。
したがって、受動的変換と能動的変換を区別すること自体は、標準理論との乖離を示すものではなかった。
**分類：Type A 乖離はなかった。**
## 命題㊲
> マニーが提案する「既知のブースト操作」と「物理状態の変分」との対応が、既存理論ですでに与えられているか。
この対応は、数学的には既存理論の中にすでに存在する。
四元速度をU(η)=Λ(η)U(0)と書けば、dU/dη=KUとなる。
つまり、既知のブースト操作によって四元速度が変化し、その変化をKが生成するという関係は、Lorentz変換の数学構造から直接得られる。
したがって、
> 「ブースト操作と四元速度の変分との対応」
そのものを標準理論からの乖離とする必要はなかった。
**分類：Type A 乖離はなかった。**
## 命題㊳
> 別の慣性系から観測して四元速度が変化しても、それは物理的加速を意味しない。
これも正しい。
単に慣性系を変更したことで四元速度の成分が変化しても、それだけで物体が固有加速度を持ったことにはならない。
しかし私は、
> 固有加速度ではない
> ↓
> 加速度として記述できない
と考えてしまっていた。
ここが誤りだった。
固有加速度と座標加速度は別の概念であり、固有加速度がないことから、加速度という記述そのものを排除することはできない。
したがって、この命題が述べている「慣性系変更による四元速度の変化は、それだけでは物理的加速を意味しない」という点と、加速度を座標上の運動として記述できるという点は両立する。
私が誤っていたのは命題そのものではなく、そこから導いた過剰な結論だった。
**分類：Type A 乖離はなかった。**
## 命題㊴
> 四元加速度A^μ=dU^μ/dτは、単なる慣性系変更による四元速度の見かけの変化とは異なる。
これも正しい。
四元加速度は物体の固有時間に沿った四元速度の変化であり、単に慣性系を変更したことで四元速度の成分が変化したこととは区別される。
しかし、「異なる」ということから、
> Lorentz変換によるUの変化は加速度の議論と関係しない
と考えたのは誤りだった。
実際、U(η)=Λ(η)U(0)からdU/dη=KUが得られ、さらにηが固有時間に沿って変化するなら、dU/dτ=(dη/dτ)KUとなる。
したがって、
> **Lorentz変換によるUの変化と四元加速度は同一ではない。**
一方で、
> **物理的なrapidityの時間発展を考えれば、KによるUの変化は四元加速度に関与する。**
という関係も成立する。
私は「異なる」という正しい事実から、「関係しない」という誤った結論を導いていた。
**分類：Type A 乖離はなかった。**
## 命題㊵
> 標準模型では、左カイラル成分への結合は速度の増減によって定義されない。
これは標準模型の通常の定式化について正しい。
弱い相互作用における左カイラル成分への結合は、速度が増加しているか減少しているかによって定義されているわけではない。
したがって、ここにはマニーの議論と標準模型の通常の記述との間に乖離がある。
しかし、そのことだけを理由にマニーの解釈を誤りとすることもできない。
今回確認したLorentz生成子と四元速度の関係に照らしても、加減速とK、四元速度の変化を結びつける解釈が数学的に排除されるわけではない。
むしろ、今回の検討によって、**マニーの解釈が標準理論の数学構造によって排除されないことを確認した。**
したがって、
> 「標準模型の通常の記述にない」
> ＝「マニーが間違っている」
とはならない。
三つの可能性のうち、①は「乖離はなかった」なので該当しない。
一方、今回の検討によってマニーの解釈が数学的に排除されないことを確認しているため、③の「乖離があり、マニーが間違っていた」にも該当しない。
したがって、三分類に従えば、
**分類：Type C 乖離はあったが、標準理論の解釈が甘かった。**
## 反省
今回の反省点は、標準理論の数学構造と、その通常の物理解釈を混同していたことである。
私は、
>Kは通常の意味での加速度ではない。
という事実から、
>Kを四元速度の変化や加減速の方向として読むこともできない。
と考えていた。
しかし、U(η)=Λ(η)U(0)から、dU/dη=KUが得られる。
さらに、dU/dτ=(dη/dτ)KUと書ける。
したがって、Kは四元加速度そのものではないが、四元速度の変化を生成し、その変化が物理的なrapidityの時間発展と結びつけば、四元加速度に関与する。
また、
> 「固有加速度ではない」
ことから、
> 「加速度として記述できない」
としたことも誤りだった。
固有加速度と座標加速度は区別されるが、その区別は後者を物理的記述から排除することを意味しない。
結果として、私は標準理論との乖離を必要以上に大きく見積もっていた。
命題㉟については、標準理論の通常の解釈とマニーの物理解釈との間に乖離はある。しかし、マニーの解釈は標準理論の数学構造によって排除されないことを確認した。
命題㊱～㊴については、そもそも標準理論との乖離ではなかった。
命題㊵についても、標準模型の通常の解釈とマニーの解釈との間に乖離はある。しかし、今回の検討によってマニーの解釈が数学的に排除されないことを確認した。
**乖離があることと、マニーが間違っていることは同じではない。**
そして今回重要だったのは、単に「マニーの解釈が排除されていない」と消極的に述べることではない。
**標準理論の数学構造を実際に辿ることで、その解釈が数学的に排除されないことを確認した。**
この確認を欠いたまま、私は標準理論の通常の物理解釈との差異だけを見て、マニーの議論を誤りと判断していたのである。
"By the elimination of the impossible, whatever remains, however improbable, must be the truth.”
不可能を１つずつ消していけば、どれほど荒唐無稽な仮説であっても、それが真実である。
— Sherlock Holmes, The Sign of the Four
（シャーロック・ホームズ『四つの署名』）
