{"id":"https://openalex.org/W2044757810","doi":"https://doi.org/10.1137/0217020","title":"Unique Extrapolation of Polynomial Recurrences","display_name":"Unique Extrapolation of Polynomial Recurrences","publication_year":1988,"publication_date":"1988-04-01","ids":{"openalex":"https://openalex.org/W2044757810","doi":"https://doi.org/10.1137/0217020","mag":"2044757810"},"language":"en","primary_location":{"id":"doi:10.1137/0217020","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0217020","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005612207","display_name":"Jeffrey C. Lagarias","orcid":"https://orcid.org/0000-0002-4157-5527"},"institutions":[{"id":"https://openalex.org/I72090969","display_name":"Nokia (United States)","ror":"https://ror.org/038km2573","country_code":"US","type":"company","lineage":["https://openalex.org/I2738502077","https://openalex.org/I72090969"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jeffrey C. Lagarias","raw_affiliation_strings":["AT&T Bell Labs.,Murray Hill, NJ"],"affiliations":[{"raw_affiliation_string":"AT&T Bell Labs.,Murray Hill, NJ","institution_ids":["https://openalex.org/I72090969"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112197960","display_name":"James A. Reeds","orcid":null},"institutions":[{"id":"https://openalex.org/I72090969","display_name":"Nokia (United States)","ror":"https://ror.org/038km2573","country_code":"US","type":"company","lineage":["https://openalex.org/I2738502077","https://openalex.org/I72090969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"James A. Reeds","raw_affiliation_strings":["AT&T Bell Labs.,Murray Hill, NJ"],"affiliations":[{"raw_affiliation_string":"AT&T Bell Labs.,Murray Hill, NJ","institution_ids":["https://openalex.org/I72090969"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005612207"],"corresponding_institution_ids":["https://openalex.org/I72090969"],"apc_list":null,"apc_paid":null,"fwci":2.69633412,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.90791291,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"17","issue":"2","first_page":"342","last_page":"362"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12396","display_name":"Advanced Differential Equations and Dynamical Systems","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.765595555305481},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.662650465965271},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.6169173121452332},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.6075724363327026},{"id":"https://openalex.org/keywords/polynomial-ring","display_name":"Polynomial ring","score":0.5880939364433289},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.538935124874115},{"id":"https://openalex.org/keywords/ring","display_name":"Ring (chemistry)","score":0.4497782588005066},{"id":"https://openalex.org/keywords/commutative-ring","display_name":"Commutative ring","score":0.440187931060791},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.42415574193000793},{"id":"https://openalex.org/keywords/finite-field","display_name":"Finite field","score":0.42239341139793396},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.382434219121933},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.290109246969223},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.2274177372455597},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.17879211902618408},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.07521039247512817},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.06369051337242126}],"concepts":[{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.765595555305481},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.662650465965271},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.6169173121452332},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.6075724363327026},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.5880939364433289},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.538935124874115},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.4497782588005066},{"id":"https://openalex.org/C161491579","wikidata":"https://www.wikidata.org/wiki/Q858656","display_name":"Commutative ring","level":3,"score":0.440187931060791},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.42415574193000793},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.42239341139793396},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.382434219121933},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.290109246969223},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.2274177372455597},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.17879211902618408},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.07521039247512817},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.06369051337242126},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/0217020","is_oa":false,"landing_page_url":"https://doi.org/10.1137/0217020","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1511314663","https://openalex.org/W1822108793","https://openalex.org/W2032980094","https://openalex.org/W2046233753","https://openalex.org/W2080017147","https://openalex.org/W2088708578","https://openalex.org/W2091282184","https://openalex.org/W2140262981","https://openalex.org/W2163035440","https://openalex.org/W2169377825","https://openalex.org/W2250444211","https://openalex.org/W3021014091","https://openalex.org/W4239191450","https://openalex.org/W4248269519","https://openalex.org/W4299482635"],"related_works":["https://openalex.org/W4308298797","https://openalex.org/W4255963200","https://openalex.org/W4312973762","https://openalex.org/W2360590989","https://openalex.org/W210140635","https://openalex.org/W2021515234","https://openalex.org/W2035028562","https://openalex.org/W2983122869","https://openalex.org/W2963586506","https://openalex.org/W4255391830"],"abstract_inverted_index":{"Let":[0,117],"a":[1,14,20,43,63,212,218,274,296],"sequence":[2,70],"of":[3,23,49,125,229,241,251,294,335],"k-dimensional":[4],"vectors":[5],"${\\bf":[6,25,88],"x}_0":[7,89],",{\\bf":[8,90,94],"x}_1":[9,91],",":[10,92],"\\cdots":[11,93],"$":[12,37,77,96,214,281,315],"(over":[13],"ring":[15,111],"A)":[16],"be":[17,42,79],"determined":[18],"by":[19,217],"polynomial":[21,44,219,244],"recurrence":[22,245,297],"form":[24],"x}_n":[26,73],"=":[27,101,151,160,339],"T({\\bf":[28],"x}_{n":[29,278,307,312],"-":[30],"1}":[31,280,309,314],")$,":[32],"where":[33,256,337],"$T:A^k":[34],"\\to":[35],"A^k":[36],"itself":[38],"is":[39,55,62,215,264,270,302],"known":[40,261],"to":[41,226],"map":[45],"in":[46,220,248],"k":[47,108,161,179,204,249,259,348],"variables":[48,250],"degree":[50,252],"at":[51,253,317],"most":[52,254,318],"d":[53,106,152,257],"but":[54,113],"otherwise":[56],"unknown.":[57],"We":[58],"show":[59,136,200],"that":[60,67,137,201,205,304],"there":[61],"finite":[64],"N":[65],"such":[66,295],"the":[68,82,110,123,165,227,232,283],"entire":[69],"$\\{":[71,234,285],"{\\bf":[72,277,306,311],":n":[74],"\\geqq":[75,172,195,238],"0\\}":[76],"can":[78],"deduced":[80],"from":[81],"first":[83],"$N":[84,100,338],"+":[85,153,162,176,279,308,313,321,326,341,345],"1$":[86,154],"terms":[87],"x}_N":[95],"alone.":[97],"The":[98],"number":[99],"\\phi":[102,208,322],"(d,k,A)$":[103,127],"depends":[104],"on":[105,115],"and":[107,109,155,184,258,262,300],"A":[112,267],"not":[114,187,265],"T.":[116],"$\\phi":[118,126,138,147,156,168,191],"^":[119,139,148,157,169,192,323],"*":[120,140,149,158,170,193,324],"(d,k)$":[121],"denote":[122],"maximum":[124],"over":[128],"all":[129],"commutative":[130],"rings":[131],"with":[132],"unit.":[133],"Then":[134],"we":[135,199],"(d,k)":[141,171,325],"<":[142],"\\infty":[143],"$.":[144],"In":[145,164,197],"particular,":[146],"(d,1)":[150],"(1,k)":[159],"1$.":[163],"general":[166],"case":[167],"\\left(":[173,328],"{\\begin{array}{*{20}c}":[174,343],"{k":[175,344],"d}":[177,346],"\\\\":[178,180,347,349],"\\end{array}":[181,350],"}":[182,331,351],"\\right)$":[183],"equality":[185],"does":[186],"always":[188],"hold":[189],"because":[190],"(2,2)":[194],"7$.":[196],"addition,":[198],"for":[202,316],"each":[203],"$\\max":[206],"\\{":[207],"(d,k,{\\bf":[209],"F}):{\\bf":[210],"F}{\\text{":[211],"field}}\\}":[213],"bounded":[216],"d.":[221],"These":[222],"results":[223],"are":[224,260],"applied":[225],"problem":[228],"correctly":[230],"extrapolating":[231],"values":[233,284,334],"{{\\bf":[235,286],"x}_i":[236,287],":i":[237],"0}":[239],"\\}$":[240,293],"an":[242],"unknown":[243],"$(\\bmod":[246],"M)$":[247],"d,":[255],"M":[263],"known.":[266],"polynomial-time":[268],"algorithm":[269],"given":[271,282],"which":[272],"computes":[273],"value":[275],"$\\hat":[276,305],":0":[288],"\\leqq":[289,291],"i":[290],"n}":[292],"as":[298],"input,":[299],"it":[301],"shown":[303],"\\ne":[310],"\\[":[319],"1":[320,340],"\\log":[327],"{M^{dN}":[329],"N^{\\tfrac{1}{2}N}":[330],"\\right)":[332],"\\]":[333],"n,":[336],"k\\left(":[342],"\\right)$.":[352]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
