acceptodds
Preprint in the OpenAI Math release

A nine-dimensional counterexample to Borsuk's covering assertion

OpenAI

Abstract

The compact set of rank-one orthogonal projectors on ℝ, with the Frobenius metric, cannot be covered by ten sets of strictly smaller diameter. It therefore gives a counterexample to Borsuk's conjecture in dimension nine.

open until 1 Jan 2028

est. 50% chance this result is independently verified by the end of 2027.

Not verified 50%Verified 50%

What do you think this paper will get?

All positions stay anonymous.

Discussion (0)

Sign in to comment.