{"id":"https://openalex.org/W7119009825","doi":"https://doi.org/10.1137/1.9781611978971.227","title":"Problems from Optimization and Computational Algebra Equivalent to Hilbert\u2019s Nullstellensatz","display_name":"Problems from Optimization and Computational Algebra Equivalent to Hilbert\u2019s Nullstellensatz","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7119009825","doi":"https://doi.org/10.1137/1.9781611978971.227"},"language":"en","primary_location":{"id":"doi:10.1137/1.9781611978971.227","is_oa":false,"landing_page_url":"https://doi.org/10.1137/1.9781611978971.227","pdf_url":null,"source":{"id":"https://openalex.org/S4306463922","display_name":"Society for Industrial and Applied Mathematics eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)","raw_type":"book-chapter"},"type":"conference-paper","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/A5035530886","display_name":"Markus Bl\u00e4ser","orcid":"https://orcid.org/0000-0002-1750-9036"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Markus Bl\u00e4ser","raw_affiliation_strings":["Saarland University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Saarland University","institution_ids":["https://openalex.org/I91712215"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5122045809","display_name":"Sagnik Dutta","orcid":null},"institutions":[{"id":"https://openalex.org/I4210109712","display_name":"Max Planck Institute for Informatics","ror":"https://ror.org/01w19ak89","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210109712"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sagnik Dutta","raw_affiliation_strings":["Max Planck Institut f\u00fcr Informatik"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institut f\u00fcr Informatik","institution_ids":["https://openalex.org/I4210109712"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006235448","display_name":"Gorav Jindal","orcid":"https://orcid.org/0000-0002-9749-5032"},"institutions":[{"id":"https://openalex.org/I4654613","display_name":"University of Warsaw","ror":"https://ror.org/039bjqg32","country_code":"PL","type":"education","lineage":["https://openalex.org/I4654613"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Gorav Jindal","raw_affiliation_strings":["University of Warsaw"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Warsaw","institution_ids":["https://openalex.org/I4654613"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.10702216,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"6308","last_page":"6331"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9810000061988831,"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.9810000061988831,"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/T12069","display_name":"Commutative Algebra and Its Applications","score":0.011800000444054604,"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"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.0010000000474974513,"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/ring","display_name":"Ring (chemistry)","score":0.6215999722480774},{"id":"https://openalex.org/keywords/parameterized-complexity","display_name":"Parameterized complexity","score":0.6007000207901001},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5837000012397766},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.517799973487854},{"id":"https://openalex.org/keywords/projection","display_name":"Projection (relational algebra)","score":0.4943999946117401},{"id":"https://openalex.org/keywords/polynomial-ring","display_name":"Polynomial ring","score":0.4715000092983246},{"id":"https://openalex.org/keywords/affine-variety","display_name":"Affine variety","score":0.4706999957561493},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.4674000144004822}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6868000030517578},{"id":"https://openalex.org/C2780378348","wikidata":"https://www.wikidata.org/wiki/Q25351438","display_name":"Ring (chemistry)","level":2,"score":0.6215999722480774},{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6007000207901001},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5837000012397766},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.517799973487854},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.4943999946117401},{"id":"https://openalex.org/C9485509","wikidata":"https://www.wikidata.org/wiki/Q1455652","display_name":"Polynomial ring","level":3,"score":0.4715000092983246},{"id":"https://openalex.org/C185579658","wikidata":"https://www.wikidata.org/wiki/Q3554813","display_name":"Affine variety","level":3,"score":0.4706999957561493},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.4674000144004822},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43860000371932983},{"id":"https://openalex.org/C105335568","wikidata":"https://www.wikidata.org/wiki/Q7663735","display_name":"System of polynomial equations","level":3,"score":0.43849998712539673},{"id":"https://openalex.org/C137836250","wikidata":"https://www.wikidata.org/wiki/Q984063","display_name":"Optimization problem","level":2,"score":0.438400000333786},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.43309998512268066},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3959999978542328},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3262999951839447},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.322299987077713},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2955999970436096},{"id":"https://openalex.org/C198082693","wikidata":"https://www.wikidata.org/wiki/Q1551631","display_name":"Gr\u00f6bner basis","level":3,"score":0.2944999933242798},{"id":"https://openalex.org/C19754495","wikidata":"https://www.wikidata.org/wiki/Q3435924","display_name":"Computational problem","level":2,"score":0.28189998865127563},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2547999918460846}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/1.9781611978971.227","is_oa":false,"landing_page_url":"https://doi.org/10.1137/1.9781611978971.227","pdf_url":null,"source":{"id":"https://openalex.org/S4306463922","display_name":"Society for Industrial and Applied Mathematics eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)","raw_type":"book-chapter"}],"best_oa_location":null,"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":{"Solving":[0],"polynomial":[1,85,282],"systems":[2,83],"is":[3,18,87,134,146,158,171,199,213,228,283,286,308,325],"a":[4,36,51,167,250,280,322],"powerful":[5],"tool":[6,252],"for":[7,72,151,166,215,310,319],"designing":[8],"algorithms":[9],"in":[10,39,253,258],"optimization":[11,77],"and":[12,78,191,255,313],"computational":[13],"algebra.":[14],"Formally,":[15],"this":[16,67,132,139,197],"problem":[17,22,133,157,198,265],"called":[19],"Hilbert\u2019s":[20,93,240],"Nullstellensatz":[21,94,241],"\\(\\textsf{HN}_R\\):":[23],"given":[24,106,168,281],"multivariate":[25],"polynomials":[26,247],"over":[27,207,242],"some":[28],"ring":[29,43],"\\(R\\),":[30,44],"it":[31,145],"asks":[32,109,164],"whether":[33,110,165,279,321],"they":[34],"have":[35,248],"common":[37],"solution":[38],"\\(R\\).":[40],"For":[41,181],"every":[42],"we":[45,69,90,137,221,233],"can":[46,91,114],"also":[47],"view":[48],"\\(\\textsf{HN}_R\\)":[49,61],"as":[50,82,147,149,316,318],"parameterized":[52],"complexity":[53,330],"class":[54],"by":[55,120,142],"taking":[56],"the":[57,100,118,125,159,177,218,224,236,243,263,268,272,289,296,300,306,329],"downward":[58],"closure":[59],"of":[60,84,112,124,179,239,271,291,299,331,333],"under":[62],"polynomial-time":[63],"many-one":[64],"reductions.":[65],"In":[66],"work,":[68],"show":[70,222,304],"that":[71,131,144,175,185,196,223,277,305],"many":[73],"important":[74,237],"problems":[75],"from":[76,261],"algebra,":[79],"formulating":[80],"them":[81,113],"equations":[86],"optimal,":[88],"since":[89],"reduce":[92],"to":[95,205,230,235,266,288,295],"them.":[96],"We":[97,201,275,303],"first":[98],"consider":[99],"Affine":[101],"Polynomial":[102],"Projection":[103],"Problem,":[104,162],"which,":[105],"two":[107],"polynomials,":[108],"one":[111],"be":[115],"transformed":[116],"into":[117],"other":[119],"an":[121,172],"affine":[122,173],"projection":[123],"variables.":[126],"Kayal":[127],"(STOC":[128],"2012)":[129],"proved":[130],"\\(\\textsf{NP}\\)-hard.":[135],"Here,":[136],"improve":[138],"lower":[140],"bound":[141],"showing":[143],"hard":[148],"\\(\\textsf{HN}_F\\)":[150,212],"any":[152],"field":[153],"\\(F\\).":[154],"The":[155],"second":[156],"Sparse":[160,225],"Shift":[161,226],"which":[163],"polynomial,":[169],"there":[170],"shift":[174],"reduces":[176],"number":[178],"monomials.":[180],"integral":[182],"domains":[183],"\\(R\\)":[184],"are":[186],"not":[187],"fields,":[188],"Chillara,":[189],"Grichener,":[190],"Shpilka":[192],"(STACS":[193],"2023)":[194],"showed":[195],"\\(\\textsf{HN}_R\\)-hard.":[200],"extend":[202],"their":[203],"result":[204],"fields:":[206],"infinite":[208],"fields":[209],"\\(F\\),":[210],"where":[211],"complete":[214],"\\(\\textsf{NP}_F\\)":[216],"(in":[217],"BSS":[219],"model),":[220],"Problem":[227],"equivalent":[229,287],"\\(\\textsf{HN}_F\\).":[231],"Next,":[232],"turn":[234],"case":[238],"real":[244,284],"numbers.":[245],"Real-stable":[246],"been":[249],"successful":[251],"mathematics":[254],"computer":[256],"science":[257],"recent":[259],"years,":[260],"solving":[262],"Kadison-Singer":[264],"improving":[267],"approximation":[269],"performance":[270],"metric":[273],"TSP.":[274],"prove":[276],"testing":[278,311,314,320],"stable":[285],"complement":[290],"\\(\\textsf{HN}_{\\mathbb{R}}\\),":[292],"or":[293],"equivalently,":[294],"universal":[297],"theory":[298],"reals":[301],"\\(\\forall\\mathbb{R}\\).":[302],"same":[307],"true":[309],"convexity":[312],"hyperbolicity,":[315],"well":[317],"biquadratic":[323],"form":[324],"nonnegative,":[326],"completely":[327],"settling":[328],"all":[332],"these":[334],"problems.":[335]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-01-08T00:00:00"}