{"id":"https://openalex.org/W7204963779","doi":"https://doi.org/10.48550/arxiv.2608.30389","title":"$13$ unknowns over quadratic integer rings and Lucas congruences","display_name":"$13$ unknowns over quadratic integer rings and Lucas congruences","publication_year":2026,"publication_date":"2026-08-31","ids":{"openalex":"https://openalex.org/W7204963779","doi":"https://doi.org/10.48550/arxiv.2608.30389"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.30389","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.30389","pdf_url":"https://arxiv.org/pdf/2608.30389","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.30389","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061966075","display_name":"Geng-Rui Zhang","orcid":"https://orcid.org/0000-0003-2835-8859","observed_orcids":["https://orcid.org/0000-0003-2835-8859"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Zhang, Geng-Rui","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5061966075"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9082000255584717,"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"}},"topics":[{"id":"https://openalex.org/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.9082000255584717,"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"}},{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.05779999867081642,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11680","display_name":"Advanced Algebra and Geometry","score":0.0052999998442828655,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/quadratic-integer-rings","display_name":"quadratic integer rings","score":0.796999990940094},{"id":"https://openalex.org/keywords/diophantine-definability","display_name":"Diophantine definability","score":0.7239999771118164},{"id":"https://openalex.org/keywords/transfer-principle","display_name":"transfer principle","score":0.6940000057220459},{"id":"https://openalex.org/keywords/undecidability","display_name":"undecidability","score":0.8519999980926514},{"id":"https://openalex.org/keywords/lucas-sequences","display_name":"Lucas sequences","score":0.8119999766349792}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8977000117301941},{"id":"https://openalex.org/C206530611","wikidata":"https://www.wikidata.org/wiki/Q905896","display_name":"Diophantine equation","level":2,"score":0.6894000172615051},{"id":"https://openalex.org/C3634175","wikidata":"https://www.wikidata.org/wiki/Q2503280","display_name":"Lucas number","level":3,"score":0.6269000172615051},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.597599983215332},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5920000076293945},{"id":"https://openalex.org/C40621787","wikidata":"https://www.wikidata.org/wiki/Q16251580","display_name":"Diophantine set","level":3,"score":0.5583999752998352},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.532800018787384},{"id":"https://openalex.org/C154977054","wikidata":"https://www.wikidata.org/wiki/Q1759646","display_name":"Lucas sequence","level":5,"score":0.47940000891685486},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.47780001163482666},{"id":"https://openalex.org/C129844170","wikidata":"https://www.wikidata.org/wiki/Q41299","display_name":"Quadratic equation","level":2,"score":0.4465999901294708},{"id":"https://openalex.org/C199422724","wikidata":"https://www.wikidata.org/wiki/Q41118","display_name":"Quotient","level":2,"score":0.43869999051094055},{"id":"https://openalex.org/C80695182","wikidata":"https://www.wikidata.org/wiki/Q864134","display_name":"Binary quadratic form","level":4,"score":0.3986000120639801},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.38749998807907104},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.36550000309944153},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.3452000021934509},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.3255000114440918},{"id":"https://openalex.org/C52703633","wikidata":"https://www.wikidata.org/wiki/Q676835","display_name":"Recursively enumerable set","level":3,"score":0.32350000739097595},{"id":"https://openalex.org/C95136341","wikidata":"https://www.wikidata.org/wiki/Q625519","display_name":"Quadratic field","level":4,"score":0.3010999858379364},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C102966492","wikidata":"https://www.wikidata.org/wiki/Q1227061","display_name":"Diophantine approximation","level":3,"score":0.29120001196861267},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.29089999198913574},{"id":"https://openalex.org/C173734053","wikidata":"https://www.wikidata.org/wiki/Q47577","display_name":"Fibonacci number","level":2,"score":0.2903999984264374},{"id":"https://openalex.org/C2780595030","wikidata":"https://www.wikidata.org/wiki/Q3860309","display_name":"Multiplication (music)","level":2,"score":0.289000004529953},{"id":"https://openalex.org/C46875033","wikidata":"https://www.wikidata.org/wiki/Q1244890","display_name":"Rational number","level":2,"score":0.28850001096725464},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C87670640","wikidata":"https://www.wikidata.org/wiki/Q132469","display_name":"Fermat's Last Theorem","level":2,"score":0.2797999978065491},{"id":"https://openalex.org/C21440807","wikidata":"https://www.wikidata.org/wiki/Q4968811","display_name":"Isotropic quadratic form","level":5,"score":0.26190000772476196},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.26089999079704285},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C12657307","wikidata":"https://www.wikidata.org/wiki/Q616608","display_name":"Algebraic number field","level":2,"score":0.2531000077724457},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.25099998712539673}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.30389","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.30389","pdf_url":"https://arxiv.org/pdf/2608.30389","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.30389","doi":"https://doi.org/10.48550/arxiv.2608.30389","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.30389","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.30389","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.30389","pdf_url":"https://arxiv.org/pdf/2608.30389","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204963779.pdf","grobid_xml":"https://content.openalex.org/works/W7204963779.grobid-xml"},"referenced_works_count":4,"referenced_works":["https://openalex.org/W3131404029","https://openalex.org/W4416497901","https://openalex.org/W7164515108","https://openalex.org/W7172490234"],"related_works":["https://openalex.org/W7172490234","https://openalex.org/W4312924524","https://openalex.org/W2571021155","https://openalex.org/W1155967843","https://openalex.org/W4416728022","https://openalex.org/W2081581375","https://openalex.org/W7172045263","https://openalex.org/W6885102417","https://openalex.org/W2968596457","https://openalex.org/W4225767653"],"abstract_inverted_index":{"For":[0],"every":[1,36,52],"quadratic":[2,53],"number":[3,54],"field":[4,55],"$K$,":[5,56],"we":[6],"prove":[7],"a":[8,32,73,81,87,103],"uniform":[9],"$3$-unknown":[10],"Diophantine":[11],"definition":[12],"of":[13,35,89,102],"integer":[14,39],"tuples":[15],"in":[16,75],"$\\mathcal{O}_K$,":[17],"allowing":[18],"finitely":[19],"many":[20],"polynomial":[21],"nonvanishing":[22],"conditions.":[23],"This":[24],"yields":[25,96],"an":[26,44],"effective":[27],"$+3$":[28],"transfer":[29],"principle":[30],"and":[31,116,124],"$13$-unknown":[33],"representation":[34],"recursively":[37],"enumerable":[38],"relation.":[40],"Consequently,":[41],"there":[42,57],"exists":[43],"absolute":[45],"degree":[46],"bound":[47],"$D_0\\geq1$":[48],"such":[49],"that":[50],"for":[51,99,114,127,131],"is":[58,80,86],"no":[59],"algorithm":[60],"that,":[61],"given":[62],"\\[":[63],"P(Y_1,\\ldots,Y_{13})\\in\\mathbb{Z}[Y_1,\\ldots,Y_{13}],\\quad":[64],"\\mathrm{deg}\\":[65],"P\\leq":[66],"D_0,":[67],"\\]":[68],"decides":[69],"whether":[70],"$P=0$":[71],"has":[72],"solution":[74],"$\\mathcal{O}_K^{13}$.":[76],"The":[77],"arithmetic":[78],"input":[79],"fourth-order":[82],"Pell--Lucas":[83],"congruence.":[84],"It":[85],"specialization":[88],"the":[90,100],"norm-one":[91,132],"Lucas":[92,104,133],"multiplication":[93],"formula,":[94],"which":[95],"exact":[97],"valuations":[98],"deviation":[101,112],"quotient":[105],"from":[106],"its":[107],"linear":[108],"term,":[109],"together":[110],"with":[111],"criteria":[113],"Lucas--Wieferich":[115],"Wall--Sun--Sun":[117],"primes.":[118],"We":[119],"also":[120],"establish":[121],"local":[122],"surjectivity":[123],"$\\ell$-adic":[125],"density":[126],"second-order":[128],"correction":[129],"terms":[130],"sequences.":[134]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-02T00:00:00"}