Psyquandle Counting Invariant

• Psyquandle counting invariant is an integer-valued invariant defined by counting semiarc colorings of oriented singular knots, links, pseudoknots, and pseudolinks under specified local crossing relations.
• It generalizes biquandle and quandle invariants by employing four operations to encode both classical and singular or pseudo crossing behaviors.
• Practical computations use finite and Alexander psyquandles with algebraic techniques like row reduction to distinguish complex knot diagrams.

The psyquandle counting invariant is an integer-valued coloring invariant for oriented singular knots, singular links, pseudoknots, and pseudolinks, defined by counting labelings of semiarcs by elements of a finite psyquandle subject to local crossing relations. In the literature, psyquandles are introduced as four-operation generalizations of biquandles designed to encode both classical crossings and singular or pseudo crossings, so that the number of valid colorings is preserved under the corresponding generalized Reidemeister moves. Equivalently, if $\mathcal{P}(L)$ denotes the fundamental psyquandle of a diagram $L$ and $X$ is a finite psyquandle, then the invariant is the cardinality of the hom-set $|\mathrm{Hom}(\mathcal{P}(L),X)|$ (Nelson et al., 2017, Ceniceros et al., 2021).

1. Algebraic setting

Psyquandles were introduced to generalize biquandles to the setting of oriented singular links and pseudolinks. In the formulation used across the cited works, a psyquandle structure on a set $X$ consists of four binary operations $X\times X \to X$ satisfying right-invertibility conditions, bijectivity of certain switch maps, and exchange laws modeled on generalized Reidemeister moves. A psyquandle satisfying the additional diagonal condition required for the pseudoknot Reidemeister I move is called pI-adequate (Nelson et al., 2017, Ceniceros et al., 2020).

The motivation for the structure is diagrammatic. Classical crossings already require the two-operation biquandle formalism on semiarcs, but singular crossings and precrossings introduce additional local configurations that are not encoded by ordinary quandles or biquandles. Psyquandles therefore assign two operations to the classical crossing behavior and two further operations to singular or pseudo crossing behavior, with mixed axioms enforcing compatibility when classical and singular-type crossings interact (Ceniceros et al., 2021).

A generalization viewpoint is explicit in the literature. Every biquandle is a psyquandle by duplicating the two biquandle operations into the four-operation psyquandle format, and psyquandles are presented as generalizations of oriented singquandles as well. This places the psyquandle counting invariant within a hierarchy that includes quandle counting invariants for classical knots, biquandle counting invariants for classical and virtual knots, and singquandle counting invariants for singular knots (Nelson et al., 2017, Ceniceros et al., 2021).

2. Diagrammatic colorings and the invariant

The psyquandle counting invariant is defined using semiarcs, namely the segments of an oriented diagram between consecutive crossing points. Given an oriented singular knot or link diagram $L$, or an oriented pseudoknot or pseudolink diagram $L$, an $X$-coloring by a psyquandle $X$ is an assignment of an element of $L$0 to each semiarc such that the local psyquandle relations are satisfied at every crossing. At classical crossings, the outgoing semiarc colors are determined by the two operations corresponding to the biquandle part; at singular crossings or precrossings, the outgoing semiarc colors are determined by the additional psyquandle operations (Nelson et al., 2017, Ceniceros et al., 2021).

This coloring theory is encoded algebraically by the fundamental psyquandle of the diagram. One starts with generators corresponding to semiarcs and imposes the local crossing relations. Colorings by $L$1 then correspond exactly to psyquandle homomorphisms from the fundamental psyquandle into $L$2. In the notation used in the literature, if $L$3 or $L$4 denotes the relevant fundamental psyquandle, then

$L$5

or equivalently

$L$6

where $L$7 is the set of psyquandle colorings (Ceniceros et al., 2020, Ceniceros et al., 2021).

The invariance mechanism is the same one familiar from quandle and biquandle theory, but adapted to generalized Reidemeister moves. Right-invertibility and switch-map bijectivity guarantee that local coloring data can be recovered uniquely through Reidemeister II-type moves, while the exchange laws guarantee consistency through Reidemeister III-type moves. For pseudoknots and pseudolinks, pI-adequacy is the additional condition ensuring invariance under the pseudo-Reidemeister I move (Nelson et al., 2017, Ceniceros et al., 2021).

