無限次元の補助空間を加えると任意の融合群の対称性が格子上のテンソル積表現になる
この論文は、いわゆる「エニオン(anyon)鎖」に無限次元の補助空間(アンシラ)を各サイトに付け加えると、局所的に単純なテンソル積の形に分解できることを示します。結果として、任意のユニタリー融合カテゴリー(非可逆な対称性を数学的に表す枠組み)を、各サイトが無限次元ヒルベルト空間のテンソル積からなる系上の対称性として実現できることが分かります。融合カテゴリーは、いわばエニオンやトポロジカルな欠陥が従う合成規則を表す“非可逆対称性”の抽象化です。
研究者たちは「安定化(stabilization)」という操作を定義しました。これは各格子サイトに無限次元アンシラを追加することです。さらに、局所性を保つユニタリー変換(物理的には局所から遠く離れたところに影響を広げない変換)を厳密に扱うために、「有界広がり同型(bounded spread isomorphism)」という代数的な概念を用います。主な証明は二つです。第一に、任意のエニオン鎖は安定化後に局所的に無限次元ヒルベルト空間のテンソル積に因数分解できること。第二に、同じ融合カテゴリーをもつ二つのエニオン鎖は、安定化の上で対称性に整合する局所性保持ユニタリーで結びつけられる、つまり一つの“安定同値”クラスにまとまることを示しました。
背景にある考え方はこうです。従来の「スピン鎖」型の局所構造(各サイトが有限次元の空間で、そのテンソル積が全体空間になる)では、融合カテゴリーを実現できるのは対象の量子次元がすべて整数である場合に限られる、という障害がありました。エニオン鎖は局所空間がサイトの単純なテンソル積ではなく、境界条件によって制約された部分空間として与えられることが多く、そのため多様な実現が可能でした。本論文は、無限次元アンシラを許せばそうした違いは“安定的”に消え、すべての実現が単一の普遍的な類にまとめられることを示します。また、安定同値は対称性に関するトポロジカルな不変量を保持することも示しており、例えばある対称状態に対応する中心的代数対象(symmetry order algebra)が安定同値下で不変であると述べられています。
重要な応用的示唆も与えられます。文字どおりの系の「運動学的」な実現の違い(局所ヒルベルト空間の構造)が多くは細部であり、無限次元アンシラを許すと消えるため、融合カテゴリーごとに一つの普遍クラスで分類できるという結論は、対称性を持つ格子モデルやストリングネット(Levin–Wen 型)モデルの境界代数とバルク(内部)トポロジカル秩序の関係を整理するのに役立ちます。実際、コロラリーとして二つのストリングネット模型の境界代数が安定的に同型(bounded spread isomorphic)であるのは、それらが同じバルクトポロジカル秩序を持つ場合に限る、という結果が示されています。
留意点として重要なのは、これらの結果が「運動学的な実現方法」に関するものであって、ある対称性の下でのすべての状態やハミルトニアンの分類を与えるものではないことです。安定化は数学的には自然であり、現実の物理系でもより大きな局所空間にアクセスできることがあるため妥当性が主張されていますが、無限次元アンシラの追加はあくまで理論的操作です。また、無限次元を扱うために局所代数をW*-代数(フォン・ノイマン代数)として扱うなど技術的な条件が必要になり、その詳細は本稿の数学的な定式化に依存します。今回の抜粋は全文ではないため、証明の細部や追加の仮定については本文を参照する必要があります。