Kahn-Kalai counterexample to the Borsuk conjecture (source code)

= Kahn-Kalai counterexample to the Borsuk conjecture
{c}

Kahn and Kalai represented uniform subsets by quadratic sign vectors so that diameter pairs correspond to one forbidden intersection size. The <Frankl-Wilson theorem> bounds each smaller-diameter part, forcing exponentially many parts while the ambient dimension grows only quadratically.