pith. sign in

arxiv: 2606.11321 · v1 · pith:ZFZTGBO5new · submitted 2026-06-09 · 🧮 math.CO · math.RT

On Terwilliger mathbb{F}-algebras of factorial association schemes II

Yu Jiang This is my paper

Pith reviewed 2026-06-27 12:19 UTC · model grok-4.3

classification 🧮 math.CO math.RT
keywords Terwilliger algebraassociation schemefactorial schemeblock idempotentJacobson radicalalgebra centeralgebra dimensionF-algebra
0
0 comments X

The pith

The Terwilliger F-algebras of factorial association schemes have all their block idempotents identified along with the dimensions, centers and Jacobson radicals of the blocks.

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

This paper continues the study of Terwilliger F-algebras over an arbitrary field for factorial association schemes begun in prior work. It determines every block idempotent in these algebras. The work then computes the dimensions over the field, the centers, and the Jacobson radicals for each of the block algebras. These calculations provide a full description of the algebraic structure in the factorial case.

Core claim

We get all block idempotents of the Terwilliger F-algebras of factorial association schemes. We get the F-dimensions, the centers, the Jacobson radicals of the block algebras of the Terwilliger F-algebras of factorial association schemes.

What carries the argument

The block idempotents of the Terwilliger F-algebra that decompose it into block algebras whose F-dimensions, centers, and Jacobson radicals are then computed.

Load-bearing premise

The association schemes must be factorial, relying on the definition and results from the cited prior paper.

What would settle it

A factorial association scheme in which either an extra block idempotent appears or one of the computed block dimensions, centers, or radicals fails to match the actual algebra.

read the original abstract

The Terwilliger algebras of association schemes over an arbitrary field $\mathbb{F}$ were called the Terwilliger $\mathbb{F}$-algebras of association schemes in [10]. In [7], He and Jiang studied the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. In this paper, we continue studying the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. We get all block idempotents of the Terwilliger $\mathbb{F}$-algebras of factorial association schemes. We get the $\mathbb{F}$-dimensions, the centers, the Jacobson radicals of the block algebras of the Terwilliger $\mathbb{F}$-algebras of factorial association schemes.

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 paper continues the study begun in [7] of Terwilliger F-algebras of factorial association schemes over an arbitrary field F. It claims to determine all block idempotents of these algebras and, for the resulting block algebras, to compute their F-dimensions, centers, and Jacobson radicals.

Significance. If the explicit descriptions are correct, the work supplies a complete block decomposition and radical structure for these algebras, extending the prior results in [7] and [10] to arbitrary characteristic. Such concrete structural data is useful for further representation-theoretic or combinatorial applications of association schemes.

minor comments (3)
  1. The abstract and introduction should explicitly reference the main theorems (e.g., Theorem 3.4 or Theorem 4.2) that state the block idempotents and the dimension/center/radical formulas, rather than only describing the results in prose.
  2. Notation for the block algebras (e.g., the indexing of blocks by pairs (i,j) or by eigenvalues) should be introduced once in §2 and used consistently; several later sections appear to switch between two equivalent but not identical labelings.
  3. The proof that the listed elements are indeed idempotents and that they sum to the identity would benefit from a short table or diagram summarizing the orthogonality relations, even if the algebraic verification is routine.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, assessment of significance, and recommendation of minor revision. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; new results independent of inputs

full rationale

The paper continues prior work on Terwilliger F-algebras of factorial association schemes from [7] and [10] for definitions and context, but the central claims consist of explicit new derivations of all block idempotents, F-dimensions, centers, and Jacobson radicals. These computations are presented as obtained by structural analysis on the established objects, without any self-definitional reduction, fitted inputs renamed as predictions, or load-bearing self-citation chains that force the results by construction. The derivation remains self-contained with independent mathematical content.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review provides no explicit free parameters, axioms, or invented entities; the work relies on standard definitions of association schemes and Terwilliger algebras from cited literature.

pith-pipeline@v0.9.1-grok · 5635 in / 1030 out tokens · 16846 ms · 2026-06-27T12:19:27.567961+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

