{"id":"https://openalex.org/W7170190066","doi":"https://doi.org/10.4230/lipics.ccc.2026.27","title":"Optimal Depth-Three Circuits for Inner Product","display_name":"Optimal Depth-Three Circuits for Inner Product","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7170190066","doi":"https://doi.org/10.4230/lipics.ccc.2026.27"},"language":"en","primary_location":{"id":"doi:10.4230/lipics.ccc.2026.27","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.27","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"type":"conference-paper","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.4230/lipics.ccc.2026.27","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066098639","display_name":"Mohit Gurumukhani","orcid":"https://orcid.org/0009-0007-8808-2846"},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gurumukhani, Mohit","raw_affiliation_strings":["Cornell University, Ithaca, NY, USA"],"raw_orcid":"https://orcid.org/0009-0007-8808-2846","affiliations":[{"raw_affiliation_string":"Cornell University, Ithaca, NY, USA","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5143503631","display_name":"Daniel Kleber","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Kleber, Daniel","raw_affiliation_strings":["Department of Computer Science and Engineering, University of California, San Diego, La Jolla, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111512545","display_name":"Ramamohan Paturi","orcid":null},"institutions":[{"id":"https://openalex.org/I36258959","display_name":"University of California San Diego","ror":"https://ror.org/0168r3w48","country_code":"US","type":"education","lineage":["https://openalex.org/I36258959"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Paturi, Ramamohan","raw_affiliation_strings":["Department of Computer Science and Engineering, University of California, San Diego, La Jolla, CA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, University of California, San Diego, La Jolla, CA, USA","institution_ids":["https://openalex.org/I36258959"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113668783","display_name":"Christopher Rosin","orcid":null},"institutions":[{"id":"https://openalex.org/I2801221094","display_name":"Constructing Excellence","ror":"https://ror.org/04vxrkc13","country_code":"GB","type":"other","lineage":["https://openalex.org/I2801221094"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Rosin, Christopher","raw_affiliation_strings":["Constructive Codes, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Constructive Codes, USA","institution_ids":["https://openalex.org/I2801221094"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019353955","display_name":"Navid Talebanfard","orcid":"https://orcid.org/0000-0002-3524-9282"},"institutions":[{"id":"https://openalex.org/I91136226","display_name":"University of Sheffield","ror":"https://ror.org/05krs5044","country_code":"GB","type":"education","lineage":["https://openalex.org/I91136226"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Talebanfard, Navid","raw_affiliation_strings":["University of Sheffield, UK"],"raw_orcid":"https://orcid.org/0000-0002-3524-9282","affiliations":[{"raw_affiliation_string":"University of Sheffield, UK","institution_ids":["https://openalex.org/I91136226"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.5151000022888184},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.4828999936580658},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4456999897956848},{"id":"https://openalex.org/keywords/intuition","display_name":"Intuition","score":0.4154999852180481},{"id":"https://openalex.org/keywords/block","display_name":"Block (permutation group theory)","score":0.41350001096725464},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.3995000123977661},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.39559999108314514},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.37459999322891235}],"concepts":[{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.5151000022888184},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5001999735832214},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.4828999936580658},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4641000032424927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45669999718666077},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4456999897956848},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.4154999852180481},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.41350001096725464},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.3995000123977661},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.39559999108314514},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38769999146461487},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.37459999322891235},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.364300012588501},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.36239999532699585},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.35429999232292175},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.32670000195503235},{"id":"https://openalex.org/C118712358","wikidata":"https://www.wikidata.org/wiki/Q782566","display_name":"Automorphism","level":2,"score":0.32179999351501465},{"id":"https://openalex.org/C34146451","wikidata":"https://www.wikidata.org/wiki/Q5048094","display_name":"Cascade","level":2,"score":0.31610000133514404},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.31470000743865967},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.3009999990463257},{"id":"https://openalex.org/C186394612","wikidata":"https://www.wikidata.org/wiki/Q7098942","display_name":"Optimal design","level":2,"score":0.29100000858306885},{"id":"https://openalex.org/C190560348","wikidata":"https://www.wikidata.org/wiki/Q3245116","display_name":"Circuit design","level":2,"score":0.27889999747276306}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4230/lipics.ccc.2026.27","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.27","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"doi:10.4230/lipics.ccc.2026.27","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.27","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"},"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":{"We":[0,49,68,112,166,193],"show":[1],"that":[2,92,101,131,195],"Inner":[3],"Product":[4],"in":[5,71,199],"2n":[6],"variables,":[7],"IP_n(x,":[8],"y)":[9],"=":[10,120],"x\u2081y\u2081":[11],"\u2295":[12,14],"\u2026":[13],"x_ny_n,":[15],"can":[16,134,202],"be":[17,135,203],"computed":[18],"by":[19,109,123,137],"depth-3":[20,57,214],"bottom":[21,60],"fan-in":[22,61],"2":[23],"circuits":[24,58],"of":[25,33,80,98,141,144,156,177,209],"size":[26],"poly(n)\u22c5":[27],"(9/5)\u207f,":[28],"matching":[29],"the":[30,45,95,114,124,139,196],"lower":[31],"bound":[32],"G\u00f6\u00f6s,":[34],"Guan,":[35],"and":[36,103,118,185],"Mosnoi":[37],"(Inform.":[38],"Comput.'24).":[39],"Our":[40],"construction":[41],"is":[42],"obtained":[43],"via":[44],"following":[46],"steps.":[47,73],"1)":[48],"provide":[50],"a":[51,153,206],"general":[52],"template":[53,115],"for":[54,63,85,116],"constructing":[55],"optimal":[56,132,183],"with":[59],"k":[62,119],"an":[64],"arbitrary":[65],"function":[66],"f.":[67,110],"do":[69],"this":[70,200],"two":[72],"First,":[74],"we":[75,88,127,147],"partition":[76],"f^{-1}(1)":[77],"into":[78],"orbits":[79],"its":[81],"automorphism":[82],"group.":[83],"Second,":[84],"each":[86],"orbit,":[87],"construct":[89],"one":[90],"k-CNF":[91],"(a)":[93],"accepts":[94],"largest":[96],"number":[97],"inputs":[99,107],"from":[100,190],"orbit":[102],"(b)":[104],"rejects":[105],"all":[106],"rejected":[108],"2)":[111],"instantiate":[113],"IP_n":[117],"2.":[121],"Guided":[122],"intuition":[125],"(which":[126],"call":[128],"modularity":[129],"principle)":[130],"2-CNFs":[133,159,184],"constructed":[136],"taking":[138],"conjunction":[140],"variable-disjoint":[142],"copies":[143],"smaller":[145],"2-CNFs,":[146],"use":[148,168],"computer":[149,169],"search":[150,170],"to":[151,171,180,205,211],"identify":[152],"small":[154],"set":[155],"building":[157,178],"block":[158],"over":[160],"at":[161,182],"most":[162],"4":[163],"variables.":[164],"3)":[165],"again":[167],"discover":[172],"appropriate":[173],"combinations":[174],"(disjoint":[175],"conjunctions)":[176],"blocks":[179],"arrive":[181],"analyze":[186],"them":[187],"using":[188],"techniques":[189],"analytic":[191],"combinatorics.":[192],"believe":[194],"approach":[197],"outlined":[198],"paper":[201],"applied":[204],"wide":[207],"range":[208],"functions":[210],"determine":[212],"their":[213],"complexity.":[215]},"counts_by_year":[],"updated_date":"2026-07-24T06:07:23.975819","created_date":"2026-07-24T00:00:00"}