このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」（http://d.hatena.ne.jp/m-hiyama-memo/）のデータを移行・保存したものであり、今後（2019年1月以降）更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

f* = 1∨f+ の計算

お絵描き 計算 具体例

背景は次を参照：

f*の定義は、Tr[(1+Δ);(σ + f);(1 + ∇)] で与えるとする。これが、Tr[(1+f);∇;Δ] と同じであることは既に示した。f∨g = Δ;(f+g);∇、f+ = Tr[∇;f;Δ] として、f* = 1∨f+ の計算は意外に面倒。

左右、上下の回転を使って示してみる。

双代数法則とは、∇;Δ = □ という法則。これについては後で詳述する。この双代数法則以外は、角度の変形と左右回転（交差ねじれの解消）と上下回転（和の可換律）だけしか使ってない。

双代数法則の後は、右下の∇をループに沿ってスライディングして、巻いているワイヤーをほどいたほうが計算は速い。