Avoiding Premature Collapse: Adaptive Annealing for Entropy-Regularized Structural Inference
Yizhi Liu
TL;DR
The paper addresses instability when annealing entropy-regularized OT towards hard permutations in differentiable matching. It reveals a thermodynamic speed limit that forces a fast drift of the moving fixed point beyond the solver's contraction, causing Premature Mode Collapse under standard exponential schedules. To fix this, it introduces Efficient Piecewise Hybrid ASC (EPH-ASC), which enforces a linear stability bound and uses a two-phase adaptive annealing protocol to pause cooling when needed, reducing spectral diagnostics overhead. Empirically, EPH-ASC preserves uncertainty, avoids premature locking, and yields a substantial speedup (1.60x) over Gumbel-Sinkhorn with minimal overhead on SPair-71k."
Abstract
Differentiable matching layers, often implemented via entropy-regularized Optimal Transport, serve as a critical approximate inference mechanism in structural prediction. However, recovering discrete permutations via annealing $ε\to 0$ is notoriously unstable. We identify a fundamental mechanism for this failure: \textbf{Premature Mode Collapse}. By analyzing the non-normal dynamics of the Sinkhorn fixed-point map, we reveal a theoretical \textbf{thermodynamic speed limit}. Under standard exponential cooling, the shift in the target posterior ($O(1)$) outpaces the contraction rate of the inference operator, which degrades as $O(1/ε)$. This mismatch inevitably forces the inference trajectory into spurious local basins. To address this, we propose \textbf{Efficient PH-ASC}, an adaptive scheduling algorithm that monitors the stability of the inference process. By enforcing a linear stability law, we decouple expensive spectral diagnostics from the training loop, reducing overhead from $O(N^3)$ to amortized $O(1)$. Our implementation and interactive demo are available at https://github.com/xxx0438/torch-sinkhorn-asc and https://huggingface.co/spaces/leon0923/torch-sinkhorn-asc-demo. bounded away from zero in generic training dynamics unless the feature extractor converges unrealistically fast.
