lattice
4305 papers tagged with this keyword
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.
Enumerating Multi-Operator Monomials in Commutative and Noncommutative Settings
We study enumeration problems for multi-operator monomials generated from one indeterminate by an associative multiplication together with finitely many unary operators. We consider four regimes, according to whether multiplication is commutative and whether the unary operators commute. In the case where the unary operators do not commute, we obtain explicit multigraded generating functions and coefficient formulas, including a multinomial refinement of the Narayana numbers, together with interpretations in terms of rooted trees, restricted lattice paths, and binary trees. When the unary operators commute, we derive canonical representatives and effective recurrences, with corresponding monotonicity conditions in the combinatorial models. When multiplication is commutative, the sequence decomposition is replaced by a multiset decomposition, leading to exp--log generating functions and Euler-transform recurrences. In special cases, the resulting sequences recover classical families including the Catalan numbers, the small Schröder numbers, and rooted-tree numbers.
Boundary $h^\ast$-vectors and unimodular triangulations
We study the Ehrhart $h^\ast$-polynomial of (the boundary of) a lattice polytope via regular unimodular triangulations and Gröbner degenerations of toric ideals. Our main result is a boundary analogue of the well-known Sturmfels correspondence. This allows us to connect the boundary $h^\ast$-polynomial to the $h$-polynomial of any regular unimodular triangulation, in analogy to the classical Betke-McMullen Theorem.
Providing a direct link between Ehrhart theory and the face enumeration of simplicial complexes, we then transfer structural results from the theory of simplicial polytopes to the setting of lattice polytopes. In particular, we derive general Dehn-Sommerville-type relations between $h^\ast(P)$ and $h^\ast(\partial P)$. Under the additional assumption of $\partial P$ admitting a regular unimodular triangulation, we recover old and prove new characterization results concerning symmetry or unimodality, as well as upper and lower bounds for coefficient-wise differences within $h^\ast(P)$.
The bosonic Hubbard model on a three dimensional flat band lattice
The lowest eigenstates of the hopping matrix on the line graph of a cubic lattice with periodic boundary conditions are highly degenerate, they form a lowest flat band. Further, these states are localized. If one considers a repulsive bosonic Hubbard model on this lattice it is possible to construct exact multi-particle ground states simply by putting particles in the localized single particle ground states such that they avoid each other. This can be done up to a certain critical particle number $N_c$. We prove that at this particle number the ground state entropy is subextensive $\propto N_c^{2/3}$. For lower densities the entropy is extensive. We further show that the problem is related to the number of 4-cycle decompositions of the cubic lattice with periodic boundary conditions.
Uniform estimates for Delannoy numbers and dimension-free estimates for discrete maximal functions over cross-polytopes
We prove a uniform upper and lower bound for Delannoy numbers. This is achieved by using the representation of Delannoy numbers as the number of lattice points in high-dimensional cross-polytopes (also known as hyper-octahedrons or $\ell^1$ balls) and proving a uniform (dimension-free) count for these lattice points. Using this count, we establish dimension-free estimates for discrete maximal functions over cross-polytopes. By proving a comparison principle with the continuous setting, we obtain a dimension-free estimate on all $\ell^p(\mathbb{Z}^d)$ spaces for radii $R>C d^{3/2}.$ We also treat the full maximal function on $\ell^2(\mathbb{Z}^d)$ for small radii $R\le d^{1-\varepsilon}$ and the dyadic maximal function for any radii.
Universal dualities for Wilson loops in lattice Yang-Mills
We identify a universal finite-$N$ structure underlying Wilson loop expectations in lattice Yang-Mills, in any dimension $d\geq 2$, for gauge group $\mathrm{U}(N)$, and for arbitrary smooth central plaquette actions. The starting point is a state-sum expansion in plaquette labels by irreducible representations, in which each term factorizes into an action-dependent spectral weight and an action-independent topological coefficient. We then analyze these coefficients in three exact ways: as a gauge/string expansion over decorated spanning surfaces, as a local spin-foam/channel model on the dual incidence graph, and as a universal finite-$N$ master loop equation that closes on the coefficient side. As a consequence, several recent Wilson-action results are recovered as specializations of our broader action-agnostic framework.
Gorenstein Simplices and Even Binary Self-Complementary Codes
It is known that if a Gorenstein simplex of dimension \(d\) and degree \(s\) is not a lattice pyramid, then \(d \leq 2s-1\). In this paper, we study the extremal case \(d=2s-1\). More precisely, we characterize Gorenstein simplices of dimension \(2s-1\) and degree \(s\) which are not lattice pyramids in terms of even binary self-complementary codes. As an application, combining this characterization with existing classification results on reflexive simplices, we classify Gorenstein simplices of degree \(3\) and \(4\).
The 1-2-3 conjecture for polygonal tilings
The 1-2-3 conjecture has been solved positively in 2024 for finite graphs and by extension for infinite graphs which are locally finite. The solution is non-constructive, and finding explicit solutions for large (or infinite) graphs is very hard. By exploiting the extra structure present in many non-periodic tilings, we find explicit solutions for the Chair (all three vertex placements), Non-Pinwheel, Pinwheel, Half-hex, Ammann-Beenker (two versions), Penrose Rhomb, and the Domino tilings. We prove that for any fully periodic tiling of the plane there exists a fully periodic solution, and provide an algorithm for finding such a solution. We give solutions for the fully periodic square, triangle and hexagonal lattices.
A matroidal twist on a formula of Brion
Brion's Formula realizes the Laurent polynomial of lattice points in a lattice polytope P as the sum of rational functions associated to the vertices of P. In this paper, we consider the special case where P is a generalized permutohedron. We introduce a modification of the rational functions associated to the vertices of P depending on a given matroid M. Upon summing these rational functions, we show that the resulting Laurent polynomial Q_M(P) behaves in certain ways like the lattice points of P, exhibiting natural recursive and reciprocity behaviors. Furthermore, upon evaluating Q_M(P) at 1, we recover the matroid Euler characteristic of Larson, Li, Payne, and Proudfoot, thereby providing a refined approach to studying these quantities.
Noncrossing Partitions From Hull Configurations
Each finite configuration of points in the plane determines a corresponding lattice of noncrossing partitions. When these points form the vertex set of a convex polygon, the associated lattice is the classical noncrossing partition lattice (introduced by Kreweras in 1972), which makes many appearances in combinatorics and geometric group theory. If, on the other hand, all points of the configuration lie on a common line segment, the result is a Boolean lattice. In this article, we examine the more general class of hull configurations, which we define to be those which lie either on a line segment or on the boundary of a convex polygon. We prove that the corresponding lattices of noncrossing partitions are unions of maximal Boolean subposets and, under certain circumstances, have symmetric chain decompositions.
Noncrossing Partitions From Cones and Semicircles
Published in Discrete Mathematics (2026) 349-2
• View Publication
• BIB
For each finite configuration of distinct points in the plane, there is an associated lattice of noncrossing partitions. When these points form the vertices of a convex polygon, the result is the classical noncrossing partition lattice, which is enumerated by the Catalan numbers and satisfies many other useful properties. In this article, we examine three variations of this lattice which arise when the starting configuration is allowed to have points on the sides of a convex polygon rather than just the vertex set.
Cusp Form Dimensions, Lattice Uniqueness, and LP Sharpness for Sphere Packing in Dimensions 8 and 24
The Cohn-Elkies linear programming (LP) bound for sphere packing is known to be sharp in dimensions 8 and 24 but in no other dimension above 2. We investigate why by examining three independent necessary conditions for LP sharpness, drawn from number theory, lattice theory, and conformal field theory. The first condition, dim S_{d/2}(SL_2(Z)) <= 1, bounds the freedom in theta series and rules out all d >= 48. The second, derived from Cohn and Triantafillou's dual LP obstruction via cusp forms for the congruence subgroup Gamma_0(2), explains why LP sharpness fails in dimensions 16 and 32 despite the first condition being satisfied. The third, via the Hartman-Mazac-Rastelli correspondence between LP bounds and the modular bootstrap for Narain conformal field theories, reinterprets LP sharpness as the existence of an extremal CFT. We formulate a conjecture that these three conditions are equivalent for d congruent to 0 mod 8, and observe that the Bost-Connes quantum statistical system provides a natural algebraic framework in which all three perspectives are connected through the Hecke algebra.
Tiles from projections of the root and weight lattices of $A_n$
Main purpose of this work is to introduce a general technique of projection of the Voronoi tessellation of the weight lattice $A_n^\ast$ and apply it for the lattice $A_4^\ast$. The projection of the Voronoi tessellation of the weight lattice $A_4^\ast$ produces a totally different tiling scheme than the tiling obtained from the Voronoi cell projection of the lattice $A_4$. The 2D faces of the Voronoi cell of the lattice $A_4^\ast$ are of two types: regular hexagons and squares in 4-dimensions but project into two types of hexagons and two types of rhombuses with edges of two lengths in proportion to golden ratio. The mathematical technique employed is also useful for the projections of the root lattice $A_n$. A convenient set of linearly dependent and non-orthogonal $\left(n+1\right)$ vectors $k_i$ is introduced. The simple roots and the fundamental weights are defined as $α_i=k_i-k_{i+1},\left(i=1,2,\ldots,n\right) ,ω_i=k_1+k_2+\ldots+k_i$, respectively. When the vectors $k_i$ are defined in an orthogonal basis, the first two components of $k_i$ determine the Coxeter plane. Projection of the Delone cells of $A_n$ and $A_n^\ast$ on the Coxeter plane displays the same type of tiles and tilings but the Voronoi cell projection of these lattices yields different tiles and tilings. Vertices of the Voronoi cell $V(0)$ of $A_n$ is the union of the orbits of the weight vectors $W(a_n){(ω}_1)\cup W\left(a_n\right)(ω_2)\cup\ldots\cup W\left(a_n\right)(ω_n)$ and the 2D faces are the rhombuses. The Voronoi cell ${V(0)}^\ast$ of $A_n^\ast$ is the permutohedron of order $(n+1)$ and its vertices are the permutations of the vectors ${k}_i$ of the vertex $\frac{1}{n+1}[\left(n+1\right)k_1+nk_2+\ldots+k_{n+1}]$. It has regular hexagons and squares as 2D faces in $n$-dimensions.
Erdős-Gyárfás problem for partially ordered sets
Given integers $p,q,t$ with $1 \le t \le p$ and $1 \le q \le h_p(t)$, a strong $(p,q,t)$-coloring of the Boolean lattice $B_n$ is a coloring of its $t$-chains such that every induced copy of $B_p$ in $B_n$ uses at least $q$ colors on its $t$-chains. Let $f_t^{\sharp}(n,p,q)$ denote the minimum number of colors in such a coloring. We study this Boolean-lattice analogue of the Erdős-Gyárfás function. We first show that every finite poset strongly embeds into a Boolean lattice. Combined with a structural Ramsey theorem for finite posets with linear extensions, this implies the existence of the strong Boolean Ramsey number $\mathrm{R}^{\sharp}_{k,t}(\mathcal{B}\mid Q)$ for every integer $k\ge1$, every $t\ge1$, and every nonempty finite poset $Q$. In particular, this gives an affirmative answer to a problem of Cox and Stolee and yields the existence of $f_t^{\sharp}(n,p,2)$. Next, using the symmetric Lovász local lemma, we obtain a probabilistic upper bound on $f_t^{\sharp}(n,p,q)$. Finally, we prove lower bounds by combining Turán-type extremal estimates for $t$-chains, a double-counting argument, and a generalized Lubell-type framework for $t$-chains.