【AIとつくってみた】「Tex+Gemini」環境は数学独学を加速させる？

以下の投稿に私が数学独習にRやPythonを活用してきた経緯を記しました。まぁ「百聞は一見に如かず」という奴ですね。

最近はもっぱら「TeX+Gemini」。どんな感じかちょっと記してみましょう。まるでTeXがプログラミング言語に進化したかの様な不思議な振る舞いが味わえてなかなか感動ものだったりします。

回転行列を対角化した先に待ち構えていたローレンツ変換とブロッホ球

冒頭の投稿段階において私の回転行列についての知識は以下のレベルくらいまでは到達していたのです。

大体こんなものかと思ってたら、とんでもない続きがありました。なんと回転行列を対角化(Diagonalization)したら(相対性理論で使われる)ローレンツ変換と(量子コンピューターの世界で量子ビット記述に使われる)ブロッホ球の概念が振り出されたのです(新出概念なんて一つだけでも手一杯なのに、同時に２つ!!)。まさにこれが、ただ計算するだけでなく、その幾何学的意味も解説してくれるGeminiならではの概念拡張プロセス!!

まずはローレンツ変換行列$L(\phi) =\begin{bmatrix} \cosh \phi & \pm \sinh \phi \\ \pm \sinh \phi & \cosh \phi \end{bmatrix}$の振る舞いについて追加質問。

Geminiに質問：ローレンツ変換行列$L(ϕ)=\begin{bmatrix} \cosh ϕ & \sinh ϕ \\ \sinh ϕ & cosh ϕ \end{bmatrix}$を用いてドップラー現象を説明してください。

ローレンツ変換行列 $L(\phi) = \begin{bmatrix} \cosh \phi & \sinh \phi \\ \sinh \phi & \cosh \phi \end{bmatrix}$ は、特殊相対性理論における時空の変換を記述するだけでなく、相対論的ドップラー効果を導出するためにも用いられます。

ここでは、この行列を用いてドップラー現象（振動数の変化）をどのように説明するかを解説します。

1. 光の四元波数ベクトル

特殊相対性理論では、光の波の情報を四元波数ベクトル $K^{\mu}$ として扱います。このベクトルは、時間成分に振動数（周波数） $\nu$ を、空間成分に波数 $\mathbf{k}$ を持ちます。

$K^{\mu} = \begin{bmatrix} \nu/c \\ \mathbf{k} \end{bmatrix}$

光速 $c$ で伝播する光について、$\nu = c|\mathbf{k}|$ の関係があります。光が $x$ 軸方向に進む場合、四元波数ベクトルは以下のようになります。

$K = \begin{bmatrix} \nu/c \\ \nu/c \end{bmatrix} \quad (\because \mathbf{k} = k\mathbf{e}_x = (\nu/c)\mathbf{e}_x)$

ここで、$\nu$ は光源の静止系（$S$ 系）で観測される光の振動数です。

2. ローレンツ変換の適用

観測者が光源から遠ざかる方向に一定速度 $v$ で移動している系（$S'$ 系）を考えます。$S'$ 系で観測される振動数 $\nu'$ を求めるために、四元波数ベクトル $K$ をローレンツ変換します。

$v$ に対応する迅速さ（Rapidity） $\phi$ は、$\cosh \phi = \gamma$、$\sinh \phi = \gamma\beta$ で与えられます。ここで $\gamma = 1/\sqrt{1-\beta^2}$、$\beta = v/c$ です。

$K' = L(\phi) K$

$K' = \begin{bmatrix} \cosh \phi & \sinh \phi \\ \sinh \phi & \cosh \phi \end{bmatrix} \begin{bmatrix} \nu/c \\ \nu/c \end{bmatrix}$

$S'$ 系で観測される四元波数ベクトル $K'$ の時間成分（第1成分）が $\nu'/c$ に相当します。

