Abstract:We consider the problems of testing and learning an unknown $n$-qubit Hamiltonian $H$ from queries to its evolution operator $e^{-iHt}$ under the normalized Frobenius norm. We prove: 1. Local Hamiltonians: We give a tolerant testing protocol to decide if $H$ is $\epsilon_1$-close to $k$-local or $\epsilon_2$-far from $k$-local, with $O(1/(\epsilon_2-\epsilon_1)^{4})$ queries, solving open questions posed in a recent work by Bluhm et al. For learning a $k$-local $H$ up to error $\epsilon$, we give a protocol with query complexity $\exp(O(k^2+k\log(1/\epsilon)))$ independent of $n$, by leveraging the non-commutative Bohnenblust-Hille inequality. 2. Sparse Hamiltonians: We give a protocol to test if $H$ is $\epsilon_1$-close to being $s$-sparse (in the Pauli basis) or $\epsilon_2$-far from being $s$-sparse, with $O(s^{6}/(\epsilon_2^2-\epsilon_1^2)^{6})$ queries. For learning up to error $\epsilon$, we show that $O(s^{4}/\epsilon^{8})$ queries suffice. 3. Learning without memory: The learning results stated above have no dependence on $n$, but require $n$-qubit quantum memory. We give subroutines that allow us to learn without memory; increasing the query complexity by a $(\log n)$-factor in the local case and an $n$-factor in the sparse case. 4. Testing without memory: We give a new subroutine called Pauli hashing, which allows one to tolerantly test $s$-sparse Hamiltonians with $O(s^{14}/(\epsilon_2^2-\epsilon_1^2)^{18})$ queries. A key ingredient is showing that $s$-sparse Pauli channels can be tolerantly tested under the diamond norm with $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 $H$.

Towards tolerant testing stabilizer states

A note on polynomial-time tolerant testing stabilizer states

Improved bounds for testing low stabilizer complexity states

Single-copy stabilizer testing

Improved Stabilizer Estimation via Bell Difference Sampling

Tolerant testing of stabilizer states with a polynomial gap via a generalized uncertainty relation

Tolerant Testing of Stabilizer States with Mixed State Inputs

Optimal Verification of Stabilizer States

On the Geometry of Stabilizer States

Stabilizer Testing and Magic Entropy

Stabilizer bootstrapping: A recipe for efficient agnostic tomography and magic estimation

Agnostic Tomography of Stabilizer Product States

Tolerant Quantum Junta Testing

Bases for optimising stabiliser decompositions of quantum states

Lecture notes on quantum entanglement: From stabilizer states to stabilizer channels

Stabilizer configuration interaction: Finding molecular subspaces with error detection properties

Stabilizer circuit verification

Quantum fault tolerance with constant-space and logarithmic-time overheads

On The Stabilizer Formalism And Its Generalization

Testing and learning structured quantum Hamiltonians