{"id":"https://openalex.org/W2949415962","doi":"https://doi.org/10.1137/18m1198429","title":"Crossing the Logarithmic Barrier for Dynamic Boolean Data Structure Lower Bounds","display_name":"Crossing the Logarithmic Barrier for Dynamic Boolean Data Structure Lower Bounds","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W2949415962","doi":"https://doi.org/10.1137/18m1198429","mag":"2949415962"},"language":"en","primary_location":{"id":"doi:10.1137/18m1198429","is_oa":false,"landing_page_url":"https://doi.org/10.1137/18m1198429","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://arxiv.org/pdf/1703.03575.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013551063","display_name":"Kasper Green Larsen","orcid":"https://orcid.org/0000-0001-8841-5929"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Kasper Green Larsen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055582428","display_name":"Omri Weinstein","orcid":"https://orcid.org/0000-0002-9357-2299"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Omri Weinstein","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5055157975","display_name":"Huacheng Yu","orcid":"https://orcid.org/0000-0003-1450-1896"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huacheng Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.00417038,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"49","issue":"5","first_page":"STOC18","last_page":"323"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12923","display_name":"Digital Image Processing Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T12923","display_name":"Digital Image Processing Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9988999962806702,"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/rectangle","display_name":"Rectangle","score":0.6809800863265991},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5774655938148499},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5456933379173279},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.5421808958053589},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5070962905883789},{"id":"https://openalex.org/keywords/omega","display_name":"Omega","score":0.5057685375213623},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5043643712997437},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5017352104187012},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.4698176681995392},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4446121156215668},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.43873775005340576},{"id":"https://openalex.org/keywords/logarithm","display_name":"Logarithm","score":0.4384461045265198},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2795831263065338},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.09178897738456726},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.07180613279342651}],"concepts":[{"id":"https://openalex.org/C2781302577","wikidata":"https://www.wikidata.org/wiki/Q209","display_name":"Rectangle","level":2,"score":0.6809800863265991},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5774655938148499},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5456933379173279},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.5421808958053589},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5070962905883789},{"id":"https://openalex.org/C2779557605","wikidata":"https://www.wikidata.org/wiki/Q9890","display_name":"Omega","level":2,"score":0.5057685375213623},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5043643712997437},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5017352104187012},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.4698176681995392},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4446121156215668},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.43873775005340576},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.4384461045265198},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2795831263065338},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.09178897738456726},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.07180613279342651},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1137/18m1198429","is_oa":false,"landing_page_url":"https://doi.org/10.1137/18m1198429","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":"mag:2949415962","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1703.03575.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null}],"best_oa_location":{"id":"mag:2949415962","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1703.03575.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G4045262781","display_name":null,"funder_award_id":"DNRF84","funder_id":"https://openalex.org/F4320320943","funder_display_name":"Danmarks Grundforskningsfond"},{"id":"https://openalex.org/G6090670893","display_name":null,"funder_award_id":"CCF-1212372","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7979426425","display_name":null,"funder_award_id":"DNRF84","funder_id":"https://openalex.org/F4320324281","funder_display_name":"Center for Massive Data Algorithmics"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"},{"id":"https://openalex.org/F4320320943","display_name":"Danmarks Grundforskningsfond","ror":"https://ror.org/00znyv691"},{"id":"https://openalex.org/F4320324281","display_name":"Center for Massive Data Algorithmics","ror":"https://ror.org/00qbzpp62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1963524245","https://openalex.org/W1968301997","https://openalex.org/W1988508518","https://openalex.org/W1993022201","https://openalex.org/W1996861774","https://openalex.org/W2029948740","https://openalex.org/W2065240689","https://openalex.org/W2080995342","https://openalex.org/W2091556334","https://openalex.org/W2101403145","https://openalex.org/W2144518319","https://openalex.org/W2170156299","https://openalex.org/W2198278046","https://openalex.org/W2571362173","https://openalex.org/W2913207943","https://openalex.org/W2952088295","https://openalex.org/W2963834565","https://openalex.org/W4205550388","https://openalex.org/W4249974845"],"related_works":["https://openalex.org/W2898122202","https://openalex.org/W2950199409","https://openalex.org/W2065240689","https://openalex.org/W2016803580","https://openalex.org/W2098207812","https://openalex.org/W2768675866","https://openalex.org/W2542610836","https://openalex.org/W2400225133","https://openalex.org/W1607525876","https://openalex.org/W2597007794","https://openalex.org/W2949863531","https://openalex.org/W2143722695","https://openalex.org/W2809332496","https://openalex.org/W2104038652","https://openalex.org/W2133873808","https://openalex.org/W2951745464","https://openalex.org/W2278285357","https://openalex.org/W2146817307","https://openalex.org/W2122780600","https://openalex.org/W2122475176"],"abstract_inverted_index":{"This":[0,135,219],"paper":[1],"proves":[2],"the":[3,9,55,70,118,139,147,156,186,243],"first":[4,140],"superlogarithmic":[5],"lower":[6,29,41,52,102,144,171],"bounds":[7,42,82,172,253],"on":[8,54,69,242,254],"cell":[10,39],"probe":[11,40],"complexity":[12],"of":[13,58,62,73,112,155,176,189,202,232,247],"dynamic":[14,38,74,177,205],"Boolean":[15,63,174],"(also":[16],"known":[17],"as":[18,110],"decision)":[19],"data":[20,27,64,159,206],"structure":[21,28,65,160],"problems,":[22,66],"a":[23,33,59,199,222],"long-standing":[24],"milestone":[25],"in":[26,87,117,162],"bounds.":[30],"We":[31,168],"introduce":[32],"new":[34,200,239],"method":[35,246],"for":[36,83,104,146,173,185],"proving":[37],"and":[43,165,180,184,192,235,250],"use":[44],"it":[45],"to":[46,225],"prove":[47],"an":[48,97,237],"$\\tilde{\\Omega}({lg}^{1.5}":[49],"\\":[50,100,142],"n)$":[51,101,143],"bound":[53,103,145],"operational":[56],"time":[57,72],"wide":[60],"range":[61,75,85,151,190,193],"most":[67,157],"notably,":[68],"query":[71],"counting":[76,152],"over":[77,216],"$\\mathbb{F}_2$":[78],"[M.":[79,123],"Patrascu,":[80],"Lower":[81],"$2$-dimensional":[84],"counting,":[86],"STOC":[88],"2007,":[89,93],"ACM,":[90],"New":[91],"York,":[92],"pp.":[94,133,270],"40--46].":[95],"Proving":[96],"$\\omega({\\rm":[98],"lg}":[99],"this":[105],"problem":[106],"was":[107],"explicitly":[108],"posed":[109],"one":[111,154],"five":[113],"important":[114],"open":[115],"problems":[116,161,188],"late":[119],"Mihai":[120],"P\u01cetra\u015fcu's":[121],"obituary":[122],"Thorup,":[124],"Bull.":[125],"Eur.":[126],"Assoc.":[127],"Theor.":[128],"Comput.":[129],"Sci.,":[130],"109":[131],"(2013),":[132],"7--13].":[134],"result":[136],"also":[137],"implies":[138],"$\\omega({lg}":[141],"classical":[148],"2-dimensional":[149],"(2D)":[150],"problem,":[153],"fundamental":[158],"computational":[163],"geometry":[164],"spatial":[166],"databases.":[167],"derive":[169],"similar":[170],"versions":[175],"polynomial":[178],"evaluation":[179],"2D":[181],"rectangle":[182],"stabbing,":[183],"(non-Boolean)":[187],"selection":[191],"median.":[194],"Our":[195],"technical":[196],"centerpiece":[197],"is":[198],"way":[201],"\u201cweakly\u201d":[203],"simulating":[204],"structures":[207],"using":[208],"efficient":[209],"one-way":[210],"communication":[211],"protocols":[212],"with":[213],"small":[214],"advantage":[215],"random":[217],"guessing.":[218],"simulation":[220],"involves":[221],"surprising":[223],"excursion":[224],"low-degree":[226],"(Chebyshev)":[227],"polynomials":[228],"which":[229],"may":[230],"be":[231],"independent":[233],"interest,":[234],"offers":[236],"entirely":[238],"algorithmic":[240],"angle":[241],"\u201ccell":[244],"sampling\u201d":[245],"Panigrahy,":[248],"Talwar,":[249],"Wieder":[251],"[Lower":[252],"near":[255],"neighbor":[256],"search":[257],"via":[258],"metric":[259],"expansion,":[260],"FOCS":[261],"2010,":[262,269],"IEEE":[263],"Computer":[264],"Society,":[265],"Los":[266],"Alamitos,":[267],"CA,":[268],"805--814].":[271]},"counts_by_year":[{"year":2018,"cited_by_count":2}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}