Explicit channels with unbounded gains in classical communication using entangled inputs

기술 요약: 고전적 통신에서 얽힌 입력을 사용하는 명시적 채널의 무한한 이득

문제 정의
본 논문은 양자 정보 이론에서 양자 채널에 대한 고전적 통신 용량의 가산성(additivity)에 관한 근본적인 질문을 다룬다. 구체적으로, 독립적인 양자 채널 사용에 대해 입력들을 얽히게 하는 것이 생성 가능한 고전적 통신율을 생성 상태(product-state) 코드워드로 가능한 수준 이상으로 높일 수 있는지 여부를 조사한다.

메모리리스 채널(memoryless channel) $\Phi$에 대하여, 생성 상태를 사용하는 최적의 점근적 비율은 일회성 홀레보 정보(one-shot Holevo information) $\chi_{\max}(\Phi)$로 주어진다. 고전적 용량 $C(\Phi)$는 $n$번의 사용에 걸쳐 얽힌 코드워드를 허용하며, 이는 $C(\Phi) = \sup_{n \ge 1} \frac{1}{n}\chi_{\max}(\Phi^{\otimes n})$로 정의된다. "가산성 문제(additivity problem)"는 $C(\Phi) > \chi_{\max}(\Phi)$인지, 즉 최소 출력 엔트로피가 비가산적인지를 묻는다. 헤이스팅스(Hastings, 2009)는 Haar-무작위 유니터리를 이용한 확률적 방법을 통해 이러한 채널의 존재성을 증명했으나, **명시적(explicit)**인 유한 차원 채널 패밀리가 초가산성(superadditivity)을 보여줄 수 있는지, 그리고 그 이득을 무한하게(unbounded) 만들 수 있는지에 대한 문제는 오랫동안 미해결 과제로 남아 있었다.

방법론
저자들은 결정론적인 큐디트 클리포드 유니터리(qudit Clifford unitaries)와 특정 측정 및 고전적 피드포워드(feedforward) 과정을 결합하여 명시적인 유한 차원 양자 채널 $\Phi_N$을 구성한다. 이 접근 방식은 헤이스팅스의 확률적 구성을 탈무작위화(derandomization)하는 역할을 한다.

1. 채널 구조: 기본 채널 $\Psi^{(k)}_{n,H}$는 측정 연산자 $H$에 의해 제어되는 보완적 혼합 유니터리 채널 $\Psi_0$와 완전 탈분극(completely depolarizing) 채널의 볼록 결합으로 정의된다:
   $$\Psi^{(k)}_{n,H}(\rho) = \Psi_0(H\rho H) + \text{Tr}[(I_n - H^2)\rho] \frac{I_k}{k}$$
   여기서 $\Psi_0$는 양자 애더(adder) 회로의 텐서 곱인 유니터리 $U_I$들의 균등 혼합 유니터리 채널이다.

2. 결정론적 유니터리: Haar-무작위 유니터리 대신, 저자들은 $Q = 2^q$ 모듈로에 대한 산술 양자 애더 회로로부터 구성된 명시적 유니터리 연산자를 사용한다. 구체적으로, $|a, b\rangle \mapsto |a+2b, b\rangle$ 및 $|a, b\rangle \mapsto |a, b+2a\rangle$ 회로를 활용한다. 이들은 일반화된 파울리 연산자에 대한 클리포드 연산자이다. 유니터리 집합 $\{U_I\}$는 이러한 애더 기반 치환들의 텐서 곱으로 형성된다.

3. 측정 및 피드포워드 (MFF): 연산자 $H$는 $H^2 = \gamma(I_n + F)^{-1}$를 만족하도록 정의된다. 여기서 $F$는 출력 엔트로피를 제어하기 위해 유니터리들로부터 구성된 양의 연산자이다. 채널은 이진 측정 $\{H^2, I_n - H^2\}$를 통해 구현된다. 결과가 $H^2$에 해당하면 상태는 $\Psi_0$를 통과하고, 그렇지 않으면 최대 혼합 상태(maximally mixed state)로 대체된다.

