BZPEER

preprint2022arXiv

Finite-dimensional irreducible modules of the Bannai--Ito algebra at characteristic zero

Assume that $\mathbb F$ is an algebraically closed with characteristic $0$ . The Bannai--Ito algebra $\mathfrak{BI}$ is a unital associative $\mathbb F$ -algebra generated by $X,Y,Z$ and the relations assert that each of \begin{gather*} \{X,Y\}-Z, \qquad \{Y,Z\}-X, \qquad \{Z,X\}-Y \end{gather*} is central in $\mathfrak{BI}$ . In this paper we classify the finite-dimensional irreducible $\mathfrak{BI}$ -modules up to isomorphism. As we will see the elements $X,Y,Z$ are not always diagonalizable on finite-dimensional irreducible $\mathfrak{BI}$ -modules.

preprint2022arXiv

Finite-dimensional modules of the universal Askey--Wilson algebra and DAHA of type $(C_1^\vee,C_1)$

Assume that $\mathbb F$ is an algebraically closed field and let $q$ denote a nonzero scalar in $\mathbb F$ that is not a root of unity. The universal Askey--Wilson algebra $\triangle_q$ is a unital associative $\mathbb F$ -algebra defined by generators and relations. The generators are $A,B, C$ and the relations state that each of $A+\frac{q BC-q^{-1} CB}{q^2-q^{-2}}, \qquad B+\frac{q CA-q^{-1} AC}{q^2-q^{-2}}, \qquad C+\frac{q AB-q^{-1} BA}{q^2-q^{-2}}$ is central in $\triangle_q$ . The universal DAHA (double affine Hecke algebra) $\mathfrak H_q$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$ -algebra generated by $\{t_i^{\pm 1}\}_{i=0}^3$ and the relations state that \begin{gather*} t_it_i^{-1}=t_i^{-1} t_i=1 \quad \hbox{for all $i=0,1,2,3$ }; \\ \hbox{ $t_i+t_i^{-1}$ is central} \quad \hbox{for all $i=0,1,2,3$ }; \\ t_0t_1t_2t_3=q^{-1}. \end{gather*} Each $\mathfrak H_q$ -module is a $\triangle_q$ -module by pulling back via the injection $\triangle_q\to \mathfrak H_q$ given by \begin{eqnarray*} A &\mapsto & t_1 t_0+(t_1 t_0)^{-1}, \\ B &\mapsto & t_3 t_0+(t_3 t_0)^{-1}, \\ C &\mapsto & t_2 t_0+(t_2 t_0)^{-1}. \end{eqnarray*} We classify the lattices of $\triangle_q$ -submodules of finite-dimensional irreducible $\mathfrak H_q$ -modules. As a consequence, for any finite-dimensional irreducible $\mathfrak H_q$ -module $V$ , the $\triangle_q$ -module $V$ is completely reducible if and only if $t_0$ is diagonalizable on $V$ .

preprint2022arXiv

The space of Dunkl monogenics associated with $\mathbb Z_2^3$ and the universal Bannai--Ito algebra

Let $n\geq 0$ denote an integer. Let $\mathscr M_n$ denote the space of Dunkl monogenics of degree $n$ associated with the reflection group $\mathbb Z_2^3$ . The universal Bannai--Ito algebra $\mathfrak{BI}$ is a unital associative algebra over $\mathbb C$ generated by $X,Y,Z$ and the relations assert that each of \begin{gather*} \{X,Y\}-Z, \qquad \{Y,Z\}-X, \qquad \{Z,X\}-Y \end{gather*} commutes with $X,Y,Z$ . When the multiplicity function $k$ is real-valued the space $\mathscr M_n$ supports a $\mathfrak{BI}$ -module in terms of the symmetries of the spherical Dirac--Dunkl operator. Under the assumption that $k$ is nonnegative, it was shown that $\dim \mathscr M_n=2(n+1)$ and $\mathscr M_n$ is isomorphic to a direct sum of two copies of an $(n+1)$ -dimensional irreducible $\mathfrak{BI}$ -module. In this paper, we improve the aforementioned result.

