{"id":"https://openalex.org/W4319784895","doi":"https://doi.org/10.1145/3597066.3597072","title":"Pourchet\u2019s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares","display_name":"Pourchet\u2019s theorem in action: decomposing univariate nonnegative polynomials as sums of five squares","publication_year":2023,"publication_date":"2023-07-05","ids":{"openalex":"https://openalex.org/W4319784895","doi":"https://doi.org/10.1145/3597066.3597072"},"language":"en","primary_location":{"id":"doi:10.1145/3597066.3597072","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3597066.3597072","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},"type":"preprint","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/A5044009169","display_name":"Przemys\u0142aw Koprowski","orcid":"https://orcid.org/0000-0003-0952-5738"},"institutions":[{"id":"https://openalex.org/I864159182","display_name":"University of Silesia in Katowice","ror":"https://ror.org/0104rcc94","country_code":"PL","type":"education","lineage":["https://openalex.org/I864159182"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Przemys\u0142aw Koprowski","raw_affiliation_strings":["University of Silesia in Katowice, Poland","University of Silesia in Katowice (ul. Bankowa 12, 40-007 Katowice - Poland)"],"raw_orcid":"https://orcid.org/0000-0003-0952-5738","affiliations":[{"raw_affiliation_string":"University of Silesia in Katowice, Poland","institution_ids":["https://openalex.org/I864159182"]},{"raw_affiliation_string":"University of Silesia in Katowice (ul. Bankowa 12, 40-007 Katowice - Poland)","institution_ids":["https://openalex.org/I864159182"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066095974","display_name":"Victor Magron","orcid":"https://orcid.org/0000-0003-1147-3738"},"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/I190497903","display_name":"Laboratoire d'Analyse et d'Architecture des Syst\u00e8mes","ror":"https://ror.org/03vcm6439","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I190497903","https://openalex.org/I196454796","https://openalex.org/I205747304","https://openalex.org/I205747304","https://openalex.org/I4210095849","https://openalex.org/I4210159245","https://openalex.org/I4387153255","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862"]},{"id":"https://openalex.org/I84500057","display_name":"Institut de Math\u00e9matiques de Toulouse","ror":"https://ror.org/014vp6c30","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I196454796","https://openalex.org/I4210141950","https://openalex.org/I4210152422","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405258862","https://openalex.org/I4405259414","https://openalex.org/I84500057"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Victor Magron","raw_affiliation_strings":["CNRS-LAAS, IMT, France","LAAS-POP - Equipe Polynomial OPtimization (France)"],"raw_orcid":"https://orcid.org/0000-0003-1147-3738","affiliations":[{"raw_affiliation_string":"CNRS-LAAS, IMT, France","institution_ids":["https://openalex.org/I84500057","https://openalex.org/I1294671590","https://openalex.org/I190497903"]},{"raw_affiliation_string":"LAAS-POP - Equipe Polynomial OPtimization (France)","institution_ids":["https://openalex.org/I190497903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061019239","display_name":"Tristan Vaccon","orcid":"https://orcid.org/0000-0003-4208-8349"},"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/I4210093397","display_name":"XLIM","ror":"https://ror.org/00f7srh09","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I32881790","https://openalex.org/I4210093397","https://openalex.org/I4210095849","https://openalex.org/I65806277"]},{"id":"https://openalex.org/I65806277","display_name":"Universit\u00e9 de Limoges","ror":"https://ror.org/02cp04407","country_code":"FR","type":"education","lineage":["https://openalex.org/I65806277"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Tristan Vaccon","raw_affiliation_strings":["Universit\u00e9 de Limoges; CNRS, XLIM, France","XLIM - XLIM (123 Avenue Albert THOMAS 87060 LIMOGES CEDEX - France)"],"raw_orcid":"https://orcid.org/0000-0003-4208-8349","affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Limoges; CNRS, XLIM, France","institution_ids":["https://openalex.org/I65806277","https://openalex.org/I1294671590"]},{"raw_affiliation_string":"XLIM - XLIM (123 Avenue Albert THOMAS 87060 LIMOGES CEDEX - France)","institution_ids":["https://openalex.org/I4210093397"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5044009169"],"corresponding_institution_ids":["https://openalex.org/I864159182"],"apc_list":null,"apc_paid":null,"fwci":0.194,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.49389272,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"425","last_page":"433"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9994000196456909,"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.9994000196456909,"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/T11130","display_name":"Coding theory and cryptography","score":0.9968000054359436,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.9937999844551086,"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/mathematics","display_name":"Mathematics","score":0.7571359872817993},{"id":"https://openalex.org/keywords/univariate","display_name":"Univariate","score":0.7181222438812256},{"id":"https://openalex.org/keywords/explained-sum-of-squares","display_name":"Explained sum of squares","score":0.6624958515167236},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.6191452145576477},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5302208065986633},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5183316469192505},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5153786540031433},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5022988319396973},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.47521382570266724},{"id":"https://openalex.org/keywords/least-squares-function-approximation","display_name":"Least-squares function approximation","score":0.45091021060943604},{"id":"https://openalex.org/keywords/decomposition","display_name":"Decomposition","score":0.43117833137512207},{"id":"https://openalex.org/keywords/binary-number","display_name":"Binary number","score":0.41039231419563293},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3379591405391693},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1702604591846466},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.12645918130874634},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.12219619750976562},{"id":"https://openalex.org/keywords/multivariate-statistics","display_name":"Multivariate statistics","score":0.10790413618087769},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.08519601821899414}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7571359872817993},{"id":"https://openalex.org/C199163554","wikidata":"https://www.wikidata.org/wiki/Q1681619","display_name":"Univariate","level":3,"score":0.7181222438812256},{"id":"https://openalex.org/C49847556","wikidata":"https://www.wikidata.org/wiki/Q3964631","display_name":"Explained sum of squares","level":2,"score":0.6624958515167236},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6191452145576477},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5302208065986633},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5183316469192505},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5153786540031433},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5022988319396973},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47521382570266724},{"id":"https://openalex.org/C9936470","wikidata":"https://www.wikidata.org/wiki/Q6510405","display_name":"Least-squares function approximation","level":3,"score":0.45091021060943604},{"id":"https://openalex.org/C124681953","wikidata":"https://www.wikidata.org/wiki/Q339062","display_name":"Decomposition","level":2,"score":0.43117833137512207},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.41039231419563293},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3379591405391693},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1702604591846466},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.12645918130874634},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.12219619750976562},{"id":"https://openalex.org/C161584116","wikidata":"https://www.wikidata.org/wiki/Q1952580","display_name":"Multivariate statistics","level":2,"score":0.10790413618087769},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.08519601821899414},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3597066.3597072","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3597066.3597072","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03976836v1","is_oa":false,"landing_page_url":"https://laas.hal.science/hal-03976836","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSAC 2023: International Symposium on Symbolic and Algebraic Computation 2023, Dec 2023, Kyoto, Japan. pp.425-433, ⟨10.1145/3597066.3597072⟩","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8916485958","display_name":null,"funder_award_id":"ANR-11-LABX-0040, ANR-19-PI3A-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320709","display_name":"National Research Foundation Singapore","ror":"https://ror.org/03cpyc314"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W148842580","https://openalex.org/W190860662","https://openalex.org/W1527643685","https://openalex.org/W1587601543","https://openalex.org/W1753642991","https://openalex.org/W1995320256","https://openalex.org/W2011547806","https://openalex.org/W2037038460","https://openalex.org/W2040541934","https://openalex.org/W2050579918","https://openalex.org/W2092622802","https://openalex.org/W2132060817","https://openalex.org/W2133404041","https://openalex.org/W2138435885","https://openalex.org/W2164904462","https://openalex.org/W2227234579","https://openalex.org/W2260558110","https://openalex.org/W2274434947","https://openalex.org/W2489377303","https://openalex.org/W2549857394","https://openalex.org/W2574568368","https://openalex.org/W2883109957","https://openalex.org/W2960750222","https://openalex.org/W2963106619","https://openalex.org/W2963661913","https://openalex.org/W3113334666","https://openalex.org/W3139681725","https://openalex.org/W4221148233","https://openalex.org/W4226029373","https://openalex.org/W4238477653","https://openalex.org/W4247063378","https://openalex.org/W6638585889"],"related_works":["https://openalex.org/W2053002746","https://openalex.org/W3010831251","https://openalex.org/W2058869626","https://openalex.org/W2106850246","https://openalex.org/W4388252235","https://openalex.org/W2378144170","https://openalex.org/W1991217434","https://openalex.org/W4253326884","https://openalex.org/W2753003631","https://openalex.org/W2146767785"],"abstract_inverted_index":{"Pourchet":[0],"proved":[1],"in":[2,79],"1971":[3],"that":[4,45,71],"every":[5],"nonnegative":[6,49],"univariate":[7],"polynomial":[8,50],"with":[9],"rational":[10],"coefficients":[11],"is":[12,38],"a":[13,29,41,47,52],"sum":[14,53],"of":[15,34,43,54,66,81,84],"five":[16],"or":[17,61],"fewer":[18],"squares.":[19],"Nonetheless,":[20],"there":[21],"are":[22],"no":[23],"known":[24],"algorithms":[25,44],"for":[26],"constructing":[27],"such":[28],"decomposition.":[30],"The":[31],"sole":[32],"purpose":[33],"the":[35,72],"present":[36,40],"paper":[37],"to":[39],"set":[42],"decompose":[46],"given":[48],"into":[51],"six":[55],"(five":[56],"under":[57],"some":[58],"unproven":[59],"conjecture":[60],"when":[62],"allowing":[63],"weights)":[64],"squares":[65],"polynomials.":[67],"Moreover,":[68],"we":[69],"prove":[70],"binary":[73],"complexity":[74],"can":[75],"be":[76],"expressed":[77],"polynomially":[78],"terms":[80],"classical":[82],"operations":[83],"computer":[85],"algebra":[86],"and":[87],"algorithmic":[88],"number":[89],"theory.":[90]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}