Bonded Braid Monoid Overview

• Bonded braid monoid is a braid-theoretic monoid that extends classical braid groups with additional noninvertible bond generators encoding embedded bond connections and trivalent vertices.
• The algebraic presentation features classical braid relations alongside mixed braid-bond relations, and it is shown to be isomorphic to the singular braid monoid.
• Markov-type equivalence theorems and bonded Burau representations extend classical results, enabling the study of closures and faithfulness in both topological and rigid settings.

Searching arXiv for papers on bonded braid monoids and closely related braid monoid structures. arxiv_search(query="bonded braid monoid bonded braids Markov theorem", max_results=10) arxiv_search(query="Bonded braids and the Markov theorem", max_results=5) The bonded braid monoid is a braid-theoretic monoid designed to encode bonded knots or bonded links, namely classical knots or links endowed with additional embedded arcs called bonds whose endpoints lie on the underlying knot or link and become trivalent vertices. In the recent literature, bonds model intramolecular interactions such as disulfide bridges in topological protein modeling, and the resulting algebraic structure extends ordinary braid theory by adjoining bond generators to the usual braid generators. The theory now includes topological and rigid variants, Alexander- and Markov-type theorems, and Burau-type linear representations; at the same time, the monoid is shown to be algebraically isomorphic to the singular braid monoid, even though its geometric interpretation is formulated in terms of embedded bond connections rather than singular crossings (Cavicchioli et al., 6 Jul 2025, Diamantis et al., 20 Jul 2025).

1. Geometric setting and motivating objects

A topological bonded knot is defined as a pair $(L,\mathbf b)$ where $K\subset S^3$ is an oriented knot and

$\mathbf b=\{b_1,\dots,b_n\}$

is a collection of pairwise disjoint embedded intervals with endpoints on $K$, each bond meeting the knot exactly in its endpoints. These endpoints are trivalent vertices, so bonded knots may be viewed as edge-colored spatial graphs. The same geometric picture underlies bonded links and their braid representatives (Cavicchioli et al., 6 Jul 2025).

Two isotopy regimes are distinguished. In the topological setting, twisting at a bond vertex is not rigid; in the rigid-vertex setting, twisting at vertices is restricted. A useful simplification is the passage to isolated bonds, meaning that bonds appear locally trivial and crossing-free in the diagram. In the topological setting, one may furthermore distinguish parallel and non-parallel bonds according to the local orientations of the adjacent knot arcs, and the available moves allow every oriented topological bonded knot to be replaced by an equivalent one with only parallel bonds (Cavicchioli et al., 6 Jul 2025).

A broader 2025 synthesis organizes bonded links into long, standard, and tight categories according to the type of bonds, and also distinguishes topological vertex isotopy from rigid vertex isotopy. For the bonded braid monoid itself, that account explicitly restricts attention to the standard and tight categories undergoing topological vertex isotopy. In that framework, a bonded braid on $n$ strands is 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; the endpoints of the bonds are nodes lying on braid strands and not coinciding with braid endpoints or with other nodes (Diamantis et al., 20 Jul 2025).

2. Algebraic presentations

Two notational conventions currently coexist in the literature.

Source	Topological bonded braid monoid	Larger companion structure
(Cavicchioli et al., 6 Jul 2025)	$M_n$	$K\subset S^3$0, $K\subset S^3$1, $K\subset S^3$2
(Diamantis et al., 20 Jul 2025)	$K\subset S^3$3	$K\subset S^3$4

In the topological presentation, the bonded braid monoid on $K\subset S^3$5 strands is generated by the usual braid generators

$K\subset S^3$6

together with bond generators

$K\subset S^3$7

where $K\subset S^3$8 is a bond joining the $K\subset S^3$9-th and $\mathbf b=\{b_1,\dots,b_n\}$0-st strands. The defining relations are the ordinary braid relations

$\mathbf b=\{b_1,\dots,b_n\}$1

together with

$\mathbf b=\{b_1,\dots,b_n\}$2

and the mixed braid-bond relations

$\mathbf b=\{b_1,\dots,b_n\}$3

$\mathbf b=\{b_1,\dots,b_n\}$4

The resulting object is a monoid, not a group: the braid generators are invertible, but the bond generators are not assumed invertible (Cavicchioli et al., 6 Jul 2025).

The rigid version enlarges the generator set by adding kink generators

$\mathbf b=\{b_1,\dots,b_n\}$5

