English

Lower Bounds on Davenport-Schinzel Sequences via Rectangular Zarankiewicz Matrices

Combinatorics 2016-11-01 v1 Computational Geometry Discrete Mathematics

Abstract

An order-ss Davenport-Schinzel sequence over an nn-letter alphabet is one avoiding immediate repetitions and alternating subsequences with length s+2s+2. The main problem is to determine the maximum length of such a sequence, as a function of nn and ss. When ss is fixed this problem has been settled but when ss is a function of nn, very little is known about the extremal function λ(s,n)\lambda(s,n) of such sequences. In this paper we give a new recursive construction of Davenport-Schinzel sequences that is based on dense 0-1 matrices avoiding large all-1 submatrices (aka Zarankiewicz's Problem.) In particular, we give a simple construction of n2/t×nn^{2/t} \times n matrices containing n1+1/tn^{1+1/t} 1s that avoid t×2t\times 2 all-1 submatrices. Our lower bounds on λ(s,n)\lambda(s,n) exhibit three qualitatively different behaviors depending on the size of ss relative to nn. When sloglogns \le \log\log n we show that λ(s,n)/n2s\lambda(s,n)/n \ge 2^s grows exponentially with ss. When s=no(1)s = n^{o(1)} we show λ(s,n)/n(s2loglogsn)loglogsn\lambda(s,n)/n \ge (\frac{s}{2\log\log_s n})^{\log\log_s n} grows faster than any polynomial in ss. Finally, when s=Ω(n1/t(t1)!)s=\Omega(n^{1/t}(t-1)!), λ(s,n)=Ω(n2s/(t1)!)\lambda(s,n) = \Omega(n^2 s/(t-1)!) matches the trivial upper bound O(n2s)O(n^2s) asymptotically, whenever tt is constant.

Keywords

Cite

@article{arxiv.1610.09774,
  title  = {Lower Bounds on Davenport-Schinzel Sequences via Rectangular Zarankiewicz Matrices},
  author = {Julian Wellman and Seth Pettie},
  journal= {arXiv preprint arXiv:1610.09774},
  year   = {2016}
}
R2 v1 2026-06-22T16:37:05.443Z