arXiv Science⌕ Search

arXiv subjects

Jia Huang

Publications and source records attributed to Jia Huang.

99 records · Page 6Linked to original sources

Absolute order in general linear groups

This paper studies a partial order on the general linear group GL(V) called the absolute order, derived from viewing GL(V) as a group generated by reflections, that is, elements whose fixed space has codimension one. The absolute order on GL(V) is shown to have two equivalent descriptions, one via additivity of length for factorizations into reflections, the other via additivity of fixed space codimensions. Other general properties of the order are derived, including self-duality of its intervals. Working over a finite field F_q, it is shown via a complex character computation that the poset interval from the identity to a Singer cycle (or any regular elliptic element) in GL_n(F_q) has a strikingly simple formula for the number of chains passing through a prescribed set of ranks.

math.CO↗

Hecke algebras with independent parameters

We study the Hecke algebra $\H(\bq)$ over an arbitrary field $\FF$ of a Coxeter system $(W,S)$ with independent parameters $\bq=(q_s\in\FF:s\in S)$ for all generators. This algebra is always linearly spanned by elements indexed by the Coxeter group $W$. This spanning set is indeed a basis if and only if every pair of generators joined by an odd edge in the Coxeter diagram receive the same parameter. In general, the dimension of $\H(\bq)$ could be as small as $1$. We construct a basis for $\H(\bq)$ when $(W,S)$ is simply laced. We also characterize when $\H(\bq)$ is commutative, which happens only if the Coxeter diagram of $(W,S)$ is simply laced and bipartite. In particular, for type A we obtain a tower of semisimple commutative algebras whose dimensions are the Fibonacci numbers. We show that the representation theory of these algebras has some features in analogy/connection with the representation theory of the symmetric groups and the 0-Hecke algebras.

math.RT↗

0-Hecke algebra action on the Stanley-Reisner ring of the Boolean algebra

We define an action of the 0-Hecke algebra of type A on the Stanley-Reisner ring of the Boolean algebra. By studying this action we obtain a family of multivariate noncommutative symmetric functions, which specialize to the noncommutative Hall-Littlewood symmetric functions and their (q,t)-analogues introduced by Bergeron and Zabrocki, and to a more general family of noncommutative symmetric functions having parameters associated with paths in binary trees introduced recently by Lascoux, Novelli, and Thibon. We also obtain multivariate quasisymmetric function identities, which specialize to results of Garsia and Gessel on generating functions of multivariate distributions of permutation statistics.

math.CO↗

0-Hecke algebra actions on coinvariants and flags

The 0-Hecke algebra $H_n(0)$ is a deformation of the group algebra of the symmetric group $\SS_n$. We show that its coinvariant algebra naturally carries the regular representation of $H_n(0)$, giving an analogue of the well-known result for $\SS_n$ by Chevalley-Shephard-Todd. By investigating the action of $H_n(0)$ on coinvariants and flag varieties, we interpret the generating functions counting the permutations with fixed inverse descent set by their inversion number and major index. We also study the action of $H_n(0)$ on the cohomology rings of the Springer fibers, and similarly interpret the (noncommutative) Hall-Littlewood symmetric functions indexed by hook shapes.

math.CO↗

Princess and the Pea at the nanoscale: Wrinkling and delamination of graphene on nanoparticles

Thin membranes exhibit complex responses to external forces or geometrical constraints. A familiar example is the wrinkling, exhibited by human skin, plant leaves, and fabrics, resulting from the relative ease of bending versus stretching. Here, we study the wrinkling of graphene, the thinnest and stiffest known membrane, deposited on a silica substrate decorated with silica nanoparticles. At small nanoparticle density monolayer graphene adheres to the substrate, detached only in small regions around the nanoparticles. With increasing nanoparticle density, we observe the formation of wrinkles which connect nanoparticles. Above a critical nanoparticle density, the wrinkles form a percolating network through the sample. As the graphene membrane is made thicker, global delamination from the substrate is observed. The observations can be well understood within a continuum elastic model and have important implications for strain-engineering the electronic properties of graphene.

cond-mat.mes-hall↗

An improved upper bound for the bondage number of graphs on surfaces

The bondage number $b(G)$ of a graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with larger domination number. Recently Gagarin and Zverovich showed that, for a graph $G$ with maximum degree $Δ(G)$ and embeddable on an orientable surface of genus $h$ and a non-orientable surface of genus $k$, $b(G)\leq\min\{Δ(G)+h+2,Δ+k+1\}$. They also gave examples showing that adjustments of their proofs implicitly provide better results for larger values of $h$ and $k$. In this paper we establish an improved explicit upper bound for $b(G)$, using the Euler characteristic $χ$ instead of the genera $h$ and $k$, with the relations $χ=2-2h$ and $χ=2-k$. We show that $b(G)\leqΔ(G)+\lfloor r\rfloor$ for the case $χ\leq0$ (i.e. $h\geq1$ or $k\geq2$), where $r$ is the largest real root of the cubic equation $z^3+2z^2+(6χ-7)z+18χ-24=0$. Our proof is based on the technique developed by Carlson-Develin and Gagarin-Zverovich, and includes some elementary calculus as a new ingredient. We also find an asymptotically equivalent result $b(G)\leqΔ(G)+\lceil\sqrt{12-6χ\,}-1/2\rceil$ for $χ\leq0$, and a further improvement for graphs with large girth.

math.CO↗

Cyclic sieving of finite Grassmannians and flag varieties

In this paper we prove instances of the cyclic sieving phenomenon for finite Grassmannians and partial flag varieties, which carry the action of various tori in the finite general linear group GL_n(F_q). The polynomials involved are sums of certain weights of the minimal length parabolic coset representatives of the symmetric group S_n, where the weight of a coset representative can be written as a product over its inversions.

math.CO↗

A gluing construction for polynomial invariants

We give a polynomial gluing construction of two groups $G_X\subseteq GL(\ell,\mathbb F)$ and $G_Y\subseteq GL(m,\mathbb F)$ which results in a group $G\subseteq GL(\ell+m,\mathbb F)$ whose ring of invariants is isomorphic to the tensor product of the rings of invariants of $G_X$ and $G_Y$. In particular, this result allows us to obtain many groups with polynomial rings of invariants, including all $p$-groups whose rings of invariants are polynomial over $\mathbb F_p$, and the finite subgroups of $GL(n,\mathbb F)$ defined by sparsity patterns, which generalize many known examples.

math.AC↗

Towards a Property Preserving Transformation from IEC 61131-3 to BIP

We report on a transformation from Sequential Function Charts of the IEC 61131-3 standard to BIP. Our presentation features a description of formal syntax and semantics representation of the involved languages and transformation rules. Furthermore, we present a formalism for describing invariants of IEC 61131-3 systems and establish a notion of invariant preservation between the two languages. For a subset of our transformation rules we sketch a proof showing invariant preservation during the transformation of IEC 61131-3 to BIP and vice versa.

cs.PL↗