---
title: 'Bonded Braids: Theory and Applications'
url: https://www.emergentmind.com/topics/bonded-braids
type: topic
---

# Bonded Braids: Theory and Applications

Bonded braids are classical braids enriched by embedded bond arcs joining points on strands. In the formulation developed for bonded knots and links, a bonded braid is the algebraic counterpart of a bonded link in the same sense that an ordinary braid is the algebraic counterpart of an ordinary link: the braid records both classical crossings and additional bonded connections. The subject is motivated by structures in proteins, RNA, and other molecular systems, where one wants to model backbone entanglement together with internal attachments such as disulfide bridges or other noncovalent connections. Recent work develops geometric definitions, monoid and group structures, closure operations, bonded analogues of the Alexander and Markov theorems, linear representations, and extensions to enhanced bonds and open-ended braidoid formalisms [2507.15086, 2507.04565].

## 1. Geometric definition and ambient categories

A bonded knot is described as a pair \((L,\mathbf b)\), where \(K\) is an oriented knot embedded in \(S^3\) (or \(\mathbb R^3\)), \(\mathbf b=\{b_1,\dots,b_n\}\) is a collection of pairwise disjoint embedded intervals, and each bond has endpoints on the knot, so that
\[
K\cap b_i=K\partial b_i.
\]
The endpoints of bonds create trivalent vertices, so bonded knots may also be viewed as edge-colored spatial graphs. Within this framework, a bonded braid is introduced as the braid-theoretic version of the same structure [2507.04565, 2507.15086].

A bonded braid on \(n\) strands is defined as a pair
\[
(\beta,B),
\]
where \(\beta\) is a classical braid on \(n\) strands and \(B\) is a set of disjoint embedded horizontal simple arcs called bonds. Each bond has endpoints called nodes. A bond connecting the \(i^{\text{th}}\) and \(j^{\text{th}}\) strands is denoted
\[
b_{i,j}, \qquad i<j,
\]
and when the bond connects consecutive strands \(i\) and \(i+1\), it is an elementary bond,
\[
b_i:=b_{i,i+1}.
\]
The braid strands run monotonically downward, but the bonds may thread through strands with specified over/under data. A bond \(b_{i,j}\) can therefore be encoded by a sequence of \(o\)'s and \(u\)'s describing whether it passes over or under the strands in between [2507.15086].

The literature distinguishes several ambient categories. Bonded knots are considered in three categories—long, standard, and tight—according to the type of bonds, and in two categories—topological vertex and rigid vertex—according to the allowed isotopy moves. The braid theory is developed first for standard and tight bonded braids, and a parallel rigid theory introduces local rigidity at the vertices [2507.15086, 2507.04565].

A recurrent technical simplification is the use of isolated bonds. In that convention, each bond can be contracted into a tiny disk without crossings, and any bonded knot diagram can be transformed, by Reidemeister-type moves, into one with isolated bonds. This allows the subsequent braiding constructions to be stated cleanly [2507.04565].

## 2. Isotopy, local moves, and rigid versus topological settings

Bonded braid isotopy extends classical braid isotopy by adding bond-specific moves. The move system is organized into planar isotopy moves for bonds and braid strands, commuting rules for far-apart bonds, interaction rules between bonds and strands, interaction rules between bonds and crossings, and forbidden moves. The geometric point is that bonds are embedded arcs, so they cannot be manipulated as if they were purely symbolic decorations [2507.15086].

Several commuting phenomena are explicitly allowed. If two bonds are sufficiently separated, they commute. If one bond is a uniform over/under bond, it can commute past an inner bond. If the crossing sequence of one bond matches a subsequence of another, they commute as well. The move set also includes braided vertex slide moves for the interaction of a bond with a braid strand, and moves such as the bonded flype and bonded \(R3\) move for interaction with crossings. At the same time, some configurations are forbidden; this marks a sharp distinction from tied-link formalisms in which ties are allowed to move more freely [2507.15086].

