lattice
4310 papers tagged with this keyword
A note on the enumeration of directed animals via gas considerations
Published in Annals of Applied Probability 2009, Vol. 19, No. 5, 1860-1879
• View Publication
• BIB
In the literature, most of the results about the enumeration of directed animals on lattices via gas considerations are obtained by a formal passage to the limit of enumeration of directed animals on cyclical versions of the lattice. Here we provide a new point of view on this phenomenon. Using the gas construction given in [Electron. J. Combin. (2007) 14 R71], we describe the gas process on the cyclical versions of the lattices as a cyclical Markov chain (roughly speaking, Markov chains conditioned to come back to their starting point). Then we introduce a notion of convergence of graphs, such that if $(G_n)\to G$ then the gas process built on $G_n$ converges in distribution to the gas process on $G$. That gives a general tool to show that gas processes related to animals enumeration are often Markovian on lines extracted from lattices. We provide examples and computations of new generating functions for directed animals with various sources on the triangular lattice, on the $\mathcal {T}_n$ lattices introduced in [Ann. Comb. 4 (2000) 269--284] and on a generalization of the $\mathcaligr {L}_n$ lattices introduced in [J. Phys. A 29 (1996) 3357--3365].
Lattice polytopes cut out by root systems and the Koszul property
Published in Adv. Math. 220 (2009), 926--935.
• View Publication
• BIB
We show that lattice polytopes cut out by root systems of classical type are normal and Koszul, generalizing a well-known result of Bruns, Gubeladze, and Trung in type A. We prove similar results for Cayley sums of collections of polytopes whose Minkowski sums are cut out by root systems. The proofs are based on a combinatorial characterization of diagonally split toric varieties.
Combinatorial Constructions of Weight Bases: The Gelfand-Tsetlin Basis
Published
• View Publication
• BIB
This work is part of a project on weight bases for the irreducible representations of semisimple Lie algebras with respect to which the representation matrices of the Chevalley generators are given by explicit formulas. In the case of sl_n, the celebrated Gelfand-Tsetlin basis is the only such basis known. Using the setup of supporting graphs developed by Donnelly, we present a simple combinatorial proof of the Gelfand-Tsetlin formulas based on a rational function identity. Some properties of the Gelfand-Tsetlin basis are derived via an algorithm for solving certain equations on the lattice of semistandard Young tableaux.
Families of prudent self-avoiding walks
Published
• View Publication
• BIB
A self-avoiding walk (SAW) on the square lattice is prudent if it never takes a step towards a vertex it has already visited. Prudent walks differ from most classes of SAW that have been counted so far in that they can wind around their starting point. Their enumeration was first addressed by Préa in 1997. He defined 4 classes of prudent walks, of increasing generality, and wrote a system of recurrence relations for each of them . However, these relations involve more and more parameters as the generality of the class increases. The first class actually consists of partially directed walks, and its generating function is well-known to be rational. The second class was proved to have an algebraic (quadratic) generating function by Duchi (2005). Here, we solve exactly the third class, which turns out to be much more complex: its generating function is not algebraic, nor even D-finite. The fourth class -- general prudent walks -- is the only isotropic one, and still defeats us. However, we design an isotropic family of prudent walks on the triangular lattice, which we count exactly. Again, the generating function is proved to be non-D-finite. We also study the asymptotic properties of these classes of walks, with the (somewhat disappointing) conclusion that their endpoint moves away from the origin at a positive speed. This is confirmed visually by the random generation procedures we have designed.
On the Log-Concavity of Hilbert Series of Veronese Subrings and Ehrhart Series
Published in Mathematische Zeitschrift 264, no. 1 (2010), 195-207
• View Publication
• BIB
For every positive integer $n$, consider the linear operator $\U_{n}$ on polynomials of degree at most $d$ with integer coefficients defined as follows: if we write $\frac{h(t)}{(1 - t)^{d + 1}} = \sum_{m \geq 0} g(m) t^{m}$, for some polynomial $g(m)$ with rational coefficients, then $\frac{\U_{n}h(t)}{(1- t)^{d + 1}} = \sum_{m \geq 0} g(nm) t^{m}$. We show that there exists a positive integer $n_{d}$, depending only on $d$, such that if $h(t)$ is a polynomial of degree at most $d$ with nonnegative integer coefficients and $h(0) \geq 1$, then for $n \geq n_{d}$, $\U_{n}h(t)$ has simple, real, strictly negative roots and positive, strictly log concave and strictly unimodal coefficients. Applications are given to Ehrhart $δ$-polynomials and unimodular triangulations of dilations of lattice polytopes, as well as Hilbert series of Veronese subrings of Cohen--MacCauley graded rings.
Cayley decompositions of lattice polytopes and upper bounds for h^*-polynomials
Published in J. Reine Angew. Math. 637 (2009), 207-216
• View Publication
• BIB
We give an effective upper bound on the h^*-polynomial of a lattice polytope in terms of its degree and leading coefficient, confirming a conjecture of Batyrev. We deduce this bound as a consequence of a strong Cayley decomposition theorem which says, roughly speaking, that any lattice polytope with a large multiple that has no interior lattice points has a nontrivial decomposition as a Cayley sum of polytopes of smaller dimension. In an appendix, we interpret this result in terms of adjunction theory for toric varieties.
A construction of spherical designs from finite graphs with the theory of crystal lattice
We want to introduce a construction of spherical designs from finite graphs with the theory of crystal lattice. We start from a finite graph, and we consider standard realization of the crystal lattices as the maximal Abelian covering of the graph. Then, we take the set of vectors which form the crystal lattice. If every vector has the same norm, then we can consider a finite set on Euclidean sphere, and then we get a spherical design.
In this paper, we observe the results by numerical calculations. We tried constructing vectors from various finite graphs, strongly regular graphs, distance regular graphs, and so on. We also introduce some facts and conjectures.
Shuffling algorithm for boxed plane partitions
Published in Advances in Mathematics, 220 (2009), no. 6, 1739-1770
• View Publication
• BIB
We introduce discrete time Markov chains that preserve uniform measures on boxed plane partitions. Elementary Markov steps change the size of the box from (a x b x c) to ((a-1) x (b+1) x c) or ((a+1) x (b-1) x c). Algorithmic realization of each step involves O((a+b)c) operations. One application is an efficient perfect random sampling algorithm for uniformly distributed boxed plane partitions.
Trajectories of our Markov chains can be viewed as random point configurations in the three-dimensional lattice. We compute the bulk limits of the correlation functions of the resulting random point process on suitable two-dimensional sections. The limiting correlation functions define a two-dimensional determinantal point processes with certain Gibbs properties.
Minimal volume $k$-point lattice $d$-simplices
We extend the results of Bey, Hen, and Wills (http://arxiv.org/abs/math/0606089). In this paper, we show that, up to equivalence under unimodular transformations, there is exactly one class of $d$-simplices having $k \ge 1$ interior lattice points and minimal volume $\frac{1}{d!}(dk+1)$.
From Permutahedron to Associahedron
Published
• View Publication
• BIB
For each finite real reflection group $W$, we identify a copy of the type-$W$ simplicial generalised associahedron inside the corresponding simplicial permutahedron. This defines a bijection between the facets of the generalised associahedron and the elements of the type $W$ non-crossing partition lattice which is more tractable than previous such bijections. We show that the simplicial fan determined by this associahedron coincides with the Cambrian fan for $W$.
A bijection on core partitions and a parabolic quotient of the affine symmetric group
Published
• View Publication
• BIB
Let $\ell,k$ be fixed positive integers. In an earlier work, the first and third authors established a bijection between $\ell$-cores with first part equal to $k$ and $(\ell-1)$-cores with first part less than or equal to $k$. This paper gives several new interpretations of that bijection. The $\ell$-cores index minimal length coset representatives for $\widetilde{S_{\ell}} / S_{\ell}$ where $\widetilde{S_{\ell}}$ denotes the affine symmetric group and $S_{\ell}$ denotes the finite symmetric group. In this setting, the bijection has a beautiful geometric interpretation in terms of the root lattice of type $A_{\ell-1}$. We also show that the bijection has a natural description in terms of another correspondence due to Lapointe and Morse.
A Complete Classification of Ternary Self-Dual Codes of Length 24
Published in J. Combin. Theory Ser. A 116 (2009), 1063-1072
• View Publication
• BIB
Ternary self-dual codes have been classified for lengths up to 20. At length 24, a classification of only extremal self-dual codes is known. In this paper, we give a complete classification of ternary self-dual codes of length 24 using the classification of 24-dimensional odd unimodular lattices.
Extremality and designs in spaces of quadratic forms
A well known theorem of Voronoi caracterizes extreme quadratic forms and Euclidean lattices, that is those which are local maxima for the Hermite function, as perfect and eutactic. This caracterization has been extended in various cases, such that family of lattices, sections of lattices, Humbert forms, etc. Moreover, there is a criterion for extreme lattices, discovered by Venkov, formulated in terms of spherical designs which has been extended in the case of Grassmannians and sections of lattices. In this article, we define a general frame, in which there is a ``Voronoi characterization'', and a ``Venkov criterion'' through an appropriate notion of design. This frame encompasses many interesting situations in which a ``Voronoi characterization'' has been proved. We also discuss the question of extremality relatively to the Epstein zeta function, and we extend to our frame a characterization of final zeta-extremality formulated by Delone and Ryshkov and a criterion in terms of designs found by Coulangeon.
Overview of some general results in combinatorial enumeration
Published
• View Publication
• BIB
This survey article is devoted to general results in combinatorial enumeration. The first part surveys results on growth of hereditary properties of combinatorial structures.
These include permutations, ordered and unordered graphs and hypergraphs, relational structures, and others. The second part advertises five topics in general enumeration: 1. counting lattice points in lattice polytopes, 2. growth of context-free languages, 3. holonomicity (i.e., P-recursiveness) of numbers of labeled regular graphs, 4. frequent occurrence of the asymptotics cn^{-3/2}r^n and 5. ultimate modular periodicity of numbers of MSOL-definable structures.
Combinatorics of binomial primary decomposition
Published
• View Publication
• BIB
An explicit lattice point realization is provided for the primary components of an arbitrary binomial ideal in characteristic zero. This decomposition is derived from a characteristic-free combinatorial description of certain primary components of binomial ideals in affine semigroup rings, namely those that are associated to faces of the semigroup. These results are intimately connected to hypergeometric differential equations in several variables.
The tropical $j$-invariant
Published in LMS J. Comput. Math. 12, 2009, 275-294.
• View Publication
• BIB
If (Q,A) is a marked polygon with one interior point, then a general polynomial f in K[x,y] with support A defines an elliptic curve C on the toric surface X_A. If K has a non-archimedean valuation into the real numbers we can tropicalize C to get a tropical curve Trop(C). If the Newton subdivision induced by f is a triangulation, then Trop(C) will be a graph of genus one and we show that the lattice length of the cycle of that graph is the negative of the valuation of the j-invariant of C.
Affine partitions and affine Grassmannians
Published
• View Publication
• BIB
We give a bijection between certain colored partitions and the elements in the quotient of an affine Weyl group modulo its Weyl group. By Bott's formula these colored partitions give rise to some partition identities. In certain types, these identities have previously appeared in the work of Bousquet-Melou-Eriksson, Eriksson-Eriksson and Reiner. In other types the identities appear to be new. For type $A_{n}$, the affine colored partitions form another family of combinatorial objects in bijection with $n+1$-core partitions and $n$-bounded partitions. Our main application is to characterize the rationally smooth Schubert varieties in the affine Grassmannians in terms of affine partitions and a generalization of Young's lattice which refines weak order and is a subposet of Bruhat order. Several of the proofs are computer assisted.
Periodicity of non-central integral arrangements modulo positive integers
Published in Annals of Combinatorics 15 (2011) 449-464
• View Publication
• BIB
An integral coefficient matrix determines an integral arrangement of hyperplanes in R^m. After modulo q reduction, the same matrix determines an arrangement A_q of "hyperplanes" in Z^m. In the special case of central arrangements, Kamiya, Takemura and Terao [J. Algebraic Combin., to appear] showed that the cardinality of the complement of A_q in Z_q^m is a quasi-polynomial in q. Moreover, they proved in the central case that the intersection lattice of A_q is periodic from some q on. The present paper generalizes these results to the case of non-central arrangements. The paper also studies the arrangement B_m^{[0,a]} of Athanasiadis [J. Algebraic Combin. Vol.10 (1999), 207-225] to illustrate our results.
Sortable elements in infinite Coxeter groups
Published
• View Publication
• BIB
In a series of previous papers, we studied sortable elements in finite Coxeter groups, and the related Cambrian fans. We applied sortable elements and Cambrian fans to the study of cluster algebras of finite type and the noncrossing partitions associated to Artin groups of finite type. In this paper, as the first step towards expanding these applications beyond finite type, we study sortable elements in a general Coxeter group W. We supply uniform arguments which transform all previous finite-type proofs into uniform proofs (rather than type by type proofs), generalize many of the finite-type results and prove new and more refined results. The key tools in our proofs include a skew-symmetric form related to (a generalization of) the Euler form of quiver theory and the projection \pidown^c mapping each element of W to the unique maximal c-sortable element below it in the weak order. The fibers of \pidown^c essentially define the c-Cambrian fan. The most fundamental results are, first, a precise statement of how sortable elements transform under (BGP) reflection functors and second, a precise description of the fibers of \pidown^c. These fundamental results and others lead to further results on the lattice theory and geometry of Cambrian (semi)lattices and Cambrian fans.
Lattice of Triangulations: the proof and an algorithm
In this paper, we prove that the set of triangulations of a polygon can be equipped with an order to become a lattice. First, we define this order. In [HN99], authors defined the flip operator and then prove some properties of the graph of triangulations. We use their theorems and extend them to construct the lattice of triangulations. We prove this lattice property and introduce an elegant algorithm which correctness is induced from the proof. The complexity of this algorithm will be considered. This algorithm is efficient to find the infimum of a pair of triangulations.