Kummer sum

Last updated

In mathematics, Kummer sum is the name given to certain cubic Gauss sums for a prime modulus p, with p congruent to 1 modulo 3. They are named after Ernst Kummer, who made a conjecture about the statistical properties of their arguments, as complex numbers. These sums were known and used before Kummer, in the theory of cyclotomy.

Contents

Definition

A Kummer sum is therefore a finite sum

taken over r modulo p, where χ is a Dirichlet character taking values in the cube roots of unity, and where e(x) is the exponential function exp(2πix). Given p of the required form, there are two such characters, together with the trivial character.

The cubic exponential sum K(n,p) defined by

is easily seen to be a linear combination of the Kummer sums. In fact it is 3P where P is one of the Gaussian periods for the subgroup of index 3 in the residues mod p, under multiplication, while the Gauss sums are linear combinations of the P with cube roots of unity as coefficients. However it is the Gauss sum for which the algebraic properties hold. Such cubic exponential sums are also now called Kummer sums.

Statistical questions

It is known from the general theory of Gauss sums that

In fact the prime decomposition of G(χ) in the cyclotomic field it naturally lies in is known, giving a stronger form. What Kummer was concerned with was the argument

of G(χ). Unlike the quadratic case, where the square of the Gauss sum is known and the precise square root was determined by Gauss, here the cube of G(χ) lies in the Eisenstein integers, but its argument is determined by that of the Eisenstein prime dividing p, which splits in that field.

Kummer made a statistical conjecture about θp and its distribution modulo 2π (in other words, on the argument of the Kummer sum on the unit circle). For that to make sense, one has to choose between the two possible χ: there is a distinguished choice, in fact, based on the cubic residue symbol. Kummer used available numerical data for p up to 500 (this is described in the 1892 book Theory of Numbers by George B. Mathews). There was, however, a 'law of small numbers' operating, meaning that Kummer's original conjecture, of a lack of uniform distribution, suffered from a small-number bias. In 1952 John von Neumann and Herman Goldstine extended Kummer's computations, on ENIAC. [1] The calculations were programmed and coded by Hedvig Selberg but her work was only acknowledged at the end of the paper, similarly as with Mary Tsingou on the Fermi–Pasta–Ulam–Tsingou problem (formerly the Fermi–Pasta–Ulam problem).

In the twentieth century, progress was finally made on this question, which had been left untouched for over 100 years. Building on work of Tomio Kubota, S. J. Patterson and Roger Heath-Brown in 1978 disproved Kummer conjecture and proved a modified form of Kummer conjecture. [2] In fact they showed that there was equidistribution of the θp. This work involved automorphic forms for the metaplectic group, and Vaughan's lemma in analytic number theory. In 2000 further refinements were attained by Heath-Brown. [3]

Cassels' conjecture

A second conjecture on Kummer sums was made by J. W. S. Cassels, again building on previous ideas of Tomio Kubota. This was a product formula in terms of elliptic functions with complex multiplication by the Eisenstein integers. [4] The conjecture was proved in 1978 by Charles Matthews. [5]

Patterson's conjecture

In 1978 Patterson conjectured that θp was equidistributed with error term asymptotically of order instead of quadratic as with Gauss sums which could explain the initial bias observed by Kummer. [6] Next year his subsequent work with Heath-Brown disproving Kummer conjecture showed that in fact it was equidistributed but if the order of the asymptotic was correct remained unknown. [7] More than 20 years later Heath-Brown closed on the problem giving new sieve method and conjectured it could be improved to obtain the predicted order. [8] In 2021 the problem was demonstrated conditionally on the generalized Riemann hypothesis by Alexander Dunn and Maksym Radziwill, who also showed that sieve of Heath Brown could not be improved as expected. [9] [10]

Related Research Articles

Ferdinand Georg Frobenius German mathematician

