arXiv++ Combinatorics

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 $d\ge8$, we construct an incidence poset $Q_d$ such that $\dim Q_d=d$ and $Q_d$ has the $(3,d)$-covering property. Consequently, $\dim(P\times Q_d)\le\dim P+d-3$ for every poset $P$ with $\dim P\ge3$. Thus, for every integer $d\ge8$, the poset $Q_d$ violates the Kelly--Trotter conjecture with every poset of dimension at least $3$. Finally, we prove that a poset $Q$ has an $(r,s)$-covering if and only if $\dim(Q\times C^r)\le s$ for every finite chain $C$ with at least two elements.

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 <= m <= n, there exist finite posets P and Q with dim P = m, dim Q = n, and dim(P x Q) = n. We further prove that dim(C_k x P) = 4 for every finite poset P with dim P = 3 and every crown C_k with k >= 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.

We build a collection of topological Ramsey spaces of trees giving rise to universal inverse limit structures,extending Zheng's work for the profinite graph to the setting of Fraïssé classes of finite ordered binary relational structures with the Ramsey property. This work is based on the Halpern-Läuchli theorem, but different from the Milliken space of strong subtrees. Based on these topological Ramsey spaces and the work of Huber-Geschke-Kojman on inverse limits of finite ordered graphs, we prove that for each such Fraïssé class, its universal inverse limit structure has finite big Ramsey degrees under finite Baire-measurable colorings. For such \Fraisse\ classes satisfying free amalgamation as well as finite ordered tournaments and finite partial orders with a linear extension, we characterize the exact big Ramsey degrees.