SearcharxivSearch

arXiv subjects

Yan-Hong Bao

Publications and source records attributed to Yan-Hong Bao.

16 recordsLinked to original sources

Superalgebras and Algebras with Involution: Classifying Cubic Codimension Sequences

A $\varphi$-algebra is either a superalgebra or an algebra with involution. In this paper, we study $\operatorname{T}^\varphi$-ideals associated with unital $\varphi$-algebras whose $\varphi$-codimension sequence exhibits cubic polynomial growth. As a consequence, we obtain a complete classification of all $\varphi$-codimension sequences of cubic growth for unital $\varphi$-algebras. Furthermore, we explicitly determine a minimal-degree multilinear generator for every $\operatorname{T}^\varphi$-ideal associated with unital $\varphi$-algebras whose $\varphi$-codimension growth is at most quadratic.

math.RA

Operad and cohomology of associative algebras with generalized derivations

An associative algebra with a generalized derivation is called an AsGDer triple. We introduce the operad that encodes AsGDer triples, and prove it is a Koszul operad. Using its Koszul dual cooperad, we introduce the homotopy version of AsGDer triples. As an application, we construct the AsGDer cohomology theory for AsGDer triples, and show that the formal deformation of an AsGDer triple is controlled by the AsGDer cohomology.

math.RA

Cohomological invariants of algebraic operads, I

We study various invariants, such as cohomology groups, derivations, automorphisms and infinitesimal deformations, of algebraic operads and show that $\mathcal{A}ss$, $\mathcal{C}com$, $\mathcal{L}ie$ and $\mathcal{P}ois$ are rigid or semirigid.

math.RA

Eigenvectors of Z-tensors associated with least H-eigenvalue with application to hypergraphs

Unlike an irreducible $Z$-matrices, a weakly irreducible $Z$-tensor $\mathcal{A}$ can have more than one eigenvector associated with the least H-eigenvalue. We show that there are finitely many eigenvectors of $\mathcal{A}$ associated with the least H-eigenvalue. If $\mathcal{A}$ is further combinatorial symmetric, the number of such eigenvectors can be obtained explicitly by the Smith normal form of the incidence matrix of $\mathcal{A}$. When applying to a connected uniform hypergraph $G$, we prove that the number of Laplacian eigenvectors of $G$ associated with the zero eigenvalue is equal to the the number of adjacency eigenvectors of $G$ associated with the spectral radius, which is also equal to the number of signless Laplacian eigenvectors of $G$ associated with the zero eigenvalue if zero is an signless Laplacian eigenvalue.

math.CO

Eigenvectors of Laplacian or signless Laplacian of Hypergraphs Associated with Zero Eigenvalue

Let $G$ be a connected $m$-uniform hypergraph. In this paper we mainly consider the eigenvectors of the Laplacian or signless Laplacian tensor of $G$ associated with zero eigenvalue, called the first Laplacian or signless Laplacian eigenvectors of $G$. By means of the incidence matrix of $G$, the number of first Laplacian or signless Laplaican (H- or N-)eigenvectors can be get explicitly by solving the Smith normal form of the incidence matrix over $\mathbb{Z}_m$ or $\mathbb{Z}_2$. Consequently, we prove that the number of first Laplacian (H-)eigenvectors is equal to the number of first signless Laplacian (H-)eigenvectors when zero is an (H-)eigenvalue of the signless Laplacian tensor. We establish a connection between first Laplacian (signless Laplacian) H-eigenvectors and the even (odd) bipartitions of $G$.

math.CO

Truncation of Unitary Operads

We introduce truncation ideals of a $\Bbbk$-linear unitary symmetric operad and use them to study ideal structure, growth property and to classify operads of low Gelfand-Kirillov dimension.

math.RA

Cohomology Structures of A Poisson Algebra: II

We introduce for any Poisson algebra a bicomplex of free Poisson modules, and use it to show that the Poisson cohomology theory introduced in the paper "[M. Flato, M. Gerstenhaber and A. A. Voronov, Cohomology and Deformation of Leibniz Pairs, Lett. Math. Phys. 34 (1995) 77--90]" is given by certain derived functor. Moreover, by constructing a long exact sequence connecting Poisson cohomology groups and Yoneda-extension groups of certain quasi-Poisson modules, we provide a way to compute this Poisson cohomology via the Lie algebra cohomology and the Hochschild cohomology.

math.RT

The Dimension of Eigenvariety of Nonnegative Tensors Associated with Spectral Radius

For a nonnegative weakly irreducible tensor, its spectral radius is an eigenvalue corresponding to a unique positive eigenvector up to a scalar called the Perron vector. But including the Perron vector, it may have more than one eigenvector corresponding to the spectral radius. The projective eigenvariety associated with the spectral radius is the set of the eigenvectors corresponding to the spectral radius considered in the complex projective space. In this paper we prove that the dimension of the above projective eigenvariety is zero, i.e. there are finite many eigenvectors associated with the spectral radius up to a scalar. For a general nonnegative tensor, we characterize the nonnegative combinatorially symmetric tensor for which the dimension of projective eigenvariety associated with spectral radius is greater than zero. Finally we apply those results to the adjacency tensors of uniform hypergraphs.

