{"entities":{"Q1208730":{"pageid":1219479,"ns":120,"title":"Item:Q1208730","lastrevid":66523263,"modified":"2026-04-12T10:39:45Z","type":"item","id":"Q1208730","labels":{"en":{"language":"en","value":"Sums and rational multiples of \\(q\\)-automatic sequences are \\(q\\)-automatic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 166973"}},"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":"Q1208730$333063E4-9F90-4F58-83AA-33FC9F1835C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c1665ac3a8af258656121997bbe28120234b4643","datavalue":{"value":{"text":"Sums and rational multiples of \\(q\\)-automatic sequences are \\(q\\)-automatic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1208730$E47F3AFA-94C1-4568-A5FC-07A42DCE1D75","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea65e18009ba5cf1006463bfe9cc5aef062b0d96","datavalue":{"value":"0768.11013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208730$887A3180-24D0-49C1-92C3-0E184BEF8648","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1c60e82f1e7c1146533f7be5d7c8b4af753cf1b","datavalue":{"value":"10.1016/0304-3975(93)90202-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208730$08B35938-E855-429E-B1AE-C68EE021C253","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208730$FD4C8EF3-B1EF-4A92-85AC-1FB67E3AFAC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1208730$31976C6B-CBD5-417F-964C-A69E152DFA19","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"af69952dff08e8fadcc28013da28a8ad069dc368","datavalue":{"value":"Let us recall that a \\(q\\)-automatic sequence \\((u_ n)_{n \\geq 0}\\) on the alphabet \\({\\mathcal A} = \\{a_ 0,a_ 1,\\dots,a_{r-1}\\}\\) is a sequence such that all the languages \\(L_ j = \\{\\)base-\\(q\\) expansion of \\(n\\), \\(u_ n = a_ j\\}\\subset \\{0,1,\\dots,q-1\\}^*\\) are rational. A theorem of \\textit{G. Christol}, \\textit{T. Kamae}, \\textit{M. Mend\u00e8s-France} and \\textit{G. Rauzy} [Bull. Soc. Math. Fr. 108, 401-419 (1990; Zbl 0472.10035)] asserts that a sequence \\((u_ n)_{n \\geq 0}\\) with values in \\(\\mathbb{F}_ q\\) is \\(q\\)-automatic if and only if the formal power series \\(\\sum_{n \\geq 0} u_ nx^ n\\) is algebraic over \\(\\mathbb{F}_ q(x)\\). Hence the sum and product of two \\(q\\)-automatic formal power series are \\(q\\)-automatic (indeed they are algebraic over \\(\\mathbb{F}_ q(x)\\)). The author addresses the same question where \\(\\sum u_ nx^ n\\) is replaced by \\(\\sum u_ n/r^ n\\), (\\({\\mathcal A} = \\{0,1,\\dots,r-1\\}\\)). The somewhat surprising answer is that the sum of two ``\\(q\\)-automatic real numbers'' is also \\(q\\)- automatic, and that the product of such a number by a rational number is also \\(q\\)-automatic. The difficulty -- of course -- is to keep carries under control! Note that this result can be compared to, (but is different from) results of C. Frougny [see \\textit{C. Frougny}, Math. Syst. Theory 25, 37-60 (1992), \\textit{D. Berend} and \\textit{C. Frougny}, Computability by finite automata and Pisot bases, Math. Syst. Theory (to appear), and \\textit{C. Frougny} and \\textit{B. Solomyak}, On representations of integers in linear numeration systems (preprint)], where the carry goes to infinity, although in Lehr's paper the carry ``comes from infinity''.   Note also that from a theorem of Loxton and van der Poorten, the result of Lehr gives a (countable) set, containing only rational and transcendental numbers, which is a \\(\\mathbb{Q}\\)-vector space! My last remark is that the word ``sequences'' in the title should have been replaced by ``real numbers''.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208730$EA968630-D398-4440-A75B-66D621D58AE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d3e055a17ce7fb6036131cf10d782136e2d9314","datavalue":{"value":"11B85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208730$F2CE3C59-5C98-40D2-807B-452F17523832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208730$CB591B89-83CC-4878-8661-FCEB963D8D66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67c479e3459103d42cecd2a34a1f2eb0011e2c54","datavalue":{"value":"166973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208730$4F26ACD3-381C-4A5F-81D6-9347BDC9806F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bba9f8957148f7cbe4337c1c5a77141bd5431b84","datavalue":{"value":"\\(q\\)-automatic sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208730$6F94C7F9-A7D4-48B1-B92F-5CF692213D75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a81112c8675af257a6d6ccead11470cea5fab2","datavalue":{"value":"digits of real number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1208730$C8B254E0-1F19-488B-86EA-5BDCCB3CE7CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be9a3433f96ad712f6e9678b63822d12684a4291","datavalue":{"value":{"entity-type":"item","numeric-id":671361,"id":"Q671361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208730$61A209DF-142F-4DBC-95F8-42AB709E5468","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"845abdf0c3e7df8eeaf94dc258fde16321cf5952","datavalue":{"value":{"entity-type":"item","numeric-id":187638,"id":"Q187638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208730$BFC746B5-E925-4D7B-8C69-7B2DA3B6558C","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":"Q1208730$2F4999AD-D3A7-4931-8704-98B4841A0AB2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0f519f2f6e5bdf48c232832e6e56400902cd2ea","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90202-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1208730$E8550DCE-9472-4A17-A5C2-24E08BE8AE1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"598e9bdc0170b5be875e0d978297e707a1332fb2","datavalue":{"value":"W2076150261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1208730$12945F15-9C4E-4CB5-BA55-BD17DB8AEE42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf31dc84a557d271370745ace82091c59a360a0c","datavalue":{"value":{"entity-type":"item","numeric-id":1100507,"id":"Q1100507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208730$7B51AF34-0F86-46AE-A5D0-21C1FFC139A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3afd0c4cd5e96965dc58343fdb8134a63c6270c","datavalue":{"value":{"entity-type":"item","numeric-id":3926680,"id":"Q3926680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1208730$891DF8DA-1B13-4B31-8468-2683B081358E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dba98ce297ee7c04a75830f4bac948d4792ee1f","datavalue":{"value":{"entity-type":"item","numeric-id":3803206,"id":"Q3803206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fd27a4814b7a4a2a25c68841780ba9262ccac7","datavalue":{"value":{"amount":"+0.8161492347717285","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":"Q1208730$3789C68A-077B-44AB-917E-744BF0EBAAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b579f74e473fa9fa236d0803212bb49757025351","datavalue":{"value":{"entity-type":"item","numeric-id":671363,"id":"Q671363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9403c1690a5d9d4ef99582c12c8e4b39ab98c509","datavalue":{"value":{"amount":"+0.8055015802383423","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":"Q1208730$E71E9BA1-6452-4587-8883-35BF2F9600F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bef167969b47b9c9e09499bab9bcbd698fbc1ec","datavalue":{"value":{"entity-type":"item","numeric-id":1311048,"id":"Q1311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9403c1690a5d9d4ef99582c12c8e4b39ab98c509","datavalue":{"value":{"amount":"+0.8055015802383423","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":"Q1208730$1765D9F1-73BA-4AD4-AEBD-F3D468CD0418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8812fa02e12a8a1c86ce6dfaebc9e44c8ec9fff3","datavalue":{"value":{"entity-type":"item","numeric-id":3798750,"id":"Q3798750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e3d8ab5b68bfe9c183e1ee01c455a7bf9726306","datavalue":{"value":{"amount":"+0.7695935964584351","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":"Q1208730$269C1C1F-DFBC-4A63-9CDE-14D82B42C268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c397659bedfde8fe7896640b1271d01a08e32c4","datavalue":{"value":{"entity-type":"item","numeric-id":4020491,"id":"Q4020491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"933f92524ee38bee678ce28cd26ca644dfee8d25","datavalue":{"value":{"amount":"+0.7591574192047119","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":"Q1208730$8A851F62-B5A2-4900-9B51-6B22DFF7CDF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sums and rational multiples of \\(q\\)-automatic sequences are \\(q\\)-automatic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sums_and_rational_multiples_of_%5C(q%5C)-automatic_sequences_are_%5C(q%5C)-automatic"}}}}}