Entropy of a smooth periodic function ball
ID: entropy-of-a-smooth-periodic-function-ball
For the unit ball of measured in the uniform metric, . The lower bound uses disjoint bump functions of spatial scale , height proportional to and independently chosen zero/one coefficients: there are functions separated at scale . For the upper bound, Multivariable Jackson approximation gives a trigonometric polynomial of degree . Its coefficients are bounded and can be rounded with coefficient accuracy proportional to divided by the coefficient count. Counting those rounded coefficient arrays supplies the logarithmic factor. The continuous-function unit ball without derivative bounds has infinite entropy for , by an infinite sequence of disjoint height-one bumps.
New to topics? Read the docs here!