$\frac{\nu'}{c} = \cosh \phi \left(\frac{\nu}{c}\right) + \sinh \phi \left(\frac{\nu}{c}\right)$

両辺に $c$ を掛けて $\nu'$ を求めます。

$\nu' = \nu (\cosh \phi + \sinh \phi)$

3. ドップラー効果の導出

ここで、双曲線関数の基本的な関係式 $e^{\phi} = \cosh \phi + \sinh \phi$ を用います。

$\nu' = \nu e^{\phi}$

$\cosh \phi = \gamma$ と $\sinh \phi = \gamma\beta$ を代入し、ローレンツ因子 $\gamma$ でくくり直すと、

$\nu' = \nu (\gamma + \gamma\beta) = \nu \gamma (1 + \beta)$

$\gamma = 1/\sqrt{1-\beta^2} = 1/\sqrt{(1-\beta)(1+\beta)}$ を代入します。

$\nu' = \nu \frac{1}{\sqrt{(1-\beta)(1+\beta)}} (1 + \beta)$

$\nu' = \nu \frac{\sqrt{1+\beta}\sqrt{1+\beta}}{\sqrt{1-\beta}\sqrt{1+\beta}} = \nu \sqrt{\frac{1+\beta}{1-\beta}}$

速度 $v$ で観測者が光源から遠ざかる場合（$\beta = v/c$）、観測される振動数 $\nu'$$ は:

$\nu' = \nu \sqrt{\frac{1 - v/c}{1 + v/c}}$

これは、相対論的ドップラー効果の公式そのものです。

幾何学的意味

ローレンツ変換行列 $L(\phi)$ は、時空図において慣性系間の軸の回転を表します。ドップラー効果の導出は、静止した光源が出す光を、速度 $v$ で動く観測者の座標系でどのように観測するかを、この時空の回転を通じて計算していることを意味します。

相対論的ドップラー効果には、速度 $v$ による古典的なドップラー効果に加えて、ローレンツ因子 $\gamma$ に由来する時間の遅れ（Time Dilation）の効果が組み込まれています。

Geminiに質問：観測者が光源に近づく場合も計算してください。

承知いたしました。ローレンツ変換行列を用いて、観測者が光源に近づく場合の相対論的ドップラー効果を計算します。

1. ローレンツ変換の適用（観測者が近づく場合）

観測者が光源に速度 $v$ で近づく場合、観測者の慣性系 $S'$ から見ると、光源が速度 $v$ で遠ざかっているのと等価です。しかし、計算の整合性を保つため、元の $S$ 系（光源の静止系）から $S'$ 系（観測者の系）への変換として、速度の符号を反転させます。

相対速度が $-v$ の場合、迅速さ $\phi$ の符号も反転し、$\phi \rightarrow -\phi$ となります。

$\beta = v/c \rightarrow -\beta = -v/c$

ローレンツ変換行列 $L(-\phi)$ は以下のようになります。

$L(-\phi) = \begin{bmatrix} \cosh (-\phi) & \sinh (-\phi) \\ \sinh (-\phi) & \cosh (-\phi) \end{bmatrix}$

ここで、$\cosh$ は偶関数、$\sinh$ は奇関数なので、$\cosh (-\phi) = \cosh \phi$、$\sinh (-\phi) = -\sinh \phi$ です。

$L(-\phi) = \begin{bmatrix} \cosh \phi & -\sinh \phi \\ -\sinh \phi & \cosh \phi \end{bmatrix}$

四元波数ベクトル $K$ は $x$ 軸方向に進む光について $K = \begin{bmatrix} \nu/c \\ \nu/c \end{bmatrix}$ です。

$K' = L(-\phi) K$

$K' = \begin{bmatrix} \cosh \phi & -\sinh \phi \\ -\sinh \phi & \cosh \phi \end{bmatrix} \begin{bmatrix} \nu/c \\ \nu/c \end{bmatrix}$

$S'$ 系で観測される振動数 $\nu'$ は、 $K'$ の時間成分 $\nu'/c$ から得られます。

$\frac{\nu'}{c} = \cosh \phi \left(\frac{\nu}{c}\right) - \sinh \phi \left(\frac{\nu}{c}\right)$

$\nu' = \nu (\cosh \phi - \sinh \phi)$

2. ドップラー効果の導出

双曲線関数の関係式 $e^{-\phi} = \cosh \phi - \sinh \phi$ を用います。

$\nu' = \nu e^{-\phi}$

$\cosh \phi = \gamma$ と $\sinh \phi = \gamma\beta$ を代入し、ローレンツ因子 $\gamma$ でくくり直すと、

$\nu' = \nu (\gamma - \gamma\beta) = \nu \gamma (1 - \beta)$

$\gamma = 1/\sqrt{1-\beta^2} = 1/\sqrt{(1-\beta)(1+\beta)}$ を代入します。

$\nu' = \nu \frac{1}{\sqrt{(1-\beta)(1+\beta)}} (1 - \beta)$

$\nu' = \nu \frac{\sqrt{1-\beta}\sqrt{1-\beta}}{\sqrt{1-\beta}\sqrt{1+\beta}} = \nu \sqrt{\frac{1-\beta}{1+\beta}}$

速度 $v$ で観測者が光源に近づく場合（$\beta = v/c$）、観測される振動数 $\nu'$ は:

$\nu' = \nu \sqrt{\frac{1 + v/c}{1 - v/c}}$

（ここで、$\sqrt{\frac{1-\beta}{1+\beta}}$ の分子・分母に $-1$ を掛けて $\sqrt{\frac{1+\beta}{1-\beta}}$ の形に合わせるため、$\beta \rightarrow - \beta$ の操作で $1-\beta \rightarrow 1+v/c$ となるように、最終公式では $v$ を正として扱っています。）

3. 結論（近づく場合）

観測者が光源に近づく場合、観測される振動数 $\nu'$ は静止振動数 $\nu$ よりも高くなります（青方偏移）。

$\nu' = \nu \sqrt{\frac{1 + v/c}{1 - v/c}}$

これは、前回の遠ざかる場合の公式 $\nu' = \nu \sqrt{\frac{1 - v/c}{1 + v/c}}$ と速度 $v$ の符号が反転していること（分母と分子が入れ替わっていること）に対応しており、相対論的ドップラー効果の計算が正しく行われたことを示しています。

• 以下の投稿ではミクロ経済学における効用概念と天文物理学における円錐曲線を結びつけていますが、すると「自明の場合として一杯目のビールは二杯目のビールより必ず美味しい」なる効用概念のモットーが物理学の世界におけるドップラー効果(青方偏移/赤方偏移)概念と照応してしまう？

これを$\begin{bmatrix} \cosh θi & \pm \sinh θi \\ \pm \sinh θi & \cosh θi \end{bmatrix}=\begin{bmatrix} \cos θ & \pm i \sin θ \\ \pm i \sin θ & \cos θ \end{bmatrix}$と変形させると「回転行列を対角化した結果=ブロッホ球」がポロリと振り出される訳ですが、両者の連続性は数学/物理学的にかなり微妙な感じになってくる様です。

Geminiに質問：ブロッホ球と双曲回転行列$\begin{bmatrix}\cos θ & \pm \sin θ\\ \pm \sin θ & \cos θ\end{bmatrix}$の関係について教えてください。

ブロッホ球と双曲回転行列の関係は、一見すると直接的ではありません。なぜなら、ブロッホ球は量子ビットの状態（ユニタリ変換）を表現するものであり、一方の双曲回転行列はミンコフスキー空間におけるローレンツ変換（非ユニタリ変換）を表現するからです。

しかし、これらの間に存在する関係性は、虚数パラメータを介した数学的な等価性に集約されます。

• ブロッホ球の操作は、実数パラメータによる実数空間の回転（ユニタリ）と強く関連します。

• ローレンツブーストは、実数パラメータによるミンコフスキー空間の回転（非ユニタリ）です。

この二つの行列は、数学的に相似な構造を持ち、虚数パラメータ $\phi = i\theta$ をブースト行列に導入することで、ブロッホ球の操作を表現するユニタリ行列の形式に近い複素行列が得られます。

したがって、ブロッホ球の幾何学は、虚数パラメータの世界に拡張されたローレンツブーストの幾何学と密接な数学的対応関係を持っています。この対応関係は、ブロッホ球が持つSU(2)対称性と、ローレンツ変換が持つSL(2, C)対称性の間の数学的構造の類似性に基づいています。

実は最近、圏論の勉強も始めていてこの辺りの「似てる」概念統合に役立てば嬉しいな、とか思ってたりします。

Geminiに質問：ブロッホ球の振る舞いについて双曲回転行列$\begin{bmatrix}\cos θ & \pm \sin θ\\ \pm \sin θ & \cos θ\end{bmatrix}$を用いて説明してください。

ブロッホ球の振る舞いを双曲回転行列 $L = {\begin{bmatrix}\cos \theta & \pm \sin \theta\\ \pm \sin \theta & \cos \theta\end{bmatrix}}$ を用いて直接説明することは、数学的な厳密性からいうと適切ではありません。

理由は、ブロッホ球上の状態遷移がユニタリ行列で記述されるのに対し、お示しの行列は$\mathbf{\sin\theta}$成分が実数であるため、ブロッホ球の変換を表す量子ゲート（複素ユニタリ行列）の形式とは一致しないからです。

しかし、これらの行列の固有値の構造と虚数パラメータの関係を用いることで、ブロッホ球の振る舞いとの強い類似性を説明できます。

1. ブロッホ球の振る舞いを記述する行列（ユニタリ行列）

ブロッホ球上の状態遷移は、量子ゲート（ユニタリ変換）によって記述されます。

• 実際の量子ゲート（例：$R_x$ ゲート）の形式:

  1. $\mathbf{U}(\phi) = \begin{bmatrix}\cos(\phi/2) & -i\sin(\phi/2)\\ -i\sin(\phi/2) & \cos(\phi/2)\end{bmatrix}$

  2. この行列は複素ユニタリ行列であり、行列式は $1$ です。この行列が作用すると、量子ビットの状態ベクトルはブロッホ球の表面上を長さを保ちながら回転します。

2. お示しの双曲回転行列の性質（非ユニタリ）

お示しの行列は、$\sin\theta$ 成分が実数であるため、実数平面上の回転行列 $\mathbf{R}(\theta)$ に符号が異なる成分を持つ形です。

$\mathbf{L} = \begin{bmatrix}\cos \theta & \pm \sin \theta\\ \pm \sin \theta & \cos \theta\end{bmatrix}$

この行列の行列式は $\det(\mathbf{L}) = \cos^2\theta - \sin^2\theta = \mathbf{\cos(2\theta)}$ であり、一般に $1$ ではないため、ユニタリ行列ではありません。これはベクトルの長さを保存せず、ブロッホ球上の振る舞いを直接記述することはできません。

3. 数学的類似性による説明

ブロッホ球の振る舞いと行列 $\mathbf{L}$ の関連性は、固有値の振る舞いを比較することで理解できます。

i) 量子ゲートの固有値（ユニタリ）

真の量子ゲート $\mathbf{U}(\phi)$ の固有値は、常に単位円上に位置し、互いに複素共役の関係にあります。

$\Lambda_{\mathbf{U}} = \left\{e^{+i\phi/2}, e^{-i\phi/2}\right\}$

これは、ブロッホ球上の操作が純粋な位相回転（長さを変えないユニタリ変換）であることを示しています。

ii) 双曲回転行列 $\mathbf{L}$ の固有値（非ユニタリ）

