[論文レビュー] Simple permutations with order $4n + 2$. Part I

Primitivo B. Acosta-Humánez, Eduardo Martínez Castiblanco|arXiv (Cornell University)|Dec 9, 2010

Coding theory and cryptography参考文献 4被引用数 6

ひとこと要約

本稿では、混合順序 $4n+2$ の単純な置換を生成するための構成的技法を提示する。これは、奇数順および2のべき順の置換に関する先行研究を拡張するものであり、置換がより小さな構成要素から体系的に構築可能であることを証明する。この研究は、シャルコフスキーの順序に基づく組合せ的力学系における周期軌道の完全な系統的分類への基盤を築くものである。

ABSTRACT

The problem of genealogy of permutations has been solved partially by Stefan (odd order) and Acosta-Humánez & Bernhardt (power of two). It is well known that Sharkovskii's theorem shows the relationship between the cardinal of the set of periodic points of a continuous map, but simple permutations will show the behavior of those periodic points. This paper studies the structure of permutations of mixed order $4n+2$, its properties and a way to describe its genealogy by using Pasting and Reversing.

研究の動機と目的

• 奇数順および2のべき順に限らない、混合順序、特に $4n+2$ における単純な置換の系統的枠組みを拡張すること。
• Pasting および Reversing 操作を用いた、$4n+2$ 順の単純な置換の再帰的構成法を確立すること。
• これらの置換の代数的構造を特徴づけ、シャルコフスキーの定理における単純な置換の条件を満たすことを確認すること。
• 今後の研究において関連する原始的関数の力学的挙動を分析する基盤を整えること。
• Pasting および Reversing が、さまざまな力学系における周期軌道構造を構築するための普遍的ツールである可能性を探ること。

提案手法

• 順序 $4n+2$ の単純な置換を、三つの条件を満たすものとして定義する：$\theta^{2^j}[P(4n+2,2^j,i)] = P(4n+2,2^j,i)$、$\theta^{2^j}[P(4n+2,2^{k+1},j)] \cap P(4n+2,2^{k+1},j) = \emptyset$、および $\theta^{2^j}[P(4n+2,2^j,i)] \cap P(4n+2,2^j,i) = \emptyset$（$j < m$ に対して）。
• Pasting 操作 $\diamond$ を用いて置換を結合する：$\theta = \sigma \diamond \tau$、ここで $\sigma$ は最初の $2n+1$ 個の要素に作用し、$\tau$ は最後の $2n+1$ 個の要素に作用する。
• $\alpha_{2n+1}$ および $\beta_{2n+1}$ を、サイズ $2n+1$ の基本的な奇数順単純置換と定義し、それらを構築の基本要素とする。
• $\theta_{4n+2} = \mathrm{Id}_{2n+1} \diamond \alpha_{2n+1}$ および $\theta_{4n+2} = \mathrm{Id}_{2n+1} \diamond \beta_{2n+1}$ を構築し、これらが単純置換の条件を満たすことを証明する。
• マーコフ分割上の明示的サイクル追跡を用いて、構築された置換が要求される周期性および非交差性を満たすことを検証する。
• Reversing 操作を用いて追加の有効な置換を生成し、構成における対称性および逆転に関する閉包性を示す。

実験結果

リサーチクエスチョン

• RQ1 Pasting および Reversing 操作を用いて、$4n+2$ 順の単純な置換をどのように体系的に構築できるか。
• RQ2 $4n+2$ 順の置換が、シャルコフスキーの枠組みにおいて単純な置換とみなされるために満たすべき代数的および力学的条件は何か。
• RQ3 再帰的演算を用いて、奇数順および2のべき順から、混合順序 $4n+2$ への単純な置換の系統的分類を拡張可能か。
• RQ4 恒等置換および奇数順の基本置換は、Pasting を通じて高次単純置換を形成する際に果たす役割は何か。
• RQ5 Pasting および Reversing 操作は、組合せ的力学系における周期点の強制構造をどのように保つのか。

主な発見

• 単純な置換 $4n+2$ 順は、$\mathrm{Id}_{2n+1} \diamond \alpha_{2n+1}$ および $\mathrm{Id}_{2n+1} \diamond \beta_{2n+1}$ として構築可能であり、ここで $\alpha_{2n+1}$ および $\beta_{2n+1}$ は標準的な奇数順単純置換である。
• 構築された置換は、単純性に必要な三つの条件を満たす：特定のブロック上で $\theta^{2^j}$ による不変性、および他のブロック上で非交差性。
• 操作 $\mathrm{Id}_{2n+1} \diamond \alpha_{2n+1}$ は、その平方が $\alpha_{2n+1} \diamond \mid \alpha_{2n+1}$ に等しくなることから、周期的構造を確認できる。
• $\mathrm{Id}_3 \diamond \alpha_3$ および $\mathrm{Id}_3 \diamond \beta_3$ といった例は、明示的に順序6の単純な置換として確認されている。
• 本手法は、$4n+2$ クラスにおける単純な置換を生成する構成的かつ再帰的なフレームワークを提供し、完全な系統的分類への重要な一歩を築く。
• 結果から、Pasting および Reversing は、組合せ的力学系におけるこれまでに解かれたケースを超えて系統的構築を拡張する強力なツールである可能性が示唆される。