GCD‑모픽 수열의 완전 분해와 인코딩 조건에 관한 새로운 통찰

초록

본 논문은 GCD‑모픽 수열을 기본 GCD‑모픽 수열들의 점곱으로 완전히 표현할 수 있음을 증명하고, 이러한 수열을 자연수값 시퀀스 cₙ이 만족해야 하는 조건(C1)으로 인코딩하는 방법을 제시한다. 결과적으로 모든 GCD‑모픽 수열은 C1을 만족하는 cₙ에 의해 일대일 대응으로 기술될 수 있음을 보인다.

상세 분석

논문은 먼저 GCD‑모픽 수열이라는 개념을 정의한다. 정수값 수열 F={Fₙ}ₙ≥0가 GCD‑모픽이라 함은 모든 자연수 m,n에 대해 GCD(Fₙ,F_m)=F_{GCD(n,m)}이 성립하는 경우이다. 이 정의는 수열의 각 원소가 그 인덱스의 약수 구조를 그대로 반영한다는 점에서 흥미롭다. 저자는 이러한 수열을 “기본” GCD‑모픽 수열 G_{c,N}으로 분해하는 아이디어를 제시한다. 여기서 G_{c,N}은 특정 자연수 c와 N에 대해 n이 N의 배수가 아니면 1, N의 배수이면 c를 원소로 갖는 수열이다. 관찰 1에 따르면 모든 c>0, N에 대해 G_{c,N}은 GCD‑모픽이다.

핵심은 Lemma 1이다. 임의의 GCD‑모픽 수열 Fⁿ를 (1,…,1,Fⁿₙ,Fⁿ_{n+1},…) 형태로 표기하고, 이를 기본 수열 G_{Fⁿₙ,n}와 새로운 수열 F^{n+1}의 점곱으로 분해한다. 여기서 F^{n+1}는 기존 원소들을 적절히 조정한 수열이며, 저자는 세 경우(두 인덱스가 n의 배수인지 여부)에 대해 GCD‑조건을 직접 검증한다. 이 과정을 통해 Fⁿ이 GCD‑모픽이면 F^{n+1}도 역시 GCD‑모픽임을 보인다.

다음으로 Lemma 2에서는 무한히 많은 기본 수열들의 점곱이 다시 GCD‑모픽이 되기 위한 필요충분조건을 제시한다. 조건(C1)은 “k<n이고 GCD(n,k)≠k이면 GCD(c_n,c_k)=1”이다. 증명은 두 방향으로 진행된다. (→) 방향에서는 C1이 위배될 경우, 특정 k,n에 대해 GCD(F_n,F_k) > F_{GCD(n,k)}가 되어 모픽 성질이 깨지는 모순을 만든다. (←) 방향에서는 C1이 성립하면, 점곱 형태의 수열 F_n=∏{j|n}c_j에 대해 GCD(F_n,F_k)=F{GCD(n,k)}임을 직접 계산한다. 여기서 핵심은 서로 다른 약수 집합 사이에 겹치는 소인수가 없도록 보장하는 것이다.

결론적으로, 모든 GCD‑모픽 수열은 고유한 자연수열 c={c_n}에 의해 완전히 인코딩될 수 있으며, 이 인코딩은 일대일 대응이다. 저자는 자연수열, 피보나치 수열, 그리고 “주요 약수(product of primary divisors)”와 같은 구체적인 예시를 들어 C1을 만족하는 c_n을 제시하고, 해당 수열들이 실제로 GCD‑모픽임을 확인한다.

이 연구는 GCD‑모픽 수열을 구조적으로 이해하는 새로운 틀을 제공한다. 특히, 점곱 분해와 조건(C1)의 조합은 수열의 약수 구조를 조작하거나 새로운 수열을 설계할 때 유용한 도구가 될 수 있다. 또한, 이러한 수열이 코벡 포셋(cobweb posets)과 같은 부분 순서 집합의 인코딩에 활용될 수 있음을 시사함으로써 조합론 및 그래프 이론과의 연계 가능성을 열어준다.