ヤン・バクスター方程式

ヤン・バクスター方程式（ヤン・バクスターほうていしき、英語：Yang–Baxter equation、または星–三角関係、star–triangle relation）は、物理学における整合性方程式で、統計力学の分野で初めて導入された。この方程式は、散乱過程において粒子が運動量を保持しつつ量子内部状態を変化させる状況に基づいている。具体的には、3つの対象のうち2つに作用する行列が以下の条件を満たす：

ここで、はに続けて2つの対象を交換（スワップ）する操作である。1次元の量子系では、は散乱行列であり、ヤン・バクスター方程式を満たす場合、その系は可積分系となる。また、結び目理論やブレイド群において、は2本の紐の交換に対応し、3本の紐を異なる方法で交換する2つの経路が等しいことを保証する。


 歴史 
ヤン・バクスター方程式は1964年のJ. B. McGuireと1967年のC. N. ヤンの研究に初めて現れた。彼らは、ポテンシャルを持つ1次元の量子多体系をベーテ仮説を用いて解析し、散乱行列が2体問題に因数分解されることを発見した。ここで、ヤン・バクスター方程式は因数分解の整合性条件として現れる。

統計力学では、1944年のラース・オンサーガーのイジング模型解法で星–三角関係が言及されたことが起源とされる。その後、可解な格子模型の探索が進み、1972年にロドニー・バクスターが8頂点模型を解いたことで、ヤン・バクスター方程式の重要性が確立した。

2次元量子場理論の因数分解S行列の研究でも、Alexander B. Zamolodchikovがバクスターらの研究と同じ代数構造を指摘した。

1966年、のに関する研究でも、ヤン・バクスター方程式が対称群の群環に現れた。

 一般形式 
 パラメータ依存のヤン・バクスター方程式 
 に対し、パラメータ依存のヤン・バクスター方程式は、の要素（は実数ℝまたは正の実数ℝ+を動くパラメータ）に関する方程式である。以下の代数準同型を定義する：

ここで、（）とすると、ヤン・バクスター方程式は以下の通り：

 パラメータ非依存形式 
パラメータに依存しない場合、はの可逆要素であり、方程式は以下のようになる：

ここで、、、である。

 基底に関する表現 
がベクトル空間上の である場合、の基底に対し、の成分は（に対応）と表される。パラメータを省略し、に対応する成分は以下である：

 別の形式とブレイド群の表現 
をの加群とし、をを満たす線型写像とする。を定義すると、ヤン・バクスター方程式は以下の代替形式で表される：

パラメータ非依存の場合、がパラメータに依存しないとき、方程式は以下に簡約される：

が可逆であれば、ブレイド群 の群表現を上に構成できる。ここで、（）とする。この表現は、組み紐、結び目、の準不変量を決定するのに使用される。

 対称性 
ヤン・バクスター方程式の解は、しばしばリー群の作用下で行列が不変である条件で制約される。たとえば、かつの場合、の不変な写像は恒等写像と置換写像のみである。この場合、行列は（はスカラー関数）の形で表される。

パラメータ依存性は同次であり、（はスカラー関数）と定義しても、はヤン・バクスター方程式を満たす。

引数の空間自体に対称性が存在する場合もある。たとえば、並進不変性はの依存が並進不変な差にのみ依存することを要求し、尺度不変性はが尺度不変な比の関数であることを要求する。

 パラメータ化と例 
一般的な解法として、差の性質（が単一の加法パラメータに依存）を仮定する。対数を取ると、（乗法パラメータ）となる。この場合、ヤン・バクスター方程式は2つの自由パラメータに簡約され、計算が容易になる：

乗法パラメータの場合、以下となる：

ブレイド形式では、以下のようになる：

一部のの行列式は特定のスペクトルパラメータでゼロになり、1次元射影子となる場合がある。この場合、量子行列式が定義可能である。

 パラメータ依存の例 
 パラメータ非依存のヤン・バクスター方程式の解でを満たす場合、（または）は加法パラメータ依存の解となる。かつの場合、これはの散乱行列を与える。
 量子群の評価加群の行列は、以下の行列で与えられる：
  :
  この場合、乗法パラメータのヤン・バクスター方程式（ブレイド形式）が満たされる：
  :

 解の分類 
ヤン・バクスター方程式の解は、大きく分けて有理型、三角型、楕円型の3つに分類される。これらはそれぞれ、、に関連する。

 集合論的ヤン・バクスター方程式 
ウラジミール・ドリンフェルトは集合論的解を研究した。この場合、ベクトル空間の行列不変な基底が存在し、の誘導基底を自身に写す。これにより、行列は基底上で制限された写像を誘導する。集合論的ヤン・バクスター方程式は、上記の「ねじれた」代替形式を用いて定義され、上の写像として以下を主張する：

この方程式は、集合の圏における純粋な方程式として扱える。

 例 
 。
 （、転置写像）。
 が（右）である場合、は集合論的ヤン・バクスター方程式の解となる。

 古典的ヤン・バクスター方程式 
アレクサンダー・ベラヴィンとドリンフェルトは古典的ヤン・バクスター方程式の解を研究し、部分的に分類した。「古典的行列」（パラメータに依存する場合もある）に対し、古典的ヤン・バクスター方程式は以下である（パラメータを省略）：

これは行列に関する2次方程式であり、通常の量子ヤン・バクスター方程式（に関する3次方程式）とは異なる。

この方程式は、量子ヤン・バクスター方程式の準古典的解から現れる。すなわち、行列が拡張パラメータに関する漸近展開を持つ場合、量子ヤン・バクスター方程式のの係数から古典的ヤン・バクスター方程式が得られる（の次数では自明に成り立つ）。

 関連項目 


 ライデマイスター移動



 参考文献 
 H.-D. Doebner, J.-D. Hennig (編), Quantum groups, Proceedings of the 8th International Workshop on Mathematical Physics, Arnold Sommerfeld Institute, Clausthal, FRG, 1989, Springer-Verlag Berlin, ISBN 3-540-53503-9.
 , Andrew Pressley, A Guide to Quantum Groups, Cambridge University Press, Cambridge, 1994, ISBN 0-521-55884-0.
 Jacques H.H. Perk, Helen Au-Yang, "Yang–Baxter Equations", 2006, .

 外部リンク 


Category:物理学の名前の付いた方程式
Category:ヤン・チェンニン
Category:モノイド圏
Category:統計力学
Category:可解模型
Category:共形場理論
Category:数学に関する記事