Table of Contents
Fetching ...

The Oval Strikes Back

Andrea Di Giusto, Alberto Ravagnani, Emina Soljanin

TL;DR

The paper shows how oval geometry in $PG(2,q)$ can be used to design non-systematic generator matrices for $[n,3,n-2]_q$ MDS codes with maximum length $n=m(2,q)$, optimizing the service-rate region (SRR) in distributed storage. It constructs a generator matrix $\mathbf{G}$ such that the minimal recovery sets have size $2$ and the per-object recovery sets $\mathcal{R}_i^2(\mathbf{G})$ partition $[n]$, yielding $\Lambda(\mathbf{G})=\Delta_3(n/2)$ and a constant cost $C(\lambda)=2$. For some $q$, this non-systematic SRR strictly contains the SRR of a systematic generator $\mathbf{S}$ for the same code, and the framework provides an $n/2$-PIR code and a 1S-MLD that can correct up to $t\leq \left\lfloor \frac{n-2}{4} \right\rfloor$ errors. The work links classical finite-geometry objects to practical coding problems and suggests extensions to other geometric configurations.

Abstract

We investigate the applications of ovals in projective planes to distributed storage, with a focus on the Service Rate Region problem. Leveraging the incidence relations between lines and ovals, we describe a class of non-systematic MDS matrices with a large number of small and disjoint recovery sets. For certain parameter choices, the service-rate region of these matrices contains the region of a systematic generator matrix for the same code, yielding better service performance. We further apply our construction to analyze the PIR properties of the considered MDS matrices and present a one-step majority-logic decoding algorithm with strong error-correcting capability. These results highlight how ovals, a classical object in finite geometry, re-emerge as a useful tool in modern coding theory.

The Oval Strikes Back

TL;DR

The paper shows how oval geometry in can be used to design non-systematic generator matrices for MDS codes with maximum length , optimizing the service-rate region (SRR) in distributed storage. It constructs a generator matrix such that the minimal recovery sets have size and the per-object recovery sets partition , yielding and a constant cost . For some , this non-systematic SRR strictly contains the SRR of a systematic generator for the same code, and the framework provides an -PIR code and a 1S-MLD that can correct up to errors. The work links classical finite-geometry objects to practical coding problems and suggests extensions to other geometric configurations.

Abstract

We investigate the applications of ovals in projective planes to distributed storage, with a focus on the Service Rate Region problem. Leveraging the incidence relations between lines and ovals, we describe a class of non-systematic MDS matrices with a large number of small and disjoint recovery sets. For certain parameter choices, the service-rate region of these matrices contains the region of a systematic generator matrix for the same code, yielding better service performance. We further apply our construction to analyze the PIR properties of the considered MDS matrices and present a one-step majority-logic decoding algorithm with strong error-correcting capability. These results highlight how ovals, a classical object in finite geometry, re-emerge as a useful tool in modern coding theory.
Paper Structure (9 sections, 8 theorems, 13 equations, 1 figure)

This paper contains 9 sections, 8 theorems, 13 equations, 1 figure.

Key Result

Proposition 9

Let $\mathcal{G}\subseteq\textnormal{PG}(2,q)$ be an oval, and $\bar{\mathbf{b}}$ be an internal point. Let $L(\bar{\mathbf{b}})$ be the set of secants to $\mathcal{G}$ through $\bar{\mathbf{b}}$. Then $\{\ell\cap\mathcal{G}\mid\ell\in L(\bar{\mathbf{b}})\}$ is a partition of $\mathcal{G}$ in sets o

Figures (1)

  • Figure :

Theorems & Definitions (23)

  • Definition 1
  • Definition 2
  • Definition 3
  • Definition 4
  • Definition 5
  • Definition 6
  • Definition 8
  • Proposition 9
  • Theorem 10
  • proof
  • ...and 13 more