1 citations · 2 across the 5 of their papers we have counts for
5 papers
New exponent pairs, zero density estimates, and zero additive energy estimates: a systematic approach
Terence Tao, Tim Trudgian, Andrew Yang
We obtain several new bounds on exponents of interest in analytic number theory, including four new exponent pairs, new zero density estimates for the Riemann zeta-function, and ne…
A complete formalization of Fermat's Last Theorem for regular primes in Lean
Alex Best, Christopher Birkbeck, Riccardo Brasca +3
We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstr…
Strong Data Processing Inequalities and their Applications to Reliable Computation
Andrew K. Yang
In 1952, von Neumann gave a series of groundbreaking lectures that proved it was possible for circuits consisting of 3-input majority gates that have a sufficiently small independe…
Applications of Moments of Dirichlet Coefficients in Elliptic Curve Families
Zoë Batterman, Aditya Jambhale, Steven J. Miller +4
The moments of the coefficients of elliptic curve L-functions are related to numerous arithmetic problems. Rosen and Silverman proved a conjecture of Nagao relating the first momen…
The Reversed Zeckendorf Game
Zoë X. Batterman, Aditya Jambhale, Steven J. Miller +4
Zeckendorf proved that every natural number can be expressed uniquely as a sum of non-consecutive Fibonacci numbers, called its Zeckendorf decomposition. Baird-Smith, Epstein,…