Bounds on saddle connections for flat spheres
Pith reviewed 2026-05-24 07:30 UTC · model grok-4.3
The pith
Under a condition avoiding 2π partial angle defect sums, flat spheres have explicit upper bounds on the number of saddle connections with at most k self-intersections.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We consider a flat metric with conical singularities on the sphere. Under the assumption that no partial sum of angle defects is equal to 2π, we draw on the geometry of immersed disks to obtain an explicit upper bound on the number of saddle connections with at most k self-intersections. Additionally, we establish an upper bound on their lengths for a surface with a normalized area. Finally, we apply these bounds to the counting of singular trajectories in irrational polygonal billiards.
What carries the argument
Immersed disks in the flat sphere, whose geometry yields the bounds on saddle connections when the angle defect partial sums avoid 2π.
Load-bearing premise
No partial sum of angle defects equals exactly 2π.
What would settle it
A flat sphere satisfying the angle defect condition but containing more than the predicted number of saddle connections with at most k self-intersections.
read the original abstract
We consider a flat metric with conical singularities on the sphere. Under the assumption that no partial sum of angle defects is equal to $2\pi$, we draw on the geometry of immersed disks to obtain an explicit upper bound on the number of saddle connections with at most $k$ self-intersections. Additionally, we establish an upper bound on their lengths for a surface with a normalized area. Finally, we apply these bounds to the counting of singular trajectories in irrational polygonal billiards.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript considers flat metrics with conical singularities on the sphere. Under the assumption that no partial sum of angle defects equals 2π, it draws on the geometry of immersed disks to derive an explicit upper bound on the number of saddle connections with at most k self-intersections. It also establishes an upper bound on their lengths for a surface of normalized area and applies the bounds to counting singular trajectories in irrational polygonal billiards.
Significance. If the derivations hold, the explicit (rather than existential) bounds constitute a useful quantitative contribution to the literature on flat surfaces and billiards. The immersed-disk technique is standard and appropriate for this setting; the non-degeneracy assumption is stated clearly at the outset and removes a known source of reducible configurations. The billiard application is a natural and concrete extension of the geometric bounds.
minor comments (3)
- [§1] §1 (Introduction): the statement of the main counting theorem would benefit from an explicit reference to the precise value of the constant appearing in the bound, rather than leaving it implicit in the immersed-disk argument.
- [Abstract / §3] The length bound for normalized area is stated only qualitatively in the abstract; a short paragraph in §3 or §4 summarizing the dependence on area would improve readability.
- [§2] Notation for angle defects and partial sums is introduced without a dedicated preliminary subsection; a short §2.1 collecting these definitions would prevent readers from hunting through the text.
Simulated Author's Rebuttal
We thank the referee for their positive assessment of the manuscript, including the recognition of the explicit bounds and the billiard application as a natural extension. The recommendation for minor revision is noted; however, the report lists no specific major comments requiring response.
Circularity Check
No significant circularity
full rationale
The derivation relies on the geometry of immersed disks applied to flat metrics on the sphere under the explicit no-partial-sum-equals-2π assumption, which is stated in the abstract as a precondition rather than derived internally. No equations reduce a claimed bound to a fitted parameter or self-definition, no load-bearing self-citations appear, and the bounds on saddle connections and lengths are presented as consequences of that geometric input. The result is therefore self-contained against external benchmarks in flat surface theory.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption No partial sum of angle defects equals 2π
Reference graph
Works this paper leans on
-
[1]
J. Athreya, Y . Cheung, H. Masur.Siegel-Veech transforms are in L2. Journal of Modern Dynamics, V olume 14, 1-19, 2019
work page 2019
-
[2]
M. Bainbridge, D. Chen, Q. Gendron, S. Grushevsky, M. Möller. Strata of k-differentials. Algebraic Geometry, V olume 6, Issue 2, 196–233, 2019
work page 2019
- [3]
-
[4]
H. Kneser. Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten . Jahresbericht der Deutschen Mathematikver- Vereinigung, V olume 38, 248-260, 1930
work page 1930
-
[5]
H. Masur and J. Smillie. Hausdorffdimension of sets of nonergodic measured foliations. Annals of Mathematics, V olume 134, Issue 3, 455-543, 1991
work page 1991
-
[6]
G. Tahar. Counting saddle connections in flat surfaces with poles of higher order . Geometriae Dedicata, V olume 196, Issue 1, 145-186, October 2018
work page 2018
- [7]
-
[8]
M. Troyanov. Les surfaces euclidiennes à singularités coniques. Enseign. Math., V olume 32, 79-94, 1986. (Kai Fu) Institut de Math´ematiques de Bordeaux, Talence, France Email address: kai.fu@math.u-bordeaux.fr (Guillaume Tahar) Yanqi Lake Beijing Institute of MathematicalSciences and Applications, Huairou District, Beijing, China Email address: guillaume...
work page 1986
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.