lattice
4310 papers tagged with this keyword
On the Global Optimality of Fibonacci Lattices in the Torus
We use linear programming bounds to analyze point sets in the torus with respect to their optimality for problems in discrepancy theory and quasi-Monte Carlo methods. These concepts will be unified by introducing tensor product energies.
We show that the canonical $3$-point lattice in any dimension is globally optimal among all $3$-point sets in the torus with respect to a large class of such energies. This is a new instance of universal optimality, a special phenomenon that is only known for a small class of highly structured point sets.
In the case of $d=2$ dimensions it is conjectured that so-called Fibonacci lattices should also be optimal with respect to a large class of potentials. To this end we show that the $5$-point Fibonacci lattice is globally optimal for a continuously parametrized class of potentials relevant to the analysis fo the quasi-Monte Carlo method.
Homochiral inflation for the aperiodic monotile Tile(1,1)
The recently discovered chiral monotile Tile(1,1) is tiling the plane in a quasiperiodic fashion by taking twelve different orientations when applying $2π/12$ rotation. An homochiral inflation construction of such a quasiperiodic tiling is proposed where the chirality of the monotile is completely fixed at all inflation steps, avoiding to exchange its chirality between two successive steps. Doing so, the twelve possible orientations of the monotile are explicitly coded and the key difference between odd and even orientations is taken into account. The tiling is decomposed using only two different clusters, $Γ$ and $Ω$, each of them taking six possible orientations. This gives a total set of twelve metatiles, which assembly can be mapped onto a triangular lattice. This approach allows to properly separate rotation and translation symmetry elements relating monotiles together. As all possible orientations of the two clusters are already incorporated in the twelve metatiles, positions of adjacent metatiles are given by translations which are along three equivalent directions ($2π/3$ rotation) as evidenced by junction lines. Finally, thanks to the homochiral inflation, the orientation distribution of the monotile at each inflation step is computed.
Orientation-Reversing Crystallographic Rigidity
This paper provides a combinatorial characterisation for generic forced symmetric rigidity of bar-joint frameworks in the Euclidean plane that are symmetric with respect to the orientation-reversing wallpaper group $\mathbb{Z}^2\rtimes\mathcal{C}_s$, also known as $pm$ in crystallography, under a fixed lattice representation. Corresponding results for the wallpaper groups $cm$ and $pg$ follow directly from this. The method used also provides an inductive construction for the corresponding gain graphs, in terms of Henneberg-type graph operations.
Polycyclic Geometric Realizations of the Gray Configuration
The Gray configuration is a (27_3) configuration which typically is realized as the points and lines of the 3 x 3 x 3 integer lattice. It occurs as a member of an infinite family of configurations defined by Bouwer in 1972. Since their discovery, both the Gray configuration and its Levi graph (i.e., its point-line incidence graph) have been the subject of intensive study. Its automorphism group contains cyclic subgroups isomorphic to Z_3 and Z_9, so it is natural to ask whether the Gray configuration can be realized in the plane with any of the corresponding rotational symmetry. In this paper, we show that there are two distinct polycyclic realizations with Z_3 symmetry. In contrast, the only geometric polycyclic realization with straight lines and Z_9 symmetry is only a "weak" realization, with extra unwanted incidences (in particular, the realization is actually a (27_4) configuration).
A Correlation Inequality on Three Functions
Let $X$ and $Y$ be upward closed set systems in the lattice of $\{0,1\}^n$. The celebrated Harris-Kleitman inequality implies that if $|X|=α2^n$, $|Y|=β2^n$, the density of the set of points in exactly one of $X$ and $Y$ is maximal when $X$ and $Y$ are independent, meaning $|X\cap Y|=αβ2^n$. Is the same true of three upward closed systems, $X$, $Y$, and $Z$? Suppose $|X|=|Y|=|Z|$. Kahn asked whether the set of points in exactly one of $X$, $Y$, $Z$ has density at most $\frac49$. We answer this question in the negative.
The geometry of zonotopal algebras I: cohomology of graphical configuration spaces
Zonotopal algebras of vector arrangements are combinatorially-defined algebras with connections to approximation theory, introduced by Holtz and Ron and independently by Ardila and Postnikov. We show that the internal zonotopal algebra of a cographical vector arrangement is isomorphic to the cohomology ring of a certain configuration space introduced by Moseley, Proudfoot, and Young. We also study an integral form of this algebra, which in the cographical case is isomorphic to the integral cohomology ring. Our results rely on interpreting the internal zonotopal algebra of a totally unimodular arrangement as an orbit harmonics ring, that is, as the associated graded of the ring of functions on a finite set of lattice points.
On the structure of modular lattices -- Unique gluing and dissection
This work proves that the process of gluing finite lattices to form a larger lattice is bijective, that is each lattice is the glued sum of a unique system of finite lattices, provided the class of lattices is constrained to modular, locally-finite lattices with finite covers. The results of this work are not surprising given the prior literature, but this seems to be the first proof that the processes of gluing and dissection can be made inverses, and hence that gluing is bijective.
The Affine Tamari Lattice
Given a fixed integer $n\geq 2$, we construct two new finite lattices that we call the cyclic Tamari lattice and the affine Tamari lattice. The cyclic Tamari lattice is a sublattice and a quotient lattice of the cyclic Dyer lattice, which is the infinite lattice of translation-invariant total orders under containment of inversion sets. The affine Tamari lattice is a quotient of the Dyer lattice, which in turn is a quotient of the cyclic Dyer lattice and is isomorphic to the collection of biclosed sets of the root system of type $\widetilde{A}_{n-1}$ under inclusion. We provide numerous combinatorial and algebraic descriptions of these lattices using translation-invariant total orders, translation-invariant binary in-ordered trees, noncrossing arc diagrams, torsion classes, triangulations, and translation-invariant noncrossing partitions. The cardinalities of the cyclic and affine Tamari lattices are the Catalan numbers of types $B_n$ and $D_n$, respectively. We show that these lattices are self-dual and semidistributive, and we describe their decompositions coming from the Fundamental Theorem of Finite Semidistributive Lattices. We also show that the rowmotion operators on these lattices have well-behaved orbit structures, which we describe via the cyclic sieving phenomenon. Our new combinatorial framework allows us to prove that the lengths of maximal green sequences for the completed path algebra of the oriented $n$-cycle are precisely the integers in the interval $[2n-1,\binom{n+1}{2}]$.
Enumeration of lattices of nullity $k$ and containing $r$ comparable reducible elements
In 2002 Thakare et al.\ counted non-isomorphic lattices on $n$ elements, having nullity up to two. In 2020 Bhavale and Waphare introduced the concept of RC-lattices as the class of all lattices in which all the reducible elements are comparable. In this paper, we enumerate all non-isomorphic RC-lattices on $n$ elements. For this purpose, firstly we enumerate all non-isomorphic RC-lattices on $n \geq 4$ elements, having nullity $k \geq 1$, and containing $2 \leq r \leq 2k$ reducible elements. Secondly we enumerate all non-isomorphic RC-lattices on $n \geq 4$ elements, having nullity $k \geq 1$. This work is in respect of Birkhoff's open problem of enumerating all finite lattices on $n$ elements.
Extended weak order for the affine symmetric group
The extended weak order on a Coxeter group $W$ is the poset of biclosed sets in its root system. In (Barkley-Speyer 2024), it was shown that when $W=\widetilde{S}_n$ is the affine symmetric group, then the extended weak order is a quotient of the lattice $L_n$ of translation-invariant total orderings of the integers. In this article, we give a combinatorial introduction to $L_n$ and the extended weak order on $\widetilde{S}_n$. We show that $L_n$ is an algebraic completely semidistributive lattice. We describe its canonical join representations using a cyclic version of Reading's non-crossing arc diagrams. We also show analogous statements for the lattice of all total orders of the integers, which is the extended weak order on the symmetric group $S_\infty$. A key property of both of these lattices is that they are profinite; we also prove that a profinite lattice is join semidistributive if and only if its compact elements have canonical join representations. We conjecture that the extended weak order of any Coxeter group is a profinite semidistributive lattice.
Graph Powers of Groups
The Lights Out Puzzle, played on a graph $Γ$, has been studied using linear algebra over $\mathbb{F}_2$ and more generally over $\mathbb{Z}/k\mathbb{Z}$. We generalize the setting by allowing the states of vertices to be the elements of a group $G$, where a \textit{click} in vertex $v$ multiplies the state of $v$ and its neighbors by an element $g \in G$ on the right.
Starting with the identity element $e \in G$ for all vertices, the totality of all achievable state configurations forms a group $G^Γ$. This group generalizes parallel products of group actions and provides a rich structure for analysis. For many graphs, which we term ``RA'' (reducible to abelian), the problem reduces -- regardless of $G$ -- to a linear algebra question over $\mathbb{Z}$. We discuss a chain of five different subgroups consisting of commutators and introduce techniques for showing that families of graphs are RA using each. In particular, using Heisenberg groups, we establish that a graph is RA precisely when a certain lattice spans $\mathbb{Z}^{|Γ|}$. While most graphs appear to be RA, we show the odd-dimensional cube graphs $Q_{2n+1}$ and folded cube graphs $\square_d$, for $d$ odd or 2, are not.
On the $E$-base of Finite Lattices: Semidistributive, Modular, and Geometric Lattices
Implicational bases are a well-known representation of closure spaces and their closure lattices. This representation is not unique, though, and a closure space usually admits multiple bases. Among these, the canonical base, the canonical direct base as well as the $D$-base aroused significant attention due to their structural and algorithmic properties. Recently, a new base has emerged from the study of free lattices: the $E$-base. It is a refinement of the $D$-base that, unlike the aforementioned implicational bases, does not always accurately represent its associated closure space. This leads to an intriguing question: for which classes of (closure) lattices do closure spaces have valid $E$-base? Lower-bounded lattices are known to form such a class. In this paper, we prove that for semidistributive lattices, the $E$-base is both valid and minimum. We also characterize those modular and geometric lattices that have valid $E$-base. Finally, we prove that any lattice is a sublattice of a lattice with valid $E$-base.
Double boxes and double dimers
We give a combinatorial proof of a result in rank 2 Donaldson-Thomas theory, which states that the generating function for certain plane-partition-like objects, called double-box configurations, is equal to a product of MacMahon's generating function for (boxed) plane partitions. In our proof, we first give the correspondence between double-box configurations and double-dimer configurations on the hexagon lattice with a particular tripartite node pairing. Using this correspondence, we apply graphical condensation and double-dimer condensation to prove the result.
The Polytope of Probability Functions on a Finite Poset
Kim, Kim, and Neggers (2019) defined probability functions on a poset, by listing some very natural conditions that a function \(π: P \times P \to [0,1]\) should satisfy in order to capture the intuition of "the likelihood that \(a\) precedes \(b\) in \(P\)". In particular, this generalizes the common notion of poset probability for finite posets, where \(π(a,b)\) is the proportion of linear extensions of \(P\) in which \(a\) precedes \(b\).
They constructed a family of such functions for posets embedded in the ordered plane; that is two say, for posets of order dimension at most two.
We study probability functions of a finite poset \(P\) by constructing an ancillary poset \(\tilde{P}\), that we call *probability functions posets*. The relations of this new poset encodes the restrictions imposed on probability functions of the original poset by the conditions of the definition. Then, we define the probability functions polytope, which parameterizes the probability functions on \(P\), and show that it can be realized as the order polytope of \(\tilde{P}\) intersected by a certain affine subspace.
We give a partial description of the vertices of probability functions polytope and show that, in contrast to the order polytope, it is not always a lattice polytope.
Partitions of an Eulerian Digraph into Circuits
We investigate a cancellation property satisfied by a connected Eulerian digraph $D$. Namely, unless $D$ is a single directed cycle, we have $\sum_{k\geq 1} (-1)^{k} f_k(D)=0$, where $f_k(D)$ is the number of partitions of Eulerian circuits of $D$ into $k$ circuits. This property is a consequence of the fact that the Martin polynomial of a digraph has no constant term. We provide an alternative proof by employing Viennot's theory of Heaps of Pieces, and in particular, a bijection between closed trails of a digraph and heaps with a unique maximal piece, which are also in bijection with unique sink orientations of the intersection graphs $G_a$ of partitions $a$ of $E(D)$ into cycles. The argument considers the partition lattice of the edge set of a digraph $D$, restricted to the join-semilattice $T(D)$ induced by elements whose blocks are connected and Eulerian. The minimal elements of $T(D)$ are exactly the partitions of $D$ into cycles, and the up-set of a minimal element $a\in T(D)$ is shown to be isomorphic to the bond lattice $L(G_a)$. Using tools developed by Whitney and Rota, we perform Möbius inversion on $T(D)$ and obtain the claimed cancellation.
As a consequence of this alternative proof, we relate the Martin polynomial of a digraph directly to the chromatic polynomials of the intersection graphs of partitions of $D$ into cycles. Finally, we apply the cancellation property in order to deduce the classical Harary-Sachs Theorem for graphs of rank $2$ from a hypergraph generalization thereof, remedying a gap in a previous proof of this.
Explosive appearance of cores and bootstrap percolation on lattices
Consider the process where the $n$ vertices of a square $2$-dimensional torus appear consecutively in a random order. We show that typically the size of the $3$-core of the corresponding induced unit-distance graph transitions from $0$ to $n-o(n)$ within a single step. Equivalently, by infecting the vertices of the torus in a random order, under two-neighbour bootstrap percolation, the size of the infected set transitions instantaneously from $o(n)$ to $n$. This hitting time result answers a question of Benjamini.
We also study the much more challenging and general setting of bootstrap percolation on two-dimensional lattices for a variety of finite-range infection rules. In this case, powerful but fragile bootstrap percolation tools such as the rectangles process and the Aizenman-Lebowitz lemma become unavailable. We develop a new method complementing and replacing these standard techniques, thus allowing us to prove the above hitting time result for a wide family of threshold bootstrap percolation rules on the $2$-dimensional square lattice, including neighbourhoods given by large $\ell^p$ balls for $p\in[1,\infty]$.
The finite basis problem for additively idempotent semirings that relate to S_7
The $3$-element additively idempotent semiring $S_7$ is a nonnitely based algebra of the smallest possible order. In this paper we study the nite basis problem for some additively idempotent semirings that relate to $S_7$. We present a su cient condition under which an additively idempotent semiring variety is nonnitely based and as applications, show that some additively idempotent semiring varieties that contain $S_7$ are also nonnitely based. We then consider the subdirectly irreducible members of the variety $\mathsf{V}(S_7)$ generated by $S_7$. We show that $\mathsf{V}(S_7)$ contains exactly $6$ finitely based subvarieties, all of which sit at the base of the subvariety lattice, then invoke results from the homomorphism theory of Kneser graphs to verify that $\mathsf{V}(S_7)$ contains a continuum of subvarieties.
On the convex hull of integer points above the hyperbola
We show that the polyhedron defined as the convex hull of the lattice points above the hyperbola $\left\{xy = n\right\}$ has between $Ω(n^{1/3})$ and $O(n^{1/3} \log n)$ vertices. The same bounds apply to any hyperbola with rational slopes except that instead of $n$ we have $n/Δ$ in the lower bound and by $\max\left\{Δ, n/Δ\right\}$ in the upper bound, where $Δ\in \mathbb{Z}_{>0}$ is the discriminant.
We also give an algorithm that enumerates the vertices of these convex hulls in logarithmic time per vertex. One motivation for such an algorithm is the deterministic factorization of integers.
Settling the no-$(k+1)$-in-line problem when $k$ is not small
What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform random bipartite graphs and concentration inequalities.
The Moebius function on the lattice of normal subgroups
By studying lattices of normal subgroups, especially those of the socle and radical, an expression is obtained for the minimal number of conjugacy classes required to generate a group. This number is shown to be captured by the character table. The Moebius function is then used to extract information on the faithful irreducible representations of a group.