Function-Correcting Codes for Symbol-Pair Read Channels

Function-correcting codes are a class of codes designed to protect the function evaluation of a message against errors whose key advantage is the reduced redundancy. In this paper, we develop the theory of FCCs over symbol-pair read channels. We introduce the notion of function-correcting symbol-pai...

Full description

Saved in:
Bibliographic Details
Published inIEEE transactions on information theory p. 1
Main Authors Xia, Qingfeng, Liu, Hongwei, Chen, Bocong
Format Journal Article
LanguageEnglish
Published IEEE 27.08.2024
Subjects
Codes
function-correcting codes
lower bounds
optimal redundancy
Receivers
Redundancy
symbol-pair read channels
Symbols
Termination of employment
Upper bound
upper bounds
Vectors
Online AccessGet full text

Cover

More Information
Summary:Function-correcting codes are a class of codes designed to protect the function evaluation of a message against errors whose key advantage is the reduced redundancy. In this paper, we develop the theory of FCCs over symbol-pair read channels. We introduce the notion of function-correcting symbol-pair codes (FCSPCs) and aim to find their optimal redundancy. To this end, we introduce the notion of irregular-pair-distance codes and derive upper and lower bounds on the optimal redundancy in terms of the shortest length of the irregular-pair-distance codes. We then simplify these bounds and employ these general results to specific functions including pair-locally binary functions, pair weight functions and pair weight distribution functions. In addition, we provide some general constructions for FCSPCs. Lastly, by comparison with classical symbol-pair codes, we find that the theory of FCSPCs developed in our paper really reduces the redundancy under the condition that the receiver can recover certain attribute of the message.
ISSN:0018-9448
1557-9654
DOI:10.1109/TIT.2024.3451249