3. Relation to quandle, biquandle, and singquandle counting

The psyquandle counting invariant extends several earlier counting constructions. When the singular or pseudo operations are specialized appropriately, the theory reduces to the biquandle counting invariant for classical and virtual knots and links. When the structure is further specialized to a single quandle operation in the classical case, one recovers the quandle counting invariant. The survey literature also presents psyquandles as semiarc-based generalizations of oriented singquandles, whose counting invariant is defined on arcs rather than semiarcs (Ceniceros et al., 2021).

This distinction between arc colorings and semiarc colorings is structurally significant. Singquandles use a quandle together with two additional operations $L$8 at singular crossings, whereas psyquandles use four semiarc-level operations. The survey explicitly states that the psyquandle counting invariant generalizes the quandle counting invariant, the biquandle counting invariant, and provides a semiarc-based counterpart to the singquandle counting invariant (Ceniceros et al., 2021).

The same sources emphasize that psyquandles are designed to unify the treatment of singular knots and pseudoknots. Singular knot theory allows rigid transverse double points without over/under information, while pseudoknot theory allows precrossings with unresolved over/under information. Because the move sets are closely related, one algebraic structure can be used in both settings, with pI-adequacy distinguishing the pseudoknot case (Nelson et al., 2017, Ceniceros et al., 2021).

A plausible implication is that the psyquandle counting invariant is best understood not as an isolated generalization of quandle counting, but as the foundational counting layer of a broader semiarc-based theory for generalized knot diagrams. This interpretation is consistent with the way later papers build additional enhancements on top of the same hom-set of colorings.

4. Computation and representative examples

For finite psyquandles, computation proceeds by writing one equation per crossing in the semiarc variables and solving the resulting finite system. In the finite-table setting, the four operations are often encoded by a block matrix whose blocks record the operation tables. In Alexander psyquandles, the coloring equations become linear over a specified ring or module, so row reduction and kernel computations can be used (Nelson et al., 2017, Ceniceros et al., 2020).

Several concrete computations appear in the literature. A six-element finite psyquandle

$L$9

is exhibited in block-matrix form in the survey, and for this $X$0 the counting invariant takes values such as

$X$1

$X$2

and

$X$3

for listed 2-bouquet graphs (Ceniceros et al., 2021).

The original psyquandle paper gives small explicit examples as well. For the 2-bouquet graph $X$4, a finite psyquandle coloring computation yields

$X$5

while for $X$6 the same paper reports

$X$7

The same paper also formulates Alexander psyquandles over

$X$8

with operations

$X$9

and uses linear algebra over finite specializations to compute the counting invariant (Nelson et al., 2017).

The cocycle-enhancement paper includes a pair of singular knots $|\mathrm{Hom}(\mathcal{P}(L),X)|$0 and $|\mathrm{Hom}(\mathcal{P}(L),X)|$1 colored by an Alexander psyquandle on $|\mathrm{Hom}(\mathcal{P}(L),X)|$2 for which

$|\mathrm{Hom}(\mathcal{P}(L),X)|$3

That equality is used there to show that the unenhanced counting invariant may coincide even when refined invariants later separate the two diagrams (Ceniceros et al., 2020).

5. Standard enhancements of the counting invariant

A recurring theme in the literature is that the psyquandle counting invariant is foundational but coarse, and a substantial part of subsequent work is devoted to refinements that retain the same coloring set while recording more structure.

One major class of refinements is the cocycle or Boltzmann-weight enhancement. For a psyquandle $|\mathrm{Hom}(\mathcal{P}(L),X)|$4 and maps $|\mathrm{Hom}(\mathcal{P}(L),X)|$5 satisfying the stated Boltzmann-weight conditions, the coloring set is weighted by local contributions from classical crossings and singular or pseudo crossings. This yields a single-variable polynomial

$|\mathrm{Hom}(\mathcal{P}(L),X)|$6

