Entanglement entropy in two-particle Grover walks on graphs

보이지 않는 거대한 놀이터를 상상해 보세요. 이 놀이터는 경로와 교차점들로 이루어진 네트워크입니다. 이것이 바로 우리의 이야기가 펼쳐지는 무대인 **그래프(graph)**입니다. 이제 이 무대 위에서 움직이는 두 명의 아주 작고 유령 같은 무용수(입자)를 떠올려 보세요. 양자 역학의 세계에서 이들은 평범한 무용수가 아닙니다. 이들은 서로 구별할 수 없는 쌍둥이이며, "양자 워크(quantum walk)"라는 기묘하고도 초고속인 규칙에 따라 움직입니다.

보통 우리가 이 무용수들을 연구할 때는 한 명만을 관찰합니다. 하지만 이 논문에서 저자인 쿠보타(Kubota), 마츠바라(Matsubara), 세가와(Segawa)는 **이중주(duet)**를 관찰하기로 했습니다. 그들은 큰 질문을 던졌습니다. 만약 이 두 명의 동일한 입자가 그래프 위에서 함께 춤을 추게 된다면, 이들은 얼마나 "얽히게(entangled)" 될 것인가?

**얽힘(Entanglement)**은 두 무용수를 하나로 묶어주는 비밀스럽고 보이지 않는 밧줄과 같습니다. 한 명이 왼쪽으로 회전하면, 다른 한 명은 아무리 멀리 떨어져 있더라도 즉시 오른쪽으로 회전할 수 있습니다. "얽힘 엔트로피(entanglement entropy)"는 이 보이지 않는 밧줄이 얼마나 강한지를 측정하는 점수판입니다. 점수가 높을수록 무용수들이 더 완벽하게 연결되어 있음을 의미합니다. 저자들은 알고 싶었습니다. 이 무용수들이 결국 완벽하게 연결되어, 가능한 절대적인 최대 점수에 도달할 수 있는 놀이터를 찾을 수 있을 것인가?

마법의 거울 트릭

이 문제를 해결하기 위해 저자들은 영리한 마법 트릭을 사용했습니다. 일반적인 무대에서 두 명의 무용수를 추적하는 대신, 그들은 **크로네커 곱(Kronecker product, $G \otimes G$)**이라 불리는 새로운 거대한 무대를 상상했습니다. 이것은 첫 번째 무용수가 내딛는 모든 발걸음이 두 번째 무용수가 내디딜 수 있는 모든 발걸음과 짝을 이루는 "그림자 세계"라고 생각하면 됩니다.

이 거대한 무대 위에서 두 입자의 춤은 단일 입자의 춤이 됩니다. 저자들은 만약 특정한 일련의 춤 동작(그로버 워크(Grover walk))을 사용한다면, 게임의 규칙이 자동으로 동일한 입자라는 사실을 존중하게 된다는 것을 증명했습니다. 이는 마치 무용수들의 위치를 바꾸는 거울을 가진 것과 같습니다. 저자들은 무용수들을 보든 그들의 거울 이미지를 보든 춤 동작이 똑같이 작동한다는 것을 보여주었습니다. 이는 물리학이 일관성을 유지하도록 보장합니다.

위대한 실험: 완전 이분 그래프

저자들은 단순히 추측만 한 것이 아니라, **완전 이분 그래프(complete bipartite graph)**라고 불리는 특정 유형의 놀이터에서 이를 테스트했습니다. 기호로는 $K_{n,n}$이라고 씁니다. 이 그래프를 팀 X와 팀 Y라는 두 그룹의 사람들로 상상해 보세요. 팀 X의 모든 사람은 팀 Y의 모든 사람과 연결되어 있지만, 팀 X의 구성원은 자신의 팀원과는 연결되지 않습니다. 여기서 $n$은 각 팀에 속한 사람의 수를 나타냅니다.

그들은 단 하나의 에지(하나의 X와 하나의 Y 사이의 연결) 위에서 두 입자가 춤을 시작하게 하고, 시간이 흐름에 따라 변화하는 과정을 관찰했습니다. 그들은 이 무용수들이 어느 시점에 완적인 최대 얽힘 점수에 도달할 수 있는지를 알고 싶었습니다.

결론: 작은 그룹만이 가능하다

여기서 발견된 커다란 사실은 매우 구체적이며 놀랍습니다:

저자들은 놀이터가 매우 작을 때만 무용수들이 완벽한 최대 얽힘에 도달한다는 것을 수학적으로 증명했습니다. 구체적으로, 이는 $n = 1$ 또는 $n = 2$일 때만 발생합니다.

• $n = 1$ (아주 작은 무대): 놀이터는 단 하나의 선으로 연결된 두 명의 사람뿐입니다. 여기서 무용수들은 몇 번의 스텝을 밟든 상관없이 항상 완벽하게 얽혀 있습니다. 점수는 매 순간 최고치에 머물러 있습니다.
• $n = 2$ (작은 무대): 놀이터에는 각 팀에 두 명의 사람이 있습니다. 여기서 무용수들은 완벽한 점수에 도달하지만, 오직 매우 특정한 시간에만 그렇습니다. 그들은 시간 단계 $\tau$가 2, 6, 10, 14 등일 때, 즉 수학적으로 $\tau \equiv 2 \pmod 4$일 때 정확히 최대치에 도달합니다. 이는 마치 4박자마다, 특히 두 번째 박자에만 완벽한 음을 울리는 시계와 같습니다.

더 큰 놀이터는 어떨까요?
논문은 더 큰 그룹은 불가능하다는 점을 명시적으로 배제합니다. 저자들은 만약 각 팀에 3명 이상의 사람이 있다면 ($n \ge 3$), 무용수들이 아무리 오래 춤을 추더라도 결코 완벽한 최대 얽힘 점수에 도달할 수 없음을 증명했습니다. 그들 사이의 "밧줄"은 강해지겠지만, 절대적인 한계치에는 결코 도달하지 못합니다.

이것이 왜 중요한가

저자들은 단순히 시뮬레이션만 한 것이 아니라, 수학적 증명을 제공했습니다. 그들은 처음 몇 순간 동안의 춤 동작을 계산했고, 그래프의 "스펙트럼"(그래프의 형태를 설명하는 숫자 목록)의 성질을 사용하여 더 큰 그래프에 대해서는 수학적으로 완벽한 점수가 성립될 수 없음을 보여주었습니다.

또한 그들은 자신들의 방법이 이러한 특정 "완전 이분" 그래프에는 완벽하게 작동하지만, 다른 형태의 놀이터에 대해 이와 같은 직접적인 계산법을 사용하는 것은 훨씬 더 어렵다는 점을 언급했습니다. 그들은 미래의 탐험가들이 그래프 자체의 "진동"(고윳값)을 살펴보는 등, 완벽한 얽힘이 언제 발생하는지 예측할 수 있는 더 일반적인 방법을 찾아내야 할 수도 있다고 제안합니다.

요약하자면, 이 논문은 두 입자가 춤추는 양자의 세계에서 완벽한 연결이란 가장 작고 대칭적인 놀이터에서만 발견되는 희귀한 보물이라는 것을 보여주는 정밀한 지도입니다. 놀이터를 너무 크게 만들면, 완벽한 연결은 사라지고 맙니다.