Bonded Burau Representation

• Bonded Burau representation is an extension of the classical Burau representation that integrates bond generators into braid diagrams to model bonded knots.
• It utilizes a two-parameter deformation with t as the classical Burau parameter and z encoding bonded interactions, leading to both unreduced and reduced forms.
• The construction underpins bonded analogues of the Alexander and Markov theorems, although its faithfulness fails for n ≥ 5 and remains unresolved for n = 4.

The bonded Burau representation is an extension of the classical Burau representation from ordinary braid generators to braid diagrams equipped with bond generators. In the topological setting developed in "Bonded braids and the Markov theorem" (Cavicchioli et al., 6 Jul 2025), it is defined on the topological bonded braid monoid $M_n$ by keeping the usual Burau matrices for the Artin generators $\sigma_i$ and assigning compatible $2\times 2$ blocks to the bond generators $b_i$. The construction has unreduced and reduced forms, admits a rigid analogue with additional kink generators, and is intended as a linear tool for bonded braid representatives of bonded knots.

1. Algebraic setting of bonded braids

For $n\in\mathbb N$, the topological bonded braid monoid $M_n$ is generated by the classical braid generators $\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$ together with bond generators $b_1,\dots,b_{n-1}$. Its defining relations are the standard braid relations

$\sigma_i\sigma_i^{-1}=Id_n,$

$$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$

$\sigma_i$0

the bond commutation relation

$\sigma_i$1

and the mixed braid-bond relations

$\sigma_i$2

$\sigma_i$3

$\sigma_i$4

$\sigma_i$5

Restricting to the $\sigma_i$6 recovers the classical braid group $\sigma_i$7 (Cavicchioli et al., 6 Jul 2025).

The paper also defines the rigid bonded braid monoid $\sigma_i$8, generated by $\sigma_i$9, $2\times 2$0, and kink generators $2\times 2$1, with a second family of mixed relations for the $2\times 2$2 analogous to those for the $2\times 2$3. Group completions are obtained by adjoining inverses of the bond generators: the topological bonded braid group $2\times 2$4 is obtained from $2\times 2$5 by adjoining $2\times 2$6, and the rigid bonded braid group $2\times 2$7 is obtained from $2\times 2$8 by adjoining $2\times 2$9 and $b_i$0.

This algebraic setting is tied in the paper to bonded knots. Every topological bonded knot arises as the closure of a bonded braid, and equivalence of bonded knots is described by a bonded analogue of Markov moves. The representation theory is introduced in that closure-theoretic context rather than as a stand-alone matrix construction.

2. Unreduced bonded Burau representation

The unreduced construction begins with the standard Burau representation

$b_i$1

sending $b_i$2 to the usual Burau block

$b_i$3

To extend this to bonded braids, the paper considers a bond matrix of the form

$b_i$4

and imposes exactly the relations corresponding to the nontrivial mixed bonded braid relations: $b_i$5

$b_i$6

$b_i$7

Solving these equations yields

$b_i$8

The resulting bonded Burau representation is therefore

$b_i$9

At the local $n\in\mathbb N$0 level, the classical crossing block

$n\in\mathbb N$1

is replaced for a bond by

$n\in\mathbb N$2

so the construction is naturally viewed as a two-parameter deformation with $n\in\mathbb N$3 carrying the classical Burau parameter and $n\in\mathbb N$4 encoding bonded interaction (Cavicchioli et al., 6 Jul 2025).

Strictly speaking, because $n\in\mathbb N$5 need not be invertible over $n\in\mathbb N$6, this is best viewed first as a monoid representation of $n\in\mathbb N$7 by matrices satisfying the monoid relations. The group-level extension requires localization.

3. Reduced bonded Burau representation

The reduced theory is obtained by the same upper-triangular change of basis used in the classical Burau construction. Let

$n\in\mathbb N$8

Then for every $n\in\mathbb N$9,

$M_n$0

The final $M_n$1-dimensional block is trivial, so the reduced bonded Burau representation is defined by the upper-left blocks

$M_n$2

For the braid generators, the reduced matrices are

$M_n$3

and for $M_n$4,

$M_n$5

For the bond generators, the reduced matrices are

$M_n$6

and for $M_n$7,

$M_n$8

For $M_n$9, the reduced representation collapses to

$\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$0

The basis change has the standard Burau meaning: in the new basis the last basis vector $\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$1 spans an invariant trivial submodule, and the reduced representation is the action on the complementary $\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$2-dimensional factor. This places the bonded theory in direct formal parallel with classical reduced Burau theory (Cavicchioli et al., 6 Jul 2025).

4. Localization and the rigid bonded Burau representation

The passage from monoids to groups is controlled by explicit inverses. The braid blocks remain invertible over $\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$3: $\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$4 For the bond blocks,

$\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$5

Accordingly, after adjoining $\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$6, the representation extends to a genuine group representation

$\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$7

