{"entities":{"Q1077447":{"pageid":1088199,"ns":120,"title":"Item:Q1077447","lastrevid":66670464,"modified":"2026-04-12T11:44:28Z","type":"item","id":"Q1077447","labels":{"en":{"language":"en","value":"Occurrence of zero in a linear recursive sequence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3957203"}},"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":"Q1077447$2546138C-301D-4FCC-8C76-72995B4BD74B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40f47dee2192408817ad2c6c85a79d6ded6b273d","datavalue":{"value":{"text":"Occurrence of zero in a linear recursive sequence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1077447$64655E10-F847-4DC7-AC32-B017620ED63F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7fabc302eeff6ddd540c7d40c0fcbe5c69407d10","datavalue":{"value":"0595.10007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077447$9ADEA59B-A57C-40B6-A39A-EF0DBEA5B016","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c09fab68f2839f903064b5d9fc73c0619014faa","datavalue":{"value":"10.1007/BF01156238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077447$055E48B8-508C-4035-8037-BEB9C7A658D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$F3C123A3-A128-4B4F-B80E-C835D880E3BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1077447$96A915E0-3A7A-46F3-BDA5-3B0AD555B1A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e70a74cd617bda18bbf2ed2ab5fc2604d97ba298","datavalue":{"value":"Let \\(\\{u_ m\\}^{\\infty}_{m=0}\\) be a sequence of algebraic numbers satisfying a recurrence relation \\(u_{m+k}=a_ 1 u_{m+k-1}+...+a_ k u_ m\\) (m\\(\\geq 0)\\) of order k. The main problem considered is that of finding an algorithm to determine all the solutions of the equation \\(u_ m=0\\). Write \\(u_ m=\\sum^{s}_{j=1}P_ j(m) w^ m_ j\\) as an exponential polynomial in m, with roots w ordered so that \\(| w_ 1| \\geq | w_ 2| \\geq...\\geq | w_ s|.\\) There is a straightforward reduction to the non-degenerate case in which none of the numbers \\(w_ i/w_ j\\) is a root of unity. By a theorem of Skolem and Mahler, the equation \\(u_ m=0\\) now has only finitely many solutions. This result, however, is ineffective. Effective results have only been obtained when the number of roots \\(w_ j\\) with \\(| w_ j| =| w_ 1|\\) is small. For example, if there is a single dominant root (that is, \\(| w_ 1| >| w_ 2| \\geq...\\geq | w_ s|)\\), then the theory of linear forms in logarithms can be applied directly to show that \\(| u_ m| \\geq | w_ 1|^ m m^{-c}\\) for \\(m\\geq m_ 0\\) with computable numbers c and \\(m_ 0\\) which gives an effective algorithm for solving \\(u_ m=0\\) in this case.    A nice geometrical idea and an application of linear forms in logarithms leads to a similar lower bound when the sequence has up to three dominant terms. The key observation is that if \\(A_ 1,A_ 2,A_ 3\\), \\(w_ 1,w_ 2,w_ 3\\) are algebraic, \\(| w_ 1| =| w_ 2| =| w_ 3|\\) and no \\(w_ i/w_ j\\) is a root of unity, then  \\[  | A_ 1 w^ m_ 1+A_ 2 w^ m_ 2+A_ 3 w^ m_ 3| \\geq | w_ 1|^ m m^{-c}\\quad for\\quad m\\geq m_ 0  \\]  with computable numbers c and \\(m_ 0\\). It follows that the zeros of a recurrence of order at most three can be determined effectively. Further, the zeros of a recurrence of real algebraic numbers of order at most four can be determined effectively.    The same ideas have been found by \\textit{M. Mignotte}, \\textit{T. N. Shorey} and \\textit{R. Tijdeman} [J. Reine Angew. Math. 349, 63-76 (1984; Zbl 0521.10011)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077447$8DA686CE-D3AC-4754-847B-2E20A7C2AB85","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cf658ad7ef7d6672e491794e6a4eead83097329a","datavalue":{"value":{"entity-type":"item","numeric-id":591958,"id":"Q591958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$31F7A7A4-01C6-462C-BBD2-2DAE91BC4B93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077447$2A442852-7336-4E6B-820D-A1815596D157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077447$75DE83BD-1535-4811-9704-143532322345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5c1bc0c62610848362f0e1b120e8f734298f7305","datavalue":{"value":"11D61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077447$A70F6913-A1FD-444D-BAC1-3F524270379A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b4737b9df18e5fb3f0bf6400170bebfd603f9627","datavalue":{"value":"3957203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077447$23E389BD-501D-4754-89F5-E7F7B2237C14","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"595ab238169cf033eb3117b2f11f7034439eccda","datavalue":{"value":"sequence of algebraic numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077447$E200A8CC-2023-42E3-A904-FF719046F61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b375891bb49aa0689200493d0eef4f137028a63f","datavalue":{"value":"recurrence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077447$5E1DABC0-3E0A-412B-9A01-833B3347558A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077447$0644F577-274F-44D5-BA4E-F2C081A47549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57c3db86510cf0028e2b0dd82525867b278923c7","datavalue":{"value":"effective algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077447$AA2B77FA-BDCF-4978-A519-FFD83D087C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"430c5906bd7676185aa48d2f7d031c02b441edbc","datavalue":{"value":"linear forms in logarithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077447$C252DCDF-393A-4828-88D4-1AE77F0A8E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f1814ebfb0c5873f215208cab188392d4def9a","datavalue":{"value":"lower bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077447$21FE983C-D797-404A-8EF0-9FCFAF453F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73233402c712e664434389332deeb4e02996e93d","datavalue":{"value":"zeros","type":"string"},"datatype":"string"},"type":"statement","id":"Q1077447$9C423DDE-E219-4F82-BEDE-FF9521C52F89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a878a6ace55a42ed0f1b3e5cefb54bfc6712237b","datavalue":{"value":{"entity-type":"item","numeric-id":1275007,"id":"Q1275007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$A0ED7739-ADE4-4C20-8218-0B348450C942","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":"Q1077447$2C209F59-AC81-4A13-8572-428A018C8D1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eb6290412741acf231ec58be371ffd9c5ecc534","datavalue":{"value":{"entity-type":"item","numeric-id":4155837,"id":"Q4155837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$50483D0D-1764-4610-B308-58DCBDE44577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cc6242df5bd050e3a1fe6ce4e51cea19b371c04","datavalue":{"value":{"entity-type":"item","numeric-id":4094921,"id":"Q4094921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$4A505686-85D7-4702-AB1F-5FDD0A8ACB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee417a096f306775f2b89195483fec3022fa9e91","datavalue":{"value":{"entity-type":"item","numeric-id":4771027,"id":"Q4771027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$E96C940A-D8E4-494D-8476-C8ABC95DC264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c224beb2b10031f584af89fb5d8b8764d79c890f","datavalue":{"value":{"entity-type":"item","numeric-id":4109199,"id":"Q4109199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$EEAA394D-67D5-4B80-A63A-99BB5E71DC69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b9c2b39d45c2f1b26191b6cb16311473adbe574","datavalue":{"value":{"entity-type":"item","numeric-id":3674747,"id":"Q3674747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$A33EA097-A0FA-45A5-97E5-3B9D427C6880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94b133f4ed9dd90815758dfb62f11cb4a9609d41","datavalue":{"value":{"entity-type":"item","numeric-id":4061015,"id":"Q4061015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$766EC470-509B-478F-8C6D-55E576DDB587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec8620d0c82f6adb18bc1abc431e94bde558892","datavalue":{"value":{"entity-type":"item","numeric-id":5758707,"id":"Q5758707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$786B7E50-397B-4A5D-81AD-3294B7F9B054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e755952b7d0fb5f8820202cb348ee4f4522a20b","datavalue":{"value":{"entity-type":"item","numeric-id":3671245,"id":"Q3671245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1077447$37D5878A-321F-4A2C-85E1-9F4042BDC53D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eeb6f3fc0bf3bfda1d5f4a1e989f91b9b87064b0","datavalue":{"value":"https://doi.org/10.1007/bf01156238","type":"string"},"datatype":"url"},"type":"statement","id":"Q1077447$54FFB355-EC16-4619-B90C-03D5EF90314A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a21ff846cca7d264d46b3cb9352c66dc0c3c9b71","datavalue":{"value":"W2035848785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1077447$EF18877C-337F-4AD2-8A24-9D7EADC74FEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba95a5b22d6c6122c16fa5265f8478e3e0944f4","datavalue":{"value":{"entity-type":"item","numeric-id":1588913,"id":"Q1588913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4df4f0a009ecaea4f0bede85611c0e9ce7dcab47","datavalue":{"value":{"amount":"+0.877521276473999","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":"Q1077447$E188C84C-91CE-48F3-83C9-AFE4C42FD750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0413b2dfb76d646b6147e3155d9d3627304c1dc","datavalue":{"value":{"entity-type":"item","numeric-id":1283497,"id":"Q1283497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d04084b2a6c5e3e8ff2e99a8b78a229e639b752","datavalue":{"value":{"amount":"+0.8773149847984314","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":"Q1077447$EB27F56D-2A5C-4DC1-84B4-78BBB1D3A305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3354c2ca5948373cc1409d5a24e5ee1244c4a88f","datavalue":{"value":{"entity-type":"item","numeric-id":3717120,"id":"Q3717120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"274e3dca3bb022e55a6c9abc9dc12b589b538751","datavalue":{"value":{"amount":"+0.8769389986991882","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":"Q1077447$1AA25939-C1B2-4112-B2D7-51B54121A340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aaf5c321199cc2195f702c73b4d3b5ecf79ef6b","datavalue":{"value":{"entity-type":"item","numeric-id":5202237,"id":"Q5202237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a631f8ab8addfc56ba6767e1b73b4a65de5ff358","datavalue":{"value":{"amount":"+0.865138053894043","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":"Q1077447$51860BCE-E9B7-4D72-B554-5017A4EAA9B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa3415a39866178319ca77fd2093420f3bd3686","datavalue":{"value":{"entity-type":"item","numeric-id":4398271,"id":"Q4398271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecfce33d7a736b5f04856a7a0bae39fed05b5b00","datavalue":{"value":{"amount":"+0.8623650074005127","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":"Q1077447$C917135A-BC24-4114-AA70-EEAAB6CEB623","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Occurrence of zero in a linear recursive sequence","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Occurrence_of_zero_in_a_linear_recursive_sequence"}}}}}