{"entities":{"Q1376907":{"pageid":1387647,"ns":120,"title":"Item:Q1376907","lastrevid":43067931,"modified":"2025-07-17T10:10:24Z","type":"item","id":"Q1376907","labels":{"en":{"language":"en","value":"Diophantine representations of linear recurrences. I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1107900"}},"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":"Q1376907$ED2F119D-0270-4594-B6D3-3146DE9ABCD0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44fc23a039f23d52ca2352ad7e71a0006d1e9d3f","datavalue":{"value":{"text":"Diophantine representations of linear recurrences. I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1376907$E447CDD5-4FEF-4129-8BA8-8C8457C36AE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6c516fa81623fbcedf38e012a6a4dfb4ac5c772","datavalue":{"value":"0938.11004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376907$74B2152D-D8BB-4F5A-8C94-2F480D99A848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2859faab1e12b91c7ead04989d81ca0d7df9bf88","datavalue":{"value":"10.1007/BF02355857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376907$5DDF5AA6-3685-4F01-9D7A-C3BECA4EC68A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$1825514D-998F-4BF6-BA5F-B63960D90B1B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"18f903fd042e01d6338d89e6afa41ef7b19fbadc","datavalue":{"value":{"time":"+1998-10-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":"Q1376907$55B34633-E270-466B-918F-7D58D53B38C7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"39fa6cf5381337374ff709330e2b2d2e54539c8e","datavalue":{"value":"The work is the first of a series of papers aiming at solving the open problem 2.3 from [\\textit{Yu. V. Matijasevich}, Hilbert's tenth problem (in Russian), Moscow, Nauka (1993; Zbl 0790.03009)]. Let the sequence \\(a_n\\) be defined by the recurrence  \\[ a_{n+k}=b_{k-1}a_{n+k-1}+\\ldots{+}b_0{a_n} \\]  where \\(b_i\\) are integers, \\(b_0=\\pm{1},\\) and where the initial conditions are  \\[ a_0=1, a_{-1}=a_{-2}=\\ldots=a_{-k+1}=0.  \\]  Let \\(f(\\lambda)={\\lambda}^k-b_{k-1}{\\lambda}_{k-1}-\\ldots{-}b_1\\lambda- b_0.\\) It is possible to define \\(a_n\\) for all negative integers \\(n\\) by  \\[ a_n=(a_{n+k}-b_{k-1}a_{n+k-1}-\\ldots{-}b_1a_{n+1})/b_0. \\]  Consider the matrices  \\[ B=\\left[\\begin{matrix} 0&0&\\ldots&0&b_0\\\\ 1&0&\\ldots&0&b_1\\\\ 0&1&\\ldots&0&b_2\\\\ \\ldots&\\ldots&\\ldots&\\ldots&\\ldots\\\\ 0&0&\\ldots&1&b_{k-1}\\end{matrix}\\right], \\]   \\[ A(x_0,\\ldots,x_{k-1})=\\sum_{l=0}^{k-1}x_i(B^l-\\sum_{j=1}^l b_{k-j}B^{l-j}), \\]  and define the polynomial \\(F_B=\\det{A}(x_0,\\ldots,x_{k-1}).\\) If the equality  \\[ F_B(x_0,\\ldots,x_{k-1})=\\pm{1} \\]  for integer \\(x_0,\\ldots,x_{k-1}\\) implies for some integer \\(n\\) either  \\[ x_0=a_n,{\\ldots},x_{k-1}=a_{n-k+1} \\]  or  \\[ x_0=-a_n,{\\ldots},x_{k-1}=-a_{n-k+1}, \\]  the equality (1) is called characteristic for the sequence \\(a_n.\\) Necessary conditions are found for the equality (1) to be characteristic for the sequence \\(a_n.\\) In case \\(k=3\\) necessary and sufficient conditions are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376907$A66904CC-4D51-4DC0-B04C-956B7A99E099","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376907$6E503ECD-BD5B-481E-B437-2A00C6CBD101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ccc5a5c9dd2865ab4417f7cabfcec0ef477e1206","datavalue":{"value":"11B39","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376907$DDE622E8-C319-400F-81FC-5E22B577468F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf34487c3a59be6cc4d9898b6bd21dd972ad42b4","datavalue":{"value":"1107900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376907$FBF34A57-58D2-4B97-943A-248F21942A9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0891251b36c2968a15a6001d6b017c67adb4fb9e","datavalue":{"value":"diophantine set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376907$3EDF7EB0-8CF4-4CDD-BF76-764F38C2C7C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e74ea2f43d9a6f91112446803cc7cfa0afb564bd","datavalue":{"value":"diophantine representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376907$7E85E461-1016-4CCC-BCDD-E09320F83E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89b5c28ce31c1759628c64ba1269e0bb145a7d1d","datavalue":{"value":"recurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376907$456DAEF5-91D1-422B-B271-E3E489B12116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cb79e4f2fb74485c3bdb5cf7f94d20f85d04a28","datavalue":{"value":"Fibonacci number","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376907$77CBF13F-46FE-4EF3-8A33-EC3DDA638E01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ffa5045205b852c4bae02373d586aa0cca3ea91","datavalue":{"value":{"entity-type":"item","numeric-id":234736,"id":"Q234736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$1944BD3B-D38F-45AE-B018-4D24EBF88929","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":"Q1376907$66150209-B301-4A27-9048-FE6D5DDE116D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85e610b073dc30f2b855b4c25b8ee39b6d8ed064","datavalue":{"value":{"entity-type":"item","numeric-id":5626749,"id":"Q5626749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$C82C061B-F84B-45E5-B94C-DF9B33D539BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175c1c6339231426570e05a46d3193da46e70701","datavalue":{"value":{"entity-type":"item","numeric-id":4401926,"id":"Q4401926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$2CF062A8-9F1C-451B-A76F-0937650BB7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402b1ddfbd64c587dddc22352d4d13fd40625845","datavalue":{"value":{"entity-type":"item","numeric-id":3333105,"id":"Q3333105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$95896444-CB7C-42FE-A138-827CCC692B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9b85bd06b3c79cb3efaac5757e162d3b1c31649","datavalue":{"value":{"entity-type":"item","numeric-id":3897100,"id":"Q3897100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$6B28C2CB-B8D4-4D10-8535-8812CE177B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$CB9F2C48-B55B-4B04-B0B7-F387C9DF4D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fb13fd7a879cf924e93ab955eaa04a5e9c8430c","datavalue":{"value":{"entity-type":"item","numeric-id":5643974,"id":"Q5643974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$ED4C3D03-F75B-44BE-A27B-FF01D155F85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab31d255702076d27b869f2fc94b1d0615ba3410","datavalue":{"value":{"entity-type":"item","numeric-id":4133963,"id":"Q4133963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$BBB7D3FE-2337-4FC4-B138-2A11D92CA3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40359969f4f5859125eed64808cf617ffbded116","datavalue":{"value":{"entity-type":"item","numeric-id":3992465,"id":"Q3992465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$DC43E7C8-D96B-4279-A382-18C4B4C9AA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72aed26f7b39052513b475c7d3a39a7a0a7f5b9f","datavalue":{"value":{"entity-type":"item","numeric-id":4404975,"id":"Q4404975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376907$F971550C-5283-4AC8-BFFE-078E7E9D6F64","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c842ae98e6a28d19db1467900fed226e5846b81","datavalue":{"value":"https://doi.org/10.1007/bf02355857","type":"string"},"datatype":"url"},"type":"statement","id":"Q1376907$7B246851-EBE6-4FCA-BB14-BC9E1CD8BD56","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8e5632bda8c06a395de32f7144e7d0073996bdde","datavalue":{"value":"W2081122869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376907$63E203D9-4748-4859-B311-A37FBA99B3AA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580a4062b371467e60070b18a4a36875324c01ba","datavalue":{"value":{"entity-type":"item","numeric-id":1977917,"id":"Q1977917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c1fbe63b947047a2ccd9813594ca8aa93e75d42","datavalue":{"value":{"amount":"+0.87193507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$D4C3EA26-07E2-4B68-861A-83BBA26CCB6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98b8cd72f65cca2ea33610d8748dbc97e0da73e","datavalue":{"value":{"entity-type":"item","numeric-id":635275,"id":"Q635275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33167f8c79de792567be8765f41c7469ae4cb711","datavalue":{"value":{"amount":"+0.8133789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$7650816F-1CD3-4C56-B44A-0B9A84925DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79a267c84707e083cca1a3d5439d77e50d7cdd93","datavalue":{"value":{"entity-type":"item","numeric-id":3972880,"id":"Q3972880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"802f0a046b868bb6ab8a240f023a1ebcde151f68","datavalue":{"value":{"amount":"+0.80303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$DFEE2F7F-B1F9-4F2A-BD21-8A02DCF0815C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5345d8a9ad76cbb1fb159876facd68103a88ad3c","datavalue":{"value":{"entity-type":"item","numeric-id":3403507,"id":"Q3403507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5399a5cd1cde5dac5df7ec764d1e16dfe0275cc9","datavalue":{"value":{"amount":"+0.79178655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$882EA88B-206C-411E-B117-B95AFAEC40D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5517d46ed6075f1591b7724b6f991d281a47f595","datavalue":{"value":{"entity-type":"item","numeric-id":5769923,"id":"Q5769923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411afca0fd9980148982ed6a77996dbf819dce27","datavalue":{"value":{"amount":"+0.7890833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$B7900CA4-4165-47FB-852A-5179BCB87BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceba4d9d4a7042ccce3dfd71e7504e5d752f2534","datavalue":{"value":{"entity-type":"item","numeric-id":5689940,"id":"Q5689940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e607e195fcecdee3cebe95fa26527e03630da458","datavalue":{"value":{"amount":"+0.78236353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$C66E1034-01C2-4722-97CE-C83023595235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5994a7f4de3ab8b1c87e24b19a24a06e9c49051","datavalue":{"value":{"entity-type":"item","numeric-id":4441313,"id":"Q4441313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d58bfc3e4c159d28edc3397617c5466af5f347","datavalue":{"value":{"amount":"+0.7748587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$E88E18B8-2713-413E-B577-E54DE167029D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364b3cc2c7b0e1ca3fd4f33bf6903e2a0e864183","datavalue":{"value":{"entity-type":"item","numeric-id":4021501,"id":"Q4021501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c50ee1b2a1cf0413086bd535db545ee529e8c5","datavalue":{"value":{"amount":"+0.7744223","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$E229D3D5-8159-4C20-922A-C0BE7ACBED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c615063bac4a816dc46cdae1c7fc62762c29373","datavalue":{"value":{"entity-type":"item","numeric-id":3027082,"id":"Q3027082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d17963272248e1f97c30d3d03ebdf34d2cab23b5","datavalue":{"value":{"amount":"+0.771557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$224E8EBE-A278-4C99-8DEA-0170E04A439A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1dd8555dacd5b002b8a2e7207804d9e4982a8a","datavalue":{"value":{"entity-type":"item","numeric-id":2746563,"id":"Q2746563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7b706dd78809508a43d66759d12617fe4938fd","datavalue":{"value":{"amount":"+0.7695391","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1376907$7E0EA81F-9174-4DE7-8FAA-98EE41EF8832","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1376907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1376907"}}}}}