[논문 리뷰] Representation of convex geometries by circles on a plane

Kira Adaricheva, Madina Bolat|arXiv (Cornell University)|2016. 09. 01.

Mathematics and Applications참고 문헌 11인용 수 7

한 줄 요약

이 논문은 평면 상의 원을 이용한 유한 볼록 기하학의 표현을 위한 필수 조건으로 약한 $2\times 3$-카라우셀 규칙을 도입한다. 이 규칙을 만족하지 못하는 유한 볼록 기하학이 존재함을 보여, 원 표현은 점 기반의 애핀 표현보다 엄격히 더 엄격한 조건을 갖는다는 것을 입증하며, 따라서 볼록 기하학의 평면 원 표현에 대한 새로운 조합적 차단 조건을 규명한다.

ABSTRACT

Convex geometries are closure systems satisfying the anti-exchange axiom. Every finite convex geometry can be embedded into a convex geometry of finitely many points in an n-dimensional space equipped with a convex hull operator, by the result of K. Kashiwabara, M.Nakamura and Y.Okamoto (2005). Allowing circles rather than points, as was suggested by G.Czédli (2014), may presumably reduce the dimension for representation. This paper introduces a property, the Weak $2 imes 3$-Carousel rule, which is satisfied by all convex geometries of circles on a plane, and we show that it does not hold in all finite convex geometries. This raises a number of representation problems for convex geometries, which may allow us to better understand the properties of Euclidean space related to its dimension.

연구 동기 및 목표

• 유한 볼록 기하학이 점 기반 애핀 표현을 초월하여 평면 상의 원으로 표현 가능한지 조사한다.
• 원으로 표현 가능한 볼록 기하학과 일반적인 유한 볼록 기하학을 구분하는 조합적 성질을 규명한다.
• 약한 $2\times 3$-카라우셀 규칙이 평면 원 표현을 위한 필수 조건인지 확인한다.
• 이 규칙이 유클리드 공간 내 볼록 기하학의 차원성과 구조에 끼치는 영향을 탐색한다.
• 점과 원을 초월한 기하학적 도형을 이용한 볼록 기하학의 강한 및 약한 표현에 대한 새로운 연구 방향을 제시한다.

제안 방법

• 원 배열의 기하적 제약에서 유도된 폐쇄 체계에 대한 조합적 조건으로서 약한 $2\times 3$-카라우셀 규칙을 도입한다.
• 평면 상 원의 폐쇄 체계를 분석하며, 원의 포함 관계에 기반한 볼록 Hull과 유사한 폐쇄 연산자 $\varphi_c$를 정의한다.
• 약한 $2\times 3$-카라우셀 규칙을 위반하는 $\operatorname{cdim} = 6$인 반례 볼록 기하학을 구성한다.
• 이 규칙 위반을 근거로 이 기하학이 평면 상 원으로 표현될 수 없음을 증명한다.
• 이 규칙의 함의를 기존의 애핀 볼록 기하학 및 Order Type 문제에 대한 결과와 비교한다.
• 매개변수화 가능한 경계를 갖는 다른 매끄럽고 유계인 볼록 도형(예: 타원)으로 폐쇄 체계 구축을 일반화한다.

실험 결과

연구 질문

• RQ1 모든 유한 볼록 기하학이 평면 상 원으로 강한 표현을 갖는가?
• RQ2 약한 $2\times 3$-카라우셀 규칙은 볼록 기하학이 평면 상 원으로 표현 가능한 데 있어 필수 조건인가?
• RQ3 약한 $2\times 3$-카라우셀 규칙을 위반하는 볼록 기하학도 여전히 평면 상 점으로 약한 표현을 갖는가?
• RQ4 볼록 차원 $\operatorname{cdim}(G)$와 강한 원 표현을 위해 필요한 최소 차원 $\dim_c(G)$ 사이의 관계는 무엇인가?
• RQ5 매개변수화 가능한 경계를 갖는 볼록 도형(예: 타원)의 폐쇄 체계는 일반화된 폐쇄 연산자 하에 볼록 기하학을 이룰 수 있는가?

주요 결과

• 약한 $2\times 3$-카라우셀 규칙은 유한 볼록 기하학이 평면 상 원으로 표현 가능한 데 있어 필수 조건이다.
• 약한 $2\times 3$-카라우셀 규칙을 위반하는 볼록 차원 6인 볼록 기하학을 명시적으로 구성하였으며, 이는 평면 상 원으로 표현될 수 없음을 입증한다.
• 이 기하학은 2-카라우셀 성질 또한 위반하므로, 평면 상 점으로 약한 표현을 갖지도 못함을 의미하며, 이는 원 표현과 점 표현 사이에 엄격한 분리가 있음을 보여준다.
• 논문은 $\dim_c(G) < \dim(G)$가 가능함을 보여주며, $\dim_c(G) = 2$ 이지만 $\dim(G) > 2$인 기하학을 통해 원 표현이 점 기반 표현보다 차원 측면에서 더 효율적일 수 있음을 시사한다.
• 매끄럽고 매개변수화 가능한 경계를 갖는 유한 개의 볼록 도형(예: 타원)으로 구성된 폐쇄 체계는 반대교환 공리(axiom)를 만족하므로 볼록 기하학을 이룬다.
• 비매끄러운 도형(예: 다각형)에서는 이 결과가 성립하지 않으며, 이는 일반화에 있어 매끄러움과 매개변수 복원 가능성의 필수성을 시사한다.