arXiv++ Combinatorics

We prove that the Catalan Lie idempotent $D_n(a,b)$, introduced in [Menous {\it et al.}, Adv. Appl. Math. 51 (2013), 177] can be refined by introducing $n$ independent parameters $a_0,\ldots,a_{n-1}$ and that the coefficient of each monomial is itself a Lie idempotent in the descent algebra. These new idempotents are multiplicity-free sums of subsets of the Poincaré-Birkhoff-Witt basis of the Lie module. These results are obtained by embedding noncommutative symmetric functions into the dual noncommutative Connes-Kreimer algebra, which also allows us to interpret, and rederive in a simpler way, Chapoton's results on a two-parameter tree expanded series.

For a quiver $Q$, we define a path algebra $KQ$ as a span of all the paths of positive length. We study left (respective right) sided ideals and their Gröbner bases. We introduce the two-sided ideals, two-sided division algorithm for elements of $KQ$ and study the two-sided Gröbner bases. We show that with the defined two-sided division algorithm and two-sided Buchberger's algorithm, we can find a finite or an infinite Gröbner basis for a two-sided ideal $I \subseteq KQ$ given a fixed admissible ordering.

We investigate complement-finite submonoids of the monoid of nonnegative integer points of a unipotent linear algebraic group $G$. These monoids are in general noncommutative but they specialize to the generalized numerical monoids of Cistco et al. We show that every unipotent numerical monoid has a unique finite minimal generating set. We propose a generalization of the Wilf conjecture in our setting. We contrast our Wilf conjecture against the Generalized Wilf Conjecture. Then we isolate two new families of unipotent numerical monoids called the {\em thick} and the {\em thin} unipotent numerical monoids. We prove that our Wilf conjecture holds for every thick (commutative) unipotent numerical monoid. Under additional assumptions on the conductors, we prove that our Wilf conjecture holds for every thin (commutative) unipotent numerical monoid.

Skewing operators play a central role in the symmetric function theory because of the importance of the product structure of the symmetric function space. The theory of noncommutative symmetric functions is a useful tool for studying expansions of a given symmetric function in terms of various bases. In this paper, we establish a further development of the theory for studying skewing operators. Using this machinery, we are able to easily reproduce the Littlewood--Richardson rule, and provide recurrence relations for chromatic quasisymmetric functions, which generalizes Harada--Precup's recurrence.

We discuss the problem of existence of latin squares without a substructure consisting of six elements $(r_1,c_2,l_3)$, $(r_2,c_3,l_1)$, $(r_3,c_1,l_2)$, $(r_2,c_1,l_3)$, $(r_3,c_2,l_1)$, $(r_1,c_3,l_2)$. Equivalently, the corresponding latin square graph does not have an induced subgraph isomorphic to $K_{3,3}$. The exhaustive search [Brouwer, Wanless. Universally noncommutative loops. 2011] says that there are no such latin squares of order $3$--$7$, $9$--$11$ and there are only two $K_{3,3}$-free latin squares of order $8$, up to equivalence. We repeat the search, establishing also the number of latin $m$-by-$n$ rectangles for each $m$ and $n$ less than or equal to $11$. As a switched combination of two orthogonal latin squares of order $8$, we construct a $K_{3,3}$-free (universally noncommutative) latin square of order $16$. We also consider a similar problem for orthogonal latin squares, proving that there are both $K_{4,4}$-free and non-$K_{4,4}$-free linear pairs of orthogonal latin squares for each odd prime-power order larger than~$5$. Keywords: latin square; transversal; trade; pattern avoiding; eigenfunction; universally noncommutative loop.

In this paper we use the Lyndon-Shirshov basis to study the shuffle type polynomials. We give a free noncommutative binomial (or multinomial) theorem in terms of the Lyndon-Shirshov basis. Another noncommutative binomial theorem given by the shuffle type polynomials with respect to an adjoint derivation is established. As a result, the Bell differential polynomials and the $q$-Bell differential polynomials can be derived from the second binomial theorem. The relation between the shuffle type polynomials and the Bell differential polynomials is established. Finally, we give some applications of the free noncommutative binomial theorem including application of the shuffle type polynomials to bialgebras and Hopf algebras.

A recent paper studied an inverse submonoid $M_n$ of the rook monoid, by representing the nonzero elements of $M_n$ via certain triplets belonging to $\mathbb{Z}^3$. In this short note, we allow the triplets to belong to $\mathbb{R}^3$. We thus study a new inverse monoid $\overline{M}_n$, which is a supermonoid of $M_n$. We point out similarities and find essential differences. We show that $\overline{M}_n$ is a noncommutative, periodic, combinatorial, fundamental, completely semisimple, and strongly $E^*$-unitary inverse monoid.

