Horizontal uniformity of runsort permuton density

Direct Proof of Horizontal Uniformity · arXiv:2106.14762

arXiv Informal medium confidence— first stated 2021-06-28

Authors: Noga Alon, Colin Defant, Noah Kravitz

Status open high confidence

The horizontal uniformity of the runsort permuton density in $C^+$ (i.e., that the density depends only on $y$) is established in the original 2021 paper indirectly via the explicit characterization of $R$, but the authors note that no direct combinatorial proof is known. A search of 15 papers citing arXiv:2106.14762 (via Semantic Scholar) and targeted arXiv and web searches found no subsequent work addressing this specific open question. The problem remains open as of May 2026.

Reviewer notes. The statement whose direct proof is sought is not a conjecture about an unknown truth — horizontal uniformity is already proven (indirectly). The open question is purely about proof technique: a direct combinatorial argument that avoids the explicit characterization of $R$. No such argument has appeared in the literature found. The 15 citing papers retrieved from Semantic Scholar cover unrelated permuton topics (Baxter permuton, large deviation principles, Latin square limits, etc.) and none address horizontal uniformity of the runsort permuton.

Auto-reviewed 2026-05-15 with claude-sonnet-4-6 (web search enabled).

Informal. The pointwise density of $R$ in $C^+ = \{(x,y)\in[0,1]^2 : x < ye^{1-y}\}$ depends only on the vertical coordinate $y$ (``horizontal uniformity''). The authors state they do not know how to establish this directly, that is, without recourse to the explicit characterization of $R$.

Context

After defining the runsort permuton $R$ and noting that its absolutely continuous part has support $C^+$, the authors observe that the density in $C^+$ is independent of $x$. They remark that this horizontal uniformity is not combinatorially obvious and that a direct combinatorial proof is unknown.

Notes. PDF source — math may be garbled. The open problem is implicit: find a direct combinatorial argument establishing horizontal uniformity without using the explicit formula for $R$. Section 6 (generalizations) is referenced in the introduction but not included in the extracted text, so additional items from that section may be missing.

Source paper

The runsort permuton
Noga Alon, Colin Defant, Noah Kravitz · 2021-06-28
https://arxiv.org/abs/2106.14762 PDF source