Local state antimarking : Nonlocality without entanglement

본 논문은 국소 상태 반표시 (LSAM) 작업을 도입하여 얽힘이 없는 비국소성의 한 형태를 입증하고, 임의의 상호 직교하는 다부 분자 순상태 앙상블은 국소적으로 반구별 가능하지만 전역적으로 반구별 가능하면서 국소적으로는 반구별 불가능한 곱상태 앙상블이 존재함을 보여줌으로써 국소 상태 반구별성, 반표시 및 이들의 확정적 구별과 표시 대응물 사이에 엄격한 위계 관계가 존재하지 않음을 규명한다.

핵심

"누구일까요?" 게임을 고위험으로 상상해 보세요. 하지만 약간의 변형이 있습니다. 상대방이 선택한 캐릭터가 정확히 누구인지 파악하려는 대신, 목표는 단순히 "나는 이 캐릭터가 아니라는 것을 확실히 압니다"라고 말하는 것입니다.

이 논문은 "얽힘 없는 비국소성"이라는 이상한 현상을 이해하기 위해 양자 게임을 새로운 방식으로 플레이하는 방법을 탐구합니다.

다음은 간단한 비유를 사용하여 이 논문의 아이디어를 정리한 것입니다:

1. 큰 미스터리: "얽힘 없는 비국소성"

일반적으로 양자 물리학에서 입자가 얽힘 상태일 때 (예: 아무리 멀리 떨어져 있어도 항상 같은 숫자가 나오는 두 개의 주사위처럼) "기괴한" (비국소적인) 현상이 발생합니다.

그러나 과학자들은 이상한 사실을 발견했습니다. 입자가 얽혀 있지 않더라도 (그저 분리된 독립적인 "곱" 상태일 뿐이라도), 서로 다른 방에 갇혀 전화로만 대화할 수 있는 경우 (국소 연산 및 고전 통신, 즉 LOCC) 식별이 불가능할 수 있다는 것입니다.

• 비유: 당신과 친구가 별도의 방에 있다고 상상해 보세요. 각각 카드 덱을 가지고 있습니다. 알려진 세트에서 특정 카드가 선택되었다고 알려줍니다. 만약 만나서 함께 할 수 있다면 카드를 쉽게 식별할 수 있습니다. 하지만 별도의 방에 갇혀 있다면, 카드 자체가 "마법"이나 얽힘 상태가 아니더라도 어떤 카드인지 단순히 파악할 수 없다는 사실을 발견할 수 있습니다. 이것이 "얽힘 없는 비국소성"입니다.

2. 이전 게임: "배제" (반구별)

이 논문은 **국소 상태 반구별 **(LSAD)이라는 과제를 먼저 살펴봅니다.

• 목표: 정확한 카드를 추측할 필요가 없습니다. 단지 한 장의 카드를 가리키며 "이것은 확실히 아닙니다"라고 말하면 됩니다.
• 발견: 저자들은 서로 완전히 다른 (직교하는) 카드 세트를 가지고 있다면, 별도의 방에 있더라도 이 게임을 항상 성공적으로 플레이할 수 있음을 발견했습니다.
• 반전: 과거에 식별이 불가능했던 유명한 "기괴한" 카드 세트 (예: 베넷의 9 장 카드 세트) 는 실제로 이 "배제" 게임을 플레이하기 쉽습니다. 하나의 옵션을 제외해 보려고만 하면 그들은 그 "기괴함"을 잃습니다.

3. 새로운 게임: "반표시" (LSAM)

그런 다음 저자들은 **국소 상태 반표시 **(LSAM)라는 더 어렵고 흥미로운 게임을 고안했습니다.

• 설정: 카드 한 장 대신, 심판이 카드 시퀀스 (예: 카드 A, 그다음 카드 B, 그다음 카드 C) 를 제공합니다.
• 반전: 카드는 복원 없이 뽑힙니다 (시퀀스 내에서 같은 카드를 두 번 받을 수 없습니다).
• 목표: 당신과 친구는 전화 통화를 사용하여 확실히 발생하지 않은 시퀀스를 식별해야 합니다. 올바른 순서를 추측할 필요는 없습니다. 단지 하나의 잘못된 순서가 불가능함을 증명하면 됩니다.

