비선형 불린 함수의 선형 연산자 집합을 통한 완전 특성화

초록

본 논문은 비선형 셀룰러 오토마타(CA)의 전역 동역학을 선형 규칙 행렬과의 관계에서 재구성한다. 비편향 상태(Non‑deviant state)에서는 가장 근접한 선형 규칙 행렬이 그대로 적용되며, 편향 상태(Deviant state)에서는 별도의 행렬 집합이 필요하다. 또한, 대수적 변형을 이용해 모든 비선형 불린 함수를 이진 행렬들의 연속으로 표현하는 효율적인 알고리즘을 제시한다.

상세 분석

이 연구는 비선형 CA의 복잡성을 두 단계로 나누어 접근한다. 첫 번째 단계는 상태 공간을 ‘비편향 상태’와 ‘편향 상태’로 구분하는데, 이는 기존의 Boolean 미분 및 Jacobian 행렬 기반 접근법과는 다른 시각이다. 비편향 상태는 해당 상태에서 적용 가능한 가장 가까운 선형 규칙 행렬(LRM, Linear Rule Matrix)이 존재한다는 점에서 중요한 의미를 가진다. 여기서 ‘가장 가까운’이라는 정의는 Hamming 거리 기반으로, 현재 셀의 주변값과 선형 규칙이 생성하는 출력값 사이의 차이를 최소화하는 행렬을 선택한다는 의미다. 따라서 비편향 상태에서는 비선형 CA의 진화가 사실상 선형 시스템과 동일하게 해석될 수 있다. 이는 기존에 비선형 CA가 예측 불가능하고 비대칭적이라는 일반적 인식을 부분적으로 정량화하는 데 기여한다.

두 번째 단계에서는 편향 상태를 다룬다. 편향 상태는 비선형 규칙이 선형 근사와 크게 벗어나는 경우이며, 이때는 하나의 고정된 행렬이 아니라 ‘편향 행렬 집합(Deviant Matrix Set)’이 필요하다. 논문은 각 편향 상태마다 해당 상태를 정확히 복원할 수 있는 최소 개수의 이진 행렬을 도출한다. 이 과정에서 행렬들의 선형 결합이 아니라, 순차적인 행렬 적용(sequence of matrix applications)이라는 새로운 연산 모델을 제시한다.

두 번째 주요 공헌은 모든 비선형 불린 함수를 이진 행렬들의 시퀀스로 표현하는 알고리즘이다. 저자들은 Boolean 함수 f: {0,1}ⁿ→{0,1}를 n×n 이진 행렬 A₁, A₂,…,A_k 로 분해한다. 각 행렬은 입력 비트 벡터에 대해 선형 변환을 수행하고, 최종 출력은 이들 변환을 순차적으로 적용한 결과와 XOR 연산을 통해 얻어진다. 이때 k는 함수의 비선형성 정도에 비례하며, 알고리즘은 O(n·2ⁿ)의 시간 복잡도를 갖는다. 중요한 점은 이 분해가 유일성을 보장한다는 것이 아니라, 동일 함수에 대해 여러 가능한 행렬 시퀀스가 존재할 수 있음을 인정하고, 그 중 최소 길이(최소 k)를 찾는 최적화 문제를 제시한다.

이러한 접근법은 기존의 Boolean 미분 기반 Jacobian 분석이 갖는 ‘국소적’ 한계를 넘어, 전역적인 상태 전이 구조를 행렬 연산으로 포착한다는 점에서 혁신적이다. 특히, 비선형 CA를 선형 행렬들의 조합으로 재구성함으로써, 기존에 어려웠던 분석·예측·제어 문제에 선형 대수학적 도구를 적용할 수 있는 가능성을 열어준다. 또한, 행렬 시퀀스 표현은 하드웨어 구현 측면에서도 유리하다. FPGA나 ASIC 설계 시, 각 이진 행렬을 단순한 AND/OR 게이트 네트워크로 구현하고, 순차적인 파이프라인 구조로 배치하면 비선형 CA의 동작을 고속으로 시뮬레이션하거나 실시간 제어에 활용할 수 있다.

하지만 몇 가지 한계도 존재한다. 첫째, 편향 상태에 대한 행렬 집합을 찾는 과정이 상태 수가 2ⁿ에 비례해 급격히 증가하므로, 대규모 시스템에서는 메모리와 계산량이 부담될 수 있다. 둘째, 행렬 시퀀스 길이 k가 함수의 복잡도에 따라 크게 달라지므로, 최적화 알고리즘이 필요하지만 현재 제시된 방법은 휴리스틱에 의존한다. 셋째, 비선형성의 정도를 정량화하는 명확한 지표가 부족해, 어느 정도까지 선형 근사가 유효한지 판단하기 어려운 점도 있다. 향후 연구에서는 편향 행렬 집합을 압축하거나, 기계 학습 기반 메타 모델을 도입해 k를 최소화하는 자동화된 프레임워크를 구축하는 것이 필요하다.

종합하면, 이 논문은 비선형 Boolean 함수와 CA를 선형 연산자 집합으로 체계화하려는 새로운 패러다임을 제시한다. 비편향·편향 상태 구분, 선형 근사 행렬 적용, 그리고 이진 행렬 시퀀스 분해라는 세 축을 통해 비선형 동역학을 보다 구조적으로 이해하고, 분석·설계·실행 단계에서 기존 선형 도구를 재활용할 수 있는 기반을 마련한다.