6頂点模型と Yang-Baxter 方程式

この記事は [理物 Advent Calendar 2022](https://qiita.com/advent-calendar/2022/ributu) の12日目の記事です。
# はじめに
まさおかです。自主ゼミの資料をコピペして記事を作ろう！と思っていたのですが、資料を修正し、ちょくちょく加筆し、とやっているうちに分量が膨れ上がってしまいました。
流し見程度でよいので見てやってください。忙しい方は、Yang-Baxter 方程式を解く際の計算や、Bethe 仮設の込み入った計算は飛ばして、組み紐群の章を読むのをおすすめします。

# 6頂点模型
## 導入
この記事では主に6頂点模型について話します。これは2次元の氷をモデル化したものだと考えるとわかりやすいですが、実際の氷の性質を反映しているかは知りません。
しかし、可解格子模型の一つであり、数理的に非常に面白い性質を持っていることが知られています。

左の図では2次元の氷を図示していて、正方格子の各辺で水素原子の配置に2通りの自由度が存在します。この自由度を頂点を結ぶ矢印として書いたのが右の図です。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/1ca32303-1e03-18cc-efda-746900e64434.png)
各頂点が電気的に中性である (= 酸素原子に結合している水素原子は2個) という条件を課すと、各頂点で流入する矢印と流出する矢印の数は等しくなります。この条件を Ice rule といいます。
Ice rule を考慮すると、あり得る頂点は6通り存在します。ここからこの模型を6頂点模型と呼びます。
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/290e3dd0-0205-5ba5-6fea-2219df586957.png" width=70%>
矢印の反転に対する対称性を仮定すると、 Boltzmann 重率 𝑎, 𝑏, 𝑐 によって模型は決定されます。[^1]
[^1]: ここで定義した Boltzmann 重率は普通 exp(-𝛽𝜀) のように書かれますが、まとめて 𝑎, 𝑏, 𝑐 という一文字でおいています。

ただし、右・上向きの矢印に正符号 (オレンジ色)をつけ、左・下向きの矢印に負符号 (青色) をつけています。 

特定の矢印の配位について、格子上のあらゆる頂点の Boltzmann 重率 を掛け合わせると、その配位の重みが得られます。
また、それを全ての配位に対して足し上げることで、系の分配関数が求まります。

## テンソルネットワークの記法

6頂点模型における頂点は、上下左右の矢印の符号に対して、𝟢, 𝑎, 𝑏, 𝑐 のいずれかを返すようなテンソルだとみなせます。これを以下のグラフで表します。
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/f2595677-1903-9be9-59f8-fe61e7289ba7.png", width=25%>
また、テンソルの縮約を以下のように表します。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/cc2500fd-3902-f5e7-3c81-d8cf5571ddbb.png)
以上の記法はテンソルネットワークと呼ばれます。テンソルネットワークによる図示は厳密なものであり、常に数式に直すことができます。しかし数式による表現はどうしても1次元的になってしまうので、2次元的に縮約されたテンソルを表す場合、数式よりもテンソルネットワークを使って表現したほうが便利です。
例えば10×10格子の分配関数をテンソルネットワークで表すと、以下のようになります。
ただし、点線は周期的境界条件を表しています。
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/a32565a1-3c2e-b38f-3125-d3f8ac1c1c9a.png", width=70%>

## モノドロミー行列と転送行列

さて、6頂点模型の頂点を表すテンソルを、具体的に成分表示しましょう。
頂点に対し、右と上の添字のあり得る組み合わせは ++, +-, -+, -- の4つですが、これらを列の添字とみなします。同様に、左と下の添字も ++, +-, -+, -- の4つがあり得ますが、これらを行の添字とみなします。
すると、𝛼 行目、𝑛 列目の頂点は、以下の4×4行列で表示できます。
例えば2行目3列目は、左が +、 下が -、 右が -、 上が + のときの Boltzmann 重率を表しています。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/0b15102b-9a48-49ff-9389-46ad853510e6.png)
これをL行列といいます。なお、記号の定義は以下のとおりです。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/7ddb38d1-62af-0b00-6f8e-91800984ff86.png)Pauli 行列が出てきたことから分かるように、𝐿 は2つのスピンの直積
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/41294bb6-3673-eb62-0d2b-975b608065d9.png)
が張る状態空間に対する演算子とみなせます。
↑ を 上または右に置き換え、↓ を 下または左に置き換えると、スピンと矢印の符号を対応付けられます。

