양자 계산 모델의 완전성: 텐서 차원과 안정적 계산 가능성

이 논문은 양자 컴퓨팅 모델의 완전성을 논리적·수학적으로 정립하려는 시도이다. 서론에서는 고전적인 회로 모델과 튜링 머신, λ‑계산 등 다양한 모델이 “모든 computable 함수들을 구현한다”는 완전성 결과를 갖지만, 이를 위해서는 먼저 자연수 위의 computability 개념이 인덱싱에 독립적이라는 ‘안정성(stability)’이 필요함을 강조한다. 양자 경우에는 상태 공간이 복소수 벡터 공간이며, 특히 무한히 많은 큐비트를 다루는 경우가 많다. 무한 차원 벡터 공간에 대해 자연수와 동일한 방식으로 인덱싱을 적용하면, 인덱싱 선택에 따라 computable 함수 집합이 달라지는 문제가 발생한다(비계산 가능한 순열). 따라서 단순히 연산(덧셈·스칼라 곱)을 computable하게 만드는 것만으로는 충분하지 않다. 이를 해결하기 위해 저자는 ‘admissible indexing’(정의 3)을 도입한다. 이는 구조의 모든 연산이 해당 인덱싱에 대해 computable하도록 요구한다. 그런 다음 ‘stable computability’(정의 4)를 정의하여, 어떤 구조에 대해 두 admissible 인덱싱 사이에 computable 변환 함수가 존재하면 그 구조 위의 computability는 인덱싱에 독립적이라고 본다. 하지만 무한 차원 벡터 공간은 이 조건을 만족하지 않는다. 저자는 구체적인 반례를 제시하고, 비계산 가능한 순열이 존재함을 보이며, 따라서 무한 차원에서는 안정성이 깨진다. 핵심적인 전환점은 텐서 곱을 추가 연산으로 채택하는 것이다. 텐서 곱을 포함한 구조를 ‘finite tensorial dimension’이라고 정의하고, 이 경우 전체 공간이 유한 개의 기본 원소와 연산만으로 생성될 수 있다(‘finite generative set’, 정의 6·7). 이러한 구조는 ‘finite generation’이라는 일반적인 개념으로 포괄된다. 정리 1은 “기본 구조가 stable computability를 가지고, 새로운 구조가 기본 구조에 대해 finitely generated이면, 전체 구조도 stable computability를 가진다”는 것을 증명한다. 증명 과정에서는 Proposition 1~3을 활용해 admissible 인덱싱 사이의 변환 가능성을 보이고, 인덱싱이 바뀌어도 computable 함수 집합이 동일함을 보인다. 결과적으로, 유한 텐서 차원을 갖는 무한 차원 벡터 공간(예: 무한 큐비트 배열)에서는 텐서 곱을 기본 연산으로 포함함으로써 인덱싱 독립적인 computability를 확보할 수 있다. 이는 양자 튜링 머신, 양자 λ‑계산, 양자 셀룰러 오토마톤 등 다양한 양자 모델에 대해 절대적인 완전성 개념을 정의할 수 있게 한다. 즉, “모든 양자 computable 함수들을 구현한다”는 주장을 형식적으로 뒷받침하며, 양자 이론 내에서 Church‑Turing 논제를 명확히 해석한다. 마지막으로, 논문은 물리학에서 흔히 사용되는 무한 차원 공간이 컴퓨팅 이론과 어떻게 연결될 수 있는지를 보여주며, 텐서 차원이라는 물리적 제약이 계산 이론적 안정성을 제공한다는 새로운 관점을 제시한다.