On this page
Variational segmentation structure diagnostic
Family 366: The planar Mumford–Shah regularity conjecture and local weak-<i>L</i><sup>4</sup> gradient bounds. First source-informed review, 9 October 2026 Australia/Brisbane.
Problem and potential new use
Image-analysis researchers can inspect whether ideal planar absolute Mumford–Shah minimizer boundaries exhibit arcs, crack tips or three-way 120-degree junctions, and use those structures in solver research.
Applicability and commercial boundary
The result concerns reduced absolute minimizers with bounded fidelity on a bounded Lipschitz planar domain and interior regularity. A pixel mask, local minimum, Chan–Vese variant or real physical crack is not automatically in that class. The theorem does not compute a global minimizer.
Initial business decision
Conditional diagnostic. Commercial demand and profitability remain hypotheses. Research usefulness is not evidence of a buyer budget.
Next verification action
Create analytic boundary fixtures with known junction geometry and compare multiple solver starts and resolutions; keep structural diagnostics separate from a minimizer certificate.
Evidence scope
The catalog statement and main-paper abstract or introductory theorem passages were individually reviewed. Available family-level scope documents were inspected, with attention to version differences and exclusions. This is a first application triage, not a full proof audit or independent Lean verification. Family 376 has nine paper abstracts inspected; selected scopes are not assumed to cover all nine papers in full. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.