[论文解读] Full Characterization of Minimal Linear Codes as Cutting Blocking Sets

Chunming Tang, Yan Qiu+2 more|arXiv (Cornell University)|Nov 22, 2019

Coding theory and cryptography参考文献 30被引用 15

一句话总结

本文通過切割阻塞集完全幾何表徵了最小線性碼，證明了維度為3的最小射影碼等價於投影平面上的t重阻塞集（t ≥ 2）。該表徵導出最小距離的緊緻下界，確認了近期的一項猜想，並實現了違反Aschikhmin-Barg條件的新碼構造，包括具有顯式權重分佈的無限家族。

ABSTRACT

In this paper, we first study in detail the relationship between minimal linear codes and cutting blocking sets, which were recently introduced by Bonini and Borello, and then completely characterize minimal linear codes as cutting blocking sets. As a direct result, minimal projective codes of dimension $3$ and $t$-fold blocking sets with $t\ge 2$ in projective planes are identical objects. Some bounds on the parameters of minimal codes are derived from this characterization. This confirms a recent conjecture by Alfarano, Borello and Neri in [a geometric characterization of minimal codes and their asymptotic performance, arXiv:1911.11738, 2019] about a lower bound of the minimum distance of a minimal code. Using this new link between minimal codes and blocking sets, we also present new general primary and secondary constructions of minimal linear codes. As a result, infinite families of minimal linear codes not satisfying the Aschikhmin-Barg's condition are obtained. In addition to this, the weight distributions of two subfamilies of the proposed minimal linear codes are established. Open problems are also presented.

研究动机与目标

• 建立最小線性碼與阻塞集（特別是切割阻塞集）之間嚴謹的幾何聯繫。
• 利用此幾何表徵解決近期關於最小碼最小距離下界的一項猜想。
• 發展新的原始與二次構造方法，以產生不滿足Aschikhmin-Barg條件的最小線性碼。
• 確定所提出最小碼特定子族的權重分佈。
• 提出未來在最小碼與阻塞集理論方面研究的開放問題。

提出的方法

• 利用Bonini與Borello最近引入的切割阻塞集概念，將最小線性碼重新以幾何方式重構。
• 證明維度為3的最小射影碼等價於投影平面上的t重阻塞集（t ≥ 2）。
• 透過有限域上向量空間中的超平面與仿射阻塞集，提出最小碼的原始構造。
• 利用集合論的並集構造兩子集：一個在超平面z=1上，另一個在z=0上，並對定義集合施加條件。
• 應用條件：集合D₁必須是GF(q)^{k-1}中的仿射阻塞集，以確保所構造碼的最小性。
• 採用最小碼的對偶表徵（支援包含關係），並利用有限域上的線性代數驗證最小性。

实验结果

研究问题

• RQ1 能否使用切割阻塞集的幾何概念完全表徵最小線性碼？
• RQ2 此幾何表徵是否能導出最小碼最小距離的緊緻下界，從而確認Alfarano、Borello與Neri的猜想？
• RQ3 能否構造出違反Aschikhmin-Barg條件的新無限家族最小碼？
• RQ4 所提出最小碼的特定子族的權重分佈為何？
• RQ5 透過有限幾何中阻塞集的視角，能否獲得最小碼的新結構洞見？

主要发现

• 維度為3的最小射影碼等價於投影平面上的t重阻塞集（t ≥ 2），確立了完整的幾何對應關係。
• 導出最小碼最小距離的緊緻下界，確認了Alfarano、Borello與Neri關於最小碼漸近性能的猜想。
• 構造出一個無限家族的最小q元線性碼，滿足w_min / w_max ≤ (q−1)/q，表明Aschikhmin-Barg條件對最小性並非必要。
• 明確確定了所提出最小碼兩子族的權重分佈，提供完整的結構資訊。
• 推論56中的構造產生參數為[♯D₂ + (k−1)(q−1) + 1, k, (k−1)(q−1) + 1]的最小碼，達到最小距離的下界。
• 透過切割阻塞集的幾何表徵，實現了對已知最小碼的新解釋，例如[2]中定理5.4的碼現被視為一般構造的特例。