Alphabet-Dependent Bounds for Pure Quantum $(r,\rho)$-Locally Recoverable Codes

기술 요약: 순수 양자 $(r, \rho)$-국소 복구 코드(Locally Recoverable Codes)를 위한 알파벳 의존적 상한

문제 정의
양자 국소 복구 코드(qLRC)는 하나의 큐디트(qudit)를 다른 일부 큐디트 집합으로부터 복구할 수 있도록 설계되었으며, 이는 분산 양자 저장 장치에서의 효율적인 오류 교정에 필수적인 특성이다. 구체적으로, $(r, \rho)$-qLRC는 최대 $r + \rho - 1$개의 큐디트로부터 단일 큐디트를 복구할 수 있음을 보장하며, 이때 해당 복구 집합 내에서 최대 $\rho - 1$개의 추가적인 소실(erasure)이 발생하더라도 복구가 가능해야 한다.

기존의 이론적 한계인 Singleton-like bound와 GG Singleton-like bound는 **알파벳 독립적(alphabet-independent)**이다. 이들은 블록 길이($n$), 차원($\kappa$), 국소성($r, \rho$), 최소 거리($\delta$)와 같은 파라미터에만 의존하며, 기저가 되는 큐디트 알파벳의 차원($q$)은 무시한다. 결과적으로, 이러한 바운드들은 큐디트 차원이 작거나 중간 정도인 경우 다소 느슨해지는 경향이 있다. 본 논문은 순수(pure) $(r, \rho)$-qLRC의 속도(rate)와 거리(distance) 사이의 트레이드오프를 더 정확하게 반영하는 알파벳 의존적(alphabet-dependent) 상한을 도출하여 발생하는 간극을 해결하고자 한다.

방법론
저자들은 **Hermitian CSS 구성(Hermitian CSS construction)**을 활용하여 새로운 상한을 도출하며, 이는 $\mathbb{F}_{q^2}$ 상의 고전 선형 코드를 $\mathbb{F}_q$ 상의 양자 코드로 매핑하는 방식이다.

1. 고전적 기초: 본 연구는 Gao 등이 고전적인 $(r, \rho)$-LRC에 대해 확립한 알파벳 의존적 바운드(Griesmer-like, sphere-packing-like, Plotkin-like)를 기반으로 한다.
2. 양자 코드로의 변환: 저자들은 CSS 구성에 필요한 Hermitian dual-containing 고전 코드에 이러한 고전적 바운드를 적용한다. 양자 파라미터($n, \kappa, \delta$)를 각각의 고전적 대응 파라미터($n, k, d$)로 치환하고(여기서 $k = (n+\kappa)/2$), 알파벳 크기를 $q^2$로 설정함으로써 그에 상응하는 양자 바운드를 도출한다.
3. 점근적 분석: 논문은 코드 길이 $n$이 무한대로 갈 때의 거동을 분석한다. 저자들은 새로운 바운드의 점근적 형태를 기존의 Singleton-like 바운드와 비교하여 엄격한 계층 구조를 확립한다.
4. 최적화: Sphere-packing-like 바운드의 경우, 저자들은 서로 다른 상대적 거리($\Delta$) 영역에서 가장 타이트한 제약을 결정하기 위해 단축 지수(shortening index) $\tau$(점근적으로 비율 $\lambda$로 표현됨)에 대한 엄격한 최적화를 수행한다.

주요 기여 및 결과
본 논문은 순수(pure) $(r, \rho)$-qLRC(양자 최소 거리가 기저가 되는 고전 코드의 최소 거리와 동일한 경우)를 위한 세 가지 새로운 알파벳 의존적 상한을 확립한다:

1. 순수 Griesmer-like Bound: 차원과 거수의 함수로서 $n$에 대한 상한을 제공하며, $q^2$의 거듭제곱에 대한 합을 포함한다.
2. 순수 Sphere-Packing-like Bound: $\mathbb{F}_{q^2}$ 내 해밍 볼(Hamming ball)의 부피를 포함하는 속도 $\kappa/n$에 대한 상한이다. 저자들은 임계 상대적 거리 $\Delta_{crit}$를 기준으로 두 영역으로 나뉘는 점근적 형태를 도출하였다. 이 임계값 미만에서는 바운드가 국소성 파라미터와 알파벳 크수에 명시적으로 의존하지만, 임계값 이상에서는 표준적인 점근적 양자 sphere-packing bound로 수렴한다.
3. 순수 Plotkin-like Bound: 상대적 거리 $\delta/n$에 대한 상한으로, $r \ge 3$인 경우 Griesmer-like bound보다 엄격하다.

점근적 계층 구조(Asymptotic Hierarchy)
본 논문의 핵심 결과는 $r \ge 3$인 순수 $(r, \rho)$-qLRC에 대한 바운드 간의 엄격한 계층 구조를 확립한 것이다. 점근적 영역에서 바운드들은 다음과 같은 엄격함의 순서(가장 타이트한 것부터 가장 느슨한 것 순)를 따른다:
$$\text{Pure Plotkin-like} \succ \text{Pure Griesmer-like} \succ \text{Pure Singleton-like} \succ \text{GG Singleton-like}$$
이는 알파벳 의존적인 Plotkin-like 바운드가 도출된 바운드들 중 속도-거리 트레이드오프에 대해 가장 제한적(따라서 가장 정확한) 제약을 제공함을 입증한다.

의의
본 논문은 순수 $(r, \rho)$-qLRC를 위한 최초의 알파벳 의존적 바운드를 제공함으로써 이론적 공백을 메웠다는 점에서 의의를 갖는다. 큐디트 차원 $q$를 명시적으로 포함함으로써, 이 바운드들은 기존의 알파벳 독립적 한계보다 더 타이트한 제약을 제공하며, 특히 작은 규모에서 중간 규모의 알파벳 크기를 가진 코드에서 그러하다. 본 연구는 각 바운드가 가장 타이트한 제약을 제공하는 속도-거리 평면의 특정 영역을 규명함으로써, 양자 국소 복구 코드의 근본적인 한계에 대한 더욱 정교한 이해를 제공한다. 저자들은 이러한 바운드를 달성하는 구성(construction)은 향후 연구 과제로 남겨두었다고 언급하였다.