Formations and generalized Davenport-Schinzel sequences
Abstract
Let up(r, t) = (a1 a2 … ar)t. We investigate the problem of determining the maximum possible integer n(r, t) for which there exist 2t-1 permutations π1, π2, …, π2t-1 of 1, 2, …, n(r, t) such that the concatenated sequence π1 π2 … π2t-1 has no subsequence isomorphic to up(r,t). This quantity has been used to obtain an upper bound on the maximum number of edges in k-quasiplanar graphs. It was proved by (Geneson, Prasad, and Tidor, Electronic Journal of Combinatorics, 2014) that n(r, t) (r-1)22t-2. We prove that n(r,t) = (r2t-1 t), where the constant in the bound depends only on t. Using our upper bound in the case t = 2, we also sharpen an upper bound of (Klazar, Integers, 2002), who proved that Ex(up(r,2),n) < (2n+1)L where L = Ex(up(r,2),K-1)+1, K = (r-1)4 + 1, and Ex(u, n) denotes the extremal function for forbidden generalized Davenport-Schinzel sequences. We prove that K = (r-1)4 + 1 in Klazar's bound can be replaced with K = (r-1) r2+1. We also prove a conjecture from (Geneson, Prasad, and Tidor, Electronic Journal of Combinatorics, 2014) by showing for t ≥ 1 that Ex(a b c (a c b)t a b c, n) = n 21t!α(n)t O(α(n)t-1). In addition, we prove that Ex(a b c a c b (a b c)t a c b, n) = n 21(t+1)!α(n)t+1 O(α(n)t) for all t ≥ 1.
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.