Tight Transition Time Bounds for Separable Logistic Regression at the Edge of Stability

We study logistic regression on linearly separable data under gradient descent with a large constant stepsize η. Such dynamics may exhibit a characteristic Edge of Stability phenomenon, in which the loss initially oscillates before transitioning to a stable phase of monotone decrease. Existing work provides a tight Theta(1) bound in dimension d=2 as η → ∞ and conjectures a bound independent of η in arbitrary dimensions d≥ 2. In this paper, we disprove this conjecture by showing that, for every fixed sample size n≥ 2 and sufficiently small margin γ, the worst-case transition time is Theta!left((logη)^minn-2,d-2right) uniformly over d≥2. The key challenge in establishing a tight bound is that the sample contributing most strongly to the gradient can change repeatedly across iterations. To address this issue, we control such changes by induction on dimension and sample size, and construct matching hard instances.