lattice
4305 papers tagged with this keyword
The maximal hard-core model as a recoverable system: Gibbs measures and phase coexistence
Recoverable systems provide coarse models of data storage on the two-dimensional square lattice, where each site reconstructs its value from neighboring sites according to a specified local rule. To study the typical behavior of recoverable patterns, this work introduces an interaction potential on the local recovery regions of the lattice, which defines a corresponding interaction model. We establish uniqueness of the Gibbs measure at high temperature and derive bounds on the entropy in the zero- and low-temperature regimes.
For the recovery rule under consideration, exactly recoverable configurations coincide with maximal independent sets of the grid. Relying on methods developed for the standard hard-core model, we show phase coexistence at high activity in the maximal case. Unlike the standard hard-core model, however, the maximal version admits nontrivial ground states even at low activity, and we manage to classify them explicitly. We further verify the Peierls condition for the associated contour model. Combined with the Pirogov-Sinai theory, this shows that each ground state gives rise to an extremal Gibbs measure, proving phase coexistence at low activity.
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
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)
• Search Publication
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
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.
On Few-Distance Sets in the Plane
Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracπ{3\,C(Λ_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Λ$ we show $$g_Λ(k)\ge (π/4) S^*(Λ) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Λ$.
Non-Euclidean Crystallographic Rigidity
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
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
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.
Generalised Kauffman Clock Theorems
Kauffman's clock theorem provides a distributive lattice structure on the set of states of a four-valent graph in the plane. We prove two distinct generalisations of this theorem, for four-valent graphs embedded in more general compact oriented surfaces. The proofs use results of Propp providing distributive lattice structures on matchings on bipartite plane graphs, and orientations of graphs with fixed circulation.
The lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive
We prove that the lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive for $m\ge 8$. This confirms a conjecture of Li, Qiu, Yang, and Zhang, as an extension of counterexamples to a comment of Stanley on the universal Schur positivity of distributive lattices. Our main tools include Pieri's rules, and Wang and Wang's combinatorial formula for computing any Schur coefficient of the chromatic symmetric function of a graph in terms of special ribbon tabloids. We further show that the lattice $\textbf m\times\textbf 3$ is not strongly nice for $m\ge 44$.
Evaluation of lattice sums via telescoping over topographs
Topographs, introduced by Conway in 1997, are infinite trivalent planar trees used to visualize the values of binary quadratic forms. In this work, we study series whose terms are indexed by the vertices of a topograph and show that they can be evaluated using telescoping sums over its edges.
Our technique provides arithmetic proofs for modular graph function identities arising in string theory, yields alternative derivations of Hurwitz-style class number formulas, and provides a unified framework for well-known Mordell-Tornheim series and Hata's series for the Euler constant $γ$.
Our theorems are of the following spirit: we cut a topograph along an edge (called the root) into two parts, and then sum $\frac{1}{rst}$ (the reciprocal of the product of labels on regions adjacent to a vertex) over all vertices of one part. We prove that such a sum is equal to an explicit expression depending only on the root and the discriminant of the topograph.
Asymptotic Face Distributions in Random Reduced $\mathfrak s\mathfrak l_3$ Webs
We study the distribution of interior faces in uniformly random reduced $\mathfrak s \mathfrak l_3$ webs. Using Tymoczko's bijection between $3\times n$ standard Young tableaux and reduced webs, this problem can be reformulated in terms of constrained lattice paths and associated $m$-diagrams. We develop a framework that expresses crossing probabilities in the $m$-diagram as solutions to discrete Dirichlet problems on the triangular lattice, which are evaluated through solutions to lattice Green's functions. From this we obtain explicit limiting formulas for the frequencies of interior faces of each type. As an application, we analyze faces at a distance at least $d$ from the boundary. We prove that almost all interior faces far from the boundary are hexagons, while faces of size $6+2k$ occur with probability $O(d^{-2k})$.