{"entities":{"Q2697595":{"pageid":2708339,"ns":120,"title":"Item:Q2697595","lastrevid":82700906,"modified":"2026-05-06T21:42:31Z","type":"item","id":"Q2697595","labels":{"en":{"language":"en","value":"On Siegel's problem for \\(E\\)-functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7673823"}},"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":"Q2697595$EA8A3DC1-F6D5-49E2-A55B-54CA086448F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"faa40562ca784420bd716eecb0d9654b34ac50c6","datavalue":{"value":{"text":"On Siegel's problem for \\(E\\)-functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2697595$A6EEC679-7658-44BB-95D8-5B27B4D5C653","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"13d63496f5f647db72396e4d0095a40cc8b2aa68","datavalue":{"value":"10.4171/RSMUP/107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2697595$2AC481BE-B230-462B-AC55-C43A49475A46","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1d74959d256b35b7cffe7c11233f20729a98722","datavalue":{"value":{"entity-type":"item","numeric-id":218953,"id":"Q218953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$BB4C532B-B1B0-459D-8F4B-9B1BE39ED8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d595b665408a9b230b17cbe781a0413e9301dc75","datavalue":{"value":{"entity-type":"item","numeric-id":486794,"id":"Q486794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$BE71EAEF-6A15-4455-8F84-93B9F2032A9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"816e97a1cfcdf018f87d172411a8ab21b6bfff04","datavalue":{"value":{"entity-type":"item","numeric-id":361729,"id":"Q361729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$9AC8E2CD-4CA8-4324-8214-F4BE1F4D954A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b4034943b182da069de8768d6fd2310f3e13487","datavalue":{"value":{"time":"+2023-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2697595$BC0971E3-A0F7-4182-923E-A090B7375026","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f2fb6ad2a2b488e0617d614bce84a1b8504b49d","datavalue":{"value":"https://arxiv.org/abs/1910.06817","type":"string"},"datatype":"url"},"type":"statement","id":"Q2697595$6A6E66AF-9DB6-4D03-BCF9-0D7E87F8E4B0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f911ee74916de9931724905b1841263f0a92e84e","datavalue":{"value":"\\textit{C. L. Siegel} introduced in [Abh. Preu\u00df. Akad. Wiss., Phys.-Math. Kl. 1929, No. 1, 70 S. (1929; JFM 56.0180.05)] the notion of \\(E\\)-function and \\(G\\)-functions which generalize the diophantine properties of the exponential and logarithmic functions respectively.  A power series \\(\\displaystyle F(z)=\\sum_{n=0}^\\infty a_n \\dfrac{z^n}{n!}\\in \\overline{\\mathbb Q}[[z]]\\) is an \\(E\\)-function if \\begin{itemize} \\item[(i)] \\(F(z)\\) is a solution of a non-zero linear differential equation with coefficients in \\(\\overline{\\mathbb Q}(z)\\); \\item[(ii)] there exists \\(C>0\\) such that for any \\(\\sigma \\in\\mathrm{Gal}(\\overline{\\mathbb Q}/{\\mathbb Q})\\) and any \\(n\\ge0\\), \\(|\\sigma(a_n)|\\le C^{n+1}\\); \\item[(iii)] there exist \\(D>0\\) and a sequence of integers \\(d_n\\), with \\(1\\le d_n\\le D^{n+1}\\), such that \\(d_na_m\\) are algebraic integers for all \\(m\\le n\\); \\end{itemize} where the author denotes by \\(\\overline{\\mathbb Q}\\subseteq \\mathbb C\\) the field of algebraic numbers.  A power series \\(\\displaystyle\\sum_{n=0}^\\infty a_n z^n\\in \\overline{\\mathbb Q}[[z]]\\) is said to be a \\(G\\)-function if \\(\\displaystyle\\sum_{n=0}^\\infty a_n \\dfrac{z^n}{n!}\\) is an \\(E\\)-function.  The author wants to know whether any \\(E\\)-function can be represented as a polynomial with algebraic coefficients in a finite number of \\(E\\)-functions of the form \\({}_pF_q\\left(\\lambda z^{q-p+1}\\right)\\), \\(q\\ge p\\ge 1\\), \\(\\lambda\\in\\overline{\\mathbb Q}\\) with rational parameters. The case of \\(E\\)-functions of differential order less than or equal to 2 was settled in the affirmative by \\textit{V. A. Gorelov} [Math. Notes 75, No. 4, 513--529 (2004; Zbl 1062.34096); translation from Mat. Zametki 75, No. 4, 549--565 (2004)], but Siegel's question is open for higher orders.  The author proves here that if Siegel's question has a positive answer, then the ring \\(\\mathbf{G}\\) of values taken by analytic continuations of \\(G\\)-functions at algebraic points must be a subring of the relatively ``small'' ring \\(\\mathbf{H}\\) generated by algebraic numbers, \\(1/\\pi\\) and the values of the derivatives of the Gamma function at rational points. Because that inclusion seems unlikely (and contradicts standard conjectures), this points towards a negative answer to Siegel's question in general. As intermediate steps, the author proves that any element of \\(\\mathbf{G}\\) is a coefficient of the asymptotic expansion of a suitable \\(E\\)-function, which completes previous results of ours. Then, he proves that the coefficients of the asymptotic expansion of a hypergeometric \\(E\\)-function with rational parameters are in \\(\\mathbf{H}\\). He completes this nice work by proving a similar result for \\(G\\)-functions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2697595$B3F53058-2E91-403A-A00F-163F64F2A31C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e0746a4eb60c2aedb357d1622baf18ada258bbd1","datavalue":{"value":{"entity-type":"item","numeric-id":2137696,"id":"Q2137696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$E42A4B4D-6F09-41DD-94D9-10D9CCC595BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c618f816e6308977cf393dfcfa211f201052855","datavalue":{"value":"33C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2697595$1A57D741-68D8-40BC-A976-E1AD33C54F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cdbbbadd6a0f51224f0901f78847e129fcc704d","datavalue":{"value":"11J91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2697595$537D86A3-681C-472A-9B90-2DC469FD03CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a46d831259493f05707be1b8dc8ce3db73fd0637","datavalue":{"value":"41A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2697595$AA1EC916-1D60-490D-80AD-99D84FBF7163","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bc690feb01e81556df5f119f3b52af0aab44336b","datavalue":{"value":"7673823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2697595$E7D387C9-98DC-4122-BF28-C3E4D4258F92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"001a4bfab4cc1e147ed731e59dda9af07a97c548","datavalue":{"value":"hypergeometric series","type":"string"},"datatype":"string"},"type":"statement","id":"Q2697595$D218902A-0CED-4D55-95EF-7A3A8AB6468F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010ab04ce0b95131cea5ede186150a8e1de3dfe2","datavalue":{"value":"asymptotic expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2697595$F5FE278C-747A-4458-B9C1-FF8FDD076CAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efdb7d0ab2c7d70063591ad3772608bed1be2904","datavalue":{"value":"Siegel's \\(E\\)- and \\(G\\)-functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2697595$5289422B-DD87-4BDA-840C-F85F8FD69B9E","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":"Q2697595$99A9A00B-CD3E-4221-A45F-7610D943FC49","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e50066da398d3bc54619935410c816cd8bdd221","datavalue":{"value":{"entity-type":"item","numeric-id":1573722,"id":"Q1573722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$AD9AF9E0-E5EC-4E0C-8C9A-5FB0CA24E066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a272b5458acf934f2e524e685ec73f7a07cddba","datavalue":{"value":{"entity-type":"item","numeric-id":3155418,"id":"Q3155418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$3DE977E5-7DDC-4925-A496-86B94F83A55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7353a9573c6bfd39561f913f769e86f5b2f6ee89","datavalue":{"value":{"entity-type":"item","numeric-id":4222737,"id":"Q4222737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$AE0EA521-0236-433E-870E-9D00C5A41B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4fc79df7bef87edc4a275f1d4cd68644a415c9","datavalue":{"value":{"entity-type":"item","numeric-id":3402216,"id":"Q3402216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$29F30358-12A3-496F-85A3-ADFDF6FF2D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d643a3d19d58d3cea85bf181847bbf026028199f","datavalue":{"value":{"entity-type":"item","numeric-id":5749386,"id":"Q5749386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$E0C195CB-4FAB-47A6-BF27-22BFE5060BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e5aa5e1ab73bb8ba671abd35f772b5ac84c35c","datavalue":{"value":{"entity-type":"item","numeric-id":2510750,"id":"Q2510750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$EA7FFB24-4084-4B08-8646-CA8A263CACB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74824740e3f02797ff4025a30908a6653b5950be","datavalue":{"value":{"entity-type":"item","numeric-id":502550,"id":"Q502550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$76DAF4CD-10B2-4852-AA44-EED6FB439687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca2823752a6030513f97d01d18aa30b6543057e","datavalue":{"value":{"entity-type":"item","numeric-id":1582960,"id":"Q1582960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$3CC851A0-112A-479A-8EC7-04783BBC7500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb72076f22d1d4fb70c41cefd83c563af345159","datavalue":{"value":{"entity-type":"item","numeric-id":1889634,"id":"Q1889634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$FB488852-F77E-473A-94DA-C1769FD2525B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9da4529fc2ad0312f18213619c35ee97e8b0646","datavalue":{"value":{"entity-type":"item","numeric-id":2508692,"id":"Q2508692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$579787D9-124A-4AB1-8D64-C25C0038417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eeca5a6a58d6003536372c4cb1fe5e832168c4e","datavalue":{"value":{"entity-type":"item","numeric-id":755630,"id":"Q755630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$40131A93-3D5D-45A3-A8C3-3CD2053A9DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa7657b7ef953262811d2a79acb34ad5a2d97a1e","datavalue":{"value":{"entity-type":"item","numeric-id":5921495,"id":"Q5921495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$D4AFE8F4-281E-4386-AC2B-4AF1461FFEF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd66dfbd1f171b153494acced0d8232120d901d","datavalue":{"value":{"entity-type":"item","numeric-id":2547245,"id":"Q2547245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$03870885-A7D3-4A25-91C9-C6FFBE9E7E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a62a723e879deceab65da2d7584a4d3889597f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4878293,"id":"Q4878293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$DABBA4DF-32D8-4ABB-904F-993132EFFE25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e08a957cc31d34d2f097c1e91fe4471515d7a25c","datavalue":{"value":{"entity-type":"item","numeric-id":4079940,"id":"Q4079940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$C45D5E9D-121C-4534-9F3F-B7D1E0F27924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e7871f828a1869826b123098c825dc15aad3d3","datavalue":{"value":{"entity-type":"item","numeric-id":2801721,"id":"Q2801721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$F58B51F0-47E4-4421-8CCC-393A1BB47397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"193978c963879ca41aebfabca39595a20ebbacbb","datavalue":{"value":{"entity-type":"item","numeric-id":2097089,"id":"Q2097089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$1E491016-55C1-4ADC-A1F6-FB2154C62983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5589dff11a55702b37a5801feaf5ad1383cbe279","datavalue":{"value":{"entity-type":"item","numeric-id":5798121,"id":"Q5798121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$A8820585-D1C7-4975-B1F7-AA9C188E5014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda4f7ec3be89cf9e5e0b415e7f267f4a67aab1c","datavalue":{"value":{"entity-type":"item","numeric-id":2874134,"id":"Q2874134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2697595$86AF68AA-002A-44D6-89B3-3239914AF1C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f41fe17dfeec2a874fbb967f2c8366e1e94c6e0","datavalue":{"value":{"entity-type":"item","numeric-id":2058615,"id":"Q2058615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f9cc0a46e87a09d3006570b46a5ebbdd2b0873","datavalue":{"value":{"amount":"+0.8734535574913025","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":"Q2697595$BB4C5870-1C6E-44DB-AF76-1732B4A25C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"795f778030803320cdc6443dbaaa3ab3f6200426","datavalue":{"value":{"entity-type":"item","numeric-id":2508692,"id":"Q2508692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d473ef4f782bedb8003caf3f419c4b9e92da703","datavalue":{"value":{"amount":"+0.8332380056381226","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":"Q2697595$DBE40329-6B0B-457B-989E-7986CED03962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c512b71b816102bc5aec6c198bc32c5a71a7312","datavalue":{"value":{"entity-type":"item","numeric-id":1981591,"id":"Q1981591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b70ce9767e9ef1ab6ac8f9b5a6ab505ce8a156","datavalue":{"value":{"amount":"+0.8320037126541138","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":"Q2697595$CA8400DC-4FB0-4068-B83B-7BE860153431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a339ef1550a327088ebd4778eb6708472f49f306","datavalue":{"value":{"entity-type":"item","numeric-id":2510750,"id":"Q2510750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"834066c00fa1be9f44d652ebb4543e48038874ef","datavalue":{"value":{"amount":"+0.8238043785095215","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":"Q2697595$1B651985-F3BD-43F1-AD09-7B6BBE4AEC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855683f4fb2697197795304db3feee3f27c37f3f","datavalue":{"value":{"entity-type":"item","numeric-id":502550,"id":"Q502550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"883888308b2cde38c851de9dde6ffa8d5e9aa791","datavalue":{"value":{"amount":"+0.8157464265823364","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":"Q2697595$236B266E-C5B3-464A-843C-D69A4BCFF3DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Siegel's problem for \\(E\\)-functions","badges":[]}}}}}