---
title: 'Bonded Braidoids: Algebraic and Topological Extensions'
url: https://www.emergentmind.com/topics/bonded-braidoids
type: topic
---

# Bonded Braidoids: Algebraic and Topological Extensions

Searching arXiv for the cited papers to ground the article in the relevant literature.
First, I’ll look up the 2025 paper on bonded knots and braids, since it appears to introduce bonded braidoids.
Now I’ll verify the earlier survey on knotoids and braidoids to situate bonded braidoids historically and terminologically.
Bonded braidoids are the algebraic counterparts of bonded knotoids: open knot diagrams with bonds, modeled in a braid-like planar form with both classical strands and free strands terminating at interior endpoints. In the framework developed in "Topology and Algebra of Bonded Knots and Braids" [2507.15086], they extend ordinary braidoids by allowing embedded bonds represented by horizontal arcs attached transversely to strand nodes, thereby encoding open chains with inter- and intra-chain interactions. The construction places bonded braidoids at the intersection of braid theory, knotoid theory, and the topology of bonded open chains, while preserving Alexander- and Markov-type correspondences with bonded knotoids [2507.15086].

## 1. Historical and conceptual placement

The immediate antecedent of bonded braidoids is the theory of knotoids and braidoids. The 2018 survey "A survey on knotoids, braidoids and their applications" describes knotoids as open-ended knot diagrams in surfaces and braidoids as geometric objects analogous to classical braids, forming a counterpart theory to planar knotoids [1811.11648]. However, that survey does not introduce or develop any notion of bonded braidoids; its braidoid theory is explicitly confined to ordinary, un-bonded braidoids [1811.11648].

Bonded braidoids therefore arise as a later extension of the braid–knotoid correspondence. In the 2025 framework, bonded knots are classical knots endowed with embedded bonding arcs modeling physical or chemical bonds, and bonded braidoids are introduced only after the development of bonded knots, bonded braids, enhanced bonded knots and braids, and bonded knotoids [2507.15086]. This places bonded braidoids not as an isolated generalization of braids, but as the open-ended, endpoint-sensitive analogue of bonded braids.

A common misconception is that bonded braidoids are already implicit in earlier braidoid theory. The literature cited here does not support that view: ordinary braidoids and bonded braidoids are distinct notions, with the latter requiring additional geometric data, additional generators, and a distinct closure theory [1811.11648].

## 2. Geometric definition and isotopy categories

Let $\Sigma$ be an oriented surface, with $\Sigma = \mathbb{R}^2$ or $S^2$, and fix nonnegative integers $n$, $p$, and $q$, where $n$ is the number of classical braid strands and $p,q$ are the numbers of top and bottom free strands. A bonded braidoid diagram on $(n,p,q)$ strands is a planar diagram in the rectangle $[0,1]\times[0,1]\subset \mathbb{R}^2$ consisting of four types of data [2507.15086]:

- $n$ classical strands, monotonically directed downward from distinct top-boundary points to distinct bottom-boundary points;
- $p$ upper free strands, each running from a specified top-boundary point to an interior endpoint;
- $q$ lower free strands, each running from a specified bottom-boundary point to an interior endpoint;
- $k$ embedded bonds, namely disjoint horizontal arcs attached transversely at two nodes on the strands, with nodes not allowed to coincide with endpoints or boundary points.

All strand crossings are generic transversal double points equipped with standard over/under information. If $k=0$, the construction reduces to the ordinary $(n,p,q)$ braidoid diagrams of Gügümcü–Lambropoulou [2507.15086].

The theory distinguishes several geometric subcategories. A **standard bonded braidoid** is one in which each bond is presented in an $H$-neighborhood with no self-crossings. A **tight bonded braidoid** forbids any crossings between bonds and strands. The isotopy theory is also bifurcated. In the **topological vertex isotopy** category, nodes may move freely along strands, so TVT is allowed. In the **rigid vertex isotopy** category, nodes are carried along rigid 3-balls, so TVT is disallowed and only RVT is permitted [2507.15086].

These distinctions are structurally significant. They determine which local moves are admissible, which invariants are well defined, and whether bond–strand crossings can appear at all. A plausible implication is that the theory is intentionally stratified so that different physical or geometric bonding constraints can be represented within a single formalism.

## 3. Algebraic structures: monoids, groups, generators, and relations

