lattice
4310 papers tagged with this keyword
Supersaturation in the Boolean lattice
Published in Integers 14A (2014): #A4
• Search Publication
We prove a "supersaturation-type" extension of both Sperner's Theorem (1928) and its generalization by Erdos (1945) to k-chains. Our result implies that a largest family whose size is x more than the size of a largest k-chain free family and that contains the minimum number of k-chains is the family formed by taking the middle (k-1) rows of the Boolean lattice and x elements from the k-th middle row. We prove our result using the symmetric chain decomposition method of de Bruijn, van Ebbenhorst Tengbergen, and Kruyswijk (1951).
The Dyck pattern poset
Published
• View Publication
• BIB
We introduce the notion of pattern in the context of lattice paths, and investigate it in the specific case of Dyck paths. Similarly to the case of permutations, the pattern-containment relation defines a poset structure on the set of all Dyck paths, which we call the Dyck pattern poset. Given a Dyck path P, we determine a formula for the number of Dyck paths covered by P, as well as for the number of Dyck paths covering P. We then address some typical pattern-avoidance issues, enumerating some classes of pattern-avoiding Dyck paths. Finally, we offer a conjecture concerning the asymptotic behavior of the sequence counting Dyck paths avoiding a generic pattern and we pose a series of open problems regarding the structure of the Dyck pattern poset.
Fibonacci numbers and self-dual lattice structures for plane branches
Published
• View Publication
• BIB
Consider a plane branch, that is, an irreducible germ of curve on a smooth complex analytic surface. We define its blow-up complexity as the number of blow-ups of points necessary to achieve its minimal embedded resolution. We show that there are $F_{2n-4}$ topological types of blow-up complexity $n$, where $F_{n}$ is the $n$-th Fibonacci number. We introduce complexity-preserving operations on topological types which increase the multiplicity and we deduce that the maximal multiplicity for a plane branch of blow-up complexity $n$ is $F_n$. It is achieved by exactly two topological types, one of them being distinguished as the only type which maximizes the Milnor number. We show moreover that there exists a natural partial order relation on the set of topological types of plane branches of blow-up complexity $n$, making this set a distributive lattice, that is, any two of its elements admit an infimum and a supremum, each one of these operations beeing distributive relative to the second one. We prove that this lattice admits a unique order-inverting bijection. As this bijection is involutive, it defines a duality for topological types of plane branches. The type which maximizes the Milnor number is also the maximal element of this lattice and its dual is the unique type with minimal Milnor number. There are $F_{n-2}$ self-dual topological types of blow-up complexity $n$. Our proofs are done by encoding the topological types by the associated Enriques diagrams.
Singularity analysis via the iterated kernel method
Published in Combinator. Probab. Comp. 23 (2014) 861-888
• View Publication
• BIB
In the quarter plane, five lattice path models with unit steps have resisted the otherwise general approach of Fayolle, Rachel, and Kurkova. Here we consider these five models, called the singular models, and prove that the generating functions marking the number of walks of a given length are not D-finite -- thus finishing the proof of a conjecture of Bousquet-Mélou and Mishna. Furthermore, we provide exact and asymptotic enumerative formulas for the number of such walks.
Rank-unimodality of Young's lattice via explicit chain decomposition
Young's lattice $L(m,n)$ consists of partitions having $m$ parts of size at most $n$, ordered by inclusion of the corresponding Ferrers diagrams. K. O'Hara gave the first constructive proof of the unimodality of the Gaussian polynomials by expressing the underlying ranked set of $L(m,n)$ as a disjoint union of products of centered rank-unimodal subsets. We construct a finer decomposition which is compatible with the partial order on Young's lattice, at the cost of replacing the cartesian product with a more general poset extension. As a corollary, we obtain an explicit chain decomposition which exhibits the rank-unimodality of $L(m,n)$. Moreover, this set of chains is closed under the natural rank-flipping involution given by taking complements of Ferrers diagrams.
Minimal Generating Sets of Lattice Ideals
Published
• View Publication
• BIB
Let $L\subset \mathbb{Z}^n$ be a lattice and $I_L=\langle x^{\bf u}-x^{\bf v}:\ {\bf u}-{\bf v}\in L\rangle$ be the corresponding lattice ideal in $\Bbbk[x_1,\ldots, x_n]$, where $\Bbbk$ is a field. In this paper we describe minimal binomial generating sets of $I_L$ and their invariants. We use as a main tool a graph construction on equivalence classes of fibers of $I_L$. As one application of the theory developed we characterize binomial complete intersection lattice ideals, a longstanding open problem in the case of non-positive lattices.
On smooth Gorenstein polytopes
Published
• View Publication
• BIB
A Gorenstein polytope of index r is a lattice polytope whose r-th dilate is a reflexive polytope. These objects are of interest in combinatorial commutative algebra and enumerative combinatorics, and play a crucial role in Batyrev's and Borisov's computation of Hodge numbers of mirror-symmetric generic Calabi-Yau complete intersections. In this paper, we report on what is known about smooth Gorenstein polytopes, i.e., Gorenstein polytopes whose normal fan is unimodular. We classify d-dimensional smooth Gorenstein polytopes with index larger than (d+3)/3. Moreover, we use a modification of Oebro's algorithm to achieve classification results for smooth Gorenstein polytopes in low dimensions. The first application of these results is a database of all toric Fano d-folds whose anticanonical divisor is divisible by an integer r larger than d-8. As a second application we verify that there are only finitely many families of Calabi-Yau complete intersections of fixed dimension that are associated to a smooth Gorenstein polytope via the Batyrev-Borisov construction.
Chromatic polynomials of graphs from Kac-Moody algebras
Published in J. Algebraic Combin. 41 (2015), no. 4, 1133--1142
• View Publication
• BIB
We give a new interpretation of the chromatic polynomial of a simple graph G in terms of the Kac-Moody Lie algebra with Dynkin diagram G. We show that the chromatic polynomial is essentially the q-Kostant partition function of this Lie algebra evaluated on the sum of the simple roots. Applying the Peterson recurrence formula for root multiplicities, we obtain a new realization of the chromatic polynomial as a weighted sum of paths in the bond lattice of G.
The toric h-vector of a cubical complex in terms of noncrossing partition statistics
Published
• View Publication
• BIB
This paper introduces a new and simple statistic on noncrossing partitions that expresses each coordinate of the toric $h$-vector of a cubical complex, written in the basis of the Adin $h$-vector entries, as the total weight of all noncrossing partitions. The same model may also be used to obtain a very simple combinatorial interpretation of the contribution of a cubical shelling component to the toric $h$-vector. In this model, a strengthening of the symmetry expressed by the Dehn-Sommerville equations may be derived from the self-duality of the noncrossing partition lattice, exhibited by the involution of Simion and Ullman.
Triangulations, orientals, and skew monoidal categories
Published in Advances in Mathematics, 258: 351-396, 2014
• View Publication
• BIB
A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As the objects of Fsk are meaningfully bracketed words in the skew unit I and the generating object X, it is necessary to examine bracketings and to find the appropriate kinds of morphisms between them. This leads us to relationships between triangulations of polygons, the Tamari lattice, left and right bracketing functions, and the orientals. A consequence of our description of Fsk is a coherence theorem asserting the existence of a strictly structure-preserving faithful functor from Fsk to the skew-monoidal category of finite non-empty ordinals and first-element-and-order-preserving functions. This in turn provides a complete solution to the word problem for skew monoidal categories.
Probabilistic existence of regular combinatorial structures
Published in Geom. Funct. Anal. 27 (2017), 919-972
• View Publication
• BIB
We show the existence of regular 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 structure has the required properties with positive yet tiny probability. Our method allows also to give rather precise estimates on the number of objects of a given size and this is applied to count the number of orthogonal arrays, t-designs and regular hypergraphs. The main technical ingredient is a special local central limit theorem for suitable lattice random walks with finitely many steps.
Free but not recursively free arrangements
Published
• View Publication
• BIB
We construct counterexamples to the conjecture that every free arrangement is recursively free in characteristic zero. The intersection lattice of our smallest example has a realization over a finite field which is recursively free, thus recursive freeness is not a combinatorial property of the intersection lattice of an arrangement.
Standard Young Tableaux and Colored Motzkin Paths
Published
• View Publication
• BIB
In this paper, we propose a notion of colored Motzkin paths and establish a bijection between the $n$-cell standard Young tableaux (SYT) of bounded height and the colored Motzkin paths of length $n$. This result not only gives a lattice path interpretation of the standard Young tableaux but also reveals an unexpected intrinsic relation between the set of SYTs with at most $2d+1$ rows and the set of SYTs with at most 2d rows.
Calculation of the connective constant for self-avoiding walks via the pivot algorithm
Published in J. Phys. A: Math. Theor. 46, 245001 (2013)
• View Publication
• BIB
We calculate the connective constant for self-avoiding walks on the simple cubic lattice to unprecedented accuracy, using a novel application of the pivot algorithm. We estimate that μ= 4.684 039 931(27). Our method also provides accurate estimates of the number of self-avoiding walks, even for walks with millions of steps.
Binary Linear Codes, Dimers and Hypermatrices
Published
• View Publication
• BIB
We show that the weight enumerator of any binary linear code is equal to the permanent of a 3-dimensional hypermatrix (3-matrix). We also show that each permanent is a determinant of a 3-matrix. As an application we write the dimer partition function of a finite 3-dimensional cubic lattice as the determinant of the vertex-adjacency 3-matrix of a 2-dimensional simplicial complex which preserves the natural embedding of the cubic lattice.
Restricted Successive Minima
Published in Pacific J. Math. 269 (2014) 341-354
• View Publication
• BIB
We give bounds on the successive minima of an $o$-symmetric convex body under the restriction that the lattice points realizing the successive minima are not contained in a collection of forbidden sublattices. Our investigations extend former results to forbidden full-dimensional lattices, to all successive minima and complement former results in the lower dimensional case.
Mutations of fake weighted projective planes
Published in Proceedings of the Edinburgh Mathematical Society, 59 (2016), no. 2, 271-285
• View Publication
• BIB
In previous work by Coates, Galkin, and the authors, the notion of mutation between lattice polytopes was introduced. Such a mutation gives rise to a deformation between the corresponding toric varieties. In this paper we study one-step mutations that correspond to deformations between weighted projective planes, giving a complete characterisation of such mutations in terms of T-singularities. We show also that the weights involved satisfy Diophantine equations, generalising results of Hacking-Prokhorov.
Even and Odd Pairs of Lattice Paths with Multiple Intersections
Let M(n,k,r,s) be the number of ordered paths in the plane, with unit steps E or N, that intersect k times in which the first path ends at the point (r,n-r) and the second path ends at the point (s,n-s). Our main object of study in this paper is the sum of the numbers M(n,k,r,s) over r and s where r+s is fixed. We consider even and odd values of r+s separately, and we derive a simpler formula for M(n,k,r,s) than previously appeared in the literature.
Fractional Perfect b-Matching Polytopes. I: General Theory
Published
• View Publication
• BIB
The fractional perfect b-matching polytope of an undirected graph G is the polytope of all assignments of nonnegative real numbers to the edges of G such that the sum of the numbers over all edges incident to any vertex v is a prescribed nonnegative number b_v. General theorems which provide conditions for nonemptiness, give a formula for the dimension, and characterize the vertices, edges and face lattices of such polytopes are obtained. Many of these results are expressed in terms of certain spanning subgraphs of G which are associated with subsets or elements of the polytope. For example, it is shown that an element u of the fractional perfect b-matching polytope of G is a vertex of the polytope if and only if each component of the graph of u either is acyclic or else contains exactly one cycle with that cycle having odd length, where the graph of u is defined to be the spanning subgraph of G whose edges are those at which u is positive.
Normal forms of convex lattice polytopes
We describe an algorithm for determining whether two convex polytopes P and Q, embedded in a lattice, are isomorphic with respect to a lattice automorphism. We extend this to a method for determining if P and Q are equivalent, i.e. whether there exists an affine lattice automorphism that sends P to Q. Methods for calculating the automorphism group and affine automorphism group of P are also described.
An alternative strategy is to determine a normal form such that P and Q are isomorphic if and only if their normal forms are equal. This is the approach adopted by Kreuzer and Skarke in their PALP software. We describe the Kreuzer-Skarke method in detail, and give an improved algorithm when P has many symmetries. Numerous examples, plus two appendices containing detailed pseudo-code, should help with any future reimplementations of these techniques. We conclude by explaining how to define and calculate the normal form of a Laurent polynomial.