Entanglement Meter: Estimation of entanglement with single copy in Interferometer

기술 요약: 엔탱글먼트 미터(Entanglement Meter): 간섭계 내 단일 복사본을 이용한 얽힘 추정

문제 정의
복합 시스템에서 고차원 얽힘(high-dimensional entanglement)을 효율적으로 실험적으로 인증하고 정량화하는 것은 여전히 중요한 과제로 남아 있다. 양자 상태 토모그래피(quantum state tomography)와 같은 표준 방식은 수많은 독립적 파라미터를 추정해야 하므로, 수많은 측정과 복잡한 고전적 후처리 과정을 필요로 한다. 또한, 알려진 밀도 행렬로부터 얽힘 모노톤(entanglement monotones)을 평가하는 것은 차원이 증가함에 따라 계산적으로 NP-hard 문제가 된다. 기존의 얽힘 측정 제안들은 입력 상태의 여러 복사본을 사용하거나 무작위 유니타리 연산에 대해 평균을 내는 방식에 의존하는 경우가 많으며, 이는 자원 집약적일 수 있다. 저자들은 마흐-젠더 간섭계(Mach-Zehnder interferometer)를 사용하여, 전체 상태 토모그래피 없이 단일 복사본의 입력 상태로부터 간섭 패턴을 통해 직접 얽힘을 탐지하고 추정할 수 있는 "엔탱글먼트 미터"를 설계할 수 있는지 탐구함으로써 이러한 한계를 해결하고자 한다.

방법론
본 논문은 제어 큐비트(간섭계 암, interferometric arm)가 타겟 양자 시스템(밀도 연산자 $\rho$로 기술됨)에 작용하는 제어-유니타리(controlled-unitary) 연산을 지배하는 마흐-젠더 간섭계 설정을 활용한다. 이 진화 과정은 아다마르 게이트(Hadamard gates), 위상 변화(phase shift), 그리고 제어-유니타리 $U$의 순서로 이루어진다. 출력단의 강도 패턴은 가시도(visibility) $V = |\text{tr}(U\rho)|$와 위상 변화 $\alpha = \arg[\text{tr}(U\rho)]$를 산출한다.

저자들은 얽힘 척도를 추출하기 위해 특정 유니타리 연산자 $U$와 입력 상태 구성을 제안한다:

1. 선형 얽힘 엔트로피 (순수 상태):

   • 설정: 감소된 부분계(reduced subsystem) $\rho_A$의 단일 복사본을 다른 암에 있는 최대 혼합 상태 $I_B/d$와 함께 간섭계에 주입한다.
   • 유니타리: 오라클 유니타리 $U = (I - 2P)$를 적용하며, 여기서 $P = |\Psi\rangle_{AB}\langle\Psi|$는 미지의 이분 순수 상태의 투영 연산자이다.
   • 메커니즘: 간섭 가시도가 감소된 상태의 순도(purity)인 $\text{tr}(\rho_A^2)$와 직접적으로 연관되어 있음을 보여준다. 2-큐비트 순수 상태의 경우, 가시도 $V$는 선형 얽힘 엔트로피 $E(|\Psi\rangle)$와 같다.
   • 혼합 상태로의 확장: 볼록 지붕 구성(convex roof construction)을 사용하여, 저자들은 가시도가 임의의 혼합 상태에 대한 볼록 지붕 확장 선형 엔트로피의 상한(upper bound)을 제공한다는 부등식을 도출한다.

2. 네거티비티(Negativity) 척도:

   • 설정: 결합 상태 $\rho_{AB}$의 단일 복사본을 사용한다.
   • 유니타리: 특정 유니타리 $U = e^{i\theta X_A} \otimes e^{i\theta X_B}$를 적용하며, 여기서 $X$는 비대각 기저 요소들로부터 구성된 에르미트 연산자이다.
   • 메커니즘: 순수 2-큐비트 상태의 경우, 가시도는 네거티비티에 직접 비례한다. 차원이 $d > 2$인 경우, 저자들은 연산자 $X$의 성질을 사용하여 가시도와 네거티비티 사이의 관계를 도출한다.
   • 혼합 상태: 이 방법은 특정 클래스의 혼합 상태(최대 얽힘 상태와 클래식-클래식 상태의 혼합물)에 대해 정확한 네거티비티를 제공함을 보여주며, 이는 선형 엔트로피 방법이 이 경우 상한만을 제공하는 것과 대조된다.

