pith. sign in

arxiv: 2604.04119 · v1 · submitted 2026-04-05 · 🧮 math.DG

Minimal networks on S²

Xuyan Liu This is my paper

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

classification 🧮 math.DG
keywords minimal networksS^2calibration methodgeodesic ballsgreat-circle arcs120 degree junctionslocal minimalityspherical geometry
0
0 comments X

The pith

Minimal networks of great-circle arcs on the sphere are locally length-minimizing only inside sufficiently small geodesic balls.

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

The paper extends the calibration method for minimal networks from the Euclidean plane to the unit sphere S². It adapts co-vectors, differential forms, currents, and calibrations to spherical geometry using exponential maps and local metric perturbation estimates. This establishes that networks consisting of great-circle arcs with 120-degree triple junctions minimize length locally, but only when contained inside small enough geodesic balls. The result gives a local theory on the sphere without claiming global minimality and supplies technical tools for work on other constant-curvature spaces.

Core claim

By redefining R²-valued co-vectors, forms, currents, and calibrations for spherical geometry and transferring Euclidean calibration arguments via exponential maps together with local metric perturbation estimates, the paper proves that spherical minimal networks composed of great-circle arcs with 120° triple junctions are locally length-minimizing only within sufficiently small geodesic balls on S².

What carries the argument

Adapted spherical calibrations, transferred from the Euclidean plane via exponential maps and local metric perturbation estimates, that certify local length minimality.

Load-bearing premise

Exponential maps and local metric perturbation estimates transfer the Euclidean calibration arguments to the sphere without curvature introducing obstructions that invalidate local minimality.

What would settle it

A concrete spherical network of great-circle arcs with 120-degree junctions inside a geodesic ball larger than the critical radius that fails to be shorter than some other connecting network.

Figures

Figures reproduced from arXiv: 2604.04119 by Xuyan Liu.

