Pairwise coalescence times under the structured coalescent: A computational overview.

Pairwise coalescence times are of fundamental importance in population genetic theory and inference. However, computing expectations and related quantities under the structured coalescent remains challenging. Here, we analyze two commonly used approximation strategies-the time-decomposition approach and the lineage-independence assumption-and characterize their underlying theoretical assumptions and computational properties. We also summarize recent algorithmic advances that relate the problem to the generalized Lyapunov equation. These methods enable exact computation with reduced complexity, and we further extend them to more general model settings. Finally, we discuss the potential role of iterative solvers in accelerating inference. Together, these insights clarify the computational landscape and provide a foundation for more flexible and accurate inference in structured populations.