이진 가시성 그래프를 통한 무작위성 판별

초록

본 논문은 이진 시퀀스를 이진 가시성 그래프(BVG)로 변환한 뒤, 정점의 차수 분포, 클러스터링 계수, 평균 최단 경로 길이 등 세 가지 토폴로지 특성을 분석한다. 무작위 이진 시퀀스에 대한 이론적 결과를 정리하고, 수치 시뮬레이션을 통해 정리의 정확성을 검증한다. 최종적으로 BVG의 세 토폴로지 지표를 무작위성 판단 기준으로 제안한다.

상세 분석

이 논문은 기존의 가시성 그래프(VG) 개념을 이진 시퀀스에 특화시킨 이진 가시성 그래프(BVG)를 정의함으로써, 무작위성 분석에 새로운 도구를 제공한다. BVG는 시퀀스의 각 비트(0 또는 1)를 정점으로 두고, 두 정점 i와 j(i<j)가 “보이는” 경우에만 무방향 간선을 연결한다. 여기서 “보이는” 조건은 i와 j 사이의 모든 비트가 min{a_i,a_j}보다 작아야 함을 의미한다. 이진값만을 다루기 때문에, 실제 가시성 조건은 단순히 양쪽 끝값이 1이고 사이에 0이 없을 때만 연결되는 형태로 축소된다. 이러한 구조적 단순화는 이론적 분석을 가능하게 하며, 특히 무작위 이진 시퀀스(각 비트가 독립적으로 p=0.5 확률로 1을 가짐)에서 정점 차수의 확률분포를 정확히 도출할 수 있게 한다. 저자들은 차수 k에 대한 확률 P(k)=2^{-(k+1)}(k≥1)라는 기하급수적 감소 형태를 증명했으며, 이는 무작위 시퀀스가 생성하는 BVG가 매우 얇은 스케일프리 구조를 띤다는 것을 시사한다.

클러스터링 계수 C는 정점 i의 이웃 정점들 사이에 추가 간선이 존재할 확률로 정의된다. 이진 시퀀스의 경우, 이웃 정점이 모두 1이어야만 삼각형이 형성될 수 있으므로, C는 p^3에 비례한다. 무작위성 가정 하에 p=0.5이면 C≈0.125가 된다. 논문은 이 값을 시뮬레이션 결과와 비교하여, 실제 무작위 시퀀스에서 관측되는 평균 클러스터링이 이론값과 일치함을 확인한다.

평균 최단 경로 길이 L은 그래프가 작은 세계(small‑world) 특성을 보이는지를 판단하는 핵심 지표이다. BVG는 기본적으로 선형 구조에 추가적인 장거리 연결이 드물게 발생하므로, L은 O(N)에 가까운 선형 성장 형태를 보인다. 저자들은 무작위 시퀀스에 대해 L≈N/3이라는 근사식을 도출하고, 이는 전통적인 무작위 그래프(Erdős‑Rényi)의 로그 성장과는 확연히 구별되는 특징이다.

이러한 세 토폴로지 특성을 결합하면, 무작위 이진 시퀀스와 비무작위(예: 주기적, 마코프 의존) 시퀀스를 구분할 수 있는 강력한 기준을 제공한다. 특히 차수 분포의 기하급수적 감소, 클러스터링 계수의 고정값, 그리고 평균 최단 경로 길이의 선형 성장은 서로 독립적인 검증 포인트가 된다. 논문은 마지막 장에서 이 세 지표를 “무작위성 기준”으로 제시하고, 실제 데이터(난수 발생기 출력, 암호문, DNA 염기서열 등)에 적용했을 때 높은 구별력을 보임을 실험적으로 입증한다.

전반적으로 이 연구는 그래프 이론과 정보 이론을 융합하여, 이진 데이터의 무작위성을 정량적으로 평가할 수 있는 새로운 프레임워크를 제시한다는 점에서 학술적·실용적 의의가 크다.