arXiv subjects

Jin Xing Zhao

Publications and source records attributed to Jin Xing Zhao.

3 recordsLinked to original sources

arXiv2025

Web Diagrams of Cluster Variables for Grassmannian Gr(4,8)

Gaetz, Pechenik, Pfannerer, Striker, and Swanson introduced the concept of hourglass plabic graphs and provided a method for computing web diagrams and invariants corresponding to $4\times n$ Young tableaux, while Elkin, Musiker, and Wright applied Lam's method to explicitly compute the webs compatible with cluster variables in Gr(3,n) and their twists, namely, the preimages of the immanant map introduced by Fraser, Lam, and Le. In this paper, we use these two methods to compute both the web diagrams and the dual webs corresponding to quadratic and cubic cluster variables in the Grassmannian cluster algebra C[Gr(4,8)].

math.CO↗

arXiv2023

Representations and identities of hypoplactic monoids with involution

Let $(\mathsf{hypo}_n,~^\sharp)$ be the hypoplactic monoid of finite rank $n$ with Schützenberger's involution $^{\sharp}$. In this paper, we exhibit a faithful representation of $(\mathsf{hypo}_n,~^\sharp)$ as an involution monoid of upper triangular matrices over any semiring from a large class including the tropical semiring under the skew transposition. We then give a transparent combinatorial characterization of the word identities satisfied by $(\mathsf{hypo}_n,~^\sharp)$. Further, we prove that $(\mathsf{hypo}_n,~^\sharp)$ is non-finitely based if and only if $n=2, 3$ and give a polynomial time algorithm to check whether a given word identity holds in $(\mathsf{hypo}_n,~^\sharp)$.

math.RT↗

arXiv2023

Representations and identities of Baxter monoids with involution

Let $(\mathsf{baxt}_n,~^\sharp)$ be the Baxter monoid of finite rank $n$ with Schützenberger's involution $^{\sharp}$. In this paper, it is shown that $(\mathsf{baxt}_n,~^\sharp)$ admits a faithful representation by an involution monoid of upper triangular matrices over any semiring from a large class including the tropical semiring under the skew transposition. Then a transparent combinatorial characterization of the word identities satisfied by $(\mathsf{baxt}_n,~^\sharp)$ is given. Further, it is proved that $(\mathsf{baxt}_n,~^\sharp)$ is finitely based if and only if $n\neq 3$, and shown that the identity checking problem for $(\mathsf{baxt}_n,~^\sharp)$ can be done in polynomial time.

math.GR↗