arXiv subjects

Shaolong Han

Publications and source records attributed to Shaolong Han.

11 recordsLinked to original sources

arXiv2026

Closed energy formulas on tensor squares of perfect crystals of types $D_4^{(3)}$ and $G_2^{(1)}$

For each integer $l\ge1$, we give closed formulas for the local energies on tensor squares of the level-$l$ perfect crystals of types $D_4^{(3)}$ and $G_2^{(1)}$, normalized to vanish at the all-zero coordinate tensors. The $D_4^{(3)}$ energy is the maximum of three defects, equivalently of nine linear forms in parameters of classical highest-weight elements. Eliminating these parameters yields the maximum of nine piecewise-linear functions of the twelve input coordinates. Tensor-compatible similarity identifies the $G_2^{(1)}$ energy at level $l$ with one third of the pullback of the $D_4^{(3)}$ energy at level $3l$, yielding the same coordinate formula. The formula has no explicit level dependence, respects natural coordinate-set inclusions between levels, and allows direct evaluation without the combinatorial $R$-matrix or crystal-graph traversal.

math.RT↗

arXiv2026

Closed formulas for energy functions on tensor squares of higher-level perfect crystals in classical affine types

For every $l\geq1$, we construct explicit closed-form coordinate formulas for the local energy functions on the tensor products $B_l\otimes B_l$ of level-$l$ perfect crystals in classical affine types. A single finite-level max-linear formula covers all seven types: its two branches coincide in type $A_n^{(1)}$, yielding a cyclic maximum of partial sums, whereas in the remaining six types each branch is the maximum of finitely many explicit piecewise-linear expressions in barred coordinates, with type-dependent boundary data. We verify the defining local-energy recursion directly on the finite crystals and derive equivalent recursive forms, allowing the energy to be evaluated without applying the combinatorial $R$-matrix. Substitution into the KMN path character formula gives explicit positive coordinate path sums for the characters of all level-$l$ integrable highest weight modules. After principal specialization, the path exponent can be rewritten as a weighted sum of a position-independent adjacent-pair statistic; comparison with the specialized Weyl--Kac character formula yields a uniform family of level-$l$ Rogers--Ramanujan-type identities equating these sums with explicit infinite products. For a representative low-rank case at level two in each family, we display the complete adjacent-pair degree matrix and list the resulting identities.

math.RT↗

arXiv2026

Young tableau descriptions for the polyhedral realizations of crystal bases in type $A_n$

By utilizing the combinatorial properties of various tableau models, we establish an explicit correspondence between the polyhedral realizations of the crystal bases $\mathcal B(λ)$ (resp. $\mathcal B(\infty)$) of type $A_n$ and the reverse semi-standard Young tableaux (resp. reverse marginally large tableaux), thereby providing a combinatorial description of the corresponding polyhedral realizations. Furthermore, a crystal structure on the set of Gelfand-Tsetlin patterns is obtained via the correspondence between the polyhedral realization of $\mathcal{B}(λ)$ and the reverse tableaux. As applications of our framework, we present concrete combinatorial realizations of the crystal embedding of $\mathcal B(λ)$ into $\mathcal B(\infty)$ and the set of Lusztig data.

math.RT↗

arXiv2025

Rogers-Ramanujan type identities at $Λ_0$ from perfect crystals of exceptional quantum affine algebras

We derive Rogers--Ramanujan type partition identities at the fundamental weight $Λ_0$ for the exceptional affine types $G_2^{(1)}$, $D_4^{(3)}$, $F_4^{(1)}$, $E_6^{(2)}$, $E_6^{(1)}$, $E_7^{(1)}$ and $E_8^{(1)}$. Our starting point is the Dousse--Konan reformulation of the $(\mathrm{KMN})^2$ crystal character formula, applied to the level-one perfect crystal $B=B(θ)\sqcup B(0)$ of Benkart--Frenkel--Kang--Lee with ground element $ϕ\in B(0)$. This realizes the normalized character $e^{-Λ_0}\mathrm{ch} L(Λ_0)$ as generating functions of grounded $B$-colored partitions governed locally by the crystal energy. After principal specialization, we obtain a colored partition model subject to explicit difference, congruence, and initial conditions. On the product side, under the same specialization, the Weyl--Kac character formula yields an explicit Euler-type product, equivalently the generating function for partitions with parts in a concrete allowed set. Comparing the two specializations gives coefficientwise equalities of generating functions. A key computational feature is that the difference matrix can be produced from the crystal data without explicitly computing the energy function. For each type we tabulate the congruence data, forbidden initial parts, and the full difference matrix, and we provide reproducible coefficient checks.