行列 $\mathbf{L}$ の固有値を計算すると、次のようになります（ここでは $\begin{bmatrix}\cos \theta & \sin \theta\\ \sin \theta & \cos \theta\end{bmatrix}$ の場合を考えます）。

$\lambda = \cos\theta \pm \sin\theta$

$\Lambda_{\mathbf{L}} = \{\mathbf{\cos\theta + \sin\theta}, \mathbf{\cos\theta - \sin\theta}\}$

• これらの固有値は一般に実数であり、$\theta$ が変化すると $[-1, 1]$ の範囲を超えて拡大・縮小します。

iii) 結論：数学的フレームワークの違い

ブロッホ球の振る舞いは、常に長さを保存する回転であり、固有値が実数軸上で伸縮するような操作では説明できません。

したがって、お示しの行列は、ブロッホ球上の量子状態の振る舞いを表す量子ゲートとは、数学的および物理的性質が異なるため、直接的な説明には使用できません。

やれやれ$\cosh θi=\cos θ,\sinh θi=-i \sin θ$としなかったので、怒られが発生してしまいました。そこを直したら大分近付いた様ですが、どうやら「完全に同じ」ではないらしい？

Geminiに質問：ブロッホ球の振る舞いについて双曲回転行列$\begin{bmatrix}\cos θ & \pm \sin θi\\ \pm \sin θi & \cos θ\end{bmatrix}$を用いて説明してください。