20 extracted references

  1. [1]

    R. A. Bailey, Association schemes: Designed Experiments, Algebr a and Combinatorics, Cam- bridge Stud. Adv. Math., vol 84, Cambridge University Press, Cambridge, 2004

    2004

  2. [2]

    Bhattacharyya, S

    G. Bhattacharyya, S. Y. Song, R. Tanaka, Terwilliger algebras o f wreath products of one-class association schemes, J. Algebraic Combin. 31 (2010), 455-466

    2010

  3. [3]

    Z. Chen, C. Xi, Structure of Terwilliger algebras of quasi-thin ass ociation schemes, J. Combin. Theory Ser. A 213 (2025), Paper No. 106024

    2025

  4. [4]

    Curtin, I

    B. Curtin, I. Daqqa, The subconstituent algebra of a Latin squa re, European J. Combin. 30 (2009), 447-457

    2009

  5. [5]

    Drozd, V.V

    Y.A. Drozd, V.V. Kirichenko, Finite Dimensional Algebras, Springer -Verlag, Berlin Heidel- berg, 1994

    1994

  6. [6]

    Hanaki, Modular Terwilliger algebras of association schemes, Gr aphs Combin

    A. Hanaki, Modular Terwilliger algebras of association schemes, Gr aphs Combin. 37 (2021), 1521-1529

    2021

  7. [7]

    J.-Y. He, Y. Jiang, On Terwilliger F-algebras of factorial association schemes I, (2025), arXiv: 2510.23593v1

    arXiv 2025

  8. [8]

    Herman, A survey of semisimple algebras in algebraic combinator ics, Indian J

    A. Herman, A survey of semisimple algebras in algebraic combinator ics, Indian J. Pure Appl. Math. 52 (2021), 631-642

    2021

  9. [9]

    Jiang, A note on modular Terwilliger algebras of association sche mes, Beitr

    Y. Jiang, A note on modular Terwilliger algebras of association sche mes, Beitr. Algebra Geom. 63 (2022), 829-851

    2022

  10. [10]

    Jiang, On Terwilliger F-algebras of quasi-thin association schemes, J

    Y. Jiang, On Terwilliger F-algebras of quasi-thin association schemes, J. Algebraic Combin. 57 (2023), 1219-1251

    2023

  11. [11]

    Jiang, On Terwilliger F-algebras of direct products of group divisible association schemes , Comm

    Y. Jiang, On Terwilliger F-algebras of direct products of group divisible association schemes , Comm. Algebra 54 (2026), 2868-2897

    2026

  12. [12]

    Levstein, C

    F. Levstein, C. Maldonado, D. Penazzi, The Terwilliger algebra of a Hamming scheme H(d, q), European J. Combin. 27 (2006), 1-10

    2006

  13. [13]

    Levstein, C

    F. Levstein, C. Maldonado, The Terwilliger algebra of the Johnso n schemes, Discrete Math. 307 (2007), 1621-1635

    2007

  14. [14]

    B. Lv, C. Maldonado, K. Wang, More on the Terwilliger algebra of J ohnson schemes, Discrete Math. 328 (2014), 54-62

    2014

  15. [15]

    Maleki, On the Terwilliger algebra of the group association sche me of Cn ⋊ C2, Discrete Math

    R. Maleki, On the Terwilliger algebra of the group association sche me of Cn ⋊ C2, Discrete Math. 347 (2024), Paper No.113773

    2024

  16. [16]

    Terwilliger, The subconstituent algebra of an association sch eme

    P. Terwilliger, The subconstituent algebra of an association sch eme. I, J. Algebraic Combin. 1 (1992), 363-388

    1992

  17. [17]

    Terwilliger, The subconstituent algebra of an association sch eme

    P. Terwilliger, The subconstituent algebra of an association sch eme. II, J. Algebraic Combin. 2 (1993), 73-103

    1993

  18. [18]

    Terwilliger, The subconstituent algebra of an association sch eme

    P. Terwilliger, The subconstituent algebra of an association sch eme. III, J. Algebraic Combin. 2 (1993), 177-210

    1993

  19. [19]

    Tomiyama, N

    M. Tomiyama, N. Yamazaki, The subconstituent algebra of a str ongly regular graph, Kyushu J. Math. 48 (1994), 323-334

    1994

  20. [20]

    Zieschang, An Algebraic Approach to Association Schemes , Lecture Notes in Math., vol

    P.-H. Zieschang, An Algebraic Approach to Association Schemes , Lecture Notes in Math., vol. 1628, Springer-Verlag, Berlin, 1996. (Y. Jiang) School of Mathematical Sciences, Anhui University (Qingyu an Campus), No. 111, Jiulong Road, Hefei, 230601, China Email address, Y. Jiang: jiangyu@ahu.edu.cn

    1996