정수값 변환과 아핀 이산 동역학 시스템

초록

**
본 논문은 정수값 변환(IVT)이라는 새로운 이산 지도 개념을 도입하고, 이를 기반으로 아핀 이산 동역학 시스템(ADDS)을 정의한다. IVT와 ADDS의 기본 성질을 정리하고, 콜라츠와 유사한 수렴 특성을 갖는 “콜라츠‑유사 ADDS”를 연구한다. 안정성 분석을 통해 지역·전역 안정 조건을 제시하고, 이러한 시스템을 활용한 최적 분산·병렬 환경(ODPE) 설계 방안을 제안한다.

**

상세 분석

**
논문은 먼저 p‑진법(특히 p=2,3)에서 정의되는 k‑차원 정수값 변환(IVT)을 수식적으로 정립한다. IVT는 입력 정수를 p‑진법 자리수별로 특정 함수 f에 매핑한 뒤, 그 결과를 다시 10진수로 변환하는 연산으로, 연속적인 이산 공간 ℕ에 대한 자기‑동형성을 제공한다. 저자는 IVT의 집합을 ℱ라고 두고, ℱ가 반군집(semi‑group) 구조를 이루며, 이를 동역학 연산자 T로 해석한다.

아핀 이산 동역학 시스템(ADDS)은 두 형태로 정의된다.

• Type‑I: xₙ₊₁ = a·IVT(xₙ) + b (mod p) 형태이며, a와 b는 0 또는 1의 이진값을 갖는다.
• Type‑II: xₙ₊₁ = a·IVT(xₙ) + b·IVT(xₙ) (mod p) 형태로, a·b가 동시에 1인 경우를 포함한다.

각 유형에 대해 고정점(steady‑state) 존재 여부와 수렴 속도를 분석한다. 고정점은 IVT(x*) = x* 를 만족하는 정수 x* 로 정의되며, 이는 “콜라츠‑유사”라 불리는 특수한 IVT에서만 보장된다. 저자는 IVT가 수축(contraction) 성질을 가질 경우, 즉 |a|·Lip(IVT) < 1이면 전역적으로 수렴한다는 Banach 고정점 정리를 적용한다.

안정성 검증은 두 단계로 진행된다. 첫째, 비선형 방정식 xₙ₊₁ = F(xₙ) 를 테일러 전개하여 1차 근사선형 시스템 xₙ₊₁ ≈ J·xₙ + c 로 변환한다. 여기서 J는 Jacobian(실제로는 차분 연산자의 유도값)이며, |J|<1이면 지역 안정성을 확보한다. 둘째, 전역 안정성은 IVT가 리프시츠 상수 L<1을 만족하고, a·L<1인 경우에만 성립한다. 논문은 p‑adic 2‑진수 체계에서 구체적인 예시(IVT₀, IVT₁ 등)를 들어, 각 경우에 대한 고정점 존재와 수렴 형태(단조, 진동)를 표로 정리한다.

마지막으로, 이러한 ADDS를 활용해 최적 분산·병렬 환경(ODPE)을 설계한다. 각 프로세스는 ADDS의 상태를 로컬 변수로 유지하고, 상태 전파는 IVT 기반의 해시 함수를 통해 충돌을 최소화한다. 수렴 속도가 빠른 콜라츠‑유사 ADDS를 선택하면 작업 부하가 균등하게 분산되고, 전역 수렴이 보장되므로 병렬 알고리즘의 효율성이 향상된다.

**