lattice
4310 papers tagged with this keyword
On the Cryptomorphism between Davis' Subset Lattices, Atomic Lattices, and Closure Systems under T1 Separation Axiom
In this paper we count set closure systems (also known as Moore families) for the case when all single element sets are closed. In particular, we give the numbers of such strict (empty set included) and non-strict families for the base set of size $n=6$. We also provide the number of such inequivalent Moore families with respect to all permutations of the base set up to $n=6$. The search in OEIS and existing literature revealed the coincidence of the found numbers with the entry for D.\ M.~Davis' set union lattice (\seqnum{A235604}, up to $n=5$) and $|\mathcal L_n|$, the number of atomic lattices on $n$ atoms, obtained by S.\ Mapes (up to $n=6$), respectively. Thus we study all those cases, establish one-to-one correspondences between them via Galois adjunctions and Formal Concept Analysis, and provide the reader with two of our enumerative algorithms as well as with the results of these algorithms used for additional tests. Other results include the largest size of intersection free families for $n=6$ plus our conjecture for $n=7$, an upper bound for the number of atomic lattices $\mathcal L_n$, and some structural properties of $\mathcal L_n$ based on the theory of extremal lattices.
Dynamics of Pop-Tsack Torsing
Published
• View Publication
• BIB
For a finite irreducible Coxeter group $(W,S)$ with a fixed Coxeter element $c$ and set of reflections $T$, Defant and Williams define a pop-tsack torsing operation $\mathrm{Popt}\colon W \to W$ given by $\mathrm{Popt}(w) = w \cdot π_T(w)^{-1}$ where $π_T(w) = \bigvee_{t \leq_{T}w, \ t \in T}^{NC(w,c)}t$ is the join of all reflections lying below $w$ in the absolute order in the non-crossing partition lattice $NC(w,c)$. This is a "dual" notion of the pop-stack sorting operator $\mathrm{Pops}$ introduced by Defant as a way to generalize the pop-stack sorting operator on $\mathfrak{S}_n$ to general Coxeter groups. Define the forward orbit of an element $w \in W$ to be $O_{\mathrm{Popt}}(w) = \{w, \mathrm{Popt}(w), \mathrm{Popt}^2(w), \ldots \}$. Defant and Williams established the length of the longest possible forward orbits $\max_{w \in W}|O_{\mathrm{Popt}}(w)|$ for Coxeter groups of coincidental types and type $D$ in terms of the corresponding Coxeter number of the group. In their paper, they also proposed multiple conjectures about enumerating elements with near maximal orbit length. We resolve all the conjectures that they have put forth about enumeration, and in the process we give complete classifications of these elements of Coxeter groups of types $A,B$ and $D$ with near maximal orbit lengths.
Exceptional sequences in semidistributive lattices and the poset topology of wide subcategories
Published
• View Publication
• BIB
Let $Λ$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $τ$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $Λ$-modules. When $Λ$ is representation-directed, we prove that there exists a total order on the set of bricks which makes this into an EL-labeling. Motivated by the connection between classical exceptional sequences and noncrossing partitions, we then turn our attention towards the study of (well-separated) completely semidistributive lattices. Such lattices come equipped with a bijection between their completely join-irreducible and completely meet-irreducible elements, known as rowmotion or simply the "$κ$-map". Generalizing known results for finite semidistributive lattices, we show that the $κ$-map determines exactly when a set of completely join-irreducible elements forms a "canonical join representation". A consequence is that the corresponding "canonical join complex" is a flag simplicial complex, as has been shown for finite semidistributive lattices and lattices of torsion classes of finite-dimensional algebras. Finally, in the case of lattices of torsion classes of finite-dimensional algebras, we demonstrate how Jasso's $τ$-tilting reduction can be encoded using the $κ$-map. We use this to define $κ^d$-exceptional sequences for finite semidistributive lattices. These are distinguished sequences of completely join-irreducible elements which we prove specialize to $τ$-exceptional sequences in the algebra setting.
Root polytopes, tropical types, and toric edge ideals
Published
• View Publication
• BIB
We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its `type' data, analogous to the covectors of an oriented matroid. By work of Develin-Sturmfels and Fink-Rincón, these `tropical complexes' are dual to (regular) subdivisions of root polytopes, which in turn are in bijection with mixed subdivisions of certain generalized permutohedra. Extending previous work with Joswig-Sanyal, we show how a natural monomial labeling of these complexes describes polynomial relations (syzygies) among `type ideals' which arise naturally from the combinatorial data of the arrangement. In particular, we show that the cotype ideal is Alexander dual to a corresponding initial ideal of the lattice ideal of the underlying root polytope. This leads to novel ways of studying algebraic properties of various monomial and toric ideals, as well as relating them to combinatorial and geometric properties. In particular, our methods of studying the dimension of the tropical complex leads to new formulas for homological invariants of toric edge ideals of bipartite graphs, which have been extensively studied in the commutative algebra community.
Reflective hyperbolic 2-elementary lattices, K3 surfaces and hyperkahler varieties
We compute Coxeter diagrams of several ``large'' reflective even 2-elementary hyperbolic lattices and their maximal parabolic subdiagrams, and give some applications of these results to the theory of K3 surfaces and hyperkahler varieties.
A counterexample to the periodic tiling conjecture (announcement)
The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z^d}$ which tiles that lattice by translations, in fact tiles periodically. We announce here a disproof of this conjecture for sufficiently large $d$, which also implies a disproof of the corresponding conjecture for Euclidean spaces $\mathbb{R^d}$. In fact, we also obtain a counterexample in a group of the form $\mathbb{Z^2} \times G_0$ for some finite abelian $G_0$. Our methods rely on encoding a certain class of "$p$-adically structured functions" in terms of certain functional equations.
Faces of Cosmological Polytopes
Published in Ann. Inst. H. Poincaré D, Comb. Phys. Interact. 2024
• View Publication
• BIB
A cosmological polytope is a lattice polytope introduced by Arkani-Hamed, Benincasa, and Postnikov in their study of the wavefunction of the universe in a class of cosmological models. More concretely, they construct a cosmological polytope for any Feynman diagram, i.e. an undirected graph. In this paper, we initiate a combinatorial study of these polytopes. We give a complete description of their faces, identify minimal faces that are not simplices and compute the number of faces in specific instances. In particular, we give a recursive description of the $f$-vector of cosmological polytopes of trees.
The combinatorics of $N_\infty$ operads for $C_{qp^n}$ and $D_{p^n}$
Published
• View Publication
• BIB
We provide a general recursive method for constructing transfer systems on finite lattices. Using this we calculate the number of homotopically distinct $N_\infty$ operads for dihedral groups $D_{p^n}$, $p > 2$ prime, and cyclic groups $C_{qp^n}$, $p \neq q$ prime. We then further display some of the beautiful combinatorics obtained by restricting to certain homotopically meaningful $N_\infty$ operads for these groups.
The stochastic sandpile model on complete graphs
Published in The Electronic Journal of Combinatorics, 31(3), P3.26, 29pp. (2024)
• View Publication
• BIB
The stochastic sandpile model (SSM) is a generalisation of the standard Abelian sandpile model (ASM), in which topplings of unstable vertices are made random. When unstable, a vertex sends one grain to each of its neighbours independently with probability $p \in (0,1)$. We study the SSM on complete graphs. Our main result is a description of the recurrent states of the model. We show that these are given by convex sums of recurrent states for the ASM. This allows us to recover a well-known result: that the number of integer lattice points in the $n$-dimensional permutation polytope is equal to the number of labeled spanning forests on $n$ vertices. We also provide a stochastic version of Dhar's burning algorithm to check if a given (stable) state is recurrent or not, which runs in linear time. Finally, we study a family of so-called "partial" SSMs, in which some vertices topple randomly, while others topple deterministically (as in the ASM, sending one grain to all neighbours). We show that this distinction is meaningful, yielding sets of recurrent states that are in general different from those of both the ASM and SSM. We also show that to get all recurrent states of the SSM, we can allow up to two vertices to topple deterministically.
Oriented cobicircular matroids are $GSP$
Published in Discrete Mathematics Volume 347, Issue 1, January 2024
• View Publication
• BIB
Colourings and flows are well-known dual notions in Graph Theory. In turn, the definition of flows in graphs naturally extends to flows in oriented matroids. So, the colour-flow duality gives a generalization of Hadwiger's conjecture about graph colourings, to a conjecture about coflows of oriented matroids. The first non-trivial case of Hadwiger's conjecture for oriented matroids reads as follows. If $\mathcal{O}$ is an $M(K_4)$-minor free oriented matroid, then $\mathcal{O}$ has a now-where $3$-coflow, i.e., it is $3$-colourable in the sense of Hochstättler-Nešetřil. The class of generalized series parallel ($GSP$) oriented matroids is a class of $3$-colourable oriented matroids with no $M(K_4)$-minor. So far, the only technique towards proving that all orientations of a class $\mathcal{C}$ of $M(K_4)$-minor free matroids are $GSP$ (and thus $3$-colourable), has been to show that every matroid in $\mathcal{C}$ has a positive coline. Towards proving Hadwiger's conjecture for the class of gammoids, Goddyn, Hochstättler, and Neudauer conjectured that every gammoid has a positive coline. In this work we disprove this conjecture by exhibiting an infinite class of strict gammoids that do not have positive colines. We conclude by proposing a simpler technique for showing that certain oriented matroids are $GSP$. In particular, we recover that oriented lattice path matroids are $GSP$, and we show that oriented cobicircular matroids are $GSP$.
Signed permutohedra, delta-matroids, and beyond
Published
• View Publication
• BIB
We establish a connection between the algebraic geometry of the type B permutohedral toric variety and the combinatorics of delta-matroids. Using this connection, we compute the volume and lattice point counts of type B generalized permutohedra. Applying tropical Hodge theory to a new framework of "tautological classes of delta-matroids," modeled after certain vector bundles associated to realizable delta-matroids, we establish the log-concavity of a Tutte-like invariant for a broad family of delta-matroids that includes all realizable delta-matroids. Our results include new log-concavity statements for all (ordinary) matroids as special cases.
Pop, Crackle, Snap (and Pow): Some Facets of Shards
Reading cut the hyperplanes in a real central arrangement $\mathcal H$ into pieces called \emph{shards}, which reflect order-theoretic properties of the arrangement. We show that shards have a natural interpretation as certain generators of the fundamental group of the complement of the complexification of $\mathcal H$. Taking only positive expressions in these generators yields a new poset that we call the \emph{pure shard monoid}.
When $\mathcal H$ is simplicial, its poset of regions is a lattice, so it comes equipped with a pop-stack sorting operator $\mathsf{Pop}$. In this case, we use $\mathsf{Pop}$ to define an embedding $\mathsf{Crackle}$ of Reading's shard intersection order into the pure shard monoid. When $\mathcal H$ is the reflection arrangement of a finite Coxeter group, we also define a poset embedding $\mathsf{Snap}$ of the shard intersection order into the positive braid monoid; in this case, our three maps are related by $\mathsf{Snap}=\mathsf{Crackle} \cdot \mathsf{Pop}$.
Whitney Numbers of Partial Dowling Lattices
The Dowling lattice $Q_n(\mathfrak{G})$, $\mathfrak{G}$ a finite group, generalizes the geometric lattice generated by all vectors, over a field, with at most two nonzero components. Abstractly, it is a fundamental object in the classification of finite matroids. Constructively, it is the frame matroid of a certain gain graph known as $\mathfrak{G}{\cdot}K_n^{(V)}$. Its Whitney numbers of the first kind enter into several important formulas. Ravagnani suggested and partially proved that these numbers of $Q_n(\mathfrak{G})$ and higher-weight generalizations are polynomial functions of $|\mathfrak{G}|$. We give a simple proof for $Q_n(\mathfrak{G})$ and its generalization to a wider class of gain graphs and biased graphs, and we determine the degrees and coefficients of the polynomials.
The extensible No-Three-In-Line problem
Published in European J. Combin. 114 (2023), Paper 103796, 11 pages
• View Publication
• BIB
The classical No-Three-In-Line problem seeks the maximum number of points that may be selected from an $n\times n$ grid while avoiding a collinear triple. The maximum is well known to be linear in $n$. Following a question of Erde, we seek to select sets of large density from the infinite grid $Z^{2}$ while avoiding a collinear triple. We show the existence of such a set which contains $Θ(n/\log^{1+\varepsilon}n)$ points in $[1,n]^{2}$ for all $n$, where $\varepsilon>0$ is an arbitrarily small real number. We also give computational evidence suggesting that a set of lattice points may exist that has at least $n/2$ points on every large enough $n\times n$ grid.
Octonion Integers and Tight 5-Designs
The two strictly projective tight 5-designs are the lines spanned by the short vectors of the Leech lattice and a set of points in the octonion projective plane that define a generalized hexagon of order (2,8). A previous paper introduced a common construction that can generate these two tight 5-designs. This paper describes the same construction in terms of octonion arithmetic. An octonion integer construction of the Leech lattice is described using properties of the octonion integers taken modulo 2. The Leech lattice automorphism group is constructed from octonion reflections. The common construction and the Suzuki subgroup chain of Leech lattice automorphisms are described in terms of octonion integers.
Feynman checkers: external electromagnetic field and asymptotic properties
Published
• View Publication
• BIB
We study Feynman chekers - one of the most elementary models of electron motion. It is also known as one-dimensional quantum walk or an Ising model at imaginary temperature. We add the simpliest nontrivial electromagnetic field to the model and find the limits of the resulting model for a small lattice step and a large time, similar to the results by J. Narlikar 1972 and G. Grimmet - S. Jason - P. Scudo from the 2000s. It turns out that the limits in the model with the field are obtained from the known ones without a field by a mass renormalization. We also find an exact solution for the resulting model.
Identities of inverse Chevalley type for graded characters of level-zero Demazure submodules over quantum affine algebras of type C
Published
• View Publication
• BIB
We provide identities of inverse Chevalley type for the graded characters of level-zero Demazure submodules of extremal weight modules over a quantum affine algebra of type $C$. These identities express the product $e^μ \, \mathrm{gch} \, V_{x}^{-}(λ)$ of the (one-dimensional) character $e^μ$, where $μ$ is a (not necessarily dominant) minuscule weight, with the graded character $\mathrm{gch} \, V_{x}^{-}(λ)$ of the level-zero Demazure submodule $V_{x}^{-}(λ)$ over the quantum affine algebra $U_{\mathsf{q}}(\mathfrak{g}_{\mathrm{af}})$ as an explicit finite linear combination of the graded characters of level-zero Demazure submodules. These identities immediately imply the corresponding inverse Chevalley formulas in the torus-equivariant $K$-group of the semi-infinite flag manifold $\mathbf{Q}_{G}$ associated to a connected, simply-connected and simple algebraic group $G$ of type $C$. Also, we derive cancellation-free identities from the identities above of inverse Chevalley type in the case that $μ$ is a standard basis element $\varepsilon_{k}$ in the weight lattice $P$ of $G$.
On the Vertex Position Number of Graphs
Published
• View Publication
• BIB
In this paper we generalise the notion of visibility from a point in an integer lattice to the setting of graph theory. For a vertex $x$ of a connected graph $G$, we say that a set $S \subseteq V(G)$ is an \emph{$x$-position set} if for any $y \in S$ the shortest $x,y$-paths in $G$ contain no point of $S\setminus \{ y\}$. We investigate the largest and smallest orders of maximum $x$-position sets in graphs, determining these numbers for common classes of graphs and giving bounds in terms of the girth, vertex degrees, diameter and radius. Finally we discuss the complexity of finding maximum vertex position sets in graphs.
Linear Intervals in the Tamari and the Dyck Lattices and in the alt-Tamari Posets
We count the number of linear intervals in the Tamari and the Dyck lattices according to their height, using generating series and Lagrange inversion. Surprisingly, these numbers are the same in both lattices. We define a new family of posets on Dyck paths, which we call alt-Tamari posets. Each alt-Tamari poset depends on the choice of an increment function delta in {0,1}^n. We recover the Tamari and the Dyck lattices as extreme cases with delta = 1 and delta = 0, respectively. We prove that all the alt-Tamari posets have the same number of linear intervals of any given height.
Combinatorial decomposition theorem for Hitchin systems via zonotopes
We determine the summands of the decomposition theorem for the Hitchin system for $\mathrm{GL}_n$, in arbitrary degree, over the locus of reduced spectral curves. The key ingredient is an equivariant formula for lattice point counts in graphical zonotopes.