Device-Independent Self-Testing of the Three-Qubit CCZ Hypergraph State

당신이 어두운 방 안에서 정체불명의 물체를 식별하려고 노력하고 있다고 상상해 보십시오. 당신은 그것을 볼 수도 없고, 직접 만질 수도 없습니다. 당신이 할 수 있는 전부는 그것에게 질문을 던지고 그 대답을 듣는 것뿐입니다. 양자 물리학의 세계에서, 이것은 과학자들이 '양자 상태(quantum states)'를 가지고 실제로 하는 일입니다. 양자 상태란 미래의 기술, 예를 들어 양자 컴퓨터를 구동하는 입자들의 보이지 않고도 취약한 구성입니다. 보통 기계가 무엇을 하고 있는지 알기 위해서는 당신이 사용하는 센서와 버튼이 완벽하다고 믿어야 합니다. 하지만 만약 당신의 도구 자체를 믿을 수 없다면 어떻게 될까요? 만약 기계가 당신에게 거짓말을 하고 있거나, 버튼이 고장 났다면 어떻게 될까요?

여기서 '장치 독립적 자기 검증(device-independent self-testing)'이라는 개념이 등장합니다. 이것은 마치 숨겨진 물체가 정확히 무엇인지, 그리고 당신의 버튼이 어떻게 작동하는지를 내부를 들여다보지 않고도 오직 얻어낸 답변의 패턴만을 보고 증명해 내는 마술과 같습니다. 이는 마치 목소리의 메아리가 물체에 부딪혀 돌아오는 것을 듣는 것만으로 숨겨진 조각상의 형상을 추론하는 것과 같습니다. 당신이 읽게 될 이 논문은 'CCZ 상태'라고 불리는 특별한 양자 물체를 포함하는 매우 구체적이고 까다로운 버전의 이 퍼즐을 다룹니다. CCZ 상태는 강력한 양자 컴퓨터를 구축하는 데 필수적인 아주 작은 세 입자 규모의 '매직 리소스(magic resource)'이지만, 일반적인 과학자들이 사용하는 규칙보다 내부 규칙이 더 복잡하기 때문에 검증하기가 매우 까다롭습니다.

세 입자 매직 큐브의 미스터리

Han, Kuang, Bu, 그리고 Wang으로 구성된 이 논문의 과학자들은 특정한 수수께끼를 해결하고자 했습니다. 과연 우리는 장비를 신뢰할 수 없는 상황에서도 이 특별한 세 입자 'CCZ 상태'의 존재를 증명하고 우리의 측정 도구가 제대로 작동하고 있음을 검증할 수 있을 것인가?

이들의 도전을 이해하기 위해, 표준적인 양자 상태를 여섯 개의 면을 가진 단순한 정육면체라고 상상해 보십시오. 당신은 면(측정)을 관찰함으로써 그것이 진짜 정육면체인지 확인할 수 있습니다. 하지만 CCZ 상태는 비밀스럽고 뒤틀린 규칙을 가진 하이퍼큐브와 같습니다. 즉, 세 개의 모서리가 동시에 뒤집힐 때만 색상이 변합니다. 이 '큐빅 위상(cubic phase)'은 이것을 양자 컴퓨팅을 위한 '매직' 리소스로 만들지만, 동시에 검증하기에는 악몽 같은 존재로 만듭니다. 일반적인 양자 큐브(그래프 상태라고 불리는 것들)를 확인하는 기존의 기법들은 여기서 통하지 않습니다. 왜냐하면 그 규칙들이 단순하지 않고 복잡하며 비선형적이기 때문입니다.

첫 번째 단서: 20개의 조각으로 된 퍼즐

연구팀은 먼저 20개의 특정 단서, 즉 '상관 함수(correlators)'를 사용하여 이 퍼즐을 풀려고 시도했습니다. 세 사람이 동전 던지기(또는 버튼 누르기)를 하고 결과를 기록하는 게임을 상상해 보십시오. 연구진은 단 다섯 가지의 버튼 조합으로부터 20개의 특정 결과 패턴을 수집한다면, 숨겨진 상태가 반드시 CCZ 상태여야 하며 버튼 또한 의도한 대로 작동해야 함을 수학적으로 증명할 수 있다는 것을 발견했습니다.

그들은 세 입자의 여덟 가지 가능한 결과들을 정육면체의 여덟 개 꼭짓점으로 시각화했습니다. 입자들이 한 꼭짓점에서 다른 꼭짓점으로 어떻게 바뀌는지 확인함으로써, 그들은 상태의 전체 형상을 재구성할 수 있었습니다. 그것은 마치 그림이 정확히 자신들이 찾던 것이어야만 조각들이 완벽하게 맞물리는 3D 직소 퍼즐을 푸는 것과 같았습니다. 이 연구의 이 부분은 성공적이었습니다. 그들은 이 20개의 단서가 상태를 '자기 검증(self-test)'하기에 충분하다는 것을 증명했습니다.

