{"id":"https://openalex.org/W7128984615","doi":"https://doi.org/10.48550/arxiv.2610.32508","title":"Deterministic Root-Finding over Finite Fields with Elliptic Curves","display_name":"Deterministic Root-Finding over Finite Fields with Elliptic Curves","publication_year":2026,"publication_date":"2026-10-23","ids":{"openalex":"https://openalex.org/W7128984615","doi":"https://doi.org/10.48550/arxiv.2610.32508"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.32508","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.32508","pdf_url":"https://arxiv.org/pdf/2610.32508","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/2610.32508","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5056341371","display_name":"Pierre-Jean Spaenlehauer","orcid":"https://orcid.org/0000-0001-7906-0505","observed_orcids":["https://orcid.org/0000-0001-7906-0505"]},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I90183372","display_name":"Universit\u00e9 de Lorraine","ror":"https://ror.org/04vfs2w97","country_code":"FR","type":"education","lineage":["https://openalex.org/I90183372"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Spaenlehauer, Pierre-Jean","raw_affiliation_strings":["Universit\u00e9 de Lorraine , CNRS , Inria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Lorraine , CNRS , Inria","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I90183372"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5056341371"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I90183372"],"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9057999849319458,"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"}},"topics":[{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9057999849319458,"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/T11693","display_name":"Cryptography and Residue Arithmetic","score":0.08820000290870667,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10061","display_name":"Algebraic Geometry and Number Theory","score":0.0017999999690800905,"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/elliptic-curves","display_name":"elliptic curves","score":0.7910000085830688},{"id":"https://openalex.org/keywords/quadratic-twists","display_name":"quadratic twists","score":0.675000011920929},{"id":"https://openalex.org/keywords/frobenius-traces","display_name":"trace of Frobenius","score":0.8790000081062317},{"id":"https://openalex.org/keywords/rational-points-on-elliptic-curves","display_name":"rational points on elliptic curves","score":0.7089999914169312},{"id":"https://openalex.org/keywords/polynomial-time-algorithms","display_name":"polynomial-time algorithms","score":0.5630000233650208},{"id":"https://openalex.org/keywords/magma-implementation","display_name":"Magma implementation","score":0.6470000147819519},{"id":"https://openalex.org/keywords/prime-fields","display_name":"prime fields","score":0.6949999928474426}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8111000061035156},{"id":"https://openalex.org/C121444067","wikidata":"https://www.wikidata.org/wiki/Q2835817","display_name":"Schoof's algorithm","level":4,"score":0.704200029373169},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.4952000081539154},{"id":"https://openalex.org/C179603306","wikidata":"https://www.wikidata.org/wiki/Q268493","display_name":"Elliptic curve","level":2,"score":0.4934000074863434},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.4918999969959259},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.453900009393692},{"id":"https://openalex.org/C157567686","wikidata":"https://www.wikidata.org/wiki/Q7644139","display_name":"Supersingular elliptic curve","level":3,"score":0.4424999952316284},{"id":"https://openalex.org/C117121985","wikidata":"https://www.wikidata.org/wiki/Q78380999","display_name":"Elliptic curve point multiplication","level":3,"score":0.42640000581741333},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.41200000047683716},{"id":"https://openalex.org/C102634674","wikidata":"https://www.wikidata.org/wiki/Q868473","display_name":"Smoothness","level":2,"score":0.4041000008583069},{"id":"https://openalex.org/C68782407","wikidata":"https://www.wikidata.org/wiki/Q5177153","display_name":"Counting points on elliptic curves","level":5,"score":0.36980000138282776},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.3668000102043152},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.35659998655319214},{"id":"https://openalex.org/C13533509","wikidata":"https://www.wikidata.org/wiki/Q1064349","display_name":"Deterministic algorithm","level":2,"score":0.35499998927116394},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33959999680519104},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3375999927520752},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.33739998936653137},{"id":"https://openalex.org/C73683783","wikidata":"https://www.wikidata.org/wiki/Q2728886","display_name":"Modular elliptic curve","level":4,"score":0.33730000257492065},{"id":"https://openalex.org/C92788228","wikidata":"https://www.wikidata.org/wiki/Q3777923","display_name":"Multiplicative group","level":3,"score":0.33230000734329224},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3244999945163727},{"id":"https://openalex.org/C173259116","wikidata":"https://www.wikidata.org/wiki/Q864003","display_name":"Discrete logarithm","level":4,"score":0.30160000920295715},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.3012000024318695},{"id":"https://openalex.org/C159379195","wikidata":"https://www.wikidata.org/wiki/Q7239568","display_name":"Precomputation","level":3,"score":0.2955000102519989},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.2874000072479248},{"id":"https://openalex.org/C104993295","wikidata":"https://www.wikidata.org/wiki/Q17023345","display_name":"Hessian form of an elliptic curve","level":5,"score":0.28600001335144043},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.2849999964237213},{"id":"https://openalex.org/C84545080","wikidata":"https://www.wikidata.org/wiki/Q1147936","display_name":"Condition number","level":3,"score":0.27320000529289246},{"id":"https://openalex.org/C194777461","wikidata":"https://www.wikidata.org/wiki/Q1085860","display_name":"Root-finding algorithm","level":3,"score":0.26499998569488525},{"id":"https://openalex.org/C39096654","wikidata":"https://www.wikidata.org/wiki/Q728507","display_name":"Strassen algorithm","level":4,"score":0.2587999999523163},{"id":"https://openalex.org/C157351203","wikidata":"https://www.wikidata.org/wiki/Q216906","display_name":"Multiplicative inverse","level":3,"score":0.2574000060558319},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.25450000166893005},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.25130000710487366}],"mesh":[],"locations_count":5,"locations":[{"id":"pmh:oai:arXiv.org:2610.32508","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.32508","pdf_url":"https://arxiv.org/pdf/2610.32508","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":"pmh:oai:HAL:hal-05509822v2","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-05509822v2","pdf_url":"https://inria.hal.science/hal-05509822/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2026","raw_type":"info:eu-repo/semantics/preprint"},{"id":"pmh:oai:HAL:hal-05509822v1","doi":null,"is_oa":true,"landing_page_url":"https://hal.science/hal-05509822v1","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2026","raw_type":"info:eu-repo/semantics/preprint"},{"id":"pmh:oai:HAL:hal-05509822v3","doi":null,"is_oa":true,"landing_page_url":"https://inria.hal.science/hal-05509822","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2026","raw_type":"info:eu-repo/semantics/preprint"},{"id":"doi:10.48550/arxiv.2610.32508","doi":"https://doi.org/10.48550/arxiv.2610.32508","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.32508","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:2610.32508","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.32508","pdf_url":"https://arxiv.org/pdf/2610.32508","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":[{"id":"https://openalex.org/G1190173965","display_name":null,"funder_award_id":"France2030","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G5463327868","display_name":"Post-quantum padlock for web browser","funder_award_id":"ANR-22-PETQ-0008","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7128984615.pdf","grobid_xml":"https://content.openalex.org/works/W7128984615.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2342913047","https://openalex.org/W2075252632","https://openalex.org/W1487143383","https://openalex.org/W2152444558","https://openalex.org/W1819506124","https://openalex.org/W7099834940","https://openalex.org/W1526986912","https://openalex.org/W1522877515","https://openalex.org/W1988473257","https://openalex.org/W2055581003"],"abstract_inverted_index":{"Finding":[0],"the":[1,26,42,53,98,105,115,122,154],"roots":[2,123,155],"of":[3,55,58,64,109,124,128,144,171,211],"a":[4,7,17,46,85,168,216,226,233],"polynomial":[5,14,169,198,236],"over":[6,159,181],"finite":[8],"field":[9],"$\\mathbb":[10,29,50,81,140,182,209],"F_q$":[11,82,183,210],"in":[12,25,139,174,196,199,235],"deterministic":[13,22,119],"time":[15,197,237],"is":[16,37,40,118,147,185],"long-standing":[18],"open":[19],"problem.":[20],"Classical":[21],"methods":[23],"work":[24],"multiplicative":[27],"group":[28],"F_q^\\times$":[30,51],"and":[31,63,83,92,120,165,184,194,202,222,228],"are":[32],"efficient":[33],"only":[34,79],"when":[35],"$q-1$":[36],"smooth,":[38],"which":[39,77,96,152],"rarely":[41],"case.":[43],"We":[44,205],"propose":[45],"method":[47,146],"that":[48,207],"replaces":[49],"by":[52,150],"groups":[54],"rational":[56],"points":[57],"an":[59,74,93,148],"elliptic":[60],"curve":[61],"$E$":[62],"its":[65],"quadratic":[66],"twist":[67],"$\\widetilde":[68,132],"E$.":[69],"The":[70],"computation":[71],"splits":[72],"into":[73],"offline":[75],"phase,":[76,95],"depends":[78],"on":[80,163],"outputs":[84],"short":[86],"\\emph{elliptic":[87],"preprocessing":[88],"datum}":[89],"$\\mathcal":[90,188],"D$,":[91],"online":[94,116,177],"processes":[97],"input":[99],"polynomial.":[100],"Writing":[101],"$\u039e(\\mathcal":[102,203,219],"D)$":[103],"for":[104],"largest":[106],"prime":[107],"factor":[108],"$\\lvert":[110],"E(\\mathbb":[111,113],"F_q)\\rvert\\cdot\\lvert\\widetilde":[112],"F_q)\\rvert$,":[114],"phase":[117,178],"finds":[121],"any":[125],"$f\\in\\mathbb":[126],"F_q[X]$":[127],"degree":[129],"$n$":[130],"within":[131],"O(\u039e(\\mathcal":[133],"D)^2\\,n\\log^2":[134],"q+n^\u03c9\\log":[135],"q+n\\log^3":[136],"q)$":[137],"operations":[138],"F_q$.":[141],"A":[142],"precursor":[143],"our":[145,176],"algorithm":[149],"R\u00f3nyai,":[151],"recovers":[153],"through":[156],"Galois":[157],"computations":[158],"number":[160],"fields,":[161],"relies":[162],"GRH,":[164],"comes":[166],"with":[167,218,225,229],"bound":[170],"unspecified":[172],"degree;":[173],"contrast,":[175],"works":[179],"entirely":[180],"unconditional.":[186],"Moreover,":[187],"D$":[189],"can":[190],"be":[191],"certified":[192],"deterministically":[193],"unconditionally":[195],"$\\log":[200],"q$":[201],"D)$.":[204],"conjecture":[206],"every":[208],"large":[212],"enough":[213],"characteristic":[214],"admits":[215],"datum":[217,234],"D)\\leq(\\log":[220],"q)^{O(1)}$,":[221],"support":[223],"this":[224],"heuristic":[227],"experiments.":[230],"Constructing":[231],"such":[232],"remains":[238],"open.":[239]},"counts_by_year":[],"updated_date":"2026-10-29T09:56:32.521200","created_date":"2026-02-16T00:00:00"}