{"id":"https://openalex.org/W4376639518","doi":"https://doi.org/10.1145/3564246.3585216","title":"Depth-\ud835\udc51 Threshold Circuits vs. Depth-(\ud835\udc51+1) AND-OR Trees","display_name":"Depth-\ud835\udc51 Threshold Circuits vs. Depth-(\ud835\udc51+1) AND-OR Trees","publication_year":2023,"publication_date":"2023-05-16","ids":{"openalex":"https://openalex.org/W4376639518","doi":"https://doi.org/10.1145/3564246.3585216"},"language":"en","primary_location":{"id":"doi:10.1145/3564246.3585216","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3564246.3585216","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3564246.3585216","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3564246.3585216","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007198874","display_name":"Pooya Hatami","orcid":"https://orcid.org/0000-0001-7928-8008"},"institutions":[{"id":"https://openalex.org/I52357470","display_name":"The Ohio State University","ror":"https://ror.org/00rs6vg23","country_code":"US","type":"education","lineage":["https://openalex.org/I52357470"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Pooya Hatami","raw_affiliation_strings":["Ohio State University, USA"],"affiliations":[{"raw_affiliation_string":"Ohio State University, USA","institution_ids":["https://openalex.org/I52357470"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5008206577","display_name":"William M. Hoza","orcid":"https://orcid.org/0000-0001-5162-9181"},"institutions":[{"id":"https://openalex.org/I4210107338","display_name":"Simons Foundation","ror":"https://ror.org/01cmst727","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210107338"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William M. Hoza","raw_affiliation_strings":["University of California at Berkeley, Berkeley, USA / Simons Institute for the Theory of Computing, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Berkeley, Berkeley, USA / Simons Institute for the Theory of Computing, Berkeley, USA","institution_ids":["https://openalex.org/I4210107338"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049425955","display_name":"Avishay Tal","orcid":"https://orcid.org/0000-0002-0375-6554"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Avishay Tal","raw_affiliation_strings":["University of California at Berkeley, Berkeley, USA"],"affiliations":[{"raw_affiliation_string":"University of California at Berkeley, Berkeley, USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000692668","display_name":"Roei Tell","orcid":"https://orcid.org/0000-0002-9693-9244"},"institutions":[{"id":"https://openalex.org/I40036882","display_name":"Institute for Advanced Study","ror":"https://ror.org/00f809463","country_code":"US","type":"facility","lineage":["https://openalex.org/I40036882"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Roei Tell","raw_affiliation_strings":["Institute for Advanced Study, Princeton, USA / Rutgers University, USA"],"affiliations":[{"raw_affiliation_string":"Institute for Advanced Study, Princeton, USA / Rutgers University, USA","institution_ids":["https://openalex.org/I40036882"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5007198874"],"corresponding_institution_ids":["https://openalex.org/I52357470"],"apc_list":null,"apc_paid":null,"fwci":0.3927,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.63013608,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"895","last_page":"904"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":1.0,"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":1.0,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9991999864578247,"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/T10237","display_name":"Cryptography and Data Security","score":0.9954000115394592,"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/boolean-function","display_name":"Boolean function","score":0.7707518935203552},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.7129324078559875},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.6664667129516602},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6324397921562195},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.558448076248169},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"Circuit complexity","score":0.5536462068557739},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.520465612411499},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5119810700416565},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5087674260139465},{"id":"https://openalex.org/keywords/parity-function","display_name":"Parity function","score":0.4950851500034332},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4712755084037781},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4539404511451721},{"id":"https://openalex.org/keywords/circuit-minimization-for-boolean-functions","display_name":"Circuit minimization for Boolean functions","score":0.42715588212013245},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.42304784059524536},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3217960596084595},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2940526008605957},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.18237119913101196},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.17450103163719177},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11434197425842285},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.08511847257614136},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.07681253552436829}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.7707518935203552},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.7129324078559875},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.6664667129516602},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6324397921562195},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.558448076248169},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.5536462068557739},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.520465612411499},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5119810700416565},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5087674260139465},{"id":"https://openalex.org/C188183281","wikidata":"https://www.wikidata.org/wiki/Q2898309","display_name":"Parity function","level":4,"score":0.4950851500034332},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4712755084037781},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4539404511451721},{"id":"https://openalex.org/C94992772","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Circuit minimization for Boolean functions","level":4,"score":0.42715588212013245},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.42304784059524536},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3217960596084595},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2940526008605957},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.18237119913101196},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.17450103163719177},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11434197425842285},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.08511847257614136},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.07681253552436829},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3564246.3585216","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3564246.3585216","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3564246.3585216","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3564246.3585216","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3564246.3585216","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3564246.3585216","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G101112439","display_name":null,"funder_award_id":"Fellow","funder_id":"https://openalex.org/F4320306151","funder_display_name":"Alfred P. Sloan Foundation"},{"id":"https://openalex.org/G1171700966","display_name":null,"funder_award_id":"NSF CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1378422078","display_name":null,"funder_award_id":"NSF GRF","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G1884798878","display_name":null,"funder_award_id":"NSF GRFP","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3631943274","display_name":null,"funder_award_id":"CCF-144575","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4212820553","display_name":null,"funder_award_id":"CCF-1947546","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5458084689","display_name":"CAREER: An Analytical Lens on Quantum Advantage and Pseudorandomness","funder_award_id":"2145474","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"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/G6008157674","display_name":null,"funder_award_id":"CCF-1900460","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6671297155","display_name":null,"funder_award_id":"CAREER","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6872063243","display_name":null,"funder_award_id":"DGE-1610403","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6894402473","display_name":null,"funder_award_id":"Fellowship","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7085497704","display_name":null,"funder_award_id":"1900460","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7425864874","display_name":null,"funder_award_id":"DGE-1610403","funder_id":"https://openalex.org/F4320310620","funder_display_name":"University of Texas at Austin"},{"id":"https://openalex.org/G7695219824","display_name":null,"funder_award_id":"CCF-1947546, DGE-161040, CCF-2145474, CCF-1445755, CCF-1900460","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7696778097","display_name":null,"funder_award_id":"1445755","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7740938808","display_name":null,"funder_award_id":"1610403","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G775851081","display_name":null,"funder_award_id":"CCF-2145474","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7956004093","display_name":"CRII: AF: Pseudorandomness in Computer Science","funder_award_id":"1947546","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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/F4320306151","display_name":"Alfred P. Sloan Foundation","ror":"https://ror.org/052csg198"},{"id":"https://openalex.org/F4320310620","display_name":"University of Texas at Austin","ror":"https://ror.org/00hj54h04"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4376639518.pdf","grobid_xml":"https://content.openalex.org/works/W4376639518.grobid-xml"},"referenced_works_count":81,"referenced_works":["https://openalex.org/W1514413980","https://openalex.org/W1515707347","https://openalex.org/W1540485574","https://openalex.org/W1558278838","https://openalex.org/W1564713837","https://openalex.org/W1623626896","https://openalex.org/W1776408431","https://openalex.org/W1970755596","https://openalex.org/W1973728061","https://openalex.org/W1997643965","https://openalex.org/W2000070319","https://openalex.org/W2001187993","https://openalex.org/W2004974518","https://openalex.org/W2005223599","https://openalex.org/W2009994177","https://openalex.org/W2015950107","https://openalex.org/W2017290750","https://openalex.org/W2027328186","https://openalex.org/W2027665018","https://openalex.org/W2036908068","https://openalex.org/W2042194938","https://openalex.org/W2045924252","https://openalex.org/W2046927500","https://openalex.org/W2062223744","https://openalex.org/W2069864904","https://openalex.org/W2070678975","https://openalex.org/W2075848688","https://openalex.org/W2077740213","https://openalex.org/W2080210666","https://openalex.org/W2083820240","https://openalex.org/W2086789740","https://openalex.org/W2091623775","https://openalex.org/W2103749128","https://openalex.org/W2106623697","https://openalex.org/W2107998050","https://openalex.org/W2114522915","https://openalex.org/W2114527013","https://openalex.org/W2116794057","https://openalex.org/W2117508909","https://openalex.org/W2117822564","https://openalex.org/W2131798840","https://openalex.org/W2136290309","https://openalex.org/W2137407595","https://openalex.org/W2148858749","https://openalex.org/W2179261203","https://openalex.org/W2240695625","https://openalex.org/W2343516500","https://openalex.org/W2547369620","https://openalex.org/W2610386774","https://openalex.org/W2794128811","https://openalex.org/W2808022067","https://openalex.org/W2810174119","https://openalex.org/W2884125338","https://openalex.org/W2888250735","https://openalex.org/W2898737300","https://openalex.org/W2898839814","https://openalex.org/W2903624883","https://openalex.org/W2905428333","https://openalex.org/W2912133662","https://openalex.org/W2932045673","https://openalex.org/W2943630340","https://openalex.org/W2949022574","https://openalex.org/W2952032520","https://openalex.org/W2952971107","https://openalex.org/W2964024530","https://openalex.org/W2964142086","https://openalex.org/W2966418478","https://openalex.org/W2997389245","https://openalex.org/W3009964738","https://openalex.org/W3013163752","https://openalex.org/W3013398713","https://openalex.org/W3034628227","https://openalex.org/W3105381258","https://openalex.org/W3126909351","https://openalex.org/W3134761578","https://openalex.org/W3194100245","https://openalex.org/W3198174523","https://openalex.org/W3200234314","https://openalex.org/W4214948388","https://openalex.org/W4214951671","https://openalex.org/W4376639518"],"related_works":["https://openalex.org/W1487679090","https://openalex.org/W2952185983","https://openalex.org/W1996760375","https://openalex.org/W2472916655","https://openalex.org/W2056017973","https://openalex.org/W2474705870","https://openalex.org/W2289649099","https://openalex.org/W2128020755","https://openalex.org/W2394746612","https://openalex.org/W4376639518"],"abstract_inverted_index":{"For":[0],"any":[1,50],"n":[2,19],"\u2208":[3],"\u2115":[4],"and":[5,21,111],"d":[6,76],"=":[7,25],"o(loglog(n)),":[8],"we":[9],"prove":[10],"that":[11,28],"there":[12],"is":[13,102],"a":[14,22,34,103],"Boolean":[15],"function":[16],"F":[17,29,45,101],"on":[18],"bits":[20],"value":[23],"\u03b3":[24,57],"2\u2212\u0398(d)":[26],"such":[27,88],"can":[30],"be":[31,47],"computed":[32,48],"by":[33,49,71],"uniform":[35],"depth-(d":[36],"+":[37,56],"1)":[38],"AC0":[39,87,98],"circuit":[40,53,99],"with":[41,54,121],"O(n)":[42],"wires,":[43],"but":[44],"cannot":[46],"depth-d":[51],"TC0":[52],"n1":[55],"wires.":[58],"This":[59],"bound":[60,114],"matches":[61],"the":[62,90,97,112,118],"current":[63],"state-of-the-art":[64],"lower":[65,113],"bounds":[66],"for":[67,84],"computing":[68,100],"explicit":[69],"functions":[70,85],"threshold":[72],"circuits":[73],"of":[74],"depth":[75],">":[77],"2,":[78],"which":[79],"were":[80],"previously":[81],"known":[82],"only":[83],"outside":[86],"as":[89],"parity":[91],"function.":[92],"Furthermore,":[93],"in":[94,117],"our":[95],"result,":[96],"monotone":[104],"*read-once":[105],"formula*":[106],"(i.e.,":[107],"an":[108],"AND-OR":[109],"tree),":[110],"holds":[115],"even":[116],"average-case":[119],"setting":[120],"respect":[122],"to":[123],"advantage":[124],"n\u2212\u03b3.":[125]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1}],"updated_date":"2026-04-11T08:14:18.477133","created_date":"2025-10-10T00:00:00"}