ここで、モノドロミー行列 𝑇 および転送行列 𝜏 を、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/9f65c186-1a51-aab2-fcfa-f56322709312.png)
と定義します。ただし、𝑁 は系のサイズを表します。以降は添字の 𝛼 は省略します。
この定義をテンソルネットワークで書くと、
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/0239e2b8-5f55-4784-6de7-9684091bbdcf.png", width=60%>
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/2f493c21-0e80-a088-931a-03adcd281ff0.png", width=60%>
となります。上下に伸びる添字は省略していますが、きちんと書くと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/2fbf25a0-5997-55ca-97a7-6c036f4a22fd.png)
です。
上下方向に並んだ転送行列 𝜏 を全て掛け合わせてトレースをとれば、周期的境界条件の下での分配関数が得られます。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/456a681c-bf4b-09d3-4184-7bf707503272.png)
したがって分配関数を求めるためには、𝜏 の固有値が分かればよいです。

# Yang-Baxter 方程式
次に、Yang-Baxter 方程式を導入します。具体的には以下の図で表されます。
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/91cd1870-c347-d406-175a-fc2bfc7e97c8.png" width=50%>
3つの頂点は別々の Boltzmann 重率をもつ6頂点模型の頂点です。
矢印は符号の基準を与えるものです。矢印と同じ向きを正符号とします。
同じことを数式で書くと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/c172e20a-8687-73e2-2ce0-1a07a98839e7.png)
となります。ただし、𝑅 はR行列と呼び、成分は 𝐿 と同じものです。繋がり方が異なっているので別の記号で区別しています。
まずこの方程式が成り立つと何が嬉しいのかを説明します。モノドロミー行列の積に、左からR行列を掛けてみます。すると、Yang-Baxter 方程式を繰り返し使うことができます。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/2a270c1c-0500-f4ad-21ca-03d228dd2a98.png)
左に掛けたR行列は右にすり抜けて、同時にモノドロミー行列の積の順序が入れ替わります。
これを式で書くと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/8be37551-7b85-8e06-ec20-393254231475.png)
です。さらに、両辺に 𝑅 の逆行列を掛けてトレースをとることで、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/8a055425-bc04-2da9-3e83-9a4a09227072.png)
が得られます。つまり2つの転送行列は同じ固有ベクトルを共有します。

## Yang-Baxter 方程式を書き下す
Yang-Baxter 方程式を以下のように変形しておきます。右辺を回転しただけです。
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/8ab91d97-a408-7829-84de-87b6cd264b0c.png" width=50%>
さらに矢印の向きを1つ反転して、
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/bbfa0038-0bf0-5ca3-45ab-91b33fdddec9.png" width=50%>
と書きます。この変形は2つの頂点 (無印と白丸) で 𝑎 ↔ 𝑏 という変換をしたことを意味しています。後で 𝑎 ↔ 𝑏 という変換をもう一度行って、元に戻せば大丈夫です。

Yang-Baxter 方程式は 6つの添字をもつので、 2⁶ = 64個の方程式の集まりですが、実質的な方程式の数は3つだけです。
- Ice ruleのために、6つの添字の中で流入する矢印の数と流出する矢印の数は等しくなるはずです。したがって、両辺がゼロでないのは ₆C₃ = 20通りだけです。
- さらに矢印の反転に関する対称性から、 10通りだけ考えれば良いです。
- 10通りのうちの4通りでは、Yang-Baxter 方程式の左辺と右辺が同じものになり、恒等式を与えます。これは、以下の場合です。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/ba377c70-1ddd-f3d4-7e0e-cd5e41886096.png)
- 残りの6通りから、6個の方程式が得られます。しかし、左辺と右辺を入れ替えた方程式がペアになって出てくるので、実質的な方程式の数は3個となります。

