Construct an equivalent convex-composition formulation for regularized LDA

Determine whether the LDA trace-ratio objective with $\theta=1$ and $D=0$, namely $\operatorname{tr}(P^{}A_2P)/\operatorname{tr}(P^{}A_1P)$ on the Stiefel manifold, can be represented as a convex composition of $\operatorname{tr}(P^{}A_2P)$ and $\operatorname{tr}(P^{}A_1P)$ such that maximizing the composition is equivalent to maximizing the original objective.

Background

The paper’s NEPv framework requires the smooth learning objective to be expressible as a suitable convex composition of atomic trace functions. LDA is the special case of the Θ\Theta-trace-ratio objective with θ=1\theta=1 and D=0D=0, but the corresponding composition does not fall within the convexity range directly established for the framework. The authors therefore replace the original ratio by the modified objective [tr⁡(PA2P)]2/tr⁡(PA12P)[\operatorname{tr}(P^{}A_2P)]^2/\operatorname{tr}(P^{}A_1^2P), rather than resolving whether an equivalent convex-composition representation of the original LDA objective exists.

References

It is not clear, if at all possible, how to make a convex composition of $\tr(P{}A_2P)$ and $\tr(P{}A_1P)$ out of the function in eq:obj-ThetaTR:0 for the case $\theta=1$ and $D=0$ such that maximizing the function is equivalent to maximizing the composition over the Stiefel manifold.

eq:obj-ThetaTR:0:

$\frac {\tr(P^{}A_2P)+\tr(P^{}D)}{[\tr(P^{}A_1P)]^{\theta}}, $

— NEPv Approach for Optimization on Stiefel Manifold with the $(2,1)$-norm Regularization  (2609.26675 - Li et al., 22 Sep 2026) in Section 5.2, Subsection “LDA with the $(2,1)$-norm regularization”