선형 코드 크기 상한에 대한 새로운 발견

본 논문은 선형 오류 정정 코드의 크기, 즉 코드 길이 \(n\) 와 차원 \(k\) 사이에 적용되는 새로운 상한을 제시한다. 서론에서는 기존에 널리 사용되는 그리스머 상한, 싱글턴 상한, 해밍 상한, 플롯킨 상한 등 다양한 전통적 상한들을 간략히 리뷰하고, 이들 상한이 주로 최소 거리 \(d\) 와 차원 \(k\) 사이의 선형 혹은 로그 관계에 기반하고 있음을 지적한다. 이러한 전통적 상한들은 많은 경우에 강력하지만, 특히 차원이 작고 최소 거리가 큰 경우에는 상한이 충분히 강력하지 못하거나, 반대로 너무 보수적이어서 실제 가능한 코드 파라미터를 과소평가하는 경향이 있다. 이에 저자들은 새로운 접근법을 도입한다. 핵심 아이디어는 코드의 생성 행렬 \(G\) 를 부분 행렬로 분해하고, 각 부분 행렬이 정의하는 부분공간의 최소 거리 \(d_t\) 를 분석함으로써 전체 코드에 대한 전역적인 제약을 도출하는 것이다. 구체적으로, \(G\) 의 \(t\) 열을 선택해 만든 부분 행렬 \(G_t\) 에 대해, 해당 부분 행렬이 생성하는 부분 코드 \(C_t\) 의 최소 거리 \(d_t\) 를 정의한다. 그런 다음, 모든 \(1\le t\le k\) 에 대해 다음과 같은 부등식을 증명한다. \