Strong Kochen-Specker contextuality to rule out discrete nondeterministic alternatives to quantum theory

양자 세계에서 시스템을 측정하는 행위는 수동적인 관찰이 아니라 관찰되는 현실을 변화시킬 수 있는 능동적인 개입이다. 이는 우리가 사물을 보든 보지 않든 탁자는 여전히 탁자로 남아 있는 일상적인 경험과는 극명한 대조를 이룬다. 수십 년 동안 물리학자들은 양자 입자가 마치 동전을 던지기 전에도 앞면이나 뒷면이 정해져 있는 것처럼, 측정 시 단순히 드러나기만을 기다리는 숨겨진, 이미 존재하는 속성을 가지고 있을지도 모른다는 생각과 씨름해 왔다. 그러나 1960년대에 알려진 코헨-스페커(Kochen-Specker) 정리라는 유명한 결과는 3차원 이상의 양자 시스템에서는 그러한 단순하고 미리 결정된 현실이 존재할 수 없음을 증명했다. 이 정리는 만약 당신이 입자가 겪을 수 있는 모든 가능한 측정에 대해 확정적인 값을 할당하려고 시도한다면, 필연적으로 논리적 모순에 부딪히게 된다는 것을 보여주었다. 당신이 한 세트의 측정에 할당한 값은 다른 세트에 할당한 값과 충돌하게 되는데, 이는 입자 자체가 변하지 않았음에도 불구하고 발생하는 일이다. 이는 측정의 결과가 특정 맥락, 즉 그와 함께 수행되는 다른 측정들이 무엇인지에 따라 달라짐을 의미한다.

이 정리는 결과가 엄격하게 '예' 또는 '아니오'로 결정되는 '숨은 변수'의 세계를 효과적으로 배제했지만, 한 가지 의문이 남았다. 만약 숨은 변수가 그렇게 경직되어 있지 않다면 어떨까? 결과가 엄격하게 예 또는 아니오가 아니라, 단 몇 개의 설정만을 가진 디머 스위치처럼 제한된 중간값들을 갖는 이론이 존재할 수 있을까? 오랫동안 이러한 '비결정론적'이지만 여전히 제한된 현실이 양자 역학의 기묘한 상관관계를 설명할 수 있을지는 불분명했다. 이러한 불확실성은 양자 현실이 고전적 직관에서 얼마나 깊게 벗어나 있는지에 대한 이해에 공백을 남겼다.

홍콩 대학교의 라비샹크 라마나단(Ravishankar Ramanathan)에 의한 새로운 연구는 이러한 완화된, 제한된 값의 이론들조차 양자 행동을 설명할 수 없음을 입증함으로써 이 공백을 메운다. 연구자는 하디 테스트(Hardy test)라고 알려진 논리 퍼즐에서 영감을 얻어, 결정되어 있고 맥락에 독립적인 값을 사용하는 모든 이론을 함정에 빠뜨리도록 설계된 특정 실험군을 구성했다. 이 설정에서, 서로 연결된 상자들의 시스템을 상상해 보자. 각 상자는 비어 있거나 가득 차 있을 수 있다. 이 실험은 엄격한 규칙 아래 상자들의 쌍이나 삼중합을 확인하는 과정을 포함한다: 특정 조합의 비어 있음과 가득 참 상태는 금지되는 반면, 다른 조합은 반드시 일어나도록 되어 있다. 만약 상자들이 동시에 어떤 다른 상자들이 확인되는지에 의존하지 않는 숨겨진, 미리 결정된 상태들을 담고 있다면, 논리의 규칙은 체인의 마지막 상자에 대해 특정한 결과를 강제할 것이다.

라마나단은 숨은 값이 유한한 목록에서 추출되는 경우(예를 들어, 0, 1, 그리고 그 사이의 몇몇 숫자를 포함하는 목록), 실험의 논리가 마지막 상자가 높은 확실성으로 비어 있게끔 강제한다는 것을 보여주었다. 그러나 동일한 실험이 큐트릿(qutrit)이라고 알려진 3차원 양자 상태, 즉 실제 양자 시스템으로 수행될 때, 결과는 이 논리를 거부한다. 양자 시스템은 제한된 숨은 값을 가진 어떤 이론도 허용할 수 있는 것보다 엄격하게 높은 확률로 금지된 결과를 생성한다. 연구자들은 이러한 상자 확인 패턴을 더 깊게 중첩함으로써, 제한된 값의 이론이 예측하는 것과 양자 역학이 실제로 수행하는 것 사이의 간극을 임의로 크게 만들 수 있음을 증명했다.

