arXiv++ Combinatorics

Let $\mathcal{T}$ be a collection of 3-element subsets $S$ of $\{1, \ldots,n\}$ with the property that if $i<j<k$ and $a<b<c$ are two 3-element subsets in $S$, then there exists an integer sequence $x_1 < x_2 < \cdots < x_n$ such that $x_i, x_j, x_k$ and $x_a, x_b, x_c$ are arithmetic progressions. We determine the number of such collections $\mathcal{T}$ and the number of them of maximum size. These results confirm two conjectures of Noam Elkies.

In this article we introduce the study of the number of pairs of non-comparable elements in a distributive lattice $Ł$. We give several tight lower and upper bounds for the number and give as an application the lattices precisely for which the algebraic variety associated to is a complete intersection.

Toric varieties associated with distributive lattices arise as a fibre of a flat degeneration of a Schubert variety in a minuscule. The singular locus of these varieties has been studied by various authors. In this article we prove that the number of diamonds incident on a lattice point $\a$ in a product of chain lattices is more than or equal to the codimension of the lattice. Using this we also show that the lattice varieties associated with product of chain lattices is smooth.

Modular lattices, introduced by R. Dedekind, are an important subvariety of lattices that includes all distributive lattices. Heitzig and Reinhold developed an algorithm to enumerate, up to isomorphism, all finite lattices up to size 18. Here we adapt and improve this algorithm to construct and count modular lattices up to size 24, semimodular lattices up to size 22, and lattices of size 19. We also show that $2^{n-3}$ is a lower bound for the number of nonisomorphic modular lattices of size $n$.

We characterize the finite distributive lattices which admit a complete valuation, that is bijective over a set of consecutive natural numbers, with the additional conditions of completeness (Definition 2.3). We prove that such lattices are downset lattices of finite posets of dimension at most two, and determine a realizer through a recursive relation between weights on the poset associated to valuation. The relation shows that the weights count chains in the complementary poset. Conversely, we prove that a valuation defined on a poset of dimension at most two, through the weight function which counts chains in the complementary poset, is complete.

Let $L$ be a distributive lattice and $R(L)$ the associated Hibi ring. We compute $\reg R(L)$ when $L$ is a planar lattice and give a lower bound for $\reg R(L)$ when $L$ is non-planar, in terms of the combinatorial data of $L.$ As a consequence, we characterize the distributive lattices $L$ for which the associated Hibi ring has a linear resolution.

The direct application of the definition of sorting in lattices is impractical because it leads to an algorithm with exponential complexity. In this paper we present for distributive lattices a recursive formulation to compute the sort of a sequence. This alternative formulation is inspired by the identity that underlies Pascal's triangle. It provides quadratic complexity and is in fact a generalization of insertion sort for lattices.

Consider a plane branch, that is, an irreducible germ of curve on a smooth complex analytic surface. We define its blow-up complexity as the number of blow-ups of points necessary to achieve its minimal embedded resolution. We show that there are $F_{2n-4}$ topological types of blow-up complexity $n$, where $F_{n}$ is the $n$-th Fibonacci number. We introduce complexity-preserving operations on topological types which increase the multiplicity and we deduce that the maximal multiplicity for a plane branch of blow-up complexity $n$ is $F_n$. It is achieved by exactly two topological types, one of them being distinguished as the only type which maximizes the Milnor number. We show moreover that there exists a natural partial order relation on the set of topological types of plane branches of blow-up complexity $n$, making this set a distributive lattice, that is, any two of its elements admit an infimum and a supremum, each one of these operations beeing distributive relative to the second one. We prove that this lattice admits a unique order-inverting bijection. As this bijection is involutive, it defines a duality for topological types of plane branches. The type which maximizes the Milnor number is also the maximal element of this lattice and its dual is the unique type with minimal Milnor number. There are $F_{n-2}$ self-dual topological types of blow-up complexity $n$. Our proofs are done by encoding the topological types by the associated Enriques diagrams.

