Abstract:Methods and algorithms that work with data on nonlinear manifolds are collectively summarized under the term `Riemannian computing'. In practice, curvature can be a key limiting factor for the performance of Riemannian computing methods. Yet, curvature can also be a powerful tool in the theoretical analysis of Riemannian algorithms. In this work, we investigate the sectional curvature of the Stiefel and Grassmann manifold. On the Grassmannian, tight curvature bounds are known since the late 1960ies. On the Stiefel manifold under the canonical metric, it was believed that the sectional curvature does not exceed 5/4. Under the Euclidean metric, the maximum was conjectured to be at 1. For both manifolds, the sectional curvature is given by the Frobenius norm of certain structured commutator brackets of skew-symmetric matrices. We provide refined inequalities for such terms and pay special attention to the maximizers of the curvature bounds. In this way, we prove for the Stiefel manifold that the global bounds of 5/4 (canonical metric) and 1 (Euclidean metric) hold indeed. With this addition, a complete account of the curvature bounds in all admissible dimensions is obtained. We observe that `high curvature means low-rank', more precisely, for the Stiefel and Grassmann manifolds under the canonical metric, the global curvature maximum is attained at tangent plane sections that are spanned by rank-two matrices, while the extreme curvature cases of the Euclidean Stiefel manifold occur for rank-one matrices. Numerical examples are included for illustration purposes.

Characterizations of Forman curvature

Curvatures of Moduli Space of Curves and Applications

Graphs on surfaces with positive Forman curvature or corner curvature

Curvature Characterization of Certain Bounded Domains of Holomorphy

Total Curvature and L-2 Harmonic 1-Forms on Complete Submanifolds in Space Forms

Some Functional Properties on Cartan–Hadamard Manifolds of Very Negative Curvature

Forman curvature for directed networks

Pointwise Characterizations of Curvature and Second Fundamental Form on Riemannian Manifolds

On Kähler manifolds with non-negative mixed curvature

Sur la L2-cohomologie des varietes a courbure negative

Non-contractible closed geodesics on compact Finsler space forms without self-intersections

Curvature varifolds with orthogonal boundary

High curvature means low-rank: On the sectional curvature of Grassmann and Stiefel manifolds and the underlying matrix trace inequalities

Poincaré inequality for one forms on four manifolds with bounded Ricci curvature

Integral Bounds on Curvature and Gromov-Hausdorff Limits

A New Variational Characterization of N-Dimensional Space Forms

Volume preserving curvature flows in Lorentzian manifolds

The induced metric and bending lamination on the boundary of convex hyperbolic 3-manifolds

Form-type Equations on Kähler Manifolds of Nonnegative Orthogonal Bisectional Curvature

Defining Curvature as a Measure via Gauss-Bonnet on Certain Singular Surfaces

A Curvature Notion for Planar Graphs Stable under Planar Duality