아이디empotent 곱셈기와 분리 정리: 순환 투사기의 스펙트럼 분석

본 논문은 아이디empotent 반정규반체, 특히 최대‑플러스(또는 열대) 반정규반체 K 위에 정의된 반모듈 V의 구조와 그 위에서 정의되는 비선형 연산들을 체계적으로 탐구한다. 서두에서는 K가 b‑완비 아이디empotent 반체이며, V가 b‑완비 반모듈이라는 기본 가정(A0, A1)을 설정한다. 이때 K\{0}는 곱셈에 대해 아벨 군을 이루며, 이는 Iwasawa 정리와 연계된다. 이러한 설정 하에, 모든 비영벡터 y에 대해 스칼라 나눗셈 연산 x/y = max{λ∈K | λy ≤ x}가 전역적으로 정의되고, 이는 (1)–(5)의 기본 성질을 만족한다. 다음으로, 반모듈 V′⊆V에 대한 투사 연산 P_{V′}를 (6)식으로 정의한다. 이는 “최대 하한”을 취하는 비선형 연산으로, 일반적인 선형 투사와 달리 덧셈(⊕)에 대해 선형이 아니다. 그러나 동형성(P_{V′}(λx)=λP_{V′}(x))과 단조성(P_{V′}(x)≤P_{V′}(y) if x≤y)을 유지한다. 특히, V′가 1‑차원(즉, {λy|λ∈K})이면 P_{V′}(x)=(x/y)·y 로 간단히 표현된다. 아이디empotent 기하학에서 “반평면”은 (9)식 H={x | u/x ≥ v/x}∪{0} (u≤v) 로 정의된다. 이는 전통적인 반평면의 동형이며, u와 v가 모두 양(archimedean)일 경우 H는 archimedean 반평면이라 부른다. 이러한 반평면은 언제나 반모듈이며, P_{V′}와 결합해 기존의 점‑반모듈 분리 정리를 재구성한다(정리 6). 논문의 핵심은 **순환 투사기** C = P_{V_k}·…·P_{V_1} (식 18)이다. 각 P_{V_i}는 앞서 정의된 비선형 투사이며, 그 합성은 비선형이지만 호모지니어스성과 단조성을 유지한다. 이러한 특성 덕분에 비선형 Perron‑Frobenius 이론, 특히 Nussbaum이 제시한 Collatz‑Wielandt 확장(정리 13, 15)을 적용할 수 있다. 주요 결과는 다음과 같다. - **정리 16·19**: V_1,…,V_k가 모두 archimedean이고 교차가 자명(즉, ∩_{i}V_i = {0})이면, 순환 투사기 C의 스펙트럼 반경 ρ(C) < 1이다. 반대로 ρ(C) < 1이면 각 V_i는 서로를 분리하는 아이디empotent 반평면을 가질 수 있다. 이는 “교차가 없으면 스펙트럼이 1보다 작다”는 아이디empotent 버전의 Perron‑Frobenius 정리와 동등하다. - **정리 18**: C의 스펙트럼을 “힐베르트 값” h(V_i,V_j) = sup_{x≠0} (x/V_i)/(x/V_j) 로 정의한다. 이 값은 힐베르트 프로젝트 거리 d_H(V_i,V_j)=log h(V_i,V_j)와 직접 연결되며, ρ(C)=max_{i} h(V_i,V_{i+1}) 로 표현된다. 따라서 스펙트럼 반경이 1보다 작다는 것은 모든 인접 쌍 사이의 힐베르트 거리가 0보다 작다는 의미와 동치이다. - **정리 21 (주요 정리)**: 임의의 유한 개 폐쇄 반모듈 {V_1,…,V_m}이 교차가 자명하면, 각각을 포함하는 아이디empotent 반평면 H_i를 선택할 수 있다. 더 나아가, H_i들의 교차도 자명하므로, “다중 분리”가 가능함을 보인다. 이 정리는 기존 문헌에서 점‑반모듈 분리만 다루던 결과를 반모듈‑반모듈 수준으로 확장한 것이다. - **헬리 정리의 아이디empotent 버전**: 정리 21을 이용해, R^n_{max}에서 반평면들의 가족이 전체 교차가 비공집합이면, 그 중 n+1개의 반평면만 선택해도 교차가 비공집합이라는 전통적인 헬리 정리의 열대 아날로그를 얻는다(정리 22). 이는 Meunier와 저자에 의해 독립적으로도 증명되었으며, 아이디empotent 기하학에서 중요한 컴비네토리얼 결과이다. 논문은 또한 일반적인 b‑완비 반체와 반모듈에 대한 결과(섹션 3)를 제시한다. 여기서는 archimedean 가정(A2)을 제외하고도 순환 투사기의 스펙트럼 특성을 부분적으로 유지한다. 다만, 다중 분리 정리는 현재 A2가 있는 경우에만 완전하게 증명되며, 일반 경우는 향후 연구 과제로 남는다. 기술적 기여를 정리하면 다음과 같다. 1. **아이디empotent 순환 투사기의 스펙트럼 이론**을 구축하고, 이를 힐베르트 거리와 연결하였다. 2. **스펙트럼 반경 < 1**이라는 조건이 **다중 반평면 분리**와 동등함을 증명하였다. 3. **다중 반모듈 분리 정리**를 제시하여, 기존 점‑반모듈 분리 정리를 일반화하였다. 4. **아이디empotent 헬리 정리**를 도출, 열대 기하학에서의 컴비네토리얼 구조를 밝히었다. 이러한 결과는 열대(아이디empotent) 최적화, 동적 시스템, 그리고 비선형 고정점 이론 등 다양한 분야에 적용 가능성을 제공한다. 특히, 순환 투사기의 스펙트럼을 계산하는 방법은 실제 알고리즘(예: 최대‑플러스 선형 시스템의 교차점 찾기)에도 활용될 수 있다.