합성 및 분리 불린 네트워크의 동역학

본 연구는 불린 네트워크를 F₂ⁿ → F₂ⁿ 형태의 이산 동역학 시스템으로 정의하고, 모든 좌표 함수가 AND(∧) 연산만을 사용한 ‘합성(conjunctive)’ 네트워크와 OR(∨) 연산만을 사용한 ‘분리(disjunctive)’ 네트워크를 대상으로 한다. 각 네트워크는 변수 간 종속 관계를 나타내는 방향 그래프 D(f)를 갖으며, 이 그래프의 구조가 동역학적 특성을 결정한다는 가설을 검증한다. 첫 번째 단계에서는 의존 그래프 D(f)의 강하게 연결된 구성요소(SCC)를 식별하고, 이들 사이의 부분 순서(P)를 정의한다. 강한 연결성은 그래프 이론에서 핵심적인 개념으로, SCC 내부에서는 모든 정점이 서로 도달 가능하고, SCC 간에는 일방향 에지가 존재한다. 이를 행렬 형태로 표현하기 위해 인접 행렬 A를 사용하고, 행렬을 강한 연결성에 따라 Frobenius 정상형으로 변환한다. 다음으로 부울 행렬 연산 ⊗(OR-AND)를 도입한다. 두 부울 행렬 A와 B에 대해 (A⊗B)_{ij}=∨_{k}(A_{ik}∧B_{kj}) 로 정의되며, 이는 두 네트워크 f와 g의 합성 f∘g가 해당 행렬을 인접 행렬로 갖는다는 Proposition 2.2와 직접 연결된다. 따라서 f⁽ˢ⁾의 인접 행렬은 Aˢ와 동일하게 구할 수 있다. 이 결과는 네트워크의 전이 단계 s와 그래프의 경로 길이 사이의 일대일 대응을 제공한다. ‘루프 번호(loop number)’ 개념을 도입해 SCC 내부의 모든 단순 사이클 길이의 최대공약수를 정의하고, 전체 그래프의 루프 번호는 비자명 SCC들의 루프 번호의 최소공배수로 설정한다. Lemma 2.7에 따르면, 루프 번호 c와 행렬의 지수(k) (즉, A^{k+c}=A^{k})가 각각 네트워크의 주기 p(f)와 높이 h(f)에 대응한다. 구체적으로 h(f)=k이며, p(f)는 c를 나누는 수이다. 따라서 c를 나누지 않는 길이의 제한 사이클는 존재하지 않는다. 강하게 연결된 경우, 즉 전체 그래프가 하나의 SCC로 이루어진 경우에는 p(f)=c가 되며, 네트워크의 전체 사이클 구조를 정확히 계산할 수 있다. 저자는 각 SCC별 고정점 개수와 사이클 개수를 구한 뒤, 부분 순서 P에 따라 곱셈적 결합을 수행해 전체 네트워크의 사이클 다항식 C(f)=∑_{i}C_i(f)·C_i를 도출한다. 특히 고정점 개수는 식 (7.4)에서 정확히 구해지며, 이는 각 SCC가 독립적으로 가질 수 있는 고정점 수와 그들의 조합에 의해 결정된다. Theorem 1.3은 AND 네트워크와 OR 네트워크가 변수의 비트 반전 연산 ¬(x)=1+x를 통해 위상 공간이 동형임을 증명한다. 즉, 하나의 네트워크를 분석하면 다른 네트워크에 대한 결과를 바로 얻을 수 있다. 이는 연구 범위를 합성 네트워크에 국한하면서도 일반성을 유지하게 하는 중요한 논리적 도구이다. 논문은 기존 연구와의 연계도 상세히 제시한다. XOR 기반 선형 시스템에 대한 완전한 해답이 존재함을 언급하고, 대칭 임계값 함수, 다수 규칙 셀룰러 오토마타, AND‑OR 네트워크 등에 대한 이전 결과들을 일반적인 부울 행렬·그래프 이론으로 확장한다. 특히, 무방향 그래프(양방향 에지)에서 루프 번호가 1 또는 2가 되는 경우에 대한 기존 결과(