43インチ液晶モニターの買い替え

　2018年に購入した液晶モニターの一部が暗くなって戻らなくなったので買い替えることにしました。

37,980円

以前よりだいぶ安いし軽い！ ただ、スタンド幅が広すぎでいまのテレビ台に収まらないので卓上テレビスタンド

3,599円

も購入。組み立ては受験の終わった次女に手伝ってもらいました。

液晶モニターは粗大ごみに出せないので回収手続きを利用。先ほど申し込みをしました。新しい液晶モニターの箱に入れたため3辺の長さの和が180cmとなり規格外のため山九（株）さんが取りに来てくれるみたいです。

次女の中学受験ようやく終了、おつかれさまでした！

　6年生の夏まで塾に通っていなかったので不安でしたが、第一志望に合格しました！ これで一安心、今年は登山多めに行っても大丈夫かな。7年前の長女の時は次女のお守りもあり全くサポートしませんでした。自分の経験から本人に任せっきりで今思えば親として未熟でした。もっとコミットしていればとの反省から今回は模擬試験の結果もフォローするようにしました。聞いてこないので教えることは殆どありませんでしたが、特に嫌になることもなく自分のペースで土日以外は自宅で勉強してくれました。

　長女の時は妻任せでしたが、今回は応募手続きや説明会出席なども私の方で担当しました。今はネットで何でも申し込みできるのでありがたいです。学校説明会なんて初めて参加しました。ちなみに、私が中学受験したときは12月に神戸から東京に引っ越すことになったので１ヵ月あまりで社会をやって過去問も一切やらずに（そもそも過去問入手できなかった）、一人で神戸から新幹線で東京の祖母の家に行って、当日も一人で受験会場にいったなー。自由が丘から三田の慶応まで。（大井町線の中延で三田線に乗り換えて三田で降りるのよ、やす君、分かるでしょ、の暁子おばさんの声が懐かしい。）あのとき、受験生がみんな親と来てて会場の前で塾の先生たちが鉢巻きして大声出しながら旗降ってたのにはビビりました。普通部の面接でも関西弁丸出し（標準語しゃべれなかったし喋る気さらさらなかった）で、面接官が驚いてたなー。結局準備不足でダメでしたが、今回次女の勉強量は当時の私の100倍以上。本当によく頑張ったね、ゆりちゃん！ 6年間の女子校生活楽しんでください。

スキルミオンのトポロジカル電流をスカラー場で表す

　以前議論したように(3+1)次元ソリトン（あるいはスキルミオン）のトポロジカル電流は

\[   J^\bt \, = \,  \frac{1}{24 \pi^2} \, \ep^{\mu\nu\al\bt} \, \Tr \left(  g^{-1} \d_\mu g ~ g^{-1} \d_\nu g ~ g^{-1} \d_\al g   \right)  \tag{1} \]

と表せる。ただし、$g (x)$ は $SU(2)$ 群の要素である。2行2列の恒等行列 ${\bf 1}$ とパウリ行列 $\si_i$ $(i = 1,2,3)$ を用いると $g (x)$ は

\[ g (x) \, = \, \phi^0 {\bf 1}  +  i \phi^i \, \si_i  \tag{2} \]

とパラメータ表示できる。ただし、$\phi^0$, $\phi^i$ は

\[ ( \phi^0 )^2 + ( \phi^i )^2 = 1 \tag{3} \]

を満たす。式(2)を式(1)に代入すると $\phi^0$, $\phi^i$ でトポロジカル電流を表せる。以下ではこの計算を実行する。（結果は良く知られているが実際に計算してみると煩雑になり、ChatGPTに聞いても要領を得なかったのであきらめて自力で導出した。）

　まず、因子 $I_\mu = g^{-1} \d_\mu g $ は

