이진열의 자기상관과 구간 구조의 완전 일치 공식

초록

본 논문은 이진열에서 자기상관 함수가 구간(런) 구조에 의해 완전히 결정된다는 새로운 정리를 증명한다. 기존에 독립적인 무작위성 검증 도구로 사용되던 두 개념을 하나의 수식으로 통합함으로써, 구간 길이와 빈도만 알면 모든 자기상관 값을 계산할 수 있음을 보인다.

상세 분석

본 연구는 이진열(0‑1 시퀀스)의 두 핵심 특성인 자기상관 함수와 구간(런) 구조 사이의 내재적 관계를 수학적으로 규명한다. 기존 문헌에서는 Golomb(1955) 이후 두 개념을 각각 독립적인 무작위성 검증 기준으로 활용해 왔으며, 서로를 보완하는 역할을 한다고 인식되었다. 그러나 저자들은 “자기상관‑런 공식(Autocorrelation‑Run Formula, ARF)”이라 명명한 새로운 정리를 통해, 실제로 구간 구조만으로 전체 자기상관 스펙트럼을 완전히 복원할 수 있음을 증명한다.

핵심 아이디어는 구간을 길이별로 분류하고, 각 길이 i에 대해 등장 횟수 R_i 를 정의한 뒤, 이들 R_i 를 적절히 가중합하여 거리 d에 대한 자기상관 C(d)를 표현하는 것이다. 구체적으로, C(d)=∑_{i≥1} w_i(d)·R_i 형태의 선형 결합이 도출되며, 여기서 가중치 w_i(d)는 d와 i의 관계에 따라 0, ±1, 혹은 ±2 등으로 정해진다. 저자들은 이 가중치 함수를 재귀적으로 구성하고, 모든 가능한 거리 d(1≤d≤N‑1, N은 시퀀스 길이)에 대해 동일한 식이 성립함을 수학적 귀납법과 조합론적 논증을 통해 엄밀히 증명한다.

또한, 논문은 기존의 자기상관 계산 복잡도 O(N²)를 구간 카운팅 O(N)으로 대폭 낮출 수 있음을 실험적으로 확인한다. 구간 카운팅은 한 번의 선형 스캔으로 R_i 를 얻을 수 있기 때문에, 대규모 시퀀스(예: 암호학적 난수 생성기 출력, DNA 서열)에서도 실시간 분석이 가능하다. 저자들은 여러 무작위성 테스트 베이스(예: NIST SP800‑22, Dieharder)와 비교 실험을 수행했으며, ARF 기반 검증이 동일한 통계적 결론을 내리면서도 연산량을 10배 이상 절감한다는 결과를 제시한다.

이론적 측면에서는 ARF가 기존의 Golomb 규칙(균등성, 독립성, 순환성)과 어떻게 조화를 이루는지, 그리고 구간 구조가 자기상관의 주기성 및 스펙트럼 특성을 어떻게 반영하는지를 상세히 논의한다. 특히, 구간 길이 분포가 특정 주기를 갖는 경우(예: 교대 패턴) 자기상관이 급격히 변하는 현상을 구간 가중치의 부호 전환으로 설명한다.

마지막으로, 저자들은 ARF를 확장하여 다중값 시퀀스(예: q‑ary)와 비정규(비이진) 구간 구조에도 적용 가능한 일반화 방안을 제시한다. 이는 현재까지 이진열에 국한되었던 이론을 보다 넓은 코딩 이론 및 신호 처리 분야에 적용할 수 있는 토대를 마련한다는 점에서 학술적·실용적 의의가 크다.