1 · The essentials
The hot spots question asks where the highest and lowest values of certain mathematical patterns occur on a flat region. The result concerns regions that are bounded, have a smooth edge, and have no holes. For the patterns specified by the result, every highest and lowest value lies on the edge, never inside. The manuscript states something stronger: nowhere inside does the pattern become completely flat in every direction. This applies to every nonzero pattern associated with the first positive value in the relevant equation, even when that value allows several independent patterns. The main result has a Lean formalization.
A picture to help (an imperfect image, not to be taken literally)
As an imperfect image, imagine a gently shaped sheet whose height represents the pattern over a region with no holes. The result says that its highest and lowest heights must occur along the edge, and that at every interior location the sheet slopes in at least one direction. The image applies only to the special patterns and regions covered by the mathematical statement.
Why it matters
The absence of interior flat points is stronger than merely locating the highest and lowest values on the boundary: it also rules out interior critical points that are not extrema. The result does not require the first positive eigenvalue to select just one independent eigenfunction. The repository describes this as a strict form of Burdzy’s simply connected hot spots conjecture.
2 · Going further
Let be a smooth, bounded, simply connected planar domain, and let be a nonzero eigenfunction for its first positive Neumann eigenvalue. The main statement is for every . Consequently, all global maxima and minima of lie on . The statement allows eigenvalue multiplicity: it applies to every nonzero eigenfunction for that eigenvalue, not merely to a chosen representative.
The repository places this statement in the context of Burdzy’s simply connected hot spots conjecture. Its strict feature is the exclusion of all interior critical points, rather than only interior global extrema. The supplied abstract states the result but gives no argument or proof strategy, so no mechanism for establishing it can be described from this source. Only the main manuscript is supplied; there is no information about companion manuscripts or their relationship to the result.
Useful notions
- Gradients and critical points
- Global maxima and minima
- Planar domains and their boundaries
- Neumann eigenfunctions
- Eigenvalue multiplicity
What was known before / what is new
Before
The repository identifies Burdzy’s simply connected hot spots conjecture as the problem being addressed. The supplied text does not describe earlier partial results, their hypotheses, or a historical sequence of developments.
New
The manuscript states that every nonzero first-positive-Neumann eigenfunction has a nonvanishing gradient throughout the interior of every smooth bounded simply connected planar domain. This gives the boundary location of all global extrema and additionally excludes every other type of interior critical point. Eigenvalue multiplicity is explicitly allowed.
Limits and assumptions
The hypotheses are essential to the stated scope: the domain must be smooth, bounded, simply connected, and planar, and the eigenfunction must be nonzero and correspond to the first positive Neumann eigenvalue. The source makes no claim for domains outside these hypotheses or for higher eigenvalues. The main result has a Lean formalization, but the supplied material gives no further details about its scope or implementation. It also does not identify remaining open questions.
Mini glossary
- Simply connected planar domain —
- A connected open region in the plane with no holes.
- Neumann eigenfunction —
- A function satisfying the relevant eigenvalue equation with zero normal derivative at the boundary.
- Gradient —
- The vector of a function’s directional rates of change along the coordinate axes.
- Interior critical point —
- A point inside the domain where the gradient is zero.
- Global extrema —
- The highest and lowest values of a function over its entire domain, including its boundary.
- Eigenvalue multiplicity —
- The possibility that one eigenvalue has more than one linearly independent eigenfunction.
Keywords : Hot spots conjecture · Neumann eigenfunctions · Interior critical points
AI-generated explanation based on the manuscript. Unofficial. Refer to the manuscript for the authoritative version.
3 · Technical details and sources
Claim made in the manuscript (source text)
Proves a strict form of Burdzy's simply connected hot spots conjecture. On every smooth bounded simply connected planar domain, each nonzero eigenfunction for the first positive Neumann eigenvalue has no interior critical point, so all global extrema lie on the boundary. Eigenvalue multiplicity is allowed.
Verified by Lean: the Lean software checked the part of the reasoning described below, sometimes only part of the manuscript. This does not mean independent mathematicians have validated the result.
Manuscripts in this family
Strict hot spots and absence of interior critical points on smooth simply connected planar domains
24/09/2026We prove the strict hot spots conjecture for smooth bounded simply connected planar domains. More precisely, every nonzero eigenfunction for the first positive Neumann eigenvalue has nonvanishing gradient in the interior, so all its global maxima and minima lie on the boundary. This holds even when the eigenvalue is multiple.