arxiv: 2604.23621 · v2 · submitted 2026-04-26 · 🧮 math.GT · math.MG

Recognition: unknown

Unconstrained and Ropelength-Windowed p-densities of Knot Types

Makoto Ozawa

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

classification 🧮 math.GT math.MG

keywords knot theoryp-densitiesropelengththicknessmean-chord inequalitycurve functionalsknot invariantspolygonal approximation

0 comments

The pith

Unconstrained p-densities of all knot types equal the unknot's for every p up to 2.

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

The paper shows that any knot type can be realized by a curve whose unconstrained p-density matches that of the round circle, because arbitrarily small local knots can be inserted without changing the ratio of total length to the L^p spread of chord lengths. This degeneration is proved complete for -1 < p ≤ 2 by invoking the sharp mean-chord inequality, yielding explicit constant values independent of the knot. For p > 2 the circle ceases to be extremal and the question of knot-type dependence is left open. The authors therefore replace the unconstrained functional with a ropelength-windowed version that enforces thickness at least 1 and caps length by a fixed multiple of the knot's own ropelength, proving that minimizers exist under these constraints and that smooth and polygonal versions agree in the limit.

Core claim

For every p in (-1, ∞] and every knot type K the unconstrained p-density of K is at most that of the unknot. When -1 < p ≤ 2 the inequality becomes equality: ρ_p(K) equals π(π / ∫_0^π sin^p θ dθ)^{1/p} for p ≠ 0, equals 2π for p = 0, and equals 2 for p = ∞. The equality follows because any knot can be obtained from the circle by adding arbitrarily small local knots that leave the p-density unchanged, and the mean-chord inequality supplies the exact value attained by the circle. For p > 2 the extremal curve is no longer known to be the circle, so knot-type independence remains unresolved. The authors introduce the ropelength-windowed p-density by imposing Thi(γ) ≥ 1 and len(γ) ≤ λ Rop(K), and

What carries the argument

The unconstrained p-density, the ratio of a curve's length to the L^p norm of all pairwise chord lengths measured along the curve, together with its ropelength-windowed refinement that adds a lower bound on thickness and an upper bound on length relative to the knot's ropelength.

If this is right

All knot types share identical unconstrained p-densities for every p in (-1,2], each equal to the value attained by the round circle.
For p > 2 the question whether p-densities distinguish knot types is reduced to a separate extremal problem whose solution is not yet known.
Minimizers exist for the ropelength-windowed p-density problem for every knot type and every length multiplier λ > 1.
Smooth and polygonal versions of both the unconstrained and windowed densities agree in the limit of fine subdivisions.

Where Pith is reading between the lines

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

Constraining thickness and ropelength appears necessary if one wants density measures that actually separate knot types.
The high-p regime may be linked to other thickness-controlled invariants such as ropelength itself.
Regularized inverse-power versions of the density could be studied to interpolate between the low-p and high-p behaviors.

Load-bearing premise

Local knotting of arbitrarily small size can be performed on any curve without changing its unconstrained p-density, and the sharp mean-chord inequality continues to apply to the resulting curves.

What would settle it

An explicit curve of a nontrivial knot type whose unconstrained p-density for some p ≤ 2 exceeds the explicit constant given by the mean-chord formula, or a direct computation showing that inserting a small local trefoil into a circle strictly increases the L^p spread of its chords.

read the original abstract

