arXiv++ Combinatorics

We investigate maximal Boolean sublattices of the partition lattice Part(U) of a finite universe U. First, any largest size Boolean sublattice of Part(U) can be formed using all partitions whose blocks are subtrees of a tree with vertex set U. It is shown that a maximal Boolean sublattice of Part(U) always contains the least and the largest elements of Part(U). Boolean sublattices B of PartU containing 0 are characterized by a certain condition imposed on the cycles of a linear hypergraph corresponding to the atoms of B on the set U. We show that B can be extended to a Boolean sublattice of Part(U) with a largest size, if and only if the hypergraph induced by its atoms is a hypertree. This is the case when B is formed by all the partitions whose blocks are intervals in a generalized sense. The main result states that all partition lattices of height at least three have maximal Boolean sublattices for all possible dimensions at least three

We consider tolerances $T$ compatible with an equivalence $E$ on $U$, meaning that the relational product $E \circ T$ is included in $T$. We present the essential properties of $E$-compatible tolerances and study rough approximations defined by such $E$ and $T$. We consider rough set pairs $(X_E,X^T)$, where the lower approximation $X_E$ is defined as is customary in rough set theory, but $X^T$ allows more elements to be possibly in $X$ than $X^E$. Motivating examples of $E$-compatible tolerances are given, and the essential lattice-theoretical properties of the ordered set of rough sets $\{ (X_E,X^T) \mid X \subseteq U\}$ are established.

An alternative proof is given of the existence of greatest lower bounds in the imbalance order of binary maximal instantaneous codes of a given size. These codes are viewed as maximal antichains of a given size in the infinite binary tree of 0-1 words. The proof proposed makes use of a single balancing operation instead of expansion and contraction as in the original proof of the existence of glb.

We show that any regular pseudocomplemented Kleene algebra defined on an algebraic lattice is isomorphic to a rough set Kleene algebra determined by a tolerance induced by an irredundant covering.

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.