[論文レビュー] Natural coding of linear involutions

Valérie Berthé, Vincent Delecroix+4 more|arXiv (Cornell University)|May 14, 2014

Mathematical Dynamics and Fractals被引用数 2

ひとこと要約

本稿では、測度付き foliation の Poincaré 写像を用いて、線形対合に関する帰還語の幾何的動機付けの定義を導入し、ある単語への最初の帰還語がアルファベット A 上の自由群の対称基底をなすことを示している。さらに、有限指数部分群 G に対する最初の帰還語も G の対称基底をなすことを証明し、強い代数的構造を持つ自然な符号化枠組みを確立している。

ABSTRACT

We investigate the natural codings of linear involutions. We deduce from the geometric representation of linear involutions as Poincare maps of measured foliations a suitable definition of return words which yields that the set of first return words to a given word is a symmetric basis of the free group on the underlying alphabet $A$. The set of first return words with respect to a subgroup of finite index $G$ of the free group on $A$ is also proved to be a symmetric basis of $G$.

研究の動機と目的

• 線形対合の自然な符号化を、Poincaré 写像から導かれる幾何的帰還語を用いて定義すること。
• 与えられた単語への最初の帰還語が、アルファベット A 上の自由群の対称基底をなすことを確立すること。
• この結果を自由群の有限指数部分群 G に拡張し、G に対する帰還語が G の対称基底をなすことを証明すること。
• 帰還語の構造を通じて、幾何的力学と語の組合せ論を、対合的系における帰還語の構造で統一すること。

提案手法

• 表面における測度付き foliation の Poincaré 写像として、線形対合の幾何的表現を利用する。
• foliation が誘導する記号的符号化における、与えられた単語の最初の出現として帰還語を定義する。
• 測度付き foliation の構造を応用して、帰還語がアルファベット A 上の自由群の対称基底をなすことを保証する。
• 群論的技法を用いて、自由群の有限指数部分群 G への結果の拡張を行う。
• 対合の対称性を活用して、帰還語が「基底」であるだけでなく「対称基底」であることを保証する。
• G に対する帰還語集合が逆元について閉じており、G を生成することを証明し、対称基底の条件を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 線形対合に対して、幾何的力学を用いて帰還語を自然に定義する方法は何か？
• RQ2 線形対合における与えられた単語への最初の帰還語は、そのアルファベット上での自由群の対称基底をなすか？
• RQ3 この結果をアルファベット上での自由群の有限指数部分群 G に拡張できるか？
• RQ4 有限指数部分群 G に制限した場合、帰還語の代数的構造は何か？
• RQ5 測度付き foliation の幾何的構造は、帰還語の組合せ的性質にどのように影響を与えるか？

主な発見

• 線形対合における任意の与えられた単語への最初の帰還語の集合は、基礎となるアルファベット A 上の自由群の対称基底をなす。
• この対称基底性は、測度付き foliation の Poincaré 写像による幾何的構成から自然に生じる。
• アルファベット A 上の自由群の任意の有限指数部分群 G に対して、G に対する最初の帰還語の集合は、G の対称基底をなす。
• 帰還語の構成は対称性と群の生成性を保ち、基底が逆元について閉じていることを保証する。
• この方法は、強い代数的性質を持つ、標準的で幾何的動機付けのある線形対合の符号化を提供する。
• 結果として、線形対合の力学と自由群の基底の組合せ論の間の深い関係が確立される。