Pith. sign in

REVIEW 2 major objections 4 minor 58 references

The Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercubes

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper establishes that the hypercube's Terwilliger algebra, the fixed tensors of its automorphism group, and the degree-N homogeneous polynomials in four variables are isomorphic $\mathfrak{sl}_4(\mathbb C)$-modules, with explicit…

desk verdict A substantial, mostly self-contained unification of sl4 representations with the hypercube Terwilliger algebra; the only real caveat is a load-bearing norm identity imported from an unpublished preprint. read the letter →

arxiv 2505.03951 v1 pith:436POTV2 submitted 2025-05-06 math.CO math.RT

William J. Martin , Paul Terwilliger This is my paper · ORCID
classification math.COmath.RT MSC 05E3017B10
keywords Liealgebrasl4(C)hypercubegraphssubconstituentTerwilligerS3-symmetrictridiagonalKrawtchoukpolynomialsWedderburndecompositionderivation
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes that three a priori unrelated objects attached to the $N$-cube $H(N,2)$ are the same $\mathfrak{sl}_4(\mathbb C)$-module in three guises: the homogeneous degree-$N$ polynomials in four variables, the subspace of $V^{\otimes 3}$ fixed by the hypercube's automorphism group, and the subconstituent (Terwilliger) algebra generated by the adjacency map and a dual adjacency map. The isomorphisms are written down explicitly, for instance a monomial $x^r y^s z^t w^u$ maps to $\frac{r!s!t!u!}{(N!)^{1/2}} E^*_j A_h E^*_i$ with $h=t+u$, $i=u+s$, $j=s+t$, and the maps preserve the Hermitian norms. If correct, the representation theory of $\mathfrak{sl}_4(\mathbb C)$ organizes the hypercube's adjacency algebra, and the Wedderburn decomposition of the Terwilliger algebra coincides with an orthogonal decomposition of the polynomial space into spaces $R_1^{\ell}(\ker L_1 \cap P_{N-2\ell})$. The result gives a parameter-free, symmetric reason why the hypercube's Terwilliger algebra has its particular dimension and structure constants.

What carries the argument

The engine is the six-generator presentation of $\mathfrak{sl}_4(\mathbb C)$ with $[A_i,A_i^*]=0$ and each pair $(A_j,A_k^*)$ generating a copy of $\mathfrak{sl}_2(\mathbb C)$, together with the lowering and raising maps $L_i,R_i$ on the polynomial algebra, such as $L_1=D_xD_y-D_zD_w$ and $R_1=M_xM_y-M_zM_w$, which satisfy $[L_i,R_i]=\Omega+2I$. These maps produce the orthogonal decomposition $P_N=\bigoplus_{\ell} R_1^{\ell}(\ker L_1\cap P_{N-2\ell})$. On the graph side, the identity $\|Q_{h,i,j}\|^2=\|P_{h,i,j}\|^2$ from the $S_3$-symmetric tridiagonal algebra framework makes the vectors $B^*(r,s,t,u)=Q_{t+u,u+s,s+t}$ an orthogonal basis of $\mathrm{Fix}(G)$, and the linear map $\varepsilon$ sending a triple tensor to $2^{N/2}E^*_jA_hE^*_i$ transfers the $\mathfrak{sl}_4(\mathbb C)$-action to the Terwilliger algebra.

What would settle it

For $N=2$, compute directly the vectors $P_{2,0,0}=\sum_{x\otimes y\otimes z\text{ with profile }(2,0,0)}x\otimes y\otimes z$ and $Q_{2,0,0}=4\sum_x E_2x\otimes E_0x\otimes E_0x$ in $V^{\otimes 3}$ for $H(2,2)$, and compare their squared norms; the theorem predicts both equal $N!2^N/2!=4$. A mismatch for any such pair $(h,i,j)$ would falsify the norm-preserving isometry and the $B^*$ basis.

Watch

Extended reading notes

Core claim

