Theory for adiabatic state evolution of a transverse field Ising model simulated in a Penning trap

We discuss the equilibrium positions and phonon modes of Be$^{9+}$ ions trapped in the NIST Penning trap and how one can use a laser-induced spin-dependent dipole force to generate a transverse field Ising model. Recent experiments have benchmarked the accuracy of the theory by measuring the average Ising spin-spin interaction and the transverse phonon mode frequencies and effective temperatures. Here we will discuss details about how one calculates the equilibrium positions, the phonon normal modes, and the theory behind the phonon mode thermometry. We will also discuss how a laser dipole force can be used to generate effective Ising spin-spin interactions and compare them to measurements in the case of weak coupling. Finally, we will discuss interesting prospects for new experiments both in analog quantum simulation and in phonon-spin entanglement.