---
title: '2-Adjacent Knots: Graph Structure & Obstructions'
url: https://www.emergentmind.com/topics/2-adjacent-knots
type: topic
---

# 2-Adjacent Knots: Graph Structure & Obstructions

2-adjacent knots arise in two closely related senses. In the general \(n\)-adjacency framework, a knot \(K\) is \(2\)-adjacent to a knot \(K'\), written \(K \xrightarrow{2} K'\), if there are two crossing circles for \(K\) such that generalized crossing changes along either one individually, or along both together, carry \(K\) to a knot isotopic to \(K'\). In the unknotting-specialized usage, a knot is called \(2\)-adjacent if it has two distinguished crossings such that changing any nonempty subset of them yields the unknot. Recent work develops both a global graph-theoretic formalism for these relations and a concrete cataloging and obstruction theory for \(2\)-adjacency to the unknot [2603.08597], [2510.00291].

## 1. Definitions and notation

The general notion begins with \(n\)-adjacency. A knot \(K\) is said to be \(n\)-adjacent to a knot \(K'\), written
\[
K \xrightarrow{n} K',
\]
if there exist \(n\) disjoint crossing circles
\[
\mathcal C=\{C_1,C_2,\dots,C_n\}
\]
so that for every nonempty subset \(S\subseteq \mathcal C\), a single Dehn surgery, described as a generalized crossing change, along each circle in \(S\) carries \(K\) to a knot isotopic to \(K'\). For \(n=2\), this becomes the condition that there are two crossing circles \(C_1,C_2\) for \(K\) of surgery orders \(d_1,d_2\in\mathbb Z\setminus\{0\}\) such that
\[
K_{[C_1^{d_1}]}\cong K',\qquad
K_{[C_2^{d_2}]}\cong K',\qquad
K_{[C_1^{d_1},C_2^{d_2}]}\cong K'.
\]
Here \(K_{[C_1^{d_1}]}\) denotes the result of performing a Dehn surgery of slope \(1/d_1\) on the torus bounding a small tubular neighborhood of \(C_1\), and similarly for the other surgeries [2603.08597].

In the unknotting formulation, a knot \(K\subset S^3\) is \(2\)-adjacent if it admits a diagram with two distinguished crossings \(c_1,c_2\) so that
\[
\{\text{change }c_1\},\qquad
\{\text{change }c_2\},\qquad
\text{and}\qquad
\{\text{change }c_1,c_2\}
\]
all yield the unknot. Equivalently, the \(2\)-adjacency set \(\{c_1,c_2\}\) has the property that changing any nonempty subset of it unknots \(K\) [2510.00291].

These formulations encode a strong simultaneous unknotting or retargeting condition. The defining feature is not merely that two local modifications exist, but that every nonempty subcollection of the prescribed two modifications has the same target.

## 2. The adjacency graph \(\Gamma_2\)

To organize all \(2\)-adjacency relations, Campisi–Doleshal–Staron define a directed graph \(\Gamma_2\). Its vertex set is the set of all isotopy classes of knots in \(S^3\), and there is a directed edge
\[
K\to K'
\]
if and only if \(K\xrightarrow{2}K'\). In this language, \(K'\) is a \(2\)-adjacent neighbor of \(K\). If \(K'=K\) and \(K\) admits a non-trivial \(2\)-adjacency to itself, a bi-directed loop is placed at \(K\). Equivalently,
\[
V(\Gamma_2)=\{\text{Knots in }S^3\},\qquad
E(\Gamma_2)=\{(K,K')\mid K\xrightarrow{2}K'\}.
\]
An induced subgraph \(\Gamma_2^{c}\) is obtained by restricting to those edges realized by an adjacency in which at least one crossing circle is cosmetic, meaning non-nugatory in \(K\) [2603.08597].

This graph packages \(2\)-adjacency as a global directed relation rather than a collection of isolated constructions. The direction records the knot from which the specified generalized crossing changes begin, and the graph structure makes it possible to ask about valence, paths, loops, and limiting behavior across all knots.

## 3. Structural results and bounds

Several basic structural results determine the large-scale behavior of \(\Gamma_2\) and its higher-\(n\) analogues. For \(n\ge 2\), the unknot \(U\) is isolated in \(\Gamma_n^{c}\); in particular, \(U\) has no incoming edge in \(\Gamma_2^{c}\). If the Generalized Cosmetic Crossing Conjecture holds for all knots, then \(\Gamma_n^{c}\) is totally disconnected and contains no loops [2603.08597].

The family \(\Gamma_n\) is nested. For every \(n\ge 1\),
\[
\Gamma_{n+1}\subseteq \Gamma_n.
\]
Moreover, for every \(n\ge 2\),
\[
\Gamma_n\subseteq \Gamma_2.
\]
Thus any \(n\)-adjacency is already seen in \(\Gamma_2\). This is the sense in which \(\Gamma_2\) carries the full complexity of higher adjacencies [2603.08597].

Genus bounds impose strong restrictions. If \(K\) is nontrivial of genus \(g=g(K)\), then \(K\) cannot be \(n\)-adjacent to the unknot for \(n\ge 3g-1\). If \(K\xrightarrow{n}K'\) and \(g(K)>g(K')\), then
\[
n\le 6g(K)-3.
\]
A consequence is that if \(K\xrightarrow{n}K'\) for all \(n\in\mathbb N\), then \(K\) and \(K'\) are isotopic. Equivalently, \(K\) has no infinitely many distinct neighbors in the inverse-limit graph
\[
\Gamma_{\infty}=\bigcap_n \Gamma_n.
\]
In fact, every vertex of \(\Gamma_{\infty}\) is isolated [2603.08597].

The unknot occupies a special position. For every \(n\ge 2\), the unknot has at least one nontrivial neighbor in \(\Gamma_n\), hence in \(\Gamma_2\), and in \(\Gamma_2\) it has infinitely many distinct nontrivial neighbors. For \(n\ge 3\), every nontrivial neighbor of the unknot in \(\Gamma_n\), hence also in \(\Gamma_2\), is neither fibered nor alternating. More generally, if \(K'\) is fibered and \(K\xrightarrow{n}K'\) for some \(n\ge 2\), then either \(K\cong K'\) or \(g(K)>g(K')\). In particular, the unknot cannot be a \(2\)-adjacency neighbor of any nontrivial fibered knot [2603.08597].

## 4. Explicit \(2\)-bridge constructions

A large explicit family shows that \(2\)-adjacency is abundant even within the class of \(2\)-bridge knots. Let \(\beta\in B_3\) be any \(3\)-braid whose word in generators \(\sigma_1,\sigma_2\) has odd length and ends in \(\sigma_1\). Denote by \(K_\beta\) the \(2\)-bridge knot obtained by the \(2\)-bridge closure of \(\beta\). For any pair of nonzero integers \(m,n\), define \(K_\beta(m,n)\) to be the \(2\)-bridge closure of the braid
\[
\beta\,\sigma_2^m\,\beta^{-1}\,\sigma_2^n\,\beta.
\]
Two crossing circles \(C_1\) and \(C_2\) are placed so that each encloses precisely the block of \(m\) or \(n\) crossings on a trivial disk disjoint from the rest of the diagram [2603.08597].

The key verification is direct. Surgery of order \(m\) on \(C_1\) deletes \(\sigma_2^m\), yielding precisely the original \(2\)-bridge closure of \(\beta\). Surgery of order \(n\) on \(C_2\) deletes \(\sigma_2^n\), again yielding \(K_\beta\). Doing both surgeries yields the same result \(K_\beta\). Consequently, for every \(2\)-bridge knot \(K_\beta\), and for every nonzero pair \((m,n)\),
\[
K_\beta(m,n)\xrightarrow{2}K_\beta.
\]
In particular, each \(2\)-bridge knot has infinitely many distinct \(2\)-adjacent \(2\)-bridge neighbors [2603.08597].

This construction also produces arbitrarily long directed paths in \(\Gamma_2\). Starting with \(\beta\), one forms
\[
\beta_1=\beta\,\sigma_2^{m_0}\beta^{-1}\sigma_2^{n_0}\beta,
\]
then \(\beta_2\) from \(\beta_1\) in the same fashion, and so on. The result is a concrete infinite supply of directed configurations inside \(\Gamma_2\), not merely isolated edges.

## 5. Obstructions from branched covers and Alexander theory

A new obstruction theory for \(2\)-adjacency to the unknot is developed using Ozsváth–Szabó correction terms, the Montesinos trick, and Alexander-polynomial restrictions. If \(K\subset S^3\) has unknotting number \(1\) via changing a crossing \(c\), one considers a crossing arc \(\gamma\subset S^3\) whose band-twist effects that single crossing change. After changing \(c\), one obtains an unknot \(\mathcal U\) together with an embedded arc \(\zeta\). In the branched double-cover \(\Sigma(\mathcal U)\cong S^3\), that arc lifts to a knot \(J\). The signed Montesinos trick gives
\[
\Sigma(K)\cong S^3_{-\epsilon\,\frac{\det(K)}2}(J),
\qquad
\epsilon=(-1)^{\sigma(K)/2},
\]
when \(K\) is unknotted by changing a negative crossing to positive; the other case is analogous [2510.00291].

If \(K\) is \(2\)-adjacent along crossings \(c_1,c_2\), there are two disjoint crossing arcs \(\gamma_1,\gamma_2\). Changing \(c_1\) or \(c_2\) individually still unknots \(K\), so each lift \(J_i\subset S^3\) gives a half-integral surgery to \(\Sigma(K)\). In this setting, \(2\)-adjacency forces each surgery slope to be \(\pm 1/2\), and the two lifts together form a two-component link \(L_1\cup L_2\subset S^3\) with linking number \(\omega\). The linking-matrix calculation gives
\[
\det(K)=\det\!\begin{pmatrix}\pm1&2\omega\\ 2\omega&\mp1\end{pmatrix}=4\omega^2\pm1.
\]
The sign choice records whether the two crossing changes in the \(2\)-adjacency set have the same sign or opposite signs [2510.00291].

The main obstruction states that if \(K\) is \(2\)-adjacent, then
\[
\det(K)=4\,\omega^2\pm1
\]
for some \(\omega\in\mathbb Z\). Moreover, if \(\gamma\) is one crossing arc in the \(2\)-adjacency set and \(J\subset S^3=\Sigma(\mathcal U)\) its lift, then for every
\[
z=\exp\!\bigl(\tfrac{(2\ell+1)\pi i}{\omega}\bigr),\qquad \ell\in\mathbb Z,
\]
one has
\[
\Delta_J(z)=1.
\]
If either of these conditions fails, \(K\) cannot be \(2\)-adjacent [2510.00291].

The Alexander polynomial enters at several levels. The single-variable Alexander polynomial is written
\[
\Delta_K(t)=\det\bigl(V-tV^T\bigr),
\]
where \(V\) is any Seifert matrix, and
\[
\det(K)=|\Delta_K(-1)|=|H_1(\Sigma(K))|.
\]
For a \(2\)-component link \(L_1\cup L_2\) with \(\operatorname{lk}(L_1,L_2)=\omega\), the Torres formula gives
\[
\Delta_{L_1\cup L_2}(t,1)\doteq \frac{t^\omega-1}{t-1}\,\Delta_{L_1}(t).
\]
In the \(2\)-adjacency setting, each component has trivial Alexander polynomial, so
\[
\Delta_{L_1\cup L_2}(t,1)\doteq \frac{t^\omega-1}{t-1}.
\]
Combined with the Baker–Motegi twisting identity, this yields the exact root-of-unity obstruction \(\Delta_J(z)=1\) for \(z=e^{(2\ell+1)\pi i/\omega}\) [2510.00291].

## 6. Classification through \(12\) crossings

The complete classification through \(12\) crossings is explicit. Exactly the following twenty prime knots are \(2\)-adjacent and have crossing number at most \(12\):
\[
3_1,\;4_1,\;8_{17},\;8_{21},\;9_{44},\;10_{88},\;10_{136},\;10_{156},
\]
\[
11a_{289},\;11n_{84},\;11n_{125},\;12a_{1008},\;12a_{1249},\;12n_{275},\;12n_{392},\;12n_{464},\;12n_{482},\;12n_{483},\;12n_{650},\;12n_{831}.
\]
No other prime knots with \(\le 12\) crossings are \(2\)-adjacent [2510.00291].

Several patterns are recorded. Among these \(20\), exactly four are alternating knots of crossing number \(\le 8\): \(3_1,4_1,8_{17},8_{21}\). Beyond that, the list contains both alternating and nonalternating examples, fibered and nonfibered, and displays no obvious uniform “Conway-polynomial-vanishing” pattern, unlike the case \(n>2\). The paper also states that one can produce all these examples via a finger-move construction on a \(2\)-string tangle [2510.00291].

This classification confirms conjectures of Ito and Kato. Ito conjectured that the complete list of \(2\)-adjacent prime knots with crossing number \(\le 12\) is exactly the twenty knots above, and Kato conjectured that no additional prime knots with \(\le 12\) crossings could admit the \(2\)-adjacency property. The verification combines basic obstructions, including unknotting number \(1\), signature constraints, and rational-knot monotonicity of Askitas–Kalfagianni, with polynomial-based obstructions of Tao, McCoy’s result for alternating knots, and the new determinant and Alexander-root obstruction [2510.00291].

## 7. Open questions and large-scale picture

The case \(n=2\) is distinguished by the universality statement \(\Gamma_n\subseteq \Gamma_2\) for every \(n\ge 2\). Because of this, \(\Gamma_2\) contains all higher-order adjacency information while still exhibiting substantial internal structure. Many vertices of \(\Gamma_2\), including the unknot and every \(2\)-bridge knot, have infinite out-valence, and the explicit \(2\)-bridge construction produces arbitrarily long directed paths. At the same time,
\[
\Gamma_\infty=\bigcap_n \Gamma_n
\]
is totally discrete, so no two distinct knots can be adjacent for arbitrarily large \(n\) [2603.08597].

The paper isolates two specific questions. One asks which other knots have infinite valence in \(\Gamma_2\). The other asks how the number of neighbors of a given knot \(K\) in \(\Gamma_n\) changes as \(n\) increases. By nestedness, this number is nonincreasing in \(n\), and the Howards–Luecke genus bound gives the first step-function bound for \(K\to U\) [2603.08597].

Taken together, these results show that \(2\)-adjacency is simultaneously a local crossing-change condition, a global directed-graph relation, and an obstruction-sensitive structure controlled by genus, fiberedness, determinants, and Alexander-polynomial behavior. The current theory supplies infinite families, exact small-crossing classifications, and strong nonexistence criteria, while leaving open the finer enumeration of neighbors in \(\Gamma_2\) and the eventual classification of its large-scale topology.

Source: https://www.emergentmind.com/topics/2-adjacent-knots