arxiv: 2605.06565 · v1 · submitted 2026-05-07 · 🧮 math.GT

Recognition: unknown

Minimal Homotopies in Three Dimensions: A Cable System Approach

Bala Krishnamoorthy, Kevin R.Vixie, Lia Buchbinder

Pith reviewed 2026-05-08 04:18 UTC · model grok-4.3

classification 🧮 math.GT

keywords immersed spherenull homotopycable systemBrouwer degreeswept volumelower boundLipschitz homotopycomplementary regions

0 comments

The pith

The cable index of an immersed sphere equals the Brouwer degree on each complementary region and supplies a sharp lower bound on the volume swept by any Lipschitz null homotopy.

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

The paper constructs a cable system that links each bounded region in the complement of a smoothly immersed sphere in R^3 to the exterior. From this system the authors extract a cable index and prove that the index coincides with the Brouwer degree of the immersion on every region. The equality produces a degree-weighted lower bound on the volume swept out by any Lipschitz null homotopy of the sphere. The bound is attained whenever the homotopy is sense-preserving and the index changes monotonically along the deformation. When the immersed sphere bounds an immersed ball an explicit homotopy realizing the bound is obtained by deforming the ball, and all indices are computable by a linear-time algorithm.

Core claim

For a smooth immersion of the sphere into R^3 having finitely many transverse self-intersections, a cable system connecting each bounded complementary region to the exterior yields a cable index that equals the Brouwer degree on that region. Consequently any Lipschitz null homotopy sweeps a volume at least as large as the sum of the absolute degrees times the appropriate region volumes. This lower bound is attained precisely when the homotopy is sense-preserving and the index evolves monotonically. When the immersion arises as the boundary of an immersed ball, deforming the ball produces an explicit homotopy that meets the bound. All cable indices can be obtained from the finite cable system

What carries the argument

The cable system, a finite collection of paths from each bounded complementary region to the exterior, from which the cable index is defined and shown to equal the Brouwer degree.

If this is right

Any Lipschitz null homotopy must sweep at least the degree-weighted volume bound obtained from the cable indices.
Sense-preserving homotopies with monotonic index evolution attain the minimal swept volume.
When the sphere bounds an immersed ball an explicit deformation of the ball realizes the minimal volume.
The cable indices and therefore the lower bound can be computed in linear time from the finite cable system.

Where Pith is reading between the lines

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

The identification of cable index with Brouwer degree supplies a concrete computational substitute for degree calculations in volume estimates.
The linear-time algorithm makes the bound practical for numerical minimization of homotopy volumes in geometric modeling.
The same cable construction may adapt to bound swept volumes for other classes of maps or in higher-dimensional settings.

Load-bearing premise

The immersion is smooth with only finitely many transverse self-intersections, and equality holds only for sense-preserving homotopies in which the index evolves monotonically.

What would settle it

An explicit immersed sphere together with one Lipschitz null homotopy whose swept volume is strictly smaller than the degree-weighted lower bound obtained from its cable indices.

Figures

Figures reproduced from arXiv: 2605.06565 by Bala Krishnamoorthy, Kevin R.Vixie, Lia Buchbinder.

**Figure 1.** Figure 1: A nontrivial null homotopy of a closed immersed curve in the plane together with the view at source ↗

**Figure 2.** Figure 2: Local geometry at an intersection point 𝑞 ∈ 𝜋 ∩ Σ. Since we require that each cable intersects Σ only at regular points of the immersion, this ensures that the oriented unit normal vector is uniquely defined at every crossing. For a region Ω𝑖 , and its interior point, define the cable index with respect to a point 𝑝𝑖 as 𝐶(𝑝𝑖 , Ω𝑖) = ∑︁ 𝑞∈𝜋𝑖∩Σ sgn(𝑞). This integer records the algebraic number of times the c… view at source ↗

**Figure 3.** Figure 3: An immersed 2-sphere in 𝑅 3 with eight bounded regions, cables 𝜋1, . . . , 𝜋8, and exterior region Ω∞. The sphere begins as a standard round sphere, but at one place the surface is smoothly stretched outward and then stopped. At a different location, the sphere is stretched again, this time forming a long smooth tube that passes through the first stretched region, creating a transverse self-intersection. T… view at source ↗

