[論文レビュー] Projection of Markov measures may be Gibbsian

Jean-René Chazottes, Edgardo Ugalde|arXiv (Cornell University)|Nov 29, 2002

Mathematical Dynamics and Fractals参考文献 8被引用数 4

ひとこと要約

本稿では、因子写像による1ステップマルコフ測度の射影がバーノンの意味でギブス測度のままである条件を調査する。非正方行列の無限積と射影的距離を用いた行列ベースのアプローチにより、元の系に禁止ブロックがある場合でさえも、因子系における誘導測度がギブス的であるための十分条件を確立する。主な結果は、これらの条件下で誘導ポテンシャルが存在し、Hölder連続であるため、射影された測度がギブス的であることが保証されることである。

ABSTRACT

We study the induced measure obtained from a 1-step Markov measure, supported by a topological Markov chain, after the mapping of the original alphabet onto another one. We give sufficient conditions for the induced measure to be a Gibbs measure (in the sense of Bowen) when the factor system is again a topological Markov chain. This amounts to constructing, when it does exist, the induced potential and proving its Holder continuity. This is achieved through a matrix method. We provide examples and counterexamples to illustrate our results.

研究の動機と目的

• 位相的マルコフ鎖上の1ステップマルコフ測度の因子写像による射影が、どのような条件下でギブス測度のままであるかを特定すること。
• 因子系が位相的マルコフ鎖である場合、射影系における誘導ポテンシャルを構成し、そのHölder連続性を証明すること。
• 元の系に禁止ブロックが存在する場合に生じる、射影過程における強い位相的相関の課題に対処すること。
• 元のマルコフ測度の構造と誘導測度の性質の関係を明確にすること、特に無限範囲ポテンシャルをとる場合の関係を明らかにすること。
• 全移動と周期点の文脈において、誘導測度がギブス的であるか否かを示す例と反例を提示すること。

提案手法

• 著者たちは、因子写像から生じる非正方行列の無限積を分析するための行列法を用い、射影系の遷移確率をモデル化する。
• これらの行列積の収束を制御するために、射影的距離が導入され、特定の点における誘導ポテンシャルの構成が可能になる。
• 正の非正方行列が単体上での収縮性を示すことで、誘導ポテンシャルの存在が証明され、Perron-Frobenius理論が活用される。
• 行列のべき乗と固有値の漸近的性質を用いた漸近的解析により、誘導ポテンシャルを射影系全体に拡張し、そのHölder連続性を証明する。
• 誘導ポテンシャルのアンザッツは、ギブス性の関係から導かれるものであり、元の遷移行列と射影動力学の関係を用いる。
• 行列反復と固有値分解を用いた明示的計算により、周期点におけるポテンシャルの計算が含まれる。

実験結果

リサーチクエスチョン

• RQ1 位相的マルコフ鎖上の1ステップマルコフ測度の因子写像による射影がギブス測度である条件は何か？
• RQ2 射影系における誘導ポテンシャルを明示的に構成できるか？また、そのHölder連続性は保証されるか？
• RQ3 元の系に禁止ブロックが存在する場合、射影された測度のギブス的性質にどのような影響を与えるか？
• RQ4 誘導ポテンシャルは必然的に有限範囲であるのか、それとも元の系が全移動であっても無限範囲である可能性があるのか？
• RQ5 誘導ポテンシャルが適切に定義される点の集合はどのように特徴づけられるか？また、これは周期軌道とどのように関係するか？

主な発見

• 遷移行列の構造と因子写像の性質に関する十分条件のもとで、誘導ポテンシャルが存在し、Hölder連続であることが保証され、射影された測度がギブス的であることが保証される。
• 元の系が全移動であっても、誘導ポテンシャルが無限範囲である可能性があるが、それでもギブス的である。
• 誘導ポテンシャルが有限範囲であるとは限らず、元の系が全移動であるにもかかわらず、明示的な例で無限範囲のポテンシャルが得られる。
• 周期点では、行列のべき乗と固有値半径の極限を用いた極限により、誘導ポテンシャルが計算可能であり、主要固有値と関連する射影を用いた閉形式の式が得られる。
• 行列積が適切に収束する限り、射影系のすべての点で誘導ポテンシャルは適切に定義されることが保証され、これは提示された条件下で成立する。
• 反例により、必要な行列条件が満たされない場合、特に遷移行列のランクや固有値的性質に不足がある場合には、誘導測度がギブス的でない可能性があることが示された。