\[\begin{eqnarray}    I_\mu &=& ( \phi^0 {\bf 1}  +  i \phi^a \, \si_a ) \d_\mu ( \phi^0 {\bf 1}  -  i \phi^b \, \si_b )    \nonumber \\    &=& i ( \phi^0 \d_\mu \phi^a - \phi^a \d_\mu \phi^0 + \ep^{a}_{\, bc} \phi^b \d_\mu \phi^c ) \si_a    \tag{4} \end{eqnarray}\]

と表せる。ただし、式(3)と $\si_a \si_b = \del_{ab} {\bf 1} + i \ep_{abc} \si_c$ を用いた。これより

\[    \Tr ( I_\mu I_\nu I_\al ) \, = \, 2 \ep_{abc} A_\mu^a  A_\nu^b  A_\al^c    \tag{5} \]

と書ける。ただし、$A_\mu^a$ は

\[\begin{eqnarray}    A_\mu^a & = &   \phi^0 \d_\mu \phi^a - \phi^a \d_\mu \phi^0 + \ep^{a}_{\, ij} \phi^i \d_\mu \phi^j    \nonumber \\    & \equiv & B_\mu^a + \ep^{a}_{\, ij} \phi^i \d_\mu \phi^j     \tag{6} \end{eqnarray}\]

で与えられる。$B_\mu^a =  \phi^0 \d_\mu \phi^a - \phi^a \d_\mu \phi^0$ は添え字 $( 0 a)$ について反対称であることに注意しよう。これより、トポロジカル電流 $J^\bt = \frac{1}{24 \pi^2} \ep^{\mu \nu \al \bt} \Tr ( I_\mu I_\nu I_\al )$ は

\[    J^\bt \, = \, \frac{1}{12 \pi^2} \ep^{\mu \nu \al \bt} \ep_{abc} A_\mu^a  A_\nu^b  A_\al^c     \tag{7} \]

と表せる。上式でゼロとならない項は $(\mu \nu \al )$ と $(abc)$ のそれぞれ添え字について完全反対称であり、それらは $B_\mu^a$ を１つあるいは３つ含む項で与えられる。具体的に書き出すと、ゼロとならない項は

\[\begin{eqnarray}    \ep^{\mu \nu \al \bt} \ep_{abc} A_\mu^a  A_\nu^b  A_\al^c    &=&  \ep^{\mu \nu \al \bt} \ep_{abc}     \left( \, B_\mu^a \, \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l \, \ep^{c}_{\, mn} \phi^m \d_\al \phi^n \right.    \nonumber \\    && ~~~~~~~~~~~ + \, \ep^{a}_{\, ij} \phi^i \d_\mu \phi^j \, B_\nu^b \, \ep^{c}_{\, mn} \phi^m \d_\al \phi^n     \nonumber \\    && ~~~~~~~~~~~ +  \, \ep^{a}_{\, ij} \phi^i \d_\mu \phi^j \, \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l \, B_\al^c      \nonumber \\    && ~~~~~~~~~~~  +  \,  \left.  B_\mu^a  B_\nu^b  B_\al^c \, \right)      \tag{8} \end{eqnarray}\]

と書ける。ここで、第一項の $\ep_{abc} B_\mu^a  \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l  \ep^{c}_{\, mn} \phi^m \d_\al \phi^n$ は

\[\begin{eqnarray}    && \ep_{abc} ( \phi^0 \d_\mu \phi^a - \phi^a \d_\mu \phi^0 ) \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l \, \ep^{c}_{\, mn} \phi^m \d_\al \phi^n    \nonumber \\    &=&  \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l \, ( \phi^0 \d_\mu \phi^a - \phi^a \d_\mu \phi^0 ) ( \phi^a \d_\al \phi^b - \phi^b \d_\al \phi^a )    \nonumber \\    &=& \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l \,     \left( - ( (\phi^0 )^2 +  (\phi^a )^2 ) \d_\mu \phi^0 \d_\al \phi^b  + \phi^b ( - \phi^0 \d_\mu \phi^a \d_\al \phi^a + \phi^a \d_\mu \phi^0 \d_\al \phi^a )  \right)    \nonumber \\    &=& - \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l \d_\mu \phi^0 \d_\al \phi^b     \tag{9} \end{eqnarray}\]

