pith. sign in

arxiv: 2604.17011 · v1 · submitted 2026-04-18 · 🧮 math.GT · math.CO

The Cayley graph of a quandle

David Dol\v{z}an , Bogdana Oliynyk This is my paper

Pith reviewed 2026-05-10 06:52 UTC · model grok-4.3

classification 🧮 math.GT math.CO
keywords Cayley graphquandleAlexander quandleconnected componentscosetsfinite abelian groupautomorphism
0
0 comments X

The pith

For an Alexander quandle A_t(G) over a finite abelian group G, the connected components of its Cayley graph are the cosets of the subgroup im(id - t).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the Cayley graphs of quandles and supplies concrete descriptions for standard families including conjugation, Takasaki, dihedral, and Alexander quandles. Its central result concerns Alexander quandles formed from finite abelian groups together with a fixed automorphism t. It shows that the graph decomposes into connected components that line up exactly with the cosets of the image of the map id minus t. The same work proves that generalized Alexander quandle Cayley graphs are always regular and, in the inner-automorphism case, identifies the components with cosets of the subgroup generated by commutators involving the defining element.

Core claim

We investigate structural properties of the Cayley graph of a quandle and describe this graph for several important classes of quandles, including conjugation, Takasaki, dihedral, and Alexander quandles. In particular, we prove that for an Alexander quandle A_t(G) over a finite abelian group G, the connected components of the Cayley graph correspond to the cosets of the subgroup im(id-t). We also show that the Cayley graphs of generalized Alexander quandles are regular. When the defining automorphism is inner, we give an explicit description of the forward orbits and prove that the connected components correspond to cosets of the subgroup generated by commutators with the defining element.

What carries the argument

The Cayley graph whose vertices are the elements of the quandle and whose edges are determined by the quandle operation; in the Alexander case its connected components are partitioned by the cosets of im(id - t).

If this is right

  • The Cayley graph of any generalized Alexander quandle is regular.
  • When the automorphism is inner, the forward orbits admit an explicit algebraic description.
  • The connected components then correspond to the cosets of the subgroup generated by commutators with the defining element.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The number of connected components equals the index of im(id - t) in G.
  • The decomposition supplies an immediate way to count components or to decide whether the graph is connected.
  • The same coset technique may extend to other families of quandles whose operations are defined by group homomorphisms.

Load-bearing premise

The quandle must be realized as an Alexander quandle A_t(G) where G is a finite abelian group and t is a group automorphism.

What would settle it

Compute the Cayley graph explicitly for a small finite abelian group G and automorphism t and check whether the connected components fail to coincide with the cosets of im(id - t).

Figures

Figures reproduced from arXiv: 2604.17011 by Bogdana Oliynyk, David Dol\v{z}an.