The distinction between topological and rigid vertices is fundamental. In the topological setting, bonds may twist locally at the vertices, and the relevant diagrammatic move set includes the bonded Reidemeister moves \(\mathrm{I_B},\mathrm{II_B},\mathrm{III_B},\mathrm{V_B},\mathrm{VI_B},\mathrm{VI'_B}\). In the rigid setting, vertex twisting is disallowed; the move \(\mathrm V\) is replaced by rigid versions \(\mathrm{V_R}\) or \(\mathrm{V_R'}\), and the isotopy relation is generated by Reidemeister moves I–IV together with \(\mathrm{V_R}\). Precisely, two rigid-vertex bonded knots are rigid-vertex isotopic if their diagrams are related by a finite sequence of Reidemeister moves I–IV and \(\mathrm{V_R}\) [2507.04565].

This separation of move sets has direct algebraic consequences. The topological theory requires bond generators, whereas the rigid theory requires additional generators encoding local rigidity defects. A plausible implication is that the rigid and topological braid theories should be viewed not as minor variants but as distinct algebraic envelopes of different isotopy relations.

## 3. Monoids, groups, generators, and notation

The algebraic structures used for bonded braids are not uniform across the recent literature, and the notation is potentially confusing. One paper denotes the bonded braid monoid by \(BB_n\), while another denotes the topological bonded braid monoid by \(M_n\) and reserves \(BB_n\) for the corresponding group obtained after adjoining bond inverses. Because the same symbol \(BB_n\) is also used for blocked-braid groups in an unrelated quotient construction, keeping the source-dependent notation explicit is essential [2507.15086, 2507.04565, 1307.5383].

| Source | Notation | Role |
|---|---|---|
| [2507.15086] | \(BB_n\) | bonded braid monoid |
| [2507.04565] | \(M_n\), \(RM_n\) | topological and rigid bonded braid monoids |
| [2507.04565] | \(BB_n\), \(RB_n\) | topological and rigid bonded braid groups |
| [1307.5383] | \(BB_n\) | blocked-braid groups |

In the topological case of [2507.04565], the bonded braid monoid \(M_n\) on \(n\) strands is generated by the classical braid generators and inverses
\[
\sigma_1^{\pm1},\sigma_2^{\pm1},\dots,\sigma_{n-1}^{\pm1},
\]
together with bond generators
\[
b_1,b_2,\dots,b_{n-1}.
\]
The defining relations are the braid relations
\[
\sigma_i \sigma_i^{-1} = Id_n,
\qquad
\sigma_i \sigma_j = \sigma_j \sigma_i \ \ (|i-j| \geq 2),
\qquad
\sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1},
\]
the bond relation
\[
b_i b_j = b_j b_i \qquad (|i-j| \geq 2),
\]
and the mixed relations
\[
\sigma_i b_j = b_j \sigma_i \qquad (|i-j| \geq 2),
\]
\[
\sigma_i b_i = b_i \sigma_i,
\]
\[
\sigma_{i+1} \sigma_i b_{i+1} = b_i \sigma_{i+1} \sigma_i,
\qquad
\sigma_i \sigma_{i+1} b_i = b_{i+1} \sigma_i \sigma_{i+1}.
\]
Restricting to \(\sigma_i^{\pm1}\) and the braid relations recovers the usual Artin braid group \(B_n\), so \(B_n\subset M_n\) [2507.04565].

In the rigid setting, the rigid bonded braid monoid \(RM_n\) adds kink generators \(k_i\). Besides the braid relations, it has bond and kink commuting relations
\[
b_i b_j = b_j b_i,\qquad
k_i k_j = k_j k_i,\qquad
b_i k_j = k_j b_i
\qquad (|i-j|\ge 2),
\]
and mixed relations with both bonds and kinks:
\[
\sigma_i k_j = k_j \sigma_i \qquad (|i-j| \geq 2),
\qquad
\sigma_i k_i = k_i \sigma_i,
\]
\[
\sigma_{i+1} \sigma_i k_{i+1} = k_i \sigma_{i+1} \sigma_i,
\qquad
\sigma_i \sigma_{i+1} k_i = k_{i+1} \sigma_i \sigma_{i+1}.
\]
The inclusions
\[
B_n \subset M_n \subset RM_n
\]
are stated explicitly [2507.04565].

