{"entities":{"Q540134":{"pageid":541901,"ns":120,"title":"Item:Q540134","lastrevid":62605812,"modified":"2026-04-11T07:13:36Z","type":"item","id":"Q540134","labels":{"en":{"language":"en","value":"The degree of a \\(q\\)-holonomic sequence is a quadratic quasi-polynomial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5903052"}},"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":"Q540134$CC4489E9-CF55-42E8-A619-7950415441CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca098b3a3c74a236a859a9158e9b85a361e50a08","datavalue":{"value":{"text":"The degree of a \\(q\\)-holonomic sequence is a quadratic quasi-polynomial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q540134$2F29552B-7F97-40C5-AA73-C606AB2F9137","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81374a258d6fc246473025aedb328e8b988be71c","datavalue":{"value":"1298.05042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540134$EC9B5337-44B0-49AF-99CD-3E1AF1C453E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3929d7e94298047312d5d843942d1d9bdf6feac1","datavalue":{"value":{"entity-type":"item","numeric-id":215781,"id":"Q215781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540134$72BA7401-F5E3-4305-AAE8-19746644E88F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ebc7441ecfd9ecfa38d48ddc4b2adb39ac7d7000","datavalue":{"value":{"entity-type":"item","numeric-id":161296,"id":"Q161296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q540134$8211740C-A384-4D38-8B4D-4C418DEA8138","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca412915d48bc02df19cbc26b81271d64e23ee32","datavalue":{"value":{"time":"+2011-06-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q540134$E9BCCFED-87C6-45C3-8E97-7C647228C2B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3ed99d320813cf402591ea98abef550422dc622d","datavalue":{"value":"https://arxiv.org/abs/1005.4580","type":"string"},"datatype":"url"},"type":"statement","id":"Q540134$2A2CE81B-25E7-4288-8157-CAF93610B604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"eccfc5c0cc99ea949b9a2f08ea4e66ecfb5484b2","datavalue":{"value":"http://www.emis.de/journals/EJC/Volume_18/Abstracts/v18i2p4.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q540134$CC40084F-84A6-4684-9571-E9F131155C5A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8d0372e3a5d612881102531bd2b922820bc2c48","datavalue":{"value":"Summary: A sequence of rational functions in a variable \\(q\\) is \\(q\\)-holonomic if it satisfies a linear recursion with coefficients polynomials in \\(q\\) and \\(q^n\\). We prove that the degree of a \\(q\\)-holonomic sequence is eventually a quadratic quasi-polynomial, and that the leading term satisfies a linear recursion relation with constant coefficients.   Our proof uses differential Galois theory (adapting proofs regarding holonomic \\(D\\)- modules to the case of \\(q\\)-holonomic \\(D\\)-modules) combined with the Lech-Mahler-Skolem theorem from number theory. En route, we use the Newton polygon of a linear \\(q\\)-difference equation, and introduce the notion of regular-singular \\(q\\)-difference equation and a WKB basis of solutions of a linear \\(q\\)-difference equation at \\(q = 0\\). We then use the Skolem-Mahler-Lech theorem to study the vanishing of their leading term. Unlike the case of \\(q = 1\\), there are no analytic problems regarding convergence of the WKB solutions. Our proofs are constructive, and they are illustrated by an explicit example.","type":"string"},"datatype":"string"},"type":"statement","id":"Q540134$8C22BC70-74C6-48AB-861B-672F343A8A6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2878726e144b349cdff0443c91b453767c760f4","datavalue":{"value":"05A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540134$D77DC3B1-7AEB-4CCA-BEA2-E19459CCF4A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1188c9ca5452c8b17e062a599ceb9d3b11aab60b","datavalue":{"value":"5903052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540134$2C1D696A-3A8C-4F78-899A-7C3B280679ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c157c116dc1fb5f5fd200d78fb4d0ece1797ca77","datavalue":{"value":"degree of a \\(q\\)-holonomic sequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q540134$AD01608A-5B30-4A44-B747-73E473A04E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46d357c8270dcbbdefdb3142f3acc32e8ba900d9","datavalue":{"value":"quadratic quasi-polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q540134$F1ABA203-577B-4886-A7CA-1A92E8A887E1","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":"Q540134$F144CF72-676C-4B38-8A7E-AA5BEC3D7AEF","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"6d8fe243a66dbd7c8462fcd534e0d9d12aeb1aa0","datavalue":{"value":"bafkreiato57vvp7vfst5tzaslwmgsvmdygj4ddtbj5zyxxzkaeuaegjkza","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q540134$F2501A8C-795B-45FA-9187-1AA08E29AE2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6d5d0381461591d027ba8a3f55651de0ca4420","datavalue":{"value":{"entity-type":"item","numeric-id":386034,"id":"Q386034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ce0c623d8eb9734e4619b411bfd80ce90fdcf4","datavalue":{"value":{"amount":"+0.763034999370575","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":"Q540134$8F65A081-C9BB-497B-94E9-CF5C983C4379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99fe323c3665437fc1ad0e61a964f50646006073","datavalue":{"value":{"entity-type":"item","numeric-id":1773161,"id":"Q1773161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a79bd10820479fa42f6dfc167419f4e2e0018e","datavalue":{"value":{"amount":"+0.7515972256660461","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":"Q540134$A6A92BB3-41B0-44E2-8CC4-BF2DB7BC1C35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79ceb2b722d8d1b566183f76cbf66d42dd10b458","datavalue":{"value":{"entity-type":"item","numeric-id":3137252,"id":"Q3137252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e243b4c54f1fe1e70d5dcb2f0d35d3e40fb70cb4","datavalue":{"value":{"amount":"+0.749699056148529","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":"Q540134$6950FFE2-467F-4296-9E45-5CE9D396C65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5cc032bf28ff1d6caf3b699b23a834eee37430","datavalue":{"value":{"entity-type":"item","numeric-id":3984261,"id":"Q3984261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e243b4c54f1fe1e70d5dcb2f0d35d3e40fb70cb4","datavalue":{"value":{"amount":"+0.749699056148529","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":"Q540134$00FF9DE6-9DE9-4B66-B8FC-7DAF1484935B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e76b7dd65b7ca3911989dd37bff036f146f80b3","datavalue":{"value":{"entity-type":"item","numeric-id":1037558,"id":"Q1037558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b11b2b1baac0c01edb49ff61366d04473d9169fb","datavalue":{"value":{"amount":"+0.749372661113739","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":"Q540134$E2288589-F88D-45BC-B279-9AFB376E40E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The degree of a \\(q\\)-holonomic sequence is a quadratic quasi-polynomial","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_degree_of_a_%5C(q%5C)-holonomic_sequence_is_a_quadratic_quasi-polynomial"}}}}}