
This monograph establishes exact Turán densities for a class of geometric hypergraphs using the framework of Flag Algebras introduced by Razborov. We focus on r-uniform geometric hypergraphs Hn defined on point sets in general position in Rd, where hyperedges are induced by specific geometric constraints related to convexity and order types. By encoding the geometric properties into the semantic structure of the flag algebra calculus, we derive a sequence of semidefinite programming (SDP) relaxations that provide rigorous upper bounds on the extremal densities. Specifically, we resolve the Turán density for the forbidden geometric configuration of a "crossing 3-cycle" in the plane, proving it to be exactly 2/9, a result previously conjectured in the context of geometric Ramsey theory. Furthermore, we extend the differential method to the geometric setting, characterizing the stability of the extremal constructions. The results demonstrate the efficacy of automated theorem proving techniques in continuous combinatorial geometry.
Extremal Combinatorics, Flag Algebras, Semidefinite Programming, Geometric Hypergraphs, Turán Density
Extremal Combinatorics, Flag Algebras, Semidefinite Programming, Geometric Hypergraphs, Turán Density
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
