{"id":"https://openalex.org/W2904278047","doi":"https://doi.org/10.4086/toc.2018.v014a018","title":"","display_name":"","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2904278047","doi":"https://doi.org/10.4086/toc.2018.v014a018","mag":"2904278047"},"language":"en","primary_location":{"id":"doi:10.4086/toc.2018.v014a018","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2018.v014a018","pdf_url":"http://www.theoryofcomputing.org/articles/v014a018/v014a018.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/v014a018/v014a018.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":false,"raw_author_name":"Michael A. Forbes","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Amir Shpilka","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Amir Shpilka","raw_affiliation_strings":["Tel Aviv University *"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tel Aviv University *","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073175433","display_name":"Ben Lee Volk","orcid":"https://orcid.org/0000-0002-7143-7280"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ben Lee Volk","raw_affiliation_strings":["#N##TAB##TAB##TAB##TAB# California Institute of Technology#N##TAB##TAB##TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# California Institute of Technology#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8963,"has_fulltext":true,"cited_by_count":16,"citation_normalized_percentile":{"value":0.87906846,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"14","issue":"1","first_page":"1","last_page":"45"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998999834060669,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9998999834060669,"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/T10374","display_name":"Advanced Graph Theory Research","score":0.9973000288009644,"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/T10237","display_name":"Cryptography and Data Security","score":0.9948999881744385,"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/mathematics","display_name":"Mathematics","score":0.7247015237808228},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6512091159820557},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.6252537369728088},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.593541145324707},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5692606568336487},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5374780893325806},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.5169569849967957},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.4783034920692444},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4624844193458557},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4558206796646118},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.4163745641708374},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.18525296449661255}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7247015237808228},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6512091159820557},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.6252537369728088},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.593541145324707},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5692606568336487},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5374780893325806},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.5169569849967957},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4783034920692444},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4624844193458557},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4558206796646118},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.4163745641708374},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.18525296449661255},{"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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4086/toc.2018.v014a018","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2018.v014a018","pdf_url":"http://www.theoryofcomputing.org/articles/v014a018/v014a018.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.2018.v014a018","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2018.v014a018","pdf_url":"http://www.theoryofcomputing.org/articles/v014a018/v014a018.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/G2488755638","display_name":null,"funder_award_id":"FP7/2007-2013","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"id":"https://openalex.org/G2804299766","display_name":"AF:Small:Limitations on Algebraic Methods via Boolean Complexity Theory","funder_award_id":"1617580","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G31293620","display_name":null,"funder_award_id":"552/16","funder_id":"https://openalex.org/F4320322252","funder_display_name":"Israel Science Foundation"},{"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"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320322252","display_name":"Israel Science Foundation","ror":"https://ror.org/04sazxf24"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2904278047.pdf","grobid_xml":"https://content.openalex.org/works/W2904278047.grobid-xml"},"referenced_works_count":116,"referenced_works":["https://openalex.org/W50958263","https://openalex.org/W1426742690","https://openalex.org/W1503731768","https://openalex.org/W1508771701","https://openalex.org/W1561337879","https://openalex.org/W1576854535","https://openalex.org/W1599026900","https://openalex.org/W1760203663","https://openalex.org/W1883887292","https://openalex.org/W1967348711","https://openalex.org/W1968245619","https://openalex.org/W1973342538","https://openalex.org/W1974331311","https://openalex.org/W1984477611","https://openalex.org/W1984806876","https://openalex.org/W1988938797","https://openalex.org/W1991584875","https://openalex.org/W1993138363","https://openalex.org/W1995511496","https://openalex.org/W1998853590","https://openalex.org/W1998918799","https://openalex.org/W2000108234","https://openalex.org/W2009994177","https://openalex.org/W2012476164","https://openalex.org/W2015393485","https://openalex.org/W2015679114","https://openalex.org/W2015880590","https://openalex.org/W2016576580","https://openalex.org/W2019807548","https://openalex.org/W2020189547","https://openalex.org/W2022644058","https://openalex.org/W2023541349","https://openalex.org/W2023915883","https://openalex.org/W2026036943","https://openalex.org/W2026704052","https://openalex.org/W2026944800","https://openalex.org/W2027044307","https://openalex.org/W2036447017","https://openalex.org/W2036656440","https://openalex.org/W2044997341","https://openalex.org/W2045924252","https://openalex.org/W2055240703","https://openalex.org/W2059084795","https://openalex.org/W2060270693","https://openalex.org/W2064885856","https://openalex.org/W2069546133","https://openalex.org/W2070678975","https://openalex.org/W2074207216","https://openalex.org/W2079910744","https://openalex.org/W2080132708","https://openalex.org/W2081256023","https://openalex.org/W2082002555","https://openalex.org/W2082647621","https://openalex.org/W2083820240","https://openalex.org/W2085012646","https://openalex.org/W2091564680","https://openalex.org/W2092082049","https://openalex.org/W2093103267","https://openalex.org/W2104644213","https://openalex.org/W2110206454","https://openalex.org/W2110905926","https://openalex.org/W2117362057","https://openalex.org/W2124218043","https://openalex.org/W2125151663","https://openalex.org/W2125495920","https://openalex.org/W2128510017","https://openalex.org/W2128644843","https://openalex.org/W2129530428","https://openalex.org/W2136589970","https://openalex.org/W2137147213","https://openalex.org/W2142326730","https://openalex.org/W2147588253","https://openalex.org/W2152772468","https://openalex.org/W2163137752","https://openalex.org/W2165293955","https://openalex.org/W2169939595","https://openalex.org/W2170831059","https://openalex.org/W2171403864","https://openalex.org/W2172394696","https://openalex.org/W2181660280","https://openalex.org/W2213867208","https://openalex.org/W2293988196","https://openalex.org/W2343516500","https://openalex.org/W2399980850","https://openalex.org/W2405068759","https://openalex.org/W2427215049","https://openalex.org/W2465968014","https://openalex.org/W2467589244","https://openalex.org/W2486916127","https://openalex.org/W2490952112","https://openalex.org/W2508387244","https://openalex.org/W2568404849","https://openalex.org/W2569134273","https://openalex.org/W2583016001","https://openalex.org/W2590079450","https://openalex.org/W2592993021","https://openalex.org/W2594331892","https://openalex.org/W2611339529","https://openalex.org/W2625490399","https://openalex.org/W2787135910","https://openalex.org/W2809620386","https://openalex.org/W2912080987","https://openalex.org/W2950714311","https://openalex.org/W2951995773","https://openalex.org/W2962732920","https://openalex.org/W2962908760","https://openalex.org/W2962995120","https://openalex.org/W2963534336","https://openalex.org/W2964049658","https://openalex.org/W3103519306","https://openalex.org/W3105704509","https://openalex.org/W3158515052","https://openalex.org/W4226347946","https://openalex.org/W4235547491","https://openalex.org/W4239242491","https://openalex.org/W6911322511"],"related_works":["https://openalex.org/W2728195892","https://openalex.org/W2611822924","https://openalex.org/W2486254595","https://openalex.org/W3204916073","https://openalex.org/W2516690985","https://openalex.org/W2063425181","https://openalex.org/W2055594799","https://openalex.org/W2031906996","https://openalex.org/W2062972911","https://openalex.org/W2009341260"],"abstract_inverted_index":{"$":[0,3],"\\newcommand{\\poly}{\\operatorname{poly}}":[1],"\\newcommand{\\polylog}{\\operatorname{polylog}}":[2],"We":[4],"formalize":[5],"a":[6,63,93,134,168],"framework":[7,233],"of":[8,23,35,96,108,119,122,133,140,146,149,151,190,197,210,226,243,254,282,286,295,302,310],"algebraically":[9,36],"natural":[10,20,37,111,229],"lower":[11,31,38,43,68,277],"bounds":[12,39,69,278],"for":[13,28,70,137,187,279],"algebraic":[14,72,80,90,110,191,228],"circuits.":[15,91,156,291],"Just":[16],"as":[17,74,201,274],"with":[18,154],"the":[19,50,100,106,117,123,131,138,181,220,224,237,255,258,271,280,283,300,303],"proofs":[21,112,230,256],"notion":[22,34],"Razborov":[24],"and":[25,193,245],"Rudich":[26],"(1997)":[27],"Boolean":[29,51,101],"circuit":[30],"bounds,":[32],"our":[33,174,264],"captures":[40],"nearly":[41],"all":[42],"bound":[44],"techniques":[45],"known.":[46],"However,":[47],"unlike":[48],"in":[49,99,299],"setting,":[52,102],"there":[53,75],"has":[54],"been":[55],"no":[56],"concrete":[57],"evidence":[58,222],"demonstrating":[59],"that":[60,105,128,165,195,249],"this":[61,296],"is":[62,76,114,234],"barrier":[64,113],"to":[65,85,116,130,207,213,236,270],"obtaining":[66],"super-polynomial":[67],"general":[71],"circuits,":[73],"little":[77],"understanding":[78],"whether":[79],"circuits":[81,143,192],"are":[82,199],"expressive":[83],"enough":[84],"support":[86],"\u201ccryptography\u201d":[87],"secure":[88],"against":[89],"Following":[92],"similar":[94,235],"result":[95],"Williams":[97],"(2016)":[98],"we":[103,158,179,204,251],"show":[104,205],"existence":[107,118,132,225],"an":[109,160,227],"equivalent":[115],"succinct":[120,169,200,215,265],"derandomization":[121],"polynomial":[124],"identity":[125],"testing":[126],"problem,":[127],"is,":[129],"hitting":[135,170,185,216,266],"set":[136,171],"class":[139],"$\\poly(N)$-degree":[141],"$\\poly(N)$-size":[142],"which":[144],"consists":[145],"coefficient":[147],"vectors":[148],"polynomials":[150,287],"$\\polylog(N)$":[152],"degree":[153],"$\\polylog(N)$-size":[155],"Further,":[157,178],"give":[159],"explicit":[161],"universal":[162,175],"construction":[163,176],"showing":[164],"if":[166],"such":[167],"exists,":[172],"then":[173],"suffices.":[177],"assess":[180],"existing":[182],"literature":[183],"constructing":[184],"sets":[186,267],"restricted":[188],"classes":[189],"observe":[194],"none":[196],"them":[198],"given.":[202],"Yet,":[203],"how":[206],"modify":[208],"some":[209],"these":[211],"constructions":[212],"obtain":[214],"sets.":[217],"This":[218],"constitutes":[219],"first":[221],"supporting":[223],"barrier.":[231],"Our":[232],"Geometric":[238],"Complexity":[239],"Theory":[240,309],"(GCT)":[241],"program":[242,260,273],"Mulmuley":[244],"Sohoni":[246],"(2001),":[247],"except":[248],"here":[250],"emphasize":[252],"constructiveness":[253],"while":[257],"GCT":[259,272],"emphasizes":[261],"symmetry.":[262],"Nevertheless,":[263],"have":[268],"relevance":[269],"they":[275],"imply":[276],"complexity":[281],"defining":[284],"equations":[285],"computed":[288],"by":[289],"small":[290],"A":[292],"conference":[293],"version":[294],"paper":[297],"appeared":[298],"Proceedings":[301],"49th":[304],"Annual":[305],"ACM":[306],"Symposium":[307],"on":[308],"Computing":[311],"(STOC":[312],"2017).":[313]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2018-12-22T00:00:00"}