---
title: Biquandle Virtual Bracket Matrix
url: https://www.emergentmind.com/topics/biquandle-virtual-bracket-matrix
type: topic
---

# Biquandle Virtual Bracket Matrix

The biquandle virtual bracket matrix is an endpoint-refined invariant of virtual knotoids obtained by combining biquandle colorings with a biquandle virtual bracket state sum and then organizing the resulting bracket values by the colors at the tail and head. In the formulation introduced in “Biquandle Virtual Brackets and Virtual Knotoids” [2507.07612], it is the most refined invariant in a hierarchy that begins with coloring counts and culminates in a matrix whose entries record endpoint-conditioned bracket data. Its defining feature is that it is sensitive not only to the existence of colorings and not only to the multiset of bracket evaluations, but also to how those evaluations are distributed across endpoint color pairs.

## 1. Position in the invariant hierarchy

A virtual knotoid is a knotoid diagram in \(S^2\) with both classical and virtual crossings, considered up to the extended Reidemeister moves and isotopy. Unlike a knot diagram, it is an open immersed curve with two distinguished endpoints, the tail and the head. The endpoint structure is essential: the tail and head survive the equivalence relation, and there is no Reidemeister move that changes their colors in a biquandle coloring [2507.07612].

Within this setting, the paper organizes its invariants in a strict refinement chain. The basic level is the total number of \(X\)-colorings. The next level is the biquandle counting matrix \(\mathcal{M}_X(K)\), whose \((i,j)\)-entry counts colorings with fixed tail color \(x_i\) and head color \(x_j\). Bracket enhancement then adds a state-sum value to each coloring, first as a multiset \(\Phi_X^{\beta,M}(K)\), then in polynomial form \(\Phi_X^\beta(K)\) when the coefficient ring is a number ring, then as endpoint-refined multisets, and finally as the biquandle virtual bracket matrix \(\mathcal{M}_X^\beta(K)\), which packages those endpoint-refined evaluations into a single matrix [2507.07612].

| Invariant | What it retains | Endpoint refinement |
|---|---|---|
| Total number of \(X\)-colorings | Coloring count only | No |
| \(\mathcal{M}_X(K)\) | Counts by tail/head colors | Yes |
| \(\Phi_X^{\beta,M}(K)\), \(\Phi_X^\beta(K)\) | Bracket values over all colorings | No |
| Endpoint-refined multiset family | Bracket values by tail/head colors | Yes |
| \(\mathcal{M}_X^\beta(K)\) | Endpoint-indexed polynomial entries | Yes |

The paper explicitly states that the biquandle virtual bracket matrix is a proper enhancement of all the other invariants introduced there [2507.07612]. A plausible implication is that endpoint sensitivity is not a secondary bookkeeping device but the structural reason the invariant is stronger than the corresponding counting and bracket-polynomial data.

## 2. Algebraic input: biquandles and virtual brackets

The matrix invariant depends on two layers of algebraic input: a finite biquandle \(X\) and a biquandle \(X\)-virtual bracket \(\beta\). The biquandle supplies the coloring rules at classical crossings. In the notation used in the paper, the two operations are written as \(x^y\) and \(x_y\), encoding the algebraic effect of oriented crossings on semiarc colors [2507.07612].

Let \(R\) be a commutative, unitary ring. A biquandle \(X\)-virtual bracket consists of six coefficient maps
\[
A,B,V,C,D,U:X\times X\to R
\]
and two distinguished elements
\[
\delta\in R,\qquad \omega\in R^\times.
\]
For \(x,y\in X\) and \(F\in\{A,B,V,C,D,U\}\), the paper writes \(F(x,y)=F_{x,y}\) [2507.07612].

These data are constrained by equations \((1)\)–\((23)\) of Definition 4.1. The first eight relations govern Reidemeister I and II behavior:
\[
\omega=\delta A_{x,x}+B_{x,x}+V_{x,x},
\]
\[
\omega^{-1}=\delta C_{x,x}+D_{x,x}+U_{x,x},
\]
\[
1=A_{x,y}C_{x,y}+V_{x,y}U_{x,y},
\]
\[
1=B_{x,y}D_{x,y}+V_{x,y}U_{x,y},
\]
\[
0=A_{x,y}U_{x,y}+V_{x,y}C_{x,y},
\]
\[
0=B_{x,y}U_{x,y}+V_{x,y}D_{x,y},
\]
\[
0=\delta B_{x,y}D_{x,y}+A_{x,y}D_{x,y}+B_{x,y}C_{x,y},
\]
\[
0=\delta A_{x,y}C_{x,y}+A_{x,y}D_{x,y}+B_{x,y}C_{x,y}.
\]

For all \(x,y,z\in X\), the remaining fifteen equations compare the three-state expansions on the two sides of Reidemeister III. They involve the transformed color pairs \((x^y,z_y)\), \((y_x,z_x)\), and \((x^z,y^z)\), and they are exactly the algebraic constraints ensuring invariance of the state sum under the generalized Reidemeister moves [2507.07612].