The central discovery is that the $N$-cube's subconstituent algebra $T$, its fixed-tensor space $\mathrm{Fix}(G)$, and the homogeneous polynomials $P_N$ of degree $N$ in four variables are isomorphic $\mathfrak{sl}_4(\mathbb C)$-modules. The paper defines six generators $A_1,A_2,A_3,A^*_1,A^*_2,A^*_3$ of $\mathfrak{sl}_4(\mathbb C)$ with a symmetric presentation; on $P_N$ they act as derivations, on $\mathrm{Fix}(G)$ as three copies of the adjacency map and three dual-adjacency maps, and on $T$ as left and right multiplication by $A$ and $A^*$. The main theorems display isometric isomorphisms $\ddagger:P_N\to \mathrm{Fix}(G)$ and $\vartheta:P_N\to T$, and Theorem 18.30 proves that $\vartheta$ sends each summand $R_1^{\ell}(\ker L_1 \cap P_{N-2\ell})$ onto the minimal two-sided ideal $\varphi_\ell T$ of the Terwilliger algebra, matching the polynomial orthogonal decomposition to the Wedderburn decomposition of $T$.

Load-bearing premise

The argument leans on the norm identity $\|Q_{h,i,j}\|^2=\|P_{h,i,j}\|^2$ and the $S_3$-symmetric tridiagonal algebra machinery from a preprint by one of the authors that is only 'to appear'; if those unpublished identities were wrong, the orthogonal basis for $\mathrm{Fix}(G)$ and the isometric isomorphisms would collapse.

Editorial extensions

If this is right

  • The Wedderburn decomposition of the Terwilliger algebra of $H(N,2)$ is indexed by the same integer $\ell$ that indexes the polynomial decomposition, with each minimal ideal $\varphi_\ell T$ isomorphic to $V_{N-2\ell}\otimes V_{N-2\ell}$ as an $\mathfrak{sl}_2(\mathbb C)\oplus\mathfrak{sl}_2(\mathbb C)$-module.
  • The monomial basis of $P_N$ maps to explicit elements $E^*_j A_h E^*_i$, giving a direct dictionary between polynomial multiplication and the hypercube's intersection numbers.
  • Every $\mathfrak{sl}_4(\mathbb C)$-weight space of $P_N$, $\mathrm{Fix}(G)$, and $T$ is one-dimensional, so the structure of the hypercube's Terwilliger algebra can be studied as a weight-space theory of $\mathfrak{sl}_4(\mathbb C)$.
  • The norm-preserving isometries transfer the known Hermitian form on polynomials to the $E^*_j A_h E^*_i$ basis of $T$, with inner products expressible as Krawtchouk-type hypergeometric sums.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper's symmetric setup is natural for a $q$-analog: the authors pose the problem of treating arbitrary 2-homogeneous bipartite distance-regular graphs, and a $q$-deformation of $\mathfrak{sl}_4(\mathbb C)$ would plausibly play the role of the Lie algebra for those graphs.
  • The explicit isomorphism $\vartheta$ suggests that the hypercube's Terwilliger algebra can serve as a concrete computational model for finite-dimensional $\mathfrak{sl}_4(\mathbb C)$-modules, since the algebra product encodes the Casimir and lowering/raising structure of $P_N$.
  • One can independently verify the main theorems for small $N$ by writing down the matrices of $A$ and $A^*$ and checking that the explicit images of monomials satisfy the $\mathfrak{sl}_4(\mathbb C)$-module relations, without invoking the preprint's norm identity.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper develops an explicit bridge between the Lie algebra sl4(C), the polynomial algebra P = C[x,y,z,w], and the combinatorics of the hypercube H(N,2). It defines an sl4(C)-action on P by derivations, proves that each homogeneous component P_N is irreducible, and exhibits two monomial bases diagonalizing the two Cartan subalgebras H and H*. It introduces lowering and raising maps L_i, R_i and decomposes P_N into an orthogonal direct sum of irreducible sl2(C) ⊕ sl2(C)-submodules, with explicit bases and norms. In the second half, for the hypercube it constructs the fixed space Fix(G) of the automorphism group on V^{⊗3} and the subconstituent algebra T, turns both into sl4(C)-modules, and builds explicit isomorphisms ‡ : P_N → Fix(G) and ϑ : P_N → T that preserve the Hermitian forms. The headline results are Theorems 17.28, 17.34, 18.16, 18.18, 18.20, 18.21, 18.22, and 18.30; in particular ϑ sends x^r y^s z^t w^u to r!s!t!u!/(N!)^{1/2} E*_j A_h E*_i and sends the decomposition (56) of P_N to the Wedderburn decomposition of T.

