[논문 리뷰] PiTP Lectures on Complexity and Black Holes

Leonard Susskind|arXiv (Cornell University)|2018. 08. 29.

Advanced Mathematical Theories and Applications인용 수 6

한 줄 요약

이 논문은 K 큐비트의 힐버트 공간에서 상대적 양자 복잡도를 기본적인 기하 측도로 도입하며, 표준 푸비니-슈트로메트릭 메트릭과 대조한다. 복잡도는 시간에 따라 선형으로 증가하여 최대 지수적 값에 도달한 후 양자 재진입으로 인해 균형 상태에 머무르며, 열역학과 유사한 복잡도의 제2법칙을 형성한다.

ABSTRACT

This is the first of three PiTP lectures on complexity and its role in black hole physics.

연구 동기 및 목표

• 상대적 양자 복잡도를 힐버트 공간에서 별개의 기하 측도로 정의하고, 푸비니-슈트로메트릭 메트릭과 대조한다.
• K 큐비트를 대상으로 하는 유니터리 연산자 공간에서 복잡도의 변화를 연구하며, 특히 양자 회로의 맥락에서 다룬다.
• 가장자기적 상태의 증가에 의해 이끌리는 지수적 성장에 기반해 열역학의 제2법칙과 유사한 양자 복잡도의 제2법칙을 수립한다.
• 블랙홀 내부 물리학과 복잡도를 연결하며, 사건의 지평선 뒤에서 복잡도가 본질적이 된다고 주장한다.
• 복잡도가 불연속적이며 갑작스러운 전이를 보이며, 그래프 기반 모델에서의 1차 상전이와 유사하다는 것을 보여준다.

제안 방법

• 표준 내적 거리 측도로 푸비니-슈트로메트릭 메트릭을 사용하여 양자 상태 간의 거리를 정의하며, 이는 0에서 π/2 사이로 제한된다.
• 상대적 복잡도를 하나의 유니터리 연산자를 다른 것으로 변환하는 데 필요한 기본 게이트(예: CNOT 및 단일 큐비트 게이트)의 최소 수로 정의한다.
• 노드가 유니터리 연산자이고, 간선이 단일 게이트 연산을 나타내는 그래프로 유니터리 연산자의 공간을 모델링하며, 복잡도를 항등원으로부터의 그래프 거리로 정의한다.
• ε-구를 통한 군집화를 적용하여 CP(2^K - 1) 내 상태 수를 세며, 이로 인해 조정자 파rameter ε에 대해 로그적 의존성을 유도한다.
• 유니터리 군 위에서의 랜덤 워크를 사용하여 복잡도의 집합 평균을 분석하며, 최대 복잡도에 도달할 때까지 선형 증가함을 보인다.
• 복잡도가 낮은 값으로 복귀하는 재진입 시간을 t_recur ~ exp(exp(K))로 유도하며, 이는 이중 지수적 시간 척도임을 나타낸다.

실험 결과

연구 질문

• RQ1 상대적 양자 복잡도는 양자 상태 간의 거리를 측정할 때 표준 푸비니-슈트로메트릭 메트릭과 어떻게 다를까?
• RQ2 K 큐비트 시스템에서 시간에 따라 복잡도의 변화 양상은 어떻게 되며, 언제 포화 상태에 도달하는가?
• RQ3 왜 복잡도는 선형 증가에서 균형 상태로 급격히 전이되는가? 이는 그래프 이론적 충돌과 어떻게 관련되는가?
• RQ4 통계역학 원리가 양자 회로에 적용되었을 때 복잡도의 제2법칙은 어떻게 유도되는가?
• RQ5 블랙홀 내부를 묘사할 때 복잡도의 역할은 무엇이며, 왜 디 de Sitter 유사 우주론에서 본질적인가?

주요 결과

• 상대적 복잡도는 시간에 따라 선형으로 증가하여 약 4^K 수준의 최대값에 도달한 후, 극도로 복잡한 상태의 수가 많기 때문에 거의 일정하게 유지된다.
• 복잡도가 낮은 값으로 복귀하는 재진입 시간은 K에 대해 이중 지수적일 것으로 추정되며, t_recur ~ exp(4^K)로 표현되어 실질적으로 관측되지 않는다.
• 복잡도는 불연속적이다. 최대 복잡도에 도달한 후 더 짧은 경로(예: 그래프에서의 녹색 경로)가 이용 가능해지면 갑작스럽게 감소할 수 있다.
• 집합 평균 복잡도는 제2법칙을 따르며, 포화에 도달할 때까지 단조적으로 증가한다. 이는 열역학의 제2법칙과 유사하다.
• 복잡도의 기하학은 낮은 곡률 반경을 가진 음의 곡률을 가지며, 이는 양의 곡률을 가진 표준 푸비니-슈트로메트릭 메트릭과 뚜렷하게 대비된다.
• K=4 및 ε=1/2일 때, CP(2^K - 1) 내 ε-구의 수는 약 1.07×10^9로 추정되며, 이는 K에 대해 지수적 민감도를 보이고 ε에 대해 약한 의존성을 확인한다.