Approaching the Continuous from the Discrete: an Infinite Tensor Product Construction

기술 요약: 무한 텐서 곱을 통한 이산적 구조로부터의 연속적 구조로의 접근

문제 정의
최근 범주론적 확률론의 발전은 이산적 확률 과정(예: 유한 집합 및 확률 행렬)을 스트링 다이어그램 계산법(string diagrammatic calculi)을 사용하여 성공적으로 공리화하였습니다. 그러나 일반적인 연속 확률, 특히 $\mathbf{BorelStoch}$(표준 보렐 공간 및 마르코프 커널)와 같은 범주를 공리화하는 데에는 여전히 상당한 간극이 존재합니다. 주요 어려움은 기존의 스트링 다이어그램이 대개 유한한 생성자와 방정식에 의존한다는 점 때문에, 무한한 동작(infinite behavior)을 기존 프레임워크 내에 대수적으로 인코딩하는 데 있습니다. 콜모고로프 확장 정리(Kolmogorov extension theorem)는 연속 측도가 이산적 측도의 극한으로 볼 수 있음을 시사하지만, 무한 텐서 곱을 통해 이산적 설정에서 연속적 설정으로 연결하는 엄밀한 범주적 구성은 그동안 부족했습니다.

방법론
저자들은 주어진 세미카테고리(semicartesian category) $\mathcal{C}$에 무한 텐서 곱을 부가하는 보편적 구성을 제안합니다. 방법론은 다음과 같은 단계로 진행됩니다:

1. 보편적 구성 (Universal Construction): 논문은 $\mathcal{C}$에 무한 텐서 곱을 부가하여 얻어진 범주 $\mathcal{C}^{\otimes\infty}$를 정의합니다. 이는 보편 성질을 통해 달성됩니다: $\mathcal{C}^{\otimes\infty}$는 $\mathcal{C}$로부터 대칭 단성 함수(symmetric monoidal functor)를 받는 무한 텐서 곱을 가진 초기 세미카테고리입니다.
2. 구체적 표현 (유한 근사 가족): $\mathcal{C}^{\otimes\infty}$의 사상(morphism)들을 다루기 용이하게 만들기 위해, 저자들은 취소 가능한 삭제(cancellative deletions)(즉, $f \otimes \text{del} = g \otimes \text{del} \implies f=g$인 경우)를 갖는 범주로 주의를 제한합니다. 이 설정에서 무한 텐서 곱 사이의 사상은 추상적인 극한이 아니라, *유한 근사 가족(finite approximation families)*으로 특징지어집left니다. 사상은 자연성(naturality), 피복(covering), 그리고 상속성(hereditariness) 조건을 만족하는 유한 사상들의 가족 $(f_{F,G})$의 동치류입니다.
3. 다이어그램 문법 (Diagrammatic Syntax): 저자들은 유한 근사 가족을 스트링 다이어그램으로 표현하기 위해 "플레이트 표기법(plate notation)"을 도입합니다. 이를 통해 공리적 제시(axiomatic presentation)의 리프팅이 가능해집니다: 만약 $\mathcal{C}$가 대칭 단성 이론 $(\Sigma, E)$에 의해 제시된다면, $\mathcal{C}^{\otimes\infty}$는 원래의 생성자와 방정식에 더해 무한 텐서 곱(플레이트)을 처리하기 위한 규칙들을 포함하는 이론 $\text{Free}_\infty(\Sigma, E)$에 의해 제시됩니다.
4. $\mathbf{FinStoch}$에 대한 적용: 이 구성은 $\mathbf{FinStoch}$(유한 집합 및 확률 행렬)와 그 부분 범주인 $\mathbf{BinStoch}$($\{0,1\}$의 거듭제곱)에 적용됩니다.

주요 결과

