pith. sign in

arxiv: 2604.17687 · v1 · submitted 2026-04-20 · 🧮 math.CO

On circulant ternary coherent configurations of prime degree

Gang Chen , Qing Ren , Ilia Ponomarenko This is my paper

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

classification 🧮 math.CO MSC 05E30
keywords ternary coherent configurationscirculantschurianprime degreeassociation schemes on triplesautomorphism groupsAGL(1,p)
0
0 comments X

The pith

Circulant ternary coherent configurations of prime degree are schurian except possibly when they are association schemes on triples with automorphism group inside AGL(1,p).

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

The paper shows that if a ternary coherent configuration has prime number of points and its automorphism group contains a regular cyclic subgroup (the circulant condition), then its relations on triples must be orbits under that group, making the configuration schurian. This classification matters because it reduces the study of these generalized association schemes to checking the action of subgroups of the affine group AGL(1,p). The proof proceeds by case analysis on the possible groups, leaving open only the situation where the object is already an association scheme on triples and the group is AGL(1,p) with p congruent to plus or minus one modulo eight, or a proper subgroup.

Core claim

It is proved that any circulant ternary coherent configuration X of prime degree p is schurian with the possible exception of the case when X is an association scheme on triples and either Aut(X) = AGL1(p) and p ≡ ±1 (mod 8), or Aut(X) is a proper subgroup of AGL1(p).

What carries the argument

The schurian property, defined as the classes of the configuration being exactly the orbits of Aut(X) acting componentwise on ordered triples, established via exhaustive analysis of subgroups of AGL(1,p) that admit a regular cyclic subgroup.

If this is right

  • The classes of any such configuration are completely determined by the orbits of its automorphism group on triples.
  • Classification of these objects for prime p reduces to verifying the orbit structure for the listed exceptional automorphism groups.
  • Association schemes on triples of prime degree that are circulant must satisfy the orbit condition unless they fall into the open cases.
  • Multidimensional coherent configurations at prime orders inherit the same group-theoretic constraints.

Where Pith is reading between the lines

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

  • For small primes satisfying the modular condition, explicit computation of AGL(1,p) orbits could decide whether the exceptional cases actually produce non-schurian examples.
  • The same orbit-counting technique might apply to circulant configurations on composite degrees if the automorphism group is still solvable.
  • Non-schurian examples, if they exist in the open cases, would provide the first concrete instances separating ternary coherent configurations from ordinary association schemes at prime orders.

Load-bearing premise

That every possible automorphism group of a circulant configuration on a prime number of points must be a subgroup of the affine group AGL(1,p).

What would settle it

An explicit example of a non-schurian circulant ternary coherent configuration of prime degree p that is not an association scheme on triples whose automorphism group equals AGL(1,p) with p ≡ ±1 mod 8 or a proper subgroup thereof.

read the original abstract

Ternary coherent configurations are, on the one hand, a special case of multidimensional coherent configurations introduced by L. Babai (2016), and, on the other hand, a natural generalization of association schemes on triples introduced by D. M. Mesner and P. Bhattacharya (1990). A ternary coherent configuration X is said to be circulant if the automorphism group Aut(X) of X has a regular cyclic subgroup, and schurian if the classes of X are the orbits of the componentwise action of the group Aut(X) on triples of points of X. It is proved that any circulant ternary coherent configuration X of prime degree p is schurian with the possible exception of the case when X is an association schemes on triples and either Aut(X) = AGL1(p) and p = +1, or -1 (mod 8), or Aut(X) is a proper subgrou of AGL1(p).

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

1 major / 3 minor

Summary. The manuscript proves that every circulant ternary coherent configuration X of prime degree p is schurian, with the possible exception of the case in which X is an association scheme on triples and either Aut(X) equals AGL(1,p) with p ≡ ±1 (mod 8) or Aut(X) is a proper subgroup of AGL(1,p). The argument proceeds by case analysis on the subgroups of AGL(1,p) that contain a regular cyclic subgroup of order p.

