{"id":"https://openalex.org/W3210738158","doi":"https://doi.org/10.4086/toc.2021.v017a010","title":"","display_name":"","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3210738158","doi":"https://doi.org/10.4086/toc.2021.v017a010","mag":"3210738158"},"language":"en","primary_location":{"id":"doi:10.4086/toc.2021.v017a010","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2021.v017a010","pdf_url":"http://www.theoryofcomputing.org/articles/v017a010/v017a010.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/v017a010/v017a010.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5017319217","display_name":"Michael A. Forbes","orcid":"https://orcid.org/0000-0002-2240-7245"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Michael A. Forbes","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004182247","display_name":"Amir Shpilka","orcid":"https://orcid.org/0000-0003-2384-425X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Amir Shpilka","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066962007","display_name":"Iddo Tzameret","orcid":"https://orcid.org/0000-0002-5558-9911"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Iddo Tzameret","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5039043184","display_name":"Avi Wigderson","orcid":"https://orcid.org/0000-0002-1539-1417"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Avi Wigderson","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5017319217"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.7572,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.76358194,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"17","issue":"1","first_page":"1","last_page":"88"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"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/T10142","display_name":"Formal Methods in Verification","score":0.9980999827384949,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9878000020980835,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/multilinear-map","display_name":"Multilinear map","score":0.759003758430481},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.683143138885498},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.670670211315155},{"id":"https://openalex.org/keywords/proof-complexity","display_name":"Proof complexity","score":0.6600428819656372},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5947188138961792},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5571077466011047},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5396506786346436},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.539277970790863},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5053678154945374},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"Circuit complexity","score":0.43590059876441956},{"id":"https://openalex.org/keywords/complement","display_name":"Complement (music)","score":0.4302871525287628},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3371129631996155},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.2965536117553711},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.17540380358695984}],"concepts":[{"id":"https://openalex.org/C84392682","wikidata":"https://www.wikidata.org/wiki/Q1952404","display_name":"Multilinear map","level":2,"score":0.759003758430481},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.683143138885498},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.670670211315155},{"id":"https://openalex.org/C105605280","wikidata":"https://www.wikidata.org/wiki/Q7249999","display_name":"Proof complexity","level":3,"score":0.6600428819656372},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5947188138961792},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5571077466011047},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5396506786346436},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.539277970790863},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5053678154945374},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.43590059876441956},{"id":"https://openalex.org/C112313634","wikidata":"https://www.wikidata.org/wiki/Q7886648","display_name":"Complement (music)","level":5,"score":0.4302871525287628},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3371129631996155},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.2965536117553711},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.17540380358695984},{"id":"https://openalex.org/C188082640","wikidata":"https://www.wikidata.org/wiki/Q1780899","display_name":"Complementation","level":4,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C127716648","wikidata":"https://www.wikidata.org/wiki/Q104053","display_name":"Phenotype","level":3,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4086/toc.2021.v017a010","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2021.v017a010","pdf_url":"http://www.theoryofcomputing.org/articles/v017a010/v017a010.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"}],"best_oa_location":{"id":"doi:10.4086/toc.2021.v017a010","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2021.v017a010","pdf_url":"http://www.theoryofcomputing.org/articles/v017a010/v017a010.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":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1943969787","display_name":null,"funder_award_id":"CCF-1412958","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G2087396116","display_name":null,"funder_award_id":"China","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G2410934170","display_name":null,"funder_award_id":"101002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3106880080","display_name":"Lower Bounds and Identity Testing for Arithmetic Circuits","funder_award_id":"257575","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3317480652","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G3829048491","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3981126665","display_name":null,"funder_award_id":"Seventh Framework Programme","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4104599821","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4956428346","display_name":null,"funder_award_id":"Horizon 2020 research and innovatio","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5036817778","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innov","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5167091242","display_name":null,"funder_award_id":"No. 1","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5593277320","display_name":null,"funder_award_id":"2007-2013","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5702163051","display_name":null,"funder_award_id":"FP7/2007","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5921281487","display_name":null,"funder_award_id":"number","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5994120800","display_name":null,"funder_award_id":"Natural","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6061076606","display_name":"Efficient  Proofs and Computation: A Unified Algebraic Approach","funder_award_id":"101002742","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G6412048503","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7003971911","display_name":null,"funder_award_id":"FP7/2007","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8051717526","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8318064016","display_name":null,"funder_award_id":"Horizon","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8345583942","display_name":null,"funder_award_id":"61373002","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8633428685","display_name":null,"funder_award_id":"European Union's Horizon 2020 research and innovat","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G882115978","display_name":"AF: Large: Theory of Computation - Pushing the State-of-the-Art","funder_award_id":"1412958","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320309292","display_name":"Princeton University","ror":"https://ror.org/00hx57361"},{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3210738158.pdf","grobid_xml":"https://content.openalex.org/works/W3210738158.grobid-xml"},"referenced_works_count":76,"referenced_works":["https://openalex.org/W1503731768","https://openalex.org/W1518031539","https://openalex.org/W1570807665","https://openalex.org/W1571321110","https://openalex.org/W1599026900","https://openalex.org/W1760203663","https://openalex.org/W1901622511","https://openalex.org/W1967348711","https://openalex.org/W1967948656","https://openalex.org/W1968245619","https://openalex.org/W1968655942","https://openalex.org/W1976166549","https://openalex.org/W1979337672","https://openalex.org/W1982672583","https://openalex.org/W1984806876","https://openalex.org/W1988083342","https://openalex.org/W1988938797","https://openalex.org/W1998853590","https://openalex.org/W1998918799","https://openalex.org/W2000108234","https://openalex.org/W2009998423","https://openalex.org/W2021736779","https://openalex.org/W2023541349","https://openalex.org/W2026036943","https://openalex.org/W2026944800","https://openalex.org/W2027044307","https://openalex.org/W2034804004","https://openalex.org/W2044095368","https://openalex.org/W2055425281","https://openalex.org/W2056382067","https://openalex.org/W2064885856","https://openalex.org/W2074020517","https://openalex.org/W2079910744","https://openalex.org/W2080132708","https://openalex.org/W2090449431","https://openalex.org/W2091628344","https://openalex.org/W2093396771","https://openalex.org/W2098642112","https://openalex.org/W2110206454","https://openalex.org/W2121894367","https://openalex.org/W2125151663","https://openalex.org/W2132489129","https://openalex.org/W2134465450","https://openalex.org/W2139434573","https://openalex.org/W2142326730","https://openalex.org/W2148193607","https://openalex.org/W2151417917","https://openalex.org/W2162761802","https://openalex.org/W2170546552","https://openalex.org/W2171403864","https://openalex.org/W2172394696","https://openalex.org/W2213867208","https://openalex.org/W2293228899","https://openalex.org/W2296663947","https://openalex.org/W2323554188","https://openalex.org/W2398167647","https://openalex.org/W2405068759","https://openalex.org/W2407913417","https://openalex.org/W2467589244","https://openalex.org/W2569134273","https://openalex.org/W2609942030","https://openalex.org/W2626372708","https://openalex.org/W2740986359","https://openalex.org/W2903251947","https://openalex.org/W2914183794","https://openalex.org/W2962731772","https://openalex.org/W2963534336","https://openalex.org/W2963691683","https://openalex.org/W2963735105","https://openalex.org/W2963930882","https://openalex.org/W2989887679","https://openalex.org/W4212786702","https://openalex.org/W4226347946","https://openalex.org/W4233405303","https://openalex.org/W4240837394","https://openalex.org/W4248733413"],"related_works":["https://openalex.org/W2009341260","https://openalex.org/W3204916073","https://openalex.org/W2952185983","https://openalex.org/W2055594799","https://openalex.org/W2403507963","https://openalex.org/W2611822924","https://openalex.org/W2486254595","https://openalex.org/W2799890067","https://openalex.org/W1492165320","https://openalex.org/W3046459465"],"abstract_inverted_index":{"$":[0,2],"\\newcommand{\\vx}{\\overline{x}}":[1],"We":[3,118,176,209],"give":[4,119,350,358],"upper":[5],"and":[6,28,88,199,202,251],"lower":[7,97,128,140,165,182,212,244,297,315,332,351,380,395,398],"bounds":[8,98,129,141,166,183,213,298,316,333,352,381,399],"on":[9,280],"the":[10,15,20,34,37,53,75,83,104,108,146,178,204,219,281,324,338,412,427,430],"power":[11],"of":[12,14,58,74,107,123,158,181,187,218,235,292,337,385,403,422,429],"subsystems":[13,57,76],"Ideal":[16],"Proof":[17],"System":[18],"(IPS),":[19],"algebraic":[21,43,105,126,196,270,287,367,413],"proof":[22,38,86,101,131,169,206],"system":[23],"recently":[24],"proposed":[25],"by":[26,103,214],"Grochow":[27],"Pitassi":[29],"(J.":[30],"ACM,":[31],"2018),":[32],"where":[33,62,299,303],"circuits":[35,65],"comprising":[36],"come":[39],"from":[40,66],"various":[41,342],"restricted":[42,67],"circuit":[44,69,127,164,368],"classes.":[45,70],"This":[46],"mimics":[47],"an":[48],"established":[49],"research":[50],"direction":[51],"in":[52,78,310,341,426],"Boolean":[54,68,163,282,325],"setting":[55],"for":[56,144,150,161,184,317,334,353,382,400],"Extended":[59],"Frege":[60],"proofs,":[61],"proof-lines":[63],"are":[64,156,375,402],"Except":[71],"one,":[72],"all":[73,362],"considered":[77],"this":[79,91,423],"paper":[80,424],"can":[81],"simulate":[82],"well-studied":[84],"Nullstellensatz":[85],"system,":[87],"prior":[89],"to":[90,113,116,137,142,229,249,349,357,377,391],"work":[92],"there":[93],"were":[94],"no":[95],"known":[96,372],"when":[99],"measuring":[100],"size":[102],"complexity":[106,132,170,207],"polynomials":[109,360],"(except":[110],"with":[111,278,411],"respect":[112],"degree,":[114],"or":[115,149],"sparsity).":[117],"two":[120],"general":[121],"methods":[122,160],"converting":[124,162],"certain":[125],"into":[130,167],"ones.":[133],"However,":[134],"we":[135,294,329,374,388],"need":[136],"strengthen":[138],"existing":[139,159],"hold":[143],"either":[145],"functional":[147,243,296],"model":[148],"multiplicities":[151],"(see":[152],"below).":[153],"Our":[154,238,345],"techniques":[155],"reminiscent":[157],"related":[168],"results,":[171],"such":[172,379],"as":[173,406],"feasible":[174],"interpolation.":[175],"obtain":[177,378],"relevant":[179,205],"types":[180],"a":[185,242,246,265,306],"variety":[186],"classes":[188,291,384],"(sparse":[189],"polynomials,":[190],"depth-3":[191],"powering":[192],"formulas,":[193],"read-once":[194],"oblivious":[195],"branching":[197],"programs,":[198],"multilinear":[200],"formulas),":[201],"infer":[203],"results.":[208],"complement":[210],"our":[211,290,383],"giving":[215],"short":[216],"refutations":[217],"previously":[220],"studied":[221],"subset-sum":[222,339],"axiom":[223,340],"using":[224],"IPS":[225,314,343,394],"subsystems,":[226],"allowing":[227],"us":[228],"conclude":[230],"strict":[231],"separations":[232],"between":[233],"some":[234],"these":[236],"subsystems.":[237,344],"first":[239],"method":[240,347],"is":[241,305,321,348],"bound,":[245],"notion":[247],"due":[248],"Grigoriev":[250],"Razborov":[252],"(Appl.":[253],"Algebra":[254],"Eng.":[255],"Commun.":[256],"Comput.,":[257],"2000),":[258],"which":[259,309,387],"says":[260],"that":[261,273,319,355],"not":[262],"only":[263],"does":[264],"polynomial":[266,275],"$f$":[267,279],"require":[268,365],"large":[269,286,366],"circuits,":[271],"but":[272],"any":[274],"$g$":[276],"agreeing":[277],"cube":[283],"also":[284],"requires":[285],"circuits.":[288],"For":[289],"interest,":[293,386,405],"develop":[295],"$g(\\vx)$":[300],"equals":[301],"$1/p(\\vx)$":[302],"$p$":[304,320],"constant-degree":[307],"polynomial,":[308],"turn":[311],"yield":[312],"corresponding":[313,393],"proving":[318],"nonzero":[322],"over":[323],"cube.":[326],"In":[327],"particular,":[328],"show":[330],"superpolynomial":[331],"refuting":[335],"variants":[336],"second":[346],"multiples,":[354],"is,":[356],"explicit":[359],"whose":[361],"(nonzero)":[363],"multiples":[364,401],"complexity.":[369],"By":[370],"extending":[371],"techniques,":[373],"able":[376],"then":[389],"use":[390],"derive":[392],"bounds.":[396],"Such":[397],"independent":[404],"they":[407],"have":[408],"tight":[409],"connections":[410],"hardness":[414],"versus":[415],"randomness":[416],"paradigm.":[417],"----------------":[418],"A":[419],"conference":[420],"version":[421],"appeared":[425],"Proceedings":[428],"31st":[431],"Computational":[432],"Complexity":[433],"Conference":[434],"(CCC'16).":[435]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2021-11-08T00:00:00"}