• $\mathbf{FinStoch}^{\otimes\infty}$의 특징 규명: 저자들은 $\mathbf{FinStoch}^{\otimes\infty}$가 국소 상수 마르코프 커널(locally constant Markov kernels)을 갖는 스톤 공간(Stone spaces)의 범주 $\mathbf{StoneStoch}_{lc}$와 동치임을 증명합니다. 이 범주에서 대상(object)은 유한 집합의 무한 곱(브라우어의 정리에 의해 유한 집합 또는 칸토어 공간 $2^\mathbb{N}$ 중 하나임)이며, 사상은 입력의 유한한 좌표에만 의존하는 클로픈(clopen) 집합에 대한 커널 $f: X \to Y$입니다.
• 연속 확률의 공리적 제시: $\mathbf{BinStoch}$로 범위를 제한함으로써, 저자들은 $\mathbf{CantorStoch}_{lc}$($\mathbf{StoneStoch}_{lc}$ 중 2의 거듭제곱과 칸토어 공간을 포함하는 부분 범주)에 대한 공리적 제시를 도출합니다. 그들은 $\mathbf{CantorStoch}_{lc}$가 $\mathbf{CausCirc}$($\mathbf{BinStoch}$의 공리화)의 이론 $(\Sigma, E)$를 갖는 $\text{Free}_\infty(\Sigma, E)$와 동형임을 보여줍니다.
• 표현력 (Expressivity): 논문은 $\mathbf{CantorStoch}_{lc}$가 실수선 $\mathbb{R}$ 상의 모든 확률 측도를 포괄할 만큼 충분히 표현력이 풍부함을 보여줍니다. 이는 $\mathbb{R}$이 $\mathbf{BorelStoch}$에서 2의 무한 텐서 곱과 동형이기 때문이며, 구성 과정에서 $\mathbb{R}$ 상의 측도와 칸토어 공간 $2^\mathbb{N}$ 상의 측도 사이의 전단사 대응 관계를 확립합니다.
• 한계점: 저자들은 $\mathbf{FinStoch}^{\otimes\infty}$가 $\mathbf{BorelStoch}$ 전체를 회복하지는 못한다는 점을 명시합니다. 이는 모든 확률 측도를 포착할 수는 있지만, 임의의 가측 함수(비국소 상수일 수 있는)의 동작을 완전히 포착할 수는 없으므로, 전체 연속 범주보다는 특정한, 표현력이 풍부한 부분 범주를 형성한다는 것을 의미합니다.

의의 및 주장
본 논문은 무한 텐서 곱을 사용하는 마르코프 범주를 공리화하기 위한 최초의 도구를 제공한다고 주장합니다. 주요 기여는 이산적 확률 추론으로부터 연속적 확률으로 가는 엄밀한 가교를 구축한 것입니다. 연속 확률을 무한 텐서 곱을 통해 이산적 설정의 극한으로 접근할 수 있음을 보여줌으로써, 본 연구는 스트링 다이어그램(특히 플레이트 표기법)을 사용하여 연속 시스템을 추론하는 것을 가능하게 합니다.

저자들은 이 접근 방식이 연속 확률의 의미론적 등식을 이산 공리로부터 직접 도출할 수 있게 한다고 강조합니다. 또한, $\mathbf{FinStoch}^{\otimes\infty}$가 $\mathbf{BorelStoch}$의 완전한 일반성(특히 비국소 상수 커널과 관련하여)을 포착하지는 못하지만, 칸토어 공간의 관점을 통해 $\mathbb{R}$ 및 기타 연속 공간 상의 확률 측도를 연구하기 위한 풍부한 프레임워크를 제공한다는 점을 언급합니다. 이 작업은 연속 확률에 대한 의미론적 접근법과 스트링 다이어그램 방법론을 연결하는 기초적인 단계로 제시되며, 일반적인 마르코프 커널 및 가우시안 혼합(Gaussian mixtures)과 같은 다른 확률 모델로 결과를 확장하는 것에 대한 향후 과제를 제안합니다.