[논문 리뷰] Computers with closed timelike curves can solve hard problems

Todd A. Brun|arXiv (Cornell University)|2002. 09. 18.

Quantum Computing Algorithms and Architecture인용 수 14

한 줄 요약

이 논문은 폐쇄된 시계적 곡선(Closed Timelike Curves, CTCs)을 갖춘 컴퓨터가 자기 일관성 있는 인과적 순환을 통해 계산적으로 어려운 문제—예를 들어 큰 수의 인수분해, NP-완전, PSPACE-완전 문제—를 해결할 수 있다고 제안한다. 알고리즘은 미래에서 온 해결책을 수신할 수 있는 시간 레지스터를 사용하여, 올바른 답이 되돌려보내질 경우에만 모순이 발생하지 않도록 하며, 이로써 기존에는 고전적 계산에서는 해결이 어려운 문제들을 효율적으로 해결할 수 있다.

ABSTRACT

A computer which has access to a closed timelike curve, and can thereby send the results of calculations into its own past, can exploit this to solve difficult computational problems efficiently. I give a specific demonstration of this for the problem of factoring large numbers, and argue that a similar approach can solve NP-complete and PSPACE-complete problems. I discuss the potential impact of quantum effects on this result.

연구 동기 및 목표

• 폐쇄된 시계적 곡선(Closed Timelike Curves, CTCs)이 고전적 또는 양자 컴퓨터보다 계산적으로 어려운 문제를 더 효율적으로 해결할 수 있는지 조사하는 것.
• 자기 일관성 있는 정보 흐름을 미래에서 활용하여 다항 시간 내에 큰 정수를 인수분해할 수 있는 구체적인 알고리즘을 제시하는 것.
• 인수분해를 넘어서서 재귀적이고 논리적인 분해 기법을 사용하여 NP-완전 및 PSPACE-완전 문제로 접근 방법을 확장하는 것.
• 양자역학이 CTC 기반 계산에 미치는 영향을 고려하여, 특히 다수의 세계 해석이나 양자 변동성이 이러한 계산을 방해할 수 있는지 분석하는 것.

제안 방법

• 알고리즘은 CTC를 통해 미래에서 설정된 시간 레지스터(timeRegister) 변수를 사용하여, 이미 해결책이 되돌려보낸 상태인지 확인할 수 있다.
• 만약 시간 레지스터에 N의 유효한 인수가 포함되어 있으면, 프로그램은 검색 루프를 건너뛰고 즉시 인수를 출력하여 일관성을 확보한다.
• 시간 레지스터에 인수가 없을 경우, 프로그램은 완전한 검색을 수행한 후 결과를 timeSet(t, p)를 통해 미래로 되돌려보내어 향후 일관성을 확보한다.
• NP- 및 PSPACE-완전 문제의 경우, 재귀적 분해 기법을 사용한다: 문제를 하위 문제들로 나누고, 하위 범위에서 해를 찾는다. 결과는 CTC를 통해 되돌려보낸다.
• 알고리즘은 오직 자기 일관성 있는 진화만 물리적으로 允가되는 원리에 기반한다. 따라서 해가 과거에 나타나기 위해서는 반드시 올바른 해여야 한다.
• 양적 만족 가능성 문제(QSAT)의 경우, 변수 할당을 고정하고 논리 연산을 사용하여 결과를 조합함으로써 하위 공식을 재귀적으로 평가한다.

실험 결과

연구 질문

• RQ1 폐쇄된 시계적 곡선(Closed Timelike Curve, CTC)에 접근할 수 있는 컴퓨터가 고전적 알고리즘보다 정수 인수분해 문제를 더 효율적으로 해결할 수 있는가?
• RQ2 CTC의 존재가 자기 일관성 있는 인과적 순환을 통해 NP-완전 문제를 효율적으로 해결할 수 있는가?
• RQ3 동일한 메커니즘을 PSPACE-완전 문제, 예를 들어 양적 부울 공식 만족 가능성(QS attainability) 문제로 확장할 수 있는가?
• RQ4 다수의 세계 해석이나 양자 변동성과 같은 양자 효과가 CTC 기반 계산의 실현 가능성에 영향을 미치는가?
• RQ5 비교적 중요한 계산 단계(예: 완전한 검색)가 실제로 실행되지 않더라도, 미래에서의 사전 지식이 존재할 경우 계산 알고리즘이 정상적으로 작동할 수 있는가?

주요 결과

• 제안된 알고리즘은 CTC를 사용하여 정수 인수분해 문제를 다항 시간 내에 해결하며, 올바른 인수를 과거로 되돌려보내어 자기 일관성을 확보한다.
• 알고리즘은 올바른 인수만 미래에서 되돌려보내질 경우에만 모순을 피하므로, 자기 일관성 있는 인과적 순환을 통해 해가 도출된다.
• NP-완전 문제의 경우, 검색 공간을 재귀적으로 분해하고 CTC를 통해 결과를 되돌려보내어 효율적인 해결이 가능하다.
• 동일한 접근 방식은 양적 부울 공식 만족 가능성(QS attainability)과 같은 PSPACE-완전 문제로도 확장 가능하며, 하위 공식을 재귀적으로 평가하고 논리 연산을 사용해 결과를 조합한다.
• 완전한 검색 루프가 실제로 실행되지 않더라도, 미래에서 해가 되돌려보내지면 알고리즘이 작동하므로, 루프는 논리적으로 필요하지만 물리적으로는 불필요하다.
• 양자적 고려사항은 메커니즘을 무효화하지 않으며, 계산은 자기 일관성 있고 결정론적으로 유지된다. 다만, 시계열 보호와 같은 양자 효과는 CTC가 실제로 존재할 수 없게 만들 수 있다.