Effective Polaron Dynamics of an Impurity Particle Interacting with a Fermi Gas
Duc Viet Hoang, Peter Pickl
TL;DR
This work analyzes the quantum dynamics of a single impurity immersed in a dense three-dimensional Fermi gas in a box with periodic boundaries. By employing a particle-hole transformation, patch decomposition, and almost-bosonic pair operators, the authors derive an effective Fröhlich-type Hamiltonian that linearly couples the impurity to a bosonized excitation field, capturing the polaron-like quasi-particle formation. They prove a rigorous effective time-evolution theorem showing that the microscopic dynamics are accurately approximated by the effective Hamiltonian on timescales $t = \mathcal{O}(k_{\text{F}}^{-1}\lambda^{-1})$ for couplings $\lambda \in [k_{\text{F}}^{-1/6},1]$, with explicit error bounds. In addition, they establish a coherent-state representation of the excitations, demonstrating that the time-evolved state can be approximated by a coupled coherent state $\psi_t = e^{iP(t)}W(\eta_t)\phi\otimes\Omega$ with quantitative control on the deviation, thereby providing a detailed description of polaron formation and collective excitations. The results hold for interaction strengths including order-one couplings and illuminate the role of the linear coupling term $\Phi(h_y)$ in the effective dynamics, advancing rigorous understanding of impurity dynamics in dense Fermi gases.
Abstract
We study the quantum dynamics of a homogeneous ideal Fermi gas coupled to an impurity particle on a three-dimensional box with periodic boundary condition. For large Fermi momentum $k_\text{F}$, we prove that the effective dynamics is generated by a Fröhlich-type polaron Hamiltonian, which linearly couples the impurity particle to an almost-bosonic excitation field. Moreover, we prove that the effective dynamics can be approximated by an explicit coupled coherent state. Our method is applicable to a range of interaction couplings, in particular including interaction couplings of order 1 and time scales of the order $k_\text{F}^{-1}$.
