lattice
4310 papers tagged with this keyword
Matrix Ansatz, lattice paths and rook placements
Published in DMTCS Proceedings, 21st International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2009), 313--324
• View Publication
• BIB
We give two combinatorial interpretations of the Matrix Ansatz of the PASEP in terms of lattice paths and rook placements. This gives two (mostly) combinatorial proofs of a new enumeration formula for the partition function of the PASEP. Besides other interpretations, this formula gives the generating function for permutations of a given size with respect to the number of ascents and occurrences of the pattern 13-2, the generating function according to weak exceedances and crossings, and the n-th moment of certain q-Laguerre polynomials.
Exactly solved models of polyominoes and polygons
Published
• View Publication
• BIB
This chapter deals with the exact enumeration of certain classes of self-avoiding polygons and polyominoes on the square lattice. We present three general approaches that apply to many classes of polyominoes. The common principle to all of them is a recursive description of the polyominoes which then translates into a functional equation satisfied by the generating function. The first approach applies to classes of polyominoes having a linear recursive structure and results in a rational generating function. The second approach applies to classes of polyominoes having an algebraic recursive structure and results in an algebraic generating function. The third approach, commonly called the Temperley method, is based on the action of adding a new column to the polyominoes. We conclude by discussing some open questions.
Complete homogeneous symmetric polynomials in Jucys-Murphy elements and the Weingarten function
A connection is made between complete homogeneous symmetric polynomials in Jucys-Murphy elements and the unitary Weingarten function from random matrix theory. In particular we show that $h_r(J_1,...,J_n),$ the complete homogeneous symmetric polynomial of degree $r$ in the JM elements, coincides with the $r$th term in the asymptotic expansion of the Weingarten function. We use this connection to determine precisely which conjugacy classes occur in the class basis resolution of $h_r(J_1,...,J_n),$ and to explicitly determine the coefficients of the classes of minimal height when $r < n.$ These coefficients, which turn out to be products of Catalan numbers, are governed by the Moebius function of the non-crossing partition lattice $NC(n).$
Polynomial Coefficient Enumeration
Let $f(x_1,...,x_k)$ be a polynomial over a field $K$. This paper considers such questions as the enumeration of the number of nonzero coefficients of $f$ or of the number of coefficients equal to $α\in K^*$. For instance, if $K=\ff_q$ then a matrix formula is obtained for the number of coefficients of $f^n$ that are equal to $α\in \ff_q^*$, as a function of $n$. Many additional results are obtained related to such areas as lattice path enumeration and the enumeration of integer points in convex polytopes.
Automatic Classification of Restricted Lattice Walks
Published
• View Publication
• BIB
We propose an experimental mathematics approach leading to the computer-driven discovery of various structural properties of general counting functions coming from enumeration of walks.
Q-systems, Heaps, Paths and Cluster Positivity
Published in Comm. Math. Phys. 293 No3 (2010) 727-802
• View Publication
• BIB
We consider the cluster algebra associated to the $Q$-system for $A_r$ as a tool for relating $Q$-system solutions to all possible sets of initial data. We show that the conserved quantities of the $Q$-system are partition functions for hard particles on particular target graphs with weights, which are determined by the choice of initial data. This allows us to interpret the simplest solutions of the Q-system as generating functions for Viennot's heaps on these target graphs, and equivalently as generating functions of weighted paths on suitable dual target graphs. The generating functions take the form of finite continued fractions. In this setting, the cluster mutations correspond to local rearrangements of the fractions which leave their final value unchanged. Finally, the general solutions of the $Q$-system are interpreted as partition functions for strongly non-intersecting families of lattice paths on target lattices. This expresses all cluster variables as manifestly positive Laurent polynomials of any initial data, thus proving the cluster positivity conjecture for the $A_r$ $Q$-system. We also give an alternative formulation in terms of domino tilings of deformed Aztec diamonds with defects.
Spherical designs from norm-3 shell of integral lattices
Published in Asian-Eur. J. Math., 2 (2009), 239-253
• View Publication
• BIB
A set of vectors all of which have a constant (non-zero) norm value in an Euclidean lattice is called a shell of the lattice. Venkov classified strongly perfect lattices of minimum 3 (Réseaux et "designs" sphérique, 2001), whose minimal shell is a spherical 5-design. This note considers the classification of integral lattices whose shells of norm 3 are 5-designs.
Finite Square Lattice Vertex Cover by a Baseline Set Defined With a Minimum Sublattice
Each straight infinite line defined by two vertices of a finite square point lattice contains (covers) these two points and a - possibly empty - subset of points that happen to be collinear to these. This work documents vertex subsets of minimum order such that the sum of the infinite straight lines associated with the edges of their complete subgraph covers the entire set of vertices (nodes). This is an abstraction to the problem of sending a light signal to all stations (receivers) in a square array with a minimum number of stations also equipped with transmitters to redirect the light to other transmitters.
Differential posets and Smith normal forms
Published
• View Publication
• BIB
We conjecture a strong property for the up and down maps U and D in an r-differential poset: DU+tI and UD+tI have Smith normal forms over Z[t]. In particular, this would determine the integral structure of the maps U, D, UD, DU, including their ranks in any characteristic.
As evidence, we prove the conjecture for the Young-Fibonacci lattice YF studied by Okada and its r-differential generalizations Z(r), as well as verifying many of its consequences for Young's lattice Y and the r-differential Cartesian products Y^r.
Moments, cumulants and diagram formulae for non-linear functionals of random measures
This survey provides a unified discussion of multiple integrals, moments, cumulants and diagram formulae associated with functionals of completely random measures. Our approach is combinatorial, as it is based on the algebraic formalism of partition lattices and Möbius functions. Gaussian and Poisson measures are treated in great detail. We also present several combinatorial interpretations of some recent CLTs involving sequences of random variables belonging to a fixed Wiener chaos.
Distributive Lattices, Polyhedra, and Generalized Flow
Published
• View Publication
• BIB
A D-polyhedron is a polyhedron $P$ such that if $x,y$ are in $P$ then so are their componentwise max and min. In other words, the point set of a D-polyhedron forms a distributive lattice with the dominance order. We provide a full characterization of the bounding hyperplanes of D-polyhedra.
Aside from being a nice combination of geometric and order theoretic concepts, D-polyhedra are a unifying generalization of several distributive lattices which arise from graphs. In fact every D-polyhedron corresponds to a directed graph with arc-parameters, such that every point in the polyhedron corresponds to a vertex potential on the graph. Alternatively, an edge-based description of the point set can be given. The objects in this model are dual to generalized flows, i.e., dual to flows with gains and losses.
These models can be specialized to yield some cases of distributive lattices that have been studied previously. Particular specializations are: lattices of flows of planar digraphs (Khuller, Naor and Klein), of $α$-orientations of planar graphs (Felsner), of c-orientations (Propp) and of $Δ$-bonds of digraphs (Felsner and Knauer). As an additional application we exhibit a distributive lattice structure on generalized flow of breakeven planar digraphs.
Coding Theory and Algebraic Combinatorics
Published
• View Publication
• BIB
This chapter introduces and elaborates on the fruitful interplay of coding theory and algebraic combinatorics, with most of the focus on the interaction of codes with combinatorial designs, finite geometries, simple groups, sphere packings, kissing numbers, lattices, and association schemes. In particular, special interest is devoted to the relationship between codes and combinatorial designs. We describe and recapitulate important results in the development of the state of the art. In addition, we give illustrative examples and constructions, and highlight recent advances. Finally, we provide a collection of significant open problems and challenges concerning future research.
On the dimension of the minimal vertex covers semigroup ring of an unmixed bipartite graph
Published in LE MATEMATICHE Vol. LXIII, Fasc. II, pp. 157-163 (2008)
• Search Publication
In a paper in 2008, Herzog, Hibi and Ohsugi introduced and studied the semigroup ring associated to the set of minimal vertex covers of an unmixed bipartite graph. In this paper we relate the dimension of this semigroup ring to the rank of the Boolean lattice associated to the graph.
Representations and characterizations of polynomial functions on chains
Published in Journal of Multiple-Valued Logic and Soft Computing 16 (1-2) (2010) 65-86
• Search Publication
We are interested in representations and characterizations of lattice polynomial functions f:L^n -> L, where L is a given bounded distributive lattice. In companion papers [arXiv 0901.4888, arXiv 0808.2619], we investigated certain representations and provided various characterizations of these functions both as solutions of certain functional equations and in terms of necessary and sufficient conditions. In the present paper, we investigate these representations and characterizations in the special case when L is a chain, i.e., a totally ordered lattice. More precisely, we discuss representations of lattice polynomial functions given in terms of standard simplices and we present new axiomatizations of these functions by relaxing some of the conditions given in [arXiv 0901.4888, arXiv 0808.2619] and by considering further conditions, namely comonotonic minitivity and maxitivity.
Combinatorics of dispersionless integrable systems and universality in random matrix theory
Published
• View Publication
• BIB
It is well-known that the partition function of the unitary ensembles of random matrices is given by a tau-function of the Toda lattice hierarchy and those of the orthogonal and symplectic ensembles are tau-functions of the Pfaff lattice hierarchy. In these cases the asymptotic expansions of the free energies given by the logarithm of the partition functions lead to the dispersionless (i.e. continuous) limits for the Toda and Pfaff lattice hierarchies. There is a universality between all three ensembles of random matrices, one consequence of which is that the leading orders of the free energy for large matrices agree. In this paper, this universality, in the case of Gaussian ensembles, is explicitly demonstrated by computing the leading orders of the free energies in the expansions. We also show that the free energy as the solution of the dispersionless Toda lattice hierarchy gives a solution of the dispersionless Pfaff lattice hierarchy, which implies that this universality holds in general for the leading orders of the unitary, orthogonal, and symplectic ensembles.
We also find an explicit formula for the two point function $F_{nm}$ which represents the number of connected ribbon graphs with two vertices of degrees n and m on a sphere. The derivation is based on the Faber polynomials defined on the spectral curve of the dispersionless Toda lattice hierarchy, and $\frac{1}{nm} F_{nm}$ are the Grunsky coefficients of the Faber polynomials.
On 3-lattices and spherical designs
An integral lattice which is generated by some vectors of norm $q$ is called $q$-lattice. Classification of 3-lattices of dimension at most four is given by Mimura (On 3-lattice, 2006). As a expansion, we give a classification of 3-lattices of dimension at most seven. In addition, we consider the spherical designs from its shells.
Walks with small steps in the quarter plane
Published
• View Publication
• BIB
Let S be a subset of {-1,0,1}^2 not containing (0,0). We address the enumeration of plane lattice walks with steps in S, that start from (0,0) and always remain in the first quadrant. A priori, there are 2^8 problems of this type, but some are trivial. Some others are equivalent to a model of walks confined to a half-plane: such models can be solved systematically using the kernel method, which leads to algebraic generating functions. We focus on the remaining cases, and show that there are 79 inherently different problems to study. To each of them, we associate a group G of birational transformations. We show that this group is finite in exactly 23 cases. We present a unified way of solving 22 of the 23 models associated with a finite group. For each of them, the generating function is found to be D-finite. The 23rd model, known as Gessel's walks, has recently been proved by Bostan et al. to have an algebraic (and hence D-finite) solution. We conjecture that the remaining 56 models, associated with an infinite group, have a non-D-finite generating function. Our approach allows us to recover and refine some known results, and also to obtain new results. For instance, we prove that walks with N, E, W, S, SW and NE steps have an algebraic generating function.
Automorphism groups of cyclic codes
Published
• View Publication
• BIB
In this article we study the automorphism groups of binary cyclic codes. In particular, we provide explicit constructions for codes whose automorphism groups can be described as (a) direct products of two symmetric groups or (b) iterated wreath products of several symmetric groups. Interestingly, some of the codes we consider also arise in the context of regular lattice graphs and permutation decoding.
On the combinatorial classification of toric log del Pezzo surfaces
Published in LMS J. Comput. Math. 13 (2010) 33-46
• View Publication
• BIB
Toric log del Pezzo surfaces correspond to convex lattice polygons containing the origin in their interior and having only primitive vertices. An upper bound on the volume and on the number of boundary lattice points of these polygons is derived in terms of the index l. Techniques for classifying these polygons are also described: a direct classification for index two is given, and a classification for all l<17 is obtained.
Counting interesting elections
Published in The American Mathematical Monthly 117 (2010) 167-174
• View Publication
• BIB
We provide an elementary proof of a formula for the number of northeast lattice paths that lie in a certain region of the plane. Equivalently, this formula counts the lattice points inside the Pitman--Stanley polytope of an n-tuple.