[논문 리뷰] Codes over integers, and the singularity of random matrices with large entries

Sankeerth Rao Karingula, Shachar Lovett|arXiv (Cornell University)|2020. 01. 01.

Cooperative Communication and Network Coding인용 수 2

한 줄 요약

이 논문은 정수 위에서 최대 거리 분리(MDS) 코드를 구성하기 위한 새로운 프레임워크를 제안하며, 선형 비율과 거리로 구성된 이러한 코드가 상수 크기의 알파벳을 사용하여도 달성될 수 있음을 보여준다. 이는 유한체에서는 선형 체 크기 필요로 하는 것과 대조된다. 핵심 기여는 $ n \times n $의 i.i.d. 항목을 $ \{-m, \ldots, m\} $ 에서 균일하게 선택한 랜덤 행렬의 특이성 확률이 어떤 절대 상수 $ c > 0 $ 에 대해 $ m^{-cn} $ 이하임을 보여주는 새로운 경계이다. 이는 코드 구성에 대한 핵심적 확률적 기반을 확립한다.

ABSTRACT

The prototypical construction of error correcting codes is based on linear codes over finite fields. In this work, we make first steps in the study of codes defined over integers. We focus on Maximum Distance Separable (MDS) codes, and show that MDS codes with linear rate and distance can be realized over the integers with a constant alphabet size. This is in contrast to the situation over finite fields, where a linear size finite field is needed. The core of this paper is a new result on the singularity probability of random matrices. We show that for a random $n imes n$ matrix with entries chosen independently from the range $\{-m,\ldots,m\}$, the probability that it is singular is at most $m^{-cn}$ for some absolute constant $c>0$.

연구 동기 및 목표

• 기존의 유한체 기반 부호 이론과 근본적으로 다른 정수 위에서 MDS 코드를 구성할 수 있는지 탐색하는 것.
• 유한체에서 블록 길이에 따라 체 크기가 선형으로 증가해야 하는 것과는 대조적으로, 정수 위에서 선형 비율과 거리를 갖는 MDS 코드를 상수 크기의 알파벳을 사용해 실현할 수 있는지 확인하는 것.
• 큰 값들을 갖는 정수 행렬의 특이성 행동을 분석함으로써 코드 구성에 대한 확률적 기반을 확립하는 것.

제안 방법

• 정수의 환 위에서 MDS 코드를 정의하며, 정수 계수를 갖는 선형 부호와 상수 크기의 알파벳에 집중한다.
• 랜덤 행렬이 특이행렬이 되는 가능성을 분석하기 위해 확률적 방법을 사용하며, $ \{-m, \ldots, m\} $ 에서 선택된 항목을 갖는 $ n \times n $ 랜덤 행렬을 대상으로 한다.
• 랜덤 행렬 이론과 조합론의 도구를 사용하여 특이성 확률에 대한 비자명한 상한을 확립하며, 이는 어떤 절대 상수 $ c > 0 $ 에 대해 $ m^{-cn} $ 으로 감소함을 보여준다.
• 특이성 경계를 활용하여 $ \mathbb{Z} $ 위에서 적절한 생성 행렬이 존재함을 증명하며, 원하는 비율과 거리를 갖는 MDS 코드의 구성이 가능함을 보여준다.
• 이러한 코드의 존재성과 큰 랜덤 정수 행렬의 비특이성 사이의 유사성을 농축 및 반농축 기법을 사용하여 비교한다.

실험 결과

연구 질문

• RQ1 블록 길이에 따라 체 크기가 증가해야 하는 경우와는 달리, 정수 위에서 상수 크기의 알파벳을 사용해 선형 비율과 선형 거리를 갖는 MDS 코드를 구성할 수 있는가?
• RQ2 i.i.d. 항목이 $ \{-m, \ldots, m\} $ 에서 균일하게 선택된 랜덤 $ n \times n $ 행렬이 특이행렬이 되는 확률은 얼마이며, 이 확률은 $ m $ 과 $ n $ 에 따라 어떻게 변화하는가?
• RQ3 랜덤 정수 행렬의 특이성 확률은 유한체 위의 랜덤 행렬과 비교해 어떻게 다른가? 이는 환 위의 부호 이론에 어떤 영향을 미치는가?
• RQ4 특이성 경계를 사용하여 $ \mathbb{Z} $ 위의 MDS 코드에 대해 전 Rank 생성 행렬의 존재를 보장할 수 있는가?
• RQ5 정수 행렬의 어떤 구조적 성질이 최적의 매개변수를 갖는 MDS 코드의 구성 가능성을 가능하게 하는가?

주요 결과

• 선형 비율과 선형 거리를 갖는 MDS 코드는 상수 크기의 알파벳을 사용해 정수 위에서 구성될 수 있으며, 이는 블록 길이에 따라 체 크기가 선형으로 증가해야 하는 유한체의 경우와는 근본적으로 다른 결과이다.
• 독립적으로 균일하게 $ \{-m, \ldots, m\} $ 에서 선택된 $ n \times n $ 랜덤 행렬의 특이성 확률은 어떤 절대 상수 $ c > 0 $ 에 대해 $ m^{-cn} $ 이하이다. 이는 $ n $ 에 관계없이 일정하다.
• 이 경계는 $ m $ 이 $ n $ 에 비해 충분히 클 경우 이러한 행렬이 높은 확률로 비특이행렬임을 의미하며, 이는 전 Rank 생성 행렬의 구성이 가능함을 보여준다.
• 이 결과는 환 위의 부호 이론과 큰 랜덤 정수 행렬의 특이성 사이에 새로운 연결 고리를 확립한다.
• 정수 위에서 이러한 코드의 존재성은 구성 과정에서 특이행렬을 만날 확률이 $ n $ 에 대해 지수적으로 감소하므로 고도로 신뢰할 수 있음을 뒷받침한다.
• 기술적 기여는 코드 구성의 실현 가능성을 뒷받침하는 행렬의 비특이성에 대한 정량적 보장을 제공한다.