{"id":"https://openalex.org/W4282834582","doi":"https://doi.org/10.1137/19m1271348","title":"A Short List of Equalities Induces Large Sign-Rank","display_name":"A Short List of Equalities Induces Large Sign-Rank","publication_year":2022,"publication_date":"2022-06-01","ids":{"openalex":"https://openalex.org/W4282834582","doi":"https://doi.org/10.1137/19m1271348"},"language":"en","primary_location":{"id":"doi:10.1137/19m1271348","is_oa":false,"landing_page_url":"https://doi.org/10.1137/19m1271348","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://ir.cwi.nl/pub/31975/31975.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088854880","display_name":"Arkadev Chattopadhyay","orcid":"https://orcid.org/0009-0005-3110-3584"},"institutions":[{"id":"https://openalex.org/I11947397","display_name":"Tata Institute of Fundamental Research","ror":"https://ror.org/03ht1xw27","country_code":"IN","type":"education","lineage":["https://openalex.org/I11947397","https://openalex.org/I2799351866","https://openalex.org/I3149292468"]},{"id":"https://openalex.org/I4210099082","display_name":"QuSoft","ror":"https://ror.org/00zq3ce72","country_code":"NL","type":"facility","lineage":["https://openalex.org/I4210099082"]}],"countries":["IN","NL"],"is_corresponding":true,"raw_author_name":"Arkadev Chattopadhyay","raw_affiliation_strings":["\\dagger School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, 400005, India","\\ddagger QuSoft and CWI, Amsterdam, 1098XG, The Netherlands"],"affiliations":[{"raw_affiliation_string":"\\dagger School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, 400005, India","institution_ids":["https://openalex.org/I11947397"]},{"raw_affiliation_string":"\\ddagger QuSoft and CWI, Amsterdam, 1098XG, The Netherlands","institution_ids":["https://openalex.org/I4210099082"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027137684","display_name":"Nikhil S. Mande","orcid":"https://orcid.org/0000-0002-9520-7340"},"institutions":[{"id":"https://openalex.org/I11947397","display_name":"Tata Institute of Fundamental Research","ror":"https://ror.org/03ht1xw27","country_code":"IN","type":"education","lineage":["https://openalex.org/I11947397","https://openalex.org/I2799351866","https://openalex.org/I3149292468"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Nikhil S. Mande","raw_affiliation_strings":["\\dagger School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, 400005, India"],"affiliations":[{"raw_affiliation_string":"\\dagger School of Technology and Computer Science, Tata Institute of Fundamental Research, Mumbai, 400005, India","institution_ids":["https://openalex.org/I11947397"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5088854880"],"corresponding_institution_ids":["https://openalex.org/I11947397","https://openalex.org/I4210099082"],"apc_list":null,"apc_paid":null,"fwci":0.1461,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.46585679,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"51","issue":"3","first_page":"820","last_page":"848"},"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.9984999895095825,"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.9980999827384949,"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.6677143573760986},{"id":"https://openalex.org/keywords/sign","display_name":"Sign (mathematics)","score":0.631028950214386},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5854469537734985},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5816036462783813},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5763989686965942},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5512625575065613},{"id":"https://openalex.org/keywords/rank","display_name":"Rank (graph theory)","score":0.5491646528244019},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5380622148513794},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.4760325253009796},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.45241472125053406},{"id":"https://openalex.org/keywords/circuit-complexity","display_name":"Circuit complexity","score":0.42248860001564026},{"id":"https://openalex.org/keywords/boolean-circuit","display_name":"Boolean circuit","score":0.42145463824272156},{"id":"https://openalex.org/keywords/exponential-function","display_name":"Exponential function","score":0.41200029850006104},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2915533781051636},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.2894401550292969},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.16279450058937073},{"id":"https://openalex.org/keywords/quantum-mechanics","display_name":"Quantum mechanics","score":0.10975879430770874}],"concepts":[{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.6677143573760986},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.631028950214386},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5854469537734985},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5816036462783813},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5763989686965942},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5512625575065613},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.5491646528244019},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5380622148513794},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.4760325253009796},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.45241472125053406},{"id":"https://openalex.org/C90702460","wikidata":"https://www.wikidata.org/wiki/Q1055112","display_name":"Circuit complexity","level":3,"score":0.42248860001564026},{"id":"https://openalex.org/C141796577","wikidata":"https://www.wikidata.org/wiki/Q837479","display_name":"Boolean circuit","level":3,"score":0.42145463824272156},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.41200029850006104},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2915533781051636},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.2894401550292969},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.16279450058937073},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.10975879430770874},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/19m1271348","is_oa":false,"landing_page_url":"https://doi.org/10.1137/19m1271348","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},{"id":"pmh:cwi:oai:cwi.nl:31975","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/31975","pdf_url":"https://ir.cwi.nl/pub/31975/31975.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIAM Journal on Computing, 51(3), 820 - 848","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:cwi:oai:cwi.nl:31975","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/31975","pdf_url":"https://ir.cwi.nl/pub/31975/31975.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"SIAM Journal on Computing, 51(3), 820 - 848","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6499999761581421}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320719","display_name":"Department of Science and Technology, Ministry of Science and Technology, India","ror":"https://ror.org/0101xrq71"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4282834582.pdf","grobid_xml":"https://content.openalex.org/works/W4282834582.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W1495580177","https://openalex.org/W1515707347","https://openalex.org/W1578042930","https://openalex.org/W1662824729","https://openalex.org/W1862379263","https://openalex.org/W1965748471","https://openalex.org/W1970299638","https://openalex.org/W1990284858","https://openalex.org/W2008671796","https://openalex.org/W2038230325","https://openalex.org/W2069655509","https://openalex.org/W2070053951","https://openalex.org/W2077740213","https://openalex.org/W2080210666","https://openalex.org/W2084194126","https://openalex.org/W2086789740","https://openalex.org/W2091623775","https://openalex.org/W2097575812","https://openalex.org/W2097886040","https://openalex.org/W2099718824","https://openalex.org/W2110503949","https://openalex.org/W2114626874","https://openalex.org/W2117822564","https://openalex.org/W2118259999","https://openalex.org/W2123750718","https://openalex.org/W2128524323","https://openalex.org/W2150157290","https://openalex.org/W2163605617","https://openalex.org/W2175125908","https://openalex.org/W2553219432","https://openalex.org/W2604847700","https://openalex.org/W2610739693","https://openalex.org/W2613231010","https://openalex.org/W2787163834","https://openalex.org/W2793039178","https://openalex.org/W2884125338","https://openalex.org/W2888350691","https://openalex.org/W2899702797","https://openalex.org/W2952032520","https://openalex.org/W2963276484","https://openalex.org/W2964024530","https://openalex.org/W3036171685","https://openalex.org/W3102754027","https://openalex.org/W3105381258","https://openalex.org/W3124277475","https://openalex.org/W3200234314","https://openalex.org/W4210551624","https://openalex.org/W4212971335","https://openalex.org/W4214608570"],"related_works":["https://openalex.org/W2009341260","https://openalex.org/W3204916073","https://openalex.org/W2070989708","https://openalex.org/W2952185983","https://openalex.org/W1607525876","https://openalex.org/W2486254595","https://openalex.org/W2056263286","https://openalex.org/W2474705870","https://openalex.org/W4306295144","https://openalex.org/W3046730366"],"abstract_inverted_index":{"We":[0],"exhibit":[1],"a":[2,15,149,263,295,331],"natural":[3,239],"function":[4,41,225,235,292],"$F_n$":[5,42,82,236,252,288],"on":[6,114,134,337],"$n$":[7],"variables":[8],"that":[9,141,177],"can":[10,43,186],"be":[11,44,188],"computed":[12,45,190],"by":[13,46,181,191,268],"just":[14],"linear-size":[16,47],"decision":[17],"list":[18],"of":[19,54,71,109,117,128,198,241,302,312,327],"\u201cEqualities,\u201d":[20],"but":[21,63],"whose":[22],"sign-rank":[23,301],"is":[24,155],"$2^{\\Omega(n^{1/4})}$.":[25,85],"This":[26,86,305],"yields":[27],"the":[28,52,55,72,88,92,110,129,145,228,238,242,246,300,320,323],"following":[29],"two":[30,146],"new":[31],"unconditional":[32],"complexity":[33,95,248],"class":[34,249,324],"separations.":[35],"1.":[36],"Boolean":[37,93],"circuit":[38,68,94],"complexity.":[39,233,346],"The":[40,234],"depth-two":[48],"threshold":[49,56,74,342],"formulas":[50],"when":[51],"weights":[53,70],"gates":[57,75],"are":[58,76],"unrestricted":[59,313],"(${THR}":[60],"\\circ":[61,66,98,102,183,193,207,215],"{THR}$),":[62],"any":[64],"${THR}":[65,97,101,206,214],"{MAJ}$":[67,99,194,216],"(the":[69],"bottom":[73],"polynomially":[77],"bounded":[78],"in":[79,156,245,341],"$n$)":[80],"computing":[81],"requires":[83,306],"size":[84],"provides":[87],"first":[89,321],"separation":[90,154],"between":[91,144],"classes":[96,147],"and":[100,106,123,125,163,220,271,293,344],"{THR}$.":[103],"While":[104],"Amano":[105],"Maruoka":[107],"[Proceedings":[108,127],"30th":[111],"International":[112],"Symposium":[113],"Mathematical":[115],"Foundations":[116],"Computer":[118],"Science,":[119],"2005,":[120],"pp.":[121,138,169,277],"107--118]":[122],"Hansen":[124],"Podolskii":[126],"25th":[130],"Annual":[131],"IEEE":[132],"Conference":[133],"Computational":[135],"Complexity,":[136,166,274],"2010,":[137],"270--279]":[139],"emphasized":[140],"superpolynomial":[142],"separations":[143],"remained":[148],"basic":[150],"open":[151,265,339],"problem,":[152],"our":[153,218,283,316],"fact":[157],"exponential.":[158],"In":[159,196,279],"contrast,":[160],"Goldmann,":[161],"H\\aastad,":[162],"Razborov":[164],"[Comput.":[165,273],"2":[167],"(1992),":[168],"277--300]":[170],"showed":[171],"more":[172,211],"than":[173,213],"twenty-five":[174],"years":[175],"ago":[176],"functions":[178],"efficiently":[179,189],"computable":[180],"${MAJ}":[182,192],"{THR}$":[184,208],"circuits":[185,343],"also":[187],"circuits.":[195],"view":[197,287],"this,":[199],"it":[200],"was":[201,209,222],"not":[202],"even":[203],"clear":[204],"if":[205],"significantly":[210],"powerful":[212],"until":[217],"work,":[219],"there":[221],"no":[223],"candidate":[224],"identified":[226],"for":[227,319,334],"potential":[229],"separation.":[230],"2.":[231],"Communication":[232],"(under":[237],"partition":[240],"inputs)":[243],"lies":[244],"communication":[247,345],"${P}^{{MA}}$.":[250],"Since":[251],"has":[253],"large":[254],"sign-rank,":[255],"this":[256],"implies":[257],"${P}^{{MA}}":[258],"\\nsubseteq":[259],"{UPP}$,":[260],"strongly":[261],"resolving":[262],"recent":[264],"problem":[266],"posed":[267],"G\u00f6\u00f6s,":[269],"Pitassi,":[270],"Watson":[272],"27":[275],"(2018),":[276],"245--304].":[278],"order":[280],"to":[281,297],"prove":[282],"main":[284],"result,":[285],"we":[286],"as":[289,330],"an":[290],"${XOR}$":[291],"develop":[294],"technique":[296],"lower":[298],"bound":[299],"such":[303],"functions.":[304],"novel":[307],"approximation-theoretic":[308],"arguments":[309],"against":[310],"polynomials":[311],"degree.":[314],"Further,":[315],"work":[317],"highlights":[318],"time":[322],"\u201cdecision":[325],"lists":[326],"exact":[328],"thresholds\u201d":[329],"common":[332],"frontier":[333],"making":[335],"progress":[336],"longstanding":[338],"problems":[340]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}