상호작용 그래프 층 구조에서 불리언 네트워크의 흡인자 길이 상한

초록

본 논문은 회로 길이가 1보다 큰 사이클을 포함하지 않는 불리언 네트워크의 상호작용 그래프(‘층 그래프’)에 대해, 네트워크가 가질 수 있는 모든 흡인자(주기 궤도)의 길이가 그래프 구조만으로 결정되는 상한을 제시한다. 구체적으로, 그래프 내 부정 루프와 양·부정 루프가 동시에 존재하는 정점의 개수를 τ(G)라 할 때, 흡인자의 길이는 2·τ(G) 이하이며, 항상 2의 거듭제곱 형태임을 증명한다.

상세 분석

이 연구는 불리언 네트워크 F:{0,1}ⁿ→{0,1}ⁿ의 동적 특성을 그 네트워크의 상호작용 그래프 G(F)와 연결시키는 전통적인 접근법을 확장한다. 기존 문헌에서 G(F)가 사이클을 전혀 포함하지 않을 경우(즉, 완전한 DAG) 흡인자는 고정점만 존재한다는 것이 알려져 있다. 그러나 G(F)가 ‘층 그래프’—즉, 길이 2 이상의 사이클을 금지하지만 자기 루프(길이 1 사이클)는 허용하는 구조—인 경우, 흡인자는 주기적인 궤도를 형성할 수 있다.

핵심 정의는 τ(G(F))이다. 이는 G(F)의 모든 단순 경로 P에 대해, (1) 첫 번째 부정 루프를 갖는 정점 또는 (2) 양·부정 루프를 동시에 갖는 정점의 개수를 셈으로써 구한다. τ는 그래프가 부정 루프를 전혀 갖지 않으면 0, 부정 루프만 하나라도 있으면 최소 1, 양·부정 루프가 동시에 존재하는 정점이 있으면 그 수만큼 증가한다.

정리 1(기존 결과)은 G(F)가 사이클이 없을 때 흡인자의 길이가 2의 거듭제곱이며, 부정 루프가 없으면 길이가 1(고정점)이라는 것을 보여준다. 본 논문의 정리 2는 이를 일반화한다. 구체적으로, G(F)가 길이 ≥2 사이클을 포함하지 않을 경우, 흡인자의 최대 길이는 2·τ(G(F)) 이하이며, 여전히 2의 거듭제곱 형태이다.

증명 전략은 ‘r‑minimal’ 함수 개념을 도입한다. r‑minimal 함수는 길이 r의 흡인자를 갖지만, 그래프 구조를 더 간소화(엄격한 부분 그래프)하여 같은 길이의 흡인자를 만들 수 없는 최소 사례이다. Lemma 1은 r‑minimal 함수 F에 대해, 특정 정점 i(선행자를 가지고 있지만 엄격한 후계자는 없는)를 선택해 그 정점에 대한 출력 함수를 상수 0으로 고정한 새로운 함수 ˜F를 정의하면, ˜F는 길이 r/2의 흡인자를 가지면서 τ(G(˜F))가 감소함을 보인다. 이 과정을 반복하면 흡인자 길이가 2의 거듭제곱 형태로 감소하고, 최종적으로 τ가 0이 될 때까지 진행한다.

정리 2의 귀납적 증명은 r‑minimal 함수를 선택하고 Lemma 1을 적용해 τ를 감소시키면서 흡인자 길이를 절반으로 줄이는 과정을 반복한다. 결국 r은 2·τ(G(F)) 이하의 2의 거듭제곱이 된다.

추가적인 corollary는 ‘모호한 루프(양·부정 루프가 동시에 존재하는 정점)’가 없을 경우 τ≤1이므로 흡인자 길이는 최대 2가 된다. 이는 기존 연구에서 제시된 “모든 정점에 루프가 있으면 흡인자 길이가 3 이상일 수 없다”는 명제와는 달리, 모호한 루프가 존재하면 길이 4 이상의 흡인자가 가능함을 예시를 통해 보여준다.

이 논문은 그래프 이론적 특성(특히 부정 루프와 양·부정 루프의 배치)만으로 불리언 네트워크의 동적 복잡성을 상한 짓는 강력한 도구를 제공한다. 이는 네트워크 설계 시 원하는 주기성을 제어하거나, 생물학적·사회적 시스템에서 관측되는 주기 현상의 원인을 그래프 구조로 추론하는 데 활용될 수 있다.