반전: 왜 일반적인 기법이 실패하는가

하지만 논문은 매혹적인 난관에 부딪힙니다. 많은 양자 실험에서 과학자들은 '벨 부등식(Bell inequality)'을 발견합니다. 이는 일반적인 비양자 시스템이 넘을 수 없는 수학적 한계치입니다. 만약 어떤 시스템이 이 한계를 돌파한다면, 그것은 양자적임을 증证明합니다. 연구진은 대담한 질문을 던졌습니다. "우리가 CCZ 상태가 다른 무엇보다 더 많이 위반하는 단 하나의 벨 부등식을 찾을 수 있을까? 그리고 그 최대 위반을 통해 그것이 CCZ 상태임을 증명할 수 있을까?"

놀랍게도, 답은 아니오였습니다.

저자들은 표준적인 방식(단 두 종류의 버튼인 X와 Z를 사용하는 방식)으로 이 상태를 측정할 경우, CCZ 상태가 어떤 벨 부등식에서도 '챔피언'이 될 수 없음을 증명했습니다. 이는 마치 특정 주자가 가장 빠른 경주를 설계하려 하지만, 당신이 설계한 모든 경주에서 가짜 주자(고전적 시스템)가 똑같이 빠르게 달릴 수 있다는 사실을 발견하는 것과 같습니다. 점수를 극대화하려고 하면 양자적 이점이 사라져 버립니다. 이 논문은 표준적인 도구를 사용하여 단 하나의 규칙을 최대치로 위반하는 것을 찾는 것만으로는 이 상태를 식별할 수 없다는 아이디어를 명시적으로 배제합니다.

해결책: 세 번째 버튼 추가하기

그렇다면 어떻게 CCZ 상태를 현장에서 잡아낼 수 있을까요? 연구팀은 새로운 기술이 필요하다는 것을 깨달았습니다. 그들은 실험의 각 참가자에게 세 번째, 독립적인 측정 옵션(세 번째 '버튼'인 D)을 도입했습니다.

이 추가 도구를 사용하여, 그들은 완전히 새로운 복잡한 벨 부류의 부등식을 구축했습니다. 이 새로운 규칙은 CCZ 상태의 독특한 '뒤틀림'을 포착하도록 특별히 설계되었습니다. 테스트 결과, CCZ 상태는 이 규칙을 엄청난 차이로 돌파했습니다. 이는 어떤 고전적 시스템도 결코 기대할 수 없는 수준이었습니다. 양자 점수와 고전적 한계 사이의 간격은 엄격하게 양수였으며, 이는 양자 시스템이 이 특정 경주에서 명백히 우월함을 의미했습니다.

이 새로운 부등식을 극대화함으로써, 과학자들은 마침내 상태와 세 가지 측정값(X, Z, D)을 동시에 '자기 검증'할 수 있었습니다. 그들은 결과가 정확함을 보장하는 엄격하고 단계적인 대수적 증명인 '제곱합(sum-of-squares)' 증명을 제공했습니다. 그들은 심지어 데이터로부터 상태를 추출하는 방법까지 보여줌으로써, 기계가 정말로 CCZ 상태를 보유하고 있으며 다른 가짜가 아님을 증명했습니다.

이것이 왜 중요한가

이 논문은 양자 시스템을 검증하는 두 가지 서로 다른 방식을 구분해 냈다는 점에서 중요한 진전입니다. 이는 때때로 상태를 식별하기 위해 많은 작은 단서들의 집합(20개의 상관 함수)이 필요할 때가 있는 반면, 때로는 (새로운 벨 부등식과 같은) 단 하나의 완벽하게 설계된 '함정'이 필요하다는 것을 보여줍니다.

연구진은 단순히 추측한 것이 아니라, 정확한 수치와 수학적 증명을 제공했습니다. 그들은 표준적인 두 버튼 설정이 비국소적(classical physics로는 설명할 수 없는 방식으로 행동함)이지만, 어떤 규칙의 '최대' 위반자가 될 수는 없음을 보여주었습니다. 그러나 세 번째 버튼을 추가함으로써, 그들은 최고 수준의 확신을 가지고 상태를 검증할 수 있는 능력을 열었습니다.

CCZ와 같은 '매직' 상태가 강력한 계산을 위한 연료가 되는 양자 컴퓨팅의 세계에서, 하드웨어를 신뢰하지 않고도 그것들을 검증할 수 있는 능력은 매우 중요합니다. 이 연구는 과학자들에게 그들의 양자 기계가 주장하는 바를 실제로 수행하고 있는지 확인할 수 있는 새롭고 신뢰할 수 있는 도구 상자를 제공합니다. 이는 양자 세계에서는 때때로 올바른 답을 얻기 위해 약간 다른 질문을 던져야 한다는 점을 상기시켜 줍니다.