[논문 리뷰] On hyperplanes and semispaces in max-min convex geometry

Viorel Niţică, Sergeĭ Sergeev|arXiv (Cornell University)|2009. 10. 03.

Polynomial and algebraic computation참고 문헌 13인용 수 3

한 줄 요약

이 논문은 최대-최소 볼록 기하학에서 초평면에 의한 분리에 대해 조사하며, 단지 단위 입방체의 대각선 점에 대응하는 특정 반공간들만이 폐포가 초평면이 되는 것으로 규명한다. 핵심 결과는 반공간이 초평면이 되는 조건을 특성화하는 것으로, 이는 이 설정에서 고전적 초평면 분리가 언제 가능한지에 대한 질문을 해결하며, 볼록성과 흐린 대수학에 대한 함의를 지닌다.

ABSTRACT

The concept of separation by hyperplanes is fundamental for convex geometry and its tropical (max-plus) analogue. However, analogous separation results in max-min convex geometry are based on semispaces. This paper answers the question which semispaces are hyperplanes and when it is possible to classically separate by hyperplanes in max-min convex geometry.

연구 동기 및 목표

• 점이 닫힌 최대-최소 볼록 집합에서 초평면으로 분리될 수 있는 조건을 명확히 하는 것.
• 최대-최소 볼록 기하학에서 폐포가 초평면이 되는 반공간이 무엇인지 규명하는 것.
• 반공간의 폐포가 항상 초평면이 되는 토로픽 볼록성과는 대조적으로 최대-최소 볼록성에서의 이차적 차이를 해결하는 것.
• 구간 [0,1]^n 위의 최대-최소 반환에서 초평면과 반공간의 기하학적·대수적 특성화를 제공하는 것.
• 최대-최소 볼록 기하학에서 고전적 초평면 분리가 가능해지는 조건을 설정하는 것.

제안 방법

• 좌표를 순서화하고 등가 또는 엄격하게 감소하는 블록으로 나누어, [0,1]^n 내의 점 x⁰에서 반공간의 구조를 분석한다.
• 주어진 점을 피하는 n+1개의 최대 최소 볼록 집합의 최대값으로서 반공간을 정의하고, 그 폐포를 연구한다.
• 반공간 S_i(x⁰)의 폐포 개념을 도입하고, 성분별 최대-최소 연산을 사용하여 그것이 초평면이 되는 조건을 특성화한다.
• x⁰이 대각선 D_n 상에 있는지 여부에 따라 경우를 나누어 분석하며, 대각선 점(모든 좌표가 동일한 점)과 비대각선 점을 구분한다.
• 특정 두 점 y와 z가 초평면에 포함되어 있으면, 반드시 세 번째 점 v도 포함되어야 한다는 모순을 이용하여, 폐포가 초평면임을 증명한다.
• 콤���트성 논증과 α, β를 포함한 부등식을 사용하여, 반공간 폐포에서의 엄밀한 부등식이 초평면에 속함을 보여준다.

실험 결과

연구 질문

• RQ1 최대-최소 볼록 기하학에서 폐포가 초평면이 되는 반공간은 무엇인가?
• RQ2 어떤 조건에서 점이 닫힌 최대-최소 볼록 집합으로부터 초평면으로 분리될 수 있는가?
• RQ3 왜 고전적 초평면 분리는 최대-최소 볼록 기하학에서는 실패하는가(반면 토로픽 볼록성에서는 성립하는가)?
• RQ4 대각선 점은 최대-최소 볼록 집합에서 초평면 분리를 가능하게 하는 데 어떤 역할을 하는가?
• RQ5 어떤 반공간의 폐포도 초평면일 수 있는가, 아니면 구조적 장애물이 존재하는가?

주요 결과

• 반공간 S_i(x⁰)의 폐포가 초평면이 되는 것은 i = 0 이거나 x⁰이 대각선 D_n 상에 있을 때에만 성립한다.
• 비대각선 점에 대해서는 어떤 반공간의 폐포도 초평면이 아니며, 이러한 반공간은 점으로부터 초평면으로 분리될 수 없다.
• 차원 2에서 점 x = z₁ ∧ z₂가 선분 [z₁, z₂]로부터 어떤 초평면으로도 분리될 수 없는 반례가 존재한다.
• x⁰이 대각선 위에 있지 않다면 S₀(x⁰)의 폐포는 초평면이지만, S₀(x⁰) 자체가 초평면이 되는 것은 x⁰이 대각선 위에 있을 때에만 성립한다.
• 모든 점 x ∈ D_n(대각선)에 대해, x를 포함하지 않는 임의의 닫힌 최대-최소 볼록 집합은 초평면으로 x로부터 분리될 수 있다.
• 증명은 y, z, v와 같은 점들을 구성함으로써 이루어지며, y와 z는 반공간의 폐포에 속하지만 v는 속하지 않으며, 만약 초평면이 y와 z를 포함하면 반드시 v도 포함되어야 하므로, 반공간이 초평면이 아니면 모순이 발생한다.