arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 2604.26397cs.ITmath.IT
收藏

严格函数纠错码与数据保护的存在性与构造

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

AI总结:

本文研究严格函数纠错码与数据保护的存在性和构造,通过三种贡献:基于α-距离图框架建立存在条件,利用Simonis结果开发反向构造,以及从窄感BCH码中独立构造严格函数纠错码。

摘要:

函数纠错码与数据保护同时保护数据和其函数,且在不同纠错级别下。当函数受到严格更强保护时,此类码称为严格函数纠错码与数据保护。尽管先前工作表明完美和MDS码不能作为严格函数纠错码,但如何构造此类码仍不清楚。本文通过三个主要贡献探讨线性码的严格函数纠错码存在性和构造:首先,利用先前工作的α-距离图框架,建立图论存在条件;其次,基于Simonis经典结果,开发反向构造方法,通过重量分布条件减少独立最小重量码字;最后,从窄感BCH码中独立构造严格函数纠错码,证明此类码的最小重量码字包含在适当子码中。

英文摘要:

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.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