OAI/NumberTheory/CubicMoment/Estimates/ExceptionalTripleScale.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

A surviving tuple in the specified exceptional neighborhood is balanced enough that the product of the other two scales exceeds each single scale. This supplies the lower transition range also off the flat locus.

  1. lemma OAI.CubicFirstMoment.exceptionalTriple_coordinate_exponent line 14
  2. lemma OAI.CubicFirstMoment.exceptionalTriple_coordinate_norm line 21
  3. theorem OAI.CubicFirstMoment.exceptionalTriple_scale_square line 38