Let $BBd_{n,p,q}$ denote isotopy classes of bonded braidoid diagrams on $(n,p,q)$ strands under topological vertex isotopy. Concatenation, obtained by gluing bottom to top, gives $BBd_{n,p,q}$ a monoid structure; in the tight category, the same operation defines a submonoid. In the enhanced setting, where bonds are distinguished as attracting or repelling, one obtains a group $EBd_{n,p,q}$ by adjoining inverses for each elementary bond [2507.15086].

For $BBd_{n,p,q}$, one may take the following generators [2507.15086]:

- $\sigma_i$, for $i=1,\dots,n-1$, the usual braid generators acting on the $i,i+1$ classical strands;
- $b_i$, for $i=1,\dots,n-1$, elementary bonds attached to strands $i,i+1$;
- $U_j$, for $j=1,\dots,p$, upper-endpoint creation on some classical strand;
- $D_\ell$, for $\ell=1,\dots,q$, lower-endpoint creation.

In the enhanced group $EBd_{n,p,q}$, one also has $b_i^{-1}$, interpreted as repelling bonds, with $b_i b_i^{-1}=1=b_i^{-1}b_i$ [2507.15086].

The defining relations are the following, for all admissible indices and with $1$ denoting the monoid identity [2507.15086]:
\[
\text{(B1)}\quad \sigma_i \sigma_j = \sigma_j \sigma_i \quad \text{if } |i-j|>1,
\]
\[
\text{(B2)}\quad \sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1},
\]
\[
\text{(B3)}\quad b_i b_j = b_j b_i \quad \text{if } |i-j|>1,
\]
\[
\text{(B4)}\quad b_i \sigma_j^{\pm 1} = \sigma_j^{\pm 1} b_i \quad \text{if } |i-j|>1,
\]
\[
\text{(B5)}\quad b_i \sigma_i^{\pm 1} = \sigma_i^{\pm 1} b_i,
\]
\[
\text{(B6)}\quad b_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i b_{i+1},
\]
\[
\text{(B7)}\quad \sigma_i \sigma_{i+1} b_i = b_{i+1} \sigma_i \sigma_{i+1},
\]
\[
\text{(B8)}\quad U_j \sigma_i = \sigma_i U_j,\quad U_j b_i = b_i U_j,\quad D_\ell \sigma_i = \sigma_i D_\ell,\quad D_\ell b_i = b_i D_\ell,
\]
\[
\text{(B9)}\quad U_j D_\ell = D_\ell U_j,
\]
together with the usual braidoid endpoint relations of Gügümcü–Lambropoulou. In $EBd$, one further has $b_i b_i^{-1}=1=b_i^{-1}b_i$ [2507.15086].

A key structural remark is that the submonoid generated by $\{\sigma_i,b_i\}$ is isomorphic to the bonded braid monoid $BB_n$, and hence to the singular braid monoid. The $U$ and $D$ generators are what enrich the structure from bonded braids to bonded braidoids [2507.15086]. This suggests that bonded braidoids interpolate between two established algebraic regimes: braid-like bond algebra on one side and endpoint-bearing braidoid algebra on the other.

## 4. Closure, braiding procedures, and Alexander–Markov theory

If $K$ is a bonded knotoid diagram in the plane, possibly multi-component and equipped with specified standard bonds, it can be converted into a bonded braidoid by a braiding procedure. The diagram is first brought into **braidoid general position**, meaning that it has no horizontal segments and no vertical alignments of nodes or endpoints. One then subdivides all up-arcs, with respect to the vertical direction, and performs the usual $L$-braiding moves of Lambropoulou–Rourke while keeping bonds horizontal; TVT may be applied to reorient at nodes as needed. The outcome is a labeled bonded braidoid $\beta$ whose oriented closure recovers the bonded knotoid $K$ [2507.15086].

The resulting closure map is denoted
\[
cl: BBd_{n,p,q} \to \{\text{bonded knotoids}\}.
\]
Its closure convention joins each free-strand end at the top to its partner at the bottom by a small vertical segment passing entirely under or over according to the original knotoid closure convention [2507.15086].

Within this framework, the Alexander-type theorem states that every oriented bonded (multi)-knotoid in the topological vertex category arises as the closure of some standard bonded braidoid. The proof adapts the classical up-arc braiding algorithm of Lambropoulou–Rourke: one slides and twists at nodes to eliminate up-arcs through TVT moves, braids the underlying link, and brings bonds to horizontal position [2507.15086].

The Markov-type theorem characterizes when two labeled bonded braidoids have isotopic closures as bonded knotoids. This occurs if and only if they are related by braidoid isotopy, $L$-moves on any strand away from nodes or endpoints, bond commuting $b_i\alpha \simeq \alpha b_i$, endpoint commuting $U_j\alpha \simeq \alpha U_j$ and $D_\ell\alpha \simeq \alpha D_\ell$, together with the usual braidoid endpoint relabelings. Equivalently, the $L$-moves may be replaced by classical Markov stabilizations $\beta \mapsto \beta \sigma_n^{\pm 1}$ and conjugations [2507.15086].

