{"entities":{"Q505037":{"pageid":506804,"ns":120,"title":"Item:Q505037","lastrevid":62337480,"modified":"2026-04-11T05:24:39Z","type":"item","id":"Q505037","labels":{"en":{"language":"en","value":"On automatic subsets of the Gaussian integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6676123"}},"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":"Q505037$EACF529D-305F-416C-96FD-778628392D67","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9df18d5cfdd4225ef030cdd59cf0bd010d31ff01","datavalue":{"value":{"text":"On automatic subsets of the Gaussian integers","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q505037$42CAACBC-EFAE-4406-AA36-EB8718367F73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7b9dcd82e636be1aecba2c35697151de7dac0ad","datavalue":{"value":"1366.11056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505037$1B42EC55-84C9-44AF-927A-9C236C3BF381","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfde49482c33c5f566889d0107276cbd72ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":169325,"id":"Q169325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$B8A478C2-F308-47B0-BD50-67C4D4D42C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71d4795e9a1a205330c0fb417205490ece5551b0","datavalue":{"value":{"entity-type":"item","numeric-id":1295295,"id":"Q1295295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$01CFCFBA-FC73-4F34-9A22-9635A65218C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cd9e374043bb49bd75c4da0c85fc79d1ba49650","datavalue":{"value":{"entity-type":"item","numeric-id":2258441,"id":"Q2258441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$21C383DD-B689-46E9-8E14-409C1BA837B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$0016CB38-E95A-4BCB-A769-A70366D0BA25","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da62c406b4a04eca20d16dbf434fddd11a83f858","datavalue":{"value":{"time":"+2017-01-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q505037$9664A1AD-1C24-492A-B2DA-2B0BA8F564B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee0183f41ef915a11cb7c26472bac88e96b9cbe2","datavalue":{"value":"https://arxiv.org/abs/1602.08579","type":"string"},"datatype":"url"},"type":"statement","id":"Q505037$16A75CB2-5910-4A6A-907B-F422481828D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8f87d338c9dda6b026db2fbed674e407b644500","datavalue":{"value":"\\textit{A. Cobham} [Math. Syst. Theory 6, 164--192 (1972; Zbl 0253.02029)] introduced the notion of what is now called a \\(k\\)-automatic sequence. Such a sequence \\((a_n)_{n \\geq 0}\\) is computed as follows: on input \\(n\\) expressed in base-\\(k\\), a finite automaton processes the digits, moving from state to state, until the input is completely read. Then, a function is applied to the last state reached to get \\(a_n\\). A set is called \\(k\\)-automatic if its characteristic sequence is \\(k\\)-automatic.  \\textit{J.-P. Allouche} et al. [Fractals 3, No. 4, 663--677 (1995; Zbl 0879.11010)] generalized this notion to, among other things, the Gaussian integers. In this paper, this idea is taken further. Using a mix of combinatorial and topological ideas, the authors prove that the set \\(\\{ a^n \\, : \\, n \\geq 0 \\}\\) is not \\(b\\)-automatic if \\(a, b \\in \\mathbb{Z}[i]\\) are multiplicatively independent. A corollary answers a question from the paper of Allouche et al.~mentioned previously. The authors also prove that the set \\(\\mathbb{Z}\\) is \\(b\\)-automatic if and only if \\(b^j \\in \\mathbb{N}\\) for some \\(j \\geq 1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q505037$BB4D2ED3-99E3-4B3C-BCE4-BD7BDAD293C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505037$89D33DDA-98C4-4C15-9F8C-79BF68E4181A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505037$9A83B79F-D7E8-46CF-AD94-C5E636F192FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e840e979351f221ec22f6596521c1e78c9e12ea1","datavalue":{"value":"11A63","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505037$9CB515F7-B9FD-4C82-A173-6A7BE1642BFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cd60821f97be8df23ca570f93f29cc8c0657ad2","datavalue":{"value":"6676123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505037$C28913BB-50A2-4040-AEAE-7DDB1AFCFB06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8be4f3423059009e8324bd94d368a40b3cb8f1d1","datavalue":{"value":"automatic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q505037$FD3C63FC-3F77-49FF-B2D1-C6E19B924373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59770f4eb6c57109822d07f53cdd8521f62e4640","datavalue":{"value":"Gaussian integer","type":"string"},"datatype":"string"},"type":"statement","id":"Q505037$66C8A3B9-F503-4181-BD33-50975C8C0DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c2acf603fba2bf1c1c888b3645b1cdd226ef9c0","datavalue":{"value":"multiplicatively independent","type":"string"},"datatype":"string"},"type":"statement","id":"Q505037$3E77724D-A0FC-4536-95A5-B49899B44E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e6fb60558ed3a0932db7f82c8efea4bc940fed6","datavalue":{"value":"Cobham's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q505037$ACA90F29-D560-48CF-992D-281120614BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde29233e1a9f3d2987841af9be4e53a4b563377","datavalue":{"value":"numeration system","type":"string"},"datatype":"string"},"type":"statement","id":"Q505037$32F2DA73-88C6-4111-91CA-0782AFD50E31","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6fa5fc7d2f93d5fbb52b8e1163bcbfe45e25f808","datavalue":{"value":{"entity-type":"item","numeric-id":405317,"id":"Q405317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$9C7BE090-37B5-4E6C-9589-214907AEBC56","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":"Q505037$2FD07D58-7CB6-4E4D-A34F-60C87A497C4E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c1dbb2de26f0665d192709295fcaf5de574b826","datavalue":{"value":"W2964343300","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505037$316BC67C-BB8F-414D-AC80-AEB7D95A75B4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"736ce52eea40bf18bed0f5f5d1fdbf9ce3d5ffed","datavalue":{"value":{"entity-type":"item","numeric-id":679441,"id":"Q679441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$0E12377B-E300-474B-BAEB-541D49AE3F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"950f3bf0951443eb1e5bcbf62abe86752f7308ef","datavalue":{"value":{"entity-type":"item","numeric-id":4431260,"id":"Q4431260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$53C95F5B-5DC0-4A3C-9937-F9B45B1D1F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$ABF095F6-28D3-4CDF-AAD3-9F93FA377D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce42fd741a9b976f025e707a9f106caec26c0707","datavalue":{"value":{"entity-type":"item","numeric-id":2346036,"id":"Q2346036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$2B131E7F-724B-4194-B550-8123F28CB635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827935aacc814cb13869c597193eebf4d3a12a0d","datavalue":{"value":{"entity-type":"item","numeric-id":5569462,"id":"Q5569462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$A995BFA9-1484-4D8E-8275-0B3990E8BB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e0fdf5df6e16c88de48f4ce98c85fa1ca353e5c","datavalue":{"value":{"entity-type":"item","numeric-id":645357,"id":"Q645357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$F4223038-2507-41EC-9844-087A48127F79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1c31502bd08e136e76231296538e01788689b4","datavalue":{"value":{"entity-type":"item","numeric-id":1781924,"id":"Q1781924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$94AC44F5-0F09-497B-B2D4-57FDBADF1380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b592417e77c3fec297bfce0262ca0623201a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3396580,"id":"Q3396580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q505037$7F95BF14-5FB6-4594-BC56-6FF1E7BBBA94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39b3aa8e2ca148c1f9bbe46e4f34ac2bb34fa992","datavalue":{"value":"10.1016/J.INDAG.2016.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q505037$5682161A-7638-44C0-959F-D93AEF309FA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29fac7f3280428070fb4483b9fb8963b0523bcd4","datavalue":{"value":{"entity-type":"item","numeric-id":2890222,"id":"Q2890222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb39621c9f962b14fe8b1307d61b6ed5b43a2884","datavalue":{"value":{"amount":"+0.7851292490959167","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":"Q505037$20CFA0C9-7CE9-434A-99A7-B1C2D0A70317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2e2193cb864411a47569b03ba78b039cb9d49e","datavalue":{"value":{"entity-type":"item","numeric-id":2947958,"id":"Q2947958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b09a7d3bac756906e33d0f71abf35a22bc5f41e","datavalue":{"value":{"amount":"+0.784877598285675","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":"Q505037$B4A3494C-F3E3-4FDC-924E-F0B43ED9C8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"366516ff323127d623a4e0db3981acabc878e351","datavalue":{"value":{"entity-type":"item","numeric-id":679441,"id":"Q679441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdf4373276c4d2ae16530f7c28ef7a7cfec6bd4e","datavalue":{"value":{"amount":"+0.7653361558914185","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":"Q505037$306F5A09-EB1B-4FDC-A2F9-F692CE263CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8326de1224e217cfaddde61d8119d8a95bd260","datavalue":{"value":{"entity-type":"item","numeric-id":3129965,"id":"Q3129965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc68e4393d49c8356aca5360dba7310f17a65fc","datavalue":{"value":{"amount":"+0.7650066018104553","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":"Q505037$03EDC660-A629-4825-90A8-F40675D950C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe3e52176a728c266bd8079011954085f292af99","datavalue":{"value":{"entity-type":"item","numeric-id":4577830,"id":"Q4577830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc68e4393d49c8356aca5360dba7310f17a65fc","datavalue":{"value":{"amount":"+0.7650066018104553","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":"Q505037$60A8059A-0412-4B86-9759-6E48E248A386","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On automatic subsets of the Gaussian integers","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_automatic_subsets_of_the_Gaussian_integers"}}}}}