lattice ↗ reference
4394 papers tagged with this keyword
From dimer models to generalized lattice paths
A recurrence relation of the generating function of the dimer model of Fibonacci type gives a functional relation for formal power series associated to lattice paths such as a Dyck, Motzkin and Schröder path. In this paper, we generalize the correspondence to the case of generalized lattice paths, $k$-Dyck, $k$-Motzkin and $k$-Schröder paths, by modifying the recurrence relation of the dimer model. We introduce five types of generalizations of the dimer model by keeping its combinatorial structures. This allows us to express the generating functions in terms of generalized lattice paths. The weight given to a generalized lattice path involves several statistics such as size, area, peaks and valleys, and heights of horizontal steps. We enumerate the generalized lattice paths by use of the recurrence relations and the Lagrange inversion theorem.
On the lattice of weighted partitions
We introduce and study the lattice of generalized partitions, called weighted partitions. This lattice possesses similar properties of the lattice of partitions. By use of the pictorial representation of a weighted partition, the total number is given by the successive Stirling transforms of the Stirling number of the second kind. We construct an explicit $EL$-labeling on the lattice, which implies this lattice is $EL$-shellable and hence shellable. We compute the Möbius function and the characteristic polynomial by use of a pictorial representation of a maximal decreasing chain. Further, a maximal decreasing chain is shown to be bijective to a labeled rooted complete binary tree.
Lattice operads and operad filtrations
We elaborate on the notion of a filtration of an operad defined in terms of a lattice-valued operad serving as an indexing object. That covers ordinary integer-indexed filtrations of associative algebras and operads as a special case, yet the notion appears to be natural enough to encompass examples of other kind as well. The characteristic property of lattice operads is that of a certain distributivity of partial compositions with respect to meets and joins. We observe that some well-known families of lattices of combinatorial origin, such as Tamari lattices, assemble to operads subject to this particular property. Other examples include an operad of integer paritions supported on Young's lattice, operads of integer compositions of types $A, B$ and $D$, which we relate to operads of regular polytopes. We discuss the partial compatibility of the weak order on the symmetric group with the structure of the permutations operad.
Noncrossing partitions of an annulus
Published
• View Publication
• BIB
The noncrossing partition poset associated to a Coxeter group $W$ and Coxeter element $c$ is the interval $[1,c]_T$ in the absolute order on $W$. We construct a new model of noncrossing partititions for $W$ of classical affine type, using planar diagrams (affine types $\tilde A$ and $\tilde C$ in this paper and affine types $\tilde D$ and $\tilde B$ in the sequel). The model in type $\tilde A$ consists of noncrossing partitions of an annulus. In type $\tilde C$, the model consists of symmetric noncrossing partitions of an annulus or noncrossing partitions of a disk with two orbifold points. Following the lead of McCammond and Sulway, we complete $[1,c]_T$ to a lattice by factoring the translations in $[1,c]_T$, but the combinatorics of the planar diagrams leads us to make different choices about how to factor.
Noncrossing partitions of a marked surface
Published
• View Publication
• BIB
We define noncrossing partitions of a marked surface without punctures (interior marked points). We show that the natural partial order on noncrossing partitions is a graded lattice and describe its rank function topologically. Lower intervals in the lattice are isomorphic to products of noncrossing partition lattices of other surfaces. We similarly define noncrossing partitions of a symmetric marked surface with double points and prove some of the analogous results. The combination of symmetry and double points plays a role that one might have expected to be played by punctures.
Rowmotion Markov Chains
Published in Adv. Appl. Math. 155:102666 (2024)
• View Publication
• BIB
Rowmotion is a certain well-studied bijective operator on the distributive lattice $J(P)$ of order ideals of a finite poset $P$. We introduce the rowmotion Markov chain ${\bf M}_{J(P)}$ by assigning a probability $p_x$ to each $x\in P$ and using these probabilities to insert randomness into the original definition of rowmotion. More generally, we introduce a very broad family of toggle Markov chains inspired by Striker's notion of generalized toggling. We characterize when toggle Markov chains are irreducible, and we show that each toggle Markov chain has a remarkably simple stationary distribution.
We also provide a second generalization of rowmotion Markov chains to the context of semidistrim lattices. Given a semidistrim lattice $L$, we assign a probability $p_j$ to each join-irreducible element $j$ of $L$ and use these probabilities to construct a rowmotion Markov chain ${\bf M}_L$. Under the assumption that each probability $p_j$ is strictly between $0$ and $1$, we prove that ${\bf M}_{L}$ is irreducible. We also compute the stationary distribution of the rowmotion Markov chain of a lattice obtained by adding a minimal element and a maximal element to a disjoint union of two chains.
We bound the mixing time of ${\bf M}_{L}$ for an arbitrary semidistrim lattice $L$. In the special case when $L$ is a Boolean lattice, we use spectral methods to obtain much stronger estimates on the mixing time, showing that rowmotion Markov chains of Boolean lattices exhibit the cutoff phenomenon.
Bijective proof of a conjecture on unit interval posets
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Combinatorics (February 23, 2024) dmtcs:10837
• View Publication
• BIB
In a recent preprint, Matherne, Morales and Selover conjectured that two different representations of unit interval posets are related by the famous zeta map in $q,t$-Catalan combinatorics. This conjecture was proved recently by Gélinas, Segovia and Thomas using induction. In this short note, we provide a bijective proof of the same conjecture with a reformulation of the zeta map using left-aligned colored trees, first proposed in the study of parabolic Tamari lattices.
On torsion freeness for the decomposable Orlik-Solomon algebra
We prove the torsion freeness of the decomposable Orlik--Solomon algebra of a simple matroid on ground set $[n]$. In the class of hypersolvable \& non-supersolvable complex hyperplane arrangements, the torsion freeness, in a certain degree, of this combinatorially defined object, associated to the intersection lattice of the arrangement, impacts on the first non-vanishing higher homotopy group of the complement of the arrangement.
Two kinds of partial Motzkin paths with air pockets
Published
• View Publication
• BIB
Motzkin paths with air pockets (MAP) are defined as a generalization of Dyck paths with air pockets by adding some horizontal steps with certain conditions. In this paper, we introduce two generalizations. The first one consists of lattice paths in $\Bbb{N}^2$ starting at the origin made of steps $U=(1,1)$, $D_k=(1,-k)$, $k\geq 1$ and $H=(1,0)$, where two down steps cannot be consecutive, while the second one are lattice paths in $\Bbb{N}^2$ starting at the origin, made of steps $U$, $D_k$ and $H$, where each step $D_k$ and $H$ is necessarily followed by an up step, except for the last step of the path. We provide enumerative results for these paths according to the length, the type of the last step, and the height of its end-point. A similar study is made for these paths read from right to left. As a byproduct, we obtain new classes of paths counted by the Motzkin numbers. Finally, we express our results using Riordan arrays.
The $s$-weak order and $s$-permutahedra I: combinatorics and lattice structure
Published in SIAM J. Discrete Math., 38(4):2855-2895, 2024
• View Publication
• BIB
This is the first contribution of a sequence of papers introducing the notions of $s$-weak order and $s$-permutahedra, certain discrete objects that are indexed by a sequence of non-negative integers $s$. In this first paper, we concentrate purely on the combinatorics and lattice structure of the $s$-weak order, a partial order on certain decreasing trees which generalizes the classical weak order on permutations. In particular, we show that the $s$-weak order is a semidistributive and congruence uniform lattice, generalizing known results for the classical weak order on permutations.
Restricting the $s$-weak order to certain trees gives rise to the $s$-Tamari lattice, a sublattice which generalizes the classical Tamari lattice. We show that the $s$-Tamari lattice can be obtained as a quotient lattice of the $s$-weak order when $s$ has no zeros, and show that the $s$-Tamari lattices (for arbitrary $s$) are isomorphic to the $ν$-Tamari lattices of Préville-Ratelle and Viennot.
The underlying geometric structure of the $s$-weak order will be studied in a sequel of this paper, where we introduce the notion of $s$-permutahedra.
Counting tropical curves in $\mathbb{P}^1\times\mathbb{P}^1$: computation & polynomiality properties
Published
• View Publication
• BIB
Counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$ with fixed contact order with the toric boundary and satisfying point conditions can be determined with tropical methods by Mikhalkin. If we require that our curves intersect the zero- and infinity-section only in points of contact order $1$, but allow arbitrary contact order for the zero- and infinity-fiber, the corresponding numbers reveal beautiful structural properties such as piecewise polynomiality, similar to the case of double Hurwitz numbers counting covers of $\mathbb{P}^1$ with special ramification profiles over zero and infinity by Ardila and Brugallé. This result was obtained using the floor diagram method to count tropical curves.
Here, we expand the tropical tools to determine counts of curves in $\mathbb{P}^1\times\mathbb{P}^1$. We provide a computational tool (building on Polymake by Gawrilow and Joswig) that determines such numbers of tropical curves for any genus and any contact orders via a straightforward generalization of Mikhalkin's lattice path algorithm. The tool can also be used for other toric surfaces. To enable efficient computations also by hand, we introduce a new counting tool (for the case of rational curves with transverse contacts with the infinity section) which can be seen as a combination of the floor diagram and the lattice path approach: subfloor diagrams. We use both our computational tool and the subfloor diagrams for experiments revealing structural properties of these counts.
We obtain first results on the (piecewise) polynomial structure of counts of rational curves in $\mathbb{P}^1\times\mathbb{P}^1$ with arbitrary contact orders on the zero- and infinity-fiber and restricted choices for the contact orders on the zero- and infinity-section.
On lattice extensions
Published
• View Publication
• BIB
A lattice $Λ$ is said to be an extension of a sublattice $L$ of smaller rank if $L$ is equal to the intersection of $Λ$ with the subspace spanned by $L$. The goal of this paper is to initiate a systematic study of the geometry of lattice extensions. We start by proving the existence of a small-determinant extension of a given lattice, and then look at successive minima and covering radius. To this end, we investigate extensions (within an ambient lattice) preserving the successive minima of the given lattice, as well as extensions preserving the covering radius. We also exhibit some interesting arithmetic properties of deep holes of planar lattices.
The higher Stasheff--Tamari orders in representation theory
Published
• View Publication
• BIB
We show that the relationship discovered by Oppermann and Thomas between triangulations of cyclic polytopes and the higher Auslander algebras of type $A$, denoted $A_{n}^{d}$, is an incredibly rich one. The \emph{higher Stasheff--Tamari orders} are two orders on triangulations of cyclic polytopes, conjectured to be equivalent, defined in the 1990s by Kapranov and Voevodsky, and Edelman and Reiner. We first show that these orders correspond in even dimensions to natural orders on tilting modules defined by Riedtmann and Schofield and studied by Happel and Unger. This result allows us to show that triangulations of odd-dimensional cyclic polytopes are in bijection with equivalence classes of $d$-maximal green sequences of $A_{n}^{d}$, which we introduce as a higher-dimensional generalisation of the original maximal green sequences of Keller. We further interpret the higher Stasheff--Tamari orders in odd dimensions, where they correspond to natural orders on equivalences classes of $d$-maximal green sequences. The conjecture that these two partial orders on equivalence classes of $d$-maximal green sequences are equal amounts to an oriented version of the ``no-gap'' conjecture of Brüstle, Dupont, and Perotin. A corollary of our results is that this conjecture holds for $A_{n}$, and that here the set of equivalence classes of (1-)maximal green sequences is a lattice.
Rearrangement Inequalities on the Lattice Graph
Published
• View Publication
• BIB
The Polya-Szegő inequality in $\mathbb{R}^n$ states that, given a non-negative function $f:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$, its spherically symmetric decreasing rearrangement $f^*:\mathbb{R}^{n} \rightarrow \mathbb{R}_{}$ is `smoother' in the sense of $\| \nabla f^*\|_{L^p} \leq \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We study analogues on the lattice grid graph $\mathbb{Z}^2$. The spiral rearrangement is known to satisfy the Polya-Szegő inequality for $p=1$, the Wang-Wang rearrangement satisfies it for $p=\infty$ and no rearrangement can satisfy it for $p=2$. We develop a robust approach to show that both these rearrangements satisfy the Polya-Szegő inequality up to a constant for all $1 \leq p \leq \infty$. In particular, the Wang-Wang rearrangement satisfies $\| \nabla f^*\|_{L^p} \leq 2^{1/p} \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$. We also show the existence of (many) rearrangements on $\mathbb{Z}^d$ such that $\| \nabla f^*\|_{L^p} \leq c_d \cdot \| \nabla f\|_{L^p}$ for all $1 \leq p \leq \infty$.
Some further applications of a lattice theoretic method in the study of singular LCM matrices
Published
• View Publication
• BIB
In 1876 H. J. S. Smith defined an LCM matrix as follows: let S = {x_1, x_2, ..., x_n} be a set of positive integers. The LCM matrix [S] is the n $\times$ n matrix with lcm(x_i , x_j) as its ij entry. During the last 30 years singularity of LCM matrices has interested many authors. In 1992 Bourque and Ligh ended up conjecturing that if the GCD closedness of the set S (which means that gcd(x_i, x_j) $\in$ S for all i, j $\in$ {1, 2, . . . , n}), suffices to guarantee the invertibility of the matrix [S]. However, a few years later this conjecture was proven false first by Haukkanen et al. and then by Hong. It turned out that the conjecture holds only on GCD closed sets with at most 7 elements but not in general for larger sets. However, the given counterexamples did not give much insight on why does the conjecture fail exactly in the case when n=8. This situation was later improved in a couple of articles, where a new lattice theoretic approach was introduced (the method is based on the fact that because the set S is assumed to be GCD closed, the structure (S, |) actually forms a meet semilattice). For example, it has been shown that in the case when the set S has 8 elements and the matrix [S] is singular, there is only one option for the semilattice structure of (S, |), namely the cube structure.
Since the cases up to n=8 have been thoroughly studied in various articles, the next natural step is to apply the methods to the case n=9. This was done by Altinisik and Altintaa as they consider the different lattice structures of (S, |) with nine elements that can result in a singular LCM matrix [S]. However, their investigation leaves two open questions, and the main purpose of this presentation is to provide solutions to them. We shall also give a new lattice theoretic proof for a result referred to as Sun's conjecture, which was originally proven by Hong via number theoretic approach.
Universal asymptotic properties of positive functional equations with one catalytic variable
Published
• View Publication
• BIB
Functional equations with one catalytic appear in several combinatorial applications, most notably in the enumeration of lattice paths and in the enumeration of planar maps. The main purpose of this paper is to show that under certain positivity assumptions the dominant singularity of the solutions have a universal behavior. We have to distinguish between linear catalytic equations, where a dominating square root singularity appears, and non-linear catalytic equations, where we - usually - have a singularity of type 3/2.
Solving the n-color ice model
Published in Annals of Combinatorics (2025)
• View Publication
• BIB
Given an arbitrary choice of two sets of nonzero Boltzmann weights for $n$-color lattice models, we provide explicit algebraic conditions on these Boltzmann weights which guarantee a solution (i.e., a third set of weights) to the Yang-Baxter equation. Furthermore we provide an explicit one-dimensional parametrization of all solutions in this case. These $n$-color lattice models are so named because their admissible vertices have adjacent edges labeled by one of $n$ colors with additional restrictions. The two-colored case specializes to the six-vertex model, in which case our results recover the familiar quadric condition of Baxter for solvability. The general $n$-color case includes important solutions to the Yang-Baxter equation like the evaluation modules for the quantum affine Lie algebra $U_q(\hat{\mathfrak{sl}}_n)$. Finally, we demonstrate the invariance of this class of solutions under natural transformations, including those associated with Drinfeld twisting.
A closure operator on the subgroup lattice of $\mathrm{GL}(n,q)$ and $\mathrm{PGL}(n,q)$ in relation to the zeros of the Möbius function
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the $n$-dimensional $\mathbb{F}_q$-vector space $V=\mathbb{F}_q^n\,$. In this paper we define a closure operator on the subgroup lattice of the group $G = \mathrm{PGL}(V)$. Let $μ$ denote the Möbius function of this lattice. The aim is to use this closure operator to characterize subgroups $H$ of $G$ for which $μ(H,G)\neq 0$. Moreover, we establish a polynomial bound on the number $c(m)$ of closed subgroups $H$ of index $m$ in $G$ for which the lattice of $H$-invariant subspaces of $V$ is isomorphic to a product of chains. This bound depends only on $m$ and not on the choice of $n$ and $q$. It is achieved by considering a similar closure operator for the subgroup lattice of $\mathrm{GL}(V)$ and the same results proven for this group.
Alternating links, rational balls, and cube tilings
Published
• View Publication
• BIB
When does the double cover of the three-sphere branched along an alternating link bound a rational homology ball? Heegaard Floer homology generates a necessary condition for it to bound: the link's chessboard lattice must be cubiquitous, implying that its normalized determinant is less than or equal to one. We conjecture that the converse holds and prove it when the normalized determinant equals one. The proof involves flows on planar graphs and the Hajós-Minkowski theorem that a lattice tiling of Euclidean space by cubes contains a pair of cubes which touch along an entire facet. We extend our main results to the study of ribbon cobordism and ribbon concordance.
Discrete Convex Analysis: A Tool for Economics and Game Theory
Published in This is a revised version of the paper with the same title published in Journal of Mechanism and Institution Design, 1 (2016), 151-273
• View Publication
• BIB
This paper presents discrete convex analysis as a tool for economics and game theory. Discrete convex analysis is a new framework of discrete mathematics and optimization, developed during the last two decades. Recently, it is being recognized as a powerful tool for analyzing economic or game models with indivisibilities. The main feature of discrete convex analysis is the distinction of two convexity concepts, M-convexity and L-convexity, for functions in integer or binary variables, together with their conjugacy relationship. The crucial fact is that M-concavity, or its variant called M-natural-concavity, is equivalent to the (gross) substitutes property in economics. Fundamental theorems in discrete convex analysis such as the M-L conjugacy theorems, discrete separation theorems and discrete fixed point theorems yield structural results in economics such as the existence of equilibria and the lattice structure of equilibrium price vectors. Algorithms in discrete convex analysis give iterative auction algorithms as well as computational methods for equilibria.