Testing and learning structured quantum Hamiltonians

Oct 31, 2024
45 pages
e-Print:

Citations per year

20232024202501
Abstract: (arXiv)
We consider the problems of testing and learning an unknown nn-qubit Hamiltonian HH from queries to its evolution operator eiHte^{-iHt} under the normalized Frobenius norm. We prove: 1. Local Hamiltonians: We give a tolerant testing protocol to decide if HH is ϵ1\epsilon_1-close to kk-local or ϵ2\epsilon_2-far from kk-local, with O(1/(ϵ2ϵ1)4)O(1/(\epsilon_2-\epsilon_1)^{4}) queries, solving open questions posed in a recent work by Bluhm et al. For learning a kk-local HH up to error ϵ\epsilon, we give a protocol with query complexity exp(O(k2+klog(1/ϵ)))\exp(O(k^2+k\log(1/\epsilon))) independent of nn, by leveraging the non-commutative Bohnenblust-Hille inequality. 2. Sparse Hamiltonians: We give a protocol to test if HH is ϵ1\epsilon_1-close to being ss-sparse (in the Pauli basis) or ϵ2\epsilon_2-far from being ss-sparse, with O(s6/(ϵ22ϵ12)6)O(s^{6}/(\epsilon_2^2-\epsilon_1^2)^{6}) queries. For learning up to error ϵ\epsilon, we show that O(s4/ϵ8)O(s^{4}/\epsilon^{8}) queries suffice. 3. Learning without memory: The learning results stated above have no dependence on nn, but require nn-qubit quantum memory. We give subroutines that allow us to learn without memory; increasing the query complexity by a (logn)(\log n)-factor in the local case and an nn-factor in the sparse case. 4. Testing without memory: We give a new subroutine called Pauli hashing, which allows one to tolerantly test ss-sparse Hamiltonians with O(s14/(ϵ22ϵ12)18)O(s^{14}/(\epsilon_2^2-\epsilon_1^2)^{18}) queries. A key ingredient is showing that ss-sparse Pauli channels can be tolerantly tested under the diamond norm with O(s2/(ϵ2ϵ1)6)O(s^2/(\epsilon_2-\epsilon_1)^6) queries. Along the way, we prove new structural theorems for local and sparse Hamiltonians. We complement our learning results with polynomially weaker lower bounds. Furthermore, our algorithms use short time evolutions and do not assume prior knowledge of the terms in the support of the Pauli spectrum of HH.
Note:
  • 45 pages. This work subsumes a prior work by the third author (arXiv:2404.06282)