4. 놀라운 발견

발견 A: "기괴함"의 활성화
이 논문은 카드 세트가 이전 게임에서는 "정상적" (플레이하기 쉬움) 으로 보일 수 있지만, 새로운 게임에서는 "기괴한" (플레이 불가능) 것으로 변하는 이상한 현상을 발견했습니다.

• 비유: 잘못된 카드 한 장을 제외하기 쉬운 카드 세트를 상상해 보세요. 하지만 세 장의 카드 시퀀스를 제외해 보려고 하면, 갑자기 당신과 친구가 막히게 됩니다. 제삼자 (두 장의 카드를 한 번에 볼 수 있는 사람) 는 쉽게 할 수 있지만, 당신은 어떤 시퀀스도 잘못임을 증명할 수 없습니다.
• 결과: 이는 더 강력한 형태의 비국소성을 드러냅니다. 카드들은 얽혀 있지 않지만, 그 시퀀스가 국소 통신으로는 깨뜨릴 수 없는 장벽을 만들어냅니다.

발견 B: 엄격한 위계 부재
저자들은 이 양자 게임을 플레이하는 네 가지 다른 방법을 비교했습니다:

1. LSD: 정확한 카드를 추측합니다. (가장 어려움)
2. LSM: 정확한 시퀀스를 추측합니다.
3. LSAD: 잘못된 카드 하나를 제외합니다.
4. LSAM: 잘못된 시퀀스 하나를 제외합니다.

그들은 단순한 "가장 쉬움에서 가장 어려움"의 사다리가 없다는 사실을 발견했습니다.

• 어떤 카드 세트는 정확히 추측하는 것 (LSD) 은 불가능하지만 시퀀스를 제외하는 것 (LSAM) 은 쉽습니다.
• 다른 카드 세트는 단일 카드를 제외하는 것 (LSAD) 은 쉽지만 시퀀스를 제외하는 것 (LSAM) 은 불가능합니다.
• 교훈: 하나의 게임이 항상 다른 게임보다 "더 어렵다"고 말할 수 없습니다. 카드 세트는 한 게임에서는 "국소적" (쉬움) 이지만 다른 게임에서는 "비국소적" (기괴함) 일 수 있습니다.

5. 이것이 중요한 이유 (논문에 따르면)

이 논문은 게임의 규칙을 "정확한 상태를 추측하기"에서 "시퀀스를 제외하기"로 변경함으로써 양자의 기이함의 다른 층위를 볼 수 있다고 주장합니다.

• 엄격한 식별 규칙 하에서는 "정상적" (국소적) 으로 보이는 일부 상태는 시퀀스를 제외해 보려고 할 때 "기괴한" (비국소적) 것으로 드러납니다.
• 반대로, 엄격한 규칙 하에서는 "기괴한" 것으로 보이는 일부 상태는 옵션을 제외해 보려고 할 때 "정상적"으로 드러납니다.

요약하자면:
이 논문은 국소 상태 반표시라는 새로운 게임을 소개합니다. 이 게임을 통해 저자들은 양자 비국소성이 단일한 "켜기/끄기" 스위치가 아님을 보여줍니다. 그것은 스펙트럼입니다. 어떤 양자 상태 세트는 한 맥락에서는 완벽하게 정상적이지만, 얽힘을 사용하지 않은 채 다른 맥락에서는 국소적으로 해결할 수 없게 될 수 있습니다. 이는 과학자들이 분리된 상태에서 양자 시스템에 대해 우리가 무엇을 알 수 있는지에 대한 미묘하고 숨겨진 한계를 이해하는 데 도움이 됩니다.

기술 요약

기술적 요약: 국소 상태 반표식: 얽힘 없는 비국소성

