{"id":"arxiv/2607.19852","url":"https://arxiv.org/abs/2607.19852","tags":["quant-ph"],"score":0,"title":"Optimal Lower Bounds for Hamiltonian Simulation","domain":"quant-ph","source":"arxiv","authors":["Alexander Zlokapa","Richard R. Allen","Aram W. Harrow"],"reviews":0,"subject":"quant-ph","summary":"For Hamiltonian $H = \\sum_j h_j$, we prove asymptotically tight lower bounds on the gate and query complexities of simulating time evolution on a quantum computer. Our bounds hold for arbitrary term norms $\\|h_j\\|$, time $t$, and trace-distance error $ε$. The matching upper bound (known as composite qDRIFT) consists of high-order Trotterization of the large terms and a randomized first-order Trotterization of the small terms. Unlike prior work that chooses worst-case $\\|h_j\\|$ to encode the computation of parity or other Boolean functions in time evolution, our proof is elementary and based…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-07-22","reactions":{}}