[논문 리뷰] Bounds on the distance between a unital quantum channel and the convex hull of unitary channels, with applications to the asymptotic quantum Birkhoff conjecture

Nengkun Yu, Runyao Duan외 1명|arXiv (Cornell University)|2012. 01. 05.

Quantum Information and Cryptography참고 문헌 13인용 수 3

한 줄 요약

이 논문은 양자정보 이론과 연산자 대수학 기법을 사용하여 단위 양자 채널과 단위 채널의 볼록결합의 거리에 하한을 설정한다. d ≥ 4 인 경우, 단위 스chu르 채널 중 단위 채널의 볼록조합로 표현될 수 없는 것이 존재함을 증명함으로써, 점점 커지는 양자 비르호프 추측(AQBC)에 대한 명시적 반례를 제공한다.

ABSTRACT

Motivated by the recent resolution of Asymptotic Quantum Birkhoff Conjecture (AQBC), we attempt to estimate the distance between a given unital quantum channel and the convex hull of unitary channels. We provide two lower bounds on this distance by employing techniques from quantum information and operator algebras, respectively. We then show how to apply these results to construct some explicit counterexamples to AQBC. We also point out an interesting connection between the Grothendieck's inequality and AQBC.

연구 동기 및 목표

• 모든 단위 양자 채널의 텐서곱이 다수의 채널 사용에서 단위 채널의 볼록조합으로 임의로 잘 근사될 수 있다는 가정을 하는 점점 커지는 양자 비르호프 추측(AQBC)의 타당성을 조사하는 것.
• 특히 고차원 시스템에서 단위 양자 채널과 단위 채널의 볼록결합 사이의 거리를 정량화하는 것.
• d ≥ 4 인 경우, 단위 채널로 표현될 수 없는 단위 채널—특히 스chu르 채널—를 식별하여 AQBC에 대한 명시적 반례를 구성하는 것.
• 스chu르 승수와 그 연산자 노름 성질이 단위 채널의 구조 및 단위 채널에 의한 근사화에 미치는 영향을 명확히 하는 것.

제안 방법

• 양자정보이론과 연산자 공간 이론 기법을 사용하여, 단위 양자 채널과 단위 채널의 볼록결합 사이의 다이아몬드 노름 거리에 대해 두 개의 하한을 유도한다.
• 그로텐디크 부등식을 적용하여 스chu르 승수의 노름과, 스chu르 채널가 K배의 단위 대각 채널의 볼록결합 내에 포함되도록 보장하는 최소 상수 K 사이의 관계를 설정한다.
• 모든 단위 스chu르 채널이 $ K imes ext{Conv}( ext{D}_d^+) $에 포함되도록 보장하는 최소 상수 $ K_{d,1}^{+} $를 정의한다. 여기서 $ ext{D}_d^+ $는 단위 대각 채널의 집합이다.
• 모든 $ d $ 에 대해 $ K_{d,1}^{+} = K_d^{+} $ 를 증명함으로써, 스chu르 승수 상수 $ K_d^{+} $ 가 단위 스chu르 채널이 단위 채널의 볼록조합으로 근사될 수 있는 정도를 결정함을 보여준다.
• 점점 커지는 $ K_d^{+} o ext{const} imes ext{log} hinspace d $ 의 성장을 이용하여, $ d o ty $ 일 때 $ K_d^{+} > 1 $ 임을 보이고, 이는 엄밀한 포함관계 실패를 의미함을 밝힌다.
• d ≥ 4 인 경우, 단위 채널의 볼록결합에 포함되지 않는 스chu르 채널을 식별함으로써 AQBC에 대한 명시적 반례를 구성한다.

실험 결과

연구 질문

• RQ1 모든 단위 양자 채널이 다수의 채널 사용에서 점점 커지는 근사에서 단위 채널의 볼록조합으로 임의로 잘 근사될 수 있는가?
• RQ2 단위 양자 채널과 단위 채널의 볼록결합 사이의 최소 거리(다이아몬드 노름 기준)는 무엇이며, 이는 시스템 차원 d에 따라 어떻게 척도가 변하는가?
• RQ3 단위 스chu르 채널 중 단위 채널의 볼록조합으로 표현될 수 없는 것이 존재하는가? 만약 그렇다면, 이러한 현상이 발생하는 차원 d는 무엇인가?
• RQ4 그로텐디크 상수는 단위 채널의 구조와 단위 채널에 의한 근사화에 어떻게 관련되어 있는가?
• RQ5 모든 단위 스chu르 채널이 $ K_d $ 배의 단위 대각 채널의 볼록결합 내에 포함되도록 보장하는 최소 상수 $ K_d $ 의 정확한 값은 무엇인가?

주요 결과

• 모든 $ d \to 4 $ 에 대해, $ K_{d,1}^{+} = K_d^{+} > 1 $ 이므로, 단위 스chu르 채널 중 단위 채널의 볼록조합으로 표현될 수 없는 것이 존재하며, 이는 $ d \to 4 $ 에서 $ \text{Conv}(\text{D}_d^+) \ni \text{Schur channels} $ 의 포함관계가 엄밀히 성립하지 않음을 증명한다.
• 상수 $ K_d^{+} $ 는 어떤 전연의 상수 $ \beta $ 에 대해 $ \beta \text{log}\thinspace d \to K_d^{+} \to \beta \text{log}\thinspace d $ 를 만족하며, 이는 $ d \to \infty $ 일 때 $ K_d^{+} \to \text{const} \times \text{log}\thinspace d $ 라는 점을 의미한다.
• 최초의 정수 $ d $ 에서 $ K_d^{+} > 1 $ 이 되는 것은 $ d = 4 $ 이며, 따라서 $ d \to 3 $ 에서는 $ K_d^{+} = 1 $ 이고, 이는 $ d \to 3 $ 에서 $ \text{Conv}(\text{D}_d^+) \ni \text{Schur channels} $ 는 등식이 성립함을 의미한다.
• 모든 $ d \to 4 $ 에 대해 AQBC에 대한 명시적 반례가 존재한다. 이러한 채널은 점점 커지는 영역에서 단위 채널의 볼록조합으로 근사될 수 없기 때문이다.
• 결과적으로 그로텐디크 부등식과 AQBC 사이에 직접적인 연결 고리가 설정되었으며, 이는 그로텐디크 상수 $ K_G $ 가 점점 커지는 영역에서의 근사 오차를 제어함을 보여준다.
• 이 논문은 $ d \to 4 $ 에서 단위 스chu르 채널의 집합이 단위 채널의 볼록결합보다 엄밀히 더 크다는 것을 확인함으로써, AQBC가 일반적으로 참이 아님을 반박한다.