Related papers: Enhancing an R-matrix
We consider a quiver structure on the set of quandle colorings of an oriented knot or link diagram. This structure contains a wealth of knot and link invariants and provides a categorification of the quandle counting invariant in the most…
We enhance the quandle counting invariants of oriented classical and virtual knots and links using a construction similar to quandle modules but inspired by symplectic quandle operations rather than Alexander quandle operations. Given a…
In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…
Using the skew-Hopf pairing, we obtain $\mathcal{R}$-matrix for the two-parameter quantum algebra $U_{v,t}$. We further construct a strict monoidal functor $\mathcal{T}$ from the tangle category $(\mathrm{OTa},\otimes, \emptyset)$ to the…
In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus.
This paper considers the matrix completion problem. We show that it is not necessary to assume joint incoherence, which is a standard but unintuitive and restrictive condition that is imposed by previous studies. This leads to a sample…
We study Coxeter racks over $\mathbb{Z}_n$ and the knot and link invariants they define. We exploit the module structure of these racks to enhance the rack counting invariants and give examples showing that these enhanced invariants are…
We introduce methods of characterizing entanglement, in which entanglement measures are enriched by the matrix representations of operators for observables. These observable operator matrix representations can enrich the partial trace over…
A rack shadow is a set X with a rack action by a rack R, analogous to a vector space over a field. We use shadow colorings of classical link diagrams to define enhanced rack counting invariants and show that the enhanced invariants are…
Coloring numbers are one of the simplest combinatorial invariants of knots and links to describe. And with Joyce's introduction of quandles, we can understand them more algebraically. But can we extend these invariants to tangles -- knots…
We point out the connection between mathematical knot theory and spin glass/search problem. In particular, we present a statistical mechanical formulation of the problem of computing a knot invariant; p-colorability problem, which provides…
A central question in verification is characterizing when a system has invariants of a certain form, and then synthesizing them. We say a system has a $k$ linear invariant, $k$-LI in short, if it has a conjunction of $k$ linear (non-strict)…
We establish several sufficient conditions for the strong ellipticity of any fourth-order elasticity tensor in this paper. The first presented sufficient condition is an extension of positive definite matrices, which states that the strong…
In this paper, we give a necessary condition for a diagram to represent the trivial knot.
A perturbative expansion of knot invariants is derived using quantum cluster algebras. By interpreting the $R$-matrix of $U_q(\mathfrak{sl}_2)$ as a cluster transformation and introducing an auxiliary parameter $\epsilon$, we derive a…
The preceding paper constructed tangle machines as diagrammatic models, and illustrated their utility with a number of examples. The information content of a tangle machine is contained in characteristic quantities associated to equivalence…
Covariance matrices are a useful tool to investigate correlations and entanglement in quantum systems. They are widely used in continuous variable systems, but recently also for finite dimensional systems powerful entanglement criteria in…
Some recent papers formulated sufficient conditions for the decomposition of matrix variances. A statement was that if we have one or two observables, then the decomposition is possible. In this paper we consider an arbitrary finite set of…
We use the structure of skew braces to enhance the biquandle counting invariant for virtual knots and links for finite biquandles defined from skew braces. We introduce two new invariants: a single-variable polynomial using skew brace…
A graph is called $k$-extendable if each $k$-matching can be extended to a perfect matching. We give spectral conditions for the $k$-extendability of graphs and bipartite graphs using Tutte-type and Hall-type structural characterizations.…