[75] Assume $\hat{\theta}=0$. Then the second variation of $\mathcal{S}$ at a critical point is positive semidefinite. Furthermore, along a geodesic with respect to Solomon’s formal Riemannian metric, the functional $\mathcal{S}$ is convex.