4. 모멘트 추정치를 통한 엔트로피 경계: 핵심적인 기술적 혁신은 무작위 행렬의 강한 수렴이나 측도 집중(concentration of measure)에 의존하는 대신, 유니터리 패밀리의 모멘트 추정치를 사용하여 일회 및 이회 출력 엔트로피 경계를 도출하는 것이다.

   • 일회 (하한): $H A(W) H$의 연산자 노름(operator norm)을 바운딩함으로써 최소 출력 엔트로피 $H_{\min}(\Psi)$에 대한 하한을 설정한다. 이는 클리포드 유니터리의 특정한 대수적 구조에 기초한다.
   • 이회 (상한): $F$의 트레이스를 분석하여 $H_{\min}(\Psi \otimes \Psi)$의 상한을 도출한다. 저자들은 특정 선택된 $F$(고차 항 $A(V)$의 합)에 대해, 매개변수 $Q$와 $L$을 충분히 크게 잡음으로써 $\text{Tr}(F)/n$을 임의로 작게 만들 수 있음을 보여준다. 이 작은 트레이스는 이회 출력 엔트로피가 두 번의 일회 출력 엔트로피보다 현저히 낮음을 보장한다.

주요 기여 및 결과
본 논문은 다음의 성질을 가진 명시적 양자 채널 패밀리 $\Phi_N$ (매개변수 $N$에 의해 파라미터화됨)의 존재를 확립하는 **정리 1(Theorem 1)**을 제시한다:

• 차원: 출력 차원 $k$는 $N$에 대해 지수적(exponential)인 반면, 입력 차원 $n$은 $N$에 대해 이중 지수적(doubly exponential)이다.
• 무한한 이득: 일회성 홀레보 정보 $\chi_{\max}(\Phi_N)$은 $1/N$보다 엄격히 작은 반면, 이회 홀레보 정보 $\chi_{\max}(\Phi_N^{\otimes 2})$는 $N$을 초과한다.
• 초가산성: 결과적으로, 고전적 용량은 $C(\Phi_N) \ge \frac{1}{2}\chi_{\max}(\Phi_N^{\otimes 2}) \gg \chi_{\max}(\Phi_N)$를 만족한다.

이회 용량과 일회 용량 사이의 격차는 $N$과 관련된 매개변수 $r$에 따라 선형적으로 증가하는 반면, 입력 차원은 $r$에 대해 이중 지수적으로 증가한다. 이는 패밀리 매개변수가 증가함에 따라 채널 사용당 가산성 위반이 무한하게(unbounded) 발생함을 보여준다.

의의 및 주장
저자들은 가산성 문제와 관련된 세 가지 구체적인 질문을 해결했다고 주장한다:

1. 명시성: 그들은 대수적 공식(클리포드 치환 및 특정 측정 및 피드포워드 과정)으로 정의된 채널을 제공하며, 그 홀레보 정보가 엄격하게 초가산적임을 분석적으로 증명하여 확률적 존재성 증명의 필요성을 제거했다.
2. 크기: 채널 사용당 이득 $\frac{1}{2}\chi_{\max}(\Phi^{\otimes 2}) - \chi_{\max}(\Phi)$이 제한 없이 커질 수 있음을 입증했다.
3. 차원 경계: 주어진 이득을 달성하기 위해 필요한 입력 및 출력 차원에 대한 명시적인 경계를 제공한다.

본 논문은 이 작업을 "원리 증명(proof of principle)"으로 규정한다. 저자들은 현재의 차원이 실제 구현하기에는 어렵다는 점과 유니터리의 선택이 유일하지 않다는 점을 인정한다. 그들은 더 단순하고 작은 크기의 양자 회로를 찾는 것이 향후 연구 과제로 남아 있음을 시사한다. 수학적 증명은 Lean 정리 증명기(theorem prover)를 통해 검증되었다. 이 작업은 무작위 유니터리를 결정론적 클리포드 치환으로 대체하고, 모멘트 추정치를 통해 엔트로피 경계를 제어하기 위해 정교하게 설계된 측정 및 피드포워드 과정을 활용함으로써 헤이스팅스의 구성을 탈무작위화하였다.