양자 물리와 물리적 교처 튜링 정리: 가디의 가설을 양자화하다

초록

본 논문은 가디가 제시한 물리적 교처‑튜링 정리의 고전적 가정들을 양자역학에 맞게 재정의하고, “공간·시간 균일성”, “정보의 유한 밀도”, “정보 전파의 유한 속도”, “정지 상태(Quiescence)” 등 네 가지 핵심 원칙을 양자 셀룰러 오토마톤 모델에 적용한다. 이 양자 버전의 정리를 통해, 위 가정들을 만족하는 모든 물리적 시스템은 튜링 기계가 계산할 수 있는 함수만을 구현한다는 물리적 교처‑튜링 정리를 증명한다. 또한 각 가정이 없을 경우 발생할 수 있는 비계산 가능성 예시를 제시하며, 양자 이론의 무한 차원성·비계산 가능한 진폭 등과의 조화 가능성을 논의한다.

상세 분석

가디는 1980년대에 “공간·시간의 균일성”, “정보의 유한 밀도”, “정보 전파의 유한 속도”, “정지 상태”라는 네 가지 물리적 가정을 두고, 이들 가정이 충족될 때 물리적 시스템의 전역 진화는 튜링 기계에 의해 시뮬레이션 가능하다는 정리를 증명하였다. 이 논문은 그 고전적 프레임워크를 양자역학에 그대로 옮기려는 시도를 체계화한다. 먼저, 연속적인 3차원 유클리드 공간을 격자(cell)로 분할하고, 각 셀을 유한 차원의 힐베르트 공간(예: 한 개의 큐비트)으로 모델링한다. 여기서 “정보의 유한 밀도”는 셀당 가능한 측정 결과가 유한 개임을 의미하며, 이는 셀의 상태공간이 유한 차원이라는 형태로 구현된다. 이는 무한 차원의 파동함수 자체가 아니라, 실제 물리적 관측에서 얻을 수 있는 정보가 유한함을 강조한다.

다음으로 “정보 전파의 유한 속도”는 고전적 경우와 동일하게, 시간 간격 T 안에 한 셀의 상태가 변하는 데 영향을 미치는 주변 셀의 범위를 반경 1(또는 고정된 유한 반경)으로 제한한다. 양자 경우에는 셀 간 상호작용이 텐서곱 구조를 갖지만, 국소적인 유니터리 연산(또는 완전 양자 채널)으로 제한함으로써 동일한 인과성(causality) 조건을 만족한다. 이때 연산은 각 셀에 적용되는 유니터리 게이트들의 집합으로 표현되며, 전체 진화 연산 G는 유한한 로컬 규칙 χ에 의해 완전히 정의된다.

“공간·시간 균일성”은 격자 전이와 시간 전이가 전역적으로 동일한 규칙을 따름을 의미한다. 양자 셀룰러 오토마톤에서는 모든 셀에 동일한 유니터리 게이트 집합이 적용되고, 시간 전이는 고정된 T 간격으로 진행된다. 이는 물리적 시스템이 외부의 비대칭성을 도입하지 않는 한, 동일한 연산을 반복 적용함을 보장한다.

마지막으로 “정지 상태(Quiescence)”는 초기 구성에서 유한한 영역만 비정지 상태이며, 시간이 흐름에 따라 정지 영역이 전파되지 않도록 보장한다. 양자 경우에도 초기 상태는 대부분 진공(또는 고정된 기준 상태)이며, 비정지 셀은 유한 개만 존재한다. 이 가정은 전역 상태를 무한 문자열이 아닌, 거의 전부가 동일한 문자열로 표현할 수 있게 하여, 전체 상태를 자연수 하나로 인코딩하고 튜링 기계가 다룰 수 있게 만든다.

위 네 가정을 모두 만족하면, 전체 진화 G는 유한한 로컬 함수 χ에 의해 완전히 기술되며, 따라서 G의 반복 적용 G^k는 튜링 기계가 계산 가능한 함수가 된다. 논문은 이를 정리 1(양자 가디 정리)로 공식화하고, 증명 과정을 고전적 경우와 구조적으로 동일하게 전개한다.

또한 각 가정이 빠졌을 때 발생할 수 있는 비계산 가능성 사례를 상세히 제시한다. 예를 들어, 공간 균일성이 없으면 셀마다 다른 연산을 부여해 비결정론적 언어 U를 인코딩할 수 있고, 정보 밀도 제한이 없으면 셀의 상태공간을 자연수 전체로 두어 비계산 함수 f_U를 직접 구현할 수 있다. 시간 균일성이 결여되면 시간에 따라 다른 연산을 적용해 동일한 효과를 얻으며, 정지 상태가 없으면 초기 구성 자체에 비계산 정보를 삽입해 전역 진화를 비계산적으로 만들 수 있다. 이러한 반례들은 가디의 가정이 물리적 교처‑튜링 정리를 보장하는 데 필수적임을 강조한다.

양자 이론과의 조화 측면에서는, 무한 차원의 힐베르트 공간 자체가 가정에 위배되는 것이 아니라, 실제 물리적 측정이 유한 차원으로 제한된다는 점을 강조한다. 또한 비계산 가능한 실수 진폭(예: 튜링 기계의 halting 정보를 내포한 복소수 계수) 사용을 금지하기 위해, 셀의 상태공간을 유리수(또는 그 유한 확장) 위의 유한 차원 벡터 공간으로 제한한다. 이는 양자 게이트 집합이 유한하고, 실험적으로 구현 가능한 범위에 머무르는 현실적인 제약과도 일치한다.

결과적으로, 논문은 “양자 물리학이 가디의 물리적 가정을 만족한다면, 물리적 교처‑튜링 정리는 양자 세계에서도 성립한다”는 강력한 결론을 도출한다. 이는 양자 컴퓨터가 복잡도 측면에서 우위를 가질 수는 있지만, 계산 가능성(계산할 수 있는 함수의 집합)에서는 고전적 튜링 기계와 동등하다는 기존의 견해를 물리적 원리 수준에서 재확인한다.