preprint2022arXiv

The universal additive DAHA of type $(C_1^\vee,C_1)$ and Leonard triples

Assume that $\mathbb F$ is an algebraically closed field with characteristic zero. The universal Racah algebra $\Re$ is a unital associative $\mathbb F$ -algebra generated by $A,B,C,D$ and the relations state that $[A,B]=[B,C]=[C,A]=2D$ and each of $[A,D]+AC-BA, \qquad [B,D]+BA-CB, \qquad [C,D]+CB-AC$ is central in $\Re$ . The universal additive DAHA (double affine Hecke algebra) $\mathfrak H$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$ -algebra generated by $\{t_i\}_{i=0}^3$ and the relations state that \begin{gather*} t_0+t_1+t_2+t_3 = -1, \\ \hbox{ $t_i^2$ is central for all $i=0,1,2,3$ }. \end{gather*} Any $\mathfrak H$ -module can be considered as a $\Re$ -module via the $\mathbb F$ -algebra homomorphism $\Re\to \mathfrak H$ given by \begin{eqnarray*} A &\mapsto & \frac{(t_0+t_1-1)(t_0+t_1+1)}{4}, \\ B &\mapsto & \frac{(t_0+t_2-1)(t_0+t_2+1)}{4}, \\ C &\mapsto & \frac{(t_0+t_3-1)(t_0+t_3+1)}{4}. \end{eqnarray*} Let $V$ denote a finite-dimensional irreducible $\mathfrak H$ -module. In this paper we show that $A,B,C$ are diagonalizable on $V$ if and only if $A,B,C$ act as Leonard triples on all composition factors of the $\Re$ -module $V$ .

preprint2022arXiv

The universal DAHA of type $(C_1^\vee,C_1)$ and Leonard triples

Assume that $\mathbb F$ is an algebraically closed field and $q$ is a nonzero scalar in $\mathbb F$ that is not a root of unity. The universal Askey--Wilson algebra $\triangle_q$ is a unital associative $\mathbb F$ -algebra generated by $A,B, C$ and the relations state that each of $A+\frac{q BC-q^{-1} CB}{q^2-q^{-2}}, \qquad B+\frac{q CA-q^{-1} AC}{q^2-q^{-2}}, \qquad C+\frac{q AB-q^{-1} BA}{q^2-q^{-2}}$ is central in $\triangle_q$ . The universal DAHA $\mathfrak H_q$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$ -algebra generated by $\{t_i^{\pm 1}\}_{i=0}^3$ and the relations state that \begin{gather*} t_it_i^{-1}=t_i^{-1} t_i=1 \quad \hbox{for all $i=0,1,2,3$ }; \\ \hbox{ $t_i+t_i^{-1}$ is central} \quad \hbox{for all $i=0,1,2,3$ }; \\ t_0t_1t_2t_3=q^{-1}. \end{gather*} It was given an $\mathbb F$ -algebra homomorphism $\triangle_q\to \mathfrak H_q$ that sends \begin{eqnarray*} A &\mapsto & t_1 t_0+(t_1 t_0)^{-1}, \\ B &\mapsto & t_3 t_0+(t_3 t_0)^{-1}, \\ C &\mapsto & t_2 t_0+(t_2 t_0)^{-1}. \end{eqnarray*} Therefore any $\mathfrak H_q$ -module can be considered as a $\triangle_q$ -module. Let $V$ denote a finite-dimensional irreducible $\mathfrak H_q$ -module. In this paper we show that $A,B,C$ are diagonalizable on $V$ if and only if $A,B,C$ act as Leonard triples on all composition factors of the $\triangle_q$ -module $V$ .

preprint2020arXiv

Finite-Dimensional Irreducible Modules of the Racah Algebra at Characteristic Zero

