정수군의 g 진법 최소 길이와 최소 가산 보완 문제

초록

본 논문은 정수군 ℤ에서 생성집합 A_g={g^i | i≥0}에 대한 h‑넷을 연구한다. 이를 위해 정수를 A_g에 대한 단어 길이로 표현하는 최소 길이 g‑진법을 알고리즘적으로 제시하고, 이러한 표현을 이용한 가산 보완 및 점근적 보완의 최소성 문제를 탐구한다.

상세 분석

논문은 먼저 메트릭 기하학에서의 ‘넷(net)’ 개념을 정수군 ℤ에 수론적 형태로 옮긴다. 여기서 h‑넷은 어떤 정수 n에 대해 A_g의 h‑합으로 표현될 수 있는 집합을 의미한다. 핵심은 정수 n을 A_g의 원소들의 가감 조합으로 나타낼 때 필요한 최소 개수, 즉 ‘단어 길이’를 정확히 계산하는 것이다. 이를 위해 저자들은 기존의 g‑진법(보통 0≤digit<g)을 확장하여, 음수와 양수를 동시에 다룰 수 있는 ‘g‑adic representation’(g‑진법 표현)을 정의한다. 이 표현은 각 자리수 digit_i를 -⌊g/2⌋ ≤ digit_i ≤ ⌈g/2⌉ 범위로 제한함으로써, 동일한 정수를 더 짧은 길이(자리수)로 나타낼 수 있게 만든다. 논문은 이 알고리즘이 실제로 최소 길이 표현을 산출함을 증명한다. 증명은 두 단계로 구성된다. 첫째, 주어진 정수에 대해 greedy하게 가장 큰 g^i를 선택하고, 남은 값을 재귀적으로 처리하는 과정이 최적성을 유지함을 보인다. 둘째, 어떠한 다른 표현도 자리수 합이 더 작을 수 없음을, 모듈러 연산과 부호 대칭성을 이용해 논증한다.

다음으로, 이러한 최소 길이 표현을 기반으로 ‘가산 보완(additive complement)’과 ‘점근적 가산 보완(asymptotic complement)’ 개념을 탐구한다. 집합 B⊂ℤ가 A_g의 가산 보완이 되려면, 충분히 큰 모든 정수 n이 A_g+ B의 원소로 표현될 수 있어야 한다. 저자는 최소성(minimality) 조건을 두고, 즉 B에서 아무 원소도 제거하면 보완성이 깨지는 경우를 연구한다. 이때 최소 길이 g‑adic 표현이 핵심 도구가 되며, 각 원소가 어떤 자리수에 기여하는지를 추적함으로써 B의 구조적 제약을 도출한다. 특히, g가 소수일 때와 합성수일 때의 차이를 상세히 분석하고, 특정 경우에 최소 보완 집합이 유일함을 보인다.

마지막으로, 점근적 보완의 경우에는 ‘밀도’ 개념을 도입한다. B의 상한 밀도 상한이 0이면 점근적 보완이 불가능하고, 일정 비율 이상이면 가능하다는 정리를 제시한다. 여기서도 최소 길이 g‑adic 표현이 각 정수의 ‘대표 자리수’를 제공함으로써, 어떤 원소가 필요하고 어떤 원소가 중복되는지를 명확히 판단하게 한다. 전체적으로 논문은 조합론적 수론과 군 이론을 연결하는 새로운 프레임워크를 제공하며, 특히 알고리즘적 구현 가능성까지 제시한다는 점에서 학술적·실용적 의의가 크다.