lattice
4310 papers tagged with this keyword
Quasi-period collapse and GL_n(Z)-scissors congruence in rational polytopes
Published
• View Publication
• BIB
Quasi-period collapse occurs when the Ehrhart quasi-polynomial of a rational polytope has a quasi-period less than the denominator of that polytope. This phenomenon is poorly understood, and all known cases in which it occurs have been proven with ad hoc methods. In this note, we present a conjectural explanation for quasi-period collapse in rational polytopes. We show that this explanation applies to some previous cases appearing in the literature. We also exhibit examples of Ehrhart polynomials of rational polytopes that are not the Ehrhart polynomials of any integral polytope.
Our approach depends on the invariance of the Ehrhart quasi-polynomial under the action of affine unimodular transformations. Motivated by the similarity of this idea to the scissors congruence problem, we explore the development of a Dehn-like invariant for rational polytopes in the lattice setting.
Permutahedra and generalized associahedra
Published in Advances in Math., 226 (2011), pp.608-640
• View Publication
• BIB
Given a finite Coxeter system $(W,S)$ and a Coxeter element $c$, we construct a simple polytope whose outer normal fan is N. Reading's Cambrian fan $F_c$, settling a conjecture of Reading that this is possible. We call this polytope the $c$-generalized associahedron. Our approach generalizes Loday's realization of the associahedron (a type $A$ $c$-generalized associahedron whose outer normal fan is not the cluster fan but a coarsening of the Coxeter fan arising from the Tamari lattice) to any finite Coxeter group. A crucial role in the construction is played by the $c$-singleton cones, the cones in the $c$-Cambrian fan which consist of a single maximal cone from the Coxeter fan.
Moreover, if $W$ is a Weyl group and the vertices of the permutahedron are chosen in a lattice associated to $W$, then we show that our realizations have integer coordinates in this lattice.
A Quiver Presentation for Solomon's Descent Algebra
Published
• View Publication
• BIB
The descent algebra $Σ(W)$ is a subalgebra of the group algebra $\Q W$ of a finite Coxeter group $W$, which supports a homomorphism with nilpotent kernel and commutative image in the character ring of $W$. Thus $Σ(W)$ is a basic algebra, and as such it has a presentation as a quiver with relations. Here we construct $Σ(W)$ as a quotient of a subalgebra of the path algebra of the Hasse diagram of the Boolean lattice of all subsets of $S$, the set of simple reflections in $W$. From this construction we obtain some general information about the quiver of $Σ(W)$ and an algorithm for the construction of a quiver presentation for the descent algebra $Σ(W)$ of any given finite Coxeter group $W$.
Determinants of (generalised) Catalan numbers
Published in J. Statist. Plann. Inference 140 (2010), 2260-2270
• View Publication
• BIB
We show that recent determinant evaluations involving Catalan numbers and generalisations thereof have most convenient explanations by combining the Lindström-Gessel-Viennot theorem on non-intersecting lattice paths with a simple determinant lemma from [Manuscripta Math. 69 (1990), 173-202]. This approach leads also naturally to extensions and generalisations.
Cubical convex ear decompositions
Published in Electronic J. Combinatorics 16(2) (2009) R17
• View Publication
• BIB
We consider the problem of constructing a convex ear decomposition for a poset. The usual technique, first used by Nyman and Swartz, starts with a CL-labeling and uses this to shell the `ears' of the decomposition. We axiomatize the necessary conditions for this technique as a "CL-ced" or "EL-ced". We find an EL-ced of the d-divisible partition lattice, and a closely related convex ear decomposition of the coset lattice of a relatively complemented group. Along the way, we construct new EL-labelings of both lattices. The convex ear decompositions so constructed are formed by face lattices of hypercubes.
We then proceed to show that if two posets P_1 and P_2 have convex ear decompositions (CL-ceds), then their products P_1 \times P_2, P_1 \lrtimes P_2, and P_1 \urtimes P_2 also have convex ear decompositions (CL-ceds). An interesting special case is: if P_1 and P_2 have polytopal order complexes, then so do their products.
Overpartition pairs and two classes of basic hypergeometric series
Published
• View Publication
• BIB
We study the combinatorics of two classes of basic hypergeometric series. We first show that these series are the generating functions for certain overpartition pairs defined by frequency conditions on the parts. We then show that when specialized these series are also the generating functions for overpartition pairs with bounded successive ranks, overpartition pairs with conditions on their Durfee dissection, as well as certain lattice paths. When further specialized, the series become infinite products, leading to numerous identities for partitions, overpartitions, and overpartition pairs.
Lattice and Schroder paths with periodic boundaries
Published
• View Publication
• BIB
We consider paths in the plane with $(1,0),$ $(0,1),$ and $(a,b)$-steps that start at the origin, end at height $n,$ and stay to the left of a given non-decreasing right boundary. We show that if the boundary is periodic and has slope at most $b/a,$ then the ordinary generating function for the number of such paths ending at height $n$ is algebraic. Our argument is in two parts. We use a simple combinatorial decomposition to obtain an Appell relation or ``umbral'' generating function, in which the power $z^n$ is replaced by a power series of the form $z^n φ_n(z),$ where $φ_n(0) = 1.$ Then we convert (in an explicit way) the umbral generating function to an ordinary generating function by solving a system of linear equations and a polynomial equation. This conversion implies that the ordinary generating function is algebraic.
Coincidence rotations of the root lattice $A_4$
Published in European Journal of Combinatorics 29 (2008) 1808-1819
• View Publication
• BIB
The coincidence site lattices of the root lattice $A_4$ are considered, and the statistics of the corresponding coincidence rotations according to their indices is expressed in terms of a Dirichlet series generating function. This is possible via an embedding of $A_4$ into the icosian ring with its rich arithmetic structure, which recently (arXiv:math.MG/0702448) led to the classification of the similar sublattices of $A_4$.
$k$-Ribbon Fibonacci Tableaux
We extend the notion of $k$-ribbon tableaux to the Fibonacci lattice, a differential poset defined by R. Stanley in 1975. Using this notion, we describe an insertion algorithm that takes $k$-colored permutations to pairs of $k$-ribbon Fibonacci tableaux of the same shape, and we demonstrate a color-to-spin property, similar to that described by Shimozono and White for ribbon tableaux. We give an evacuation algorithm which relates the pair of $k$-ribbon Fibonacci tableaux obtained through the insertion algorithm to the pair of $k$-ribbon Fibonacci tableaux obtained using Fomin's growth diagrams. In addition, we present an analogue of Knuth relations for $k$-colored permutations and $k$-ribbon Fibonacci tableaux.
An EL-labeling of the subgroup lattice
Published in Proc. Amer. Math. Soc. 136 (2008), no. 11, 3795-3801
• View Publication
• BIB
In a 2001 paper, Shareshian conjectured that the subgroup lattice of a finite, solvable group has an EL-labeling. We construct such a labeling, and verify that our labeling has the expected properties.
Enumerative Properties of NC^B(p,q)
Published
• View Publication
• BIB
We determine the rank generating function, the zeta polynomial and the Moebius function for the poset NC^B(p,q) of annular non-crossing partitions of type B, where p and q are two positive integers. We give an alternative treatment of some of these results in the case q=1, for which this poset is a lattice. We also consider the general case of multiannular non-crossing partitions of type B, and prove that this reduces to the cases of non-crossing partitions of type B in the annulus and in the disc.
Derived Semidistributive Lattices
Published
• View Publication
• BIB
For L a finite lattice, let C(L) denote the set of pairs g = (g_0,g_1) such that g_0 is a lower cover of g_1 and order it as follows: g <= d iff g_0 <= d_0, g_1 <= d_1, but not g_1 <= d_0. Let C(L,g) denote the connected component of g in this poset. Our main result states that C(L,g) is a semidistributive lattice if L is semidistributive, and that C(L,g) is a bounded lattice if L is bounded. Let S_n be the permutohedron on n letters and T_n be the associahedron on n+1 letters. Explicit computations show that C(S_n,a) = S_{n-1} and C(T_n,a) = T_{n-1}, up to isomorphism, whenever a is an atom. These results are consequences of new characterizations of finite join semidistributive and finite lower bounded lattices: (i) a finite lattice is join semidistributive if and only if the projection sending g in C(L) to g_0 in L creates pullbacks, (ii) a finite join semidistributive lattice is lower bounded if and only if it has a strict facet labelling. Strict facet labellings, as defined here, are generalization of the tools used by Barbut et al. to prove that lattices of Coxeter groups are bounded.
The decomposition of the hypermetric cone into L-domains
The hypermetric cone $\HYP_{n+1}$ is the parameter space of basic Delaunay polytopes in n-dimensional lattice. The cone $\HYP_{n+1}$ is polyhedral; one way of seeing this is that modulo image by the covariance map $\HYP_{n+1}$ is a finite union of L-domains, i.e., of parameter space of full Delaunay tessellations.
In this paper, we study this partition of the hypermetric cone into L-domains. In particular, it is proved that the cone $\HYP_{n+1}$ of hypermetrics on n+1 points contains exactly {1/2}n! principal L-domains. We give a detailed description of the decomposition of $\HYP_{n+1}$ for n=2,3,4 and a computer result for n=5 (see Table \ref{TableDataHYPn}). Remarkable properties of the root system $\mathsf{D}_4$ are key for the decomposition of $\HYP_5$.
Distributive lattices defined for representations of rank two semisimple Lie algebras
Published
• View Publication
• BIB
For a rank two root system and a pair of nonnegative integers, using only elementary combinatorics we construct two posets. The constructions are uniform across the root systems A1+A1, A2, C2, and G2. Examples appear in Figures 3.2 and 3.3. We then form the distributive lattices of order ideals of these posets. Corollary 5.4 gives elegant quotient-of-products expressions for the rank generating functions of these lattices (thereby providing answers to a 1979 question of Stanley). Also, Theorem 5.3 describes how these lattices provide a new combinatorial setting for the Weyl characters of representations of rank two semisimple Lie algebras. Most of these lattices are new; the rest of them (or related structures) have arisen in work of Stanley, Kashiwara, Nakashima, Littelmann, and Molev. In a future paper, one author shows that the posets constructed here form a Dynkin diagram-indexed answer to a combinatorially posed classification question. In a companion paper, some of these lattices are used to explicitly construct some representations of rank two semisimple Lie algebras. This implies that these lattices are strongly Sperner.
Orthogonal functions generalizing Jack polynomials
Published
• View Publication
• BIB
The rational Cherednik algebra $\HH$ is a certain algebra of differential-reflection operators attached to a complex reflection group $W$. Each irreducible representation $S^λ$ of $W$ corresponds to a standard module $M(λ)$ for $\HH$. This paper deals with the infinite family $G(r,1,n)$ of complex reflection groups; our goal is to study the standard modules using a commutative subalgebra $\ttt$ of $\HH$ discovered by Dunkl and Opdam. In this case, the irreducible $W$-modules are indexed by certain sequences $λ$ of partitions. We first show that $\ttt$ acts in an upper triangular fashion on each standard module $M(λ)$, with eigenvalues determined by the combinatorics of the set of standard tableaux on $λ$. As a consequence, we construct a basis for $M(λ)$ consisting of orthogonal functions on $\CC^n$ with values in the representation $S^λ$. For $G(1,1,n)$ with $λ=(n)$ these functions are the non-symmetric Jack polynomials. We use intertwining operators to deduce a norm formula for our orthogonal functions and give an explicit combinatorial description of the lattice of submodules of $M(λ)$ in the case in which the orthogonal functions are all well-defined.
Lattice polytopes of degree 2
Published
• View Publication
• BIB
A theorem of Scott gives an upper bound for the normalized volume of lattice polygons with exactly $i>0$ interior lattice points. We will show that the same bound is true for the normalized volume of lattice polytopes of degree 2 even in higher dimensions. In particular, there is only a finite number of quadratic polynomials with fixed leading coefficient being the $h^*$-polynomial of a lattice polytope.
Directed Paths in a Wedge
Published
• View Publication
• BIB
Directed paths have been used extensively in the scientific literature as a model of a linear polymer. Such paths models in particular the conformational entropy of a linear polymer and the effects it has on the free energy. These directed models are simplified versions of the self-avoiding walk, but they do nevertheless give insight into the phase behaviour of a polymer, and also serve as a tool to study the effects of conformational degrees of freedom in the behaviour of a linear polymer. In this paper we examine a directed path model of a linear polymer in a confining geometry (a wedge). The main focus of our attention is $c_n$, the number of directed lattice paths of length $n$ steps which takes steps in the North-East and South-East directions and which is confined to the wedge $Y=\pm X/p$, where $p$ is an integer. In this paper we examine the case $p=2$ in detail, and we determine the generating function using the iterated kernel method. We also examine the asymtotics of $c_n$. In particular, we show that $$ c_n = [0.67874...]\times 2^{n-1}(1+(-1)^n) + O((4/3^{3/4})^{n+o(n)}) + o((4/3^{3/4})^n) $$ where we can determine the constant $0.67874...$ to arbitrary accuracy with little effort.
Peak Quasisymmetric Functions and Eulerian Enumeration
Published in Adv. Math. 176: 248--276 (2003)
• Search Publication
Via duality of Hopf algebras, there is a direct association between peak quasisymmetric functions and enumeration of chains in Eulerian posets. We study this association explicitly, showing that the notion of $\cd$-index, long studied in the context of convex polytopes and Eulerian posets, arises as the dual basis to a natural basis of peak quasisymmetric functions introduced by Stembridge. Thus Eulerian posets having a nonnegative $\cd$-index (for example, face lattices of convex polytopes) correspond to peak quasisymmetric functions having a nonnegative representation in terms of this basis. We diagonalize the operator that associates the basis of descent sets for all quasisymmetric functions to that of peak sets for the algebra of peak functions, and study the $g$-polynomial for Eulerian posets as an algebra homomorphism.
Orientations, lattice polytopes, and group arrangements I: Chromatic and tension polynomials of graphs
Published
• View Publication
• BIB
This is the first one of a series of papers on association of orientations, lattice polytopes, and abelian group arrangements to graphs. The purpose is to interpret the integral and modular tension polynomials of graphs at zero and negative integers. The whole exposition is put under the framework of subgroup arrangements and the application of Ehrhart polynomials. Such viewpoint leads to the following main results of the paper: (i) the reciprocity law for integral tension polynomials; (ii) the reciprocity law for modular tension polynomials; and (iii) a new interpretation for the value of the Tutte polynomial $T(G;x,y)$ of a graph $G$ at $(1,0)$ as the number of cut-equivalence classes of acyclic orientations on $G$.
Chains in the noncrossing partition lattice
Published
• View Publication
• BIB
We establish recursions counting various classes of chains in the noncrossing partition lattice of a finite Coxeter group. The recursions specialize a general relation which is proven uniformly (i.e. without appealing to the classification of finite Coxeter groups) using basic facts about noncrossing partitions. We solve these recursions for each finite Coxeter group in the classification. Among other results, we obtain a simpler proof of a known uniform formula for the number of maximal chains of noncrossing partitions and a new uniform formula for the number of edges in the noncrossing partition lattice. All of our results extend to the m-divisible noncrossing partition lattice.