{"id":"https://openalex.org/W2139829429","doi":"https://doi.org/10.1145/1005285.1005286","title":"Sums of squares of polynomials and their applications","display_name":"Sums of squares of polynomials and their applications","publication_year":2004,"publication_date":"2004-07-04","ids":{"openalex":"https://openalex.org/W2139829429","doi":"https://doi.org/10.1145/1005285.1005286","mag":"2139829429"},"language":"en","primary_location":{"id":"doi:10.1145/1005285.1005286","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1005285.1005286","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2004 international symposium on Symbolic and algebraic computation","raw_type":"proceedings-article"},"type":"article","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/A5031935416","display_name":"Pablo A. Parrilo","orcid":"https://orcid.org/0000-0003-1132-8477"},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":true,"raw_author_name":"Pablo A. Parrilo","raw_affiliation_strings":["Swiss Federal Institute of Technology, Z\u00fcrich, Switzerland"],"affiliations":[{"raw_affiliation_string":"Swiss Federal Institute of Technology, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5031935416"],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.21122829,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9962999820709229,"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.9947999715805054,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.508051872253418},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.36090975999832153},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3402366042137146},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.16124126315116882}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.508051872253418},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.36090975999832153},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3402366042137146},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.16124126315116882}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1005285.1005286","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1005285.1005286","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2004 international symposium on Symbolic and algebraic computation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":5,"referenced_works":["https://openalex.org/W126279018","https://openalex.org/W1967184028","https://openalex.org/W2055993677","https://openalex.org/W2133404041","https://openalex.org/W2495457432"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694"],"abstract_inverted_index":{"A":[0],"multivariate":[1,66,304],"polynomial":[2,58,67,330],"is":[3,33,73,217,246,256],"a":[4,15,52,62,65,69,74,134,186,247,382],"sum":[5,16,48,70,299],"of":[6,17,19,49,61,64,71,129,137,154,157,173,177,180,199,221,233,249,259,267,276,300,327,329,385],"squares":[7,18,50,72,301],"(SOS)":[8],"if":[9],"it":[10],"can":[11,167],"be":[12,168,376],"written":[13],"as":[14,68,165,240,284,286,369,371],"other":[20],"polynomials,":[21],"i.e.,":[22],"p(x)":[23,32,36],"=":[24],"\u2211":[25],"q2;i;(x),":[26],"q_i(x)":[27],"e":[28,42],"R[x;1;,":[29],"\u2026,":[30],"x;n;].If":[31],"SOS":[34,158],"then":[35],"\u2265":[37],"0":[38],"for":[39,57,228,303,324,361],"all":[40],"x":[41],"R":[43],"n,":[44],"thus":[45],"making":[46],"the":[47,94,106,115,171,178,184,218,241,253,257,264,274,291,312],"condition":[51],"quite":[53],"natural":[54],"sufficient":[55],"test":[56],"nonnegativity.The":[59],"existence":[60],"decomposition":[63],"basic":[75,365],"question":[76],"in":[77,91,93,142,170,189,346],"pure":[78],"and":[79,85,99,207,213,263,282,317,332,338,357,367,393],"applied":[80],"mathematics.":[81],"Its":[82],"rich":[83],"algebraic":[84,191,280,356],"geometric":[86,390],"structure":[87],"has":[88,161],"been":[89,111,121,350],"analyzed":[90],"detail":[92],"past,":[95],"notably":[96],"by":[97],"Reznick":[98],"coauthors":[100],"[1],":[101],"but":[102],"until":[103],"very":[104,123],"recently":[105],"computational":[107,146,243],"implications":[108],"have":[109,120,132,349],"not":[110],"fully":[112],"explored.":[113],"In":[114],"last":[116],"few":[117],"years":[118],"there":[119],"some":[122,287],"interesting":[124,288],"new":[125],"developments":[126],"surrounding":[127],"sums":[128],"squares,":[130],"that":[131,204],"produced":[133],"wide":[135],"array":[136],"results":[138,313],"linking":[139],"foundational":[140],"questions":[141],"real":[143,190,211,325],"algebra":[144,212],"with":[145,378],"possibilities":[147],"arising":[148],"from":[149,210,381],"convex":[150,226,265],"optimization.":[151,214],"The":[152,334,364],"possibility":[153],"effective":[155,230],"computation":[156],"decompositions":[159,302],"also":[160],"important":[162],"practical":[163],"consequences,":[164],"they":[166],"used":[169],"formulation":[172],"easily":[174],"verifiable":[175],"certificates":[176,323],"emptiness":[179],"semialgebraic":[181],"sets":[182],"via":[183],"Positivstellensatz,":[185],"central":[187],"result":[188],"geometry.In":[192],"this":[193,200],"talk":[194],"we":[195,293],"present":[196],"an":[197,260],"overview":[198],"novel":[201],"research":[202],"area,":[203],"combines":[205],"symbolic":[206],"numeric":[208],"techniques":[209,336],"Particularly":[215],"exciting":[216],"recent":[219,373],"availability":[220],"efficient":[222],"approaches,":[223],"based":[224],"on":[225],"optimization,":[227],"its":[229,279],"computation.":[231],"Most":[232],"them":[234],"employ":[235],"semidefinite":[236,269,307],"programming":[237],"(SDP)":[238],"[5]":[239],"essential":[242],"tool.":[244],"SDP":[245],"class":[248],"optimization":[250],"problems,":[251],"where":[252],"feasible":[254],"set":[255],"intersection":[258],"affine":[261],"subspace":[262],"cone":[266],"positive":[268],"matrices.":[270],"We":[271],"will":[272,294,375],"review":[273],"basics":[275],"SDP,":[277],"emphasizing":[278],"characterization":[281],"properties,":[283],"well":[285,370],"open":[289],"problems.Along":[290],"way,":[292],"learn":[295],"how":[296,309,318],"to":[297,310,319,353],"compute":[298],"polynomials":[305],"using":[306,314],"programming,":[308],"certify":[311],"rounding":[315],"techniques,":[316],"obtain":[320],"structured":[321],"infeasibility":[322],"solutions":[326],"systems":[328],"equations":[331],"inequalities.":[333],"developed":[335],"unify":[337],"generalize":[339],"many":[340],"well-known":[341],"existing":[342],"methods.The":[343],"methods":[344],"introduced":[345],"[3,":[347],"4]":[348],"significantly":[351],"strengthened":[352],"exploit":[354],"problem-specific":[355],"numerical":[358],"structure;":[359],"see":[360],"instance":[362],"[2].":[363],"ideas":[366],"algorithms,":[368],"these":[372],"extensions,":[374],"illustrated":[377],"examples":[379],"drawn":[380],"broad":[383],"range":[384],"domains,":[386],"including":[387],"dynamical":[388],"systems,":[389],"theorem":[391],"proving":[392],"quantum":[394],"mechanics.":[395]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}