熱力学の問題、ようやく解けた。4日くらい考えた。解けてしまえば簡単なんだけど、キーポイントに気づくまでに時間がかかった。
学生さんの論文見た。いい感じ。研究室初の論文まであと少し。
OS自作もくもく会。MacでC言語からEFIを作るところまで。正直な話、環境構築が難しすぎる。「OSの自作」という困難と、「開発環境の構築」という困難に同時に立ち向かわなければならず、初学者にはやや厳しいのでは。
論文書いててごっちゃになったので。Q状態Pottsの対称性はS_Q。これはQ次対称群で、Q個の要素の入れ替えで作れる群。4状態Pottsなら、この状態のどれとどれを入れ替えても同じ結果になるのでS_4。Pottsは「自分と同じ状態か、そうでないか」しか気にしないので、状態のラベルに意味がない。たとえば(1,2,3,4)というのを(2,3,1,4)に並びかえても全く同じ。Zqはq状態離散クロック模型の対称性。これは状態の並びに意味がある(隣、という概念がある)。なので(1,2,3,4)は、(2,3,4,1)にはできるが、(2,1,3,4)にラベルの付け替えはできない。J1-J2のストライプ相がZ4かS4か混乱したので。全体的にZ4だが、S4となる点(Potts Point)があるという理解か？