{"id":"arxiv/2608.14434","url":"https://arxiv.org/abs/2608.14434","tags":["math.CO"],"score":0,"title":"The Kelly--Trotter product conjecture for posets of dimension three","domain":"math.CO","source":"arxiv","authors":["Zhaochen Dong","Kaiyun Wang"],"reviews":0,"subject":"math.CO","summary":"Kelly and Trotter conjectured that dim(P x Q) >= dim P + dim Q - 2 for all finite posets P and Q. We prove the conjecture when dim P = dim Q = 3. This also disproves Trotter's conjecture that, for every 1 = 3. The proof uses the classification of 3-irreducible posets and graphs of critical pairs. For the six infinite noncrown families, we construct explicit non-3-colorable subgraphs. The ten fixed posets are handled by an exhaustive 3-coloring search.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-14","reactions":{}}