Significance. If the proof is complete, the result supplies a concrete classification of schurian circulant ternary coherent configurations in prime degree, linking Babai’s multidimensional coherent configurations with the classical theory of association schemes on triples. The reduction to the standard normalizer of a p-cycle in S_p yields a clean group-theoretic criterion that may be useful for further enumeration or recognition algorithms.

major comments (1)
  1. [Main theorem and its proof] The central case analysis relies on the fact that any subgroup of S_p containing a regular p-cycle is contained in AGL(1,p). The manuscript should cite the precise reference (e.g., the theorem on the normalizer of a p-cycle) and verify that every relevant subgroup is examined in the schurity check; without this explicit anchor the completeness of the case division is difficult to confirm.
minor comments (3)
  1. [Abstract] Abstract, line 3: 'association schemes' should read 'association scheme'; 'subgrou' should read 'subgroup'; the phrasing 'p = +1, or -1 (mod 8)' should be replaced by the standard 'p ≡ ±1 (mod 8)'.
  2. [Introduction] The introduction should include a short self-contained definition of a ternary coherent configuration and a one-sentence reminder of how the circulant condition (existence of a regular cyclic automorphism subgroup) differs from the schurian condition.
  3. [Throughout] Notation for the automorphism group is occasionally written AGL1(p) without parentheses; consistent use of AGL(1,p) would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive suggestion regarding the group-theoretic foundation of our case analysis. We address the major comment below and will incorporate the requested clarifications in a revised version.

read point-by-point responses

  1. Referee: [Main theorem and its proof] The central case analysis relies on the fact that any subgroup of S_p containing a regular p-cycle is contained in AGL(1,p). The manuscript should cite the precise reference (e.g., the theorem on the normalizer of a p-cycle) and verify that every relevant subgroup is examined in the schurity check; without this explicit anchor the completeness of the case division is difficult to confirm.

    Authors: We agree that an explicit reference and verification will improve the clarity of the argument. We will add a citation to the standard theorem that the normalizer in S_p of the cyclic subgroup generated by a p-cycle is isomorphic to AGL(1,p) (this is a classical result on the structure of the normalizer of a p-cycle; see, e.g., Theorem 3.5 in Dixon and Mortimer, Permutation Groups, or any standard reference on permutation group theory). We will also insert a short paragraph immediately preceding the case analysis that recalls this fact, notes that our automorphism groups contain a regular cyclic subgroup of order p, and confirms that the subsequent case division enumerates all subgroups of AGL(1,p) containing such a cyclic subgroup. This will make the completeness of the schurity verification explicit. revision: yes

Circularity Check

0 steps flagged

No significant circularity; direct proof via external group theory

full rationale

The manuscript establishes its main theorem through case analysis on the possible automorphism groups containing a regular cyclic subgroup of prime order p, invoking the standard fact that such groups are subgroups of AGL(1,p). This classification is drawn from classical permutation group theory rather than from any self-citation or fitted parameter. Definitions of ternary coherent configurations and schurity are taken from Babai (2016) and Mesner-Bhattacharya (1990), which are independent external references. No equation or claim reduces by construction to a prior result of the same authors, and the exempted cases are explicitly left open rather than forced by internal fitting. The derivation chain is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard group theory and the definitions of ternary coherent configurations and schurian property from prior work; no free parameters, new entities, or ad hoc axioms are indicated in the abstract.

axioms (2)
  • standard math Standard axioms of group actions and orbit decompositions on finite sets
    Invoked implicitly for the definition of schurian configurations and automorphism groups.
  • domain assumption Definitions of ternary coherent configurations as per Babai and association schemes on triples as per Mesner-Bhattacharya
    The entire framework rests on these established combinatorial definitions.

pith-pipeline@v0.9.0 · 5459 in / 1261 out tokens · 49933 ms · 2026-05-10T05:01:09.320608+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

