[논문 리뷰] Data mining for cones of metrics, quasi-metrics, hemi-metrics and super-metrics

Michel Deza, Mathieu Dutour Sikirić|ArXiv.org|2002. 01. 02.

Advanced Differential Geometry Research참고 문헌 13인용 수 3

한 줄 요약

이 논문은 인접 분해 방법의 변형과 cdd 프로그램을 사용하여 m-ary 및 방향성 거리 측도, 즉 준거리, 컷 준거리, 준거리, 반거리, 초거리의 볼록뿔을 분석하는 계산 프레임워크를 소개한다. 이는 n=7까지의 첫 번째 완전한 계산 결과를 제시하며, 극단적 반직선, 면, 궤도, 지름에 관한 새로운 데이터를 포함한다. 또한 이러한 다면체 볼록뿔에 대해 인접성 기준과 대칭 기반 궤도 구조를 수립한다.

ABSTRACT

Using some adaptations of the adjacency decomposition method \cite{CR} and the program {\it cdd} (~\cite{Fu}), we compute the first computationally difficult cases of convex cones of $m$-ary and oriented analogs of semi-metrics and cut semi-metrics, which were introduced in \cite{DR2} and \cite{DP}. We considered also more general notion of $(m,s)$-super-metric and corresponding cones. The data on related cones - the number of facets, of extreme rays, of their orbits and diameters - are collected in Table ef{tab:MainLovelyTable}. We study also criterion of adjacency for skeletons of those cones and their duals. Some families of extreme rays and operations on them are also given.

연구 동기 및 목표

• m-ary 및 준거리, 컷 준거리의 형태로 나타나는 볼록뿔의 첫 번째 계산적으로 어려운 케이스를 계산하기 위해.
• (m,s)-초거리를 포함하도록 프레임워크를 확장하기 위해.
• 이 볼록뿔들의 면 수, 극단적 반직선 수, 궤도 수, 지름 수를 결정하기 위해.
• 이 볼록뿔 내 극단적 반직선과 면 간의 인접성 기준을 개발하고 적용하기 위해.
• n≤7에 대해 거리 관련 볼록뿔의 구조적 성질에 대한 종합적인 데이터 세트를 제공하고, 새로운 결과를 도출하기 위해.

제안 방법

• ChRe96에 기반한 인접 분해 방법을 변형하여 거리 관련 볼록뿔의 면 구조를 체계적으로 탐색하였다.
• Fu95의 cdd 프로그램을 사용하여 준거리 및 초거리 볼록뿔의 볼록결합과 쌍대 볼록뿔을 계산하였다.
• 완전한 열거 없이도 극단적 반직선과 면의 인접성 여부를 테스트하기 위해 선형 프로그래밍을 활용하였다.
• 등급 대칭에 기반한 군 이론적 분석을 통해 Sym(n) 및 Z₂×Sym(n)을 사용하여 등급 대칭에 의한 면의 궤도를 분류하였다.
• 볼록뿔의 지름과 인접 관계를 분석하기 위해 스케letal 그래프 G(C)와 리지 그래프 G(C*)를 정의하고 계산하였다.
• Johnson 그래프 기반의 벡터를 통해 극단적 반직선을 구성하는 방법을 제시하였으며, 이들이 SMET^{m,m}_n 내에서 극단적임을 증명하였다.

실험 결과

연구 질문

• RQ1 작은 n에 대해 m-ary 및 방향성 거리 측도 볼록뿔의 완전한 면 레이스처 구조(면, 극단적 반직선, 궤도)는 어떻게 되는가?
• RQ2 이러한 거리 측도 볼록뿔 내 극단적 반직선과 면 간의 인접 관계는 어떻게 행동하며, 알고리즘적으로 결정할 수 있는가?
• RQ3 이 볼록뿔의 스케letal 그래프와 리지 그래프의 지름은 얼마이며, n에 따라 어떻게 변화하는가?
• RQ4 어떤 볼록뿔이 영이 아닌 극단적 반직선을 포함하는가? 그리고 SMET^{m,m}_n 내 모든 극단적 반직선이 영 성분을 가지지 않는다는 추측을 만족하는가?
• RQ5 Sym(n) 및 Z₂×Sym(n)에 의한 대칭은 방향성 경우의 면 궤도 분류에서 어떤 역할을 하는가?

주요 결과

• 논문은 SMET^{4,4}_7 볼록뿔에 대한 첫 번째 완전한 계산 결과를 제시하며, 24개의 극단적 반직선, 1260개의 면, 지름 24를 포함한 모든 결과를 볼드체로 강조하여 새로운 결과로 제시한다.
• n=m+2일 때 SMET^{m,m}_n의 볼록뿔은 완전히 해석 가능하며, 극단적 반직선 수는 정확히 C(n, m+1)이며, 단일 궤도를 가진다.
• SCUT^{4,4}_7는 (m,s)-단순체 면이 존재하지 않는 최소의 예이며, 모든 면이 (m,s)-단순체 면과 인접하지는 않는다.
• v(S)=1 (1∈S이면) 또는 0 (그 외)인 벡터 v는 SMET^{m,m}_n의 극단적 반직선이며, 궤도 크기는 n이고, Johnson 그래프 J(n-1,m)와 동형이다.
• 비음성 부등식은 SMET^{m,m}_n 내에서 중복되며, 이는 MET_n=SMET^{1,1}_n와 동일한 성질을 공유한다.
• 논문은 추측 10에 대한 강력한 계산적 증거를 제공한다: SMET^{m,m}_n는 영 성분이 없는 극단적 반직선을 포함하며, n≤7 범위에서 검증되었다.