The presentation in [2507.15086] begins with generators
\[
\sigma_1,\dots,\sigma_{n-1}
\quad\text{and}\quad
b_{i,j}\quad (1\le i<j\le n),
\]
and then reduces to a tight bonded braid monoid presentation using only
\[
\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1},\qquad b_1,\dots,b_{n-1},
\]
subject to
\[
\sigma_i\, \sigma_j  =  \sigma_j\, \sigma_i \quad \text{for } |i-j|>1,
\]
\[
\sigma_i\, \sigma_{i+1}\, \sigma_i  =  \sigma_{i+1}\, \sigma_i\, \sigma_{i+1},
\]
\[
b_i\, b_j  =  b_j\, b_i \quad \text{for } |i-j|>1,
\]
\[
b_i\, {\sigma_j}^{\pm 1}  =  {\sigma_j}^{\pm 1} \, b_i \quad \text{for } |i-j|>1,
\]
\[
b_i\, \ {\sigma_i}^{\pm 1}  =  {\sigma_i}^{\pm 1} \, b_i,
\]
\[
b_i\, \sigma_{i+1}\, \sigma_i  =  \sigma_{i+1}\, \sigma_i\, b_{i+1},
\]
\[
\sigma_i \, \sigma_{i+1} \, b_i  =  b_{i+1} \, \sigma_i \, \sigma_{i+1}.
\]
That paper further reduces the presentation to one using only the single bond generator \(b_1\), with a key derived relation
\[
b_1\, (\sigma_2 \sigma_1)(\sigma_1\, \sigma_2)
=
(\sigma_2 \sigma_1)(\sigma_1\, \sigma_2)\, b_1.
\]
It also defines an enhanced bonded braid group \(EB_n\) by adjoining inverses \(b_i^{-1}\), interpreted as a second bond type inverse to \(b_i\), with
\[
b_i b_i^{-1}=1=b_i^{-1}b_i.
\]
By contrast, in [2507.04565] the topological bonded braid group \(BB_n\) is obtained from \(M_n\) by adding inverses of the bond generators, and \(b_i^{-1}\) is interpreted as an anti-bond that annihilates a bond [2507.15086, 2507.04565].

## 4. Closure, Alexander-type theorems, and Markov-type equivalence

The closure of a bonded braid is formed exactly as in classical braid theory by connecting the top endpoints to the bottom endpoints in the standard way. The result is a bonded link rather than a plain link. This closure operation is the bridge between the diagrammatic theory of bonded knots and the algebraic theory of bonded braids [2507.15086, 2507.04565].

A bonded Alexander theorem is one of the central structural results. In the language of [2507.15086],
\[
\text{Every oriented topological standard bonded link can be represented isotopically as the closure of a standard resp. tight bonded braid.}
\]
The proof adapts the classical Alexander/Lambropoulou–Rourke braiding procedure. Up-arcs in a link diagram are replaced by braid strands, bonds are straightened horizontally and arranged so that braiding does not interfere with them, and if a bond lies on an up-arc, topological vertex twists or rigid vertex twists are used to reconfigure the local picture before braiding. After the classical braiding algorithm is applied to the link part, the braid is adjusted to tight form using braided vertex slide moves [2507.15086].

The companion results in [2507.04565] state separately that every topological bonded knot \(K\subset S^3\) can be represented as the closure \(\hat\beta\) of an element \(\beta\) of \(M_n\), and every rigid bonded knot \(K\in S^3\) can be represented as the closure \(\hat\beta\) of an element \(\beta\) of \(RM_n\). The proof is described by the steps: put the bonded knot diagram into PL form, isolate the bonds and make them parallel when needed, choose a braiding point \(x\), ensure each segment is braided around \(x\), apply \(\Delta\)-moves to convert non-braided segments into braided ones, and then read off the braid word. An explicit example is
\[
\beta = b_3 \sigma_1 \sigma_2 \sigma_3^{-1} b_2 \sigma_3 \sigma_1^{-1} \sigma_3 b_1.
\]

