Unique diagram of a spatial arc and the knotting probability

Akio Kawauchi

arxiv: 1907.10194 · v1 · pith:RHZVCVOLnew · submitted 2019-07-24 · 🧮 math.GT

Unique diagram of a spatial arc and the knotting probability

Akio Kawauchi This is my paper

Pith reviewed 2026-05-24 16:58 UTC · model grok-4.3

classification 🧮 math.GT

keywords spatial arcarc diagramknotting probabilityprojection imageisomorphic diagramsoriented planeknot theory

0 comments

The pith

The projection of an oriented spatial arc to any oriented plane is approximated by a unique arc diagram up to isomorphism.

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

The paper shows that the projection image of any oriented spatial arc onto an oriented plane can be approximated by one specific arc diagram, unique up to isomorphism, that is fixed once the arc and plane are given. A separate result already treats knotting probability as an invariant for arc diagrams under isomorphism. Combining the two lets the probability be assigned directly to the spatial arc. A reader would care because this move turns a diagram property into a property of the curve itself in three-space.

Core claim

It is shown that the projection image of an oriented spatial arc to any oriented plane is approximated by a unique arc diagram (up to isomorphic arc diagrams) determined from the spatial arc and the projection. By combining them, the knotting probability of every oriented spatial arc is defined.

What carries the argument

The unique approximating arc diagram for a given spatial arc and projection plane, which transfers the knotting probability.

Load-bearing premise

The knotting probability defined for arc diagrams transfers unambiguously to the spatial arc through the identified unique approximating diagram.

What would settle it

A spatial arc and projection plane for which two non-isomorphic arc diagrams both serve as equally valid approximations would falsify the uniqueness.

read the original abstract

It is shown that the projection image of an oriented spatial arc to any oriented plane is approximated by a unique arc diagram (up to isomorphic arc diagrams) determined from the spatial arc and the projection. In a separated paper, the knotting probability of an arc diagram is defined as an invariant under isomorphic arc diagrams. By combining them, the knotting probability of every oriented spatial arc is defined.

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 claims a unique approximating diagram for any projection of a spatial arc lets you define its knotting probability by transfer from a prior paper on diagrams, but the abstract shows no proof and the projection independence is unaddressed.

read the letter

The main move here is to say that any oriented plane projection of a spatial arc has a unique approximating arc diagram up to isomorphism, and that this lets the knotting probability defined on diagrams carry over to the arc itself. The uniqueness statement for the diagram is the part presented as new. The paper does a clean job of stating how the two pieces combine to give a definition for spatial arcs. That framing is straightforward and could be useful inside statistical knot theory if the details hold. The soft spots are more substantial. The abstract asserts uniqueness but supplies no outline, lemmas, or key steps, so there is no way to see whether the claim is actually established. The diagram is constructed from both the arc and the chosen projection plane. Nothing in the given text shows that diagrams obtained from different planes are isomorphic or produce the same probability value. If they do not, the assigned probability would depend on the plane and would not be an invariant of the arc alone. The definition also rests entirely on the separated paper for the probability on diagrams, so any gaps or choices there carry forward directly. This is narrow work aimed at specialists already tracking the author's papers on arc diagrams and knotting probabilities. A reader outside that small circle would not get much from it without the companion paper and the missing proof details. I would not send it for peer review until the uniqueness argument is written out and the projection independence is shown explicitly.

Referee Report

2 major / 0 minor

Summary. The manuscript asserts that the projection image of an oriented spatial arc onto any oriented plane is approximated by a unique arc diagram (up to isomorphism) determined from the spatial arc and the projection. By transferring the knotting probability defined as an invariant for arc diagrams in a separate paper, the manuscript claims to define the knotting probability for every oriented spatial arc.

Significance. If the uniqueness result is established and the assigned probability is independent of the projection plane, the work would provide a well-defined knotting probability for spatial arcs via diagram approximation. This could offer a new invariant for arcs in 3-space if the technical justification for uniqueness and invariance under projection choice is supplied.

major comments (2)

[Abstract] Abstract: The manuscript states that 'it is shown' that a unique approximating arc diagram exists, but provides no construction, lemmas, steps, or verification of the approximation or uniqueness claim. This is load-bearing for the central assertion.
[Abstract] Abstract: The diagram is explicitly 'determined from the spatial arc and the projection,' yet the knotting probability is assigned directly to the spatial arc. No argument is given that diagrams arising from distinct projection planes are isomorphic or yield identical probabilities (as required by the invariance in the separated paper). This is necessary for the probability to be a well-defined function of the arc alone.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their report and for identifying the key gaps in the current presentation of the manuscript. We respond to each major comment below and indicate the revisions we will make.

read point-by-point responses

Referee: [Abstract] Abstract: The manuscript states that 'it is shown' that a unique approximating arc diagram exists, but provides no construction, lemmas, steps, or verification of the approximation or uniqueness claim. This is load-bearing for the central assertion.

Authors: The referee is correct that the current manuscript is a concise statement of the result and does not contain an explicit construction, sequence of lemmas, or verification steps for the uniqueness claim. We will revise the manuscript by adding a dedicated section that supplies the construction of the approximating arc diagram from the spatial arc and projection, the lemmas establishing uniqueness up to isomorphism, and the verification that the diagram is determined as claimed. revision: yes
Referee: [Abstract] Abstract: The diagram is explicitly 'determined from the spatial arc and the projection,' yet the knotting probability is assigned directly to the spatial arc. No argument is given that diagrams arising from distinct projection planes are isomorphic or yield identical probabilities (as required by the invariance in the separated paper). This is necessary for the probability to be a well-defined function of the arc alone.

Authors: We agree that the manuscript does not supply an argument showing that the knotting probability is independent of the choice of projection plane. This invariance is required for the probability to be a well-defined function of the arc. In the revised version we will add a proof that any two diagrams obtained from different oriented planes yield isomorphic arc diagrams (or at least the same knotting probability via the invariant defined in the separated paper), thereby establishing that the probability depends only on the spatial arc. revision: yes

Circularity Check

1 steps flagged

Knotting probability for spatial arcs reduces to definition in separated paper by same author

specific steps

self citation load bearing [Abstract]
"In a separated paper, the knotting probability of an arc diagram is defined as an invariant under isomorphic arc diagrams. By combining them, the knotting probability of every oriented spatial arc is defined."

The knotting probability assigned to the spatial arc is obtained by direct transfer of the definition from the separated paper. The central result (that a probability exists for the spatial arc) is therefore justified only by this self-citation; the numerical or functional content of the probability is taken unchanged from the prior work rather than derived anew.

full rationale

The paper's central claim is the definition of knotting probability for every oriented spatial arc. This is achieved solely by combining the uniqueness result shown here with the probability definition imported from a separated paper. The abstract explicitly states that the probability for diagrams is defined in the separated paper as an invariant, and then transferred. Given that the separated paper is by the same author, the load-bearing definition of the probability itself reduces to the prior self-citation by construction, with no independent derivation or verification supplied in this manuscript.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities are stated. The construction implicitly relies on whatever axioms and definitions appear in the separated paper.

pith-pipeline@v0.9.0 · 5574 in / 1056 out tokens · 20053 ms · 2026-05-24T16:58:47.599370+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1 … the projection image λ^δ_u(L) is an arc diagram determined uniquely from the spatial arc L and the projection λ_u up to isomorphic arc diagrams.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

p(L;u) = p(D(L;u)) … knotting probability … invariant under isomorphic arc diagrams

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.