arxiv: 2605.11834 · v1 · submitted 2026-05-12 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

Sharp upper bound for a branched transport problem coming from Ginzburg-Landau models

Alessandro Cosenza , Michael Goldman , Felix Otto

Authors on Pith no claims yet

Pith reviewed 2026-05-13 05:36 UTC · model grok-4.3

classification 🧮 math.AP

keywords branched transportAhlfors regularityHausdorff dimensionGinzburg-Landau modeltype-I superconductorweak boundary conditionsoptimal transport

0 comments

The pith

If the irrigated measure is locally Ahlfors regular, its dimension is at most 8/5 in this branched transport problem.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies a branched transport problem with weakly imposed boundary conditions that arises as a limit of Ginzburg-Landau models for type-I superconductors with vanishing external field. It proves that any locally Ahlfors regular irrigated measure in this setting must have Hausdorff dimension at most 8/5. This bound matches an existing conjecture and depends on the specific weak formulation of the boundary conditions. A reader would care because the result constrains the possible geometries of the transport structures that can appear in these physical models.

Core claim

We prove that if the irrigated measure is (locally) Ahlfors regular then it is of dimension at most 8/5 in agreement with the conjecture by Conti, the third author and Serfaty.

What carries the argument

The local Ahlfors regularity condition on the irrigated measure, which is used to derive the dimension upper bound in the branched transport problem with weak boundary conditions.

If this is right

The dimension restriction applies to the reduced model coming from type-I superconductors.
The weak imposition of boundary conditions is essential for the bound to hold.
The result is consistent with the conjectured sharp value of 8/5.
The bound limits the complexity of branching networks that can arise under the regularity assumption.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Without the Ahlfors regularity assumption the dimension could potentially be higher, which would require separate analysis.
The same techniques might yield dimension bounds in related optimal transport problems that feature branching.
Numerical models of superconductors could incorporate this restriction to reduce the search space for stable configurations.

Load-bearing premise

The irrigated measure is assumed to be locally Ahlfors regular.

What would settle it

Constructing a locally Ahlfors regular irrigated measure of Hausdorff dimension strictly larger than 8/5 that satisfies the weak boundary conditions would disprove the bound.

read the original abstract

We consider a branched transport type problem with weakly imposed boundary conditions, which can be seen as a blown-up version of a reduced model for type-I superconductors in the regime of vanishing external magnetic field. We prove that if the irrigated measure is (locally) Ahlfors regular then it is of dimension at most $8/5$ in agreement with the conjecture by Conti, the third author and Serfaty.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper proves the 8/5 dimension upper bound on the irrigated measure under local Ahlfors regularity in a weakly constrained branched transport model from Ginzburg-Landau.

read the letter

The main point is that Cosenza, Goldman, and Otto show the irrigated measure has dimension at most 8/5 when it is locally Ahlfors regular. This matches the conjecture by Conti, the third author, and Serfaty, and it is the first proof for this version of the problem with weak boundary conditions. The setup comes from a blown-up reduced model for type-I superconductors in vanishing external field, and the argument uses the regularity assumption together with the energy functional to control the dimension via covering-type estimates typical in geometric measure theory. That part is new and cleanly stated in the abstract. The work is solid on its own terms because it does not collapse to self-citation or fitted parameters, and the stress-test finds no internal inconsistency in how the exponent is derived. The soft spot is the conditional character of the result. The bound requires the Ahlfors regularity up front, so anyone applying it to a concrete physical or variational setting still needs to verify that condition separately. The weak boundary conditions are also model-specific, which is appropriate here but narrows the direct transfer to other irrigation problems. Within the subfield this is a precise incremental step rather than a broad reorganization of the theory. It is aimed at people already working on branched transport, dimension bounds for minimizers, or Ginzburg-Landau reductions. A reader tracking the Conti-Goldman-Serfaty conjecture will find the 8/5 case useful. I would send it to peer review; the central claim is focused, the proof strategy is standard for the area, and the paper meets the threshold for referee attention even if revisions are needed on the details of the estimates.

Referee Report

0 major / 1 minor

Summary. The paper considers a branched transport problem with weakly imposed boundary conditions, arising as a blown-up reduced model for type-I superconductors in the vanishing external magnetic field regime. The central result proves that if the irrigated measure is locally Ahlfors regular, then it has Hausdorff dimension at most 8/5, in agreement with the conjecture of Conti, the third author, and Serfaty.

