An inclusion coupling of prefix laws and the Chan-Pak rank inequality for all finite posets

Abstract

Let $P$ be a finite poset, let $x\in P$, and let $N_k$ count its linear extensions in which $x$ occupies position $k$. We prove Chan and Pak's conjecture that, for all integers $a,h\ge1$, \[ (a+h-1)N_{a+h-1}N_a\ \ge\ (a-1)N_{a-1}N_{a+h}+hN_aN_{a+h}. \] The key result is an inclusion coupling of the laws of the set of elements preceding $x$, conditional on consecutive positions of $x$. We construct reversible exchange chains on the corresponding layers of order ideals and couple their generators so that the two prefix sets remain nested. Fishburn's correlation inequality gives monotonicity of endpoint probabilities; their unit total masses provide the rate bounds needed for the coupling. A stationary distribution of the coupled chain then has the required marginals. Normalized cover observables yield a four-term nonnegative certificate for the case $h=1$, and the general case follows by telescoping. The argument applies at every width and gives a proof of Stanley's log-concavity inequality with Fishburn's inequality as its sole external inequality.