3 papers
math.CO2026
A New Upper Bound for the Turán Density of the Tetrahedron
Gyeongwon Jeong, Seonghun Park, Seonghyuk Im +2
We prove that the Turán density of the tetrahedron satisfies , improving Baber's upper bound of $0.5615…
cs.LO2026
Formalizing Flag Algebras in Lean
Gyeongwon Jeong, Seonghun Park, Jihoon Hyun +2
Razborov's flag algebra method is one of the most successful tools for proving asymptotic density inequalities in extremal graph theory. It reduces an inequality about all large gr…
cs.PL2026
An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory
Gyeongwon Jeong, Seonghun Park, Hongseok Yang
Razborov's flag algebra forms a powerful framework for deriving asymptotic inequalities between induced subgraph densities, underpinning many advances in extremal graph theory. Thi…