1: \begin{abstract}

2: We consider the problem of learning the Hamiltonian of a quantum system from estimates of Gibbs-state expectation values. Various methods for achieving this task were proposed recently, both from a practical and theoretical point of view. On the one hand, some practical algorithms have been implemented and used to analyze experimental data but these algorithms often lack correctness guarantees or fail to scale to large systems. On the other hand, theoretical algorithms with provable asymptotic efficiency guarantees have been proposed, but they seem challenging to implement. Recently, a semidefinite family of Hamiltonian learning algorithms was proposed which was numerically demonstrated to scale well into the 100-qubit regime, but provided no provable accuracy guarantees. We build on this work in two ways, by extending it to provide certified \textit{a posteriori} lower and upper bounds on the parameters to be learned, and by proving \textit{a priori} convergence in the special case where the Hamiltonian is commuting.

3: %up to the precision of the estimates of the expectation values.

4: %The algorithm outputs lower and upper bounds $a$ and $b$ on the property of interest $v \cdots \lambda$ of the unknown Hamiltonian, which is assumed to be local. As the level $\ell$ of the hierarchy grows, we have $b - a \to 0$. In addition, provided the unknown Hamiltonian is commuting, we can prove fast convergence leading to a polynomial-time algorithm.

5: %\OF{probably want to add the terms a posteriori/a priori bounds.}

6: \end{abstract}

7: