Nonperturbative first-principles calculations are central to studies of cosmological phase transitions, including the hot electroweak and QCD phase diagrams. Euclidean path-integral Monte Carlo has yielded reliable results for thermal transitions. However, real-time dynamics, the QCD phase diagram at finite baryon density, and θ terms suffer from the sign problem. The Hamiltonian formulation...
