Long Lattice Paths with No Three Collinear Vertices

Samuel Korsky

Abstract

For $d\ge 1$, let $L(d)\in\mathbb N\cup\{\infty\}$ be the supremum of the lengths of paths in $\mathbb Z^d$ whose steps are standard basis vectors and whose vertex sets contain no collinear triple. We prove that \[ \log_2\log_2 L(d)\ge \frac{2}{5}d-O(1) \] for all sufficiently large $d$.

Disclosure

“|I|c(J) · w − |J|c(I) · w = −R(I, J) · w, which is nonzero by (33). Thus the two displacements are not parallel, so no three vertices are collinear. Taking S = {s1 , . . . , sd }, for which |S| ≤ d, proves (29) and (30). Acknowledgments GPT-5.6 Pro was used to assist with optimizing the parameters in the proof. The central amplification construction and the idea of introducing randomness were developed by the author. References [1] S. Avgustinovich and S. Puzynina, Weak abeli”

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

Structural counts

Pages 14 pdf
Theorems 2 source
Lemmas 3 source
Propositions 3 source
Corollaries 0 source
Definitions 1 source
Displayed equations 91 source
Bibliography entries 15 source
Appendix pages 0 estimated

Count notes

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