한계 비주기성의 새로운 지평: G‑셋과 군 구조의 보존성

이 논문은 “한계 비주기성(limit‑aperiodic, 이하 LA)”이라는 새로운 개념을 도입하고, 이를 군과 G‑셋에 적용해 다양한 구조적 보존성을 탐구한다. **1. 기본 정의와 동등성** 먼저, 유한 색상 집합 F와 색칠 φ: G→F 를 고려한다. b‑주기성(b‑periodic)은 φ가 왼쪽 이동 b에 대해 불변임을 의미하고, 비주기성은 오직 항등원만이 이런 불변성을 갖는 경우다. 강한 G‑주기성은 궤도 크기가 유한함을, 약한 비주기성은 궤도 자체가 유한함을 뜻한다. LA는 φ의 궤도 폐쇄 안의 모든 색칠이 비주기적이어야 함을 요구한다. 두 가지 정의 LA1(궤도 폐쇄 안의 모든 색칠이 비주기적)와 LA2(임의 비단위 g에 대해 유한 집합 S가 존재해 모든 h에 대해 ∃c∈S가 f(hc)≠f(hgc))를 제시하고, 유한 생성군에 대해 동치임을 상세히 증명한다. 증명은 가정의 부정으로부터 색칠의 극한 φ를 구성하고, φ가 g‑주기성을 갖는 모순을 도출한다. **2. Uniformly Aperiodic (UA)와 LA의 관계** UA는 일정 상수 λ>0이 존재해, 모든 비단위 g와 모든 h에 대해 거리 d_g(h) 이하의 점 b에서 색이 달라지는 조건이다. 저자는 UA ⇒ LA2 를 보이며, 따라서 UA는 LA의 충분조건임을 확인한다. 이는 기존 문헌에서 사용된 “uniform aperiodicity”가 실제로 한계 비주기성을 보장한다는 의미다. **3. G‑셋으로의 일반화** X를 G‑셋으로 두고, 색칠 f: X→F 를 정의한다. G의 작용은 (g∗f)(x)=f(g⁻¹x) 로 확장된다. 정의 3.1·3.2에 따라 X가 “한계 비주기적 G‑셋”이 되려면, 어떤 색칠이 존재해 그 궤도 폐쇄 안의 모든 색칠이 비주기적이어야 한다. 특히 G가 X에 전사적으로 작용하면, X의 한계 비주기성은 G 자체가 LA임을 의미한다(정리 3.4). **4. 군 연산에 대한 보존성** 다음 네 가지 군 연산에 대해 LA가 보존됨을 증명한다. - **짧은 정확열** 1→G→E→H→1: G와 H가 LA이면 중간군 E도 LA (Corollary 3.6). 여기서는 E가 H에 대한 전사 작용을 갖고, H‑공변성을 이용해 정리 3.4를 적용한다. - **직접곱** G×H: 양쪽이 LA이면 곱도 LA (Corollary 3.7). 이는 색칠을 각 성분에 대해 독립적으로 정의하고, 궤도 폐쇄가 곱 형태임을 이용한다. - **HNN 확장** θ: H→H: H가 LA이면 HNN‑extension도 LA (Corollary 3.8). 증명은 H의 왼쪽 코사트 집합 G/H≅ℤ에 Morse‑Thue 색칠을 부여하고, 이를 G‑셋으로 끌어와 정리 3.4를 적용한다. - **자유곱** A⋆B: A와 B가 LA이면 자유곱도 LA (Lemma 3.9, 3.10). 여기서는 Bass‑Serre 트리 T₀와 그 중심점 집합 X를 이용해 G가 작용하는 트리 T를 만든다. 색칠은 네 부분(거리, 거리 mod 3, A‑투사 색, B‑투사 색)으로 구성되며, 각 부분이 각각 LA임을 이용한다. 만약 전체 색칠이 비주기성을 잃는다면, A와 B 양쪽에서 비주기성이 깨지는 모순이 발생한다. **5. 비한계 비주기적 G‑셋의 존재** 마지막으로, 모든 G‑셋이 LA일 수 없음을 보이기 위해, Aut(ℤ) 의 유한 생성 서브그룹 G가 작용하는 자연수 집합 ℕ을 고려한다. ℕ은 G‑셋이지만, 어떤 색칠을 취하더라도 결국 일정한 주기를 갖게 되어 궤도 폐쇄 안에 비주기적 색칠이 존재하지 않는다. 이는 “모든 G‑셋이 한계 비주기적일 수는 없다”는 부정적 결론을 제공한다. **6. 평가와 향후 과제** 논문은 조합적 색칠 기법(Morse‑Thue)과 Bass‑Serre 이론을 결합해, 한계 비주기성이라는 개념을 군 구조와 동역학적 최소 집합 문제에 연결한다. 증명은 구체적이면서도 일반적인 틀을 제공해, 향후 비주기적 타일링, 심볼릭 동역학, 그리고 그룹 행동의 최소 모델 연구에 활용될 수 있다. 다만, 정의와 기호가 중복·오탈자(예: LA1/LA2 표기)로 인해 가독성이 다소 떨어지고, 반례에서 사용된 G의 구체적 구조가 충분히 설명되지 않아 일반화 가능성에 대한 논의가 부족하다. 이러한 점을 보완한다면, 본 연구는 비주기성 이론의 중요한 전환점이 될 것이다.