We study the PI degree of various quantum algebras at roots of unity, including quantum Grassmannians, quantum Schubert varieties, partition subalgebras, and their associated quantum affine spaces. By a theorem of De Concini and Procesi, the PI degree of partition subalgebras and their associated quantum affine spaces is controlled by skew-symmetric integral matrices associated to (Cauchon-Le) diagrams. We prove that the invariant factors of these matrices are always powers of 2. This allows us to compute explicitly the PI degree of partition subalgebras. Our results also apply to certain completely prime (homogeneous) quotients of partition subalgebras. In particular, our results allow us to extend results of Jakobsen and Jondrup regarding the PI degree of quantum determinantal rings at roots of unity [JJ01] and we present a method to construct an irreducible representation of maximal dimension for quantum determinantal ideals. Building on these results, we use the strong connection between partition subalgebras and quantum Schubert varieties through noncommutative dehomogenisation [LR08] to obtain expressions for the PI degree of quantum Schubert varieties. In particular, we compute the PI degree of quantum Grassmannians.

We define and study noncommutative crossing partitions which are a generalization of non-crossing partitions. By introducing a new cover relation on binary trees, we show that the partially ordered set of noncommutative crossing partitions is a graded lattice. This new lattice contains the Kreweras lattice, the lattice of non-crossing partitions, as a sublattice. We calculate the Möbius function, the number of maximal chains and the number of $k$-chains in this new lattice by constructing an explicit $EL$-labeling on the lattice. By use of the $EL$-labeling, we recover the classical results on the Kreweras lattice. We characterize two endomorphism on the Kreweras lattice, the Kreweras complement map and the involution defined by Simion and Ullman, in terms of the maps on the noncommutative crossing partitions. We also establish relations among three combinatorial objects: labeled $k+1$-ary trees, $k$-chains in the lattice, and $k$-Dyck tilings.

A cover of an associative (not necessarily commutative nor unital) ring $R$ is a collection of proper subrings of $R$ whose set-theoretic union equals $R$. If such a cover exists, then the covering number $σ(R)$ of $R$ is the cardinality of a minimal cover, and a ring $R$ is called $σ$-elementary if $σ(R) < σ(R/I)$ for every nonzero two-sided ideal $I$ of $R$. In this paper, we provide the first examples of $σ$-elementary rings $R$ that have nontrivial Jacobson radical $J$ with $R/J$ noncommutative, and we determine the covering numbers of these rings.

The machinery of noncommutative Schur functions is a general approach to Schur positivity of symmetric functions initiated by Fomin-Greene. Hwang recently adapted this theory to posets to give a new approach to the Stanley-Stembridge conjecture. We further develop this theory to prove that the symmetric function associated to any $P$-Knuth equivalence graph is Schur positive. This settles a conjecture of Kim and the third author, and refines results of Gasharov, Shareshian-Wachs, and Hwang on the Schur positivity of chromatic symmetric functions.

We present analogues of the Poisson limit distribution for the noncommutative bm-independence, which is associated with several positive symmetric cones. We construct related discrete Fock spaces with creation, annihilation and conservation operators, and prove Poisson type limit theorems for them. Properties of the positive cones, in particular the volume characteristic property they enjoy, and the combinatorics of labelled noncrossing partitions, play crucial role in these considerations.

We introduce a combinatorial version Mori-Zwanzig theory and develop from it a family of self-consistent evolution equations for the correlation function or Green's function of interactive many-body systems. The core idea is to use an ansatz to rewrite the memory kernel (self-energy) of the regular Mori-Zwanzig equation as a function composition of the correlation (Green's) function. Then a series of algebraic combinatorial tools, especially the commutative and noncommutative Bell polynomials, are used to determine the exact Taylor series expansion of the composition function. The resulting combinatorial Mori-Zwanzig equation (CMZE) yields novel non-perturbative expansions of the equation of motion for the correlation (Green's) function. The structural equation for deriving such a combinatorial expansion resembles the combinatorial Dyson-Schwinger equation and may be viewed as its temporal-domain analogue. After introducing the abstract word and tree representation of the CMZE, we show its wide-range application in classical, stochastic, and quantum many-body systems. In all these examples, the new self-consistent expansions we obtained with the CMZE are similar to the diagrammatic skeleton expansions used in quantum many-body theory and lattice statistical field theory. We expect such a new framework can be used to calculate the correlation (Green's) function for strongly correlated/interactive many-body systems.

In this paper, we discover a new noncommutative algebra. We refer this algebra as the constant term algebra of type $A$, which is generated by certain constant term operators. We characterize a structural result of this algebra by establishing an explicit basis in terms of certain forests. This algebra arises when we apply the method of the iterated Laurent series to investigate Beck and Pixton's residue computation for the Ehrhart series of the Birkhoff polytope. This algebra seems to be the first structural result in the area of the constant term world since the discovery of the Dyson constant term identity in 1962.

This review concerns the resolution of a special case of Knizhnik-Zamolodchikov equations ($KZ_3$) using our recent results on combinatorial aspects of zeta functions on several variables and software on noncommutative symbolic computations. In particular, we describe the actual solution of $(KZ_3)$ leading to the unique noncommutative series, $Φ_{KZ}$, so-called Drinfel'd associator (or Drinfel'd series). Non-trivial expressions for series with rational coefficients, satisfying the same properties with $Φ_{KZ}$, are also explicitly provided due to the algebraic structure and the singularity analysis of the polylogarithms and harmonic sums.