On the equivalence side, [2507.15086] formulates an \(L\)-equivalence theorem. Two oriented topological standard bonded links are isotopic if and only if any corresponding bonded braids are related by a finite sequence of \(L\)-moves and bond commuting
\[
\alpha\, b_{i,j} \sim b_{i,j}\,\alpha.
\]
For tight bonded links, one replaces \(L\)-moves by resolved \(L\)-moves and uses elementary bond commuting
\[
\alpha\, b_i \sim b_i\,\alpha.
\]
The same paper then reformulates the result as a Markov theorem: two bonded braids have isotopic closures if and only if they are related by braid isotopy and a finite sequence of Markov conjugation,
\[
\alpha \sim \sigma_i^{\pm 1}\, \alpha\, \sigma_i^{\mp 1},
\]
elementary bond commuting,
\[
\alpha\, b_i \sim b_i\, \alpha,
\]
and Markov stabilization,
\[
\alpha \sim \alpha\, \sigma_n^{\pm 1}.
\]
It explicitly excludes stabilization involving a bond, because such a move would create a vertical bond outside the bonded braid category [2507.15086].

In [2507.04565], the topological Markov theorem is expressed as bonded Markov equivalence: closures \(\hat{\beta_1}\) and \(\hat{\beta_2}\) are equivalent if and only if the braid representatives are related by a finite sequence of conjugation,
\[
\beta \rightarrow \sigma_i^{\pm 1} \beta \sigma_i^{\mp 1},
\]
cyclic permutation of bonds,
\[
\beta b_i \leftrightarrow b_i \beta,
\]
and stabilization,
\[
\beta \leftrightarrow \beta \sigma_n^{\pm 1}.
\]
The rigid analogue additionally allows cyclic permutation of kink generators,
\[
\beta k_i \leftrightarrow k_i \beta.
\]

## 5. Singular-braid correspondence and bonded Burau representations

A striking algebraic observation is that the bonded braid monoid of [2507.15086] is isomorphic to the singular braid monoid:
\[
BB_n \cong SB_n.
\]
The identification is explicit:
\[
b_i \mapsto \tau_i,\qquad \sigma_i \mapsto \sigma_i.
\]
This transfers algebraic information between bonded braids and singular braids. It also explains why several low-dimensional representation-theoretic properties of bonded braid monoids parallel known results for singular braid monoids [2507.15086, 2507.04565].

The paper "Bonded braids and the Markov theorem" extends the classical Burau representation to bonded braid monoids and groups. The classical braid generators are sent to the usual Burau blocks
\[
\sigma_i \mapsto A_i=
\left(
\begin{array}{c:cc:c}
I_{i-1} & 0     & 0 & 0 \\
\hdashline
0       & 1 - t & t & 0 \\
0       & 1     & 0 & 0 \\
\hdashline
0       & 0     & 0 & I_{n-i-1}
\end{array}
\right),
\]
while the bond generators are sent to
\[
b_i \mapsto B_i=
\left(
\begin{array}{c:cc:c}
I_{i-1} & 0         & 0     & 0 \\
\hdashline
0       & 1 - tz    & tz    & 0 \\
0       & z         & 1 - z & 0 \\
\hdashline
0       & 0         & 0     & I_{n-i-1}
\end{array}
\right).
\]
For the rigid theory, the kink generators are sent to
\[
k_i \mapsto C_i=
\left(
\begin{array}{c:cc:c}
I_{i-1} & 0         & 0     & 0 \\
\hdashline
0       & 1 - t\check z    & t\check z    & 0 \\
0       & \check z         & 1 - \check z & 0 \\
\hdashline
0       & 0         & 0     & I_{n-i-1}
\end{array}
\right).
\]
The explicit inverses include
\[
A^{-1}_i =
\left(
\begin{array}{c:cc:c}
I_{i-1} & 0         & 0     & 0 \\
\hdashline
0       & 0    & 1    & 0 \\
0       & t^{-1}         & 1 - t^{-1} & 0 \\
\hdashline
0       & 0         & 0     & I_{n-i-1}
\end{array}
\right)
\]
and
\[
B^{-1}_i =
\frac{1}{1-z-tz}
\left(
\begin{array}{c:cc:c}
I_{i-1} & 0         & 0     & 0 \\
\hdashline
0       & 1-z    & -tz    & 0 \\
0       & -z         & 1-tz & 0 \\
\hdashline
0       & 0         & 0     & I_{n-i-1}
\end{array}
\right),
\]
so the group representation extends over
\[
R=\mathbb{Z}[t, t^{-1}, z, (1-z-tz)^{-1}].
\]
A reduced bonded Burau representation is obtained by conjugating with
\[
C = \begin{pmatrix}
1 & 1 & \cdots & 1 \\
0 & 1 & \cdots & 1 \\
0 & 0 & \ddots & \vdots \\
0 & 0 & \cdots & 1
\end{pmatrix},
\]
which produces block upper-triangular forms and yields a representation on \(\mathrm{GL}_{n-1}(\Lambda)\). For \(n=2\), this reduced representation is one-dimensional:
\[
\psi_2^r : M_2 \longrightarrow \mathrm{GL}_1(\Lambda), \quad
\sigma_1 \mapsto -t, \quad b_1 \mapsto -tz - z + 1.
\]

