The conjecture that I proposed in

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

is in fact known as the "double cap conjecture", as noted by Guillaume Aubrun. See for example


Here I propose a generalization. Suppose that the field of the unit vectors is not real, but complex. We can define a measure, which is induced by the measure of a real vector space. For example, the two-dimensional complex vectors $(a,b)$ are associated to the 4-dimensional real vectors $(\Re(a),\Re(b),\Im(a),\Im(b))$. Thus, the measure on the latter space induces a measure on the former. What is the set of unit vectors with maximal area that does not contain pairs of orthogonal vectors. My conjecture: up to unitary rotations, the maximal set is the set of vectors $a$ such that $|a\cdot S|^2>1/2$, where $S$ is some unit vector. This is a generalization of the "double cap conjecture".

The question is: is there a easy proof of this conjecture from the "double cap conjecture"?

  • $\begingroup$ Nice conjecture! $\endgroup$ – Gil Kalai Oct 21 '11 at 18:46
  • $\begingroup$ Notice that the maximal set is a set of rays, that is, if $x\in M$ and $M$ is the maximal set, then $a x\in M$, where $a$ is any complex number of modulus 1. $\endgroup$ – Alberto Montina Oct 22 '11 at 19:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.