[논문 리뷰] Diagonalizing the genome I: navigation in tree spaces

Satyan L. Devadoss, Jack Morava|arXiv (Cornell University)|2010. 09. 16.

Genomics and Chromatin Dynamics참고 문헌 3인용 수 6

한 줄 요약

이 논문은 생물계통수 트리 공간인 Billera-Holmes-Vogtmann (BHV) 공간의 특이점을 해결하는 컴act하고 올바른 방향성을 가진 쌍곡 평면 다각형을 도입한다. 이는 실수 안정성의 위상수학적 곡선의 모듈리 공간의 방향 커버이며, $n!$ 개의 Stasheff associahedron으로 타일링되고, 이들은 큐브로 분해된다. 저자들은 이러한 구조를 바탕으로 자연스러운 의사거리함수와 접히는 사상(folding map)을 구성하여 평면 거리 트리들을 그들의 추상 트리 표현으로 압축하며, 조합론과 게놈학 간 깊은 기하적·위상적 연결 고리를 드러낸다.

ABSTRACT

The orientable cover of the moduli space of real genus zero algebraic curves with marked points is a compact aspherical manifold tiled by associahedra, which resolves the singularities of the space of phylogenetic trees. The resolution maps planar metric trees to their underlying abstract representatives, collapsing and folding an explicit geometric decomposition of the moduli space into cubes. This decomposition endows the resolving space with an interesting canonical pseudometric. The second part of this paper defines a related (stacky) resolution of a space of real quadratic forms, and suggests, perhaps without much justification, that systems of oscillators parametrized by such objects may provide useful models in genomics.

연구 동기 및 목표

• Billera-Holmes-Vogtmann (BHV) 생물계통수 트리 공간의 특이점을, 컴팩트하고 올바른 방향성을 가진 쌍곡 평면 다각형을 통해 해결한다.
• 효율적인 탐색과 거리 분석이 가능한 기하적 프레임워크를 구성하기 위해 자연스러운 의사거리함수를 갖춘 생물계통수 트리 공간의 기하학적 틀을 수립한다.
• 트리 공간, associahedron, 실수 대수곡선의 모듈리 공간 간의 위상적·기하학적 다리를 구축한다.
• 트리 공간 기하학에 기반하여, 고유값이 레이블링된 이차형식 스택과 진동계 시스템이 게놈 데이터의 모델로 활용될 잠재력을 탐색한다.
• 평면 거리 트리 공간을 자연스럽고, 비가역적인 다각형으로 해소하여, 큐브 분해를 갖는 매끄러운 다각형으로 분해한다.

제안 방법

• n! 개의 Stasheff associahedron $K_n$ 로 타일링된 컴팩트하고 올바르며, 비가역적인 다각형인 방향 커버 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 를 구성한다.
• 각 associahedron $K_n$ 을 기하적 분해를 통해 $C_{n-1}$ 개의 큐브로 분해함으로써, 해소 다각형의 큐브 분해를 얻는다.
• 평면 거리 트리 공간에서 추상 BHV 공간 $\rm{BHV}_n^+$ 로의 忘却(forgotten) 접히는 사상 $\Theta$ 를 정의한다. 이 사상은 세 가지 작업을 수행한다: $2^{n-2}$ 개의 associahedron 을 큐브로 접는 것, 반대편 큐브를 식별하는 것, 경계를 무한원점으로 압축하는 것.
• 식별 $n! \cdot \frac{1}{n}\binom{2n-2}{n-1} \cdot \frac{1}{2^{n-1}} = (2n-3)!!$ 를 사용하여, $n!$ 개의 associahedron 이 $\rm{BHV}_n^+$ 의 $(2n-3)!!$ 개의 각도 영역으로 $2^{n-2}:1$ 접히는 사상을 수립한다.
• 큐브 분해와 기하학적 접힘에서 유도된 자연스러운 의사거리함수를 해소 다각형에 부여한다.
• 대칭군 $({\mathbb{S}}_{n-1})$--equivariant 조합 $K_n \times_{\mathbb{Z}_{n+1}} \mathbb{S}_{n+1} \to \overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R}) \to \rm{BHV}_n^+ \simeq S^{n-2} \wedge \mathbb{S}_{n-1}^+$ 를 통해 트리의 대칭성과 호모토피 유형 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 BHV 생물계통수 트리 공간의 특이점은 어떻게 컴팩트하고 매끄럽고 올바른 다각형을 통해 해결할 수 있는가?
• RQ2 $n+1$ 개의 마킹된 점을 가진 실수 안정성의 위상수학적 곡선의 모듈리 공간의 기하적·위상적 구조는 무엇이며, 트리 공간과 어떻게 관련이 있는가?
• RQ3 해소 다각형 위에 정의된 자연스러운 의사거리함수는 평면 거리 트리의 내재 기하학을 어떻게 반영하는가?
• RQ4 평면에서 추상 트리로의 접히는 사상 $\Theta$ 는 큐브 분해를 통해 조합론적·기하학적 정보를 어떻게 캡슐화하는가?
• RQ5 트리 공간의 기하학에 기반하여, 고유값이 레이블링된 이차형식 스택과 진동계 시스템이 게놈 데이터의 모델링에 어떻게 활용될 수 있는가?

주요 결과

• 방향 커버 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 는 컴팩트하고 올바르며, 비가역적인 다각형이며, $n!$ 개의 Stasheff associahedron $K_n$ 으로 타일링되어 BHV 공간의 특이점을 해소한다.
• 각 associahedron 에 대해 $C_{n-1}$ 개의 큐브로 이루어진 큐브 분해를 갖는다. 각 정점에선 $2^{n-2}$ 개의 associahedron 이 만난다. 이는 더 큰 큐브를 형성한다.
• 접히는 사상 $\Theta$ 는 $n!$ 개의 associahedron 을 $\rm{BHV}_n^+$ 의 $(2n-3)!!$ 개의 각도 영역으로 $2^{n-2}:1$ 으로 접는다. 중심은 원점으로 압축되고, 경계는 무한원점으로 압축된다.
• $\Theta$ 는 자연스러운 $({\mathbb{S}}_{n-1})$-equivariant 조합을 유도하며, $S^{n-2} \wedge \mathbb{S}_{n-1}^+$ 를 통해 인식된다. 이는 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 가 $(n-1)!$ 개의 구의 와이드(wedge)로 사상됨을 보여준다.
• $\rm{BHV}_n^+$ 는 $\mathcal{T}_n$ 의 스펜션과 호모토피 동치이며, 한정된 한정화 $\rm{BHV}_n^+$ 는 $\mathcal{T}_n$ 의 비감소 스펜션과 위상동형이다.
• 해소 다각형 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ 에 정의된 자연스러운 의사거리함수는 큐브 분해와 기하학적 접힘에서 기인하며, 트리 탐색을 위한 자연스러운 거리함수를 제공한다.