{"id":"https://openalex.org/W7165613141","doi":"https://doi.org/10.48550/arxiv.2606.20633","title":"Explicit Factorization of $X^n-1$ over $\\mathbb{Z}_{p^e}$ via Cofactor-Free Single-Seed Hensel Lifting","display_name":"Explicit Factorization of $X^n-1$ over $\\mathbb{Z}_{p^e}$ via Cofactor-Free Single-Seed Hensel Lifting","publication_year":2026,"publication_date":"2026-05-30","ids":{"openalex":"https://openalex.org/W7165613141","doi":"https://doi.org/10.48550/arxiv.2606.20633"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.20633","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.20633","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2606.20633","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100635294","display_name":"Yongchao Wang","orcid":"https://orcid.org/0000-0002-0640-4140"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Yongchao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5139167473","display_name":"Yang Ding","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ding, Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081429712","display_name":"Jiansheng Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Jiansheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5011086655","display_name":"Z Zhangqin Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Zhiqiu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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.6639000177383423,"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.6639000177383423,"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.2720000147819519,"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.012799999676644802,"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/factorization","display_name":"Factorization","score":0.6115999817848206},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4860000014305115},{"id":"https://openalex.org/keywords/coset","display_name":"Coset","score":0.39969998598098755},{"id":"https://openalex.org/keywords/iterated-function","display_name":"Iterated function","score":0.39570000767707825},{"id":"https://openalex.org/keywords/square-free-polynomial","display_name":"Square-free polynomial","score":0.3946000039577484},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.37929999828338623},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.3725000023841858},{"id":"https://openalex.org/keywords/inverse","display_name":"Inverse","score":0.3711000084877014},{"id":"https://openalex.org/keywords/polynomial-ring","display_name":"Polynomial ring","score":0.3562999963760376}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7343000173568726},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.6115999817848206},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4860000014305115},{"id":"https://openalex.org/C85307737","wikidata":"https://www.wikidata.org/wiki/Q751969","display_name":"Coset","level":2,"score":0.39969998598098755},{"id":"https://openalex.org/C140479938","wikidata":"https://www.wikidata.org/wiki/Q5254619","display_name":"Iterated function","level":2,"score":0.39570000767707825},{"id":"https://openalex.org/C101525915","wikidata":"https://www.wikidata.org/wiki/Q7581979","display_name":"Square-free polynomial","level":4,"score":0.3946000039577484},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.37929999828338623},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.3711000084877014},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.3562999963760376},{"id":"https://openalex.org/C1893757","wikidata":"https://www.wikidata.org/wiki/Q3653001","display_name":"Inversion (geology)","level":3,"score":0.35530000925064087},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C163716315","wikidata":"https://www.wikidata.org/wiki/Q901177","display_name":"Gaussian","level":2,"score":0.3515999913215637},{"id":"https://openalex.org/C101044782","wikidata":"https://www.wikidata.org/wiki/Q6787887","display_name":"Matrix polynomial","level":3,"score":0.3458999991416931},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3449000120162964},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.34119999408721924},{"id":"https://openalex.org/C42321380","wikidata":"https://www.wikidata.org/wiki/Q849705","display_name":"Characteristic polynomial","level":3,"score":0.32589998841285706},{"id":"https://openalex.org/C200331156","wikidata":"https://www.wikidata.org/wiki/Q506041","display_name":"Jacobian matrix and determinant","level":2,"score":0.29899999499320984},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.29190000891685486},{"id":"https://openalex.org/C126312332","wikidata":"https://www.wikidata.org/wiki/Q2658","display_name":"Gaussian elimination","level":3,"score":0.27950000762939453},{"id":"https://openalex.org/C78397625","wikidata":"https://www.wikidata.org/wiki/Q192487","display_name":"Discriminant","level":2,"score":0.26820001006126404},{"id":"https://openalex.org/C106639798","wikidata":"https://www.wikidata.org/wiki/Q1701125","display_name":"Laurent polynomial","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C39613435","wikidata":"https://www.wikidata.org/wiki/Q846677","display_name":"Remainder","level":2,"score":0.2599000036716461},{"id":"https://openalex.org/C108741685","wikidata":"https://www.wikidata.org/wiki/Q392477","display_name":"Factorization of polynomials","level":4,"score":0.2572000026702881},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C34718186","wikidata":"https://www.wikidata.org/wiki/Q209875","display_name":"Binomial coefficient","level":2,"score":0.2551000118255615},{"id":"https://openalex.org/C45347329","wikidata":"https://www.wikidata.org/wiki/Q5166604","display_name":"Convolution (computer science)","level":3,"score":0.25429999828338623},{"id":"https://openalex.org/C30860621","wikidata":"https://www.wikidata.org/wiki/Q49008","display_name":"Prime factor","level":3,"score":0.25380000472068787},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.20633","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.20633","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.20633","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.20633","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,85,101,110],"complete":[3],"framework":[4,65,197],"for":[5,16,177],"the":[6,43,61,130,143,161,184,214],"explicit":[7],"factorization":[8],"of":[9,84,167,200],"$X^n-1$":[10,180],"over":[11,116,181,206,213],"integer":[12],"residue":[13],"rings":[14],"$\\mathbb{Z}_{p^e}$":[15,108],"arbitrary":[17],"$n$":[18],"with":[19,35,139],"$\\gcd(n,":[20],"p)=1$.":[21],"Classical":[22],"approaches":[23],"face":[24],"fundamental":[25],"bottlenecks:":[26],"polynomial":[27,88,112],"Hensel":[28,97],"lifting":[29,187],"requires":[30,46],"updating":[31],"global":[32],"cofactors":[33],"(scaling":[34,49],"$n$),":[36],"while":[37],"direct":[38],"multivariate":[39,86],"Newton--Hensel":[40],"iteration":[41],"on":[42],"factor":[44,80,104],"coefficients":[45,81],"Jacobian":[47],"inversion":[48,141],"exponentially":[50],"as":[51,82,142,150],"$O(p^{(m-1)^2})$":[52],"per":[53],"layer":[54],"due":[55],"to":[56,107,190],"zero-divisors,":[57],"where":[58],"$m$":[59],"is":[60],"coset":[62,137],"dimension).":[63],"Our":[64],"eliminates":[66],"both":[67],"bottlenecks":[68],"through":[69],"three":[70],"contributions:":[71],"(1)~the":[72],"\\emph{Ideal":[73],"Derivation":[74],"Modulo":[75],"Principle},":[76],"which":[77],"characterizes":[78],"all":[79,126],"roots":[83],"Dickson":[87],"ideal":[89],"derived":[90],"via":[91,135],"modular":[92],"remainder":[93],"extraction;":[94],"(2)~a":[95],"\\emph{cofactor-free":[96],"lift}":[98],"that":[99,124],"elevates":[100],"single":[102],"seed":[103],"from":[105,129],"$\\mathbb{F}_p$":[106],"using":[109],"cached":[111],"inverse":[113],"computed":[114],"once":[115],"$\\mathbb{F}_p$;":[117],"and":[118,146,211],"(3)~a":[119],"\\emph{dual-track":[120],"coefficient":[121],"reconstruction}":[122],"mechanism":[123],"recovers":[125],"remaining":[127],"factors":[128],"lifted":[131],"seed's":[132],"trace":[133],"array":[134],"MED-based":[136],"dispatch,":[138],"Newton--Girard":[140],"primary":[144],"path":[145],"quotient-ring":[147],"Gaussian":[148],"elimination":[149],"an":[151],"unconditional":[152],"fallback":[153],"when":[154],"$p":[155],"\\leq":[156],"m$.":[157],"Empirical":[158],"evaluation":[159],"confirms":[160],"theoretical":[162],"grand":[163],"total":[164],"algebraic":[165],"complexity":[166],"$O(n":[168],"+":[169,173],"m^3":[170],"\\log":[171],"p":[172],"e":[174],"\\cdot":[175],"m^2)$":[176],"explicitly":[178],"factoring":[179],"$\\mathbb{Z}_{p^e}$,":[182],"validating":[183],"near-constant":[185],"per-layer":[186],"cost":[188],"$O(m^2)$":[189],"depths":[191],"exceeding":[192],"$e":[193],"=":[194],"1000$.":[195],"The":[196],"yields":[198],"speedups":[199],"$445\\times$":[201],"(including":[202],"runtime":[203],"auto-seeding":[204],"overhead)":[205],"SageMath's":[207],"C-backed":[208],"FLINT/Pari":[209],"engine":[210],"$33.5\\times$":[212],"V1":[215],"scalar":[216],"lift.":[217]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-24T00:00:00"}