3個の方程式のうちの1つは、以下のように表されます。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/df9d6137-53cd-d04b-90b0-4f34e1194f85.png)
これを式で書くと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/e9ade649-9977-4873-6a86-68db64500caa.png)
となります。残りの2つの式は添字を巡回させたものであり、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/f741e36e-1406-e3ad-c039-4fac9e6b4e30.png)
となります。以上の3つの式が、非自明な解をもつためには、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/d4dc85b7-530c-ba97-d1b6-737e7d6f8f50.png)
が成り立っていなければなりません。ここから、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/6dffe91f-515c-dec5-1843-d00b4609e48e.png)
が分かり、同様の議論を繰り返すと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/ab64464c-da95-33d4-a9c8-30efb57a9d8a.png)
となります。したがって、 𝛥 が共通であることが Yang-Baxter 方程式を満たすための必要条件となります。

## スペクトルパラメター
Boltzmann 重率 𝑎, 𝑏, 𝑐 の自由度について改めて考えます。まず、𝑎, 𝑏, 𝑐 を一様に定数倍しても、分配関数が定数倍されるだけなので、物理的には同じ模型が得られます。したがって、自由度は1減ります。
さらに、これまでの議論から 𝛥 を固定すると、𝑎, 𝑏, 𝑐 に残された自由度は1つだけです。
したがって、𝑎, 𝑏, 𝑐 を 𝜆 によって以下のようにパラメター表示することします (これは非常に上手いパラメター表示であることが後で分かります)。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/23a16825-3ad7-b96d-b03d-1fa348e71cf0.png)
ただし、 𝜂 は固定されているものとします。なぜならば、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/ea5331f2-9710-a17a-f2b9-1352eab83856.png)
が成り立つからです。[^2]
[^2]: |𝛥| > 1 の場合はここで導入したパラメターは使えませんが、その場合別のパラメター表示を用います (ここでは紹介を省きます) 。

この式は 𝑎, 𝑏, 𝑐 を三角形の3辺だと思って正弦定理および余弦定理を使えばわかります。 

## Yang-Baxter 方程式の解
無印と白丸の頂点で 𝑎 ↔ 𝑏 としなければならないことに注意し、また 𝑐 が各頂点で共通することに注意すると、Yang-Baxter 方程式から以下の式が成り立ちます。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/72a7901e-49ee-cd91-804b-0583bf5ddf61.png)
パラメター表示を代入すると、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/77054d51-9e5e-eca1-4974-d6499ec6b192.png)
となります。左辺は 𝛥 = cos(2𝜂), 𝑐 = sin(2𝜂) から、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/a7a5ebe0-c388-e43a-f389-a5aae932c6ec.png)
と変形できるので、
![solution of YBE](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/d9da8242-aa4d-f7a2-f629-9301c13e4454.png)
が分かります。したがって、Yang-Baxter 方程式を以下のように書き直しておきます。
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/71da6f02-a7d7-6885-c2d8-546ec63283d7.png" width=70%>


# 代数的 Bethe 仮設
いよいよ、Yang-Baxter 方程式から転送行列の固有値を構成します。
モノドロミー行列の成分 𝐴, 𝐵, 𝐶, 𝐷 を以下のように定義します。
![モノドロミー行列](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/f078b7c6-8cb6-b828-7a95-cf6dbd2f39d2.png)
成分と言いつつ、𝐴, 𝐵, 𝐶, 𝐷 は 2ᴺ×2ᴺ 行列であることに注意してください。
Yang-Baxter 方程式から、モノドロミー行列について、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/0a8687f7-6191-679d-bcf6-1a037bfded46.png)
が成り立ちます。これを行列表示で表すと、16個の交換関係が得られます。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/6f44241f-c073-1ea8-4d22-4afa82c7c78c.png)
ただし、引数を省略して 𝑎 = 𝑎(𝜆-𝜇), 𝐴 = 𝐴(𝜆), 𝐴′ = 𝐴(𝜇) などと表しています。
実は、この交換関係から 𝐵(𝜆) が生成演算子のような働きをもつことが示せます。
状態 |𝑀⟩ を真空状態 |𝟢⟩ ≡ |↑⟩⊗|↑⟩⊗ ⋯ ⊗|↑⟩ から以下のように構成します。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/d9e4b4b9-4ad9-a5db-fc7d-ed106604360c.png)
すると、{𝜆ᵢ} がある条件 (Bethe 仮設方程式) を満たすときに、|𝑀⟩ が転送行列 𝜏 の固有状態となります。