and, under strong compatibility, a two-variable polynomial that separates the classical and singular or pseudo contributions (Ceniceros et al., 2020). The same paper gives explicit examples of pseudoknots having identical $|\mathrm{Hom}(\mathcal{P}(L),X)|$7 but different $|\mathrm{Hom}(\mathcal{P}(L),X)|$8, and states that these cocycle-enhanced invariants are proper enhancements of the counting invariant and are not determined by the Jablan polynomial (Ceniceros et al., 2020).

A second class is the coloring quiver enhancement. For a finite psyquandle $|\mathrm{Hom}(\mathcal{P}(L),X)|$9, a singular knot or pseudoknot $X$0, and a set $X$1 of psyquandle endomorphisms, the psyquandle coloring quiver $X$2 has as vertices the colorings $X$3, with an arrow $X$4 whenever $X$5 for some $X$6. From this quiver one extracts the in-degree polynomial

$X$7

The quiver paper explicitly shows singular links $X$8 and $X$9 with

$X\times X \to X$0

but different in-degree polynomials, demonstrating a strict enhancement (Ceniceros et al., 2021).

A third class is the psyquandle bracket enhancement, described as a quantum enhancement. For a finite psyquandle $X\times X \to X$1, a commutative ring $X\times X \to X$2, and a quadruple of maps $X\times X \to X$3 satisfying the bracket axioms, one computes a state-sum bracket value for each coloring and collects these values into a multiset $X\times X \to X$4. The bracket paper presents examples in which pseudoknots $X\times X \to X$5 and $X\times X \to X$6 both satisfy

$X\times X \to X$7

but

$X\times X \to X$8

showing that the bracket invariant is a proper enhancement of the counting invariant (Nelson et al., 18 Aug 2025).

The original psyquandle paper also situates the counting invariant alongside Alexander psyquandle polynomials, Alexander–Gröbner psyquandle invariants, and the Jablan polynomial, all of which refine the coloring theory in algebraic directions beyond mere cardinality (Nelson et al., 2017).

6. Scope, limitations, and further extensions

The literature is uniform in treating the psyquandle counting invariant as the basic invariant in the theory rather than the final one. It is computationally accessible, since finite psyquandle colorings reduce to solving a finite constraint system and Alexander psyquandle colorings reduce to linear algebra, and it generalizes several earlier coloring counts. At the same time, the cited papers repeatedly stress that distinct singular knots or pseudoknots may share the same counting invariant, motivating cocycle, quiver, bracket, polynomial, and shadow-type enhancements (Nelson et al., 2017, Ceniceros et al., 2021).

Open directions identified in the survey include the development of a comprehensive cohomology theory for psyquandles, systematic comparison between psyquandle enhancements and singquandle or shadow invariants, classification of finite psyquandles, and further investigation of relationships with finite-type invariants in singular knot theory (Ceniceros et al., 2021). The quiver paper raises additional questions about other graph-theoretic enhancements and about algebraic conditions producing special quiver shapes, while the bracket paper emphasizes the computational challenge of finding richer examples for larger psyquandles and infinite coefficient rings (Ceniceros et al., 2021, Nelson et al., 18 Aug 2025).

The Lie-ideal enhancement framework for quandle counting invariants offers a closely related conceptual pattern. That framework enriches the quandle counting invariant by embedding a finite quandle into a quandle of units of a Lie algebra and then recording the Lie ideal generated by the image of each coloring (Grindstaff et al., 2014). The same source explicitly notes that a psyquandle counting invariant is conceptually “the same kind of thing” with quandles replaced by psyquandles, and that the enhancement pattern can, in principle, be transported to psyquandles. This suggests a possible psyquandle analogue in which one would count psyquandle colorings and then attach an ideal-like structure to each coloring image, but such a construction is presented there as an analogy rather than as an already established psyquandle invariant (Grindstaff et al., 2014).

In this sense, the psyquandle counting invariant occupies the same structural role in generalized singular and pseudo knot theory that the quandle counting invariant occupies in classical knot theory: it is the hom-set cardinality from a fundamental coloring object into a finite labeling algebra, and it serves as the base layer from which stronger invariants are built.