SearcharxivSearch

arXiv subjects

Yanfeng Luo

Publications and source records attributed to Yanfeng Luo.

13 recordsLinked to original sources

Laws for triangular matrices

We investigate identities satisfied by monoids of triangular matrices over fields and over additively idempotent semirings with 0 and 1, and exhibit several new instances in which these identities admit no finite axiomatization.

math.RA

Maximal green sequences for $\mathcal{Q}^N$ quivers

We introduce $\mathcal{Q}^N$ quivers and construct maximal green sequences for these quivers. We prove that any finite connected full subquiver of the quivers defined by Hernandez and Leclerc, arising in monoidal categorifications of cluster algebras, is a special case of $\mathcal{Q}^N$ quivers. Moreover, we prove that the trees of oriented cycles introduced by Garver and Musiker are special cases of $\mathcal{Q}^N$ quivers. This result resolves an open problem proposed by Garver and Musiker, providing a construction of maximal green sequences for quivers that are trees of oriented cycles. Furthermore, we prove that quivers that are mutation equivalent to an orientation of a type AD Dynkin diagram can also be recognized as special cases of $\mathcal{Q}^N$ quivers.

math.AC

Generalized Hernandez-Leclerc modules and cluster algebras

We introduce generalized Hernandez-Leclerc modules over $U_q(\widehat{\mathfrak{sl}_{n+1}})$ as a generalization of Hernandez-Leclerc modules of type A, and prove that they are real and prime via monoidal categorifications of cluster algebras.

math.QA

A combinatorial model for $q$-characters of fundamental modules of type $D_{n}$

In this paper, we introduce a combinatorial path model of representation of the quantum affine algebra of type $D_n$, inspired by Mukhin and Young's combinatorial path models of representations of the quantum affine algebras of types $A_n$ and $B_n$. In particular, we give a combinatorial formula for $q$-characters of fundamental modules of type $D_{n}$ by assigning each path to a monomial or binomial. By counting our paths, a new expression on dimensions of fundamental modules of type $D_n$ is obtained.

math.QA

Finite DC-groups

Let G be a group and DS(G) = { H'| H is any subgroup of G}. G is said to be a DC-group if DS(G) is a chain. In this paper, we prove that a finite DC-group is a semidirect product of a Sylow p-subgroup and an abelian p'-subgroup. For the case of G being a finite p-group, we obtain some properties of a DC-group. In particular, a DC 2-group is characterized. Moreover, we prove that DC-groups are metabelian for p<5 and give an example that a non-abelian DC-group is not be necessarily metabelian for p>3.

math.GR

Identities of the Kauffman Monoid $\mathcal{K}_3$

We give a transparent combinatorial characterization of the identities satisfied by the Kauffman monoid $\mathcal{K}_3$. Our characterization leads to a polynomial time algorithm to check whether a given identity holds in $\mathcal{K}_3$.

math.GR

Weighted infinitesimal unitary bialgebras on rooted forests and weighted cocycles

In this paper, we define a new coproduct on the space of decorated planar rooted forests to equip it with a weighted infinitesimal unitary bialgebraic structure. We introduce the concept of $Ω$-cocycle infinitesimal bialgebras of weight $λ$ and then prove that the space of decorated planar rooted forests $H_{\mathrm{RT}}(X,Ω)$, together with a set of grafting operations $\{ B^+_ω\mid ω\in Ω\}$, is the free $Ω$-cocycle infinitesimal unitary bialgebra of weight $λ$ on a set $X$, involving a weighted version of a Hochschild 1-cocycle condition. As an application, we equip a free cocycle infinitesimal unitary bialgebraic structure on the undecorated planar rooted forests, which is the object studied in the well-known (noncommutative) Connes-Kreimer Hopf algebra. Finally, we construct a new pre-Lie algebraic structure on decorated planar rooted forests.

math.RA

Weighted infinitesimal unitary bialgebras, pre-Lie, matrix algebras and polynomial algebras

Motivated by the classical comatrix coalgebra, we introduce the concept of a Newtonian comatrix coalgebra. We construct an infinitesimal unitary bialgebra on a matrix algebra and a weighted infinitesimal unitary bialgebra on a non-commutative polynomial algebra, via two constructions of suitable coproducts. As a consequence, a Newtonian comatrix coalgebra is established. Furthermore, an infinitesimal unitary Hopf algebra, under the view of Aguiar, is constructed on a matrix algebra. By investigating the relationship between weighted infinitesimal bialgebras and pre-Lie algebras, we erect respectively a pre-Lie algebraic structure and further a new Lie algebraic structure on matrix algebras. Finally, a pre-Lie algebraic structure and a Lie algebraic structure on non-commutative polynomial algebras are also given.

math.RA

The finite basis problem for the monoid of 2 by 2 upper triangular tropical matrices

For each positive $n$, let $u_n = v_n$ denote the identity obtained from the Adjan identity $(xy) (yx) (xy) (xy) (yx) = (xy) (yx) (yx) (xy) (yx)$ by substituting $(xy) \rightarrow (x_1 x_2 \dots x_n)$ and $(yx) \rightarrow (x_n \dots x_2 x_1)$. We show that every monoid which satisfies $u_n = v_n$ for each positive $n$ and generates the variety containing the bicyclic monoid is nonfinitely based. This implies that the monoid of 2 by 2 upper triangular tropical matrices over the tropical semiring is nonfinitely based.

math.GR

The Finite Basis Problem for Kauffman Monoids

We prove a sufficient condition under which a semigroup admits no finite identity basis. As an application, it is shown that the identities of the Kauffman monoid $\mathcal{K}_n$ are nonfinitely based for each $n\ge 3$. This result holds also for the case when $\mathcal{K}_n$ is considered as an involution semigroup under either of its natural involutions.

math.GR

Tricyclic graphs with exactly two main eigenvalues

An eigenvalue of a graph $G$ is called a main eigenvalue if it has an eigenvector the sum of whose entries is not equal to zero. In this paper, all connected tricyclic graphs with exactly two main eigenvalues are determined.

math.CO