Entanglement-assisted quantum locally recoverable codes: bounds and constructions with availability

기술 요약: 얽힘 보조 양자 국소 복구 코드: 가용성을 갖는 경계 및 구성

문제 정의
국소 복구 코드(LRC)는 분산 저장 시스템에서 필수적이며, 다른 심볼의 작은 부분 집합을 사용하여 소실된 심볼을 복구할 수 있는 국소성(locality)을 제공한다. 고전적 설정에서 "가용성(availability)"은 임의의 심볼에 대해 여러 개의 서로소인 복구 집합이 존재하는 것을 의미하며, 이는 신뢰성을 향상시킨다. 양자 데이터 저장을 위해 개발된 양자 국소 복구 코드(QLRC)에서도 유사한 요구 사항이 존재하지만, 표준 칼더뱅크-쇼어-스티인(CSS) 프레임워크에는 중요한 한계가 있다. 즉, 기저가 되는 고전 코드가 엄격한 쌍대 포함 조건($C^\perp \subseteq C'$)을 만족하지 않는 한, 동일한 좌표에 대해 서로소인 복구 집합을 갖는 것이 일반적으로 불가능하다. 선행 연구 [18]는 CSS 설정에서 서로소인 복구 집합의 의미에서의 가용성을 달성할 수 없음을 입증했다. 본 논문은 공유된 얽힘을 활용하여 쌍대 포함 제약을 완화하고 여러 개의 서로소인 복구 집합을 가능하게 함으로써, **가용성을 갖는 얽힘 보조 양자 국소 복구 코드(EAQLRC)**를 도입하여 이 간극을 해결한다.

방법론
저자들은 얽힘 보조 양자 오류 정정 코드(EAQECC)의 프레임워크를 국소 복구 설정으로 확장한다. 핵심 방법론은 다음과 같다:

1. 가용성을 갖는 EAQLRC의 정의: 본 논문은 최대 $\delta-1$개의 소실된 큐디트(qudit) 집합을 $t$개의 국소 복구 집합 중 어느 하나로부터 복구할 수 있는 $(r, \delta)$ EAQLRC를 정의한다. 결정적으로, 이 $t$개의 집합은 소실된 좌표에서 정확히 교차하거나 그 일부에서 교차하므로, 소실된 집합 외부에서는 서로소일 수 있다. 이는 두 고전 선형 코드 $C_1$과 $C_2$로부터 양자 코드 $Q = \text{EACSS}(C_1, C_2)$를 구성함으로써 달성되며, 이때 $C_1$과 $C_2$는 반드시 $C_1^\perp \subseteq C_2$를 만족할 필요는 없다.
2. 이론적 경계: 저자들은 이 코드들의 차원 $k$에 대한 싱글턴(Singleton) 유사 경계를 도출한다. 이 경계는 블록 길이 $n$, 최소 거리 $d$, 국소성 파라미터 $(r, \delta)$, 가용성 $t$, 그리고 얽힘 파라미터 $c$(공유된 최대 얽힘 쌍의 수)를 포함한다. 이 경계는 기존의 QLRC 및 표준 EAQECC에 대한 싱글턴 경계를 일반화하는 것으로 나타났다.
3. 구성:
   • 무작위 구성: 반데르몽드 패리티 검사 행렬을 사용하여, 저자들은 고전 선형 코드에 기반한 EAQLRC의 무작위 구성을 제공한다.
   • 명시적 구성: 본 논문은 여러 계열의 고전 대수 기하(AG) 코드와 그 폴디드(folded) 버전을 얽힘 보조 프레임워크에 적용하여 명시적인 EAQLRC를 구성한다. 여기에는 다음이 포함된다:
     • Tamo–Barg 코드 및 그 폴디드 변형.
     • 모피즘(morphism)에 의해 유도된 대수 곡선으로부터의 파이버 곱(fiber-product) 코드.
     • 원점 헤르미안(one-point Hermitian) 코드.
     • 스즈키(Suzuki) 코드.
   • 파라미터 계산: 각 구성에 대해 저자들은 결과적인 양자 차원과 거리를 계산한다. 이러한 계산의 핵심 요소는 기저가 되는 고전 코드의 헐(hull)(또는 상대적 헐)의 차원을 결정하는 것이며, 이는 필요한 공유 얽힘의 양 $c$를 결정한다.

주요 기여 및 결과

• 정의 및 타당성: 본 논문은 가용성 $t$를 갖는 EAQLRC를 공식적으로 정의한다. 저자들은 공유된 얽힘이 동일한 소실 집합에 대해 $t > 1$(여러 개의 서로소인 복구 집합)을 허용할 수 있음을 증명하며, 이는 CSS 프레임워크에서 쌍대 포함 없이는 달성할 수 없었던 특성이다.
• 싱글턴 유사 경계: 새로운 차원 $k$의 상한선이 확립되었다:
  $$k \le n - 2(d-1) - s_1 - s_2 + c$$
  여기서 $s_1$과 $s_2$는 $n, d, r, \delta, t$의 함수이다. 이 경계는 코드율, 국소성, 가용성 및 얽힘 소비 사이의 트레이드오프를 정량화한다.
• 명시적 코드 계열: 저자들은 Tamo–Barg, 파이브 프로덕트, 헤르미안, 스즈키 코드로 구성된 EAQLRC의 명시적 파라미터를 제공한다. 예를 들어, Tamo–Barg 코드를 사용하여 가용성 2를 갖는 $(2, 2)$ EAQLRC를 구성하는 방법과, 파이브 프로덕트 및 스즈키 곡선을 통해 가용성 2를 갖는 $(r, 2)$ EAQLRC를 구성하는 방법을 보여준다.
• 유연성: 본 연구는 얽힘 보조 접근 방식이 임의의 고전 LRC 쌍(심지 even 비-쌍대 포함 코드라도)을 사용하여 양자 코드를 구성할 수 있게 함으로써, 사용 가능한 고전 코드의 풀을 크게 확장한다는 점을 강조한다.

의의
본 논문의 주요 의의는 CSS 기반 양자 코드의 구조적 경직성을 극복하는 데 있다고 주장한다. 공유된 얽힘을 활용함으로써, 저자들은 양자 국소 복구에서 (서로소인 복구 집합의 의미에서) 이전에는 불가능하다고 여겨졌던 특성인 가용성(여러 개의 서로소인 복구 집합)을 달리는 것이 가능하다는 것을 입증한다. 이러한 유연성은 엄격한 국소성 및 가용성 제약이 있는 LRC에서 쌍대 포함을 강제할 경우 달성 가능한 파라미터가 크게 제한되는 상황에서 특히 가치가 있다.

이 연구는 (싱글턴 유사 경계를 통한) 이론적 토대를 구축하고 (AG 코드를 통한) 구체적인 구성 방법을 제공한다. 저자들은 이러한 구성들이 명시적이지만, 이들이 도출된 싱글턴 경계에 대해 최적인지를 판단하기 위해서는 헐 차원 및 최소 가중치에 대한 추가적인 계산이 필요하며, 이는 여전히 열린 문제로 남아 있다고 언급한다. 또한, 본 논문은 이 코드들이 감지 가능한 결함이 소실(erasure)로 매핑될 수 있는 중성 원자 및 초전도 시스템과 같은 미래의 양자 메모리 아키텍처에 적합함을 시사한다.