English

Binary smoothing and relative Turan densities of ordered triangle-tails

Combinatorics 2026-07-30 v1

Abstract

For every b1b\ge1, let Q2,bQ_{2,b} be the ordered graph obtained from a transitive ordered triangle by attaching a monotone tail of length bb at its rightmost vertex. We prove ρ<(Q2,b)=12\rho_{<}(Q_{2,b})=\frac12 for all b1b\ge1. Thus the previously isolated case Q2,2Q_{2,2} is one member of an exact infinite triangle-tail family. The lower bound is the sharp forward-template identity λ(Q2,b)=1/2\lambda(Q_{2,b})=1/2, and it is realized already inside binary-level hosts: a parity-cut construction gives Q2,bQ_{2,b}-free binary-level graphs with density exactly 1/21/2 on every level. The upper bound uses the binary rich-level reduction. Its key input is the intrinsic decomposition of a Q2,bQ_{2,b}-free graph into tail-starting vertices TbT_b and the complement RR: there are no forward edges from RR to TbT_b, G[Tb]G[T_b] is ordered-triangle-free, and G[R]G[R] is monotone-Pb+1\vec{P}_{b+1}-free. We control these pieces by weighted binary Pb+1\vec{P}_{b+1} smoothing and weighted binary Mantel smoothing, the latter following from a binary ultrametric cut-domination theorem. We also record exact path-blow-up values, giving a reusable template/rich-host calculus for ordered relative densities.

Keywords

Cite

@article{arxiv.2607.28697,
  title  = {Binary smoothing and relative Turan densities of ordered triangle-tails},
  author = {Shuyan Chen},
  journal= {arXiv preprint arXiv:2607.28697},
  year   = {2026}
}