The ideal average-height conjecture for posets

From papers

Let PP be a finite poset, let AA be an ideal of PP, and let h(x)h(x) denote the expected position of xx in a uniformly random linear extension. Write max(A)\max(A) for the maximal elements of AA. The ideal average-height conjecture.

maxxAh(x)Amax(A)+1.\max_{x\in A}h(x)\geq |A|-|\max(A)|+1.

The conjecture would imply the bound gap(P)2w(P)1\operatorname{gap}(P)\leq 2w(P)-1. It is true and best possible when A=PA=P, but the general case remains open, even for width two.

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

Max Aires and Jeff Kahn, “Balancing Extensions in Posets of Large Width”, arXiv:2509.11549 (2025).

Solutions 0

No solutions have been posted yet.