Figure 1
Figure 1. Figure 1: Cayley graph of the dihedral quandle R4. Proof. Choose any a ∈ G. We have to show that there is an edge from a to a + c for every c ∈ im(id − t). However, for any c ∈ im(id − t) there exists d ∈ G such that c = d − t(d), so a + c = a + d − t(d) = t(a) + a + d − t(a + d) = t(a) + (id − t)(a + d) = a ▷ (a + d), so, by definition of the Cayley graph, there is an edge from a to a + c. On the other hand, suppos… view at source ↗
Figure 2
Figure 2. Figure 2: Cayley graph of the connected component containing the iden￾tity in the generalized Alexander quandle (S4, φ) with φ(g) = (12)g(12)−1 . In all the examples considered above, the Cayley graph of a quandle is symmetric: for every edge ab, the edge ba also appears. This naturally raises the question of whether the Cayley graph is symmetric for every quandle. The answer is negative, as shown by the following e… view at source ↗
Figure 3
Figure 3. Figure 3: Structure of the Cayley graph of Aφ(Dm) for even m with φ(g) = rgr−1 . e r 2 r 4 r m−1 r r m−2 · · · · · · s r 2 s r 4 s r m−1 s rs r m−2 s · · · · · · [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Structure of the Cayley graph of Aφ(Dm) for odd m with φ(g) = rgr−1 . Proof. By definition, O+(x) consists of all elements obtained from x by compositions of right translations Rb. Hence O +(x) ⊆ {g(x) : g ∈ Inn(Q)}. Since Q is finite, each Rb is a permutation of a finite set and therefore has finite order. Hence R −1 b = Rk b for some k > 0. Consequently every element of Inn(Q) can be written 10 [PITH_FU… view at source ↗
read the original abstract

In this paper, we investigate structural properties of the Cayley graph of a quandle and describe this graph for several important classes of quandles, including conjugation, Takasaki, dihedral, and Alexander quandles. In particular, we prove that for an Alexander quandle $A_t(G)$ over a finite abelian group $G$, the connected components of the Cayley graph correspond to the cosets of the subgroup $\mathrm{im}(\mathrm{id}-t)$. We also show that the Cayley graphs of generalized Alexander quandles are regular. When the defining automorphism is inner, we give an explicit description of the forward orbits and prove that the connected components correspond to cosets of the subgroup generated by commutators with the defining element.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript investigates structural properties of the Cayley graphs of quandles. It provides descriptions for conjugation, Takasaki, dihedral, and Alexander quandles. In particular, for an Alexander quandle A_t(G) over a finite abelian group G, it proves that the connected components correspond to the cosets of the subgroup im(id-t). It further shows that the Cayley graphs of generalized Alexander quandles are regular and, when the automorphism is inner, gives an explicit description of forward orbits with components corresponding to cosets of the subgroup generated by commutators with the defining element.

Significance. If the results hold, the explicit coset decomposition for Alexander quandles supplies a parameter-free structural fact derived directly from the operation x ∗ y = t(x) + (1-t)y, which immediately implies that out-neighbors of x lie in the coset x + im(id-t) with no edges between distinct cosets. This yields a clean algebraic description of connectivity that can support computations in quandle homology and knot invariants. The regularity result for generalized Alexander quandles and the inner-automorphism case add further concrete tools for these graphs.

minor comments (3)
  1. [Abstract] Abstract: the notation 'im(id-t)' should be written uniformly as im(id − t) or im(id-t) with consistent math mode throughout the manuscript and in all subsequent sections.
  2. [Generalized Alexander] Section on generalized Alexander quandles: the regularity statement would benefit from an explicit formula for the common degree in terms of the defining data, even if the proof is short.
  3. [Takasaki and dihedral cases] The treatment of Takasaki and dihedral quandles is brief; adding one concrete small-order example for each would improve readability without lengthening the paper.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript on the structural properties of Cayley graphs of quandles and for recommending minor revision. The referee's summary accurately reflects our main results, including the coset description of connected components for Alexander quandles A_t(G) and the regularity of generalized Alexander quandle Cayley graphs.

Circularity Check

0 steps flagged

No significant circularity; derivation follows directly from definitions

full rationale

The paper's central result for Alexander quandles states that connected components of the Cayley graph are the cosets of im(id-t). This follows immediately from the quandle operation x ∗ y = t(x) + (1-t)y on the abelian group G: the out-neighbors of any x are exactly the set t(x) + im(1-t), which is the coset x + im(id-t). Each such coset therefore induces a complete digraph with no edges leaving the coset, so the components are precisely those cosets. No step reduces a claimed prediction to a fitted parameter, no load-bearing self-citation is invoked, and the argument uses only the given algebraic definitions without renaming or smuggling prior results. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the standard axioms of quandles and the construction of Alexander quandles from abelian groups with automorphisms; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption A quandle satisfies idempotency (x * x = x), right invertibility, and right distributivity ((x * y) * z = (x * z) * (y * z)).
    These are the defining axioms invoked for all structural claims about the Cayley graph.
  • domain assumption G is a finite abelian group and t is a group automorphism.
    Required for the definition of the Alexander quandle A_t(G) whose Cayley graph is analyzed.

pith-pipeline@v0.9.0 · 5417 in / 1288 out tokens · 59268 ms · 2026-05-10T06:52:46.654334+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

11 extracted references · 11 canonical work pages

  1. [1]

    J. Scott Carter, Daniel Jelsovsky, Seiichi Kamada, Laurel Langford, and Masahico Saito,Quandle cohomology and state-sum invariants of knotted curves and surfaces, Transactions of the American Mathematical Society355(2003), no. 10, 3947–3989

    work page 2003

  2. [2]

    142, Springer-Verlag, Berlin, 2004, Low-Dimensional Topology, III

    Scott Carter, Seiichi Kamada, and Masahico Saito,Surfaces in 4-space, Encyclopaedia of Mathematical Sciences, vol. 142, Springer-Verlag, Berlin, 2004, Low-Dimensional Topology, III. MR 2060067

    work page 2004

  3. [3]

    Arthur Cayley,Desiderata and suggestions: No. 2. the theory of groups: Graphical representation, American Journal of Mathematics1(1878), no. 2, 174–176

    work page

  4. [4]

    MR 1786869

    Pierre de la Harpe,Topics in geometric group theory, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 2000. MR 1786869

    work page 2000

  5. [5]

    ed., Grad

    Reinhard Diestel,Graph theory, 3rd revised and updated ed. ed., Grad. Texts Math., vol. 173, Berlin: Springer, 2005

    work page 2005

  6. [6]

    74, American Mathematical Society, Providence, RI, 2015

    Mohamed Elhamdadi and Sam Nelson,Quandles—an introduction to the algebra of knots, Student Mathematical Library, vol. 74, American Mathematical Society, Providence, RI, 2015. MR 3379534

    work page 2015

  7. [7]

    207, Springer-Verlag, New York, 2001

    Chris Godsil and Gordon Royle,Algebraic graph theory, Graduate Texts in Mathematics, vol. 207, Springer-Verlag, New York, 2001. MR 1829620

    work page 2001

  8. [8]

    Pure Appl

    David Joyce,A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra23(1982), no. 1, 37–65. MR 638121 12

    work page 1982

  9. [9]

    Seiichi Kamada,Knot invariants derived from quandles and racks, Invariants of knots and 3-manifolds (Kyoto, 2001), Geom. Topol. Monogr., vol. 4, Geom. Topol. Publ., Coventry, 2002, pp. 103–117. MR 2002606

    work page 2001

  10. [10]

    S. V. Matveev,Distributive groupoids in knot theory, Mat. Sb. (N.S.)119(161)(1982), no. 1, 78–88,

    work page 1982

  11. [11]

    Luc Ta,Generalized cayley graphs of racks and right quasigroups, arXiv:2506.04437 (2025). D. Dol ˇzan: Department of Mathematics, Faculty of Mathematics and Physics, Univer- sity of Ljubljana, Jadranska 19, SI-1000 Ljubljana, Slovenia, and Institute of Mathematics, Physics and Mechanics, Jadranska 19, SI-1000 Ljubljana, Slovenia; e-mail: david.dolzan@fmf....

    work page arXiv 2025