Certifying classes of $d$-outcome measurements with quantum steering

본 논문은 준-장치 독립적 설정에서 $d$-결과 투영 측정과 최대 얽힌 상태의 광범위한 클래스를 인증하기 위해 맞춤 설계된 스티어링 부등식 군을 제안하며, 이들의 최대 양자 위반이 순수 상태나 투영 측정을 가정하지 않고도 견고한 자기 테스트를 가능하게 함을 보여준다.

핵심

당신이 미스터리한 첨단 자물쇠(양자 장치)가 진짜인지 확인하려는 형사라고 상상해 보십시오. 보통 자물쇠가 진짜임을 증명하려면 자물쇠를 분해하고 모든 기어와 스프링을 검사하며 제조사가 사용한 도구가 무엇인지 정확히 알아야 합니다. 이는 '완전 장치 인증'과 같지만, 비용이 많이 들고 느리며 제조사가 사용한 도구에 대해 진실을 말해줬다고 믿어야 합니다.

장치 독립적 인증은 더 지적인 방법입니다. 마스터 키로 자물쇠를 따기만 하면 됩니다. 가짜 자물쇠로는 수학적으로 불가능한 방식으로 열리면, 내부를 한 번도 보지 않고도 그것이 진짜임을 알 수 있습니다. 그러나 이 '마스터 키' 방식은 방대한 양의 테스트가 필요하기 때문에 현실 세계에서 사용하기 매우 어렵습니다.

'스텔링 (Steering)'이라는 단축키
이 논문은 반-장치 독립적 (SDI) 인증이라는 중간 접근법을 소개하며, 구체적으로 양자 스텔링이라는 개념을 사용합니다.

두 사람, 앨리스와 밥이 별도의 방에 있는 게임이라고 생각해 보십시오.

• 앨리스는 '신뢰받는 형사'입니다. 그녀는 완벽하게 작동하는 것으로 알려진 신뢰할 수 있는 도구 세트 (측정) 를 가지고 있습니다.
• 밥은 '회의론자'입니다. 그는 우리가 아무것도 모르는 신비로운 도구 상자 (측정) 를 가지고 있습니다. 고장 났거나, 가짜이거나, 다른 재질로 만들어졌을 수도 있습니다.

목표는 밥의 신비로운 상자에 특정 고품질 도구가 들어있음을 증명하고, 앨리스와 밥 사이의 '연결 (양자 상태)'이 완벽한 최대 얽힘 링크임을 입증하는 것입니다.

논문의 핵심 아이디어: '하이젠베르크 - 웨일 (Heisenberg-Weyl)' 레시피
저자들은 밥의 상자를 검사하기 위한 새로운 일련의 '테스트 (스텔링 부등식)'를 개발했습니다.

1. 레시피: 그들은 '하이젠베르크 - 웨일 연산자'라는 기본 구성 요소를 섞어 설명할 수 있는 특정 양자 측정 가족에 집중했습니다. 이러한 연산자를 양자 역학의 기본 재료 (밀가루, 설탕, 달걀 등) 로 상상해 보십시오. 밥의 도구는 바로 이러한 재료들의 특정 조합일 뿐입니다.
2. 테스트: 저자들은 수학적 부등식 (점수판) 을 설계했습니다. 앨리스와 밥이 특정 도구를 사용하여 게임을 하고 점수가 가능한 절대 최대값에 도달하면 두 가지가 입증됩니다.
   • 그들 사이의 연결은 완벽한 '양자 로프 (최대 얽힘 상태)'입니다.
   • 밥의 신비로운 도구는 우리가 그의 상자를 들여다보지 않았음에도 불구하고 저자들이 예측한 특정 '레시피'와 정확히 일치합니다.
3. 마술: 가장 놀라운 점은 이 증명이 다음 상황에서도 작동한다는 것입니다.
   • 그들 사이의 연결이 완벽한 순수한 로프가 아닐지라도 (약간 지저분하고 섞인 로프일 수 있음).
   • 밥의 도구가 완벽한 '투영 (projective)' 측정이 아닐지라도 (약간 흐릿하거나 불완전할 수 있음).
   • 이러한 불완전함에도 불구하고, 그들이 최고 점수를 기록한다면 우리는 그들이 근본적으로 완벽한 도구와 완벽한 연결을 사용하고 있음을 사실로 알 수 있습니다.

