A multipartite analogue of Dilworth's Theorem
We prove that every partially ordered set on n elements contains k subsets A1,A2,…,Ak such that either each of these subsets has size Ω(n/k5) and, for every i<j, every element in Ai is less than or equal to every element in Aj, or each of these subsets has size Ω(n/(k2logn)) and, for every i=j, every element in Ai is incomparable with every element in Aj for i=j. This answers a question of the first author from 2006. As a corollary, we prove for each positive integer h there is Ch such that for any h partial orders <1,<2,…,<h on a set of n elements, there exists k subsets A1,A2,…,Ak each of size at least n/(klogn)Ch such that for each partial order <ℓ, either a1<ℓa2<ℓ⋯<ℓak for any tuple of elements (a1,a2,…,ak)∈A1×A2×⋯×Ak, or a1>ℓa2>ℓ⋯>ℓak for any (a1,a2,…,ak)∈A1×A2×⋯×Ak, or ai is incomparable with aj for any i=j, ai∈Ai and aj∈Aj. This improves on a 2009 result of Pach and the first author motivated by problems in discrete geometry.