We study a family of scale-invariant $p$-densities of knot types in $R^3$, defined as the ratio of length to an $L^p$-type spread of pairwise distances along a curve. The first point of the paper is that the unconstrained theory has a strong degeneration. Local knotting shows that, for every $p\in(-1,\infty]$ and every knot type $K$, the unconstrained $p$-density of $K$ is no larger than that of the unknot. Using the sharp mean-chord inequality of Exner--Harrell--Loss, we show that this degeneration is complete throughout the range $-1<p\le2$: for $p\ne0$ one has \[ \rho_p(K)= \pi\left( \frac{\pi}{\int_0^\pi \sin^p\theta\,d\theta} \right)^{1/p}, \] while $\rho_0(K)=2\pi$. At the endpoint $p=\infty$, one also has $\rho_\infty(K)=2$ for every knot type $K$. The remaining finite range $p>2$ is analytically different: the round circle is not the relevant extremal curve in general, and knot-type independence in this range is left as a separate extremal problem. These degenerations motivate a constrained refinement. We introduce ropelength-windowed $p$-densities by imposing the thickness normalization $Thi(\gamma)\ge 1$ and the length bound $len(\gamma)\le \lambda Rop(K)$. These constraints prevent the collapse caused by arbitrarily small local knotting. We prove basic monotonicity properties and an existence theorem for minimizers of the ropelength-windowed problem. We also retain the polygonal approximation theorem for the unconstrained densities, showing that the continuous and polygonal theories agree asymptotically as the number of edges tends to infinity. The paper concludes with a list of open questions concerning the finite high-exponent range, constrained density spectra, thickness-controlled polygonal approximation, and regularized inverse-power extensions.

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 proves unconstrained p-densities degenerate to the unknot value for all knot types when -1 < p ≤ 2, then sets up a thickness-and-length constrained version that avoids collapse.

read the letter

The main result is that local knotting lets any knot type achieve the same unconstrained p-density as the unknot for p up to 2, and the Exner-Harrell-Loss inequality pins the value exactly to the circle constant. For p > 2 the problem stays open and knot-type dependent. They then define ropelength-windowed p-densities with thickness at least 1 and length at most λ times the ropelength of K; this stops the degeneration and they prove minimizers exist plus basic monotonicity. The polygonal approximation carries over as well. That constrained setup and the clean degeneration statement are the useful new pieces. The work sits squarely in geometric knot theory and gives explicit formulas plus an existence theorem, which is concrete progress on these scale-invariant densities. The citation to the external inequality is straightforward and avoids circularity. The main soft spot is the range -1 < p < 0. The local-knotting upper bound relies on small chords becoming negligible, but when p is negative those chords make |d|^p large, so the contribution from the knotted region may not vanish in the limit and could keep the density strictly above the circle value. The abstract asserts the result holds throughout -1 < p ≤ 2, yet the stress-test concern about the singular integral looks worth checking in the actual proof. This is for people already working on knot energies or thickness problems; a general topologist would not need it. The core claims are grounded enough and the constrained refinement opens clear follow-up questions, so it deserves a serious referee rather than a desk reject.

Referee Report

2 major / 2 minor

Summary. The paper defines a family of scale-invariant p-densities for knot types in R^3 as the ratio of curve length to an L^p-type spread of pairwise distances. It claims that unconstrained p-densities degenerate completely for every knot type K and all p in (-1,2]: local knotting shows the density is at most that of the unknot, while the sharp Exner-Harrell-Loss mean-chord inequality supplies the matching lower bound, yielding the explicit circle value ρ_p(K) = π (π / ∫_0^π sin^p θ dθ)^{1/p} for p≠0 and ρ_0(K)=2π. At p=∞ the value is 2. For p>2 the extremal problem is left open. The paper then introduces ropelength-windowed p-densities with thickness ≥1 and length ≤λ Rop(K) constraints, proves monotonicity and existence of minimizers, and establishes that continuous and polygonal versions agree asymptotically.

Significance. If the central degeneration claims hold, the work reveals a strong, parameter-free collapse of unconstrained p-densities to the unknot value for p≤2, driven by the independent Exner-Harrell-Loss inequality and local-knotting constructions; this is a substantive geometric observation that motivates the constrained refinement. The existence theorem for minimizers under ropelength windows and the polygonal approximation result are technically solid contributions. The framework connects analytic inequalities to knot theory and supplies a thickness-controlled setting with potential relevance to physical models of knotted curves.

major comments (2)

