{"id":"arxiv:2610.17992","kind":"preprint","title":"Colored Turán densities and finite directed templates","authors":["Nannan Chen","Ander Lamaison","Heng Li","Hong Liu"],"author_count":4,"year":2026,"published":"2026-10-13","venue":null,"cited_by":0,"doi":null,"arxiv_id":"2610.17992","nct_id":null,"source_url":"https://arxiv.org/abs/2610.17992","archive_url":"https://space-kitty.com/papers/arxiv:2610.17992","updated":"2026-10-13","pmid":null,"pmcid":null,"openalex_id":"W7221754378","pdf_url":"https://arxiv.org/pdf/2610.17992","abstract":"Classical Turán theory relates the asymptotic extremal problem for an ordinary forbidden graph to its chromatic number. This principle fails when a forbidden copy must respect prescribed vertex colors, as occurs naturally in multipartite extremal problems and in embeddings with prescribed clusters. We study properly vertex-colored graphs whose hosts have a prescribed density between every pair of color classes, with containment interpreted through color-preserving homomorphisms. Our main theorem gives a finite directed reduction: for every fixed $m$ and $\\varepsilon>0$, every sufficiently many-colored $d$-dense host admits a colored homomorphism from an $m$-layer half-blowup $D[m]$ of a finite digraph $D$ with density at least $d-\\varepsilon$, where $D$ may be chosen with $\\lceil\\varepsilon^{-1}\\rceil$ vertices. Consequently, the colored Turán density of every non-empty finite forbidden family equals the homomorphism Turán density of its associated acyclic orientations. We then determine the complete finite value set: these densities are exactly the Lagrangians of finite loopless digraphs, and hence are rational. The main technical input is a low-resolution sampling method that preserves all pairwise bipartite degree profiles on a large subfamily of color classes while keeping the sample size independent of the number of retained classes.","abstract_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.CO"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[{"slug":"landmark-math-results","name":"Landmark Results in Pure Mathematics","domain_slug":"math-cs"}],"cited_in_dossiers":[]}