lattice
4310 papers tagged with this keyword
On minimal shapes and isoperimetric constants in hyperbolic lattices
We fully characterize the set of finite shapes with minimal perimeter on hyperbolic lattices given by regular tilings of the hyperbolic plane whose tiles are regular $p$-gons meeting at vertices of degree $q$, with $1/p+1/q<\frac{1}{2}$. In particular, we prove that the ratio between the perimeter and the area (i.e., the number of vertices) of this set of minimal shapes converges to the isoperimetric constant computed in Häggström-Jonasson-Lyons. In fact, our balls which are constructed via layers and not combinatorial balls, will realize the isoperimetric constant for any fixed number of vertices.
A lattice point counting approach for the study of the number of self-avoiding walks on $\mathbb{Z}^{d}$
We reduce the problem of counting self-avoiding walks in the square lattice to a problem of counting the number of integral points in multidimensional domains. We obtain an asymptotic estimate of the number of self-avoiding walks of length $n$ in the square lattice. This new formalism gives a natural and unified setting in order to study the properties of the number of self-avoiding walks in the lattice $\mathbb{Z}^{d}$ of any dimension $d\geq 2$.
The Topological Structures of the Orders of Hypergraphs
We provide first a categorical exploration of, and then completion of the mapping of the relationships among, three fundamental perspectives on binary relations: as the incidence matrices of hypergraphs, as the formal contexts of concept lattices, and as specifying topological cosheaves of simplicial (Dowker) complexes on simplicial (Dowker) complexes. We provide an integrative, functorial framework combining previously known with three new results: 1) given a binary relation, there are order isomorphisms among the bounded edge order of the intersection complexes of its dual hypergraphs and its concept lattice; 2) the concept lattice of a context is an isomorphism invariant of the Dowker cosheaf (of abstract simplicial complexes) of that context; and 3) a novel Dowker cosheaf (of chain complexes) of a relation is an isomorphism invariant of the concept lattice of the context that generalizes Dowker's original homological result. We illustrate these concepts throughout with a running example, and demonstrate relationships to past results.
Notes on Riordan arrays and lattice paths
In this note, we explore links between Riordan arrays and lattice paths. We begin by describing Riordan arrays, and some of their generalizations, including rectifications and triangulations. We the consider Riordan array links to lattice paths with steps of type $(a,b)$, where $a$ and $b$ are nonnegative. We consider common Riordan arrays that are linked to lattice paths, as well as showing links between almost Riordan arrays and lattice paths. We then consider lattice paths with step sets that include downward steps, and show how the $A$-matrix characterization of Riordan arrays plays a key role in analysing corresponding Riordan arrays.
The varieties generated by 3-hypergraph semirings
In this paper the 3-hypergraph semigroups and 3-hypergraph semirings from 3-hypergraphs $\mathbb{H}$ are introduced and the varieties generated by them are studied. It is shown that all 3-hypergraph semirings $S_{\scriptscriptstyle \mathbb{H}}$ are nonfinitely based and subdirectly irreducible. Also, it is proved that each variety generated by 3-hypergraph semirings is equal to a variety generated by 3-uniform hypergraph semirings. It is well known that both variety $\mathbf{V}(S_c(abc))$ (see, J. Algebra 611: 211--245, 2022 and J. Algebra 623: 64--85, 2023) and variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ play key role in the theory of variety of ai-semirings, where 3-uniform hypergraph $\mathbb{H}$ is a 3-cycle. They are shown that each variety generated by 2-robustly strong 3-colorable 3-uniform hypergraph semirings is equal to variety $\mathbf{V}(S_c(abc))$, and each variety generated by so-called beam-type hypergraph semirings or fan-type hypergraph semirings is equal to the variety $\mathbf{V}(S_{\scriptscriptstyle \mathbb{H}})$ generated by a 3-uniform 3-cycle hypergraph semiring $S_{\scriptscriptstyle \mathbb{H}}$. Finally, an infinite ascending chain is provided in the lattice of subvarieties of the variety generated by all 3-uniform hypergraph semirings. This implies that the variety generated by all 3-uniform hypergraph semirings has infinitely many subvarieties.
$c$-Birkhoff polytopes
In a 2018 paper, Davis and Sagan studied several pattern-avoiding polytopes. They found that a particular pattern-avoiding Birkhoff polytope had the same normalized volume as the order polytope of a certain poset, leading them to ask if the two polytopes were unimodularly equivalent. Motivated by Davis and Sagan's question, in this paper we define a pattern-avoiding Birkhoff polytope called a $c$-Birkhoff polytope for each Coxeter element $c$ of the symmetric group. We then show that the $c$-Birkhoff polytope is unimodularly equivalent to the order polytope of the heap poset of the $c$-sorting word of the longest permutation. When $c=s_1s_2\dots s_{n}$, this result recovers an affirmative answer to Davis and Sagan's question. Another consequence of this result is that the normalized volume of the $c$-Birkhoff polytope is the number of the longest chains in the (type A) $c$-Cambrian lattice.
Shellability of the quotient order on lattice path matroids
The concept of a matroid quotient has connections to fundamental questions in the geometry of flag varieties. In previous work, Benedetti and Knauer characterized quotients in the class of lattice path matroids (LPMs) in terms of a simple combinatorial condition. As a consequence, they showed that the quotient order on LPMs yields a graded poset whose rank polynomial relates to a refinement of the Catalan numbers. In this work we show that this poset admits an EL-labeling, implying that the order complex is shellable and hence enjoys several combinatorial and topological properties. We use this to establish bounds on the Möbius function of the poset, interpreting falling chains in the EL-labeling in terms of properties of underlying permutations. Furthermore, we show that this EL-labeling is in fact a Whitney labeling, in the sense of the recent notion introduced by González D'León and Hallam.
Integrability of Combinatorial Riemann Boundary Value Problem and Lattice Walks Avoiding a Quadrant
We introduce a general framework of matrix-form combinatorial Riemann boundary value problem (cRBVP) to characterize the integrability of functional equations arising in lattice walk enumerations. A matrix cRBVP is defined as integrable if it can be reduced to enough polynomial equations with one catalytic variable. Our central results establish that the integrability depends on the eigenspace of some matrix associated to the problem. For lattice walks in three quadrants, we demonstrate how the obstinate kernel method transforms a discrete difference equation into a $3\times 3$ matrix cRBVP. The special double-roots eigenvalue $1/4$ yields two independent polynomial equations in the problem. The other single-root eigenvalue yields a linear equation. We obtain three independent equations from a $3\times 3$ system. Crucially, our framework generalizes three-quadrant walks with Weyl symmetry to models satisfying only orbit-sum conditions. It explains many criteria about the orbit-sum proposed by various researchers and it also explains the counter-example of lattice walks starting outside the quadrant.
On the structure of modular lattices -- Axioms for gluing
This paper explores alternative statements of the axioms for lattice gluing, focusing on lattices that are modular, locally finite, and have finite covers, but may have infinite height. We give a set of "maximal" axioms that maximize what can be immediately adduced about the structure of a valid gluing. We also give a set of "minimal" axioms that minimize what needs to be adduced to prove that a system of blocks is a valid gluing. This system appears to be novel in the literature. A distinctive feature of the minimal axioms is that they involve only relationships between elements of the skeleton which are within an interval $[x \wedge y, x \vee y]$ where either $x$ and $y$ cover $x \wedge y$ or they are covered by $x \vee y$. That is, they have a decidedly local scope, despite that the resulting sum lattice, being modular, has global structure, such as the diamond isomorphism theorem.
Clonoids of Boolean functions with a linear source clone and a semilattice or 0- or 1-separating target clone
Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1,C_2)$-clonoids of Boolean functions for certain pairs $(C_1,C_2)$ of clones of Boolean functions. Namely, when $C_1$ is a subclone (a proper subclone, resp.) of the clone of all linear (affine) functions and $C_2$ is a subclone of the clone generated by a semilattice operation and constants (a subclone of the clone of all $0$- or $1$-separating functions, resp.), then the lattice of $(C_1,C_2)$-clonoids is uncountable. Combining this fact with several earlier results, we obtain a complete classification of the cardinalities of the lattices of $(C_1,C_2)$-clonoids for all pairs $(C_1,C_2)$ of clones on $\{0,1\}$.
Paper BOAT
We derive a formula for computing the size of lower Bruhat intervals for elements in the dominant cone of an affine Weyl group of type $A$. This enumeration problem is reduced to counting lattice points in certain polyhedra. Our main tool is a decomposition -- or tiling -- of each interval into smaller, combinatorially tractable pieces, which we call paper boats. We also conjecture a generalization of this formula to all affine Weyl groups, restricted to elements in the lowest two-sided Kazhdan-Lusztig cell, which contains almost all of the elements.
Wall-crossing phenomenon for the liquid bin model
We introduce the liquid bin model as a continuous-time deterministic dynamics, arising as the hydrodynamic limit of a discrete-time stochastic interacting particle system called the infinite bin model. For the liquid bin model, we prove the existence and uniqueness of a stationary evolution, to which the dynamics converges exponentially fast. The speed of the front of the system is explicitly computed as a continuous piecewise rational function of the parameters of the model, revealing an underlying wall-crossing phenomenon. We show that the regions on which the speed is rational are of non-empty interior and are naturally indexed by Dyck paths. We provide a complete description of the adjacency structure of these regions, which generalizes the Stanley lattice for Dyck paths. Finally we point out an intriguing connection to the topic of extensions of partial cyclic orders to total cyclic orders.
ninfty: A software package for homotopical combinatorics
We introduce ninfty, a header-only C++ library distributed under an MIT Open Source License designed for the study of enumeration problems arising in homotopical combinatorics. The ninfty repository moreover contains a folder with data files for many common finite groups. This is in addition to Sage code which can be used to generate input data for further finite groups, and Sage code for generating input data for abstract lattices which may not arise at the subgroup lattice of a group.
Matroid polytopes with small rank
For a lattice polytope $P$, the rank of $P$ is defined by $F-(\dim P+1)$, where $F$ is the number of facets of $P$. In this paper, we study matroid polytopes with small rank. More precisely, we characterize matroid independence polytopes and graphic matroid base polytopes with rank at most three. Furthermore, using this characterization, we investigate their relationships with order polytopes, stable set polytopes, and edge polytopes.
Combinatorics of factorization systems on lattices
We initiate the combinatorial study of factorization systems on finite lattices, paying special attention to the role that reflective and coreflective factorization systems play in partitioning the poset of factorization systems on a fixed lattice. We ultimately uncover an intricate web of relations with such diverse combinatorial structures as submonoids, monads, Moore systems, transfer systems (from stable equivariant homotopy theory), and poly-Bernoulli numbers.
The number of irreducibles in the plethysm $s_λ[s_m]$
We give a formula for the number of irreducibles (with multiplicity) in the decomposition of the plethysm $s_λ[s_m]$ of Schur functions in terms of the number of lattice points in certain rational polytopes. In the case where $λ= n$ consists of a single part, we will give a combinatorial interpretation of this number as the cardinality of a set of matrices modulo permutation equivalence. This is also the setting of Foulkes' conjecture, and our results allow us to state a weaker version that only involves comparing the cardinalities of such sets, rather than the multiplicities of irreducible representations.
The realm of nite lattices in combination with a new dimension
The Ordered Set Theory is a branch of Mathematics that studies partially ordered sets (usually posets) and lattices. The meaning of dimension is one of the main parts of this eld. Dimensions of partially ordered sets and lattices have been studied in various researches. In particular, the covering dimension, the Krull dimension and the small inductive dimension have been studied extensively for the class of nite lattices. In this paper, we insert new meaning of dimension for nite lattices called large inductive dimension and denoted by Ind. We study various of its properties based on minimal covers. Also, given two nite lattices, we study the dimension Ind of their linear sum, Cartesian, lexicographic and rectangular product, investigating the behavior of this dimension. In addition, we study relations of this new dimension with the small inductive dimension, covering dimension and Krull dimension, presenting various facts and examples that strengthen the corresponding results.
Amicable Triangle and Rectangles on the Integer Lattice
Two polygons are amicable if the perimeter of one is equal to the area of the other and vice versa. A polygon is a lattice polygon if its vertices are on the integer lattice $\Z^2$. We show that there is one pair of amicable lattice triangles and five pairs of amicable lattice rectangles.
Block diagonally symmetric lozenge tilings
We introduce a new symmetry class of both boxed plane partitions and lozenge tilings of a hexagon, called the $\mathbf{r}$-block diagonal symmetry class, where $\mathbf{r}$ is an $n$-tuple of non-negative integers. We prove that the tiling generating function of this symmetry class under a certain weight assignment is given by a simple product formula. As a consequence, the volume generating function of $\mathbf{r}$-block symmetric plane partitions is obtained. Additionally, we consider $(\mathbf{r},\mathbf{r^{\prime}})$-block diagonally symmetric lozenge tilings by embedding the hexagon into a cylinder and present an identity for the signed enumeration of this symmetry class in specific cases. Two methods are provided to study this symmetry class: (1) the method of non-intersecting lattice paths with a modification, and (2) interpreting weighted lozenge tilings algebraically as (skew) Schur polynomials and applying the dual Pieri rule.
Solving tiling enumeration problems by tensor network contractions
This paper presents an algorithm for computing the contraction of two-dimensional tensor networks on a square lattice; and we combine it with solving congruence equations to compute the exact enumeration (including weighted enumeration) of Wang tilings. Based on this, the paper demonstrates how to transform other tiling enumeration problems (such as those of polyominoes) into Wang tiling enumeration problems, thereby solving them using this algorithm.
Our algorithm extends the sequence length records for dozens of sequences defined by polyomino tiling enumeration on chessboards on the OEIS website, covering numerous of different polyomino sets, including I-polyominoes, tetrominoes, pentominoes, etc. This demonstrates the high efficiency and strong universality of the algorithm for solving exact tiling enumeration problems.
In addition, the theory and techniques used in the algorithm establish a bridge between tensor network contractions and tiling enumeration, where the former provides a theoretical foundation for solving problems in the latter, while the latter offers an intuitive combinatorial interpretation of the former.