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.
Definition
editA 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
editIt 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
editA 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
editIn 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's conjecture showed that in fact it was equidistributed, but whether the order of the asymptotic was correct remained unknown.[7] More than 20 years later, Heath-Brown closed on the problem, giving a new sieve method, and conjectured that 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 the sieve of Heath Brown could not be improved as expected.[9][10]
References
edit- ^ 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.
- ^ Heath-Brown, D. Roger; Patterson, Samuel James (1979). "The distribution of Kummer sums at prime arguments". Journal für die reine und angewandte Mathematik. 1979 (310): 111–130. doi:10.1515/crll.1979.310.111. MR 0546667. S2CID 122636972.
- ^ 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.
- ^ 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.
- ^ Matthews, Charles R. (1979). "Gauss sums and elliptic functions. I. The Kummer sum". Inventiones Mathematicae. 52 (2): 163–185. Bibcode:1979InMat..52..163M. doi:10.1007/BF01403063. MR 0536079.
- ^ 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.
- ^ Heath-Brown, D. Roger; Patterson, Samuel James (1979). "The distribution of Kummer sums at prime arguments". Journal für die reine und angewandte Mathematik. 1979 (310): 111–130. doi:10.1515/crll.1979.310.111. MR 0546667. S2CID 122636972.
- ^ 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.
- ^ Dunn, Alexander; Radziwiłł, Maksym (2021-09-15). "Bias in cubic Gauss sums: Patterson's conjecture". arXiv:2109.07463 [math.NT].
- ^ Sloman, Leila (2022-08-15). "A Numerical Mystery From the 19th Century Finally Gets Solved". Quanta Magazine. Retrieved 2022-08-17.
- Bredikhin, B.M. (2001) [1994], "Kummer hypothesis", Encyclopedia of Mathematics, EMS Press