## "0粒子"の場合
一般の場合にこのことを示すのは大変なので、まず "0粒子" の場合を議論します。
0粒子の場合は状態は真空状態 |𝟢⟩ です。これが 𝜏(𝜆) の固有状態となることを示します。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/1bec866d-00e1-8c61-8a0f-a0ffa61ee763.png)
が上三角行列であることから、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/c34687e4-9921-7fbd-6a1c-8c7c3a08fbbe.png)
となります。したがって
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/33a18043-1b70-d413-2dad-7310498caf61.png)
とおくと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/32633462-0343-8e9f-8bc0-7026f958cc13.png)
となります。よって |𝟢⟩ が 𝜏(𝜆) の固有状態となることがわかりました。

## "1粒子"の場合
次に "1粒子" の場合を議論します。|𝟢⟩ に 𝐵 を一回掛けた状態が固有状態となるかを確かめるためには、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/5e841b62-c054-5659-8ee5-8ff2b88c3e2f.png)
となるかを見てやればよいです。ここで、先程の16個の交換関係のうち、1行目4列目、1行目3列目、2行目4列目に注目すると、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/3261d7d6-1093-23c7-ff8d-a37e8a564f87.png)
が成り立ちます。整理すると、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/33dd0ba3-59f5-b0d3-4e80-4a0816e611aa.png)
です。ここから、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/8665403f-a08f-6366-2f14-1f3bad6c03ca.png)
が分かります。これら2つの式において、第2項がもとの状態に比例しない邪魔な項なので、第2項同士が相殺することを課します。すなわち、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/5fdfaa4a-7737-8cd5-dcd5-c0f50cbd23e3.png)
とします。私達が使っていたパラメター表示では 𝑏 が奇関数であり、 𝑐 が定数だったことを思い出すと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/dd9a9fe1-6138-96b7-5a2c-5a90359a3305.png)
となります。これを Bethe 仮設方程式と呼びます。

## "𝑀 粒子"の場合
最後に、一般の"𝑀 粒子"の場合について考えましょう。この節は計算が煩雑なので、飛ばしてもらっても構いません。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/7966c294-3be5-aa22-7d34-d762be24ffdb.png)
となるように、{𝜆ᵢ} を決定します。
ここで、𝐴 に関する項を交換関係によって分解していくと、以下の状態ベクトルに比例する項が現れます。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/db34d899-91f9-7706-2de2-f5176a6c0fa5.png)
1つ目のベクトルは元の状態ベクトルに比例するものであり、その他のベクトルは消えてほしいものです。また {𝜆ᵢ} が任意のパラメターであることから、これらの状態ベクトルは線形独立だと仮定できます。
𝐴(𝜆)|𝑀⟩ に交換関係を1回使うと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/9c5aeaa3-cbd5-43cc-0722-0e43eb8af09c.png)
となります。これを繰り返すと 𝐴(𝜆) が段々と右へ移動していき、最終的に |𝟢⟩ に作用して 𝛼 が出てきます。このとき、𝛼(𝜆₁) が出てくるような項を考えます。上の式の第1項からはこのような項は出てきません。なぜならば、𝐴 の左に 𝐵(𝜆₁) があり、交換関係を何度適用しても、𝜆₁ がこの位置から動くことはないからです。
したがって、第1項を無視し、もう一度交換関係を使うと、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/b97b3fbf-ce71-78d0-d965-b1220f6c79d0.png)
となります。今度は第2項で 𝐴 の左に 𝐵(𝜆₁) があるので第2項は無視できます。同様の議論を繰り返すと、𝛼(𝜆₁) が出てくる項が
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/ff59fc7a-089c-2248-a5e9-2c5fbc4b53ee.png)
のみだと分かります。
さらに、𝐵 どうしの積が可換であることから、𝐵(𝜆ⱼ) を先頭にもってくることで、同様の議論が可能です。すなわち 𝛼(𝜆ⱼ) が出てくる項が、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/509d6a09-991a-d128-e74c-02adf5975cb4.png)
のみだと分かります。𝐷(𝜆)|𝑀⟩ についても同様に
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/58abf684-47b5-e8dc-b578-12ba45d45fcc.png)
という項が出てくることが分かるので、これらが相殺することを課し、Bethe 仮設方程式
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/1ebf3232-97a1-e8e6-d28d-178e3ced5379.png)
を得ます。𝑏 が奇関数であり、 𝑐 が定数であることを使って整理すると、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/25f5d37e-5962-772d-ebba-f9349da7672f.png)
となります。Bethe 仮設方程式の解が得られれば、転送行列の固有値は
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/a90b6a16-af72-4cb0-3977-947ee51d0412.png)
によって構成されます。

