arXiv++ Combinatorics

A quiver representation consists of a collection of vector spaces along with a set of arrows, which are linear maps between these spaces. In this work, we study quiver representations in equioriented type $A$ which are also chain complexes; that is, in which consecutive arrows compose to zero. We show that orbits of these representations under a change of basis action are in bijection with mixed dimer covers of a $2 \times n$ grid graph. The latter object can be endowed with a partial order which is a distributive lattice, and we show that the degeneration order on the orbits of chain complexes is a coarsening of this partial order. In addition, we use recent matrix formulae of Claussen and Ovenhouse to enumerate these orbits. This also computes the Kostant partition function applied to height-restricted, type $A$ roots. When the dimension vector is uniform, we discuss a correspondence with paths of a beam of light bouncing between glass plates and give an explicit generating function.

This paper presents new theoretical results on generalizing the Jaccard distance for lattices and real valuations. We demonstrate that when the valuation is strictly positive, monotone, and modular, the Jaccard distance satisfies the triangle inequality on arbitrary lattices, effectively generalizing earlier results that depended heavily on distributivity. Moving to relatively complemented distributive lattices (which safely drop the requirement for the global bounds found in Boolean algebras), we prove the triangle inequality holds as long as the valuation is positive, monotone, supermodular, and $\log$-submodular. Additionally, we adapt the symmetric-difference Jaccard formulation for submodular valuations to sectionally complemented distributive lattices. Shifting to necessary conditions, we prove that supermodularity is a strict requirement for the standard generalized Jaccard distance to operate as a valid metric. Finally, we map the practical value of relaxing these structural constraints to computational fields like quantum information theory, formal concept analysis, and machine learning, closing with a brief look at open mathematical problems.

We introduce a new class of Riordan matrices corresponding to lattice walks with colored steps. We show that this class corresponds to a class of pseudo-involutions and then find both generating functions and explicit combinatorial formulas for entries of these Riordan matrices. We use these Riordan matrices to find an explicit combinatorial formula for the occurences of an arbitrary pattern in our lattice walks. Finally, we define a distributive lattice on our lattice walks and connect our new RNA matrices to Whitney numbers of lattices.

We show that the submonoids of the tied-symmetric monoid containing the symmetric group form a distributive lattice. Furthermore, we determine a minimal generating set for any such submonoid.

In this paper, we explore the theory of higher dimers on band graphs. First, we provide a combinatorial interpretation for the trace of the $q$-deformed higher continued fraction matrices, by showing that with respect to a $q$-weighting on edges, the trace gives the dimer partition function on the set of good higher dimers, which generalizes the notion of good perfect matchings. We also show that the set of good higher dimer covers form a distributive lattice with respect to face flips on square faces. Finally, we attempt to generalize the symmetry result on circular fence posets to the case of good higher dimers, by showing that the dimer partition on a certain family of band graphs are palindromic, in particular, through an approach fitting in the context of dimer theory.

For a finite poset $\mathcal{P}$, its height $h(\mathcal{P})$ is the number of cover relations in its longest chain. When $\mathcal{P}$ is a lattice $\mathcal{L}$, we label its elements $x$ with $h(x_\downarrow) = h([\hat{0},x])$ and its cover relations $x \lessdot y$ with $h(y_\downarrow) - h(x_\downarrow)$. When a lattice $\mathcal{L}'$ extends $\mathcal{L}$, $h(x_\downarrow)_\mathcal{L} \leq h(x_\downarrow)_{\mathcal{L}'}$. We study lattices $\mathcal{L}$ and $\mathcal{L}'$ such that $h(x_\downarrow)_\mathcal{L} = h(x_\downarrow)_{\mathcal{L}'}$. Cover relations labeled $1$ in $\mathcal{L}$ induce a poset that we call the (long) skeletal poset $\mathrm{SK}(\mathcal{L})$. Its Hasse diagram is the largest spanning subgraph that the Hasse diagrams of $\mathcal{L}$ and $\mathcal{L}'$ have in common. An example of lattices $\mathcal{L}$ and $\mathcal{L}'$ is the alt-Tamari lattices introduced by Chenevière, where every alt-Tamari lattice $\mathrm{alt}\text{-}\mathrm{Tam}_n$ extends the Tamari lattice $\mathrm{Tam}_n$/refines the Dyck lattice $\mathrm{Dyck}_n$ such that $h(x_\downarrow)_{\mathrm{Tam}_n} = h(x_\downarrow)_{\mathrm{alt}\text{-}\mathrm{Tam}_n}$. We study $\mathrm{SK}(\mathrm{Tam}_n)$ with another poset we introduce. We enumerate intervals in these posets. For a well-chosen distributive lattice, we introduce its altitude lattices, which generalize the alt-Tamari lattices $\mathrm{alt}\text{-}\mathrm{Tam}_n$. Altitude lattices within a family have the same number of linear intervals. They are related to each other via extensions, refinements, and embeddings of some skeletal posets. For a poset $\mathcal{P}$ with $\hat{0}$, we define its Kneser graphs $KG(k) := (V(k),E)$, where $V(k) := \{x: h(x_\downarrow) = k, 1 \leq k \leq h(\mathcal{P})\}$ and $E := \{(x,y): x_\downarrow \cap y_\downarrow =\hat{0}\}$. We give some observations about them in a reconstruction setting.

