{"entities":{"Q2305152":{"pageid":2315895,"ns":120,"title":"Item:Q2305152","lastrevid":57840000,"modified":"2026-04-02T18:24:28Z","type":"item","id":"Q2305152","labels":{"en":{"language":"en","value":"Towards a sharp converse of Wall's theorem on arithmetic progressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7178657"}},"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":"Q2305152$8E80F467-ED95-40A3-BDAA-980A3A19998D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"69b1fbc8f6b79e0be5f21aca91632478aefdad4f","datavalue":{"value":{"text":"Towards a sharp converse of Wall's theorem on arithmetic progressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2305152$242839CB-18B5-45B5-86CA-A19BBC1A72F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1429248bd447a1517dfe61c774f6ac24de5e994c","datavalue":{"value":"1439.11182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305152$4C255213-D5EC-44B1-8EF8-8C4337E9D05A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02e025fd535e559ebbdf6953c7ab68b5c21bcc2c","datavalue":{"value":{"entity-type":"item","numeric-id":267052,"id":"Q267052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$C62B9073-1E7D-410A-9542-33105C3DD975","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$A5D371D4-02A6-47E2-BD0A-47CC36E9BFBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf314df552e26dc257d6d24b288f7144e19fa20","datavalue":{"value":{"time":"+2020-03-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2305152$3CDFE587-5C0C-4077-AFAE-6FDFD29FE7C1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b214db69c5890469b2dc3a2af16644327451223","datavalue":{"value":"https://arxiv.org/abs/1711.07047","type":"string"},"datatype":"url"},"type":"statement","id":"Q2305152$6FE4E2A7-1BCC-46C4-88D1-E395F2CA4F93","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b546321fadb198e98fc228d6ff605fb2f0d332ff","datavalue":{"value":"The author of the present article investigates Wall's theorem on arithmetic progressions of digits. In particular, he shows a kind of converse statement. The used methods are of elementary nature.  Let \\(b\\geq2\\) be an integer. Suppose that \\(x\\in[0,1)\\) hase base \\(b\\)-expansion \\(x=0.a_1a_2a_3\\ldots\\) with \\(a_i\\in\\{0,1,\\ldots,b-1\\}\\) for \\(i\\geq 1\\). Then we call \\(x\\) normal (in base \\(b\\)) if for every integer \\(k\\geq1\\) and every finite string \\(s=[d_1,d_2,\\ldots,d_k]\\) with \\(d_i\\in\\{0,1,\\ldots,k-1\\}\\) for \\(1\\leq i\\leq k\\) the asymptotic frequency of occurrences of this string in the base \\(b\\)-expansion is \\(b^{-k}\\), i.e.,  \\[\\lim_{n\\to\\infty}\\frac{\\#\\{0\\leq i\\leq n-1\\colon a_{i+j}=d_j,j=1,2,\\ldots,k\\}}{n}=\\frac{1}{b^k}.\\]  Then Wall's theorem states that if \\(0.a_1a_2a_3\\) is normal (in base \\(b\\)) then for any \\(k,\\ell\\in\\mathbb{N}\\) the number \\(0.a_{k}a_{k+\\ell}a_{k+2\\ell}\\ldots\\) is also normal (in base \\(b\\)). The author's first observation is that the exclusions of the trivial case \\(\\ell=1\\) is not sufficient. In particular, he shows the existence of numbers \\(0.a_1a_2a_3\\ldots\\in[0,1)\\) which are not normal (in base \\(b\\)) such that for every \\(k\\in\\mathbb{N}\\) and every \\(\\ell\\in\\mathbb{N},\\ell\\geq2\\), the number \\(0.a_{k}a_{k+\\ell}a_{k+2\\ell}\\ldots\\) is normal.  Let \\(x=0.a_1a_2a_3\\ldots\\in[0,1)\\) and suppose that for any \\(\\varepsilon>0\\) there exists an increasing sequence \\(n_1<n_2<n_3<\\cdots\\) of positive integers with asymptotic lower density greater than \\(1-\\varepsilon\\) such that \\(0.a_{n_1}a_{n_2}a_{n_3}\\ldots\\in[0,1)\\) is normal (in base \\(b\\)). Then the author shows that \\(x\\) is normal (in base \\(b\\)).  Finally, let \\(\\mathcal{N}\\) be a collection of periodic increasing sequences \\(n_1<n_2<n_3<\\cdots\\) of the positive integers. Suppose there exist elements \\(K\\) and \\(L\\) of \\(\\mathbb{N}\\) such that \\[\\{K(n-1)+L,K(n-1)+L+1,K(n-1)+L+2,\\ldots,Kn+L-1\\}\\] is not a subset of any of the sequences for any \\(n\\in\\mathbb{N}\\). Then the author shows that there exists a real number \\(0.a_1a_2a_3\\ldots\\in[0,1)\\) that is not normal (in base \\(b\\)), but \\(0.a_{n_1}a_{n_2}a_{n_3}\\ldots\\in[0,1)\\) is normal (in base \\(b\\)) for all sequences in \\(\\mathcal{N}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305152$0AD923E2-E509-4221-8557-0573E167599A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b9cbebef8c0e665f74cdecaeecd013998280938c","datavalue":{"value":{"entity-type":"item","numeric-id":379128,"id":"Q379128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$5DC62927-7186-46FD-A51A-342C54B67243","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"60e34aad7a008d1af33d80ab68d235c199c3462a","datavalue":{"value":"11K16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305152$992A7030-3610-4C14-92C8-C80A811EE64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305152$5CD2BFD6-BF34-4CB2-852F-810B55C194E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c62565cbfa87edf1c228b31b642ddb27596f5aff","datavalue":{"value":"7178657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305152$644AC14F-5059-4F75-83D2-BB51E77863A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ce0e4c90f9e7107bc587f69300333acd09f3e04","datavalue":{"value":"normal number","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305152$446172EB-243F-42C0-80DD-3B5D21995774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cadf6a32b3fd0929cb18020c8ebe05cb733b825","datavalue":{"value":"radix representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2305152$F4EFBC08-2CA7-45F7-90C8-C2F186175881","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":"Q2305152$D2131488-3597-4F35-AF24-1A27B85C3D87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b0f19aa3db60af05aef5c814f8275d1ee2cc469c","datavalue":{"value":"W2769915858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305152$D081E28B-47D0-450F-86AE-779642F55672","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4171469d1e4a58fad028570d9eb99e4788378e","datavalue":{"value":{"entity-type":"item","numeric-id":4189481,"id":"Q4189481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$612F707D-9162-4C18-83AE-822ABC76E963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c72c05ecdc54f100691984dee31c3cabf3080b59","datavalue":{"value":{"entity-type":"item","numeric-id":759125,"id":"Q759125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$5A7F6E11-6CD7-48A2-B379-DEC0B5565359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a07d64aab01dadf536f47f1ee178bb11ded14b","datavalue":{"value":{"entity-type":"item","numeric-id":2634824,"id":"Q2634824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$99ABAA8C-1685-4A50-B428-5CD1101A55BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd9dcc36da1b1d3b6e7496779e169e23793d701","datavalue":{"value":{"entity-type":"item","numeric-id":2650860,"id":"Q2650860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$1B591A7E-1DFD-4947-8622-DA8B9E779CCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01dfc6f17d5b1dbe7ed650f156f5f8d1b4a6b9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4773782,"id":"Q4773782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$48AC827E-4BE4-40E3-B5C1-5097A90A6EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40da72ca9398798261367fde1ed913887961e0ae","datavalue":{"value":{"entity-type":"item","numeric-id":772256,"id":"Q772256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$E7DA6F62-3A03-4BAD-AF25-2C8C84B0AE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f0d95a324d6cc19d79e4770ea82b911e70cf01","datavalue":{"value":{"entity-type":"item","numeric-id":2535731,"id":"Q2535731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$7135AB22-6CDD-45EF-9C77-5FA5C84B6FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a92ce081dd67d1c9526b208f21f9cb4c34b19f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4937537,"id":"Q4937537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2305152$D7E015BB-FBB7-405E-B9D0-968D711F1119","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68e056afccc6bb7840556e6ae9e71d4b4d4b12d7","datavalue":{"value":"10.2140/PJM.2019.300.499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2305152$7CB2153B-6F75-4764-9665-BD69B5BEE004","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f893f8aa963c628382d52ee116993c1dc2545e","datavalue":{"value":{"entity-type":"item","numeric-id":4972076,"id":"Q4972076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44fa21afec636b1f756e300b1c10988c68bb8e7c","datavalue":{"value":{"amount":"+0.8086410164833069","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":"Q2305152$5237B292-61E6-4D78-ABEB-BD22263D28ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bda41c1f495d01344a7c59a8346ccd0e59b7c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4807443,"id":"Q4807443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc6359da18f1f0e1066125c19e041676acdf7018","datavalue":{"value":{"amount":"+0.7680860757827759","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":"Q2305152$8032DF0E-4788-4CC3-8A36-D08F140DABFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847228bd35f7afcdf644b008899f4be1533b1b2c","datavalue":{"value":{"entity-type":"item","numeric-id":267053,"id":"Q267053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e487b298e9d016a78e9c17c77e7e0a84231b7ac","datavalue":{"value":{"amount":"+0.7190868854522705","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":"Q2305152$B15B64A8-DB11-4194-941F-A169165D6A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388222b1a55f8ca3c96630076cd6363ece3bc6aa","datavalue":{"value":{"entity-type":"item","numeric-id":1725579,"id":"Q1725579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc06c84cc0643ff7a70ca87297d9166651452ce","datavalue":{"value":{"amount":"+0.705333411693573","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":"Q2305152$E427F3EC-BD5D-43A5-A934-674B5FCBCDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3310f4750455fea9a07a2ba6dd3fdf91c19addc1","datavalue":{"value":{"entity-type":"item","numeric-id":5842538,"id":"Q5842538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74670bda5a1bc48ce57fab2198a9ada5aaaa7a4","datavalue":{"value":{"amount":"+0.7015456557273865","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":"Q2305152$A719A569-6D50-4885-8F95-7924FEEF3800","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2305152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2305152"}}}}}