lattice
4310 papers tagged with this keyword
Lattice paths enumerations weighted by ascent lengths
Published in Discrete Mathematics, Volume 349, Issue 2, 2026, Article 114783
• View Publication
• BIB
Recent work of the author connected several parking function enumeration problems to enumerations of Catalan paths with respect to certain weight functions that are expressed in terms of the ascent lengths. Motivated by this, we generalise and solve analogous weighted enumeration problems for a large family of lattice paths and weight functions, and discuss their connections with other enumeration problems and OEIS entries.
Average-sized miniatures and normal-sized miniatures of lattice polytopes
Let $d \geq 0$ be an integer and $P \subset \mathbb R^d$ be a $d$-dimensional lattice polytope. We call a polytope $M \subset \mathbb R^d$ such that $M \subset P$ and $M \sim P$ a miniature of $P,$ and it is said to be horizontal if $M$ is transformed into $P$ by translating and rescaling. A miniature $M$ of $P$ is said to be average-sized (resp. normal-sized) if the volume of $M$ is equal to the limit of the sequence whose $n$-th term is the average of the volumes of all miniarures (resp. all horizontal miniatures) whose vertices belong to $(\mathbb Z[1/n])^d.$ We prove that, for any lattice square $P \subset \mathbb R^2,$ the ratio of the areas of an average-sized miniature of $P$ and $P$ is $2:15.$ We also prove that, for any lattice simplex $P \subset \mathbb R^d,$ the ratio of the volumes of a normal-sized miniature of $P$ and $P$ is $1:\binom{2d+1}{d}.$ This ratio is the same as the known result for the hypercube $[0,1]^d$ provided by the author.
Boundaries of pseudointegral polygons
We prove that a rational pseudointegral triangle with exactly one lattice point in its interior has at most $9$ lattice points on its boundary, where a polygon $P$ is called pseudointegral if the Ehrhart function of $P$ is a polynomial. We further show that such a triangle never has exactly $7$ lattice points on its boundary. Our results determine the set of all Ehrhart polynomials of rational triangles with one interior lattice point.
In addition, we construct convex pseudointegral polygons with $i$ interior lattice points and $b$ boundary lattice points for all positive integral values of $(i,b)$ such that $b \le 5i + 4$. This is in contrast to integral polygons, which must satisfy $b \le 2i + 7$ by a result of Scott. Our constructions yield many new Ehrhart polynomials of rational polygons in the $i \ge 2$ case.
Random Fibonacci Words via Clone Schur Functions
Published in Forum of Mathematics, Sigma 14 (2026) e15
• View Publication
• BIB
We study positivity and probabilistic properties arising from the Young--Fibonacci lattice $\mathbb{YF}$, a 1-differential poset on binary (Fibonacci) words of 1's and 2's, graded by digit sum. Building on Okada's theory of clone Schur functions (Trans. Amer. Math. Soc. 346 (1994), 549--568), we define clone coherent measures on $\mathbb{YF}$ that generate random Fibonacci words of increasing length; unlike for the Young lattice (powered by the classical Schur functions), clone coherent measures are generally not extremal on $\mathbb{YF}$.
Our first main result is a complete characterization of Fibonacci positive specializations -- parameter sequences which yield positive clone Schur functions on $\mathbb{YF}$. Second, we connect Fibonacci positivity with: (i) total positivity of tridiagonal matrices; (ii) Stieltjes moment sequences; (iii) the combinatorics of set partitions; and (iv) families of univariate orthogonal polynomials from the (q-)Askey scheme. We further link moment sequences of orthogonal polynomials to combinatorial structures on Fibonacci words, a connection that may be of independent interest. Third, we analyze scaling limits of the induced random words, obtaining stick-breaking-type limits (linked to GEM laws), new dependent stick-breaking limits, and limits supported on the discrete part of the Martin boundary of $\mathbb{YF}$. These results significantly extend the asymptotics of the Plancherel measure on $\mathbb{YF}$ proved by Gnedin--Kerov (Math. Proc. Camb. Philos. Soc. 129 (2000), 433--446).
Finally, we prove Cauchy-type identities for clone Schur functions with quadridiagonal-determinant right-hand side (in contrast to the product form for classical Schur functions), and construct models of random permutations and involutions from Fibonacci-positive specializations together with a Robinson--Schensted correspondence adapted to $\mathbb{YF}$.
Lattice random walks and quantum A-period conjecture
Published in SciPost Phys. 19, 053 (2025)
• View Publication
• BIB
We derive explicit closed-form expressions for the generating function $C_N(A)$, which enumerates classical closed random walks on square and triangular lattices with $N$ steps and a signed area $A$, characterized by the number of moves in each hopping direction. This enumeration problem is mapped to the trace of powers of anisotropic Hofstadter-like Hamiltonian and is connected to the cluster coefficients of exclusion particles: exclusion strength parameter $g = 2$ for square lattice walks, and a mixture of $g = 1$ and $g = 2$ for triangular lattice walks. By leveraging the intrinsic link between the Hofstadter model and high energy physics, we propose a conjecture connecting the above signed area enumeration $C_N(A)$ in statistical mechanics to the quantum A-period of associated toric Calabi-Yau threefold in topological string theory: square lattice walks correspond to local $\mathbb{F}_0$ geometry, while triangular lattice walks are associated with local $\mathcal{B}_3$.
Loops with involution and the Cayley-Dickson doubling process
We develop a theory of loops with involution. On this basis we define a Cayley-Dickson doubling on loops, and use it to investigate the lattice of varieties of loops with involution, focusing on properties that remain valid in the Cayley-Dickson double. Specializing to central-by-abelian loops with elementary abelian $2$-group quotients, we find conditions under which one can characterize the automorphism groups of iterated Cayley-Dickson doubles. A key result is a corrected proof that for $n>3$, the automorphism group of the Cayley-Dickson loop $Q_n$ is $\text{GL}_3(\mathbb{F}_2) \times \{\pm 1\}^{n-3}$.
Ehrhart Polynomials of Order Polytopes: Interpreting Combinatorial Sequences on the OEIS
In this paper, we provide an overview of Ehrhart polynomials associated with order polytopes of finite posets, a concept first introduced by Stanley. We focus on their combinatorial interpretations for many sequences listed on the OEIS. We begin by exploring the Ehrhart series of order polytopes resulting from various poset operations, specifically the ordinal sum and direct sum. We then concentrate on the poset $P_λ$ associated with the Ferrers diagram of a partition $λ= (λ_1, λ_2, \ldots, λ_t)$. When $λ= (k, k-1, \ldots, 1)$, the Ehrhart polynomial is a shifted Hankel determinant of the well-known Catalan numbers; when $λ= (k, k, \ldots, k)$, the Ehrhart polynomial is solved by Stanley's hook content formula and is used to prove conjectures for the sequence [A140934] on the OEIS. When solving these problems, we rediscover Kreweras' determinant formula for the Ehrhart polynomial $\mathrm{ehr}(\mathcal{O}(P_λ), n)$ through the application of the Lindström-Gessel-Viennot lemma on non-intersecting lattice paths.
Koszul Graded Möbius Algebras and Strongly Chordal Graphs
The graded Möbius algebra of a matroid is a commutative graded algebra which encodes the combinatorics of the lattice of flats of the matroid. As a special subalgebra of the augmented Chow ring of the matroid, it plays an important role in the recent proof of the Dowling-Wilson Top Heavy Conjecture. Recently, Mastroeni and McCullough proved that the Chow ring and the augmented Chow ring of a matroid are Koszul. We study when graded Möbius algebras are Koszul. We characterize the Koszul graded Möbius algebras of cycle matroids of graphs in terms of properties of the graphs. Our results yield a new characterization of strongly chordal graphs via edge orderings.
Lattice 3-polytopes of lattice width 2 and corresponding toric hypersurfaces
The Kodaira dimension of a nondegenerate toric hypersurface can be computed from the dimension of the Fine interior of its Newton polytope according to recent work of Victor Batyrev, where the Fine interior of the Newton polytope is the subpolytope consisting of all points which have an integral distance of at least $1$ to all integral supporting hyperplanes. In particular, if we have a Fine interior of codimension $1$, then the hypersurface is of general type and the Newton polytope has lattice width $2$. In this article we study this situation for lattice $3$-polytopes and the corresponding surfaces of general type. In particular, we classify all $2$-dimensional Fine interiors of those lattice $3$-polytopes which have at most $40$ interior lattice points, thus obtaining many examples of surfaces of general type and genus at most $40$.
Ehrhart Functions of Weighted Lattice Points
This paper studies three different ways to assign weights to the lattice points of a convex polytope and discusses the algebraic and combinatorial properties of the resulting weighted Ehrhart functions and their generating functions and associated rings. These will be called $q$-weighted, $r$-weighted, and $s$-weighted Ehrhart functions, respectively. The key questions we investigate are \emph{When are the weighted Ehrhart series rational functions and which classical Ehrhart theory properties are preserved? And, when are the abstract formal power series the Hilbert series of Ehrhart rings of some polytope?} We prove generalizations about weighted Ehrhart $h^*$-coefficients of $q$-weighted Ehrhart series, and show $q$- and $s$-weighted Ehrhart reciprocity theorems. Then, we show the $q$- and $r$-weighted Ehrhart rings are the (classical) Ehrhart rings of weight lifting polytopes.
Asymptotics of the number of lattice triangulations of rectangles of width 4 and 5
Let $f(m,n)$ be the number of primitive lattice triangulations of an $m \times n$ rectangle. We express the limits $\lim_n f(m,n)^{1/n}$ for $m = 4$ and $m=5$ in terms of certain systems of Fredholm integral equations on generating functions (the case $m\le3$ was treated in a previous paper). Solving these equations numerically, we compute approximate values of these limits with a rather high precision.
Introducing irrational enumeration: analytic combinatorics for objects of irrational size
We extend the scope of analytic combinatorics to classes containing objects that have irrational sizes. The generating function for such a class is a power series that admits irrational exponents (which we call a Ribenboim series). A transformation then yields a generalised Dirichlet series from which the asymptotics of the coefficients can be extracted by singularity analysis using an appropriate Tauberian theorem. In practice, the asymptotics can often be determined directly from the original generating function. We illustrate the technique with a variety of applications, including tilings with tiles of irrational area, ordered integer factorizations, lattice walks enumerated by Euclidean length, and plane trees with vertices of irrational size. We also explore phase transitions in the asymptotics of families of irrational combinatorial classes.
The $k$-fold circuit property for matroids
Double circuits were introduced by Lovász in 1980 as a fundamental tool in his derivation of a min-max formula for the size of a maximum matching in linear matroids. This formula was extended to all matroids satisfying the so-called `double circuit property' by Dress and Lovász in 1987. We extend these notions to $k$-fold circuits for all natural numbers $k$ and show, in particular that several families of matroids which are known to satisfy the double circuit property, satisfy the $k$-fold circuit property for all natural numbers $k$. These families include all pseudomodular matroids (such as full linear, algebraic and transversal matroids) and certain families of count matroids. These results suggest that the $k$-fold circuit property can be used as a measure of how close the lattice of flats of a matroid is to being a modular lattice.
Towards plethystic $\mathfrak{sl}_2$ crystals
To find crystals of $\mathfrak{sl}_2$ representations of the form $Λ^n\text{Sym}^r\mathbb{C}^2$ it suffices to solve the combinatorial problem of decomposing Young's lattice into symmetric, saturated chains. We review the literature on this latter problem, and present a strategy to solve it. For $n \le 4$, the strategy recovers recently discovered solutions. We obtain (i) counting formulas for plethystic coefficients, (ii) new recursive formulas for plethysms of Schur functions, and (iii) formulas for the number of constituents of $Λ^n\text{Sym}^r\mathbb{C}^2$.
Whitney Numbers of Rank-Metric Lattices and Code Enumeration
We investigate the Whitney numbers of the first kind of rank-metric lattices, which are closely linked to the open problem of enumerating rank-metric codes having prescribed parameters. We apply methods from the theory of hyperovals and linear sets to compute these Whitney numbers for infinite families of rank-metric lattices. As an application of our results, we prove asymptotic estimates on the density function of certain rank-metric codes that have been conjectured in previous work.
Fast construction of self-avoiding polygons and efficient evaluation of closed walk fractions on the square lattice
We build upon a recent theoretical breakthrough by employing novel algorithms to accurately compute the fractions $F_p$ of all closed walks on the infinite square lattice whose the last erased loop corresponds is any one of the $762, 207, 869, 373$ self-avoiding polygons $p$ of length at most 38. Prior to this work, only 6 values of $F_p$ had been calculated in the literature. The main computational engine uses efficient algorithms for both the construction of self-avoiding polygons and the precise evaluation of the lattice Green's function. Based on our results, we propose two conjectures: one regarding the asymptotic behavior of sums of $F_p$, and another concerning the value of $F_p$ when $p$ is a large square. We provide strong theoretical arguments supporting the second conjecture. Furthermore, the algorithms we introduce are not limited to the square lattice and can, in principle, be extended to any vertex-transitive infinite lattice. In establishing this extension, we resolve two open questions related to the triangular lattice Green's function.
The Fine interior of dilations of a rational polytope
A nondegenerate toric hypersurface of negative Kodaira dimension can be characterized by the empty Fine interior of its Newton polytope according to recent work by Victor Batyrev, where the Fine interior is the rational subpolytope consisting of all points which have an integral distance of at least 1 to all integral supporting hyperplanes of the Newton polytope. Moreover, we get more information in this situation if we can describe how the Fine interior behaves for dilations of the Newton polytope, e.g. if we can determine the smallest dilation with a non-empty Fine interior. Therefore, in this article we give a purely combinatorial description of the Fine interiors of all dilations of a rational polytope, which allows us in particular to compute this smallest dilation and to classify all lattice 3-polytopes with empty Fine interior, for which we have only one point as Fine interior of the smallest dilation with non-empty Fine interior.
Codegree and regularity of stable set polytopes
The codegree ${\rm codeg}(\mathcal{P})$ of a lattice polytope $\mathcal{P}$ is a fundamental invariant in discrete geometry. In the present paper, we investigate the codegree of the stable set polytope $\mathcal{P}_G$ associated with a simple graph $G$. Specifically, we establish the inequalities \[ ω(G) + 1 \leq {\rm codeg}(\mathcal{P}_G) \leq χ(G) + 1, \] where $ω(G)$ and $χ(G)$ denote the clique number and the chromatic number of $G$, respectively. Furthermore, an explicit formula for {\rm codeg}(\mathcal{P}_G) is given when $G$ is either a line graph or an $h$-perfect graph. Finally, as an application of these results, we provide upper and lower bounds on the regularity of the toric ring associated with $\mathcal{P}_G$.
Double Tiles
Which polygons admit two (or more) distinct lattice tilings of the plane? We call such polygons double tiles. It is well-known that a lattice tiling is always combinatorially isomorphic either to a grid of squares or to a grid of regular hexagons. We focus on the special case of the double tile problem where both tilings are in the square class. For this special case, we give an explicit description of all double tiles. We establish the result for polyominoes first; then, with little additional effort, we extend the proof to general polygons. Central to the description is a certain finite set of transformations which we apply iteratively to a base shape in order to obtain one family of "fractal-like" polyominoes. The double tiles are then given by these polyominoes together with particular "deformations" of them.
When the poset of the ideal class monoid of a numerical semigroup is a lattice
We characterize numerical semigroups for which the poset of its ideal class monoid is a lattice, and study the irreducible elements of such a lattice with respect to union, intersection, infimum and supremum.