lattice ↗ reference
4394 papers tagged with this keyword
The Lovász Local Lemma is Not About Probability
Given a collection of independent events each of which has strictly positive probability, the probability that all of them occur is also strictly positive. The Lovász local lemma (LLL) asserts that this remains true if the events are not too strongly negatively correlated. The formulation of the lemma involves a graph with one vertex per event, with edges indicating potential negative dependence. The word "Local" in LLL reflects that the condition for the negative correlation can be expressed solely in terms of the neighborhood of each vertex. In contrast to this local view, Shearer developed an exact criterion for the avoidance probability to be strictly positive, but it involves summing over all independent sets of the graph.
In this work we make two contributions. The first is to develop a hierarchy of increasingly powerful, increasingly non-local lemmata for bounding the avoidance probability from below, each lemma associated with a different set of walks in the graph. Already, at its second level, our hierarchy is stronger than all known local lemmata. To demonstrate its power we prove new bounds for the negative-fugacity singularity of the hard-core model on several lattices, a central problem in statistical physics.
Our second contribution is to prove that Shearer's connection between the probabilistic setting and the independent set polynomial holds for \emph{arbitrary supermodular} functions, not just probability measures. This means that all LLL machinery can be employed to bound from below an arbitrary supermodular function, based only on information regarding its value at singleton sets and partial information regarding their interactions. We show that this readily implies both the quantum LLL of Ambainis, Kempe, and Sattath~[JACM 2012], and the quantum Shearer criterion of Sattath, Morampudi, Laumann, and Moessner~[PNAS 2016].
On the moments of moments of random matrices and Ehrhart polynomials
Published
• View Publication
• BIB
There has been significant interest in studying the asymptotics of certain generalised moments, called the moments of moments, of characteristic polynomials of random Haar-distributed unitary and symplectic matrices, as the matrix size $N$ goes to infinity. These quantities depend on two parameters $k$ and $q$ and when both of them are positive integers it has been shown that these moments are in fact polynomials in the matrix size $N$. In this paper we classify the integer roots of these polynomials and moreover prove that the polynomials themselves satisfy a certain symmetry property. This confirms some predictions from the thesis of Bailey. The proof uses the Ehrhart-Macdonald reciprocity for rational convex polytopes and certain bijections between lattice points in some polytopes.
Semidistrim Lattices
Published
• View Publication
• BIB
We introduce semidistrim lattices, a simultaneous generalization of semidistributive and trim lattices that preserves many of their common properties. We prove that the elements of a semidistrim lattice correspond to the independent sets in an associated graph called the Galois graph, that products and intervals of semidistrim lattices are semidistrim, and that the order complex of a semidistrim lattice is either contractible or homotopy equivalent to a sphere.
Semidistrim lattices have a natural rowmotion operator, which simultaneously generalizes Barnard's $\overlineκ$ map on semidistributive lattices as well as Thomas and the second author's rowmotion on trim lattices. Every lattice has an associated pop-stack sorting operator that sends an element $x$ to the meet of the elements covered by $x$. For semidistrim lattices, we are able to derive several intimate connections between rowmotion and pop-stack sorting, one of which involves independent dominating sets of the Galois graph.
Multi-colored dimer models in one-dimension: lattice paths and generalized Rogers--Ramanujan identities
We define and study multi-colored dimer models on a segment and on a circle. The multivariate generating functions for the dimer models satisfy the recurrence relations similar to the one for Fibonacci numbers. We give closed formulae for the generating functions. We show that, in the large size limit with specializations of the formal variables, the generating functions exhibit the summations appearing in generalized Rogers--Ramanujan identities. Further, the generating functions of the dimer models have infinite product formulae for general values of formal variables in the large size limit. These formulae are generalizations of Rogers--Ramanujan identities for multi variables. We also give other several specializations which exhibit simple combinatorial formulae. The analysis of the correlation functions, which we call emptiness formation probabilities and moments, leads to the application of the formal power series associated to the Dyck, Motzkin and Schröder paths to the generating functions for the dimer models. We give descriptions of the generating functions of finite size in terms of these combinatorial objects, Dyck and Motzkin paths with statistics. We have three additional results. First, the convoluted generating functions for Fibonacci, Catalan and Motzkin numbers are shown to be expressed as generating functions of Fibonacci, Dyck and Motzkin words with the weights given by binomial coefficients. The second one is a weight preserving correspondence between a Motzkin path and a set of Dyck paths. The third one is a connection of the generating functions for the dimer models to the generating functions of independent sets of special classes of graphs.
Lattice Packings of Cross-polytopes from Reed-Solomon Codes and Sidon Sets
Published in Bull. London Math. Soc., vol. 54, no. 6, pp. 2372-2378, 2022
• View Publication
• BIB
Two constructions of lattice packings of $ n $-dimensional cross-polytopes ($ \ell_1 $ balls) are described, the density of which exceeds that of any prior construction by a factor of at least $ 2^{\frac{n}{\ln n}(1 + o(1))} $ when $ n \to \infty $. The first family of lattices is explicit and is obtained by applying Construction A to a class of Reed-Solomon codes. The second family has subexponential construction complexity and is based on the notion of Sidon sets in finite Abelian groups. The construction based on Sidon sets also gives the highest known asymptotic density of packing discrete cross-polytopes of fixed radius $ r \geqslant 3 $ in $ \mathbb{Z}^n $.
Counting Tripods on the Torus
Published in Arnold Math. J. 9 (2023) 359-379
• View Publication
• BIB
Motivated by the problem of counting finite BPS webs, we count certain immersed metric graphs, tripods, on the flat torus. Classical Euclidean geometry turns this into a lattice point counting problem in $\mathbb C^2$, and we give an asymptotic counting result using lattice point counting techniques.
Hilbert series of Parallelogram Polyominoes
Published
• View Publication
• BIB
We present a conjecture about the reduced Hilbert series of the coordinate ring of a simple polyomino in terms of particular arrangements of non-attacking rooks that can be placed on the polyomino. By using a computational approach, we prove that the above conjecture holds for all simple polyominoes up to rank $11$. In addition, we prove that the conjecture holds true for the class of parallelogram polyominoes, by looking at those as simple planar distributive lattices. Finally, we give a combinatorial interpretation of the Gorensteinnes of parallelogram polyominoes.
On the non-connectivity of moduli spaces of arrangements: the splitting-polygon structure
Published
• View Publication
• BIB
Questions that seek to determine whether a hyperplane arrangement property, be it geometric, arithmetic or topological, is of a combinatorial nature (that is determined by the intersection lattice) are abundant in the literature. To tackle such questions and provide a negative answer, one of the most effective methods is to produce a counterexample. To this end, it is essential to know how to construct arrangements that are lattice-equivalent. The more different they are, the more efficient it will be. In this paper, we present a method to construct arrangements of complex projective lines that are lattice-equivalent but lie in distinct connected components of their moduli space. To illustrate the efficiency of the method, we apply it to reconstruct all the classical examples of arrangements with disconnected moduli spaces: MacLane, Falk-Sturmfels, Nasir-Yoshinaga and Rybnikov. Moreover, we employ this method to produce novel examples of arrangements of eleven lines whose moduli spaces are formed by four connected components.
Polyhedral realizations for $B(\infty)$ and extended Young diagrams, Young walls of type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$, ${\rm D}^{(2)}_{n}$
Published
• View Publication
• BIB
The crystal bases are quite useful combinatorial tools to study the representations of quantized universal enveloping algebras $U_q(\mathfrak{g})$. The polyhedral realization for $B(\infty)$ is a combinatorial description of the crystal base, which is defined as an image of embedding $Ψ_ι:B(\infty)\hookrightarrow \mathbb{Z}^{\infty}_ι$, where $ι$ is an infinite sequence of indices and $\mathbb{Z}^{\infty}_ι$ is an infinite $\mathbb{Z}$-lattice with a crystal structure associated with $ι$. It is a natural problem to find an explicit form of the polyhedral realization ${\rm Im}(Ψ_ι)$. In this article, supposing that $\mathfrak{g}$ is of affine type ${\rm A}^{(1)}_{n-1}$, ${\rm C}^{(1)}_{n-1}$, ${\rm A}^{(2)}_{2n-2}$ or ${\rm D}^{(2)}_{n}$ and $ι$ satisfies the condition of `adaptedness', we describe ${\rm Im}(Ψ_ι)$ by using several combinatorial objects such as extended Young diagrams and Young walls.
Ferrers Graphs, D-Permutations, and Surjective Staircases
Published
• View Publication
• BIB
We introduce a new family of hyperplane arrangements inspired by the homogenized Linial arrangement (which was recently introduced by Hetyei), and show that the intersection lattices of these arrangements are isomorphic to the bond lattices of Ferrers graphs. Using recent work of Lazar and Wachs we are able to give combinatorial interpretations of the characteristic polynomials of these arrangements in terms of permutation enumeration. For certain infinite families of these hyperplane arrangements, we are able to give generating function formulas for their characteristic polynomials. To do so, we develop a generalization of Dumont's surjective staircases, and introduce a polynomial which enumerates these generalized surjective staircases according to several statistics. We prove a recurrence for these polynomials and show that in certain special cases this recurrence can be solved explicitly to yield a generating function. We also prove refined versions of several of these results using the theory of complex hyperplane arrangements.
Knot theory and cluster algebras
Published
• View Publication
• BIB
We establish a connection between knot theory and cluster algebras via representation theory. To every knot diagram (or link diagram), we associate a cluster algebra by constructing a quiver with potential. The rank of the cluster algebra is $2n$, where $n$ is the number of crossing points in the knot diagram. We then construct $2n$ indecomposable modules $T(i)$ over the Jacobian algebra of the quiver with potential. For each $T(i)$, we show that the submodule lattice is isomorphic to the corresponding lattice of Kauffman states. We then give a realization of the Alexander polynomial of the knot as a specialization of the $F$-polynomial of $T(i)$, for every $i$. Furthermore, we conjecture that the collection of the $T(i)$ forms a cluster in the cluster algebra whose quiver is isomorphic to the opposite of the initial quiver, and that the resulting cluster automorphism is of order two.
Orbit configuration space of standard action and cellular methods of poset
We extend the existing idea of "cellular poset", introduce a collection of "cellular methods" for the computation of homology of intersection lattice of a complicated subspace arrangement, and for the computation of multiplicative structure induced by intersection. As an application, we give a presentation of cohomology ring of orbit configuration space of standard action by cellular methods and a spectral sequence associated with Grothendieck fibration of poset.
On some combinatorial sequences associated to invariant theory
Published in European Journal of Combinatorics (2022)
• View Publication
• BIB
We study the enumerative and analytic properties of some sequences constructed using tensor invariant theory. The octant sequences are constructed from the exceptional Lie group $G_2$ and the quadrant sequences from the special linear group $SL(3)$. In each case we show that the corresponding sequences are related by binomial transforms. The first three octant sequences and the first four quadrant sequences are listed in the On-Line Encyclopedia of Integer Sequences (OEIS). These sequences all have interpretations as enumerating two-dimensional lattice walks but for the octant sequences the boundary conditions are unconventional. These sequences are all P-recursive and we give the corresponding recurrence relations. In all cases the associated differential operators are of third order and have the remarkable property that they can be solved to give closed formulae for the ordinary generating functions in terms of classical Gaussian hypergeometric functions. Moreover, we show that the octant sequences and the quadrant sequences are related by the branching rules for the inclusion of $SL(3)$ in $G_2$.
Cylindric plane partitions, Lambda determinants, Commutants in semicircular systems
This thesis is divided into three parts. The first part deals with cylindric plane partitions. The second with lambda-determinants and the third with commutators in semi-circular systems. For more detailed abstract please see inside.
Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. The first result of section one is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences. The second result is a $(q,t)$-analog of Borodin's identity which extends previous work by Okada in the reverse plane partition case. The third result is an explicit combinatorial interpretation of the Macdonald weight occurring in the $(q,t)$-analog using the non-intersecting lattice path model for cylindric plane partitions.
Alternating sign matrices were discovered by Robbins and Rumsey whilst studying \emph{$λ$-determinants}. In the second part of this thesis we prove a multi-parameter generalization of the $λ$-determinant, generalizing a recent result by di Francesco. Like the original $λ$-determinant, our formula exhibits the \emph{Laurent phenomenon}.
Semicircular systems were first introduced by Voiculescu as a part of his study of von Neumann algebras. In the third part of this thesis we study certain commutator subalgebras of the semicircular system. We find a projection matrix with an interesting self-similar structure. Making use of our projection formula we given an alternative, elementary proof that the semicircular system is a factor.
Simplicial complexes from finite projective planes and colored configurations
Published
• View Publication
• BIB
In the 7-vertex triangulation of the torus, the 14 triangles can be partitioned as $T_{1} \sqcup T_{2}$, such that each $T_{i}$ represents the lines of a copy of the Fano plane $PG(2, \mathbb{F}_{2})$. We generalize this observation by constructing, for each prime power $q$, a simplicial complex $X_{q}$ with $q^{2} + q + 1$ vertices and $2(q^{2} + q + 1)$ facets consisting of two copies of $PG(2, \mathbb{F}_{q})$.
Our construction works for any colored $k$-configuration, defined as a $k$-configuration whose associated bipartite graph $G$ is connected and has a $k$-edge coloring $χ\colon E(G) \to [k]$, such that for all $v \in V(G)$, $a, b, c \in [k]$, following edges of colors $a, b, c, a, b, c$ from $v$ brings us back to $v$. We give one-to-one correspondences between (1) Sidon sets of order 2 and size $k + 1$ in groups with order $n$, (2) linear codes with radius 1 and index $n$ in the lattice $A_{k}$, and (3) colored $(k + 1)$-configurations with $n$ points and $n$ lines. (The correspondence between (1) and (2) is known.) As a result, we suggest possible topological obstructions to the existence of Sidon sets, and in particular, planar difference sets.
On the Ehrhart Polynomial of Schubert Matroids
Published
• View Publication
• BIB
In this paper, we give a formula for the number of lattice points in the dilations of Schubert matroid polytopes. As applications, we obtain the Ehrhart polynomials of uniform and minimal matroids as special cases, and give a recursive formula for the Ehrhart polynomials of $(a,b)$-Catalan matroids. Ferroni showed that uniform and minimal matroids are Ehrhart positive. We show that all sparse paving Schubert matroids are Ehrhart positive and their Ehrhart polynomials are coefficient-wisely bounded by those of minimal and uniform matroids. This confirms a conjecture of Ferroni for the case of sparse paving Schubert matroids. Furthermore, we introduce notched rectangle matroids, which include minimal matroids, sparse paving Schubert matroids and panhandle matroids. We show that three subfamilies of notched rectangle matroids are Ehrhart positive, and conjecture that all notched rectangle matroids are Ehrhart positive.
Combinatorics of Iwahori Whittaker Functions
We give a combinatorial evaluation of Iwahori Whittaker functions for unramified genuine principal series representations on metaplectic covers of the general linear group over a non-archimedean local field. To describe the combinatorics, we introduce new combinatorial data that we call colored data: colored Lusztig data, colored Gelfand-Tsetlin patterns, and colored lattice models. We show that all three are equivalent. To achieve the result, we give an explicit Iwahori decomposition for the maximal unipotent subgroup of a split reductive group which gives the parametrization of the generalized Mirković-Vilonen cycles in the affine flag varieties and is of interest in itself.
Our result is based and naturally extends Peter McNamara's evaluation of the metaplectic spherical Whittaker function in terms of Lusztig data.
New modular symmetric function and its applications: Modular $s$-Stirling numbers
Published
• View Publication
• BIB
In this paper, we consider a generalization of the Stirling number sequence of both kinds by using a specialization of a new family of symmetric functions. We give combinatorial interpretations for this symmetric functions by means of weighted lattice path and tilings. We also present some new convolutions involving the complete and elementary symmetric functions. Additionally, we introduce different families of set partitions to give combinatorial interpretations for the modular $s$-Stirling numbers.
Rational Ehrhart Theory
Published in Integers: the Electronic Journal of Combinatorial Number Theory 23 (2023), A 60 (31 pages)
• Search Publication
The Ehrhart quasipolynomial of a rational polytope $\mathsf{P}$ encodes fundamental arithmetic data of $\mathsf{P}$, namely, the number of integer lattice points in positive integral dilates of $\mathsf{P}$. Ehrhart quasipolynomials were introduced in the 1960s, satisfy several fundamental structural results and have applications in many areas of mathematics and beyond. The enumerative theory of lattice points in rational (equivalently, real) dilates of rational polytopes is much younger, starting with work by Linke (2011), Baldoni-Berline-Koeppe-Vergne (2013), and Stapledon (2017). We introduce a generating-function ansatz for rational Ehrhart quasipolynomials, which unifies several known results in classical and rational Ehrhart theory. In particular, we define $γ$-rational Gorenstein polytopes, which extend the classical notion to the rational setting and encompass the generalized reflexive polytopes studied by Fiset-Kasprzyk (2008) and Kasprzyk-Nill (2012).
The excluded minors for lattice path polymatroids
Published
• View Publication
• BIB
We find the excluded minors for the minor-closed class of lattice path polymatroids as a subclass of the minor-closed class of Boolean polymatroids. Like lattice path matroids and Boolean polymatroids, there are infinitely many excluded minors, but they fall into a small number of easily-described types.