differential-equations / Calculus of variations; free-discontinuity problems

The planar Mumford-Shah conjecture (interior regularity of the discontinuity set)

Theorem 1.1: for a reduced absolute minimizer (u,K)(u,K) with g∈L∞g\in L^\infty, every x∈Kx\in K has a neighborhood where KK is one C1,αC^{1,\alpha} arc through xx, one arc ending at xx, or three arcs meeting at xx at 120∘120^\circ; only finitely many connected components of KK meet any U⋐ΩU\Subset\Omega. Corollary: ∇u∈Lloc4,∞\nabla u\in L^{4,\infty}_{\mathrm{loc}}, sharp because of crack tips. The key step excludes bounded components in blow-up limits. It does not treat behaviour at ∂Ω\partial\Omega, higher dimensions, or minimizers in weaker senses than absolute ones.

52Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

differential-equationsSep 24, 2026Significance 52/100Registry: unreviewed

The planar Mumford-Shah conjecture (interior regularity of the discontinuity set)

Prior state unknown→proved

Theorem 1.1: for a reduced absolute minimizer (u,K)(u,K) with g∈L∞g\in L^\infty, every x∈Kx\in K has a neighborhood where KK is one C1,αC^{1,\alpha} arc through xx, one arc ending at xx, or three arcs meeting at xx at 120∘120^\circ; only finitely many connected components of KK meet any U⋐ΩU\Subset\Omega. Corollary: ∇u∈Lloc4,∞\nabla u\in L^{4,\infty}_{\mathrm{loc}}, sharp because of crack tips. The key step excludes bounded compo…

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

Theorem 1.1: for a reduced absolute minimizer (u,K)(u,K) with g∈L∞g\in L^\infty, every x∈Kx\in K has a neighborhood where KK is one C1,αC^{1,\alpha} arc through xx, one arc ending at xx, or three arcs meeting at xx at 120∘120^\circ; only finitely many connected components of KK meet any U⋐ΩU\Subset\Omega. Corollary: ∇u∈Lloc4,∞\nabla u\in L^{4,\infty}_{\mathrm{loc}}, sharp because of crack tips. The key step excludes bounded components in blow-up limits. It does not treat behaviour at ∂Ω\partial\Omega, higher dimensions, or minimizers in weaker senses than absolute ones.

Theorem 1.1: for a reduced absolute minimizer (u,K)(u,K) with g∈L∞g\in L^\infty, every x∈Kx\in K has a neighborhood where KK is one C1,αC^{1,\alpha} arc through xx, one arc ending at xx, or three arcs meeting at xx at 120∘120^\circ; only finitely many connected components of KK meet any U⋐ΩU\Subset\Omega. Corollary: ∇u∈Lloc4,∞\nabla u\in L^{4,\infty}_{\mathrm{loc}}, sharp because of crack tips. The key step excludes bounded components in blow-up limits. It does not treat behaviour at ∂Ω\partial\Omega, higher dimensions, or minimizers in weaker senses than absolute ones.

Recorded attempts

Evidence graph

Connected research record

The planar Mumford-Shah conjecture (interior regularity of the discontinuity set) — Mathematical Frontier Network