lattice ↗ reference
4431 papers tagged with this keyword
On the Lattice Tilings by Lee Balls: Q-Polynomials, Group-Ring Equations, and a Decision Algorithm
More than 50 years ago, Golomb and Welch conjectured that no tilings of $\mathbb{Z}^n$ by Lee balls of radius $r$ exist for $n \geq 3$ and $r \geq 2$. This conjecture remains open even under the additional assumption that the tiling is a lattice tiling. In general, there are two known effective approaches to the lattice case which are based on symmetric polynomials and on the arithmetic of group-ring equations, respectively.
In this paper, we develop both approaches. First, we determine all coefficients of the Q-polynomials associated with Lee balls; previously, only leading coefficients and certain special cases were known. Second, for arbitrary radii, we give necessary and sufficient conditions for the existence of lattice tilings by Lee balls in terms of group-ring equations, extending earlier results for radii $r=2$ and $3$.
We then derive new necessary conditions for such tilings. For every radius $3\le r\le 50$, we prove that the set of dimensions for which no lattice tiling exists has positive density in \(\mathbb{Z}^+\). We also give an algorithm that combines the available necessary conditions and apply it to all pairs $(n,r)$ for which the corresponding Lee ball of radius $r$ and dimension $n$ has size less than $2^{30}$. Among these $1{,}358$ pairs, the combined method excludes $1{,}356$, leaving only $(n,r)=(35,3)$ and $(805,3)$.
Stability of plethysm coefficients and modified polynomial induction
Let $h_n$ denote the complete homogeneous symmetric function of degree $n$, $s_ν$ the Schur function indexed by a partition $ν$, and $\langle\cdot,\cdot\rangle$ the Hall inner product. The plethysm coefficient $\langle h_n[h_m], s_ν\rangle$ is the multiplicity of the Weyl module $W_ν(\mathbb{C}^N)$ in $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ whenever $ν$ has at most $N$ parts. For a partition $λ$, let $λ[mn]=(mn-|λ|,λ_1,λ_2,\dots)$. Bowman and Paget proved that $\langle h_n[h_m], s_{λ[mn]}\rangle$ is independent of $m$ and $n$ once $m,n\ge|λ|$.
We prove that this coefficient is already constant for $m\geλ_1$ and $n\ge\lfloor(|λ|+λ_1)/2\rfloor$, and that its stable value equals $\langle s_λ, H[H-1-h_1]\rangle$, where $H=\sum_{i\ge0}h_i$; the proof uses the skewing operators adjoint to multiplication by complete homogeneous symmetric functions. We give a short new proof of the Bowman-Paget theorem based on stability of vector-partition functions, which count the ways of writing a vector of non-negative integers as an unordered sum of non-zero such vectors (its parts). Using a Vandermonde-type determinantal identity, we deduce that the stable value is a signed sum of numbers of vector partitions all of whose parts have entries summing to at least 2. The same method gives a short proof of Brion's stability theorem. We show that the stable value equals the multiplicity of $W_λ(\mathbb{C}^k)$, where $k=\lfloor|λ|/2\rfloor$, in an explicit representation of $GL_k(\mathbb{C})$ independent of $m$ and $n$, obtained by modifying the polynomial induction of Narayanan, Paul, Prasad and Srivastava. Finally, we prove an explicit positive formula for the stable value, which counts the number of lattice points in a polytope, when $λ_1\le 4$.
Spanning-Tree Maximization Forces Isoperimetry in the Square Lattice
We determine which connected sets of $N$ vertices in the square lattice support the most spanning trees, using all lattice edges between the chosen vertices. Every maximizer minimizes the number of edges joining the set to the rest of the lattice. Its shape is a rectangle with at most two straight strips of vertices removed at opposite corners. For $N\ge18$, the maximizer is unique up to translation, rotation, and reflection: an explicitly determined rectangle with one possibly empty corner strip removed along its longer side. The proof combines comparisons of Laplacian determinants with geometric comparisons of corner deletions. For $N=n^2$, we prove a sharp stability inequality that bounds the symmetric difference from a translated $n\times n$ square in terms of the loss in logarithmic tree count. Thus, nearly optimal tree counts force the vertex set to be close to a square. We also derive an exact product formula and a recurrence for the number of spanning trees in rectangles with a single corner strip removed.
Almost amorphic association schemes
An association scheme is called amorphic if every possible fusion of relations gives rise to another association scheme. In earlier work, we showed that if an association scheme has at most one relation that is neither strongly regular of Latin square type nor strongly regular of negative Latin square type, then it must be amorphic. We now construct non-amorphic $d$-class association schemes in which precisely two relations are not strongly regular of Latin square type or strongly regular of negative Latin square type, for any $d \geq 4$. We also raise the question whether different types of strongly regular graphs can coexist in an association scheme. Among some other results, we show that if one of the relations is a lattice graph, then any other strongly regular relation in the scheme must be of Latin square type.
Local Geometric and Transport Properties of Networks that are Generated from Hyperuniform Point Patterns
Hyperuniformity, which is a type of order that is characterized by the suppression of long-range density fluctuations in comparison to the fluctuations in standard disordered systems, has emerged as a powerful concept in many natural and engineered phenomena. In this paper, we harness hyperuniform point patterns to generate disordered, spatially-embedded networks that are distinct from both perfectly ordered lattices and uniformly random spatial networks. We refer to this class of disordered networks as \emph{hyperuniform-point-pattern-induced (HuPPI) networks}, and we compare them to counterpart \emph{Poisson-point-pattern-induced (PoPPI) networks} and networks that we generate from random-sequential-adsorption (RSA) packings (which have local order but are not hyperuniform). We examine HuPPI, PoPPI, and RSA networks that we generate using Gabriel, Delaunay, Delaunay-centroidal, and Voronoi network-generation methods. We show that HuPPI networks have smaller mean normalized total effective resistances (TERs) than PoPPI networks in Gabriel, Delaunay-centroidal, and Voronoi networks and have shorter mean random-walk mixing times than PoPPI networks in Gabriel, Delaunay, and Delaunay-centroidal networks. For all four network-generation methods and for both HuPPI and PoPPI networks, we find that the Ollivier--Ricci curvature (ORC) of an edge is negatively correlated with its TER edge contribution (i.e., the increase in TER that results from removing that edge). Collectively, our results (1) illustrate how the local network geometry that ORC measures is related to transport and network connectivity and (2) demonstrate that the network-generation method provides an additional design lever for spatial networks beyond the choice of their underlying point pattern. [This abstract is abridged significantly from the full abstract.]
Alternating Hamilton Paths and Cycles in Poset Products
We study alternating Hamilton paths and cycles in the comparability graphs of finite posets. We prove that if a finite poset $P$ with at least two elements admits an alternating Hamilton path, then $P\times B_r$ admits an alternating Hamilton cycle for every $r\ge2$, where $B_r$ is the Boolean lattice. As a corollary, we settle a conjecture of Katona [Discrete Appl. Math., 2013]. Furthermore, we characterize the divisor lattices admitting alternating Hamilton paths and cycles.
The equivariant Ehrhart theory of polytopes with order-two symmetries: Part II
We give two counterexamples to Stapledon's Effectiveness Conjecture. Each counterexample is a $6$-dimensional lattice polytope with an order-two symmetry whose equivariant $H^*$-series $φ[t]$ is a polynomial with one coefficient that is not effective. For polytopes with a symmetry of order two, the goal of this paper is to build up a picture of the landscape of results for when the Effectiveness Conjecture holds. Our main result is a criterion, in terms of the faces of $P$, that determines when the Ehrhart ring of $P$ admits an invariant linear system of parameters of the correct representation type. We use these results to reduce the space of possible counterexamples to one of two cases. A randomised computer search produced counterexamples in each case. We also give an example where the equivariant $H^*$-series is effective but admits no invariant linear system of parameters, neither for $P$ nor any invariant subdivision of it, answering a question of Stapledon in the case of groups of order two.
Lattice Bruhat intervals are polytopal
For a Bruhat interval $[x,y]$ in an arbitrary Coxeter group which is a lattice, we give a type-uniform construction of a convex polytope whose complete face lattice realizes $[x,y]$. This gives a polytopal realization of the coincidence between classical Kazhdan--Lusztig polynomials for lattice Bruhat intervals and Stanley's toric $g$-polynomials. Consequently, the Kazhdan--Lusztig polynomial of a lattice Bruhat interval cannot have internal zeros, satisfies a multiplicative strengthening of monotonicity, and obeys the generalized upper bound theorem for polytopes. For lattice Bruhat intervals in finite Weyl groups, we explain the relation with the toric geometry of Richardson varieties and derive formulas for their local and global intersection cohomology, as well as a Boolean criterion for rational smoothness. We conjecture that the coefficients of these Kazhdan--Lusztig polynomials form an $M$-sequence.
A Minimum Exact Disjunctive Basis for Two-Robot Solvability Profiles
We completely characterize the solvability profiles of tasks for two autonomous mobile robots in the plane under variable disorientation, chirality, and rigid movements. The four standard capability models and the schedulers considered here have a known quotient order Q of thirteen computational classes. A task's solvability profile is the set of classes in which it is solvable, and is necessarily an upset of Q. We prove that every upset is realizable and construct a minimum exact disjunctive basis of thirteen concrete tasks.
The basis contains one task for each principal upset. For every antichain of Q, the disjunction of the corresponding tasks has profile exactly equal to the union of their profiles. This exactness is not implied by the individual profiles: an algorithm may satisfy different disjuncts in different executions. We establish it by constructing, for every algorithm in each maximal class outside the target union, a single admissible fair execution violating all selected predicates simultaneously. Consequently, the realizable profiles form the entire finite distributive lattice Up(Q): there are exactly 54 profiles, counted by the antichain polynomial 1 + 13z + 24z^2 + 16z^3, and each has a canonical disjunctive representation using at most three principal tasks.
We also identify six tasks whose solvability signatures recover every inclusion and incomparability in Q, and prove that six is minimum even among arbitrary separating tasks. Their profiles are precisely the principal upsets generated by the join-irreducible elements of Q. In contrast, any task family generating every profile by exact disjunctions must contain all thirteen principal profiles. Thus our exact disjunctive basis has minimum size and is unique at the profile level.
Equilateral Completion in Floretion Triangular Coordinates: Locality, Product Points, and Reflection Symmetry
We study unordered triples of order-$n$ floretion base vectors whose tile centroids form nondegenerate equilateral triangles. A scaled integer centroid map turns Euclidean completion into exact arithmetic on a triangular lattice, and a residue obstruction modulo $3$ shows that every equilateral centroid triangle uses three tiles of one orientation. Combined with finite triangular-lattice completion counts, this gives $|E_n|=4^n(4^n-1)/12$. Equilateral triangles containing the identity word $e_n$ as a vertex form an entirely nonlocal family of cardinality $(4^n+(-2)^n-2)/3$. For synchronized local $γ$-cycles, $|L_n|=(7^n-4^n)/3$ and $|L_n|/|E_n|\sim4(7/16)^n$, while on the no-$e$ support $S_n=\{i,j,k\}^n$ locality is exhaustive and $|E_n^S|=|L_n^S|=(2^n-1)3^{n-1}$. The union of the three main axes supports exactly $|E_n^{\rm ax}|=4^{n-1}+2^n-2$ equilateral triangles, split into the branches $x=y=z$ and $x+y+z=0$. For $T\in E_n$, the unsigned vertex product defines a product point $C_T$; a digitwise parity criterion characterizes $C_T=Q_T$ on local cycles and yields Fibonacci subfamilies. Multiplication-generation is equivalent to $p(T)=e_n$, hence $C_T=0$; locally this gives exactly the nontrivial global $γ$-orbits, and exact enumeration through order $6$ finds no nonlocal example. Retaining the signs discarded by the unsigned product gives a second classifier: a triangle has scalar vertex-sum square exactly when its three vertices pairwise anticommute. For local cycles this occurs exactly when $|S|$ is odd, giving $|\mathrm{AC}_n\cap L_n|=(7^n-1)/6$, while nonlocal pairwise-anticommuting examples already occur in order $3$.
Balls in groups: volume, structure and growth
We develop a fine-scale structural theory for balls of polynomial volume in finitely generated groups. Our main result shows that a polynomial-volume hypothesis on a single ball implies that every larger ball can, after quotienting by a certain canonical finite normal subgroup, be embedded in a lattice of a Lie group whose connected component is nilpotent with sharply bounded index and dimension. These Lie groups and lattices form chains of successive quotients that are essentially unique, giving a quantitative fine-scale analogue of Losert's strengthening of the Mal'cev completion. This describes the fine structure of the group with sharp algebraic and quantitative precision; for example, it leads to sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's polynomial-growth theorem. These results have a wide range of applications in various aspects of the theory of vertex-transitive graphs, including for instance random walks, percolation, and scaling limits. We obtain some of these applications in the present paper, and treat others in companion papers. Some are due to or joint with other authors.
Integer decomposition property of three-dimensional smooth polytopes: a shorter proof
Oda's smoothness conjecture asserts that every smooth lattice polytope has the integer decomposition property. The three-dimensional case of this conjecture was recently proven by AI. Here we give a much shorter proof of this result.
From Trees to All Loops: The Combinatorial Geometry of Two-Site Cosmological Wavefunctions
We prove, at arbitrary loop order and including arbitrary tadpole decorations, the shifted-tree decomposition of two-site cosmological wavefunction coefficients proposed in our previous work, and uncover the combinatorial and geometric structure underlying it. For conformally coupled scalars with polynomial interactions, this decomposition expresses each loop coefficient as a finite signed sum of tree coefficients evaluated at shifted energies. For bubble-like graphs, the alternating sum over a Boolean lattice can be written in terms of finite differences or maximal chains. We prove the maximal-chain identity algebraically by induction on loop order and geometrically by decomposing a cubical Laplace integral into simplices. The maximal chains correspond to permutohedron vertices, whose incident facets encode the chain-dependent divisors. For tadpole-decorated graphs, the finite-difference Leibniz rule gives an explicit expansion indexed by ordered partitions and local maximal chains, which glue into global maximal chains and organize the coefficient as a combinatorial "path integral". A natural ordering of the divisors yields a term-by-term match with graph tubings and completes the all-loop proof, while other orderings give alternative tubing representations of the same coefficient. These identities hold before spatial loop-momentum integration and extend to power-law FRW backgrounds by linearity of the twisted integral. Two-site loop coefficients can therefore be obtained directly from known tree coefficients without solving new loop-level differential systems.
A refinement of the edge theorem for order and chain polytopes
For a finite poset, we partition the edges of the order polytope and of the chain polytope into classes indexed by the connected convex subsets of the poset, and we establish that corresponding classes have the same cardinality. This yields a closed formula for the common number of edges, and it identifies the bijection of Hibi, Li, Sahara and Shikama, given by them through an explicit formula, as a disjoint union of simple bijections between corresponding classes, which explains why it is a bijection and how it acts on edge directions and lengths. As consequences, the two polytopes have equally many edge directions, with matching multiplicities; the chain polytope has at least as many edges parallel to each coordinate subspace as the order polytope; and the edge lengths of the chain polytope are dominated by those of the order polytope. Strict inequality occurs in the last two comparisons exactly when the poset contains a three-element chain. We discuss implications for linear and convex combinatorial optimization over ideals and antichains. We also express the number of edges in terms of the comparability graph, in a form that extends to stable-set polytopes of arbitrary graphs, give a recursion for series-parallel posets and closed formulas for layered, zigzag and crown posets, characterize the distributive lattices for which the two polytopes are unimodularly equivalent, and demonstrate that, although the two polytopes have the same number of edges, either one can have the larger diameter, by an arbitrary amount; on the other hand, both diameters are bounded by the width of the poset, and they coincide for ordinal sums, series-parallel posets, and zigzag and crown posets.
Translational tilings by axis-parallel polygonal sets
The periodic tiling conjecture asserts that if a bounded set $Ω\subset \mathbb R^d$ of finite measure tiles $\mathbb R^d$ by translations, then it admits at least one fully periodic tiling. This conjecture was proved to hold in $\mathbb R$ by Lagarias and Wang, and was recently disproved by Greenfeld and Tao in sufficiently high dimensions. Its discrete analogue in $\mathbb Z^2$ was proved by Bhattacharya, whereas the conjecture in $\mathbb R^2$ remains open. In this paper, we analyze the structure of tilings by axis-parallel polygonal sets: bounded open sets in $\mathbb R^2$ whose boundary is a finite union of line segments parallel to the axes. We prove that every such tiling that is topologically minimal is weakly periodic. Moreover, we show that if an axis-parallel polygonal set $Ω$ tiles $\mathbb{R}^2$ then it admits a quasi-periodic tiling (i.e., a finite union of translated lattices). The proofs combine geometric decompositions of tilings with rational approximation and discrete tiling theory. As a consequence, we obtain that the translational tiling problem for axis-parallel polygonal sets with real algebraic vertex coordinates is decidable.
Type $B$- and $C$- trigonometric weight functions
We introduce and study trigonometric weight functions of type $B$ and type $C$ arising from integrable lattice models. These functions give $q$-deformations of the factorial $K$-theoretic Schur $P$- and $Q$-functions of Ikeda and Naruse, with the $P$-functions specialized to the type $B$ case. We realize them as specializations of partition functions of a six-vertex model with triangular boundary conditions and derive their algebraic properties using the Yang-Baxter equation and properties of the $R$- and $K$-matrices. We introduce normalized weight functions and establish diagonal evaluation formulas, divisibility properties, and bounds on Newton polytopes analogous to those in type $A$, together with recursive relations and stability. We further derive branching formulas relating these functions to type $A$ weight functions, and prove equal-cardinality orthogonality and all-cardinality biorthogonality relations.
The Norm Spectrum of Barnes-Wall Lattices Below Twice the Minimum
Let $Λ_m$ be the Barnes-Wall lattice of dimension $2^m$, normalized to have minimum squared norm $d_m:=2^{m-1}$. We determine its complete norm spectrum strictly between $d_m$ and $2d_m$, proving that, for every integer $m\ge1$, $\{\|x\|^2:x\inΛ_m,\ d_m<\|x\|^2<2d_m\}=\{2d_m-2^j:j\in\mathbb Z,\ \lceil m/2\rceil\le j\le m-2\}$. In particular, the norm spectrum in this interval is nonempty for $m\ge4$. The proof uses a Gaussian-integer model in which lattice automorphisms arising from Clifford unitaries transform a vector into a pair of coordinate subvectors in a lower-dimensional lattice. Divisibility of the differences of their squared norms and a matrix Parseval identity provide the arithmetic and averaging constraints needed for induction on $m$. Every listed norm is realized explicitly by a sum of two minimal vectors of the lattice.
Asymptotics of Random-Lattice Enumeration: Beyond HKZ via Dense Sublattices
To bridge the gap between worst-case and heuristic analyses of lattice enumeration, we study the sizes of (unpruned) enumeration trees on $n$-dimensional Haar-random lattices. Writing $n^{cn+o(n)}$ for the tree size at the shortest vector radius, we investigate the asymptotic scaling of $c$, and which bases minimize it.
For quasi-HKZ bases, we rigorously analyze the random-lattice HKZ geometry and establish $c=1/(2e)\approx 0.1839$. This matches the worst-case enumeration exponent of Hanrot-Stehlé and confirms earlier predictions for the geometry of HKZ bases on random lattices.
Searching beyond quasi-HKZ bases, we prove that with high probability, the minimum achievable tree size exponent $c$ over all bases of a random lattice satisfies: \begin{align} 0.1464 \approx \frac{2-\sqrt{2}}{4}\leq c<0.1474. \end{align}
For the lower bound, we use Kim's mean-value formula for nested chains of primitive sublattices to rule out bases with small prefix determinants. This strengthens the earlier Rankin-based heuristic lower bound exponent $c \geq 1/8$, discussed by Nguyen and Hanrot-Stehlé, and rules out the existence of random-lattice bases with trees as small as predicted by the geometric series assumption.
For the upper bound, we show that with high probability a dense primitive half-rank sublattice exists with determinant at most $n^{n/8 + o(n)}$. Combining dual HKZ on this sublattice with HKZ on its quotient gives a basis with $c \leq 1/(4\sqrt{e}) \approx 0.1516$. Recursively splitting each half lowers the upper bound below $0.1474$, and under a natural heuristic assumption we prove that the lower bound is tight.
Combined with the collision search of Feng-Gao-Liu, our two-block construction gives a polynomial-space algorithm solving the closest vector problem with preprocessing (CVPP) on random lattices in query time $n^{0.0892 n + o(n)}$ for arbitrary targets.
Quantum Pick's Theorem in two dimensions
Consider an $n$-dimensional sum of the form $S_k=\sum{q^{f({\bf z})}}$ over lattice points ${\bf z}$ which lie in $K{\mathcal P}$, the $K$ scaling of an $n$-dimensional rational polytope $\mathcal P$. We formulate a conjecture on the structure of $S_K$ considered for $K$ prime, as a power series in $h=q-1$ modulo the $K^{th}$ cyclotomic polynomial, and in particular the existence of a decomposition in powers of the Gauss sum $\mathbb G$, up to the $n^{th}$, whose coefficients are almost independent of $K$, where the leading coefficient is related to the volume of $\mathcal P$ and the coefficient of ${\mathbb G}^r$ has contributions from the codimension $r$ skeleton of $\mathcal P$. The conjecture is proved for $n=1,2$.
Stability and ribbon bases for the rank-selected homology of geometric lattices
This paper analyzes the representation theoretic stability, in the sense of Thomas Church and Benson Farb, of the rank-selected homology of the Boolean lattice and the partition lattice, proving sharp uniform representation stability bounds in both cases. It proves a conjecture of the first author and Reiner by giving the sharp stability bound for general rank sets for the partition lattice. Along the way, a new homology basis sharing useful features with the polytabloid basis for Specht modules is introduced for the rank-selected homology and for the rank-selected Whitney homology of any geometric lattice, resolving an old open question of Björner. These bases give a matroid theoretic analogue of Specht modules.