On MDS Convertible Codes in the Merge Regime

TL;DR

This paper introduces new constructions for MDS convertible codes that optimize access and bandwidth costs during code conversion in distributed storage, with near-optimal field sizes and sub-packetization.

Contribution

It presents three optimal access cost constructions for MDS code merging and a bandwidth-optimized scheme with reduced sub-packetization, advancing code conversion efficiency.

Findings

Three constructions achieve optimal access cost under different conditions.

A new bandwidth-efficient scheme reduces sub-packetization.

Field sizes are linear in code length, matching theoretical lower bounds.

Abstract

In large-scale distributed storage systems, erasure coding is employed to ensure reliability against disk failures. Recent work by Kadekodi et al. demonstrates that adapting code parameters to varying disk failure rates can lead to significant storage savings without compromising reliability. Such adaptations, known as \emph{code conversions}, motivate the design of \emph{convertible codes}, which enable efficient transformations between codes of different parameters. In this work, we study the setting in which $\lambda$ codewords of an initial $[n^I = k^I + r^I,\, k^I]$ MDS code are merged into a single codeword of a final $[n^F = \lambda k^I + r^F,\, k^F = \lambda k^I]$ MDS code. We begin by presenting three constructions that achieve optimal \emph{access cost}, defined as the total number of disks accessed during the conversion process. The first two constructions apply when $\lambda \leq r^I$ and impose specific divisibility conditions on $r^I$ and the field size $q$. These schemes minimize both the per-symbol and the overall access cost. The third construction, which builds on a prior scheme by Kong, achieves minimal access cost while supporting arbitrary parameter regimes. All three constructions require field sizes that are linear in the final code length, and notably, the third construction achieves a field size that matches the lower bound implied by the MDS conjecture in almost all cases. In addition, we propose a construction that optimizes the \emph{bandwidth cost}, defined as the total number of symbols transmitted during conversion. This scheme is a refinement of Maturana and Rashmi's bandwidth-optimal construction based on the piggybacking framework, and achieves reduced sub-packetization.