OAI/NumberTheory/TwoPoint/Fourier/MinorArcSeparatedKernel.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A finite Vinogradov kernel bound on a separated set of phases.

  1. lemma OAI.TwoPointCorrelations.minor_arc_kernel_le line 11
  2. theorem OAI.TwoPointCorrelations.minor_arc_separated_kernel line 17
  3. theorem OAI.TwoPointCorrelations.minor_arc_rational_block line 39