Ferdinand Georg Frobenius was a German mathematician, best known for his contributions to the theory of elliptic functions, differential equations, number theory, and to group theory. He is known for the famous determinantal identities, known as Frobenius–Stickelberger formulae, governing elliptic functions, and for developing the theory of biquadratic forms. He was also the first to introduce the notion of rational approximations of functions, and gave the first full proof for the Cayley–Hamilton theorem. He also lent his name to certain differential-geometric objects in modern mathematical physics, known as Frobenius manifolds.

In mathematics, Eisenstein's criterion gives a sufficient condition for a polynomial with integer coefficients to be irreducible over the rational numbers – that is, for it to not be factorizable into the product of non-constant polynomials with rational coefficients.

In mathematics, Helmut Hasse's local–global principle, also known as the Hasse principle, is the idea that one can find an integer solution to an equation by using the Chinese remainder theorem to piece together solutions modulo powers of each different prime number. This is handled by examining the equation in the completions of the rational numbers: the real numbers and the p-adic numbers. A more formal version of the Hasse principle states that certain types of equations have a rational solution if and only if they have a solution in the real numbers and in the p-adic numbers for each prime p.

In mathematics, the Chowla–Selberg formula is the evaluation of a certain product of values of the Gamma function at rational values in terms of values of the Dedekind eta function at imaginary quadratic irrational numbers. The result was essentially found by Lerch (1897) and rediscovered by Chowla and Selberg.

The Erdős–Straus conjecture is an unproven statement in number theory. The conjecture is that, for every integer that is 2 or more, there exist positive integers , , and for which

Legendre's conjecture, proposed by Adrien-Marie Legendre, states that there is a prime number between and for every positive integer . The conjecture is one of Landau's problems (1912) on prime numbers; as of 2022, the conjecture has neither been proved nor disproved.

Roger Heath-Brown British mathematician

David Rodney "Roger" Heath-Brown FRS, is a British mathematician working in the field of analytic number theory.

The Ax–Kochen theorem, named for James Ax and Simon B. Kochen, states that for each positive integer d there is a finite set Yd of prime numbers, such that if p is any prime not in Yd then every homogeneous polynomial of degree d over the p-adic numbers in at least d2 + 1 variables has a nontrivial zero.

Cubic reciprocity is a collection of theorems in elementary and algebraic number theory that state conditions under which the congruence x3 ≡ p (mod q) is solvable; the word "reciprocity" comes from the form of the main theorem, which states that if p and q are primary numbers in the ring of Eisenstein integers, both coprime to 3, the congruence x3 ≡ p is solvable if and only if x3 ≡ q is solvable.

In algebraic number theory, a Gauss sum or Gaussian sum is a particular kind of finite sum of roots of unity, typically

In mathematics, an Igusa zeta function is a type of generating function, counting the number of solutions of an equation, modulop, p2, p3, and so on.

The Hasse–Davenport relations, introduced by Davenport and Hasse (1935), are two related identities for Gauss sums, one called the Hasse–Davenport lifting relation, and the other called the Hasse–Davenport product relation. The Hasse–Davenport lifting relation is an equality in number theory relating Gauss sums over different fields. Weil (1949) used it to calculate the zeta function of a Fermat hypersurface over a finite field, which motivated the Weil conjectures.

In mathematics, the conductor-discriminant formula or Führerdiskriminantenproduktformel, introduced by Hasse for abelian extensions and by Artin (1931) for Galois extensions, is a formula calculating the relative discriminant of a finite Galois extension of local or global fields from the Artin conductors of the irreducible characters of the Galois group .

In mathematics, a p-adic zeta function, or more generally a p-adic L-function, is a function analogous to the Riemann zeta function, or more general L-functions, but whose domain and target are p-adic. For example, the domain could be the p-adic integersZp, a profinite p-group, or a p-adic family of Galois representations, and the image could be the p-adic numbersQp or its algebraic closure.

In mathematics, the Artin conductor is a number or ideal associated to a character of a Galois group of a local or global field, introduced by Emil Artin as an expression appearing in the functional equation of an Artin L-function.

