정수군의 거듭 제곱 생성집합에 대한 비리프시츠 동등성 조건

초록

정수군 ℤ에 대해 생성집합 {aⁱ}와 {bʲ} (a,b>1) 로 정의한 단어 길이 거리 d_A, d_B 가 서로 비리프시츠 동등이 되려면 a와 b의 거듭 제곱이 일치하는 양의 정수 m, n이 존재해야 함을 증명한다.

상세 분석

본 논문은 군 이론과 가산 가법수론 사이의 교차점에서, 특히 ‘단어 길이(metric)’라는 개념을 통해 두 가지 서로 다른 생성집합이 정의하는 거리 구조가 얼마나 유사한지를 정량화한다. ℤ는 아벨 군으로서 임의의 양의 정수 a>1에 대해 {aⁱ}_{i≥0} 를 생성집합으로 잡을 수 있다. 이때 각 정수 x∈ℤ는 a의 거듭 제곱들의 선형 결합으로 표현될 수 있으며, 최소한의 항 개수(절댓값을 고려한 가중치)를 ‘길이’라 정의한다. 동일한 방식으로 b>1에 대해 {bʲ} 로부터 거리 d_B 를 만든다. 두 거리 d_A, d_B 가 비리프시츠 동등이라는 것은 상수 C≥1이 존재해 모든 x∈ℤ에 대해 C⁻¹·d_A(x) ≤ d_B(x) ≤ C·d_A(x) 가 성립함을 의미한다.

논문은 먼저 이러한 거리의 기본 성질을 정리한다. 특히 d_A와 d_B는 대칭이며 삼각 부등식을 만족하고, ℤ 전체에 걸쳐 선형 성장(Lipschitz) 특성을 가진다. 그 다음, ‘a와 b의 거듭 제곱이 교차’한다는 조건, 즉 ∃m,n∈ℕ⁺ s.t. a^m = b^n, 가 비리프시츠 동등성의 필요충분조건임을 보인다. 필요성은, 만약 a^m = b^n이라면 a^m을 하나의 생성원소로 동시에 사용할 수 있어 두 거리 사이에 상수 C= max{m,n} 로 직접적인 비교가 가능함을 보여준다. 충분성은 보다 미묘한데, a와 b가 서로 거듭 제곱 관계가 없을 경우, a의 거듭 제곱들로 표현되는 수들의 ‘밀도’와 b의 경우를 비교하면, 특정 구간에서 d_A와 d_B 사이의 비율이 무한히 커짐을 보인다. 이는 ‘덧셈적 수론’의 고전적인 결과, 예컨대 베르트란드의 정리와 ‘거듭 제곱의 합 표현’에 관한 제한을 활용한다.

핵심적인 기술은 각 거리의 구형(ball) 구조를 분석하고, 그 부피(즉, 반지름 r 이하의 원소 개수)가 r에 대해 선형이지만 계수는 a와 b에 따라 달라진다는 점이다. a와 b가 거듭 제곱 관계에 있지 않다면, 두 계수 사이에 비례 상수가 존재하지 않으므로 비리프시츠 동등성을 깨뜨린다.

또한 논문은 이 결과를 ‘quasi‑isometry’와 ‘coarse equivalence’ 개념과 연결시켜, ℤ의 두 다른 ‘metric’ 구조가 실제로는 같은 대수적 위상을 공유하지 않을 수 있음을 강조한다. 마지막으로, 이러한 비리프시츠 동등성 조건이 일반적인 아벨 군이나 비아벨 군으로 확장될 가능성을 논의하며, 특히 거듭 제곱 형태의 생성집합을 갖는 다른 그룹(예: 자유 아벨 군, 직교군)에서도 유사한 현상이 나타날 수 있음을 제시한다.