완전 우호 사회적 체인 연구

초록

본 논문은 n‑체인 x 에 대해 각 원소 j 가 나타나는 횟수를 새로운 n‑체인 s(x) 로 정의하는 연산 s를 도입하고, s(x)=x 인 완전 체인, s(x)=y, s(y)=x 인 우호 체인 쌍, 그리고 s 의 순환으로 이루어진 사회적 체인 군을 전수 조사한다. 저자는 조합론적 제약과 전산 탐색을 결합해 모든 n에 대해 가능한 완전·우호·사회적 체인을 완전 목록으로 제시한다.

상세 분석

논문은 먼저 n‑체인 x = (x₀,…,x_{n‑1}) 을 정의하고, 연산 s: x ↦ x′ 을 도입한다. 여기서 x′j는 원래 체인 x 에서 값 j 가 등장한 횟수이다. 즉 s 은 “자기 기술”을 수행하는 함수이며, 이는 수학에서 자가 서술 수(autobiographical number)와 동일한 개념이다. 완전 체인 x 은 s(x)=x 을 만족하는 고정점이며, 이는 각 좌표 x_j 가 j 의 출현 빈도와 일치한다는 의미다. 저자는 이러한 고정점을 찾기 위해 두 가지 접근법을 사용한다. 첫째, 식 ∑{j=0}^{n-1} x_j = n 과 ∑_{j=0}^{n-1} j·x_j = n 이라는 기본적인 합계 제약을 도출한다. 이는 각 체인의 원소 총합이 n 이고, 전체 인덱스 가중합도 n 임을 의미한다. 둘째, 각 x_j 는 0 ≤ x_j < n 이라는 범위 제한을 갖는다. 이 두 제약을 만족하는 정수 해를 찾는 문제는 제한된 조합 탐색으로 환원된다. 저자는 이를 수학적 귀류와 전산적 백트래킹을 결합해 n = 1부터 10까지 전부 조사하고, n ≥ 11에서는 일반적인 불가능성을 증명한다. 구체적으로, n ≥ 11에서는 ∑ j·x_j = n 이라는 식이 모순을 일으키는 경우가 발생함을 보인다. 따라서 완전 체인은 n = 4,5,7,8,9,10에서만 존재한다는 결론에 도달한다. 이때 실제 체인들은 다음과 같다. n=4: (1,2,1,0), (2,0,2,0); n=5: (2,1,2,0,0); n=7: (3,2,1,1,0,0,0); n=8: (4,2,1,0,1,0,0,0); n=9: (5,2,1,0,0,1,0,0,0); n=10: (6,2,1,0,0,0,1,0,0,0).
우호 체인 쌍은 서로 다른 두 체인 x, y 가 s(x)=y, s(y)=x 을 만족하는 경우이다. 여기서 저자는 우선 s 의 비가역성을 이용해 가능한 순환 길이가 2인 경우만을 고려한다. 식 s(s(x))=x 을 전개하면 다시 한 번 합계 제약이 등장하고, 이는 x 와 y 가 서로의 빈도 분포를 뒤바꾸는 구조임을 의미한다. 전산 탐색 결과, n ≤ 10 범위에서 존재하는 우호 쌍은 (1,2,0,1)와 (2,0,2,0) (n=4) 그리고 (2,1,2,0,0)와 (2,2,0,1,0) (n=5) 정도로 극히 제한적이다. 더 큰 n에서는 위와 같은 구조를 만족하는 정수 해가 존재하지 않음을 증명한다.
사회적 체인 군은 s 의 순환이 3 이상인 경우를 말한다. 저자는 순환 길이 k≥3 에 대해 s^k(x)=x 이면서 s^m(x)≠x (0<m<k)인 최소 주기를 조사한다. 조합적 제약을 반복 적용하면, 순환 길이가 3 이상이면 각 단계에서 인덱스 가중합이 변하지 않아야 하므로 ∑ j·x_j = n 이 유지된다. 그러나 실제로는 s 가 적용될 때마다 빈도 분포가 재배열되면서 가중합이 변하게 되므로, k≥3인 순환은 존재할 수 없다는 일반적 모순을 도출한다. 따라서 사회적 체인 군은 존재하지 않으며, 논문은 이를 엄격히 증명한다.
전체적으로 저자는 기존의 자가 서술 수 연구를 확장해 “체인”이라는 일반화된 형태로 정의하고, 완전·우호·사회적 개념을 체계화함으로써 조합론, 정수론, 그리고 전산 탐색 기법을 융합한 완전한 분류 결과를 제시한다. 이 과정에서 제시된 증명은 귀납적 논증과 모순 증명, 그리고 제한된 범위 내 전산 검증을 조화시켜 강건성을 확보한다.