arXiv++ Combinatorics

We give a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions. We then discuss a family of polynomials called Demazure atoms. We review the known characterizations of these polynomials and then present two new characterizations. Finally, we consider a family of polynomials called permuted basement nonsymmetric Macdonald polynomials which are obtained by permuting the basement of the combinatorial formula of Haglund, Haiman, and Loehr for nonsymmetric Macdonald polynomials. We show that these permuted basement nonsymmetric Macdonald polynomials are the simultaneous eigenfunctions of a family of commuting operators in the double affine Hecke algebra.

Graph eigenvalues are examples of totally real algebraic integers, i.e. roots of real-rooted monic polynomials with integer coefficients. Conversely, the fact that every totally real algebraic integer occurs as an eigenvalue of some finite graph is a deep result, conjectured forty years ago by Hoffman, and proved seventeen years later by Estes. This short paper provides an independent and elementary proof of a stronger statement, namely that the graph may actually be chosen to be a tree. As a by-product, our result implies that the atoms of the limiting spectrum of $n\times n$ symmetric matrices with independent Bernoulli$\,\left(\frac{c}{n}\right)$ entries ($c>0$ is fixed as $n\to\infty$) are exactly the totally real algebraic integers. This settles an open problem raised by Ben Arous (2010).

The Schur function indexed by a partition lambda with at most n parts is the sum of the weight monomials for the Young tableaux of shape lambda. Let pi be an n-permutation. We give two descriptions of the tableaux that contribute their monomials to the key polynomial indexed by pi and lambda. (These polynomials are the characters of the Demazure modules for GL(n).) The "atom" indexed by pi is the sum of weight monomials of the tableaux whose right keys are the "key" tableau for pi. Schur functions and key polynomials can be decomposed into sums of atoms. We also describe the tableaux that contribute to an atom, the tableaux that have a left key equal to a given key, and the tableaux that have a left key bounded below by a given key.

For a given transitive binary relation e on a set E, the transitive closures of open (i.e., co-transitive in e) sets, called the regular closed subsets, form an ortholattice Reg(e), the extended permutohedron on e. This construction, which contains the poset Clop(e) of all clopen sets, is a common generalization of known notions such as the generalized permutohedron on a partially ordered set on the one hand, and the bipartition lattice on a set on the other hand. We obtain a precise description of the completely join-irreducible (resp., completely meet-irreducible) elements of Reg(e) and the arrow relations between them. In particular, we prove that (1) Reg(e) is the Dedekind-MacNeille completion of the poset Clop(e); (2) Every open subset of e is a set-theoretic union of completely join-irreducible clopen subsets of e; (3) Clop(e) is a lattice iiff every regular closed subset of e is clopen, iff e contains no "square" configuration, iff Reg(e)=Clop(e); (4) If e is finite, then Reg(e) is pseudocomplemented iff it is semidistributive, iff it is a bounded homomorphic image of a free lattice, iff e is a disjoint sum of antisymmetric transitive relations and two-element full relations. We illustrate the strength of our results by proving that, for n greater than or equal to 3, the congruence lattice of the lattice Bip(n) of all bipartitions of an n-element set is obtained by adding a new top element to a Boolean lattice with n2^{n-1} atoms. We also determine the factors of the minimal subdirect decomposition of Bip(n).

A tuple (or subgroup) in a group is said to degenerate to another if the latter is an endomorphic image of the former. In a countable reduced abelian group, it is shown that if tuples (or finite subgroups) degenerate to each other, then they lie in the same automorphism orbit. The proof is based on techniques that were developed by Kaplansky and Mackey in order to give an elegant proof of Ulm's theorem. Similar results hold for reduced countably generated torsion modules over principal ideal domains. It is shown that the depth and the description of atoms of the resulting poset of orbits of tuples depend only on the Ulm invariants of the module in question (and not on the underlying ring). A complete description of the poset of orbits of elements in terms of the Ulm invariants of the module is given. The relationship between this description of orbits and a very different-looking one obtained by Dutta and Prasad for torsion modules of bounded order is explained.

