범주론으로 보는 그래프 극한의 새로운 틀

초록

본 논문은 정점 분포와 간선 분포를 각각 확률 측도와 유한 측도로 나타낸 쌍 $(\pi,\mu)$ 을 □‑graphon이라 정의하고, 이들 사이의 사상으로 마코프 커널을 도입한다. 두 측도가 모두 보존되는 마코프 커널을 형태보존 사상이라 부르며, 이를 통해 □‑graphon들의 범주를 구성한다. s‑수렴을 변형한 수렴 개념을 제시하고, 역시스템과 Kolmogorov 연장 정리를 활용해 모든 그래프 극한 공간이 콤팩트함을 증명한다. 또한, 기존 s‑graphon과의 관계와 동형 사상의 성질을 논의한다.

상세 분석

논문은 먼저 측도론적 기초와 마코프 커널의 기본 성질을 정리한다. 마코프 커널 $\kappa\colon (X,\mathcal A)\to (Y,\mathcal B)$는 각 $x\in X$에 대해 확률측도 $\kappa(x,\cdot)$를, 그리고 각 $B\in\mathcal B$에 대해 가측함수 $x\mapsto\kappa(x,B)$를 제공한다. 이를 이용해 두 공간의 곱에 대한 커널 $\kappa\otimes^2$를 정의하고, 합성법칙 $\bigl(\kappa’\circ\kappa\bigr)\otimes^2=\kappa’\otimes^2\circ\kappa\otimes^2$를 증명한다.

다음으로 □‑graphon을 $(\pi,\mu)$라는 쌍으로 정의한다. 여기서 $\pi$는 정점의 분포를 나타내는 확률측도, $\mu$는 간선의 분포를 나타내는 유한측도이며, $\mu$는 대칭성을 가정한다. 기존의 s‑graphon이 단일 측도로 간선만을 다루는 반면, □‑graphon은 정점과 간선을 별도 측도로 다루어 보다 일반적인 구조를 포괄한다.

핵심은 두 □‑graphon 사이의 사상을 형태보존 마코프 커널 $\kappa$로 정의한 점이다. 이는 $\pi_Y=\kappa_\pi_X$와 $\mu_Y=\kappa\otimes^2_\mu_X$를 동시에 만족한다. 첫 번째 조건은 정점 분포의 보존, 두 번째는 간선 분포의 보존을 의미한다. 이 정의는 기존의 측도 보존 마코프 커널 개념에 간선 측도까지 확장한 것으로, 사상이 확률적이면서도 구조를 완전히 유지한다는 점에서 새롭다.

이러한 사상들을 이용해 □‑graphon 범주 $\mathbf{Graphon}_\square$를 구성한다. 객체는 모든 가능한 측정공간 위의 □‑graphon이며, 동형 사상은 역마코프 커널이 존재하는 경우로 정의한다. 동형 사상의 성질을 분석하면서, 두 □‑graphon이 모든 $k$‑shape(정점 $k$개에 대한 가중 그래프 집합)를 동일하게 가질 때 동형임을 보이는 등, 동형 관계와 $k$‑shape 동등성 사이의 연관성을 탐구한다.

수렴 개념은 각 $k\in\mathbb N$에 대해 $k$‑shape가 Vietoris 위상에서 수렴하는 것을 요구한다. 이는 s‑수렴과 유사하지만, 정점 가중치까지 포함한다는 점에서 차별화된다. 논문은 이 수렴이 실제로 동일한 위상(동등한 수렴 체계)을 만든다는 것을 증명하고, 따라서 기존 s‑graphon 이론과 완전히 호환됨을 확인한다.

콤팩트성 증명은 역시스템(inverse system)과 Kolmogorov 연장 정리를 핵심 도구로 사용한다. 주어진 수렴열 $(\pi_n,\mu_n)$에 대해 각 $k$‑shape가 수렴함을 이용해 정점 측도와 간선 측도의 역시스템을 구성하고, 각각의 역극한을 구한다. 역극한 측도들은 곧 새로운 □‑graphon $(\pi,\mu)$를 정의하며, 이 객체가 원래 수열의 극한임을 보인다. 특히, 역극한을 무한 제품 공간 위에 두어, 고정된 기저 공간에 제한하지 않고도 일반적인 극한을 구성할 수 있음을 강조한다.

마지막으로, 동형 사상의 완전한 특성을 기술하고, “동일한 $k$‑shape을 갖는” 관계가 범주론적 동형과 어떻게 연결되는지를 탐구한다. 일부 결과는 기존 문헌(특히