이 연구는 실험실에서 수행할 수 있는 구체적이고 유한한 측정 세트를 제공하여 이러한 대안적 이론들을 배제한다. 무한한 수학적 구조나 연속 함수에 의존했던 이전의 증명들과 달리, 이 작업은 유한한 수의 투영체(projectors)와 특정 양자 상태를 사용하여 동일한 결과를 달성한다. 연구진은 특정 허용된 값들을 기반으로 한 이론을 반증하기 위해 필요한 정확한 측정 횟수를 계산했다. 예를 들어, 만약 이론이 0.25라는 숨은 값을 허용한다면 실험은 모순을 드러내기 위해 20개의 특정 측정을 필요로 할 것이고, 허용된 값이 0.90이라면 224개의 측정이 필요할 것이다. 허용되는 값의 수가 전체 범위에 가까워질수록 필요한 측정 횟수는 증가하지만, 원칙은 동일하다: 양자 역학은 유한하고 이산적인 사전 결정된 결과들로 설명하려는 그 어떤 이론보다도 일관되게 우수한 성능을 보인다.

이 발견은 우리가 현실의 근본적인 본질을 이해하고 미래 기술을 개발하는 데 있어 중요한 함의를 갖는다. 양자 정보 분야에서 맥락성(contextuality)은 보안 통신 및 강력한 컴퓨팅과 같은 고급 과업을 구동하는 연료와 유사한 귀중한 자원으로 인식되고 있다. 양자 맥락성이 이전에 생각했던 것보다 훨씬 더 강력하며, 단순한 이진 숨은 변수가 아니라 임의의 유한한 이산 값 세트조차 배제할 만큼 강력하다는 것을 증명함으로써, 이 연구는 이러한 기술의 토대를 강화한다. 이는 양자 가속의 '마법'과 양자 암호의 보안 뒤에 숨겨진 기능이 우리가 생각했던 것보다 훨씬 더 넓은 범위의 고전적 대안들에 대해 견고하다는 것을 시사한다. 나아가, 이 연구는 물리적 발견을 논리의 영역과 연결하여, 현실을 제한된 진릿값을 가진 다가 논리(many-valued logics)로 설명하려는 시도가 양자 세계를 모델링하기에는 불충분함을 보여준다.

또한 이 논문은 양자 효과의 강도를 생각하는 새로운 방식을 도입한다. 수학자들이 다양한 유형의 논리적 모순을 분류해 온 것처럼, 이 작업은 시스템이 얼마나 '맥락적'일 수 있는지에 대한 계층을 구축한다. 이는 양자 이론이 단순한 고전적 묘사뿐만 아니라 더 복잡한 유한 값 묘사까지도 회피한다는 것을 보여준다. 즉, 숨은 변수 이론이 아무리 많은 중간 설정들을 사용하려 해도, 그 설정의 수가 유한하기만 하다면 양자 역학의 예측에 미치지 못할 것이다. 연구진은 단순히 그러한 이론이 불가능하다고 말하는 데 그치지 않고, 그것이 불가능함을 입증하는 구체적인 수학적, 실험적 프레임워크를 구축했다는 점에서 구성적 증명(constructive proof)을 제공했다.

앞으로의 전망을 살펴보면, 이 결과들은 실험적 검증을 위한 새로운 경로를 열어준다. 현재의 증명들은 특정 양자 상태를 준비하는 것에 의존하는 상태 의존적(state-dependent) 방식이지만, 여기서 개발된 방법들은 더 넓은 응용 분야로 적응될 수 있다. 이 연구는 또한 무작위성 생성의 실용적인 측면을 다룬다. 이 테스트에서의 양자 상관관계는 매우 강력하고 기존의 고전적 대안들과 뚜렷하게 구분되기 때문에, 장치가 양자 역학 법칙을 준수하기만 한다면, 사용하는 장치에 대해 모든 것을 알고 있는 적대자로부터도 안전한 진정한 난수를 생성하는 유망한 경로를 제공한다. 이러한 광범위한 대안 이론들을 유한하고 실행 가능한 실험을 통해 배제할 수 있다는 능력은 물리적 현실의 경계를 테스트하는 우리의 능력을 한 단계 진보시킨 중요한 진전이다.