{"id":"https://openalex.org/W7167822671","doi":"https://doi.org/10.48550/arxiv.2607.07396","title":"Gap-Majority Lemmas in Communication Complexity","display_name":"Gap-Majority Lemmas in Communication Complexity","publication_year":2026,"publication_date":"2026-07-08","ids":{"openalex":"https://openalex.org/W7167822671","doi":"https://doi.org/10.48550/arxiv.2607.07396"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2607.07396","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.07396","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2607.07396","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5140337474","display_name":"Pachara Sawettamalya","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sawettamalya, Pachara","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5140319690","display_name":"Huacheng Yu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yu, Huacheng","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":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":{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9003999829292297,"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":0.9003999829292297,"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/T10237","display_name":"Cryptography and Data Security","score":0.019999999552965164,"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/T11612","display_name":"Stochastic Gradient Optimization Techniques","score":0.016100000590085983,"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/communication-complexity","display_name":"Communication complexity","score":0.6972000002861023},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.6172999739646912},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.6151000261306763},{"id":"https://openalex.org/keywords/gadget","display_name":"Gadget","score":0.5339999794960022},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.44269999861717224},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.43140000104904175},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.3978999853134155},{"id":"https://openalex.org/keywords/encoding","display_name":"Encoding (memory)","score":0.3327000141143799}],"concepts":[{"id":"https://openalex.org/C179145077","wikidata":"https://www.wikidata.org/wiki/Q5154130","display_name":"Communication complexity","level":2,"score":0.6972000002861023},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6370999813079834},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.6172999739646912},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.6151000261306763},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5368000268936157},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.5339999794960022},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.44269999861717224},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.43140000104904175},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.3978999853134155},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3700999915599823},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33399999141693115},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.3327000141143799},{"id":"https://openalex.org/C181789720","wikidata":"https://www.wikidata.org/wiki/Q4812191","display_name":"Asymptotically optimal algorithm","level":2,"score":0.33079999685287476},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3012000024318695},{"id":"https://openalex.org/C99844830","wikidata":"https://www.wikidata.org/wiki/Q102441924","display_name":"Scaling","level":2,"score":0.2955999970436096},{"id":"https://openalex.org/C149629883","wikidata":"https://www.wikidata.org/wiki/Q660926","display_name":"Fraction (chemistry)","level":2,"score":0.28940001130104065},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26249998807907104},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.25540000200271606},{"id":"https://openalex.org/C92224547","wikidata":"https://www.wikidata.org/wiki/Q1673216","display_name":"Probability of error","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C176329583","wikidata":"https://www.wikidata.org/wiki/Q191943","display_name":"Zero-knowledge proof","level":3,"score":0.2524000108242035},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2607.07396","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.07396","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2607.07396","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2607.07396","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"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,54],"prove":[1],"an":[2,142],"information-theoretically":[3],"optimal":[4,91],"\\emph{gap-majority":[5,24],"lemma}":[6],"in":[7,92,130],"the":[8,97,105,119,131,136,158,164,178,195,198],"two-player":[9,132],"randomized":[10],"communication":[11,133,179],"model.":[12],"For":[13],"a":[14,126,152,174,186],"base":[15],"function":[16],"$f:":[17],"\\mathcal{X}":[18],"\\to":[19],"\\{\\pm":[20],"1\\}$,":[21],"its":[22],"$n$-fold":[23],"composition},":[25],"denoted":[26],"$\\mathsf{GapMAJ}":[27,71],"\\circ":[28,72],"f^n$,":[29],"takes":[30],"$n$":[31],"inputs":[32],"$(X_1,":[33],"\\ldots,":[34],"X_n)$":[35],"and":[36,104,138,184],"distinguishes":[37],"whether":[38],"$f^{+n}(X_1,\\ldots,X_n)":[39],":=":[40],"f(X_1)":[41],"+":[42,44],"\\ldots":[43],"f(X_n)$":[45],"is":[46,89],"at":[47,51],"least":[48],"$0.01\\sqrt{n}$":[49],"or":[50],"most":[52],"$-0.01\\sqrt{n}$.":[53],"show":[55],"that":[56,124,156],"if":[57],"computing":[58,70],"$f$":[59,162],"with":[60,74],"success":[61,75],"probability":[62,76],"$0.501$":[63],"requires":[64,78],"$I$":[65],"bits":[66,84],"of":[67,85,101,160,166,182,191,197],"information,":[68],"then":[69],"f^n$":[73],"$0.99$":[77],"$n":[79],"\\cdot":[80],"(I":[81],"-":[82],"O(1))$":[83],"information.":[86],"This":[87,112],"result":[88],"asymptotically":[90],"two":[93],"aspects:":[94],"it":[95],"achieves":[96],"correct":[98,106],"linear":[99],"scaling":[100],"information":[102],"cost":[103],"constant-constant":[107],"tradeoff":[108],"between":[109],"error":[110],"rates.":[111],"makes":[113],"$\\mathsf{GapMAJ}$,":[114],"to":[115,177],"our":[116,145],"knowledge,":[117],"only":[118],"third":[120],"explicit":[121],"outer":[122],"gadget":[123],"admits":[125],"strong":[127],"composition":[128],"theorem":[129],"setting,":[134],"following":[135],"identity":[137],"XOR":[139],"gadgets.":[140],"From":[141],"application":[143],"side,":[144],"gap-majority":[146,199],"lemma":[147],"can":[148],"be":[149],"viewed":[150],"as":[151],"generic":[153],"amplification":[154],"tool":[155],"lifts":[157],"hardness":[159,165],"deciding":[161],"into":[163],"approximating":[167],"$f^{+n}$.":[168],"Using":[169],"this":[170],"framework,":[171],"we":[172],"give":[173],"new":[175],"proof":[176],"lower":[180,189],"bound":[181,190],"Gap-Hamming":[183],"derive":[185],"tight":[187],"streaming":[188],"triangle":[192],"counting,":[193],"demonstrating":[194],"versatility":[196],"lemma.":[200]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-07-10T00:00:00"}