Assume that $X= {x_1,...,x_g}$ is a finite alphabet and $K$ is a field. We study monomial algebras $A= K <X> /(W)$, where $W$ is an antichain of Lyndon words in $X$ of arbitrary cardinality. We find a Poincaré-Birkhoff-Witt type basis of $A$ in terms of its \emph{Lyndon atoms} $N$, but, in general, $N$ may be infinite. We prove that if $A$ has polynomial growth of degree $d$ then $A$ has global dimension $d$ and is standard finitely presented, with $d-1 \leq |W| \leq d(d-1)/2$. Furthermore, $A$ has polynomial growth iff the set of Lyndon atoms $N$ is finite. In this case $A$ has a $K$-basis $\mathfrak{N} = {l_1^{α_{1}}l_2^{α_{2}}... l_d^{α_{d}} \mid α_{i} \geq 0, 1 \leq i \leq d}$, where $N = {l_1, ...,l_d}$. We give an extremal class of monomial algebras, the Fibonacci-Lyndon algebras, $F_n$, with global dimension $n$ and polynomial growth, and show that the algebra $F_6$ of global dimension 6 cannot be deformed, keeping the multigrading, to an Artin-Schelter regular algebra.

Reflection length and codimension of fixed point spaces induce partial orders on a complex reflection group. While these partial orders are of independent combinatorial interest, our investigation is motivated by a connection between the codimension order and the algebraic structure of cohomology governing deformations of skew group algebras. In this article, we compare the reflection length and codimension functions and discuss implications for cohomology of skew group algebras. We give algorithms using character theory for computing reflection length, atoms, and poset relations. Using a mixture of theory, explicit examples, and computer calculations in GAP, we show that Coxeter groups and the infinite family G(m,1,n) are the only irreducible complex reflection groups for which the reflection length and codimension orders coincide. We describe the atoms in the codimension order for the infinite family G(m,p,n), which immediately yields an explicit description of generators for cohomology.

In this paper we inititate the study of abstract simplicial complexes which are initial segments of qualitative probability orders. This is a natural class that contains the threshold complexes and is contained in the shifted complexes, but is equal to neither. In particular we construct a qualitative probability order on 26 atoms that has an initial segment which is not a threshold simplicial complex. Although 26 is probably not the minimal number for which such example exists we provide some evidence that it cannot be much smaller. We prove some necessary conditions for this class and make a conjecture as to a characterization of them. The conjectured characterization relies on some ideas from cooperative game theory.

Geometric lattices are characterized in this paper as those finite, atomic lattices such that every atom ordering induces a lexicographic shelling given by an edge labeling known as a minimal labeling. Equivalently, geometric lattices are shown to be exactly those finite lattices such that every ordering on the join-irreducibles induces a lexicographic shelling. This new characterization fits into a similar paradigm as McNamara's characterization of supersolvable lattices as those lattices admitting a different type of lexicographic shelling, namely one in which each maximal chain is labeled with a permutation of {1,...,n}.

We study the class $\mathcal C$ of symmetric functions whose coefficients in the Schur basis can be described by generating functions for sets of tableaux with fixed shape. Included in this class are the Hall-Littlewood polynomials, $k$-atoms, and Stanley symmetric functions; functions whose Schur coefficients encode combinatorial, representation theoretic and geometric information. While Schur functions represent the cohomology of the Grassmannian variety of $GL_n$, Grothendieck functions $\{G_λ\}$ represent the $K$-theory of the same space. In this paper, we give a combinatorial description of the coefficients when any element of $\mathcal C$ is expanded in the $G$-basis or the basis dual to $\{G_λ\}$.

The symmetric maximum, denoted by v, is an extension of the usual max operation so that 0 is the neutral element, and -x is the symmetric (or inverse) of x, i.e., x v(-x)=0. However, such an extension does not preserve the associativity of max. This fact asks for systematic ways of parenthesing (or bracketing) terms of a sequence (with more than two arguments) when using such an extended maximum. We refer to such systematic (predefined) ways of parenthesing as computation rules. As it turns out there are infinitely many computation rules each of which corresponding to a systematic way of bracketing arguments of sequences. Essentially, computation rules reduce to deleting terms of sequences based on the condition x v(-x)=0. This observation gives raise to a quasi-order on the set of such computation rules: say that rule 1 is below rule 2 if for all sequences of numbers, rule 1 deletes more terms in the sequence than rule 2. In this paper we present a study of this quasi-ordering of computation rules. In particular, we show that the induced poset of all equivalence classes of computation rules is uncountably infinite, has infinitely many maximal elements, has infinitely many atoms, and it embeds the powerset of natural numbers ordered by inclusion.

