Papers
Topics
Authors
Recent
Search
2000 character limit reached

Lower Bounds on Davenport-Schinzel Sequences via Rectangular Zarankiewicz Matrices

Published 31 Oct 2016 in math.CO, cs.CG, and cs.DM | (1610.09774v1)

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 n<sup>2/t</sup>×nn<sup>{2/t}</sup> \times n matrices containing n<sup>1+1/tn<sup>{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)/n2<sup>s\lambda(s,n)/n \ge 2<sup>s grows exponentially with ss. When s=n<sup>o(1)s = n<sup>{o(1)} we show λ(s,n)/n(s2loglogsn)<sup>loglogs</sup>n\lambda(s,n)/n \ge (\frac{s}{2\log\log_s n})<sup>{\log\log_s</sup> n} grows faster than any polynomial in ss. Finally, when s=Ω(n<sup>1/t(t1)!)s=\Omega(n<sup>{1/t}(t-1)!), λ(s,n)=Ω(n<sup>2</sup>s/(t1)!)\lambda(s,n) = \Omega(n<sup>2</sup> s/(t-1)!) matches the trivial upper bound O(n<sup>2s)O(n<sup>2s) asymptotically, whenever tt is constant.

Authors (2)
Citations (12)

Summary

No one has generated a summary of this paper yet.

Paper to Video (Beta)

No one has generated a video about this paper yet.

Whiteboard

No one has generated a whiteboard explanation for this paper yet.

Open Problems

We haven't generated a list of open problems mentioned in this paper yet.

Continue Learning

We haven't generated follow-up questions for this paper yet.