The ideal average-height conjecture for posets

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.

max⁡x∈Ah(x)≥∣A∣−∣max⁡(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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.