arXiv++ Combinatorics

Starting with the zero-square "zeon algebra", the regular representation gives rise to a Boolean lattice representation of sl(2). We detail the su(2) content of the Boolean lattice, providing the irreducible representations carried by the algebra generated by the subsets of an n-set. The group elements are found, exhibiting the "special functions" in this context. The corresponding Leibniz rule and group law are shown. Krawtchouk polynomials, the Hamming and the Johnson schemes appear naturally. Applications to the Boolean poset and the structure of Hadamard-Sylvester matrices are shown as well.

In this paper we introduce the notion of {\it core} for two specific classes of boolean maps on finite involution posets (which are a generalization of the boolean lattices) and we prove some extension results for such families of boolean maps. Through the properties of the core, we provide a complete characterization of such maps. The main purpose of such abstract results is their application to the study of the compatibility of a particular class of systems of linear inequalities related to a conjecture of Manickam, Miklös and Singhi (\cite{ManSin88}, \cite{ManMik87}), still unsolved and that can be considered dual to the theorem of Erdös-Ko-Rado \cite{erd-ko-rad}.

Let $P$ be a finite poset. Let $L:=J(P)$ denote the lattice of order ideals of $P$. Let $b_i(L)$ denote the number of Boolean intervals of $L$ of rank $i$. We construct a simple graph $G(P)$ from our poset $P$. Denote by $f_i(P)$ the number of the cliques $K_{i+1}$, contained in the graph $G(P)$. Our main results are some linear equations connecting the numbers $f_i(P)$ and $b_i(L)$. We reprove the Dehn--Sommerville equations for simplicial polytopes. In our proof we use free resolutions and the theory of Stanley--Reisner rings.

The purpose of this article is to investigate the combinatorial properties of the cross section lattice of a $J$-irreducible monoid associated with a semisimple algebraic group of one of the types $A_n$, $B_n$, or $C_n$. Our main tool is a theorem of Putcha and Renner which identifies the cross section lattice in the Boolean lattice of subsets of the nodes of a Dynkin diagram. We determine the join irreducibles of the cross section lattice. Exploiting this we find characterizations of the relatively complemented intervals. By a result of Putcha, this determines the Möbius function for $Λ$. We show that an interval of the cross section lattice is Boolean if and only if it is relatively complemented if and only if it is atomic. We characterize distributive cross section lattices, showing that they are products of chains. We determine which cross section lattices are supersolvable, and furthermore, we compute the characteristic polynomials of these supersolvable cross section lattices. At the end of the article we indicate some future research directions.

In this paper we study finite Eulerian posets which are binomial, Sheffer or triangular. These important classes of posets are related to the theory of generating functions and to geometry. The results of this paper are organized as follows: We completely determine the structure of Eulerian binomial posets and, as a conclusion, we are able to classify factorial functions of Eulerian binomial posets; We give an almost complete classification of factorial functions of Eulerian Sheffer posets by dividing the original question into several cases; In most cases above, we completely determine the structure of Eulerian Sheffer posets, a result stronger than just classifying factorial functions of these Eulerian Sheffer posets. We also study Eulerian triangular posets. This paper answers questions asked by R. Ehrenborg and M. Readdy. This research is also motivated by the work of R. Stanley about recognizing the boolean lattice by looking at smaller intervals.

For a family $\mathcal{F}$ of subsets of [n]=\{1, 2, ..., n} ordered by inclusion, and a partially ordered set P, we say that $\mathcal{F}$ is P-free if it does not contain a subposet isomorphic to P. Let $ex(n, P)$ be the largest size of a P-free family of subsets of [n]. Let $Q_2$ be the poset with distinct elements a, b, c, d, a<b, c<d; i.e., the 2-dimensional Boolean lattice. We show that $2N -o(N) \leq ex(n, Q_2)\leq 2.283261N +o(N), $ where $N = \binom{n}{\lfloor n/2 \rfloor}$. We also prove that the largest $Q_2$-free family of subsets of [n] having at most three different sizes has at most 2.20711N members.

The linear extension diameter of a finite poset P is the maximum distance between a pair of linear extensions of P, where the distance between two linear extensions is the number of pairs of elements of P appearing in different orders in the two linear extensions. We prove a formula for the linear extension diameter of the Boolean Lattice and characterize the diametral pairs of linear extensions. For the more general case of a downset lattice D_P of a 2-dimensional poset P, we characterize the diametral pairs of linear extensions of D_P and show how to compute the linear extension diameter of D_P in time polynomial in |P|.

Bipartitional relations were introduced by Foata and Zeilberger in their characterization of relations which give rise to equidistribution of the associated inversion statistic and major index. We consider the natural partial order on bipartitional relations given by inclusion. We show that, with respect to this partial order, the bipartitional relations on a set of size $n$ form a graded lattice of rank $3n-2$. Moreover, we prove that the order complex of this lattice is homotopy equivalent to a sphere of dimension $n-2$. Each proper interval in this lattice has either a contractible order complex, or it is isomorphic to the direct product of Boolean lattices and smaller lattices of bipartitional relations.As a consequence, we obtain that the Möbius function of every interval is 0, 1, or -1. The main tool in the proofs is discrete Morse theory as developed by Forman, and an application of this theory to order complexes of graded posets, designed by Babson and Hersh, in the extended form of Hersh and Welker.

