The planar Mumford–Shah regularity conjecture and local weak-L4 gradient bounds

1 · The essentials

The manuscript studies a mathematical problem in the plane in which a function can have breaks. It claims that, under its stated assumptions, those breaks have only three possible local shapes away from the boundary. Near any point on the closed set of breaks, there is a smoothly turning curve, a curve ending at that point, or three curves meeting at $12 0^{\circ}$ . It also claims that only finitely many separate connected pieces of the full break set can reach a region lying compactly inside the domain. These conclusions concern a specific class of minimizing solutions and require bounded input data. The supplied abstract states the conclusions but does not explain the argument. The main result is not formalized in Lean and has not been formally verified.

A picture to help (an imperfect image, not to be taken literally)

As an imperfect image, picture cracks on a flat sheet: a close-up might show a single gently bending crack, its endpoint, or a three-way junction with equal angles. The manuscript claims this restricted list for its mathematical break sets, not for cracks in arbitrary physical materials.

Why it matters

The manuscript describes its result as resolving the interior regularity assertion of the planar Mumford–Shah conjecture under the stated hypotheses. Its local classification restricts how the discontinuity set can look, while its finiteness assertion also limits how many distinct global pieces can enter an interior region.

2 · Going further

The precise setting is that of reduced absolute planar Mumford–Shah minimizers with bounded fidelity data. The question concerns the geometry of their closed discontinuity set in the interior of the domain. The supplied abstract does not define the minimization functional or the technical qualifier “reduced,” so those details cannot be specified from this source alone.

The main manuscript claims that every interior point of this set has a neighborhood in which the set is a $C^{1, α}$ arc, an arc ending at the point, or three such arcs meeting at $12 0^{\circ}$ . Here $C^{1, α}$ describes a curve with a continuously varying tangent whose variation satisfies a Hölder bound. The repository summary calls the endpoint configuration a regular crack tip. The manuscript also claims that only finitely many global connected components meet any relatively compact open set; this counts components of the full discontinuity set, rather than merely pieces visible in a close-up.

The source presents these assertions as the interior regularity conclusion of the planar Mumford–Shah conjecture. No main idea of the argument is given in the supplied abstract. Although the family title mentions local weak- $L^{4}$ gradient bounds, no statement about such bounds or companion-manuscript abstract is supplied, so their role in the argument and their relationship to the main manuscript cannot be described from this material.

Useful notions

Functions and their discontinuities
Minimization problems
Curves and tangent regularity
Connected components
Interior and relatively compact regions

What was known before / what is new

Before

The source identifies the interior regularity assertion as part of the planar Mumford–Shah conjecture. It gives no account of earlier partial results or previously available gradient bounds.

New

The manuscript claims the interior classification for reduced absolute planar Mumford–Shah minimizers with bounded fidelity data: a regular arc, an endpoint, or a three-arc junction at $12 0^{\circ}$ . It also claims that only finitely many global connected components meet any relatively compact open set.

Limits and assumptions

The hypotheses are essential to the stated scope: the minimizers are planar, reduced, and absolute, and the fidelity data are bounded. The conclusions concern interior geometry, not boundary regularity, and do not assert that the entire discontinuity set has finitely many components. The supplied material neither states a weak- $L^{4}$ estimate nor explains the argument or identifies what remains open beyond these assertions. The main result is not formalized in Lean and has not been formally verified.

Mini glossary

Closed discontinuity set: The closed set of breaks whose local geometry is classified in the manuscript.
$C^{1, α}$ arc: A curve with a continuous tangent whose variation is controlled by a Hölder bound with exponent $α$ .
Crack tip: An endpoint of an arc in the local description of the discontinuity set.
Global connected component: A maximal connected piece of the full set, rather than just its portion inside a chosen neighborhood.
Relatively compact open set: An open region whose closure is compact and lies inside the domain.

Keywords : Mumford–Shah conjecture · Interior regularity · Discontinuity sets

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)

Resolves the interior regularity conjecture for reduced absolute planar Mumford–Shah minimizers with bounded fidelity data. Locally, the closed discontinuity set is a $C^{1, α}$ arc, a regular crack tip, or three arcs meeting at $12 0^{\circ}$ ; only finitely many global connected components meet any compact interior region.

To be verified: the proof is written in the manuscript, but no software has checked it and no validation by independent mathematicians is established. It may contain errors.

Manuscripts in this family

★

Interior regularity of planar Mumford–Shah minimizers

24/09/2026

To be verified

We prove the interior regularity assertion of the planar Mumford–Shah conjecture for reduced absolute minimizers with bounded fidelity data. Every interior point of the closed discontinuity set has a neighborhood consisting of a $C^{1, α}$ arc, an arc ending at that point, or three such arcs meeting at 120 degrees. Only finitely many global connected components meet any relatively compact open set.

PDF GitHub folder