[논문 리뷰] An Extended Bracket Polynomial for Virtual Knots and Links

Louis H. Kauffman|ArXiv.org|2007. 12. 15.

Geometric and Algebraic Topology참고 문헌 24인용 수 5

한 줄 요약

이 논문은 가상 끈과 링크의 새로운 불변량인 확장 브라켓 다항식을 소개한다. 이는 다항계수를 가진 가상 그래프를 포함시켜 고전적 브라켓 다항식을 일반화한 것으로, 비고전성의 탐지, 가상 교차수와 종수의 추정, 상태 합과 화살표 다항식 표현을 통한 계산 가능한 프레임워크를 제공한다. 이는 장가상 끈과 평평한 가상 다이어그램에의 응용을 포함한다.

ABSTRACT

This paper defines a new invariant of virtual knots and links that we call the extended bracket polynomial, and denote by <> for a virtual knot or link K. This invariant is a state summation over bracket states of the oriented diagram for K. Each state is reduced to a virtual 4-regular graph in the plane and the polynomial takes values in the module generated by these reduced graphs over the ring Q[A,A^{-1}]. The paper is relatively self-contained, with background information about virtual knots and long virtual knots. We give numerous examples applying the extended bracket, including a new proof of the non-triviality of the Kishino diagram and the flat Kishino diagram and non-classicality of single crossing virtualizations. The paper has a section on the estimation of virtual crossing number using the extended bracket state sum. Examples are given of virtual knots with arbitrary minimal embedding genus and arbitrarily high positive difference between the virtual crossing number and the minimal embedding genus. A simplification of <> is introduced and denoted by A[K]. This simplified extended bracket, the arrow polynomial, is a polynomial in an infinite set of variables. It is quite strong (detecting the flat Kishino diagram for example) and easily computable. The paper contains a description of a computer algorithm for A[K] and uses the arrow polynomial, in conjunction with the extended bracket polynomial to determine the minimum genus surfaces on which some virtual knots can be represented.

연구 동기 및 목표

• 가상 끈과 링크를 위한 새로운 불변량을 개발하여 고전적 브라켓 다항식을 비고전적 특성을 포착할 수 있도록 확장한다.
• 특히 유니터리 존스 다항식을 가진 끈들에 대해 비고전성을 탐지할 수 있는 방법을 제공한다.
• 확장 브라켓에서 유도된 상태 기반 그래프 불변량을 사용하여 가상 링크의 가상 교차수와 종수를 추정한다.
• 매개변수의 특수화를 통한 평평한 가상 끈과 링크의 불변량 프레임워크를 수립한다.
• 장가상 끈에서 닫힌 가상 끈으로의 클로처 사상의 커널을 확장 브라켓 불변량을 통해 탐색한다.

제안 방법

• 확장 브라켓 불변량 $<<K>>$ 를 정의한다. 이는 다항식 계수를 가진 $\mathbb{Q}[A, A^{-1}]$ 에 속하는 가상 4-정규 그래프 상태들의 합으로 구성된다.
• 확장 브라켓에서 유도된 유한 변수 다항식 불변량인 화살표 다항식을 도입하여 계산을 용이하게 한다.
• 상태의 가상 그래프 표현을 사용하여 오일러 지표를 통해 종수와 가상 교차수를 계산한다: $g(G) = 1 + \frac{v(G) - f(G)}{2}$.
• A = 1, $\delta = -2$ 로 특수화하여 평평한 가상 다이어그램에 확장 브라켓을 적용함으로써 평평한 가상 링크의 불변량을 얻는다.
• 올라가는 사상 $A$ 를 통한 장가상 끈에서의 평평한 장가상 끈으로의 임베딩을 활용하여 불변량을 이전한다.
• 특정 다이어그램(예: 킴노, $L_n$ 가족)에 이 방법을 적용하여 종수를 계산하고 비자명성 및 비고전성을 검증한다.

실험 결과

연구 질문

• RQ1 확장 브라켓 다항식은 특히 유니터리 존스 다항식을 가진 끈들에 대해 비고전성 가상 끈을 탐지할 수 있는가?
• RQ2 확장 브라켓 상태 합을 통해 가상 링크의 가상 교차수와 종수를 어떻게 추정할 수 있는가?
• RQ3 확장 브라켓 불변량은 클로처가 자명한 장가상 끈의 비자명성을 어느 정도 탐지할 수 있는가?
• RQ4 화살표 다항식은 확장 브라켓 불변량을 단순화하고 계산하는 데 어떤 역할을 하는가?
• RQ5 확장 브라켓 불변량은 장가상 끈에서 닫힌 가상 끈으로의 클로처 사상의 커널을 특성화하는 데 도움이 되는가?

주요 결과

• 확장 브라켓 불변량은 가장 단순한 가상화 예제와 킴노 다이어그램의 비고전성을 탐지하여 그들의 비고전적 성격을 확인한다.
• 평평한 가상 링크 가족 $L_n$ 의 종수는 $g(L_n) = n$ 이며, 상태 그래프 $G_n$ 에 대해 종수 공식 $g(G) = 1 + \frac{v(G) - f(G)}{2}$ 를 적용하여 계산된다.
• 평평한 가상 끈 $K$ 에 대해, 그래프 $G$ 를 가진 단순화된 상태 $S$ 는 종수 $g(G) = 2$ 를 가지며, $K$ 가 종수 2에 임베딩될 수 있으므로 $g(K) = 2$ 이다.
• 확장 브라켓은 클로처가 자명한 장가상 끈의 비자명성을 탐지할 수 있으며, 이는 존스 다항식이 가지 못하는 능력이다.
• 가상 링크의 가상 교차수는 확장 브라켓 상태 합에 포함된 그래프의 가상 교차수 분석을 통해 추정할 수 있으며, 특히 적합하거나 준적합 링크의 경우 유용하다.
• 화살표 다항식 $\mathcal{A}[K]$ 는 확장 브라켓의 단순화되고 계산 가능한 형태를 제공하며, 알고리즘 구현에 적합하다(예: 마이크로소프트 수학 소프트웨어를 통한 구현).