お示しいただいた行列は、ブロッホ球の振る舞いを記述する量子ゲート（ユニタリ変換）の形式と数学的に非常に強い類似性を持ちます。

この行列は、前回の質問で検討した実数の $\sin\theta$ を持つ双曲回転行列とは異なり、非対角成分に虚数 $i$ が含まれているため、ブロッホ球の振る舞いと関連付けて説明することができます。

1. 行列の性質と量子ゲートとの関係

お示しいただいた行列 $\mathbf{U}(\theta)$ の形式は、以下のようになります。

$\mathbf{U}(\theta) = \begin{bmatrix}\cos \theta & \pm i\sin \theta\\ \pm i\sin \theta & \cos \theta\end{bmatrix}$

ここでは、例として非対角成分が $\mathbf{+i\sin\theta}$ の場合、すなわち $U_x(\theta) = \begin{bmatrix}\cos \theta & i\sin \theta\\ i\sin \theta & \cos \theta\end{bmatrix}$ を考えます。

i) ユニタリ性の確認

この行列のエルミート共役 $\mathbf{U}^\dagger$ を求めます。

$\mathbf{U}^\dagger = \begin{bmatrix}\cos \theta & -i\sin \theta\\ -i\sin \theta & \cos \theta\end{bmatrix}$

ここで $\mathbf{U}^\dagger \mathbf{U}$ を計算すると、

