An inclusion coupling of prefix laws and the Chan-Pak rank inequality for all finite posets
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.25227
curl -X POST /api/v1/records/arxiv/2610.25227/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.25227/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'