lattice
4305 papers tagged with this keyword
Nonintersecting Paths, Noncolliding Diffusion Processes and Representation Theory
Published in RIMS Kokyuroku 1438 (2005) 83-102
• Search Publication
The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.
Compressed polytopes and statistical disclosure limitation
Published
• View Publication
• BIB
We provide a characterization of the compressed lattice polytopes in terms of their facet defining inequalities and we show that every compressed lattice polytope is affinely isomorphic to a 0/1-polytope. As an application, we characterize those graphs whose cut polytopes are compressed and discuss consequences for studying linear programming relaxations in statistical disclosure limitation.
Sharp thresholds and percolation in the plane
Published in Random Structures and Algorithms 29 (2006), 524--548.
• View Publication
• BIB
Recently, the authors showed that the critical probability for random Voronoi percolation in the plane is 1/2. A by-product of the method was a short proof of the Harris-Kesten Theorem concerning bond percolation in the planar square lattice. The aim of this paper is to show that the same techniques can be applied to many other planar percolation models, both to obtain short proofs of known results, and to prove new ones.
Volume and lattice points of reflexive simplices
Published in Discr. Comp. Geom. 37 (2007), 301-320
• View Publication
• BIB
We prove sharp upper bounds on the volume and the number of lattice points on edges of higher-dimensional reflexive simplices. These convex-geometric results are derived from new number-theoretic bounds on the denominators of unit fractions summing up to one. The main algebro-geometric application is a sharp upper bound on the anticanonical degree of higher-dimensional Q-factorial Gorenstein toric Fano varieties with Picard number one, where we completely characterize the case of equality.
Methods in the Local Theory of Packing and Covering Lattices
Published in pages 122-136 in Proceedings of "COE Workshop on Sphere Packings'', November 2004, Fukuoka, Japan
• Search Publication
In this paper we are concerned with three lattice problems: the lattice packing problem, the lattice covering problem and the lattice packing-covering problem. One way to find optimal lattices for these problems is to enumerate all finitely many, locally optimal lattices. For the lattice packing problem there are two classical algorithms going back to Minkowski and Voronoi. For the covering and for the packing-covering problem we propose new algorithms. Here we give a brief survey about these approaches. We report on some recent computer based computations where we were able to reproduce and partially extend the known classification of locally optimal lattices. Furthermore we found new record breaking covering and packing-covering lattices. We describe several methods with examples to show that a lattice is a locally optimal solution to one of the three problems.
Concerning the shape of a geometric lattice
Published
• View Publication
• BIB
A well-known conjecture states that the Whitney numbers of the second kind of a geometric lattice (simple matroid) are logarithmically concave. We show this conjecture to be equivalent to proving an upper bound on the number of new copoints in the free erection of the associated simple matroid M. A bound on the number of these new copoints is given in terms of the copoints and colines of M. Also, the points-lines-planes conjecture is shown to be equivalent to a problem concerning the number subgraphs of a certain bipartite graph whose vertices are the points and lines of a geometric lattice.
(-1)-enumeration of self-complementary plane partitions
We prove a product formula for the remaining cases of the weighted enumeration of self-complementary plane partitions contained in a given box where adding one half of an orbit of cubes and removing the other half of the orbit changes the sign of the weight. We use nonintersecting lattice path families to express this enumeration as a Pfaffian which can be expressed in terms of the known ordinary enumeration of self-complementary plane partitions.
A Simple Proof of the Aztec Diamond Theorem
Published
• View Publication
• BIB
Based on a bijection between domino tilings of an Aztec diamond and non-intersecting lattice paths, a simple proof of the Aztec diamond theorem is given in terms of Hankel determinants of the large and small Schröder numbers.
Chain polynomials of distributive lattices are 75 % unimodal
It is shown that the numbers $c_i$ of chains of length $i$ in the proper part $L\setminus\{0,1\}$ of a distributive lattice $L$ of length $\ell +2$ satisfy the inequalities $$c_0<...<c_{\lfloor{\ell /2}\rfloor} \quad{and}\quad c_{\lfloor{3 \ell /4}\rfloor}>...>c_{\ell}.$$ This proves 75 % of the inequalities implied by the Neggers unimodality conjecture.
Lattices of lattice paths
Published
• View Publication
• BIB
We consider posets of lattice paths (endowed with a natural order) and begin the study of such structures. We give an algebraic condition to recognize which ones of these posets are lattices. Next we study the class of Dyck lattices (i.e., lattices of Dyck paths) and give a recursive construction for them. The last section is devoted to the presentation of a couple of open problems.
Matroid polytopes, nested sets and Bergman fans
The tropical variety defined by linear equations with constant coefficients is the Bergman fan of the corresponding matroid. Building on a self-contained introduction to matroid polytopes, we present a geometric construction of the Bergman fan, and we discuss its relationship with the simplicial complex of nested sets in the lattice of flats. The Bergman complex is triangulated by the nested set complex, and the two complexes coincide if and only if every connected flat remains connected after contracting along any subflat. This sharpens a result of Ardila-Klivans who showed that the Bergman complex is triangulated by the order complex of the lattice of flats. The nested sets specify the De Concini-Procesi compactification of the complement of a hyperplane arrangement, while the Bergman fan specifies the tropical compactification. These two compactifications are almost equal, and we highlight the subtle differences.
Associativity in multary quasigroups: The way of biased expansions
Published in Aequationes Mathematicae, 83 (2012), no. 1, 1--66. MR 2885498. Zbl 1235.05059
• View Publication
• BIB
A "biased expansion" of a graph is a kind of branched covering graph with additional structure related to combinatorial homotopy of circles. Some but not all biased expansions are constructed from groups ("group expansions"); these include all biased expansions of complete graphs (assuming order at least four), which correspond to Dowling's lattices of a group and encode an iterated group operation. A biased expansion of a circle with chords encodes a multary (polyadic, n-ary) quasigroup, the chords corresponding to factorizations, i.e., associative structure. We show that any biased expansion of a 3-connected graph (of order at least four) is a group expansion, and that all 2-connected biased expansions are constructed by expanded edge amalgamation from group expansions and irreducible multary quasigroups. If a 2-connected biased expansion covers every base edge at most three times, or if every four-node minor is a group expansion, then the whole biased expansion is a group expansion. In particular, if a multary quasigroup has a factorization graph that is 3-connected, if it has order 3, or if every residual ternary quasigroup is an iterated group isotope, it is isotopic to an iterated group. We mention applications to generalizing Dowling geometries and to transversal designs of high strength.
Why Delannoy numbers?
Published in Journal of Statistical Planning and Inference 135, 1 (11/2005) 40-54
• View Publication
• BIB
This article is not a research paper, but a little note on the history of combinatorics: We present here a tentative short biography of Henri Delannoy, and a survey of his most notable works. This answers to the question raised in the title, as these works are related to lattice paths enumeration, to the so-called Delannoy numbers, and were the first general way to solve Ballot-like problems. These numbers appear in probabilistic game theory, alignments of DNA sequences, tiling problems, temporal representation models, analysis of algorithms and combinatorial structures.
New polytopes from products
Published
• View Publication
• BIB
We construct a new 2-parameter family E_mn of self-dual 2-simple and 2-simplicial 4-polytopes, with flexible geometric realisations. E_44 is the 24-cell. For large m,n the f-vectors have ``fatness'' close to 6.
The E_t-construction of Paffenholz and Ziegler applied to products of polygons yields cellular spheres with the combinatorial structure of E_mn. Here we prove polytopality of these spheres. More generally, we construct polytopal realisations for spheres obtained from the E_t-construction applied to products of polytopes in any dimension d>=3, if these polytopes satisfy some consistency conditions.
We show that the projective realisation space of E_33 is at least nine dimensional and that of E_44 at least four dimensional. This proves that the 24-cell is not projectively unique. All E_mn for relatively prime m,n>= 5 have automorphisms of their face lattice not induced by an affine transformation of any geometric realisation. The group Z_m x Z_n generated by rotations in the two polygons is a subgroup of the automorphisms of the face lattice of E_mn. However, there are only five pairs (m,n) for which this subgroup is geometrically realisable.
Relative blocking in posets
Published in Journal of Combinatorial Optimization, Volume 13 (2007), Issue 4, Pages 379-403
• View Publication
• BIB
Poset-theoretic generalizations of set-theoretic committee constructions are presented. The structure of the corresponding subposets is described. Sequences of irreducible fractions associated to the principal order ideals of finite bounded posets are considered and those related to the Boolean lattices are explored; it is shown that such sequences inherit all the familiar properties of the Farey sequences.
The cd-index of fans and lattices
Published
• View Publication
• BIB
The number of flags in a complete fan, or more generally in an Eulerian poset, is encoded in the cd-index. We prove non-negativity of the cd-index for complete fans, regular CW-spheres and Gorenstein* posets.
Multi-Path Matroids
Published in Combinatorics, Probability and Computing, 2007
• View Publication
• BIB
We introduce the minor-closed, dual-closed class of multi-path matroids. We give a polynomial-time algorithm for computing the Tutte polynomial of a multi-path matroid, we describe their basis activities, and we prove some basic structural properties. Key elements of this work are two complementary perspectives we develop for these matroids: on the one hand, multi-path matroids are transversal matroids that have special types of presentations; on the other hand, the bases of multi-path matroids can be viewed as sets of lattice paths in certain planar diagrams.
A short proof of the Harris-Kesten Theorem
Published in Bulletin of the London Mathematical Society 38 (2006), 470--484.
• View Publication
• BIB
We give a short proof of the fundamental result that the critical probability for bond percolation in the planar square lattice is equal to 1/2. The lower bound was proved by Harris, who showed in 1960 that percolation does not occur at $p=1/2$. The other, more difficult, bound was proved by Kesten, who showed in 1980 that percolation does occur for any $p>1/2$.
Integer Polynomial Optimization in Fixed Dimension
Published in Mathematics of Operations Research 31 (2006), no. 1, 147-153
• View Publication
• BIB
We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials that are non-negative over the polytope, these sequences of bounds lead to a fully polynomial-time approximation scheme for the optimization problem.
Ehrhart polynomials of cyclic polytopes
Published
• View Publication
• BIB
The Ehrhart polynomial of an integral convex polytope counts the number of lattice points in dilates of the polytope. In math.CO/0402148, the authors conjectured that for any cyclic polytope with integral parameters, the Ehrhart polynomial of it is equal to its volume plus the Ehrhart polynomial of its lower envelope and proved the case when the dimension d = 2. In our article, we prove the conjecture for any dimension.