{"entities":{"Q6903910":{"pageid":20922709,"ns":120,"title":"Item:Q6903910","lastrevid":84173150,"modified":"2026-05-13T00:58:45Z","type":"item","id":"Q6903910","labels":{"en":{"language":"en","value":"Hypertranscendence and linear difference equations, the exponential case"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8117676"}},"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":"Q6903910$F77B7EF3-8A49-4C8D-B67E-5DAAE2942454","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c5584f967e5215d7e59f2f6ecd2724b7f2c6ab2","datavalue":{"value":{"text":"Hypertranscendence and linear difference equations, the exponential case","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6903910$4411A96C-E801-46ED-A112-ADD271E0B9DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7046c01cea546c1c6cbac47b0e3eb3b932ad524c","datavalue":{"value":"10.1016/J.JALGEBRA.2025.08.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903910$98BFF4BF-D53F-4E70-95DE-6FC9E286857C","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":"Q6903910$8B6B39A3-10CF-4C3A-BBE8-74DB3D1527EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$B19AE77B-097A-43ED-BE82-3076B24EA66A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb362a705940cd90fcce9cff27386cf2e571803f","datavalue":{"value":{"time":"+2025-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6903910$D9D2028F-29F6-4A31-A2C5-D2A0DAA83901","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c036818c55bf290619ffcfbeb082945d8d67154a","datavalue":{"value":"This paper investigates the differential algebraic nature of meromorphic solutions of linear shift difference equations with rational coefficients. More precisely, let \\(\\rho\\) be the automorphism of \\(\\mathbb{C}(x)\\) defined by \\(\\rho(y)(x)=y(x+h)\\), where \\(h\\in\\mathbb{C}^\\ast\\). The author studies meromorphic solutions \\(f\\in\\mathcal{M}(\\mathbb{C})\\) of systems \\(\\rho(Y)=AY\\), \\(A\\in \\mathrm{GL}_n(\\mathbb{C}(x))\\), and asks whether such solutions can satisfy nontrivial algebraic differential equations over \\(\\mathbb{C}(x)\\).\\N\\NThe main result (Theorem 1) gives a precise structural description when the solutions are differentially algebraic. If \\(\\mathcal{Y}=(f_1,\\dots,f_n)^\\top\\) is a meromorphic solution of \\(\\rho(Y)=AY\\) and each \\(f_i\\) is differentially algebraic over \\(\\mathbb{C}(x)\\), then there exist \\(\\ell\\in\\mathbb{N}^\\ast\\) and \\(\\lambda_1,\\dots,\\lambda_k\\in\\mathbb{C}\\) such that \\(f_i \\in \\mathbb{C}_{\\ell h}(x)[e^{\\lambda_1 x},\\dots,e^{\\lambda_k x}]\\) for all \\(i\\), where \\(\\mathbb{C}_{\\ell h}\\) denotes the field of \\(\\ell h\\)-periodic meromorphic functions. Thus, any differentially algebraic solution necessarily lies in a ring generated by periodic functions and exponentials. In particular, unless the solution has this very special form, it must be {differentially transcendental}. As an immediate corollary, the same conclusion holds for scalar linear difference equations of arbitrary order.\\N\\NThe proof relies on the parametrized difference Galois theory developed by \\textit{C. Hardouin} and \\textit{M. F. Singer} [Math. Ann. 342, No. 2, 333--377 (2008; Zbl 1163.12002)]. The strategy is to compare the usual difference Galois group with the \\((\\rho,\\delta)\\)-Galois group encoding differential relations among solutions. When the difference Galois group is irreducible and connected, a key argument shows that the existence of too many differential relations forces the group to be small, leading to a contradiction. An induction on the order of the system then reduces the general case to affine equations, which are treated by a refined Galois-theoretic analysis.\\N\\NThis work substantially extends previous hypertranscendence results for shift, \\(q\\)-difference, and Mahler equations. It provides a sharp dichotomy: solutions of linear shift equations are either built from periodic functions and exponentials, or they are differentially transcendental.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903910$A3E8C26C-2374-455A-982F-384F1ED199C5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"100aaa2fd0f9708702c5bfbb00416f92df66e458","datavalue":{"value":{"entity-type":"item","numeric-id":233260,"id":"Q233260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$C44F553C-CA7C-4274-B7EA-D42EC49931D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6feea568d899b744865784a041ba0767172a3dc","datavalue":{"value":"39A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903910$2832A92D-21C3-4527-9FDF-C77A541E35D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b63b076611a25e411b6b96c6f43e90d203e6bb05","datavalue":{"value":"39A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903910$4A0FCAAD-FC10-41AC-A482-F2504E179CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b00310b6d35f609c531eaeebde5582043cf50dcf","datavalue":{"value":"39A13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903910$6700C9E8-6E83-43AA-902B-7ACF63BCE031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3da59578bff7fc694d73e2da8c342fb62802b4","datavalue":{"value":"39A45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903910$E4ECA5AA-EE1B-4324-B851-8ECAA5FCA605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"71da807fbb1b8b988a0fb19cf9f36ac41bf70b58","datavalue":{"value":"12H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903910$1107E67F-BA54-4A72-8C3E-A23F002DDA32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"447ed412a3fd6952dd1b650349246fe69e3cb9dc","datavalue":{"value":"8117676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6903910$5DBEDF87-03AB-4559-9542-E7F2AEC62042","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccfaf145d4c6b84dcdd5289a9ce06e73a465f23","datavalue":{"value":"difference Galois theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903910$0D2FCA59-60A1-4993-954C-43C1DA7E97FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe0dd6d2509e020892d03b9824ea7bf128b17f26","datavalue":{"value":"transcendence","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903910$517CEC8E-B6A4-463A-8159-2381A06302F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a9334abbf99b63dc138fd92f857debaebac7ab2","datavalue":{"value":"difference algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6903910$226C8049-53E0-45CB-8686-891D068A2B8A","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":"Q6903910$3D49DBF1-23DA-4E49-BF4C-6E3B9337B9A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"76e1692ed9db1638234818717c954f6dc4de6a37","datavalue":{"value":{"entity-type":"item","numeric-id":5013551,"id":"Q5013551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$6D31E145-551D-4107-A3A7-08AF02C3E549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"424c0b88c285b90fe0fb7ad57912913e55d45023","datavalue":{"value":{"entity-type":"item","numeric-id":1996823,"id":"Q1996823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$4B15E5A8-339B-4669-98C6-985D1648B03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57b59270d47436a2575c438faa6af4985bc94662","datavalue":{"value":{"entity-type":"item","numeric-id":524492,"id":"Q524492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$38F04CE7-6E28-496F-8D8A-105B118EBB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13f52db4e5f6e10265f82278f7f7a71faa8761f7","datavalue":{"value":{"entity-type":"item","numeric-id":1313323,"id":"Q1313323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$44244E3D-91D0-4A1B-AD29-8FAC1FD084D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4ca06f848f5573a627d4022d281823e6272ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5334359,"id":"Q5334359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$0CE70565-B79C-4017-B362-91AA09EDA722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7afb85394dc3bb408fe5a6039035b5c6606f6da","datavalue":{"value":{"entity-type":"item","numeric-id":1784000,"id":"Q1784000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$8EE1BAA9-7C17-4B5F-A116-9DE64BDE716C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac74a636e22e23143da1f07537148c7f5ecf192","datavalue":{"value":{"entity-type":"item","numeric-id":2043096,"id":"Q2043096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$027E1F25-6AF2-4080-9006-4F0513696C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f56dd063ff46b7004f72d3bc09fa5e3638178b13","datavalue":{"value":{"entity-type":"item","numeric-id":1656696,"id":"Q1656696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$0FCD535B-3536-4CBF-9D19-6D428D4799FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56b371ff28eca1f30afbe752d822d75bd58e03ce","datavalue":{"value":{"entity-type":"item","numeric-id":3509989,"id":"Q3509989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$F347558F-E351-4C96-86EF-8F787D5C8D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c78540851803ed60935ca2a1b0a9ad74d0a206","datavalue":{"value":{"entity-type":"item","numeric-id":1542196,"id":"Q1542196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$7FCAB1CC-7FC4-4CD1-8298-654EB7B62393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89d2e5bfa39ebb39e3d48ba906e5bfcad2ef54b","datavalue":{"value":{"entity-type":"item","numeric-id":943358,"id":"Q943358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$A75849F5-67C5-43FE-BAA1-BC4BDC9F5DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f087e2ef75f353af5e76b60c48143d23aa3deaf","datavalue":{"value":{"entity-type":"item","numeric-id":1291171,"id":"Q1291171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$BD9A85AD-92C6-491B-9BB9-99807615FBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b2d753d71ca4a915c536cb3269b064d306fb64","datavalue":{"value":{"entity-type":"item","numeric-id":1829654,"id":"Q1829654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$028C5451-EE32-4368-8FEF-2A31082F0DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"038d2684660d7dd44053eed0bf4702d91d55f7f4","datavalue":{"value":{"entity-type":"item","numeric-id":1522039,"id":"Q1522039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$77D0EF4F-D988-44C1-88D1-1950325CF3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa7299e6a27ec70ddad5d6f4bb636d63580af6f0","datavalue":{"value":{"entity-type":"item","numeric-id":795101,"id":"Q795101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$7815550D-C084-40AA-94F4-809B699BDEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d53f0fda19331c5d3d99f7df4aa1f68245f30bf","datavalue":{"value":{"entity-type":"item","numeric-id":3712551,"id":"Q3712551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$67803EF5-6839-4977-ADF1-0CD29D5263E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dbfb589bdb79ec8ef96fe59d9c9f59ca678246b","datavalue":{"value":{"entity-type":"item","numeric-id":2327702,"id":"Q2327702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$9D0E43AF-7EF1-48C1-A2B1-8C2864C09734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be55c1c4b9cb4891ce5135b81a4cb4a7674849","datavalue":{"value":{"entity-type":"item","numeric-id":1332656,"id":"Q1332656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$C12A338C-BF09-4D7A-B5CF-5723EA551EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f60a1e7f1f6e21925a5022e6896e8494794879a0","datavalue":{"value":{"entity-type":"item","numeric-id":1369891,"id":"Q1369891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6903910$FDF1A2F7-0369-421F-B93E-E00F17E84A6A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hypertranscendence and linear difference equations, the exponential case","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hypertranscendence_and_linear_difference_equations,_the_exponential_case"}}}}}