[논문 리뷰] There are no realizable 15_4- and 16_4-configurations

Jürgen Bokowski, Lars Schewe|ArXiv.org|2005. 05. 11.

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

한 줄 요약

이 논문은 실제 구현 가능한 15₄- 및 16₄-구성(configuration)이 심지어 더 일반적인 편평선(arrangement) 설정에서도 존재하지 않음을 증명한다. 오일러의 공식과 편평선 배열에 대한 조합적 제약 조건을 이용하여, 실제 구현 가능한 $n_k$-구성의 존재에 대한 일반적인 필요 조건을 수립한다: $n > k^2 + k - 5$이며, 이는 $n=15$와 $n=16$에 대해 $k=4$일 때 존재하지 않음을 의미한다. 이 결과는 또한 19개의 후보 $16_4$-매트로이드(matroids)에 대한 비방향성(non-orientability)의 계산적 검증을 통해 추가로 확인된다.

ABSTRACT

There exist a finite number of natural numbers n for which we do not know whether a realizable n_4-configuration does exist. We settle the two smallest unknown cases n=15 and n=16. In these cases realizable n_4-configurations cannot exist even in the more general setting of pseudoline-arrangements. The proof in the case n=15 can be generalized to n_k-configurations. We show that a necessary condition for the existence of a realizable n_k-configuration is that n > k^2+k-5 holds.

연구 동기 및 목표

• 실제로 구현 가능한 $n_4$-구성(configuration)이 $n=15$ 및 $n=16$일 때 존재하는지 여부라는 오랫동안 미해결된 문제를 해결하기 위해.
• 실제로 구현 가능한 $n_k$-구성의 존재에 대한 일반적인 필요 조건을 $n$과 $k$의 관계로 수립하기 위해.
• 직선이 아닌 편평선 배열의 더 넓은 설정에서도 이러한 구성이 존재하지 않음을 증명하기 위해, 즉 직선 배열에 국한되지 않고.
• Betten과 Betten이 제시한 19개의 후보 매트로이드에 대해 계산적 검증을 통해 $16_4$-구성의 존재하지 않음을 확인하기 위해.

제안 방법

• 구성의 표현을 위한 편평선 배열의 구면 매장(spherical embedding)에 오일러의 공식을 적용하기 위해.
• 배열 내의 정점, 변, 면을 세어 $n$과 $k$를 포함한 필요 부등식을 유도하기 위해.
• 모서리-세포 인cidences를 이중 세는 방식으로 유도된 부등식 $-n^2 - 5n + nk^2 + nk + 6 ≤ 0$를 사용하여 가능한 $n$ 값에 제약을 가하기 위해.
• $k=4$일 때 이 부등식이 $n = 15$와 $n = 16$에서 실패함을 증명하여 실현 가능성의 배제를 위해.
• Folkman-Lawrence 표현 정리를 활용하여 pl-실현 가능성(pl-realizability)을 기반으로 한 방향성 있는 매트로이드의 방향성(orientability)과 동치임을 증명하기 위해.
• 계산 소프트웨어를 사용하여 Betten과 Betten이 제시한 19개의 후보 $16_4$-매트로이드 중 어느 하나도 방향성이 없음을 검증하여 실현 가능성의 부재를 확인하기 위해.

실험 결과

연구 질문

• RQ1 편평선 설정에서도 실제 구현 가능한 $15_4$-구성(configuration)이 존재하는가?
• RQ2 실제로 구현 가능한 $16_4$-구성(configuration)이 존재하지 않는다면, 이를 방해하는 조합적 또는 위상적 장애물은 무엇인가?
• RQ3 위상적 및 조합적 제약 조건으로부터 실제 구현 가능한 $n_k$-구성(configuration)의 존재에 대한 일반적인 필요 조건을 도출할 수 있는가?
• RQ4 모든 $16_4$-구성(configuration)이 비방향성(non-orientable)인가, 그리고 이는 비pl-실현 가능성(non-pl-realizability)을 의미하는가?
• RQ5 15₄- 및 16₄-구성(configuration)의 존재하지 않음 결과를 다른 $n_k$-구성(configuration)으로 일반화할 수 있는가?

주요 결과

• 실제로 구현 가능한 $15_4$-구성(configuration)은 존재하지 않으며, 이는 $k=4$와 $n=15$일 때 필수 부등식 $n > k^2 + k - 5$가 실패하기 때문이다.
• 실제로 구현 가능한 $16_4$-구성(configuration)은 존재하지 않으며, 이는 위상적 추론과 함께 19개의 후보 매트로이드에 대한 비방향성(non-orientability)의 계산적 검증을 통해 확인되었다.
• 실제로 구현 가능한 $n_k$-구성(configuration)의 존재에 대한 일반적인 필요 조건은 $n > k^2 + k - 5$이며, 이는 $k=4$일 때 $n=15$와 $n=16$의 경우 존재하지 않음을 의미한다.
• Betten과 Betten이 식별한 19개의 후보 $16_4$-매트로이드는 모두 비방향성이며, 이는 계산적 수단을 통해 $16_4$-구성(configuration)이 pl-실현 가능(pl-realizable)하지 않음을 확인한다.
• 이러한 존재하지 않음 결과는 직선 배열 뿐 아니라 편평선 배열의 경우에도 성립한다. 왜냐하면 pl-실현 가능성(pl-realizability)은 일반적인 실현 가능성의 필요 조건이기 때문이다.
• 최종 증명은 계산적 도구를 사용하지 않은 구성적이고 컴퓨터 없는 방식이지만, $n=16$의 경우에 앞서 계산된 결과들이 활용되었다.