3. 상호 예측 가능성(Mutual Predictability) 및 얽힘 위트니스(Entanglement Witnesses):

   • 상호 예측 가능성: 상호 무 biais 기저(mutually unbiased bases, MUBs)에서의 국소 측정을 수행하는 대신, 저자들은 특정 기저에서의 대각 성분으로 투영되는 유니타리 연산자 $U_{O_A, O_B}$를 구성한다. 간섭 패턴의 가시도는 상호 예측 가능성 값을 직접 산출한다. 가시도의 합에 대한 분리 가능성(separability) 경계의 위반은 얽힘을 나타낸다.
   • 얽힘 위트니스 (SWAP 연산자): 저자들은 간섭계를 사용하여 SWAP 연산자(얽힘 위트니스)의 기댓값을 측정할 것을 제안한다. 유니타리 $U$를 SWAP 연산자(또는 그 함수)로 설정함으로써, 간섭 패턴의 위상 변화는 $\text{tr}(W\rho)$의 부호에 민감해진다. $\pi$의 위상 변화는 음의 기댓값을 나타내며, 이는 얽힌 상태를 의미한다(특히 베르너 상태(Werner states)에 대해 입증됨).

주요 결과

• 단일 복사본 효율성: 본 논문은 선형 엔트로피와 네거티비티가 입력 상태(감소된 상태 또는 결합 상태)의 단일 복사본만을 사용하여 측정될 수 있음을 입증하며, 이는 기존의 양자 네트워크 제안에서 요구되는 두 개의 복사본을 필요로 하지 않는다.
• 직접적인 가시도 측정: 임의의 2-큐비트 순수 이분 상태에 대해, 간섭 가시도는 얽힘(선형 엔트로피 또는 네거티비티)의 직접적인 척도이다.
• 위상 민감도: 간섭계의 위상 변화는 분리 가능성의 징표 역할을 한다. 구체적으로, SWAP 연산자 위트니스의 경우, 얽힌 상태는 분리 가능한 상태에 비해 $\pi$의 위상 변화를 유도한다.
• 국소 MUB 측정 불필요: 특정 차원에서 분리 가능성의 필요충분조건인 상호 예측 가능성은 명시적인 국소 MUB 측정을 수행하지 않고도 강도 패턴으로부터 추출될 수 있다.
• 자원 경제성: 제안된 방법들은 완전한 양자 상태 토모그래피나 재구성된 밀도 행렬으로부터 얽힘 모노톤을 평가하는 데 따르는 계산 복잡성을 피한다.

의의 및 주장
저자들은 자신들의 제안이 순수 상태와 혼합 상태 모두에서 얽힘을 효율적으로 탐지하고 정량화하기 위한 간섭계 설정의 강력함을 입증한다고 주장한다. 주요 의의는 휴대 가능한 "엔탱틀먼트 미터"를 설계할 수 있는 잠재력에 있다. 이러한 장치는 사용자가 복잡한 상태 재구성이나 다수의 복사본 없이, 단순히 간섭 가시도나 위상 변화를 관찰함으로써 한 쌍의 시스템에 존재하는 얽힘의 존재와 양을 검증할 수 있게 해준다. 저자들은 이 결과가 양자 기술, 예를 들어 제조업체에서 공급하는 얽힌 쌍의 품질을 검증하는 데 응용될 수 있다고 제안한다. 저자들은 이러한 결과들이 기존 기술로 테스트 가능하며, 다입자(multipartite) 시스템으로의 일반화를 위한 길을 열어준다고 주장한다.