Counterexamples to the Corsten-Frankl conjecture on diameter-Ramsey simplices

TL;DR

This paper disproves a conjecture relating diameter-Ramsey simplices to their circumcenter positions, providing new criteria and explicit counterexamples in all dimensions d ≥ 3.

Contribution

It introduces a higher-order deficit decomposition criterion for diameter-Ramsey simplices and constructs explicit counterexamples in all dimensions d ≥ 3.

Findings

Disproved the Corsten-Frankl conjecture in all dimensions d ≥ 3.

Developed a sufficient criterion based on deficit decomposition for diameter-Ramsey simplices.

Constructed explicit diameter-Ramsey simplices with circumcenter outside the convex hull.

Abstract

Corsten and Frankl conjectured that a simplex is diameter-Ramsey if and only if its circumcenter lies in its convex hull. We disprove this conjecture in every dimension $d\ge 3$. The main tool is a sufficient criterion based on a higher-order deficit decomposition: if the squared deficits $D^2-\|p_i-p_j\|^2$ admit a nonnegative decomposition over subsets of the vertex set, with total mass at most $D^2$, then the simplex is diameter-Ramsey. The pairwise deficit criterion of Frankl--Pach--Reiher--R\"odl is recovered as a special case. As an application, for every $d\ge 3$ we construct a diameter-Ramsey $d$-simplex whose circumcenter lies outside its convex hull. A particularly simple family has squared edge lengths $\|p_1-p_2\|^2=\|p_1-p_j\|^2=7~ (4\le j\le d+1)$, $\|p_1-p_3\|^2=4$, and $\|p_i-p_j\|^2=4 ~ (2\le i<j\le d+1)$.