An Inequality for Gaussians on Lattices

TL;DR

This paper establishes a new inequality for Gaussian measures on lattices, leading to applications in Gaussian distribution moments, heat kernel properties, and correlation inequalities.

Contribution

It introduces a novel inequality relating Gaussian measures on shifted lattices, with multiple applications in lattice-based Gaussian analysis.

Findings

Derived bounds on moments of the discrete Gaussian distribution

Proved monotonicity properties of the heat kernel on flat tori

Established a positive correlation inequality for Gaussian measures on lattices

Abstract

$ \newcommand{\R}{\ensuremath{\mathbb{R}}} \newcommand{\lat}{\mathcal{L}} \newcommand{\ensuremath}[1]{#1} $We show that for any lattice $\lat \subseteq \R^n$ and vectors $\vec{x}, \vec{y} \in \R^n$, \[ \rho(\lat + \vec{x})^2 \rho(\lat + \vec{y})^2 \leq \rho(\lat)^2 \rho(\lat + \vec{x} + \vec{y}) \rho(\lat + \vec{x} - \vec{y}) \; , \] where $\rho$ is the Gaussian measure $\rho(A) := \sum_{\vec{w} \in A} \exp(-\pi \| \vec{w} \|^2)$. We show a number of applications, including bounds on the moments of the discrete Gaussian distribution, various monotonicity properties of the heat kernel on flat tori, and a positive correlation inequality for Gaussian measures on lattices.