Efficient Quantum Circuits for Coherent Conversion Between General First- and Second-Quantized Many-Body Representations

技術要約：第一量子化および第二量子化の多体表現間におけるコヒーレント変換のための効率的な量子回路

問題提起
粒子数 $N$ が固定された多体系の量子シミュレーションは、数学的には等価であるがリソース特性が異なる2つの記述を許容する：第一量子化（粒子）表現と、第二量子化（占有数）表現である。

• 第一量子化: 状態を $(\mathbb{C}^d)^{\otimes N}$ に埋め込み、$N \lceil \log_2 d \rceil$ 個の量子ビットを必要とする。$N \ll d$ の場合には空間効率が高いが、粒子の置換対称性により、演算子の実装において高いゲート複雑度を招くことが多い。
• 第二量子化: フォック空間の固定-$N$セクターを占有ベクトル $(n_1, \dots, n_d)$ を用いて表現する。通常 $O(d)$ 個の量子ビットを必要とする。生成・消滅代数を自然に扱い、粒子数の柔軟性を備えているが、$N$ が小さく $d$ が大きい場合には空間効率が悪くなる可能性がある。

特定の統計（例：純粋なフェルミオンまたはボゾン）に対しては、これらの表現間を変換するための専用アルゴリズムが存在するが、粒子の統計性を回路ロジックにハードコーディングすることなく、一般的な多体系の状態（パラ統計セクターを含む）をこれら2つの描像間でコヒーレントに変換できる、普遍的で対称性に依存しないユニタリ変換が欠けている。本論文はこの課題に対処しており、異なる表現に対して最適化された異なるステージ間のモジュール式量子ワークフローを可能にするプリミティブ（基本要素）を実現するものである。

手法およびコア構成
著者らは、第一量子化状態を固定-$N$の第二量子化形式へと写像する明示的なユニタリ演算子 $Q$（およびその逆 $Q^\dagger$）を構築する。この構成は、中心的な構造的同一性に依拠している：占有数表現は、第一量子化ヒルベルト空間の一般化された群フーリエ基底である。

変換 $Q$ は、以下の2つの主要なステージで構成される：

1. 強Schur変換 ($U_{\text{Schur}}$):
   • Schur-Weyl双対性に基づき、ヒルベルト空間 $(\mathbb{C}^d)^{\otimes N}$ は、ヤング図形 $\lambda$（対称群 $S_N$ の既約表現）と $U(d)$ の既約表現によってラベル付けされたセクターに分解される。
   • $U_{\text{Schur}}$ は、可換なペア $(S_N, U(d))$ に対する非アーベルフーリエ変換を実行する。これは、計算基底（粒子の配置）をSchur基底 $|\lambda, \mu, \sigma\rangle$ へと写像する。ここで：
     • $\lambda$: ヤング図形の形状（粒子統計セクター）。
     • $\sigma$: ヤング・ヤマノウチ語（$S_N$ の多重度ラベル）。
     • $\mu$: ゲルファント・ツェトリン (GT) パターン（$U(d)$ の既約表現の基底）。
   • このステップは、ラベル $\lambda, \mu, \sigma$ を専用のレジスタにコヒーレントに書き込む。
2. ジョルダン・シュウィンガー算術ユニタリ ($U_{\text{JS}}$):
   • このステージは、GTパターンのデータ $\mu$ を占有ベクトル $n = (n_1, \dots, n_d)$ へと変換する。
   • 著者らは、ジョルダン・シュウィンガー写像の対角生成子がモード数演算子に対応することを確立している。具体的には、占有数はGTパターンの逐次的な行和の差として回収される：$n_\ell = R_\ell(\mu) - R_{\ell-1}(\mu)$（ここで $R_\ell$ は $\ell$ 番目の行の最初の $\ell$ 個の要素の和である）。
   • 重み空間が縮退している一般的なパラ統計セクター（複数のGTパターンが同じ占有ベクトルに対応する場合）において、著者らは**標準的なゲルファント・ツェトリンの約束（canonical Gelfand–Tsetlin promise）**を課す：入力状態は、各重みに対して識別された標準的な代表元 $\mu_{\text{can}}(n, \lambda)$ の上にのみサポートされている。この約束の下では、写像は全単射かつ可逆となる。
   • $U_{\text{JS}}$ は、可逆論理（加算、減算、および再構成）を用いて、$\mu$ から $n$ を計算するこの算術を実行する。

