Konsep Inti
양자 채널 N을 통한 M차원 메시지 전송의 최적 충실도 F(N, M)를 효율적으로 근사할 수 있는 방법을 제시한다. 이를 위해 SDPn(N, M) 프로그램의 대칭성을 활용하여 다항식 시간 내에 해를 구할 수 있음을 보인다.
Abstrak
이 논문은 양자 정보 이론에서 중요한 문제인 양자 채널 충실도 F(N, M)를 효율적으로 근사하는 방법을 제안한다.
-
최근 연구에서 SDPn(N, M)이라는 점근적으로 수렴하는 반한정 계획법 계층이 제안되었다. 이 계층은 F(N, M)을 외부에서 근사할 수 있지만, 계층 수준 n이 증가함에 따라 행렬 변수의 크기가 지수적으로 증가하여 계산이 비효율적이다.
-
본 논문에서는 SDPn(N, M) 프로그램의 대칭성을 활용하여 이를 효율적으로 계산할 수 있는 방법을 제시한다. 구체적으로:
- 대칭군 Sn의 자연스러운 작용을 이용하여 SDPn(N, M)의 탐색 공간을 불변 부공간으로 제한할 수 있음을 보인다.
- 표현론의 도구를 활용하여 이 불변 부공간을 효율적으로 표현하고, 이를 통해 SDPn(N, M)을 다항식 시간에 계산할 수 있는 등가 반한정 계획법 프로그램 Φ(SDPn(N, M))을 구성한다.
- 결과적으로 F(N, M)을 ϵ 정확도로 다항식 시간에 근사할 수 있음을 보인다.
-
이 방법은 양자 채널의 출력 차원이 고정된 경우에도 적용 가능하다.
Statistik
양자 채널 N의 입력 차원을 d_A, 출력 차원을 d_B, 메시지 차원을 M이라 할 때, 다음과 같은 결과를 얻을 수 있다:
Φ(SDPn(N, M)) 프로그램의 변수 개수는 O(d_A^2 d_A^2 (n + 1)^(d_B d_A^2))이다.
Φ(SDPn(N, M)) 프로그램의 PSD 제약 조건 개수는 O((n + 1)^(d_B d_A))이다.
각 PSD 제약 조건의 행렬 크기는 최대 O(d_A d_A d_B (n + 1)^(d_B d_A (d_B d_A - 1)/2))이다.
Kutipan
"양자 채널 N을 통한 M차원 메시지 전송의 최적 충실도 F(N, M)를 ϵ 정확도로 다항식 시간에 근사할 수 있다."