Significance. If the proof is correct, the result supplies a sharp, parameter-free upper bound on the dimension of the irrigated measure under the stated regularity assumption. This confirms a long-standing conjecture and strengthens the connection between Ginzburg-Landau functionals and branched transport problems in geometric measure theory. The manuscript delivers a self-contained mathematical proof that combines Ahlfors regularity with energy estimates via covering arguments, providing falsifiable geometric information on the support of minimizers.

minor comments (1)

[Introduction] The precise formulation of the weak boundary conditions in the branched transport energy (mentioned in the abstract and introduction) would benefit from an explicit display of the functional and the admissible class of measures early in the paper to aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. The report correctly identifies the central result: under the assumption that the irrigated measure is locally Ahlfors regular, its Hausdorff dimension is at most 8/5, confirming the conjecture of Conti, the third author, and Serfaty. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper proves an upper bound on the dimension of an Ahlfors-regular irrigated measure in a branched transport problem by combining the regularity assumption with energy estimates and standard covering/contradiction arguments from geometric measure theory. The derivation does not reduce any claimed prediction or bound to a fitted parameter, self-defined quantity, or load-bearing self-citation. The reference to the conjecture of Conti-Otto-Serfaty is only for agreement and is not invoked to justify the proof steps themselves. The result is self-contained against the stated assumptions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The abstract provides no explicit free parameters or invented entities. The proof relies on standard tools from geometric measure theory and branched transport, but the full paper would be needed to list any ad-hoc assumptions.

axioms (1)

standard math Standard properties of Ahlfors regular measures and branched transport energies hold.
Invoked implicitly to obtain the dimension bound.

pith-pipeline@v0.9.0 · 5356 in / 1164 out tokens · 60741 ms · 2026-05-13T05:36:02.667218+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean (D=3 forcing via 8-tick period) alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We prove that if the irrigated measure is (locally) Ahlfors regular then it is of dimension at most 8/5
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

I(μ) = ∫ (∑ φ_i^{1/2}(t) − Φ^{1/2} + ∑ φ_i(t)|Ẋ_i(t)|^2) dt

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

43 extracted references · 43 canonical work pages · 1 internal anchor

[1]

Ambrosio, N

L. Ambrosio, N. Gigli, and G. Savar´ e.Gradient flows in metric spaces and in the space of probability measures. Second. Lectures in Mathematics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, 2008, pp. x+334

work page 2008
[2]

A model of anisotropic branched optimal transport

M. Bellettini and A. Marchese.A model of anisotropic branched optimal transport. 2026. arXiv:2604.17123 [math.OC]

work page internal anchor Pith review Pith/arXiv arXiv 2026
[3]

Bernot, V

M. Bernot, V. Caselles, and J.-M. Morel.Optimal transportation networks. Vol. 1955. Lec- ture Notes in Mathematics. Models and theory. Springer-Verlag, Berlin, 2009, pp. x+200

work page 1955
[4]

Bethuel, H

F. Bethuel, H. Brezis, and F. H´ elein.Ginzburg-Landau vortices. Vol. 13. Progress in Non- linear Differential Equations and their Applications. Birkh¨ auser Boston, Inc., Boston, MA, 1994, pp. xxviii+159

work page 1994
[5]

Fractal regularity results on optimal irrigation patterns

A. Brancolini and S. Solimini. “Fractal regularity results on optimal irrigation patterns”. In:J. Math. Pures Appl. (9)102.5 (2014), pp. 854–890

work page 2014
[6]

On the H¨ older regularity of the landscape function

A. Brancolini and S. Solimini. “On the H¨ older regularity of the landscape function”. In: Interfaces Free Bound.13.2 (2011), pp. 191–222

work page 2011
[7]

A Benamou-Brenier approach to branched transport

L. Brasco, G. Buttazzo, and F. Santambrogio. “A Benamou-Brenier approach to branched transport”. In:SIAM J. Math. Anal.43.2 (2011), pp. 1023–1040

work page 2011
[8]

Ground state energy scaling laws during the onset and destruction of the intermediate state in a type I superconductor

R. Choksi, S. Conti, R. V. Kohn, and F. Otto. “Ground state energy scaling laws during the onset and destruction of the intermediate state in a type I superconductor”. In:Comm. Pure Appl. Math.61.5 (2008), pp. 595–626

work page 2008
[9]

Domain branching in uniaxial ferromagnets: a scaling law for the minimum energy

R. Choksi, R. V. Kohn, and F. Otto. “Domain branching in uniaxial ferromagnets: a scaling law for the minimum energy”. In:Comm. Math. Phys.201.1 (1999), pp. 61–79

work page 1999
[10]

