{"id":"arxiv/2609.31441","url":"https://arxiv.org/abs/2609.31441","tags":["math.CO"],"score":0,"title":"The Kelly--Trotter conjecture and dimension of poset products","domain":"math.CO","source":"arxiv","authors":["Zhaochen Dong","Kaiyun Wang"],"reviews":0,"subject":"math.CO","summary":"We study the order dimension of Cartesian products of finite posets. Kelly and Trotter conjectured in 1982 that $\\dim(P\\times Q)\\ge\\dim P+\\dim Q-2$ for all finite posets $P$ and $Q$. For $m\\ge3$, let $R_m$ denote the incidence poset of the complete graph on $m$ vertices. We prove that there is a constant $C$ such that, for all sufficiently large $m$, $\\dim(R_m\\times R_m)\\le\\left(1+\\frac{2}{\\log_2 6}\\right)\\dim R_m+C$. Since $1+2/\\log_2 6<2$, this disproves the Kelly--Trotter conjecture and shows that $2\\dim R_m-2-\\dim(R_m\\times R_m)$ can grow linearly with $\\dim R_m$. For every integer…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-25","reactions":{}}