Assume that ${\mathbb F}$ is an algebraically closed field with characteristic zero. The Racah algebra $\Re$ is the unital associative ${\mathbb F}$ -algebra defined by generators and relations in the following way. The generators are $A$ , $B$ , $C$ , $D$ and the relations assert that $[A,B]=[B,C]=[C,A]=2D$ and that each of $[A,D]+AC-BA$ , $[B,D]+BA-CB$ , $[C,D]+CB-AC$ is central in $\Re$ . In this paper we discuss the finite-dimensional irreducible $\Re$ -modules in detail and classify them up to isomorphism. To do this, we apply an infinite-dimensional $\Re$ -module and its universal property. We additionally give the necessary and sufficient conditions for $A$ , $B$ , $C$ to be diagonalizable on finite-dimensional irreducible $\Re$ -modules.

preprint2020arXiv

Finite-dimensional irreducible modules of the universal DAHA of type $(C_1^\vee,C_1)$

Assume that $\mathbb F$ is an algebraically closed field and let $q$ denote a nonzero scalar in $\mathbb F$ that is not a root of unity. The universal DAHA (double affine Hecke algebra) $\mathfrak H_q$ of type $(C_1^\vee,C_1)$ is a unital associative $\mathbb F$ -algebra defined by generators and relations. The generators are $\{t_i^{\pm 1}\}_{i=0}^3$ and the relations assert that \begin{gather*} t_it_i^{-1}=t_i^{-1} t_i=1 \quad \hbox{for all $i=0,1,2,3$ }; \\ \hbox{ $t_i+t_i^{-1}$ is central} \quad \hbox{for all $i=0,1,2,3$ }; \\ t_0t_1t_2t_3=q^{-1}. \end{gather*} In this paper we describe the finite-dimensional irreducible $\mathfrak H_q$ -modules from many viewpoints and classify the finite-dimensional irreducible $\mathfrak H_q$ -modules up to isomorphism. The proofs are carried out in the language of linear algebra.

preprint2020arXiv

Ihara zeta function, coefficients of Maclaurin series, and Ramanujan graphs