These theorems place bonded braidoids in the same formal role that ordinary braids occupy for knots and ordinary braidoids occupy for knotoids: they provide a diagrammatic-algebraic normal form for an open-ended bonded topology.

## 5. Invariants

Three invariant constructions are singled out for bonded braidoids, each tied to a particular isotopy regime or geometric category [2507.15086].

The first is the **unplugging invariant** in the topological vertex category. A bonded braidoid is viewed as a trivalent graph, and each node is unplugged by removing one incident edge. This produces a finite set of classical braidoids $K$. Any chosen braid invariant, such as HOMFLY-PT, applied to all members of $K$ yields an invariant of the original bonded braidoid [2507.15086]. The method reduces bonded data to a controlled family of classical objects.

The second is the **tangle-insertion invariant**, defined for the rigid vertex standard or tight category. Each bond is replaced by a band, and a fixed collection of 2-tangles is inserted. The resulting classical link or braid then carries invariants such as the Jones polynomial or bracket polynomial, which become rigid-vertex invariants of the bonded braidoid [2507.15086]. Here the bond is not deleted but resolved through a prescribed local replacement.

The third is the **bonded bracket polynomial**, defined in the rigid-tight category. It extends the Kauffman bracket by including bonds through skein rules of the form
\[
\langle\, \supset \,\rangle = a\langle\, \parallel \,\rangle + b\langle\, X \,\rangle + \cdots
\]
with formal coefficients $a,b,\ldots$, followed by the usual evaluation on the resolved classical diagram. This polynomial is invariant under $R2$, $R3$, and braided-vertex slide moves, hence a regular isotopy invariant of tight bonded braidoids [2507.15086].

Taken together, these constructions show that bonded braidoid invariants may be obtained either by reduction to classical braidoids, by local tangle substitution, or by direct skein extension. A plausible implication is that the theory is designed to accommodate both purely algebraic and diagrammatic-combinatorial approaches to classification.

## 6. Examples, embeddings, and modeled applications

The theory includes explicit examples illustrating both notation and distinguishing power. One two-strand example with one upper endpoint, one lower endpoint, and one bond is
\[
\beta = U_1 \sigma_1 b_1 \sigma_1^{-1} D_1 \in BBd_{2,1,1}.
\]
Under resolution of the bond by the bonded-bracket skein, one obtains three classical braidoids with brackets
\[
A_1 = \langle U_1 \sigma_1 D_1 \rangle,\quad
A_2 = \langle U_1 \parallel D_1 \rangle,\quad
A_3 = \langle U_1 X D_1 \rangle,
\]
so that
\[
\langle \beta \rangle = aA_2 + bA_1 + cA_3.
\]
Since these three are distinct, the resulting bonded bracket distinguishes $\beta$ from a different bond arrangement [2507.15086].

A three-strand example with two adjacent bonds is
\[
\gamma = U_1 \sigma_1 b_1 \sigma_2 b_2 \sigma_1^{-1}\sigma_2^{-1} D_2 \in BBd_{3,1,1}.
\]
It is stated not to be bond-commuting equivalent to
\[
\gamma' = U_1 \sigma_1 b_2 \sigma_2 b_1 \sigma_1^{-1}\sigma_2^{-1} D_2,
\]
as can be seen either from their bonded-bracket expansions or from plugging-unplugging, since the sets of classical closures differ [2507.15086]. These examples demonstrate that the position and order of bonds can encode information not removable by the admissible commuting relations.

There is also a natural injection of the bonded-braid monoid $BB_n$ into the bonded-braidoid monoid $BBd_{n,1,1}$, obtained by adjoining a trivial upper and lower endpoint with no crossings or bonds. Under this embedding, braid invariants extend to braidoid invariants [2507.15086]. This makes bonded braidoids a genuine extension rather than merely a parallel theory.

The intended application domain is the classification of open polymer chains modeled by knotoids, augmented by intra-chain and inter-chain interactions represented by bonds. More broadly, the framework is presented as capturing the topology of open chains with inter and intra-chain bonds and as suggesting new invariants for classifying biological macromolecules [2507.15086]. This suggests a topology-first formal language for open bonded structures that cannot be fully represented either by closed bonded knots or by ordinary, un-bonded braidoids alone.

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