{"id":"https://openalex.org/W4415707785","doi":"https://doi.org/10.1109/tit.2025.3626715","title":"Optimal Redundancy of Function-Correcting Codes","display_name":"Optimal Redundancy of Function-Correcting Codes","publication_year":2025,"publication_date":"2025-10-30","ids":{"openalex":"https://openalex.org/W4415707785","doi":"https://doi.org/10.1109/tit.2025.3626715"},"language":null,"primary_location":{"id":"doi:10.1109/tit.2025.3626715","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2025.3626715","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":"Yijun Zhang","orcid":"https://orcid.org/0009-0005-2597-7875"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yijun Zhang","raw_affiliation_strings":["School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102843421","display_name":"Zixiang Xu","orcid":"https://orcid.org/0000-0003-0155-6783"},"institutions":[{"id":"https://openalex.org/I4210104335","display_name":"Institute for Basic Science","ror":"https://ror.org/00y0zf565","country_code":"KR","type":"facility","lineage":["https://openalex.org/I4210104335"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Zixiang Xu","raw_affiliation_strings":["Extremal Combinatorics and Probability Group (ECOPRO), Institute for Basic Science (IBS), Daejeon, South Korea"],"affiliations":[{"raw_affiliation_string":"Extremal Combinatorics and Probability Group (ECOPRO), Institute for Basic Science (IBS), Daejeon, South Korea","institution_ids":["https://openalex.org/I4210104335"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046105120","display_name":"Xiande Zhang","orcid":"https://orcid.org/0000-0003-4234-3610"},"institutions":[{"id":"https://openalex.org/I126520041","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09","country_code":"CN","type":"education","lineage":["https://openalex.org/I126520041","https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiande Zhang","raw_affiliation_strings":["School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui, China","institution_ids":["https://openalex.org/I126520041"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029449317","display_name":"Gennian Ge","orcid":"https://orcid.org/0000-0002-1535-0754"},"institutions":[{"id":"https://openalex.org/I96852419","display_name":"Capital Normal University","ror":"https://ror.org/005edt527","country_code":"CN","type":"education","lineage":["https://openalex.org/I96852419"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Gennian Ge","raw_affiliation_strings":["School of Mathematical Sciences, Capital Normal University, Beijing, China"],"affiliations":[{"raw_affiliation_string":"School of Mathematical Sciences, Capital Normal University, Beijing, China","institution_ids":["https://openalex.org/I96852419"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I126520041"],"apc_list":null,"apc_paid":null,"fwci":1.4196,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.8751099,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"71","issue":"12","first_page":"9458","last_page":"9467"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.375900000333786,"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"}},"topics":[{"id":"https://openalex.org/T11321","display_name":"Error Correcting Code Techniques","score":0.375900000333786,"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"}},{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.211899995803833,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.17489999532699585,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/redundancy","display_name":"Redundancy (engineering)","score":0.8180999755859375},{"id":"https://openalex.org/keywords/hamming-distance","display_name":"Hamming distance","score":0.7906000018119812},{"id":"https://openalex.org/keywords/hamming-weight","display_name":"Hamming weight","score":0.7820000052452087},{"id":"https://openalex.org/keywords/hamming-code","display_name":"Hamming code","score":0.7437000274658203},{"id":"https://openalex.org/keywords/hamming","display_name":"Hamming(7,4)","score":0.6610999703407288},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5562999844551086},{"id":"https://openalex.org/keywords/hamming-bound","display_name":"Hamming bound","score":0.48579999804496765},{"id":"https://openalex.org/keywords/weight-distribution","display_name":"Weight distribution","score":0.3765999972820282}],"concepts":[{"id":"https://openalex.org/C152124472","wikidata":"https://www.wikidata.org/wiki/Q1204361","display_name":"Redundancy (engineering)","level":2,"score":0.8180999755859375},{"id":"https://openalex.org/C193319292","wikidata":"https://www.wikidata.org/wiki/Q272172","display_name":"Hamming distance","level":2,"score":0.7906000018119812},{"id":"https://openalex.org/C63361517","wikidata":"https://www.wikidata.org/wiki/Q5645805","display_name":"Hamming weight","level":5,"score":0.7820000052452087},{"id":"https://openalex.org/C73150493","wikidata":"https://www.wikidata.org/wiki/Q853922","display_name":"Hamming code","level":4,"score":0.7437000274658203},{"id":"https://openalex.org/C112932734","wikidata":"https://www.wikidata.org/wiki/Q2322550","display_name":"Hamming(7,4)","level":5,"score":0.6610999703407288},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5562999844551086},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5551000237464905},{"id":"https://openalex.org/C166530166","wikidata":"https://www.wikidata.org/wiki/Q1970635","display_name":"Hamming bound","level":5,"score":0.48579999804496765},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4779999852180481},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3864000141620636},{"id":"https://openalex.org/C25432639","wikidata":"https://www.wikidata.org/wiki/Q3711790","display_name":"Weight distribution","level":2,"score":0.3765999972820282},{"id":"https://openalex.org/C29696283","wikidata":"https://www.wikidata.org/wiki/Q369440","display_name":"Hamming graph","level":5,"score":0.3711000084877014},{"id":"https://openalex.org/C134466208","wikidata":"https://www.wikidata.org/wiki/Q1520657","display_name":"Weight function","level":2,"score":0.3610000014305115},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35109999775886536},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.3434999883174896},{"id":"https://openalex.org/C52622258","wikidata":"https://www.wikidata.org/wiki/Q131222","display_name":"Information theory","level":2,"score":0.32829999923706055},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.31859999895095825},{"id":"https://openalex.org/C2778945305","wikidata":"https://www.wikidata.org/wiki/Q6865502","display_name":"Minimum weight","level":2,"score":0.29809999465942383},{"id":"https://openalex.org/C2400350","wikidata":"https://www.wikidata.org/wiki/Q1752667","display_name":"Linear code","level":4,"score":0.2964000105857849},{"id":"https://openalex.org/C201729545","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability theory","level":3,"score":0.28189998865127563},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.28110000491142273},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.27570000290870667},{"id":"https://openalex.org/C157125643","wikidata":"https://www.wikidata.org/wiki/Q884707","display_name":"Block code","level":3,"score":0.2581000030040741}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tit.2025.3626715","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tit.2025.3626715","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/G6801685960","display_name":null,"funder_award_id":"12171452","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7911984978","display_name":null,"funder_award_id":"12231014","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8545366516","display_name":null,"funder_award_id":"Grant 12231014","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8735294814","display_name":null,"funder_award_id":"IBS-R029-C4","funder_id":"https://openalex.org/F4320326441","funder_display_name":"Institute for Basic Science"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320326441","display_name":"Institute for Basic Science","ror":"https://ror.org/00y0zf565"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1606480398","https://openalex.org/W1933802677","https://openalex.org/W1965097372","https://openalex.org/W1965435948","https://openalex.org/W2014944833","https://openalex.org/W2033321929","https://openalex.org/W2046815858","https://openalex.org/W2074920973","https://openalex.org/W2092031626","https://openalex.org/W2101226255","https://openalex.org/W2156452863","https://openalex.org/W2164651000","https://openalex.org/W2170716519","https://openalex.org/W2506139267","https://openalex.org/W2751592819","https://openalex.org/W2962947453","https://openalex.org/W2963311024","https://openalex.org/W2973582997","https://openalex.org/W2989595492","https://openalex.org/W3128488067","https://openalex.org/W3194802667","https://openalex.org/W4206775542","https://openalex.org/W4318824312","https://openalex.org/W4384300214","https://openalex.org/W4384499076","https://openalex.org/W4401980584","https://openalex.org/W4410886925"],"related_works":[],"abstract_inverted_index":{"Function-correcting":[0],"codes":[1],"(FCCs),":[2],"introduced":[3],"by":[4,191,198],"Lenz,":[5],"Bitar,":[6],"Wachter-Zeh,":[7],"and":[8,53,81],"Yaakobi,":[9],"protect":[10],"specific":[11],"function":[12,36,61,188],"values":[13,37],"of":[14,47,56,194,277,295,300],"a":[15,134,142,199,290],"message":[16,57],"rather":[17],"than":[18],"the":[19,27,45,54,73,95,100,106,129,151,176,192,211,227,241,260],"entire":[20],"message.":[21],"A":[22],"central":[23],"challenge":[24],"is":[25,189,214],"determining":[26],"optimal":[28,74,110,177,212,242],"redundancy\u2014the":[29],"minimum":[30],"additional":[31],"information":[32],"required":[33],"to":[34,116,137,163],"recover":[35],"amid":[38],"errors.":[39],"This":[40],"redundancy":[41,75,111,178,213,243,276,296],"depends":[42],"on":[43,109],"both":[44],"number":[46],"correctable":[48],"errors":[49],"<italic":[50,169,202,219,229,249,253,264,268,282],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[51,114,118,122,157,159,161,165,170,203,216,220,224,230,234,246,250,254,265,269,271,279,283,285],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>":[52,119,123,166,217,235,247,255,280],"structure":[55],"vectors":[58],"yielding":[59],"identical":[60],"values.":[62],"While":[63],"prior":[64],"works":[65],"established":[66,209],"bounds,":[67],"key":[68],"questions":[69],"remain,":[70],"such":[71],"as":[72],"for":[76,179,297],"functions":[77],"like":[78],"Hamming":[79,82,101,180,185,195],"weight":[80,83,102,181,186,196],"distribution,":[84],"along":[85],"with":[86,145],"efficient":[87],"code":[88],"constructions.":[89],"In":[90],"this":[91],"paper,":[92],"we":[93,104,132,173,273],"make":[94],"following":[96],"contributions:":[97],"1)":[98],"For":[99],"function,":[103],"improve":[105,150],"lower":[107],"bound":[108,154],"from":[112,155],"10(<italic":[113],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>-1)/3":[115],"4<italic":[117,156,164,278],"\u2212":[120,167,281],"4/3\u221a6<italic":[121],"+":[124,126,256],"2":[125],"2.":[127],"On":[128],"other":[130],"hand,":[131],"provide":[133],"systematical":[135],"approach":[136],"constructing":[138],"explicit":[139],"FCCs":[140],"via":[141],"novel":[143],"connection":[144],"Gray":[146],"codes,":[147],"which":[148],"also":[149],"previous":[152],"upper":[153],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>-2/1\u22122\u221aln(2<italic":[158],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>)/(2<italic":[160],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>)":[162],"[log":[168],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>].":[171],"Consequently,":[172],"almost":[174],"determine":[175],"function.":[182],"2)":[183],"The":[184],"distribution":[187],"defined":[190],"value":[193],"divided":[197],"given":[200],"integer":[201],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">T</i>":[204,221,231,251,266],"\u2208":[205],"N.":[206],"Previous":[207],"work":[208],"that":[210,240],"2<italic":[215,223,233,245],"when":[218,248],">":[222],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>,":[225],"while":[226],"case":[228],"\u2264":[232],"remained":[236],"unclear.":[237],"We":[238],"show":[239],"remains":[244],"\u2265":[252],"1.":[257],"However,":[258],"in":[259,293],"surprising":[261],"regime":[262],"where":[263],"=":[267],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">o</i>(<italic":[270,284],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>),":[272],"achieve":[274],"near-optimal":[275],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">t</i>).":[286],"Our":[287],"results":[288],"reveal":[289],"significant":[291],"distinction":[292],"behavior":[294],"distinct":[298],"choices":[299],"T.":[301]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2025-10-30T00:00:00"}