'노이즈' 요인
이 논문은 이 테스트가 얼마나 견고한지도 확인합니다. 현실 세계에서는 것들이 노이즈 (전화 통화의 정적과 같은 것) 를 일으킵니다. 저자들은 점수가 완전히 최대값은 아니더라도 그와 매우 가까우면, 밥의 도구와 연결이 이상적인 버전과 매우 가깝다는 것을 확신할 수 있음을 보였습니다. 약간 음정이 틀린 노래를 들어도 멜로디를 완벽하게 알아차리는 것과 같습니다.

왜 이것이 중요한가
이전에는 이러한 복잡한 양자 도구를 인증하려면 엄청난 수의 테스트 (자동차 엔진의 모든 기어를 하나씩 확인하는 것과 같은) 를 수행해야 했습니다. 이 새로운 방법은 올바른 모델인지 알기 위해 자동차 엔진 소리와 속도를 확인하는 것과 같습니다. 이는 매우 크고 유용한 양자 측정 클래스를 인증할 수 있게 하면서도 비용과 노력을 크게 줄여줍니다.

요약:
이 논문은 양자 형사들을 위한 새로운 효율적인 '치트 시트'를 제공합니다. 이를 통해 형사들은 장치의 내부 작동 방식을 신뢰하거나 지칠 대로 지치는 수의 테스트를 수행하지 않고도 신비로운 양자 장치가 특정 복잡한 측정을 사용하고 있으며 완벽한 양자 링크로 연결되어 있음을 확인할 수 있습니다. 장치가 약간 노이즈가 있거나 불완전하더라도 작동합니다.

기술 요약

기술 요약: 양자 스티어링을 통한 d-결과 측정 클래스의 인증

문제 제기
장치 독립적 (DI) 인증 체계, 특히 벨 부등식을 기반으로 한 자기 테스트는 기저 하드웨어에 대한 최소한의 가정만으로 양자 상태와 측정을 검증할 수 있는 가장 강력한 형태의 검증을 제공합니다. 그러나 이러한 체계는 구현 비용이 지나치게 높아, 단일 상태나 관측량을 인증하기 위해 많은 수의 측정 설정 (예: 차원 $d$의 실수 투영 측정에 대해 $O(d^3)$) 이 필요합니다. 양자 스티어링과 같은 반장치 독립적 (SDI) 체계는 한 당사자 (앨리스) 가 신뢰할 수 있고 알려진 측정을 수행하는 반면, 다른 당사자 (밥) 는 신뢰할 수 없는 임의의 측정을 수행한다는 가정을 통해 중간 지점을 제공합니다. 이전의 SDI 자기 테스트 연구들은 특정 측정 클래스 (예: 상호 무관한 기저) 를 다루거나, 신뢰할 수 있는 당사자가 새로운 목표마다 측정을 변경해야 한다는 요구사항을 가졌으나, 고정된 신뢰할 수 있는 측정 세트를 사용하여 광범위한 d-결과 측정 클래스를 인증할 수 있는 일반적인 프레임워크에 대한 필요성은 여전히 존재합니다.

방법론
저자들은 신뢰할 수 없는 측측 (밥) 에서의 광범위한 d-결과 투영 측정을 인증하기 위해 맞춤화된 스티어링 부등식 군을 구성하는 방법을 제안합니다. 이 시나리오에는 국소 차원이 $d$인 임의의 양분 상태 $\rho_{AB}$를 공유하는 두 당사자, 앨리스와 밥이 포함됩니다.

