arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 0707.1715

Sources of Superlinearity in Davenport-Schinzel Sequences

Seth Pettie
View original source ↗Read source document ↗Export metadata ↓

Abstract

A generalized Davenport-Schinzel sequence is one over a finite alphabet that contains no subsequences isomorphic to a fixed forbidden subsequence. One of the fundamental problems in this area is bounding (asymptotically) the maximum length of such sequences. Following Klazar, let Ex(σ,n) be the maximum length of a sequence over an alphabet of size n avoiding subsequences isomorphic to σ. It has been proved that for every σ, Ex(σ,n) is either linear or very close to linear; in particular it is O(n 2^{α(n)^{O(1)}}), where αis the inverse-Ackermann function and O(1) depends on σ. However, very little is known about the properties of σthat induce superlinearity of \Ex(σ,n). In this paper we exhibit an infinite family of independent superlinear forbidden subsequences. To be specific, we show that there are 17 prototypical superlinear forbidden subsequences, some of which can be made arbitrarily long through a simple padding operation. Perhaps the most novel part of our constructions is a new succinct code for representing superlinear forbidden subsequences.

Explore related subjects

cs.DM

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Seth Pettie. 2007-07-11. Sources of Superlinearity in Davenport-Schinzel Sequences. https://arxiv.org/abs/0707.1715

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Euclidean Embeddings of Acyclic Hypergraph Line Metrics

We study Euclidean embeddings of higher-order line metrics arising from hypergraphs. For a fixed threshold \(s\geq 1\), the \(s\)-line graph \(L_s(H)\) has one vertex for each hyperedge of \(H\), with two hyperedges adjacent when they intersect in at least \(s\) vertices; its shortest-path metric is the native \(s\)-line metric. In the unrestricted setting, every finite graph occurs as the \(s\)-line graph of some hypergraph, so the worst-case Euclidean distortion is \(Θ(\log n)\). We show that \(α\)-acyclicity yields a sharp improvement to \(Θ(\sqrt{\log\log n})\). Although the canonical join tree of an \(α\)-acyclic hypergraph may have arbitrarily large stretch relative to the native metric, we prove that for every \(s\), the \(s\)-line graphs of \(α\)-acyclic hypergraphs are exactly the dually chordal graphs. Using their constant-factor spanning-tree approximations together with classical tree-embedding bounds, we obtain an \(O(\sqrt{\log\log n})\) Euclidean embedding bound. We then show this is asymptotically tight by realizing every finite tree as the \(s\)-line graph of an \(α\)-acyclic hypergraph. Thus, the worst-case distortion is \(Θ(\sqrt{\log\log n})\), including for hypergraphs of rank at most \(3s+1\).

cs.DM↗
arXiv2026

Degree Stability of Parallel Greedy Matching in Random Graphs

We study a natural synchronous greedy matching process in Erdős-Rényi random graphs $\mathbb{G}(n,p)$ and give a rigorous analysis of this parallel stochastic dynamics. The process evolves as follows: in each round, every unmatched vertex proposes to a uniformly random neighbour, and mutually proposing pairs are matched and removed from the graph, after which the process repeats on the residual graph. We consider the density regime $p=Θ(\log^{1+ε} n/n)$ for any constant $ε>0$, which lies just above the threshold for the existence of a perfect matching. We show that, with high probability, for $Θ(\log^{1+ε} n)$ rounds, every unmatched vertex keeps a constant fraction of its initial degree in the residual graph, simultaneously for all vertices and all rounds. By then, the process has matched a constant fraction of the vertices. Our analysis tracks fine-grained invariants that control the evolution of individual vertex degrees, rather than directly tracking the global degree distribution. At the local level, we analyze the per-round degree loss of a vertex via a neighbourhood-exposure martingale. We show that structural sparsity of $\mathbb{G}(n,p)$ yields $O(1)$ variance and thus the per-round degree loss is strongly concentrated around its conditional expectation. At the global level, these local concentration bounds control the increments of a martingale tracking cumulative degree loss over many rounds, allowing us to show that vertex degrees remain stable for $Ω(\log^{1+ε} n)$ rounds.

cs.DM↗
arXiv2026

Counting and Sampling Manufacturable Stacking Sequences

Designing the stacking sequence of a composite laminate is a discrete optimisation problem: each ply takes one of a few orientations, each evaluation may cost a finite-element solve, and the design must obey manufacturing rules and design guidelines, which optimisers enforce by penalty, repair or rejection. We describe the admissible set exactly. The two manufacturing rules forbid a finite set of factors, so the sequences they admit form a regular language, recognised by an automaton that tracks the last orientation and the length of its run; balance and the ten per cent rule constrain the Parikh vector and are carried by a dynamic program over automaton state and counters. One table, polynomial in N, counts the admissible sequences without producing them, draws them uniformly, and tells whether a partial sequence can still be completed. We give pseudocode, exact counts for three orientation sets, closed-form ceilings on the composition, and four of the five single-rule entries a published table left uncomputed. At 48 plies, 99.8% of the nodes of a layer-wise search tree checking the rules locally have no admissible completion on eight orientations; the completion test removes them. A one-point crossover that cuts two admissible parents only where they share an automaton state and their child closes the counters returns admissible children by construction.

cs.DM↗