Every PPT channel has finite entanglement-breaking index

정보가 단순히 비트와 바이트가 아니라, 방 안의 두 사람을 연결하는 섬세하고 보이지 않는 실로 존재하는 세상을 상상해 보십시오. 양자 물리학이라는 기이하고 경이로운 영역에서, 이 실들을 "얽힘(entanglement)"이라고 부릅니다. 두 입자가 얽히게 되면, 그들은 비밀스러운 언어를 공유하게 됩니다. 하나를 변화시키면, 아무리 멀리 떨어져 있더라도 다른 하나가 즉각적으로 반응합니다. 이것은 컴퓨팅과 통신의 혁명을 약속하는 초능력입니다. 하지만 함정이 있습니다. 이 실들은 믿을 수 없을 정도로 취약합니다. 만약 입자들이 주변의 시끄럽고 무질서한 세상과 상호작용하게 되면, 연결은 끊어지고 마법은 사라집니다. 이 끊어짐을 "얽힘 파괴(entanglement breaking)"라고 부릅니다.

과학자들은 "채널"(양자 버전의 우체부)을 통해 정보를 보내는 동안 어떻게 이 실들을 온전하게 유지할 수 있을지 오랫동안 연구해 왔습니다. 어떤 채널은 안전한 것으로 알려져 있는 반면, 어떤 채널은 실을 끊어버리는 것으로 악명이 높습니다. 이 분야의 주요 미스터리는 "PPT" 채널(수학적 테스트인 "Positive Partial Transpose"의 이름을 딴)이라 불리는 특정 유형의 안전한 채널이, 연속으로 두 번 사용했을 때 과연 위험해질 수 있는지 여부입니다. 큰 질문은 이것입니다: 만약 당신이 PPT 채널을 통해 메시지를 보내고, 그 다음 또 다른 PPT 채널을 통해 메시지를 보낸다면, 얽힘은 살아남을까요, 아니면 파괴될까요? 수년 동안 연구자들은 그 답이 "파괴된다"일 것이라고 의심해 왔지만, 모든 가능한 시나리오에 대해 이를 증명하는 것은 마치 기름칠한 번개 빛을 잡으려는 것과 같았습니다.

박상준 저자가 쓴 이 논문은 마침내 그 번개 빛을 잡아냈습니다. 저자는 근본적인 진리를 증명했습니다: 모든 PPT 채널은 그것을 충분히 많이 사용한다면 결국 얽힘을 파괴할 것이라는 사실입니다. 채널이 얼마나 복잡하든, 혹은 차원이 얼마나 높든 상관없습니다. 만약 당신이 메시지를 계속해서 통과시킨다면, 얽힘은 필연적으로 끊어질 것입니다. 이 논문은 단지 "결국 일어난다"라고만 말하지 않습니다. 또한 특정 유형의 채널들에 대해서는 얽힘이 매우 빠르게, 때로는 단 세 번의 사용만으로도 파괴된다는 것을 보여줍니다. 이것을 '전화기 게임(말 전달 게임)'에 비유해 보십시오. 만약 당신이 특정한 종류의 시끄러운 방을 통해 비밀을 속삭인다면, 이 논문은 메시지가 세 번째 사람에게 도달할 때쯤이면 원래의 비밀은 완전히 사라지고 무작위한 소음으로 대체될 것임을 증명합니다.

마법의 실 이야기

왜 이것이 중요한 일인지 이해하기 위해, 우리 이야기의 등장인물들을 살펴봅시다. 당신에게 마법처럼 빛나는 구슬 한 상자가 있다고 상상해 보십시오. 이 구슬들 중 일부는 "얽혀" 있습니다. 즉, 보이지 않는 고무줄로 연결되어 있다는 뜻입니다. 한 구슬을 회전시키면, 다른 구슬도 함께 회전합니다. 이제, 이 구슬들을 가져가서 흔들어 놓은 뒤 다음 기계로 전달하는 기계("채널")가 있다고 상상해 보십시오.