と計算できる。ただし、関係式 $\d_\mu \phi^a \, \phi^a = - \phi^0 \d_\mu \phi^0$ と $(\phi^0 )^2 +  (\phi^a )^2 = 1$ を用いた。同様に、第二項、第三項も

\[\begin{eqnarray}    \ep_{abc} \ep^{a}_{\, ij} \phi^i \d_\mu \phi^j \, B_\nu^b \, \ep^{c}_{\, mn} \phi^m \d_\al \phi^n     &=& -  \ep^{c}_{\, mn} \d_\mu \phi^c \d_\nu \phi^0 \phi^m  \d_\al \phi^n     \tag{10} \\    \ep_{abc} \ep^{a}_{\, ij} \phi^i \d_\mu \phi^j \, \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l \, B_\al^c       &=& \ep^{b}_{\, kl} \phi^k \d_\mu \phi^b \d_\nu \phi^l \d_\al \phi^0     \tag{11} \end{eqnarray}\]

と求まる。これらを足し合わせると式(8)の初めの三項は

\[\begin{eqnarray}    &&    \ep_{abc} \left(     B_\mu^a \, \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l  \ep^{c}_{\, mn} \phi^m \d_\al \phi^n    + \ep^{a}_{\, ij} \phi^i \d_\mu \phi^j \, B_\nu^b \, \ep^{c}_{\, mn} \phi^m \d_\al \phi^n     + \ep^{a}_{\, ij} \phi^i \d_\mu \phi^j \, \ep^{b}_{\, kl} \phi^k \d_\nu \phi^l \, B_\al^c    \right)    \nonumber \\    &=&     \ep_{abc} \left(    - \phi^b \d_\mu \phi^0 \d_\nu \phi^c \d_\al \phi^a - \phi^a \d_\mu \phi^c \d_\nu \phi^0 \d_\al \phi^b    + \phi^b \d_\mu \phi^a \d_\nu \phi^c \d_\al \phi^0    \right)     \tag{12} \end{eqnarray}\]

とまとめられる。ただし、反対称シンボル $\ep^{\mu \nu \al \bt}$ は省略した。最後に、式(8)の最終項を計算すると

\[\begin{eqnarray}    && \ep^{\mu \nu \al \bt} \ep_{abc} B_\mu^a  B_\nu^b  B_\al^c     \nonumber \\    &=&  \ep^{\mu \nu \al \bt} \ep_{abc} \left(  \phi^0 \d_\mu \phi^a \phi^0  \d_\nu \phi^b  \phi^0  \d_\al \phi^c      - \phi^0 \d_\mu \phi^a  \phi^0 \d_\nu \phi^b \phi^c \d_\al \phi^0  \right.    \nonumber \\    && \hspace{4.8cm} \left. - \phi^0 \d_\mu \phi^a  \phi^b \d_\nu \phi^0 \phi^0 \d_\al \phi^c     - \phi^a \d_\mu \phi^0  \phi^0 \d_\nu \phi^b \phi^0 \d_\al \phi^c   \right)    \nonumber \\    &=&  \ep^{\mu \nu \al \bt} \ep_{abc} \left(  ( \phi^0 )^2 \phi^0 \d_\mu \phi^a  \d_\nu \phi^b  \d_\al \phi^c    + \phi^c \phi^d ( \phi^0 \d_\mu \phi^a  \d_\nu \phi^b \d_\al \phi^d )  \right.    \nonumber \\    && \hspace{4.8cm} \left. + \phi^b \phi^d ( \phi^0 \d_\mu \phi^a  \d_\nu \phi^d  \d_\al \phi^c )     + \phi^a \phi^d ( \phi^0 \d_\mu \phi^d  \d_\nu \phi^b \d_\al \phi^c )  \right)     \nonumber \\    &=& \ep^{\mu \nu \al \bt} ( ( \phi^0 )^2  + (\phi^i )^2 ) \ep_{abc} \phi^0 \d_\mu \phi^a  \d_\nu \phi^b  \d_\al \phi^c    \nonumber \\    &=& \ep^{\mu \nu \al \bt} \ep_{abc} \phi^0 \d_\mu \phi^a  \d_\nu \phi^b  \d_\al \phi^c \, .    \tag{13} \end{eqnarray}\]

