{"id":"https://openalex.org/W7170148410","doi":"https://doi.org/10.4230/lipics.ccc.2026.41","title":"Systematic Data Structure Lower Bounds via the Query-With-Sketch Model","display_name":"Systematic Data Structure Lower Bounds via the Query-With-Sketch Model","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7170148410","doi":"https://doi.org/10.4230/lipics.ccc.2026.41"},"language":"en","primary_location":{"id":"doi:10.4230/lipics.ccc.2026.41","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.41","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.41","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051447099","display_name":"Sumegha Garg","orcid":"https://orcid.org/0000-0002-8069-6655"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Garg, Sumegha","raw_affiliation_strings":["Rutgers University, New Brunswick, NJ, USA"],"raw_orcid":"https://orcid.org/0000-0002-8069-6655","affiliations":[{"raw_affiliation_string":"Rutgers University, New Brunswick, NJ, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123667674","display_name":"Songhua He","orcid":null},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"He, Songhua","raw_affiliation_strings":["Rutgers University, New Brunswick, NJ, USA"],"raw_orcid":"https://orcid.org/0009-0005-7650-7929","affiliations":[{"raw_affiliation_string":"Rutgers University, New Brunswick, NJ, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064768159","display_name":"Y. Li","orcid":"https://orcid.org/0000-0002-4604-0468"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Li, Yuanzhi","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, PA, USA"],"raw_orcid":"https://orcid.org/0000-0002-4604-0468","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, PA, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089121499","display_name":"Periklis A. Papakonstantinou","orcid":"https://orcid.org/0009-0006-5734-5837"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Papakonstantinou, Periklis A.","raw_affiliation_strings":["Rutgers University, New Brunswick, NJ, USA"],"raw_orcid":"https://orcid.org/0009-0006-5734-5837","affiliations":[{"raw_affiliation_string":"Rutgers University, New Brunswick, NJ, USA","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5143502803","display_name":"Xin Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Xin","raw_affiliation_strings":["Meta, Seattle, WA, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Meta, Seattle, WA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"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/redundancy","display_name":"Redundancy (engineering)","score":0.5637999773025513},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.5206000208854675},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.517300009727478},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5148000121116638},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4593999981880188},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.45410001277923584}],"concepts":[{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.5637999773025513},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.521399974822998},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.5206000208854675},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.517300009727478},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5148000121116638},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49160000681877136},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4593999981880188},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.45410001277923584},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.4359000027179718},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.4318000078201294},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4104999899864197},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40880000591278076},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39640000462532043},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.33340001106262207},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.30250000953674316},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2824999988079071},{"id":"https://openalex.org/C2988382989","wikidata":"https://www.wikidata.org/wiki/Q370685","display_name":"Data space","level":2,"score":0.263700008392334},{"id":"https://openalex.org/C2988995629","wikidata":"https://www.wikidata.org/wiki/Q2915729","display_name":"Matrix algebra","level":3,"score":0.2606000006198883}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4230/lipics.ccc.2026.41","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.41","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.41","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ccc.2026.41","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,46,101,130],"study":[1],"data":[2,59,99],"structure":[3,60],"lower":[4,123],"bounds":[5,115,124,135],"for":[6,93,97,142,171],"the":[7,27,51,58,103,117,126,143,168],"Approximate":[8],"Matrix":[9],"Powering":[10],"(AMP)":[11],"problem.":[12],"Given":[13],"a":[14,78,90,108,152,161],"substochastic,":[15],"symmetric":[16],"matrix":[17],"\ud835\udc0c":[18,32,62],"\u2208":[19],"\u211d^{n\u00d7":[20],"n}":[21],"and":[22,25,53,71,106,139,148,165,176],"parameters":[23],"k":[24],"\u03b1,":[26],"goal":[28],"is":[29,89],"to":[30,35,42,121,146],"preprocess":[31],"so":[33],"as":[34],"answer":[36,73],"entry":[37],"queries":[38,74,174],"(u,v)\u21a6":[39],"\ud835\udc0c^{k}[u,v]":[40],"up":[41],"additive":[43],"error":[44],"1/n^{\u03b1}.":[45],"focus":[47],"on":[48,167],"AMP":[49,147],"in":[50,56,116,125],"succinct":[52],"systematic":[54,98],"regime,":[55],"which":[57],"stores":[61],"verbatim,":[63],"uses":[64],"an":[65],"additional":[66],"r":[67],"bits":[68],"of":[69,81,83,119,128,163],"redundancy,":[70],"must":[72],"by":[75],"probing":[76],"only":[77],"small":[79],"number":[80],"entries":[82],"\ud835\udc0c.":[84],"Our":[85],"main":[86],"conceptual":[87],"contribution":[88],"general":[91],"framework":[92],"proving":[94],"probe-redundancy":[95],"trade-offs":[96],"structures.":[100],"introduce":[102],"query-with-sketch":[104],"model":[105],"develop":[107],"min-entropy-based":[109],"approach":[110],"that":[111],"lifts":[112],"conditional":[113],"min-entropy":[114,134],"absence":[118],"redundancy":[120],"probe":[122],"presence":[127],"redundancy.":[129],"then":[131],"establish":[132],"these":[133],"using":[136],"problem-specific":[137],"analytic":[138],"algebraic":[140],"tools,":[141],"downstream":[144],"applications":[145],"its":[149],"variants.":[150],"As":[151],"consequence,":[153],"our":[154],"results":[155],"provide":[156],"new":[157],"unconditional":[158],"evidence":[159],"toward":[160],"conjecture":[162],"P\u0103tra\u015fcu":[164],"Roditty":[166],"space":[169],"required":[170],"constant-time":[172],"set-disjointness":[173],"[Patrascu":[175],"Roditty,":[177],"2010].":[178]},"counts_by_year":[],"updated_date":"2026-07-24T06:07:23.975819","created_date":"2026-07-24T00:00:00"}