문제 제기
얽힘 없는 양자 비국소성은 전역적으로 구별 가능한 상태 집합이 국소 연산 및 고전 통신 (LOCC) 으로 완벽하게 구별될 수 없는 현상을 설명합니다. 상태 구별 (LSD) 맥락에서 광범위하게 연구되어 왔으나, 최근 연구는 상태 배제 (준비되지 않은 상태를 식별) 나 상태 표식 (시퀀스의 순열을 식별) 과 같은 덜 까다로운 작업 하에서도 "비국소성"이 유지되는지 여부를 탐구해 왔습니다.

본 연구는 비국소성의 위계에서 두 가지 특정 작업을 조사함으로써 격차를 해소합니다:

1. 국소 상태 반구별 (LSAD): LOCC 만을 사용하여 앙상블 중 준비되지 않은 적어도 하나의 상태를 식별하는 능력.
2. 국소 상태 반표식 (LSAM): 당사자들이 비반복적 상태 시퀀스를 수신하고 LOCC 만을 사용하여 제공된 시퀀스가 아닌 적어도 하나의 순열 (시퀀스) 을 식별해야 하는 통합 작업.

핵심 문제는 배제 기반 패러다임과 확립된 구별 패러다임 (LSD, 확정적 LSD, 확정적 국소 상태 표식) 간의 관계를 규명하고, 단일 상태 배제에서 시퀀스 배제로 이동할 때 새로운 형태의 비국소성이 나타나는지 여부를 확인하는 것입니다.

방법론
저자들은 양자 정보 이론에 기반한 엄격한 이론적 틀을 활용하며, 특히 다음 사항에 중점을 둡니다:

• 반구별의 정의: "강한" 반구별 (모든 결과가 특정 상태를 배제하고 모든 상태가 배제 가능함) 과 "약한" 버전 사이의 구별. 본 논문은 강한 정의를 채택합니다.
• LOCC 프로토콜: 공간적으로 분리된 당사자들이 특정 상태나 시퀀스를 배제하기 위해 투영 측정을 수행하고 고전적으로 통신할 수 있는 능력을 분석합니다.
• 이론적 증명: 상태 집합의 분해에 관한 정리와 서로 직교하는 순수 상태의 속성을 활용하여 국소 반구별 조건을 유도합니다.
• 반례: 이러한 패러다임의 한계를 테스트하기 위해 직교 및 비직교 상태의 특정 앙상블을 구성합니다.

주요 기여 및 결과

1. 직교 상태의 국소 반구별성:
   본 논문은 근본적인 결과를 증명합니다: 어떤 직교 다부위 순수 상태 앙상블이라도 국소적으로 반구별 가능합니다.

   • 방법: 두 개의 직교 상태에 대한 국소 구별성에 관한 Walgate 등의 획기적인 결과를 바탕으로, 당사자들이 어떤 쌍에서도 적어도 하나의 상태를 제거할 수 있는 프로토콜을 구성합니다. 공유 무작위성을 활용하여 쌍을 선택함으로써 전체 집합이 반구별 가능함을 입증합니다.
   • 함의: 이는 Bennett 등이 도입한 유명한 "비국소" 곱상태 (국소적으로 구별 불가능한 상태) 가 실제로는 국소적으로 반구별 가능함을 의미합니다. 이러한 상태들의 비국소성은 LSAD 패러다임 하에서 소멸합니다.

2. 패러다임의 비동등성 (LSAD 대 CLSD):
   저자들은 LSAD 와 확정적 국소 상태 구별 (CLSD) 이 비교 불가능함을 입증합니다.

   • CLSD 하에서는 비국소적이지만 LSAD 하에서는 국소적인 곱상태 앙상블이 존재합니다.
   • 반대로, LSAD 하에서는 비국소적이지만 CLSD 하에서는 국소적인 앙상블 (예: Duan 상태) 이 존재합니다.
   • 이는 LSAD 가 CLSD 가 놓치는 뉘앙스를 드러내는 비국소성의 "강도"를 정량화하는 고유하고 정교한 척도를 제공함을 확립합니다.

