TY - RPRT TI - A sharp Gaussian harmonic-mean inequality for Neumann eigenvalues of the Ornstein-Uhlenbeck operator AU - Francesco Chiacchio PY - 2026 UR - https://arxiv.org/abs/2607.28328 ID - 2607.28328 ER -