Let $\ell$ be a rational prime and let $p:Y\rightarrow X$ be a Galois cover of finite graphs whose Galois group is a finite $\ell$-group. Consider a $\mathbb{Z}_{\ell}$-tower above $X$ and its pullback along $p$. Assuming that all the graphs in the pullback are connected, one obtains a $\mathbb{Z}_{\ell}$-tower above $Y$. Under the assumption that the Iwasawa $μ$-invariant of the tower above $X$ vanishes, we prove a formula relating the Iwasawa $λ$-invariant of the $\mathbb{Z}_{\ell}$-tower above $X$ to the Iwasawa $λ$-invariant of the pullback. This formula is analogous to Kida's formula in classical Iwasawa theory. We present an application to the study of structural properties of certain noncommutative pro-$\ell$ towers of graphs, based on an analogy with classical results of Cuoco on the growth of Iwasawa invariants in $\mathbb{Z}_\ell^2$-extensions of number fields. Our investigations are illustrated by explicit examples.

We extend the periodicity of birational rowmotion for rectangular posets to the case when the base field is replaced by a noncommutative ring (under appropriate conditions). This resolves a conjecture from 2014. The proof uses a novel approach and is fully self-contained. Consider labellings of a finite poset $P$ by $\left|P\right| + 2$ elements of a ring $\mathbb{K}$: one label associated with each poset element and two constant labels for the added top and bottom elements in $\hat{P}$. *Birational rowmotion* is a partial map on such labellings. It was originally defined by Einstein and Propp for $\mathbb{K}=\mathbb{R}$ as a lifting (via detropicalization) of *piecewise-linear rowmotion*, a map on the order polytope $\mathcal{O}(P) := \{\text{order-preserving } f: P \to[0,1]\}$. The latter, in turn, extends the well-studied rowmotion map on the set of order ideals (or more properly, the set of order filters) of $P$, which correspond to the vertices of $\mathcal{O}(P)$. Dynamical properties of these combinatorial maps sometimes (but not always) extend to the birational level, while results proven at the birational level always imply their combinatorial counterparts. Allowing $\mathbb{K}$ to be noncommutative, we generalize the birational level even further, and some properties are in fact lost at this step. In 2014, the authors gave the first proof of periodicity for birational rowmotion on rectangular posets (when $P$ is a product of two chains) for $\mathbb{K}$ a field, and conjectured that it survives (in an appropriately twisted form) in the noncommutative case. In this paper, we prove this noncommutative periodicity and a concomitant antipodal reciprocity formula. We end with some conjectures about periodicity for other posets, and the question of whether our results can be extended to (noncommutative) semirings.

For a natural unit interval order $P$, we describe proper colorings of the incomparability graph of $P$ in the language of heaps. We also introduce a combinatorial operation, called a \emph{local flip}, on the heaps. This operation defines an equivalence relation on the proper colorings, and the equivalence relation refines the ascent statistic introduced by Shareshian and Wachs. In addition, we define an analogue of noncommutative symmetric functions introduced by Fomin and Greene, with respect to $P$. We establish a duality between the chromatic quasisymmetric function of $P$ and these noncommutative symmetric functions. This duality leads us to positive expansions of the chromatic quasisymmetric functions into several symmetric function bases. In particular, we present some partial results for the $e$-positivity conjecture.

We find an explicit $S_n$-equivariant bijection between the integral points in a certain zonotope in $\mathbb{R}^n$, combinatorially equivalent to the permutahedron, and the set of $m$-parking functions of length $n$. This bijection restricts to a bijection between the regular $S_n$-orbits and $(m,n)$-Dyck paths, the number of which is given by the Fuss-Catalan number $A_{n}(m,1)$. Our motivation came from studying tilting bundles on noncommutative Hilbert schemes. As a side result we use these tilting bundles to construct a semi-orthogonal decomposition of the derived category of noncommutative Hilbert schemes.

Let us fix a positive integer $ν>1$. For each positive integer $n>1$, we consider a normal supercharacter theory $\mathcal{S}_n$ of $G_n$, where $G_n$ is the direct-product of $n-1$ copies of the cyclic group of order $ν$. Then we endow $\bigoplus_{n \ge 0} \textsf{scf}(\mathcal{S}_n)$, the direct-product of supercharacter function spaces, with the Hopf algebra structure that is isomorphic to the Hopf algebra $\textsf{QSym}$ of quasisymmetric functions. Furthermore, we compute the structure constants of the Hopf algebra thus obtained for the basis consisting of superclass identifier functions. Using our categorifications, we study a new basis for the Hopf algebra $\textsf{NSym}_{\mathbb{C}(q,t)}$ of noncommutative symmetric functions over the rational function field $\mathbb{C}(q,t)$ in commuting variables $q$ and $t$, with an emphasis on the structure constants of $\textsf{NSym}_{\mathbb{C}(q,t)}$ for this basis. Some interesting applications are also obtained via the specializations of $q$ and $t$.