Significance. If the cited external norm identity holds, this is a substantial and valuable paper. It gives a strikingly explicit instance of how a Lie algebra action, an invariant subspace of a tensor power, and a Terwilliger algebra can be identified in a norm-preserving way. The main isomorphisms are not asserted abstractly; they are built by matching the six generators on explicit bases, and the paper computes orthogonal bases, squared norms, and inner products in detail. The explicit formulas for the action tables, the polynomial P∨, the bases A^s_1 A^t_2 A^u_3 x^N, and the map to the Wedderburn decomposition are concrete and should be useful in later work. The main weakness is the reliance on the author's preprint [57] for Lemma 17.36, which is load-bearing for the norm-preserving claims; this is a correctness-risk that can be removed by supplying a proof.

major comments (2)
  1. [§17, Lemma 17.36] The proof of Lemma 17.36(i), the identity ||Q_{h,i,j}||^2 = ||P_{h,i,j}||^2, is a bare citation to [57, Lemmas 9.11, 9.16], which is an author preprint listed as 'to appear'. This identity is load-bearing: it enters Lemma 17.38 (norms of the B*(r,s,t,u)), Proposition 17.39 (B* is a basis), Proposition 17.45 (the image of the x*-basis under ‡), and, through Lemma 18.17, Theorems 18.18 and 18.22. The text does not show that the normalization in [57] matches Definition 17.35, including the factor 2^N and the conventions for E_i and E_j, nor does it reproduce the cited lemmas. I ask the authors to include a proof of Lemma 17.36(i), or at minimum to state and prove the precise norm identity in an appendix, so that the main isometric isomorphisms are self-contained.
  2. [§3, Lemma 3.6] The isomorphism between the presented Lie algebra L and sl4(C) is central because the paper identifies L with sl4(C) throughout. Its proof says 'One checks' twice: once that the six matrices satisfy the relations in Definition 3.5, and once that the displayed C-linear map sl4(C) → L is the inverse of ♯. Since this lemma is the foundation for all subsequent sl4(C)-module structures, I request that the verification be spelled out more fully, for instance by tabulating the necessary bracket values or by giving a dimension argument for the inverse map. This is a completeness request rather than a claim of error.
minor comments (4)
  1. [§5, Proposition 5.9] In the statement of Proposition 5.9, 'acton' should be 'action'.
  2. [§11] There are typographical omissions in the sl2 notation: 'the sl4(C)-module P becomes an sl2C)-module' and similar phrases should read sl2(C) and sl4(C).
  3. [§12, Lemma 12.8] In the proof of Lemma 12.8, the phrase 'the numerator term on the right is contained in L1(P) by induction' is ambiguous because the displayed fraction contains two terms in the numerator; the sentence should identify the term explicitly.
  4. [§17, Lemma 17.43] The line 'I = ∑_{ℓ=0}^N E_ℓ' is used in the proof of Lemma 17.43; for clarity it could be labeled as an instance of the resolution of the identity for the primitive idempotents E_ℓ.

Circularity Check

1 steps flagged · score 4.0 of 10

