Non-degeneracy of swept-area distance for ropelength-filtered knot spaces

Let KK be a knot type, let YΛ(K)Y_{\Lambda}(K) denote the admissible unit-thickness representatives of ropelength at most Λ\Lambda, and let dΛKd_{\Lambda}^{K} be the swept-area pseudometric on this space. Consider suitable compact regularity classes of C1,1C^{1,1} representatives, and identify representatives under orientation-preserving Euclidean isometries.

Non-degeneracy conjecture. The swept-area pseudometric is non-degenerate on each admissible component of YΛ(K)Y_{\Lambda}(K) modulo Isom+(R3)\operatorname{Isom}^+(\mathbb{R}^3): zero swept-area distance should force equality in the moduli space, not merely equality after passing to the zero-distance quotient.

This is proved in the uniformly non-collinear fixed-NN polygonal model, but remains open in the general C1,1C^{1,1} ropelength setting.

Sources & referencesView supporting material

Primary source

Makoto Ozawa, “Swept-Area Pseudometrics on Ropelength-Filtered Knot Spaces”, arXiv:2605.05557 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.