Exponential lower bounds on the fermionic Gaussian rank of magic states and the bosonic coherent state rank of Fock states

技術要約：フェルミオン・ガウス型およびボゾン・コヒーレント状態のランクに関する指数関数的下界

問題提起
量子力学の最近の古典シミュレーション・アルゴリズムは、「マジック」状態（非自由状態）を「自由」状態（例：スタビライザー状態、フェルミオン・ガウス状態、またはボゾン・コヒーレント状態）の線形結合へと分解することに依存している。これらのシミュレーションの計算コストは、マジック状態のランク（そのような分解に必要な自由状態の最小数）によって決定される。スタビライザーおよびフェルミオン・ガウスのランクについては指数関数的な上界が知られている一方で、厳密な下界の確立は困難であった。スタビライザー・ランクについては、既知の最良の下界は二次的（$\tilde{\Omega}(k^2)$）であり、フェルミオン・ガウス・ランクについては、これまで自明な定数を超える下界は示されていなかった。同様に、ボゾン・コンテキストにおいても、文献[1]はフォック状態のコヒーレント状態・ランクに対して超多項式的な下界を証明したが、その正確な値は依然として予想の段階であった。本研究は、これらのランクに対する無条件の指数関数的な下界の欠如に対処するものである。

手法
本論文は、状態ベクトルを用いた行列値関数を利用した**一般化されたフラットニング・マップ（flattening map）**の手法を採用し、ランクの下界を導出している。核心となる技術は、特定の線形演算子の集合（例：マヨラナ単項式や特定の微分演算子）によるターゲット状態 $|\psi\rangle$ への作用を列とする行列 $M(\psi)$ を構成することである。劣加法性により、もし $|\psi\rangle = \sum_{i=1}^r \alpha_i |f_i\rangle$ であるならば、$\text{rank}(M(\psi)) \leq \sum \text{rank}(M(|f_i\rangle))$ が成立する。

1. フェルミオンの場合:

   • 演算子: 著者らは、次数 $p$ のマヨラナ単項式を状態に適用することで生成される列を持つ写像 $C_p(\psi)$ を定義する。
   • ターゲット状態: 4量子ビットのマジック状態 $|M\rangle = \frac{1}{\sqrt{2}}(|0000\rangle + |1111\rangle)$ の $k$ 個のテンソル積に焦点を当てる。
   • 解析: $C_p(|M\rangle^{\otimes k})$ （分子）のランクは、射影パウリ群の剰余類を用いた組合せ論的な議論を用いて、マジック状態のスタビライザー群によって生成される直交ベクトルの数を数えることで下限される。$C_p(|0\rangle)$ （分母、ガウス状態を表す）のランクは、幾何級数の推定を用いて上限される。
   • 近似ランク: $\delta$-近似ランクについては、エッカートト・ヤング・ミルスキー（Eckart–Young–Mirsky）の定理を用い、ターゲットと近似とのフロベニウスノルム距離を、平坦化された行列の特異値に関連付けて利用する。
   • 小規模 $k$ における厳密なランク: $k=2$ の場合、漸近的手法では弱い下界（$r \geq 3$）しか得られない。$r \geq 4$ を証明するために、著者は $\text{Spin}(16, \mathbb{C})$ 不変量を利用する。彼らはこの問題をスピノル多様体の第2セカント多様体へと写像し、ランク $\leq 3$ の状態に対して消滅するが $|M\rangle^{\otimes 2}$ に対しては非ゼロとなる不変多項式を、グレブナー基底を用いて構成する。

2. ボゾンの場合:

   • 演算子: 著者らは、特定の範囲のベクトル $p, q$ によってインデックス付けされた、フォック状態 $|m\rangle = |m_1, \dots, m_n\rangle$ のための「フラットニング」行列 $M^m$ を定義する（成分はフォック基底の係数から導かれる）。
   • 解析: 彼らは、任意のコヒーレント状態に対してこの行列のランクが1であることを証明する。逆に、フォック状態 $|m\rangle$ に対しては、行列はフルランク $d = \prod_j (1+m_j)$ を持つ。
   • 近似ランク: 行列ランクの連続性とコーシー＝シュワルツの不等式を利用して、ターゲットと近似の間のフィデリティ $F$ を用いたロバストな下界を導出する。

