arXiv++ Combinatorics

We introduce regularized bivariate affine $q$-Krawtchouk polynomials and show that they give the first eigenmatrix of a translation association scheme on $\operatorname{Mat}_{d\times n}(\operatorname{GR}(p^2,r))$. The relations are defined by Smith type, and the corresponding eigenvalues are written as character sums over Smith type classes. The proof is based on recurrence relations obtained from the transition numbers describing how Smith types change when one row and one column are added to a matrix. These recurrences identify the character sums with the regularized bivariate affine $q$-Krawtchouk polynomials.

We study $T$-designs in the nonbinary Johnson scheme. This scheme generalizes both the Johnson and Hamming schemes and admits a bivariate $Q$-polynomial structure. Zhu (2021) provided a combinatorial characterization of $T$-designs in this scheme for certain index sets $T$, using a relationship between $T$-designs in the nonbinary Johnson scheme and relative designs in the nonbinary Hamming scheme. In this paper, we obtain a characterization that applies to a strictly larger class of index sets $T$, based on a methodological extension of Delsarte's original framework (1973). This new characterization naturally recovers classical block designs and orthogonal arrays as special cases. To describe these designs uniformly, we introduce $(r,s)$-designs, a new family of combinatorial objects that arise naturally from our characterization. We also derive absolute lower bounds on the cardinality of $(r,s)$-designs from the multiplicities of the primitive idempotents of the nonbinary Johnson scheme, and construct examples with index $λ=1$ that attain certain natural lower bounds.

This paper delves into the Terwilliger algebra associated with the ordered Hamming scheme, which extends from the wreath product of one-class association schemes and was initially introduced by Delsarte as a natural expansion of the Hamming schemes. Levstein, Maldonado and Penazzi have shown that the Terwilliger algebra of the Hamming scheme of length $n$ is the $n$-fold symmetric tensor algebra of that of the one-class association scheme. Furthermore, Bhattacharyya, Song and Tanaka have established that the Terwilliger algebra of the wreath product of a one-class association scheme is a direct sum of the ``primary'' subalgebra and commutative subalgebras. This paper extends these findings to encompass both conclusions.

The generalized wreath product of symmetric association schemes was introduced by R.A.Bailey in the European Journal of Combinatorics 27 (2006) 428-435. It is recognized as a unification of both the wreath product and the direct product of symmetric association schemes. While its potential applicability to any association scheme had been implied, this paper provides a formal and explicit confirmation of that claim. Moreover, we establish the irreducible representations of its adjacency algebra and Terwilliger algebra.

Let $\mathbb{F}$ be any field. The Grassmannian $\mathrm{Gr}(m,n)$ is the set of $m$-dimensional subspaces in $\mathbb{F}^n$, and the general linear group $\mathrm{GL}_n(\mathbb{F})$ acts transitively on it. The Schubert cells of $\mathrm{Gr}(m,n)$ are the orbits of the Borel subgroup $\mathcal{B} \subset \mathrm{GL}_n(\mathbb{F})$ on $\mathrm{Gr}(m,n)$. We consider the association scheme on each Schubert cell defined by the $\mathcal{B}$-action and show it is symmetric and it is the generalized wreath product of one-class association schemes, which was introduced by R. A. Bailey [European Journal of Combinatorics 27 (2006) 428--435].

In this paper, we introduce an algebra $\mathcal{H}$ from a subspace lattice with respect to a fixed flag which contains its incidence algebra as a proper subalgebra. We then establish a relation between the algebra $\mathcal{H}$ and the quantum affine algebra $U_{q^{1/2}}(\widehat{\mathfrak{sl}}_2)$, where $q$ denotes the cardinality of the base field. It is an extension of the well-known relation between the incidence algebra of a subspace lattice and the quantum algebra $U_{q^{1/2}}(\mathfrak{sl}_2)$. We show that there exists an algebra homomorphism from $U_{q^{1/2}}(\widehat{\mathfrak{sl}}_2)$ to $\mathcal{H}$ and that any irreducible module for $\mathcal{H}$ is irreducible as an $U_{q^{1/2}}(\widehat{\mathfrak{sl}}_2)$-module.