Skip to main content
3 of 8
added 75 characters in body; added 75 characters in body
Niemi
  • 1.5k
  • 14
  • 23

Order dimension and weak poset partitions

The order dimension of a poset $(P,\leq)$ is the least number of linear extensions of $(P,\leq)$ such that the intersection of these extensions is $(P,\leq)$. The wikipedia entry provides some examples.

I know that there is quite a bit of research about this, but I haven't found anything concerning the following question:

Assume that $(P_1,\leq_1),\ldots,(P_n,\leq_n)$ are all partial orders such that they form a weak partition of $P$, that is, we have $\bigcup_i^n (P_i,\leq_i) := (\bigcup P_i, \bigcup \leq _i)= P$, but the posets are not necessarily disjoint.

Assume that $P$ can be written as the weak partition of $n$ posets where each of these posets has order dimension at most $k$. Does this tell us anything about the order dimension of $(P,\leq)$? Does is, perhaps, yield an upper bound?

This is easy if all $n$ posets are disjoint or if $k =1$ (in which case it is just a covering of $(P,\leq)$ by chains). But it doesn't seem very easy if they intersect and we have $k \geq 2$, so I was wondering if anybody could point me towards some research that was done in this direction.

The case $k=2$ alone seems to be very interesting.

Niemi
  • 1.5k
  • 14
  • 23