[논문 리뷰] Criteria of positivity for linear maps constructed from permutation pairs

Haili Zhao, Jinchuan Hou|arXiv (Cornell University)|2013. 02. 01.

Advanced Topics in Algebra참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $M_n$에서 순열 쌍으로 구성된 $D$-형 선형 사상의 양성에 대한 새로운 기준을 수립한다. 순열 쌍에 대해 '성질 (C)'을 도입하고, 이 성질을 만족하는 쌍이 있을 경우 관련 사상이 양성이 됨을 증명한다. 주요 결과는 순열이 단일 순환의 거듭제곱인 경우에 대해 간단하고 검증 가능한 양성 조건을 제공하여 양자 정보 이론에서 새로운 양성 사상을 구성할 수 있게 한다.

ABSTRACT

In this paper, we show that a $D$-type map $Φ_D:M_n ightarrow M_n$ with $D=(n-2)I_n+P_{π_1}+P_{π_2}$ induced by a pair $\{π_1,π_2\}$ of permutations of $(1,2,..., n)$ is positive if $\{π_1,π_2\}$ has property (C). The property (C) is characterized for $\{π_1,π_2\}$, and an easy criterion is given for the case that $π_1=π^p$ and $π_2=π^q$, where $π$ is the permutation defined by $π(i)=i+1$ mod $n$ and $1\leq p

연구 동기 및 목표

• 순열 쌍으로 구성된 $M_n$에서의 $D$-형 선형 사상의 양성 조건을 개발하는 것.
• 관련 $D$-형 사상의 양성을 보장하는 새로운 성질인 '성질 (C)'을 정의하고 특성화하는 것.
• 단일 순환 순열 $\pi(i) = i+1 \mod n$의 거듭제곱인 경우에 대해 실용적인 양성 조건을 제공하는 것.
• 한 개의 순열에서 유도된 $D$-형 사상의 양성에 관한 기존 결과를 두 개 이상의 순열로 구성된 사상으로 확장하는 것.
• 양성 사상의 구축을 통해 양자 정보 이론에서 얽힘 탐지 및 얽힘 증거 설계에 기여하는 것.

제안 방법

• 순열 쌍 $\{\pi_1, \pi_2\}$에 대해 관련 $D$-형 사상이 양성이 되기 위한 필요 및 충분 조건인 새로운 조합적 성질인 '성질 (C)'을 도입하는 것.
• 곱 제약 조건 하에서 대칭 유리함수를 포함하는 두 개의 핵심 부등식(보조정리 2.1 및 2.2)을 개발하여, 양성 조건을 분석하는 데 사용하는 것.
• 순열의 순환 분해를 이용하여 관련 순열 행렬 $P_{\pi_1}, P_{\pi_2}$의 구조와 $D$-행렬에서의 대각 보정에 대한 작용을 분석하는 것.
• 만약 $\{\pi_1, \pi_2\}$가 성질 (C)를 갖는다면, $D = (n-2)I_n + P_{\pi_1} + P_{\pi_2}$인 $D$-형 사상 $\Phi_D$가 양성임을 증명하는 것.
• 순열 $\pi$가 순환 이동 $\pi(i) = i+1 \mod n$일 경우에 대해, $\pi_1 = \pi^p$, $\pi_2 = \pi^q$로 설정하고, $p, q, n$에 대한 명시적인 수론적 조건을 유도하여 양성 조건을 도출하는 것.
• 단형태의 유리함수 $f(x_1,\dots,x_n)$의 단형태에서의 최대값을 사용하여 양성 조건을 테스트하는 것으로 문제를 $\sup f \leq 1$ 여부 확인으로 단순화하는 것.

실험 결과

연구 질문

• RQ1 순열 쌍 $\{\pi_1, \pi_2\}$가 어떤 조건을 만족할 경우, $D = (n-2)I_n + P_{\pi_1} + P_{\pi_2}$인 $D$-형 사상 $\Phi_D$가 양성이 되는가?
• RQ2 단일 순환의 거듭제곱인 두 순열 $\pi^p$와 $\pi^q$가 양성인 $D$-형 사상을 유도하기 위한 필수 및 충분 조건은 무엇인가?
• RQ3 $D$-형 사상의 양성이 순열 쌍으로부터 유도될 때, 조합적 또는 수론적 기준으로 결정될 수 있는가?
• RQ4 성질 (C)는 이러한 사상의 양성에 필수적인 조건인가, 아니면 성질 (C)를 만족하지 않지만 양성인 사상이 존재하는가?
• RQ5 결과를 $n = 2^N$ 차원으로 특수화할 경우, 특히 양자 정보 이론에서 관심이 많은 경우에 어떻게 적용할 수 있는가?

주요 결과

• 순열 쌍 $\{\pi_1, \pi_2\}$가 성질 (C)를 갖는 것은, $D = (n-2)I_n + P_{\pi_1} + P_{\pi_2}$인 관련 $D$-형 사상 $\Phi_D$가 양성임과 정확히 동치이다.
• 순환 이동 $\pi(i) = i+1 \mod n$일 때, $D$-형 사상 $\Phi_{n,p,q}$는 $\{\pi^p, \pi^q\}$가 성질 (C)를 만족할 경우에 양성이다. 이는 $q-p$가 홀수이거나, $p$와 $q-p$가 특정 나눗셈 조건을 만족할 경우에 성립한다.
• 만약 $n = 2^N$이고 $N \geq 2$일 경우, $\Phi_{n,p,q}$는 $q-p$가 홀수이거나, $q-p = 2^b$이고 $p = d2^b$일 때 $1 \leq d \leq 2^{N-b}-1$이거나, 더 일반적으로 $q-p = 2^b r$이고 $r$가 홀수이며 $p = 2^b(2^{N-b} - d r)$일 때 $1 \leq d \leq (2^{N-b}-1)/r$일 경우에 양성이다.
• 표준 단형태에서 함수 $f(x_1,\dots,x_n) = \sum_{i=1}^n \frac{x_i}{2x_i + x_{i+1} + x_{i-1}}$의 최대값은 $n=4$일 때 정확히 1이며, 이는 $\{\pi, \pi^3\}$가 성질 (C)를 만족하지 않더라도 $\Phi_{4,1,3}$의 양성을 확인한다.
• 성질 (C)는 양성에 대해 충분 조건이지만 필수 조건은 아님을, $n=4$, $p=1$, $q=3$일 때의 반례를 통해 보여주었다. 이 경우 사상은 양성임에도 불구하고 쌍은 성질 (C)를 만족하지 않는다.
• 논문은 $n=5,7,8,16$에 대해 명시적인 예를 제시하여 어떤 $(p,q)$ 쌍이 양성 사상을 유도하는지 보여주며, 양자 정보 응용 분야에서 이러한 사상을 구축하는 데 실용적인 안내를 제공한다.