[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"doc-detail-83652-en":3,"doc-seo-83652-105":30,"detail-sidebar-cat-0-en-105":91},{"code":4,"msg":5,"data":6},0,"success",{"doc_id":7,"user_id":8,"nickname":9,"user_avatar":10,"doc_module":4,"category_id":11,"category_name":12,"doc_title":13,"doc_description":14,"doc_content":15,"file_id":16,"file_url":17,"file_type":18,"file_size":19,"view_count":20,"is_deleted":4,"is_public":21,"is_downloadable":21,"audit_status":21,"page_count":22,"language":23,"language_code":24,"site_id":25,"html_lang":24,"table_of_contents":26,"faqs":27,"seo_title":13,"seo_description":14,"update_tm":28,"read_time":29},83652,3848291630094,"Emma Wilson","https://eur-avatar.wpscdn.com/davatar_085a072bc5b1113ac321206ff7593b45",8,"Research & Report","Deterministic Polynomial-time Exact-root Computation for Sparse Polynomials with Bounded Total Degree","Study the deterministic computation of exact roots of multivariate sparse polynomials. For a nonzero polynomial f in F[x1,…,xn] that is an exact e-th power f=ge, with s-sparse support, individual degree bounded by d, and total degree D=tdeg(f), a sparsity bound for the base polynomial g is proved: ||g||0 ≤ s·D(2d+2)/e+1. Based on this bound, a deterministic algorithm computes g in polynomial time when D is bounded, contrasting quasi-polynomial dependence in general sparse factorization.","arXiv :2607 .02364v 1 [ cs .DS] 2 Jul 2026  \nDeterministic Polynomial-time Exact-root Computation for Sparse Polynomials with Bounded Total Degree  \nQiao-Long Huang1, Yichuan Cao2, Ruichen Qiu2, Xiao-Shan Gao2 July 3, 2026  \nAbstract  \nWe study the problem of deterministically computing the exact root of a sparse polynomial in the multivariate setting. Let f ∈ F [x1, . . . , xn] be a nonzero polynomial that is an exact e-th power, say f = ge . Suppose f is s-sparse, has an individual degree of at most d, and a total degree of D = tdeg (f ). We prove a sparsity bound on the base polynomial g:  \n∥g∥0 ≤ sD (2d+2)/e+1 .  \nBased on this bound, we develop a deterministic algorithm that computes the base g.  \nIn contrast to the general deterministic factorization algorithm of Bhargava, Saraf, and Volkovich [2], which achieves only a quasi-polynomial dependence on the input parameters, our algorithm is polynomial-time in the setting where the total degree D is bounded.  \nSpecifically, the overall complexity is  \npoly 􀀐sO(Dd), n, d, D􀀑 + s · R(e),  \nwhere R (e) denotes the cost of constructing a single e-th root of a scalar in the base field F, and, when char (F) | e, the cost of computing a single Frobenius root of a scalar. This term is field-dependent, and over finite fields, Q, or number fields with a suitable representation, it is absorbed into the polynomial complexity bound. Within the bounded total-degree regime, this yields a deterministic polynomial-time algorithm for exact-root computation.  \n1 Introduction  \nA polynomial is called s-sparse if it has at most s nonzero monomials. The sparse (or lacunary) representation of a multivariate polynomial can be exponentially more compact than the dense representation: a polynomial such as xN − 1 requires only O (log N) bits to specify, while its dense representation has a length of O (N) . This extreme compression makes sparse polynomials attractive in algebraic complexity theory, coding theory, and symbolic computation, but it also poses fundamental challenges for deterministic algorithm design. In particular, algorithms whose complexity depends polynomially on the total degree D become exponential in the input size when the polynomial is given sparsely, since D can be exponential in the representation length.  \nOne of the central problems in this area is sparse polynomial factorization: given a sparse polynomial f , compute its irreducible factors in a representation that is also concise. Bhargava, Saraf, and Volkovich [1] gave a deterministic factorization algorithm for sparse polynomials with bounded individual degree. Their framework establishes a general factor-sparsity bound: if an s-sparse polynomial has an individual degree of at most d, then every factor has sparsity bounded by a function of s and d, enabling deterministic reconstruction. However, their algorithm achieves only quasi-polynomial dependence on the sparse parameters, leaving room for improvement in special but important cases.  \nA particularly fundamental special case is the computation of exact powers: given a polynomial f, determine whether f = ge for some polynomial g and integer e ≥ 2, and if so, compute g. This problem arises  \n1Shandong University, School of Mathematics, Jinan, China  \n2State Key Laboratory of Mathematical Sciences, Academy of Mathematics and Systems Science, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Beijing China  \nas a subroutine in complete factorization algorithms, in square-free decomposition, and in detecting prime powers prior to integer factorization. For dense polynomials, exact-power testing and root extraction are classical problems solved efficiently via square-free decomposition or Newton iteration. In the sparse setting, however, these methods break down because they depend polynomially on the degree D, which maybe exponential in the input size.  \nBisht and Volkovich [3] made significant progress on the structural side, proving a sparsity bound","cbCaikkePBG1eOS8","https://ap.wps.com/l/cbCaikkePBG1eOS8","pdf",282384,3,1,23,"English","en",105,"# Abstract\n# Introduction\n## Sparse polynomials and representation\n## Exact powers as a subproblem\n## Prior work and existing limitations\n# Main contributions\n## Sparsity bound for the base polynomial\n## Deterministic exact-root algorithm","[{\"question\":\"What problem does the paper address?\",\"answer\":\"It studies how to deterministically compute the exact root g in an equation f=ge for sparse multivariate polynomials.\"},{\"question\":\"Under what conditions is the polynomial-time guarantee achieved?\",\"answer\":\"The guarantee holds in the bounded total-degree regime, where the total degree D is bounded.\"},{\"question\":\"What is the key sparsity bound proved for the base polynomial g?\",\"answer\":\"If f is s-sparse with individual degree ≤ d and total degree D, then for f=ge the base satisfies ||g||0 ≤ s·D(2d+2)/e+1.\"}]",1784189529,58,{"code":4,"msg":31,"data":32},"ok",{"site_id":25,"language":24,"slug":33,"title":13,"keywords":34,"description":14,"schema_data":35,"social_meta":86,"head_meta":88,"extra_data":90,"updated_unix":28},"deterministic-polynomial-time-exact-root-computation-for-sparse-polynomials-with-bounded-total-degree","",{"@graph":36,"@context":85},[37,53,68],{"@type":38,"itemListElement":39},"BreadcrumbList",[40,44,48,50],{"item":41,"name":42,"@type":43,"position":21},"https://docshare.wps.com","Home","ListItem",{"item":45,"name":46,"@type":43,"position":47},"https://docshare.wps.com/document/","Document",2,{"item":49,"name":12,"@type":43,"position":20},"https://docshare.wps.com/document/research-report/",{"item":51,"name":13,"@type":43,"position":52},"https://docshare.wps.com/document/deterministic-polynomial-time-exact-root-computation-for-sparse-polynomials-with-bounded-total-degree/83652/",4,{"url":51,"name":13,"@type":54,"author":55,"headline":13,"publisher":57,"fileFormat":60,"inLanguage":24,"description":14,"dateModified":61,"datePublished":62,"encodingFormat":60,"isAccessibleForFree":63,"interactionStatistic":64},"DigitalDocument",{"name":9,"@type":56},"Person",{"url":41,"name":58,"@type":59},"DocShare","Organization","application/pdf","2026-07-24","2026-07-16",true,{"@type":65,"interactionType":66,"userInteractionCount":20},"InteractionCounter",{"@type":67},"ViewAction",{"@type":69,"mainEntity":70},"FAQPage",[71,77,81],{"name":72,"@type":73,"acceptedAnswer":74},"What problem does the paper address?","Question",{"text":75,"@type":76},"It studies how to deterministically compute the exact root g in an equation f=ge for sparse multivariate polynomials.","Answer",{"name":78,"@type":73,"acceptedAnswer":79},"Under what conditions is the polynomial-time guarantee achieved?",{"text":80,"@type":76},"The guarantee holds in the bounded total-degree regime, where the total degree D is bounded.",{"name":82,"@type":73,"acceptedAnswer":83},"What is the key sparsity bound proved for the base polynomial g?",{"text":84,"@type":76},"If f is s-sparse with individual degree ≤ d and total degree D, then for f=ge the base satisfies ||g||0 ≤ s·D(2d+2)/e+1.","https://schema.org",{"og:url":51,"og:type":87,"og:title":13,"og:site_name":58,"og:description":14},"article",{"robots":89,"canonical":51},"index,follow",{"doc_id":7,"site_id":25},{"code":4,"msg":5,"data":92},[93,97,101,105,110,115,120,123,128,131,135],{"id":21,"doc_module":4,"doc_module_name":46,"category_name":94,"show_sort_weight":95,"slug":96},"Story & Novel",90,"story-novel",{"id":47,"doc_module":4,"doc_module_name":46,"category_name":98,"show_sort_weight":99,"slug":100},"Literature",80,"literature",{"id":52,"doc_module":4,"doc_module_name":46,"category_name":102,"show_sort_weight":103,"slug":104},"Exam",70,"exam",{"id":106,"doc_module":4,"doc_module_name":46,"category_name":107,"show_sort_weight":108,"slug":109},5,"Comic",60,"comic",{"id":111,"doc_module":4,"doc_module_name":46,"category_name":112,"show_sort_weight":113,"slug":114},6,"Technology",50,"technology",{"id":116,"doc_module":4,"doc_module_name":46,"category_name":117,"show_sort_weight":118,"slug":119},7,"Healthcare",40,"healthcare",{"id":11,"doc_module":4,"doc_module_name":46,"category_name":12,"show_sort_weight":121,"slug":122},30,"research-report",{"id":124,"doc_module":4,"doc_module_name":46,"category_name":125,"show_sort_weight":126,"slug":127},9,"Religion & Spirituality",20,"religion-spirituality",{"id":126,"doc_module":4,"doc_module_name":46,"category_name":129,"show_sort_weight":126,"slug":130},"World Cup","world-cup",{"id":132,"doc_module":4,"doc_module_name":46,"category_name":133,"show_sort_weight":132,"slug":134},10,"Lifestyle","lifestyle",{"id":136,"doc_module":4,"doc_module_name":46,"category_name":137,"show_sort_weight":106,"slug":138},19,"General","general"]