{"id":"https://openalex.org/W4399521932","doi":"https://doi.org/10.1145/3618260.3649649","title":"Space Lower Bounds for Dynamic Filters and Value-Dynamic Retrieval","display_name":"Space Lower Bounds for Dynamic Filters and Value-Dynamic Retrieval","publication_year":2024,"publication_date":"2024-06-10","ids":{"openalex":"https://openalex.org/W4399521932","doi":"https://doi.org/10.1145/3618260.3649649"},"language":"en","primary_location":{"id":"doi:10.1145/3618260.3649649","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649649","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649649","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 56th 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/3618260.3649649","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005111940","display_name":"William Kuszmaul","orcid":"https://orcid.org/0000-0002-3855-3036"},"institutions":[{"id":"https://openalex.org/I2801851002","display_name":"Harvard University Press","ror":"https://ror.org/006v7bf86","country_code":"US","type":"other","lineage":["https://openalex.org/I136199984","https://openalex.org/I2801851002"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"William Kuszmaul","raw_affiliation_strings":["Harvard University, Cambridge, USA"],"raw_orcid":"https://orcid.org/0000-0002-3855-3036","affiliations":[{"raw_affiliation_string":"Harvard University, Cambridge, USA","institution_ids":["https://openalex.org/I2801851002"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024860874","display_name":"Stefan Walzer","orcid":"https://orcid.org/0000-0002-6477-0106"},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Walzer","raw_affiliation_strings":["KIT, Karlsruhe, Germany"],"raw_orcid":"https://orcid.org/0000-0002-6477-0106","affiliations":[{"raw_affiliation_string":"KIT, Karlsruhe, Germany","institution_ids":["https://openalex.org/I102335020"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6244,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.68172198,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1153","last_page":"1164"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11478","display_name":"Caching and Content Delivery","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11478","display_name":"Caching and Content Delivery","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.9937999844551086,"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/T10627","display_name":"Advanced Image and Video Retrieval Techniques","score":0.9843999743461609,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/filter","display_name":"Filter (signal processing)","score":0.6443671584129333},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6057437062263489},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5926088094711304},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.5813276767730713},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5338858962059021},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5145046710968018},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49771860241889954},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.46296313405036926},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.430698424577713},{"id":"https://openalex.org/keywords/dynamic-programming","display_name":"Dynamic programming","score":0.4220486283302307},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.37509891390800476},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.36561286449432373},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.33006006479263306},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.13116267323493958},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09709173440933228},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09695649147033691}],"concepts":[{"id":"https://openalex.org/C106131492","wikidata":"https://www.wikidata.org/wiki/Q3072260","display_name":"Filter (signal processing)","level":2,"score":0.6443671584129333},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6057437062263489},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5926088094711304},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5813276767730713},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5338858962059021},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5145046710968018},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49771860241889954},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.46296313405036926},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.430698424577713},{"id":"https://openalex.org/C37404715","wikidata":"https://www.wikidata.org/wiki/Q380679","display_name":"Dynamic programming","level":2,"score":0.4220486283302307},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.37509891390800476},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36561286449432373},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.33006006479263306},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.13116267323493958},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09709173440933228},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09695649147033691},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","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/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","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/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3618260.3649649","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649649","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649649","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 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3618260.3649649","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3618260.3649649","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3618260.3649649","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 56th Annual ACM Symposium on Theory of Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399521932.pdf"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W25594804","https://openalex.org/W155342555","https://openalex.org/W1533741624","https://openalex.org/W1541806040","https://openalex.org/W1548702063","https://openalex.org/W1589951627","https://openalex.org/W1703904868","https://openalex.org/W1891810191","https://openalex.org/W1965185568","https://openalex.org/W1967373117","https://openalex.org/W1993284846","https://openalex.org/W2007550813","https://openalex.org/W2018423671","https://openalex.org/W2053816258","https://openalex.org/W2074633331","https://openalex.org/W2116435146","https://openalex.org/W2146450895","https://openalex.org/W2149592768","https://openalex.org/W2170732565","https://openalex.org/W2612838847","https://openalex.org/W2769951192","https://openalex.org/W2800963743","https://openalex.org/W2898048837","https://openalex.org/W2912601938","https://openalex.org/W2920458101","https://openalex.org/W2932208164","https://openalex.org/W2946409651","https://openalex.org/W2963440401","https://openalex.org/W2964277307","https://openalex.org/W2970088479","https://openalex.org/W2994941531","https://openalex.org/W3011810846","https://openalex.org/W3018746117","https://openalex.org/W3034570653","https://openalex.org/W3105329206","https://openalex.org/W3119832467","https://openalex.org/W3174427814","https://openalex.org/W3197479795","https://openalex.org/W3197676888","https://openalex.org/W3208234243"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2807251790","https://openalex.org/W2799406489","https://openalex.org/W2049792449","https://openalex.org/W4360764540","https://openalex.org/W986251431","https://openalex.org/W4231657010","https://openalex.org/W563727013","https://openalex.org/W2007917622","https://openalex.org/W2502468346"],"abstract_inverted_index":{"A":[0,23],"filter":[1,24,99],"is":[2,25,95,136],"a":[3,11,18,40,122,137],"data":[4],"structure":[5],"that":[6,63,76,91,134],"answers":[7],"approximate-membership":[8],"queries":[9],"on":[10],"set":[12,36],"S":[13],"of":[14,21,43,51,54,111],"n":[15,69,84,102],"elements,":[16],"with":[17],"false-positive":[19],"rate":[20],"\u0454.":[22,112],"said":[26],"to":[27,34,39,120],"be":[28,80],"dynamic":[29,77,98],"if":[30],"it":[31],"supports":[32],"insertions/deletions":[33],"the":[35,48,109,126,141],"S,":[37],"subject":[38],"capacity":[41],"constraint":[42],"n.":[44],"This":[45],"paper":[46],"considers":[47],"space":[49,68,83],"requirement":[50],"filters,":[52],"regardless":[53],"running":[55],"time.":[56],"It":[57],"has":[58],"been":[59],"known":[60],"for":[61,125],"decades":[62],"static":[64,143],"filters":[65,78],"have":[66],"optimal":[67,142],"log\u0454\u22121":[70,85,103],"+":[71,86,104],"O(1)":[72],"expected":[73],"bits,":[74,106],"and":[75,144],"can":[79],"implemented":[81],"in":[82],"\u0398(n)":[87],"bits.":[88],"We":[89],"prove":[90],"this":[92],"\u0398(n)-bit":[93,138],"gap":[94,139],"fundamental:":[96],"any":[97],"must":[100],"use":[101],"\u03a9(n)":[105],"no":[107],"matter":[108],"choice":[110],"Extending":[113],"our":[114],"techniques,":[115],"we":[116,132],"are":[117],"also":[118],"able":[119],"obtain":[121],"lower":[123],"bound":[124],"value-dynamic":[127],"retrieval":[128],"problem.":[129],"Here":[130],"again,":[131],"show":[133],"there":[135],"between":[140],"(value-)dynamic":[145],"solutions.":[146]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}