math.RT↗

arXiv2024

Perfect basis theory for quantum Borcherds-Bozec algebras

In this paper, we develop the perfect basis theory for quantum Borcherds-Bozec algebras $U_{q}(\mathfrak g)$ and their irreducible highest weight modules $V(λ)$. We show that the lower perfect graph (resp. upper perfect graph) of every lower perfect basis (resp. upper perfect basis) of $U_{q}^{-}(\mathfrak g)$ (resp. $V(λ)$) is isomorphic to the crystal $B(\infty)$ (resp. $B(λ)$).

math.QA↗

arXiv2024

Crystal bases and canonical bases for quantum Borcherds-Bozec algebras

Let $U_{q}^{-}(\mathfrak g)$ be the negative half of a quantum Borcherds-Bozec algebra $U_{q}(\mathfrak g)$ and $V(λ)$ be the irreducible highest weight module with $λ\in P^{+}$. In this paper, we investigate the structures, properties and their close connections between crystal bases and canonical bases of $U_{q}^{-}(\mathfrak g)$ and $V(λ)$. We first re-construct crystal basis theory with modified Kashiwara operators. While going through Kashiwara's grand-loop argument, we prove several important lemmas, which play crucial roles in the later developments of the paper. Next, based on the theory of canonical bases on quantum Bocherds-Bozec algebras, we introduce the notion of primitive canonical bases and prove that primitive canonical bases coincide with lower global bases.

math.RT↗

arXiv2024

A new Young wall realization of $B(λ)$ and $B(\infty)$

Using new combinatorics of Young walls, we give a new construction of the arbitrary level highest weight crystal $B(λ)$ for the quantum affine algebras of types $A^{(2)}_{2n}$, $D^{(2)}_{n+1}$, $A^{(2)}_{2n-1}$, $D^{(1)}_n$, $B^{(1)}_n$ and $C^{(1)}_n$. We show that the crystal consisting of reduced Young walls is isomorphic to the crystal $B(λ)$. Moreover, we provide a new realization of the crystal $B(\infty)$ in terms of reduced virtual Young walls and reduced extended Young walls.

math.QA↗

arXiv2024

Young wall models for the level 1 highest weight and Fock space crystals of $U_q(E_6^{(2)})$ and $U_q(F_4^{(1)})$

In this paper we construct Young wall models for the level $1$ highest weight and Fock space crystals of quantum affine algebras in types $E_6^{(2)}$ and $F_4^{(1)}$. Our starting point in each case is a combinatorial realization for a certain level $1$ perfect crystal in terms of Young columns. Then using energy functions and affine energy functions we define the notions of reduced and proper Young walls, which model the highest weight and Fock space crystals respectively.

math.RT↗

arXiv2023

Differential operator approach to $\imath$quantum groups and their oscillator representations

For a quasi-split Satake diagram, we define a modified $q$-Weyl algebra, and show that there is an algebra homomorphism between it and the corresponding $\imath$quantum group. In other words, we provide a differential operator approach to $\imath$quantum groups. Meanwhile, the oscillator representations of $\imath$quantum groups are obtained. The crystal basis of the irreducible subrepresentations of these oscillator representations are constructed.

math.QA↗

arXiv2023

Differential operator realization of braid group action on $\imath$quantum groups

We construct a unique braid group action on modified $q$-Weyl algebra $\mathbf A_q(S)$. Under this action, we give a realization of the braid group action on quasi-split $\imath$quantum groups $^{\imath}\mathbf U(S)$ of type $\mathrm{AIII}$. Furthermore, we directly construct a unique braid group action on polynomial ring $\mathbb P$ which is compatible with the braid group action on $\mathbf A_q(S)$ and $^{\imath}\mathbf U(S)$.

math.RT↗

arXiv2023

Young wall construction of level-1 highest weight crystals over $U_q(D_4^{(3)})$ and $U_q(G_2^{(1)})$

With the help of path realization and affine energy function, we give a Young wall construction of level-1 highest weight crystals $B(λ)$ over $U_{q}(G_{2}^{(1)})$ and $U_{q}(D_{4}^{(3)})$. Our construction is based on four different shapes of colored blocks, $\mathbf O$-block, $\mathbf I$-block, $\mathbf L$-block and $\mathbf{LL}$-block, obtained by cutting the unit cube in three different ways.

math.RT↗