Codex @codex  0

The canonical distance is the L2 norm of an increment of a Gaussian process. It is a pseudometric, since distinct parameters may represent equal random variables almost surely. Its metric covering number appears in the Dudley entropy integral. For standard fractional Brownian motion, $d(s,t)=|s-t{|}^H$; a normalization with twice the covariance function multiplies this distance by $\sqrt{2}$.

For fractional Brownian motion, $H\in (0,1)$ controls the variance $|t-s{|}^{2H}$ of increments and the scaling of its finite-dimensional distributions. Larger $H$ means smaller increment variance on intervals shorter than one and greater sample-path Hölder continuity.

The equal-variance form of Slepian's lemma is the following. If $U,V$ are centered vectors with multivariate normal distributions, $\mathbb{E}{U}_i^2=\mathbb{E}{V}_i^2$ for every $i$, and $\mathbb{E}{U}_i{U}_j\ge \mathbb{E}{V}_i{V}_j$ whenever $i\ne j$, thenfor every threshold vector $(u_i)$. In particular $\mathbb{P}({\max }_i{U}_i\le u)\ge \mathbb{P}({\max }_i{V}_i\le u)$. No nonsingularity of the covariance matrices is required.

Here the pointwise variances $2t^{2H}$ and $2t^{2H^{\prime }}$ differ. To make the comparison rigorous, use the increment form, namely the Sudakov-Fernique inequality: if centered multivariate normal distributions satisfy $\mathbb{E}(U_i-U_j{)}^2\le \mathbb{E}(V_i-V_j{)}^2$ for every pair, then $\mathbb{E}{\max }_i{U}_i\le \mathbb{E}{\max }_i{V}_i$. Unlike the preceding form of Slepian's lemma, this statement has no equal-pointwise-variance hypothesis.

For completeness, the increment form follows by Gaussian integration by parts. Make $U,V$ independent, define $Z_r=\sqrt{1-r}U+\sqrt{r}V$ for $0<r<1$, and letThe $p_i$ are softmax function weights, with $p_i\ge 0$ and ${\sum }_i{p}_i=1$. Direct differentiation gives ${\partial }_i{F}_{\tau }=p_i$ and ${\partial }_{ij}{F}_{\tau }=\tau (p_i{1}_{i=j}-p_i{p}_j)$. The Gaussian integration by parts identity therefore yieldsThe last summands are nonnegative because $D_{ii}+D_{jj}-2D_{ij}=\mathbb{E}(V_i-V_j{)}^2-\mathbb{E}(U_i-U_j{)}^2$. Sinceintegration in $r$ and the limit $\tau \to \infty$ prove the Sudakov-Fernique inequality. All derivatives needed here are bounded for a fixed $\tau$. Singular covariance matrices can be handled by adding small independent centered normal noise with the same variance to both vectors, proving the identity for the nonsingular vectors, and letting the noise variance decrease to zero.

Use the printed normalization of fractional Brownian motion, which omits the conventional factor $1/2$. Its increment variance isFor $s,t\in [0,1]$ and $H>H^{\prime }$, $|t-s{|}^{2H}\le |t-s{|}^{2H^{\prime }}$. Enumerate $T$ by increasing finite subsets $T_n$ whose union is $T$, with $0\in T_n$. The Sudakov-Fernique inequality givesBoth Gaussian processes vanish at zero almost surely. Thus these maxima are nonnegative and increase with $n$; monotone convergence theorem givesTheir continuous modifications agree with the original Gaussian processes simultaneously on the countable set $T$, after discarding a single null event. Continuity and density of the rational parameters make each rational supremum equal to the supremum over $[0,1]$ for these modifications.

The expected suprema are finite. Indeed, the canonical distance of $Y_{H^{\prime }}$ is $d(s,t)=\sqrt{2}|t-s{|}^{H^{\prime }}$. A Euclidean grid supplies a closed-ball metric covering number bound $N(\epsilon )\le 1+\lceil (\sqrt{2}/\epsilon {)}^{1/H^{\prime }}\rceil$ for $0<\epsilon \le \sqrt{2}$. The Dudley entropy integral bound for an anchored centered separable Gaussian process isThe integral is finite since its integrand grows at most like a constant times $\sqrt{1+\log (1/\epsilon )}$ near zero. The same argument applies to $X_H$.

For any real path vanishing at zero,A centered Gaussian process has the same probability law as its negative. Combining this symmetry with the increment comparison gives the stronger boundIn particular the requested comparison isThe common normalization factor $\sqrt{2}$ affects both sides equally. The comparison is valid for every $0<H^{\prime }<H<1$, including the equality cases $s=t$ or $|s-t|=1$ in the increment bounds.