The complex sum of digits function and primes
Journal de théorie des nombres de Bordeaux, Volume 12 (2000) no. 1, p. 133-146

Canonical number systems in the ring of gaussian integers [i] are the natural generalization of ordinary q-adic number systems to [i]. It turns out, that each gaussian integer has a unique representation with respect to the powers of a certain base number b. In this paper we investigate the sum of digits function ν b of such number systems. First we prove a theorem on the sum of digits of numbers, that are not divisible by the f-th power of a prime. Furthermore, we establish an Erdös-Kac type theorem for ν b . In all proofs the equidistribution of ν b in residue classes plays a crucial rôle. Starting from this fact we use sieve methods and a version of the model of Kubilius to prove our results.

La notion de développement q-adique d’un entier, pour une base q donnée, se généralise dans l’anneau des entiers de Gauss [i] au développement d’un entier de Gauss suivant une certaine base b[i], ce développement étant unique. Dans cet article, on s’intéresse à la fonction ν b , désignant la somme de chiffres dans le développement suivant la base b. On montre un résultat sur la fonction somme de chiffres pour les nombres non multiples d’une puissance f-ième d’un nombre premier. On établit aussi pour ν b un théorème du type Erdös-Kac. Dans ces résultats, l’équidistribution de ν b joue un rôle essentiel. Partant de cela, les démonstrations font alors appel à des méthodes de crible, ainsi qu’à une version du modèle de Kubilius.

     author = {Thuswaldner, J\"org M.},
     title = {The complex sum of digits function and primes},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     publisher = {Universit\'e Bordeaux I},
     volume = {12},
     number = {1},
     year = {2000},
     pages = {133-146},
     zbl = {1012.11071},
     mrnumber = {1827844},
     language = {en},
     url = {}
Thuswaldner, Jörg M. The complex sum of digits function and primes. Journal de théorie des nombres de Bordeaux, Volume 12 (2000) no. 1, pp. 133-146.

[1] A.C. Berry, The accuracy of the Gaussian approximation to the sum of independent variates. Trans. Amer. Math. Soc 49 (1941), 121-136. | JFM 67.0461.01 | MR 3498 | Zbl 0025.34603

[2] A.N. Danilov, On sequences of values of additive arithmetical functions defined on the set of ideals of a field K of degree n over the field of rational numbers (russian). Leningrad Gos. Ped. Inst. Ucen. Zap 274 (1965), 59-70. | MR 197430 | Zbl 0161.04602

[3] P.D.T.A. Elliott, Probabilistic number theory i. central limit theorems. Springer, New-York, 1979.

[4] C.G. Esseen, Fourier analysis of distribution functions. A mathematical study of the Laplace-Gaussian law. Acta Math. 77 (1945), 1-125. | MR 14626 | Zbl 0060.28705

[5] A.O. Gelfond, Sur les nombres qui ont des propriétés additives et multiplicatives données. Acta Arithmetica 13 (1968), 259-265. | MR 220693 | Zbl 0155.09003

[6] B. Gittenberger and J.M. Thuswaldner, The moments of the sum of digits function in number fields. Canadian Math. Bull. 42 (1999), 68-77. | MR 1695870 | Zbl 1011.11009

[7] P.J. Grabner, P. Kirschenhofer, and H. Prodinger, The sum- of- digits-function for complex bases. J. London Math. Soc., to appear. | MR 1624777 | Zbl 0959.11045

[8] G.H. Hardy and E.M. Wright, An introduction to the theory of numbers. 2nd ed., Clarendon Press, Oxford, 1960. | MR 568909 | Zbl 0086.25803

[9] L.K. Hua, On exponential sums over an algebraic number field. Can. J. Math. 3 (1951), no. 1, 44-51. | MR 47697 | Zbl 0042.04301

[10] Z. Juskys, Limit theorems for additive functions defined on ordered semigroups with a regular norm (russian). Lietuvos Matematikos Rinkinys 4 (1964), 565-603. | MR 174540 | Zbl 0151.03201

[11] I. Kátai and J. Szabó, Canonical number systems for complex integers. Acta Sci. Math. (Szeged) 37 (1975), 255-260. | Zbl 0309.12001

[12] B. Kovács, Canonical number systems in algebraic number fields. Acta Math. Hungar. 37 (1981), 405-407. | Zbl 0505.12001

[13] B. Kovács and A. Pethö, Number systems in integral domains, especially in orders of algebraic number fields. Acta Sci. Math. (Szeged) 55 (1991), 286-299. | Zbl 0760.11002

[14] J. Kubilius, Probabilistic methods in the theory of numbers. Amer. Math. Soc. Translations of Math. Monographs, No. 11, Providence, 1964. | Zbl 0133.30203

[15] C. Mauduit and A. Sárközy, On the arithmetic structure of sets characterized by sum of digits properties. J. Number Theory 61 (1996), no. 1, 25-38. | Zbl 0868.11004

[16] C. Mauduit and A. Sárközy, On the arithmetic structure of the integers whose sum of digits is fixed. Acta Arith. 81 (1997), no. 2, 145-173. | Zbl 0887.11008

[17] W. Narkiewicz, Elementary and analytic theory of algebraic numbers. Springer, Berlin, 1990. | Zbl 0717.11045

[18] J.M. Thuswaldner, The sum of digits function in number fields: Distribution in residue classes. J. Number Th. 74 (1999), 111-125. | Zbl 0932.11068

[19] ____, The fundamental lemma of Kubilius and the model of Kubilius in number fields. Number Theory, Diophantine, Computational and Algebraic Aspects (Berlin) (K. Györy et. al., ed.), 1998, pp. 489-499. | Zbl 0914.11051

[20] W.-B. Zhang, Probabilistic number theory in additive semigroups I. Analytic Number Theory, Proceedings of a Conference in Honor of Heini Halberstam (Boston, Basel, Berlin) (B. C. Berndt et. al., ed.), vol. 2, 1996, pp. 839-885. | Zbl 0861.11048