Energy minimization and flux domain structure in the intermediate state of a type-I superconductor

R. Choksi, R. V. Kohn, and F. Otto. “Energy minimization and flux domain structure in the intermediate state of a type-I superconductor”. In:J. Nonlinear Sci.14.2 (2004), pp. 119–171

work page 2004
[11]

On the well-posedness of branched trans- portation

M. Colombo, A. De Rosa, and A. Marchese. “On the well-posedness of branched trans- portation”. In:Comm. Pure Appl. Math.74.4 (2021), pp. 833–864

work page 2021
[12]

Branched microstructures: scaling and asymptotic self-similarity

S. Conti. “Branched microstructures: scaling and asymptotic self-similarity”. In:Comm. Pure Appl. Math.53.11 (2000), pp. 1448–1474

work page 2000
[13]

Asymptotic self-similarity of min- imizers and local bounds in a model of shape-memory alloys

S. Conti, J. Diermeier, M. Koser, and B. Zwicknagl. “Asymptotic self-similarity of min- imizers and local bounds in a model of shape-memory alloys”. In:J. Elasticity147.1-2 (2021), pp. 149–200

work page 2021
[14]

Deformation concentration for martensitic microstructures in the limit of low volume fraction

S. Conti, J. Diermeier, and B. Zwicknagl. “Deformation concentration for martensitic microstructures in the limit of low volume fraction”. In:Calc. Var. Partial Differential Equations56.1 (2017), Paper No. 16, 24

work page 2017
[15]

A branched transport limit of the Ginzburg-Landau functional

S. Conti, M. Goldman, F. Otto, and S. Serfaty. “A branched transport limit of the Ginzburg-Landau functional”. In:J. ´Ec. polytech. Math.5 (2018), pp. 317–375

work page 2018
[16]

Conti, F

S. Conti, F. Otto, and S. Serfaty. Personal communication

work page
[17]

Branched microstructures in the Ginzburg-Landau model of type-I superconductors

S. Conti, F. Otto, and S. Serfaty. “Branched microstructures in the Ginzburg-Landau model of type-I superconductors”. In:SIAM J. Math. Anal.48.4 (2016), pp. 2994–3034

work page 2016
[18]

Derivation and analysis of reduced models for type-I superconductors

A. Cosenza. “Derivation and analysis of reduced models for type-I superconductors”. The- ses. Universit´ e Paris Cit´ e, Nov. 2025

work page 2025
[19]

New Dimensional Bounds for a Branched Trans- port Problem

A. Cosenza, M. Goldman, and M. Koser. “New Dimensional Bounds for a Branched Trans- port Problem”. In:SIAM Journal on Mathematical Analysis58.2 (2026), pp. 926–959. eprint:https://doi.org/10.1137/24M1713077. 25

work page doi:10.1137/24m1713077 2026
[20]

Cosenza, M

A. Cosenza, M. Goldman, and A. Zilio.AΓ-convergence result for 2D type-I superconduc- tors. 2025. arXiv:2504.19587 [math.AP]

work page arXiv 2025
[21]

De Philippis, M

G. De Philippis, M. Goldman, and B. Ruffini.From energy bounds to dimensional esti- mates in a branched transport model for type-I superconductors. 2023. arXiv:2304.12715 [math.AP]

work page arXiv 2023
[22]

Fern´ andez-Real and X

X. Fern´ andez-Real and X. Ros-Oton.Integro-differential elliptic equations. Vol. 350. Progress in Mathematics. Birkh¨ auser/Springer, Cham, 2024, pp. xvi+395

work page 2024
[23]

P. K. Friz and M. Hairer.A course on rough paths. Universitext. With an introduction to regularity structures. Springer, Cham, 2014, pp. xiv+251

work page 2014
[24]

Self-similar minimizers of a branched transport functional

M. Goldman. “Self-similar minimizers of a branched transport functional”. In:Indiana Univ. Math. J.69.4 (2020), pp. 1073–1104

work page 2020
[25]

A theory of regularity structures

M. Hairer. “A theory of regularity structures”. In:Invent. Math.198.2 (2014), pp. 269– 504

work page 2014
[26]

Surface energy and microstructure in coherent phase transi- tions

R. V. Kohn and S. M¨ uller. “Surface energy and microstructure in coherent phase transi- tions”. In:Comm. Pure Appl. Math.47.4 (1994), pp. 405–435

work page 1994
[27]

E. H. Lieb and M. Loss.Analysis. Second. Vol. 14. Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2001, pp. xxii+346

work page 2001
[28]

