Error bounds for the truncated Baker--Campbell--Hausdorff and Zassenhaus formulas in unitary problems

技術要約：ユニタリ問題における切断されたベーカー・キャンベル・ハウスドルフおよびザッセンハウス公式の誤差界

問題の定義
ベーカー・キャンベル・ハウスドルフ（BCH）公式およびザッセンハウス公式は、リー理論における基本的なツールであり、非可換な演算子の指数の積の対数、および指数の和の指数を、入れ子状の交換子による無限級数として表現するものである。実用的なアプリケーション、特に常微分方程式の数値解析や量子シミュレーションにおいては、これらの無限級数は截断（切り捨て）されなければならない。これらの級数の収束領域は十分に研究されているが、結果として得られる截断近似に対する厳密な誤差界、具体的には入れ子状の交換子のノルムに関する誤差界については、自明なリー・トロッター（Lie–Trotter）の場合を除いて、文献においてほとんど存在していなかった。このような誤差界の欠如は、量子アルゴリズムにおけるゲート複雑性や誤差のスケーリングの精密な定量化を妨げている。

手法
著者らは、演算子が歪反対（skew-adjoint）である場合（これはユニタリ量子発展の問題で満たされる条件である）において、BCH公式およびザッセンハウス公式の両方の厳密な誤差界を導出するための一般的な戦略を提案している。その手法は以下のステップに基づいている：

1. 微分方程式の定式化： 問題を、2つの時間依存のユニタリ演算子 $F_1(t)$ および $F_2(t)$ を定義することによって再構成する。ここで、$F_1(t)$ は（積または和の）指数の正確な積を表し、$F_2(t)$ は截断近似を表す。両者は $\frac{dF}{dt} = M(t)F$ という形の初期値問題を満たす。
2. 生成子解析： 著者らは、生成子演算子 $M_1(t)$ と $M_2(t)$ の差を分析する。BCHの場合、$M_1(t)$ は積 $e^{tA}e^{tB}$ から導かれ、$M_2(t)$ は截端された級数の指数 $e^{Z^{[m]}(tA, tB)}$ から導かれる。
3. 積分剰余推定： 2つのユニタリ演算子の差をそれらの生成子の差の積分によって抑える補題2.1を用いることで、著者らは誤差推定を $\|M_1(t) - M_2(t)\|$ を抑える問題へと還元する。
4. 剰余付きテイラー展開： 生成子は、積分形式の剰余（補題2.2）を利用して、パラメータ $t$ の $m$ 次までのべき乗まで展開される。これにより、著者らは主要な誤差項を孤立させることができ、それらは入れ子状の交換子の線形結合として表現される。
5. 再帰的拡張： このアプローチは、$N$ 個の演算子を扱う場合（セクション4）および対称BCH公式（セクション5）へと一般化される。これは、再帰的な数列を定義することによって行われる。ザッセンハウス公式（セクション6）についても、指数の積に対して同様の再帰的手順が適用される。

主な貢献と結果

• BCHに対する明示的な誤差界： 本論文は、截断されたBCH級数 $Z^{[m]}$ に対する明示的な誤差界を導出している。2項まで截断する場合（$m=2$）、著者らは以下の境界を与える：
  $$\|e^{tA}e^{tB} - e^{Z^{[2]}(tA, tB)}\| \leq \frac{t^3}{4}\|[A, [A, B]]\| + \frac{t^3}{12}\|[B, [A, B]]\|$$
  この結果は、$m=1$ における既知のリー・トロッター境界を回収し、2次近似に対する新しい明示的な推定値を提供する。
• ザッセンハウスに対する明示的な誤差界： 著者らは、彼らの知る限り初めて、截断されたザッセンハウス公式に対する厳密な誤差界を提示している。第1補正項（$q=2$）まで截断した場合の境界は以下の通りである：
  $$\|e^{t(A+B)} - e^{tA}e^{tB}e^{t^2 C_2}\| \leq \frac{t^3}{3}\|[B, [A, B]]\| + \frac{t^3}{6}\|[A, [A, B]]\|$$
  著者らは、これらの係数が最適であることを述べている。
• $N$ 個の演算子および対称ケースへの一般化： この戦略は、$N$ 個の歪反対演算子を含むBCH公式、および（回文的なスプリッティング法に関連する）対称BCH公式へと拡張される。定理4.1および定理5.1は、これらの場合の誤差界に関する一般的な再帰的公式を提供する。
• 交換子スケーリング特性： 中心的な発見は、導出された誤差界が、その係数が入れ子状の交換子のノルムの線形結合であるようなパラメータ $t$ の多項式であることである。これは、演算子がほぼ可換である場合に有利となる「交換子スケーリング特性」を示している。
• 計算の実装： 著者らは、自由リー代数の古典的なホール基底（Hall basis）を用いて、$m=3$ まで（および提供されたウェブサイトを通じて $m=4$ まで）の誤差定数の明示的な式を提供している。ランダムな $20 \times 20$ 行列を用いた数値実験を通じて、導出された境界がシャープであり、比較的大きな $t$ に対しても実際の誤差を3倍未満の係数で過大評価していることを示している。

意義と主張
本論文は、自明な一次のケースを超えた、截断されたBCHおよびザッセンハウス展開に関する厳密な誤差解析に関する文献の空白に対処していると主張している。これらの結果の意義は、以下の用途への適用可能性にある：

• 量子シミュレーション： 量子アルゴリズムにおける積公式のゲート複雑性と深さの最適化の分析に直接影響を与える理論的境界を提供すること。
• 誤差の定量化： 入れ子状の交換子に依存する境界を提供することで、演算子がほぼ可換である場合に、よりタイトな推定を可能にすること。
• 厳密な解析： 計算代数システムを通じて実装可能な、任意の截断次数 $m$ および $N$ 個の演算数に対する誤差界を生成するための体系的な枠組みを確立すること。

著者らは控えめなトーンを維持しており、境界は厳密かつ明示的ではあるものの、その計算複雑性は截断次数 $m$ に対して指数関数的に増大することを指摘している。また、これらの結果は有限次元のユニタリケース（歪反対演算子）に特有のものであることを強調しているが、他のバリエーションの公式への適用も示唆している。