arXiv++ Combinatorics

Let $(\mathcal{P},\leqslant)$ be a finite poset. Define the numbers $a_1,a_2,\ldots$ (respectively, $c_1,c_2,\ldots$) so that $a_1+\ldots+a_k$ (respectively, $c_1+\ldots+c_k$) is the maximal number of elements of $\mathcal{P}$ which may be covered by $k$ antichains (respectively, $k$ chains.) Then the number $e(\mathcal{P})$ of linear extensions of poset $\mathcal{P}$ is not less than $\prod a_i!$ and not more than $n!/\prod c_i!$. A corollary: if $\mathcal{P}$ is partitioned onto disjoint antichains of size $b_1,b_2, \ldots$, then $e(\mathcal{P})\geqslant \prod b_i!$.

In this paper we prove that the nonzero elements of a finite field with odd characteristic can be partitioned into pairs with prescribed difference (maybe, with some alternatives) in each pair. The algebraic and topological approaches to such problems are considered. We also give some generalizations of these results to packing translates in a finite or infinite field, and give a short proof of a particular case of the Eliahou--Kervaire--Plaigne theorem about sum-sets.

We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and $K_s$-free homogeneous universal graphs (for $s\geq 3$) that are invariant with respect to the group of all permutations of the vertices. Such measures can be regarded as random graphs (respectively, random $K_s$-free graphs). The well-known example of Erdös--Rényi (ER) of the random graph corresponds to the Bernoulli measure on the set of adjacency matrices. For the case of the universal $K_s$-free graphs there were no previously known examples of the invariant measures on the space of such graphs. The main idea of our construction is based on the new notions of {\it measurable universal}, and {\it topologically universal} graphs, which are interesting themselves. The realization of the construction can be regarded as two-step randomization for universal measurable graph : {\it "randomization in vertices"} and {\it "randomization in edges"}. For $K_s$-free, $s\geq 3$ there is only randomization in vertices of the measurable graphs. The completeness of our lists is proved using the important theorem by D. Aldous about $S_{\infty}$-invariant matrices, which we reformulate in appropriate way.