{"entities":{"Q1784000":{"pageid":1794742,"ns":120,"title":"Item:Q1784000","lastrevid":72950154,"modified":"2026-04-14T08:58:03Z","type":"item","id":"Q1784000","labels":{"en":{"language":"en","value":"Hypertranscendence of solutions of Mahler equations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6941800"}},"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":"Q1784000$63B987DF-0539-40BE-B818-278322CFD5EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"277eb49d514381060a9318d8d10b854e8229001c","datavalue":{"value":{"text":"Hypertranscendence of solutions of Mahler equations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784000$CCBDE7A1-62DF-4B11-B6B6-1BA3A87C84BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3006f4e7488e807fb9109d5d36ea6bae3a08b6a2","datavalue":{"value":"1455.11107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$AB90DCF9-D0CB-4888-8A3F-E60F71AA2E41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f6be636dc05d50e86a806acbcad6f27bcd93f3d","datavalue":{"value":"10.4171/JEMS/810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$30B85F97-4620-4E8F-AC21-690B5C6774D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"526d3d9a362baec4568c99ab22617717d520afc0","datavalue":{"value":{"entity-type":"item","numeric-id":471289,"id":"Q471289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784000$12D5BB62-DD0C-4BAD-B848-CF00554C9437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc393f7b8fd1820e3f91e321be37dfb99c4cc89e","datavalue":{"value":{"entity-type":"item","numeric-id":433533,"id":"Q433533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784000$A8180092-F2A6-41FA-9A52-4AD38E92E58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bc290480f281f8ca21e3c8e1309b6e2f3ad03d3","datavalue":{"value":{"entity-type":"item","numeric-id":359637,"id":"Q359637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784000$A7483B89-0125-4D8D-99C5-8DEB50FEF254","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"26780b1287f0091cd789fa2d15704011bf65df86","datavalue":{"value":{"entity-type":"item","numeric-id":171275,"id":"Q171275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784000$D89648B8-3DEB-43D3-9994-99F9CE6C778A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c87e4cbf15b9c83a8593d4bc1a20c0eb35440d26","datavalue":{"value":{"time":"+2018-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784000$D359E37B-6A27-4F62-8884-4CE08C062B65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5131667e61ada435412ed0ef1e4a7f6ba427954","datavalue":{"value":"https://arxiv.org/abs/1507.03361","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784000$0A3DFA70-05E3-4A7E-BC8B-45A0F324587B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"351f02da8a804edd2bbdfa8a86d5b7e623375188","datavalue":{"value":"General criteria are proved for the algebraic independence of Mahler functions and their derivatives. The authors give concrete examples for illustrating their criteria, an example of which is the following. Let \\(f_{\\mathrm BS}\\) and \\(f_{\\mathrm RS}\\) be the generating functions of the Baum-Sweet and Rudin-Shapiro sequences. Then the series  \\(f_{\\mathrm BS}(z)\\), \\(f_{\\mathrm BS}(z^2)\\), \\(f_{\\mathrm RS}(z)\\), \\(f_{\\mathrm RS}(-z)\\) and all their derivatives are algebraically independent over \\({\\mathbb{C}}(z)\\). The proofs rely on the parametrized difference Galois theory developped by \\textit{C. Hardouin} and \\textit{M. F. Singer} [Math. Ann. 342, No. 2, 333--377 (2008; Zbl 1163.12002)] and involve an unpublished contribution by M.~Singer where he proved the hypertranscendence of the Mahler series \\(\\sum_{n\\ge 0} z^{p^n}\\).  Let us quote the following so-called user friendly hypertranscendence criterion. Let \\(p\\ge 2\\),  let   \\({\\mathbb{K}}=\\bigcup_{j\\ge 1}{\\mathbb{C}}(z^{1/j})\\) be endowed with the structure of \\(\\phi\\)-field given by \\(\\phi(f(z)):=f(z^p)\\), let \\(\\delta\\) be the derivation \\(\\delta=z\\log(z)\\frac{\\mathrm{d}}{\\mathrm{d}z}\\) over \\({\\mathbb{K}}(\\log z)\\), let   \\(\\widehat{\\mathbb{C}}\\) be a differential closure of \\(({\\mathbb{C}},\\delta)\\) and  let \\({\\mathbb{L}}=\\bigcup_{j\\ge 1}\\widehat{\\mathbb{C}}(z^{1/j})(\\log(z))\\).  Consider a Mahler system  \\((\\star)\\, \\phi(Y)=AY\\) with \\(A\\in{\\mathrm{GL}}_n({\\mathbb{C}}(z))\\). Assume that the difference Galois group of the Mahler system \\((\\star)\\) over the \\(\\phi\\)--field \\({\\mathbb{K}}\\) contains \\({\\mathrm{SL}}_n({\\mathbb{C}})\\) and that \\({\\mathrm{det}} A(z)\\) is a monomial. Then the following properties hold.  (i) The parametrized difference Galois group of the  Mahler system \\((\\star)\\) over \\({\\mathbb{L}}\\) is a subgroup of \\({\\mathbb{C}}^\\times{\\mathrm{SL}}_n(\\widehat{\\mathbb{C}})\\) containing \\({\\mathrm{SL}}_n(\\widehat{\\mathbb{C}})\\).  (ii) Let \\(u=(u_1,\\dots,u_n)^t\\) be a nonzero solution of \\((\\star)\\) with entries in \\({\\mathbb{C}}((z))\\). Then the series \\(u_1,\\dots,u_n\\) and all their derivatives are algebraically independent over \\({\\mathbb{C}}(z)\\). In particular, any \\(u_i\\) is hypertranscendental over \\({\\mathbb{C}}(z)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784000$F7CBA700-1FAA-49E3-BF94-6889933B1B93","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"98f76666c1f4beb74f2e091a1eef44951a9cb98f","datavalue":{"value":{"entity-type":"item","numeric-id":194752,"id":"Q194752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1784000$39B2B635-6F51-4A7A-BCF9-AC234DD19659","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cdbbbadd6a0f51224f0901f78847e129fcc704d","datavalue":{"value":"11J91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$3E63FC11-9AD9-491C-AD48-28E655F4D00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5da175760837221b1255b8d6d71ae4d17a89f801","datavalue":{"value":"11R32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$FB82C927-4866-40AB-8530-B28C56BAA0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71da807fbb1b8b988a0fb19cf9f36ac41bf70b58","datavalue":{"value":"12H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$68198068-811C-4199-8FAB-6ECA02FEFF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"77a83d417d02e1b9a160298d291697fdd343b50d","datavalue":{"value":"11D59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$D5B9C9A7-B121-4784-97FF-8A5B4C09494D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3412639f3101288ddd5c038ee8180b27627c32d5","datavalue":{"value":"11S20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$889F678C-25A2-4438-A499-2894A35425E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b00310b6d35f609c531eaeebde5582043cf50dcf","datavalue":{"value":"39A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$9CEA2E9B-E281-4737-B6C5-C586E5813C77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c252dabb1d8e8479fb8fa8b42c193516407a5235","datavalue":{"value":"6941800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$AA7844D8-AD41-4BEA-ABAB-FCB15DFA2A00","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0b0ee1dadfe6aa7718fa1eefc2e7def3b426994","datavalue":{"value":"Mahler functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784000$0FC8D90C-8A14-4E1C-ABDB-9D4AEBD0A427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e50b734d7a3583a654f5eb3937fc5e003966b3cc","datavalue":{"value":"automatic sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784000$9B7C724A-4665-4445-B498-2DD3AE86566D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccfaf145d4c6b84dcdd5289a9ce06e73a465f23","datavalue":{"value":"difference Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784000$5A813A9A-B29B-4A50-9EF8-B95F001821AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16cb4347b0c056ff02796af7ce614f5c8d1fa61","datavalue":{"value":"parametrized difference Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1784000$045BD054-AC79-4065-A3A6-11BE01C23156","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":"Q1784000$0FD5C15D-61DF-44A4-9842-70E05A0C2D9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9bc461016b049d3b843248dab1f70178bef319ff","datavalue":{"value":"W3101110497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$B6D53DC3-B64A-4A08-8F41-E7E20681888E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f21cac3606e6254be4d7b68c29f8f5dec257eac7","datavalue":{"value":"Q129590283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784000$870BD342-BC43-438E-B76D-EA9C15131F1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a9cd253fe38bd27f106772699defe3cb943b10f","datavalue":{"value":{"entity-type":"item","numeric-id":4588217,"id":"Q4588217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"185ab752401449310a9c7f7d8327ac39c9302d06","datavalue":{"value":{"amount":"+0.8915468454360962","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":"Q1784000$2304EFA2-C227-4AEA-B7A9-164B304E7631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2063e84bfab6bb8e8a6ab5cc33351bc2912ba935","datavalue":{"value":{"entity-type":"item","numeric-id":1925803,"id":"Q1925803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b80d755080d8ccf1b1dfa76911da15bf4cddd9c","datavalue":{"value":{"amount":"+0.8690677881240845","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":"Q1784000$9DCDCB07-536C-4AD0-BBE5-94629DF01062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07a347732d80b9fcac5776985d5e1ddd00e3510","datavalue":{"value":{"entity-type":"item","numeric-id":2833087,"id":"Q2833087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a0878bf3533ff6164c3c1be1d9e98afe9873c99","datavalue":{"value":{"amount":"+0.8600945472717285","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":"Q1784000$8C69AA35-DDA6-46F9-AAD0-E997070894D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"525ace22f41325a468110b0fe77c31b718c1f00e","datavalue":{"value":{"entity-type":"item","numeric-id":2341941,"id":"Q2341941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07f00229b5ece476985384b0daef30cdecb5bc1","datavalue":{"value":{"amount":"+0.8354135155677795","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":"Q1784000$FE8FC6FB-A270-4401-8B2A-AFCFA84BB17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bde33502fbaa8a6f9809ce2c3d069b322f42a31","datavalue":{"value":{"entity-type":"item","numeric-id":640884,"id":"Q640884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"357847214e188b45cd5e28bd6a5f5bbd6998db4e","datavalue":{"value":{"amount":"+0.8271584510803223","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":"Q1784000$29C9D177-E06C-47AD-84EC-BE1130302BE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypertranscendence of solutions of Mahler equations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypertranscendence_of_solutions_of_Mahler_equations"}}}}}