lattice
4310 papers tagged with this keyword
Integer decomposition property for Cayley sums of order and stable set polytopes
Published in Michigan Mathematical Journal 69 (2020), 765--778
• View Publication
• BIB
Lattice polytopes which possess the integer decomposition property (IDP for short) turn up in many fields of mathematics. It is known that if the Cayley sum of lattice polytopes possesses IDP, then so does their Minkowski sum. In this paper, the Cayley sum of the order polytope of a finite poset and the stable set polytope of a finite simple graph is studied. We show that the Cayley sum of an order polytope and the stable set polytope of a perfect graph possesses a regular unimodular triangulation and IDP, and hence so does their Minkowski sum. Moreover, it turns out that, for an order polytope and the stable set polytope of a graph, the following conditions are equivalent: (i) the Cayley sum is Gorenstein; (ii) the Minkowski sum is Gorenstein; (iii) the graph is perfect.
A Sauer-Shelah-Perles Lemma for Lattices
Published
• View Publication
• BIB
We study lattice-theoretical extensions of the celebrated Sauer-Shelah-Perles Lemma. We conjecture that a general Sauer-Shelah-Perlem Lemma holds for a lattice $L$ if and only if $L$ is relatively complemented, and prove partial results towards this conjecture.
On the Number of Circuits in Regular Matroids (with Connections to Lattices and Codes)
Published
• View Publication
• BIB
We show that for any regular matroid on $m$ elements and any $α\geq 1$, the number of $α$-minimum circuits, or circuits whose size is at most an $α$-multiple of the minimum size of a circuit in the matroid is bounded by $m^{O(α^2)}$. This generalizes a result of Karger for the number of $α$-minimum cuts in a graph. As a consequence, we obtain similar bounds on the number of $α$-shortest vectors in "totally unimodular" lattices and on the number of $α$-minimum weight codewords in "regular" codes.
Variations of the Catalan numbers from some nonassociative binary operations
Published
• View Publication
• BIB
We investigate certain nonassociative binary operations that satisfy a four-parameter generalization of the associative law. From this we obtain variations of the ubiquitous Catalan numbers and connections to many interesting combinatorial objects such as binary trees, plane trees, lattice paths, and permutations.
On the Discrepancy of Random Matrices with Many Columns
Published
• View Publication
• BIB
Motivated by the Komlós conjecture in combinatorial discrepancy, we study the discrepancy of random matrices with $m$ rows and $n$ independent columns drawn from a bounded lattice random variable. It is known that for $n$ tending to infinity and $m$ fixed, with high probability the $\ell_\infty$-discrepancy is at most twice the $\ell_\infty$-covering radius of the integer span of the support of the random variable. However, the easy argument for the above fact gives no concrete bounds on the failure probability in terms of $n$. We prove that the failure probability is inverse polynomial in $m, n$ and some well-motivated parameters of the random variable. We also obtain the analogous bounds for the discrepancy in arbitrary norms.
We apply these results to two random models of interest. For random $t$-sparse matrices, i.e. uniformly random matrices with $t$ ones and $m-t$ zeroes in each column, we show that the $\ell_\infty$-discrepancy is at most $2$ with probability $1 - O(\sqrt{ \log n/n})$ for $n = Ω(m^3 \log^2 m)$. This improves on a bound proved by Ezra and Lovett (Ezra and Lovett, Approx+Random, 2016) showing that the same is true for $n$ at least $m^t$. For matrices with random unit vector columns, we show that the $\ell_\infty$-discrepancy is $O(\exp(\sqrt{ n/m^3}))$ with probability $1 - O(\sqrt{ \log n/n})$ for $n = Ω(m^3 \log^2 m).$ Our approach, in the spirit of Kuperberg, Lovett and Peled (G. Kuperberg, S. Lovett and R. Peled, STOC 2012), uses Fourier analysis to prove that for $m \times n$ matrices $M$ with i.i.d. columns, and $m$ sufficiently large, the distribution of $My$ for random $y \in \{-1,1\}^n$ obeys a local limit theorem.
Hopf dreams and diagonal harmonics
Published in J. Lond. Math. Soc., 105(3):1546-1600, 2022
• View Publication
• BIB
This paper introduces a Hopf algebra structure on a family of reduced pipe dreams. We show that this Hopf algebra is free and cofree, and construct a surjection onto a commutative Hopf algebra of permutations. The pipe dream Hopf algebra contains Hopf subalgebras with interesting sets of generators and Hilbert series related to subsequences of Catalan numbers. Three other relevant Hopf subalgebras include the Loday-Ronco Hopf algebra on complete binary trees, a Hopf algebra related to a special family of lattice walks on the quarter plane, and a Hopf algebra on $ν$-trees related to $ν$-Tamari lattices. One of this Hopf subalgebras motivates a new notion of Hopf chains in the Tamari lattice, which are used to present applications and conjectures in the theory of multivariate diagonal harmonics.
Lattice paths and branched continued fractions: An infinite sequence of generalizations of the Stieltjes--Rogers and Thron--Rogers polynomials, with coefficientwise Hankel-total positivity
We define an infinite sequence of generalizations, parametrized by an integer $m \ge 1$, of the Stieltjes--Rogers and Thron--Rogers polynomials; they arise as the power-series expansions of some branched continued fractions, and as the generating polynomials for $m$-Dyck and $m$-Schröder paths with height-dependent weights. We prove that all of these sequences of polynomials are coefficientwise Hankel-totally positive, jointly in all the (infinitely many) indeterminates. We then apply this theory to prove the coefficientwise Hankel-total positivity for combinatorially interesting sequences of polynomials. Enumeration of unlabeled ordered trees and forests gives rise to multivariate Fuss--Narayana polynomials and Fuss--Narayana symmetric functions. Enumeration of increasing (labeled) ordered trees and forests gives rise to multivariate Eulerian polynomials and Eulerian symmetric functions, which include the univariate $m$th-order Eulerian polynomials as specializations. We also find branched continued fractions for ratios of contiguous hypergeometric series ${}_r \! F_s$ for arbitrary $r$ and $s$, which generalize Gauss' continued fraction for ratios of contiguous ${}_2 \! F_1$; and for $s=0$ we prove the coefficientwise Hankel-total positivity. Finally, we extend the branched continued fractions to ratios of contiguous basic hypergeometric series ${}_r \! φ_s$.
Polytope volume by descent in the face lattice and applications in social choice
Published
• View Publication
• BIB
We describe the computation of polytope volumes by descent in the face lattice, its implementation in Normaliz, and the connection to reverse-lexicographic triangulations. The efficiency of the algorithm is demonstrated by several high dimensional polytopes of different characteristics. Finally, we present an application to voting theory where polytope volumes appear as probabilities of certain paradoxa.
Graphs in perturbation theory: Algebraic structure and asymptotics
Published in Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät, 2018
• View Publication
• BIB
This thesis provides an extension of the work of Dirk Kreimer and Alain Connes on the Hopf algebra structure of Feynman graphs and renormalization to general graphs. Additionally, an algebraic structure of the asymptotics of formal power series with factorial growth, which is compatible with the Hopf algebraic structure, is introduced.
The Hopf algebraic structure on graphs permits the explicit enumeration of graphs with constraints for the allowed subgraphs. In the case of Feynman diagrams a lattice structure, which will be introduced, exposes additional unique properties for physical quantum field theories. The differential ring of factorially divergent power series allows the extraction of asymptotic results of implicitly defined power series with vanishing radius of convergence. Together both structures provide an algebraic formulation of large graphs with constraints on the allowed subgraphs. These structures are motivated by and used to analyze renormalized zero-dimensional quantum field theory at high orders in perturbation theory.
As a pure application of the Hopf algebra structure, an Hopf algebraic interpretation of the Legendre transformation in quantum field theory is given. The differential ring of factorially divergent power series will be used to solve two asymptotic counting problems from combinatorics: The asymptotic number of connected chord diagrams and the number of simple permutations. For both asymptotic solutions, all order asymptotic expansions are provided as generating functions in closed form. Both structures are combined in an application to zero-dimensional quantum field theory. Various quantities are explicitly given asymptotically in the zero-dimensional version of $\varphi^3$, $\varphi^4$, QED, quenched QED and Yukawa theory with their all order asymptotic expansions.
Percolation on triangulations: a bijective path to Liouville quantum gravity
Published
• View Publication
• BIB
We set the foundation for a series of works aimed at proving strong relations between uniform random planar maps and Liouville quantum gravity (LQG). Our method relies on a bijective encoding of site-percolated planar triangulations by certain 2D lattice paths. Our bijection parallels in the discrete setting the \emph{mating-of-trees} framework of LQG and Schramm-Loewner evolutions (SLE) introduced by Duplantier, Miller, and Sheffield. Combining these two correspondences allows us to relate uniform site-percolated triangulations to $\sqrt{8/3}$-LQG and SLE$_6$. In particular, we establish the convergence of several functionals of the percolation model to continuous random objects defined in terms of $\sqrt{8/3}$-LQG and SLE$_6$. For instance, we show that the exploration tree of the percolation converges to a branching SLE$_6$, and that the collection of percolation cycles converges to the conformal loop ensemble CLE$_6$. We also prove convergence of counting measure on the pivotal points of the percolation. Our results play an essential role in several other works, including a program for showing convergence of the conformal structure of uniform triangulations and works which study the behavior of random walk on the uniform infinite planar triangulation.
Delta-matroids as subsystems of sequences of Higgs lifts
Published in Advances in Applied Mathematics, 2021
• View Publication
• BIB
In her paper "Generalized matroids and supermodular colourings", Tardos studied special delta-matroids obtained from sequences of Higgs lifts; these are the full Higgs lift delta-matroids that we treat and around which all of our results revolve. We give an excluded-minor characterization of the class of full Higgs lift delta-matroids within the class of all delta-matroids, and we give similar characterizations of two other minor-closed classes of delta-matroids that we define using Higgs lifts. We introduce a minor-closed, dual-closed class of Higgs lift delta-matroids that arise from lattice paths. It follows from results of Bouchet that all delta-matroids can be obtained from full Higgs lift delta-matroids by removing certain feasible sets; to address which feasible sets can be removed, we give an excluded-minor characterization of delta-matroids within the more general structure of set systems. Many of these excluded minors occur again when we characterize the delta-matroids in which the collection of feasible sets is the union of the collections of bases of matroids of different ranks, and yet again when we require those matroids to have special properties, such as being paving.
Stringy $E$-functions of canonical toric Fano threefolds and their applications
Published
• View Publication
• BIB
Let $Δ$ be a $3$-dimensional lattice polytope containing exactly one interior lattice point. We give a simple combinatorial formula for computing the stringy $E$-function of the $3$-dimensional canonical toric Fano variety $X_Δ$ associated with the polytope $Δ$. Using the stringy Libgober-Wood identity and our formula, we generalize the well-known combinatorial identity $\sum_{θ\preceq Δ\atop \dim (θ) =1} v(θ) \cdot v(θ^*) = 24$ holding in the case of $3$-dimensional reflexive polytopes $Δ$.
Lattice Path Matroids are 3-Colorable
We show that every lattice path matroid of rank at least two has a quite simple coline, also known as a positive coline. Therefore every orientation of a lattice path matroid is 3-colorable with respect to the chromatic number of oriented matroids introduced by J. Nešetřil, R. Nickel, and W. Hochstättler.
$N^{3/4}$ law in the cubic lattice
Published
• View Publication
• BIB
We investigate the Edge-Isoperimetric Problem (EIP) for sets with $n$ elements of the cubic lattice by emphasizing its relation with the emergence of the Wulff shape in the crystallization problem. Minimizers $M_n$ of the edge perimeter are shown to deviate from a corresponding cubic Wulff configuration with respect to their symmetric difference by at most $ {\rm O}(n^{3/4})$ elements. The exponent $3/4$ is optimal. This extends to the cubic lattice analogous results that have already been established for the triangular, the hexagonal, and the square lattice in two space dimensions.
$h^*$-Polynomials With Roots on the Unit Circle
Published
• View Publication
• BIB
For an $n$-dimensional lattice simplex $Δ_{(1,\mathbf{q})}$ with vertices given by the standard basis vectors and $-\mathbf{q}$ where $\mathbf{q}$ has positive entries, we investigate when the Ehrhart $h^*$-polynomial for $Δ_{(1,\mathbf{q})}$ factors as a product of geometric series in powers of $z$. Our motivation is a theorem of Rodriguez-Villegas implying that when the $h^*$-polynomial of a lattice polytope $P$ has all roots on the unit circle, then the Ehrhart polynomial of $P$ has positive coefficients. We focus on those $Δ_{(1,\mathbf{q})}$ for which $\mathbf{q}$ has only two or three distinct entries, providing both theoretical results and conjectures/questions motivated by experimental evidence.
Algorithmic Pirogov-Sinai theory
Published
• View Publication
• BIB
We develop an efficient algorithmic approach for approximate counting and sampling in the low-temperature regime of a broad class of statistical physics models on finite subsets of the lattice $\mathbb Z^d$ and on the torus $(\mathbb Z/n \mathbb Z)^d$. Our approach is based on combining contour representations from Pirogov-Sinai theory with Barvinok's approach to approximate counting using truncated Taylor series. Some consequences of our main results include an FPTAS for approximating the partition function of the hard-core model at sufficiently high fugacity on subsets of $\mathbb Z^d$ with appropriate boundary conditions and an efficient sampling algorithm for the ferromagnetic Potts model on the discrete torus $(\mathbb Z/n \mathbb Z)^d$ at sufficiently low temperature.
Well-quasi-ordering in lattice path matroids
Lattice path matroids form a subclass of transversal matroids and were introduced by Bonin, de Mier and Noy. Transversal matroids are not well-quasi-ordered, even when the branch-width is restricted. Though lattice path matroids are not well-quasi-ordered, we prove that lattice path matroids of bounded branch-width are well-quasi-ordered.
Bounds on multiple self-avoiding polygons
Published in Can. Math. Bull. 61 (2018) 518-530
• View Publication
• BIB
A self-avoiding polygon is a lattice polygon consisting of a closed self-avoiding walk on a square lattice. Surprisingly little is known rigorously about the enumeration of self-avoiding polygons, although there are numerous conjectures that are believed to be true and strongly supported by numerical simulations. As an analogous problem of this study, we consider multiple self-avoiding polygons in a confined region, as a model for multiple ring polymers in physics. We find rigorous lower and upper bounds of the number $p_{m \times n}$ of distinct multiple self-avoiding polygons in the $m \times n$ rectangular grid on the square lattice. For $m=2$, $p_{2 \times n} = 2^{n-1}-1$. And, for integers $m,n \geq 3$, $$2^{m+n-3} \left(\frac{17}{10}\right)^{(m-2)(n-2)} \ \leq \ p_{m \times n} \ \leq \ 2^{m+n-3} \left(\frac{31}{16}\right)^{(m-2)(n-2)}.$$
Hankel determinants and shifted periodic continued fractions
Published
• View Publication
• BIB
Sulanke and Xin developed a continued fraction method that applies to evaluate Hankel determinants corresponding to quadratic generating functions. We use their method to give short proofs of Cigler's Hankel determinant conjectures, which were proved recently by Chang-Hu-Zhang using direct determinant computation. We find that shifted periodic continued fractions arise in our computation. We also discover and prove some new nice Hankel determinants relating to lattice paths with step set $\{(1,1),(q,0), (\ell-1,-1)\}$ for integer parameters $m,q,\ell$. Again shifted periodic continued fractions appear.
Interlacing Polynomials and the Veronese Construction for Rational Formal Power Series
Published
• View Publication
• BIB
Fixing a positive integer $r$ and $0 \le k \le r-1$, define $f^{\langle r,k \rangle}$ for every formal power series $f$ as $ f(x) = f^{\langle r,0 \rangle}(x^r)+xf^{\langle r,1 \rangle}(x^r)+ \cdots +x^{r-1}f^{\langle r,r-1 \rangle}(x^r).$ Jochemko recently showed that the polynomial $U^{n}_{r,k}\, h(x) := \left( (1+x+\cdots+x^{r-1})^{n} h(x) \right)^{\langle r,k \rangle}$ has only nonpositive zeros for any $r \ge °h(x) -k$ and any positive integer $n$. As a consequence, Jochemko confirmed a conjecture of Beck and Stapledon on the Ehrhart polynomial $h(x)$ of a lattice polytope of dimension $n$, which states that $U^{n}_{r,0}\,h(x)$ has only negative, real zeros whenever $r\ge n$. In this paper, we provide an alternative approach to Beck and Stapledon's conjecture by proving the following general result: if the polynomial sequence $\left( h^{\langle r,r-i \rangle}(x)\right)_{1\le i \le r}$ is interlacing, so is $\left( U^{n}_{r,r-i}\, h(x) \right)_{1\le i \le r}$. Our result has many other interesting applications. In particular, this enables us to give a new proof of Savage and Visontai's result on the interlacing property of some refinements of the descent generating functions for colored permutations. Besides, we derive a Carlitz identity for refined colored permutations.