[논문 리뷰] A one-shot quantum joint typicality lemma.

Pranab Kumar Sen|arXiv (Cornell University)|2018. 06. 19.

Wireless Communication Security Techniques참고 문헌 15인용 수 12

한 줄 요약

이 논문은 양자 네트워크 정보이론에서 주요 장애물이 되는 문제를 해결하기 위해 강건한 합집합 및 교집합 성질을 갖는 one-shot 양자 공동유형성 보조정리(lemma)를 도입한다. '기울임(tilting)'을 통해 부분공간 간의 각도를 증가시키고, '매끄럽게하기(smoothing)'를 통해 다중입자 양자 상태를 변형시키는 새로운 도구들을 개발함으로써, 다중단말 채널에 대한 동시에 작동하는 양자 디코더의 구축이 가능해졌으며, 이는 고전적 내부 경계 기법을 양자 영역으로 확장한 것이다.

ABSTRACT

A fundamental tool to prove inner bounds in classical network information theory is the so-called `conditional joint typicality lemma'. In addition to the lemma, one often uses unions and intersections of typical sets in the inner bound arguments without so much as giving them a second thought. These arguments fail spectacularly in the quantum setting. This bottleneck shows up in the fact that so-called `simultaneous decoders', as opposed to `successive cancellation decoders', are known for very few channels in quantum network information theory. Another manifestation of this bottleneck is the lack of so-called `simutaneous smoothing' theorems for quantum states. In this paper, we overcome the bottleneck by proving for the first time a one-shot quantum joint typicality lemma with robust union and intersection properties. To do so, we develop two novel tools in quantum information theory which may be of independent interest. The first tool is a simple geometric idea called `tilting', which increases the angles between a family of subspaces in orthogonal directions. The second tool, called `smoothing', is a way of perturbing a multipartite quantum state such that the partial trace over any subset of registers does not increase the operator norm by much. Our joint typicality lemma allows us to construct simultaneous quantum decoders for many multiterminal quantum channels. It provides a powerful tool to extend many results in classical network information theory to the one-shot quantum setting.

연구 동기 및 목표

• 양자 네트워크 정보이론에서 강건한 공동유형성 도구의 부족으로 인해 동시에 작동하는 디코더의 개발이 저해되는 문제를 해결하기 위해.
• 특히 유형 집합의 합집합 및 교집합을 다룰 때 고전적 유형성 추론가가 양자 환경에서 실패하는 문제를 극복하기 위해.
• 고전적 내부 경계 기법을 one-shot 양자 영역으로 확장하기 위한 기반을 마련하기 위해.
• 양자 상태 분석 및 채널 부호화 등 독립적인 응용 가능성이 있는 새로운 양자 정보이론적 도구를 개발하기 위해.

제안 방법

• 서로 수직인 방향의 부분공간 집합 간의 각도를 증가시키기 위해 '기울임(tilting)'이라 불리는 기하 기법을 도입하여, 양자 상태 공간 내의 분리도를 향상시킨다.
• 다중입자 양자 상태에 대한 '매끄럽게하기(smoothing)' 절차를 개발하여, 부분적 추적 연산의 연산자 노름이 거의 변화하지 않도록 보장한다.
• 기울임과 매끄럽게하기를 조합하여, 강력한 합집합 및 교집합 성질을 갖는 one-shot 양자 공동유형성 보조정리를 구성한다.
• 이 보조정리를 활용하여 다중단말 양자 채널에 대해 동시에 작동하는 디코더의 존재를 증명하고, 고전적 부호 전략을 일반화한다.
• 이 보조정리를 통해 양자 네트워크에서 순차적 취소 디코딩의 한계를 우회한다.
• 연산자 노름의 경계와 부분공간 기하학을 활용하여 부분 추적 연산에 대한 강건성을 확보한다.

실험 결과

연구 질문

• RQ1 고전적 유형 집합의 합집합 및 교집합 성질을 유지하는 one-shot 양자 공동유형성 보조정리를 구성할 수 있는가?
• RQ2 양자 부분공간을 어떻게 기하학적으로 조작하여 분리도를 향상시키고 강건한 유형성 추론를 가능하게 할 수 있는가?
• RQ3 상태 매끄럽게하기 과정에서 부분 추적의 연산자 노름을 유지하는 데 어떤 변형 방법이 적합한가?
• RQ4 제안된 도구들을 통해 다중단말 양자 채널에 대해 동시에 작동하는 디코더를 구축할 수 있는가?
• RQ5 이 프레임워크를 통해 고전적 네트워크 정보이론의 내부 경계는 one-shot 양자 영역으로 얼마나 넓게 확장할 수 있는가?

주요 결과

• 이 논문은 양자 네트워크 정보이론에서 오랫동안 해결되지 않았던 주요 장애물을 해결하기 위해, 강건한 합집합 및 교집합 성질을 갖는 최초의 one-shot 양자 공동유형성 보조정리를 확립한다.
• '기울임(tilting)' 기법은 수직 방향의 부분공간 간의 각도를 성공적으로 증가시켜, 양자 유형 부분공간 간의 분리를 향상시킨다.
• '매끄럽게하기(smoothing)' 절차는 다중입자 양자 상태에 대한 변형이 부분 추적의 연산자 노름을 크게 증가시키지 않음을 보장한다.
• 공동유형성 보조정리는 다중단말 양자 채널에 대해 동시에 작동하는 양자 디코더의 구축을 가능하게 하여, 이전에는 순차적 취소 디코딩에 국한되었던 능력을 초월한다.
• 이 프레임워크는 고전적 내부 경계 기법을 one-shot 양자 영역으로 확장할 수 있는 길을 열어, 달성 가능한 속도 범위를 크게 넓힌다.
• 개발된 도구인 기울임과 매끄럽게하기는 양자 상태 분석, 오류 수정, 채널 부호화 등 독립적인 응용 가능성까지 지닌다.