Norm-preserving isometries depend on Lemma 17.36, whose key identity is cited to the authors' unpublished preprint [57]; module-structure proofs are independent.

  1. self citation load bearing [Section 17, Lemma 17.36 (used in Lemmas 17.38, 18.17; Propositions 17.39, 17.45; Theorems 18.18, 18.22)]
    "For 0 ≤ h,i,j ≤ N the following hold: (i) ‖Q_{h,i,j}‖^2 = ‖P_{h,i,j}‖^2, where P_{h,i,j} is from Remark 17.20; (ii) Q_{h,i,j} ≠ 0 if and only if (h,i,j) ∈ P′′_N. Proof. (i) By [57, Lemmas 9.11, 9.16] and Remark 17.17. (ii) By Remark 17.20 and (i) above."

    Lemma 17.36(i) asserts ||Q||^2 = ||P||^2 with proof 'By [57, Lemmas 9.11, 9.16]', where [57] is the same author's 'to appear' preprint. This identity supplies the norm and orthogonality of the B* basis (Lemma 17.38), the basis property (Prop 17.39), the action of ‡ on the x*-basis (Prop 17.45), and the Hermitian-form comparison on Fix(G) vs T (Lemma 18.17, Thms 18.18/18.22). Thus the headline norm-preserving isometries reduce, at this point, to a self-citation rather than to a proof in this text. The sl4-module isomorphisms themselves are proved independently, so the circularity is partial.

full rationale

The core derivations are direct: the sl4(C) presentation, the polynomial module action, the Fix(G)-module structure, and the subconstituent-algebra module structure are each constructed explicitly, with generator actions checked on explicit bases (Propositions 5.10, 17.32; Theorems 17.34, 18.16). No fitted parameter is renamed as a prediction. The only circularity-adjacent point is Lemma 17.36, which delegates the norm identity ||Q||^2 = ||P||^2 to [57], an author preprint. This identity is load-bearing for the B* basis and for the norm-preserving statements (Theorems 18.18, 18.22), but the cited result appears to be a separate parameter-free theorem, so this is self-citation rather than definitional circularity. The central claims retain independent content, so the score is 4 rather than higher.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted to data. The paper works over C with fixed N; all maps (A_i, A*_i, L_i, R_i, C_i, ‡, ϑ) are explicitly constructed with no adjustable constants. The choice of base vertex κ in the Terwilliger algebra and the choice of Cartan subalgebras are structural, not fitted. The paper introduces no new particles, forces, dimensions, or conserved quantities. New algebraic objects (the six generators of sl4, maps L_i, R_i, C_i, isomorphisms ‡ and ϑ) are explicit constructions in already-existing vector spaces.

assumptions (4)
  • standard math P_N is an irreducible sl4(C)-module for each N (Lemma 5.11, citing [31, p. 97]).
    Standard irreducibility of the degree-N homogeneous component of the polynomial representation of sl_n; used throughout to justify weight-space and decomposition claims.
  • domain assumption The S3-symmetric tridiagonal algebra framework and the norm identities from [57] (an arXiv preprint by one of the authors) are valid; in particular ||Q_{h,i,j}||^2 = ||P_{h,i,j}||^2 in Lemma 17.36.
    Load-bearing reliance on the self-cited forthcoming paper [57] for definitions of P_{h,i,j}, Q_{h,i,j} and for norm relations used to build orthogonal bases of Fix(G) and to prove isometric isomorphisms.
  • domain assumption The structure of the Terwilliger algebra T of the hypercube: dimension (N+3 choose 3), the basis E*_i A_h E*_j with (h,i,j) in P''_N, and the Wedderburn decomposition T = ⊕ φ_ℓ T from [23, Theorems 14.10, 14.14, Corollary 14.15, Lemma 18.3].
    Prior published results needed for Section 18, especially Theorem 18.30 matching the polynomial decomposition to the Wedderburn decomposition.
  • standard math The identity [40, Line (6)] evaluating the inner products between the two bases as hypergeometric sums (Proposition 9.17).
    Published result of Mizukawa and Tanaka; used to compute transition coefficients between monomials and the x*,y*,z*,w* monomials.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercubes." pith.science (2026). https://pith.science/paper/436POTV2

@misc{pith2026250503951,
  author       = {Pith},
  title        = {Pith review of: The Lie algebra $\mathfraksl_4(\mathbb C)$ and the hypercubes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/436POTV2}},
  note         = {Machine review of arXiv:2505.03951}
}
abstract

