arXiv++ Combinatorics

A square matrix is called Hessenberg whenever each entry below the subdiagonal is zero and each entry on the subdiagonal is nonzero. A Hessenberg pair is an ordered pair of diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a Hessenberg fashion. A Hessenberg system $Φ$ an `oriented' version of a Hessenberg pair. It is known that $Φ$ is determined up to isomorphism by its parameter array; this consists of the eigenvalue sequence of $Φ$, the dual eigenvalue sequence of $Φ$, and a sequence of nonzero scalars $\{φ_i\}_{i=1}^d$ called the split sequence of $Φ$. We are interested in some types of Hessenberg matrices, said to be circular, quasi-circular, tridiagonal, and irreducible tridiagonal. We are interested in the families of Hessenberg systems for which the associated Hessenberg matrices have one of the above types. A Hessenberg system of irreducible tridiagonal type is often called a Leonard system. In this case the associated Hessenberg pair satisfies two relations, called the tridiagonal relations. We are interested in the family of Hessenberg systems for which the associated Hessenberg pair satisfies the tridiagonal relations. We are also interested in the family of Hessenberg systems for which the eigenvalue sequence and dual eigenvalue sequence satisfy a linear three-term recurrence. In the present paper we have two main goals. First, we show how the above families of Hessenberg systems are related to each other. Second, we describe each family in terms of the parameter array.

A square matrix is said to be Hessenberg whenever each entry below the subdiagonal is zero, and each entry on the subdiagonal is nonzero. A Hessenberg matrix is called circular whenever the top-right corner entry is nonzero, and every other entry above the superdiagonal is zero. A circular Hessenberg pair consists of two diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a circular Hessenberg fashion. In 2022, Jae-ho Lee conjectured that a circular Hessenberg pair satisfies two relations called the tridiagonal relations. In the present paper, we prove Lee's conjecture. Our proof is not elementary.

In this paper, we discuss a family of highly regular graphs, said to be distance-regular. We are particularly interested in the distance-regular graphs with valency three. It is known that there exist exactly 13 such graphs. Let $Γ$ denote a distance-regular graph with vertex set $X$. For any vertex $x \in X$, the corresponding Terwilliger algebra $T=T(x)$ is generated by the adjacency algebra $M$ of $Γ$ and the dual adjacency algebra $M^*=M^*(x)$ of $Γ$ with respect to $x$. It is known that the algebra $T$ is semisimple. By construction, the vector space $V=\mathbb{C}^X$ is a module for $T$, said to be standard. In this paper we have the following goal. For each of the 13 distance-regular graphs $Γ$ with valency three, we will decompose the standard module $V$ into a direct sum of irreducible $T$-modules. Using this information, we will work out the dimension of $T$.

We consider a distance-regular graph $Γ=(X, \mathcal R)$ called the bilinear forms graph $H_q(D,N-D)$; we assume $N>2D\geq 6$ and $q \not=2$. We show that $Γ$ satisfies the following strengthened version of the balanced set condition. For a vertex $x \in X$ and $0 \leq i \leq D$ define $Γ_i(x)=\lbrace y \in X\vert \partial(x,y)=i\rbrace$, where $\partial$ denotes the path-length distance function. Abbreviate $Γ(x)=Γ_1(x)$. Let $V={\mathbb R}^X$ denote the standard module for ${\rm Mat}_X(\mathbb R)$. For $x\in X$ let $\hat x \in V$ have $x$-coordinate 1 and all other coordinates 0. Let $E \in {\rm Mat}_X(\mathbb R)$ denote the primitive idempotent that corresponds to the second largest eigenvalue of the adjacency matrix of $Γ$. For a subset $Ω\subseteq X$ define $\widehat Ω= \sum_{x \in Ω} \hat x$. We fix two vertices $x,y \in X$ and write $k=\partial(x,y)$. To avoid degenerate situations, we assume $2 \leq k \leq D-1$. Using $y$ we obtain an equitable partition $\lbrace O_i \rbrace_{i=1}^6$ of the local graph $Γ(x)$. By construction $O_1 = Γ(x) \cap Γ_{k-1}(y)$ and $O_6 = Γ(x) \cap Γ_{k+1}(y)$. We call $\lbrace O_i \rbrace_{i=1}^6$ the $y$-partition of $Γ(x)$. Let $\lbrace O'_i \rbrace_{i=1}^6$ denote the $x$-partition of $Γ(y)$. According to the original balanced set condition, for $i \in \lbrace 1,6\rbrace$ the vector $ E \widehat O_i - E \widehat O'_i$ is a scalar multiple of $E{\hat x}-E{\hat y}$. We show that for $1 \leq i \leq 6$ the vector $ E \widehat O_i - E \widehat O'_i$ is a scalar multiple of $E{\hat x}-E{\hat y}$. We investigate the consequences of this result.

We consider a type of distance-regular graph $Γ=(X, \mathcal R)$ called a bilinear forms graph. We assume that the diameter $D$ of $Γ$ is at least $3$. Fix adjacent vertices $x,y \in X$. In our first main result, we introduce an equitable partition of $X$ that has $6D-2$ subsets and the following feature: for every subset in the equitable partition, the vertices in the subset are equidistant to $x$ and equidistant to $y$. This equitable partition is called the $(x,y)$-partition of $X$. By definition, the subconstituent algebra $T=T(x)$ is generated by the Bose-Mesner algebra of $Γ$ and the dual Bose-Mesner algebra of $Γ$ with respect to $x$. As we will see, for the $(x,y)$-partition of $X$ the characteristic vectors of the subsets form a basis for a $T$-module $U=U(x,y)$. In our second main result, we decompose $U$ into an orthogonal direct sum of irreducible $T$-modules. This sum has five summands: the primary $T$-module and four irreducible $T$-modules that have endpoint one. We show that every irreducible $T$-module with endpoint one is isomorphic to exactly one of the nonprimary summands.

We consider a Leonard pair $A, A^*$ of linear maps on a vector space $V$ that has finite positive dimension. This Leonard pair $A,A^*$ is said to have spin whenever there exist invertible linear maps $W : V \to V$ and $W^* : V \to V$ such that $W A = A W$ and $W^* A^* = A^* W^*$ and $W A^* W^{-1} = (W^*)^{-1} A W^*$. Let $\{θ^*_i\}_{i=0}^d$ denote a standard ordering of the eigenvalues of $A^*$. There is a related sequence of scalars $\{a_i\}_{i=0}^d$ called intersection numbers. The Leonard pair $A,A^*$ is called self-dual whenever $\{θ^*_i\}_{i=0}^d$ is a standard ordering of the eigenvalues of $A$. We obtain the following results under the assumption that the ground field is algebraically closed and $d \geq 3$. We show that a Leonard pair $A,A^*$ on $V$ has spin if and only if both (i) $A,A^*$ is self-dual; (ii) there exist scalars $f_0,f_1,f_2, f_3$ (not all zero) such that $f_0 + f_1 θ^*_i + f_2 a_i + f_3 a_i θ^*_i = 0$ for $0 \leq i \leq d$. We also classify the Leonard pairs $A,A^*$ on $V$ that satisfy (ii) without assuming (i). To do this we bring in the following maps. For $0 \leq i \leq d$ let $E^*_i : V \to V$ denote the projection onto the $θ^*_i$-eigenspace of $A^*$. Let ${\mathcal Z}(A,A^*)$ denote the set of elements $X$ in $\text{Span}\{I, A^*, A, A A^*\}$ such that $E^*_i X E^*_i= 0$ for $0 \leq i \leq d$. We call ${\mathcal Z}(A,A^*)$ the zero diagonal space of $A,A^*$. As we will see, ${\mathcal Z}(A,A^*) \neq 0$ if and only if the above condition (ii) holds. As we investigate the case ${\mathcal Z}(A,A^*) \neq 0$ in detail, we break the problem into 13 cases called types; these are the $q$-Racah type and its relatives. For each type we give a necessary and sufficient condition for ${\mathcal Z}(A,A^*) \not=0$. For each type we give an explicit basis for ${\mathcal Z}(A,A^*)$.

Let $V$ denote a nonzero finite-dimensional vector space. A tridiagonal pair on $V$ is an ordered pair $A, A^*$ of maps in ${\rm End}(V)$ such that (i) each of $A, A^*$ is diagonalizable; (ii) there exists an ordering $\lbrace V_i \rbrace_{i=0}^d$ of the eigenspaces of $A$ such that $A^* V_i \subseteq V_{i-1} + V_i + V_{i+1}$ $(0 \leq i \leq d)$, where $V_{-1} =0$ and $V_{d+1}=0$; (iii) there exists an ordering $\lbrace V^*_i \rbrace_{i=0}^δ$ of the eigenspaces of $A^*$ such that $A V^*_i \subseteq V^*_{i-1} + V^*_i + V^*_{i+1}$ $(0 \leq i \leq δ)$, where $V^*_{-1} =0$ and $V^*_{δ+1}=0$; (iv) there does not exist a subspace $W \subseteq V$ such that $W \not=0$, $W\not=V$, $A W \subseteq W$, $A^*W \subseteq W$. Assume that $A, A^*$ is a tridiagonal pair on $V$. It is known that $d=δ$. For $0 \leq i \leq d$ let $θ_i$ (resp. $θ^*_i$) denote the eigenvalue of $A$ (resp. $A^*$) for $V_i$ (resp. $V^*_i$). By construction, there exist $R,F,L \in {\rm End}(V)$ such that $A=R+F+L$ and $R V^*_i \subseteq V^*_{i+1}$, $F V^*_i \subseteq V^*_i$, $LV^*_i \subseteq V^*_{i-1}$ $(0 \leq i \leq d)$. For $0 \leq i \leq d$ define $U_i = (V^*_0 + V^*_1 + \cdots + V^*_i ) \cap (V_i + V_{i+1} + \cdots + V_d)$. It is known that the sum $V=\sum_{i=0}^d U_i$ is direct. By construction, there exists $\mathcal R, \mathcal L \in {\rm End}(V)$ such that $\mathcal R=A - θ_i I$ and $\mathcal L= A^*-θ^*_i I$ on $U_i$ $(0 \leq i \leq d)$. It is known that $\mathcal R U_i \subseteq U_{i+1}$ and $\mathcal L U_i \subseteq U_{i-1}$ $(0 \leq i \leq d)$, where $U_{-1}=0$ and $U_{d+1}=0$. In this paper, our main goal is to describe how $R,F,L,\mathcal R, \mathcal L$ are related. We also give some results concerning injectivity/surjectivity and $R, L$.

We consider a 2-homogeneous bipartite distance-regular graph $Γ$ with diameter $D \geq 3$. We assume that $Γ$ is not a hypercube nor a cycle. We fix a $Q$-polynomial ordering of the primitive idempotents of $Γ$. This $Q$-polynomial ordering is described using a nonzero parameter $q \in \mathbb C$ that is not a root of unity. We investigate $Γ$ using an $S_3$-symmetric approach. In this approach one considers $V^{\otimes 3} = V \otimes V \otimes V$ where $V$ is the standard module of $Γ$. We construct a subspace $Λ$ of $V^{\otimes 3}$ that has dimension $\binom{D+3}{3}$, together with six linear maps from $Λ$ to $Λ$. Using these maps we turn $Λ$ into an irreducible module for the nonstandard quantum group $U^\prime_q(\mathfrak{so}_6)$ introduced by Gavrilik and Klimyk in 1991.

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.

The $q$-Onsager algebra $O_q$ is defined by two generators and two relations, called the $q$-Dolan/Grady relations. In 2019, Baseilhac and Kolb introduced two automorphisms of $O_q$, now called the Lusztig automorphisms. Recently, we introduced a generalization of $O_q$ called the $S_3$-symmetric $q$-Onsager algebra $\mathbb O_q$. The algebra $\mathbb O_q$ has six distinguished generators, said to be standard. The standard $\mathbb O_q$-generators can be identified with the vertices of a regular hexagon, such that nonadjacent generators commute and adjacent generators satisfy the $q$-Dolan/Grady relations. In the present paper we do the following: (i) for each standard $\mathbb O_q$-generator we construct an automorphism of $\mathbb O_q$ called a Lusztig automorphism; (ii) we describe how the six Lusztig automorphisms of $\mathbb O_q$ are related to each other; (iii) we describe what happens if a finite-dimensional irreducible $\mathbb O_q$-module is twisted by a Lusztig automorphism; (iv) we give a detailed example involving an irreducible $\mathbb O_q$-module with dimension 5.

Let $Γ$ denote a $Q$-polynomial distance-regular graph with diameter $D\geq 1$. For a vertex $x$ of $Γ$ the corresponding subconstituent algebra $T=T(x)$ is generated by the adjacency matrix $A$ of $Γ$ and the dual adjacency matrix $A^*=A^*(x)$ of $Γ$ with respect to $x$. We introduce a $T$-module $\mathcal N = \mathcal N(x)$ called the nucleus of $Γ$ with respect to $x$. We describe $\mathcal N$ from various points of view. We show that all the irreducible $T$-submodules of $\mathcal N$ are thin. Under the assumption that $Γ$ is a nonbipartite dual polar graph, we give an explicit basis for $\mathcal N$ and the action of $A, A^*$ on this basis. The basis is in bijection with the set of elements for the projective geometry $L_D(q)$, where $GF(q)$ is the finite field used to define $Γ$.

In 2023 we obtained a $Q$-polynomial structure for the projective geometry $L_N(q)$. In the present paper, we display a more general $Q$-polynomial structure for $L_N(q)$. Our new $Q$-polynomial structure is defined using a free parameter $\varphi$ that takes any positive real value. For $\varphi=1$ we recover the original $Q$-polynomial structure. We interpret the new $Q$-polynomial structure using the quantum group $U_{q^{1/2}}(\mathfrak{sl}_2)$ in the equitable presentation. We use the new $Q$-polynomial structure to obtain analogs of the four split decompositions that appear in the theory of $Q$-polynomial distance-regular graphs.

The tridiagonal algebra is defined by two generators and two relations, called the tridiagonal relations. Special cases of the tridiagonal algebra include the $q$-Onsager algebra, the positive part of the $q$-deformed enveloping algebra $U_q({\widehat{\mathfrak{sl}}}_2)$, and the enveloping algebra of the Onsager Lie algebra. In this paper, we introduce the $S_3$-symmetric tridiagonal algebra. This algebra has six generators. The generators can be identified with the vertices of a regular hexagon, such that nonadjacent generators commute and adjacent generators satisfy a pair of tridiagonal relations. For a $Q$-polynomial distance-regular graph $Γ$ we turn the tensor power $V^{\otimes 3}$ of the standard module $V$ into a module for an $S_3$-symmetric tridiagonal algebra. We investigate in detail the case in which $Γ$ is a Hamming graph. We give some conjectures and open problems.

Let $Γ$ denote a $Q$-polynomial distance-regular graph, with vertex set $X$ and diameter $D\geq 3$. The standard module $V$ has a basis $\lbrace {\hat x} \vert x \in X\rbrace$, where ${\hat x}$ denotes column $x$ of the identity matrix $I \in {\rm Mat}_X(\mathbb C)$. Let $E$ denote a $Q$-polynomial primitive idempotent of $Γ$. The eigenspace $EV$ is spanned by the vectors $\lbrace E {\hat x} \vert x \in X\rbrace$. It was previously known that these vectors satisfy a condition called the balanced set condition. In this paper, we introduce a variation on the balanced set condition called the Norton-balanced condition. The Norton-balanced condition involves the Norton algebra product on $EV$. We define $Γ$ to be Norton-balanced whenever $Γ$ has a $Q$-polynomial primitive idempotent $E$ such that the set $\lbrace E {\hat x} \vert x \in X\rbrace$ is Norton-balanced. We show that $Γ$ is Norton-balanced in the following cases: (i) $Γ$ is bipartite; (ii) $Γ$ is almost bipartite; (iii) $Γ$ is dual-bipartite; (iv) $Γ$ is almost dual-bipartite; (v) $Γ$ is tight; (vi) $Γ$ is a Hamming graph; (vii) $Γ$ is a Johnson graph; (viii) $Γ$ is the Grassmann graph $J_q(2D,D)$; (ix) $Γ$ is a halved bipartite dual-polar graph; (x) $Γ$ is a halved Hemmeter graph; (xi) $Γ$ is a halved hypercube; (xii) $Γ$ is a folded-half hypercube; (xiii) $Γ$ has $q$-Racah type and affords a spin model. Some theoretical results about the Norton-balanced condition are obtained, and some open problems are given.

Let $Γ$ denote a distance-regular graph, with vertex set $X$ and diameter $D\geq 3$. We assume that $Γ$ is formally self-dual and $q$-Racah type. We also assume that for each $x \in X$ the subconstituent algebra $T=T(x)$ contains a certain central element $Z=Z(x)$. We use $Z$ to construct a spin model $\sf W$ afforded by $Γ$. We investigate the combinatorial implications of $Z$. We reverse the logical direction and recover $Z$ from $\sf W$. We finish with some open problems.

The goal of this article is to display a $Q$-polynomial structure for the Attenuated Space poset $\mathcal A_q(N,M)$. The poset $\mathcal A_q(N,M)$ is briefly described as follows. Start with an $(N+M)$-dimensional vector space $H$ over a finite field with $q$ elements. Fix an $M$-dimensional subspace $h$ of $H$. The vertex set $X$ of $\mathcal A_q(N,M)$ consists of the subspaces of $H$ that have zero intersection with $h$. The partial order on $X$ is the inclusion relation. The $Q$-polynomial structure involves two matrices $A, A^* \in {\rm Mat}_X(\mathbb C)$ with the following entries. For $y, z \in X$ the matrix $A$ has $(y,z)$-entry $1$ (if $y$ covers $z$); $q^{{\rm dim}\,y}$ (if $z$ covers $y$); and 0 (if neither of $y,z$ covers the other). The matrix $A^*$ is diagonal, with $(y,y)$-entry $q^{-{\rm dim}\,y}$ for all $y\in X$. By construction, $A^*$ has $N+1$ eigenspaces. By construction, $A$ acts on these eigenspaces in a (block) tridiagonal fashion. We show that $A$ is diagonalizable, with $2N+1$ eigenspaces. We show that $A^*$ acts on these eigenspaces in a (block) tridiagonal fashion. Using this action, we show that $A$ is $Q$-polynomial. We show that $A, A^*$ satisfy a pair of relations called the tridiagonal relations. We consider the subalgebra $T$ of ${\rm Mat}_X(\mathbb C)$ generated by $A, A^*$. We show that $A,A^*$ act on each irreducible $T$-module as a Leonard pair.

A square matrix is said to be circular bidiagonal whenever (i) each nonzero entry is on the diagonal, or the subdiagonal, or in the top-right corner; (ii) each subdiagonal entry is nonzero, and the entry in the top-right corner is nonzero. Let $\mathbb F$ denote a field, and let $V$ denote a nonzero finite-dimensional vector space over $\mathbb F$. We consider an ordered pair of $\mathbb F$-linear maps $A: V \to V$ and $A^*: V \to V$ that satisfy the following two conditions: (i) there exists a basis for $V$ with respect to which the matrix representing $A$ is circular bidiagonal and the matrix representing $A^*$ is diagonal; (ii) there exists a basis for $V$ with respect to which the matrix representing $A^*$ is circular bidiagonal and the matrix representing $A$ is diagonal. We call such a pair a circular bidiagonal pair on $V$. We classify the circular bidiagonal pairs up to affine equivalence. There are two infinite families of solutions, which we describe in detail.

There is a type of distance-regular graph, said to be $Q$-polynomial. In this paper we investigate a generalized $Q$-polynomial property involving a graph that is not necessarily distance-regular. We give a detailed description of an example associated with the projective geometry $L_N(q)$.

The positive part $U^+_q$ of $U_q(\hat{\mathfrak{sl}}_2)$ has a presentation with two generators $W_0$, $W_1$ and two relations called the $q$-Serre relations. The algebra $U^+_q$ contains some elements, said to be alternating. There are four kinds of alternating elements, denoted $\lbrace W_{-k}\rbrace_{k\in \mathbb N}$, $\lbrace W_{k+1}\rbrace_{k\in \mathbb N}$, $\lbrace G_{k+1}\rbrace_{k\in \mathbb N}$, $\lbrace {\tilde G}_{k+1}\rbrace_{k \in \mathbb N}$. The alternating elements of each kind mutually commute. A tridiagonal pair is an ordered pair of diagonalizable linear maps $A, A^*$ on a nonzero, finite-dimensional vector space $V$, that each act in a (block) tridiagonal fashion on the eigenspaces of the other one. Let $A$, $A^*$ denote a tridiagonal pair on $V$. Associated with this pair are six well-known direct sum decompositions of $V$; these are the eigenspace decompositions of $A$ and $A^*$, along with four decompositions of $V$ that are often called split. In our main results, we assume that $A$, $A^*$ has $q$-Serre type. Under this assumption $A$, $A^*$ satisfy the $q$-Serre relations, and $V$ becomes an irreducible $U^+_q$-module on which $W_0=A$ and $W_1=A^*$. We describe how the alternating elements of $U^+_q$ act on the above six decompositions of $V$. We show that for each decomposition, every alternating element acts in either a (block) diagonal, (block) upper bidiagonal, (block) lower bidiagonal, or (block) tridiagonal fashion. We investigate two special cases in detail. In the first case the eigenspaces of $A$ and $A^*$ all have dimension one. In the second case $A$ and $A^*$ are obtained by adjusting the adjacency matrix and a dual adjacency matrix of a distance-regular graph that has classical parameters and is formally self-dual.

This survey paper contains a tutorial introduction to distance-regular graphs, with an emphasis on the subconstituent algebra and the $Q$-polynomial property.