[논문 리뷰] On the additivity conjecture for channels with arbitrary constraints

M. E. Shirokov|ArXiv.org|2003. 08. 29.

Computability, Logic, AI Algorithms참고 문헌 7인용 수 3

한 줄 요약

이 논문은 선형 제약 조건을 초월하여 임의의 폐쇄된 입력 제약 조건 하에서 양자 채널에 대한 가환성 추측을 조사한다. 제약 조건이 있는 최대 거리 성질을 사용하여 홀로보 용량의 가환성에 대한 필요 및 충분 조건을 수립하고, 제약 조건이 없는 채널에 대한 전역적 가환성은 χ-함수의 가환성에 대한 새로운 특성화를 통해 양성 엔트로피의 강력 초가환성을 유도함을 증명한다.

ABSTRACT

Recently Shor proved equivalence of several open (sub)additivity problems related to the Holevo capacity and the entanglement of formation [15]. In our previous note [6] equivalence of these to the additivity of the Holevo capacity for channels with arbitrary linear constraints was shown. This note is the development of the previous one in the direction of channels with general constraints. Introducing input constraints provides greater flexibility in the treatment of the additivity conjecture. The Holevo capacity of arbitrarily constrained channel is considered and the characteristic property of an optimal ensemble for such channel is derived, generalizing the maximal distance property of Schumacher and Westmoreland (proposition 1). It is shown that the additivity conjecture for two channels with single linear constraints is equivalent to the similar conjecture for two arbitrarily constrained channels and, hence, to an interesting subadditivity property of the $χ$-function for the tensor product of these channels (theorem 1). We also propose an alternative way of proving that the additivity conjecture for any two unconstrained channels implies strong superadditivity of the entanglement of formation. The arguments from the convex analysis provide another characterization of channels for which subadditivity of the $χ$-function holds (theorem 3). This characterization and some modification of Shor's channel extension provide a simple way of proving that global additivity of the minimum output entropy for unconstrained channels implies global subadditivity of the $χ$-function and strong superadditivity of the entanglement of formation.

연구 동기 및 목표

• 임의의 닫힌 입력 제약 조건으로 선형 제약 조건을 초월한 양자 채널에 대한 가환성 추측을 확장하기 위해.
• 제약 조건이 있는 채널의 최적 집합에 대한 일반화된 최대 거리 성질을 유도하여 슈무처와 웨스트모어랜드의 결과를 일반화하기 위해.
• χ-함수의 가환성에 기반하여 두 제약 조건이 있는 채널의 홀로보 용량의 가환성에 대한 필요 및 충분 조건을 수립하기 위해.
• 전역적 최소 출력 엔트로피의 가환성이 χ-함수의 가환성에 의해 강력 초가환성의 엔트로피 형성으로 이어지는 것을 증명하기 위해 새로운 특성화를 사용하기 위해.
• 쇼어, 홀로보 등 다수의 결과를 통합하고 일반화하기 위해 渐近적 가환성과 채널 확장 기법을 도입하기 위해.

제안 방법

• 허용된 평균 입력 상태 집합 𝒜 ⊆ 𝒮(ℋ)로 정의된 임의의 닫힌 입력 제약 조건이 있는 채널에 대한 일반적 프레임워크를 도입한다.
• 상대 엔트로피를 포함하는 일반화된 최대 거리 부등식을 통해 제약 조건이 있는 채널의 최적 집합의 특성적 성질을 유도한다: 모든 평균 상태가 𝒜에 속하는 집합에 대해 ∑ⱼ μⱼ S(Φ(ωⱼ) ‖ Φ(ρₐᵥ)) ≤ χ_Φ({πᵢ, ρᵢ})이다.
• 시퀀스 채널에 쇼어의 채널 확장 구조를 적용하여 渐近적 가환성의 개념을 도입하여 제약 조건이 있는 가환성의 필요 및 충분 조건을 특성화한다.
• MSW 대응관계와 엔트로피 형성의 연속성을 사용하여 χ-함수 χ_Φ(ρ)의 연속성과 볼록성(concavity)을 확립한다.
• 볼록 해석학과 레지오트르 변환을 사용하여 함수 f(x) = H(Φ(xσ + (1−x)ρ)) − H(Φ(ρ))와 그 도함수 f’(x)의 행동을 분석하며, 특히 x=0과 x=1에서의 성질을 다룬다.
• 편미분 기반의 추론과 Δ = χ_Φ⊗Ψ(σ) − χ_Φ(ρ) − χ_Ψ(ϱ)의 부호를 사용하여, 채널의 텐서 곱에 대한 χ-함수의 가환성이 임의의 제약 조건 하에서 홀로보 용량의 가환성과 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 임의의 입력 제약 조건이 있는 두 양자 채널에 대해 홀로보 용량이 가환적인가?
• RQ2 제약 조건이 있는 채널의 최적 집합에 대한 일반화된 최대 거리 성질이 χ-함수의 가환성과 어떻게 관련되는가?
• RQ3 텐서 곱 채널에 대한 χ-함수의 가환성이 제약 조건이 없는 채널에 대한 전역적 가환성 추측과 동치인가?
• RQ4 제약 조건이 없는 채널에 대해 최소 출력 엔트로피의 가환성이 χ-함수의 가환성을 통해 강력 초가환성의 엔트로피 형성으로 이어지는가?
• RQ5 쇼어의 채널 확장 기반으로 渐近적 가환성이 제약 조건이 있는 채널의 가환성 특성화에서 어떤 역할을 하는가?

주요 결과

• 𝒜-제약 조건이 있는 채널의 최적 집합은 일반화된 최대 거리 성질을 만족한다: 모든 평균 상태가 𝒜에 속하는 집합에 대해 ∑ⱼ μⱼ S(Φ(ωⱼ) ‖ Φ(ρₐᵥ)) ≤ χ_Φ({πᵢ, ρᵢ})이다.
• 단일 선형 제약 조건이 있는 두 채널에 대해 홀로보 용량의 가환성은 임의의 제약 조건이 있는 두 채널에 대해 가환성과 동치이며, 이는 그들의 텐서 곱에 대한 χ-함수의 가환성과도 동치이다.
• 다양한 클래스의 채널에 대해 Proposition 4에서 보여지듯이 χ-함수의 가환성이 성립한다. 특히 최적 집합이 특정 지지 조건을 만족할 경우에 해당한다.
• 가환성에 대한 필요 및 충분 조건은 f’(1) ≤ Δ인 부등식으로 주어지며, 여기서 f(x)는 출력 엔트로피와 관련된 볼록 함수이고 Δ는 홀로보 양의 차이다.
• 논문 [6]의 주요 정리의 역은 渐近적 가환성의 개념을 이끌어내며, 이를 통해 주요 결과를 가환성에 대한 필요 및 충분 조건으로 재구성할 수 있다.
• χ-함수의 전역적 가환성은 강력 초가환성의 엔트로피 형성과 동치이며, 이는 [15]의 증명과의 대체 증명을 제공한다.