lattice
4305 papers tagged with this keyword
On the Computation of Hilbert Bases and Extreme Rays of Cones
Published
• View Publication
• BIB
In this paper we present a novel project-and-lift approach to compute the set of minimal generators of the semigroup $(Λ\cap\R^n_+,+)$ for lattices $Λ\subseteq\Z^n$. This problem class includes the computation of Hilbert bases of cones $\{z:Az=0,z\in\R^n_+\}$ for integer matrices $A$. A similar approach can be used to compute only the extreme rays of such cones. Finally, some combinatorial applications and computational experience are presented.
Dimers on a simple-quartic net with a vacancy
Published in Journal of Stat. Phys. 110, 671-689 (2003)
• View Publication
• BIB
A seminal milestone in lattice statistics is the exact solution of the enumeration of dimers on a simple-quartic net obtained by Fisher,Kasteleyn, and Temperley (FKT) in 1961. An outstanding related and yet unsolved problem is the enumeration of dimers on a net with vacant sites. Here we consider this vacant-site problem with a single vacancy occurring at certain specific sites on the boundary of a simple-quartic net. First, using a bijection between dimer and spanning tree configurations due to Temperley, Kenyon, Propp, and Wilson, we establish that the dimer generating function is independent of the location of the vacancy, and deduce a closed-form expression for the generating function. We next carry out finite-size analyses of this solution as well as that of the FKT solution. Our analyses lead to a logarithmic correction term in the large-size expansion for the vacancy problem with free boundary conditions. A concrete example exhibiting this difference is given. We also find the central charge c=-2 in the language of conformal field theory for the vacancy problem, as versus the value c=1 when there is no vacancy.
Counting Hexagonal Lattice Animals
We describe Maple packages for the automatic generation of generating functions(and series expansions) for counting lattice animals(fixed polyominoes), in the two-dimensional hexagonal lattice, of bounded but arbitrary width. Our Maple packages(complete with source code) are easy-to-use and available from my website.
Residue formulae for vector partitions and Euler-MacLaurin sums
Published
• View Publication
• BIB
Given a finite set of vectors spanning a lattice and lying in a halfspace of a real vector space, to each vector $a$ in this vector space one can associate a polytope consisting of nonnegative linear combinations of the vectors in the set which sum up to $a$. This polytope is called the partition polytope of $a$. If $a$ is integral, this polytope contains a finite set of lattice points corresponding to nonnegative integral linear combinations. The partition polytope associated to an integral $a$ is a rational convex polytope, and any rational convex polytope can be realized canonically as a partition polytope. We consider the problem of counting the number of lattice points in partition polytopes, or, more generally, computing sums of values of exponential-polynomial functions on the lattice points in such polytopes. We give explicit formulae for these quantities using a notion of multi-dimensional residue due to Jeffrey-Kirwan. We show, in particular, that the dependence of these quantities on $a$ is exponential-polynomial on "large neighborhoods" of chambers. Our method relies on a theorem of separation of variables for the generating function, or, more generally, for periodic meromorphic functions with poles on an arrangement of affine hyperplanes.
Rational solutions to the Pfaff lattice and Jack polynomials
Published
• View Publication
• BIB
The finite Pfaff lattice is given by commuting Lax pairs involving a finite matrix L (zero above the first subdiagonal) and a projection onto Sp(N). The lattice admits solutions such that the entries of the matrix L are rational in the time parameters t_1,t_2,..., after conjugation by a diagonal matrix. The sequence of polynomial tau-functions, solving the problem, belongs to an intriguing chain of subspaces of Schur polynomials, associated to Young diagrams, dual with respect to a finite chain of rectangles. Also, this sequence of tau-functions is given inductively by the action of a fixed vertex operator.
As examples, one such sequence is given by Jack polynomials for rectangular Young diagrams, while another chain starts with any two-column Jack polynomial.
Non-rigidity degrees of root lattices and their duals
Published
• View Publication
• BIB
Non-rigidity degree of a lattice $L$, nrd$L$, is dimension of the L-type domain to which $L$ belongs. We complete here the table of nrd's of all root lattices and their duals; namely, the hardest remaining case of $D_n^*$, and the case of $E_7^*$ are decided.
We describe explicitly the $L$-type domain ${\cal D}(D_n^*)$, $n \ge 4$. For $n$ odd, it is a non-simplicial polyhedral open cone of dimension $n$. For $n$ even, it is one-dimensional, i.e. for even $n$, $D_n^*$ is an edge form.
Recursion relations for Unitary integrals, Combinatorics and the Toeplitz Lattice
Published
• View Publication
• BIB
The Toeplitz determinants (of increasing size) associated with the symbols $exp{t(z+z^{-1})}$ or $(1-ξ{z})^α (1-ξ{z^{-1}})^β$ satisfy recursion relations, thus expressing all the Toeplitz determinants as a rational function of the first few determinants. A. Borodin found these relations using Riemann-Hilbert methods.
The nature of Borodin's relations pointed towards the Toeplitz lattice and its Virasoro algebra, as developed by the authors. In this paper, we take the Toeplitz and Virasoro approach for a fairly large class of symbols, leading to a systematic and simple way of generating such recursion relations.
The latter are very naturally expressed in terms of the $L$-matrices appearing in the Lax pair for the Toeplitz lattice equations. As a surprise, we find, compared to Borodin's, a different set of relations, except for the 3-step relations associated with the symbol $ e^{t(z+z^{-1})}$. Moreover, these recursion relations define an invariant manifold for the Toeplitz lattice. This leads to a "discrete Painlevé property" (singularity confinement) for the rational recursion relations, as a consequence of the classical ``continuous Painlevé property" for the Toeplitz lattice.
Classes of Lattices Induced by Chip Firing (and Sandpile) Dynamics
Published
• View Publication
• BIB
In this paper we study three classes of models widely used in physics, computer science and social science: the Chip Firing Game, the Abelian Sandpile Model and the Chip Firing Game on a mutating graph. We study the set of configurations reachable from a given initial configuration, called the configuration space of a model, and try to determine the main properties of such sets. We study the order induced over the configurations by the evolution rule. This makes it possible to compare the power of expression of these models. It is known that the configuration spaces we obtain are lattices, a special kind of partially ordered set. Although the Chip Firing Game on a mutating graph is a generalization of the usual Chip Firing Game, we prove that these models generate exactly the same configuration spaces. We also prove that the class of lattices induced by the Abelian Sandpile Model is strictly included in the class of lattices induced by the Chip Firing Game, but contains the class of distributive lattices, a very well known class.
Critical and Tricritical Hard Objects on Bicolorable Random Lattices: Exact Solutions
Published in J.Phys.A35:3821-3854,2002
• View Publication
• BIB
We address the general problem of hard objects on random lattices, and emphasize the crucial role played by the colorability of the lattices to ensure the existence of a crystallization transition. We first solve explicitly the naive (colorless) random-lattice version of the hard-square model and find that the only matter critical point is the non-unitary Lee-Yang edge singularity. We then show how to restore the crystallization transition of the hard-square model by considering the same model on bicolored random lattices. Solving this model exactly, we show moreover that the crystallization transition point lies in the universality class of the Ising model coupled to 2D quantum gravity. We finally extend our analysis to a new two-particle exclusion model, whose regular lattice version involves hard squares of two different sizes. The exact solution of this model on bicolorable random lattices displays a phase diagram with two (continuous and discontinuous) crystallization transition lines meeting at a higher order critical point, in the universality class of the tricritical Ising model coupled to 2D quantum gravity.
A poset classifying non-commutative term orders
Published in Discrete Mathematics and Theoretical Computer Science (AA) 2001, pp 301-314
• View Publication
• BIB
We study a certain poset on the free monoid on a countable alphabet. This poset is determined by the fact that its total extensions are precisely the standard term orders. We also investigate the poset classifying degree-compatible standard term orders, and the poset classifying sorted term orders. For the latter poset, we give a Galois coconnection with the Young lattice.
On multiplicities of points on Schubert varieties in Graszmannians II
Published in J. Algebraic Combin. 22 (2005), 273-288.
• View Publication
• BIB
We prove a conjecture by Kreiman and Lakshmibai on a combinatorial description of multiplicities of points on Schubert varieties in Graszmannians in terms of certain sets of reflections in the corresponding Weyl group. The proof is accomplished by setting up a bijection between these sets of reflections and the author's previous combinatorial interpretation of these multiplicities in terms of nonintersecting lattice paths (Séminaire Lotharingien Combin. 45 (2001), Article B45c; see http://www.mat.univie.ac.at/~slc/wpapers/s45kratt.html or http://www.arxiv.org/abs/math.AG/0011129).
Enumeration of permutations containing a prescribed number of occurrences of a pattern of length 3
Published
• View Publication
• BIB
We consider the problem of enumerating the permutations containing exactly $k$ occurrences of a pattern of length 3. This enumeration has received a lot of interest recently, and there are a lot of known results. This paper presents an alternative approach to the problem, which yields a proof for a formula which so far only was conjectured (by Noonan and Zeilberger). This approach is based on bijections from permutations to certain lattice paths with ``jumps'', which were first considered by Krattenthaler.
A unifying generalization of Sperner's theorem
Published in More Sets, Graphs and Numbers: A Salute to Vera Sos and Andras Hajnal (E. Gyari, G. O. H. Katona, and L. Lovasz, eds.) Bolyai Society Mathematical Studies 15, pp. 9-24. Springer, Berlin, and Janos Bolyai Mathematical Society, Budapest, 2006
• View Publication
• BIB
Sperner's bound on the size of an antichain in the lattice P(S) of subsets of a finite set S has been generalized in three different directions: by Erdos to subsets of P(S) in which chains contain at most r elements; by Meshalkin to certain classes of compositions of S; by Griggs, Stahl, and Trotter through replacing the antichains by certain sets of pairs of disjoint elements of P(S). We unify Erdos's, Meshalkin's, and Griggs-Stahl-Trotter's inequalities with a common generalization. We similarly unify their accompanying LYM inequalities. Our bounds do not in general appear to be the best possible.
Dedekind sums: a combinatorial-geometric viewpoint
Published in M. B. Nathanson (ed.), Unusual Applications of Number Theory, DIMACS: Series in Discrete Mathematics and Theoretical Computer Science 64 (2004), 25-35
• View Publication
• BIB
The literature on Dedekind sums is vast. In this expository paper we show that there is a common thread to many generalizations of Dedekind sums, namely through the study of lattice point enumeration of rational polytopes. In particular, there are some natural finite Fourier series which we call Fourier-Dedekind sums, and which form the building blocks of the number of partitions of an integer from a finite set of positive integers. This problem also goes by the name of the `coin exchange problem'. Dedekind sums have enjoyed a resurgence of interest recently, from such diverse fields as topology, number theory, and combinatorial geometry. The Fourier-Dedekind sums we study here include as special cases generalized Dedekind sums studied by Berndt, Carlitz, Grosswald, Knuth, Rademacher, and Zagier. Our interest in these sums stems from the appearance of Dedekind's and Zagier's sums in lattice point count formulas for polytopes. Using some simple generating functions, we show that generalized Dedekind sums are natural ingredients for such formulas. As immediate `geometric' corollaries to our formulas, we obtain and generalize reciprocity laws of Dedekind, Zagier, and Gessel. Finally, we prove a polynomial-time complexity result for Zagier's higher-dimensional Dedekind sums.
Explicit and efficient formulas for the lattice point count in rational polygons using Dedekind-Rademacher sums
Published in Discrete & Comp. Geom. 27 (2002), 443--459
• View Publication
• BIB
We give explicit, polynomial-time computable formulas for the number of integer points in any two-dimensional rational polygon. A rational polygon is one whose vertices have rational coordinates. We find that the basic building blocks of our formulas are Dedekind-Rademacher sums, which are polynomial-time computable finite Fourier series. As a by-product we rederive a reciprocity law for these sums due to Gessel, which generalizes the reciprocity law for the classical Dedekind sums. In addition, our approach shows that Gessel's reciprocity law is a special case of the one for Dedekind-Rademacher sums, due to Rademacher.
Multidimensional Ehrhart Reciprocity
Published in J. Combin. Th. Ser. A 97, no. 1 (2002), 187-194
• View Publication
• BIB
In a previous paper (El. J. Combin. 6 (1999), R37), the author generalized Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational polytope, that is, a polytope with rational vertices, we use its description as the intersection of halfspaces, which determine the facets of the polytope. Instead of just a single dilation factor, we allow different dilation factors for each of these facets. We proved that, if our polytope is a simplex, the lattice point counts in the interior and closure of such a vector-dilated simplex are quasipolynomials satisfying an Ehrhart-type reciprocity law. This generalizes the classical reciprocity law for rational polytopes. In the present paper we complete the picture by extending this result to general rational polytopes. As a corollary, we also generalize a reciprocity theorem of Stanley.
A Tensor Product Theorem Related To Perfect Crystals
Published in Journal of Algebra 267 (2003) 212-245
• View Publication
• BIB
Kang et al. provided a path realization of the crystal graph of a highest weight module over a quantum affine algebra, as certain semi-infinite tensor products of a single perfect crystal. In this paper, this result is generalized to give a realization of the tensor product of several highest weight modules. The underlying building blocks of the paths are finite tensor products of several perfect crystals. The motivation for this work is an interpretation of fermionic formulas, which arise from the combinatorics of Bethe Ansatz studies of solvable lattice models, as branching functions of affine Lie algebras. It is shown that the conditions for the tensor product theorem are satisfied for coherent families of crystals previously studied by Kang, Kashiwara and Misra, and the coherent family of crystals $\{B^{k,l}\}_{l\ge 1}$ of type $A_n^{(1)}$.
Schur Partial Derivative Operators
Published in European J. Combin. 26 (2005), no. 6, 785--794
• View Publication
• BIB
A lattice diagram is a finite list L=((p_1,q_1),...,(p_n,q_n) of lattice cells. The corresponding lattice diagram determinant is Δ_L(X;Y)=\det \| x_i^{p_j}y_i^{q_j} \|. These lattice diagram determinants are crucial in the study of the so-called ``n! conjecture'' of A. Garsia and M. Haiman. The space M_L is the space spanned by all partial derivatives of Δ_L(X;Y). The ``shift operators'', which are particular partial symmetric derivative operators are very useful in the comprehension of the structure of the M_L spaces. We describe here how a Schur function partial derivative operator acts on lattice diagrams with distinct cells in the positive quadrant.
Critical resonance in the non-intersecting lattice path model
Published in Probability Theory and Related Fields 130(3):289--318, 2004
• View Publication
• BIB
We study the phase transition in the honeycomb dimer model (equivalently, monotone non-intersecting lattice path model). At the critical point the system has a strong long-range dependence; in particular, periodic boundary conditions give rise to a ``resonance'' phenomenon, where the partition function and other properties of the system depend sensitively on the shape of the domain.
Unimodular covers of multiples of polytopes
Published
• View Publication
• BIB
Let P be a d-dimensional lattice polytope. We show that there exists a natural number c_d, only depending on d, such that the multiples cP have a unimodular cover for every natural number c >= c_d. Actually, a subexponential upper bound for c_d is provided, together with an analogous result for unimodular covers of rational cones.