lattice
4310 papers tagged with this keyword
$k$-Adjoint of Hyperplane Arrangements
In this paper, we introduce the $k$-adjoint of a given hyperplane arrangement $\mathcal{A}$ associated with rank-$k$ elements in the intersection lattice $L(\mathcal{A})$, which generalizes the classical adjoint proposed by Bixby and Coullard. The $k$-adjoint of $\mathcal{A}$ induces a decomposition of the Grassmannian, which we call the $\mathcal{A}$-adjoint decomposition. Inspired by the work of Gelfand, Goresky, MacPherson, and Serganova, we generalize the matroid decomposition and refined Schubert decomposition of the Grassmannian from the perspective of $\mathcal{A}$. Furthermore, we prove that these three decompositions are exactly the same decomposition. A notable application involves providing a combinatorial classification of all the $k$-dimensional restrictions of $\mathcal{A}$. Consequently, we establish the anti-monotonicity property of some combinatorial invariants, such as Whitney numbers of the first kind and the independece numbers.
Characterizing Nice Partition of Graphical Arrangements
The successive works of Terao as well as Stanley revealed that, for graphical arrangements, supersolvability and the existence of nice partitions are equivalent properties, both characterized by chordal graphs. In this paper, we further prove that every nice partition of a graphical arrangement arises precisely from a maximal modular chain in its intersection lattice. Moreover, we establish two converses to classical results of Orlik and Terao on nice partitions.
On structural connections between sandpile monoids and weighted Leavitt path algebras
In this article, we establish the relations between a sandpile graph, its sandpile monoid and the weighted Leavitt path algebra associated with it. Namely, we show that the lattice of all idempotents of the sandpile monoid $\text{SP}(E)$ of a sandpile graph $E$ is both isomorphic to the lattice of all nonempty saturated hereditary subsets of $E$, the lattice of all order-ideals of $\text{SP}(E)$ and the lattice of all ideals of the weighted Leavitt path algebra $L_{K}(E, ω)$ generated by vertices. Also, we describe the sandpile group of a sandpile graph $E$ via archimedean classes of $\text{SP}(E)$, and prove that all maximal subgroups of $\text{SP}(E)$ are exactly the Grothendieck groups of these archimedean classes. Finally, we give the structure of the Leavitt path algebra $L_{K}(E)$ of a sandpile graph $E$ via a finite chain of graded ideals being invariant under every graded automorphism of $L_{K}(E)$, and completely describe the structure of $L_{K}(E)$ such that the lattice of all idempotents of $\text{SP}(E)$ is a chain. Consequently, we completely describe the structure of the weighted Leavitt path algebra of a sandpile graph $E$ such that $\text{SP}(E)$ has exactly two idempotents.
Permutation clones that preserve relations
Permutation clones generalise permutation groups and clone theory. We investigate permutation clones defined by relations, or equivalently, the automorphism groups of powers of relations. We find many structural results on the lattice of all relationally defined permutation clones on a finite set. We find all relationally defined permutation clones on two element set.
We show that all maximal borrow closed permutation clones are either relationally defined or cancellatively defined.
Permutation clones generalise clones to permutations of $A^n$. Emil Jeřábek found the dual structure to be weight mappings $A^k\rightarrow M$ to a commutative monoid, generalising relations. We investigate the case when the dual object is precisely a relation, equivalently, that $M={\mathbb B}$, calling these relationally defined permutation clones.
We determine the number of relationally defined permutation clones on two elements (13).
We note that many infinite classes of clones collapse when looked at as permutation clones.
Critical scaling profile for trees and connected subgraphs on the complete graph
Published
• View Publication
• BIB
We analyse generating functions for trees and for connected subgraphs on the complete graph, and identify a single scaling profile which applies for both generating functions in a critical window. Our motivation comes from the analysis of the finite-size scaling of lattice trees and lattice animals on a high-dimensional discrete torus, for which we conjecture that the identical profile applies in dimensions $d \ge 8$.
Triangular norms on finite lattices
This article intends to characterize triangular norms on a finite lattice. We first give a method for generating a triangular norm on an atomistic lattice by the values of atoms. Then we prove that every triangular norm on a non-Boolean atomistic lattice is not left-continuous and $T_M$ is the uniquely left-continuous triangular norm on an atomistic Boolean lattice. Furthermore, we show that each atomistic Boolean lattice can be represented by a family of triangular norms on an atomistic lattice with the same number of atoms. Finally, we construct a triangular norm on a finite lattice by restricting a triangular norm on an extended atomistic lattice of the finite lattice to the finite lattice.
Schubert polynomials and patterns in permutations
This paper investigates the number of supports of the Schubert polynomial $\mathfrak{S}_w(x)$ indexed by a permutation $w$. This number also equals the number of lattice points in the Newton polytope of $\mathfrak{S}_w(x)$. We establish a lower bound for this number in terms of the occurrences of patterns in $w$. The analysis is carried out in the general framework of dual characters of flagged Weyl modules. Our result considerably improves the bounds for principal specializations of Schubert polynomials or dual flagged Weyl characters previously obtained by Weigandt, Gao, and M{é}sz{á}ros--St. Dizier--Tanjaya. Some problems and conjectures are discussed.
Generalized rank functions and quilts of alternating sign matrices
In this paper, we present new objects, quilts of alternating sign matrices with respect to two given posets. Quilts generalize several commonly used concepts in mathematics. For example, the rank function on submatrices of a matrix gives rise to a quilt with respect to two Boolean lattices. When the two posets are chains, a quilt is equivalent to an alternating sign matrix and its corresponding corner sum matrix. Quilts also generalize the monotone Boolean functions counted by the Dedekind numbers. Quilts form a distributive lattice with many beautiful properties and contain many classical and well-known sublattices, such as the lattice of matroids of a given rank and ground set. While enumerating quilts is hard in general, we prove two major enumerative results, when one of the posets is an antichain and when one of them is a chain. We also give some bounds for the number of quilts when one poset is the Boolean lattice.
Counting of lattices containing up to four comparable reducible elements and having nullity up to three
In 2020 Bhavale and Waphare introduced the concept of a nullity of a poset as nullity of its cover graph. According to Bhavale and Waphare, if a dismantlable lattice of nullity k contains r reducible elements then 2 $\leq$ r $\leq$ 2k. In 2003 Pawar and Waphare counted all non-isomorphic lattices with equal number of elements and edges, which are precisely the lattices of nullity one. Recently, Bhavale and Aware counted all non-isomorphic lattices on n elements having nullity up to two. Bhavale and Aware also counted all non-isomorphic lattices on n elements, containing up to three reducible elements, having nullity k $\geq$ 2. In this paper, we count up to isomorphism the class of all lattices on n elements containing four comparable reducible elements, and having nullity three.
Small kissing polytopes
Published in Vietnam J. Math. 53(4), 901-913 (2025)
• View Publication
• BIB
A lattice $(d,k)$-polytope is the convex hull of a set of points in $\mathbb{R}^d$ whose coordinates are integers ranging between $0$ and $k$. We consider the smallest possible distance $\varepsilon(d,k)$ between two disjoint lattice $(d,k)$-polytopes. We propose an algebraic model for this distance and derive from it an explicit formula for $\varepsilon(2,k)$. Our model also allows for the computation of previously intractable values of $\varepsilon(d,k)$. In particular, we compute $\varepsilon(3,k)$ when $4\leq{k}\leq8$, $\varepsilon(4,k)$ when $2\leq{k}\leq3$, and $\varepsilon(6,1)$.
Listing faces of polytopes
This paper investigates the problem of listing faces of combinatorial polytopes, such as hypercubes, permutahedra, associahedra, and their generalizations. Firstly, we consider the face lattice, which is the inclusion order of all faces of a polytope, and we seek a Hamiltonian cycle in its cover graph, i.e., for any two consecutive faces, one must be a subface of the other, and their dimensions differ by 1. We construct such Hamiltonian cycles for hypercubes, permutahedra, $B$-permutahedra, associahedra, cyclic polytopes, 3-dimensional polytopes, graph associahedra of chordal graphs, and quotientopes. Secondly, we consider facet-Hamiltonian cycles, which are cycles on the skeleton of a polytope that enter and leave every facet exactly once. This notion was recently introduced by Akitaya, Cardinal, Felsner, Kleist, and Lauff [SODA 2025], where the authors conjectured that $B$-permutahedra admit a facet-Hamiltonian cycle for all dimensions. We construct such facet-Hamiltonian cycles in this paper, thus establishing their conjecture as a theorem. A key tool we use are so-called rhombic strips, which are planar spanning subgraphs of the cover graph of the face lattice in which every face is a 4-cycle. Specifically, we construct a rhombic strip in the face lattice of the hypercube of any dimension, and characterize the existence of rhombic strips in the face lattice of 3-dimensional polytopes. Our constructions yield time- and space-efficient algorithms for computing the aforementioned cycles and thus for listing the corresponding combinatorial objects, including ordered set partitions and dissections of a convex polygon.
A note on the no-$(d+2)$-on-a-sphere problem
For fixed $d\geq 3$, we construct subsets of the $d$-dimensional lattice cube $[n]^d$ of size $n^{\frac{3}{d + 1} - o(1)}$ with no $d+2$ points on a sphere or a hyperplane. This improves the previously best known bound of $Ω(n^{\frac{1}{d-1}})$ due to Thiele from 1995.
Clonoids of Boolean functions with essentially unary, linear, semilattice, or 0- or 1-separating source and target clones
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 essentially unary, linear, or $0$- or $1$-separating functions or semilattice operations. When such a $(C_1,C_2)$-clonoid lattice is uncountable, the proof is in most cases based on exhibiting a countably infinite family of functions with the property that distinct subsets thereof always generate distinct $(C_1,C_2)$-clonoids. In the cases when the lattice is finite, we enumerate the corresponding $(C_1,C_2)$-clonoids. We also provide a summary of the known results on cardinalities of $(C_1,C_2)$-clonoid lattices of Boolean functions.
The fractional Helly number for separable convexity spaces
A convex lattice set in $\mathbb{Z}^d$ is the intersection of a convex set in $\mathbb{R}^d$ and the integer lattice $\mathbb{Z}^d$. A well-known theorem of Doignon states that the Helly number of $d$-dimensional convex lattice sets equals $2^d$, while a remarkable theorem of Bárány and Matoušek states that the fractional Helly number is only $d+1$. In this paper we generalize their result to abstract convexity spaces that are equipped with a suitable separation property. We also disprove a conjecture of Bárány and Kalai about an existence of fractional Helly property for a family of solutions of bounded-degree polynomial inequalities.
Minimal Submanifolds and Waists of Locally Symmetric Spaces
We study the higher expansion properties of locally symmetric spaces, with a particular focus on octonionic hyperbolic manifolds. We show that codimension two minimal submanifolds of compact octonionic locally symmetric spaces must have large volume, at least linear in the volume of the ambient space. As a corollary we prove linear waist inequalities for octonionic hyperbolic manifolds in codimension two and construct the first locally symmetric examples of power-law systolic freedom. We also show that any codimension two submanifold of small volume can be homotoped to a lower dimensional set. We use this to prove that branched covers of octonionic hyperbolic manifolds are stable in the sense of Dinur-Meshulam and to establish a uniform lower bound on the non-abelian Cheeger constants of octonionic hyperbolic manifolds.
In a more general setting, we prove that maps from locally symmetric spaces to low dimensional euclidean spaces admit fibers whose fundamental group has large exponent of growth. We show as a consequence that cocompact lattices in $SL_n(\mathbb{R})$ have property $ FA_{\lfloor n/8\rfloor-1}$: any action on a contractible $CAT(0)$ simplicial complex of dimension at most $ \lfloor n/8\rfloor -1$ has a global fixed point.
$q$-Whittaker polynomials: bases, branching and direct limits
We study $q$-Whittaker polynomials and their monomial expansions given by the fermionic formula, the inv statistic of Haglund-Haiman-Loehr and the quinv statistic of Ayyer-Mandelshtam-Martin. The combinatorial models underlying these expansions are partition overlaid patterns and column strict fillings. The former model is closely tied to representations of the affine Lie algebra $\widehat{\mathfrak{sl}_n}$ and admits projections, branching maps and direct limits that mirror these structures in the Chari-Loktev basis of local Weyl modules. We formulate novel versions of these notions in the column strict fillings model and establish their main properties. We construct weight-preserving bijections between the models which are compatible with projection, branching and direct limits. We also establish connections to the coloured lattice paths formalism for $q$-Whittaker polynomials due to Wheeler and collaborators.
Classification and Ehrhart Theory of Denominator 2 Polygons
We present an algorithm for growing the denominator $r$ polygons containing a fixed number of lattice points and enumerate such polygons containing few lattice points for small $r$. We describe the Ehrhart quasi-polynomial of a rational polygon in terms of boundary and interior point counts. Using this, we bound the coefficients of Ehrhart quasi-polynomials of denominator 2 polygons. In particular, we completely classify such polynomials in the case of zero interior points.
Generalized snake posets, order polytopes, and lattice-point enumeration
Building from the work of von Bell et al.~(2022), we study the Ehrhart theory of order polytopes arising from a special class of distributive lattices, known as generalized snake posets. We present arithmetic properties satisfied by the Ehrhart polynomials of order polytopes of generalized snake posets along with a computation of their Gorenstein index. Then we give a combinatorial description of the chain polynomial of generalized snake posets as a direction to obtain the $h^*$-polynomial of their associated order polytopes. Additionally, we present explicit formulae for the $h^*$-polynomial of the order polytopes of the two extremal examples of generalized snake posets, namely the ladder and regular snake poset. We then provide a recursive formula for the $h^*$-polynomial of any generalized snake posets and show that the $h^*$-vectors are entry-wise bounded by the $h^*$-vectors of the two extremal cases.
Intervals in a family of Fibonacci lattices
We focus on a family of subsets $(\F^p_n)_{p\geq 2}$ of Dyck paths of semilength $n$ that avoid the patterns $DUU$ and $D^{p+1}$, which are enumerated by the generalized Fibonacci numbers. We endow them with the partial order relation induced by the well-known Stanley lattice, and we prove that all these posets are sublattices of the Stanley lattice. We provide generating functions for the numbers of linear and boolean intervals and we deduce the Möbius function for every $p\geq 2$. We count meet-irreducible elements in $\FF_n^p$ which establishes a surprising link with the edges of the $(n,p)$-Turán graph. We also prove that intervals are in one-to-one correspondence with bicolored Motzkin paths avoiding some patterns, which allows to enumerate intervals for $p=2$. Using a discrete continuity argument ($p\rightarrow \infty$), we present a similar enumerative study in a poset of some Dyck paths of semilength $n$ counted by $2^{n-1}$. Finally, we give bijections that transport the lattice structure on other combinatorial objects, proving that those lattices can be seen as the well-known dominance order on some compositions.
Undecidability of the elementary theory of Young--Fibonacci lattice
For a poset $(P,\leqslant)$ we consider the first-order theory, that is defined by set $P$ and relation $\leqslant$. The problem of undecidability of combinatorial theories attracts significant attention. Recently A. Wires proved the undecidability of the elementary theory of Young lattice and also established the maximal definability property of this theory. The purpose of this article is to obtain the same results for another graded lattice, which has much in common with Young lattice: Young--Fibonacci lattice. As Wires does for Young lattice, for the proof of undecidability we define Arithmetic into this theory.