{"id":"https://openalex.org/W4248928505","doi":"https://doi.org/10.4086/toc.2019.v015a009","title":"","display_name":"","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W4248928505","doi":"https://doi.org/10.4086/toc.2019.v015a009"},"language":"en","primary_location":{"id":"doi:10.4086/toc.2019.v015a009","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2019.v015a009","pdf_url":"http://www.theoryofcomputing.org/articles/v015a009/v015a009.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://www.theoryofcomputing.org/articles/v015a009/v015a009.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025305994","display_name":"Srikanth Srinivasan","orcid":"https://orcid.org/0000-0001-6491-124X"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Srikanth Srinivasan","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5025305994"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32770484,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"15","issue":"1","first_page":"1","last_page":"3"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11435","display_name":"Polynomial and algebraic computation","score":0.9388999938964844,"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.9388999938964844,"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/T10142","display_name":"Formal Methods in Verification","score":0.01549999974668026,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.008299999870359898,"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.4594467878341675},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34432268142700195}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4594467878341675},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34432268142700195}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4086/toc.2019.v015a009","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2019.v015a009","pdf_url":"http://www.theoryofcomputing.org/articles/v015a009/v015a009.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},{"id":"pmh:oai:dsapce.library.iitb.ac.in:100/27009","is_oa":false,"landing_page_url":"http://dspace.library.iitb.ac.in/xmlui/handle/100/27009","pdf_url":null,"source":{"id":"https://openalex.org/S4306400899","display_name":"DSpace (IIT Bombay)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162827531","host_organization_name":"Indian Institute of Technology Bombay","host_organization_lineage":["https://openalex.org/I162827531"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Editorial Material"}],"best_oa_location":{"id":"doi:10.4086/toc.2019.v015a009","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2019.v015a009","pdf_url":"http://www.theoryofcomputing.org/articles/v015a009/v015a009.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4248928505.pdf","grobid_xml":"https://content.openalex.org/works/W4248928505.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"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":{"These":[0],"papers":[1,12,22,71],"were":[2,23,64,72],"selected":[3,47],"by":[4,40,92,161],"the":[5,10,16,21,26,29,34,37,56,60,77,133,149,168,171,177,184,205,223,263],"Program":[6,45],"Committee":[7,46],"from":[8],"among":[9],"28":[11,48],"that":[13],"appeared":[14,32],"in":[15,33,74,89,107,181,204],"conference":[17,27,38],"proceedings.Preliminary":[18],"versions":[19],"of":[20,36,50,58,80,82,148,152,167,170,235],"presented":[24],"at":[25,55],"and":[28,86,97],"extended":[30],"abstracts":[31],"proceedings":[35],"published":[39],"Dagstuhl":[41],"Publishing,":[42],"LIPIcs.The":[43],"CCC":[44],"out":[49],"74":[51],"submissions":[52],"for":[53,213],"presentation":[54],"conference;":[57],"these,":[59],"four":[61,70],"described":[62],"below":[63],"invited":[65],"to":[66,103,136,189,202,229],"this":[67,157,190,196,198],"Special":[68],"Issue.These":[69],"refereed":[73],"accordance":[75],"with":[76],"rigorous":[78],"standards":[79],"Theory":[81],"Computing.\u2022":[83],"\"Algebraic":[84],"dependencies":[85],"PSPACE":[87],"algorithms":[88],"approximative":[90],"complexity\"":[91],"Zeyu":[93],"Guo,":[94],"Nitin":[95],"Saxena,":[96],"Amit":[98],"Sinhababu.This":[99],"paper":[100],"makes":[101],"contributions":[102],"two":[104],"important":[105],"problems":[106],"algebraic":[108,131,256,264],"complexity.":[109],"1.":[110],"Algebraic":[111],"independence.Given":[112],"polynomials":[113,237],"f":[114,118,238,242],"1":[115,122,239,246],",":[116,123,240,247],"...,":[117,241],"m":[119,243],"\u2208":[120,244],"F[x":[121,245],".":[124,125,248,249],".,":[126,250],"x":[127,251],"n":[128,252],"]":[129,253],"as":[130,255],"circuits,":[132],"question":[134],"is":[135,144,200,219],"check":[137,230],"if":[138,231],"they":[139],"are":[140,267],"algebraically":[141],"independent.This":[142],"notion":[143],"a":[145,162,220,232,259],"fundamental":[146],"measure":[147],"joint":[150],"complexity":[151],"these":[153],"polynomials.In":[154],"characteristic":[155],"zero,":[156],"can":[158],"be":[159],"checked":[160],"simple":[163],"polynomial-time":[164],"(in":[165],"terms":[166],"sizes":[169],"input":[172],"circuits)":[173,257],"randomized":[174],"algorithm":[175],"via":[176],"well-known":[178],"Jacobian":[179],"criterion.However,":[180],"positive":[182],"characteristic,":[183],"best":[185],"known":[186],"result":[187,191],"prior":[188],"was":[192],"NP":[193],"#P":[194],".In":[195],"paper,":[197],"problem":[199],"shown":[201],"lie":[203],"polynomial":[206,217],"hierarchy":[207],"(specifically,":[208],"inside":[209],"AM":[210],"\u2229":[211],"coAM)":[212],"all":[214],"characteristics.2.":[215],"Approximate":[216],"satisfiability.This":[218],"twist":[221],"on":[222],"Hilbert":[224],"Nullstellensatz":[225],"problem,":[226],"which":[227],"asks":[228],"given":[233],"collection":[234],"multivariate":[236],"(given":[254],"has":[258],"common":[260],"root":[261],"over":[262],"closure.Here,":[265],"we":[266]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2022-05-12T00:00:00"}