arXiv++ Combinatorics

The set of all perfect matchings of a plane (weakly) elementary bipartite graph equipped with a partial order is a poset, moreover the poset is a finite distributive lattice and its Hasse diagram is isomorphic to $Z$-transformation directed graph of the graph. A finite distributive lattice is matchable if its Hasse diagram is isomorphic to a $Z$-transformation directed graph of a plane weakly elementary bipartite graph, otherwise non-matchable. We introduce the meet-irreducible cell with respect to a perfect matching of a plane (weakly) elementary bipartite graph and give its equivalent characterizations. Using these, we extend a result on non-matchable distributive lattices, and obtain a class of new non-matchable distributive lattices.

The concept of cutting is first explicitly introduced. By the concept, a convex expansion for finite distributive lattices is considered. Thus, a more general method for drawing the Hasse diagram is given, and the rank generating function of a finite distributive lattice is obtained. In addition, we have several enumerative properties on finite distributive lattices and verify the generalized Euler formula for polyhedrons.

We investigate triangulations of the two-dimensional sphere and torus with the faces properly colored white and black. We focus on matchings between white triangles and incident vertices. On the torus our objects are perfect pairings, whereas on the sphere this is only true after removing one triangle and its vertices. In the latter case, such matchings (first studied by Tutte) extend the notion of state in Kauffman's formal knot theory and we show that his Clock Theorem, in its form due to Gilmer and Litherland, also extends: the set of matchings naturally forms a distributive lattice. Here the role of state transposition is played by a simple local operation about black triangles. By contrast, on the torus, the analogous state transition graph is usually disconnected: some of its components still form distributive lattices with global maxima and minima, while other components contain directed cycles and are without local extrema.