**Figure 4.** Figure 4: The orange cables represent simple cables. The green cables illustrate alternative choices: view at source ↗

read the original abstract

We study null homotopies of immersed spheres in $\mathbb{R}^3$ and the volume they sweep during contraction. For a smooth immersion with finitely many transverse self-intersections, we introduce a cable system that connects each bounded region of the complement to the exterior. From this construction we define the cable index and prove that it agrees with the Brouwer degree on each complementary region. Using this identification, we derive a degree-weighted lower bound for the swept volume of any Lipschitz null homotopy. We show that the bound is attained whenever the homotopy is sense-preserving, meaning the surface moves in a consistent direction, and the index evolves monotonically along the homotopy. In addition, in the case where the immersion arises as the boundary of an immersed ball, we construct an explicit homotopy that realizes this lower bound via a deformation of the ball. Finally, we present a linear-time algorithm that computes all cable indices from a finite cable system, providing a concrete and computable method for evaluating the lower bound.

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

The paper gives a new cable system that defines an index matching the Brouwer degree and turns it into a computable lower bound on the volume swept by null homotopies of immersed spheres.

read the letter

This paper introduces a cable system for immersed spheres in R^3 to get lower bounds on the volume swept during null homotopies. The key move is defining an index from the cables that matches the Brouwer degree in each complementary region, then using the total change in these degrees to bound the swept volume from below for any Lipschitz null homotopy. They also give conditions under which the bound is attained and an explicit construction when the sphere bounds an immersed ball, plus a linear-time algorithm to compute the indices from the cables. The construction is the main novelty. By connecting bounded complementary regions to the exterior, the cables produce an index that agrees with the standard degree via homotopy invariance in the complement. The volume lower bound then follows by integrating the variation of these degrees over the homotopy parameter. The explicit deformation and the algorithm make the result practical rather than purely existential. The argument avoids circularity because the degree is independently defined and the cable index is shown to match it. The stress-test logic on intersection numbers and monotonic change holds up without obvious gaps in the setup. One limitation is that attainment requires the homotopy to be sense-preserving with monotonic index evolution, which excludes some homotopies that might sweep more volume through backtracking or cancellation. The work also restricts to smooth immersions with transverse self-intersections and Lipschitz maps, so it does not cover more singular cases. These are standard assumptions rather than hidden flaws. This is for researchers in 3D geometric topology who want quantitative bounds on homotopies or new computable invariants. A reader focused on minimal volumes or explicit constructions in immersions would find usable content. The claims are specific and the tools are checkable, so it deserves a serious referee rather than a desk rejection. I would recommend sending it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper introduces a cable system connecting each bounded complementary region of a smooth immersion of a sphere in R^3 (with finitely many transverse self-intersections) to the exterior. It defines the cable index from this system and proves its agreement with the Brouwer degree on each region. This identification yields a degree-weighted lower bound on the swept volume of any Lipschitz null homotopy, attained precisely when the homotopy is sense-preserving and the indices evolve monotonically. The manuscript also constructs an explicit homotopy realizing the bound for immersions bounding an immersed ball and provides a linear-time algorithm to compute all cable indices from the finite cable data.

Significance. If the identification and bound hold, the work supplies a concrete, computable lower bound on minimal homotopy volumes together with an explicit attaining construction and an efficient algorithm. The cable index is shown to coincide with the independently defined Brouwer degree via homotopy invariance in the complement, without circularity or fitted parameters. The explicit deformation of an immersed ball and the linear-time algorithm constitute direct, verifiable support for the claims and enhance applicability in geometric topology and computational geometry.

minor comments (3)

