Function-Correction with Optimal Data Protection for the General Hamming Code Membership

Fuente: arXiv
Salvato in:
Dettagli Bibliografici
Autori principali: Yadava, Adityawardhan, Mahesh, Anjana A., Durgi, Swaraj Sharma
Natura: Preprint
Pubblicazione: 2026
Soggetti:
Accesso online:
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
_version_ 1866911683573710848
author Yadava, Adityawardhan
Mahesh, Anjana A.
Durgi, Swaraj Sharma
author_facet Yadava, Adityawardhan
Mahesh, Anjana A.
Durgi, Swaraj Sharma
contents This paper investigates single-error-correcting function-correcting codes~(SEFCCs) for the $[2^n-1,\,2^n-1-n,\,3]$-Hamming code membership function~(HCMF) for general $n\geq 2$. Necessary and sufficient conditions for valid parity assignments are established, and the distance-$3$ codeword graph is shown to induce a connected bipartite structure for all $n\geq 2$, which is exploited to develop a systematic SEFCC construction achieving the largest possible minimum distance of~$2$. A novel framework is then developed that reduces the minimization of distance-$2$ codeword pairs to a max-cut problem on the distance-$4$ graphs of the two partite sets. Eigenvectors corresponding to the minimum eigenvalue of these graphs are shown to directly yield optimal parity assignments. We reduce the problem of finding these eigenvectors to an optimization problem involving moments of the Walsh coefficients of a related function, which we solve for even~$n$ by deriving a tight lower bound shown to be attained by bent functions, establishing a precise connection between optimal SEFCC design and bent Boolean functions.
format Preprint
id arxiv_https___arxiv_org_abs_2605_14023
institution arXiv
publishDate 2026
record_format arxiv
spellingShingle Function-Correction with Optimal Data Protection for the General Hamming Code Membership
Yadava, Adityawardhan
Mahesh, Anjana A.
Durgi, Swaraj Sharma
Information Theory
This paper investigates single-error-correcting function-correcting codes~(SEFCCs) for the $[2^n-1,\,2^n-1-n,\,3]$-Hamming code membership function~(HCMF) for general $n\geq 2$. Necessary and sufficient conditions for valid parity assignments are established, and the distance-$3$ codeword graph is shown to induce a connected bipartite structure for all $n\geq 2$, which is exploited to develop a systematic SEFCC construction achieving the largest possible minimum distance of~$2$. A novel framework is then developed that reduces the minimization of distance-$2$ codeword pairs to a max-cut problem on the distance-$4$ graphs of the two partite sets. Eigenvectors corresponding to the minimum eigenvalue of these graphs are shown to directly yield optimal parity assignments. We reduce the problem of finding these eigenvectors to an optimization problem involving moments of the Walsh coefficients of a related function, which we solve for even~$n$ by deriving a tight lower bound shown to be attained by bent functions, establishing a precise connection between optimal SEFCC design and bent Boolean functions.
title Function-Correction with Optimal Data Protection for the General Hamming Code Membership
topic Information Theory
url https://arxiv.org/abs/2605.14023