Density bounds for permutations avoiding monotone arithmetic progressions

Jesse Geneson

Abstract

For $X\in\{\mathbb{N},\mathbb{Z}\}$, let $α_X(\ell)$ and $β_X(\ell)$ denote the supremal upper and lower densities of subsets of $X$ admitting $ω$-permutations without monotone $\ell$-term arithmetic progressions. We strengthen the published lower bounds for the three-term upper-density parameters by proving \[ α_{\mathbb{N}}(3)\geq\frac23,\qquad α_{\mathbb{Z}}(3)\geq\frac23. \] We also prove $β_{\mathbb{Z}}(4)=1$ by constructing four-permutable subsets of the integers whose lower symmetric densities approach one.

Disclosure

“Declaration of generative AI and AI-assisted technologies During the preparation of this draft, the author used Codex with GPT-5.6 Sol Ultra to assist with proof development, literature searches, and manuscript editing. The author reviewed and edited the content as needed and takes full responsibility for the content of the article. References [1] S. Adenwalla, Avo”

PDF page 14
Classification
Proof ideas or individual proof-step assistance
Multiplier
8
Verified

Structural counts

Pages 14 pdf
Theorems 2 source
Lemmas 13 source
Propositions 0 source
Corollaries 2 source
Definitions 0 source
Displayed equations 76 source
Bibliography entries 8 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file ap34_aug12.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.