Passive spectral-admittance bounds and exact continuum certificates for multiresonator quantum-memory interfaces

技術要約：マルチレゾネータ量子メモリ・インターフェースにおける受動的スペクトル・アドミッタンス境界と厳密な連続体証明

問題提起
広帯域量子メモリ・インターフェースは、通常、中心周波数のインピーダンス整合やサンプリングされた効率曲線を用いて評価される。著者らは、いずれのアプローチも動作的な連続帯域の証明（サーティフィケート）を提供するものではなく、吸収が自動的に可逆的な蓄積を意味するわけではないと主張している。制御されたチャネルへ信号を単に吸収するデバイスと、信号を長寿命のレジスタへ正常に書き込むデバイスを区別する上で、決定的なギャップが存在する。さらに、標準的な数値評価（例：グリッド・サンプリング）では、サンプル点間の狭い反射ピークの不在を保証できず、また、有理関数設計の安定性や最小位相特性の厳密な証明を提供することもできない。

手法
本論文では、制御された出力チャネルを明示的に特定した正実スペクトル・アドミッタンス $\Sigma(s)$ を用いて、受動的な1ポート・マルチレゾネータ・インターフェースをモデル化している。

1. 運用的適格性： 著者らは、「制御出力拡張（controlled-output dilation）」を導入し、反射欠陥を制御されたマルコフ出力チャネルへの転送確率へと変換している。メモリへの書き込みは、等長キャプチャ写像（$U_{cap}$）が、振幅を制御されていないバスへ廃棄することなく、許容された制御出力状態のすべてを長寿命のレジスタ（$\mathcal{H}_{mem}$）へと転送する場合にのみ、認定される。
2. 理論的境界： 定常的な受動仮定の下で、著者らは「ノーゴー（no-go）」定理を導出し、有限次数の有理インターフェースは、非ゼロの周波数区間において反射をゼロにできないことを示している。彼らは、半幅 $B$ の帯域における最悪の反射係数 $\|r\|_\infty$ に対するボーデ・ファノ（Bode–Fano）のミニマックス下限を $\|r\|_\infty \ge \exp(-\pi\kappa/2B)$ として確立している。
3. 合成と最適化： 設計問題はミニマックス合成として定式化される。極の位置が動く一般的な問題は非凸であるが、著者らは、極の位置を固定した場合、発振子強度（重み）を見出す問題は準凸な半無限計画問題であることを証明している。
4. 厳密な連続体証明： 本手法の核心的な進展は、コンピュータ支援による厳密な証明である。有理化された設計において、反射 $r(s) = N(s)/D(s)$ が、帯域内のすべての $\omega$ に対して $|r(i\omega)| < \bar{\rho}$ を満たすという条件は、コンパクトな区間上の単変数多項式 $H_{\bar{\rho}}(x)$ の厳密な正値性へと変換される。
   • ストゥルムの根の計数法（Sturm Root Counting）： 多項式が当該区間に根を持たないことを証明するために使用され、グリッド・サンプリングによらずに、境界が連続的に保持されることを保証する。
   • ルース・フルヴィッツ行列式（Routh–Hurwitz Determinants）： 安定性（左半平面の極）および最小位相（左半平面の零点）を厳密に認定するために使用される。

主な結果

• 理論的限界： 本論文は、有限次数の受動システムが完全な広帯域整合を実現できないことを確認し、帯域幅、結合率、および最小達成可能反射率の間の根本的なトレードオフ（ボーデ・ファノの床）を定量化している。
• 11モード設計： 11モードの候補設計（$\kappa=2, B=1$）にこの合成および証明フレームワークを適用することで、著者らは厳密な反射ブラケット $0.064112405 \le \|r\|_\infty < 0.0641125$ を提示している。
• 効率の保証： 反射の上限に基づき、本設計は条件付き一様書き込み効率 $\eta_w > 0.995889587$ を保証する。読出しプロセスが相反的かつ無損失である場合、最悪のラウンドトリップ確率は $0.러99179607$ を超える。
• ロバスト性解析： 本論文には、パラメータの摂動が反射境界にどのように影響するかを示す決定論的な感度解析、およびミニマックス設計の鋭さを診断するためのモンテカルロ研究が含まれている。

意義と主張
本論文は、量子メモリ・インターフェースの運用的適格性の定義と、グローバルな最適性に関する主張を分離する統一的なフレームワークを提供していると主張している。その主要な貢献は、数値的な証拠（グリッド・サンプリング）から、厳密な、独立して再実行可能な連続体証明への転換である。

• 再現性： 著者らは、報告された結果が、自由に動かせる極の位置に関するグローバルな最適性の主張でも、実験的に完全なメモリの主張でもないことを強調している。代わりに、指定された有理クラスに対する再現可能な証明を提供している。その証明オブジェクトはコンパクト（有理パラメータ、係数ハッシュ、ストゥルム計数、フルヴィッツ符号）であり、設計を生成した最適化アルゴリズムを信頼することなく、コンピュータ代数システムによって検証可能である。
• 認識論的ステータス： 本研究は、数値設計のステータスを「近似的」なものから、指定された有理クラス内での「証明済み」なものへと変化させる。証明オブジェクトはコンパクトであり、係数ハッシュ、ストゥルム計数、フルヴィッツ符号などを用いて、設計を生成した最適化アルゴリズムを信頼することなく、コンピュータ代数システムによって検証可能である。
• 限界： 著者らは、固定支持の凸性が非凸な可動極の問題を解決するものではないこと、およびボーデ・ファノの床への収束率が依然として未解決の近似理論的な問題であることを明記している。

要約すると、本論文は、受動的な量子メモリ・インターフェースのための厳密かつ正確な境界と検証プロトコルを確立しており、高い効率性の主張が、離散的なサンプリングではなく、連続帯域の証明によって裏付けられていることを保証している。同時に、受動的な定常限界と動的な制御戦略の境界を明確に区別している。