# 組み紐群の表現
ちょっと話題を変えて、Yang-Baxter 方程式と組み紐群との関係について見てみます。ここでは組み紐群の定義については省略します。
Yang-Baxter 方程式を変形して
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/71196d8f-6a54-0454-3373-6560113ade89.png", width=50%>
と書くと、組み紐関係式に見えてきます。組み紐関係式とは、以下の等式を指します。
<img src="https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/9a1443c0-dcac-e522-ffba-1573493425fe.png", width=50%>
違いとしては、Yang-Baxter 方程式では頂点が連続的なパラメターによって特徴づけられていますが、組み紐関係式ではそのようなパラメターはありません。
しかし、パラメターについて適切に極限をとることで、Yang-Baxter 方程式から組み紐群の表現を得ることができます。

例えば、以下のR行列を考えてみます。これが Yang-Baxter 方程式を満たすことの証明は読者への演習問題とします。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/ee7aaaee-a0db-f22d-35c9-648b7fc196c2.png)
以下のようにパラメターの極限をとります。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/c32a976a-3ca2-d98b-9650-400eee0ca6c5.png)
Yang-Baxter 方程式から、この行列は組み紐群の表現になっています。
ここから、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/72c78b03-4fda-f5b7-0fea-bcda0bb9ed4b.png)
と書くことにします。ただし、列の添字は上の2つの端点の添字 (++, +-, -+, --) を表しており、行の添字は下の2つの端点の添字 (++, +-, -+, --) を表しています。また、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/cfe5a83b-561c-038c-3842-af58a52d0dbb.png)
とおきました。反対向きの交差は逆行列をとって、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/0fd5fc7c-ef56-285d-cf57-6d3484133894.png)
となります。さらに、次の関係式 (カウフマンブラケットの性質)
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/33d95339-86f4-64d0-5627-c80470895571.png)
を課します。第1項は単位行列 (× 𝐴) になるとするのが自然なので、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/9b4f9408-acac-1efb-7b1f-919a3e86dd7c.png)
が分かります。トレースを取ると、
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/0825477d-7e0d-63c2-c982-e67f625b6747.png)
となります。(この時点で組み紐だけでなく絡み目も考えていることになります。)
さらにカウフマンブラケットの性質から、以下の式も示せます。
![](https://qiita-image-store.s3.ap-northeast-1.amazonaws.com/0/2655346/7221bb0e-0d42-7ccb-20f6-dbb75ca96f2f.png)
以上で導入した組み紐・絡み目の表現は、Jones 多項式と呼ばれるものです。
ここで力尽きました。おやすみなさい。

# 参考文献
>[出口 哲生. (2000). 1次元量子系の厳密解とベーテ仮説の数理物理. 物性研究, 74(3), 255-319](https://core.ac.uk/download/39228381.pdf)

>[Franchini, F. (2017). An Introduction to Integrable Techniques for One-Dimensional Quantum Systems.](https://link.springer.com/book/10.1007/978-3-319-48487-7)