Existence and Constructions of Strict Function-Correcting Codes with Data Protection
The International Institute of Information Technology Hyderabad(印度国际信息技术学院海得拉巴分校);Indian Institute of Science, Bengaluru(印度科学研究所班加罗尔);Aalto University(阿尔托大学)
Charul Rajput, B. Sundar Rajan, Ragnar Freij-Hollanti, Camilla Hollanti
Function-correcting codes with data protection simultaneously protect both the data and a function of the data at distinct error-correction levels. When the function receives strictly stronger protection than the data, such a code is called a strict function-correcting code with data protection. While prior work showed that perfect and MDS codes cannot serve as strict function-correcting codes, which codes can serve this role, and how to construct them, has remained open. In this paper, we address the existence and construction of strict function-correcting codes for linear codes through three main contributions. First, using the $α$-distance graph framework from our prior work, we establish a graph-theoretic existence condition under which a code can serve as a strict function-correcting code. For linear codes, we prove this distance graph is isomorphic to a Cayley graph, which implies the connected components are cosets of the subcode generated by low-weight codewords. This transforms the existence problem into a subcode generation problem. Second, a classical result of Simonis shows any linear code can be transformed into one with the same parameters whose basis consists entirely of minimum-weight codewords. We develop a converse construction: under certain conditions on the weight distribution, a linear code can be transformed into a new code with the same parameters but fewer independent minimum-weight codewords, thereby producing codes suitable for use as strict function-correcting codes. As a source of codes satisfying these conditions, we introduce chain codes, an infinite family of linear codes generated by their minimum-weight codewords. Third, we present an independent construction of strict function-correcting codes from narrow-sense BCH codes with designed distance three, by proving the minimum-weight codewords of such codes are contained in a proper subcode.
Order-Optimal Systematic Permutation Codes for Correcting t Deletions
Beijing University of Posts and Telecommunications(北京邮电大学);VinUniversity(文林大学);Key Laboratory of Universal Wireless Communications, Ministry of Education, Beijing University of Posts and Telecommunications(北京邮电大学通用无线通信教育部重点实验室);National University of Singapore(新加坡国立大学)
Improved bounds for constant-power and low-power error-correcting cooling codes
State Key Laboratory of Cryptography and Digital Economy Security(密码学与数字经济安全国家重点实验室);Key Laboratory of Cryptologic Technology and Information Security, Ministry of Education(教育部密码技术与信息安全重点实验室);School of Cyber Science and Technology, Shandong University(山东大学网络空间科学学院)