Irreducible Ferrers diagrams in the Etzion-Silberstein conjecture

2026-04-30

AI Summary

This study addresses the Etzion–Silberstein conjecture concerning the existence of maximum rank distance (MRD) codes in general Ferrers diagrams that attain the known dimension upper bound. By introducing the notion of irreducible Ferrers diagrams, the problem is reduced to verifying the conjecture solely for irreducible cases. The authors provide the first complete structural characterization of such irreducible diagrams, establishing a bijection with a specific class of integer polytopes. Leveraging Ferrers diagram reduction theory, polyhedral geometry, and Ehrhart theory, they reformulate the combinatorial coding problem as a geometric and enumerative question. Their main contributions include proving that the conjecture holds if and only if it holds for all irreducible diagrams, and proposing a new conjecture regarding puncturing and inclusion relations among MRD codes in Ferrers diagrams.

Abstract

The Etzion-Silberstein conjecture asserts that, for any finite field $\mathbb F$, Ferrers diagram $\mathcal D$, and integer $d$, there exists a linear matrix code supported on $\mathcal D$ with minimum rank distance $d$ that attains a natural upper bound on its dimension. Codes achieving this bound are called maximum Ferrers diagram (MFD) codes. While the conjecture has been established for several classes of diagrams (including rectangular, monotone, and MDS-constructible cases), it remains open in general. In this paper, we study the reducibility of Ferrers diagrams. For a fixed distance $d$, a diagram $\mathcal D$ is said to reduce to $\mathcal D'$ if an MFD code for $(\mathcal D,d)$ can be obtained from one for $(\mathcal D',d)$ via shortening or inclusion. Diagrams that are not reducible are called irreducible. We show that the conjecture holds for all diagrams if and only if it holds for irreducible ones, thereby reducing the problem to this fundamental class. Our main result provides a complete characterization of irreducible diagrams: for each $d$, they correspond exactly to the integer points of a polytope $\mathfrak{P}_d \subset \mathbb{R}^{2d-3}$. We prove that these polytopes are integral, enabling the use of Ehrhart-theoretic tools to study their structure. Finally, we formulate a new conjecture on puncturing and inclusion of maximum rank distance codes, and show that it arises as a special case of the Etzion-Silberstein conjecture.

Problem

• Ferrers diagrams
• Etzion-Silberstein conjecture
• irreducible diagrams
• maximum rank distance codes
• MFD codes

Innovation

• irreducible Ferrers diagrams
• maximum Ferrers diagram codes
• polytope characterization
• Ehrhart theory
• rank-metric codes