A three-eighths upper bound on the stabilizer-rank exponent of face-center magic states

技術要約：フェイスセンター・マジック状態のスタビライザー・ランク指数における3/8上界

問題提起
本論文は、非スタビライザー資源（具体的には「マジック状態」）を含む量子回路の古典的シミュレーションにおける計算コストについて扱っている。このようなシミュレーションの効率性は、ターゲットとなる状態 $|\psi\rangle$ を張るために必要な純粋スタビライザー状態の最小数である正確なスタビライザー・ランク $\chi(|\psi\rangle)$ によって決定される。$m$ 個の量子ビットのフェイスセンター・マジック状態 $|T\rangle$ について、漸近的なコストは以下の指数 $\gamma_T$ によって特徴付けられる：
$$\gamma_T = \lim_{m\to\infty} \frac{1}{m} \log_2 \chi(|T\rangle^{\otimes m})$$
これまでのところ、既知の構成的な上界は、Bravyi–Kitaev プロトコルから導出された $\gamma_T \le \log_2(3)/4 \approx 0.39624$ であった。本研究の目的は、この指数を減少させる明示的な構成を見出し、それによってシミュレーション複雑性の理論的上界を改善することである。

手法
著者は、「3文字スタビライザー辞書」を用いたスタビライザー分解に基づく構成的なアプローチを採用している。手法は以下の3つの明確な段階で進行する：

1. 辞書の構成:
   著者は、$V = \mathbb{C}^2$ の基底 $\{a, b\}$ を定義し、$z = (1+i\sqrt{3})/2$ となるベクトル $v = a + zb$を導入する。線形写像$L: V \to (\mathbb{C}^2)^{\otimes 2}$は、$v$がフェイスセンター・マジック状態$|T\rangle$に比例する状態に写るように定義される。したがって、$v^{\otimes k}$を$r$個の「単語」（基底ベクトルのテンソル積）へと分解することを見つけることは、高々$r$項の$|T\rangle^{\otimes 2k}$ のスタビライザー分解を見つけることと同義である。

2. 対称性の接着（12コピー・ウィットネス）:
   構成は、$v^{\otimes 5}$ に対する既知の15項の恒等式から始まる。線形写像 $\tau$ を $\tau^3 = I$ かつ $\tau(v) = -zv$ となるように定義する。この写像のテンソル冪 ($S = \tau^{\otimes 5}$) を初期の恒等式に適用することで、第2の15項の展開が生成される。
   これら2つの15項展開のサポートは、正確に6つの単語で重なっている。これらの共有される単語上の係数は、特定の位相関係 ($\alpha_w = z\beta_w$) を満たす。基底ベクトル $a$ と $zb$をそれぞれの展開に付加し、恒等式$c = a + b$ を利用することで、著者はこれら2つの15項の恒等式を「接着（glue）」する。このプロセスにより、重複する項が置換され、$v^{\otimes 6}$ に対する単一の24項の恒等式が得られる。写像 $L$ が $2k$ 量子ビット上の物理的状態への $v^{\otimes k}$ への変換を行うため、この6コピーの代数的恒等式は、物理的なマジック状態の12コピーにおける24項のウィットネスに対応する。

3. 8分岐置換（再帰）:
   24項の恒等式は、その最初の文字 ($a, b, c$) によってグループ化され、それぞれ8つの単語を持つ3つのグループに分けられる。著者は、単一の文字を8つの異なる単語へと展開する線形写像 $E: V \to V^{\otimes 5}$ を定義する。極めて重要なことに、これらの単語のサフィックス（接尾辞）は互いに異なっており、これにより、$v^{\otimes k}$ の任意の分解の第1スロットに $E$ を適用しても、衝突や相殺なしに $v^{\otimes (k+4)}$ に対する $8r$ 個の異なる項が得られることが保証される。
   これにより、漸化式 $R_{k+4} \le 8R_k$ （ここで $R_k$ は $v^{\otimes k}$ の項数）が確立される。

主要な貢献と結果

• 明示的な分解: 本論文は、すべての整数 $j \ge 0$ に対して、状態 $|T\rangle^{\otimes (4+8j)}$ が正確に $3 \cdot 8^j$ 個の異なる、非ゼロのスタビライザー和に分解できることを示す明示的な構成を提供している。
• 改善された上界: この構成は、以下の境界へと導かれる：
  $$\chi(|T\rangle^{\otimes m}) \le 3 \cdot 8^{\lceil (m-4)/8 \rceil} = O(2^{3m/8})$$
  したがって、指数は次のように抑えられる：
  $$\gamma_T \le \frac{3}{8} = 0.375$$
• ウィットネスの最適化: 著者は、12コピーにおける24項のウィットネス ($v^{\otimes 6}$) 単体では $\log_2(24)/12 \approx 0.38208$ の指数が得られるが、8項グループを利用した再帰的な置換戦略を用いることで、より優れた指数である $\log_2(8)/8 = 3/8$ が達成されることを指摘している。

意義と主張
本論文は、$\gamma_T$ の既知の構成的な上界を $\approx 0.39624$ から $0.375$ へと減少させたことを主張している。著者は、この結果の限界と範囲を明示している：

• この結果は、最適な指数を決定するものではない（真の下界は依然として未知である）。
• $\chi$ の下界を確立するものではない。
• この境界は漸近的かつ構成的なものであるため、特定のシミュレーション実行時間を保証するものではない。
• この構成は、T型とH型の軌道指数の区別を行わない。
• 「対称性の接着（symmetry gluing）」が他のマジック状態の軌道の境界を改善できるかという問いは残されている。

本研究は、「辞書対称性」が恒等式を接着して24項のウィットネスを作成するという点と、「置換」メカニズムがこのウィットネスのバランスの取れた構造を利用して $3/8$ の指数を達成するという、2つの主要なアイデアに基づいている。著者は、構築された分解が最適であることを仮定していないことを述べている。