[論文レビュー] Subfactors and Hadamard Matrices

Wes Camp, Remus Nicoară|ArXiv.org|Apr 9, 2007

Advanced Operator Algebra Research参考文献 14被引用数 14

ひとこと要約

この論文は、スピンモデルの可換四角形を介して、複素ヘーデルマルトリックスと超有限な部分因子の間の関係を確立し、Dita型ヘーデルマルトリックスが中間部分因子を有する因子を生じ、標準的不変量に余剰構造をもたらすのに対し、非Dita型（フーリエ型やパラメトリック族を含む）は、相対可換部分代数がJones射影子によってのみ生成されることを示しており、Temperley-Lieb代数関係を超える余剰構造は最小限であることを示唆している。

ABSTRACT

To any complex Hadamard matrix H one associates a spin model commuting square, and therefore a hyperfinite subfactor. The standard invariant of this subfactor captures certain "group-like" symmetries of H. To gain some insight, we compute the first few relative commutants of such subfactors for Hadamard matrices of small dimensions. Also, we show that subfactors arising from Dita type matrices have intermediate subfactors, and thus their standard invariants have some extra structure besides the Jones projections.

研究の動機と目的

• 複素ヘーデルマルトリックスを用いたスピンモデル可換四角形から構成される因子の標準的不変量を調査すること。
• 標準的不変量がヘーデルマルトリックスの群的対称性を捉えられるかどうかを特定すること。
• 特に相対可換部分代数の次元に注目して、関連する因子の構造に基づいてヘーデルマルトリックスを分類すること。
• 特にDita型を含むパラメトリック族のヘーデルマルトリックスが、Temperley-Lieb代数を超える余剰構造を有する因子を生じるかどうかを調査すること。

提案手法

• 行列 $ H $ から対角行列 $ \td_n $、ユニタリ行列 $ U = \frac{1}{\sqrt{n}}H $、トレース正規化期待 $ \tau $ を用いて可換四角形を構成する。
• ジョーンズの基本的構成を繰り返し適用して、von ニーマン代数の塔 $ M_n $ を生成し、指数 $ n $ の超有限因子を得る。
• トレース保存条件付き期待と行列代数の技法を用いて、相対可換部分代数 $ N' \cap M_1 $ および $ N' \cap M_2 $ を計算する。
• 小次元のヘーデルマルトリックスに対して、計算ツール（Mathematica および GAP）を用いて相対可換部分代数の構造を分析する。
• 行列をDita型、フーリエ型、またはその他のパラメトリック形に分類し、それらに対応する因子不変量を比較する。
• 非Dita型行列は、すべての高次相対可換部分代数がJones射影子によって生成される超伝導的因子を生じるとの仮説を立てる。

実験結果

リサーチクエスチョン

• RQ1 Dita型ヘーデルマルトリックスに関連する因子は、中間部分因子を有するか。これは、標準的不変量にTemperley-Lieb代数を超える余剰構造が含まれることを示唆する。
• RQ2 非Dita型複素ヘーデルマルトリックスに対して、第二相対可換部分代数 $ N' \cap M_1 $ は、Jones射影子によってのみ生成されるか。
• RQ3 ヘーデルマルトリックスから導かれる因子の標準的不変量は、行列の対称性を同定・分類できるか。
• RQ4 パラメトリック族のヘーデルマルトリックス（例：$ BN_6(\theta) $、$ P_7(a) $）は、Temperley-Lieb代数を超える余剰構造を有する因子を生じるか。
• RQ5 Jones射影子によって生成されない、より高い次数の相対可換部分代数を有する複素ヘーデルマルトリックスのクラスは存在するか。

主な発見

• Dita型ヘーデルマルトリックスは、中間部分因子を有する因子を生成し、これは標準的不変量がTemperley-Lieb代数を超える余剰構造を含むことを示唆する。
• 6次 $ BN_6(\theta) $ 家族に対して、第二相対可換部分代数はJones射影子によって生成され、著者らはこれらの因子が超伝導的であると仮説を立てている。
• 7次 $ P_7(a) $ 家族は、すべての $ |a| = 1 $ に対して第二相対可換部分代数がJones射影子によって生成され、$ a=1 $ における第三相対可換部分代数は $ TL_2 $ に同型であるため、最小限の余剰構造が示唆される。
• 8次のDita型である $ F_8(a,b,c,d,z) $ 家族は、第二相対可換部分代数の次元が4であるため、Jones射影子を超える追加構造が存在することが確認された。
• テストされたすべての非Dita型・非フーリエ型ヘーデルマルトリックス（Tao や Haagerup の6次行列を含む）は、第二相対可換部分代数がJones射影子によってのみ生成され、第三可換部分代数は最初の2つのJones射影子によって生成される。
• 著者らは、既知の複素ヘーデルマルトリックスのうち、Jones射影子によって生成されないより高い次数の相対可換部分代数を有する因子を生成するものは存在しないと仮説を立てており、このような行列が存在するか、あるいは極めてまれである可能性を示唆している。