$\begin{aligned} \mathbf{U}^\dagger \mathbf{U} &= \begin{bmatrix}\cos \theta & -i\sin \theta\\ -i\sin \theta & \cos \theta\end{bmatrix} \begin{bmatrix}\cos \theta & i\sin \theta\\ i\sin \theta & \cos \theta\end{bmatrix} \\ &= \begin{bmatrix} \cos^2\theta - i^2\sin^2\theta & i\cos\theta\sin\theta - i\sin\theta\cos\theta \\ -i\sin\theta\cos\theta + i\cos\theta\sin\theta & -i^2\sin^2\theta + \cos^2\theta \end{bmatrix} \\ &= \begin{bmatrix} \cos^2\theta + \sin^2\theta & 0 \\ 0 & \sin^2\theta + \cos^2\theta \end{bmatrix} = \begin{bmatrix} 1 & 0 \\ 0 & 1 \end{bmatrix} = \mathbf{I}\end{aligned}$

$\mathbf{U}^\dagger \mathbf{U} = \mathbf{I}$ より、この行列はユニタリ行列です。ユニタリ行列は、ブロッホ球上の量子状態の長さを保存し、回転を記述するのに適しています。

ii) 量子ゲートとの比較

この行列は、ブロッホ球上の特定の軸周りの回転ゲートと非常に似た形式です。

