Characterization of posets embeddable in the nonnegative reals

From papers

Let (Q,Q)(Q,{\preccurlyeq}_{Q}) be a partially ordered set. An extension to a total order is a total order {\preccurlyeq} on QQ extending Q{\preccurlyeq}_{Q}. A totally ordered subposet is a subset of QQ equipped with the order induced by Q{\preccurlyeq}_{Q}.

Poset extension conjecture. The following conditions are equivalent:

  1. (Q,Q)(Q,{\preccurlyeq}_{Q}) admits an extension to a totally ordered set (Q,)(Q,{\preccurlyeq}) such that (Q,)(Q,{\preccurlyeq}) is order-isomorphic to a subposet of (R+,)(\mathbb{R}^{+},\leqslant).
  2. Q20|Q|\leqslant 2^{\aleph_{0}} and every totally ordered subposet of (Q,Q)(Q,{\preccurlyeq}_{Q}) can be embedded into (R+,)(\mathbb{R}^{+},\leqslant).

The conjecture asks for an order-theoretic characterization of those posets that have a real-valued linear extension. The cardinality bound is necessary for such an embedding, while the condition on chains captures the order-theoretic obstruction; whether these conditions are sufficient is the open problem posed in the paper.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

O. Dovgoshey, “Combinatorial properties of ultrametrics and generalized ultrametrics”, arXiv:1908.08349 (2019).

Solutions 0

No solutions have been posted yet.