[論文レビュー] Invariant subsets of scattered trees. An application to the tree alternative property of Bonato and Tardif

Claude Laflamme, Maurice Pouzet+1 more|arXiv (Cornell University)|Aug 5, 2015

Geometric and Algebraic Topology参考文献 8被引用数 4

ひとこと要約

この論文は、散乱木における木の代替性を確立するために、任意の散乱木が、すべての埋め込みにおいて不変な頂点、辺、または高々2つの終点の集合をもつ、あるいはそれとは別に、自分自身と同型な無限個の非同型木を含むことを証明している。主な貢献は、散乱木における不変部分集合の構造的特徴付けであり、自動同型と埋め込みに関する既存の結果を、無限大の二分木部分木を含まない無限木における同型写像と埋め込み不変性のより広い文脈へと拡張している。

ABSTRACT

A tree is scattered if no subdivision of the complete binary tree is a subtree. Building on results of Halin, Polat and Sabidussi, we identify four types of subtrees of a scattered tree and a function of the tree into the integers at least one of which is preserved by every embedding. With this result and a result of Tyomkyn, we prove that the tree alternative property conjecture of Bonato and Tardif holds for scattered trees and a conjecture of Tyomkin holds for locally finite scattered trees.

研究の動機と目的

• 射を持たない木および散乱木における自己同型不変要素に関する既知の結果を、より広い埋め込みのクラスへと拡張すること。
• ボナトとタルディフの散乱木における木の代替性予想を解決すること。この予想は、同型写像の木が同型であるか、無限個の非同型の同型写像の木が存在することを示唆している。
• 散乱木における埋め込みによって不変な終点とレイト（ray）の構造を特徴づけること。特に、正則性、前向き/後向き不変性、およびほとんど剛性を持つ終点に注目する。
• すべての散乱木が「安定」であることを証明すること。すなわち、すべての埋め込みにおいて不変な標準的サブ構造を含むこと。これにより、構造的二分法が確立される。

提案手法

• レイトに沿った木の構造的分解を用い、レイト $ C $ 上の頂点によってインデックス付けされた根付き部分木 $ T_{x_i} $ を定義し、有限個の同型でない根付き部分木しか現れない場合に限り、レイトを正則と分類する。
• 埋め込みによる終点の前向き／後向き不変性の概念を導入し、「ほとんど剛性を持つ終点」を、すべての埋め込みによって前向きおよび後向きに不変である終点として定義する。
• ジュング（終点の順序）とハリン（射を持たない木）の結果を応用し、すべての埋め込みにおいて不変な射を持たない部分木が、すべての散乱木に存在することを示す。
• 元の木 $ T $ におけるパスに沿った局所的変更を用いて、同型写像の木だが非同型なコピーを生成する、双子の木 $ Twin_n $ を構成する。
• レベル関数とパス埋め込みを用いて、同型な双子間の頂点のレベルを比較し、$ n < m $ のとき $ Twin_n $ と $ Twin_m $ の間に同型写像が存在しないことを、レベルシフトの不一致により証明する。
• レベル比較とパス写像に基づく背理法を用い、$ n < m $ のとき $ Twin_n $ と $ Twin_m $ の間に同型写像が存在しないことを示し、双子の非同型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 すべての散乱木は、すべての埋め込みにおいて不変な頂点、辺、または高々2つの終点の集合を含むか？
• RQ2 すべての埋め込みによって前向きに不変な終点が、すべての埋め込みによって不変なレイトを含む条件は何か？
• RQ3 散乱木が同型写像の木を同型の意味で唯一つに限る条件は何か。また、無限個の非同型の同型写像の木が存在する条件は何か？
• RQ4 ほとんど剛性を持つ終点の構造的性質は何か。また、それらは埋め込みにおける固定点とどのように関係するか？
• RQ5 すべての埋め込みによって前向きに不変な非正則な終点が存在する場合、散乱木においてすべての埋め込みによって不変なレイトが存在するか保証されるか？

主な発見

• すべての散乱木は、すべての埋め込みにおいて不変な頂点、辺、または高々2つの終点の集合を含み、ハリン、ポラト、サビドゥッシの結果を一般化する。
• 散乱木に最大順序の終点がちょうど1つ存在する場合、その終点はすべての埋め込みによって前向きに不変である。
• 散乱木に正則でほとんど剛性を持つ終点が存在する場合、その終点はすべての埋め込みによって点ごと（pointwise）に不変であり、埋め込みの集合に共通の固定点が存在することを示唆する。
• すべての埋め込みによって前向きに不変な非正則な終点を含む散落木では、すべての埋め込みによって不変なレイトが存在する。
• 散落木が同型写像の木を同型の意味で唯一つに限る場合、すべての同型写像の木は同型である。さもなければ、無限個のペアワイズ非同型の同型写像の木が存在する。
• パスに沿った局所的変更を用いた $ Twin_n $ 木の構成により、無限個の非同型の同型写像の木が得られ、散落木における木の代替性が証明される。