• $R_x$ 軸周りの回転ゲート: $R_x(\phi) = \begin{bmatrix}\cos(\phi/2) & -i\sin(\phi/2)\\ -i\sin(\phi/2) & \cos(\phi/2)\end{bmatrix}$

• $R_y$ 軸周りの回転ゲート: $R_y(\phi) = \begin{bmatrix}\cos(\phi/2) & \sin(\phi/2)\\ -\sin(\phi/2) & \cos(\phi/2)\end{bmatrix}$

ご提示の行列 $U_x(\theta)$ は、回転角 $\phi$ を $2\theta$ とし、非対角成分の虚数の符号を調整することで、$x$ 軸周りの回転ゲート $R_x(2\theta)$ と関連付けられます。

2. ブロッホ球の振る舞いへの適用

行列 $\mathbf{U}(\theta)$ が量子ビットの状態ベクトル $\vert \psi \rangle = \begin{bmatrix}c_0 \\ c_1\end{bmatrix}$ に作用するとき、ブロッホ球上で以下の幾何学的振る舞いを記述します。

i) $\mathbf{U}(\theta)$ による回転

行列 $\mathbf{U}(\theta) = \begin{bmatrix}\cos \theta & i\sin \theta\\ i\sin \theta & \cos \theta\end{bmatrix}$ は、量子状態をブロッホ球上で虚数軸（または $x$ 軸）周りに $2\theta$ 回転させる操作に相当します。

• 作用のイメージ: ブロッホ球上の状態ベクトル $\mathbf{r} = (x, y, z)$ が、その$x$ 軸周りに角度 $2\theta$ だけ動きます。

  • 例: $|0\rangle$ 状態（$Z$ 軸の北極）は、この操作によって $X$ 軸に沿って動きます。$\theta = \pi/2$ のとき、$|0\rangle$ は $i|1\rangle$ に変換され、ブロッホ球上では $X$ 軸の北極側に移動します。

ii) 振る舞いの解析（固有値）

行列 $\mathbf{U}(\theta)$ の固有値は、

$\Lambda_{\mathbf{U}} = \{e^{+i\theta}, e^{-i\theta}\}$

となります。

1. ユニタリ性: 固有値がすべて単位円上にあるため、ベクトルを変換しても長さは不変であり、ブロッホ球上の表面から離れることはありません。

2. 位相操作: 固有値が $\theta$ に依存する位相 $e^{\pm i\theta}$ であることから、この操作がブロッホ球の固有ベクトルが張る軸（この場合は $(\mathbf{v}_1=\begin{smallmatrix}1\\1\end{smallmatrix})$ と $(\mathbf{v}_2=\begin{smallmatrix}1\\-1\end{smallmatrix})$）に沿って、相対的な位相変化を生成し、その結果として回転運動を引き起こしていることがわかります。

結論

お示しいただいた行列は、非対角成分に虚数を含むことでユニタリ性を確保しており、ブロッホ球上では長さが保存された純粋な回転（量子ゲート操作）という振る舞いを記述します。これは、ミンコフスキー空間の双曲回転が、特定の複素基底で表現された際に得られる、幾何学的等価性を示す例です。

こちらは流石に途方にくれるしかない感じですが、ふと2010年代tumbr流フェミニズムが切迫性判断の基準に用いていた「家事と育児を夫が担当しなければ妻が担当せざるを得ない状況」と結びつける事を思いつきました。

• 特定の家事や育児関連の所作が妻か夫に完全に紐づけられておらず、確率でなんとなく管理されてる状況を想定する。

• 「(確率を一定に保つ為の)担当回数のフィードバック制御」が行われているものとする。

さてこういう状況、量子ゲートで考えるとどんな表現になるのやら…とりあえず「人間と人工知能にはこんな協業展開もあり得る」という一例として。

今回「AIとつくってみた」のは何？

お題を回収しとくと、今回「AIとつくってみた」のは「学習環境」という話になるかと。投稿にある通り、この環境のお陰で色々考えが捗ってます。そんな感じで以下続報…