The rigid bonded Burau representation duplicates the same pattern for the kink generators. It is defined by

$\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$8

and

$\sigma_1^{\pm1},\dots,\sigma_{n-1}^{\pm1}$9

Thus the rigid case is not structurally new: it is a parallel extension of the same $b_1,\dots,b_{n-1}$0 ansatz with a second bond-like parameter $b_1,\dots,b_{n-1}$1. The paper notes a notational inconsistency in the localized group-level formula, where the final denominator is written once with $b_1,\dots,b_{n-1}$2 although the kink parameter had been denoted $b_1,\dots,b_{n-1}$3; the intended meaning is to invert the determinant factor corresponding to the $b_1,\dots,b_{n-1}$4-block as well (Cavicchioli et al., 6 Jul 2025).

The topological and rigid settings differ chiefly in generator content. The topological setting uses $b_1,\dots,b_{n-1}$5 and $b_1,\dots,b_{n-1}$6 with one new parameter $b_1,\dots,b_{n-1}$7, whereas the rigid setting adds $b_1,\dots,b_{n-1}$8 and a second parameter $b_1,\dots,b_{n-1}$9.

5. Reducibility and faithfulness

The unreduced bonded Burau representation is reducible for all $\sigma_i\sigma_i^{-1}=Id_n,$0. The invariant line is

$\sigma_i\sigma_i^{-1}=Id_n,$1

since

$\sigma_i\sigma_i^{-1}=Id_n,$2

This is the bonded analogue of the classical trivial summand in the unreduced Burau representation (Cavicchioli et al., 6 Jul 2025).

For the reduced representation, the paper records the following low-rank faithfulness pattern.

$\sigma_i\sigma_i^{-1}=Id_n,$3	Status of $\sigma_i\sigma_i^{-1}=Id_n,$4	Basis of statement
$\sigma_i\sigma_i^{-1}=Id_n,$5	faithful	obvious
$\sigma_i\sigma_i^{-1}=Id_n,$6	faithful	$\sigma_i\sigma_i^{-1}=Id_n,$7, $\sigma_i\sigma_i^{-1}=Id_n,$8
$\sigma_i\sigma_i^{-1}=Id_n,$9	faithful	identified with a representation of $$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$0
$$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$1	unknown	unresolved
$$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$2	not faithful	classical reduced Burau already not faithful on $$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$3

The $$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$4 case is elementary and characteristic. Since $$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$5 is a unit but $$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$6 is not, a word mapping to $$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$7 cannot contain $$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$8; then

$$\sigma_i\sigma_j=\sigma_j\sigma_i \qquad (|i-j|\ge 2),$$9

So $\sigma_i$00 is injective. For $\sigma_i$01, the paper uses the isomorphism between the singular braid monoid $\sigma_i$02 and $\sigma_i$03, together with the Dasbach–Gemein representation for $\sigma_i$04. For $\sigma_i$05, nonfaithfulness is inherited from the classical reduced Burau representation because the braid subgroup $\sigma_i$06 sits inside $\sigma_i$07.

Two low-rank examples make the local structure transparent. For $\sigma_i$08,

$\sigma_i$09

and

$\sigma_i$10

For $\sigma_i$11, the reduced matrices are

$\sigma_i$12

$\sigma_i$13

These are the first genuinely noncommutative reduced examples.

6. Scope, applications, and related constructions

The bonded Burau representation is introduced after the paper establishes bonded analogues of the Alexander and Markov theorems. Its intended role is therefore analogous to the role of the classical Burau representation in ordinary braid theory: it is a linear construction attached to bonded braid representatives of bonded knots. The paper does not, however, develop a full invariant of bonded knots from $\sigma_i$14 or $\sigma_i$15. Any such invariant would need compatibility with the bonded Markov moves, which in the topological bonded setting are conjugation, cyclic permutation of bonds, and stabilization (Cavicchioli et al., 6 Jul 2025).

A recurrent source of confusion is terminological. The phrase “bonded Burau representation” is specific to the bonded braid monoid setting just described. It is distinct from the reduced Burau representation of $\sigma_i$16 specialized at $\sigma_i$17 and unitarized via Squier’s Hermitian form, which was used as a two-dimensional non-Abelian control in a causal-order Gedankenexperiment; that construction concerns the reduced Burau representation of $\sigma_i$18, not bonded braids (Kolpakov, 21 Oct 2025). It is also distinct from the Burau representations of loop braid groups, where four versions are constructed for $\sigma_i$19 and $\sigma_i$20, including a reduced extended representation on

$\sigma_i$21

again without bond generators in the bonded-braid sense (Palmer et al., 2021).

Within the broader landscape of Burau generalizations, the bonded Burau representation is therefore characterized by three features: the presence of explicit bond generators $\sigma_i$22, the local bond block

$\sigma_i$23

and the closure-theoretic context supplied by bonded Alexander and Markov theorems. In that precise sense, it is the Burau extension native to bonded braid theory.