For a given Coxeter group, we study distributive lattices called middle orders refining the weak order and refined by the Bruhat order. In type $A$, we construct such lattices indexed by binary trees using a direct bijection between permutations and lower sets of a certain partition of the root poset into rectangles. When the binary tree is a left-comb tree, we recover the middle order defined by Bouvel, Ferrari, and Tenner (2025). We study combinatorial properties of these lattices, and show they are the only distributive lattices between the weak and Bruhat orders in type $A$. For general Coxeter groups, we study middle orders on parabolic quotients and use these to generalize our construction in type $A$ to other Weyl groups, obtaining so-called ``minuscule middle orders''. We show that they are a subset of sorting orders defined by Armstrong (2009), and we give conjectural descriptions of all middle orders that are not minuscule.

This paper studies a lattice structure for almost perfect matchings on certain planar, bipartite (plabic) graphs embedded in a disk. Postnikov's boundary measurement map, and subsequent related work, yielded that plabic graphs parameterize positroid cells within the totally nonnegative Grassmannian with the map itself given in terms of almost perfect matchings with fixed boundary condition. For finite planar bipartite graphs, Propp introduced a distributive lattice structure on their set of perfect matchings. Subsequently Muller--Speyer, provided this distributive lattice structure on the aforementioned almost perfect matchings with fixed boundary condition. Their work also identified the extremal matchings of this lattice for boundary conditions that coincide with face labels of the plabic graph given by the positroid structure. We extend this by giving an explicit construction of extremal matchings in terms of height functions and show that all possible boundary conditions of an almost perfect matching can be obtained within this construction.

The Bruhat order on permutation matrices extends to alternating sign matrices via corner-sum matrices, where the order is given by entrywise domination. A classical result of Lascoux and Schützenberger states that alternating sign matrices form the Dedekind-MacNeille completion of the Bruhat order on permutations. Brualdi and Dahl introduced alternating sign hypermatrices as a three-dimensional analogue of alternating sign matrices and used them to generalise Latin squares, which may be viewed as three-dimensional analogues of permutation matrices. In this paper, in analogy with the two-dimensional case, we define and study a Bruhat order $\preceq_B$ on Latin squares and alternating sign hypermatrices. We introduce the corresponding corner-sum hypermatrices $\mathcal C_n$ and prove that entrywise domination on $\mathcal C_n$ encodes this order. We show that $\mathcal C_n$ is a distributive lattice, but that, unlike in dimension two, it is not the Dedekind-MacNeille completion of the poset of Latin squares. We further characterise the covering relations for $\mathcal C_n$ and prove rank formulae generalising the classical case of alternating sign matrices. Finally, we define monotone hypertriangles, prove that they are in bijection with $\mathcal C_n$, and show that they also encode the order by entrywise domination.

