lattice ↗ reference
4394 papers tagged with this keyword
Sharp Gagliardo-Nirenberg inequality and logarithmic Sobolev inequality on integer lattices
In this paper, we obtain a sharp Garliardo-Nirenberg inequality on integer lattices and characterize its rigidity. Moreover, as a consequence of the sharp Garliardo-Nirenberg inequality, we obtain sharp logarithmic Sobolev inequalities on integer lattices.
Enumeration of pattern-avoiding $(0,1)$-matrices and their symmetry classes
Published
• View Publication
• BIB
Recently, Brualdi and Cao studied $I_k$-avoiding $(0,1)$-matrices by decomposing them into zigzag paths and proved that the maximum number of $1$'s in such a matrix is given by an exact number. We further study the structure of maximal $I_k$-avoiding $(0,1)$-matrices (IAMs) by interpreting them as families of non-intersecting lattice paths on the square lattice. Using this perspective, we establish a bijection showing that IAMs are equinumerous with plane partitions of a certain size. Moreover, we classify all ten symmetry classes of IAMs under the action of the dihedral group of order $8$ and show that the enumeration formulas for these classes are given by simple product formulas. Extending this approach to skew shapes, we derive a conceptual formula for enumerating maximal $I_k$-avoiding $(0,1)$-fillings of skew shapes.
Minimizing point configurations for tensor product energies on the torus
Published
• View Publication
• BIB
We study point configurations on the torus $\mathbb T^d$ that minimize interaction energies with tensor product structure which arise naturally in the context of discrepancy theory and quasi-Monte Carlo integration. Permutation sets on $\mathbb T^2$ and Latin hypercube sets in higher dimensions (i.e. sets whose projections onto coordinate axes are equispaced points) are natural candidates to be energy minimizers. We show that such point configurations that have only one distance in the vector sense minimize the energy for a wide range of potentials, in other words, such sets satisfy a tensor product version of universal optimality. This applies, in particular, to three- and five-point Fibonacci lattices. We also characterize all lattices with this property and exhibit some non-lattice sets of this type. In addition, we obtain several further structural results about global and local minimizers of tensor product energies.
Covering large-dimensional Euclidean spaces by random translates of a given convex body
Determining the minimum density of a covering of $\mathbb{R}^{n}$ by Euclidean unit balls as $n\to\infty$ is a major open problem, with the best known results being the lower bound of $\left(\mathrm{e}^{-3/2}+o(1)\right)n$ by Coxeter, Few and Rogers [Mathematika 6, 1959] and the upper bound of $\left(1/2+o(1) \right)n \ln n$ by Dumer [Discrete Comput. Geom. 38, 2007].
We prove that there are ball coverings of $\mathbb{R}^n$ attaining the asymptotically best known density $\left(1/2+o(1) \right)n \ln n$ such that, additionally, every point of $\mathbb{R}^n$ is covered at most $\left(1.79556... + o(1)\right) n \ln n$ times. This strengthens the result of Erdős and Rogers [Acta Arith. 7, 1961/62] who had the maximum multiplicity at most $\left(\mathrm{e} + o(1)\right) n \ln n$.
On the other hand, we show that the method that was used for the best known ball coverings (when one takes a random subset of centres in a fundamental domain of a suitable lattice in $\mathbb{R}^n$ and extends this periodically) fails to work if the density is less than $(1/2+o(1))n\ln n$; in fact, this result remains true if we replace the ball by any convex body $K$. Also, we observe that a ``worst'' convex body $K$ here is a cube, for which the packing density coming from random constructions is only $(1+o(1))n\ln n$.
Lattice point enumeration of polytopes associated to integer compositions
Published
• View Publication
• BIB
An $n$-dimensional lattice polytope ${\mathcal Q}_σ$ can be associated to any composition $σ$ of a positive integer $n$, as a special case of constructions due to Pitman--Stanley and Chapoton. The entries of the $h$-vector of $σ$, introduced by Chapoton, enumerate the lattice points in ${\mathcal Q}_σ$ by the number of their nonzero coordinates. Chapoton conjectured that this vector is equal to the $h$-vector of a flag simplicial polytope. This paper proves this conjecture. Moreover, it shows that the gamma-vector associated to the $h$-vector of $σ$ is nonnegative by means of an explicit combinatorial interpretation and confirms certain other conjectures of Chapoton on the lattice point enumeration of composition polytopes. A combinatorial interpretation of their $h^\ast$-polynomials is deduced.
Uniquely realizable crystalline structures
We construct infinite periodic versions of the stress matrix and establish sufficient conditions for periodic tensegrity frameworks to be globally rigid in $\mathbb{R}^d$ in the cases when the lattice is either fixed, fully flexible, or flexible with a volume constraint for the fundamental domain. For the fixed and fully flexible lattice variants, we also establish necessary and sufficient conditions for generic infinite periodic bar-joint frameworks to be globally rigid in $\mathbb{R}^d$. These results provide periodic versions of the fundamental results of Connelly, as well as Gortler, Healy and Thurston on the global rigidity of generic finite bar-joint frameworks.
On colourings of cubic lattices
Given the integral lattice $Λ^d$ in $d$-dimensional Euclidean space, partitions of the lattice nodes into orbits of finite-index subgroups of $Aut(Λ^d)$ have been computed for $d \leq 4$. These partitions can be interpreted as colourings of orbits defined up to permutation of colours. Complete results are obtained for $d=2$ up to 64 orbits, for $d=3$ up to 8 orbits, and for 2 orbits in dimension 4. The automorphism groups of the partitions are also determined. Our results for two orbits in dimension 3 correct the old result of H. Heesch [Z. Kristallogr., (1933), 85, 335--344] who overlooked one partition.
Eulerian posets and $Z$-polynomials
Let $P$ be a finite partially ordered set. In a recent series of works, Proudfoot introduced the notion of $Z$-polynomials associated with $P$-kernels, providing a unified framework for various intersection cohomology Poincaré polynomials arising in diverse areas of mathematics. One of the problems posed by Proudfoot was to interpret the $Z$-polynomial in a fundamental setting -- namely, when $P$ is the lattice of faces of a convex polytope (or, more generally, an Eulerian poset). We resolve this problem by proving that the $Z$-polynomial of any Eulerian poset coincides with the toric $h$-polynomial of the poset of all (possibly empty) closed intervals of $P$, ordered by reverse inclusion. Under suitable polyhedral conditions, this result identifies the $Z$-polynomial of a polytope with the Poincaré polynomial of the intersection cohomology of an associated auxiliary polytope. We prove some results about the Chow polynomials of the poset of intervals of an Eulerian poset and relate them with the Veronese transforms on polynomials.
Hodge Laplacians on Weighted Simplicial Complexes: Forms, Closures, and Essential Self-Adjointness
We establish explicit operator norm bounds and essential self-adjointness criteria for discrete Hodge Laplacians on weighted graphs and simplicial complexes. For unweighted $d$-regular graphs we prove the universal estimate $\|\widetildeΔ_{1,*}\|\le 4(d-1)$, and we provide weighted extensions with a sharp comparability constant. These bounds apply without geometric completeness or curvature assumptions and ensure essential self-adjointness on natural cores. The approach extends to higher degrees via dual up/down degrees, and we show a unitary equivalence between skew and symmetric models on colorable complexes. For periodic lattices we complement the universal bounds with exact Floquet--Bloch constants, typically of order $2d$, illustrating both the sharpness in growth and the generality of our method.
Para-exceptional sequences for tame hereditary algebras and McCammond-Sulway lattices
Noncrossing partition posets in a Coxeter group $W$ can fail to be lattices when $W$ is not finite. When the lattice property fails for $W$ of affine type, McCammond and Sulway's construction provides a larger lattice that contains the noncrossing partition poset and that furthermore is a combinatorial Garside structure. We construct a lattice, isomorphic to McCammond and Sulway's lattice, using the representation theory of a corresponding connected tame hereditary algebra and give a representation-theoretic proof that it is a combinatorial Garside structure. To construct the lattice, we introduce para-exceptional sequences and para-exceptional subcategories in the module categories of tame hereditary algebras. Para-exceptional sequences are generalizations of exceptional sequences obtained by enlarging the set of allowed entries to include all non-homogeneous bricks. A para-exceptional subcategory is a subcategory obtained by applying a certain closure-like operator to the wide subcategory generated by a para-exceptional sequence.
Directed lattice paths avoiding periodic subset of points on "time"-axis
Published
• View Publication
• BIB
We compute generating functions of the set of directed lattice paths starting from the origin and avoiding a periodic set of even point on OX = "time"-axis. As an application we prove a combinatorial identity proposed by P. Hajnal and G.V. Nagy.
On a Conjecture of Dyer on the Join in the Weak Order of a Coxeter group
Published in Séminaire Lotharingien de Combinatoire, 93B.13 (2025)
• View Publication
• BIB
In one of his papers on the weak order of Coxeter groups, Dyer formulates several conjectures. Among these, one affirms that the extended weak order forms a lattice, while another offers an algebraic-geometric description of the join of two elements in this poset. The former was recently proven for affine types by Barkley and Speyer. In this paper, we establish the latter for Coxeter groups of types $A$ and $I$. Moreover, we verified the validity of this conjecture for types $H_3$ and $F_4$ through the use of Sage.
An exactly solvable asymmetric simple inclusion process
Published
• View Publication
• BIB
We study a generalization of the asymmetric simple inclusion process (ASIP) on a periodic one-dimensional lattice, where the integers in the particles rates are deformed to their $t$-analogues. We call this the $(q, t, θ)$~ASIP, where $q$ is the asymmetric hopping parameter and $θ$ is the diffusion parameter. We show that this process is a misanthrope process, and consequently the steady state is independent of $q$. We compute the steady state, the one-point correlation and the current in the steady state. In particular, we show that the single-site occupation probabilities follow a \emph{beta-binomial} distribution at $t=1$. We compute the two-dimensional phase diagram in various regimes of the parameters $(t, θ)$ and perform simulations to justify the results. We also show that a modified form of the steady state weights at $t \neq 1$ satisfy curious palindromic and antipalindromic symmetries. Lastly, we define an enriched process at $t=1$ and $θ$ an integer which projects onto the $(q, 1, θ)$~ASIP and whose steady state is uniform, which may be of independent interest.
The poset of maximal tubings of the cycle graph is a lattice
The poset of maximal tubings of a graph generalizes several well-known and remarkable partial orders. Notable examples include the weak Bruhat order and the Tamari lattice, posets of maximal tubings for the complete graph and the path graph, respectively. It is an open problem to characterize graphs for which the poset of maximal tubings is a lattice. In this paper, we prove that the poset of maximal tubings for the cycle graph is a lattice, and moreover that it is semidistributive and congruence uniform. As main tools, we characterize all order relations in the poset, and introduce a useful map from maximal tubings of the cycle graph to maximal tubings of the path graph.
Non-Euclidean Crystallographic Rigidity
Published
• View Publication
• BIB
This paper establishes combinatorial characterisations of forced-symmetric and forced-periodic rigidity (under a fixed lattice) of bar-joint frameworks in non-Euclidean normed planes. In $\ell_q$-planes for $q\in(1,\infty)\backslash\{2\}$, we prove characterisations for forced-periodic rigidity and forced-reflectionally-symmetric rigidity. We also characterise forced-symmetric rigidity in this space with respect to the orientation-reversing wallpaper group $\mathbb{Z}^2\rtimes\mathcal{C}_s$, otherwise known as $pm$ in crystallography. In the $\ell_1$ and $\ell_\infty$-planes, we provide characterisations for forced-periodic rigidity and forced-$\mathbb{Z}^2\rtimes\mathcal{C}_s$-symmetric rigidity. All of these characterisations are proved by inductive constructions involving Henneberg-type graph operations.
Brun's inequality for a geometric lattice
Published
• View Publication
• BIB
In a seminal paper of 1915, V. Brun introduced Brun's sieve, which is based on Brun's inequality for the Möbius function and is a very powerful tool in modern number theory. The importance of the Möbius function in enumeration problems led G.-C. Rota to introduce the concept of the Möbius function to partially ordered sets. In this article, we prove Brun's inequality for geometric lattices and develop a sieve in this context. One of the main ingredients is a recent work of K. Adiprasito, J. Huh, and E. Katz on the log-concavity of absolute values of the Whitney numbers associated with matroids. We also study shifted convolutions of the Whitney numbers associated with Dowling lattices. Further, we derive an asymptotic formula for generalized Dowling numbers.
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
Published
• View Publication
• BIB
The binomial notation (w u) represents the number of occurrences of the word u as a (scattered) subword in w. We first introduce and study possible uses of a geometrical interpretation of (w ab) and (w ba) when a and b are distinct letters. We then study the structure of the 2-binomial equivalence class of a binary word w (two words are 2-binomially equivalent if they have the same binomial coefficients, that is, the same numbers of occurrences, for each word of length at most 2). Especially we prove the existence of an isomorphism between the graph of the 2-binomial equivalence class of w with respect to a particular rewriting rule and the lattice of partitions of the integer (w ab) with (w a) parts and greatest part bounded by (w b). Finally we study binary fair words, the words over {a, b} having the same numbers of occurrences of ab and ba as subwords ((w ab) = (w ba)). In particular, we prove a recent conjecture related to a special case of the least square approximation.
Möbius transforms and Shapley values for vector-valued functions on weighted directed acyclic multigraphs
We generalize the concept of Möbius inversion and Shapley values to directed acyclic multigraphs and weighted versions thereof. We further allow value functions (games) and thus their Möbius transforms (synergy function) and Shapley values to have values in any abelian group that is a module over a ring that contains the graph weights, e.g. vector-valued functions. To achieve this and overcome the obstruction that the classical axioms (linearity, efficiency, null player, symmetry) are not strong enough to uniquely determine Shapley values in this more general setting, we analyze Shapley values from two novel points of view: 1) We introduce projection operators that allow us to interpret Shapley values as the recursive projection and re-attribution of higher-order synergies to lower-order ones; 2) we propose a strengthening of the null player axiom and a localized symmetry axiom, namely the weak elements and flat hierarchy axioms. The former allows us to remove coalitions with vanishing synergy while preserving the rest of the hierarchical structure. The latter treats player-coalition bonds uniformly in the corner case of hierarchically flat graphs. Together with linearity these axioms already imply a unique explicit formula for the Shapley values, as well as classical properties like efficiency, null player, symmetry, and novel ones like the projection property. This whole framework then specializes to finite inclusion algebras, lattices, partial orders and mereologies, and also recovers certain previously known cases as corner cases, and presents others from a new perspective. The admission of general weighted directed acyclic multigraph structured hierarchies and vector-valued functions and Shapley values opens up the possibility for new analytic tools and application areas, like machine learning, language processing, explainable artificial intelligence, and many more.
$(P,φ)$-Tamari lattices
Given any poset $P$ and chain $φ$ in $P$, we define the $(P,φ)$-Tamari lattice. We study in depth these lattices and prove in particular that they are join-semidistributive, join-congruence uniform and left modular. We prove that the lattices of higher torsion classes of the higher Auslander and Nakayama algebras of type $\mathbb{A}$ are examples of $(P,φ)$-Tamari lattices and thus they inherit their properties. We also give general results related to left modular, extremal and congruence normal lattices.
Congestion bounds via Laplacian eigenvalues and their application to tensor networks with arbitrary geometry
Embedding the vertices of arbitrary graphs into trees while minimizing some measure of overlap is an important problem with applications in computer science and physics. In this work, we consider the problem of bijectively embedding the vertices of an $n$-vertex graph $G$ into the leaves of an $n$-leaf rooted binary tree $\mathcal{B}$. The congestion of such an embedding is given by the largest size of the cut induced by the two components obtained by deleting any vertex of $\mathcal{B}$. The congestion $\mathrm{cng}(G)$ is defined as the minimum congestion obtained by any embedding. We show that $λ_2(G)\cdot 2n/9\le \mathrm{cng} (G)\le λ_n(G)\cdot 2n/9$, where $0=λ_1(G)\le \cdots \le λ_n(G)$ are the Laplacian eigenvalues of $G$. We also provide a contraction heuristic given by hierarchically spectral clustering the original graph, which we numerically find to be effective in finding low congestion embeddings for sparse graphs. We numerically compare our congestion bounds on different families of graphs with regular structure (hypercubes and lattices), random graphs, and tensor network representations of quantum circuits. Our results imply lower and upper bounds on the memory complexity of tensor network contraction in terms of the underlying graph.