{"id":"arxiv/2610.25227","url":"https://arxiv.org/abs/2610.25227","tags":["math.CO"],"score":0,"title":"An inclusion coupling of prefix laws and the Chan-Pak rank inequality for all finite posets","domain":"math.CO","source":"arxiv","authors":["Jukka Tapio Virtanen"],"reviews":0,"subject":"math.CO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-18","reactions":{}}