[논문 리뷰] On topological and geometric $(19_4)$ configurations

Jürgen Bokowski, Vincent Pilaud|arXiv (Cornell University)|2013. 09. 12.

graph theory and CDMA systems인용 수 3

한 줄 요약

이 논문은 계산 대수기하학을 활용하여 (19₄) 구성의 기하적 실현 가능성 문제를 오랫동안 열려 있던 문제로 해결한다. 특화된 알고리즘을 통해 4,028개의 위상적 (19₄) 구성(configuration)을 생성하고, 구성 순서 방법을 적용하여 기하적 실현 가능성을 테스트함으로써, 이러한 기하적 구성이 존재하지 않음을 증명함으로써, (n₄) 구성의 분류에서 핵심 사례를 마무리한다.

ABSTRACT

An $(n_k)$ configuration is a set of $n$ points and $n$ lines such that each point lies on $k$ lines while each line contains $k$ points. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines, or just combinatorial lines. The existence and enumeration of $(n_k)$ configurations for a given $k$ has been subject to active research. A current front of research concerns geometric $(n_4)$ configurations: it is now known that geometric $(n_4)$ configurations exist for all $n \ge 18$, apart from sporadic exceptional cases. In this paper, we settle by computational techniques the first open case of $(19_4)$ configurations: we obtain all topological $(19_4)$ configurations among which none are geometrically realizable.

연구 동기 및 목표

• 기하적 (19₄) 구성의 존재 여부를 밝히는 것 — 기하학에서 오랫동안 열려 있던 문제이다.
• 모든 269,224,653개의 조합적 (19₄) 구성(configuration)을 먼저 열거하지 않고도, 조합적 등가성까지 고려한 위상적 (19₄) 구성(configuration)을 직접 열거하는 알고리즘을 개발하고 적용하는 것.
• 기호 계산을 사용하여 구성 순서 방법을 통해 위상적 (19₄) 구성(configuration)의 기하적 실현 가능성을 테스트하는 것.
• 실수 사영 평면에서 직선으로 실현 가능한지 여부를 판단하기 위해, 4,028개의 위상적 (19₄) 구성(configuration) 중 어떤 것이든 실현 가능한지 확인하는 것.
• 특히 n=19인 경우에 대해 (n₄) 구성의 분류에서 남아 있는 마지막 열린 사례 중 하나를 닫는 것.

제안 방법

• 자바로 구현된 알고리즘을 사용하여, 모든 조합적 등가성까지 고려한 위상적 (19₄) 구성(configuration)을 직접 생성함으로써, 먼저 전체 269,224,653개의 조합적 (19₄) 구성(configuration)을 열거할 필요 없이 처리함.
• 구성 순서 방법을 사용하여 점과 선을 필요에 따라 자유 변수로 도입하고, 인cidense 제약 조건을 추적하면서 구성(configuration)을 단계적으로 체계적으로 구축함.
• 각 구성(configuration)에 대해, Maple에서 기호 계산을 사용하여 인cidense 조건에서 유도된 다항식 방정식 및 부등식의 시스템을 유도함. 특히 자유 변수를 제약하는 점-선 인cidense에 중점을 둠.
• 변수를 대입을 통해 제거하고, 결과로 유도된 시스템의 일관성을 검사함. 고급 대수기하학 도구를 사용하지 않고도 모순를 탐지할 수 있도록 저차수 다항식 부분계를 중심으로 분석함.
• 핵심 기법으로, 두 개의 자유 변수를 포함하는 16개의 구성(configuration)에서, 적어도 하나의 등식이 부등식의 인수로 나타나는 다항식으로 인수분해되는 것을 확인하여 즉각적인 모순를 도출함.
• 남은 네 개의 구성(configuration)에 대해서는, 제거를 통해 두 변수 시스템을 일변수 시스템으로 줄이고, 전체 시스템과의 일致성을 확인하여 실현 불가능성을 확인함.

실험 결과

연구 질문

• RQ1 위상적 (19₄) 구성(configuration)이 존재하는 것으로 알려져 있으나, 기하적 (19₄) 구성(configuration)은 존재하는가?
• RQ2 그뢰버 기저(Groebner bases)나 기타 고급 대수기하 기법에 의존하지 않고도, 구성 순서 방법이 위상적 구성(configuration)의 기하적 실현 가능성을 효과적으로 테스트할 수 있는가?
• RQ3 위상적 실현 가능성 중에서 비자명한 자기동형군을 가진 대칭적 (19₄) 구성(configuration)이 존재하는가?
• RQ4 기호 계산을 사용하여 다수의 자유 변수를 포함하는 구성(configuration)의 기하적 실현 가능성을 테스트하는 데 있어 계산의 실현 가능성은 어떠한가?
• RQ5 모든 구성(configuration)의 열거와 대수적 제약 조건 분석을 조합하여, 기하적 (19₄) 구성(configuration)이 존재하지 않는다는 것을 엄밀하게 증명할 수 있는가?

주요 결과

• 직접 열거 알고리즘을 통해 조합적 등가성까지 고려한 위상적 (19₄) 구성(configuration)은 정확히 4,028개 존재한다.
• 4,028개의 위상적 (19₄) 구성(configuration) 중 222개는 자기쌍대(self-dual)이며, 자기동형군은 자명군, Z₂, Z₂×Z₂, Z₂×Z₂×Z₂, D₈ 군으로 분포되어 있다.
• 모든 4,028개의 위상적 (19₄) 구성(configuration)이 구성 순서 방법에 따라 필요한 다항식 방정식 및 부등식을 충족하지 못함으로써, 기하적 (19₄) 구성(configuration)이 존재하지 않음을 증명함.
• 모든 방정식 및 부등식 시스템은 Maple에서 기호 계산을 통해 단순화되어 해가 존재하는지 검토되었으며, 어떤 경우에도 타당한 해가 발견되지 않았다.
• 두 개의 자유 변수를 포함하는 구성(configuration)에 대해서도, 그뢰버 기저를 사용하지 않고 저차수 다항식 부분계를 중심으로 분석함으로써 실현 불가능성을 성공적으로 증명함.
• 이 연구는 n=19가 (n₄) 구성(configuration)의 분류에서 남아 있는 마지막 미해결 사례임을 확인하였으며, 기하적 실현이 불가능함을 의미한다.