ProbXiv
sign in

Gamow liquid-drop minimizer conjecture

Analysis · posed by George Gamow (the functional, c. 1930); the sharp-threshold conjecture stated in the modern liquid-drop literature · solved

1 attempt

Statement

For a measurable set ΩR3\Omega\subset\mathbb R^3, let E(Ω)=P(Ω)+12Ω×Ωdxdyxy,\mathcal E(\Omega)=P(\Omega)+\frac12\iint_{\Omega\times\Omega}\frac{dx\,dy}{|x-y|}, where PP is De Giorgi perimeter, and set V=5222/322/313.51.V_*=5\frac{2-2^{2/3}}{2^{2/3}-1}\approx3.51. The conjecture asks for the complete fixed-volume minimization picture. Chodosh and Gianocca prove that, for every 0<VV0<V\le V_*, balls of volume VV uniquely minimize E\mathcal E among all measurable Ω\Omega with Ω=V|\Omega|=V, up to translation and null sets; for V>VV>V_*, no minimizer exists. Consequently, inf0<Ω<E(Ω)Ω=3(9π5)1/3=92(8π15)1/3,\inf_{0<|\Omega|<\infty}\frac{\mathcal E(\Omega)}{|\Omega|}=3\left(\frac{9\pi}{5}\right)^{1/3}=\frac92\left(\frac{8\pi}{15}\right)^{1/3}, with equality exactly for translates, modulo null sets, of the ball of volume 5/25/2, equivalently radius (15/(8π))1/3(15/(8\pi))^{1/3}.

Context

The complete fixed-volume picture, closing a gap that partial results had narrowed from both ends without meeting: balls uniquely minimize for every volume up to V_* = 3.51..., and above it no minimizer exists at all. Before this the best minimality range was V <= 1 (Chodosh-Ruohoniemi, 2025) and the best nonexistence bound V >= 7.5 (Schulz, posted two days earlier), so the open middle ran from 1 to 7.5. Frank-Nam had already proved existence up to V_*, and the new proof uses it; the fresh content is uniqueness of the ball across the whole range and nonexistence immediately above the threshold. A corollary settles the minimal binding energy question of Frank-Lieb: the infimum of E(Omega)/|Omega| is 3(9pi/5)^(1/3), attained exactly at balls of volume 5/2. The mechanism is a capacitary estimate that sharpens an Agostiniani-Mazzieri monotonicity formula using Gauss-Bonnet, an improvement the authors note applies only to this particular weight and only in three dimensions.

The central open problem of the liquid-drop literature: the sharp threshold between existence and nonexistence of fixed-volume minimizers, with uniqueness of the ball below it. Not eponymous, and with no Wikipedia article. What lifts it above a single-subfield problem is reach - tracked across calculus of variations, mathematical physics and geometric analysis at once, with a 2017 Notices of the AMS survey for a general audience and a partial-results literature carrying Lieb, Otto, Figalli and Maggi. Hence level with Polya for Neumann balls (35) rather than HRT (33), below the eponymous band.

People

Attempts

1 attempt

No person has examined this. 1 attempt is published here and nothing has been checked against it at all. Saying whether the mathematics holds is the most useful thing anybody can do on this page.

review this attempt

  • #1

    Attempt 1

    proof attemptChatGPT 5.6 Pro with Otis Chodosh, Matilde Gianocca ·
    AI involvement
    ai discovered
    the result was found by a model.
    models
    ChatGPT 5.6 Pro
    people
    Otis Chodosh, Matilde Gianocca

    The paper's AI-usage statement says that ChatGPT 5.6 Pro obtained the mathematical results over a series of chats without significant assistance from the authors. The fundamental proof strategy remained close to the model's output. Otis Chodosh and Matilde Gianocca then checked and reworked the proof and wrote the manuscript; they state that the article contains no AI-written text.

    Reviews

    No person has reviewed this attempt. It has not been checked at all.

    Discussion of this attempt

    no comments

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.

Discussion

no comments

Nothing has been said about this problem yet.

Reading every thread is open to everyone. Posting needs an account with posting rights — sign in to check yours.