이진 그래프 대전역 앙상블의 논리대수적 특성화

초록

본 논문은 이진(무방향·방향) 네트워크의 대전역(Grandcanonical) 앙상블을 논리대수적 관점에서 정형화한다. 그래프를 0‑1 인접행렬로 표현하고, 이들 행렬이 형성하는 부울 대수와 격(lattice) 구조를 이용해 모든 가능한 그래프 집합을 σ‑대수로 기술한다. 특히, 합집합·교집합 연산이 그래프의 합성·교차에 대응하고, 보수 연산이 보완 그래프와 일치함을 보인다. 이를 통해 대전역 앙상블이 완전한 부울 격을 이루며, 그래프의 부분순서가 포함관계와 동일함을 증명한다. 논문은 이러한 구조가 엔트로피 계산, 제약조건 부여, 그리고 마이크로캐노니컬↔그랜드캐노니컬 변환에 유용함을 논의한다.

상세 분석

논문은 먼저 이진 그래프를 N개의 정점에 대한 0‑1 인접행렬 A∈{0,1}^{N×N} 로 정의하고, 무방향 그래프의 경우 A는 대칭이며 대각원소는 0, 방향 그래프는 비대칭이지만 대각원소는 역시 0으로 제한한다. 이러한 행렬 공간을 집합 Ω_N이라 두고, Ω_N의 원소 전체를 대전역 앙상블 𝔾_N라 명명한다. 𝔾_N는 정점 수 N이 고정된 상태에서 가능한 모든 링크 조합을 포함하므로, 원소 수는 무방향 경우 2^{N(N‑1)/2}, 방향 경우 2^{N(N‑1)} 이다.

다음으로 저자는 Ω_N에 대해 부울 연산을 정의한다. 두 그래프 A, B에 대해 합집합 연산 ⊔는 원소별 OR, 교집합 연산 ⊓는 원소별 AND, 보수 연산 ¬는 원소별 NOT(즉, 보완 그래프)으로 정의한다. 이 연산들은 각각 그래프 이론에서의 합성 그래프, 교차 그래프, 보완 그래프와 일대일 대응한다. 특히, ⊔와 ⊓는 결합법칙, 교환법칙, 분배법칙을 만족하므로 (𝔾_N, ⊔, ⊓)는 완전한 부울 격을 형성한다.

또한 포함관계 ⊆ 를 부분순서로 채택한다. A⊆B ⇔ A_{ij} ≤ B_{ij} (∀i,j) 로 정의하면, 이는 그래프의 서브그래프 관계와 동일하다. 이 부분순서는 격의 최소원소 0(모든 엣지가 없는 빈 그래프)와 최대원소 1(모든 가능한 엣지를 가진 완전 그래프)를 갖는다. 따라서 𝔾_N는 유한한 완전 격이며, 각 원소는 최소·최대 원소 사이에서 유일한 표현을 가진다.

저자는 이러한 구조를 σ‑대수와 연결한다. 부울 격이 닫힌 연산을 갖는 만큼, 𝔾_N는 가산한 합집합·교집합·보수 연산에 대해 닫혀 있어 σ‑대수의 정의를 만족한다. 이는 확률론적 관점에서 각 그래프에 확률 질량을 할당하고, 사건(그래프 집합)의 확률을 정의하는 데 필수적이다. 특히, 엔트로피 S = –∑_{G∈𝔾_N} p(G) log p(G) 를 계산할 때, σ‑대수 구조가 사건들의 독립성·조건부 확률을 명확히 구분하게 해준다.

마지막으로, 마이크로캐노니컬 앙상블(고정된 엣지 수 M)과 그랜드캐노니컬 앙상블(엣지 수가 자유로운) 사이의 변환을 논한다. 마이크로캐노니컬은 𝔾_N의 특정 레벨 집합 L_M = {G | |E(G)| = M} 로 표현되며, 이는 격에서 동일한 랭크를 갖는 원소들의 층이다. 그랜드캐노니컬은 이러한 층들의 가중 평균으로, 각 레벨에 베르누이 파라미터 θ를 부여해 p(G) = θ^{|E(G)|}(1–θ)^{E_{max}–|E(G)|} 로 기술한다. 이때 부울 격 구조는 파라미터 θ에 대한 미분·적분 연산을 격 연산과 일관되게 연결시켜, 평균값·분산·고차 모멘트를 효율적으로 도출하게 한다.

요약하면, 논문은 이진 그래프 대전역 앙상블을 부울 대수·격·σ‑대수라는 세 가지 수학적 프레임워크로 일관되게 기술함으로써, 기존 통계역학적 접근을 보다 엄밀하고 확장 가능한 형태로 재구성한다. 이는 네트워크 과학에서 제약조건을 부여한 모델링, 엔트로피 기반 최적화, 그리고 복잡계 분석에 새로운 도구를 제공한다.