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!