[논문 리뷰] Phylogenetic ideals and varieties for the general Markov model

Elizabeth S. Allman, John A. Rhodes|ArXiv.org|2004. 10. 28.

Advanced Combinatorial Mathematics참고 문헌 18인용 수 12

한 줄 요약

이 논문은 임의의 이진 계통수에서 2상태 일반 마르코프 모델에 대해 패처-슈타르프엘스 추측을 증명한다. 즉, 각 내부 간선을 따라 연관된 공동확률 텐서의 2차원 평탄화에서 유도되는 3×3 행렬식들이 전체 소수 이상의 계통수 불변량을 생성한다는 것이다. 핵심 방법은 3형질체 다양체가 그 포함 공간(ℙ⁷)을 메우므로, 행렬 작용과 평탄화 연산을 이용한 귀납적 추론이 가능하다는 점을 활용한다. 결국 모든 간선 기반 불변량이 전체 다양체를 정의하는 데 충분하다는 것을 보여준다.

ABSTRACT

The general Markov model of the evolution of biological sequences along a tree leads to a parameterization of an algebraic variety. Understanding this variety and the polynomials, called phylogenetic invariants, which vanish on it, is a problem within the broader area of Algebraic Statistics. For an arbitrary trivalent tree, we determine the full ideal of invariants for the 2-state model, establishing a conjecture of Pachter-Sturmfels. For the $κ$-state model, we reduce the problem of determining a defining set of polynomials to that of determining a defining set for a 3-leaved tree. Along the way, we prove several new cases of a conjecture of Garcia-Stillman-Sturmfels on certain statistical models on star trees, and reduce their conjecture to a family of subcases.

연구 동기 및 목표

• 임의의 이진 트리에서 일반 마르코프 모델의 전체 소수 이상의 계통수 불변량을 결정하는 것.
• 패처와 슈타르프엘스의 13번 추측을 해결하는 것 — 이는 2상태 모델에서 간선 평탄화의 3×3 행렬식들이 전체 불변량 이상을 생성한다는 것이다.
• κ-상태 모델의 불변량을 찾는 문제를 3엽수 트리의 경우로 단순화하여 일반 분류 문제를 간소화하는 것.
• 스타 트리 모델에 대한 가르시아-스틸만-슈타르프엘스 추측의 새로운 케이스를 증명하고, 전체 추측을 유한한 부분집합으로 축소하는 것.

제안 방법

• κ=2일 때 3형질체 다양체 V(T₃)가 그 포함 공간 ℙ⁷를 메운다는 사실을 이용하여, κ>2일 때는 존재하지 않는 특수한 대수적 구조를 활용한다.
• 형질 수에 대한 귀납적 추론을 적용하여 트리 Tₙ을 Tₙ₋₁*T₃로 분해하며, aₙ₋₁와 aₙ이 채리(cherries)를 이룬다.
• 공동확률 텐서 P에 대해 행렬 평탄화 연산을 적용하여, 내부 간선의 한쪽에 있는 형질들을 묶어 행렬로 간주한다.
• 체리 구조를 통해 GL(4,ℂ)의 작용을 다양체에 적용하여, Lemma 12를 이용해 서로 다른 트리 크기 간 이상을 연결한다.
• 다양체 소속 문제를 해결하기 위해, f(Flatₑ(P)*B) 형태의 다항식이 3×3 행렬식에 의해 생성된 이상에 포함됨을 보여주는 데 중점을 두며, 평탄화의 질량 조건을 활용한다.
• 행렬 곱셈에 대해 다양체 CV(Tₙ)의 닫힘 성질을 활용하여, 이상이 간선 기반 불변량에 의해 생성됨을 증명한다.

실험 결과

연구 질문

• RQ1 임의의 이진 트리에서 2상태 일반 마르코프 모델에 대해, 각 내부 간선을 따라 평탄화된 2차원 연장에서 유도되는 3×3 행렬식들이 전체 소수 이상의 계통수 불변량을 생성하는가?
• RQ2 κ-상태 모델의 불변량 이상을 찾는 문제는 3엽수 트리의 경우로 축소될 수 있는가?
• RQ3 패처와 슈타르프엘스가 추측한 바와 같이, 3형질체 다양체 V(T₃)의 2차원 평탄화에서 유도되는 불변량들이 2상태 모델의 전체 이상을 생성하는가?
• RQ4 κ>2일 때 일반 마르코프 모델의 계통수 다양체의 구조는 어떻게 되며, κ=2일 때와 어떻게 다를까?
• RQ5 스타 트리 모델에 대한 가르시아-스틸만-슈타르프엘스 추측은 특정 부분집합에 대해 증명될 수 있는가? 만약 그렇다면 어떤 경우인가?

주요 결과

• 임의의 이진 n형질체 트리에서 2상태 일반 마르코프 모델의 전체 소수 이상은 각 내부 간선을 따라 연관된 공동확률 텐서의 2차원 평탄화에서 유도되는 3×3 행렬식들로 생성된다.
• κ=2일 때 3형질체 트리 T₃의 다양체 V(T₃)는 그 포함 공간 ℙ⁷를 메운다. 이는 귀납적 추론을 가능하게 하는 핵심적인 구조적 성질이다.
• 임의의 이진 트리 Tₙ에 대해 다양체 CV(Tₙ)는 CV(Tₙ₋₁) × M(4,ℂ)의 행렬 곱셈에 의해 생성된 이미지의 닫힘집합이며, 이는 증명의 귀납 단계를 가능하게 한다.
• κ-상태 모델의 불변량 이상은 3엽수 트리의 불변량 연구로 축소될 수 있어, 분류 문제를 크게 단순화한다.
• 논문은 스타 트리 모델에 대한 가르시아-스틸만-슈타르프엘스 추측의 새로운 케이스를 증명하고, 전체 추측을 유한한 부분집합의 가족으로 축소한다.
• 이 방법을 통해 이상에 속하는 모든 불변량이 간선 기반 3×3 행렬식의 조합으로 표현될 수 있음을 증명하여, 패처와 슈타르프엘스의 2상태 모델에 대한 추측을 확인한다.