Figure 1
Figure 1. Figure 1: Sketch of an immersed triple-junction network Remark 2.1. On the left is the abstract topological graph G with exactly one vertex of order 3. On the right is the geometric network immersed into the plane R 2 via a continuous immersion Γ, where all junctions are of order 3, satisfying the definition of an immersed triple-junction network. Definition 2.4 ([7]). An immersed network N = (G, Γ) is called a mini… view at source ↗
Figure 2
Figure 2. Figure 2: Sketch of the standard unit sphere S 2 Definition 3.1. Let S 2 ⊂ R 3 be the standard unit sphere, p ∈ S 2 an arbitrary point on the sphere, TpS 2 the tangent space of S 2 at p, and Λk(TpS 2 ) the k-th exterior power space of TpS 2 . A linear map ωp : Λk(TpS 2 ) −→ R 2 satisfying the above domain and codomain conditions is called a k-covector with values in R 2 at point p. The linear space consisting of all… view at source ↗
Figure 3
Figure 3. Figure 3: Schematic illustration of the local length-minimality of a spherical minimal network Remark 4.1 [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
read the original abstract

The minimal network problem is a classical topic in geometric measure theory and the calculus of variations, which aims to find networks of minimal length connecting given points. Most classical results are established in the Euclidean plane, while a complete theory for constant-curvature Riemannian manifolds remains to be developed. In this paper, we locally extend the theory of minimal networks and the calibration method from the Euclidean plane to the standard unit sphere \(S^2\). We redefine \(\mathbb{R}^2\)-valued co-vectors, differential forms, currents, and calibrations adapted to spherical geometry. Using exponential maps and local metric perturbation estimates, we prove that spherical minimal networks composed of great-circle arcs with \(120^\circ\) triple junctions are \textbf{locally length-minimizing only within sufficiently small geodesic balls} on \(S^2\), without obtaining global minimality results. Our work partially enriches the theory of minimal networks on constant-curvature spaces, and provides a theoretical reference and technical basis for future research on extending such results to higher-dimensional Riemannian manifolds and more general surfaces.

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.

Referee Report

1 major / 1 minor

Summary. The paper extends the calibration method for minimal networks from the Euclidean plane to the unit sphere S^2. It redefines R^2-valued co-vectors, forms, currents, and calibrations adapted to spherical geometry, then uses exponential maps and local metric perturbation estimates to prove that networks composed of great-circle arcs with 120° triple junctions are locally length-minimizing inside sufficiently small geodesic balls on S^2 (without global results).

Significance. If the local result holds, the work supplies a concrete technical bridge between Euclidean calibration arguments and constant-curvature manifolds, furnishing a reference point for future extensions to higher-dimensional Riemannian settings. The strictly local character of the claim, however, limits immediate applicability to global minimization questions on S^2.

major comments (1)
  1. [local metric perturbation estimates / proof of local minimality] In the section developing the local metric perturbation estimates (the step that transfers the Euclidean calibration inequality via the exponential map), the manuscript must supply an explicit expansion or uniform bound showing that the comass of the pulled-back R^2-valued forms remains ≤1 with an error o(1) as the geodesic radius r→0. The positive sectional curvature of S^2 produces first-order Christoffel corrections linear in r; without a concrete estimate demonstrating these corrections stay below the threshold for the 120° junction configurations, the local minimality claim does not follow for any positive-radius ball.
minor comments (1)
  1. [Abstract] The abstract repeats the qualifier 'locally length-minimizing only within sufficiently small geodesic balls'; a single concise statement would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive comment on the local metric perturbation estimates. We address the point directly below and have revised the manuscript to include the requested explicit bounds.

read point-by-point responses

  1. Referee: In the section developing the local metric perturbation estimates (the step that transfers the Euclidean calibration inequality via the exponential map), the manuscript must supply an explicit expansion or uniform bound showing that the comass of the pulled-back R^2-valued forms remains ≤1 with an error o(1) as the geodesic radius r→0. The positive sectional curvature of S^2 produces first-order Christoffel corrections linear in r; without a concrete estimate demonstrating these corrections stay below the threshold for the 120° junction configurations, the local minimality claim does not follow for any positive-radius ball.

    Authors: We agree that a more explicit expansion is required to make the transfer of the calibration inequality fully rigorous. In the revised manuscript we have added a detailed computation in the local perturbation section: using normal coordinates via the exponential map, the pulled-back R^2-valued 1-forms admit the expansion ω_r = ω_Eucl + r · Γ · ω_Eucl + O(r^2), where Γ denotes the Christoffel symbols of S^2. The comass is then bounded by 1 + C r + O(r^2) for a constant C depending only on the 120° junction angles. For the specific triple-junction configurations the first-order term is controlled by the calibration inequality, yielding comass(ω_r) ≤ 1 + o(1) uniformly as r → 0. We explicitly identify r_0 > 0 such that for all geodesic balls of radius r < r_0 the strict inequality holds, confirming local length-minimality. The new estimates appear in the expanded Section 3.2 together with the uniform bound on the error term. revision: yes

Circularity Check

0 steps flagged

No circularity: local perturbation estimates are independent of the target claim

full rationale

The paper's derivation adapts Euclidean calibration forms via the exponential map and controls the comass error by standard local metric perturbation estimates (curvature terms vanish to first order inside small geodesic balls). This is a direct analytic transfer that does not reduce any equation to its own inputs by definition, does not rename a fitted quantity as a prediction, and invokes no load-bearing self-citation chain. The central statement that minimality holds inside sufficiently small balls follows from the o(1) error bound, which is an independent continuity argument rather than a tautology. No enumerated circularity pattern is exhibited in the provided derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that local metric perturbation estimates and exponential-map comparisons carry the Euclidean calibration method over to the sphere without global curvature interference.

axioms (1)
  • domain assumption Local metric perturbation estimates hold near every point on S² and allow transfer of Euclidean calibration inequalities
    Invoked to prove local length-minimality inside small geodesic balls.

pith-pipeline@v0.9.0 · 5474 in / 1083 out tokens · 58634 ms · 2026-05-13T17:04:54.048290+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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

22 extracted references · 22 canonical work pages

  1. [1]

    Richer Convolutional Features for Edge Detection [C]//Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR)

    LIU Y, CHENG M M, HU X W, et al. Richer Convolutional Features for Edge Detection [C]//Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition (CVPR). 2017: 3000–3009

    work page 2017

  2. [2]

    Molecular Simulations and Network Analyses of Surface/Interface Effects in Epoxy Resins: How Bonding Adapts to Boundary Conditions[J]

    KONRAD J, MORETTI P, ZAHN D. Molecular Simulations and Network Analyses of Surface/Interface Effects in Epoxy Resins: How Bonding Adapts to Boundary Conditions[J]. Polymers, 2022, 14(19): 4069

    work page 2022

  3. [3]

    What is mathematics?[M]

    Courant R, Robbins H. What is mathematics?[M]. New York: Oxford University Press, 1941

    work page 1941

  4. [4]

    The geometry of soap films and soap bubbles[J]

    Taylor J E. The geometry of soap films and soap bubbles[J]. Communications on Pure and Applied Mathematics, 1976, 29(3): 389–424. DOI:10.1002/cpa.3160290305

    work page doi:10.1002/cpa.3160290305 1976

  5. [5]

    Calibrations and the Minimal Surfaces inR n[J]

    Lawlor G R, Morgan F. Calibrations and the Minimal Surfaces inR n[J]. Pacific Journal of Mathematics, 1994, 166(1): 55–83. DOI:10.2140/pjm.1994.166.55

    work page doi:10.2140/pjm.1994.166.55 1994

  6. [6]

    The existence and nonexistence of global solutions for a semilinear heat equation on graphs

    Alberti G, Bouchitt´ e G, Seppecher P. Calibrations for free discontinuity problems in the Mumford-Shah functional framework[J]. Calculus of Variations and Partial Differential Equations, 2003, 18(4): 375–403. DOI:10.1007/s00526- 003-0209-5

    work page doi:10.1007/s00526- 2003

  7. [7]

    Minimizing properties of networks via global and local calibrations[J]

    Pluda A, Pozzetta M. Minimizing properties of networks via global and local calibrations[J]. Bulletin of the London Mathematical Society, 2024, 56(1): 230–250. DOI:10.1112/blms.12908

    work page doi:10.1112/blms.12908 2024

  8. [8]

    The deformation theorem for flat chains[J]

    White B. The deformation theorem for flat chains[J]. Acta Mathematica, 1999, 183(2): 255–271

    work page 1999

  9. [9]

    Flat chains over a finite coefficient group[J]

    Fleming W H. Flat chains over a finite coefficient group[J]. Transactions of the American Mathematical Society, 1966, 121: 160–186

    work page 1966

  10. [10]

    The Steiner tree problem revisited through rectifiableG-currents[J]

    Marchese A, Massaccesi A. The Steiner tree problem revisited through rectifiableG-currents[J]. Advances in Calculus of Variations, 2016, 9(1): 19–39

    work page 2016

  11. [11]

    The calibration method for the Mumford-Shah functional and free discontinuity problems[J]

    Alberti G, Bouchitt´ e G, Dal Maso G. The calibration method for the Mumford-Shah functional and free discontinuity problems[J]. Calculus of Variations and Partial Differential Equations, 2003, 16(3): 299–333

    work page 2003

  12. [12]

    Calibrations for minimal networks in a covering space setting[J]

    Carioni M, Pluda A. Calibrations for minimal networks in a covering space setting[J]. ESAIM Control Optimisation Calculus of Variations, 2020, 26: Paper No. 40, 28

    work page 2020

  13. [13]

    Paired calibrations applied to soap films, immiscible fluids, and surfaces or networks minimizing other norms[J]

    Lawlor G, Morgan F. Paired calibrations applied to soap films, immiscible fluids, and surfaces or networks minimizing other norms[J]. Pacific Journal of Mathematics, 1994, 166(1): 55–83

    work page 1994

  14. [14]

    Functions of bounded variation and free discontinuity problems[M]

    Ambrosio L, Fusco N, Pallara D. Functions of bounded variation and free discontinuity problems[M]. Oxford Mathe- matical Monographs. New York: The Clarendon Press, Oxford University Press, 2000

    work page 2000

  15. [15]

    Existence and regularity results for the Steiner problem[J]

    Paolini E, Stepanov E. Existence and regularity results for the Steiner problem[J]. Calculus of Variations and Partial Differential Equations, 2013, 46(3–4): 837–860

    work page 2013

  16. [16]

    The calibration method for free discontinuity problems[C]//Casacuberta C, et al

    Dal Maso G. The calibration method for free discontinuity problems[C]//Casacuberta C, et al. European Congress of Mathematics (Vol.I, Barcelona, July 10–14, 2000). Progress in Mathematics, Vol.201. Basel: Birkh¨ auser Verlag, 2001

    work page 2000

  17. [17]

    Local calibrations for minimizers of the Mumford-Shah functional with a regular discontinuity sets[J]

    Mora M G, Morini M. Local calibrations for minimizers of the Mumford-Shah functional with a regular discontinuity sets[J]. Annales de l’Institut Henri Poincar´ e, Analyse Non Lin´ eaire, 2001, 18: 403–436

    work page 2001

  18. [18]

    Paired calibrations applied to soap films, immiscible fluids, and surfaces or networks minimizing other norms[J]

    Morgan F, Lawlor G. Paired calibrations applied to soap films, immiscible fluids, and surfaces or networks minimizing other norms[J]. Pacific Journal of Mathematics, 1994, 166(1): 55–83

    work page 1994

  19. [19]

    Minimal Networks

    Ivanov A O, Tuzhilin A A. Minimal Networks. The Steiner Problem and Its Generalizations[M]. Boca Raton: CRC Press, 1994

    work page 1994

  20. [20]

    Currents with coefficients in groups, applications and other problems in geometric measure theory[D]

    Massaccesi A. Currents with coefficients in groups, applications and other problems in geometric measure theory[D]. Pisa: Scuola Normale Superiore di Pisa, 2014

    work page 2014

  21. [21]

    Spherical Geometry and Its Applications

    Whittlesey M A. Spherical Geometry and Its Applications. CRC Press, 2020

    work page 2020

  22. [22]

    Differential Geometry of Curves and Surfaces

    Do Carmo M P. Differential Geometry of Curves and Surfaces. Prentice-Hall, 1976. College of Mathematics and Statistics, Chongqing University,, Chongqing 401331, P. R. China Email address:202306021002@cqu.edu.cn Email address: 1 202306021002@cqu.edu.cn

    work page 1976