Given a decorated planar graph $(G,ω)$, where $G$ is a planar graph and $ω\in H^1(|\mathcal{Q}G|,\mathbb{Z})$ with $\mathcal{Q}G$ the directed medial graph of $G$, we call some angular functions $ω$-compatible and study two distinct but related directed graphs: $\mathcal{L}(G,ω)$, which is the directed graph of such functions, and $BMS(G,ω)$, the directed graph of BMS states which are some pairs of $ω$-compatible functions plus additional data. We give sufficient conditions for $\mathcal{L}(G,ω)$ to be a graded distributive lattice, recovering Kauffman's Clock Theorem when $G$ is a knot diagram. We also define a potential on $\mathcal{Q} G$ and associate a representation of the corresponding quiver with potential to every BMS state. Under suitable assumptions, this construction yields an isomorphism between $\mathcal{L}(G,ω)$ and the lattice of subrepresentations of a maximal representation, generalizing a result of Bazier-Matte--Schiffler.

We restate a process presented by Stanley as a technique to prove that there exists exactly one $d$-differential distributive lattice for any positive integer $d$. This process can be trivially extended to apply to distributive finitary lattices that have a variety of differential poset structures. It can be viewed as an algorithm for constructing such lattices. Alternatively, it can be viewed as an algorithm for analyzing and characterizing such lattices. We show that the process can be used to prove properties of all weighted-differential lattices with positive weights. We present this with the hope that this approach can be used as the basis for a complete characterization of distributive lattices with a weighted-differential structure with positive weights.

We investigate the defining ideal of the algebra over a field generated by the join-meet binomials coming from a finite distributive lattice. In the frame of algebras with straightening laws, the problem when the defining ideal is generated by quadrics is studied.

Birkhoff's representation theorem for finite distributive lattices states that any finite distributive lattice is isomorphic to the lattice of order ideals (lower sets) of the partial order of the join-irreducible elements of the lattice. We present a simplified version of Stone's extension of this theorem to general distributive lattices. We then apply this formulation to locally finite distributive lattices to produce a novel representation theorem: The lattice is isomorphic to the order ideals of the poset of prime filters of the lattice whose symmetric difference from a particular ideal is finite.

A finite poset (partially ordered set) $P$ with ${\hat 0}$ is called of distributive type if every interval $[{\hat 0}, a]$, $a \in P$, of $P$ is a distributive lattice. From a viewpoint of ASL's (algebras with straightening laws), the join-meet toric ring on a finite distributive lattice is generalized to an ASL on a finite poset of distributive type. Our target is the questions when a finite poset of distributive lattice is Cohen--Macaulay and when the ASL on it is Gorenstein. We focus on a natural class of finite posets of distributive type and study various aspects of the above questions.

Generalizing a variety of earlier problems on stable contracts in two-sided markets, Alkan and Gale introduced in 2003 a general stability model on a bipartite graph $G=(V,E)$ in which the vertices are interpreted as ``agents'', and the edges as possible ``contract'' between pairs of ``agents''. The edges are endowed with nonnegative capacities $b$ giving upper bounds on ``contract intensities'', and the preferencies of each ``agent'' $v\in V$ depend on a \emph{choice function} (CFs) that acts on the set of ``contracts'' involving $v$, obeying three well motivated axioms of \it{consistence}, \it{substitutability} and \it{cardinal monotonicity}. In their model, the capacities and choice functions can take reals or discrete values and, extending well-known earlier results on particular cases, they proved that systems of \it{stable} contracts always exist and, moreover, their set $\cal S$ constitutes a distributive lattice under a natural comparison relation $\prec$. In this paper, we study Alkan--Gale's model when all capacities and choice functions take integer values. We characterize the set of rotations -- augmenting cycles linking neighboring stable assignments in the lattice $(\cal S,\prec)$, explain how to construct the rotations efficiently, and devise a weighted poset in which the lattice of closed functions is isomorphic to $(\cal S,\prec)$, thus obtaining an explicit representation for the latter. We show that in general the size of the poset is at most $b^{\rm max}|E|$, where $b^{\rm max}$ is the maximal capacity, and the poset can be constructed in pseudo polynomial time. Then we explain that by imposing an additional condition on CFs, the size of the poset becomes polynomial in $|V|$, and the total time reduces to a polynomial in $|V|,\log b^{\rm max}$.

