Dice Question Streamline Icon: https://streamlinehq.com

Achievability of equality in non-Rankin bounds for Stiefel codes

Ascertain whether equality can be achieved in bounds on Stiefel codes beyond Rankin's simplex and orthoplex bounds—specifically, in the sphere-packing bounds for Grassmann and Stiefel manifolds and related unitary constellation bounds such as those derived by Henkel and by Han and Rosenthal—and, if so, construct codes that attain these bounds.

Information Square Streamline Icon: https://streamlinehq.com

Background

The paper focuses on achieving equality in Rankin-inspired simplex and orthoplex bounds for Stiefel codes and gives constructions that meet these bounds in many cases. However, the literature contains other upper bounds relevant to Grassmannian and Stiefel coding problems, including sphere-packing bounds and diversity bounds.

The authors point out the open direction of determining whether these other bounds are tight by exhibiting Stiefel codes that meet them, which would extend the catalog of known optimal configurations beyond the Rankin-equality regimes.

References

In this paper, we constructed several optimal codes in the Stiefel manifold with chordal distance, but many open problems remain. Finally, while our work here focused on achieving equality in the Stiefel simplex and orthoplex bounds, there are other bounds (e.g., those derived in [11, 10]) for which equality might also be achievable.

Optimal codes in the Stiefel manifold (2407.01813 - Jasper et al., 1 Jul 2024) in Section 5 (Discussion)