Robust Quantum Extremal Numbers

技術要約：ロバストな量子極値数

問題提起
本論文は、最大でも半数の部分系が最大混合状態であることを要求する、絶対最大もつれ（AME）状態の限界に対処している。量子ビット系において、AME状態は $n=4, 7$ および $n \ge 8$ では存在しないことが知られている。先行研究では、純粋状態における「正確に最大混合な $k$ 体周辺密度行列」の最大数をカウントする「量子極値数」$Q_{ex}(n, k)$ が導入され、これはハイパーグラフ・トゥラン理論へと結びつけられた。しかし、この厳密な枠組みは硬直的であり、ノイズやコンパイル誤差といった物理的な不完全性を考慮していない。

本研究では、ロバストな拡張としての量子極値問題の開発を行う。正確な最大混合性を要求する代わりに、目的は、特定の誤差閾値を満たす $k$ 体の周辺密度行列の最大数を求めることであり、残りの周辺密度行列については制約を設けない。これは、「すべての $k$ 体の周辺密度行列が共通の誤差境界に従う」ことを要求する「近似的 $k$ 一様性」とは異なる。

手法および定義
著者らは、部分系 $A$ の次元を $d_A = 2^{|A|}$ としたときの周辺最大混合欠損（marginal maximal-mixing defect） $D_A$ を次のように導入する：
$$D_A := d_A \text{Tr}(\rho_A^2) - 1 = d_A \left\| \rho_A - \frac{I_A}{d_A} \right\|_2^2$$
この量は、周辺密度行列 $\rho_A$ の最大混合状態からの偏差を測定するものである。これは無次元量であり、集合 $A$ 内でサポートされる非恒等パウリ重みの総平方和に等しい。
$Q^D_{ex, \varepsilon}(n, k)$ は、与えられた $n$ 量子ビット純粋状態において、$D_A \le \varepsilon$ を満たす $k$ 個の部分集合 $A$ の最大数として定義される。

手法は以下の要素を組み合わせている：

1. パウリ表現： 欠損をパウリ係数（$r_\alpha$）および重み列挙関数（$a_j$）を用いて表現する。
2. シャドウ不等式： 状態反転写像を介した第0次レイン・シャドウ不等式を利用し、パウリ重み分布に対する制約を導出する。
3. シュミット階数境界： 状態の全純粋性に由来する、簡約密度行列のランク制約を適用する。
4. 組合せ論的排除： 局所的な量子制約を、禁止されたハイパーグラフ構造（トゥラン理論）へと変換し、「良好な」部分集合の数を制限する。

主要な貢献と結果

1. 偶数量子ビット系 ($n = 4m$)
$4m$ 量子ビット上の純粋状態について、著者らは局所安定不等式を確立している。任意のサイズ $2m+1$ の部分集合 $T$ に対して：
$$\sum_{i \in T} D_{T \setminus \{i\}} \ge 1$$
これは、$\varepsilon < 1/(2m+1)$ であるとき、$\varepsilon$-良好な $2m$ 個の部分集合からなるハイパーグラフは $K^{(2m)}_{2m+1}$-free（サイズ $2m+1$ の完全ハイパーグラフを含まない）であることを意味する。

• 8量子ビットの場合 ($n=8, k=4$)： この不等式を既知の厳密な構成法と組み合わせることで、著者らは**安定プラトー（stability plateau）**を証明した：
  $$Q^D_{ex, \varepsilon}(8, 4) = 56 \quad \text{for} \quad 0 \le \varepsilon < \frac{1}{5}$$
  これは、極値カウントが有限の誤差区間において、厳密な値と等しく一定に保たれることを示している。

2. 奇数量子ビット系 ($n = 2k+1$)
奇数系の場合、禁止される構造は完全ハイパーグラフではなく、$(k+2)$-部分集合 $A$ に関連する特定のハイパーグラフ $H_k$ である。$H_k(A)$ のエッジは、$|B \cap A| = k$ または $|B \cap A| = 1$ である $k$-部分集合 $B$ である。

• 厳密な禁止パターン： $k \ge 3$ かつ $k \neq 5$ のとき、厳密なゼロ誤差ハイパーグラフ $G_0(\psi)$ は $H_k$-free である。
• 有限誤差安定半径： 著者らは、$G_\varepsilon(\psi)$ が $H_k$-free であり続けるための安定半径 $\varepsilon$ の明示的な下限を導出した：
  • $k \ge 4$ が偶数の場合： $\varepsilon < \frac{k-2}{(k+2)(k+1) + 4}$
  • $k \ge 7$ が奇数の場合： $\varepsilon < \frac{k-5}{(k+2)(k+1) + 8}$
• 9量子ビットの場合 ($n=9, k=4$)： 偶数 $k$ の境界を適用すると $\varepsilon < 1/17$ となる。これをトゥラン数の被覆境界と組み合わせることで、以下を得る：
  $$Q^D_{ex, \varepsilon}(9, 4) \le 120 \quad \text{for} \quad 0 \le \varepsilon < \frac{1}{17}$$

3. 限界と例外
本論文は以下の限界を明記している：

• 7量子ビット ($k=3$)： コンパクトネスの議論により正の安定半径は保証されるが、本論文で使用されているスカラー推定では、明示的な正の下限は得られていない。
• 11量子ビット ($k=5$)： 禁止パターンを証明するために用いた演算子恒等式が退化しており（$V|\psi\rangle = 0$）、現在の手法では $H_5$ が禁止されていることを確立できない。別の禁止パターンまたはより強い制約が必要である。
• 最適性： 著者らは、導出された半径がシャープ（最適）であるとは主張しておらず、これらは安定半径の明示的な下限である。

意義
本論文は、量子極値数が非自明な有限誤差安定区間を持つことを確立している。これは、局所的な量子整合条件（具体的には、周辺最大混合欠損）が、有限の摂動の下でも組合せ論的な剛性を保持していることを示している。厳密な量子・トゥラン的障害を定量的なロバスト性の言明へと変換することで、本研究は、厳密な組合せ制約と物理的に現実的なシナリオとの間の溝を埋めている。これは、不完全な周辺混合性が依然として高度に絡み合った状態に関連する構造的利点を保持している領域を特定するための、厳密な枠組みを提供するものである。これは、量子誤り訂正や量子シミュレーションにおいて重要である。