[Abstract] Abstract (displayed formula for ρ_p(K) and the sentence beginning 'Using the sharp mean-chord inequality...'): the claim that ρ_p(K) equals the circle value for all K when -1<p≤2 requires that the local-knotting construction supplies a matching upper bound. For p∈(-1,0) the integrand |γ(s)-γ(t)|^p diverges as |γ(s)-γ(t)|→0, so the contribution of the local-knot region (even as its diameter ε→0) may remain non-vanishing; the manuscript must supply an explicit estimate showing this contribution vanishes in the limit, otherwise the equality fails to hold throughout the stated range.
[unconstrained densities section] Section on unconstrained densities (the paragraph asserting applicability of the Exner-Harrell-Loss inequality): the inequality is invoked for the locally knotted curves, but the manuscript should verify that these curves satisfy the precise regularity or rectifiability hypotheses under which the sharp mean-chord inequality is known to hold; an explicit statement of the hypotheses and a check that local knotting preserves them would remove any ambiguity.

minor comments (2)

[Introduction] The definition of the L^p spread in the introduction could be written with an explicit double-integral formula rather than a verbal description, to aid immediate readability.
[ropelength-windowed section] Notation for the ropelength-windowed density (e.g., the dependence on λ) is introduced but could be summarized in a single displayed line for clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments. We address each of the major comments point by point below.

read point-by-point responses

Referee: [Abstract] Abstract (displayed formula for ρ_p(K) and the sentence beginning 'Using the sharp mean-chord inequality...'): the claim that ρ_p(K) equals the circle value for all K when -1<p≤2 requires that the local-knotting construction supplies a matching upper bound. For p∈(-1,0) the integrand |γ(s)-γ(t)|^p diverges as |γ(s)-γ(t)|→0, so the contribution of the local-knot region (even as its diameter ε→0) may remain non-vanishing; the manuscript must supply an explicit estimate showing this contribution vanishes in the limit, otherwise the equality fails to hold throughout the stated range.

Authors: We appreciate the referee highlighting this potential issue for negative exponents. In the local knotting construction, although |γ(s)-γ(t)|^p becomes large for small distances when p < 0, the region of small distances has measure proportional to ε^2 (where ε is the diameter of the knotted region), and the contribution to the integral can be bounded by a term that tends to zero as ε → 0 provided p > -1. We will include an explicit calculation in the revised manuscript (likely as a lemma in Section 2) to verify that the local knot contribution vanishes in the limit, thereby justifying the upper bound and the degeneration to the unknot value for the full interval -1 < p ≤ 2. revision: yes
Referee: [unconstrained densities section] Section on unconstrained densities (the paragraph asserting applicability of the Exner-Harrell-Loss inequality): the inequality is invoked for the locally knotted curves, but the manuscript should verify that these curves satisfy the precise regularity or rectifiability hypotheses under which the sharp mean-chord inequality is known to hold; an explicit statement of the hypotheses and a check that local knotting preserves them would remove any ambiguity.

Authors: We agree that an explicit verification of the hypotheses is desirable. The Exner-Harrell-Loss mean-chord inequality applies to closed rectifiable curves. Our local knotting procedure starts from a smooth circle and replaces a small arc with a smooth knotted arc of small diameter, with junctions smoothed to maintain C^1 regularity (or higher if desired). The resulting curve remains rectifiable and closed. In the revision, we will add a sentence in the relevant paragraph stating the hypotheses (closed rectifiable curves) and confirming that the construction preserves them. revision: yes

Circularity Check

0 steps flagged

No circularity in the derivation chain

full rationale

The paper's central claim for -1 < p ≤ 2—that ρ_p(K) equals the circle value for every knot type K—rests on two independent pieces: (1) the external sharp mean-chord inequality of Exner–Harrell–Loss supplying the lower bound that any closed curve satisfies ρ_p(γ) ≥ circle value, and (2) an explicit local-knotting construction showing that any knot type can be realized by curves whose p-density approaches the unknot (hence the circle) value. Neither step reduces to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation; the cited inequality is from unrelated authors and is used as an external benchmark. The mention of retaining a prior polygonal approximation theorem is peripheral and not required for the degeneration result. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Central claims rest on the mathematical definition of p-density and the application of the external mean-chord inequality; no free parameters or new entities introduced.