L. D. Masi, A. Marchese, and A. Massaccesi.Variational models of robust optimal trans- port. 2025. arXiv:2511.05146 [math.AP]

work page arXiv 2025
[29]

On the Lagrangian branched transport model and the equivalence with its Eulerian formulation

P. Pegon. “On the Lagrangian branched transport model and the equivalence with its Eulerian formulation”. In:Topological optimization and optimal transport. Vol. 17. Radon Ser. Comput. Appl. Math. De Gruyter, Berlin, 2017, pp. 281–303

work page 2017
[30]

Optimal quantization with branched optimal transport dis- tances

P. Pegon and M. Petrache. “Optimal quantization with branched optimal transport dis- tances”. In:SIAM Journal on Mathematical Analysis57.4 (2025), pp. 3649–3694

work page 2025
[31]

A fractal shape optimization problem in branched transport

P. Pegon, F. Santambrogio, and Q. Xia. “A fractal shape optimization problem in branched transport”. In:J. Math. Pures Appl. (9)123 (2019), pp. 244–269

work page 2019
[32]

Equilibrium Topology of the Intermediate State in Type-I Superconductors of Different Shapes

R. Prozorov. “Equilibrium Topology of the Intermediate State in Type-I Superconductors of Different Shapes”. In:Phys. Rev. Lett.98 (25 2007), p. 257001

work page 2007
[33]

Topological hystere- sis in the intermediate state of type-I superconductors

R. Prozorov, R. W. Giannetta, A. A. Polyanskii, and G. K. Perkins. “Topological hystere- sis in the intermediate state of type-I superconductors”. In:Phys. Rev. B72 (21 2005), p. 212508

work page 2005
[34]

Dynamic formation of metastable intermediate state pat- terns in type-I superconductors

R. Prozorov and J. R. Hoberg. “Dynamic formation of metastable intermediate state pat- terns in type-I superconductors”. In:Journal of Physics: Conference Series150.5 (2009), p. 052217

work page 2009
[35]

Domain branching in micromagnetism: scaling law for the global and local energies

T. Ried and C. Rom´ an. “Domain branching in micromagnetism: scaling law for the global and local energies”. In:Rev. Mat. Iberoam.41.2 (2025), pp. 401–460

work page 2025
[36]

Rom´ an, E

C. Rom´ an, E. Sandier, and S. Serfaty.Vortex lines interaction in the three-dimensional magnetic Ginzburg–Landau model. 2025. arXiv:2510.14910 [math.AP]

work page arXiv 2025
[37]

Microstructures in the Modelling of Shape-Memory Alloys: Rigidity, Flexibil- ity and Scaling

A. R¨ uland. “Microstructures in the Modelling of Shape-Memory Alloys: Rigidity, Flexibil- ity and Scaling”. In:Variational and PDE Methods in Nonlinear Science: Cetraro, Italy

work page
[38]

Springer, 2025, pp. 83–144

work page 2025
[39]

Sandier and S

E. Sandier and S. Serfaty.Vortices in the magnetic Ginzburg-Landau model. Vol. 70. Progress in Nonlinear Differential Equations and their Applications. Birkh¨ auser Boston, Inc., Boston, MA, 2007, pp. xii+322. 26

work page 2007
[40]

Santambrogio.Optimal Transport for Applied Mathematicians: Calculus of Variations, PDEs, and Modeling

F. Santambrogio.Optimal Transport for Applied Mathematicians: Calculus of Variations, PDEs, and Modeling. Progress in Nonlinear Differential Equations and Their Applications. Springer International Publishing, 2015

work page 2015
[41]

Optimal channel networks, landscape function and branched trans- port

F. Santambrogio. “Optimal channel networks, landscape function and branched trans- port”. In:Interfaces Free Bound.9.1 (2007), pp. 149–169

work page 2007
[42]

Uniaxial Ferromagnets

T. Viehmann. “Uniaxial Ferromagnets”. PhD thesis. Universit¨ at Bonn, 2009

work page 2009
[43]

Optimal paths related to transport problems

Q. Xia. “Optimal paths related to transport problems”. In:Commun. Contemp. Math.5.2 (2003), pp. 251–279. alessandro.cosenza@universite-paris-saclay.fr Universit´ e Paris Saclay, CNRS, Laboratoire de Math´ ematiques d’Orsay, 91405 Orsay, France michael.goldman@cnrs.fr CMAP, CNRS, ´Ecole polytechnique, Institut Polytechnique de Paris, 91120 Palaiseau, Franc...

work page 2003