[논문 리뷰] On phylogenetic trees - a geometer's view

Weronika Buczyńska, Jarosław A. Wiśniewski|ArXiv.org|2006. 01. 14.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 9

한 줄 요약

이 논문은 대수기하학을 통해 이진 대칭 3-차수 계통수 나무의 기하 모델을 조사하며, 이들이 인덱스 4의 팬오 다양체이자 고르스타인 단순 특이점을 가지며, 소형 해소가 존재함을 보여준다. 주요 결과는 같은 잎 수를 가진 모든 이러한 모델이 변형 동치임을 보이며, 이는 그들의 힐베르트-에르하르트 다항식이 나무의 위상 구조가 아닌 잎 수에만 의존함을 의미한다.

ABSTRACT

We investigate projective varieties which are geometric models of binary symmetric phylogenetic 3-valent trees. We prove that these varieties have Gorenstein terminal singularities (with small resolution) and they are Fano varieties of index 4. Moreover any two such varieties associated to trees with the same number of leaves are deformation equivalent, that is, they are in the same connected component of the Hilbert scheme of the projective space. As an application we provide a simple formula for computing their Hilbert-Ehrhard polynomial.

연구 동기 및 목표

• 이진 대칭 3-차수 계통수 나무의 기하 모델로 나타나는 프로젝티브 다양체의 기하학적 및 대수적 구조를 이해하기 위해.
• 이러한 다양체의 힐베르트-에르하르트 다항식이 잎 수에만 의존하는지, 나무의 위상도 영향을 미치는지 확인하기 위해.
• 이러한 기하 모델의 변형 이론과 그 특이점들을 조사하기 위해.
• 나무의 조합론과 그에 대응하는 프로젝티브 다양체의 기하학 사이의 관계를 탐구하기 위해.
• 두 다양체가 동일한 다면체를 가지거나 프로젝티브 동치일 경우, 그 기반 나무는 반드시 조합적으로 동치여야 하는지 확인하기 위해.

제안 방법

• 나무의 구조와 복소 토러스의 작용으로부터 유도된 격자 다면체를 사용하여, 토릭 기하학을 통해 계통수 나무를 모델링하기 위해.
• 다면체에 의해 관련된 반표준 매bedding을 통해 기하 모델을 프로젝티브 다양체로 구성하기 위해.
• 나무의 다면체에 대한 피브어 프로덕트 공식과 다양체에 대한 몫 공식을 사용하여, 나무를 접합하는 것이 제품 모델의 GIT 몫에 해당함을 보여주기 위해.
• 기하 모델의 팬과 특이점의 해소를 분석하여, 단순 고르스타인 특이점과 소형 해소가 존재함을 증명하기 위해.
• 팬오 다양체 이론을 적용하여, 이러한 모델이 인덱스 4의 팬오 다양체임을 보이며, 표준 근과 반표준 선다발을 사용하기 위해.
• 잎에 대해 정규화된 체적 분포 함수 δ^r(t)에 대한 재귀 공식을 도출하기 위해, 적분과 스케일링 상수를 사용하기 위해.

실험 결과

연구 질문

• RQ1 같은 수의 잎을 가진 계통수 나무의 기하 모델이 나무의 위상에 관계없이 동일한 힐베르트-에르하르트 다항식을 가지는가?
• RQ2 같은 수의 잎을 가진 비동형 3-차수 이진 나무의 기하 모델은 힐베르트 스킴 내에서 변형 동치인가?
• RQ3 이러한 모델의 힐베르트-에르하르트 다항식은 잎 수만으로 보편적으로 계산될 수 있는가?
• RQ4 정규화된 체적 분포 함수 δ^r(t)는 나무의 형태에 의존하는가, 아니면 잎 수에만 의존하는가?
• RQ5 두 기하 모델이 프로젝티브 동치이거나 다면체가 동형일 경우, 그 기반 나무는 반드시 조합적으로 동치여야 하는가?

주요 결과

• 같은 수의 잎을 가진 3-차수 이진 대칭 계통수 나무의 모든 기하 모델은 변형 동치이며, 힐베르트 스킴의 동일한 연결 성분에 속해 있다.
• 이러한 모델의 힐베르트-에르하르트 다항식은 나무의 위상에 관계없이 잎 수에만 의존하며, 보편 공식으로 주어진다: h(n) = (n+1)(n+2)(n+3)/22680 × (31n^6 + 372n^5 + 1942n^4 + 5616n^3 + 9511n^2 + 8988n + 3780).
• 기하 모델은 인덱스 4의 팬오 다양체이자 고르스타인 단순 특이점을 가지며, 소형 해소가 존재한다.
• 정규화된 체적 분포 δ^r(t)는 차수 2r의 다항식이며, 스케일링 상수를 포함한 재귀 적분 공식을 만족하며, t ∈ (0, 1/2)일 때 δ^r(t) = δ^r(1−t)를 만족한다.
• 6개의 잎을 가진 3-캐터필러 나무와 스노플레이크 나무는 같은 면 수를 가지지만, 굵게 표시된 항목을 통해 다른 인cidience 행렬을 가지며, 이는 다면체가 조합적으로 다르다는 것을 입증한다.
• 수치 실험 결과 δ^r(t)는 r > 3일 경우 거의 r에 의존하지 않음을 보이며, 이는 체적 분포가 일정한 시점 이후 나무의 크기 변화에 민감하지 않음을 시사한다.