lattice
4310 papers tagged with this keyword
Fully Packed Loop configurations in a Triangle and Littlewood-Richardson coefficients
Published in Journal of Combinatorial Theory, Series A Volume 120, Issue 8, November 2013, Pages 2137-2147
• View Publication
• BIB
In this work we continue our study of Fully Packed Loop (FPL) configurations in a triangle. These are certain subgraphs on a triangular subset of the square lattice, which first arose in the study of the usual FPL configurations on a square grid. We show that, in a special case, the enumeration of these FPLs in a triangle is given by Littlewood-Richardson coefficients. The proof consists of a bijection with Knutson-Tao puzzles.
EL-Shellability and Noncrossing Partitions Associated with Well-Generated Complex Reflection Groups
Published in European Journal of Combinatorics 43(C) (2015), pages 249-278
• View Publication
• BIB
In this article we prove that the lattice of noncrossing partitions is EL-shellable when associated with the well-generated complex reflection group of type $G(d,d,n)$, for $d,n\geq 3$, or with the exceptional well-generated complex reflection groups which are no real reflection groups. This result was previously established for the real reflection groups and it can be extended to the well-generated complex reflection group of type $G(d,1,n)$, for $d,n\geq 3$, as well as to three exceptional groups, namely $G_{25},G_{26}$ and $G_{32}$, using a braid group argument. We thus conclude that the lattice of noncrossing partitions of any well-generated complex reflection group is EL-shellable. Using this result and a construction by Armstrong and Thomas, we conclude further that the poset of $m$-divisible noncrossing partitions is EL-shellable for every well-generated complex reflection group. Finally, we derive results on the Möbius function of these posets previously conjectured by Armstrong, Krattenthaler and Tomie.
The Laplacian lattice of a graph under a simplicial distance function
Published
• View Publication
• BIB
We provide a complete description of important geometric invariants of the Laplacian lattice of a multigraph under the distance function induced by a regular simplex, namely Voronoi Diagram, Delaunay Triangulation, Delaunay Polytope and its combinatorial structure, Shortest Vectors, Covering and Packing Radius. We use this information to obtain the following results: i. Every multigraph defines a Delaunay triangulation of its Laplacian lattice and this Delaunay triangulation contains complete information of the multigraph up to isomorphism. ii. The number of multigraphs with a given Laplacian lattice is controlled, in particular upper bounded, by the number of different Delaunay triangulations. iii. We obtain formulas for the covering and packing densities of a Laplacian lattice and deduce that in the space of Laplacian lattices of undirected connected multigraphs, the Laplacian lattices of highly connected multigraphs such as Ramanujan multigraphs possess good covering and packing properties.
On the purity of maximal weakly separated set families
We present a short proof that every maximal family of weakly separated subsets of $[n]$ of cardinality between $[a,b]$ have the same size. Our proof is direct and only uses elementary combinatorics of lattice paths.
A new transfer-matrix algorithm for exact enumerations: Self-avoiding polygons on the square lattice
Published in J. Phys. A 45 115202 (2012)
• View Publication
• BIB
We present a new and more efficient implementation of transfer-matrix methods for exact enumerations of lattice objects. The new method is illustrated by an application to the enumeration of self-avoiding polygons on the square lattice. A detailed comparison with the previous best algorithm shows significant improvement in the running time of the algorithm. The new algorithm is used to extend the enumeration of polygons to length 130 from the previous record of 110.
New light on Bergman complexes by decomposing matroid types
Published
• View Publication
• BIB
Bergman complexes are polyhedral complexes associated to matroids. Faces of these complexes are certain matroids, called matroid types, too. In order to understand the structure of these faces we decompose matroid types into direct summands. Ardila/Klivans proved that the Bergman Complex of a matroid can be subdivided into the order complex of the proper part of its lattice of flats. Beyond that Feichtner/Sturmfels showed that the Bergman complex can even be subdivided to the even coarser nested set complex. We will give a much shorter and more general proof of this fact. Generalizing formulas proposed by Ardila/Klivans and Feichtner/Sturmfels for special cases, we present a decomposition into direct sums working for faces of any of these complexes. Additionally we show that it is the finest possible decomposition for faces of the Bergman complex.
On the rank function of a differential poset
Published in Electron. J. Combin. 19 (2012), no. 2, P13, 17 pages
• View Publication
• BIB
We study $r$-differential posets, a class of combinatorial objects introduced in 1988 by the first author, which gathers together a number of remarkable combinatorial and algebraic properties, and generalizes important examples of ranked posets, including the Young lattice. We first provide a simple bijection relating differential posets to a certain class of hypergraphs, including all finite projective planes, which are shown to be naturally embedded in the initial ranks of some differential poset. As a byproduct, we prove the existence, if and only if $r\geq 6$, of $r$-differential posets nonisomorphic in any two consecutive ranks but having the same rank function. We also show that the Interval Property, conjectured by the second author and collaborators for several sequences of interest in combinatorics and combinatorial algebra, in general fails for differential posets. In the second part, we prove that the rank function $p_n$ of any arbitrary $r$-differential poset has nonpolynomial growth; namely, $p_n\gg n^ae^{2\sqrt{rn}},$ a bound very close to the Hardy-Ramanujan asymptotic formula that holds in the special case of Young's lattice. We conclude by posing several open questions.
Macdonald processes
Published
• View Publication
• BIB
Macdonald processes are probability measures on sequences of partitions defined in terms of nonnegative specializations of the Macdonald symmetric functions and two Macdonald parameters q,t in [0,1). We prove several results about these processes, which include the following.
(1) We explicitly evaluate expectations of a rich family of observables for these processes. (2) In the case t=0, we find a Fredholm determinant formula for a q-Laplace transform of the distribution of the last part of the Macdonald-random partition. (3) We introduce Markov dynamics that preserve the class of Macdonald processes and lead to new "integrable" 2d and 1d interacting particle systems. (4) In a large time limit transition, and as q goes to 1, the particles of these systems crystallize on a lattice, and fluctuations around the lattice converge to O'Connell's Whittaker process that describe semi-discrete Brownian directed polymers. (5) This yields a Fredholm determinant for the Laplace transform of the polymer partition function, and taking its asymptotics we prove KPZ universality for the polymer (free energy fluctuation exponent 1/3 and Tracy-Widom GUE limit law). (6) Under intermediate disorder scaling, we recover the Laplace transform of the solution of the KPZ equation with narrow wedge initial data. (7) We provide contour integral formulas for a wide array of polymer moments. (8) This results in a new ansatz for solving quantum many body systems such as the delta Bose gas.
Size of components of a cube coloring
Published
• View Publication
• BIB
Suppose a d-dimensional lattice cube of size n^d is colored in several colors so that no face of its triangulation (subdivision of the standard partition into n^d small cubes) is colored in m+2 colors. Then one color is used at least f(d,m)*n^(d-m) times.
Optimal Self-Dual Z4-Codes and a Unimodular Lattice in Dimension 41
Published in Finite Fields and Their Applications 18 (2012), 529-536
• View Publication
• BIB
For lengths up to 47 except 37, we determine the largest minimum Euclidean weight among all Type I Z4-codes of that length. We also give the first example of an optimal odd unimodular lattice in dimension 41 explicitly, which is constructed from some Type I Z4-code of length 41.
Some Extremal Self-Dual Codes and Unimodular Lattices in Dimension 40
Published in Finite Fields and Their Applications 21 (2013) 67-83
• View Publication
• BIB
In this paper, binary extremal singly even self-dual codes of length 40 and extremal odd unimodular lattices in dimension 40 are studied. We give a classification of extremal singly even self-dual codes of length 40. We also give a classification of extremal odd unimodular lattices in dimension 40 with shadows having 80 vectors of norm 2 through their relationships with extremal doubly even self-dual codes of length 40.
Symmetries on the lattice of $k$-bounded partitions
Published
• View Publication
• BIB
In 2002 R. Suter identified a dihedral symmetry on certain order ideals in Young's lattice and gave a combinatorial action on the partitions in these order ideals. Viewing this result geometrically, the order ideals can be seen to be seen to be in bijection with the alcoves in a 2-fold dilation in the geometric realization of the affine symmetric group. By considering the m-fold dilation we observe a larger set of order ideals in the k-bounded partition lattice that was considered by L. Lapointe, A. Lascoux, and J. Morse in the study of k-Schur functions. We identify the order ideal and the cyclic action on it explicitly in a geometric and combinatorial form.
A relation between number of integral points, volumes of faces and degree of the discriminant of smooth lattice polytopes
Published
• View Publication
• BIB
We present a formula for the degree of the discriminant of a smooth projective toric variety associated to a lattice polytope P, in terms of the number of integral points in the interior of dilates of faces of dimension greater or equal than $\lceil \frac {\dim P} 2 \rceil$.
Weighted Generating Functions for Type II Lattices and Codes
Published
• View Publication
• BIB
We give a new structural development of harmonic polynomials on Hamming space, and harmonic weight enumerators of binary linear codes, that parallels one approach to harmonic polynomials on Euclidean space and weighted theta functions of Euclidean lattices. Namely, we use the finite-dimensional representation theory of sl_2 to derive a decomposition theorem for the spaces of discrete homogeneous polynomials in terms of the spaces of discrete harmonic polynomials, and prove a generalized MacWilliams identity for harmonic weight enumerators. We then present several applications of harmonic weight enumerators, corresponding to some uses of weighted theta functions: an equivalent characterization of t-designs, the Assmus-Mattson Theorem in the case of extremal Type II codes, and configuration results for extremal Type II codes of lengths 8, 24, 32, 48, 56, 72, and 96.
Tropical decomposition of Young's partition lattice
Published
• View Publication
• BIB
Young's partition lattice $L(m,n)$ consists of unordered partitions having $m$ parts where each part is at most $n$. Using methods from complex algebraic geometry, R. Stanley proved that $L(m,n)$ is rank-symmetric, unimodal, and strongly Sperner. Moreover, he conjectured that $L(m,n)$ has a stronger property called symmetric chain decomposition. Despite many efforts, this conjecture has only been proved for $\min(m,n)\leq 4$. In this paper, we decompose $L(m,n)$ into level sets for certain tropical polynomials derived from the secant varieties of the rational normal curve in projective space, and we find that the resulting subposets have an elementary raising and lowering algorithm. As a corollary, we obtain a symmetric chain decomposition for the subposet of $L(m,n)$ consisting of "sufficiently generic" partitions.
A Unified Partial and Mock Theta Function
Published
• View Publication
• BIB
Unary theta functions have played a significant role in the theory of holomorphic modular forms and modular $L$-functions. A partial theta functions is defined analogously, but the sum is over part of the integer lattice. Such sums fail to have modular properties. We give a construction which unifies these partial theta functions with the mock theta function introduced by Ramanujan. The modularity of Ramanujan's mock theta functions has only recently been understood by the work of Sander Zwegers.
Lattice Platonic Solids and their Ehrhart polynomial
First, we calculate the Ehrhart polynomial associated to an arbitrary cube with integer coordinates for its vertices. Then, we use this result to derive relationships between the Ehrhart polynomials for regular lattice tetrahedrons and those for regular lattice octahedrons. These relations allow one to reduce the calculation of these polynomials to only one coefficient.
Probabilistic existence of rigid combinatorial structures
Published in Proceedings of the forty-fourth annual ACM symposium on Theory of computing, pp. 1091-1106. ACM, 2012
• View Publication
• BIB
We show the existence of rigid combinatorial objects which previously were not known to exist. Specifically, for a wide range of the underlying parameters, we show the existence of non-trivial orthogonal arrays, $t$-designs, and $t$-wise permutations. In all cases, the sizes of the objects are optimal up to polynomial overhead. The proof of existence is probabilistic. We show that a randomly chosen such object has the required properties with positive yet tiny probability. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps.
Two-dimensional self-avoiding walks and polymer adsorption: Critical fugacity estimates
Published in J. Phys. A 45, 055208 (2012)
• View Publication
• BIB
Recently Beaton, de Gier and Guttmann proved a conjecture of Batchelor and Yung that the critical fugacity of self-avoiding walks interacting with (alternate) sites on the surface of the honeycomb lattice is $1+\sqrt{2}$. A key identity used in that proof depends on the existence of a parafermionic observable for self-avoiding walks interacting with a surface on the honeycomb lattice. Despite the absence of a corresponding observable for SAW on the square and triangular lattices, we show that in the limit of large lattices, some of the consequences observed for the honeycomb lattice persist irrespective of lattice. This permits the accurate estimation of the critical fugacity for the corresponding problem for the square and triangular lattices. We consider both edge and site weighting, and results of unprecedented precision are achieved. We also \emph{prove} the corresponding result fo the edge-weighted case for the honeycomb lattice.
The boundary value problem for discrete analytic functions
Published in Advances in Mathematics 240 (2013) 61-87
• View Publication
• BIB
This paper is on further development of discrete complex analysis introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We consider a graph lying in the complex plane and having quadrilateral faces. A function on the vertices is called discrete analytic, if for each face the difference quotients along the two diagonals are equal.
We prove that the Dirichlet boundary value problem for the real part of a discrete analytic function has a unique solution. In the case when each face has orthogonal diagonals we prove that this solution uniformly converges to a harmonic function in the scaling limit. This solves a problem of S. Smirnov from 2010. This was proved earlier by R. Courant-K. Friedrichs-H. Lewy and L. Lusternik for square lattices, by D. Chelkak-S. Smirnov and implicitly by P.G. Ciarlet-P.-A. Raviart for rhombic lattices.
In particular, our result implies uniform convergence of the finite element method on Delaunay triangulations. This solves a problem of A. Bobenko from 2011. The methodology is based on energy estimates inspired by alternating-current network theory.