English

On Relative Ordered Tur\'an Density

Combinatorics 2025-10-01 v2

Abstract

For an ordered graph FF, denote the Tur\'an density by π(F)\vec{\pi}(F). The relative Tur\'an density, denoted by ρ(F)\rho(F), is the supremum over α[0,1]\alpha \in [0,1] such that every ordered graph GG contains an FF-free subgraph GG' with e(G)αe(G)e(G') \geq \alpha e(G). Reiher, R\"odl, Sales and Schacht showed that ρ(P)=π(P)/2\rho(P) = \vec{\pi}(P)/2 and ρ(K)=π(K)\rho(K) = \vec{\pi}(K) for any ascending path PP or clique KK. They asked if there are any ordered graphs FF with π(F)/2<ρ(F)<π(F)\vec{\pi}(F)/2 < \rho(F) < \vec{\pi}(F). We answer this question in the affirmative by describing a family of such FF. We also show that the relative Tur\'an densities of a large family of ordered matchings (including {{1,6},{2,3},{4,5}}\{\{1,6\}, \{2,3\}, \{4,5\}\} and {{1,3},{2,5},{4,6}}\{\{1,3\}, \{2,5\}, \{4,6\}\}) are 00.

Keywords

Cite

@article{arxiv.2508.05515,
  title  = {On Relative Ordered Tur\'an Density},
  author = {Dylan King and Bernard Lidický and Minghui Ouyang and Florian Pfender and Runze Wang and Zimu Xiang},
  journal= {arXiv preprint arXiv:2508.05515},
  year   = {2025}
}

Comments

14 pages, 4 figures

R2 v1 2026-07-01T04:39:21.658Z