어떤 기계들은 "얽힘 파괴(Entanglement-Breaking, EB)" 기계입니다. 이들은 파쇄기와 같습니다. 구슬이 들어가는 즉시 고무줄은 끊어지고, 구슬은 외롭고 평범한 돌덩이가 되어 나옵니다. 다른 기계들은 "PPT" 기계입니다. 이들은 더 까다롭습니다. 이들은 "PPT 테스트"를 통과할 만큼 충분히 안전하며, 이는 고무줄을 즉시 끊어버리지 않아야 함을 시사합니다. 하지만 이들이 영원히 안전할까요?

오랫동안 과학자들은 "PPT-제곱 추측(PPT-squared conjecture)"이라는 직관을 가지고 있었습니다. 만약 구슬을 두 개의 PPT 기계를 연속으로 통과시킨다면 고무줄이 끊어질 것이라는 내용입니다. 이것은 마치 "두 개의 안전해 보이는 안개 낀 숲을 지나간다면, 결국 길을 잃게 될 것이다"라고 말하는 것과 같았습니다. 하지만 모든 가능한 숲에 대해 이를 증명하는 것은 매우 어려웠습니다. 어떤 숲들은 "전체 지지 집합(full support)"을 가지고 있어 밝고 개방적이었는데, 그런 경우들은 이미 해결되었습니다. 하지만 빛이 구석구석 닿지 않는 어둡고 좁은 숲들은 어떨까요? 이 논문은 바로 그 간극을 메웁니다.

위대한 분리 기술

저자의 주요 돌파구는 이러한 기계들을 바라보는 영리한 방식입니다. PPT 기계를 거대하고 복잡한 퍼즐이라고 상상해 보십시오. 저자는 만약 기계가 "전체 지지 집합"이 아니라면(즉, 입력의 일부를 무시한다면), 이 기계를 더 작고 단순한 두 개의 기계로 나눌 수 있다는 점을 깨달았습니다.

이것을 두 갈래로 갈라지는 강에 비유해 보십시오. 한 줄기는 얕고 바위가 많은 바닥(singular 부분) 위로 흐르고, 다른 한 줄기는 깊고 넓은 수로(full support 부분)를 통해 흐릅니다. 논문은 이 두 줄기를 별도로 분석할 수 있음을 증명합니다.

1. 깊은 수로: 우리는 이미 기계가 빛으로 가득 차 있다면(full support), 결국 얽힘을 파괴한다는 것을 알고 있었습니다.
2. 바위가 많은 줄기: 이것이 미스터리였습니다. 저자는 이 바위가 많은 줄기가 실제로는 전체 문제의 더 작은 버전이라는 것을 보여주었습니다. 이것은 퍼즐 속의 퍼즐과 같습니다.

"귀납법(induction)"이라는 수학적 도구(이는 만약 한 계단을 오를 수 있다면 다음 계단도 오를 수 있음을 보여줌으로써 사다리가 작동함을 증명하는 것과 같습니다)를 사용하여, 저자는 이 바위가 많은 줄기조차 결국 고무줄을 끊어버린다는 것을 증명했습니다. 전체 기계는 이 두 줄기의 혼합체이므로, 전체 기계 역시 결국 얽힘을 파괴해야 합니다.

결과: 모든 PPT 기계는, 그것이 얼마나 이상하거나 망가져 보이든 상관없이, "파괴 지점"을 가집니다. 만약 그것을 충분히 사용한다면, 얽힘은 반드시 죽게 됩니다. 논문은 이를 "유한 얽힘 파괴 지수(finite entanglement-breaking index)"라고 부릅니다. 이것은 모든 고무줄이 얼마나 여러 번 늘려야 끊어지는지에 대한 한계가 있다는 것과 같습니다.

속도 제한: 얼마나 빨리 파괴되는가?

논문은 단지 "결국 일어난다"에서 멈추지 않습니다. 또한 "얼마나 빨리?"라고 묻습니다.