producing the rigid bonded braid monoid $\mathbf b=\{b_1,\dots,b_n\}$6. Besides the braid relations and the bond relations above, one imposes

$\mathbf b=\{b_1,\dots,b_n\}$7

as well as mixed braid-kink relations parallel to the braid-bond relations: $\mathbf b=\{b_1,\dots,b_n\}$8

$\mathbf b=\{b_1,\dots,b_n\}$9

The topological monoid embeds as a submonoid,

$K$0

A second 2025 account gives the same reduced elementary-bond presentation, denoting the monoid by $K$1 and referring to that reduced version as the tight bonded braid monoid (Cavicchioli et al., 6 Jul 2025, Diamantis et al., 20 Jul 2025).

3. Reduction to elementary bonds and structural comparisons

Besides the elementary generators $K$2, the geometric theory also uses bonds $K$3 joining nonadjacent strands $K$4 and $K$5. A central reduction lemma states that a standard bond is a word of the classical braid generators and an elementary bond. Geometrically, one contracts a long bond to an elementary one by braided vertex slides; algebraically, this yields a presentation with only the ordinary braid generators and the elementary bonds $K$6 (Diamantis et al., 20 Jul 2025).

The same source proves that all elementary bonds are conjugates of a single bond generator. Explicitly,

$K$7

$K$8

and in general

$K$9

This produces an irredundant presentation with generators $n$0 (Diamantis et al., 20 Jul 2025).

The classical braid group sits inside the bonded theory by restricting to the braid generators: $n$1 Conversely, the bonded theory admits natural maps back to $n$2: one account notes surjections

$n$3

obtained by sending either $n$4 or $n$5 (Cavicchioli et al., 6 Jul 2025, Diamantis et al., 20 Jul 2025).

A major structural fact is the algebraic identification with the singular braid monoid. In the notation of the topological presentation, $n$6 is isomorphic to the singular braid monoid $n$7; in the alternative notation, $n$8. Under this correspondence,

$n$9

where $(\beta,B)$0 is the singular generator. The relation is not merely formal: one paper interprets a bond geometrically as a tangential singularity, while the other uses the isomorphism to import a faithfulness result for three strands (Cavicchioli et al., 6 Jul 2025, Diamantis et al., 20 Jul 2025).

4. Closure, braiding theorems, and Markov-type equivalence

The closure operation is defined exactly as for ordinary braids: corresponding top and bottom endpoints are connected, and the bonds remain part of the resulting diagram. For $(\beta,B)$1 in the bonded braid monoid, the closure $(\beta,B)$2 is therefore a bonded knot or bonded link (Cavicchioli et al., 6 Jul 2025).

The bonded analogue of Alexander’s theorem is established in both topological and rigid settings. In the topological case, every topological bonded knot can be represented as the closure of an element of the bonded braid monoid $(\beta,B)$3. The proof follows the classical Alexander strategy: isolate the bonds, assume they are parallel, contract each isolated bond to a short segment, rotate it inside a small disk so that it becomes colinear with the braiding axis, and then replace each non-braided segment by braided segments using $(\beta,B)$4-moves. The rigid version similarly shows that every rigid bonded knot can be represented as the closure of an element of $(\beta,B)$5 (Cavicchioli et al., 6 Jul 2025).

A parallel braiding theorem for the standard and tight categories states that every oriented topological standard bonded link can be represented isotopically as the closure of a standard resp. tight bonded braid. That version formulates the theorem directly in terms of topological standard and tight bonded links, reflecting its choice of ambient categories (Diamantis et al., 20 Jul 2025).

The Markov theory introduces the new feature absent from the classical case: bonds can move cyclically around the closure. In the topological formulation, two bonded braids have equivalent closures if and only if they are related by a finite sequence of

$(\beta,B)$6

Thus, in addition to conjugation and stabilization, one must allow cyclic permutation of bonds. In the rigid version, one likewise allows cyclic permutation of the kink generators,

$(\beta,B)$7

The topological proof adapts Morton’s threading argument and analyzes the additional move in which the threading curve passes through a bond (Cavicchioli et al., 6 Jul 2025).

A second formulation replaces Markov moves by bonded $(\beta,B)$8-moves. There are $(\beta,B)$9- and $\beta$0-moves, depending on whether the newly created strands run entirely over or entirely under the rest of the braid, including the bonds. In the tight setting one uses resolved $\beta$1-moves, because any new crossing with a bond must be removed by braided vertex slide moves to recover tight form. The corresponding equivalence theorem adds bond commuting