We describe a relationship between the Lie algebra $\mathfrak{sl}_4(\mathbb C)$ and the hypercube graphs. Consider the $\mathbb C$-algebra $P$ of polynomials in four commuting variables. We turn $P$ into an $\mathfrak{sl}_4(\mathbb C)$-module on which each element of $\mathfrak{sl}_4(\mathbb C)$ acts as a derivation. Then $P$ becomes a direct sum of irreducible $\mathfrak{sl}_4(\mathbb C)$-modules $P = \sum_{N\in \mathbb N} P_N$, where $P_N$ is the $N$th homogeneous component of $P$. For $N\in \mathbb N$ we construct some additional $\mathfrak{sl}_4(\mathbb C)$-modules ${\rm Fix}(G)$ and $T$. For these modules the underlying vector space is described as follows. Let $X$ denote the vertex set of the hypercube $H(N,2)$, and let $V$ denote the $\mathbb C$-vector space with basis $X$. For the automorphism group $G$ of $H(N,2)$, the action of $G$ on $X$ turns $V$ into a $G$-module. The vector space $V^{\otimes 3} = V \otimes V \otimes V$ becomes a $G$-module such that $g(u \otimes v \otimes w)= g(u) \otimes g(v) \otimes g(w)$ for $g\in G$ and $u,v,w \in V$. The subspace ${\rm Fix}(G)$ of $V^{\otimes 3}$ consists of the vectors in $V^{\otimes 3}$ that are fixed by every element in $G$. Pick $\varkappa \in X$. The corresponding subconstituent algebra $T$ of $H(N,2)$ is the subalgebra of ${\rm End}(V)$ generated by the adjacency map $\sf A$ of $H(N,2)$ and the dual adjacency map ${\sf A}^*$ of $H(N,2)$ with respect to $\varkappa$. In our main results, we turn ${\rm Fix}(G)$ and $T$ into $\mathfrak{sl}_4(\mathbb C)$-modules, and display $\mathfrak{sl}_4(\mathbb C)$-module isomorphisms $P_N \to {\rm Fix}(G) \to T$. We describe the $\mathfrak{sl}_4(\mathbb C)$-modules $P_N$, ${\rm Fix}(G)$, $T$ from multiple points of view.

Figures

Figures reproduced from arXiv: 2505.03951 by the authors.