Fine and Gill (1973) introduced the geometric representation for those comparative probability orders on n atoms that have an underlying probability measure. In this representation every such comparative probability order is represented by a region of a certain hyperplane arrangement. Maclagan (1999) asked how many facets a polytope, which is the closure of such a region, might have. We prove that the maximal number of facets is at least F_{n+1}, where F_n is the nth Fibonacci number. We conjecture that this lower bound is sharp. Our proof is combinatorial and makes use of the concept of flippable pairs introduced by Maclagan. We also obtain an upper bound which is not too far from the lower bound.

Grätzer asked in 1971 for a characterization of sublattices of Tamari lattices (associahedra). A natural candidate was coined by McKenzie in 1972 with the notion of a bounded homomorphic image of a free lattice---in short, bounded lattice. Urquhart proved in 1978 that every associahedron is bounded (thus so are its sublattices). Geyer conjectured in 1994 that every finite bounded lattice embeds into some associahedron. We disprove Geyer's conjecture, by introducing an infinite collection of lattice-theoretical identities that hold in every associahedron, but not in every finite bounded lattice. Among those finite counterexamples, there are the permutohedron on four letters P(4), and in fact two of its subdirectly irreducible retracts, which are Cambrian lattices of type A. For natural numbers m and n, we denote by B(m,n) the (bounded) lattice obtained by doubling a join of m atoms in an (m+n)-atom Boolean lattice. We prove that B(m,n) embeds into an associahedron iff min(m,n) is less than or equal to 1, and that B(m,n) embeds into a permutohedron iff min(m,n) is less than or equal to 2. In particular, B(3,3) cannot be embedded into any permutohedron. Nevertheless we prove that B(3,3) is a homomorphic image of a sublattice of the permutohedron on 12 letters.

We identify a subalgebra \pH_n of the extended affine Hecke algebra \eH_n of type A. The subalgebra \pH_n is a \u-analogue of the monoid algebra of §_n \ltimes \ZZ_{\geq 0}^n and inherits a canonical basis from that of \eH_n. We show that its left cells are naturally labeled by tableaux filled with positive integer entries having distinct residues mod n, which we term \emph{positive affine tableaux} (PAT). We then exhibit a cellular subquotient \R_{1^n} of \pH_n that is a \u-analogue of the ring of coinvariants \CC[y_1,...,y_n]/(e_1,...,e_n) with left cells labeled by PAT that are essentially standard Young tableaux with cocharge labels. Multiplying canonical basis elements by a certain element π\in \pH_n corresponds to rotations of words, and on cells corresponds to cocyclage. We further show that \R_{1^n} has cellular quotients \R_λthat are \u-analogues of the Garsia-Procesi modules R_λwith left cells labeled by (a PAT version of) the λ-catabolizable tableaux. We give a conjectural description of a cellular filtration of \pH_n, the subquotients of which are isomorphic to dual versions of \R_λunder the perfect pairing on \R_{1^n}. We conjecture how this filtration relates to the combinatorics of the cells of \eH_n worked out by Shi, Lusztig, and Xi. We also conjecture that the k-atoms of Lascoux, Lapointe, and Morse and the R-catabolizable tableaux of Shimozono and Weyman have cellular counterparts in \pH_n. We extend the idea of atom copies of Lascoux, Lapoint, and Morse to positive affine tableaux and give descriptions, mostly conjectural, of some of these copies in terms of catabolizability.

In this paper we will determine the NBB bases with respect to standard ordering of coatoms (resp.atoms) of 123-132-213-avoiding (resp.321-avoiding) lattices. Using these expression we will calculate the Möbius numbers of 123-132-213-avoiding lattices and 321-avoiding lattices. These values become some modification of fibonacci polynomials.

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf c (H)$ of $H$ is the smallest integer $N$ with the following property: for each $a \in H$ and each two factorizations $z, z'$ of $a$, there exist factorizations $z = z_0, ..., z_k = z'$ of $a$ such that, for each $i \in [1, k]$, $z_i$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. Under a very mild condition on the Davenport constant of $G$, we establish a new and simple characterization of the catenary degree. This characterization gives a new structural understanding of the catenary degree. In particular, it clarifies the relationship between $\mathsf c (H)$ and the set of distances of $H$ and opens the way towards obtaining more detailed results on the catenary degree. As first applications, we give a new upper bound on $\mathsf c(H)$ and characterize when $\mathsf c(H)\leq 4$.

