Axioms of Quantum Mechanics in light of Continuous Model Theory

양자역학은 전자가 원자 주위를 도는 방식부터 빛이 우주 공간을 통과하는 방식에 이르기까지, 우주의 가장 작은 조각들이 어떻게 행동하는지를 규정하는 규칙들의 집합이다. 거의 한 세기 동안 물리학자들은 이러한 거동을 설명하기 위해 특정 수학적 프레임워크에 의존해 왔으며, 이 프레임워크는 시스템의 모든 가능한 구성이 매핑될 수 있는 거대하고 추상적인 공간 속에 존재하는 '상태(state)'라는 개념을 중심으로 구축되었다. 디라크-폰 노이만 형식론(Dirac-von Neumann formalism)으로 알려진 이 프레임워크는 실험 결과를 예측하는 데 있어 매우 성공적이었으나, 수학자들이 진리와 구조를 정의하기 위해 사용하는 엄밀한 논리 체계와는 항상 다소 동떨어진 느낌을 주었다. 물리학자들이 이 규칙들을 계산을 위한 실용적인 도구로 취급하는 반면, 논리학자들은 이 규칙들이 기하학이 단순하고 부정할 수 없는 공리들로부터 구축되는 것처럼, 더 깊고 근본적인 공리 집합으로부터 유도될 수 있는지 이해하고자 오랫동안 노력해 왔다. 남겨진 질문은 양자 세계의 기묘하고 확률적인 본질이 연속적인 변화와 측정을 표준 수학과 동일한 정밀도로 다루는 논리적 언어에 의해 완전히 포착될 수 있는지 여부였다.

수학자 보리스 질러(Boris Zilber)의 새로운 논문은 양자역학의 공리들을 논리학자들에게 친숙한 언어, 구체적으로는 '연속 모델 이론(continuous model theory)'이라는 분야의 언어로 재작성함으로써 이 간극을 메우고자 시도한다. 이 논리학의 한 분야는 값이 단순히 불연속적인 단계가 아니라, 방 안의 온도가 1도씩 점프하는 대신 부드럽게 변하는 것처럼 연속적으로 변하는 구조를 다룬다. 질러의 연구는 물리학자들이 양자 상태를 설명하기 위해 사용하는 복잡한 기제들이 단순히 유용한 공식들의 모음이 아니라, 대수학의 관점을 통해 분석, 재구성 및 이해될 수 있는 특정한 유형의 논리적 구조임을 보여준다. 물리적 개념을 이 논리적 언어로 번역함으로써, 저자는 물리학자들이 힐베르트 공간(Hilbert spaces)이라 부르는 수학적 대상들이 논리학자들이 정보가 어떻게 조직되는지, 그리고 한 시스템이 다른 시스템으로부터 어떻게 회복될 수 있는지를 이해하기 위해 수십 년 동안 연구해 온 구조들과 본질적으로 동일하다는 것을 밝혀낸다.

이 발견의 핵심은 '대수화(algebraization)'라고 불리는 과정에 있는데, 이는 논리적 문장을 숫자처럼 조작할 수 있는 대수적 대상으로 바꾸는 방법이다. 과거에 논리학자들은 표준 논리를 위해 실린드릭 대수(cylindric algebras)라는 체계를 개발하여, 수학적 구조를 가져와 그것을 완벽하게 표현하는 대수적 층위의 탑을 쌓을 수 있었다. 질러는 동일한 접근 방식이 양자역학에 사용되는 연속 논리에도 적용될 수 있음을 깨달았다. 그는 '정의 가능한 술어(definable predicates)'의 공간, 즉 양자 시스템의 측정 가능한 속성들로부터 구축된 새로운 유형의 대수적 탑을 구축했다. 이 새로운 프레임워크 내에서, 물리학자들이 확률과 에너지 준위를 계산하기 위해 사용하는 익숙한 벡터와 연산자들은 이러한 논리적 속성들을 정리한 결과로서 자연스럽게 출현한다. 이 논문은 만약 당신이 잘 다듬어진(well-behaved), 즉 그 우주가 컴팩트하고 모든 점이 정의 가능한 '테이밍(tame)'된 양자 시스템에서 시작한다면, 이 대수적 탑을 구축할 수 있으며, 놀랍게도, 이 시스템을 원래 모습 그대로 정확하게 회복하기 위해 '평가 범함수(evaluation functionals)'를 함께 사용하기만 하면 그 과정을 역으로 수행할 수 있음을 증명한다.

