lattice ↗ reference
4394 papers tagged with this keyword
Symmetries of statistics on lattice paths between two boundaries
Published in Adv. Math. 287 (2016), 347-388
• View Publication
• BIB
We prove that on the set of lattice paths with steps N=(0,1) and E=(1,0) that lie between two fixed boundaries T and B (which are themselves lattice paths), the statistics `number of E steps shared with B' and `number of E steps shared with T' have a symmetric joint distribution. To do so, we give an involution that switches these statistics, preserves additional parameters, and generalizes to paths that contain steps S=(0,-1) at prescribed x-coordinates. We also show that a similar equidistribution result for path statistics follows from the fact that the Tutte polynomial of a matroid is independent of the order of its ground set. We extend the two theorems to k-tuples of paths between two boundaries, and we give some applications to Dyck paths, generalizing a result of Deutsch, to watermelon configurations, to pattern-avoiding permutations, and to the generalized Tamari lattice. Finally, we prove a conjecture of Nicolás about the distribution of degrees of k consecutive vertices in k-triangulations of a convex n-gon. To achieve this goal, we provide a new statistic-preserving bijection between certain k-tuples of non-crossing paths and k-flagged semistandard Young tableaux, which is based on local moves reminiscent of jeu de taquin.
Relation spaces of hyperplane arrangements and modules defined by graphs of fiber zonotopes
Published in Israel Journal of Mathematics 201 (2014) 901-947
• View Publication
• BIB
We study the exactness of certain combinatorially defined complexes which generalize the Orlik-Solomon algebra of a geometric lattice. The main results pertain to complex reflection arrangements and their restrictions. In particular, we consider the corresponding relation complexes and give a simple proof of the $n$-formality of these hyperplane arrangements. As an application, we are able to bound the Castelnouvo-Mumford regularity of certain modules over polynomial rings associated to Coxeter arrangements (real reflection arrangements) and their restrictions. The modules in question are defined using the relation complex of the Coxeter arrangement and fiber polytopes of the dual Coxeter zonotope. They generalize the algebra of piecewise polynomial functions on the original arrangement.
Highly symmetric fundamental domains for lattices in R^2 and R^3
It is shown that most lattices $Γ$ in $\mathbb{R}^2$ and $\mathbb{R}^3$ possess a fundamental domain $F$ for the action of $Γ$ on $\mathbb{R}^2$, respectively $\mathbb{R}^3$, having more symmetries than the point group $P(Γ)$, i.e., the group $P (Γ) \subset O(d)$ fixing $Γ$. In particular, $P (Γ)$ is a subgroup of the symmetry group $S(F)$ of $F$ of index 2 in these cases. Exceptions are cubic lattices in the three-dimensional case, where such an $F$ does not exist. Possible exceptions are rhombic lattices in the plane case, where the constructions presented here do not seem to work.
Enumerations of lozenge tilings, lattice paths, and perfect matchings and the weak Lefschetz property
MacMahon enumerated the plane partitions in an $a \times b \times c$ box. These are in bijection to lozenge tilings of a hexagon, to certain perfect matchings, and to families of non-intersecting lattice paths. In this work we consider more general regions, called triangular regions, and establish signed versions of the latter three bijections. Indeed, we use perfect matchings and families of non-intersecting lattice paths to define two signs of a lozenge tiling. A combinatorial argument involving a new method, called resolution of a puncture, then shows that the signs are in fact equivalent. This provides in particular two different determinantal enumerations of these families. These results are then applied to study the weak Lefschetz property of Artinian quotients by monomial ideals of a three-dimensional polynomial ring. We establish sufficient conditions guaranteeing the weak Lefschetz property as well as the semistability of the syzygy bundle of the ideal, classify the type two algebras with the weak Lefschetz property, and study monomial almost complete intersections in depth. Furthermore, we develop a general method that often associates to an algebra that fails the weak Lefschetz property a toric surface that satisfies a Laplace equation. We also present examples of toric varieties that satisfy arbitrarily many Laplace equations. Our combinatorial methods allow us to address the dependence on the characteristic of the base field for many of our results.
Special polynomials related to the supersymmetric eight-vertex model. I. Behaviour at cusps
We study certain symmetric polynomials, which as very special cases include polynomials related to the supersymmetric eight-vertex model, and other elliptic lattice models with $Δ=\pm 1/2$. In this paper, which is the first part of a series, we study the behaviour of the polynomials at special parameter values, which can be identified with cusps of the modular group $Γ_0(12)$. In subsequent papers, we will show that the polynomials satisfy a non-stationary Schrödinger equation related to the Knizhnik--Zamolodchikov--Bernard equation and that they give a four-dimensional lattice of tau functions of Painlevé VI.
Lattice Paths and Order-preserving Partial Transformations
Let ${\cal PO}_n$ be the semigroup of all order-preserving partial transformations of a finite chain. It is shown that there exist bijections between the set of certain lattice paths in the Cartesian plane that start at $(0,0)$, end at $(n-1,n-1)$, and certain subsemigroups of ${\cal PO}_n$. Several consequences of these bijections were discussed.
Neighborly and almost neighborly configurations, and their duals
This thesis presents new applications of Gale duality to the study of polytopes, point configurations and oriented matroids with extremal combinatorial properties.
The first part of the thesis explores construction techniques for neighborly polytopes and oriented matroids. First, we provide a new interpretation of Shemer's classical Sewing Construction for neighborly polytopes in terms of lexicographic extensions of oriented matroids. This allows us to provide a simplified proof and to generalize it to oriented matroids in two ways: the Extended Sewing Construction and the Gale Sewing Construction. Estimating the number of polytopes constructed with the later, we can provide new lower bounds for the number of combinatorial types of neighborly polytopes that even improve the current best bounds for the number of polytopes. The combination of both new techniques also allows us to construct many non-realizable neighborly oriented matroids.
The degree of a point configuration is the maximal codimension of its interior faces. The second part of the thesis presents various results on the combinatorial structure of point configurations whose degree is small compared to their dimension; specifically, those whose degree is smaller than [(d+1)/2], the degree of neighborly polytopes. The study of this problem comes motivated by Ehrhart theory, where a notion equivalent to the degree - for lattice polytopes - has been widely studied during the last years. In addition, the study of the degree is also related to the Generalized Lower Bound Theorem for simplicial polytopes, with Cayley polytopes and with Tverberg theory. Among other results, we present a complete combinatorial classification for point configurations of degree 1. Moreover, we show combinatorial restrictions for configurations of small degree in terms of the novel concepts of weak Cayley configurations and codegree decompositions.
Unimodular triangulations of dilated 3-polytopes
Published in Trans. Moscow Math. Soc. 74 (2013), 293-311
• View Publication
• BIB
A seminal result in the theory of toric varieties, due to Knudsen, Mumford and Waterman (1973), asserts that for every lattice polytope $P$ there is a positive integer $k$ such that the dilated polytope $kP$ has a unimodular triangulation. In dimension 3, Kantor and Sarkaria (2003) have shown that $k=4$ works for every polytope. But this does not imply that every $k>4$ works as well. We here study the values of $k$ for which the result holds showing that:
1. It contains all composite numbers.
2. It is an additive semigroup.
These two properties imply that the only values of $k$ that may not work (besides 1 and 2, which are known not to work) are $k\in\{3,5,7,11\}$. With an ad-hoc construction we show that $k=7$ and $k=11$ also work, except in this case the triangulation cannot be guaranteed to be "standard" in the boundary. All in all, the only open cases are $k=3$ and $k=5$.
Analytic Combinatorics of Planar Lattice Paths
Lattice paths effectively model phenomena in chemistry, physics and probability theory. Asymptotic enumeration of lattice paths is linked with entropy in the physical systems being modeled. Lattice paths restricted to different regions of the plane are well suited to a functional equation approach for exact and asymptotic enumeration. This thesis surveys results on lattice paths under various restrictions, with an emphasis on lattice paths in the quarter plane. For these paths, we develop an original systematic combinatorial approach providing direct access to the exponential growth factors of the asymptotic expressions.
The 6-strand braid group is CAT(0)
Published in Geom Dedicata (2016) 182: 263
• View Publication
• BIB
We show that braid groups with at most 6 strands are CAT(0) using the close connection between these groups, the associated non-crossing partition complexes and the embeddability of their diagonal links into spherical buildings of type A. Furthermore, we prove that the orthoscheme complex of any bounded graded modular complemented lattice is CAT(0), giving a partial answer to a conjecture of Brady and McCammond.
Counting generalized Dyck paths
The Catalan number has a lot of interpretations and one of them is the number of Dyck paths. A Dyck path is a lattice path from $(0,0)$ to $(n,n)$ which is below the diagonal line $y=x$. One way to generalize the definition of Dyck path is to change the end point of Dyck path, i.e. we define (generalized) Dyck path to be a lattice path from $(0,0)$ to $(m,n) \in \mathbb{N}^2$ which is below the diagonal line $y=\frac{n}{m}x$, and denote by $C(m,n)$ the number of Dyck paths from $(0,0)$ to $(m,n)$. In this paper, we give a formula to calculate $C(m,n)$ for arbitrary $m$ and $n$.
Equivalence Classes in $S_n$ for Three Families of Pattern-Replacement Relations
We study a family of equivalence relations on $S_n$, the group of permutations on $n$ letters, created in a manner similar to that of the Knuth relation and the forgotten relation. For our purposes, two permutations are in the same equivalence class if one can be reached from the other through a series of pattern-replacements using patterns whose order permutations are in the same part of a predetermined partition of $S_c$. In particular, we are interested in the number of classes created in $S_n$ by each relation and in characterizing these classes.
Imposing the condition that the partition of $S_c$ has one nontrivial part containing the cyclic shifts of a single permutation, we find enumerations for the number of nontrivial classes. When the permutation is the identity, we are able to compare the sizes of these classes and connect parts of the problem to Young tableaux and Catalan lattice paths.
Imposing the condition that the partition has one nontrivial part containing all of the permutations in $S_c$ beginning with 1, we both enumerate and characterize the classes in $S_n$. We do the same for the partition that has two nontrivial parts, one containing all of the permutations in $S_c$ beginning with 1, and one containing all of the permutations in $S_c$ ending with 1.
Intrinsicness of the Newton polygon for smooth curves on $\mathbb{P}^1\times \mathbb{P}^1$
Published
• View Publication
• BIB
Let $C$ be a smooth projective curve in $\mathbb{P}^1\times \mathbb{P}^1$ of genus $g\neq 4$, and assume that it is birationally equivalent to a curve defined by a Laurent polynomial that is non-degenerate with respect to its Newton polygon $Δ$. Then we show that the convex hull $Δ^{(1)}$ of the interior lattice points of $Δ$ is a standard rectangle, up to a unimodular transformation. Our main auxiliary result, which we believe to be interesting in its own right, is that the first scrollar Betti numbers of $Δ$-non-degenerate curves are encoded in the combinatorics of $Δ^{(1)}$, if $Δ$ satisfies some mild conditions.
Face numbers of Engström representations of matroids
Published
• View Publication
• BIB
A classic problem in matroid theory is to find subspace arrangements, specifically hyperplane and pseudosphere arrangements, whose intersection posets are isomorphic to a prescribed geometric lattice. Engström recently showed how to construct an infinite family of such subspace arrangements, indexed by the set of finite regular CW complexes. In this note, we compute the face numbers of these representations (in terms of the face numbers of the indexing complexes) and give upper bounds on the total number of faces in these objects. In particular, we show that, for a fixed rank, the total number of faces in the Engström representation corresponding to a codimension one homotopy sphere arrangement is bounded above by a polynomial in the number of elements of the matroid with degree one less than its rank.
Contributions to the theory of de Bruijn cycles
A de Bruijn cycle is a cyclic listing of length A, of a collection of A combinatorial objects, so that each object appears exactly once as a set of consecutive elements in the cycle. In this paper, we show the power of de Bruijn's original theorem, namely that the cycles bearing his name exist for n-letter words on a k-letter alphabet for all values of k,n, to prove that we can create de Bruijn cycles for the assignment of elements of [n]={1,2,....,n} to the sets in any labeled subposet of the Boolean lattice; de Bruijn's theorem corresponds to the case when the subposet in question consists of a single ground element. The landmark work of Chung, Diaconis, and Graham extended the agenda of finding de Bruijn cycles to possibly the next most natural set of combinatorial objects, namely k-subsets of [n]. In this area, important contributions have been those of Hurlbert and Rudoy. Here we follow the direction of Blanca and Godbole, who proved that, in a suitable encoding, de Bruijn cycles can be created for the subsets of [n$ of size in the interval [s,t]; 0<=s<t<=n$. In this paper we generalize this result to exhibit existence of de Bruijn cycles for words with weight between s and t, where these parameters are suitably restricted.
Mod-phi convergence I: Normality zones and precise deviations
Published
• View Publication
• BIB
In this paper, we use the framework of mod-$φ$ convergence to prove precise large or moderate deviations for quite general sequences of real valued random variables $(X_{n})_{n \in \mathbb{N}}$, which can be lattice or non-lattice distributed. We establish precise estimates of the fluctuations $P[X_{n} \in t_{n}B]$, instead of the usual estimates for the rate of exponential decay $\log( P[X_{n}\in t_{n}B])$. Our approach provides us with a systematic way to characterise the normality zone, that is the zone in which the Gaussian approximation for the tails is still valid. Besides, the residue function measures the extent to which this approximation fails to hold at the edge of the normality zone.
The first sections of the article are devoted to a proof of these abstract results and comparisons with existing results. We then propose new examples covered by this theory and coming from various areas of mathematics: classical probability theory, number theory (statistics of additive arithmetic functions), combinatorics (statistics of random permutations), random matrix theory (characteristic polynomials of random matrices in compact Lie groups), graph theory (number of subgraphs in a random Erdős-Rényi graph), and non-commutative probability theory (asymptotics of random character values of symmetric groups). In particular, we complete our theory of precise deviations by a concrete method of cumulants and dependency graphs, which applies to many examples of sums of "weakly dependent" random variables. The large number as well as the variety of examples hint at a universality class for second order fluctuations.
Classifying terminal weighted projective space
We present a classification of all weighted projective spaces with at worst terminal or canonical singularities in dimension four. As a corollary we also classify all four-dimensional one-point lattice simplices up to equivalence. Finally, we classify the terminal Gorenstein weighted projective spaces up to dimension ten.
Motif Patterns and Coverings of Points with Unit Disks, Part I
Published in Geombinatorics, October 2013, Vol. 22, Issue 2, p. 41-51
• Search Publication
We consider a modification of Winkler's "dots and coins" problem, where we constrain the dots to lie on a square lattice in the plane. We construct packings of "coins" (closed unit disks) using motif patterns.
Connectivity patterns in loop percolation I: the rationality phenomenon and constant term identities
Published
• View Publication
• BIB
Loop percolation, also known as the dense O(1) loop model, is a variant of critical bond percolation in the square lattice Z^2 whose graph structure consists of a disjoint union of cycles. We study its connectivity pattern, which is a random noncrossing matching associated with a loop percolation configuration. These connectivity patterns exhibit a striking rationality property whereby probabilities of naturally-occurring events are dyadic rational numbers or rational functions of a size parameter n, but the reasons for this are not completely understood. We prove the rationality phenomenon in a few cases and prove an explicit formula expressing the probabilities in the "cylindrical geometry" as coefficients in certain multivariate polynomials. This reduces the rationality problem in the general case to that of proving a family of conjectural constant term identities generalizing an identity due to Di Francesco and Zinn-Justin. Our results make use of, and extend, algebraic techniques related to the quantum Knizhnik-Zamolodchikov equation.
Abstract loop equations, topological recursion, and applications
Published in Communications in Number Theory and Physics, Volume 9 (2015) Number 1
• View Publication
• BIB
We formulate a notion of abstract loop equations, and show that their solution is provided by a topological recursion under some assumptions, in particular the result takes a universal form. The Schwinger-Dyson equation of the one and two hermitian matrix models, and of the O(n) model appear as special cases. We study applications to repulsive particles systems, and explain how our notion of loop equations are related to Virasoro constraints. Then, as a special case, we study in detail applications to enumeration problems in a general class of non-intersecting loop models on the random lattice of all topologies, to SU(N) Chern-Simons invariants of torus knots in the large N expansion. We also mention an application to Liouville theory on surfaces of positive genus.