BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Hau-Wen Huang

Hau-Wen Huang contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RTmath.COmath.RAmath.GRmath.QA

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
16works
0followers
5topics
3close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

16 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}[Ω]$.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.$

0 citations0 reviewsNo code linkedOpen access