{"id":"https://openalex.org/W7215102427","doi":"https://doi.org/10.48550/arxiv.2609.40293","title":"Quantum Fine-Grained Lower Bounds for SetDisjointness via Sub-Linear Reductions from 3SUM","display_name":"Quantum Fine-Grained Lower Bounds for SetDisjointness via Sub-Linear Reductions from 3SUM","publication_year":2026,"publication_date":"2026-09-30","ids":{"openalex":"https://openalex.org/W7215102427","doi":"https://doi.org/10.48550/arxiv.2609.40293"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.40293","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.40293","pdf_url":"https://arxiv.org/pdf/2609.40293","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,"listed_in":[],"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":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.40293","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5154018382","display_name":"Jeremy Huang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Huang, Jeremy","raw_affiliation_strings":["Department of Computer Science and Engineering , Pennsylvania State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering , Pennsylvania State University","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047101336","display_name":"Young Kun Ko","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ko, Young Kun","raw_affiliation_strings":["Department of Computer Science and Engineering , Pennsylvania State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering , Pennsylvania State University","institution_ids":["https://openalex.org/I130769515"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5154062604","display_name":"Chunhao Wang","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I130769515","display_name":"Pennsylvania State University","ror":"https://ror.org/04p491231","country_code":"US","type":"education","lineage":["https://openalex.org/I130769515"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Wang, Chunhao","raw_affiliation_strings":["Department of Computer Science and Engineering , Pennsylvania State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering , Pennsylvania State University","institution_ids":["https://openalex.org/I130769515"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130769515"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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":{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.6190999746322632,"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"}},"topics":[{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.6190999746322632,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.32010000944137573,"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/T11269","display_name":"Algorithms and Data Compression","score":0.02319999970495701,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/conditional-lower-bounds","display_name":"conditional lower bounds","score":0.8159999847412109},{"id":"https://openalex.org/keywords/online-algorithms","display_name":"online algorithms","score":0.6029999852180481},{"id":"https://openalex.org/keywords/grover-s-algorithm","display_name":"Grover's algorithm","score":0.7570000290870667}],"concepts":[{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.6547999978065491},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6521000266075134},{"id":"https://openalex.org/C137019171","wikidata":"https://www.wikidata.org/wiki/Q2623817","display_name":"Quantum algorithm","level":3,"score":0.5770999789237976},{"id":"https://openalex.org/C84114770","wikidata":"https://www.wikidata.org/wiki/Q46344","display_name":"Quantum","level":2,"score":0.5623000264167786},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.48649999499320984},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.47609999775886536},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4674000144004822},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.43549999594688416},{"id":"https://openalex.org/C136197465","wikidata":"https://www.wikidata.org/wiki/Q1729295","display_name":"Variety (cybernetics)","level":2,"score":0.38429999351501465},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3758000135421753},{"id":"https://openalex.org/C43682372","wikidata":"https://www.wikidata.org/wiki/Q7269080","display_name":"Quantum operation","level":4,"score":0.325300008058548},{"id":"https://openalex.org/C28855332","wikidata":"https://www.wikidata.org/wiki/Q198099","display_name":"Quantization (signal processing)","level":2,"score":0.32429999113082886},{"id":"https://openalex.org/C58053490","wikidata":"https://www.wikidata.org/wiki/Q176555","display_name":"Quantum computer","level":3,"score":0.32179999351501465},{"id":"https://openalex.org/C136170076","wikidata":"https://www.wikidata.org/wiki/Q181296","display_name":"Abelian group","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.28790000081062317},{"id":"https://openalex.org/C41241483","wikidata":"https://www.wikidata.org/wiki/Q7269015","display_name":"Quantum capacity","level":5,"score":0.28690001368522644},{"id":"https://openalex.org/C187486625","wikidata":"https://www.wikidata.org/wiki/Q2122176","display_name":"Quantum channel","level":4,"score":0.28119999170303345},{"id":"https://openalex.org/C51003876","wikidata":"https://www.wikidata.org/wiki/Q1536431","display_name":"Quantum error correction","level":4,"score":0.2687999904155731},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2687999904155731},{"id":"https://openalex.org/C169699857","wikidata":"https://www.wikidata.org/wiki/Q2122243","display_name":"Quantum information","level":3,"score":0.26840001344680786},{"id":"https://openalex.org/C59500034","wikidata":"https://www.wikidata.org/wiki/Q1464944","display_name":"Quantum Fourier transform","level":5,"score":0.26429998874664307},{"id":"https://openalex.org/C15706264","wikidata":"https://www.wikidata.org/wiki/Q230883","display_name":"Quantum state","level":3,"score":0.2624000012874603},{"id":"https://openalex.org/C150909736","wikidata":"https://www.wikidata.org/wiki/Q1779448","display_name":"Collision resistance","level":5,"score":0.2578999996185303},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C92043244","wikidata":"https://www.wikidata.org/wiki/Q7269023","display_name":"Quantum complexity theory","level":4,"score":0.25600001215934753}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.40293","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.40293","pdf_url":"https://arxiv.org/pdf/2609.40293","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,"listed_in":[],"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":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.40293","doi":"https://doi.org/10.48550/arxiv.2609.40293","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.40293","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,"listed_in":[],"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.40293","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.40293","pdf_url":"https://arxiv.org/pdf/2609.40293","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,"listed_in":[],"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":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7215102427.pdf","grobid_xml":"https://content.openalex.org/works/W7215102427.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4298857602","https://openalex.org/W6996058392","https://openalex.org/W2964920388","https://openalex.org/W2226187912","https://openalex.org/W2796181412","https://openalex.org/W7223379866","https://openalex.org/W1629794662","https://openalex.org/W3173975190","https://openalex.org/W4394700725","https://openalex.org/W4406151949"],"abstract_inverted_index":{"In":[0],"classical":[1,53,67],"fine-grained":[2,95,159],"complexity,":[3],"the":[4,28,51,73,83,88,103,117],"3SUM":[5,39,90,98,110,119],"Conjecture":[6,91],"is":[7,33],"used":[8],"to":[9,27,47,92,99,111,161,165],"prove":[10],"a":[11,41,93,122,155],"variety":[12],"of":[13,44],"conditional":[14,54,79],"lower":[15,80],"bounds":[16,68,81],"on":[17],"data":[18],"structure":[19],"and":[20,40,59,138],"graph":[21],"problems":[22],"via":[23],"an":[24,34,145],"initial":[25],"reduction":[26,96,147],"SetDisjointness":[29,48,132,162],"problem.":[30],"However,":[31],"there":[32],"$\\tilde{O}(n)$-time":[35],"quantum":[36,74,84,89,107,118,131],"algorithm":[37,46],"for":[38,130,158],"direct":[42],"application":[43],"Grover's":[45],"queries":[49],"beats":[50],"state-of-the-art":[52],"bound":[55,129],"by":[56],"Kopelowitz,":[57],"Pettie,":[58],"Porat":[60],"(SODA":[61],"2016);":[62],"this":[63],"shows":[64],"that":[65],"these":[66],"do":[69],"not":[70],"apply":[71],"in":[72,82],"setting.":[75],"Thus":[76],"establishing":[77],"analogous":[78,146],"setting":[85],"requires":[86],"applying":[87],"\\emph{quantum}":[94],"from":[97,109,148,154],"SetDisjointness.":[100,113],"We":[101,142],"give":[102,144],"first":[104],"sub-linear":[105],"time":[106,137],"reductions":[108,160],"online":[112],"Via":[114],"our":[115],"reduction,":[116],"conjecture":[120],"implies":[121],"$p":[123],"+":[124],"2q":[125],"\\geqslant":[126],"1$":[127],"tradeoff":[128],"algorithms":[133],"with":[134,172],"$O(N^p)$":[135],"preprocessing":[136],"$O(N^q)$":[139],"query":[140],"time.":[141],"also":[143],"3XOR.":[149],"These":[150],"results":[151],"are":[152],"derived":[153],"general":[156],"framework":[157],"which":[163],"applies":[164],"any":[166],"Abelian":[167],"3-Orthogonal":[168],"Array":[169],"(3OA)":[170],"problem":[171],"suitable":[173],"almost-linear":[174],"hash":[175],"functions.":[176]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-10-02T00:00:00"}