arXiv++ Combinatorics

Oriented matroids can serve as a tool of modeling of collective decision-making processes in contradictory problems of pattern recognition. We present a generalization of the committee techniques of pattern recognition to oriented matroids. A tope committee for an oriented matroid is a subset of its maximal covectors such that every positive halfspace contains more than half of the maximal covectors from this subset. For a large subfamily of oriented matroids their committee structure is quite rich; for example, any maximal chains in their tope posets provide one with information sufficient to construct a committee.

We consider redundant analogues of the f- and h-vectors of simplicial complexes and present bases of R^{m+1} related to these ``long'' f- and h-vectors describing the face systems from 2^{1,...,m}; we list the corresponding change of basis matrices. The representations of the long f- and h-vectors of a face system with respect to various bases are expressed based on partitions of the system into Boolean intervals.

We review several linear algebraic aspects of the Dehn-Sommerville relations and relate redundant analogues of the f- and h-vectors describing the subsets of a simplex 2^{1,...,m} that satisfy Dehn-Sommerville type relations to integer points contained in some rational polytopes.

An order-theoretic generalization of Seymour relations describing the connection between the set-theoretic blocker, deletion, and contraction maps on clutters, is presented.

Poset-theoretic generalizations of set-theoretic committee constructions are presented. The structure of the corresponding subposets is described. Sequences of irreducible fractions associated to the principal order ideals of finite bounded posets are considered and those related to the Boolean lattices are explored; it is shown that such sequences inherit all the familiar properties of the Farey sequences.

Antichains of a finite bounded poset are assigned antichains playing a role analogous to that played by blockers in the Boolean lattice of all subsets of a finite set. Some properties of lattices of generalized blockers are discussed.