{"id":"https://openalex.org/W7147645275","doi":"https://doi.org/10.1109/tit.2026.3679739","title":"From List-Decodability to Proximity Gaps","display_name":"From List-Decodability to Proximity Gaps","publication_year":2026,"publication_date":"2026-04-01","ids":{"openalex":"https://openalex.org/W7147645275","doi":"https://doi.org/10.1109/tit.2026.3679739"},"language":null,"primary_location":{"id":"doi:10.1109/tit.2026.3679739","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2026.3679739","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Yiwen Gao","orcid":"https://orcid.org/0009-0005-9442-6794"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yiwen Gao","raw_affiliation_strings":["College of Computer Science and Artificial Intelligence, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0005-9442-6794","affiliations":[{"raw_affiliation_string":"College of Computer Science and Artificial Intelligence, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Dongliang Cai","orcid":"https://orcid.org/0009-0006-6075-8544"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Dongliang Cai","raw_affiliation_strings":["College of Computer Science and Artificial Intelligence, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0006-6075-8544","affiliations":[{"raw_affiliation_string":"College of Computer Science and Artificial Intelligence, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014490044","display_name":"Yang Xu","orcid":"https://orcid.org/0000-0002-0958-8547"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Xu","raw_affiliation_strings":["College of Computer Science and Artificial Intelligence, Fudan University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"College of Computer Science and Artificial Intelligence, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025009140","display_name":"Haibin Kan","orcid":"https://orcid.org/0000-0003-3062-5004"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haibin Kan","raw_affiliation_strings":["College of Computer Science and Artificial Intelligence, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0003-3062-5004","affiliations":[{"raw_affiliation_string":"College of Computer Science and Artificial Intelligence, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I24943067"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.42275359,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"72","issue":"6","first_page":"3809","last_page":"3819"},"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.1315000057220459,"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.1315000057220459,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.10409999638795853,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12029","display_name":"DNA and Biological Computing","score":0.07339999824762344,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.6000000238418579},{"id":"https://openalex.org/keywords/coding-theory","display_name":"Coding theory","score":0.5960000157356262},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.593999981880188},{"id":"https://openalex.org/keywords/linear-code","display_name":"Linear code","score":0.545199990272522},{"id":"https://openalex.org/keywords/cryptography","display_name":"Cryptography","score":0.5436000227928162},{"id":"https://openalex.org/keywords/coding","display_name":"Coding (social sciences)","score":0.4991999864578247},{"id":"https://openalex.org/keywords/information-theory","display_name":"Information theory","score":0.4212999939918518},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.4185999929904938},{"id":"https://openalex.org/keywords/word","display_name":"Word (group theory)","score":0.38429999351501465}],"concepts":[{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.6000000238418579},{"id":"https://openalex.org/C113709454","wikidata":"https://www.wikidata.org/wiki/Q602136","display_name":"Coding theory","level":2,"score":0.5960000157356262},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.593999981880188},{"id":"https://openalex.org/C2400350","wikidata":"https://www.wikidata.org/wiki/Q1752667","display_name":"Linear code","level":4,"score":0.545199990272522},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.5436000227928162},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5041999816894531},{"id":"https://openalex.org/C179518139","wikidata":"https://www.wikidata.org/wiki/Q5140297","display_name":"Coding (social sciences)","level":2,"score":0.4991999864578247},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46459999680519104},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4472000002861023},{"id":"https://openalex.org/C52622258","wikidata":"https://www.wikidata.org/wiki/Q131222","display_name":"Information theory","level":2,"score":0.4212999939918518},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4185999929904938},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.38429999351501465},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3456999957561493},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34369999170303345},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.3345000147819519},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3124000132083893},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.3122999966144562},{"id":"https://openalex.org/C166366890","wikidata":"https://www.wikidata.org/wiki/Q602136","display_name":"Channel code","level":3,"score":0.30390000343322754},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.3003999888896942},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.2906999886035919},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.28529998660087585},{"id":"https://openalex.org/C153207627","wikidata":"https://www.wikidata.org/wiki/Q863873","display_name":"Code word","level":3,"score":0.2786000072956085},{"id":"https://openalex.org/C157125643","wikidata":"https://www.wikidata.org/wiki/Q884707","display_name":"Block code","level":3,"score":0.27309998869895935},{"id":"https://openalex.org/C179145077","wikidata":"https://www.wikidata.org/wiki/Q5154130","display_name":"Communication complexity","level":2,"score":0.27090001106262207},{"id":"https://openalex.org/C193319292","wikidata":"https://www.wikidata.org/wiki/Q272172","display_name":"Hamming distance","level":2,"score":0.26750001311302185},{"id":"https://openalex.org/C3020028006","wikidata":"https://www.wikidata.org/wiki/Q9158","display_name":"Electronic mail","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.2508000135421753},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.2502000033855438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tit.2026.3679739","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2026.3679739","pdf_url":null,"source":{"id":"https://openalex.org/S4502562","display_name":"IEEE Transactions on Information Theory","issn_l":"0018-9448","issn":["0018-9448","1557-9654"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Information Theory","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4310926482","display_name":null,"funder_award_id":"62272107","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G461233350","display_name":null,"funder_award_id":"62501168","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320329228","display_name":"Science Research Foundation of Xijing University","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Proximity":[0],"testing":[1],"for":[2,29,35,54,72,159,219],"linear":[3,30,65,160,216],"codes":[4,200,223],"is":[5,43,131],"a":[6,32,39,46,51,99,103,109,153],"fundamental":[7],"problem":[8],"in":[9,15,170],"coding":[10],"theory":[11],"with":[12,85],"critical":[13],"applications":[14],"cryptographic":[16],"protocols,":[17],"blockchain,":[18],"and":[19,181,201],"distributed":[20],"storage":[21],"systems.":[22],"This":[23,149],"work":[24],"addresses":[25],"the":[26,59,63,96,225],"proximity":[27,56,175,217],"gaps":[28,57,218],"codes,":[31,161],"crucial":[33],"aspect":[34],"efficiently":[36],"verifying":[37],"whether":[38],"batch":[40,104],"of":[41,62,102,105,155,205,222],"words":[42,107],"close":[44],"to":[45,166,196,209,213],"given":[47],"code.":[48,66],"We":[49],"present":[50],"general":[52],"framework":[53],"deriving":[55],"from":[58,127],"list-decodability":[60,211],"properties":[61],"underlying":[64],"Our":[67],"main":[68,194],"result":[69,150,195],"show":[70],"that":[71,98,172],"any":[73],"(<italic":[74],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[75,79,83,90,94,121,129,135,138,140,144,146],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">p,L</i>)-list-decodable":[76],"code":[77],"<italic":[78,93,120,128,134,137,143],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">C</i>":[80,91,130],"\u2286":[81],"F<italic":[82],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"><sup>n</sup><sub>q</sub></i>":[84],"minimum":[86],"relative":[87],"distance":[88],"\u0394<italic":[89],">":[92],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">p</i>,":[95],"probability":[97],"random":[100],"combination":[101],"t":[106],"containing":[108],"\u03b4-far":[110,126],"word":[111],"(for":[112],"\u03b4":[113],"\u2264":[114],"1":[115,118],"\u2212":[116,119],"\u221a":[117],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">p</i>":[122],"+":[123,142],"\u03b5)":[124],"remains":[125],"bounded":[132],"by":[133],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">O</i>(":[136],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">tL<sup>2</sup>pn</i>/<italic":[139],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">q</i>":[141,147],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>/\u03b5<italic":[145],").":[148],"also":[151],"establishes":[152],"form":[154],"(mutual)":[156],"correlated":[157],"agreement":[158],"which":[162,206],"can":[163],"be":[164],"used":[165],"strengthen":[167],"soundness":[168],"analyses":[169],"protocols":[171],"rely":[173],"on":[174],"testing,":[176],"thereby":[177],"reducing":[178],"query":[179],"complexity":[180],"enabling":[182],"practical":[183],"instantiations":[184],"over":[185],"smaller":[186],"finite":[187],"fields.":[188],"In":[189],"particular,":[190],"we":[191],"apply":[192],"our":[193],"randomly":[197],"punctured":[198],"Reed\u2013Solomon":[199,203],"folded":[202],"codes\u2014both":[204],"are":[207],"known":[208],"achieve":[210],"up":[212],"capacity\u2014and":[214],"derive":[215],"these":[220],"families":[221],"under":[224],"Johnson":[226],"bound.":[227]},"counts_by_year":[],"updated_date":"2026-05-23T06:10:36.450269","created_date":"2026-04-02T00:00:00"}