# Maximal set on hypersphere that does not contain pairs of orthogonal vectors

Let R be a region on a hypersphere. Each point A of the hypersphere is associated with a vector pointing to A and with origin at the centre of the hypersphere. So let me identify each point with a vector. I have the constraint that every pair of vectors in R is not orthogonal. What is the maximal region R satisfying this constraint? I guess that this region, up to rotations, is given by two opposite hypercones with 90 degrees angular aperture. This is intuitive, but the proof is not so simple to me.

-
When you say that you want "the" maximal region, it seems to imply that such a region is unique. I don't think that there is a unique such R... – Manny Reyes Oct 18 '11 at 21:01
Could you define "region"? Presumably a region is not just an arbitrary set, but rather must have some connectivity properties...? – Joseph O'Rourke Oct 18 '11 at 21:01
I guess that the region is unique up to rotations, but one could just ask what is the maximal area. Concerning the properties of the region, I require only that it is measurable and has an area defined. The region is not necessarily connected. – Alberto Montina Oct 18 '11 at 21:20
Keeping the dimension at 3 for discussion, there is not only the spherical cap of angular width just shy of 90 degrees, but also the nonnegative orthant minus three points. And these are connected examples. There are nonconnected examples that take up even more of the sphere's surface area. I leave it to those more facile with higher dimensions to generalize these examples. Gerhard "Ask Me About System Design" Paseman, 2011.10.18 – Gerhard Paseman Oct 18 '11 at 21:46
I think this is known as the "double cap conjecture", and in particular would imply better estiamtes in the "Borsuk problem". The person to ask is probably Gil Kalai. See e.g. gilkalai.wordpress.com/2009/05/22/… – Guillaume Aubrun Oct 19 '11 at 14:55