{"id":"https://openalex.org/W7220425928","doi":"https://doi.org/10.48550/arxiv.2610.02512","title":"Two-Sided Product Expanding Codes via Rademacher Matrices","display_name":"Two-Sided Product Expanding Codes via Rademacher Matrices","publication_year":2026,"publication_date":"2026-10-01","ids":{"openalex":"https://openalex.org/W7220425928","doi":"https://doi.org/10.48550/arxiv.2610.02512"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.02512","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.02512","pdf_url":"https://arxiv.org/pdf/2610.02512","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","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.02512","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045073799","display_name":"Eshan Chattopadhyay","orcid":"https://orcid.org/0000-0001-9140-3160","observed_orcids":["https://orcid.org/0000-0001-9140-3160"]},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chattopadhyay, Eshan","raw_affiliation_strings":["Cornell University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061075566","display_name":"Noam Ringach","orcid":"https://orcid.org/0000-0003-2202-0363","observed_orcids":["https://orcid.org/0000-0003-2202-0363"]},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ringach, Noam","raw_affiliation_strings":["Cornell University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University","institution_ids":["https://openalex.org/I205783295"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072056838","display_name":"Nicholas Spooner","orcid":"https://orcid.org/0000-0002-0085-2137","observed_orcids":["https://orcid.org/0000-0002-0085-2137"]},"institutions":[{"id":"https://openalex.org/I205783295","display_name":"Cornell University","ror":"https://ror.org/05bnh6r87","country_code":"US","type":"education","lineage":["https://openalex.org/I205783295"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Spooner, Nicholas","raw_affiliation_strings":["Cornell University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Cornell University","institution_ids":["https://openalex.org/I205783295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I205783295"],"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/T11130","display_name":"Coding theory and cryptography","score":0.8560000061988831,"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/T11130","display_name":"Coding theory and cryptography","score":0.8560000061988831,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.07599999755620956,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.015300000086426735,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/random-linear-codes","display_name":"random linear codes","score":0.7950000166893005},{"id":"https://openalex.org/keywords/locally-testable-codes","display_name":"locally testable codes","score":0.9160000085830688},{"id":"https://openalex.org/keywords/product-extension","display_name":"product expansion","score":0.4740000069141388},{"id":"https://openalex.org/keywords/gram-matrix","display_name":"Gram matrix","score":0.4690000116825104},{"id":"https://openalex.org/keywords/operator-norm","display_name":"operator norm","score":0.6610000133514404},{"id":"https://openalex.org/keywords/bipartite-graphs","display_name":"bipartite graphs","score":0.7639999985694885},{"id":"https://openalex.org/keywords/closed-walks","display_name":"closed walks","score":0.6340000033378601},{"id":"https://openalex.org/keywords/simplicial-complex","display_name":"simplicial complexes","score":0.7839999794960022},{"id":"https://openalex.org/keywords/finite-fields","display_name":"finite fields","score":0.335999995470047}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7721999883651733},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.6055999994277954},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.45410001277923584},{"id":"https://openalex.org/C197657726","wikidata":"https://www.wikidata.org/wiki/Q174733","display_name":"Bipartite graph","level":3,"score":0.44369998574256897},{"id":"https://openalex.org/C191795146","wikidata":"https://www.wikidata.org/wiki/Q3878446","display_name":"Norm (philosophy)","level":2,"score":0.43059998750686646},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.42399999499320984},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4221999943256378},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.40450000762939453},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.3919000029563904},{"id":"https://openalex.org/C77926391","wikidata":"https://www.wikidata.org/wiki/Q603880","display_name":"Finite field","level":2,"score":0.361299991607666},{"id":"https://openalex.org/C70120467","wikidata":"https://www.wikidata.org/wiki/Q515893","display_name":"Free probability","level":2,"score":0.3481999933719635},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.33899998664855957},{"id":"https://openalex.org/C17349429","wikidata":"https://www.wikidata.org/wiki/Q1049914","display_name":"Matrix multiplication","level":3,"score":0.32339999079704285},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.3224000036716461},{"id":"https://openalex.org/C157125643","wikidata":"https://www.wikidata.org/wiki/Q884707","display_name":"Block code","level":3,"score":0.31360000371932983},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.3075000047683716},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.30160000920295715},{"id":"https://openalex.org/C184992742","wikidata":"https://www.wikidata.org/wiki/Q7243229","display_name":"Prime (order theory)","level":2,"score":0.3012999892234802},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.2989000082015991},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.2973000109195709},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.2705000042915344},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.2639999985694885},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.25949999690055847},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.2565000057220459},{"id":"https://openalex.org/C135598885","wikidata":"https://www.wikidata.org/wiki/Q1366302","display_name":"Row","level":2,"score":0.25619998574256897},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.25589999556541443},{"id":"https://openalex.org/C174072685","wikidata":"https://www.wikidata.org/wiki/Q1667469","display_name":"Prime power","level":3,"score":0.2540999948978424},{"id":"https://openalex.org/C94940","wikidata":"https://www.wikidata.org/wiki/Q652941","display_name":"Hermitian matrix","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.02512","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.02512","pdf_url":"https://arxiv.org/pdf/2610.02512","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.2610.02512","doi":"https://doi.org/10.48550/arxiv.2610.02512","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.02512","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":"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2610.02512","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.02512","pdf_url":"https://arxiv.org/pdf/2610.02512","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":[{"id":"https://openalex.org/G2381073049","display_name":"AF:Small:New Directions in Randomness Extraction","funder_award_id":"2514586","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6174244922","display_name":"Graduate Research Fellowship Program (GRFP)","funder_award_id":"2139899","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7220425928.pdf","grobid_xml":"https://content.openalex.org/works/W7220425928.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7128623093","https://openalex.org/W7100099431","https://openalex.org/W7097017391","https://openalex.org/W4386346181","https://openalex.org/W4283329800","https://openalex.org/W4385681285","https://openalex.org/W7214126091","https://openalex.org/W1618542517","https://openalex.org/W3032015067","https://openalex.org/W2187470971"],"abstract_inverted_index":{"We":[0],"give":[1],"a":[2,62,245],"proof":[3,82],"of":[4,7,17,29,40,96,102,119,139,151,162,165,184,187,200,208,211,253,278],"the":[5,14,84,89,100,128,136,140,149,159,171,182,198,201,206,251,259,275],"existence":[6,252],"two-sided":[8,69],"product":[9,70,254],"expanding":[10,255,268],"codes":[11,34,42,60,257,261,269,277],"which,":[12],"unlike":[13],"earlier":[15],"result":[16],"Kalachev":[18],"and":[19,43,52,130,203,217,266],"Panteleev":[20],"(FOCS,":[21],"2025),":[22],"does":[23],"not":[24,235],"rely":[25],"on":[26,191,205,237],"explicit":[27,238],"constructions":[28],"asymptotically":[30],"optimal":[31],"locally":[32],"testable":[33],"($c^3$-LTCs).":[35],"For":[36],"every":[37],"fixed":[38],"number":[39,183,207],"component":[41,141,260],"dimensions":[44],"whose":[45],"rates":[46],"are":[47],"bounded":[48],"away":[49],"from":[50,215],"zero":[51],"one,":[53],"we":[54,104,110,125,145,146,195,240],"show":[55,147],"that":[56,80,109,148,242,270],"independent":[57],"random":[58,132],"linear":[59],"over":[61,122,127],"sufficiently":[63],"large":[64],"prime":[65],"field":[66],"have":[67,262],"constant":[68],"expansion":[71],"with":[72,88],"probability":[73],"tending":[74],"to":[75,86,157,175,180,228,232],"one.":[76],"The":[77],"tradeoff":[78],"is":[79],"our":[81,233],"requires":[83],"characteristic":[85],"grow":[87],"block":[90],"length,":[91],"while":[92],"[KP25]":[93],"takes":[94],"extensions":[95],"$\\mathbb{F}_2$.":[97],"To":[98],"replace":[99],"use":[101,131],"$c^3$-LTCs,":[103,239],"develop":[105],"several":[106],"new":[107],"techniques":[108,234],"view":[111],"as":[112,274,282],"interesting":[113],"in":[114],"their":[115],"own":[116],"right.":[117],"Instead":[118],"working":[120],"directly":[121],"finite":[123],"fields,":[124],"work":[126],"reals":[129],"Rademacher":[133],"matrices":[134,138],"for":[135],"generator":[137],"codes.":[142],"From":[143],"here,":[144],"extendability":[150],"$\\varepsilon$-closed":[152],"sets":[153],"can":[154],"be":[155,272],"reduced":[156],"controlling":[158],"operator":[160],"norm":[161,178],"sparse":[163],"restrictions":[164],"carefully":[166],"chosen":[167],"Gram":[168],"matrices.":[169,230],"Applying":[170],"trace":[172],"power":[173],"method":[174],"bound":[176,196],"this":[177],"reduces":[179],"bounding":[181],"possible":[185],"labelings":[186],"certain":[188],"closed":[189],"walks":[190],"bipartite":[192],"graphs,":[193],"which":[194,224],"using":[197],"sparsity":[199],"operators":[202],"bounds":[204],"equivalence":[209],"classes":[210],"weak":[212],"Wigner":[213],"words":[214],"Anderson":[216],"Zeitouni":[218],"(Probab.":[219],"Theory":[220],"Relat.":[221],"Fields.,":[222],"2006),":[223],"were":[225],"originally":[226],"applied":[227],"band":[229],"Due":[231],"relying":[236],"believe":[241],"they":[243],"form":[244],"promising":[246],"starting":[247],"point":[248],"towards":[249],"showing":[250],"tensor":[256],"where":[258],"non-trivial":[263],"automorphism":[264],"groups":[265],"coboundary":[267],"could":[271],"used":[273],"local":[276],"non-cubical":[279],"complexes,":[280],"such":[281],"simplicial":[283],"complexes.":[284]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-10-06T00:00:00"}