이 발견은 역사적으로 물리적 직관과 수학적 약칭이 혼합되어 제시되어 온 디라크-폰 노이만 형식론에 엄밀한 공리적 토대를 제공한다는 점에서 중요하다. 이 논문은 물리학자들이 양자 상태의 무한한 가능성을 다루기 위해 사용하는 정교한 수학적 도구인 '리그드 힐베르트 공간(rigged Hilbert space)'이 특정하고 더 강력한 가정 하에서 논리적 구조의 결과로 발생함을 보여준다. 양자 상태의 공간을 연속적인 논리 구조로 다룸으로써, 질러는 시스템이 그 대수적 속성과 이를 평가하는 특정 방식들에 의해 유일하게 결정된다는 것을 입증한다. 더 간단히 말해, 이 논문은 양자 시스템을 지배하는 논리적 규칙들이 매우 긴밀하고 구체적이어서, 가능한 측정들의 대수적 구조와 그것들을 평가하는 구체적인 방법들을 알게 된다면, 그 기하학을 포함한 전체 물리 시스템을 재구성할 수 있다는 것을 증명한다.

또한 이 연구는 물리적 세계와 이를 설명하기 위한 수학적 모델 사이의 관계를 명확히 한다. 저자는 특정 자연스러운 조건 하에서, 양자 상태의 복잡한 공간이 '프리-힐베르트 공간(pre-Hilbert space)'으로 간주될 수 있음을 보여준다. 이는 완전한 힐베르트 공간으로 완성되기 전의, 거의 완벽한 기하학적 공간이지만 수학적 유연성을 허용하는 구조이다. 이러한 구분은 모든 수학적 점이 물리적으로 실현 가능한 상태에 대응하는 것은 아니라는 물리적 실재와 일치한다는 점에서 매우 중요하다. 논문은 이 시스템의 물리적으로 의미 있는 부분이 이 더 큰 공간의 조밀한 부분집합(dense subset)이라고 주장하며, 이는 수십 년 동안 물리학계에서 논쟁이 되어온 개념이다. 연속 모델 이론의 틀 안에서 이를 제시함으로써, 저자는 왜 어떤 수학적 인공물들이 방정식에 나타나는 반면 다른 것들은 실제 측정 가능한 현상에 대응하는지에 대한 명확한 논리적 설명을 제공한다.

궁극적으로, 이 작업은 양자역학의 예측을 바꾸거나 양자 컴퓨터를 만드는 새로운 방법을 제시하는 것이 아니라, 그 예측들이 쓰여진 언어를 어떻게 이해해야 하는지를 바꾼다. 이는 양자 세계의 기묘하고 반직관적인 규칙들이 논리적 일관성의 예외가 아니라, 오히려 그것의 정교한 응용임을 시사한다. 이 논문은 물리적 시스템의 물리적 기술과 그 논리적 기술 사이의 가교가 새로운 물리학으로 채워야 할 간극이 아니라, 수학 자체의 구조 안에 이미 존재하는 연결 고리임을 확립한다. 양자 시스템의 대수적 표현이 평가 범함수와 결합될 때 시스템 전체를 회복하기에 충분하다는 것을 보여줌으로써, 이 연구는 수학의 논리와 물리적 우주의 실재 사이에 심오한 통일성을 제공하며, 양자역학의 깊은 구조가 가장 엄격한 논리 체계만큼이나 질서 정연하고 정의 가능하다는 것을 시사한다.