主な貢献

• 普遍的なユニタリ変換器: 本論文は、粒子の統計クラスを事前に知ることなく、ボゾン、フェルミオン、およびパラ統計（パラボゾン/パラフェルミオン）に対して機能する、明示的なユニタリ演算子 $Q$ の最初の構成を提供している。統計性は、プロセス中に $\lambda$ レジスタに診断・格納される。
• 表現論的洞察: 本研究は、第二量子化の占有基底を、Schur-Weyl分解から生じる $U(d)$ 表現の重み基底として厳密に特定している。これは、変換を「前フーリエ」計算基底から「フーリエ」重み基底への変化として定式化している。
• 複雑度解析:
  • 量子コスト: 総ゲート複雑度は $\text{poly}(N, d, \log(1/\epsilon))$ である。支配的なコストは強Schur変換（Bacon-Chuang-HarrowやKrovi-Burchardtなどの既存のアルゴリズムを使用）に由来し、算術ステージは $O(d^2 \log N)$ のコストを加える。
  • 古典的困難性: 著者らは、コヒーレントな量子変換と明示的な古典的変換の間の鋭い分離を確立している。
    • 前方写像（第一 $\to$ 第二）において、古典的な出力サイズは $\Omega(D_{\max}(N, d))$ である。ここで $D_{\max}$ は、異なる占有ベクトルの数である。これは（固定された $N$ に対して）$d$ の $N$ 次の多項式であり、$d = \Theta(N)$ のときには $N$ に対して指数関数的である。
    • 後方写像（第二 $\to$ 第一）において、ヤング対称化子の階乗的なサポートにより、古典的な出力サイズはボゾンおよびフェルミオンセクターに対して $\Omega(N!)$ となる。
• サンプリングの困難性: 著者らは、誘導された占有数分布（約束された入力に対して）に対する効率的な古典的サンプラーが存在すると仮定すれば、$BQP \subseteq BPP$ が導かれることを証明しており、この変換タスクが計算量的に強力であり、古典コンピュータによる明示的なシミュレーションが困難であることを示唆している。

結果と主張

• 効率性: 著者らは、量子コンピュータが多項式リソースを用いて変換された状態を量子メモリ内に準備できることを示している。一方で、明示的な係数リストを生成しようとするいかなる古典的アルゴリズムも、$N$（または $d$ の高次多項式）に対して指数関数的なコストを支払わなければならない。
• モジュール性: 変換 $Q$ は「表現ルーター」として機能する。これにより、量子ワークフローは特定のサブルーチン（例：$N \ll d$ の場合の、状態準備のための第一量子化、および粒子数に柔軟なダイナミクスのための第二量子化）に対して最も効率的な表現を利用し、コヒーレントにこれらを行き来することが可能になる。
• 汎用性: 以前の研究が特定の統計（例：純粋なフェルミオン化学）に焦点を当てていたのに対し、この構成は「統計に依存しない（symmetry-agnostic）」ものである。標準的なGTの約束が満たされる限り、パラ統計を自然に扱うことができる。
• 限界: 著者らは、特定の既知の統計（例：純粋なフェルミオン化学）の場合、専門化されたコンバータ（文献[23, 24]など）の方が、定数係数や特定の漸近的領域においてより効率的である可能性があることを認めている。提案された $Q$ は、普遍性とモジュール性と引き換えに、ある程度の効率を犠牲にしている。

意義
本論文は、第一量子化と第二量子化の等価性を、単なる帳簿上の作業から、表現論に基づいた操作的なプリミティブへと昇華させている。占有数表現を第一量子化の群フーリエ基底として特定することで、著者らはコヒーレントな表現変更のための厳密な数学的基礎を提供している。これにより、状態の準備、発展、測定といった特定のタスクに基づいて、エンコーディングの選択を動的に最適化しながら、コヒーレンスを失ったり状態の古典的な再合成を必要としたりすることなく、モジュール化されたフォールトトレラントな量子シミュレーション戦略が可能となる。また、本研究は根本的な複雑性理論的障壁を浮き彫りにしている。すなわち、量子コンピュータはこれらの表現間を効率的に移動できる一方で、その結果を明示的に古典化することは大規模な系に対して実行不可能であり、これは多体系シミュレーションのワークフローにおける量子優位性の潜在力を裏付けている。