The Hong-Krahn-Szego inequality is a mathematical result about vibrating membranes and related physical systems. It says that among all open regions of a given total area, the shape that minimizes the second-lowest natural vibration frequency is a pair of equal-sized balls placed far apart from each other. This is a generalization of a simpler classical result, the Faber-Krahn inequality, which identifies a single ball as the shape minimizing the lowest vibration frequency. These inequalities sit within a broad field connecting geometry, physics, and the mathematics of partial differential equations.
A "quantitative stability" result goes beyond simply identifying the optimal shape. It asks: if a region is nearly optimal but not quite a pair of equal balls, how close must it be to that ideal configuration? In other words, it provides a precise, measurable guarantee that shapes with near-minimum frequency must look almost like two equal balls. Previous work had established that such stability holds in principle, but the exact relationship between how far a shape deviates from optimality and how far its vibration frequency deviates from the minimum was not pinned down with full precision.
This paper resolves that question completely, finding the sharpest possible version of this stability guarantee. The answer turns out to depend on the number of dimensions: in three or more dimensions, the optimal rate at which the frequency gap controls the geometric deviation follows a clean power law with exponent related to the dimension. In two dimensions, a small logarithmic correction is needed, making the result slightly more subtle. By identifying these sharp exponents, the authors settle an open problem that had been explicitly listed as unresolved in a major survey of the field, confirming that the estimates cannot be improved further.