{
  "abstract": "We prove that the Turán density of the tetrahedron $K_4^{(3)}$ satisfies $π(K_4^{(3)}) \\le 14993367693127837/26880000000000000 < 0.557789$, improving Baber's upper bound of $0.5615$ and closing about $62\\%$ of the gap to the conjectured value $5/9$. The proof uses an exact seven-vertex flag-algebra certificate incorporating degree-stationarity from Razborov's differential method. To find the certificate, we combine the established techniques of cutting planes and column generation to optimize jointly over flag families whose types have at most five vertices. We give a complete formal proof of this Turán density bound in Lean 4.",
  "abstract_shown": true,
  "affiliations": [],
  "article_type": null,
  "arxiv": "2609.27495",
  "author_total": 5,
  "authors": [
    {
      "name": "Gyeongwon Jeong"
    },
    {
      "name": "Seonghun Park"
    },
    {
      "name": "Seonghyuk Im"
    },
    {
      "name": "Joonkyung Lee"
    },
    {
      "name": "Hongseok Yang"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/19d4v4z33pmtc.bib",
  "cited_by": 1,
  "doi": "10.48550/arxiv.2609.27495",
  "fulltext_url": null,
  "id": "19d4v4z33pmtc",
  "issns": [],
  "landing_url": "https://arxiv.org/abs/2609.27495",
  "language": null,
  "licence": "CC-BY-4.0",
  "licence_label": "CC BY 4.0",
  "licence_source": "article",
  "licence_url": "http://creativecommons.org/licenses/by/4.0/",
  "metadata_licence": "CC0-1.0",
  "native_subjects": [
    [
      "arxiv",
      "cs.DM"
    ],
    [
      "arxiv",
      "math.CO"
    ],
    [
      "arxiv",
      "math.OC"
    ],
    [
      "openalex",
      "2607|Limits and Structures in Graph Theory"
    ]
  ],
  "openalex": "W7214159874",
  "pdf_url": "https://arxiv.org/pdf/2609.27495",
  "pmcid": null,
  "pmid": null,
  "published": "2026-10-02",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/19d4v4z33pmtc.ris",
  "sources": [
    {
      "first_seen": "2026-10-30T12:26:50Z",
      "native_id": "2609.27495",
      "source": "arxiv",
      "url": "https://arxiv.org/abs/2609.27495"
    }
  ],
  "subjects": [
    {
      "field": "mathematics",
      "origin": "arxiv:math.CO",
      "subfield": "combinatorics"
    },
    {
      "field": "mathematics",
      "origin": "arxiv:math.OC",
      "subfield": "optimisation-control"
    }
  ],
  "title": "A New Upper Bound for the Turán Density of the Tetrahedron",
  "title_text": "A New Upper Bound for the Turán Density of the Tetrahedron",
  "type": "preprint",
  "updated_at": "2026-10-30T12:26:50Z",
  "url": "https://research.draconitic.com/paper/19d4v4z33pmtc",
  "venue": "arXiv",
  "versions": []
}