math.CO

Eigenvariety of Nonnegative Symmetric Weakly Irreducible Tensors Associated with Spectral Radius and Its Application to Hypergraphs

For a nonnegative symmetric weakly irreducible tensor, its spectral radius is an eigenvalue corresponding to a unique positive eigenvector up to a scalar called the Perron vector. But including the Perron vector, there may have more than one eigenvector corresponding to the spectral radius. The projective eigenvariety associated with the spectral radius is the set of the eigenvectors corresponding to the spectral radius considered in the complex projective space. In this paper we proved that such projective eigenvariety admits a module structure, which is determined by the support of the tensor and can be characterized explicitly by solving the Smith normal form of the incidence matrix of the tensor. We introduced two parameters: the stabilizing index and the stabilizing dimension of the tensor, where the former is exactly the cardinality of the projective eigenvariety and the latter is the composition length of the projective eigenvariety as a module. We give some upper bounds for the two parameters, and characterize the case that there is only one eigenvector of the tensor corresponding to the spectral radius, i.e. the Perron vector. By applying the above results to the adjacency tensor of a connected uniform hypergraph, we give some upper bounds for the two parameters in terms of the structural parameters of the hypergraph such as path cover number, matching number and the maximum length of paths.

math.CO

The spectral symmetry of weakly irreducible nonnegative tensors and connected hypergraphs

Let $\mathcal{A}$ be a weakly irreducible nonnegative tensor with spectral radius $ρ(\mathcal{A})$. Let $\mathfrak{D}$ (respectively, $\mathfrak{D}^{(0)}$) be the set of normalized diagonal matrices arising from the eigenvectors of $\mathcal{A}$ corresponding to the eigenvalues with modulus $ρ(\mathcal{A})$ (respectively, the eigenvalue $ρ(\mathcal{A})$). It is shown that $\mathfrak{D}$ is an abelian group containing $\mathfrak{D}^{(0)}$ as a subgroup, which acts transitively on the set $\{e^{\mathbf{i} \frac{2 πj}{\ell}}\mathcal{A}:j =0,1, \ldots,\ell-1\}$, where $|\mathfrak{D}/\mathfrak{D}^{(0)}|=\ell$ and $\mathfrak{D}^{(0)}$ is the stabilizer of $\mathcal{A}$. The spectral symmetry of $\mathcal{A}$ is characterized by the group $\mathfrak{D}/\mathfrak{D}^{(0)}$, and $\mathcal{A}$ is called spectral $\ell$-symmetric. We obtain the structural information of $\mathcal{A}$ by analyzing the property of $\mathfrak{D}$, especially for connected hypergraphs we get some results on the edge distribution and coloring. If moreover $\mathcal{A}$ is symmetric, we prove that $\mathcal{A}$ is spectral $\ell$-symmetric if and only if it is $(m,\ell)$-colorable. We characterize the spectral $\ell$-symmetry of a tensor by using its generalized traces, and show that for an arbitrarily given integer $m \ge 3$ and each positive integer $\ell$ with $\ell \mid m$, there always exists an $m$-uniform hypergraph $G$ such that $G$ is spectral $\ell$-symmetric.

math.CO

Restricted Poisson Algebras

We re-formulate Bezrukavnikov-Kaledin's definition of a restricted Poisson algebra, provide some natural and interesting examples, and discuss connections with other research topics.

math.RA

A new Frobenius exact structure on the category of complexes

Let $(1)$ be an automorphism on an additive category $\mathcal{B}$, and let $η\colon (1)\to {\rm Id}_{\mathcal{B}}$ be a natural transformation satisfying $η_{X(1)}=η_X(1)$ for any object $X$ in $\mathcal{B}$. We construct a new Frobenius exact structure on the category of complexes in $\mathcal{B}$, which is associated to the natural transformation $η$. As a consequence, the category introduced in Definition 2.4 of [J. Rickard, Morita theory for derived categories, J. London Math. Soc. 39(1989), 436-456] has a Frobenius exact structure.

math.CT

Enveloping Algebras and Cohomology of Leibniz Pairs

We introduce the enveloping algebra for a Leibniz pair, and show that the category of modules over a Leibniz pair is isomorphic to the category of left modules over its enveloping algebra. Consequently, we show that the cohomology theory for a Leibniz pair introduced by Flato, Gerstenhaber and Voronov can be interpreted by Ext-groups of modules over the enveloping algebra.

math.RT

On quasi-Poisson Cohomology

Let $A$ be a Poisson algebra and $\Q(A)$ its quasi-Poisson enveloping algebra. In this paper, the Yoneda-Ext algebra $\Ext^*_{\Q(A)}(A, A)$, which we call the quasi-Poisson cohomology algebra of $A$, is investigated. We construct a projective resolution of $A$ as $\Q(A)$-modules, which enables to compute the quasi-Poisson cohomologies in a standard way. To simplify calculation, we also introduce the quasi-Poisson complex and apply to obtain quasi-Poisson cohomologies in some special cases.

math.RT