18 extracted references · 18 canonical work pages

  1. [1]

    Babai,Graph isomorphism in quasipolynomial time, 2016, arXiv:1512.03547 [cs.DS], pp

    L. Babai,Graph isomorphism in quasipolynomial time, 2016, arXiv:1512.03547 [cs.DS], pp. 1– 89

    work page arXiv 2016

  2. [2]

    J. M. P. Balmaceda and Dom V. A. Briones,Families of association schemes on triples from two-transitive groups, Ars Math. Contemp.25(2025), no. 3, Paper No. 5, 16

    work page 2025

  3. [3]

    Bhattacharya and C

    P. Bhattacharya and C. E. Praeger,Circulant association schemes on triples, New Zealand J. Math.52(2021 [2021–2022]), 153–165

    work page 2021

  4. [4]

    J. Y. Cai, M. F¨ urer, and N. Immerman,An optimal lower bound on the number of variables for graph identification, Combinatorica12(1992), 389–410

    work page 1992

  5. [5]

    P. J. Cameron,Permutation groups, Cambridge University Press, 1999

    work page 1999

  6. [6]

    Chen and I

    G. Chen and I. Ponomarenko,Coherent configurations, Central China Normal University Press, 2019, the updated version is available athttp://www.pdmi.ras.ru/ ~inp/ccNOTES.pdf

    work page 2019

  7. [7]

    G. Chen, Q. Ren, and I. Ponomarenko,On the Weisfeiler algorithm of depth-1stabilization, Theoretical Computer Science,1054, no. 3, 115460 (2025)

    work page 2025

  8. [8]

    S. D. Cohen, T. Oliveira e Silva, and T. Trudgian,A proof of the conjecture of Cohen and Mullen on sums of primitive roots, Math. Comp.84(2015), no. 296, 2979–2986

    work page 2015

  9. [9]

    Evdokimov and I

    S. Evdokimov and I. Ponomarenko,Characterization of cyclotomic schemes and normal Schur rings over a cyclic group, St. Petersburg Math. J.14(2003), no. 2, 189–221

    work page 2003

  10. [10]

    Graph isomorphisms in quasi-polynomial time

    H. Helfgott, J. Bajpai, and D. Dona,Graph isomorphisms in quasi-polynomial time, 2017, arXiv:1710.04574, pp. 1–67

    work page Pith review arXiv 2017

  11. [11]

    Higman,Coherent configurations 1, Rend

    D. Higman,Coherent configurations 1, Rend. Mat. Sem. Padova44(1970), 1–25

    work page 1970

  12. [12]

    G. A. Jones,Cyclic regular subgroups of primitive permutation groups, J. Group Theory5 (2002), no. 4, 403–407

    work page 2002

  13. [13]

    K. H. Leung and S. H. Man,On Schur rings over cyclic groups. II, J. Algebra183(1996), no. 2, 273–285

    work page 1996

  14. [14]

    D. M. Mesner and P. Bhattacharya,Association schemes on triples and a ternary algebra, J. Combin. Theory A,55(1990), 204–234

    work page 1990

  15. [15]

    Muzychuk,A solution of the isomorphism problem for circulant graphs, Proc

    M. Muzychuk,A solution of the isomorphism problem for circulant graphs, Proc. London Math. Soc.88(2004), 1–41

    work page 2004

  16. [16]

    Wielandt,Permutation groups through invariant relations and invariant functions, Lect

    H. Wielandt,Permutation groups through invariant relations and invariant functions, Lect. Notes Dept. Math. Ohio St. Univ. Columbus, 1969

    work page 1969

  17. [17]

    Wielandt,Permutation representations, Illinois J

    H. Wielandt,Permutation representations, Illinois J. Math.13(1969), 91–94

    work page 1969

  18. [18]

    Wu, Ren Q, and I

    Y. Wu, Ren Q, and I. Ponomarenko,A lower bound for the Weisfeiler-Leman dimension of circulant graphs, accepted to Electronic J. Combin. (2025); arXiv:2507.10116 [math.CO]. 12 GANG CHEN, QING REN, AND ILIA PONOMARENKO School of Mathematics and Statistics, Hainan University, Haikou 570228, China Email address:chengangmath@mail.ccnu.edu.cn Guangxi Technolog...

    work page arXiv 2025