[論文レビュー] Succinct Fermion Data Structures

Joseph Carolan, Luke Schaeffer|arXiv (Cornell University)|Oct 5, 2024

Quantum Chromodynamics and Particle Interactions被引用数 1

ひとこと要約

本稿では、粒子数対称性を活用して量子ビットの過剰消費を低減する2つの新規な第二量子化フェルミオン符号化法を提案する。これらは、I + o(I) または I + O(1) 量子ビット（I = ⌈log₂(M choose F)⌉）を用いて、ほぼ最適な空間使用を達成するとともに、フェルミオン回転操作を効率的に実行可能である。最初の符号化法は、F = o(M) の場合に O(I) のゲート複雑性と O(log M log log M) の回路深さを達成する。第二の符号化法は、F = Θ(M) の場合に O(I³) のゲート数と O(1) の追加量子ビットを用い、それぞれ従来手法に比べて多項式的および指数的改善を実現する。

ABSTRACT

Simulating fermionic systems on a quantum computer requires representing fermionic states using qubits. The complexity of many simulation algorithms depends on the complexity of implementing rotations generated by fermionic creation-annihilation operators, and the space depends on the number of qubits used. While standard fermion encodings like Jordan-Wigner are space optimal for arbitrary fermionic systems, physical symmetries like particle conservation can reduce the number of physical configurations, allowing improved space complexity. Such space saving is only feasible if the gate overhead is small, suggesting a (quantum) data structures problem, wherein one would like to minimize space used to represent a fermionic state, while still enabling efficient rotations. We define a structure which naturally captures mappings from fermions to systems of qubits. We then instantiate it in two ways, giving rise to two new second-quantized fermion encodings of $F$ fermions in $M$ modes. An information theoretic minimum of $\mathcal{I}:=\lceil\log \binom{M}{F} ceil$ qubits is required for such systems, a bound we nearly match over the entire parameter regime. (1) Our first construction uses $\mathcal I+o(\mathcal I)$ qubits when $F=o(M)$, and allows rotations generated by creation-annihilation operators in $O(\mathcal I)$ gates and $O(\log M \log \log M)$ depth. (2) Our second construction uses $\mathcal I+O(1)$ qubits when $F=Θ(M)$, and allows rotations generated by creation-annihilation operators in $O(\mathcal I^3)$ gates. In relation to comparable prior work, the first represents a polynomial improvement in both space and gate complexity (against Kirby et al. 2022), and the second represents an exponential improvement in gate complexity at the cost of only a constant number of additional qubits (against Harrison et al. or Shee et al. 2022), in the described parameter regimes.

研究の動機と目的

• 粒子数対称性を活用して、量子ビットの過剰消費を低減する、空間効率的かつゲート効率的な第二量子化フェルミオン符号化法の開発。
• フェルミオンシミュレーション回路における量子ビット数とゲート深さのトレードオフの解消。
• 情報理論的下界 I = ⌈log₂(M choose F)⌉ に近い量子ビット使用量を達成しながら、フェルミオン生成/消滅演算子回転の効率的実装を維持すること。
• 従来の短縮符号化法が高コストのゲートまたは深さのオーバーヘッドを負っていたという制限の克服。
• 特に F ≪ M または F ≈ M の領域において、よりスケーラブルなフェルミオン系の量子シミュレーションの実現。

提案手法

• F 個のフェルミオンを M モードに配置するフェルミオンデータ構造の一般枠組みを定義し、組み合わせ的インデックス化を用いて量子状態にマッピングする。
• F = o(M) の場合に I + o(I) 量子ビットを用いる、ソート済みリストベースの符号化法を提案。並列インデックス探索とリスト回転回路を効率的に活用する。
• ビットストリング表現と重ね合わせられたパディングを用いた、暗黙的で階層的な符号化法を導入。F = Θ(M) の場合に I + O(1) 量子ビットを達成する。
• フェルミオン演算子回転を実装する低深さの量子回路を設計。一貫した制御回転と並列サブルーチンを活用する。
• 代数的分解とビットストリング順序付けを用いて、フェルミオン統計を保ちつつ回路深さとゲート数を最小化する。
• 短縮データ構造と並列計算の技術を応用し、空間的および回路深さの両方を最適化する。

実験結果

リサーチクエスチョン

• RQ1 第二量子化フェルミオン符号化法は、I + o(I) または I + O(1) の量子ビットを用いながら、低ゲート複雑性と低回路深さを達成できるか？
• RQ2 F = o(M) の場合に、フェルミオン生成/消滅演算子回転を O(I) ゲートと O(log M log log M) の深さで実装できるか？
• RQ3 F = Θ(M) の場合に、O(1) の追加量子ビットでゲート複雑性を O(I³) にまで低減でき、従来の O(I²2^I) または O(F²) の境界と比較して改善できるか？
• RQ4 第一量子化スタイルのリスト符号化法を短縮化しつつ、反対称性と効率的演算を維持できるか？
• RQ5 フェルミオン回転に O(I) のゲート複雑性を維持するための最小限の量子ビットオーバーヘッドは何か？

主な発見

• 最初の符号化法は、F = o(M) の場合に I + o(I) 量子ビットを用い、O(I) のゲート複雑性と O(log M log log M) の回路深さを達成。従来手法に比べて多項式的改善を実現する。
• 第二の符号化法は、F = Θ(M) の場合に I + O(1) 量子ビットを用い、O(I³) のゲート複雑性を達成。従来の O(I²2^I) または O(F²) 手法と比較して、ゲート数に指数的改善をもたらす。
• 空間使用量は漸近的に最適であり、最初の符号化法は情報理論的下界 I = ⌈log₂(M choose F)⌉ に 1 + o(1) 要因で近い。
• F = o(M) の場合、ゲート複雑性は F に関して2乗的に改善され、log M に関しては最良の従来手法（最適次数符号化）と比較して少なくとも4桁以上改善される。
• 一貫した制御回転によるフェルミオン回転の効率的実装が維持されており、従来の短縮符号化法で見られた指数的オーバーヘッドを回避している。
• 暗黙的符号化法は、重ね合わせられたパディングを施した階層的ビットストリング構造を用い、定数オーバーヘッドを達成するとともに、並列リスト回転とインデックス探索により低深さ回路を実現する。