Binary smoothing and relative Turan densities of ordered triangle-tails
Abstract
For every , let be the ordered graph obtained from a transitive ordered triangle by attaching a monotone tail of length at its rightmost vertex. We prove for all . Thus the previously isolated case is one member of an exact infinite triangle-tail family. The lower bound is the sharp forward-template identity , and it is realized already inside binary-level hosts: a parity-cut construction gives -free binary-level graphs with density exactly on every level. The upper bound uses the binary rich-level reduction. Its key input is the intrinsic decomposition of a -free graph into tail-starting vertices and the complement : there are no forward edges from to , is ordered-triangle-free, and is monotone--free. We control these pieces by weighted binary 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.
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}
}