[논문 리뷰] Enumerating topological $(n_k)$-configurations

Jürgen Bokowski, Vincent Pilaud|arXiv (Cornell University)|2012. 10. 01.

graph theory and CDMA systems참고 문헌 11인용 수 6

한 줄 요약

이 논문은 모든 조합적 구성(configuration)을 먼저 생성하지 않고도 직접적으로 위상적 $(n_k)$-구성(configuration)를 열거하는 새로운 알고리즘을 제시한다. 이 알고리즘은 효율적으로 16개의 위상적 $(18_4)$-구성(configuration)의 존재를 확인하고, $ℝ[\sqrt[3]{108+12\sqrt{93}}]$ 위에서 정의된 실현 공간을 가진 새로운 기하적 $(18_4)$-구성(configuration)를 발견한다.

ABSTRACT

An $(n_k)$-configuration is a set of $n$ points and $n$ lines in the projective plane such that their point-line incidence graph is $k$-regular. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines, or just combinatorial lines. We provide an algorithm for generating, for given $n$ and $k$, all topological $(n_k)$-configurations up to combinatorial isomorphism, without enumerating first all combinatorial $(n_k)$-configurations. We apply this algorithm to confirm efficiently a former result on topological $(18_4)$-configurations, from which we obtain a new geometric $(18_4)$-configuration. Preliminary results on $(19_4)$-configurations are also briefly reported.

연구 동기 및 목표

• 모든 조합적 구성(configuration)을 먼저 생성하지 않고도 위상적 $(n_k)$-구성(configuration)를 효율적으로 열거하는 방법을 개발하는 것.
• 이전에 보고된 위상적 및 기하적 실현 가능성에 대한 결과를 검증하고 확장하는 것.
• 특정 대수적 좌표를 가진 새로운 기하적 구성(configuration)을 실현하는 것.
• 최근 발견된 구성(configuration)을 일반화하여 기하적 $(n_4)$-구성(configuration)의 무한한 가닥을 만들 수 있는지 탐색하는 것.

제안 방법

• 인cidense 구조 제약 조건과 가상선 배열을 사용하여 위상적 $(n_k)$-구성(configuration)를 직접 생성하는 알고리즘을 제안한다.
• 모든 조합적 $(n_k)$-구성(configuration)을 먼저 열거하는 데서 발생하는 지수적 팽창을 피하기 위한 조합적 탐색 전략을 적용한다.
• 만족 가능성 솔버와 기하적 실현 가능성 기준을 사용하여 후보 구성(configuration)의 위상적 및 기하적 실현 가능성 여부를 검증한다.
• 사영 변환과 대수적 수체 계산을 활용하여 실현 공간을 분석하고 표현한다.
• 레비 그래프의 대칭성과 이중성 성질을 활용하여 검색 공간을 줄이고, 동형인 구성(configuration)을 식별한다.
• 명시적 좌표 구성과 이전 문헌에서 알려진 구성(configuration)과의 비교를 통해 결과를 검증한다.

실험 결과

연구 질문

• RQ1 모든 조합적 구성(configuration)을 먼저 생성하지 않고도 위상적 $(n_k)$-구성(configuration)를 효율적으로 열거할 수 있는가?
• RQ2 위상적 $(18_4)$-구성(configuration)는 총 몇 개인가? 그 중 기하적으로 실현 가능한 것은 무엇인가?
• RQ3 실현 공간과 자기 동형군이 다름으로써 특징이 부여된 새로운 기하적 $(18_4)$-구성(configuration)를 만들 수 있는가?
• RQ4 최근에 발견된 기하적 $(18_4)$-구성(configuration)을 기하적 $(n_4)$-구성(configuration)의 무한한 가닥으로 일반화할 수 있는가?

주요 결과

• 알고리즘이 정확히 16개의 위상적 $(18_4)$-구성(configuration)가 존재한다는 것을 성공적으로 확인하였으며, 이는 이전 결과와 일치한다.
• 실현 공간이 $\mathbb{Q}[\sqrt[3]{108+12\sqrt{93}}]$ 위에서 정의된 새로운 기하적 $(18_4)$-구성(configuration)가 발견되었으며, 이는 이전에 알려진 구성(configuration)과 다름을 가진다.
• 새로운 구성(configuration)은 자기 동형군이 $\mathbb{Z}_2 \times \mathbb{Z}_2$ 와 동형이며, 기하적으로 완전히 실현되어 있으며, 이는 이전 구성(configuration)에서 일부만 기하적으로 보이던 것과 대비된다.
• 새로운 구성(configuration)의 실현 공간은 두 개의 점으로 이루어져 있으며, 둘 다 동일한 삼차 무리수로 표현 가능하다.
• 이 새로운 구성(configuration)의 발견은 기하적 $(n_4)$-구성(configuration)의 무한한 가닥을 구성할 가능성을 열어주며, 특히 $((18+17m)_4)$ 형태의 구성(configuration)를 포함한다. 다만 $n \in \{19,22,23,26,37,43\}$ 에서의 존재성은 해결하지 못한다.
• 이 방법은 조합적 구성(configuration)을 먼저 열거하고 실현 가능성 테스트를 수행하는 것에 비해 계산 오버헤드를 크게 줄여 위상적 구성(configuration)의 직접 열거를 가능하게 한다.