lattice
4310 papers tagged with this keyword
Congruences on posets, relatively pseudocomplemented and Boolean posets
The aim of the present paper is to extend the concept of a congruence from lattices to posets. We use an approach different from that used by the first author and V. Snášel. By using our definition we show that congruence classes are convex. If the poset in question satisfies the Ascending Chain Condition as well as the Descending Chain Condition, then these classes turn out to be intervals. If the poset has a top element 1 then the 1-class of every congruence is a so-called strong filter. We study congruences on relatively pseudocomplemented posets which form a formalization of intuitionistic logic. For such posets we define so-called deductive systems and we show how they are connected with congruence kernels. We prove that every strong filter F of a relatively pseudocomplemented poset induces a congruence having F as its kernel. Finally, we consider Boolean posets which form a natural generalization of Boolean algebras. We show that congruences on Boolean posets in general do not share properties known from Boolean algebras, but congruence kernels of Boolean posets still have some interesting properties.
Tiling of Strip Lattices and Asymptotics
This article examines the tilings of a strip with equilateral triangles. The number of ways in which the lattices can be covered with a combination of tiles of the two types of triangles is related to Pell's numbers. Additionally, the question of the number of tiles required for all possible tilings - both the number of tiles in total and by type - is developed for the first time in this article.
Counting of lattices containing up to five 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. In 2003 Pawar and Waphare counted all non-isomorphic lattices on n elements and n edges, which are precisely lattices of nullity one. In 2002 Thakare et al. counted all non-isomorphic lattices on n elements containing two reducible elements. In the same paper, Thakare et al. counted lattices on n elements containing up to n+1 edges, which are precisely lattices of nullity up to two. In 2024 Bhavale and Aware counted all non-isomorphic lattices on n elements, containing up to three reducible elements. Recently, Aware and Bhavale counted all non-isomorphic lattices on n elements, containing four comparable reducible elements, and having nullity three. In this paper, we count up to isomorphism the class of all lattices on n elements containing five comparable reducible elements, and having nullity three.
Geometric realizations of $ν$-associahedra via brick polyhedra
Brick polytopes constitute a remarkable family of polytopes associated to the spherical subword complexes of Knutson and Miller. They were introduced for finite Coxeter groups by Pilaud and Stump, who used them to produce geometric realizations of generalized associahedra arising from the theory of cluster algebras of finite types. In this paper, we present an application of the vast generalization of brick polyhedra for general subword complexes (not necessarily spherical) recently introduced by Jahn and Stump.
More precisely, we show that the $ν$-associahedron, a polytopal complex whose edge graph is the Hasse diagram of the $ν$-Tamari lattice introduced by Préville-Ratelle and Viennot, can be geometrically realized as the complex of bounded faces of the brick polyhedron of a well chosen subword complex. We also present a suitable projection to the appropriate dimension, which leads to an elegant vertex-coordinate description.
Edge isoperimetry of lattices
We present two results related to an edge-isoperimetric question for Cayley graphs on the integer lattice asked by Ben Barber and Joshua Erde [Isoperimetry of Integer Lattices, Discrete Analysis 7 (2018)]. For any (undirected) graph $G$, the edge boundary of a subset of vertices $S$ is the number of edges between $S$ and its complement in $G$. Barber and Erde asked whether for any Cayley graph on $\mathbb{Z}^d$, there is always an ordering of $\mathbb{Z}^d$ such that for each $n$, the first $n$ terms minimize the edge boundary among all subsets of size $n$.
First, we present an example of a Cayley graph $G_d$ on $\mathbb{Z}^d$ (for all $d\geq 2$) for which there is no such ordering. Furthermore, we show that for all $n$ and any optimal $n$-vertex subset $S_n$ of $G_d$, there is no infinite sequence $S_n\subset S_{n+1}\subset S_{n+2}\subset\cdots$ of optimal sets $S_i$, where $|S_i|=i$ for $i\geq n$. This is to be contrasted with the positive result in $\mathbb{Z}^1$ shown by Joseph Briggs and Chris Wells [arXiv:2402.14087].
Our second result is a positive example for the unit-length triangular lattice (which is isomorphic to $\mathbb{Z}^2$) where two vertices are connected by an edge if their distance is $1$ or $\sqrt{3}$. We show that this graph has such an ordering. This is the most complicated example known to us of a two-dimensional Cayley graph for which an ordering exists.
Maximal entropy random walks and central Markov chains
We introduce and develop the concept of Maximal Entropy Random Walks (MERWs) on Weighted Bratteli Diagrams (WBDs), maximizing entropy production along paths as a natural criterion for choosing random walks on networks. Initially defined for irreducible finite graphs, MERWs were recently extended to the infinite setting in [1]. Bratteli Diagrams model various growth processes, such as the Young Lattice, where the Plancherel growth process emerges as a MERW. We show that MERWs are special cases of central Markov chains, which, in general, provide a powerful framework for deriving combinatorial identities. Regarding growing trees, in particular, we retrieve and extend Han's hook-length formula for binary trees and demonstrate that the Binary Search Tree (BST) process is a MERW, recovering its asymptotic behavior. We also introduce preferential attachment to generalize BSTs. For comb models, significant central measures appear, including the Chinese restaurant process, providing an alternative proof of the Poisson-Dirichlet limit distribution. Finally, we propose a Monte Carlo method, based on Knuth's algorithm, to approximate MERWs. We apply it to a pyramidal growth model, drawing connections with the limit shape of Young diagrams under the Plancherel measure.
Ghost Kohnert posets
Recently, Pan and Yu showed that Lascoux polynomials can be defined in terms of certain collections of diagrams consisting of unit cells arranged in the first quadrant. Starting from certain initial diagrams, one forms a finite set of diagrams by applying two types of moves: Kohnert and ghost moves. Both moves cause at most one cell to move to a lower row with ghost moves leaving a new "ghost cell" in its place. Each diagram formed in this way defines a monomial in the associated Lascoux polynomial. Restricting attention to diagrams formed by applying sequences of only Kohnert moves in the definition of Lascoux polynomials, one obtains the family of key polynomials. Recent articles have considered a poset structure on the collections of diagrams formed when one uses only Kohnert moves. In general, these posets are not "well-behaved," not usually having desirable poset properties. Here, as an intermediate step to studying the analogous posets associated with Lascoux polynomials, we consider the posets formed by restricting attention to those diagrams formed by using only ghost moves. Unlike in the case of Kohnert posets, we show that such "ghost Kohnert posets" are always ranked join semi-lattices. In addition, we establish a necessary condition for when ghost Kohnert posets are bounded and, consequently, lattices.
Sets of equiangular lines in dimension $18$ constructed from $A_9 \oplus A_9 \oplus A_1$
Published
• View Publication
• BIB
In 2023, Greaves et~al.\ constructed several sets of 57 equiangular lines in dimension 18. Using the concept of switching root introduced by Cao et~al.\ in 2021, these sets of equiangular lines are embedded in a lattice of rank 19 spanned by norm 3 vectors together with a switching root. We characterize this lattice as an overlattice of the root lattice $A_9\oplus A_9\oplus A_1$, and show that there are at least $246896$ sets of 57 equiangular lines in dimension $18$ arising in this way, up to isometry. Additionally, we prove that all of these sets of equiangular lines are strongly maximal. Here, a set of equiangular lines is said to be strongly maximal if there is no set of equiangular lines properly containing it even if the dimension of the underlying space is increased. Among these sets, there are ones with only six distinct Seidel eigenvalues.
On posets and polytopes attached to arbors
Starting from the data of an arbor, which is a rooted tree with vertices decorated by disjoint sets, we introduce a lattice polytope and a partial order on its lattice points. We give recursive algorithms for various classical invariants of these polytopes and posets, using the tree structure. For linear arbors, we propose a conjecture exchanging the Ehrhart polynomial of the polytope with the Zeta polynomial of the poset for the reverse arbor. The general motivation comes from the action of a transmutation operator acting on M -triangles, which should link the posets considered here with some kinds of generalized noncrossing partitions and generalized associahedra. We give some evidence for this relationship in several cases, including notably some polytopes, namely halohedra and Hochschild polytopes.
On a New Congruence in the Catalan Triangle
For $0\leq k \leq n$, the number $C(n,k)$ represents the number of all lattice paths in the plane from the point $(0,0)$ to the point $(n,k)$, using steps $(1,0)$ and $(0,1)$, that never rise above the main diagonal $y=x$. The Fuss-Catalan number of order three $C^{(3)}_n$ represents the number of all lattice paths in the plane from the point $(0,0)$ to the point $(2n,n)$, using steps $(1,0)$ and $(0,1)$, that do not rise above the line $y=\frac{x}{2}$. We present a new alternating convolution formula for the numbers $C(2n,k)$. By using a new class of binomial sums that we call $M$ sums, we prove that this sum is divisible by $C^{(3)}_n$ and by the central binomial coefficient $\binom{2n}{n}$. We do this by examining the numbers $T(n,j)=\frac{1}{2n+1}\binom{2n+j}{j}\binom{2n+1}{n+j+1}$, for which we present a new combinatorial interpretation, connecting them to the generalized Schröder numbers of order two.
Multispecies inhomogeneous $t$-PushTASEP from antisymmetric fusion
Published in Electron. J. Probab. 30: 1-28 (2025)
• View Publication
• BIB
We investigate the recently introduced inhomogeneous $n$-species $t$-PushTASEP, a long-range stochastic process on a periodic lattice. A Baxter-type formula is established, expressing the Markov matrix as an alternating sum of commuting transfer matrices over all the fundamental representations of $U_t(\widehat{sl}_{n+1})$. This superposition acts as an inclusion-exclusion principle, selectively extracting the sequential particle transitions characteristic of the PushTASEP, while canceling forbidden channels. The homogeneous specialization connects the PushTASEP to ASEP, showing that the two models share eigenstates and a common integrability structure.
Optimal Trickle-Down Theorems for Path Complexes via C-Lorentzian Polynomials with Applications to Sampling and Log-Concave Sequences
Let $X$ be a $d$-partite $d$-dimensional simplicial complex with parts $T_1,\dots,T_d$ and let $μ$ be a distribution on the facets of $X$. Informally, we say $(X,μ)$ is a path complex if for any $i<j<k$ and $F \in T_i,G \in T_j, K\in T_k$, we have $\mathbb{P}_μ[F,K | G]=\mathbb{P}_μ[F|G]\cdot\mathbb{P}_μ[K|G].$ We develop a new machinery with $\mathcal{C}$-Lorentzian polynomials to show that if all links of $X$ of co-dimension 2 have spectral expansion at most $1/2$, then $X$ is a $1/2$-local spectral expander. We then prove that one can derive fast-mixing results and log-concavity statements for top-link spectral expanders.
We use our machinery to prove fast mixing results for sampling maximal flags of flats of distributive lattices (a.k.a. linear extensions of posets) subject to external fields, and to sample maximal flags of flats of "typical" modular lattices. We also use it to re-prove the Heron-Rota-Welsh conjecture and to prove a conjecture of Chan and Pak which gives a generalization of Stanley's log-concavity theorem. Lastly, we use it to prove near optimal trickle-down theorems for "sparse complexes" such as constructions by Lubotzky-Samuels-Vishne, Kaufman-Oppenheim, and O'Donnell-Pratt.
On the lattice formulation of the union-closed sets conjecture
The union-closed sets conjecture, also known as Frankl's conjecture, is a well-studied problem with various formulations. In terms of lattices, the conjecture states that every finite lattice $L$ with more than one element contains a join-irreducible element that is less than or equal to at most half of the elements in $L$. In this work, we obtain several necessary conditions for any counterexample $\tilde{L}$ of minimum size.
Planar lattices and equilateral odd-gons
Published in Yokohama Math. J. 70 (2024) 235-242
• View Publication
• BIB
For a planar integral lattice $L$, let $ν(L)$ denote the square-free part of the integer $D(L)^2$, where $D(L)$ stands for the area of a fundamental parallelogram of $L$. For each odd integer $n$ with $3 \leq n<29$, a planar lattice $L$ contains an equilateral $n$-gon if and only if $L$ is similar to an integral lattice $L'$ such that $ν(L')\equiv 3 \pmod 4$ and the largest prime factor $p$ of $ν(L')$ satisfies $p \leq n$. Moreover, such $L$ contains a convex equilateral $n$-gon, which answers a problem posed by Maehara.
Bubble sort and Howe duality for staircase matrices
In this paper, we present an independent proof of the Cauchy identities for staircase matrices, originally discovered in arXiv:2411.03117, using the combinatorics of the Bruhat poset and the bubble-sort procedure. Additionally, we derive new insights into certain coefficients appearing in one of these identities. The first part of the paper focuses on combinatorial aspects. It is self-contained, of independent interest, and introduces a generalization of parabolic Bruhat graphs for monotone functions on an arborescent poset. The second part examines the intersections of Demazure modules within a given integrable representation. Finally, we propose a generalization of the classical Howe duality for staircase matrices in terms of the corresponding distributive lattice of Demazure submodules. Computing the associated character yields the desired Cauchy identities for staircase matrices.
Frobenius subalgebra lattices in tensor categories
This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity invariance perspective. Based on this, we extend Watatani's finiteness theorem for intermediate subfactors by proving that, under a weak positivity assumption--met by all semisimple tensor categories over the complex field--and a compatibility condition--fulfilled by all pivotal ones--the lattices arising from connected Frobenius algebras are finite. We also derive a non-semisimple version via semisimplification. Our approach relies on the concept of a formal angle, and the extension of key results--such as the planar algebraic exchange relation and Landau's theorems--to linear monoidal categories.
Major applications of our findings include a stronger version of the Ino-Watatani result: we show that the finiteness of intermediate C*-algebras holds in a finite-index unital irreducible inclusion of C*-algebras without requiring the simple assumption. Moreover, for a finite-dimensional semisimple Hopf algebra H, we prove that H* is a Frobenius algebra object in Rep(H) and has a finite number of rigid invariant Frobenius subalgebras. Finally, we explore a range of applications, including abstract spin chains, vertex operator algebras and speculations on quantum arithmetic involving the generalization of Ore's theorem, Euler's totient and sigma functions, and RH.
The polytope of all matroids
It is possible to write the indicator function of any matroid polytope as an integer combination of indicator functions of Schubert matroid polytopes. In this way, every matroid on $n$ elements of rank $r$ can be thought of as a lattice point in the space having a coordinate for each Schubert matroid on $n$ elements of rank $r$.
We study the convex hull of all these lattice points, with particular focus on the vertices, which come from the matroids we call extremal matroids. We show that several famous classes of matroids arise as faces of the polytopes, and in many cases we determine the dimension of this face explicitly. As an application, we show that there exist valuative invariants that attain non-negative values at all representable matroids, but fail to be non-negative in general.
Rogers--Ramanujan Type Identities for Rank Two Partial Nahm Sums
Let $A$ be a $r\times r$ rational nonzero symmetric matrix, $B$ a rational column vector, $C$ a rational scalar. For any integer lattice $L$ and vector $v$ of $\mathbb{Z}^r$, we define Nahm sum on the lattice coset $v+L\in \mathbb{Z}^r/L$: \begin{align*}\label{eq-lattice-sum} f_{A,B,C,v+L}(q):=\sum_{n=(n_1,\dots,n_r)^\mathrm{T} \in v+L} \frac{q^{\frac{1}{2}n^\mathrm{T} An+n^\mathrm{T} B+C}}{(q;q)_{n_1}\cdots (q;q)_{n_r}}. \end{align*} If $L$ is a full rank lattice and a proper subset of $\mathbb{Z}^r$, then we call $f_{A,B,C,v+L}(q)$ a rank $r$ partial Nahm sum. When the rank $r=1$, we find eight modular partial Nahm sums using some known identities. When the rank $r=2$ and $L$ is one of the lattices $\mathbb{Z}(2,0)+\mathbb{Z}(0,1)$, $\mathbb{Z}(1,0)+\mathbb{Z}(0,2)$ or $\mathbb{Z}(2,0)+\mathbb{Z}(0,2)$, we find 14 types of symmetric matrices $A$ such that there exist vectors $B,v$ and scalars $C$ so that the partial Nahm sum $f_{A,B,C,v+L}(q)$ is modular. We establish Rogers--Ramanujan type identities for the corresponding partial Nahm sums which prove their modularity.
Kissing polytopes in dimension 3
It is shown that the smallest possible distance between two disjoint lattice polytopes contained in the cube $[0,k]^3$ is exactly $$ \frac{1}{\sqrt{2(2k^2-4k+5)(2k^2-2k+1)}} $$ for every integer $k$ at least $4$. The proof relies on modeling this as a minimization problem over a subset of the lattice points in the hypercube $[-k,k]^9$. A precise characterization of this subset allows to reduce the problem to computing the roots of a finite number of degree at most $4$ polynomials, which is done using symbolic computation.
Chevalley operations on TNN Grassmannians
Lusztig showed that invertible totally nonnegative (TNN) matrices form a semigroup generated by positive diagonal matrices and Chevalley generators. From its Grassmann analogue, we introduce Chevalley operations on index sets, which we show have a rich variety of applications. We first completely classify all inequalities that are quadratic in Plucker coordinates over the TNN part of the Grassmannian: \[\sum_{I,J}c_{I,J}Δ_IΔ_J\ge 0\quad over\quad \mathrm{Gr}^{\ge 0}(m,m+n)\] where each $c_{I,J}$ is real, and $Δ_I,Δ_J$ are Plucker coordinates with a homogeneity condition. Using an idea of Gekhtman-Shapiro-Vainshtein, we also explain how our Chevalley operations can be motivated from cluster mutations, and lead to working in Grassmannians of smaller dimension, akin to cluster algebras.
We then present several applications of Chevalley operations. First, we obtain certificates for the above inequalities via sums of coefficients $c_{I,J}$ over 321-avoiding permutations and involutions; we believe this refined results of Rhoades-Skandera for TNN-matrix inequalities via their Temperley-Lieb immanant idea.
Second, we provide a novel proof via Chevalley operations of Lam's log-supermodularity of Plucker coordinates. This has several consequences: (a) Each positroid, corresponding to the positroid cells in Postnikov's decomposition of the TNN Grassmannian, is a distributive lattice. (b) It also yields numerical positivity in the main result of Lam-Postnikov-Pylyavskyy. (c) We show the coordinatewise monotonicity of ratios of Schur polynomials, first proved by Khare-Tao and which is the key result they use to obtain quantitative estimates for positivity preservers.
Third, we employ Chevalley operations to show that the majorization order over partitions implicates a partial order for induced character immanants over TNN matrices, proved originally by Skandera-Soskin.