lattice ↗ reference
4394 papers tagged with this keyword
Refined lattice point counting on the moduli space of Klein surfaces
We introduce the moduli space of metric Möbius graphs, which extend ribbon graphs to the non-orientable world. This space contains both the moduli space of Riemann surfaces and the moduli space of non-orientable Klein surfaces. Each metric Möbius graph is equipped with a measure of non-orientability. We count lattice points in this moduli space, weighted by the measure of non-orientability, and prove a refined version of Norbury's recursion for this count. Taking the limit as the mesh becomes finer, we deduce a recursion for the Euclidean volumes, yielding a refined version of the Witten--Kontsevich recursion. As an application, we give a geometric definition of the refined Euler characteristic of the moduli space and compute it explicitly, thereby answering a question of Goulden, Harer, and Jackson.
Flip of lattices
In this paper, we introduce a new combinatorial operation, called a flip, on arbitrary partially ordered sets. We define a mutation to be a flip that maps a lattice to a lattice. We study properties of flips, and give a necessary and sufficient condition for a flip to be a mutation. We introduce locally mutable lattices and mutable lattices in terms of flips, and prove that mutable lattices are semidistributive. We show that type-A and type-B Cambrian lattices are locally mutable, and those associated with the finite-type Coxeter quivers with different orientations are related also by the sequence of mutations. Finally we introduce a new class of lattices, called Ordovician lattices, as the lattices obtained from Cambrian lattices by iterated mutations. We provide conjectures on the structure of Ordovician lattices and on the compatibility between our mutation and the mutation in the theory of cluster algebras.
Geometry of Rényi Entropy on the Majorization Lattice
Majorization is a stochastic ordering relation that compares the relative diversity of probability distributions with numerous applications in econometrics, spectral theory, and ecology. It is well-known that the majorization partial order forms a complete lattice on the set of ordered probability distributions. In this work, we study the properties of Rényi entropy on the majorization lattice. We establish a fundamental relation between the comonotone coupling and the independent coupling associated with a collection of marginal distributions. Consequently, we show that, for every order $ α\in [0,\infty] $, the Rényi entropy is subadditive on the majorization lattice. We further characterize the supermodular regime, showing that Rényi entropy is supermodular on the majorization lattice for $ α\in \{0\} \cup [1,\infty] $.
Topological Zeta Functions of Matroids: Operations and Computations
The topological zeta function of a matroid is a rational function as well as a valuative invariant of the matroid, encoding rich combinatorial information. We analyze topological zeta functions of matroids from the vantage point of several matroid operations and operations on lattices of flats. We prove a clean recurrence relation for the Möbius inversion and use it to describe the topological zeta function of the truncation and free extension of a matroid in relation with that of the original matroid. We also characterize the Taylor coefficients of the topological zeta functions for matroids in terms of a matroid invariant, which we call the girth, and generalize an earlier result by Jensen-Kutler-Usatine.
A Combinatorial Framework for the Pons-Batle Identity: Young Tableaux, Lattice Paths, and Limit Laws
Tree-child networks are an important class of phylogenetic network used to model reticulate evolutionary processes. These networks have attracted increasing attention from researchers with interests in both combinatorics and algorithms. A fundamental open problem posed by Pons and Batle asks whether the number $TC_{n,k}$ of bicombining tree-child networks with $n$ leaves and $k$ reticulation nodes equals the number of certain constrained words, now called Pons-Batle words. In this paper, we confirm the conjecture for tree-child networks with a bounded number of reticulation nodes.
Our approach is combinatorial and analytic. We introduce families of Young tableaux with walls and holes and construct explicit bijections with Pons-Batle words, yielding a direct combinatorial explanation of the identities. These tableaux encode structural features of the underlying networks, including the placement of reticulation nodes. By projecting them to decorated Dyck paths, we obtain algebraic generating functions with differential operators encoding step weights, leading to explicit recurrence relations and closed-form formulas for $TC_{n,k}$.
Beyond finite verification for moderate $k$, the framework reveals an underlying probabilistic structure. For $k=1$, natural structural parameters, such as the position and value of distinguished cells, converge, after rescaling, to $\mathrm{Beta}(2,1)$, $\mathrm{Beta}(1,2)$, and Uniform (i.e., $\mathrm{Beta}(1,1)$) distributions. These limit laws arise from a coalescence of singularities at the dominant square-root singularity, producing a non-analytic transition in the local expansion.
Overall, our results provide both combinatorial insight and a unified analytic perspective on the asymptotic behavior of tree-child networks, showing how algebraic generating functions with interacting singularities systematically produce Beta limit laws.
Root systems constructed by folding of the extended Dynkin diagrams
The extended affine Weyl group of a root system is the semidirect product of the corresponding Weyl group by its coweight lattice. The stabilizer subgroup of the extended affine Weyl group with respect to the corresponding fundamental alcove induces a subgroup of automorphisms of the extended Dynkin diagram. In this paper, we construct a finite root system by folding by the elements of the subgroup.
Asymmetric bilateral Bailey pairs and Rogers-Ramanujan type identities
The theory of Bailey's transform provides a systematic method for deriving $q$-identities, the key factor of which is the Bailey pair. The concept of Bailey pair was first extended to bilateral version by Paule. In this paper, following Rogers' work on Fourier series, we derive two asymmetric bilateral Bailey pairs. By inserting them into the bilateral Bailey chains, we obtain several identities of Rogers-Ramanujan type, Andrews-Gordon type and also identities on false theta functions. Furthermore, based on the Bailey lattice due to Dousse, Jouhet and Konan, we get an asymmetric bilateral Bailey lemma which leads to identities on Appell-Lerch series. Moreover, by using the asymmetric bilateral Bailey lemmas due to Andrews and Warnaar, we get some identities on false theta functions and the generalized Hecke-type series.
Determinantal formulae for a symmetric generating function of totally symmetric plane partitions
Ilse Fischer and the second author introduced in [Algebr. Comb. 7 (2024), no. 5, 1319-1345] a two parameter family of polynomials defined as sums over totally symmetric plane partitions and connected to alternating sign matrices and cyclically symmetric lozenge tilings of a hexagon with a triangular hole. In this paper we present several determinantal formulae leading to new lattice path models and a novel family of tableaux. The later illustrates that the polynomials of our interest can be thought of as generalisations of the three dual Littlewood identities.
Minimal generating sets of transfer systems for more non-Abelian Groups
For a finite group $G$, $N_\infty$ operads encode collections of norm maps, and by work of Blumberg--Hill and Rubin their homotopy category is equivalent to the poset of $G$--transfer systems on the subgroup lattice of $G$. In \cite{ABB+25} the authors defined the \emph{width} $w(G)$ as the minimal size of a generating set for the complete $G$--transfer system and identified it with the number of conjugacy classes of proper meet irreducible subgroups of $G$, and the \emph{complexity} $c(G)$ as the maximum, over all transfer systems $T$, of the size of a minimal generating set for $T$.
We compute $w(G)$ for the semidihedral groups $\SD_{2^n}$ ($n\ge 4$) and the affine Frobenius groups $\AGL(1,p^n)\cong \mathbb{F}_{p^n}\rtimes \mathbb{F}_{p^n}^\times$, extending existing calculations and highlighting how subgroup lattice structure governs equivariant multiplicative complexity. We also compute $c(D_{p^n})$ for dihedral groups of order $2p^n$ with $p$ an odd prime, establishing $c(D_{p^n})=\lfloor 3n/2\rfloor+1$, and derive the lower bound $c(\SD_{2^n})\ge\lfloor 5(n-1)/2\rfloor$.
An Andrews-Gordon Type Identity Related to Andrews' Parity Consideration
Andrews investigated parity conditions in the Rogers-Ramanujan-Gordon theorem.
Under the conditions that even parts or odd parts appear an even number of times,
Andrews discovered two Rogers-Ramanujan-Gordon type partition theorems
and derived corresponding generating functions. In the Rogers-Ramanujan-Gordon
theorem, there are two parameters $k$ and $a$, where $k-1$ is the maximum
number of consecutive parts $l$ and $l+1$, and $a-1$ is the maximum number of
parts equal to $1$. Andrews' first theorem deals with the case
$k\equiv a \;(\rm{mod}\;2)$, while the second theorem concerns the case
where $k$ is even and $a$ is odd. These two partition identities have different
infinite product forms on the right-hand side. In this paper, we consider the case
$k\not\equiv a \;(\rm{mod}\;2)$ and use Bailey's lemma to obtain an Andrews-Gordon
type identity whose right-hand side coincides with that of Andrews' identity for the
case $k\equiv a \;(\rm{mod}\;2)$. We were unable to find a suitable combinatorial
interpretation of the infinite sum form of this expression in terms of partitions,
but with the help of lattice paths, we provide an appropriate combinatorial interpretation.
On the base size of a finite group on its action on the lattice of subgroups
Given a finite group $R$, we investigate the base size of the action of the automorphism group of $R$ on the lattice of subgroups of $R$. Our main result shows that this base size is $1$ if and only if $R$ is cyclic. Our motivation arises from a conjecture of Babai on the problem of representing groups as automorphism groups of lattices with a bounded number of orbits.
Dimer models on astroidal zig-zag graphs
On a finite weighted graph, the dimer model is a probability measure on its dimer covers, that assigns to any cover a probability proportional to the product of the weights of its edges. For planar bipartite graphs, dimer correlations are encoded by the inverse of the so-called Kasteleyn matrix; for a large graph, typically taken as a finite domain in a periodic graph, this inverse matrix is known explicitly only for a handful of examples. In all previously known examples, the Newton polygon -- a convex lattice polygon that classifies periodic graphs up to local moves -- is either a triangle or a quadrilateral.
Our main results are the following.
For any (minimal) periodic planar bipartite graph, we construct an $(n-3)$-dimensional family of finite subgraphs for which we obtain an explicit inverse Kasteleyn matrix; here $n$ is the number of sides of the Newton polygon. Their boundaries are formed by zig-zag paths and their overall shape is reminiscent of an astroid; we call them astroidal zig-zag graphs (AZ graphs). If the Newton polygon is the unit square then the corresponding AZ graph is the celebrated Aztec diamond with its size as the parameter.
Our inverse Kasteleyn matrices are given by a double contour integral on the corresponding spectral curve for any Fock weighting of the graph. This includes, in particular, all periodic weightings.
For periodic weightings, we asymptotically analyze the resulting inverse Kasteleyn matrices. We establish a phase separation in large AZ graphs into asymptotically frozen, rough (liquid), and smooth (gaseous) regions, and obtain an explicit parametrization of the `arctic curve'.
We also compute the deterministic limit of the height function, known as the limit shape, and prove the convergence of the local dimer correlations to the translation-invariant Gibbs measure of the slope predicted by the limit shape.
Lattice characterization of cyclic interval hypergraphic posets
Hypergraphic polytopes $Δ_{\mathbb{H}}$ arise as Minkowski sums of simplices indexed by the hyperedges of a hypergraph $\mathbb{H}$. Orienting the $1$-skeleton of such a polytope by a certain generic linear functional gives rise to the hypergraphic poset $P_{\mathbb{H}}$. Hypergraphic posets include the weak order for the permutahedron and the Tamari lattice for the associahedron. This motivates the problem of determining when $P_{\mathbb{H}}$ is a lattice. In this paper, we give a complete lattice characterization for cyclic interval hypergraphs, extending the result of Bergeron and Pilaud for interval hypergraphs, and the result of Adenbaum et al. for the complete cyclic interval hypergraph.
Classification of isomorphism classes of lattices from Construction A and B
In this paper, we completely classify the isomorphism classes of certain lattices $L_A(C)$ and $L_B(C)$ from a self-orthogonal code $C$ over the finite field $\mathbb{F}_p$, where $p$ is an odd prime. These lattices are obtained by \emph{Construction A} and \emph{B} for a code $C$ over $\mathbb{F}_p$ introduced by Lam and Shimakura, which arose from a study of orbifolds of lattice vertex operator algebras. For self-orthogonal codes $C$ and $D$ of the same length over $\mathbb{F}_p$, we show that $L_X(C) \cong L_X(C)$ as lattices if and only if $C \cong D$ as codes, where $X=A$ or $B$. This can be expected to be lattice analogues of classifications of the isomorphism classes of lattice vertex operator algebras and its orbifolds. To prove the result, we generalize the notion of a frame of a lattice and define some codes which are analogues of codes constructed from Kleinian codes studied by H{ö}hn.
Tropical Degenerations of Network Games:Valuation Classes and Equilibrium Coalescence
A valuation-theoretic framework is developed for studying tropical degenerations of multilinear network games. Equilibrium conditions are modeled by an ideal over the Puiseux field, and valuation classes and cluster multiplicities are used to describe the organization of Puiseux equilibrium branches under degeneration. For valuation vectors lying in the relative interiors of generator-wise maximal tropical cells, multilinearity is shown to force a binomial reduction of the generator-wise initial system. The resulting binomial systems are governed by exponent-difference graphs, strongly connected component decompositions, and lattice indices computed via Smith normal form. In particular, unimodular diagonal blocks yield initial-coefficient rigidity, whereas non-unimodular blocks give rise to torsion-type leading-coefficient multiplicities. The generic binomial theory is complemented by a collision-normalized cross-prism family. In this family, 2^L Puiseux equilibrium branches share the same valuation vector and the same leading-coefficient vector. The corresponding limiting initial fiber is supported at a single torus point, but this point is nonreduced with scheme-theoretic length 2^L. Thus valuation coalescence is realized as an intrinsic scheme-theoretic collision rather than merely as a loss of higher-order terms. These local degeneration invariants are then related to the algebraic-degree theory of network games, showing how global equilibrium counts can be refined by valuation classes, binomial initial systems, Smith lattice data, and nonreduced collision fibers.
Toric Schubert Varieties in Partial Flag Varieties
In this article, we investigate the toric Schubert varieties in partial flag varieties $G/P$ for a connected semisimple algebraic group $G$. Using Deodhar's decomposition of Richardson varieties and the work of Pasquier, we give an explicit description of the fan of a toric Schubert variety, leading to a combinatorial model for its cones. As an application, we obtain necessary and sufficient conditions for smoothness of toric Schubert varieties in terms of the Cartan integers associated to a reduced expression. Furthermore, we prove that for a Coxeter-type element $w \in W^P$, the interval $[e,w]_{W^P}$ is a supersolvable join-distributive lattice. Finally, we apply these results to the study of spherical and horospherical Schubert varieties, providing a combinatorial method for checking the smoothness via the associated toric Schubert varieties.
On the largest sum-free subset of the lattice cube
We determine the limiting density of the largest sum-free subset of the lattice cube $\{1,2,\ldots,n\}^d$ for all $d$, thus resolving the natural conjecture that it is constructed by two appropriate hyperplane slices.
Exact Flatness Constant for One-Point Convex Bodies and the Discrete Isominwidth Problem: The Planar Case
A variant of the flatness problem from integer programming is studied, in which one considers convex bodies in $\mathbb{R}^d$ with at most $k$ interior lattice points. The maximum lattice width of such a body is denoted by Flt(d,k) and it is related to the classical flatness constant as well as a conjectural dual version of Minkowski's convex body theorem due to Makai. Moreover, it is shown that Flt(2, 1) = 3, i.e., any planar convex body with at most one interior point has lattice width at most three. This leads to an isominwidth inequality for the lattice point enumerator of planar convex bodies.
Order-Sensitive Sequential Interventions on Ideal Lattices
We study sequential interventions under prerequisite constraints. In this setting, admissible intervention sequences are paths in the ideal lattice of a finite prerequisite poset rather than unconstrained action strings. We give an exact local-to-global theory of order sensitivity on this state space. First, we prove that any two admissible paths with the same endpoints differ by a finite sequence of elementary diamond swaps. Second, for edge-additive path valuations, we show that path-independence is equivalent to vanishing diamond curvature, yielding an endpoint potential with a canonical Möbius parameterization on the ideal lattice. Third, we prove that a local diamond field is induced by an edge-based path model if and only if it satisfies cube consistency, with uniqueness after fixing a reference-tree gauge. Under reduced-state longitudinal assumptions, supported reference paths identify reference-path scores, whereas local order effects require two-sided support of both orders on each diamond. These results yield exact planning consequences, including an order-insensitivity bound and dynamic programming on the truncated ideal lattice.
MacNeille completions of parabolic quotients
Alternating sign matrices (ASMs) arise as the Dedekind-MacNeille completion of the Bruhat order on the symmetric group. They enjoy fruitful combinatorial and geometric properties, with a particularly rich history on enumerations and bijections. In this paper, we explicitly describe the Dedekind-MacNeille completion of the Bruhat order on any parabolic quotients of the symmetric group. It is naturally a subposet of the alternating sign matrices, with different lattice operations. Moreover, we demonstrate the relations between the meet and join operations in this lattice with taking unions and intersections of the corresponding ASM varieties, respectively. Finally, we conclude with a more detailed discussion of special cases.