Gaussian dyadic summation bound

ID: gaussian-dyadic-summation-bound

For fixed , and , complete the square in the exponent. A translated Gaussian function summed on a fixed-spaced lattice has mass uniformly in the translate, by comparison with its integral and its maximum. This keeps a square-root logarithm, rather than the full number of dyadic intervals, when summing exponentially damped exponential sum bounds.

New to topics? Read the docs here!