Let $X$ denote a connected $(q+1)$ -regular undirected graph of finite order $n$ . The graph $X$ is called Ramanujan whenever $|λ|\leq 2q^{\frac{1}{2}}$ for all nontrivial eigenvalues $λ$ of $X$ . We consider the variant $Ξ(u)$ of the Ihara zeta function $Z(u)$ of $X$ defined by \begin{gather*} Ξ(u)^{-1} = \left\{ \begin{array}{ll} (1-u)(1-qu)(1-q^{\frac{1}{2}} u)^{2n-2}(1-u^2)^{\frac{n(q-1)}{2}} Z(u) \qquad &\hbox{if $X$ is nonbipartite}, (1-q^2u^2) (1-q^{\frac{1}{2}} u)^{2n-4} (1-u^2)^{\frac{n(q-1)}{2}+1} Z(u) \qquad &\hbox{if $X$ is bipartite}. \end{array} \right. \end{gather*} The function $Ξ(u)$ satisfies the functional equation $Ξ(q^{-1} u^{-1})=Ξ(u)$ . Let $\{h_k\}_{k=1}^\infty$ denote the number sequence given by $\frac{d}{du}\ln Ξ(q^{-\frac{1}{2}}u) =\sum_{k=0}^\infty h_{k+1} u^k.$ In this paper we establish the equivalence of the following statements: (i) $X$ is Ramanujan; (ii) $h_k\geq 0$ for all $k\geq 1$ ; (iii) $h_{k}\geq 0$ for infinitely many even $k\geq 2$ . Furthermore we derive the Hasse--Weil bound for the Ramanujan graphs.

preprint2020arXiv

The Casimir elements of the Racah algebra

Let $\mathbb{F}$ denote a field with ${\rm char\,}\mathbb{F}\not=2$ . The Racah algebra $\mathfrak{R}$ is the unital associative $\mathbb{F}$ -algebra defined by generators and relations in the following way. The generators are $A$ , $B$ , $C$ , $D$ . The relations assert that $[A,B]=[B,C]=[C,A]=2D$ and each of the elements \begin{gather*} α=[A,D]+AC-BA, \qquad β=[B,D]+BA-CB, \qquad γ=[C,D]+CB-AC \end{gather*} is central in $\mathfrak{R}$ . Additionally the element $δ=A+B+C$ is central in $\mathfrak{R}$ . The algebra $\mathfrak{R}$ was introduced by Genest-Vinet-Zhedanov. We consider a mild change in their setting to call each element in \begin{equation*} D^2+A^2+B^2 +\frac{(δ+2)\{A,B\}-\{A^2,B\}-\{A,B^2\}}{2} +A (β-δ) +B (δ-α)+\mathfrak{C} \end{equation*} a Casimir element of $\mathfrak{R}$ , where $\mathfrak{C}$ is the commutative subalgebra of $\mathfrak{R}$ generated by $α$ , $β$ , $γ$ , $δ$ . The main results of this paper are as follows. Each of the following distinct elements is a Casimir element of $\mathfrak{R}$ : \begin{align*} Ω_A = D^2 + \frac{B A C +C A B}{2} + A^2 +B γ-C β-A δ, Ω_B = D^2 + \frac{C B A +A B C}{2} + B^2 +C α-A γ-Bδ, Ω_C = D^2 + \frac{A C B +B C A}{2} + C^2 +A β-Bα-Cδ. \end{align*} The set $\{Ω_A,Ω_B,Ω_C\}$ is invariant under a faithful $D_6$ -action on $\mathfrak{R}$ . Moreover we show that any Casimir element $Ω$ is algebraically independent over $\mathfrak{C}$ ; if ${\rm char\,}\mathbb{F}=0$ then the center of $\mathfrak{R}$ is $\mathfrak{C}[Ω]$ .

preprint2020arXiv

The Racah Algebra as a Subalgebra of the Bannai-Ito Algebra

Assume that ${\mathbb F}$ is a field with $\operatorname{char}{\mathbb F}\not=2$ . The Racah algebra $\Re$ is a unital associative ${\mathbb F}$ -algebra defined by generators and relations. The generators are $A$ , $B$ , $C$ , $D$ and the relations assert that $[A,B]=[B,C]=[C,A]=2D$ and each of $[A,D]+AC-BA$ , $[B,D]+BA-CB$ , $[C,D]+CB-AC$ is central in $\Re$ . The Bannai-Ito algebra $\mathfrak{BI}$ is a unital associative ${\mathbb F}$ -algebra generated by $X$ , $Y$ , $Z$ and the relations assert that each of $\{X,Y\}-Z$ , $\{Y,Z\}-X$ , $\{Z,X\}-Y$ is central in $\mathfrak{BI}$ . It was discovered that there exists an ${\mathbb F}$ -algebra homomorphism $ζ\colon \Re\to \mathfrak{BI}$ that sends $A \mapsto \frac{(2X-3)(2X+1)}{16}$ , $B \mapsto \frac{(2Y-3)(2Y+1)}{16}$ , $C \mapsto \frac{(2Z-3)(2Z+1)}{16}$ . We show that $ζ$ is injective and therefore $\Re$ can be considered as an ${\mathbb F}$ -subalgebra of $\mathfrak{BI}$ . Moreover we show that any Casimir element of $\Re$ can be uniquely expressed as a polynomial in $\{X,Y\}-Z$ , $\{Y,Z\}-X$ , $\{Z,X\}-Y$ and $X+Y+Z$ with coefficients in ${\mathbb F}$ .

preprint2015arXiv

Finite-dimensional irreducible modules of the universal Askey-Wilson algebra

Since the introduction of Askey-Wilson algebras by Zhedanov in 1991, the classification of the finite-dimensional irreducible modules of Askey-Wilson algebras remains open. A universal analog $\triangle_q$ of the Askey-Wilson algebras was recently studied. In this paper, we consider a family of infinite-dimensional $\triangle_q$ -modules. By the universal property of these $\triangle_q$ -modules, we classify the finite-dimensional irreducible $\triangle_q$ -modules when $q$ is not a root of unity.

preprint2012arXiv

Correction of a theorem on the symmetric group generated by transvections

Let $V$ denote a vector space over two-element field $\mathbb F_2$ with finite positive dimension and endowed with a symplectic form $B.$ Let ${\rm SL}(V)$ denote the special linear group of $V.$ Let $S$ denote a subset of $V.$ Define $Tv(S)$ as the subgroup of ${\rm SL}(V)$ generated by the transvections with direction $α$ for all $α\in S.$ Define $G(S)$ as the graph whose vertex set is $S$ and where $α,β\in S$ are connected whenever $B(α,β)=1.$ A well-known theorem states that under the assumption that $S$ spans $V,$ the following (i), (ii) are equivalent: (i) $Tv(S)$ is isomorphic to a symmetric group. (ii) $G(S)$ is a claw-free block graph. We give an example which shows that this theorem is not true. We give a modification of this theorem as follows. Assume that $S$ is a linearly independent set of $V$ and no element of $S$ is in the radical of $V.$ Then the above (i), (ii) are equivalent.

preprint2012arXiv

Lit-only sigma-game on nondegenerate graphs

A configuration of the lit-only $σ$ -game on a graph $Γ$ is an assignment of one of two states, {\it on} or {\it off}, to each vertex of $Γ.$ Given a configuration, a move of the lit-only $σ$ -game on $Γ$ allows the player to choose an {\it on} vertex $s$ of $Γ$ and change the states of all neighbors of $s.$ Given an integer $k$ , the underlying graph $Γ$ is said to be $k$ -lit if for any configuration, the number of {\it on} vertices can be reduced to at most $k$ by a finite sequence of moves. We give a description of the orbits of the lit-only $σ$ -game on nondegenerate graphs $Γ$ which are not line graphs. We show that these graphs $Γ$ are 2-lit and provide a linear algebraic criterion for $Γ$ to be 1-lit.

preprint2012arXiv

Two-lit trees for lit-only sigma-game

A configuration of the lit-only $σ$ -game on a finite graph $Γ$ is an assignment of one of two states, on or off, to all vertices of $Γ.$ Given a configuration, a move of the lit-only $σ$ -game on $Γ$ allows the player to choose an on vertex $s$ of $Γ$ and change the states of all neighbors of $s.$ Given any integer $k$ , we say that $Γ$ is $k$ -lit if, for any configuration, the number of on vertices can be reduced to at most $k$ by a finite sequence of moves. Assume that $Γ$ is a tree with a perfect matching. We show that $Γ$ is 1-lit and any tree obtained from $Γ$ by adding a new vertex on an edge of $Γ$ is 2-lit.

preprint2011arXiv

The classification of Leonard triples of QRacah type

Let $\mathbb{K}$ denote an algebraically closed field. Let $V$ denote a vector space over $\mathbb{K}$ with finite positive dimension. By a Leonard triple on $V$ we mean an ordered triple of linear transformations in ${\rm End}(V)$ such that for each of these transformations there exists a basis of $V$ with respect to which the matrix representing that transformation is diagonal and the matrices representing the other two transformations are irreducible tridiagonal. There is a family of Leonard triples said to have QRacah type. This is the most general type of Leonard triple. We classify the Leonard triples of QRacah type up to isomorphism. We show that any Leonard triple of QRacah type satisfies the $\mathbb{Z}_3$ -symmetric Askey-Wilson relations.

preprint2010arXiv

Combinatorial representations of Coxeter groups over a field of two elements

Let $W$ denote a simply-laced Coxeter group with $n$ generators. We construct an $n$ -dimensional representation $ϕ$ of $W$ over the finite field $F_2$ of two elements. The action of $ϕ(W)$ on $F_2^n$ by left multiplication is corresponding to a combinatorial structure extracted and generalized from Vogan diagrams. In each case W of types A, D and E, we determine the orbits of $F_2^n$ under the action of $ϕ(W)$ , and find that the kernel of $ϕ$ is the center $Z(W)$ of $W.$

preprint2010arXiv

Lit-only sigma-game and its dual game

The paper has been withdrawn.

Hau-Wen Huang

Research overview

Is this your work?

17 publications

Finite-dimensional irreducible modules of the Bannai--Ito algebra at characteristic zero

Finite-dimensional modules of the universal Askey--Wilson algebra and DAHA of type $(C_1^\vee,C_1)$

The space of Dunkl monogenics associated with $\mathbb Z_2^3$ and the universal Bannai--Ito algebra

The universal additive DAHA of type $(C_1^\vee,C_1)$ and Leonard triples

The universal DAHA of type $(C_1^\vee,C_1)$ and Leonard triples

Finite-Dimensional Irreducible Modules of the Racah Algebra at Characteristic Zero

Finite-dimensional irreducible modules of the universal DAHA of type $(C_1^\vee,C_1)$

Ihara zeta function, coefficients of Maclaurin series, and Ramanujan graphs

The Casimir elements of the Racah algebra

The Racah Algebra as a Subalgebra of the Bannai-Ito Algebra

Finite-dimensional irreducible modules of the universal Askey-Wilson algebra

Correction of a theorem on the symmetric group generated by transvections

Lit-only sigma-game on nondegenerate graphs

Two-lit trees for lit-only sigma-game

The classification of Leonard triples of QRacah type

Combinatorial representations of Coxeter groups over a field of two elements

Lit-only sigma-game and its dual game

See the researcher in context

Building this map preview

Hau-Wen Huang

Research overview

Is this your work?

17 publications

Finite-dimensional irreducible modules of the Bannai--Ito algebra at characteristic zero

Finite-dimensional modules of the universal Askey--Wilson algebra and DAHA of type (C1∨,C1)(C_1^\vee,C_1)(C1∨​,C1​)

The space of Dunkl monogenics associated with Z23\mathbb Z_2^3Z23​ and the universal Bannai--Ito algebra

The universal additive DAHA of type (C1∨,C1)(C_1^\vee,C_1)(C1∨​,C1​) and Leonard triples

The universal DAHA of type (C1∨,C1)(C_1^\vee,C_1)(C1∨​,C1​) and Leonard triples

Finite-Dimensional Irreducible Modules of the Racah Algebra at Characteristic Zero

Finite-dimensional irreducible modules of the universal DAHA of type (C1∨,C1)(C_1^\vee,C_1)(C1∨​,C1​)

Ihara zeta function, coefficients of Maclaurin series, and Ramanujan graphs

The Casimir elements of the Racah algebra

The Racah Algebra as a Subalgebra of the Bannai-Ito Algebra

Finite-dimensional irreducible modules of the universal Askey-Wilson algebra

Correction of a theorem on the symmetric group generated by transvections

Lit-only sigma-game on nondegenerate graphs

Two-lit trees for lit-only sigma-game

The classification of Leonard triples of QRacah type

Combinatorial representations of Coxeter groups over a field of two elements

Lit-only sigma-game and its dual game

See the researcher in context

Building this map preview

Finite-dimensional modules of the universal Askey--Wilson algebra and DAHA of type $(C_1^\vee,C_1)$

The space of Dunkl monogenics associated with $\mathbb Z_2^3$ and the universal Bannai--Ito algebra

The universal additive DAHA of type $(C_1^\vee,C_1)$ and Leonard triples

The universal DAHA of type $(C_1^\vee,C_1)$ and Leonard triples

Finite-dimensional irreducible modules of the universal DAHA of type $(C_1^\vee,C_1)$