주요화와 순수 상태 얽힘 자원

1. 허용 연산부터 명시하자

Alice와 Bob이 알려진 이분 순수 상태 한 복사본을 갖고 다른 이분 순수 상태로 바꾸려 한다. 각자의 국소 양자 연산과 고전 메시지 교환을 허용하며 이를 LOCC라 부른다. 큐비트를 자유롭게 보내거나 공유 얽힘을 공짜로 만들 수는 없다. 이번 과제는 이 조건에서 한 복사본의 정확 전환이다.

다수 복사본의 근사 증류, 혼합 상태 전환, 추가 얽힘 촉매를 쓰는 전환과는 다르다. 모두 얽힘이라는 말을 쓰지만 같은 전환 규칙을 따를 필요는 없다.

텐서곱·Schmidt 분해 선수 단원을 복습하자.

2. 입력은 Schmidt 확률이다

Schmidt 형태로 쓰면

이다. $\lambda_i$는 확률이며 진폭 $\sqrt{\lambda_i}$가 아니다. 어느 한쪽 축약 밀도행렬의 고유값이다. 국소 기저를 바꿔도 변하지 않는다. 목록 길이가 다르면 공통 국소 공간에서 짧은 쪽에 0을 붙여 비교한다.

Bell 쌍의 확률은 $(1/2,1/2)$, 곱 상태는 $(1,0)$이다. 이분 순수 상태의 얽힘 엔트로피는 bit 단위의 $H(\lambda)$다. 임의 혼합 상태까지 같은 해석을 바로 확장하지 않는다.

3. 주요화의 방향을 보이게 정의하자

내림차순 확률 벡터에 대해 $\lambda\prec\mu$는

이고 전체 합에서는 등호라는 뜻이다. 더 균등한 벡터가 더 집중된 벡터에 의해 주요화된다. 예를 들어 $(1/2,1/2)\prec(1,0)$이다.

정확하고 결정론적인 순수 상태 LOCC 전환 조건은

다. 방향을 뒤집기 쉽다. Bell 쌍은 국소 연산으로 곱 상태가 될 수 있지만 곱 상태에서 LOCC만으로 Bell 쌍을 결정론적으로 만들 수는 없다. 구현할 때마다 이 물리적 점검을 사용하자.

4. 가장 큰 값만 보지 말고 모든 누적합을 검사하자

다음 벡터를 보자.

정방향 전환은 첫 누적합에서 실패한다. 역방향은 첫 항을 통과하지만 두 번째에서 $4/5>3/4$라 실패한다. 이 쌍은 결정론적 단일 복사본 LOCC에서 비교 불가능하다.

누적합 곡선을 그리면 두 곡선이 교차하여 두 방향의 장애가 보인다. 일반적으로 스칼라 점수 하나가 이 부분순서를 모두 표현할 수는 없다.

5. 엔트로피는 필요하지만 충분하지 않다

이 쌍은

다. 엔트로피 순서는 $\mu\to\lambda$가 가능할 여지를 주지만, 두 번째 누적합이 이를 금지한다. 엔트로피 비증가는 필요조건이지 이 차원에서 충분조건이 아니다.

Schmidt 무게가 두 개인 경우에는 하나의 비자명한 누적합이 스펙트럼을 정렬하며 엔트로피도 그 순서를 반영한다. 이 특수한 두 무게 상황을 높은 차원에 확대하면 안 된다. 계산기는 엔트로피를 누적합 증거와 함께 보여 주지만 전환 판정에는 쓰지 않는다.

6. 확률적 전환은 꼬리합 제약을 쓴다

정확 전환이 특정 공개 결과에서만 성공하고 다른 결과는 실패라고 선언될 수 있다. 내림차순 스펙트럼의 꼬리합을 $E_\ell(\lambda)=\sum_{i=\ell}^d\lambda_i$라 두면 Vidal의 최적 성공률은

다. 첫 꼬리합은 양쪽 모두 1이므로 최솟값은 1 이하이다. 목표 꼬리합이 0이면 제약이 없으므로 건너뛰며 $0/0$을 계산하지 않는다. 목표 꼬리합이 양수인데 출발 꼬리합이 0이면 성공률은 0이다. Schmidt rank를 늘릴 수 없다는 장애다.

