---
title: Uncrossed Number in Graph Drawing & Knot Theory
url: https://www.emergentmind.com/topics/uncrossed-number
type: topic
---

# Uncrossed Number in Graph Drawing & Knot Theory

Searching arXiv for the cited papers and related "uncrossed number" usages.
Searching arXiv: "uncrossed number graphs"
In recent arXiv literature, **“uncrossed number” is not a single standardized invariant**. The term is used in several technically distinct settings: as a graph-drawing parameter measuring how many drawings are needed so that every edge is uncrossed at least once; as an interpretation of unlinking or unknotting number in knot and link theory; as a colored unlinking variant that forbids changing inter-component crossings; and, in another knot-theoretic usage, as the ascending number obtained by a traversal-based crossing-change algorithm. Other papers use “uncrossed” in still narrower senses, such as uncrossed gaps in soft random geometric graphs or uncrossed entries in the Sumplete puzzle [2306.09550], [1701.01386], [1907.00251], [2409.15490].

## 1. Terminological scope and principal meanings

The most systematic modern use of the term occurs in **graph drawing**. There, an uncrossed collection of drawings of a graph \(G\) is a family of drawings such that, for each edge \(e\in E(G)\), there is some drawing in which \(e\) is uncrossed. The **uncrossed number** \(\mathrm{unc}(G)\) is the minimum number of drawings in such a collection [2306.09550], [2407.21206].

In **knot and link theory**, the natural interpretation given for “uncrossed number” is the minimum number of crossing changes needed to eliminate all nontrivial knotting or linking. For a link \(L\) with \(k\) components, this is the unlinking number
\[
u(L)=\min\{\text{number of crossing changes needed to convert }L\text{ to the trivial }k\text{-component link}\},
\]
and for a knot \(K\) it is the unknotting number
\[
u(K)=\min\{\text{number of crossing changes needed to convert }K\text{ to the unknot}\}.
\]
This identification is used explicitly in work on 10-crossing links and on spatial graphs [1701.01386], [1710.05237].

A restricted two-component version appears in **colored unlinking**, where only self-crossings of the components may be changed and crossings between components are preserved throughout the sequence. In that framework, the “uncrossed number” is the minimal total number of such self-crossing changes needed to unlink [1907.00251].

A different knot-theoretic meaning appears in work on the **ascending number**. There, “uncrossed number” is interpreted as the ascending number \(a(K)\): the minimum, over all diagrams, of the number of crossings changed by the roller-coaster algorithm, which converts a diagram into an ascending diagram of the unknot [2409.15490].

This diversity of meanings suggests that the expression is best treated as **context-dependent terminology**, not as a universal invariant.

## 2. Uncrossed number in graph drawing

For a graph \(G=(V,E)\), a drawing places each vertex at a distinct point and each edge as a simple continuous arc between its endpoints, with the standard topological restrictions that edges pass through no other vertices, any two edges share only finitely many points, no two edges touch at an interior point, and no three edges meet at a common interior point. An edge is **uncrossed** in a drawing if it does not participate in any crossing. A collection \(\mathcal D\) of drawings is uncrossed if every edge is uncrossed in at least one drawing, and the uncrossed number is
\[
\mathrm{unc}(G)=\min\{\,|\mathcal D|:\mathcal D\text{ is an uncrossed collection of drawings of }G\,\}.
\]
This parameter was introduced by Hliněný and Masařík in the GD 2023 line of work and developed further in subsequent papers [2306.09550], [2407.21206].

The graph-drawing uncrossed number sits between classical layering parameters. The established inequalities are
\[
\frac12\,\theta_o(G)\le \theta(G)\le \mathrm{unc}(G)\le \theta_o(G)\le 2\,\theta(G),
\]
where \(\theta(G)\) is thickness and \(\theta_o(G)\) is outerthickness [2407.21206]. The lower bound \(\theta(G)\le \mathrm{unc}(G)\) is immediate because the uncrossed edges in each drawing form planar subgraphs that together cover \(E(G)\). The upper bound \(\mathrm{unc}(G)\le \theta_o(G)\) comes from drawing each outerplanar piece in an outerplanar embedding while placing the remaining edges in the outer face [2407.21206].

