lattice ↗ reference
4394 papers tagged with this keyword
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
Published
• View Publication
• BIB
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
Published
• View Publication
• BIB
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.
The minors of matroids with an adjoint
If $M$ is a matroid, then a simple matroid $M'$ with the same rank as $M$ is an adjoint of $M$ if there is an inclusion-reversing embedding $φ$ of the lattice of flats of $M$ into the lattice of flats of $M'$ such that $φ$ maps the hyperplanes of $M$ bijectively onto the points of $M'$. In this note, we provide a proof that the class of matroids with an adjoint is minor-closed.
Convex Lattice Polygons with $k\ge3$ Interior Points
We study the geometry of convex lattice $n$-gons with $n$ boundary lattice points and $k\geq 3$ collinear interior lattice points. We describe a process to construct a primitive lattice triangle from an edge of a convex lattice $n$-gon, hence adding one edge in a way so that the number of boundary points increases by $1$, while the number of interior points remains unchanged. We also present the necessary conditions to construct such a primitive lattice triangle, as well as an upper bound for the number of times this is possible. Finally, we apply the previous results to fully classify the positive integers for which there exists a convex $n$-gon with $k$ collinear and non-collinear interior points.
Combinatorial Seshadri stratifications on normal toric varieties
We apply the theory of Seshadri stratifications to embedded toric varieties $X_P\subseteq \mathbb P(V)$ associated with a normal lattice polytope $P$. The approach presented here is purely combinatorial and completely independent of \cite{CFL}. In particular, we get a close connection between a certain class of triangulations of the polytope $P$, Seshadri stratifications of $X_P$ arising from torus orbit closures, and the associated degenerate semi-toric varieties. In the last section we show that the approach here and the one in \cite{CFL} produce the same quasi-valuations and hence the same degenerations of $X_P$.
On lattice triangles satisfying $\boldsymbol{B(T)=3}$ with collinear interior lattice points
A lattice point in $\mathbb{R}^2$ is a point $(x,y)$ with $x,y\in\mathbb{Z}$, and a lattice triangle is a triangle whose three vertices are all lattice points. We investigate the integers $k$ with the property that if $T$ is a lattice triangle with $3$ boundary points and $k$ points in the interior, then all $k$ boundary points must be collinear.
The Cloud and Flock Polynomials of q-Matroids
We show that the Whitney function of a q-matroid can be determined from the cloud and flock polynomials associated to the cyclic flats. These polynomials capture information about the corank (resp., nullity) of certain spaces whose cyclic core (resp., closure) is the given cyclic flat. Going one step further, we prove that the Whitney function, and in fact the cloud-flock lattice, are determined by the configuration of the q-matroid, which is the abstract lattice of cyclic flats together with the corank-nullity data. Furthermore, we show that the configuration and cloud-flock lattice behave well under duality and direct sums, whereas the Whitney function does not contain enough information to behave well under taking direct sums. As an aside we show that every configuration of a matroid arises as a configuration of a q-matroid, whereas the converse is not true.
A hidden Condorcet domain in Loday's realisation of the associahedron
We prove that Loday's polytopal realisation of the nth Tamari lattice T_n, called associahedron, has 2^{n-1} common points with the permutohedron, which form a maximal never-middle (symmetric) Condorcet domain.
Universal optimality of $T$-avoiding spherical codes and designs
Published
• View Publication
• BIB
Given an open set (a union of open intervals), $T\subset [-1,1]$ we introduce the concepts of $T$-avoiding spherical codes and designs, that is, spherical codes that have no inner products in the set $T$. We show that certain codes found in the minimal vectors of the Leech lattices, as well as the minimal vectors of the Barnes--Wall lattice and codes derived from strongly regular graphs, are universally optimal in the restricted class of $T$-avoiding codes. We also extend a result of Delsarte--Goethals--Seidel about codes with three inner products $α, β, γ$ (in our terminology $(α,β)$-avoiding $γ$-codes). Parallel to the notion of tight spherical designs, we also derive that these codes are minimal (tight) $T$-avoiding spherical designs of fixed dimension and strength. In some cases, we also find that codes under consideration have maximal cardinality in their $T$-avoiding class for given dimension and minimum distance.
Bilateral Bailey pairs and Rogers-Ramanujan type identities
Published
• View Publication
• BIB
Rogers-Ramanujan type identities occur in various branches of mathematics and physics. As a classic and powerful tool to deal with Rogers-Ramanujan type identities, the theory of Bailey's lemma has been extensively studied and generalized. In this paper, we found a bilateral Bailey pair that naturally arises from the q-binomial theorem. By applying the bilateral versions of Bailey lemmas, Bailey chains and Bailey lattices, we derive a number of Rogers-Ramanujan type identities, which unify many known identities as special cases. Further combined with the bilateral Bailey chains due to Berkovich, McCoy and Schilling and the bilateral Bailey lattices due to Jouhet et al., we also obtain identities on Appell-Lerch series and identities of Andrews-Gordon type. Moreover, by applying Andrews and Warnaar's bilateral Bailey lemmas, we derive identities on Hecke-type series.
More on the corner-vector construction for spherical designs
Published
• View Publication
• BIB
This paper explores a full generalization of the classical corner-vector method for constructing weighted spherical designs, which we call the {\it generalized corner-vector method}. First we establish a uniform upper bound for the degree of designs obtained from the proposed method. Our proof is a hybrid argument that employs techniques in analysis and combinatorics, especially a famous result by Xu(1998) on the interrelation between spherical designs and simplical designs, and the cross-ratio comparison method for Hilbert identities introduced by Nozaki and Sawa(2013). We extensively study conditions for the existence of designs obtained from our method, and present many curious examples of degree $7$ through $13$, some of which are, to our surprise, characterized in terms of integral lattices.
Blocking Ideals: a method for filtering linear extensions of a finite poset
The standard notion of poset probability of a finite poset P involves calculating, for incomparable $α$, $β$ in P, the number of linear extensions of P for which $α$ precedes $β$. The fraction of those linear extensions among all linear extensions of P is the probability that $α< β$. The question of whether there is always a pair $α, β$ such that this probability lies between 1/3 and 2/3, in any poset P (that is not a chain) is the famous "1/3-2/3-conjecture".
A general way of counting linear extensions of P for which $α$ precedes $β$ is to count linear extensions of the poset obtained by adding the relation $(α,β)$, and its transitive consequences.
For chain-products, and more generally for partition posets, lattice-path methods can be used to count the number of those linear extensions.
We present an alternative approach to find the pertinent linear extensions. It relies on finding the "blocking ideals" in $J(P)$, where $J(P)$ is the lattice of order ideals in P. This method works for all finite posets.
We illustrate this method by using blocking ideals to find explicit formulas of poset probabilities in cell posets $P_λ$ of two-row partitions. Well-known formulae such as the hook-length formula for $f^λ$, the number of standard Young tableaux on a partition $λ$, and the corresponding determinental formula by Jacobi-Trudi-Aitken for $f^{λ/ μ}$, the number of standard Young tableaux on a skew partition $λ/ μ$, are used along the way.
We also calculate the limit probabilities when the elements $α,β$ are fixed cells, but the arm-lengths tend to infinity.