2 problems

Circulant biunitary span-condition conjecture. Every circulant biunitary satisfies the span condition, and thus is isolated among all biunitary matrices.

Let $n>5$ be prime, and let a normalized biunitary be a biunitary matrix in the chosen normalization. Popa's finiteness conjecture. For every prime $n>5$, there exist only finitely…