극단적 혼돈을 보이는 불리언 네트워크

초록

본 논문은 입력 차수가 2 이하이고, 편향·카날라이징 규제 함수를 사용하며, 음의 피드백 루프를 제한하는 등 여러 ‘질서’를 기대하게 하는 조건을 동시에 만족함에도 불구하고, 불리언 네트워크가 여전히 극단적인 혼돈 상태에 놓일 수 있음을 보인다. 또한, 출력 차수가 제한되고 길이 cⁿ ( c≈2 )인 주기 궤도가 존재할 경우, 대부분의 변수는 다른 변수의 값을 그대로 복사하는 형태가 되며, 이는 소규모 튜링 기계와 구조적으로 유사함을 증명한다.

상세 분석

이 연구는 기존에 무작위 네트워크 실험을 통해 ‘정돈된’ 동역학을 유도한다고 알려진 네 가지 구조적 제약을 동시에 적용했음에도 불구하고, 불리언 네트워크가 여전히 혼돈적인 행동을 보일 수 있음을 이론적으로 입증한다. 첫 번째 제약은 각 변수의 입력 차수를 최대 두 개로 제한하는 것이며, 이는 Kauffman 모델에서 흔히 사용되는 K=2 조건과 일치한다. 두 번째는 규제 함수가 편향(biased)되어 있어 0과 1 중 어느 한쪽이 더 자주 출력되는 경우이며, 이는 네트워크의 평균 감도(average sensitivity)를 낮추어 안정성을 높인다고 알려져 있다. 세 번째는 카날라이징(canalyzing) 함수의 사용이다. 카날라이징 함수는 특정 입력값이 주어지면 출력이 고정되는 특성을 가지고 있어, 동역학적 잡음에 대한 내성을 제공한다는 점에서 ‘정돈’에 기여한다는 기존 연구 결과가 있다. 네 번째는 음의 피드백 루프(negative feedback loop)의 수를 제한함으로써, 전통적인 제어 이론에서 안정성을 보장하는 요소를 도입한다. 이러한 네 가지 조건은 각각 독립적으로는 네트워크를 ‘ordered regime’으로 이끌 가능성이 높지만, 저자들은 이들을 모두 만족하는 네트워크에서도 지수적으로 긴 주기 궤선이 존재함을 보이며, 이는 혼돈(regime) 특성을 나타낸다.

수학적 증명은 두 단계로 구성된다. 첫 단계에서는 입력 차수 2 이하와 카날라이징·편향 함수가 결합될 때, 각 변수의 전이 함수가 평균적으로 0.5 이하의 감도를 갖는다는 일반적인 기대를 검증한다. 그러나 두 번째 단계에서는 전체 네트워크의 전이 행렬을 구성했을 때, 특정 구조적 배치—특히 ‘복제’(copy) 연결이 다수 존재하고, 남은 소수의 변수들이 복잡한 논리 연산을 수행하도록 설계된 경우—가 전체 시스템의 상태 공간을 거의 완전 이진 트리 형태로 확장시켜, 주기 길이가 2ⁿ에 근접하도록 만든다. 여기서 cⁿ 형태의 주기 길이가 존재한다는 가정은 ‘대수적 복제’(algebraic replication) 메커니즘을 의미하며, 이는 출력 차수가 제한된 상황에서도 가능한데, 이는 변수들이 서로의 값을 복사하는 ‘전달’(propagation) 구조가 네트워크 전체에 퍼져 있기 때문이다.

특히 저자들은 ‘출력 차수 제한(bounded out-degree)’이라는 추가 가정을 도입함으로써, 각 변수의 영향을 미치는 변수 수가 제한됨에도 불구하고, 전체 네트워크가 여전히 복제 중심의 구조를 형성한다는 점을 강조한다. 이때 복제 변수들의 비율이 전체 변수의 절반 이상에 달하면, 네트워크는 마치 작은 튜링 기계가 하나 혹은 여러 개의 테이프 위에서 동작하는 형태와 유사해진다. 튜링 기계와의 유사성은 상태 전이가 결정론적이며, 복제 변수들이 정보를 전달하는 ‘테이프’ 역할을 수행하고, 남은 소수의 논리 변수들이 ‘제어 유닛’ 역할을 하여 복잡한 연산을 수행한다는 점에서 도출된다. 따라서, 기존에 ‘정돈’이라고 여겨졌던 구조적 제약이 실제로는 복제 기반의 고차원 정보 전달 메커니즘을 숨길 수 있음을 보여준다.

이 논문의 결과는 불리언 네트워크의 동역학을 예측하려는 기존 모델에 중요한 경고를 제공한다. 입력 차수, 함수 형태, 피드백 루프 수와 같은 전통적인 ‘정돈 지표’만으로는 네트워크가 혼돈 영역에 머무를지 여부를 충분히 판단할 수 없으며, 변수 간 복제 관계와 출력 차수 제한이 결합된 구조적 특성을 함께 고려해야 함을 시사한다.