In a paper in 2008, Herzog, Hibi and Ohsugi introduced and studied the semigroup ring associated to the set of minimal vertex covers of an unmixed bipartite graph. In this paper we relate the dimension of this semigroup ring to the rank of the Boolean lattice associated to the graph.

The correspondence between unmixed bipartite graphs and sublattices of the oolean lattice is discussed. By using this correspondence, we show the existence of squarefree quadratic initial ideals of toric ideals arising from minimal vertex covers of unmixed bipartite graphs.

We establish monotone bijections between subsequences of the Farey sequences and the halfsequences of Farey subsequences associated with elements of the Boolean lattices.

We show that the principal order ideal below an element w in the Bruhat order on involutions in a symmetric group is a Boolean lattice if and only if w avoids the patterns 4321, 45312 and 456123. Similar criteria for signed permutations are also stated. Involutions with this property are enumerated with respect to natural statistics. In this context, a bijective correspondence with certain Motzkin paths is demonstrated.

A few years ago Kramer and Laubenbacher introduced a discrete notion of homotopy for simplicial complexes. In this paper, we compute the discrete fundamental group of the order complex of the Boolean lattice. As it turns out, it is equivalent to computing the discrete homotopy group of the 1-skeleton of the permutahedron. To compute this group we introduce combinatorial techniques that we believe will be helpful in computing discrete fundamental groups of other polytopes. More precisely, we use the language of words, over the alphabet of simple transpositions, to obtain conditions that are necessary and sufficient to characterize the equivalence classes of cycles. The proof requires only simple combinatorial arguments. As a corollary, we also obtain a combinatorial proof of the fact that the first Betti number of the complement of the 3-equal arrangement is equal to $2^{n-3}(n^2-5n+8)-1.$ This formula was originally obtained by Björner and Welker in 1995.

We define a homology theory for a certain class of posets equipped with a representation. We show that when restricted to Boolean lattices this homology is isomorphic to the homology of the "cube" complex defined by Khovanov.

The descent algebra $Σ(W)$ is a subalgebra of the group algebra $\Q W$ of a finite Coxeter group $W$, which supports a homomorphism with nilpotent kernel and commutative image in the character ring of $W$. Thus $Σ(W)$ is a basic algebra, and as such it has a presentation as a quiver with relations. Here we construct $Σ(W)$ as a quotient of a subalgebra of the path algebra of the Hasse diagram of the Boolean lattice of all subsets of $S$, the set of simple reflections in $W$. From this construction we obtain some general information about the quiver of $Σ(W)$ and an algorithm for the construction of a quiver presentation for the descent algebra $Σ(W)$ of any given finite Coxeter group $W$.

We establish monotone bijections between the Farey sequences of order m and the halfsequences of Farey subsequences associated with the rank m elements of the Boolean lattice of subsets of a 2m-set. We also present a few related combinatorial identities.

Posets which are retract of products of chains are characterized by means of two properties: \emph{the chain-gap property} and \emph{the selection property} (Rival and Wille, 1981 \cite {R-W}). Examples of posets with the selection property and not the chain-gap property are easy to find. To date, the Boolean lattice $\Power (ω_1)/Fin$ was the sole example of lattice without the selection property \cite {R-W}. We prove that it does not have the chain-gap property. We provide an example of a lattice which has the chain-gap property but not the selection property. This answer questions raised in \cite {R-W}.

A tope committee K* for a simple oriented matroid M is a subset of its maximal covectors such that every positive halfspace of M contains more than half of the covectors from K*. The structures of the family of all committees for M, and of the family of its committees that contain no pairs of opposites, are described. A Farey subsequence associated with the elements of the m-th layer of the Boolean lattice of rank 2m is explored.

Venn diagrams are a graphical way to represent a set system. Each of the n sets is represented by a simple closed curve. The n curves subdivide the plane into 2^n open connected regions, each of which represents the intersection of its containing curves' sets. For example, two overlapping circles can divide the plane into 4 regions representing {}, A, B, and A intersect B. Three overlapping circles can also be used to represent the 2^3 ways in which 3 sets can intersect. One of the primary questions related to Venn diagrams concerns which shapes can be used for the curves. The previous examples used 2 and 3 circles, but a 4-set Venn diagram cannot be represented by 4 circles; instead, ellipses must be used. In this paper, we consider Venn diagrams whose curves are the outlines of polyominoes. In particular, we give examples of Venn diagrams where the curves are rotations and translations of a single polyomino, so-called congruent polyVenn diagrams. We also consider the problem of area-minimization (relative to a scaling factor) and present examples of Venn polyominoes which minimize area according to various constraints. At present, these examples do not generalize and so we develop an algorithm that comes close to minimizing the area. The algorithm is simple and utilizes symmetric chain decompositions of the Boolean lattice. We also provide asymptotic results that relate the area required by the algorithm's diagrams to the theoretical minimum area. We conclude by presenting some open problems related to Venn polyominoes and other shape-constrained Venn diagrams.

The construction of the Bier sphere Bier(K) for a simplicial complex K is due to Bier. Björner, Paffenholz, Sjöstrand and Ziegler generalize this construction to obtain a Bier poset Bier(P,I) from any bounded poset P and any proper ideal I of P. They show shellability of Bier(P,I) for the case where P is the boolean lattice, and obtain thereby 'many shellable spheres' in the sense of Kalai. We put the Bier construction into the general framework of the theory of nested set complexes of Feichtner and Kozlov. We obtain 'more shellable spheres' by proving the general statement that combinatorial blowups, hence stellar subdivisions, preserve shellability.