lattice
4305 papers tagged with this keyword
The excedances and descents of bi-increasing permutations
Starting from some considerations we make about the relations between certain difference statistics and the classical permutation statistics we study permutations whose inversion number and excedance difference coincide. It turns out that these (so-called bi-increasing) permutations are just the 321-avoiding ones. The paper investigates their excedance and descent structure. In particular, we find some nice combinatorial interpretations for the distribution coefficients of the number of excedances and descents, respectively, and their difference analogues over the bi-increasing permutations in terms of parallelogram polyominoes and 2-Motzkin paths. This yields a connection between restricted permutations, parallelogram polyominoes, and lattice paths that reveals the relations between several well-known bijections given for these objects (e.g. by Delest-Viennot, Billey-Jockusch-Stanley, Francon-Viennot, and Foata-Zeilberger). As an application, we enumerate skew diagrams according to their rank and give a simple combinatorial proof for a result concerning the symmetry of the joint distribution of the number of excedances and inversions, respectively, over the symmetric group.
An Upper Bound for the Number of Planar Lattice Triangulations
Published
• View Publication
• BIB
We prove an exponential upper bound for the number $f(m,n)$ of all maximal triangulations of the $m\times n$ grid: \[ f(m,n) < 2^{3mn}. \] In particular, this improves a result of S. Yu. Orevkov (1999).
Combinatorial problems of (quasi-)crystallography
Published in In: Quasicrystals - Structure and Physical Properties, ed. H.-R. Trebin (Wiley-VCH, Weinheim, 2003), pp. 160-171
• Search Publication
Several combinatorial problems of (quasi-)crystallography are reviewed with special emphasis on a unified approach, valid for both crystals and quasicrystals. In particular, we consider planar sublattices, similarity sublattices, coincidence sublattices, their module counterparts, and central and averaged shelling. The corresponding counting functions are encapsulated in Dirichlet series generating functions, with explicit results for the triangular lattice and the twelvefold symmetric shield tiling. Other combinatorial properties are briefly summarised.
Walks confined in a quadrant are not always D-finite
Published
• View Publication
• BIB
We consider planar lattice walks that start from a prescribed position, take their steps in a given finite subset of Z^2, and always stay in the quadrant x >= 0, y >= 0. We first give a criterion which guarantees that the length generating function of these walks is D-finite, that is, satisfies a linear differential equation with polynomial coefficients. This criterion applies, among others, to the ordinary square lattice walks. Then, we prove that walks that start from (1,1), take their steps in {(2,-1), (-1,2)} and stay in the first quadrant have a non-D-finite generating function. Our proof relies on a functional equation satisfied by this generating function, and on elementary complex analysis.
The cd-index of the Boolean lattice
We study some properties of the {\bf cd}-index of the Boolean lattice. They are extremely similar to the properties of the {\ab}-index, or equivalently, the flag $h$-vector of the Boolean lattice and hence may be viewed as their {\bf cd}-analogues. We define a different algebra structure on the polynomial algebra $k < \cv, \dv>$ and give a derivation on this algebra. It is of significance for the Boolean lattice and forms our main tool. Using similar methods, we also prove some results for the {\bf cd}-index of the cubical lattice. We show that the Dehn-Sommerville relations for the flag $f$-vector of an Eulerian poset are equivalent to certain simple identities that exist in our algebra.
Counting Lattice Triangulations
Published
• View Publication
• BIB
We discuss the problem to count, or, more modestly, to estimate the number f(m,n) of unimodular triangulations of the planar grid of size $m\times n$.
Among other tools, we employ recursions that allow one to compute the (huge) number of triangulations for small m and rather large n by dynamic programming; we show that this computation can be done in polynomial time if m is fixed, and present computational results from our implementation of this approach.
We also present new upper and lower bounds for large m and n, and we report about results obtained from a computer simulation of the random walk that is generated by flips.
Lattice path matroids: enumerative aspects and Tutte polynomials
Published in Journal of Combinatorial Theory, Series A, 2003
• View Publication
• BIB
Fix two lattice paths P and Q from (0,0) to (m,r) that use East and North steps with P never going above Q. We show that the lattice paths that go from (0,0) to (m,r) and that remain in the region bounded by P and Q can be identified with the bases of a particular type of transversal matroid, which we call a lattice path matroid. We consider a variety of enumerative aspects of these matroids and we study three important matroid invariants, namely the Tutte polynomial and, for special types of lattice path matroids, the characteristic polynomial and the beta invariant. In particular, we show that the Tutte polynomial is the generating function for two basic lattice path statistics and we show that certain sequences of lattice path matroids give rise to sequences of Tutte polynomials for which there are relatively simple generating functions. We show that Tutte polynomials of lattice path matroids can be computed in polynomial time. Also, we obtain a new result about lattice paths from an analysis of the beta invariant of certain lattice path matroids.
Short rational generating functions for lattice point problems
Published
• View Publication
• BIB
We prove that for any fixed d the generating function of the projection of the set of integer points in a rational d-dimensional polytope can be computed in polynomial time. As a corollary, we deduce that various interesting sets of lattice points, notably integer semigroups and (minimal) Hilbert bases of rational cones, have short rational generating functions provided certain parameters (the dimension and the number of generators) are fixed. It follows then that many computational problems for such sets (for example, finding the number of positive integers not representable as a non-negative integer combination of given coprime positive integers a_1 ... a_d admit polynomial time algorithms. We also discuss a related problem of computing the Hilbert series of a ring generated by monomials.
Poset Edge-Labellings and Left Modularity
Published in European Journal of Combinatorics 27 (1) (2006), 101-113
• View Publication
• BIB
It is known that a graded lattice of rank n is supersolvable if and only if it has an EL-labelling where the labels along any maximal chain are exactly the numbers 1,2,...,n without repetition. These labellings are called S_n EL-labellings, and having such a labelling is also equivalent to possessing a maximal chain of left modular elements. In the case of an ungraded lattice, there is a natural extension of S_n EL-labellings, called interpolating labellings. We show that admitting an interpolating labelling is again equivalent to possessing a maximal chain of left modular elements. Furthermore, we work in the setting of a general bounded poset as all the above results generalize to this case. We conclude by applying our results to show that the lattice of non-straddling partitions, which is not graded in general, has a maximal chain of left modular elements.
The degree distribution in bipartite planar maps: applications to the Ising model
We characterize the generating function of bipartite planar maps counted according to the degree distribution of their black and white vertices. This result is applied to the solution of the hard particle and Ising models on random planar lattices. We thus recover and extend some results previously obtained by means of matrix integrals.
Proofs are purely combinatorial and rely on the idea that planar maps are conjugacy classes of trees. In particular, these trees explain why the solutions of the Ising and hard particle models on maps of bounded degree are always algebraic.
Higher Lawrence configurations
Published in J. Combin. Theory, Ser. A. 103:1 (2003), 151-164.
• View Publication
• BIB
Any configuration of lattice vectors gives rise to a hierarchy of higher-dimensional configurations which generalize the Lawrence construction in geometric combinatorics. We prove finiteness results for the Markov bases, Graver bases and face posets of these configurations, and we discuss applications to the statistical theory of log-linear models.
Two injective proofs of a conjecture of Simion
Simion conjectured the unimodality of a sequence counting lattice paths in a grid with a Ferrers diagram removed from the northwest corner. Recently, Hildebrand and then Wang proved the stronger result that this sequence is actually log concave. Both proofs were mainly algebraic in nature. We give two combinatorial proofs of this theorem.
Counting curves via lattice paths in polygons
Published
• View Publication
• BIB
This note presents a formula for the enumerative invariants of arbitrary genus in toric surfaces. The formula computes the number of curves of a given genus through a collection of generic points in the surface. The answer is given in terms of certain lattice paths in the relevant Newton polygon.
If the toric surface is the projective plane or the product of two projective lines then the invariants under consideration coincide with the Gromov-Witten invariants. The formula gives a new count even in these cases, where other computational technique is available.
On some integrals over the U(N) unitary group and their large N limit
Published in J.Phys.A36:3173-3194,2003
• View Publication
• BIB
The integral over the U(N) unitary group $I=\int DU \exp\Tr A U B U^\dagger$ is reexamined. Various approaches and extensions are first reviewed. The second half of the paper deals with more recent developments: relation with integrable Toda lattice hierarchy, diagrammatic expansion and combinatorics, and on what they teach us on the large $N$ limit of $\log I$.
Lattice structure for orientations of graphs
Published
• View Publication
• BIB
In 1986, Oliver Pretzel studied the set of orientations of a connected finite graph $G$ and showed that any two such orientations having the same flow-difference around all closed loops can be obtained from one another by a succession of local moves of a simple type. Here I show that the set of orientations of $G$ having the same flow-differences around all closed loops can be given the structure of a distributive lattice. When the graph is drawn on the plane, a dual version of the construction puts a distributive lattice structure on the set of orientations of $G$ having the same indegrees at all vertices. In both settings, adjacent lattice-elements are related by simple local moves. This construction unifies earlier, similar constructions in combinatorics and statistical mechanics. It also gives rise to an interesting lattice structure on spanning trees. This article is an updated version of a preprint originally distributed in 1993.
Topological representations of matroids
Published
• View Publication
• BIB
There is a one-to-one correspondence between geometric lattices and the intersection lattices of arrangements of homotopy spheres. When the arrangements are essential and fully partitioned, Zaslavsky's enumeration of the cells of the arrangement still holds. An application of the theory shows that all minimal cellular resolutions of matroid Steiner ideals are bounded subcomplexes of homotopy sphere arrangements of the given matroid. As a result the Betti numbers of the ideal are computed and seen to be equivalent to Stanley's formula in the special case of face ideals of independence complexes of matroids.
Face numbers of 4-Polytopes and 3-Spheres
Published in Proceedings of the ICM, Beijing 2002, vol. 3, 625--636
• Search Publication
In this paper, we discuss f- and flag-vectors of 4-dimensional convex polytopes and cellular 3-spheres. We put forward two crucial parameters of fatness and complexity: Fatness F(P) := (f_1+f_2-20)/(f_0+f_3-10) is large if there are many more edges and 2-faces than there are vertices and facets, while complexity C(P) := (f_{03}-20)/(f_0+f_3-10) is large if every facet has many vertices, and every vertex is in many facets. Recent results suggest that these parameters might allow one to differentiate between the cones of f- or flag-vectors of -- connected Eulerian lattices of length 5 (combinatorial objects), -- strongly regular CW 3-spheres (topological objects), -- convex 4-polytopes (discrete geometric objects), and -- rational convex 4-polytopes (whose study involves arithmetic aspects). Further progress will depend on the derivation of tighter f-vector inequalities for convex 4-polytopes. On the other hand, we will need new construction methods that produce interesting polytopes which are far from being simplicial or simple -- for example, very ``fat'' or ``complex'' 4-polytopes. In this direction, I will report about constructions (from joint work with Michael Joswig, David Eppstein and Greg Kuperberg) that yield -- strongly regular CW 3-spheres of arbitrarily large fatness, -- convex 4-polytopes of fatness larger than 5.048, and -- rational convex 4-polytopes of fatness larger than 5-epsilon.
The toric Hilbert scheme of a rank two lattice is smooth and irreducible
Published
• View Publication
• BIB
The toric Hilbert scheme of a lattice L in Z^n is the multigraded Hilbert scheme parameterizing all ideals in k[x_1,...,x_n] with Hilbert function value one for every degree in the grading monoid N^n/L. In this paper we show that if L is two-dimensional, then the toric Hilbert scheme of L is smooth and irreducible. This result is false for lattices of dimension three and higher as the toric Hilbert scheme of a rank three lattice can be reducible.
Rectangular Matrix Models and Combinatorics of Colored Graphs
Published in Nucl.Phys. B648 (2003) 461-496
• View Publication
• BIB
We present applications of rectangular matrix models to various combinatorial problems, among which the enumeration of face-bicolored graphs with prescribed vertex degrees, and vertex-tricolored triangulations. We also mention possible applications to Interaction-Round-a-Face and hard-particle statistical models defined on random lattices.
A Group-Theoretic Framework for the Construction of Packings in Grassmannian Spaces
Published in J. Algebraic Combinatorics, 9 (1999), 129-140
• Search Publication
By using totally isotropic subspaces in an orthogonal space Omega^{+}(2i,2), several infinite families of packings of 2^k-dimensional subspaces of real 2^i-dimensional space are constructed, some of which are shown to be optimal packings. A certain Clifford group underlies the construction and links this problem with Barnes-Wall lattices, Kerdock sets and quantum-error-correcting codes.