Bosonic quantum error-correcting codes with finite stellar rank

技術要約：有限のステラ・ランクを持つボゾン量子誤り訂正符号

問題提起
ボゾン量子誤り訂正（QEC）は、キャット符号やゴッテスマン–キタエフ–グリーク（GKP）符号のような連続変数状態を利用して、光子損失やデフェージングといった主要なノイズを抑制し、無限次元のヒルベルト空間に論理量子ビットをエンコードする有望な経路を提供している。しかし、これらのエンコーディングは本質的に非ガウス的であり、標準的なガウス演算（変位やスクイージングなど）を超えるリソースを必要とする。特にフォトニックシステムのような実際の実験環境においては、非ガウス的リソースは限定的であり、コストも高い。本研究が扱う中心的な問題は、有限の非ガウス的リソースがボゾン符号語の準備精度をどのように制約し、その結果として論理的な誤り訂正性能にどのような影響を与えるかである。具体的には、何が最小限の非ガウス的リソースコストであるかを明らかにすることが課題であり、「ブレークイーブン（未エンコードの量子ビットを上回る性能）」の閾値を超えるために必要なリソース、および準備の制約がある場合に理想的な符号語が依然として最適であるかどうかが不明確である。

手法
著者らは、任意のガウス演算を用いて単一モードの非ガ Gauss 状態を生成するために必要な最小の光子付加数として定義されるステラ・ランク（$r^\star$）を、リソース尺度として導入する。また、有界なステラ・ランク $k$ を用いて目標状態を近似する際の品質を定量化するために、ステラ忠実度（$f^\star_k$）を利用する。

本研究は主に以下の2つのフェーズで進行する：

1. 固定された符号ファミリーの近似： 著者らは標準的なキャット符号とGKP符号を分析する。ガウスユニタリ（変位とスクイージング）を最適化することで、有限のステラ・ランク制約下での目標状態のステラ忠実度を数値的に最適化する。その後、得られた近似符号語を光子損失およびデフェージング・ノイズチャネル下で評価するため、最適リカバリ（半正定値計画法により算出）を用いて論理チャネル忠実度を決定する。
2. エンコーディングの直接最適化： 固定された目標状態の枠組みを超え、固定されたステラ・ランク $k$ の制約下にある変分クラス内でボゾン・エンコーディングを直接最適化する。計算の実行可能性を確保するため、探索中の代替目的関数としてペッツ・リカバリ忠実度を使用し、最終的な性能は最適リカバリを用いてベンチマークを行う。この最適化では、ガウスパラメータとフォック基底における「コア」状態の係数を共同でチューニングする。

主な貢献と結果

• 固定符号ファミリーにおけるトレードオフ：

  • キャット符号について、本研究は、高いコヒーレント振幅（$\alpha$）には、成分間の位相空間上の分離が大きくなるため、高いステラ・ランクが必要であることを明らかにしている。最適化のランドスケープにより、有限ランクの近似は非単調に単位忠実度へと収束し、有限ランクの近似が部分的な回転構造しか捉えられない「プラトー（停滞）」領域が現れる。
  • GKP符号については、減衰が少ない状態（より小さい正則化パラメータ $\Delta$）は、理想的な無限エネルギー極限に近いほど、正確に近似するために著しく高いステラ・ランクを必要とする。
  • ブレークイーブン解析： 有限ランクの近似は、厳密な準備が可能になる前に、ブレークイーブンの閾値を突破することができる。キャット符号の場合、ブレークイーブンを実現するために必要なステラ・ランクは振幅 $\alpha$ と共に増加する。GKP符号における光子損失下では、ステラ忠実度が1から遠く離れていても、低いステラ・ランク（$k=3$ または $4$）でブレークイーブンが達成される。しかし、デフェージング下では、有限ランクのGKP近似は、検討されたランクの範囲内ではブレークイーブンを突破できない。
  • 理想的な符号の劣位性： 無限のリソース極限において最適とされる符号語（例：より小さな $\Delta$ を持つ減衰の少ないGKP状態）が、有限ランクの制約下では劣位になる可能性があるという重要な知見が得られた。高度に非ガウス的な目標状態の準備誤差が、その固有の誤り訂正特性を打ち消してしまうため、より容易に準備可能な「劣った」理想状態の方が、実際には優れた性能を示すことがある。

• 最適化されたエンコーディング：

  • 固定されたステラ・ランクにおけるエンコーディングの直接最適化は、ノイズに適応した符号構造を明らかにする。
  • 光子損失の下では、最適化されたエンコーディングは、局在化した低ランク構造から、ランク $k$ が増加するにつれて格子状のウィグナー関数（GKP状態に類似したもの）へと進化する。
  • デフェージングの下では、最適化されたエンコーディングは、近似的な回転対称構造（キャット符号に類似したもの）を発達させ、より広い位相空間の分離を好む。
  • リソース閾値： デフェージング・ノイズに対しては、$k=2$ のステラ・ランクがあれば、検討されたすべてのノイズ強度に対してブレークイーブンを突破するのに十分である。光子損失の下では、必要なステラ・ランクは損失率とともに増加する。
  • 性能比較： 固定されたステラ・ランク（$k=4$）および損失率（$\kappa t = 10^{-2}$）において、最適化されたエンコーディングは、標準的なキャット符号の有限ランク近似（$3.41 \times 10^{-4}$）およびバイノミアル符号（$2.9 \times 10^{-3}$）の両方よりも低い論理インフィデリティ（$1.99 \times 10^{-4}$）を達成した。

意義
本論文は、ステラ・ランクを、非ガウス的リソース理論と実用的な状態準備の制約を橋渡しする、操作的に意味のあるリソース尺度として確立している。これは、「最良の」符号とは必ずしも理想的な誤り訂正特性を持つ符号ではなく、固有の符号品質と準備コストのバランスを取るものであることを示している。本研究の結果は、誤り訂正の優位性を達成するための具体的なリソース閾値を提供し、ノイズ適応型の最適化が、定義済みの理想的な符号を近似することと比較して、固定された非ガウス的リソース予算内で優れた性能を生み出し得ることを強調している。このフレームワークは、フォトニックシステムのように非ガウス的演算が制限されている実験プラットフォームにおいて特に重要である。