Table of Contents
Fetching ...

Function-Correcting Codes for Linear and Locally Bounded Functions Over a Finite Chain Ring

Gyanendra K. Verma, Abhay Kumar Singh

Abstract

In this paper, we further extend the study of function-correcting codes in the homogeneous metric over a chain ring $\mathbb{Z}_{2^s}$ for broader classes of functions, namely, locally bounded functions and linear functions, and for weight functions, modular sum functions. e define locally bounded functions in the homogeneous metric over $\mathbb{Z}_{2^s}^k$ and investigate the locality of weight functions. We derive a Plotkin-like bound for irregular homogeneous distance code over $\mathbb{Z}_4$, which improves the existing bound. Using locality properties of functions, we establish upper and lower bounds on the optimal redundancy. We provide several explicit constructions of function-correcting codes for locally bounded functions, weight functions, and weight distribution functions. Using these constructions, we further discuss the tightness of the derived bound. We explicitly derive a Plotkin-like bound for linear function-correcting codes that reduces to the classical Plotkin bound when the linear function is bijective, we further discuss a construction of function-correcting linear codes over $\mathbb{Z}_{2^s}$.

Function-Correcting Codes for Linear and Locally Bounded Functions Over a Finite Chain Ring

Abstract

In this paper, we further extend the study of function-correcting codes in the homogeneous metric over a chain ring for broader classes of functions, namely, locally bounded functions and linear functions, and for weight functions, modular sum functions. e define locally bounded functions in the homogeneous metric over and investigate the locality of weight functions. We derive a Plotkin-like bound for irregular homogeneous distance code over , which improves the existing bound. Using locality properties of functions, we establish upper and lower bounds on the optimal redundancy. We provide several explicit constructions of function-correcting codes for locally bounded functions, weight functions, and weight distribution functions. Using these constructions, we further discuss the tightness of the derived bound. We explicitly derive a Plotkin-like bound for linear function-correcting codes that reduces to the classical Plotkin bound when the linear function is bijective, we further discuss a construction of function-correcting linear codes over .
Paper Structure (9 sections, 24 theorems, 71 equations, 3 tables)

This paper contains 9 sections, 24 theorems, 71 equations, 3 tables.

Key Result

Lemma 1

liu2025function Let $D\in \mathbb{N}_0^{M\times M}$ be a matrix. Then

Theorems & Definitions (51)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4: Optimal redundancy
  • Definition 5: Homogeneous distance requirement matrix
  • Definition 6: $D_h$-Code
  • Lemma 1
  • Corollary 1
  • Definition 7: Function homogeneous Ball
  • Definition 8
  • ...and 41 more