[논문 리뷰] Experimental Mathematics Approach to Gauss Diagrams Realizability

Abdullah Khan, Alexei Lisitsa외 1명|arXiv (Cornell University)|2021. 03. 03.

Geometric and Algebraic Topology참고 문헌 21인용 수 4

한 줄 요약

이 논문은 실험 수학과 Prolog 기반 제약 만족를 활용하여 평면 곡선의 조합적 표현인 가우스 다이어그램의 실현 가능성 기준을 조사한다. 저자들은 [Bir19]과 [GL18, GL20]에서 제안한 최신 기제적 기준을 구현하고 테스트하여, 이 기준들이 잘못되었음을 밝혀냈다: 비실현 가능한 다이어그램을 실현 가능하다고 오류 인식하며, 크기 9에서 최소 하나의 반례가 존재하고, 크기 10과 11에서는 각각 6개와 36개의 반례가 존재한다.

ABSTRACT

A Gauss diagram (or, more generally, a chord diagram) consists of a circle and some chords inside it. Gauss diagrams are a well-established tool in the study of topology of knots and of planar and spherical curves. Not every Gauss diagram corresponds to a knot (or an immersed curve); if it does, it is called realizable. A classical question of computational topology asked by Gauss himself is which chords diagrams are realizable. An answer was first discovered in the 1930s by Dehn, and since then many efficient algorithms for checking realizability of Gauss diagrams have been developed. Recent studies in Grinblat-Lopatkin (2018,2020) and Biryukov (2019) formulated especially simple conditions related to realizability which are expressible in terms of parity of chords intersections. The simple form of these conditions opens an opportunity for experimental investigation of Gauss diagrams using constraint satisfaction and related techniques. In this paper we report on our experiments with Gauss diagrams of small sizes (up to 11 chords) using implementations of these conditions and other algorithms in logic programming language Prolog. In particular, we found a series of counterexamples showing that that realizability criteria established by Grinblat and Lopatkin (2018,2020) and Biryukov (2019) are not completely correct.

연구 동기 및 목표

• 최근 제안된 기제적 실현 가능성 기준이 가우스 다이어그램에 대해 올바른지 계산적 실험을 통해 조사하기.
• 논리 프로그래밍과 표준 린텔 표현을 사용하여 크기 11까지의 동치가 아닌 가우스 다이어그램을 순열하기.
• 고전적 드른의 기준과 현대적 성질 기반 조건을 포함한 다양한 실현 가능성 조건의 동치성을 테스트하기.
• 현대적 기준이 비실현 가능한 다이어그램을 탐지하지 못하는 경우를 체계적으로 식별하고 검증하기.
• 가우스 다이어그램의 실현 가능성의 일阶논리에서 성질 기반의 정의 가능성을, 상호배치 그래프 위에서 성질 기반의 정의 가능성을 평가하기.

제안 방법

• 가우스 다이어그램을 '린텔'—현실의 변형이 없는 색인의 순열—로 표현하기 위해, 모든 동치가 아닌 다이어그램을 생성하기 위해 전단사 β를 사용한다.
• 내장된 순열과 동적 사실 저장 기능을 활용하여 Prolog 기반 제약 만족를 구현하여 린텔을 효율적으로 생성하고 표준화한다.
• 다양한 실현 가능성 기준을 통합하고 테스트한다: 고전적 드른(CA), STZ, B(Bir19), GL(GL18, GL20) 조건.
• 각 다이어그램의 상호배치 그래프를 사용하여 FO+MOD₂ 논리에서 성질 기반 조건을 평가하여 다항 시간 내에 검증 가능하게 한다.
• 중복 방지를 위해 백트래킹과 동적 사실 저장을 적용하여 동치가 아닌 다이어그램의 완전한 순열을 확보한다.
• 다양한 기준 간 결과를 비교하고 고전적 드른 알고리즘과의 대조를 통해 불일치를 탐지한다.

실험 결과

연구 질문

• RQ1 최근 [Bir19]과 [GL18, GL20]에서 제안된 실현 가능성 기준이 모든 실현 가능한 가우스 다이어그램을 정확히 식별하는가?
• RQ2 B 및 GL 기준은 고전적 드른 기준과 STZ 조건과 논리적으로 동치인가?
• RQ3 논리 프로그래밍과 린텔 표현을 사용하여 반례를 체계적으로 생성하고 순열할 수 있는가?
• RQ4 B/GL 기준과 진정한 실현 가능성 조건 사이에서 불일치가 처음 나타나는 다이어그램 크기는 얼마인가?
• RQ5 가우스 다이어그램의 실현 가능성은 상호배치 그래프 위에서 성질 기반의 정의 가능성을 포함한 일阶논리로 정의 가능한가?

주요 결과

• B 및 GL 실현 가능성 기준은 잘못되었다: 비실현 가능한 다이어그램을 실현 가능하다고 분류한다.
• 크기 9에서 최소 반례가 존재하며, 정확히 하나의 동치가 아닌 다이어그램이 B 및 GL 조건를 만족하지만 실현 가능하지 않다.
• 크기 10에서는 6개의 동치가 아닌 다이어그램이 B 및 GL 조건를 만족하지만 실현 가능하지 않으며, 크기 11에서는 36개로 증가한다.
• 고전적 드른 기준(CA)과 STZ 조건은 크기 11까지 동치이자 정확하며, 실현 가능한 다이어그램의 진정한 수와 일치한다.
• B 및 GL 기준은 크기 9부터 CA 및 STZ와 다름을 보이며, 이는 이들이 타당한 실현 가능성 조건가 아님을 시사한다.
• 저자들은 가우스 다이어그램의 실현 가능성은 상호배치 그래프 위에서 성질 기반의 정의 가능성을 포함한 일阶논리로 완전히 기술할 수 없다고 추측한다.