We establish several independent results concerning extremal, left modular, congruence uniform, and semidistributive lattices. An equivalent characterization of left modular lattices is obtained in terms of edge-labellings, together with necessary and sufficient conditions on the doubling steps in the construction of congruence normal lattices that ensure left modularity or extremality. We prove that a congruence uniform lattice is shellable if and only if it is extremal. We answer a question of Barnard by constructing a counterexample showing that an induced subcomplex of a canonical join complex need not itself be such a complex. Finally, we show that the order dimension of a semidistributive extremal lattice equals the chromatic number of the complement of its Galois graph, generalizing a theorem of Dilworth for distributive lattices. As an application, we determine the dimensions of generalizations of the Hochschild lattice, of the parabolic Tamari lattice, and of some lattices of torsion classes.

We introduce and develop the theory of UMEL-shellable posets. These are posets equipped with an edge-lexicographical labeling satisfying certain uniformity and monotonicity properties. This framework encompasses classical families of combinatorial geometries, including uniform matroids, projective and affine geometries, braid matroids of type A and B, and all Dowling geometries. It also comprises all rank-uniform supersolvable lattices, and therefore also all rank-uniform distributive lattices. Our main result establishes real-rootedness phenomena for the Chow polynomials, the augmented Chow polynomials, and the chain polynomials associated with those posets, thus making simultaneous progress towards conjectures by Ferroni--Schröter, Huh--Stevens, and Athanasiadis--Kalampogia-Evangelinou. In the special case of lattices of flats of matroids, the (augmented) Chow polynomials coincide with the Hilbert--Poincaré series of the Chow ring associated to the smooth and generally noncompact toric varieties of the (augmented) Bergman fan of the matroid, whereas the chain polynomial encodes the Hilbert--Poincaré series of the Stanley--Reisner ring of the Bergman complex of the matroid. Therefore, these real-rootedness results are tightly linked to the study of these algebro-geometric structures in matroid theory.

One of possible cryptomorphic definitions of a partially ordered set (= a poset) $P$ on a non-empty finite basic set $N$ is in terms of the set ${\cal L}(P)$ of all its linear extensions, that is, in terms of the set of total orders of $N$ consonant with $P$. Any total order of $N$ can be interpreted as a node of a particular graph, called the permutohedral graph (over $N$), because it is indeed the graph of a certain polytope in $\mathbb{R}^{N}$, known as the permutohedron. It is shown in the paper that a non-empty set of total orders of $N$ equals to ${\cal L}(P)$ for some poset $P$ on $N$ iff it is a geodetically convex set in the permutohedral graph. This result means that a purely graphical concept of geodetical convexity in this graph is a cryptomorphic definition of a finite poset. In particular, the lattice of geodetically convex sets in this graph is graded and its height function is described in graphical terms. A counter-example, however, shows that the height function does not correspond to the usual graphical diameter, relating this matter to a combinatorial concept of the dimension of a poset. Two alternative cryptomorphic views on a poset $P$ on $N$ are also briefly commented. The geometric counterpart is its full-dimensional braid cone in $\mathbb{R}^{N}$, while a combinatorial alternative is a topology on $N$ distinguishing points, often referred as a distributive lattice.

In a recent article, Iyama and Marczinzik showed that a lattice is distributive if and only if the incidence algebra is Auslander regular, giving a new connection between homological algebra and lattice theory. In this article we study when a distributive lattice has a pure minimal injective coresolution, a notion first introduced and studied in a work of Ajitabh, Smith and Zhang. We will see that this problem naturally leads to studying when certain antichain modules are perfect modules. We give a classification of perfect antichain modules under the assumption that their canonical antichain resolution is minimal and use this to give a completion classification in lattice theoretic terms of incidence algebras of distributive lattices with pure minimal injective coresolution. We use our results to answer a question raised by Ajitabh, Smith and Zhang by showing that there exist Auslander-Gorenstein polynomial identity rings without a pure injective coresolution.

Kauffman's clock theorem provides a distributive lattice structure on the set of states of a four-valent graph in the plane. We prove two distinct generalisations of this theorem, for four-valent graphs embedded in more general compact oriented surfaces. The proofs use results of Propp providing distributive lattice structures on matchings on bipartite plane graphs, and orientations of graphs with fixed circulation.