[논문 리뷰] Recurrence relation for HOMFLY polynomial and rational specializations

Rehana Ashraf, Barbu Berceanu|arXiv (Cornell University)|2010. 03. 04.

Geometric and Algebraic Topology참고 문헌 8인용 수 3

한 줄 요약

이 논문은 닫힌 브레드의 HOMFLY 다항식에 대해 피보나치 유형의 재귀 관계를 수립하여, 오직 세 가지 유리수 특수화가 존재함을 드러낸다: Alexander-Conway, Jones, 그리고 새로 규명된 다항식. 이 재귀 관계를 활용해 저자들은 일반 및 상대적 전개 공식과 유리수 생성 함수를 도출하며, 계산을 간단한 브레드의 닫힘으로 줄이고, 세 다항식 간의 대수적 독립성을 증명한다.

ABSTRACT

Turning the skein relation for HOMFLY into a Fibonacci recurrence, we prove that there are only three rational specializations of HOMFLY polynomial: Alexander-Conway, Jones, and a new one. Using the recurrence relation, we find general and relative expansion formulae and rational generating functions for Alexander-Conway polynomial and the new polynomial, which reduce the computations to closure of simple braids, a subset of square free braids; HOMFLY polynomials of these simple braids are also computed. Algebraic independence of these three polynomials is proved.

연구 동기 및 목표

• HOMFLY 스키ン 관계를 피보나치 유형의 재귀로 변형함으로써, HOMFLY 다항식의 모든 유리수 특수화를 규명하는 것.
• 재귀 관계를 활용해 Alexander-Conway 다항식과 새로운 다항식에 대한 일반 및 상대적 전개 공식을 개발하는 것.
• 재귀를 활용해 HOMFLY 다항식의 계산을 간단한 브레드, 특히 제곱 자유 브레드의 닫힘으로 줄이는 것.
• Alexander-Conway, Jones, 그리고 새로 발견된 유리수 특수화 다항식 간의 대수적 독립성을 증명하는 것.
• Laurent 다항식 기저를 통해 Alexander-Conway 다항식과 새로운 다항식에 대한 유리수 생성 함수 및 닫힌 형태 표현을 제공하는 것.

제안 방법

• 닫힌 $n$-브레드에 대해 HOMFLY 스키인 관계를 매개변수 $(-ml, -l^2)$를 가진 다중 피보나치 재귀로 변환한다.
• 전개 공식의 기저로 $C^a(s) = (-1)^a s^{a-1} + s^{1-a}$ 라는 Laurent 다항식을 정의한다.
• 일반 전개 공식 유도: $\nabla_n(x_{i_1}^{a_1}\ldots x_{i_k}^{a_k}) = \left(\frac{s}{s^2+1}\right)^k \sum_{j_i \in \{0,1\}} \prod_{i=1}^k C^{a_i + j_i}(s) \cdot \nabla_n(x_{i_1}^{j_1}\ldots x_{i_k}^{j_k})$.
• 하나의 링크에 $p$개의 부분도형이 있는 경우에 대한 상대 전개 공식 수립: $\nabla_{\mathcal{L}}(k_1,\ldots,k_p) = \left(\frac{s}{s^2+1}\right)^p \sum_{j_i \in \{0,1\}} \prod_{i=1}^p C^{k_i + j_i}(s) \cdot \nabla_{\mathcal{L}}(j_1,\ldots,j_p)$.
• 귀납법과 점점 증가하는 차수 분석을 통해 재귀에 나타나는 일부 Laurent 다항식이 0이 되어야 한다는 것을 증명하며, 이로 인해 대수적 독립성을 도출한다.
• 재귀를 적용해 $L_{p,n} = \widehat{x_1^{2p+1} \cdots x_n^{2p+1}}$ 형태의 링크를 구성하고, $\nabla$, $V$, $D$ 다항식에서 주요 항이 서로 다름을 보여, 다항식 계수에 대한 모순을 통해 대수적 독립성을 증명한다.

실험 결과

연구 질문

• RQ1 HOMFLY 다항식의 어떤 유리수 특수화가 피보나치 유형의 재귀 관계를 만족하는가?
• RQ2 Alexander-Conway 다항식과 Jones 다항식은 표준적인 Laurent 다항식 기저를 사용해 일반 전개 공식으로 표현될 수 있는가?
• RQ3 재귀의 구조에서 유래하는 새로운 알려지지 않은 HOMFLY 다항식의 유리수 특수화가 존재하는가?
• RQ4 Alexander-Conway, Jones, 그리고 새로운 다항식은 $\mathbb{C}[s,s^{-1}]$ 위에서 대수적으로 독립적인가?
• RQ5 재귀를 활용해 HOMFLY 다항식의 계산을 단순한 브레드의 닫힘으로 줄일 수 있는가?

주요 결과

• HOMFLY 다항식에 대해 정확히 세 가지 유리수 특수화가 존재한다: Alexander-Conway, Jones, 그리고 재귀의 특성근에서 유도된 새로운 것.
• Alexander-Conway 다항식은 다중 피보나치 재귀를 만족한다: $\nabla_n(a_1,\ldots,a_j+2,\ldots,a_k) = (s^{-1} - s)\nabla_n(a_1,\ldots,a_j+1,\ldots,a_k) + \nabla_n(a_1,\ldots,a_j,\ldots,a_k)$.
• 특성 방정식이 중근 $r''_1 = r''_2 = s$ 를 가지는 경우 새로운 다항식이 나타나며, 이는 Jones 및 Alexander-Conway의 경우와 다름.
• 일반 전개 공식은 임의의 닫힌 브레드의 Alexander-Conway 다항식을 $2^k$개의 단순 브레드 닫힘에 대한 가중합으로 표현하며, 가중치는 $C^{a_i + j_i}(s)$ 로 주어진다.
• 상대 전개 공식은 $p$개의 부분도형이 있는 링크의 Alexander-Conway 다항식을 부분도형의 $2^p$개 구성에 대한 합으로 계산할 수 있게 한다.
• Alexander-Conway, Jones, 그리고 새로운 $D$-다항식은 $\mathbb{C}[s,s^{-1}]$ 위에서 대수적으로 독립적이며, 구성된 링크 가족 $L_{p,n}$ 의 주요 항의 점점 증가하는 차수 분석을 통해 증명되었다.