[論文レビュー] A Generalized Balanced Pair Algorithm

Brian F. Martensen|ArXiv.org|Sep 11, 2003

semigroups and automata theory参考文献 7被引用数 5

ひとこと要約

本稿では、標準的手法が失敗する場合にまで拡張可能な一般化されたバランスドペアアルゴリズムを導入し、可約な置換への適用を可能にした。固有値と長さベクトルから導かれる同値関係を組み込むことで、アルゴリズムの終了確率が向上し、特にピサト型系において、再書き換えまたはコラージュ処理を施した置換の解析フレームワークを提供する。これにより、タイリング力学系における純粋離散スペクトルの証明に応用可能である。

ABSTRACT

We present here a more general version of the balanced pair algorithm. This version works in the reducible case and terminates more often than the standard algorithm. We present examples to illustrate this point. Lastly, we discuss the features which lead to balanced pair algorithms not terminating and state several conjectures.

研究の動機と目的

• 標準的手法が終了に失敗する可約な置換へバランスドペアアルゴリズムを拡張すること。
• 固有値と長さベクトルに基づく同値関係を組み込むことで、終了確率を向上させること。
• コラージュ処理や再書き換え手順がアルゴリズムの終了に与える影響を、特にピサト置換に対して分析すること。
• 元の系が既約であっても、一致を強制する再書き換え置換に対して、アルゴリズムが終了するかを調査すること。
• アルゴリズムの終了を根拠に、タイリング系における純粋離散スペクトルを証明する理論的基盤を提供すること。

提案手法

• 置換の遷移行列の固有値とタイルの長さベクトルに基づいて、語のペアに対する一般化された同値関係を用いる。
• 固有値（例：1 や単位根）に関連する固有空間を考慮した修正された同値関係を用いて、新たな終了条件を導入する。
• Clark と Sadun (2003) の手法を応用し、系列空間上の Z-作用とタイリング空間上の R-作用を関連づけ、スペクトル解析を可能にする。
• ペロン＝フロベニウス固有値とその左/右固有ベクトルを用いて、置換下での人口ベクトル不変量を定義する。
• 反復的置換の過程でバランスドペアを追跡し、次のステップに進む前に、新しい関係での同値性をチェックする。
• 語のペアが長さベクトルおよび固有値構造に関して同値である場合、即時の一致がなくても終了に至る可能性があるという事実を活用する。

実験結果

リサーチクエスチョン

• RQ1 標準的手法が失敗する可約な置換に対して、一般化されたバランスドペアアルゴリズムは終了するか？
• RQ2 コラージュ処理によって一致を強制するような再書き換え置換に対しても、アルゴリズムを拡張可能か？
• RQ3 アルゴリズムの終了とピサト型タイリング系における純粋離散スペクトルの存在との間に相関があるか？
• RQ4 すべてのピサト置換、特にアルファベットサイズを増加させる再書き換えを施した後でも、アルゴリズムは終了するか？
• RQ5 アルゴリズムが終了しない条件は何か？ また、その原因となる固有値またはベクトルの性質は何か？

主な発見

• 一般化されたバランスドペアアルゴリズムは、標準バージョンよりも頻繁に終了するが、特に可約な場合に顕著である。
• 例 4.1 の再書き換えピサト置換では、30 個の非可約バランスドペアを生成した後、アルゴリズムが終了し、最も長い語のペアの長さは 11 に達する。
• 同じ系において、長さベクトル (1,1,1,1) ではアルゴリズムが終了しないが、(3,2,5,4) では終了するため、固有空間の整合性に敏感であることが示された。
• 長さベクトル (1,1,1,1) では、右固有ベクトル (1,1,-2,1)^T がこのベクトルと直交しないため、同値条件が破壊され、アルゴリズムが終了しない。
• 元のピサト置換のアルゴリズムが終了する場合、再書き換えバージョンも終了する可能性があるという証拠が得られ、予想 4.2 を支持する。
• 研究により、アルゴリズムの終了は、1 や単位根を含む固有値の固有空間と長さベクトルの整合性に敏感であることが確認された。