The notion of an island defined on a rectangular board is an elementary combinatorial concept that occurred first in [G. Czédli, The number of rectangular islands by means of distributive lattices, European J. Combin. 30 (2009), 208-215]. Results of this paper were starting points for investigations exploring several variations and various aspects of this notion. In this paper we introduce a general framework for islands that subsumes all earlier studied concepts of islands on finite boards, moreover we show that the prime implicants of a Boolean function, the formal concepts of a formal context, convex subgraphs of a simple graph, and some particular subsets of a projective plane also fit into this framework. We axiomatize those cases where islands have the comparable or disjoint property, or they are distant, introducing the notion of a connective island domain and of a proximity domain, respectively. In the general case the maximal systems of islands are characterised by using the concept of an admissible system. We also characterise all possible island systems in the case of island domains and proximity domains.

It will be shown that the toric ring of the chain polytope of a finite partially ordered set is an algebra with straightening laws on a finite distributive lattice. Thus in particular every chain polytope possesses a regular unimodular triangulation arising from a flag complex.

Hibi rings are a kind of graded toric ring on a finite distributive lattice $D = J(P)$, where $P$ is a partially ordered set. In this paper, we compute diagonal F-thresholds and F-pure thresholds of Hibi rings.

Let A be a finite set with at least two elements. The composition of two classes I and J of operations on A, is defined as the set of all compositions of functions in I with functions in J. This binary operation gives a monoid structure to the set E_A of all equational classes of operations on A. The set E_A of equational classes of operations on A also constitutes a complete distributive lattice under intersection and union. Clones of operations, i.e. classes containing all projections and idempotent under class composition, also form a lattice which is strictly contained in E_A. In the Boolean case |A|=2, the lattice E_A contains uncountably many equational classes, but only countably many of them are clones. The aim of this paper is to provide a better understanding of this uncountable lattice of equational classes of Boolean functions, by analyzing its "closed" intervals" [C_1,C_2], for clones C_1 and C_2. For |A|=2, we give a complete classification of all such closed intervals in terms of their size, and provide a simple, necessary and sufficient condition characterizing the uncountable closed intervals of E_A.

In this paper we consider arbitrary intervals in the left weak order on the symmetric group $S_n$. We show that the Lehmer codes of permutations in an interval form a distributive lattice under the product order. Furthermore, the rank-generating function of this distributive lattice matches that of the weak order interval. We construct a poset such that its lattice of order ideals is isomorphic to the lattice of Lehmer codes of permutations in the given interval. We show that there are at least $\left(\lfloor\frac{n}{2}\rfloor\right)!$ permutations in $S_n$ that form a rank-symmetric interval in the weak order.

A distributive lattice structure ${\mathbf M}(G)$ has been established on the set of perfect matchings of a plane bipartite graph $G$. We call a lattice {\em matchable distributive lattice} (simply MDL) if it is isomorphic to such a distributive lattice. It is natural to ask which lattices are MDLs. We show that if a plane bipartite graph $G$ is elementary, then ${\mathbf M}(G)$ is irreducible. Based on this result, a decomposition theorem on MDLs is obtained: a finite distributive lattice $\mathbf{L}$ is an MDL if and only if each factor in any cartesian product decomposition of $\mathbf{L}$ is an MDL. Two types of MDLs are presented: $J(\mathbf{m}\times \mathbf{n})$ and $J(\mathbf{T})$, where $\mathbf{m}\times \mathbf{n}$ denotes the cartesian product between $m$-element chain and $n$-element chain, and $\mathbf{T}$ is a poset implied by any orientation of a tree.