The precise definition of 'sense-preserving' and the monotonic evolution of the index should be stated explicitly in terms of the homotopy parameter t (e.g., in the section introducing the volume bound) to avoid ambiguity in the attainment statement.
A diagram or figure illustrating a simple example of a cable system for an immersed sphere with one or two transverse intersections would greatly aid the reader's understanding of the construction.
The manuscript would benefit from a short comparison, in the introduction or final section, of the cable-index algorithm's complexity with existing methods for computing Brouwer degrees of immersed surfaces.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and accurate summary of our work, as well as for the favorable assessment of its significance. We note the recommendation for minor revision and will prepare an updated manuscript accordingly.

Circularity Check

0 steps flagged

Derivation self-contained; cable index proven equal to Brouwer degree via independent topological arguments

full rationale

The paper introduces a cable system for a smooth immersion with transverse self-intersections, defines the cable index directly from this construction, and proves agreement with the Brouwer degree on complementary regions using the standard intersection-number definition along paths in the complement together with homotopy invariance. This identification is independent of the cable choice and does not reduce to self-definition or prior self-citation. The degree-weighted lower bound on swept volume is then obtained by integrating total variation of these degrees over the homotopy parameter, with attainment conditions (sense-preserving monotonic evolution) stated separately. No load-bearing step relies on fitted inputs renamed as predictions, ansatzes smuggled via citation, or uniqueness theorems imported from the authors' prior work; the argument rests on external facts about degrees and Lipschitz homotopies.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on standard properties of the Brouwer degree and basic facts about immersions and Lipschitz homotopies in R^3; no free parameters or new physical entities are introduced.

axioms (2)

standard math Brouwer degree is well-defined and integer-valued for maps from spheres to R^3 minus a point
Invoked when identifying the newly defined cable index with the degree on each complementary region.
domain assumption Lipschitz null homotopies exist for any continuous immersion of a sphere
Used as the setting in which the volume lower bound is stated.

invented entities (1)

cable system no independent evidence
purpose: Connects each bounded complementary region to the exterior to define the cable index
New topological construction introduced to enable the index and volume bound

pith-pipeline@v0.9.0 · 5472 in / 1478 out tokens · 76178 ms · 2026-05-08T04:18:31.683197+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 3 canonical work pages

[1]

Computation of topological degree using interval arithmetic, and applica- tions

Oliver Aberth. “Computation of topological degree using interval arithmetic, and applica- tions”. In:mathematics of computation62.205 (1994), pp. 171–178

1994
[2]

Almgren.Almgren’s big regularity paper: Q-valued functions minimizing Dirich- let’s integral and the regularity of area-minimizing rectifiable currents up to codimension 2

Frederick J. Almgren.Almgren’s big regularity paper: Q-valued functions minimizing Dirich- let’s integral and the regularity of area-minimizing rectifiable currents up to codimension 2. Vol. 1. World scientific Publishing Co. Inc., River Edge, NJ, 2000

2000
[3]

Fast winding numbers for soups and clouds

Gavin Barill, Neil G Dickson, Ryan Schmidt, David IW Levin, and Alec Jacobson. “Fast winding numbers for soups and clouds”. In:ACM Transactions on Graphics (TOG)37.4 (2018), pp. 1–12

2018
[4]

Extending Immersions and Regular Homotopies in Codimension 1

Samuel Blank. “Extending Immersions and Regular Homotopies in Codimension 1”. PhD thesis. University of Michigan, 1967

1967
[5]

Complexity of computing topological degree of Lipschitz functions in n dimensions

Terrance E Boult and Krzysztof Sikorski. “Complexity of computing topological degree of Lipschitz functions in n dimensions”. In:Journal of Complexity2.1 (1986), pp. 44–59

1986
[6]

¨Uber abbildung von mannigfaltigkeiten

Luitzen Egbertus Jan Brouwer. “ ¨Uber abbildung von mannigfaltigkeiten”. In:Mathematische annalen71.1 (1911), p. 97115. 22

1911
[7]

Measuring Similarity Between Curves on 2-manifolds via Homotopy Area

Erin Wolf Chambers and Yusu Wang. “Measuring Similarity Between Curves on 2-manifolds via Homotopy Area”. In:Proceedings of the Twenty-ninth Annual Symposium on Com- putational Geometry. SoCG ’13. Rio de Janeiro, Brazil: ACM, 2013, pp. 425–434.doi: 10.1145/2462356.2462375