In the prequel to this paper, we showed how results of Mason involving a new combinatorial formula for polynomials that are now known as Demazure atoms (characters of quotients of Demazure modules, called standard bases by Lascoux and Schutzenberger) could be used to define a new basis for the ring of quasisymmetric functions we call Quasisymmetric Schur functions (QS functions for short). In this paper we develop the combinatorics of these polynomials futher, by showing that the product of a Schur function and a Demazure atom has a positive expansion in terms of Demazure atoms. As a by-product, using the fact that both a QS function and a Demazure character have explicit expressions as a positive sum of atoms, we obtain the expansion of a product of a Schur function with a QS function (Demazure character) as a positive sum of QS functions (Demazure characters). Our formula for the coefficients in the expansion of a product of a Demazure character and a Schur function into Demazure characters is similar to known results and includes in particular the famous Littlewood-Richardson rule for the expansion of a product of Schur functions in terms of the Schur basis.

We introduce new methods for understanding the topology of $\Hom$ complexes (spaces of homomorphisms between two graphs), mostly in the context of group actions on graphs and posets. We view $\Hom(T,-)$ and $\Hom(-,G)$ as functors from graphs to posets, and introduce a functor $(-)^1$ from posets to graphs obtained by taking atoms as vertices. Our main structural results establish useful interpretations of the equivariant homotopy type of $\Hom$ complexes in terms of spaces of equivariant poset maps and $Γ$-twisted products of spaces. When $P = F(X)$ is the face poset of a simplicial complex $X$, this provides a useful way to control the topology of $\Hom$ complexes. Our foremost application of these results is the construction of new families of `test graphs' with arbitrarily large chromatic number - graphs $T$ with the property that the connectivity of $\Hom(T,G)$ provides the best possible lower bound on the chromatic number of $G$. In particular we focus on two infinite families, which we view as higher dimensional analogues of odd cycles. The family of `spherical graphs' have connections to the notion of homomorphism duality, whereas the family of `twisted toroidal graphs' lead us to establish a weakened version of a conjecture (due to Lovász) relating topological lower bounds on chromatic number to maximum degree. Other structural results allow us to show that any finite simplicial complex $X$ with a free action by the symmetric group $S_n$ can be approximated up to $S_n$-homotopy equivalence as $\Hom(K_n,G)$ for some graph $G$; this is a generalization of a result of Csorba. We conclude the paper with some discussion regarding the underlying categorical notions involved in our study.

We analyze the eigenvalues of the adjacency matrices of a wide variety of random trees. Using general, broadly applicable arguments based on the interlacing inequalities for the eigenvalues of a principal submatrix of a Hermitian matrix and a suitable notion of local weak convergence for an ensemble of random trees, we show that the empirical spectral distributions for each of a number of random tree models converge to a deterministic (model dependent) limit as the number of vertices goes to infinity. We conclude for ensembles such as the linear preferential attachment models, random recursive trees, and the uniform random trees that the limiting spectral distribution has a set of atoms that is dense in the real line. We obtain precise asymptotics on the mass assigned to zero by the empirical spectral measures via the connection with the cardinality of a maximal matching. Moreover, we show that the total weight of a weighted matching is asymptotically equivalent to a constant multiple of the number of vertices when the edge weights are independent, identically distributed, non-negative random variables with finite expected value. We greatly extend a celebrated result obtained by Schwenk for the uniform random trees by showing that, under mild conditions, with probability converging to one, the spectrum of a realization is shared by at least one other tree. For the the linear preferential attachment model with parameter $a > -1$, we show that the suitably rescaled $k$ largest eigenvalues converge jointly.

In this paper we give simplified formulas for certain polynomials which arise in some new Titchmarsh-Weyl m-functions for the radial part of the separated Hydrogen atom on the half line and two independent programs for generating them using the symbolic manipulator Mathematica.