A closely related extremal parameter is
\[
h(G)=\max\{\text{number of uncrossed edges in a drawing of }G\}.
\]
It yields the basic inequality
\[
\mathrm{unc}(G)\ge \left\lceil \frac{|E(G)|}{h(G)}\right\rceil.
\]
This observation is central in the later general lower bounds, because bounding \(h(G)\) in a single drawing immediately yields a lower bound on the number of drawings required in an uncrossed collection [2407.21206], [2507.20937].

The literature also introduced the **uncrossed crossing number**, which minimizes the total number of crossings across an uncrossed collection, and the **crossing-optimal uncrossed number**, the least number of drawings that achieve that minimum. These refinements emphasize that the uncrossed framework is not merely a relaxation of the crossing-number problem; it is a multi-view visualization model in which all edges remain present in every drawing, but each edge must be highlighted uncrossed somewhere [2306.09550].

## 3. Exact formulas, lower bounds, and complexity in the graph-drawing setting

The first exact formulas were obtained for complete and complete bipartite graphs. For complete graphs,
\[
\mathrm{unc}(K_n)=
\begin{cases}
\left\lceil \dfrac{n+1}{4}\right\rceil,& \text{if } n\notin\{4,7\},\\[4pt]
3,& \text{if } n=7,\\[4pt]
1,& \text{if } n=4,
\end{cases}
\]
and for complete bipartite graphs with \(m\le n\),
\[
\mathrm{unc}(K_{m,n})=
\begin{cases}
\left\lceil\dfrac{mn}{2m+n-2}\right\rceil,& \text{for } m \leq n \leq 2m-2,\\[6pt]
\left\lceil\dfrac{mn}{2m+n-1}\right\rceil,& \text{for } n=2m-1,\\[6pt]
\left\lceil\dfrac{mn}{2m+n}\right\rceil,& \text{for } 6 \leq 2m \leq n,\\[6pt]
1,& \text{for } m \leq 2.
\end{cases}
\]
These results partly confirm and partly refute the GD 2023 conjecture relating uncrossed number to outerthickness. For complete graphs the conjecture is confirmed, with the only deviation at \(K_4\), which is planar but not outerplanar. For complete bipartite graphs it is refuted in general: for example, \(\mathrm{unc}(K_{4,7})=2\) while \(\theta_o(K_{4,7})=3\) [2407.21206].

For general connected graphs with \(n\ge 3\) vertices and \(m\) edges, an initial lower bound was
\[
\mathrm{unc}(G)\ge \left\lceil \frac{m}{f(n,m)}\right\rceil,
\qquad
f(n,m)=\frac{3n-5+\sqrt{(3n-5)^2-4m}}{2}.
\]
This bound arises from structural properties of uncrossed subdrawings: they are planar, may be assumed connected, and their facial structure constrains how many additional edges can lie inside their faces [2407.21206].

A sharper general bound was later proved:
\[
\mathrm{unc}(G)\ge \left\lceil\frac{m}{3n-6-\sqrt{2m}+\sqrt{6(n-2)}}\right\rceil.
\]
Equivalently, the maximum uncrossed subgraph number satisfies
\[
h(G)\le 3n-6-\sqrt{2m}+\sqrt{6(n-2)}.
\]
In the dense regime \(m=\varepsilon n^2\), this yields
\[
\mathrm{unc}(G)\ge
\left\lceil\frac{m}{(3-\sqrt{2\varepsilon})n+o(n)}\right\rceil.
\]
For complete graphs, where \(\varepsilon\approx \tfrac12\), the lower bound is asymptotically tight. The same paper gives constructions showing that the \(h(G)\)-bound is asymptotically tight up to low-order terms for all \(\varepsilon>0\) in the dense range [2507.20937].

The computational complexity picture is also developed. The **edge crossing number** decision problem—whether a graph admits a drawing with at most \(k\) crossed edges—is NP-complete [2407.21206]. The **uncrossed crossing number** decision problems are NP-complete as well, even when the graph contains an edge \(f\) such that \(G-f\) is planar [2306.09550]. By contrast, the uncrossed crossing number is fixed-parameter tractable with parameter equal to the solution size [2306.09550]. For the uncrossed number itself, a conditional hardness transfer from Outerthickness is given, while the complexity of Outerthickness remains open [2407.21206].

## 4. Uncrossed number as unlinking or unknotting number

