lattice
4310 papers tagged with this keyword
Numerical semigroups, polyhedra, and posets IV: walking the faces of the Kunz cone
A numerical semigroup is a cofinite subset of $\mathbb Z_{\ge 0}$ containing $0$ and closed under addition. Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in the Kunz cone $\mathcal C_m \subseteq \mathbb R^{m-1}$, and the face of $\mathcal C_m$ containing that integer point determines certain algebraic properties of $S$. In this paper, we introduce the Kunz fan, a pure, polyhedral cone complex comprised of a faithful projection of certain faces of $\mathcal C_m$. We characterize several aspects of the Kunz fan in terms of the combinatorics of Kunz nilsemigroups, which are known to index the faces of $\mathcal C_m$, and our results culminate in a method of "walking" the face lattice of the Kunz cone in a manner analogous to that of a Gröbner walk. We apply our results in several contexts, including a wealth of computational data obtained from the aforementioned "walks" and a proof of a recent conjecture concerning which numerical semigroups achieve the highest minimal presentation cardinality when one fixes the smallest positive element and the number of generators.
The volume polynomial of lattice polygons
We prove that every indefinite quadratic form with non-negative integer coefficients is the volume polynomial of a pair of lattice polygons. This solves the discrete version of the Heine-Shephard problem for two bodies in the plane. As an application, we show how to construct a pair of planar tropical curves (or a pair of divisors on a toric surface) with given intersection number and self-intersection numbers.
Some comments on "On the generating function for intervals in Young's lattice" by Azam and Richmond
Published in The Electronic Journal of Combinatorics, vol 32, issue 3 (2025)
• View Publication
• BIB
Azam and Richmond arXiv:2107.09149 obtained a recursion for the generating function of \(P_λ(y)\), itself a generating function enumerating by length partitions in the lower ideal \([0,λ]\) in the Young lattice. We show that this recursion can be extended to a multi-graded version. This is done by interpreting the original problem as enumerating plane partitions with two rows. We can then use the well-developed theory of lattice points in polyhedral cones to determine some properties of the generating function. We also relate Azam and Richmond's result to those obtained by Andrews and Paule using MacMahons Omega-operator.
On the Ehrhart Theory of Generalized Symmetric Edge Polytopes
The symmetric edge polytope (SEP) of a (finite, undirected) graph is a centrally symmetric lattice polytope whose vertices are defined by the edges of the graph. SEPs have been studied extensively in the past twenty years. Recently, Tóthmérész and, independently, D'Alí, Juhnke-Kubitzke, and Koch generalized the definition of an SEP to regular matroids, which are the matroids that can be represented by totally unimodular matrices. Generalized SEPs are known to have symmetric Ehrhart $h^*$-polynomials, and Ohsugi and Tsuchiya conjectured that (ordinary) SEPs have nonnegative $γ$-vectors.
In this article, we use combinatorial and Gröbner basis techniques to extend additional known properties of SEPs to generalized SEPs. Along the way, we show that generalized SEPs are not necessarily $γ$-nonnegative by providing explicit examples. We prove that the polytopes we construct are ``nearly'' $γ$-nonnegative in the sense that, by deleting exactly two elements from the matroid, one obtains SEPs for graphs that are $γ$-nonnegative. This provides further evidence that Ohsugi and Tsuchiya's conjecture holds in the ordinary case.
Completing the Asymptotic Classification of Mostly Symmetric Short Step Walks in an Orthant
In recent years, the techniques of analytic combinatorics in several variables (ACSV) have been applied to determine asymptotics for several families of lattice path models restricted to the orthant $\mathbb{N}^d$ and defined by step sets $\mathcal{S}\subset\{-1,0,1\}^d\setminus\{\mathbf{0}\}$. Using the theory of ACSV for smooth singular sets, Melczer and Mishna determined asymptotics for the number of walks in any model whose set of steps $\mathcal{S}$ is "highly symmetric" (symmetric over every axis). Building on this work, Melczer and Wilson determined asymptotics for all models where $\mathcal{S}$ is "mostly symmetric" (symmetric over all but one axis) *except* for models whose set of steps have a vector sum of zero but are not highly symmetric. In this paper we complete the asymptotic classification of the mostly symmetric case by analyzing a family of saddle-point-like integrals whose amplitudes are singular near their saddle points.
Symmetric noncrossing partitions of an annulus with double points
For affine Coxeter groups of affine types $\tilde D$ and $\tilde B$, we model the interval $[1,c]_T$ in the absolute order by symmetric noncrossing partitions of an annulus with one or two double points. In type $\tilde B$ (and \emph{almost} in type $\tilde D$), the diagrams also model the larger lattice defined by McCammond and Sulway.
Stanley decompositions of modules of covariants
Let $H$ be a complex reductive group, with finite-dimensional representations $W$ and $U$. The module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial maps $\varphi: W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{O}(V)$, or $\operatorname{Sp}(V)$, where $W$ is a direct sum of copies of $V$ and $V^*$, and $U$ is an arbitrary rational representation (with $U$ restricted to exterior powers of $V$ in the $H= \operatorname{O}(V)$ case). Our main result gives uniform Stanley decompositions of these modules of covariants, with Stanley spaces parametrized by combinatorial objects we call jellyfish. As a corollary, we write down the Hilbert series as a finite sum of rational functions, each with a combinatorial interpretation in terms of lattice paths. Notably, these results do not rely on the module being Cohen-Macaulay. We further apply our methods to invariant rings for $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$. Our proofs (for $H = \operatorname{GL}(V)$ and $\operatorname{Sp}(V)$) rely on previous work by Jackson on standard monomial theory for dual reductive pairs, since classical modules of covariants can be viewed via Howe duality as Harish-Chandra modules of unitary highest weight representations of a certain real reductive group. As a first step toward extending this program to arbitrary unitary highest weight representations (including those of the exceptional groups), we establish analogous results uniformly for the Wallach representations of type ADE.
Triangular partitions: enumeration, structure, and generation
Published
• View Publication
• BIB
A triangular partition is a partition whose Ferrers diagram can be separated from its complement (as a subset of $\mathbb{N}^2$) by a straight line. Having their origins in combinatorial number theory and computer vision, triangular partitions have been studied from a combinatorial perspective by Onn and Sturmfels, and by Corteel et al. under the name plane corner cuts, and more recently by Bergeron and Mazin. In this paper we derive new enumerative, geometric and algorithmic properties of such partitions.
We give a new characterization of triangular partitions and the cells that can be added or removed while preserving the triangular condition, and use it to describe the Möbius function of the restriction of Young's lattice to triangular partitions. We obtain a formula for the number of triangular partitions whose Young diagram fits inside a square, deriving, as a byproduct, a new proof of Lipatov's enumeration theorem for balanced words. Finally, we present an algorithm that generates all the triangular partitions of a given size, which is significantly more efficient than previous ones and allows us to compute the number of triangular partitions of size up to $10^5$.
Lattice paths and Rogers--Ramanujan--Gordon type overpartitions
In this paper, we establish a connection between Rogers-Ramanujan-Gordon type overpartitions to lattice paths with four kinds of unitary steps. By establishing the bijective relationship between overpartitions and lattice paths, we demonstrate that the theorems provided by Chen, Sang and Shi can be formulated in the form of lattice paths. Subsequently, inspired by Andrews' work on parity in partition identities and its related implications, we impose parity constraints on lattice paths and present some novel discoveries. By leveraging the parity outcomes within lattice paths, we also revisit overpartitions to derive results pertaining to overpartitions with parity considerations.
Packing coloring of hypercubes with extended Hamming codes
Published
• View Publication
• BIB
A {\em packing coloring} of a graph $G$ is a mapping assigning a positive integer (a color) to every vertex of $G$ such that every two vertices of color $k$ are at distance at least $k+1$. The least number of colors needed for a packing coloring of $G$ is called the {\em packing chromatic number} of $G$. In this paper, we continue the study of the packing chromatic number of hypercubes and we improve the upper bounds reported by Torres and Valencia-Pabon ({\em P. Torres, M. Valencia-Pabon, The packing chromatic number of hypercubes, Discrete Appl. Math. 190--191 (2015), 127--140}) by presenting recursive constructions of subsets of distant vertices making use of the properties of the extended Hamming codes. We also answer in negative a question on packing coloring of Cartesian products raised by Brešar, Klavžar, and Rall ({\em Problem 5, Brešar et al., On the packing chromatic number of Cartesian products, hexagonal lattice, and trees. Discrete Appl. Math. 155 (2007), 2303--2311.}).
Sandpiles on the Vicsek fractal explode with probability 1/4
Published
• View Publication
• BIB
Vicsek fractal graphs are an important class of infinite graphs with self similar properties, polynomial growth and treelike features, on which several dynamical processes such as random walks or Abelian sandpiles can be rigorously analyzed and one can obtain explicit closed form expressions. While such processes on Vicsek fractals and on Euclidean lattices $\mathbb{Z}^2$ share some properties for instance in the recurrence behaviour, many quantities related to sandpiles on Euclidean lattices are still poorly understood. The current work focuses on the stabilization and explosion of Abelian sandpiles on Vicsek fractal graphs, and we prove that a sandpile sampled from the infinite volume limit plus one additional particle stabilizes with probability 3/4, that is, it does not stabilize almost surely and it explodes with the complementary probability 1/4. We prove the main result by using two different approaches: one of probabilistic nature and one of algebraic flavor. The first approach is based on investigating the particles sent to the boundary of finite volumes and showing that their number stays above four with positive probability. In the second approach we relate the question of stabilization and explosion of sandpiles in infinite volume to the order of elements of the sandpile group on finite approximations of the infinite Vicsek graph. The method applies to more general state spaces and by employing it we also find all invariant factors of the sandpile groups on the finite approximations of the infinite Vicsek fractal.
Equivariant Hilbert and Ehrhart series under translative group actions
We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.
A distinction between the paraboloid and the sphere in weighted restriction
For several weights based on lattice point constructions in $\mathbb{R}^d (d \geq 2)$, we prove that the sharp $L^2$ weighted restriction inequality for the sphere is very different than the corresponding result for the paraboloid. The proof uses Poisson summation, linear algebra, and lattice counting. We conjecture that the $L^2$ weighted restriction is generally better for the circle for a wide variety of general sparse weights.
Dimer piling problems and interacting field theory
Published
• View Publication
• BIB
The dimer tiling problem asks in how many ways can the edges of a graph be covered by dimers so that each site is covered once. In the special case of a planar graph, this problem has a solution in terms of a free fermionic field theory. We rediscover and explore an expression for the number of coverings of an arbitrary graph by arbitrary objects in terms of an interacting fermionic field theory first proposed by Samuel. Generalizations of the dimer tiling problem, which we call `dimer piling problems,' demand that each site be covered N times by indistinguishable dimers. Our field theory provides a solution of these problems in the large-N limit. We give a similar path integral representation for certain lattice coloring problems.
Less than Equable Triangles on the Eisenstein lattice
Published
• View Publication
• BIB
We classify perimeter dominant triangles whose side lengths are in $\sqrt3\mathbb N$ and whose area is in $\frac{\sqrt3}4\mathbb N$. There is one exceptional example, which is equilateral, and three infinite families determined by certain Pell, or Pell-like, equations.
Lattice paths and branched continued fractions. III. Generalizations of the Laguerre, rook and Lah polynomials
We introduce a triangular array $\widehat{\sf L}^{(α)}$ of 5-variable homogeneous polynomials that enumerate Laguerre digraphs (digraphs in which each vertex has out-degree 0 or 1 and in-degree 0 or 1) with separate weights for peaks, valleys, double ascents, double descents, and loops. These polynomials generalize the classical Laguerre polynomials as well as the rook and Lah polynomials. We show that this triangular array is totally positive and that the sequence of its row-generating polynomials is Hankel-totally positive, under suitable restrictions on the values given to the indeterminates. This implies, in particular, the coefficientwise Hankel-total positivity of the monic unsigned univariate Laguerre polyomials. Our proof uses the method of production matrices as applied to exponential Riordan arrays. Our main technical lemma concerns the total positivity of a large class of quadridiagonal production matrices; it generalizes the tridiagonal comparison theorem. In some cases these polynomials are given by a branched continued fraction. Our constructions are motivated in part by recurrences for the multiple orthogonal polynomials associated to weights based on modified Bessel functions of the first kind $I_α$.
Enumeration of sets of equiangular lines with common angle $\arccos(1/3)$
In 2018, Szöllősi and Östergård used a computer to enumerate sets of equiangular lines with common angle $\arccos(1/3)$ in dimension $7$. They observed that the numbers $ω(n)$ of sets of $n$ equiangular lines with common angle $\arccos(1/3)$ in dimension $7$ are almost symmetric around $n=14$. In this paper, we prove without a computer that the numbers $ω(n)$ are indeed almost symmetric by considering isometries from root lattices of rank at most $8$ to the root lattice $\sE_8$ of rank $8$ and type $E$. Also, they determined the number $s(n)$ of sets of $n$ equiangular lines with common angle $\arccos(1/3)$ for $n \leq 13$. We construct all the sets of equiangular lines with common angle $\arccos(1/3)$ in dimension greater than $7$ from root lattices of type $A$ or $D$ with the aid of switching roots. As an application, we determine the number $s(n)$ for every positive integer $n$.
The doubly asymmetric simple exclusion process, the colored Boolean process, and the restricted random growth model
The multispecies asymmetric simple exclusion process (mASEP) is a Markov chain in which particles of different species hop along a one-dimensional lattice. This paper studies the doubly asymmetric simple exclusion process $\mathrm{DASEP}(n,p,q)$ in which $q$ particles with species $1, \dots, p$ hop along a circular lattice with $n$ sites, but also the particles are allowed to spontaneously change from one species to another. In this paper, we introduce two related Markov chains called the colored Boolean process and the restricted random growth model, and we show that the DASEP lumps to the colored Boolean process, and the colored Boolean process lumps to the restricted random growth model. This allows us to generalize a theorem of David Ash on the relations between sums of steady state probabilities. We also give explicit formulas for the stationary distribution of $\mathrm{DASEP}(n,2,2)$.
Combinatorial Results on Barcode Lattices
Published
• View Publication
• BIB
A barcode is a finite multiset of intervals on the real line. Jaramillo-Rodriguez (2023) previously defined a map from the space of barcodes with a fixed number of bars to a set of multipermutations, which presented new combinatorial invariants on the space of barcodes. A partial order can be defined on these multipermutations, resulting in a class of posets known as combinatorial barcode lattices. In this paper, we provide a number of equivalent definitions for the combinatorial barcode lattice, show that its Möbius function is a restriction of the Möbius function of the symmetric group under the weak Bruhat order, and show its ground set is the Jordan-Hölder set of a labeled poset. Furthermore, we obtain formulas for the number of join-irreducible elements, the rank-generating function, and the number of maximal chains of combinatorial barcode lattices. Lastly, we make connections between intervals in the combinatorial barcode lattice and certain classes of matchings.
A coarse geometric approach to graph layout problems
Published
• View Publication
• BIB
We define a range of new coarse geometric invariants based on various graph-theoretic measures of complexity for finite graphs, including: treewidth, pathwidth, cutwidth and bandwidth. We prove that, for bounded degree graphs, these invariants can be used to define functions which satisfy a strong monotonicity property, namely they are monotonically non-decreasing with respect to a large-scale geometric generalisation of graph inclusion, and as such have potential applications in coarse geometry and geometric group theory. On the graph-theoretic side, we prove asymptotically optimal bounds on most of the above widths for the family of all finite subgraphs of any bounded degree graph whose separation profile is known to be of the form $r^a\log(r)^b$ for some $a>0$. This large class includes Diestel-Leader graphs, all Cayley graphs of non-virtually cyclic polycyclic groups, uniform lattices in almost all connected unimodular Lie groups, and many hyperbolic groups.