pith. sign in

arxiv: 2405.12329 · v2 · submitted 2024-05-20 · 🧮 math.CO

Super Hayashi Quandles

Antonio Lages , Pedro Lopes This is my paper

Pith reviewed 2026-05-24 01:25 UTC · model grok-4.3

classification 🧮 math.CO
keywords super Hayashi quandlesconnected quandlesquandle profilecycle structuresright translationslatin quandlesHayashi conjecturesubquandles
0
0 comments X

The pith

Finite connected quandles whose right-translation cycle lengths are distinct and each shorter length divides each longer length have profiles fixed solely by the second-shortest length and the number of cycles.

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

The paper defines super Hayashi quandles as finite connected quandles in which the lengths appearing in the profile of right-translation cycle types are all distinct and satisfy the divisibility condition that the shorter divides the longer. It proves that any such quandle is a latin quandle whose complete profile is determined by the second-shortest length and the number of cycles alone. It further shows that every subquandle of an SHQ is again an SHQ sharing the same second-shortest length but possessing strictly fewer cycles. The paper closes by exhibiting an infinite family of examples.

Core claim

An SHQ is a finite connected quandle such that any two lengths in its profile are distinct and the shorter divides the longer. For every SHQ the profile depends only on the second shortest length and on the number of cycles. Every subquandle of an SHQ is itself an SHQ with the same second shortest length but fewer cycles. There exist infinitely many SHQs.

What carries the argument

The profile of a connected quandle, which reduces to a single conjugacy class of cycle types of its right translations.

If this is right

  • The profile of any SHQ is completely determined by its second-shortest length and its number of cycles.
  • Every subquandle of an SHQ is again an SHQ sharing the same second-shortest length but with fewer cycles.
  • SHQs are latin quandles.
  • There exist infinitely many SHQs.

Where Pith is reading between the lines

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

  • The closure property under subquandles induces a partial order on the set of all SHQs ordered by number of cycles.
  • The infinite family supplies an explicit source of connected latin quandles whose cycle-length sets are totally ordered by divisibility.
  • If the Hayashi conjecture holds for all connected quandles, then every connected quandle whose profile lengths are distinct would automatically be an SHQ.

Load-bearing premise

Connectedness forces every right translation to be conjugate to every other, so the profile consists of essentially one cycle structure on which the divisibility condition can be imposed directly.

What would settle it

A finite connected quandle whose profile lengths are distinct and satisfy the shorter-divides-longer condition, yet whose full set of lengths is not fixed by its second-shortest length and its number of cycles.

read the original abstract

Quandles are right-invertible, right-self distributive (and idempotent) algebraic structures. Therefore, right translations are quandle automorphisms. It has been interesting to look into finite quandles by way of the cycle structures their right translations may have. For each quandle, the list of these cycle structures is known as the profile of the quandle. For a connected quandle, any two right translations are conjugate so there is essentially one cycle structure per connected quandle - which we thus identify with the profile. Hayashi conjectured that, for a connected quandle, each length of its profile divides the longest length. In the present article we introduce Super Hayashi Quandles (SHQ). An SHQ is a finite connected quandle such that any two lengths in its profile are (i) distinct, and (ii) the shorter one divides the longer one. The SHQ's are latin quandles and we prove that their profiles depend only on the second shortest length and on the number of cycles. Furthermore, we prove that SHQ's have SHQ's alone for subquandles (with the same second shortest length but fewer cycles). Finally, we construct infinitely many SHQ's.

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 / 0 minor

Summary. The paper introduces Super Hayashi Quandles (SHQs) as finite connected quandles whose profile cycle lengths are pairwise distinct and satisfy the divisibility condition that any shorter length divides any longer length. It proves that SHQs are Latin quandles, that their profiles are completely determined by the second-shortest length and the number of cycles, that every subquandle of an SHQ is itself an SHQ (with the same second-shortest length but strictly fewer cycles), and that there exist infinitely many SHQs.

Significance. If the stated theorems hold, the work supplies a cleanly delineated subclass of connected quandles whose profiles obey strong arithmetic constraints. The two structural results (profile dependence on only two parameters and hereditary closure under subquandles) together with the explicit infinite family constitute a concrete advance beyond the statement of Hayashi’s conjecture, and the absence of free parameters or ad-hoc axioms in the definition adds to the result’s robustness.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We appreciate the recognition that the structural results on Super Hayashi Quandles constitute a concrete advance.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper defines Super Hayashi Quandles (SHQ) directly from the standard axioms of connected quandles (right translations are automorphisms, conjugacy yields a single cycle type/profile) plus the new divisibility-and-distinctness conditions on profile lengths. All stated results—profile dependence only on second-shortest length and cycle count, subquandle inheritance, and explicit infinite constructions—follow from these definitions and standard quandle facts without reducing any prediction or central claim to a fitted parameter, self-citation chain, or imported uniqueness theorem. No load-bearing step equates an output to its input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The central claims rest on the standard domain definition of quandles and connectedness; no free parameters or invented entities beyond the new class name itself.

