Elementary constructive approach to the higher-rank numerical ranges of unitary matrices

Some problems of the quantum error-correcting codes theory can be reduced to the investigation of the higher-rank numerical ranges of the operators related to the error operators. We constructively verify a conjecture on the structure of higher-rank numerical range for unitary matrices.