At the level of local skein data, the virtual bracket differs from the ordinary two-smoothing bracket by admitting three local replacements at each classical crossing: vertical smoothing, horizontal smoothing, and virtual smoothing. The coefficient used is color-dependent. At a positive crossing the three weights are \(A_{x,y}\), \(B_{x,y}\), and \(V_{x,y}\); at a negative crossing they are \(C_{x,y}\), \(D_{x,y}\), and \(U_{x,y}\) [2507.07612].

## 3. Construction of the biquandle virtual bracket matrix

Fix a finite biquandle
\[
X=\{x_1,x_2,\dots,x_n\}
\]
and an oriented virtual knotoid diagram \(K\). An \(X\)-coloring labels each semiarc by an element of \(X\) subject to the biquandle relations at each classical crossing; virtual crossings do not change labels. Equivalently, colorings are homomorphisms
\[
f\in \mathrm{Hom}(\mathcal{B}(K),X),
\]
where \(\mathcal{B}(K)\) is the fundamental biquandle of \(K\). For fixed endpoint colors \(x_i,x_j\), the subset
\[
\mathrm{Hom}_{ij}(\mathcal{B}(K),X)
\]
consists of those homomorphisms sending the tail semiarc generator to \(x_i\) and the head semiarc generator to \(x_j\) [2507.07612].

For a fixed coloring \(f\), the colored diagram \(K_f\) is expanded into states by resolving every classical crossing in one of three ways. If \(K\) has \(n\) classical crossings, then there are \(3^n\) states. Each state is a disjoint union of one open component and possibly some closed components, possibly with virtual crossings remaining [2507.07612].

If \(S\) is such a state and \(m\) is the number of components of \(S\), its contribution is
\[
\beta(S)= \left(\prod \text{local smoothing coefficients used in }S\right)\,\delta^{m}\,\omega^{-wr(K)},
\]
where \(wr(K)\) is the writhe of \(K\). Summing over all states gives the bracket value of the coloring:
\[
\beta(K_f)=\sum_S \beta(S).
\]
Collecting these values over all colorings yields the multiset
\[
\Phi_X^{\beta,M}(K)=\{\beta(K_f)\mid f\in\mathrm{Hom}(\mathcal{B}(K),X)\}.
\]
If \(R\) is a number ring, this multiset is encoded as
\[
\Phi_X^\beta(K)=\sum_{f\in \mathrm{Hom}(\mathcal{B}(K),X)}u^{\beta(K_f)}.
\]
The endpoint-refined multiset family is defined by restricting to \(\mathrm{Hom}_{ij}(\mathcal{B}(K),X)\), and its polynomial representative is
\[
\beta_{ij}^{\upsilon} = \sum_{f\in \mathrm{Hom}_{ij}(\mathcal{B}(K),X)}u^{\beta(K_f)}.
\]
The biquandle virtual bracket matrix is then
\[
\mathcal{M}_X^{\beta}(K)=
\left[
\begin{array}{ccc}
\beta_{11}^{\upsilon} & \cdots & \beta_{1n}^{\upsilon}\\
\vdots & & \vdots\\
\beta_{n1}^{\upsilon} & \cdots & \beta_{nn}^{\upsilon}
\end{array}
\right].
\]
Thus each matrix entry is not a count but an aggregate of bracket evaluations attached to those colorings having a specified tail color and head color [2507.07612].

The distinction between this matrix and the underlying multiset or polynomial is structural. The multiset forgets endpoints; the matrix remembers where each bracket value came from in the endpoint-color decomposition. Since knotoids are open objects, that additional stratification is mathematically natural rather than merely notational.

## 4. Two meanings of “bracket matrix” in the literature

The phrase “bracket matrix” has two distinct uses in the biquandle literature. One use is **coefficient storage**: a matrix records the values of coefficient functions such as \(A_{x,y}\) and \(B_{x,y}\). The other use is **matrix-valued invariant**: a matrix records endpoint-indexed invariant data. The biquandle virtual bracket matrix belongs to the second class.

Earlier work on biquandle brackets for knots and links encoded finite bracket coefficients by block matrices such as \([A\mid B]\) [1508.06573], and the virtual-bracket extension encoded six coefficient families by a block matrix
\[
[A_{xy}\mid B_{xy}\mid V_{xy}\mid C_{xy}\mid D_{xy}\mid U_{xy}]
\]
for a finite biquandle [1701.03982]. In classical knotoid theory, “Biquandle Brackets and Knotoids” introduced a matrix-valued invariant \(\Phi_X^\beta(K)\) whose \((j,k)\)-entry collects bracket contributions from colorings with fixed tail and head colors [1909.00262]. The 2025 virtual-knotoid construction extends that endpoint-refined philosophy to the virtual setting and uses virtual smoothings in the state sum [2507.07612].

