[논문 리뷰] Arbitrarily varying and compound classical-quantum channels and a note on quantum zero-error capacities

Igor Bjelaković, Holger Boche외 2명|arXiv (Cornell University)|2012. 09. 27.

Wireless Communication Security Techniques참고 문헌 16인용 수 4

한 줄 요약

이 논문은 평균 오차 기준 하에서 고전-양자 복합 채널에 대한 코딩 정리의 새로운이고 단순화된 증명을 보여주며, 보편적 가설 검정을 사용하고, 아흐스웨데의 강건화 및 제거 기법을 통해 임의로 변화하는 고전-양자 채널으로 이를 확장한다. 랜덤 코딩 용량에 대한 강력한 역설을 확립하고, 임의로 변화하는 양자 채널의 양자 영역 오차 용량이 일반적으로 결정론적 강력 부분공간 전송 용량과 일치하지 않음을 보여, 자연스러운 추측을 반박한다.

ABSTRACT

We consider compound as well as arbitrarily varying classical-quantum channel models. For classical-quantum compound channels, we give an elementary proof of the direct part of the coding theorem. A weak converse under average error criterion to this statement is also established. We use this result together with the robustification and elimination technique developed by Ahlswede in order to give an alternative proof of the direct part of the coding theorem for a finite classical-quantum arbitrarily varying channels with the criterion of success being average error probability. Moreover we provide a proof of the strong converse to the random coding capacity in this setting.The notion of symmetrizability for the maximal error probability is defined and it is shown to be both necessary and sufficient for the capacity for message transmission with maximal error probability criterion to equal zero. Finally, it is shown that the connection between zero-error capacity and certain arbitrarily varying channels is, just like in the case of quantum channels, only partially valid for classical-quantum channels.

연구 동기 및 목표

• 평균 오차 기준 하에서 고전-양자 복합 채널에 대한 코딩 정리의 직접 부분에 대한 투명하고 기초적인 증명을 제공하는 것.
• 아흐스웨데의 강건화 및 제거 기법을 사용하여 결과를 임의로 변화하는 고전-양자 채널로 확장하는 것.
• 최대 오차 기준 하에서의 강력한 역설로의 환원을 통해 평균 오차 기준 하에서의 약한 역설을 증명하는 것.
• 임의로 변화하는 양자 채널의 영역 오차 용량과 결정론적 강력 부분공간 전송 용량 사이의 관계를 조사하는 것.
• 양자 채널의 영역 오차 용량이 그에 해당하는 임의로 변화하는 채널의 결정론적 강력 부분공간 전송 용량과 동일하다는 자연스러운 추측을 반박하는 것.

제안 방법

• 보편적 가설 검정 결과를 사용하여 고전-양자 복합 채널에 대한 직접 코딩 정리의 기초적인 증명을 구성하며, 히라시와 오가와의 기법을 일반화한다.
• 아흐스웨데와 볼리츠의 보조정리에 기반하여 최대 오차 기준 하에서의 강력한 역설로의 환원을 통해 평균 오차 기준 하에서의 약한 역설을 도출한다.
• 강건화 기법을 적용하여 복합 채널 코드를 최악의 채널 변동에 견딜 수 있는 코드로 변환함으로써, 임의로 변화하는 채널에의 적용을 가능하게 한다.
• 오차 확률이 높은 채널을 제거하기 위해 제거 기법을 사용하여, 임의로 변화하는 채널에 대해 신뢰할 수 있는 코드를 구성한다.
• 최대 오차 기준 하에서의 대칭화 가능한 채널의 개념을 도입하고, 이 조건이 임의로 변화하는 고전-양자 채널의 용량이 0이 되는 데 필수적이고 충분한 조건임을 증명한다.
• 영역 오차 부분공간을 유지하지 않는 쿠라스 연산자를 가진 극한 양자 채널을 사용하여 반례를 구성함으로써, 영역 오차 용량과 결정론적 강력 부분공간 전송 용량 사이의 등가성을 반박한다.

실험 결과

연구 질문

• RQ1 고전-양자 복합 채널에 대한 직접 코딩 정리의 증명을 더 단순하고 투명한 방법으로 수행할 수 있으며, 이로 인해 균일한 지수적 감소 오차 확률을 얻을 수 있는가?
• RQ2 임의로 변화하는 고전-양자 채널의 랜덤 코딩 용량에 대해 평균 오차 기준 하에서 강력한 역설이 성립하는가?
• RQ3 임의로 변화하는 고전-양자 채널의 용량이 최대 오차 기준 하에서 0이 되는 데 있어 대칭화 가능성 조건이 필수적이고 충분한가?
• RQ4 양자 채널의 영역 오차 용량과 그에 해당하는 임의로 변화하는 채널의 결정론적 강력 부분공간 전송 용량 사이에 직접적인 대응 관계가 존재하는가?
• RQ5 극한 양자 채널을 사용하여, 영역 오차 용량과 임의로 변화하는 채널 용량 사이의 고전적 유사성의 붕괴를 보여주는 반례를 구성할 수 있는가?

주요 결과

• 평균 오차 기준 하에서 고전-양자 복합 채널에 대한 직접 코딩 정리의 기초적인 증명이 확립되었으며, 균일하게 지수적으로 감소하는 오차 확률을 가짐.
• 아흐스웨데와 볼리츠의 보조정리를 사용하여 최대 오차 기준 하에서의 강력한 역설로의 환원을 통해 평균 오차 기준 하에서의 약한 역설이 증명됨.
• 최대 오차 기준 하에서의 임의로 변화하는 고전-양자 채널의 용량이 0이 되는 데 있어 대칭화 가능성 조건이 필수적이고 충분한 조건임이 입증됨.
• 영역 오차 용량은 0이지만 결정론적 강력 부분공간 전송 용량은 양수인 반례가 구성되어, 추측된 등가성이 반박됨.
• 고전적 환경에서는 성립하는 영역 오차 용량과 임의로 변화하는 채널 간의 관계가 양자 영역에서는 조건부로 실패함을 보여주며, 극한 채널의 경우에도 마찬가지임이 확인됨.