主要な貢献と結果

• フェルミオン・ガウス・ランク（厳密）:
  本論文は、$|M\rangle^{\otimes k}$ の厳密なフェルミオン・ガウス・ランクが以下で下限されることを証明している：
  $$r \geq \frac{8}{9(k+1)} \left( \frac{27(8 + 2\sqrt{7})}{256} \right)^k \approx \frac{8}{9(k+1)} (1.4018)^k$$
  これは、この特定のクラスのマジック状態に対して、初めて無条件の指数関数的な下界（$\Omega(1.4^k)$）を確立するものである。

• フェルミオン・ガウス・ランク（近似）:
  $\delta$-近似分解については、ランクは厳密な下限に因子 $(1-\delta^2)$ を乗じたものによって下限される。

• $k=2$ における厳密なランク:
  $\text{Spin}(16, \mathbb{C})$ 不変量とグレブナー基底を用いることで、著者は $|M\rangle^{\otimes 2}$ の厳密なランクがちょうど4であることを証明する。これは、任意の $k \geq 2$ に対してランクが少なくとも4であることを意味し、自明な下界である2を改善する。

• 非ガウス状態への一般化:
  補題2を用いて、任意のテンソル積の $k$ 個の固定パリティ非ガウス状態のランクは、少なくとも $|M\rangle^{\otimes k}$ のランク以上であることを示す。したがって、指数関数的な下界は非ガウス状態のテンソル積に広く適用されるが、著者は、還元法を用いるため、4量子ビットより多い状態に対しては境界が緩くなる可能性があると述べている。

• ボゾン・コヒーレント状態のランク:
  本論文は、文献[1]の予想1を解決する。すなわち、$n$ モードのフォック状態 $|m_1, \dots, m_n\rangle$ のコヒーレント状態境界ランクは、正確に $\prod_{j=1}^n (1+m_j)$ である。

  • $|1\rangle^{\otimes n}$ の特定の場合、ランクは $2^n$ である。
  • 近似ランクに対するロバストな下界は、近似のフィデリティに応じてスケーリングする形で提供される。

意義と主張
本論文は、マジック状態のフェルミオン・ガウス・ランクに対する最初の無条件の指数関数的な下界を提供したと主張しており、古典シミュレーションの限界に関する複雑性理論的な理解における重要な空白を埋めるものである。この指数（$\approx 1.4$）の底は既知の上界（$2$）よりも小さいものの、この結果は、これまでの多項式的または定数的な下界からの厳密な前進である。

ボゾン・コンテキストにおいて、本研究はフォック状態の正確な境界ランクに関する特定の予想を解決し、$|1\rangle^{\otimes n}$ 状態における指数関数的な成長（$2^n$）を確定させた。著者は、自身のメソッドの広範な適用可能性を強調しており、代数幾何学（セカント多様体、フラットニング・マップ）との関連性や、エンタングルメント理論の他の領域への有用性に言及している。ただし、これらの特定の行列ランクの手法を、クリフォード群の性質により困難が生じるため、量子ビットのマジック状態（例：$|T\rangle$）のスタビライザー・ランクに適用することには大きな障害があることも明記している。

著者は謙虚に、これらの下界は指数関数的ではあるものの、少数のコピー（$k=2$ で $r=4$ を証明したケースを除いて）における多項式的ランクの可能性をまだ排除できていないこと、また、一般的な非ガウス状態から4量子ビットへの還元により、大きなシステムに対しては境界が緩くなる可能性があることを述べている。また、本研究は、フェルミオン非ガウス性のリソース理論への潜在的な影響を浮き彫りにしているが、新たな実験プロトコルを提案するものではない。