{"entities":{"Q6596231":{"pageid":14207388,"ns":120,"title":"Item:Q6596231","lastrevid":55739239,"modified":"2026-02-17T21:58:06Z","type":"item","id":"Q6596231","labels":{"en":{"language":"en","value":"A central limit theorem for the variation of the sum of digits"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7904829"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$89FE9145-915D-454F-A324-4C46B54525FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a47141cfd092b4a5ff7f004b45ad50cd57a5c962","datavalue":{"value":{"text":"A central limit theorem for the variation of the sum of digits","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6596231$C299F816-E919-4B42-97E2-483306378795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dd353246a0cf4fcb2c8186917f4b19dce593b19","datavalue":{"value":{"entity-type":"item","numeric-id":6496964,"id":"Q6496964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$72912EA4-1CEE-4F9D-AFDE-98B77175DF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83e8dfd45b7f7ec164e2a168ba00a01348f11939","datavalue":{"value":{"entity-type":"item","numeric-id":424693,"id":"Q424693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$6744EAA9-4A88-463F-B76B-DCEADC1A4B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6337ec3886c99c3aad42d75307fef03830a13b1","datavalue":{"value":{"entity-type":"item","numeric-id":424694,"id":"Q424694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$878930B1-0B95-4085-A9E4-E64A401B653B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e50b98d4fe165ab872f3c9ddd85cac88503f418c","datavalue":{"value":{"entity-type":"item","numeric-id":169877,"id":"Q169877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$4423B57D-42D4-4CBC-9B39-C69670266326","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bfc786b40d8a5fa87ca182c2b12d1c6b9468c5a","datavalue":{"value":{"time":"+2024-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6596231$4DDDACBF-D74A-403F-8B0B-C6D8BFD7115F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b4451cb099277b0a7d55fd9e260116489a2fc5c6","datavalue":{"value":"The sum-of-digits function \\(s\\) in integer base \\(b\\ge2\\) is studied, in particular, the differences\\N\\[\\N\\Delta^{(r)}(n):=s(n+r)-s(n),\\N\\]\\Nfor integers \\(r,n\\ge0\\), and asymptotic densities\\N\\[\\N\\mu^{(r)}(d):=\\lim_{N\\rightarrow\\infty}\\frac 1N\\bigl\\lvert\\bigl\\{n<N:\\Delta^{(r)}(n)=d\\bigr\\}\\bigr\\rvert.\\N\\]\\NThe probability measures \\(\\mu^{(r)}\\) on \\(\\mathbb Z\\) form the basis for the paper under review. Up to finitely many exceptional points, the function \\(\\Delta^{(r)}\\) can be extended to the group \\(\\mathbb X\\) of \\(b\\)-adic integers (endowed with the Haar measure \\(\\mathbb P\\)). Proposition~2.2 states in particular that the values \\(\\mu^{(r)}(d)\\) are recovered when the asymptotic density is replaced by \\(\\mathbb P(\\{x\\in \\mathbb X:\\Delta^{(r)}(x)=d\\})\\). Of course, the variance\\N\\[\\N\\mathrm{Var}(\\mu^{(r)})=\\sum_{d\\in\\mathbb Z}d^2\\mu^{(r)}(d)\\N\\]\\N(for which there exists an explicit recurrence relation, see Lemma~3.3) is of great interest for the paper; lower and upper bounds are needed, and studied in detail. The main result, Theorem~1.3, states that the renormalized measures \\(\\tilde\\mu^{(r)}\\) converge, in distribution, to the standard normal law, as soon as the number of \\textit{blocks} (defined in Definition~1.1) in the base-\\(b\\) expansion tends to \\(\\infty\\). More generally an estimate for the speed of convergence is given (Theorem~1.4). This should be compared to results by \\textit{J. Emme} and \\textit{P. Hubert} [Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 19, No. 2, 757--780 (2019; Zbl 1451.60031)], and by \\textit{M. Wallner} and the reviewer [Ann. Sc. Norm. Super. Pisa, Cl. Sci. (5) 24, No. 1, 1--31 (2023; Zbl 1521.11008)].\\N\\NIn the proofs, the well-known \\textit{odometer} \\(T\\) on the set \\(\\mathbb X\\), and \\textit{Rokhlin towers} are employed. Clearly, the difference \\(\\Delta^{(r)}\\) can be written (almost surely) as a sum of differences \\(\\Delta^{(1)}\\) along subsequent iterations of the odometer; this small remark proves of great use. Theorem~1.4 is then proved by employing, among other things, a theorem by Sunklodas on the speed of convergence in the central limit theorem for \\(\\phi\\)-mixing sequences [\\textit{J. K. Sunklodas}, Lith. Math. J. 51, No. 2, 260--273 (2011; Zbl 1227.60031)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596231$40A91B08-7E30-43B9-AA2E-74F8B8127FCD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e086a72b4861c85c08be587540a16c4f6b66114","datavalue":{"value":{"entity-type":"item","numeric-id":510325,"id":"Q510325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$4C003EC4-6F53-4BB2-A31F-7BB1FD2BABE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596231$95E0270D-2242-4785-BAE5-3498D1467316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73d41e57a4d28422d6a6055e2ea688eb7cd04f07","datavalue":{"value":"37A44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596231$73F88C40-0476-42D1-A025-AB429D8C050E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"06501b652e368cc105ad78a5eac217e38c314cda","datavalue":{"value":"60F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596231$DD171AD8-BF35-46B6-92FA-A34C42DD4D17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a9d2573cba45a3b88959d2f80b004f89ec7cac48","datavalue":{"value":"7904829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596231$A99F929F-95E6-4F68-BDDB-5E7B31A81E0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c73527df394e234223d8255341409e36a6f3434","datavalue":{"value":"\\(b\\)-adic odometer","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596231$D776FF04-5A53-48BC-BE1D-A43562A4E453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1196a5aae758f1f31a1e5375742e0ae7bf556dc4","datavalue":{"value":"central limit theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596231$474BDFA4-6796-4157-B291-08F680717593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c5d3540eeccf418bdf893f9e4c8066527c40e91","datavalue":{"value":"sum of digits","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596231$2557C84A-AF25-4C0B-B2E0-7B66207EB6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0757dffa477982d3235263b38c6036b0cae0a2e4","datavalue":{"value":"\\(\\phi\\)-mixing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6596231$3178DEE8-C81A-4E70-936F-7CCA7CF283C1","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$89CF10E6-7138-470F-B156-3BE39BBDDBD5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0520efa46e1c7967cafbb850d7741f858bfc76f0","datavalue":{"value":{"entity-type":"item","numeric-id":3215033,"id":"Q3215033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$A8CABF97-3EB9-474D-9A5A-CE75FC65F293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3083f3510d824bc3da6351fc51154b7bd42dd223","datavalue":{"value":{"entity-type":"item","numeric-id":980738,"id":"Q980738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$C4805AF7-7331-42F2-8918-09D7CB004D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bfe118322bfe98f6bc72e3033754c6f00ba5dac","datavalue":{"value":{"entity-type":"item","numeric-id":5711908,"id":"Q5711908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$7654BE7E-B47E-4B0B-A3AD-7B047D4A62D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92ea34bae787904fefd38548e41a6816fe350fab","datavalue":{"value":{"entity-type":"item","numeric-id":5210972,"id":"Q5210972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$64322573-1243-4F95-ADBF-ADF0AD495BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77abae1a69efd983e43a1c9a1433f6163539267a","datavalue":{"value":{"entity-type":"item","numeric-id":5384195,"id":"Q5384195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$668DE221-DB60-4BAF-B86E-5D9B09219712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38c60b2cf8b2b33ddf0095795d7e0b8674aff48","datavalue":{"value":{"entity-type":"item","numeric-id":701551,"id":"Q701551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$3DD7F233-C854-4157-B977-4886A8E414F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d62fdc3e2592bbce6a42b7045f4350027176481e","datavalue":{"value":{"entity-type":"item","numeric-id":2855546,"id":"Q2855546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$547AFDA2-8AF1-45CF-985F-5A91FC0016E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55134671c7d13e5210bc25a9045384ee4711313e","datavalue":{"value":{"entity-type":"item","numeric-id":647161,"id":"Q647161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6596231$38541F64-F332-4065-B5FE-B51F8F6FEF1A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e157b5cf60746078fde40aebcddc19cf2dfbcd00","datavalue":{"value":"10.1214/22-AIHP1346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6596231$4E36DCE3-A0F4-42F4-A4E8-0D1823DB61B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"295f15534ce2abf93cd2031c479508f418137c26","datavalue":{"value":{"entity-type":"item","numeric-id":5210972,"id":"Q5210972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e163bd1efb7d6ae34c7ccc3072608005524c090d","datavalue":{"value":{"amount":"+0.886791467666626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6596231$8A8A0FDD-310F-4ADF-BFA5-6FFB6BE29271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b175954a71baacdf053a736502cb3e3cbf40145f","datavalue":{"value":{"entity-type":"item","numeric-id":5232913,"id":"Q5232913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bd5bcb645bfcd04f1579cd12a19a2c220e43ee","datavalue":{"value":{"amount":"+0.7860679030418396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6596231$E4236882-D7F1-4147-9F28-BCEDC535ED8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e06ecf8c829351bdf3447d810f2dde87418bf1a","datavalue":{"value":{"entity-type":"item","numeric-id":1273176,"id":"Q1273176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6849b4c8ae64f5c32e776468c7424a6ff725e871","datavalue":{"value":{"amount":"+0.7775588631629944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6596231$BCEEE8A0-DC71-46A2-84D0-94E34F4B1A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dfd184fd3961d33952b9921d9d832cbf62040d3","datavalue":{"value":{"entity-type":"item","numeric-id":462807,"id":"Q462807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35a376170b117f860797b9a2de9ffcbbccbb1dde","datavalue":{"value":{"amount":"+0.7729760408401489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6596231$8D7656E1-8B9E-4EAE-A601-2A14FD9AF88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c49f1f23f600f6c7a3eb953776cb86d82f06ec13","datavalue":{"value":{"entity-type":"item","numeric-id":676278,"id":"Q676278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8031727232a463da426982f86180b79ca61b0c1","datavalue":{"value":{"amount":"+0.7712509036064148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6596231$F0F0413F-9E7A-4ED2-9647-F097AC281FA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6596231","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6596231"}}}}}