Fracton models from product codes

技術要約：プロダクト符号からのフラクトンモデル

問題提起
本論文は、フラクトン・トポロジカル秩序と量子低密度パリティ検査（LDPC）符号、特にプロダクト符号を結びつける、鋭く体系的なフレームワークの欠如に対処している。フラクトン相は、基底状態の縮退（GSD）がシステムサイズに非自明に依存し、かつ励起が制約された移動性（Type-I）または移動性を持たない（Type-II）という特徴を持つ。一方で、量子LDPC符号は有界な局所性を持つスタビライザー・ハミルトニアンによって定義されるが、これら両分野の関係性は断片的なままである。Haahのコードが「リフトされたプロダクト（lifted product）」であることや、多項式形式から生じるフラクタル・スピン液体といった既存の接続は、一般的な理論というよりは特定の事例に過ぎない。著者らは、古典的なシード（種）となる符号が、結果として得られる量子プロダクト符号においていかなる条件下でフラクトン秩序を生成するかを明らかにすることで、プロダクト符号をフラクトン相を発見・分類するための自然な設定として確立することを目指している。

手法
著者らは、一対の古典的LDPCシード符号（$H_1, H_2$）からCSS量子符号を生成する**ハイパーグラフ積（HGP）**構成を用いている。量子コードのパラメータ（量子ビット数 $n_q$、論理量子ビット数 $k_q$、および距離 $d_q$）は、シードのパラメータから解析的に導出される。

プロダクト符号内におけるフラクトン秩序を特徴付けるために、著者らは非局所的および局所的なスタビライザーモデルの両方に適用可能な、以下の3つの主要な特性に焦点を当てた一般化された定義を提案している：

1. ランク不足（Rank Deficiency）: シード符号は大きな符号空間（低ランクのパリティ検査行列）を持つ必要があり、これによりシステムサイズに対して多項式的にスケールする超選択セクターが生じる。これは、双対符号における論理量子ビットの数に関連している。
2. 閉じ込め（Confinement）: 「グラス性（glassiness）」に関連する性質であり、疎なエラーパターンによってシンドロームの重みがエラーの重みに伴って増加することを意味する。これにより、エネルギーコストなしに励起を移動させるストリング演算子の存在が阻止される。
3. 孤立性（Isolability）: 励起が拡張された物体（ドメインウォールなど）ではなく、点状であることを保証する条件。これには、タナーグラフにおいて「アイシング部分グラフ（Ising subgraphs）」（価数2のチェックが存在する領域）が存在しないことが求められる。これが存在すると、励起が変形可能なドメインウォールに制約されてしまう。

本研究は以下の2つのレジームで進行する：

• 非局所的構成: シード符号がランダムLDPC符号または不規則グラフ上のラプラシアン符号であるHGPコードの解析。
• 局所的構成: 幾何学的局所性を達成するために、非周期タイリング（具体的にはピンウィール・タイリング）上で定義された新しい古典的LDLD符号のファミリーの導入。パリティ検査行列は、ランク不足を作り出しつつバルクのストリング演算子を導入しないように、「境界枯渇（boundary depletion）」技術を用いたグラフ・ラプラシアンから導出される。

主な貢献と結果

1. 非局所的フラクトン秩序の基準:
   著者らは、シード符号がランク不足、閉じ込め、および孤立性を満たす場合、プロダクト符号が非局所的フラクトン相を実現することを確立した。

   • 典型的なLDPC符号: ランダムにサンプリングされたLDPC符号は、ランク不足、閉じ込め、および孤立性を持つことが判明した。これら2つの符号（または典型的なLDPC符号と反復符号）のHGPは、Type-I フラクトン秩序を実現する。
   • ラプラシアン符号: 一般的な疎なグラフ上のラプラシアン符号は閉じ込めと孤立性を持つが、通常はランク不足である（論理ビットの数がシステムサイズに応じてスケールせず一定である）。したがって、ラプラシアン符号と反復符号のHGPは、フラクトン秩序ではなく、非局所的トポロジカル秩序に似た、部分的に閉じ込められた点状励起を持つ相をもたらす。これにより、正方格子上の「異方性 $Z_2$ ラプラシアンモデル」は、翻訳不変性に起因する特殊なケースであり、一般的なラプラシアン符号の性質ではないことが明確になった。

2. 非周期タイリングによる局所的フラクトンモデル:
   本論文では、ピンウィール・タイリング（空間的な対称性を持たない非周期タイリング）上で定義された古典的LDPC符号であるピンウィール・コードを紹介している。

   • 特性: ピンウィール・コードは、ランク不足（$k \sim \sqrt{n}$）と閉じ込めを示しながら、コード距離がシステムサイズに対して線形にスケールする（$d \sim n$）ことを示す。これは、局所的な2次元コードにおける古典的BPT境界（$k\sqrt{d} = O(n)$）を飽和させている。
   • フラクトンの実現:
     • ピンウィール・コードと巡回反復符号のHGPは、3次元における局所的Type-I フラクトンモデルをもたらす。
     • 2つのピンウィール・コードのHGPは、4次元における局所的Type-II フラクトンモデルをもたらす。
   • 以前の局所的フラクトンモデルがしばしば無秩序や特定の格子対称性に依存していたのに対し、これらのモデルは非周期的な幾何学的入力から体系的に構築されている。

3. Type-II モデルにおける閉じ込め:
   結果として得られるType-II ピンウィール・スタビライザーモデルは、無秩序なしでも閉じ込めを起こすと推測される。決定的なのは、これが点状の励起に対して閉じ込めを実現している点であり、閉じ込めが拡張された物体にのみ適用されるモデルとは区別される。

意義と主張
本論文は、量子プロダクト符号の観点からフラクトン秩序を理解するための統一的な枠組みを提供すると主張している。古典的シード符号の特定の代数的およびグラフ理論的特性（ランク不足、閉じ込め、孤立性）を特定することにより、著者らはType-IおよびType-IIの両方のフラクトンモデルを生成するための体系的な経路を提示している。

本研究は以下を確立している：

• プロダクト符号は、量子情報（LDPC符号）と物性物理学（フラクトン相）の間の溝を埋める、フラクトン秩序を探索するための自然な設定である。
• フラクトンモデルにおける幾何学的局所性は、非周期タイリングを用いることで達成可能であり、これはランク不足が望ましくないストリング演算子を招きやすい周期格子における限界を克服するものである。
• フラクトンの移動性制約に関連する「グラス的」なダイナミクスは、閉じ込め（エネルギー障壁）と超選択（トポロジカルな制約）の間の交換として理解できる。これらは共に、プロダクト符号の構成に固有の特徴である。

著者らは、このアプローチが新しい局所的フラクトンモデルの体系的な発見への扉を開くと結論付けており、リフトされたプロダクト、バランスド・プロダクト、およびエンタングルメント・繰り込みの下で特定の固定点へと流れる非周期タイリングの特性化を含む、将来の研究方向を示唆している。