특정한 그룹의 PPT 기계들에 대해, 저자는 엄격한 속도 제한을 찾아냈습니다. 이 기계들은 DSP2라고 불리는 가족에 속합니다. 이들을 매우 단순하고 낮은 얽힘을 가진 부품들로 만들어진 기계라고 생각할 수 있습니다. 논문은 이 가족에 속하는 어떤 기계에 대해서도 얽힘이 3회 사용 이내에 파괴된다는 것을 증명합니다.

만약 당신에게 다음과 같은 규칙이 있다고 상상해 보십시오: "만약 당신이 DSP2 기계를 통해 비밀을 속삭인다면, 세 번째 사람에게 도달할 때쯤이면 비밀은 사라진다." 논문은 이 규칙이 기계의 크기가 아주 작은 장난감이든 거대한 슈퍼컴퓨터이든 상관없이 적용됨을 증명합니다.

DSP3라는 더 큰 가족도 있는데, 여기서는 얽힘이 5회 사용 이내에 파괴됩니다.

저자는 또한 이러한 특정 가족들은 빠르게 파괴된다는 것을 알지만, 모든 PPT 기계가 보편적인 속도 제한을 가지고 있는지는 아직 모른다는 점을 지적합니다. 어떤 기괴하고 거대한 PPT 기계는 100번을 사용해야 밴드가 끊어지는 반면, 다른 것은 3번 만에 끊어질 수도 있습니다. 논문은 그것들이 모두 파괴된다는 점은 증명하지만, 일반적인 경우에 대한 "얼마나 빨리"는 여전히 미스터리로 남아 있습니다.

이것이 왜 중요한가

이것은 단지 수학 퍼즐에 관한 것이 아닙니다. 현실 세계에서 양자 컴퓨터와 양자 인터넷은 저 고무줄(얽힘)을 온전하게 유지하는 것에 달려 있습니다. 만약 당신이 양자 네트워크를 통해 메시지를 보내고 싶다면, 어떤 채널이 안전하고 어떤 채널이 메시지를 파괴할 것인지 알아야 합니다.

이 논문은 우리에게 안전 보증을 제공합니다. 만약 어떤 채널이 PPT 테스트를 통과한다면, 그것이 위험한 방식으로 "영원히 안전할" 것이라고 걱정할 필요가 없다는 것을 알려줍니다. 우리는 그것을 너무 많이 사용하면 자연스럽게 얽힘이 저하될 것임을 알고 있습니다. 이는 엔지니어들이 채널이 언제 얽힘에 대해 작동을 멈출지 정확히 알 수 있게 함으로써 더 나은 시스템을 설계하도록 돕습니다.

또한 이 논문은 더 깊은 진실을 암시합니다: "PPT-제곱" 아이디어(두 개의 PPT가 EB를 만든다는 것)는 DSP2나 DSP3와 같은 특정 하위 클래스에서는 참인 것으로 알려져 있지만, 두 개의 PPT 채널이 항상 얽힘 파괴 채널을 결과로 낸다는 일반적인 추측은 여전히 미해결 상태이며 증명되지 않았습니다. 저자는 만약 특정 유형의 양의 사상(positive map, DSP2)이 모든 PPT 맵을 포함한다는 것을 증명할 수 있다면, PPT-제곱 추측이 완전히 해결될 것임을 보여줍니다. 하지만 현재로서는 궁극적인 "두 단계" 규칙은 여전히 미스터리입니다.

요약

결국, 박상준은 양자 세계에서 PPT 채널을 통과하고 있다면 그 무엇도 영원히 연결된 상태로 머물 수 없음을 보여주었습니다. 고무줄은 결국 끊어지기 마련입니다. 어떤 채널에서는 세 단계 만에 일어나기도 하고, 어떤 경우에는 더 오래 걸릴 수도 있지만, 결과는 확실합니다. 이것은 양자의 불확실성 속에서 확실성을 쟁취한 승리이며, 가장 복잡하고 어두운 채널조차도 그 마법에는 한계가 있음을 증명한 것입니다.