We consider three types of set-systems that have interesting applications in algebraic combinatorics and representation theory: maximal collections of the so-called strongly separated, weakly separated, and chord separated subsets of a set $[n]=\{1,2,\ldots,n\}$. These collections are known to admit nice geometric interpretations; namely, they are bijective, respectively, to rhombus tilings on the zonogon $Z(n,2)$, combined tilings on $Z(n,2)$, and fine zonotopal tilings (or `cubillages') on the 3-dimensional zonotope $Z(n,3)$. We describe interrelations between these three types of set-systems in $2^{[n]}$, by studying interrelations between their geometric models. In particular, we completely characterize the sets of rhombus and combined tilings properly embeddable in a fixed cubillage, explain that they form distributive lattices, give efficient methods of extending a given rhombus or combined tiling to a cubillage, and etc.

In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is concerned with Cameron's problem of classifying the homogeneous structures in a language of finitely many linear orders, which we call finite-dimensional permutation structures. Towards this problem, we present a construction that we conjecture produces all such structures. Some evidence for this conjecture is given, including the classification of the homogeneous 3-dimensional permutation structures. We next consider the topological dynamics, in the style of Kechris, Pestov, and Todorčević, of the automorphism groups of the homogeneous finite-dimensional permutation structures we have constructed, which requires proving a structural Ramsey theorem for all the associated amalgamation classes. Because the $\emptyset$-definable equivalence relations in these homogeneous finite-dimensional permutation structures may form arbitrary finite distributive lattices, the model-theoretic algebraic closure operation may become quite complex, and so we require the framework recently introduced by Hubička and Nešetril. Finally, we consider the decision problem for whether a finitely-constrained permutation avoidance class is atomic, or equivalently, has the joint embedding property. As a first approximation to this problem, we prove the undecidability of the corresponding decision problem in the category of graphs. Modifying this proof also gives the undecidability, in the category of graphs, of the corresponding decision problem for the joint homomorphism property, which is of interest in infinite-domain constraint satisfaction problems.

Let $G$ be an acylic directed graph. For each vertex $g \in G$, we define an involution on the independent sets of $G$. We call these involutions flips, and use them to define a new partial order on independent sets of $G$. Trim lattices generalize distributive lattices by removing the graded hypothesis: a graded trim lattice is a distributive lattice, and every distributive lattice is trim. Our independence posets are a further generalization of distributive lattices, eliminating also the lattice requirement: an independence poset that is a lattice is always a trim lattice, and every trim lattice is the independence poset for a unique (up to isomorphism) acyclic directed graph $G$. We characterize when an independence poset is a lattice with a graph-theoretic condition on $G$. We generalize the definition of rowmotion from distributive lattices to independence posets, and we show it can be computed in three different ways. We also relate our constructions to torsion classes, semibricks, and 2-simpleminded collections arising in the representation theory of certain acyclic finite-dimensional algebras.

In this article we study supermodular functions on finite distributive lattices. Relaxing the assumption that the domain is a powerset of a finite set, we focus on geometrical properties of the polyhedral cone of such functions. Specifically, we generalize the criterion for extremality and study the face lattice of the supermodular cone. An explicit description of facets by the corresponding tight linear inequalities is provided.

To find the number of assignments of zeros and ones satisfying a specific Knapsack Problem is $\#P$ hard, so only approximations are envisageable. A Markov chain allowing uniform sampling of all possible solutions is given by Luby, Randall and Sinclair. In 2005, Morris and Sinclair, by using a flow argument, have shown that the mixing time of this Markov chain is $\mathcal{O}(n^{9/2+ε})$, for any $ε> 0$. By using a canonical path argument on the distributive lattice structure of the set of solutions, we obtain an improved bound, the mixing time is given as $τ_{_{x}}(ε) \leq n^{3} \ln (16 ε^{-1})$.

The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokić have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property. In this paper we prove that the variety of distributive lattices is not an exception, but an instance of a more general phenomenon. We show that for almost all nontrivial locally finite varieties of lattices no "reasonable" expansion of the finite members of the variety by linear orders gives rise to a Ramsey class. The responsibility for this lies not with the lattices as structures, but with the lack of algebraic morphisms: if we consider lattices as partially ordered sets (and thus switch from algebraic embeddings to embeddings of relational structures) we show that every variety of lattices gives rise to a class of linearly ordered posets having both the Ramsey property and the ordering property. It now comes as no surprise that the same is true for varieties of semilattices.

A permutation group is said to be quasiregular if every its transitive constituent is regular, and a quasiregular coherent configuration can be thought as a combinatorial analog of such a group: the transitive constituents are replaced by the homogeneous components. In this paper, we are interested in the question when the configuration is schurian, i.e., formed by the orbitals of a permutation group, or/and separable, i.e., uniquely determined by the intersection numbers. In these terms, an old result of Hanna Neumann is, in a sense, dual to the statement that the quasiregular coherent configurations with cyclic homogeneous components are schurian. In the present paper, we (a) establish the duality in a precise form and (b) generalize the latter result by proving that a quasiregular coherent configuration is schurian and separable if the groups associated with homogeneous components have distributive lattices of normal subgroups.

Rowmotion is a simple cyclic action on the distributive lattice of order ideals of a poset: it sends the order ideal x to the order ideal generated by the minimal elements not in x. It can also be computed in "slow motion" as a sequence of local moves. We use the setting of trim lattices to generalize both definitions of rowmotion, proving many structural results along the way. We introduce a flag simplicial complex (similar to the canonical join complex of a semidistributive lattice), and relate our results to recent work of Barnard by proving that extremal semidistributive lattices are trim. As a corollary, we prove that if A is a representation finite algebra and mod A has no cycles, then the torsion classes of A ordered by inclusion form a trim lattice.

This paper introduces the order-theoretic concept of lattices along with the concept of consistent quantification where lattice elements are mapped to real numbers in such a way that preserves some aspect of the order-theoretic structure. Symmetries, such as associativity, constrain consistent quantification and lead to a constraint equation known as the sum rule. Distributivity in distributive lattices also constrains consistent quantification and leads to a product rule. The sum and product rules, which are familiar from, but not unique to, probability theory, arise from the fact that logical statements form a distributive (Boolean) lattice, which exhibits the requisite symmetries.

In this paper, we introduce the graph $G(S)$ of a bounded semilattice $S$, which is a generalization of the intersection graph of the substructures of an algebraic structure. We prove some general theorems about these graphs; as an example, we show that if $S$ is a product of three or more chains, then $G(S)$ is Eulerian if and only if either the length of every chain is even or all the chains are of length one. We also show that if $G(S)$ contains a cycle, then $girth(G(S)) = 3$. Finally, we show that if $(S,+,\cdot,0,1)$ is a dually atomic bounded distributive lattice whose set of dual atoms is nonempty, and the graph $G(S)$ of $S$ has no isolated vertex, then $G(S)$ is connected with $diam(G(S))\leq 4$.

Let $G$ be a graph embedded in a surface and let $\mathcal F$ be a set of even faces of $G$ (faces bounded by a cycle of even length). The resonance graph of $G$ with respect to $\mathcal F$, denoted by $R(G;\mathcal F)$, is a graph such that its vertex set is the set of all perfect matchings of $G$ and two vertices $M_1$ and $M_2$ are adjacent to each other if and only if the symmetric difference $M_1\oplus M_2$ is a cycle bounding some face in $\mathcal F$. It has been shown that if $G$ is a matching-covered plane bipartite graph, the resonance graph of $G$ with respect to the set of all inner faces is isomorphic to the covering graph of a distributive lattice. It is evident that the resonance graph of a plane graph $G$ with respect to an even-face set $\mathcal F$ may not be the covering graph of a distributive lattice. In this paper, we show the resonance graph of a graph $G$ on a surface with respect to a given even-face set $\mathcal F$ can always be embedded into a hypercube as an induced subgraph. Furthermore, we show that the Clar covering polynomial of $G$ with respect to $\mathcal F$ is equal to the cube polynomial of the resonance graph $R(G;\mathcal F)$, which generalizes previous results on some subfamilies of plane graphs.

The move-minimizing puzzles presented here are certain types of one-player combinatorial games that are shown to have explicit solutions whenever they can be encoded in a certain way as diamond-colored modular or distributive lattices. Our work here is founded in a new interpretation of some routine and elementary order-theoretic combinatorics.

For any two finite posets $P$ and $Q$, let $\Hom(P,Q)$ be the hom-poset consisting of all order preserving maps from $P$ to $Q$, and $J(Q)$ the collection of all order ideals of $Q$. In this paper, we study some basic properties of the hom-poset $\Hom(P,Q)$ and prove that $\Hom\big(P,J(Q)\big)$ is a distributive lattice and characterized by \[ \Hom\big(P,J(Q)\big)\cong J(P^*\times Q), \] where $P^*$ is the dual of $P$. Consequently, we obtain that $\Hom\big(P,J(Q)\big)$ and $\Hom\big(Q,J(P)\big)$ are dual isomorphic, i.e., \[ \Hom\big(P,J(Q)\big)\cong \Hom^{*}\big(Q,J(P)\big). \] As applications, we calculate the number of order preserving maps from any poset to the boolean algebra, and the characteristic polynomial of $\Hom\big(P,J(Q)\big)$.

Transversal structures (also known as regular edge labelings) are combinatorial structures defined over 4-connected plane triangulations with quadrangular outer-face. They have been intensively studied and used for many applications (drawing algorithm, random generation, enumeration ...). In this paper we introduce and study a generalization of these objects for the toroidal case. Contrary to what happens in the plane, the set of toroidal transversal structures of a given toroidal triangulation is partitioned into several distributive lattices. We exhibit a subset of toroidal transversal structures, called balanced, and show that it forms a single distributive lattice. Then, using the minimal element of the lattice, we are able to enumerate bijectively essentially 4-connected toroidal triangulations.

Felsner introduced a cycle reversal, namely the `flip' reversal, for α-orientations (i.e., each vertex admits a prescribed out-degree) of a graph G embedded on the plane and further proved that the set of all the α-orientations of G carries a distributive lattice with respect to the flip reversals. In this paper, we give an explicit formula for the minimum number of flips needed to transform one α-orientation into another for graphs embedded on the plane or sphere, respectively.

Schnyder woods are particularly elegant combinatorial structures with numerous applications concerning planar triangulations and more generally 3-connected planar maps. We propose a simple generalization of Schnyder woods from the plane to maps on orientable surfaces of any genus with a special emphasis on the toroidal case. We provide a natural partition of the set of Schnyder woods of a given map into distributive lattices depending on the surface homology. In the toroidal case we show the existence of particular Schnyder woods with some global properties that are useful for optimal encoding or graph drawing purpose.

Ore proved that a finite group is cyclic if and only if its subgroup lattice is distributive. Now, since every subgroup of a cyclic group is normal, we call a subfactor planar algebra cyclic if all its biprojections are normal and form a distributive lattice. The main result generalizes one side of Ore's theorem and shows that a cyclic subfactor is singly generated in the sense that there is a minimal 2-box projection generating the identity biprojection. We conjecture that this result holds without assuming the biprojections to be normal, and we show that it is true for small lattices. We finally exhibit a dual version of another theorem of Ore and a non-trivial upper bound for the minimal number of irreducible components for a faithful complex representation of a finite group.