Circuit complexity of coupled four-mode squeezed states in two-field inflation

技術要約：二場インフレーションにおける結合された四モード・スクイーズド状態の回路複雑性

問題提起
本研究は、二場インフレーションモデルにおける原始摂動の回路複雑性を調査するものである。インフレーションは量子揺らぎを生成し、それらはスクイーズド・ガウス状態へと進化するが、特に曲率摂動とエントロピー摂動が結合している場合において、これらの状態を準備するために必要な特定の複雑性が完全には解明されていない。先行研究では単一場モデルや非結合摂動については扱われてきたが、場間の結合と、結果として得られる四モード・スクイーズド状態を準備するために必要な幾何学的距離との相互作用については分析が必要である。著者らは、場の結合が状態のペア振幅をどのように修正するか、また、その修正が非結合の場合と比較して回路複雑性を著しく変化させるかどうかを決定することを目的としている。

手法
著者らは、量子複雑性に対する幾何学的アプローチを採用し、具体的にはガウス状態に対するニールセン（Nielsen）回路複雑度を用いている。

1. ハミルトニアンの導出： 結合された曲率（$\xi$）およびエントロピー（$\psi$）摂動の二次作用から出発し、著者らは完全なハミルトニアンを導出する。これには、同一場のペア生成および場間の転送項の両方を含む、すべての対角および非対角の二次項が含まれており、場間の相互作用を捉えている。系は、各運動量ペア $(k, -k)$ に関する正準共役変数を用いて扱われる。
2. 状態の表現： 時間発展する状態は、四モード・スクイーズド状態として表される。著者らは、この状態を、二つの複素成分 $Z_{11,k}$ および $Z_{22,k}$（同一場のペア）と $Z_{12,k}$（交差場のペア）を含む対称なペア振幅行列 $Z_k$ を用いて表現する。
3. ダイナミクス： ガウス・アンザッツにシュレディンガー方程式を適用することで、ペア振幅 $Z_{ij,k}$ の進化を支配する三つの結合された複素微分方程式を導出する。これらの方程式は、ハッブル率、軌道の回転率（$\lambda$）、および有効質量などの背景パラメータに依存する。
4. 複雑性の計算：
   • ペア振幅行列は、二つの主たるスクイージング強度（$r_{1k}, r_{2k}$）と関連する角度を抽出するために、タカギ分解（Takagi factorization）によって分解される。これらの強度は、結合された状態の主たるスクイージング・チャネルを特徴付けるが、必ずしも元の場の基底とは一致しない。
   • 回路複雑性は、等重み（equal-weight）のニールセン $F_2$ メトリックを用いて計算される。真空参照状態と無制限の二次ガウスゲートに対して、単一運動量ペアに対する複雑性は $C_{2,k} = \sqrt{2(r_{1k}^2 + r_{2k}^2)}$ として導かれる。
   • 著者らは、この等重み処方の下では、複雑性がスクイージング強度には明示的に依存するものの、強度が固定されている場合にはスクイージング角には依存しないことを指摘している。
5. 数値シミュレーション： 準ド・ジッター背景下で結合方程式を数値的に解く。結合の影響を分離するために、結果を一致した非結合進化（回転率 $\lambda$ がゼロに設定された場合）と比較する。

主な貢献

• 完全なハミルトニアン定式化： 本論文は、結合された二場インフレーションの完全なハミルトニアンを提供し、四モード・スクイーズド状態を記述するために必要なすべての対角および非対角項を詳細に示している。
• 結合されたスクイージングのダイナミクス： 著者らは、ペア振幅の進化を支配する特定の三つの結合微分方程式を導出し、非ゼロの回転率がいかにして交差場のペア振幅の初期成長を誘発するかを実証している。
• 複雑性メトリクスの適用： 著者らは、等重みニールセン距離を結合された四モード系に適用し、$C_{2,k} = \sqrt{2(r_{1k}^2 + r_{2k}^2)}$ という式を確立するとともに、このコスト関数において複雑性がスクイージング角に依存しないことを明確にしている。
• 主チャネルの分解： 本研究は、元の場の基底と主たるスクイージング・チャネルを区別しており、後者が完全なペア振幅行列の固有値によって決定され、動的に進化することを示している。

結果

• 振幅の進化： 数値結果によれば、地平線の深い内部ではペア振幅は小さいままである。モードが地平線通過に近づくと、対角振幅は著しく増大し、一方で交差場の振幅（$Z_{12,k}$）は一時的な増強を示した後に減少する。しかし、結合は状態の進化に永続的な痕跡を残す。
• スクイージング強度： 二つの主たるスクイージング強度（$r_{1k}$ および $r_{2k}$）は、地平線内では小さく、地平線通過後に増大し、これはインフレーションによる摂動の増幅を反映している。二つの強度は後期において分離し、結合されたセクターが等しく増幅されていないことを示している。
• 複雑性の比較： 計算された回路複雑性は、結合モデルと非結合モデルの両方において地平線通過後に増大する。極めて重要な点として、検討されたパラメータにおいて、結合モデルと非結合モデルの間の複雑性の差は非常に小さいことが判明した。符号付きの差（$\Delta C_{2,k}$）は、全複雑性に比べてはるかに狭いスケールでのみ解像される。
• 対称性： 複雑性は結合パラメータ（$\lambda$）の符号に対して対称である（すなわち、$C_{2,k}(\lambda) = C_{2,k}(-\lambda)$）ことが判明しており、これにより $\lambda=0$ 付近での線形補正は消失する。

意義と主張
本論文は、場間の結合が交差場のペア振幅を生成し、ペア振幅行列を修正することによって、四モード・スクイーズド状態の構造を根本的に変えるものの、等重みの回路複雑性に対するその影響は、テストされたパラメータにおいては最小限であると主張している。

著者らは、この結果が、選択された参照状態、ゲートセット、およびコスト関数に対する複雑性の比較の依存性を強調していると述べている。具体的には、等重みニールセン距離は、主たる強度が固定されている場合、スクイージング・チャネルの向きに対して鈍感である。したがって、異なる四モード・ペア振幅行列（結合ダイナミクスと非結合ダイナミクスから生じるもの）は、ほぼ同一の複雑性の値をもたらし得る。

本研究は、この特定の複雑性尺度は、あらゆる量子状態の変化を解明したり、この文脈における直接的な相互作用のプローブとして機能したりするものではないと結論付けている。それは、より一般的な二場モデルにおけるガウス回路複雑性を研究するためのリファレンスとして機能するが、現在の形態ではリアプノフ指数やスクランブリング時間を決定するものではなく、さらなる分析なしに原始的観測量と直接結びつくものでもない。著者らは、スクイージング・チャネルの角度進化や配向に対して複雑性を敏感にするためには、不均等なゲートペナルティが必要になる可能性があると示唆している。