In knot theory and low-dimensional topology, “uncrossed number” is naturally interpreted as the minimum number of crossing changes needed to simplify a knot or link to the trivial object. For links, this is the **unlinking number**; for knots, the **unknotting number** [1701.01386].

A detailed census appears in the study of prime, non-split 10-crossing links. The universe consists of **287 prime, non-split links with crossing number 10 and at least 2 components**. The unlinking number was determined for **all but 2** of these links. The unresolved cases are:
- \(L10n32\), for which \(u(L)\in[1,2]\), conjectured \(u(L10n32)=2\);
- \(L10n34\), for which \(u(L)\in[2,3]\), conjectured \(u(L10n34)=3\) [1701.01386].

The paper gives a complete table in Thistlethwaite notation, covering \(L10a1\)–\(L10a174\) and \(L10n1\)–\(L10n113\), with unlinking numbers ranging from **1 up to 5**. This makes clear that crossing number and unlinking number are distinct invariants: in the 10-crossing census all links have \(c(L)=10\), but \(u(L)\) varies substantially [1701.01386].

The methods are invariant-based. The key tools include the linking-number bound
\[
u(L)\ge u(L_1)+u(L_2)+|lk(L_1,L_2)|,
\]
the signature bound
\[
\sigma(L)=\operatorname{sign}(G)-\mu,\qquad u(L)\ge \frac{|\sigma(L)|}{2},
\]
the nullity bound
\[
u(L)\ge k-1-\eta(L),
\]
and the determinant constraint
\[
\text{if }u(L)\le k-1,\text{ then }\det(L)=2^{k-1}c^2.
\]
The paper also uses the cyclic Goeritz presentation obstruction, a signed refinement involving the numbers \(p\) and \(n\) of positive and negative crossing changes,
\[
p\ge \frac{-\sigma(L)-\eta(L)+k-1}{2},
\]
a lattice embedding obstruction derived from Nagel–Owens and Donaldson theory, and Kohn’s covering link method [1701.01386].

Several worked examples illustrate the interaction of lower bounds and explicit crossing-change sequences. For \(L10n96\), decomposing the link into two Hopf-link sublinks with mutual linking number \(3\) gives
\[
u(L10n96)\ge 1+1+3=5,
\]
and an explicit 5-change sequence shows sharpness. For \(L10a99\), \(\sigma=-5\) yields \(u\ge 3\), again sharp. For \(L10n33\), the determinant \(\det=48\) rules out \(u\le 1\), so \(u=2\). For \(L10a138\), determinant and lattice-embedding obstructions force \(u\ge 4\), and a 4-change sequence realizes equality [1701.01386].

This knot-theoretic usage is therefore a classical **crossing-change minimization invariant**, rather than a graph-drawing parameter.

## 5. Refined knot-theoretic variants: colored unlinking, ascending number, and spatial graphs

A more restrictive framework is **colored unlinking** for two-component links \(L=L_1\cup L_2\) with both components unknotted and linking number zero. Here one allows only crossing changes at self-crossings of the components and never at crossings between components. The component-restricted invariants are
\[
u_1(L),\qquad u_2(L),
\]
and the colored analogue of the classical unlinking number is
\[
u^{\mathrm{unc}}(L)=\min\{a+b\mid (a,b)\text{ lies in the unlinking region}\}.
\]
The basic inequalities are
\[
u(L)\le u^{\mathrm{unc}}(L)\le u_1(L)+u_2(L).
\]
This framework exhibits strong asymmetry: there exist links with small \(u_1(L)\) but very large \(u_2(L)\). The paper proves arbitrary asymmetry using a generalized \(L8a1\) family, where \(u_1(L)\le 2\) while \(u_2(L)\ge 2n+1\) for the \(n\)th member, via branched-cover linking-number calculations [1907.00251].

The same paper analyzes all two-component links with at most 10 crossings whose minimal diagrams have linking number zero and both components unknotted. There are **22 such links**. Representative values include \(L5a1\) with \(u_1=u_2=1\), \(L8a1\) with strong asymmetry, and \(L10n57\), where \(u_1(L)=1\) but \(u_2(L)\ge 4\) [1907.00251].

