edgepedia

Analytic number theory

94 articles

Exponential sum

An exponential sum, also called a trigonometric sum, is a finite sum of complex roots of unity, central to analytic number theory since Gauss's 1801 work.

Functional equation (L-function)

The functional equation of an L-function is a symmetry relating its values at s to those at 1-s, one of the defining analytic properties of L-functions.

Generalized Riemann hypothesis

The generalized Riemann hypothesis (GRH) is an unproved conjecture stating that all nontrivial zeros of every Dirichlet L-function lie on the critical line where the real part is 1/2.

Goldbach's conjecture

Goldbach's conjecture, the strong Goldbach conjecture, says every even number greater than 2 is the sum of two primes; proposed in 1742, it remains unproved.

Goldbach's weak conjecture

Goldbach's weak conjecture, also called the ternary Goldbach conjecture, states every odd integer greater than 5 is a sum of three primes; Helfgott proved it in 2013.

Hardy–Littlewood circle method

The Hardy–Littlewood circle method is an analytic number theory technique for counting integer representations as sums of powers or primes, arising from Hardy and Ramanujan's 1917 partition work.

Hardy–Littlewood conjecture

The Hardy–Littlewood conjecture, made by G. H. Hardy and John E. Littlewood in 1923, predicts how often patterns of primes occur and generalizes the twin prime conjecture.

Harmonic series (mathematics)

The harmonic series is the infinite sum of 1 + 1/2 + 1/3 + 1/4 + …, which diverges even though its terms tend to zero.

Hilbert–Pólya conjecture

The Hilbert–Pólya conjecture in number theory proposes that the Riemann zeta function's non-trivial zeros are eigenvalues of a self-adjoint operator, which would prove the Riemann hypothesis.

Incomplete gamma function

The incomplete gamma functions γ(a,z) and Γ(a,z) are the lower and upper parts of the gamma integral, used in statistics as the gamma distribution's cumulative probabilities.

Kloosterman sum

A Kloosterman sum is an exponential sum over invertible residues modulo an integer, introduced by Hendrik Kloosterman in 1926 to represent integers by quaternary quadratic forms.

Langlands program

The Langlands program, also known as the Langlands conjectures, is a collection of conjectures proposed by Robert Langlands in 1967 linking Galois representations and automorphic forms.

Langlands–Shahidi method

The Langlands–Shahidi method is a technique in automorphic forms that proves analytic continuation and functional equations for automorphic L-functions by studying constant terms of Eisenstein series.

Large sieve

The large sieve is a method in analytic number theory, introduced by Yuri Linnik in 1941, that controls a sequence of numbers simultaneously modulo many small moduli.

Largest known prime number

The largest known prime number, the Mersenne prime 2^136,279,841 − 1, has 41,024,320 digits and was found by Luke Durant via the GIMPS project in 2024.

Legendre's conjecture

Legendre's conjecture is an unsolved problem in number theory stating that there is at least one prime between every pair of consecutive squares, proposed by Adrien-Marie Legendre in 1808 and still unproven.

Leibniz formula for π

The Leibniz formula for π, also called the Gregory–Leibniz series, is the alternating series 1 − 1/3 + 1/5 − 1/7 + ⋯ that sums to π/4.

Levent Alpöge

Levent Alpöge is an American–Turkish number theorist known for results on elliptic curves and a negative solution of Hilbert's tenth problem over rings of integers.

Lindelöf hypothesis

The Lindelöf hypothesis, also known as the Lindelöf conjecture, is a 1908 conjecture of Ernst Leonard Lindelöf asserting the Riemann zeta function grows slowly on the critical line.

List of mathematical series

The list of mathematical series, also covering partial sum formulae, collects the important named series such as the geometric, harmonic, and zeta series, with their convergence and sums.

Logarithmic integral function

The logarithmic integral, li(x), is a special function defined as the integral of 1/ln t for x > 1, used as the standard approximation to the prime counting function π(x).

Mellin transform

The Mellin transform is an integral transform converting a function on the positive real axis into a function of a complex variable, the multiplicative counterpart of the Fourier transform.

Mertens function

The Mertens function, M(x) = Σ μ(n), sums the Möbius function up to x. Mertens conjectured |M(x)| < √x in 1897; Odlyzko and te Riele disproved it in 1985.

Modular form

A modular form is a holomorphic function on the complex upper half-plane that transforms in a prescribed way under a subgroup of the modular group, holomorphic at the cusps.

Modular function

A modular function is a meromorphic function on the upper half-plane, invariant under a subgroup of the modular group and meromorphic at the cusps; the j-invariant is the principal example.

Parity problem in sieve theory

The parity problem in sieve theory is the limitation that classical sieve methods cannot distinguish integers with an odd number of prime factors from integers with an even number.

Particular values of the Riemann zeta function

The particular values of the Riemann zeta function, also called zeta constants, are its values at integer arguments, such as ζ(2) = π²/6 and ζ(−1) = −1/12.

Phragmén–Lindelöf principle

The Phragmén–Lindelöf principle, also known as the Phragmén–Lindelöf theorem, is a result in complex analysis extending the maximum modulus principle to unbounded domains, proved by Phragmén and Lindelöf in 1908.

Plünnecke–Ruzsa inequality

The Plünnecke–Ruzsa inequality is a theorem in additive combinatorics stating that if |A+B| ≤ K|A|, then |kB − ℓB| ≤ K^(k+ℓ)|A|, proved by Plünnecke in 1970 and Ruzsa in 1989.

Polignac's conjecture

Polignac's conjecture, stated by Alphonse de Polignac in 1849, claims every even number occurs infinitely often as a difference between consecutive primes; its gap-2 case is the twin prime conjecture.