다중순서·클레인 스타·순환 투사기로 보는 최대 원뿔 기하학

초록

본 논문은 최대‑덧셈(맥스‑플러스) convex geometry에서 다중순서 원리, 클레인 스타(Kleene star)와 순환 투사기(cyclic projector)의 역할을 정리하고, 이들을 최대 대수(max algebra)와의 연계성을 탐구한다. 다중순서 원리는 전통적인 유한 차원 convex geometry의 정리를 최대‑덧셈 버전으로 전이시키며, 집합 커버링 조건과 연결된다. 클레인 스타는 최적 경로 가중치를 누적하고 행렬의 고유공간을 기술하는 핵심 도구이며, 유한 생성 반모듈을 여러 개의 볼록 영역으로 분해하는 열스팬으로서 고유하게 정의된다. 또한, 교차가 없는 여러 반모듈을 최대‑덧셈 반평면으로 분리할 수 있음을 보이며, 이를 이용해 비선형 연산자인 순환 투사기를 정의하고 동질 다면 시스템의 해를 찾는 알고리즘을 제시한다. 전체 결과는 최대‑곱 반대수(max‑times semiring) 위의 최대 원뿔(max cone)이라는 통일된 틀 안에서 전개된다.

상세 분석

논문은 먼저 최대‑덧셈(또는 최대‑곱) 반대수 위에서 정의되는 ‘최대 원뿔(max cone)’이라는 구조를 소개한다. 이는 전통적인 선형 대수에서의 양의 스칼라 곱에 해당하는 max‑times 연산에 대해 닫힌 반모듈을 의미한다. 이 틀 안에서 다중순서 원리(multiorder principle)가 핵심적인 역할을 한다. 다중순서는 각 좌표에 대해 ‘≤’ 관계를 독립적으로 적용하는데, 이를 통해 전통적인 convex hull의 정의를 최대‑덧셈 환경에 맞게 재구성한다. 구체적으로, 한 점이 다른 점들의 max‑convex 조합으로 표현될 수 있는지 여부는 각 좌표별 순서 관계의 교집합이 비어 있지 않은가에 달려 있다. 이 원리는 집합 커버링 문제와 직접 연결되며, 최대 대수에서 행렬의 ‘정규성’(regularity)이나 ‘지수성’(exponentiality)을 판단하는 기준으로 활용된다.

다음으로 클레인 스타(Kleene star) 연산에 집중한다. 주어진 비음수 행렬 A에 대해 A* = I ⊕ A ⊕ A² ⊕ … 형태로 정의되는 클레인 스타는 그래프 이론에서 최단·최장 경로 가중치를 누적하는 역할을 한다. 논문은 A*가 생성하는 열공간이 A의 고유공간(eigenspace)과 동일함을 증명하고, 특히 유한 생성 반모듈을 ‘열 스팬(column span)’이라는 형태로 표현할 때, 각 스팬은 고유한 클레인 스타에 의해 결정된 볼록 영역으로 분할될 수 있음을 보인다. 이 분할은 ‘tropical convexity’에서 말하는 ‘cell decomposition’과 일치하며, 각 셀은 최대‑덧셈 선형 독립성을 유지한다는 중요한 특성을 가진다.

마지막으로 논문은 교차가 없는 여러 최대 원뿔을 동시에 분리할 수 있는 ‘max‑halfspace separation theorem’를 제시한다. 이를 기반으로 순환 투사기(cyclic projector)라는 비선형 연산자를 정의한다. 순환 투사기는 각 원뿔에 대한 투사 연산을 순차적으로 적용하면서, 전체 시스템이 고정점에 수렴하도록 설계된다. 특히 동질 다면(max‑linear) 방정식 시스템 Ax = Bx = … = 0의 해를 찾는 과정에서, 순환 투사기의 반복 적용은 수렴성을 보장하고, 수렴점은 원뿔들의 교차점(공통 고유공간)과 일치한다. 이 알고리즘은 기존의 선형 프로젝션 방법이 적용되지 않는 비선형 최대 대수 환경에서 실용적인 해법을 제공한다. 전체적으로 논문은 다중순서, 클레인 스타, 순환 투사기라는 세 축을 통해 최대 원뿔 기하학을 체계화하고, 이를 최대 대수와 tropical convexity의 핵심 문제에 적용함으로써 새로운 이론적·계산적 도구를 제시한다.