axioms (1)

domain assumption Sharp mean-chord inequality of Exner--Harrell--Loss
Invoked to obtain the explicit constant value of the unconstrained p-density for -1 < p ≤ 2.

pith-pipeline@v0.9.0 · 5677 in / 1199 out tokens · 56134 ms · 2026-05-08T05:20:05.619101+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Swept-Area Pseudometrics on Ropelength-Filtered Knot Spaces
math.GT 2026-05 unverdicted novelty 6.0

Defines swept-area pseudometrics on ropelength-filtered knot spaces, proves non-degeneracy on polygonal strata, exact distances for concentric unknots and ellipses, and rigidity of the ideal unknot.

Reference graph

Works this paper leans on

16 extracted references · cited by 1 Pith paper

[1]

Burago, Y

D. Burago, Y. Burago, and S. Ivanov,A Course in Metric Geometry, Graduate Studies in Mathematics, Vol. 33, American Mathematical Society, Providence, RI, 2001

2001
[2]

Cantarella, R

J. Cantarella, R. B. Kusner, and J. M. Sullivan,On the minimum ropelength of knots and links, Invent. Math.150(2002), 257–286

2002
[3]

Bryson, M

S. Bryson, M. H. Freedman, Z.-X. He, and Z. Wang,M¨ obius invariance of knot energy, Bull. Amer. Math. Soc.28(1993), 99–103

1993
[4]

Exner, E

P. Exner, E. M. Harrell, and M. Loss,Inequalities for means of chords, with applica- tion to isoperimetric problems, Lett. Math. Phys.75(2006), 225–233

2006
[5]

Exner, E

P. Exner, E. M. Harrell, and M. Loss,Addendum to P. Exner, E.M. Harrell, M. Loss: Inequalities for means of chords, with application to isoperimetric problems, Lett. Math. Phys.77(2006), 219

2006
[6]

Exner, M

P. Exner, M. Fraas, and E. M. Harrell,On the critical exponent in an isoperimetric inequality for chords, Phys. Lett. A368(2007), 1–6

2007
[7]

M. H. Freedman, Z.-X. He, and Z. Wang,M¨ obius energy of knots and unknots, Ann. of Math. (2)139(1994), 1–50

1994
[8]

M. W. Hirsch,Differential Topology, Graduate Texts in Mathematics, Vol. 33, Springer-Verlag, New York, 1976

1976
[9]

O’Hara,Energy of a knot, Topology30(1991), 241–247

J. O’Hara,Energy of a knot, Topology30(1991), 241–247

1991
[10]

O’Hara,Family of energy functionals of knots, Topol

J. O’Hara,Family of energy functionals of knots, Topol. Appl.48(1992), 147–161

1992
[11]

O’Hara,Energy functionals of knots II, Topol

J. O’Hara,Energy functionals of knots II, Topol. Appl.56(1994), 45–61

1994
[12]

O’Hara,Energy of Knots and Conformal Geometry, Series on Knots and Every- thing, Vol

J. O’Hara,Energy of Knots and Conformal Geometry, Series on Knots and Every- thing, Vol. 33, World Scientific, Singapore, 2003

2003
[13]

E. J. Rawdon,Approximating the thickness of a knot, inIdeal Knots, Series on Knots and Everything, Vol. 19, World Scientific, 1998, pp. 143–150

1998
[14]

E. J. Rawdon and J. K. Simon,Polygonal approximation and energy of smooth knots, J. Knot Theory Ramifications15(2006), no. 4, 429–451

2006
[15]

Strzelecki and H

P. Strzelecki and H. von der Mosel,Menger curvature as a knot energy, Phys. Rep. 530(2013), 257–290

2013
[16]

Strzelecki, M

P. Strzelecki, M. Szuma´ nska, and H. von der Mosel,On some knot energies involving Menger curvature, Topol. Appl.160(2013), 1507–1529. Department of Natural Sciences, Komazawa University, Tokyo, Japan Email address:w3c@komazawa-u.ac.jp

2013