work page doi:10.1145/2462356.2462375 2013
[8]

Measuring similarity between curves on 2-manifolds via homotopy area

Erin Wolf Chambers and Yusu Wang. “Measuring similarity between curves on 2-manifolds via homotopy area”. In:Journal of Computational Geometry10.1 (2019), pp. 96–126

2019
[9]

From Curves to Words and Back Again: Geometric Computation of Minimum-Area Homotopy

Hsien-Chih Chang, Brittany Terese Fasy, Bradley McCoy, David L Millman, and Carola Wenk. “From Curves to Words and Back Again: Geometric Computation of Minimum-Area Homotopy”. In:Algorithms and Data Structures (WADS 2023). Springer. 2023, pp. 605–619

2023
[10]

Springer-Verlag Berlin Heidelberg New York Tokyo, 1985

Klaus Deimling.Nonlinear functional analysis. Springer-Verlag Berlin Heidelberg New York Tokyo, 1985

1985
[11]

Evans Lawrence C.Measure theory and fine properties of functions

Gariepy Ronald F. Evans Lawrence C.Measure theory and fine properties of functions. CRC Press, 2015

2015
[12]

On minimum area homotopies of normal curves in the plane

Brittany Terese Fasy, Selc ¸uk Karakoc ¸, and Carola Wenk. “On minimum area homotopies of normal curves in the plane”. In:arXiv(2017). arXiv:1707.02251

work page arXiv 2017
[13]

Springer, 1969

Herbert Federer.Geometric measure theory. Springer, 1969

1969
[14]

Normal and integral currents

Herbert Federer and Wendell H. Fleming. “Normal and integral currents”. In:Annals of Mathematics72.3 (1960), pp. 458–520

1960
[15]

Effective topological degree computation based on interval arithmetic

Peter Franek and Stefan Ratschan. “Effective topological degree computation based on interval arithmetic”. In:Mathematics of Computation84.293 (2015), pp. 1265–1290

2015
[16]

Filling riemannian manifolds

Mikhael Gromov. “Filling riemannian manifolds”. In:Journal of Differential Geometry18.1 (1983), pp. 1–147

1983
[17]

Academic press, 1959

Sze-Tsen Hu.Homotopy theory. Academic press, 1959

1959
[18]

Robust inside-outside seg- mentation using generalized winding numbers

Alec Jacobson, Ladislav Kavan, and Olga Sorkine-Hornung. “Robust inside-outside seg- mentation using generalized winding numbers”. In:ACM Transactions on Graphics (TOG) 32.4 (2013), pp. 1–12

2013
[19]

Lee.Introduction to Smooth Manifolds

John M. Lee.Introduction to Smooth Manifolds. 2nd ed. Springer, 2013

2013
[20]

Numerical computation of the mapping degree using computational homology

Kansaku Nakakura and Sunao Murashige. “Numerical computation of the mapping degree using computational homology”. In:12th GAMM-IMACS International Symposium on Sci- entific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006). IEEE. 2006, pp. 34–34

2006
[21]

On The Minimum Area Of Null Homotopies Of Curves Traced Twice

Zipei Nei. “On The Minimum Area Of Null Homotopies Of Curves Traced Twice”. In: (2014). arXiv:1412.0101

work page arXiv 2014
[22]

The calculation of the topological degree by quadra- ture

Thomas O’Neil and John W. Thomas. “The calculation of the topological degree by quadra- ture”. In:SIAM Journal on Numerical Analysis12.5 (1975), pp. 673–680

1975
[23]

Computing the topological degree of a mapping in R n

Frank Stenger. “Computing the topological degree of a mapping in R n”. In:Numerische Mathematik25.1 (1975), pp. 23–38

1975
[24]

Existence of least-area mappings of N-dimensional domains

Brian White. “Existence of least-area mappings of N-dimensional domains”. In:Annals of Mathematics118.1 (1983), pp. 179–185. 23

1983