캐리값 변환(CVT)의 수학적 특성과 수렴성 분석

초록

본 논문은 캐리값 변환(CVT)과 수정형 캐리값 변환(MCVT)의 기본 정의를 바탕으로, 두 정수의 합이 CVT와 XOR의 합과 동일함을 정리하고, 반복적인 CVT‑XOR 연산이 최대 입력 비트 길이만큼의 반복 후 반드시 CVT=0 또는 XOR=0이 됨을 증명한다. 또한 MCVT는 두 번의 반복만에 0이 되며, 이를 이용해 정의된 동치 관계가 정수쌍을 서로 다른 동치류로 분할함을 보인다.

상세 분석

논문은 먼저 이진수 체계에서 두 정수 a와 b에 대해 비트별 AND 연산으로 캐리 비트를, XOR 연산으로 합 비트를 구한 뒤, 캐리 비트를 한 자리 왼쪽으로 이동시켜 만든 값을 CVT(a,b)라 정의한다. 이때 CVT는 실제 덧셈에서 발생하는 캐리 정보를 그대로 담고 있으며, XOR는 캐리 없이 더한 결과를 나타낸다.
첫 번째 핵심 정리(Theorem 1)는 a+b = CVT(a,b) + (a⊕b)임을 보인다. 증명은 각 비트 위치 k에 대해 (a_k, b_k)의 네 가지 경우(00,01,10,11)를 표로 정리하고, 해당 경우에 CVT와 XOR가 각각 기여하는 가중치를 합산하면 원래의 가중치와 일치함을 확인한다. 이는 이진뿐 아니라 임의의 진법 β에서도 동일하게 성립한다(β‑진법에 대한 일반화 증명 포함).
두 번째 주요 결과는 반복 연산 f(a,b) = (CVT(a,b), a⊕b)를 적용했을 때, (a_n, b_n) = fⁿ(a,b) 가 결국 (0, a+b) 혹은 (0,0) 형태로 수렴한다는 것이다. Lemma 1‑4를 통해 각 반복 단계에서 CVT의 비트 길이는 최대 n+1(초기 비트 수 n)로 제한되고, 한 번이라도 0 비트가 등장하면 이후 단계에서도 그 0이 오른쪽으로 한 칸씩 이동하면서 전체 0 비트 수가 최소 1씩 증가한다. 따라서 n+1번 이하의 반복이면 반드시 CVT가 0이 되고, 그 직전 단계에서 XOR도 0이 된다. 이는 “입력 정수 중 큰 쪽의 비트 길이”가 반복 상한임을 의미한다.
세 번째 정리는 수정형 캐리값 변환(MCVT)에 대한 것으로, MCVT는 CVT와 달리 가장 낮은 자리의 0 패딩을 없앤 형태이다. 논문은 MCVT와 XOR를 한 번 연산한 뒤, 두 번째 연산에서 반드시 MCVT가 0이 됨을 보인다. 이는 MCVT가 AND 연산만을 포함하고, 첫 번째 단계에서 이미 XOR와 겹치는 1 비트가 없으면 두 번째 단계에서 전부 소멸하기 때문이다.
마지막으로, (a,b)와 (c,d) 쌍이 동일한 “반복 횟수”를 요구하면 이를 동치 관계 R로 정의하고, R이 반사, 대칭, 추이성을 만족함을 확인한다. 이를 통해 A×A(여기서 A는 0부터 2ⁿ−1까지의 정수 집합)를 n개의 동치류로 분할한다. 표 5의 실험 결과는 각 동치류가 자기유사적 프랙탈 구조를 보이며, 블록 크기가 2ⁿ⁻¹×2ⁿ⁻¹인 경우 특정 사분면에 0이 되는 쌍이 전혀 없다는 흥미로운 패턴을 드러낸다.
전체적으로 논문은 CVT와 MCVT가 단순한 비트 연산을 넘어, 덧셈 연산을 구조적으로 분해하고, 반복 과정을 통해 반드시 수렴한다는 강력한 수학적 보장을 제공한다. 이러한 특성은 하드웨어 설계(캐리‑프리 가산기), 프랙탈 생성, 그리고 암호학적 응용 등 다양한 분야에 활용 가능성을 시사한다.