극대 플러스 극성 원뿔의 이중성 및 분리 정리

본 논문은 ‘max‑plus’ 혹은 ‘열대’ 대수 체계에서 전통적인 선형대수의 극성(cone dual) 개념을 확장하고, 그에 대한 완전한 이중성 정리와 새로운 분리 정리를 제시한다. 먼저 저자들은 max‑plus 반정연산 R_max = ℝ∪{−∞}에 대해 ‘max’를 덧셈, ‘+’를 곱셈으로 정의하고, 이 구조 위에서 ‘max‑plus 볼록 원뿔(max‑plus convex cone)’을 소개한다. 기존 연구에서는 Hahn‑Banach형 분리 정리, Minko‑ski 정리, Helly‑Carathéodory 정리 등 여러 고전 정리들의 열대 버전이 제시되었지만, 극성 원뿔에 대한 체계적인 이중성 이론은 부재했다. 이는 열대 대수에서 덧셈이 멱등(idempotent)이라는 특성 때문에, 전통적인 ‘극성은 부등식 집합과 일대일 대응한다’는 성질이 깨지기 때문이다. 이를 해결하기 위해 논문은 (R_max)^2에 대한 쌍 (f,g) 형태의 부등식  max_i (f_i + x_i) ≤ max_j (g_j + x_j) (∀x∈V) 을 이용해 원뿔 V⊂R_max^n의 극성 V^∘ 를 정의한다. 반대로, 주어진 부등식 집합 W⊂(R_max)^2에 대해  W⋄ = { x∈R_max^n | 위 부등식이 모든 (f,g)∈W에 대해 성립 } 를 정의함으로써 ‘dual cone’ 연산을 도입한다. 이때 중요한 사실은 ‘완전하고 반사적인(idempotent) 반정연산’ 위에서는 잔여(residual) 연산과 Galois 연결을 이용해 대수적으로 분리 정리를 증명할 수 있다는 점이다. 핵심 결과인 **극성 이중성 정리(Theorem 1)**는 다음 세 조건을 만족하는 W⊂(R_max)^2가 정확히 어떤 원뿔 V의 극성인지를 규정한다. 1. **닫힌 max‑plus 볼록 원뿔**: W는 max‑plus 연산에 대해 닫히고, 전이성 및 스칼라 곱에 대해 안정적이다. 2. **순서 보존**: f ≤ g ⇒ (f,g)∈W. 이는 부등식의 좌변이 우변보다 작을 때 자동으로 포함됨을 의미한다. 3. **전이성**: (f,g)∈W, (g,h)∈W ⇒ (f,h)∈W. 이 정리는 새로운 **분리 정리(Theorem 8)** 로부터 도출된다. Theorem 8은 완전 반사적 반정연산 K와 그 위의 완전 오른쪽 K‑세미모듈 X, 그리고 그에 대응하는 왼쪽 모듈 X^op 사이의 ‘pre‑dual pair’를 이용해, X의 닫히지 않은 원소 x에 대해 X의 닫힌 부분 V와의 분리를 잔여 연산 u\ x = v\ x 형태로 구성한다. 이 과정에서 ‘residuated map’와 ‘Scott topology’를 활용해 연속성 및 완전성을 보장한다. 논문은 또한 부등식 대신 **등식** 형태인  max_i (f_i + x_i) = max_j (g_j + x_j) 을 고려한 ‘생물직교(orthogonal) 원뿔’ V^⊥ 를 정의하고, 이에 대한 **생물직교 이중성 정리(Theorem 2)** 를 제시한다. Theorem 2의 조건은 (i) 닫힌 볼록 원뿔, (ii) (f,f)∈W ∀f, (iii) 대칭성 (f,g)∈W ⇒ (g,f)∈W, (iv) 전이성 (f,g),(g,h)∈W ⇒ (f,h)∈W이다. 이 정리는 관측가능성 문제에서 ‘congruence’(동치 관계) 대신 ‘cone’(원뿔) 형태로 문제를 전환함으로써 알고리즘적 복잡성을 크게 낮출 수 있음을 보여준다. 기술적 배경으로는 **완전 idempotent semiring**와 **반사성(reflexivity)** 개념이 핵심이다. 반사성은 특정 원소 ϕ∈K가 존재해 λ− = λ\ϕ, −λ = ϕ/λ 가 모두 λ를 복원함을 의미한다. R_max는 ϕ=0을 잡으면 반사적이며, 이때 잔여 연산은 u\ x = −(⊕_i u_i (−x_i)) 로 표현된다. 이러한 식은 전통적인 Hahn‑Banach 정리의 ‘표현 정리’와 유사하게, 모든 선형 형태를 부등식/등식 형태로 나타낼 수 있음을 보인다. 논문은 **pre‑congruence**, **congruence**, **polar cone** 등의 정의를 명확히 하고, 전이성 및 대칭성 조건이 열대 기하학에서 ‘faces’ 정의와 어떻게 연결되는지를 논의한다. 특히, 유한한 부등식 집합 W에 대해 전이 폐쇄(transitive closure)를 취하면, 선형 조합만으로는 얻을 수 없는 새로운 부등식이 생성됨을 보이며, 이는 고전적인 **Farkas Lemma**와의 차이를 강조한다. 즉, 열대 경우에는 부등식의 논리적 추론이 선형 조합에 의해 완전하게 포착되지 않는다. 마지막으로, 저자들은 이론적 결과를 **관측가능성**, **정적 분석**, **max‑plus 폴리헤드** 등 실제 응용 분야에 연결한다. 특히, ‘생물직교 정리’를 이용해 동적 관측자를 설계하고, ‘극성 이중성 정리’를 통해 max‑plus 폴리헤드의 정적 분석을 추상 해석 방식으로 수행할 수 있음을 제시한다. 전체적으로 이 논문은 열대 대수에서의 이중성 이론을 체계화하고, 새로운 분리 정리를 통해 극성 원뿔과 그 변형들의 구조적 특성을 완전히 규명함으로써, 열대 기하학·최적화·시스템 이론 등 다양한 분야에 중요한 이론적 기반을 제공한다.