axioms (2)
  • domain assumption Quandles are right-invertible, right-self-distributive and idempotent algebraic structures; right translations are therefore automorphisms.
    Stated in the first sentence of the abstract as the background setting.
  • domain assumption For a connected quandle any two right translations are conjugate, yielding a single cycle structure (the profile).
    Invoked to reduce the profile to one cycle type per connected quandle.
invented entities (1)
  • Super Hayashi Quandle (SHQ) no independent evidence
    purpose: Subclass of connected quandles whose profile lengths are distinct and satisfy the shorter-divides-longer condition.
    Newly introduced definition; no independent evidence supplied outside the paper.

pith-pipeline@v0.9.0 · 5730 in / 1512 out tokens · 25656 ms · 2026-05-24T01:25:48.225945+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Bojarczuk, P

    J. Bojarczuk, P. Lopes,Quandles at finite temperatures III, J. Knot Theory Ramifications,14(3)(2005), 275–373

    work page 2005

  2. [2]

    Brieskorn,Automorphic sets and braids and singularities, Contemp

    E. Brieskorn,Automorphic sets and braids and singularities, Contemp. Math.78(1988), 45–115. 14

    work page 1988

  3. [3]

    F. M. Dion´ ısio, P. Lopes,Quandles at finite temperatures II, J. Knot Theory Ramifications,12(2)(2003), 1041–1092

    work page 2003

  4. [4]

    Hayashi,Canonical forms for operation tables of finite connected quandles, Comm

    C. Hayashi,Canonical forms for operation tables of finite connected quandles, Comm. Algebra41(9) (2013), 3340–3349

    work page 2013

  5. [5]

    Joyce,A classifying invariant of knots, the knot quandle, J

    D. Joyce,A classifying invariant of knots, the knot quandle, J. Pure Appl. Algebra23(1982), 37–65

    work page 1982

  6. [6]

    Kajiwara, C

    T. Kajiwara, C. Nakayama,A large orbit in a finite affine quandle, Yokohama Math. J.62(2016), 25–29

    work page 2016

  7. [7]

    Math.39(1) (2016), 157–171

    Kamada, S., Tamaru, H., Wada, K.,On classification of quandles of cyclic type, Tokyo J. Math.39(1) (2016), 157–171

    work page 2016

  8. [8]

    L. H. Kauffman,Knots and physics, 4th edition, Series on Knots and Everything53(2013), World Scientific Publishing Co

    work page 2013

  9. [9]

    Kumanduri, C

    R. Kumanduri, C. Romero,Number Theory with Computer Applications, Prentice Hall, New Jersey (1998)

    work page 1998

  10. [10]

    Lages and P

    A. Lages and P. Lopes, Quandles of cyclic type with several fixed points,Electron. J. Combin.26(3) (2019), P3.42

    work page 2019

  11. [11]

    Lages, P

    A. Lages, P. Lopes,A proof of Euler’s theorem via quandles, INTEGERS,22(2022), #A44

    work page 2022

  12. [12]

    Lages, P

    A. Lages, P. Lopes, and P. Vojtˇ echovsk´ y,A sufficient condition for a quandle to be Latin, J. Combin. Des.,30 (4)(2022), 251–259

    work page 2022

  13. [13]

    Lopes, D

    P. Lopes, D. Roseman,On finite racks and quandles, Comm. Algebra34(2006), 371–406

    work page 2006

  14. [14]

    Lopes, M

    P. Lopes, M. Singh,Constructing an infinite family of quandles from a quandle, arXiv:2211.13360, submitted

    work page arXiv

  15. [15]

    S. V. Matveev,Distributive groupoids in knot theory, Sb. Math.47(1)(1984), 73–83

    work page 1984

  16. [16]

    Vendramin,Doubly transitive groups and cyclic quandles, J

    L. Vendramin,Doubly transitive groups and cyclic quandles, J. Math. Soc.69(3)(2017), 1051- 1057

    work page 2017

  17. [17]

    Vendramin, Rig, a GAP package for racks, quandles, knots, virtual knots, Nichols algebras

    L. Vendramin, Rig, a GAP package for racks, quandles, knots, virtual knots, Nichols algebras. Available athttps://github.com/gap-packages/rig/

    work page

  18. [18]

    Watanabe

    T. Watanabe. On connected quandles with the profile{1, l, l}or{1, l, l, l}.Yokohama Mathematical Journal, 61:29–39, 2015

    work page 2015

  19. [19]

    Watanabe

    T. Watanabe. The structure of connected quandles with the profile{1, l, l}or{1, l, l, l}and its inner group.J. Knot Theory Ramifications, 26 1750001, 2017

    work page 2017

  20. [20]

    Watanabe

    T. Watanabe. On the structure of the profile of finite connected quandles.Math. J. Okayama Univ., 61: 85–98, 2019. 15

    work page 2019