A computational phase diagram for the transverse field Ising model

We study the transverse field Ising model, defined by the Hamiltonian $H =\frac{1}{2}\sum_{i, j\in [n]} J_{ij} Z_i Z_j +\sum_{i=1}^n h_i^z Z_i + \eta\sum_{i} X_i$ where $J $ is the symmetric interaction matrix, and $\eta$ is the transverse field strength. Let $\Delta(J)=\lambda_{\max}(J)-\lambda_{\min}(J)$ be the spectral width of $J.$ When the inverse temperature $\beta\geq0$ satisfies $\Delta(J)\cdot\frac{\tanh(\beta\eta)}{\eta}\leq1$, we give a randomized classical algorithm that approximates the partition function $Z(\beta)=\operatorname{Tr}(e^{-\beta H})$ to a given relative error $\epsilon\in(0,1)$ in time polynomial in $n$, $\beta$, the model parameters, and $\epsilon^{-1}$. When $ \Delta(J) \cdot \frac{\tanh(\beta \eta)}{\eta} > 1 ,$ we show that approximating $ Z(\beta)$ within an $\exp(o(n))$-multiplicative factor is $\textbf{NP}$-hard, and thus unlikely to admit an efficient classical or quantum algorithms under standard complexity theoretic assumptions. Furthermore, in the regime $\Delta (J)\cdot \frac{\tanh(\beta \eta)}{\eta}\leq 1,$ we provide an efficient randomized classical algorithm that approximates Pauli string observables of the Gibbs state $ \rho_\beta = \frac{e^{-\beta H}}{\operatorname{Tr}(e^{-\beta H})}$ within an arbitrarily small additive error. In the special case when the observable is also diagonal in the $X$-basis, i.e. $P \in \{I, X\}^{\otimes n}$, the algorithm further achieves arbitrarily small relative error.