Another interpretation identifies “uncrossed number” with the **ascending number** \(a(K)\). Given an oriented knot diagram with a basepoint, the roller-coaster algorithm changes exactly those crossings first encountered from below during a traversal. The ascending number of the diagram is the number of such changes, and
\[
a(K)=\min_D a(D).
\]
Since the procedure always yields the unknot, one has
\[
a(K)\ge u(K).
\]
A principal theorem states that if \(K\) is the closure of a positive braid on \(n\) strands, then
\[
a(K)=u(K).
\]
Using Rudolph’s formula for positive braid closures,
\[
u(K)=g(K)=\frac{C-n+1}{2},
\]
together with a combinatorial lemma \(|A|-|B|=n-1\), the paper proves that the roller-coaster algorithm changes exactly \(u(K)\) crossings on the standard positive braid diagram [2409.15490].

The spatial-graph generalization treats the “uncrossed number” of an embedding \(g\) of a planar graph \(G\) as the minimum number of crossing changes needed to obtain a planar embedding. For such spatial graphs,
\[
u(g)\ge mcu(g)=\max\{u(s)\mid s\text{ is a non-overlapping set of constituents}\},
\]
and the unknotting number is subadditive under order-\(n\) vertex-connected sum:
\[
u(g_1\#_n g_2)\le u(g_1)+u(g_2).
\]
For prime \(\theta\)-curves up to seven crossings, the unknotting numbers are determined exactly, with explicit unknotting crossing changes shown for all curves [1710.05237].

These variants show that, even within knot theory, “uncrossed number” may denote several different crossing-change minimization problems, distinguished by which crossings may be altered and by what counts as the trivial target object.

## 6. Other specialized uses and sources of ambiguity

Several additional arXiv papers use “uncrossed” in narrower, local, or application-specific senses. In the **Sumplete** puzzle, uncrossed numbers are simply the entries left uncrossed by the solver; the decision variables \(x_{ij}\in\{0,1\}\) indicate whether a cell is uncrossed, and the row and column constraints require the sums of uncrossed entries to match the targets. The resulting decision problem is NP-complete even for \((1,3)\)-Sumplete, where all entries lie in \(\{1,3\}\) [2309.07161].

In **one-dimensional soft random geometric graphs**, an **uncrossed gap** is a gap between consecutive points such that no edge joins any point on its left to any point on its right. If \(N_{\mathrm{uncrossed}}\) denotes the number of uncrossed interior gaps, then in the scaling \(R_L=\gamma\ln L\) the paper proves
\[
E[N_{\mathrm{uncrossed}}]=o(1),\qquad P(N_{\mathrm{uncrossed}}>0)=o(1),
\]
showing that uncrossed gaps are negligible at the isolated-node threshold for soft RGGs [2007.06301].

In work on the **crossing number of \(K_n\) with an uncrossed Hamiltonian cycle**, “uncrossed” refers not to a minimization parameter but to a drawing constraint: the Hamiltonian cycle along the boundary circle must cross no edges. The paper proves that any such drawing has at least
\[
cr(K_n;\text{ uncrossed Hamiltonian cycle})\ge c\,n^4+O(n^3),
\]
with \(c=0.0145\ldots\), and gives an explicit 2-page construction with exactly the Harary–Hill number
\[
Z(n)=\frac14\left\lfloor\frac n2\right\rfloor
\left\lfloor\frac{n-1}{2}\right\rfloor
\left\lfloor\frac{n-2}{2}\right\rfloor
\left\lfloor\frac{n-3}{2}\right\rfloor
\]
crossings [1309.2958].

In rectilinear drawings of \(K_n\), the **crossing profile** \(a(D)=(a_0,a_1,a_2,\dots)\) records how many edges have exactly \(k\) crossings. Here \(a_0\) is the number of uncrossed edges. For \(n\ge 8\), the extremal rectilinear values satisfy
\[
5\le a_0\le 2n-2,
\]
and the paper characterizes the asymptotic behavior of cumulative quantities \(S_k(D)=\sum_{i=0}^k a_i\) [2501.04980].

The overall implication is that “uncrossed number” is best understood as a **family resemblance term**. In graph drawing it denotes a formal invariant \(\mathrm{unc}(G)\); in knot theory it usually denotes some variant of unlinking, unknotting, or ascending number; and in other areas it may refer only to uncrossed elements, edges, or gaps in a particular model. Any technical use therefore requires the ambient domain and the exact definition to be specified explicitly.

Source: https://www.emergentmind.com/topics/uncrossed-number