• 앨리스의 설정: 앨리스는 하이젠베르크 - 웨일 (HW) 연산자 $A_x = XZ^{-x}$로 정의된 $d$개의 신뢰할 수 있고 알려진 투영 측정을 수행합니다. 여기서 $X$와 $Z$는 일반화된 파울리 연산자입니다.
• 밥의 설정: 밥은 $d$개의 임의의 d-결과 측정 $B_y$를 수행합니다. 인증할 목표 측정은 HW 연산자의 단위 선형 결합으로 정의됩니다: $B_y = \frac{1}{d} \sum_{k,j} e^{i\phi_{j\oplus 1, y}} \omega^{-kj} XZ^k$. 여기서 $\{\phi_{j,y}\}$는 특정 제약을 만족하는 실수 매개변수입니다.
• 스티어링 부등식 구성: 저자들은 측정 결과의 푸리에 변환을 사용하여 일반화된 상관관계를 정의합니다. 그들은 앨리스의 HW 연산자 거듭제곱과 밥이 구성한 연산자 $\tilde{B}^{(n)}_k$의 텐서 곱의 합으로 스티어링 연산자 $S$를 구성합니다. 계수 $\gamma^{(n)}_{yk}$는 기준 측정이 직교 조건을 만족하도록 선택되어, 특정 HW 거듭제곱을 분리하기 위해 선형 결합을 역전시킬 수 있게 합니다.
• 자기 테스트 프레임워크: 본 논문은 공유된 상태가 순수 상태이거나 밥의 측정이 투영적이라고 가정하지 않는 자기 테스트 증명을 개발합니다. 양자 상한을 확립하기 위해 제곱의 합 (SOS) 분해를 활용하고, 최대 위반에 필요한 조건을 유도합니다.

주요 기여 및 결과

1. 일반화된 스티어링 부등식: 본 논문은 밥 측측의 하이젠베르크 - 웨일 연산자의 임의의 선형 결합에 맞춤화된 스티어링 부등식 군 (식 23) 을 제시합니다. 이전 연구들에서 신뢰할 수 있는 당사자가 측정을 적응해야 했던 것과 달리, 앨리스는 밥이 인증받는 특정 목표 측정과 관계없이 고정된 측정 세트 ($A_x = XZ^{-x}$) 를 수행합니다.
2. 최대 양자 위반: 저자들은 이러한 부등식의 최대 양자 값이 $\beta_Q = d(d-1)$임을 증명합니다. 이 최댓값은 두 개의 쿼디트가 가진 최대 얽힘 상태 $|\phi^+_d\rangle$와 선택된 매개변수 $\{\phi_{j,y}\}$로 정의된 특정 기준 측정에 의해서만 유일하게 달성됩니다.
3. 강건한 자기 테스트 정리:
   • 정리 1 및 2: 저자들은 스티어링 부등식의 최대 위반이 공유된 상태가 (국소 단위 변환 및 보조 시스템을 제외하고) 최대 얽힘 상태와 동등함을 의미하며, 밥의 측정이 목표 기준 측정과 동등함을 증명합니다. 중요한 점은 이 결과가 초기 상태가 혼합 상태이고 밥의 측정이 비투영적일지라도 성립한다는 것입니다.
   • 정리 3 (강건성): 쿼트리트 경우 ($d=3$) 에 대해 본 논문은 강건성 분석을 제공합니다. 관측된 값이 최대 위반으로부터 $\epsilon$ 이내에 있을 경우, 상태와 측정이 이상적인 기준으로부터 $\epsilon^{1/4}$에 비례하는 인자로 근접함을 보여줍니다.
4. 고전적 상한: 본 논문은 특정 매개변수 세트에 대해 쿼트리트 경우의 고전적 상한 $\beta_C$를 수치적으로 그리고 해석적으로 계산하여, $\beta_C < \beta_Q$임을 보여 부등식이 비자명하며 자기 테스트가 가능함을 입증합니다.

의의
본 논문은 반장치 독립적 인증의 범위를 확대했다고 주장합니다. 고정된 신뢰할 수 있는 측정 세트를 사용하여 광범위한 d-결과 측정 클래스를 인증할 수 있는 스티어링 부등식을 구성함으로써, 저자들은 완전한 장치 독립적 체계에 비해 더 일반적이면서도 비용이 덜 드는 양자 인증 프로토콜로 가는 경로를 제공합니다. 이 연구는 스티어링 시나리오 내에서 혼합 상태와 비투영 측정에 대한 자기 테스트가 가능함을 보여주어, 이전의 DI 및 SDI 방법의 한계를 해결합니다. 저자들은 그들의 체계가 완전한 DI 체계에 비해 측정 복잡성을 줄였음을 지적하지만, 측정 횟수를 $d$에서 스티어링에 필요한 최소인 $2$로 줄이는 것과 이러한 부등식을 완전한 장치 독립적 시나리오로 확장하는 것은 여전히 열린 질문으로 남아있다고 언급합니다.