The Gibbs Entropy Pair Has Regular Penalised Maxima

In the setting of A Diagonal Gaussian Reference Measure on the Noise Wasserstein Space, Rescaled Heads and Gaussian Tails: Standing Notation, so that the reference measure is $\rho=\gamma_{c}$, let $V$ be an admissible cylindrical potential, let $\beta$ and $\kappa$ be positive real numbers with $c_{k}\le\kappa\,a_{k}$ for every $k\in\mathbb{N}$, and let $(\mathcal{D},\mathcal{D}_{\Sigma},\mathcal{E},\Sigma)$ be the Gibbs entropy pair with potential $V$ and temperature $\beta$, whose hypothesis holds with this $\kappa$; it is a noise penalty pair by The Gibbs Entropy Pair is a Noise Penalty Pair, with Nonnegative Penalty and Dense Score Domain §pair.

(Regular penalised maxima)¶ The pair has regular penalised maxima.