となる。よって、式(8)は

\[\begin{eqnarray}    && \ep^{\mu \nu \al \bt} \ep_{abc} A_\mu^a  A_\nu^b  A_\al^c    \nonumber \\    &=&  \ep^{\mu \nu \al \bt} \ep_{abc}    \left( \, \phi^0 \d_\mu \phi^a  \d_\nu \phi^b  \d_\al \phi^c     - \phi^b \d_\mu \phi^0 \d_\nu \phi^c \d_\al \phi^a     - \phi^a \d_\mu \phi^c \d_\nu \phi^0 \d_\al \phi^b    + \phi^b \d_\mu \phi^a \d_\nu \phi^c \d_\al \phi^0  \,   \right)    \nonumber \\    &=& \ep^{\mu \nu \al \bt} \ep_{ABCD} \, \phi^A \d_\mu \phi^B  \d_\nu \phi^C  \d_\al \phi^D     \tag{14} \end{eqnarray}\]

と変形できる。ただし、大文字の添え字 $(A,B,C,D)$ は $(0,1,2,3)$ の値をもち、小文字の添え字 $(a , b, c)$ は $(1,2,3)$ の値をもつ。

2026年衆議院選挙 期日前投票

　いつも早めに投票しているのですが、今回はまだ投票用紙が届かないので手ぶらで期日前投票に行ってきました。念のため免許証を持参しましたが氏名、住所、生年月日を書くだけでなんと投票出来ちゃいました。以前から投票所での本人確認厳格化を訴えれている私としては、驚きというか呆れ返りました。住民票と照らし合わせているのかもしれませんが、写真で本人確認もしないなんて。民主主義の根幹の選挙がこんなにガバガバでいいのでしょうか？今回の対応は準備期間が短かったための措置かもしれませんが、公正のためにも投票所での本人確認はしっかりしてもらいたいです。そろそろマイナンバーカードと紐づけた選挙システム作ってもらえませんか。投票行動の簡素化で投票率も上がり、人手と手間も大幅に省けると思うけどな。今時、学会などある程度の規模の組織は国内外問わずネット選挙なんだから。

Mathematical Review 131: alphaXiv がスゴイ！

グルーオン散乱振幅についての最近の論文をレビュー。自己双対型ゲージ理論の代数がカッツ・ムーディ代数の拡張版として理解できるという話で発展著しい印象。テクニカルな内容で計算を追うことはできませんでしたが、arXiv にアップロードされた論文の要約をAI自動生成してくれる alphaXiv というので対象論文のまとめをお願いしたところ、わずか数秒で素晴らしい要約が出力されました。背景知識を知らないと初見では分かりずらいですが、ある程度関連論文を読んでからだとだいぶ理解が深まりました。研究者の間では既に常識なのでしょうか。これから研究の仕方もだいぶ変わっていきそうです。

2025年末 京都、奈良、伊賀

母と長女と親子三世代で年末に久しぶりに京都市内へ。中国からの観光客が減っているとのこと、確かに少なかった印象。早朝５時半に鎌倉出発。東寺、三十三間堂、八坂神社、清水寺を参拝。東寺と八坂神社は今回初めてでした。事前に駐車場、ルートをしっかり確認しておいたので良かったです。

あけましておめでとうございます

蝶ヶ岳からの日の出

今年もよろしくお願いします。