$\beta$2

for standard bonds, or

$\beta$3

for elementary bonds in the tight setting. The associated Markov theorem has three moves: $\beta$4 That account explicitly remarks that there is no separate bond-stabilization move, since such a move would produce a vertical bond rather than a legitimate bonded braid (Diamantis et al., 20 Jul 2025).

5. Bonded Burau representations and faithfulness

A principal algebraic construction is the bonded Burau representation, extending the classical Burau representation to the bonded setting. The braid generator is sent to the usual Burau block

$\beta$5

while the bond generator is sent to

$\beta$6

This yields a homomorphism

$\beta$7

and, after adjoining inverses for the bonds, a group-valued version

$\beta$8

The inverse block for $\beta$9 is explicitly computed, which is why the localization by $n$0 appears (Cavicchioli et al., 6 Jul 2025).

In the rigid setting, the representation extends further by sending the kink generator $n$1 to

$n$2

giving

$n$3

A localized group representation $n$4 is also written down; the source notes a notational inconsistency between $n$5 and $n$6 in the denominator (Cavicchioli et al., 6 Jul 2025).

The reduced bonded Burau representation is obtained in exact analogy with the classical reduced Burau construction by conjugating with

$n$7

and taking the $n$8 upper-left blocks. The resulting representation

$n$9

is reducible for all $B$0, with invariant line $B$1 (Cavicchioli et al., 6 Jul 2025).

The faithfulness picture is partly parallel to the classical one. The reduced bonded Burau representation is faithful for $B$2 and $B$3; for $B$4,

$B$5

and injectivity follows from the fact that $B$6 is a unit but $B$7 is not. It is also faithful for $B$8, via the isomorphism with the singular braid monoid and the three-strand faithfulness result of Dasbach and Gemein. The case $B$9 is stated to be unknown, while for $M_n$0 the representation is not faithful because it extends the classical Burau representation (Cavicchioli et al., 6 Jul 2025).

6. Related constructions, distinctions, and open directions

The bonded braid monoid belongs to a broader landscape of braid-like monoids with additional strand-connecting structure, but the different constructions are not interchangeable. A close relative is the theory of tied monoids, where one starts with a monoid $M_n$1, an idempotent commutative monoid $M_n$2 of set partitions, and an action $M_n$3, and defines the tied monoid as the semidirect product

$M_n$4

In type $M_n$5, this produces the tied braid monoid with generators $M_n$6 and tie generators $M_n$7, subject in particular to

$M_n$8

together with mixed braid-tie relations. The tied construction is therefore partition-based, idempotent, and semidirect-product in nature, whereas the bonded braid monoid models actual embedded bond connections and does not impose idempotence on the bond generators (Arcis et al., 2020).

A related Coxeter-level development studies ramified and tied monoids attached to the symmetric, Brauer, and Jones monoids. There the extra generators again represent ties rather than bonds, and the paper identifies the tied symmetric monoid with the ramified monoid of the symmetric group: $M_n$9 That framework is diagrammatically very close to bonded strands, but algebraically its ties encode partition classes and extended tie data rather than the noninvertible bond generators of the bonded braid monoid (Aicardi et al., 2021).

Miyatani’s braid $K\subset S^3$00-monoid is different again. Its additional generators

$K\subset S^3$01

encode ordered interval partitions and geometric layers; the monoid is built from a matched-pair decomposition with ordered set partitions and is realized by geometric layered braids. The extra structure is explicitly described there as neither singular crossings nor local bond generators, but rather as a global partition/layer decomposition of the full set of strands. For that reason, the braid $K\subset S^3$02-monoid is conceptually adjacent to grouped or layered braids, not to the bonded braid monoid in the usual sense (Miyatani, 2019).

Several issues remain open or explicitly incomplete in the present bonded theory. The representation theory of $K\subset S^3$03, $K\subset S^3$04, $K\subset S^3$05, and $K\subset S^3$06 is described as only initiated. Faithfulness of the reduced bonded Burau representation for $K\subset S^3$07 remains unknown. In addition, when inverses for bond generators are adjoined, one obtains “anti-bonds,” but these are said to lack a clear physical interpretation. A plausible implication is that the current theory is algebraically well formed but still separating its geometric, biological, and representation-theoretic motivations from one another (Cavicchioli et al., 6 Jul 2025).