| Matrix notion | Data stored | Representative source |
|---|---|---|
| \([A\mid B]\) | Classical bracket coefficients | [1508.06573] |
| \([A\mid B\mid V\mid C\mid D\mid U]\) | Virtual bracket coefficients | [1701.03982] |
| \(\Phi_X^\beta(K)\) | Knotoid endpoint-refined bracket invariant | [1909.00262] |
| \(\mathcal{M}_X^\beta(K)\) | Virtual-knotoid endpoint-refined bracket invariant | [2507.07612] |

This distinction matters because the matrix in \(\mathcal{M}_X^\beta(K)\) is not part of the input data. It is the invariant itself. A plausible consequence is that confusion can arise if one identifies the six-block coefficient matrix of a virtual bracket with the endpoint-refined invariant matrix; the former parameterizes a bracket theory, while the latter packages the values of that theory on a virtual knotoid.

## 5. Endpoint sensitivity and enhancement strength

The defining reason the biquandle virtual bracket matrix is stronger than the preceding invariants is that it refines bracket information by endpoint colors. The paper emphasizes that it does not merely count colorings and does not merely collect all bracket values into one polynomial; it sorts bracket evaluations according to the colors at the tail and head. Because knotoids have endpoints, this endpoint-sensitive packaging is stronger than the more familiar counting and polynomial invariants [2507.07612].

This endpoint-refined logic already appeared in the classical knotoid setting. “Biquandle Brackets and Knotoids” showed that the matrix-valued bracket enhancement there is stronger than both the coloring matrix and the ordinary biquandle bracket polynomial, with examples in which knotoids sharing the same counting matrix and the same bracket polynomial are separated by their bracket matrices [1909.00262]. The 2025 virtual-knotoid paper makes the corresponding claim at the virtual level in a sharper form: the biquandle virtual bracket matrix is a proper enhancement of all the other invariants introduced in that paper [2507.07612].

The computational mechanism behind this strength is straightforward. A coloring contributes to exactly one endpoint sector \((i,j)\), and the state-sum value associated to that coloring is recorded only in the corresponding entry of the matrix. Any cancellation or coincidence that occurs after forgetting endpoints may therefore disappear once the data are stratified by tail-head color pair. This suggests that endpoint decomposition is not only a refinement of information but also a way of preventing accidental identifications produced by global aggregation.

The paper also notes that examples encode the coefficient maps \(A,B,V,C,D,U\) as a single block matrix. For \(X=\{1,2,3\}\), one Section 4 example is presented as a \(3\times 18\) block matrix together with
\[
\delta=2,
\]
illustrating the finite-data format used in explicit computations [2507.07612]. The invariant matrix \(\mathcal{M}_X^\beta(K)\) is then built from state sums computed with such coefficient data.

## 6. Related extensions and adjacent theories

The biquandle virtual bracket matrix sits within a broader family of color-dependent skein constructions. “Trace Diagrams and Biquandle Brackets” developed a recursive calculus for ordinary biquandle brackets, using trace diagrams and extra adequacy conditions to simplify computations; that work is directly relevant to the classical part of any bracket-state method, but it does not define a virtual biquandle bracket [1705.07243]. “Biquandle Bracket Quivers” extended the bracket formalism to quiver-valued enhancements and stated that the construction applies to virtual knots and links by ignoring virtual crossings in determining colorings [2109.05365].

Several later theories modify the local coefficient package rather than the endpoint organization. “Kaestner Brackets” introduced parity-sensitive coefficient families \((A_0,B_0,A_1,B_1)\) on parity biquandles for oriented virtual knots and links [1909.09920]. “Picture-valued biquandle bracket” enlarged the coefficient system to six tables \(A,B,C,D,E,F\) and produced picture-valued invariants for classical and virtual knots [1701.06011]. “Biquandle Power Brackets” replaced the constant loop value by a subset-dependent function \(\delta:\mathcal P(X)\to R\), but explicitly stated that these invariants do not extend to virtual knots by merely ignoring virtual crossings [2401.11956]. “Psyquandle Brackets” carried the matrix-style bracket philosophy to singular knots and pseudoknots, using four coefficient families \(A,B,P,S\) [2508.13331].

These developments indicate that the phrase “biquandle virtual bracket matrix” should be interpreted narrowly. In the specific virtual-knotoid sense of [2507.07612], it denotes the endpoint-refined invariant matrix \(\mathcal{M}_X^\beta(K)\). In earlier literature, closely related phrases often referred instead to coefficient tables such as \([A\mid B]\) or \([A\mid B\mid V\mid C\mid D\mid U]\). A plausible historical reading is that the 2025 construction synthesizes two earlier strands: virtual biquandle brackets on the one hand and matrix-valued endpoint refinements for knotoids on the other.

Source: https://www.emergentmind.com/topics/biquandle-virtual-bracket-matrix