The representation-theoretic conclusions are explicit. The bonded Burau representation is reducible for all \(n\ge 2\). The reduced bonded Burau representation is faithful for \(n=1\), faithful for \(n=2\), faithful for \(n=3\) by comparison with the singular braid monoid case and a known result of Dasbach, unknown for \(n=4\), and not faithful for \(n\ge 5\) because the classical Burau representation is already non-faithful for \(n=5\) and all \(n\ge 6\) [2507.04565].

## 6. Enhanced bonds, bonded braidoids, applications, and neighboring theories

The bonded braid framework sits inside a broader program. The 2025 synthesis develops enhanced bonded knots and braids by introducing two types of bonds, attracting and repelling, which are inverse to each other. In braid form this yields the enhanced bonded braid group \(EB_n\), generated by
\[
\sigma_1,\dots,\sigma_{n-1},\quad b_1,\dots,b_{n-1},\quad b_1^{-1},\dots,b_{n-1}^{-1},
\]
with the added inverse relations
\[
b_i b_i^{-1}=1=b_i^{-1}b_i.
\]
The bonded braid monoid embeds into this group. The same paper also introduces bonded knotoids and their algebraic counterpart, bonded braidoids, to model open chains with inter and intra-chain bonds; closure in that setting is called the bonded closure [2507.15086].

The motivating applications remain geometric and biological. Bonded knots arise naturally in topological protein modeling, where intramolecular interactions such as disulfide bridges stabilize folded configurations. The formalism is presented as a model for proteins, RNA, and other biological macromolecules, and as a way to encode not only entanglement but also internal attachments. This suggests a division of labor: braid generators record crossing data, while bond generators record embedded connections that are invisible to ordinary braid theory [2507.04565, 2507.15086].

Several neighboring braid theories are conceptually related but should not be conflated with bonded braids. Blocked-braid groups are quotients of Artin braid groups defined by inserting a braid between fixed boundary pieces \(S\) and \(R\), in composites of the form \(SBR\). They are relevant to the broader intuition of “braids with attachments,” but their defining mechanism is quotienting by blocked-braid equivalence rather than adding bond arcs to a braid diagram [1307.5383]. “Magic” leatherworking braids are classified as a kernel
\[
MB_n := \ker(m)
\]
inside a quotient of a spherical framed braid group; the essential constraints there are fixed coupon order and ribbon framing rather than embedded bonds [2606.10047]. Braids-and-ties algebras provide a further algebraic analogue: they decorate braid generators \(g_i\) with tie idempotents \(e_i\), and the associated paper states explicitly that ties are analogous rather than literal bonded braids [2511.20173].

A common source of confusion is therefore terminological rather than mathematical. Bonded braids are not merely blocked braids, leatherworking braids, or braids-and-ties under a different name. In the recent topological literature, they are classical braids together with embedded bonds, equipped with their own isotopy calculus, closure theory, monoid and group structures, and Markov-type equivalence theorems. Their significance lies in extending braid theory from pure crossing data to braid diagrams carrying additional embedded linkage data, with both topological and biomolecular applications [2507.15086, 2507.04565].

Source: https://www.emergentmind.com/topics/bonded-braids