Schnyder woods are decompositions of simple triangulations into three edge-disjoint spanning trees crossing each other in a specific way. In this article, we define a generalization of Schnyder woods to $d$-angulations (plane graphs with faces of degree $d$) for all $d\geq 3$. A \emph{Schnyder decomposition} is a set of $d$ spanning forests crossing each other in a specific way, and such that each internal edge is part of exactly $d-2$ of the spanning forests. We show that a Schnyder decomposition exists if and only if the girth of the $d$-angulation is $d$. As in the case of Schnyder woods ($d=3$), there are alternative formulations in terms of orientations ("fractional" orientations when $d\geq 5$) and in terms of corner-labellings. Moreover, the set of Schnyder decompositions on a fixed $d$-angulation of girth $d$ is a distributive lattice. We also show that the structures dual to Schnyder decompositions (on $d$-regular plane graphs of mincut $d$ rooted at a vertex $v^*$) are decompositions into $d$ spanning trees rooted at $v^*$ such that each edge not incident to $v^*$ is used in opposite directions by two trees. Additionally, for even values of $d$, we show that a subclass of Schnyder decompositions, which are called even, enjoy additional properties that yield a reduced formulation; in the case d=4, these correspond to well-studied structures on simple quadrangulations (2-orientations and partitions into 2 spanning trees). In the case d=4, the dual of even Schnyder decompositions yields (planar) orthogonal and straight-line drawing algorithms. For a 4-regular plane graph $G$ of mincut 4 with $n$ vertices plus a marked vertex $v$, the vertices of $G\backslash v$ are placed on a $(n-1) \times (n-1)$ grid according to a permutation pattern, and in the orthogonal drawing each of the $2n-2$ edges of $G\backslash v$ has exactly one bend. Embedding also the marked vertex $v$ is doable at the cost of two additional rows and columns and 8 additional bends for the 4 edges incident to $v$. We propose a further compaction step for the drawing algorithm and show that the obtained grid-size is strongly concentrated around $25n/32\times 25n/32$ for a uniformly random instance with $n$ vertices.

A distributive lattice $L$ with minimum element $0$ is called decomposable lattice if $a$ and $b$ are not comparable elements in $L$ there exist $\overline{a},\overline{b}\in L$ such that $a=\overline{a}\vee(a\wedge b), b=\overline{b}\vee(a\wedge b)$ and $\overline{a}\wedge \overline{b}=0$. The main purpose of this paper is to investigate prime ideals, minimal prime ideals and special ideals of a decomposable lattice. These are keys to understand the algebraic structure of decomposable lattices.

A notion of degeneration of elements in groups is introduced. It is used to parametrize the orbits in a finite abelian group under its full automorphism group by a finite distributive lattice. A pictorial description of this lattice leads to an intuitive self-contained exposition of some of the basic facts concerning these orbits, including their enumeration. Given a partition $λ$, the lattice parametrizing orbits in a finite abelian p-group of type $λ$ is found to be independent of p. The order of the orbit corresponding to each parameter, which turns out to be a polynomial in p, is calculated. The description of orbits is extended to subquotients by certain characteristic subgroups. Each such characteristic subquotient is shown to have a unique maximal orbit.

We study algebras encoding stable range branching rules for the pairs of complex classical groups of the same type in the context of toric degenerations of spherical varieties. By lifting affine semigroup algebras constructed from combinatorial data of branching multiplicities, we obtain algebras having highest weight vectors in multiplicity spaces as their standard monomial type bases. In particular, we identify a family of distributive lattices and their associated Hibi algebras which can uniformly describe the stable range branching algebras for all the pairs we consider.

In this paper we are interested in functionals defined on completely distributive lattices and which are invariant under mappings preserving {arbitrary} joins and meets. We prove that the class of nondecreasing invariant functionals coincides with the class of Sugeno integrals associated with $\{0,1\}$-valued capacities, the so-called term functionals, thus extending previous results both to the infinitary case as well as to the realm of completely distributive lattices. Furthermore, we show that, in the case of functionals over complete chains, the nondecreasing condition is redundant. Characterizations of the class of Sugeno integrals, as well as its superclass comprising all polynomial functionals, are provided by showing that the axiomatizations (given in terms of homogeneity) of their restriction to finitary functionals still hold over completely distributive lattices. We also present canonical normal form representations of polynomial functionals on completely distributive lattices, which appear as the natural extensions to their finitary counterparts, and as a by-product we obtain an axiomatization of complete distributivity in the case of bounded lattices.

Partially ordered sets labeled with k labels (k-posets) and their homomorphisms are examined. We give a representation of directed graphs by k-posets; this provides a new proof of the universality of the homomorphism order of k-posets. This universal order is a distributive lattice. We investigate some other properties, namely the infinite distributivity, the computation of infinite suprema and infima, and the complexity of certain decision problems involving the homomorphism order of k-posets. Sublattices are also examined.