[論文レビュー] Diagonalizing the genome I: navigation in tree spaces

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

Genomics and Chromatin Dynamics参考文献 3被引用数 6

ひとこと要約

本稿は、標数0の実安定型の滑らかで、向き付け可能な双曲的多様体である、n+1個のマークドポイントをもつ genus zero 曲線のモジュライ空間の向き付き被覆を導入し、系統発生樹のBH空間（Billera-Holmes-Vogtmann空間）の特異点を解消する。この多様体はn!個のスターシェフのアソシアヘドロンでタイル張りされ、それらを立方体に分解することで、自然な擬距離と折りたたみ写像を構成する。この写像は平面的計量木をそれらの抽象的木表現に縮小し、組合せ論的およびゲノム研究との深い幾何的・位相的関係を明らかにする。

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) 空間の特異点を、滑らかでコンパクトかつ向き付け可能な双曲的多様体を用いて解消すること。
• 自然な擬距離を備えた幾何的枠組みを構築し、効率的なナビゲーションと距離解析を可能にする系統発生樹空間のための幾何的フレームワークを提供すること。
• 木空間、アソシアヘドロン、実代数的曲線のモジュライ空間との間の位相的および幾何的橋渡しを確立すること。
• 木空間の幾何に基づいて、二次形式のスタックとオシレーター系がゲノムデータのモデルとしての可能性を探索すること。
• 平面的計量木の空間を、立方体分解を持つ滑らかで非可縮の多様体に位相的に解消すること。

提案手法

• n!個のスターシェフのアソシアヘドロン $K_n$ でタイル張りされた、滑らかで向き付け可能かつ非可縮な多様体 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ として、向き付き被覆を構成する。
• 各アソシアヘドロン $K_n$ を幾何的分割により $C_{n-1}$ 個の立方体に分解し、解消多様体の立方体分解を導出する。
• 平面的計量木空間から抽象的BH空間 $\rm{BHV}_n^+$ への忘却的折りたたみ写像 $\Theta$ を定義し、以下の3つの操作を実行する：$2^{n-2}$ 個のアソシアヘドロンを立方体に折りたたみ、反対称立方体を同定し、境界を無限遠点に縮小する。
• 恒等式 $n! \cdot \frac{1}{n}\binom{2n-2}{n-1} \cdot \frac{1}{2^{n-1}} = (2n-3)!!$ を用いて、$n!$ 個のアソシアヘドロンから $(2n-3)!!$ 個の直方体への $2^{n-2}:1$ の折りたたみ写像を確立する。
• 立方体分解と幾何的折りたたみに基づいて、解消多様体に自然な擬距離を導入する。
• $({\mathbb{S}}_{n-1})$-可換な合成 $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個のマークドポイントをもつ実安定型のgenus zero 曲線のモジュライ空間の幾何的・位相的構造は何か。また、それは木空間とどのように関係するか。
• RQ3 解消多様体に、平面的計量木の内在的幾何を反映する自然な擬距離を定義できるか。
• RQ4 折りたたみ写像 $\Theta$ が立方体分解を通じて組合せ論的および幾何的情報をどのように符号化するか。
• RQ5 木空間の幾何に基づいて、ラベル付き固有値をもつ二次形式のスタックが、ゲノム分野におけるオシレーター系のモデルとしての可能性を有するか。

主な発見

• 向き付き被覆 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ は、滑らかで向き付け可能かつ非可縮な多様体であり、$n!$ 個のスターシェフのアソシアヘドロン $K_n$ でタイル張りされ、BHV空間の特異点を解消する。
• この多様体は、各アソシアヘドロンあたり $C_{n-1}$ 個の立方体に立方体分解可能であり、各頂点に $2^{n-2}$ 個のアソシアヘドロンが集まり、より大きな立方体を形成する。
• 折りたたみ写像 $\Theta$ は、$n!$ 個のアソシアヘドロンを $(2n-3)!!$ 個の直方体に $2^{n-2}:1$ の割合で折りたたみ、中心部は原点に、境界部は無限遠点に収縮する。
• $\Theta$ は自然な $({\mathbb{S}}_{n-1})$-可換な合成を誘導し、$S^{n-2} \wedge \mathbb{S}_{n-1}^+$ を通して因子化され、$\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ が $(n-1)!$ 個の球面のワッセッドに写像されることを示す。
• $\rm{BHV}_n^+$ は $\mathcal{T}_n$ のサスペンションとホモトピー同値であり、一点コンパクト化 $\rm{BHV}_n^+$ は $\mathcal{T}_n$ の非還元的サスペンションとホメオモーフィックである。
• 解消多様体 $\overline{\mathcal{M}}_{0,n+1}^{\rm or}(\mathbb{R})$ に導入された自然な擬距離は、立方体分解と幾何的折りたたみに基づき、木のナビゲーションに自然な距離を提供する。