3. 국소 상태 반표식 (LSAM) 의 도입:
   본 논문은 가능한 비반복적 시퀀스 집합에서 적어도 하나의 시퀀스를 배제하는 작업으로 정의된 LSAM 을 소개합니다.

   • 위계: 저자들은 함의 체인 $LSD \implies LSM \implies LSAM$ 및 $LSD \implies LSAD \implies LSAM$을 확립합니다. 따라서 집합이 LSAM 을 수행하지 못하면 다른 모든 작업을 수행하지 못한다는 것을 의미하며, 이는 더 강력한 형태의 비국소성을 나타냅니다.
   • 비국소성의 활성화: 중요한 발견은 비국소성의 "활성화"입니다. 저자들은 전역적으로 반구별 가능하지 않은 (따라서 단일 상태에 대한 국소 반구별 여부는 무의미함) 곱상태 앙상블을 제시합니다. 그러나 이러한 상태를 시퀀스 (순열) 로 배열하면, 결과적으로 생성된 시퀀스 집합은 전역적으로는 반구별 가능하지만 국소적으로는 반구별 불가능해집니다.
   • 이는 부모 상태에는 숨겨져 있었으나 시퀀스를 고려할 때만 해제되는 비국소성의 한 형태를 드러내며, 이는 표준 구별 작업에서는 관찰되지 않은 현상입니다.

4. 구체적인 반례:

   • Manna 등의 상태: 이전에 LSAD 하에서 비국소적인 것으로 입증된 상태들이 국소적으로 반표식 가능 (LSAM 허용) 함이 입증되어, LSAM 이 더 관대한 작업임을 보여줍니다.
   • Duan 상태: LSAD 하에서는 비국소적이지만 LSAM 을 허용하여 위계를 더욱 부각시킵니다.
   • 삼부위 예시 ($S_{NL2}$): 삼부위 곱상태 집합이 전역적으로 반구별 가능하고 국소적으로 확정적으로 구별 가능 (CLSD/CLSM 허용) 함이 입증되었음에도 불구하고 LSAM 을 수행하지 못함이 입증되었습니다. 이는 LSAM 이 CLSD 와 CLSM 패러다임 모두에서 억제된 비국소성을 감지할 수 있음을 증명합니다.
   • 이부위 예시 ($S_U$): 전역적으로도 반구별 가능하지 않은 상태 집합이 제시되었으나, 이를 통해 형성된 시퀀스는 전역적으로는 반표식 가능하지만 국소적으로는 반표식 불가능합니다.

의의 및 주장
본 논문은 LSAM 프레임워크가 얽힘 없는 양자 비국소성을 특징짓는 강력한 도구임을 주장합니다. 배제와 표식을 통합함으로써 비국소성의 더 엄격한 위계를 드러냅니다.

• 정교한 특징화: 단일 프레임워크 분석은 오해의 소지가 있을 수 있음을 주장합니다. 두 앙상블은 한 패러다임 (예: CLSD) 에서는 동일해 보일 수 있지만 (둘 다 국소적이거나 둘 다 비국소적), 다른 패러다임 (예: LSAD 또는 LSAM) 에서는 현저하게 다를 수 있습니다.
• 더 강력한 비국소성: LSAM 을 수행하지 못하는 것은 LSAD, LSM 또는 LSD 를 수행하지 못하는 것보다 "더 강력한" 형태의 비국소성의 징표로 제시됩니다.
• 엄격한 위계의 부재: 논문은 LSAD/LSAM 과 CLSD/CLSM 사이에 엄격한 위계가 존재하지 않는다고 결론 내립니다. 한 작업을 허용하면서 다른 작업을 엄격히 금지하는 집합이 존재하며, 그 반대도 마찬가지입니다.

저자들은 겸손하게도 다른 패러다임에서는 숨겨져 있던 LSAM 에서의 비국소성 예시를 발견했지만, 서로 직교하는 상태가 언제든 비국소적으로 반구별 가능할 수 있는지는 여전히 열린 문제라고 언급합니다 (이러한 상태는 필연적으로 혼합 상태여야 함을 시사함). 또한 현재 예시가 삼부위이므로, 전역적으로 반구별 가능하지만 국소적으로 반표식 불가능한 집합에 대한 이부위 예시가 필요하다고 지적합니다.