Function-Correcting Codes: Theory & Applications

• Function-Correcting Codes (FCCs) are error-correcting codes that ensure accurate recovery of specific function values by relaxing traditional distance constraints.
• They employ a combinatorial framework and metrics like the Lee metric to reduce redundancy, often achieving optimal performance with minimal extra bits.
• FCCs leverage irregular-distance coding and graph-theoretic techniques to enhance data aggregation and distributed computations in practical settings.

Function-Correcting Codes (FCCs) are a novel class of error-correcting codes designed to guarantee the reliable recovery of prescribed function values computed on a message, while minimizing the redundancy compared to classical codes. In contrast to traditional error-correcting codes (ECCs), which require all distinct message codewords to be separated by a fixed metric distance, FCCs only impose distance constraints between codewords with nonequivalent function values. This fundamental relaxation can dramatically reduce redundancy when the function of interest is many-to-one. FCCs admit a general, function- and metric-dependent combinatorial framework, and have been explicitly studied for various algebraic and combinatorial metrics, including Hamming, Lee, pair, and homogeneous distances.

1. Formal Definition and Framework

Consider messages $u \in \mathbb{Z}_q^k$ and a target function $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$. A systematic function-correcting code (FCC) for $f$ and $t$-error correction in a metric $d$ is an encoding map $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$ such that if $f(u_1) \neq f(u_2)$, then $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$ (K. et al., 3 Aug 2025). The smallest $r$ for which such an encoder exists is the optimal redundancy $r^f(q,k,t)$.

FCCs in the Lee Metric

The Lee metric for $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$0 is $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$1. For vectors, $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$2. The systematic FCC for $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$3 in the Lee metric (a Function-Correcting Lee Code, FCLC) satisfies $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$4 when $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$5 (K. et al., 3 Aug 2025).

A central tool is the distance requirement matrix $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$6 of size $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$7 with entries $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$8 for $f: \mathbb{Z}_q^k \rightarrow \operatorname{Im}(f)$9, else $f$0. The minimal $f$1 such that a set of redundancy vectors $f$2 exists with $f$3 for all $f$4 is denoted $f$5. The optimal redundancy is $f$6 (K. et al., 3 Aug 2025).

2. Core Principles and Theoretical Bounds

FCC design reduces to constructing irregular-distance codes: vector sets subject to a matrix of minimum distance constraints reflecting function preimages. Two main types of bounds result:

• Plotkin-like Lower Bound: For even $f$7, $f$8. For odd $f$9, $t$0. The denominator adjusts for parity in $t$1 and $t$2 (K. et al., 3 Aug 2025).
• Gilbert–Varshamov Upper Bound: $t$3, with $t$4 the size of a Lee ball of radius $t$5 (Verma et al., 23 Jul 2025).

These generalize bounds for classical codes. For any function, the redundancy obeys

$t$6

3. Explicit FCC Constructions and Function Classes

Explicit and often optimal FCLCs have been constructed for several function classes (K. et al., 3 Aug 2025, Verma et al., 23 Jul 2025):

3.1 Lee Weight ($t$7)

Let $t$8; consider representative vectors of weights $t$9. The code distance matrix is $d$0.

Construction: For $d$1, $d$2:

• Odd $d$3: $d$4.
• Even $d$5: $d$6 for $d$7, $d$8 for $d$9.
• Redundancy is $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$0 ($$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$1).

This is optimal for many small $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$2. Applying the Plotkin bound to $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$3 gives explicit lower bounds (K. et al., 3 Aug 2025).

3.2 Lee-Weight Distribution ($$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$4)

Divide weight into $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$5-bins. If $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$6 divides $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$7, then image size is $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$8.

• Upper bound: $$\operatorname{Enc}(u) = (u, p(u)) \in \mathbb{Z}_q^{k+r}$$9, with $f(u_1) \neq f(u_2)$0 reflecting minimum bin differences.
• For $f(u_1) \neq f(u_2)$1, redundancy $f(u_1) \neq f(u_2)$2.

3.3 Modular Sum ($f(u_1) \neq f(u_2)$3)

Image size $f(u_1) \neq f(u_2)$4. Assign each modular sum $f(u_1) \neq f(u_2)$5 a parity $f(u_1) \neq f(u_2)$6 as above. Redundancy requirements mirror those for Lee weight.

3.4 Locally $f(u_1) \neq f(u_2)$7-Bounded Functions

If $f(u_1) \neq f(u_2)$8 is locally $f(u_1) \neq f(u_2)$9, i.e., the value set of $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$0 within any Lee-ball of radius $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$1 is $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$2, assign a coloring $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$3 with $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$4 colors, then use a code with parameters adapted to $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$5. For $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$6, $$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$7. This is sometimes optimal by matching lower bounds.

4. Redundancy Analysis and Comparative Performance

Lower and upper bounds can often be explicitly calculated for concrete function classes using matrix methods and combinatorial arguments (K. et al., 3 Aug 2025). In the most studied cases, explicit constructions achieve minimal redundancy.

A comparative summary:

Method	Redundancy Lower Bound	Typical Redundancy Achieved
Classical Lee ECC	$$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$8	Sphere-packing dominated
ECC on function values	$$d(\operatorname{Enc}(u_1), \operatorname{Enc}(u_2)) \geq 2t+1$$9	Function-image size dominates
FCLC	$r$0 (varies by class)	Often $r$1 (see Lee weight)

In the Lee-weight example with $r$2, ECC on data needs $r$3, ECC on function values $r$4, but FCLC achieves $r$5. For large $r$6 and functions with small image size, $r$7 can be substantially smaller with FCLCs.

5. Graph-Theoretic and Algorithmic Perspectives

FCC construction is equivalent to finding large independent sets in a function-dependent graph where vertices encode messages and their redundancy and edges correspond to forbidden pairs under the metric and $r$8 constraints (K. et al., 3 Aug 2025). The problem reduces to constructing a code with a prescribed irregular-distance matrix, leveraging coloring and code-assignment techniques. Greedy and coloring-based algorithms derive from Brooks' theorem and sphere-packing ideas.

6. Specializations, Metric Extensions, and Open Problems

The FCC paradigm generalizes readily to other metrics (b-symbol, symbol-pair, homogeneous, Hamming). Reed–Muller, Gray-code, and parity-repetition constructions have broad applicability (K. et al., 3 Aug 2025, Verma et al., 23 Jul 2025). Tight Plotkin-type bounds have been extended to the Lee metric, improving upon prior results in the homogeneous metric (Verma et al., 23 Jul 2025).

Open problems include:

• Tightening bounds for specific $r$9.
• Explicit constructions for more general algebraic and combinatorial $r^f(q,k,t)$0.
• Extensions to list decoding, probabilistic decoding, and channels with additional error models.

7. Significance and Applications

FCCs, particularly in the Lee metric, provide a rigorous method to optimize and minimize redundancy when only a function of a message matters for downstream reliability—central to data aggregation, hash verification, machine learning inference in storage, and error-resilient distributed computations (K. et al., 3 Aug 2025). Their design paradigm offers a strict generalization of error-correcting codes, interpolating between function-value and data protection, and enables significant improvements in code rate for a wide spectrum of practical coding scenarios.