Figure 1
Figure 1. Nonadjacent matrices commute. Adjacent matrices generate a Lie subalgebra isomorphic to sl2(C). 12 [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

58 extracted references · 45 canonical work pages

  1. [57]

    Terwilliger

    P. Terwilliger. The S3-symmetric tridiagonal algebra. To appear in J. Algebraic Combin.; arXiv:2407.00551

    work page arXiv

  2. [1]

    Bannai, Et

    E. Bannai, Et. Bannai, T. Ito, R. Tanaka. Algebraic Combinatorics. De Gruyter Series in Discrete Math and Applications 5. De Gruyter, 2021. https://doi.org/10.1515/9783110630251

    doi:10.1515/9783110630251 2021

  3. [2]

    Bannai, T

    E. Bannai, T. Ito. Algebraic Combinatorics, I. Association schemes. Ben- jamin/Cummings, Menlo Park, CA, 1984

    work page 1984

  4. [3]

    P. A. Bernard, N. Cramp´ e, L. Vinet. The Terwilliger algebra of sy mplectic dual polar graphs, the subspace lattices and Uq(sl2). Discrete Math. 345 (2022) no. 12, Paper No. 113169, 19 pp.; arXiv:2108.13819

    work page Pith review arXiv 2022

  5. [4]

    P. A. Bernard, N. Cramp´ e, L. Vinet. Entanglement of free fermions on Hamming graphs. Nuclear Phys. B 986 (2023) Paper No. 116061, 22 pp.; arXiv:2103.15742

    work page Pith review arXiv 2023

  6. [5]

    P. A. Bernard, N. Cramp´ e, L. Vinet. Entanglement of free fer mions on Johnson graphs. J. Math. Phys. 64 (2023) no. 6, Paper No. 061903, 15 pp.; arXiv:2104.11581. 81

    work page Pith review arXiv 2023

  7. [6]

    P. A. Bernard, E. Poliquin, L. Vinet. A q-version of the relation between the hypercube, the Krawtchouk chain and Dicke states. J. Phys. A 57 (2024) no. 50, Paper No. 505202, 12 pp.; arXiv:2408.14388

    work page Pith review arXiv 2024

  8. [7]

    A. E. Brouwer, A. Cohen, A. Neumaier. Distance Regular-Graphs. Springer-Verlag, Berlin, 1989

    work page 1989

Show all 58 references
  1. [8]

    R. Carter. Lie algebras of finite and affine type . Cambridge Studies in Advanced Mathematics 96. Cambridge U. Press. Cambridge, 2005

    2005

  2. [9]

    J. S. Caughman IV and N. Wolff. The Terwilliger algebra of a distance -regular graph that supports a spin model. J. Algebraic Combin. 21 (2005) 289–310

    2005

  3. [10]

    D. Cerzo. Structure of thin irreducible modules of a Q-polynomial distance-regular graph. Linear Algebra Appl. 433 (2010) 1573–1613; arXiv:1003.5368

    2010 arXiv

  4. [11]

    Cramp´ e, K

    N. Cramp´ e, K. Guo, L. Vinet. Entanglement of free Fermions o n Hadamard graphs. Nuclear Phys. B 960 (2020) 115176, 24 pp.; arXiv:2008.04925

    2020 arXiv

  5. [12]

    B. Curtin. 2-Homogeneous bipartite distance-regular graphs . Discrete Math. 187 (1998) 39–70

    1998

  6. [13]

    Curtin and K

    B. Curtin and K. Nomura. Distance-regular graphs related to t he quantum enveloping algebra of sl(2). J. Algebraic Combin. 12 (2000) 25–36

    2000

  7. [14]

    B. Curtin. The Terwilliger algebra of a 2-homogeneous bipartite d istance-regular graph. J. Combin. Theory Ser. B 81 (2001) 125–141

    2001

  8. [15]

    B. Curtin. Inheritance of hyper-duality in imprimitive Bose-Mesn er algebras. Discrete Math. 308 (2008), no. 14, 3003–3017

    2008

  9. [16]

    B. Curtin. Distance-regular graphs which support a spin model are thin. Discrete Math. 197/198 (1999) 205–216

    1999

  10. [17]

    Curtin and K

    B. Curtin and K. Nomura. Spin models and strongly hyper-self-d ual Bose-Mesner alge- bras. J. Algebraic Combin. 13 (2001) 173–186

    2001

  11. [18]

    Curtis and I

    C. Curtis and I. Reiner. Representation theory of finite groups and associative alge bras. Interscience Publishers. New York-London, 1962

    1962

  12. [19]

    E. R. van Dam, J. H. Koolen, H. Tanaka. Distance-regular grap hs. Electron. J. Combin. (2016) DS22; arXiv:1410.6294

    2016 arXiv

  13. [20]

    Diaconis and R

    P. Diaconis and R. Griffiths. An introduction to multivariate Krawt chouk polynomials and their applications. J. Statist. Plann. Inference 154 (2014) 39–53; arXiv:1309.0112

    2014 arXiv

  14. [21]

    Koolen and A

    J. Koolen and A. Gavrilyuk. A characterization of the Grassman n graphs. J. Combin. Theory Ser. B 171 (2025) 1–27; arXiv:1806.02652. 82

    2025 arXiv

  15. [22]

    Gijswijt, A

    D. Gijswijt, A. Schrijver, H. Tanaka. New upper bounds for no nbinary codes based on the Terwilliger algebra and semidefinite programming. J. Combin. Theory Ser. A 113 (2006) 1719–1731

    2006

  16. [23]

    J. T. Go. The Terwilliger algebra of the hypercube. European J. Combin. 23 (2002) 399–429

    2002

  17. [24]

    R. Griffiths. Multivariate Krawtchouk polynomials and composition birth and death processes. Symmetry 8 (2016) no. 5, Art. 33, 19 pp.; arXiv:1603.00196

    2016 arXiv

  18. [25]

    Humphreys

    J. Humphreys. Introduction to Lie algebras and representation theory . Graduate Texts in Math., Vol. 9 Springer-Verlag, New York-Berlin, 1972

    1972

  19. [26]

    T. Ito. TD-pairs and the q-Onsager algebra. Sugaku Expositions 32 (2019) 205–232

    2019

  20. [27]

    T. Ito, K. Tanabe, P. Terwilliger. Some algebra related to P - and Q-polynomial as- sociation schemes. Codes and Association Schemes (Piscataway NJ, 1999), 167–1 92, DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 56, Amer. Math. Soc., Providence RI 2001; arXiv:math.CO/0406556

    1999

  21. [28]

    Ito and P

    T. Ito and P. Terwilliger. Distance-regular graphs and the q-tetrahedron algebra. Eu- ropean J. Combin. 30 (2009) 682–697; arXiv:math.CO/0608694

    2009

  22. [29]

    Ito and P

    T. Ito and P. Terwilliger. Distance-regular graphs of q-Racah type and the q-tetrahedron algebra. Michigan Math. J. 58 (2009) 241–254; arXiv:0708.1992

    2009 arXiv

  23. [30]

    T. Ito, P. Terwilliger. The augmented tridiagonal algebra. Kyushu J. Math. 64 (2010) 81–144; arXiv:0904.2889

    2010 arXiv

  24. [31]

    J. Jantzen. Lectures on quantum groups . Graduate Studies in Mathematics, 6. Amer. Math. Soc. Providence, RI, 1996

    1996

  25. [32]

    Koekoek, P

    R. Koekoek, P. A. Lesky, R. F. Swarttouw. Hypergeometric orthogonal polynomials and their q-analogues. Springer monograph series, 2010, Springer

    2010

  26. [33]

    J. H. Lee. Q-polynomial distance-regular graphs and a double affine Hecke algeb ra of rank one. Linear Algebra Appl. 439 (2013) 3184–3240; arXiv:1307.5297

    2013 arXiv

  27. [34]

    J. H. Lee. Nonsymmetric Askey-Wilson polynomials and Q-polynomial distance-regular graphs. J. Combin. Theory Ser. A 147 (2017) 75–118; arXiv:1509.04433

    2017 arXiv

  28. [35]

    J. H. Lee and H. Tanaka. Dual polar graphs, a nil-DAHA of rank o ne, and non- symmetric dual q-Krawtchouk polynomials. SIGMA Symmetry Integrability Geom. Methods Appl. 14 (2018) Paper No. 009, 27 pp.; arXiv:1709.07825

    2018 arXiv

  29. [36]

    J. H. Lee. Grassmann graphs, degenerate DAHA, and non-sy mmetric dual q-Hahn polynomials. Linear Algebra Appl. 588 (2020) 160–195; arXiv:1809.08763. 83

    2020 arXiv

  30. [37]

    Liang, T

    X. Liang, T. Ito, Y. Watanabe. The Terwilliger algebra of the Gra ssmann scheme Jq(N,D ) revisited from the viewpoint of the quantum affine algebra Uq(ˆsl2). Linear Algebra Appl. 596 (2020) 117–144

    2020

  31. [38]

    Liang, Y

    X. Liang, Y. Y. Tan, J. Koolen. Thin distance-regular graphs wit h classical parameters (D,q,q, qt−1 q−1 − 1) with t>D are the Grassmann graphs. Electron. J. Combin. 28 (2021) no. 4, Paper No. 4.45, 21 pp

    2021

  32. [39]

    Mizukawa

    H. Mizukawa. Orthogonality relations for multivariate Krawtcho uk polynomials. SIGMA Symmetry Integrability Geom. Methods Appl. 7 (2011) Paper 017, 5 pp.; arXiv:1009.1203

    2011 arXiv

  33. [40]

    Mizukawa and H

    H. Mizukawa and H. Tanaka. ( n + 1,m + 1)-hypergeometric functions associated to character algebras. Proc. Amer. Math. Soc. 132 (2004) 2613–2618

    2004

  34. [41]

    Nicholson

    N. Nicholson. The generalized Terwilliger algebra of the hypercub e. Graphs Combin. 40 (2024) no. 4, Paper No. 70, 29 pp.; arXiv:2301.08366

    2024 arXiv

  35. [42]

    Nomura and P

    K. Nomura and P. Terwilliger. Krawtchouk polynomials, the Lie alge bra sl2, and Leonard pairs. Linear Algebra Appl. 437 (2012) 345–375; arXiv:1201.1645

    2012 arXiv

  36. [43]

    Nomura and P

    K. Nomura and P. Terwilliger. Leonard pairs, spin models, and dist ance-regular graphs. J. Combin. Theory Ser. A (2021) Paper No. 105312, 59 pp.; arXiv:1907.03900

    2021 arXiv

  37. [44]

    Nomura and P

    K. Nomura and P. Terwilliger. Spin models and distance-regular gr aphs of q-Racah type. European J. Combin. 124 (2025) Paper No. 104069, 37 pp.; arXiv:2308.11061

    2025 arXiv

  38. [45]

    G. Pretel. Tridiagonal pairs of Krawtchouk type and their comp atible elements. Ph.D. Dissertation, University of Wisconsin-Madison Department of Math ematics, 2015

    2015

  39. [46]

    J. Rotman. Advanced modern algebra. Prentice Hall, Upper Saddle River, NJ, 2002

    2002

  40. [47]

    R. Sasaki. Multivariate Krawtchouk and Meixner polynomials as bir th and death poly- nomials. Ramanujan J. 66 (2025) no. 1, Paper No. 14, 38 pp.; arXiv:2305.08581

    2025 arXiv

  41. [48]

    Schrijver

    A. Schrijver. New code upper bounds from the Terwilliger algebr a and semidefinite programming. IEEE Trans. Inform. Theory 51 (2005) 2859–2866

    2005

  42. [49]

    I. Seong. A generalization of the Askey-Wilson relations using a p rojective geometry. Preprint; arXiv:2410.11218

    arXiv

  43. [50]

    H. Tanaka. New proofs of the Assmus-Mattson theorem base d on the Terwilliger algebra. European J. Combin. 30 (2009) 736–746; arXiv:math/0612740

    2009 arXiv

  44. [51]

    Terwilliger

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

    1992

  45. [52]

    Terwilliger

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

    1993

  46. [53]

    Terwilliger

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

    1993

  47. [54]

    Terwilliger

    P. Terwilliger. An algebraic approach to the Askey scheme of ort hogonal poly- nomials. Lecture Notes in Math., 1883 Springer-Verlag, Berlin, 2006 , 255–330; arXiv:math/0408390

    2006 arXiv

  48. [55]

    Terwilliger

    P. Terwilliger. Tridiagonal pairs, alternating elements, and dista nce-regular graphs. J. Combin. Theory Ser. A 196 (2023) Paper No. 105724, 41 pp.; arXiv:2207.07741

    2023 arXiv

  49. [56]

    Terwilliger

    P. Terwilliger. Distance-regular graphs, the subconstituent a lgebra, and the Q- polynomial property. London Math. Soc. Lecture Note Ser., 487 C ambridge University Press, London, 2024, 430–491; arXiv:2207.07747

    2024 arXiv

  50. [58]

    Worawannotai

    C. Worawannotai. Dual polar graphs, the quantum algebra Uq(sl2), and Leonard systems of dual q-Krawtchouk type. Linear Algebra Appl. 438 (2013) 443–497; arXiv:1205.2144. William J. Martin Department of Mathematical Sciences Worcester Polytechnic Institute Worcester, MA 01609 U...

    2013 arXiv

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.