A diameter gap for irreducible compact symmetric spaces of fixed rank
For every positive integer $r$, we prove that positive-diameter isometric quotients of simply connected irreducible compact Riemannian symmetric spaces of rank $r$ have a uniform positive lower bound on their normalized diameter. The bound is independent of dimension and of the acting group, which may be disconnected. The rank-one case is due to Gorodski, Lange, Lytchak, and Mendes \cite{GLLM}. For the higher-rank Grassmannian families, we construct nonconstant invariant functions of bounded trigonometric degree. The real and complex cases use a moment map argument. The quaternionic case uses a quartic rigidity argument and the classification of compact quaternionic symmetric spaces.