REVIEW 2 major objections 5 minor 15 references
Biquandle Brackets and Knotoids
T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read For every finite biquandle with a bracket over a commutative ring, the matrix of bracket-weighted colorings indexed by tail and head colors is a knotoid invariant, and the paper's examples show it is strictly stronger than the earlier…
desk verdict A natural matrix enhancement of biquandle brackets for knotoids, with a real gap in the invariance proof. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing device is the trace-diagram calculus for biquandle brackets. At each crossing of an $X$-colored knotoid, a skein relation with coefficients $A_{x,y}$ and $B_{x,y}$ in the commutative ring $R$ smooths the crossing; after all crossings are smoothed, each state contributes $\delta^c w^{n-p}$, where $c$ is the number of circular (and, for knotoids, open-ended) components, $n-p$ is the difference between negative and positive trace counts, and $\delta$ and $w$ are the common ring values forced by the bracket axioms. The paper's specific move for knotoids is to value open-ended smoothed components with the same symbol $\delta$ as closed loops, and to slot each coloring's polynomial contribution into the matrix position determined by the endpoint colors. Proposition 2 asserts that this matrix is invariant; Examples 4 and 5 carry out the computation for explicit biquandles and brackets.
What would settle it
Take a finite biquandle and bracket, for instance the $\mathbb{Z}_5$ example with the operation tables in Example 4, and compare $\Phi^\beta_X$ for a knotoid diagram and for a diagram obtained from it by a Reidemeister move performed in a small disk that touches the tail or head. If the smoothed-state sums with open components weighted by $\delta$ differ for any such pair, Proposition 2 fails; a reader can test this directly on the diagrams listed in the paper's examples.
Extended reading notes
Core claim
The paper's central claim is that the biquandle bracket matrix $\Phi^\beta_X(K)$, defined in Definition 4, is a knotoid invariant. Its $(j,k)$ entry is the sum, over all biquandle colorings of $K$ whose tail semiarc has color $j$ and whose head semiarc has color $k$, of $u^{\beta(f)}$, where $\beta(f)$ is the value assigned to the colored knotoid by the biquandle bracket using the trace-diagram smoothing rules. Because Reidemeister moves never change the endpoint colors of a knotoid, and because the bracket's skein relations are unchanged under colored Reidemeister moves, the matrix placement survives equivalence. The paper verifies the construction on examples, showing that it recovers the biquandle coloring matrix by the substitution $u=1$ and the biquandle bracket polynomial by summing all entries, and that it distinguishes knotoids that those invariants do not.
Load-bearing premise
The invariant stands or falls on the choice to give every open-ended smoothed component the same weight as a closed loop, and the paper declares that this assignment is consistent with all Reidemeister moves rather than checking the endpoint-adjacent cases one by one.
Editorial extensions
If this is right
- Setting $u=1$ in $\Phi^\beta_X(K)$ recovers the biquandle coloring matrix, so the new invariant contains the earlier matrix invariant as a specialization.
- Summing the entries of $\Phi^\beta_X(K)$ gives the biquandle bracket polynomial for the knotoid, so the matrix is a strict refinement whenever two colorings with the same bracket value sit in different endpoint-color positions.
- As $X$, $R$, and $\beta$ vary, Definition 4 yields an infinite family of matrix-valued knotoid invariants, so the construction does not depend on a single choice of coloring algebra.
- The computed examples show that the bracket matrix separates knotoids that have identical coloring matrices and identical bracket polynomials, making it a genuine enhancement rather than a repackaging.
Reading between the lines
- The same construction should extend to planar knotoids and knotoids on other surfaces, since the Reidemeister moves are local and the surface enters only through endpoint confinement; this would give an invariant for the open-protein model that uses planar knotoids.
- The examples suggest the matrix is sensitive to how often each endpoint-color pair occurs, not just to total counts, so it may separate knotoids with identical scalar invariants in larger tables; this is directly testable by computing the matrix for the remaining tabulated knotoids.
- Combining the bracket matrix with the longitude enhancement raised in the paper's closing questions should give a still finer invariant, because the longitude records additional information about how the knotoid wraps around its endpoints.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a new knotoid invariant by combining biquandle brackets with the biquandle coloring matrix. For a finite biquandle X, a commutative ring R, and an X-bracket β over R, Definition 4 sets Φ^β_X(K) to be the n×n matrix whose (j,k)-entry is the sum over X-colorings of K with tail color j and head color k of u^{β(f)}, where β(f) is the biquandle bracket state sum of the colored knotoid. Proposition 2 asserts that this matrix is invariant under Reidemeister moves. Section 5 works out Example 4 for the knotoid 3.1 and gives in Example 5 a table of invariant values for many small knotoids, claiming that the new invariant is stronger than the coloring matrix and the biquandle bracket polynomial alone. Section 6 lists two open questions.
Significance. If Proposition 2 can be proved, the construction is a natural and potentially useful enhancement of the existing biquandle coloring matrix invariant for knotoids. The examples indicate that Φ^β_X can distinguish knotoids with identical coloring matrices and identical biquandle bracket polynomials, e.g. knotoids 3.1 and 5.27 in Example 5, which would indeed be a strengthening. The paper is clearly written and the computational method is well motivated. However, the central invariance claim rests on an unproved compatibility statement about open-ended smoothed components, so the significance of the paper depends entirely on whether that missing lemma can be supplied.
major comments (2)
- [Section 5, Definition 4 and Proposition 2] The invariance of Φ^β_X(K) is asserted 'by construction' but no proof is given. The sentence 'The simplest option is to treat these open-ended components the same as the loop components, i.e. assign it a value of δ as well' records a modeling choice rather than a theorem. In the classical setting of [13], every smoothed state consists only of closed loops; for knotoids, every state contains the open arc of K, and some smoothings can create additional open components. The paper must prove that assigning the value δ to open components is compatible with the local Reidemeister II and III identities, including cases where strands participating in the move belong to the same open component or where a smoothing changes the number of open components. Without such a lemma, Proposition 2 is not established and all examples in Section 5 are conditional.
- [Section 5, Definition 4] The contribution β(f) in Definition 4 is not formally defined for knotoids. The text says that after deleting traces the smoothed states include open-ended components and that these are assigned the value δ, but the paper does not specify the full state-sum rule: how the coefficients A, B, w and δ are assembled, how the unique open arc or additional open components are handled, and how the result is independent of the chosen diagram. A precise definition of β(f) is needed before one can check invariance or reproduce the computations in Examples 4 and 5.
minor comments (5)
- [Abstract] The word 'calcuation' should be 'calculation'.
- [Section 3, Definition 1] There is a typo: 'exhcange laws' should read 'exchange laws'.
- [Introduction] The phrase 'matrix-vlaued' should be 'matrix-valued'.
- [Example 5] The table entries such as '3 u' and '3 u4' contain inconsistent spacing and are hard to read; reformatting the table would improve clarity.
- [Section 2] The sentence 'The reader can enjoy verifying that the two knotoids depicted above...' refers to figures that are not included in the text; either include the diagrams or remove the reference to them.
Circularity Check
No significant circularity: the new matrix invariant is an application of externally established biquandle bracket and coloring-matrix results; the unverified δ-choice is a correctness gap, not a circular reduction.
full rationale
The derivation chain in this paper imports two established ingredients: the biquandle coloring matrix invariant of knotoids from [10], and the biquandle bracket skein invariant of knots from [13] and [14]. Definition 4 then combines these by placing the bracket summand u^{β(f)} into matrix entries indexed by tail and head colors of knotoid colorings. Proposition 2 is asserted as following 'by construction', but the claim is not circular: it is an invariance assertion about a newly defined object, not a definition that presupposes the target conclusion. The prior results are cited as external theorems, and the examples are computed directly from the definitions rather than fitted to the invariant values. The main weakness is that Section 5 assigns the value δ to open-ended smoothed components without verifying that the skein identities survive Reidemeister moves in the presence of the open endpoint arc. This is an omitted proof or potential correctness gap, not a circular step: the invariant would be well-defined or not independently of how the definition is phrased, and no equation in the paper reduces the claimed prediction to a fitted parameter or to a self-citation. Self-citations occur, but they are used to import definitions and previously proved results, not as the sole warrant for the new claim. Accordingly, no circularity pattern is exhibited.
Assumptions & free parameters
assumptions (4)
- domain assumption The biquandle bracket polynomial with traces is an invariant of oriented knots and links under Reidemeister moves (from [13], [14]).
- domain assumption Reidemeister moves in knotoid diagrams occur in local disks free of endpoints, so endpoint colors are unchanged (from [10]).
- ad hoc to paper Open-ended smoothed components contribute delta, the same value as closed loop components.
- domain assumption Biquandle structures and biquandle bracket structures satisfying the five equations exist for the examples used.
Cite this review
Pith. "Pith review of Biquandle Brackets and Knotoids." pith.science (2026). https://pith.science/paper/4KL26437
@misc{pith2026190900262,
author = {Pith},
title = {Pith review of: Biquandle Brackets and Knotoids},
year = {2026},
howpublished = {\url{https://pith.science/paper/4KL26437}},
note = {Machine review of arXiv:1909.00262}
}
read the original abstract
Biquandle brackets are a type of quantum enhancement of the biquandle counting invariant for oriented knots and links, defined by a set of skein relations with coefficients which are functions of biquandle colors at a crossing. In this paper we use biquandle brackets to enhance the biquandle counting matrix invariant defined by the first two authors in arXiv:1803.11308. We provide examples to illustrate the method of calcuation and to show that the new invariants are stronger than the previous ones.
Reference graph
Works this paper leans on
- [13]
- [1]
-
[2]
A. Bartholomew. Andrew bartholomew’s mathematics page: Knotoids. http://www.layer8.co.uk/maths/knotoids/index.htm, 2015
work page 2015
-
[3]
J. S. Carter, D. Jelsovsky, S. Kamada, L. Langford, and M. Saito. Quandle cohomology and state-sum invariants of knotted curves and surfaces. Trans. Amer. Math. Soc., 355(10):3947–3989, 2003
work page 2003
-
[4]
M. Elhamdadi and S. Nelson. Quandles—an introduction to the algebra of knots , volume 74 of Student Mathematical Library. American Mathematical Society, Providence, RI, 2015
work page 2015
-
[5]
R. Fenn, C. Rourke, and B. Sanderson. Trunks and classifying spaces. Appl. Categ. Structures, 3(4):321– 356, 1995
work page 1995
-
[6]
D. Goundaroulis, J. Dorier, F. Benedetti, and A. Stasiak. Studies of global and local entanglements of individual protein chains using the concept of knotoids. Scientific Reports, 7, 2017
work page 2017
-
[7]
D. Goundaroulis, N. G¨ ug¨ umc¨ u, S. Lambropoulou, J. Dorier, A. Stasiak, and L. Kauffman. Topological models for open knotted protein chains using the concepts of knotoids and bonded knotoids. Polymers, Special issue on Knotted and Catenated Polymers , 9, 2017
work page 2017
Show all 15 references
-
[8]
G¨ ug¨ umc¨ u and L
N. G¨ ug¨ umc¨ u and L. H. Kauffman. New invariants of knotoids.European J. Combin., 65:186–229, 2017
2017
-
[9]
G¨ ug¨ umc¨ u and S
N. G¨ ug¨ umc¨ u and S. Lambropoulou. Knotoids, braidoids and applications. InSymmetry, volume 9(12) of Special Issue: Knot Theory and Its Applications . MDPI, 2017
2017
-
[10]
G¨ ug¨ umc¨ u and S
N. G¨ ug¨ umc¨ u and S. Nelson. Biquandle coloring invariants of knotoids.J. Knot Theory Ramifications , 28(4):1950029, 18, 2019
2019
-
[11]
Motohashi
T. Motohashi. Prime decompositions of a θn-curve in S3. Topology Appl., 93(2):161–172, 1999
1999
-
[12]
S. Nelson. A survey of quantum enhancements. arXiv:1805.12230, 2018
2018
-
[14]
Nelson and N
S. Nelson and N. Oyamaguchi. Trace diagrams and biquandle brackets. Int. J. Math. , 28(14):24, 2017
2017
-
[15]
V. Turaev. Knotoids. Osaka J. Math. , 49(1):195–223, 2012. Department of Mathematics Izmir Institute of Technology G¨ulbahce Mah. 35430 Urla, Izmir Turkey Department of Mathematical Sciences Claremont McKenna College 850 Columbia A ve. Claremont, CA 91711 Department of Teacher...
2012
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.