양자 셀룰러 자동자와 거시 동형론적 동류 이론

본 논문은 양자 셀룰러 자동자(QCA)를 기존의 메트릭 기반 정의에서 벗어나, 거시(bornological coarse) 공간 위에 정의함으로써 새로운 수학적 구조를 제시한다. 서론에서는 QCA가 점들의 행렬 대수에 대한 텐서곱 자동사상으로 정의되며, 반경 R이라는 제한을 통해 ‘국소성’이 보장된다고 설명한다. 그러나 메트릭 공간은 불필요한 작은 스케일(위상·균일 구조)을 포함하고 있어, 대규모 물리 현상을 기술하는 데 과잉 구조가 된다는 점을 지적한다. 이를 해결하기 위해 저자는 bornological coarse space라는 개념을 도입한다. 여기서는 유계 집합(bornology)과 엔투라지(coarse structure)를 별도로 지정한다. 엔투라지는 점 쌍 사이의 ‘멀리 있음’ 관계를 정의하고, 유계 집합에 대한 엔투라지 팽창이 다시 유계가 되도록 호환성을 요구한다. 이러한 구조는 메트릭 공간을 특별한 경우로 포함하지만, 보다 일반적인 대규모 위상을 다룰 수 있다. 다음으로 ‘넷(net)’을 정의한다. 넷은 유계 부분집합들의 부분 순서 집합을 카테고리로 보고, 각 유계 집합에 유한 차원 C*‑대수를 할당하는 함수를 의미한다. 중요한 제어 조건은 (2.1)식으로, 유계 집합을 유한히 커버하는 부분집합들의 콜리밋이 전체 대수와 동형이어야 한다는 것이다. 이를 통해 각 유계 집합에 대한 대수 A_B는 전체 대수 A_X의 부분대수로 자연스럽게 포함된다. 넷의 종류로는 ‘semilocal’, ‘local’, ‘matrix net’, ‘Azumaya net’이 정의된다. semilocal은 서로 겹치지 않는 부분집합에 대한 대수들이 교환하고, local은 추가로 텐서곱이 완전함을 요구한다. matrix net은 각 유계 집합에 전형적인 행렬 대수를 할당한다. Azumaya net은 존재하는 다른 넷 A′와 텐서곱했을 때 로컬 매트릭스 넷 B와 동형이 되는 넷으로, 이는 전통적인 Azumaya 대수 개념을 넷에 일반화한 것이다. 다음 장에서는 거시 지도(coarse map)와 가까움(closeness) 개념을 이용해 넷 사이의 푸시포워드(f_* )를 정의한다. 푸시포워드 함수는 유계 집합의 전상 이미지에 대한 넷을 취함으로써, 카테고리 Net, Az, Loc을 BornCoarse의 함자(functior)로 만든다. 또한, 가까운 두 지도 f, g에 대해 f_*와 g_*가 자연 동형임을 보이며, 이는 거시 동형론에서 필수적인 ‘가까움 동형’ 성질을 만족한다. 핵심 결과는 Q라는 거시 동류 이론의 존재와 그 차수 0 부분이 QCA와 동형이라는 정리이다. Q는 다음과 같이 정의된다. 먼저 Azumaya 넷들의 대칭 모노이달 카테고리 Az(X)를 취하고, 그에 대한 알제브라적 K‑이론 스펙트럼 K(Az(X))을 만든다. 그런 다음 Q(X) = colim_{n→∞} Ω^{n+1} K(Az(X⊗R^n)) 로 정의한다. 여기서 colim은 앞서 정의한 K‑이론 스펙트럼 사이의 자연적인 Ω‑전이(map)들을 따라 취한다. 이 정의는 May‑Vietoris 공리를 만족하도록 설계되어, Q가 진정한 거시 동류 이론임을 보인다. 정리의 증명은 크게 두 부분으로 나뉜다. 첫째, Q의 May‑Vietoris 성질을 이용해 Q(X⊗Z) ≃ Ω Q(X) 를 얻는다. 이는 Ji‑Yang이 증명한 QCA(Z^n) ≃ Ω QCA(Z^{n-1})와 정확히 일치한다. 둘째, Q₀(X) = π₀ Q(X) 가 QCA(X)와 동형임을 보인다. 이를 위해 Q₀(X) 를 K₀(Az(X⊗R^{n-1}))와 동등시킨 뒤, Azumaya 넷의 정의를 이용해 K₀(Az(Z^{n-1}))가 기존의 GNVW 지수(K₀ of matrix nets)와 일치함을 확인한다. 결과적으로 QCA(Z^n) ≅ K₀(Az(Z^{n-1})) 라는 새로운 동등성을 얻는다. n=1인 경우는 이미 알려진 GNVW 지수와 일치하지만, n>1에서는 처음 제시된 결과이다. 마지막으로 저자는 이 프레임워크가 QCA 외에도 양자 회로, 토폴로지컬 양자 장치 등 다양한 양자 시스템에 적용될 수 있음을 언급한다. 거시 동류 이론의 형식적 성질을 활용하면 복잡한 양자 동역학을 대규모 기하학적 관점에서 간결하게 기술할 수 있으며, 향후 연구에서는 더 일반적인 코시 공간, 비가산 무한 차원, 그리고 다른 종류의 대수적 구조(예: von Neumann 알제브라)까지 확장할 가능성을 제시한다.