Year: 2026
Type: preprint
Abstract: We prove that for every integer $d \geq 3$, there exists $α<1$ such that the maximum dimension of an $n$-element poset containing no standard example of order $d$ as an induced subposet is $\mathcal{O}_d(n^α)$. For $d=3$, we obtain an upper bound $\mathcal{O}(n^{2/3}\log n)$, while we also construct a family of $S_3$-free posets with dimension $Ω(n^{1/3}/\log n)$. The proofs were found by OpenAI's ChatGPT-6 Astra.
Source: arXiv (Cornell University)
Language: English
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Funder: Narodowym Centrum Nauki
OpenAlex ID: W7223043275