論文の概要: On the commutator scaling in Hamiltonian simulation with multi-product formulas
- arxiv url: http://arxiv.org/abs/2507.06557v1
- Date: Wed, 09 Jul 2025 05:25:06 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-07-10 17:37:43.480791
- Title: On the commutator scaling in Hamiltonian simulation with multi-product formulas
- Title(参考訳): 多積公式を用いたハミルトンシミュレーションにおける通勤者スケーリングについて
- Authors: Kaoru Mizuta,
- Abstract要約: 本稿では,MPFの別のコンピュテータスケーリング誤差を示し,Trotterizationの利点を適切に継承するサイズ効率のコストを導出する。
我々は,MPFによるハミルトンシミュレーションが,システムサイズ依存がトロッタライゼーションに匹敵するコストを確実に達成できることを証明した。
- 参考スコア(独自算出の注目度): 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: A multi-product formula (MPF) is a promising approach for Hamiltonian simulation efficiently both in the system size $N$ and the inverse allowable error $1/\varepsilon$ by combining Trotterization and the linear combination of unitaries (LCU). It achieves poly-logarithmic cost in $1/\varepsilon$ like LCU [G. H. Low, V. Kliuchnikov, N. Wiebe, arXiv:1907.11679 (2019)]. The efficiency in $N$ is expected to come from the commutator scaling in Trotterization, and this appears to be confirmed by the error bound of MPF expressed by nested commutators [J. Aftab, D. An, K. Trivisa, arXiv:2403.08922 (2024)]. However, we point out that the efficiency of MPF in the system size $N$ is not exactly resolved yet in that the present error bound expressed by nested commutators is incompatible with the size-efficient complexity reflecting the commutator scaling. The problem is that $q$-fold nested commutators with arbitrarily large $q$ are involved in their requirement and error bound. The benefit of commutator scaling by locality is absent, and the cost efficient in $N$ becomes prohibited in general. In this paper, we show an alternative commutator-scaling error of MPF and derive its size-efficient cost properly inheriting the advantage in Trotterization. The requirement and the error bound in our analysis, derived by techniques from the Floquet-Magnus expansion, have a certain truncation order in the nested commutators and can fully exploit the locality. We prove that Hamiltonian simulation by MPF certainly achieves the cost whose system-size dependence is as large as Trotterization while keeping the $\mathrm{polylog}(1/\varepsilon)$-scaling like the LCU. Our results will provide improved or accurate error and cost also for various algorithms using interpolation or extrapolation of Trotterization.
- Abstract(参考訳): 多積公式 (MPF) は、システムサイズ$N$ と逆許容誤差 $1/\varepsilon$ をトロタライゼーションと線形ユニタリ結合 (LCU) を組み合わせることで、ハミルトニアンシミュレーションを効率的に行うための有望な手法である。
LCU (G. H. Low, V. Kliuchnikov, N. Wiebe, arXiv:1907.11679 (2019))のように1/\varepsilon$で多対数コストを実現する。
N$の効率は、トロタライズにおける通勤者スケーリングから期待され、これはネストした通勤者(J. Aftab, D. An, K. Trivisa, arXiv:2403.08922 (2024)]によって表現されるMPFの誤差境界によって確認される。
しかし, システムサイズが$N$のMPFの効率は, ネストしたコンピュテータで表される現在の誤差が, コンピュテータのスケーリングを反映するサイズ効率の複雑さと相容れないという点で, まだ正確には解決されていないことを指摘する。
問題は、任意の大きさの$q$を持つ$q$フォールドネストコンピュレータが、要求とエラーバウンドに関与していることだ。
局所性による通勤者スケーリングの利点は欠落しており、N$のコスト効率は一般的に禁止されている。
本稿では,MPFの代替共振器スケーリング誤差を示し,Trotterizationの利点を適切に継承するサイズ効率のコストを導出する。
Floquet-Magnus展開の技法から導かれる解析における要求条件と誤差は、ネストされた通勤者において一定のトランケーション順序を持ち、局所性を十分に活用することができる。
我々は、MPFによるハミルトンシミュレーションが、LCUのように$\mathrm{polylog}(1/\varepsilon)$-scalingを維持しながら、システムサイズ依存がトロタライズと同じくらいのコストを達成することを証明した。
我々の結果は、様々なアルゴリズムに対して、トロッター化の補間や外挿を用いた改善された、あるいは正確な誤差とコストを提供する。
関連論文リスト
- Exponentially Reduced Circuit Depths Using Trotter Error Mitigation [0.0]
リチャードソンと外挿はこれらの公式を用いて引き起こされるトロッター誤差を軽減するために提案されている。
この研究は、時間発展予測値を計算するためのこれらの技術の改良的で厳密な分析を提供する。
誤差$epsilon$を達成するには、$ptextth$-order product formula with expolation, circuits of depths $Oleft(T1+1/p textrmpolylog (1/epsilon)right)$は十分である。
論文 参考訳(メタデータ) (2024-08-26T16:08:07Z) - Chain of Thought Empowers Transformers to Solve Inherently Serial Problems [57.58801785642868]
思考の連鎖(CoT)は、算術や記号的推論タスクにおいて、大きな言語モデル(LLM)の精度を向上させるための非常に効果的な方法である。
この研究は、表現性のレンズを通してデコーダのみの変換器に対するCoTのパワーを理論的に理解する。
論文 参考訳(メタデータ) (2024-02-20T10:11:03Z) - On the complexity of implementing Trotter steps [2.1369834525800138]
我々は,複雑性をサブ線形とした高速なトロッターステップを実現する手法を開発した。
また、ハミルトン係数の特定のブロックが低いとき、より高速なトロッターステップを実現する。
以上の結果から, ゲートの複雑度が低いトロッター合成ステップを実装する上で, ハミルトン構造特性を必要かつ十分なものにすることが示唆された。
論文 参考訳(メタデータ) (2022-11-16T19:00:01Z) - A Law of Robustness beyond Isoperimetry [84.33752026418045]
我々は、任意の分布上でニューラルネットワークパラメータを補間する頑健性の低い$Omega(sqrtn/p)$を証明した。
次に、$n=mathrmpoly(d)$のとき、スムーズなデータに対する過度なパラメータ化の利点を示す。
我々は、$n=exp(omega(d))$ のとき、$O(1)$-Lipschitz の頑健な補間関数の存在を否定する。
論文 参考訳(メタデータ) (2022-02-23T16:10:23Z) - Convergence of Sparse Variational Inference in Gaussian Processes
Regression [29.636483122130027]
計算コストが$mathcalO(log N)2D(log N)2)$の手法を推論に利用できることを示す。
論文 参考訳(メタデータ) (2020-08-01T19:23:34Z) - Linear Time Sinkhorn Divergences using Positive Features [51.50788603386766]
エントロピー正則化で最適な輸送を解くには、ベクトルに繰り返し適用される$ntimes n$ kernel matrixを計算する必要がある。
代わりに、$c(x,y)=-logdotpvarphi(x)varphi(y)$ ここで$varphi$は、地上空間から正のorthant $RRr_+$への写像であり、$rll n$である。
論文 参考訳(メタデータ) (2020-06-12T10:21:40Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。