Quantitative quadratic recurrence
ID: quantitative-quadratic-recurrence
For a universal constant and , every real admits with distance to the nearest integer of less than . A Fejér kernel detects failure of recurrence as a large quadratic exponential sum. The Van der Corput inequality for finite scalar sequences then produces a short linear near-return, whose suitable multiple gives the quadratic return. To include , use the bound .
New to topics? Read the docs here!