In mathematics, an elliptic Gauss sum is an analog of a Gauss sum depending on an elliptic curve with complex multiplication. The quadratic residue symbol in a Gauss sum is replaced by a higher residue symbol such as a cubic or quartic residue symbol, and the exponential function in a Gauss sum is replaced by an elliptic function. They were introduced by Eisenstein (1850), at least in the lemniscate case when the elliptic curve has complex multiplication by i, but seem to have been forgotten or ignored until the paper.

In mathematics, an Eisenstein sum is a finite sum depending on a finite field and related to a Gauss sum. Eisenstein sums were introduced by Eisenstein in 1848, named "Eisenstein sums" by Stickelberger in 1890, and rediscovered by Yamamoto in 1985, who called them relative Gauss sums.

In mathematics, Jacobsthal sums are finite sums of Legendre symbols related to Gauss sums. They were introduced by Jacobsthal (1907).

Samuel James Patterson British mathematician

Samuel James Patterson is a Northern Irish mathematician specializing in analytic number theory. He has been a professor at the University of Göttingen since 1981.

Sums of three cubes Problem in number theory

In the mathematics of sums of powers, it is an open problem to characterize the numbers that can be expressed as a sum of three cubes of integers, allowing both positive and negative cubes in the sum. A necessary condition for to equal such a sum is that cannot equal 4 or 5 modulo 9, because the cubes modulo 9 are 0, 1, and −1, and no three of these numbers can sum to 4 or 5 modulo 9. It is unknown whether this necessary condition is sufficient.

References

  1. ↑ von Neumann, John; Goldstine, Herman H. (1953). "A Numerical Study of a Conjecture of Kummer". Mathematics of Computation. 7 (42): 133–134. doi: 10.1090/S0025-5718-1953-0055784-0 . MR   0055784.
  2. ↑ Heath-Brown, D. Roger; Patterson, Samuel James (1979). "The distribution of Kummer sums at prime arguments". Journal für die reine und angewandte Mathematik . 310 (310): 111–130. doi:10.1515/crll.1979.310.111. MR   0546667.
  3. ↑ Heath-Brown, D. R. (2000). "Kummer's conjecture for cubic Gauss sums". Israel Journal of Mathematics . 120: part A, 97–124. CiteSeerX   10.1.1.215.8362 . doi: 10.1007/s11856-000-1273-y . MR   1815372.
  4. ↑ Cassels, J. W. S. (1970). "On Kummer sums". Proceedings of the London Mathematical Society . Series 3. 21: 19–27. doi:10.1112/plms/s3-21.1.19. MR   0266895.
  5. ↑ Matthews, Charles R. (1979). "Gauss sums and elliptic functions. I. The Kummer sum". Inventiones Mathematicae . 52 (2): 163–185. doi: 10.1007/BF01403063 . MR   0536079.
  6. ↑ Patterson, S. J. (1978). "On the distribution of Kummer sums". Journal für die reine und angewandte Mathematik. 0303_0304: 126–143. ISSN   0075-4102.
  7. ↑ Heath-Brown, D. Roger; Patterson, Samuel James (1979). "The distribution of Kummer sums at prime arguments". Journal für die reine und angewandte Mathematik . 310 (310): 111–130. doi:10.1515/crll.1979.310.111. MR   0546667.
  8. ↑ Heath-Brown, D. R. (2000). "Kummer's conjecture for cubic Gauss sums". Israel Journal of Mathematics . 120: part A, 97–124. CiteSeerX   10.1.1.215.8362 . doi: 10.1007/s11856-000-1273-y . MR   1815372.
  9. ↑ Dunn, Alexander; Radziwiłł, Maksym (2021-09-15). "Bias in cubic Gauss sums: Patterson's conjecture". arXiv:2109.07463 [math].
  10. ↑ Sloman, Leila (2022-08-15). "A Numerical Mystery From the 19th Century Finally Gets Solved". Quanta Magazine. Retrieved 2022-08-17.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.