Nonstandard likelihood-ratio limits under semidefinite rank constraints

We study likelihood-ratio tests for the hypothesis that a positive-semidefinite matrix has rank at most a prescribed value. The null hypothesis is stratified: points of maximal allowed rank lie on a regular boundary stratum, whereas lower-rank points are singular. Consequently, the usual chi-bar-square calibration on the top stratum does not by itself describe the whole composite null, especially along sequences whose rank changes at the local $n^{-1/2}$ scale.
After profiling regular nuisance parameters, we derive a common reduced Gaussian experiment for every fixed null rank and for all admissible local rank transitions. On the top stratum, the classical chi-bar-square law is recovered. At lower ranks, the limit generally involves projection onto a nonconvex rank-constrained semidefinite set.
Our main calibration result shows that, under isotropy, the top-stratum law is least favourable over all fixed null strata and all local null rank transitions. We also prove the corresponding transition dominance under arbitrary anisotropy when the active corank is one. Finally, on the top stratum, we obtain a conditional shape derivative for the limiting distribution and its critical value. Gaussian covariance models and finite-sample experiments illustrate nuisance profiling, rank transitions, anisotropy, and orientation sensitivity.