이 식은 정리의 가정 아래 최적 확률을 준다. 계산했다고 해서 모든 입력에서 그 값을 달성하는 국소 측정 순서를 구현한 것은 아니다.

7. 두 방향의 성공률을 직접 구하자

4절의 정방향 꼬리합 비는

다. 따라서 $p_{\max}(\lambda\to\mu)=5/6$이다. 역방향 비는 $1,6/5,4/5$여서 최적 확률은 $4/5$다. 어느 방향도 결정론적으로 가능하지 않지만 두 방향 모두 양의 확률로 가능하다.

두 확률은 서로 역수가 아니다. 성공한 전환 후 역방향을 시도해도 전체 성공률은 1보다 작으며 실패 가지를 빼놓으면 안 된다. 공짜 얽힘 자원을 만드는 과정이 아니다.

출발이 곱 상태 $(1,0,0)$이고 목표가 얽힌 상태이면 양의 목표 꼬리합 중 출발 가중치가 0인 곳이 있으므로 성공률은 0이다.

8. 실제 LOCC 전환 하나를 구성하자

Bell 쌍에서 다음 목표로 간다.

Alice는 두 측정 연산자

를 사용한다. 제곱 연산자의 합은 항등행렬이며 각 결과의 확률은 $1/2$다. 결과0은 이미 $|\phi\rangle/\sqrt2$다. 결과1은 $(3|00\rangle+4|11\rangle)/(5\sqrt2)$이므로 Alice가 결과를 알리고 두 사람이 모두 $X$를 적용하면 같은 $|\phi\rangle/\sqrt2$가 된다.

조건부 보정을 포함하면 결정론적 전환이다. 출발 확률 $(1/2,1/2)$는 정렬된 목표 $(16/25,9/25)$에 의해 주요화된다. 유용한 한 가족의 실제 구성이며, 일반 LOCC 합성기나 임의 스펙트럼의 Vidal 최적 프로토콜 증명은 아니다.

9. 해설과 함께 푸는 문제

1. 확률과 진폭. $(4|00\rangle+3|11\rangle)/5$의 입력 벡터는? 해설: $(16/25,9/25)$다. $(4/5,3/5)$가 아니다.
2. 방향 확인. Bell 쌍에서 곱 상태로 갈 수 있을까? 해설: $(1/2,1/2)\prec(1,0)$이므로 가능하다. 역방향은 실패한다.
3. 비교 불가능성. 4절의 $\mu\to\lambda$는 어디서 실패할까? 해설: $k=2$에서 $4/5>3/4$다.
4. 꼬리합 확률. 같은 쌍의 정방향 최적 확률은? 해설: 최소 꼬리합 비 $5/6$이다.
5. 영 꼬리합. 목표 꼬리합이 0이면? 해설: 건너뛴다. 분모 0은 유한 비율 제약이 아니다.
6. 실제 측정. 8절에는 왜 실패 후선택이 필요 없을까? 해설: 두 결과가 각각 확률 $1/2$이고 모두 같은 목표로 보정되어 전체 성공률이 1이다.

10. 확장과 계산의 경계

촉매, 근사 전환, 혼합 상태 얽힘, 다수 복사본 증류, 유한 자원 비율에는 추가 모형과 정리가 필요하다. 누적합 등호 근처의 유리수 스펙트럼을 반올림 엔트로피나 누적합으로 분류하면 안 된다. 모형은 정확한 위반과 영 꼬리합을 보존한다.

AI 연구에 유용한 비유는 비교 불가능한 여러 단조량을 가진 자원 제약 의사결정이다. 하나의 종합 점수가 금지된 전환을 숨길 수 있다. 일반 모형 표현이 LOCC를 따른다는 주장은 아니다.

일차 결과는 Nielsen의 결정론적 전환 정리, Vidal의 최적 확률적 전환이다. 독립 검증은 구현의 누적합 비교와 별도로 목표 순열의 정확한 볼록 결합을 검사한다.