Mean-field bound on the 1-arm exponent for Ising ferromagnets in high dimensions

The 1-arm exponent $\rho$ for the ferromagnetic Ising model on ${\mathbb{Z}}^d$ is the critical exponent that describes how fast the critical 1-spin expectation at the center of the ball of radius $r$ surrounded by plus spins decays in powers of $r$. Suppose that the spin-spin coupling $J$ is translation-invariant, ${\mathbb{Z}}^d$-symmetric and finite-range. Using the random-current representation and assuming the anomalous dimension $\eta =0$, we show that the optimal mean-field bound $\rho \le 1$ holds for all dimensions $d>4$. This significantly improves a bound previously obtained by a hyperscaling inequality.