The Neumann-Poincare operator is a mathematical object that arises naturally when studying how electric or gravitational fields behave near the boundary of a physical object. It encodes information about how charges distribute themselves on a surface, and its eigenvalues (special scaling numbers associated with the operator) carry deep geometric meaning about the shape of the object. A longstanding open question, known as the 1/6-conjecture in three dimensions, asked whether the smallest relevant eigenvalue of this operator is always at least 1/6 for any reasonable three-dimensional shape, with equality achieved only for a ball. This paper resolves that conjecture and extends the result to any number of dimensions.
The authors prove a sharp inequality stating that a certain sum of the leading eigenvalues of the Neumann-Poincare operator is always at least a specific threshold that depends on the dimension of the space. From this, they extract a bound on the single smallest eigenvalue, showing it is at least (d-2)/(2d), where d is the number of dimensions, with equality only when the shape is a perfect ball. The proof strategy connects the spectral problem to a classical concept from materials science called the polarization tensor, which measures how an object distorts an applied uniform field. By analyzing a certain matrix built from how uniform fields induce charge distributions on the boundary, the authors establish a general inequality involving this tensor.
A key ingredient is proving an inequality about the polarization tensor itself, related to a classical framework in materials science called the Hashin-Shtrikman bounds. The authors show that the volume of the object times a certain combination of the polarization tensor is always at most one. When equality holds in the spectral estimate, the mathematical constraints force the interior potential to have a very special quadratic form, and a classical theorem then implies the object must be an ellipsoid. Further constraints from the equality condition force the ellipsoid to be a sphere, completing the rigorous characterization of when equality holds.