[論文レビュー] Several remarks on Pascal automorphism and infinite ergodic theory

A. M. Vershik|arXiv (Cornell University)|Dec 11, 2015

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

ひとこと要約

この論文は、パシュアル自己同型をオドメータ上の一般化された誘導自己同型として再解釈し、σ-有限な類似物として知られるハヤアン＝カクタニ変換を確立する。可算群上のランダムウォークのためのσ-有限なエルゴード理論の枠組みを構築し、両側不変マルコフ測度を導入し、エルゴード性と調和解析を用いて出発境界と到着境界を定義することで、無限測度力学系における長年の問題に対する新たな視点を提供する。

ABSTRACT

We interpret the Pascal-adic transformation as a generalized induced automorphism (over odometer) and formulate the $σ$-finite analog of odometer which is also known as "Hajian-Kakutani transformation" (former "Ohio state example"). We shortly suggest a sketch of the theory of random walks on the groups on the base of $σ$-finite ergodic theory.

研究の動機と目的

• パシュアル自己同型をオドメータ上の一般化された誘導自己同型として再解釈し、有限測度のエルゴード理論をσ-有限な設定へ拡張すること。
• ハヤアン＝カクタニ変換が、無限不変測度を有するσ-有限でエルゴード的な自己同型の標準的例であることを確立すること。
• 可算群上のランダムウォーク理論のσ-有限な類似物を構築し、シフト不変マルコフ測度と境界構造に焦点を当てる。
• エルゴード的シフト不変σ-有限測度を用いて、両側ランダムウォークの出発境界と到着境界を定義・分析すること。
• 特に最小調和関数とラプラシアン作用素に関連して、σ-有限力学系における境界の位相的・調和的性質を探索すること。

提案手法

• パシュアル自己同型を2進整数環Z₂上の変換として表現し、ハール測度を用い、二進分解とブラッテーリ図におけるアディック力学を用いる。
• σ-有限系をモデル化するため、オドメータ上の一般化された誘導自己同型の概念を導入し、古典的誘導変換フレームワークを一般化する。
• 両側軌道の空間M ⊆ G^Zを、可算群Gの生成集合Sとs_n = y_n^{-1}y_{n+1}を用いて、M = S^Z × Gと定義する。
• ν(s)とν(s^{-1}) = ν̄(s)を用いて遷移確率と共遷移確率を定義し、M上にシフト不変のσ-有限測度を伴うマルコフ構造を構築する。
• M上のシフト作用素Tを用いて力学系を定義し、時間反転に関して不変性を保証し、過去と未来のフィルトレーションの研究を可能にする。
• コルモゴロフのエルゴード性基準（過去と未来のフィルトレーションの自明な共通部分集合）を用いて、M上でのσ-有限マルコフ測度のエルゴード性を定義する。

実験結果

リサーチクエスチョン

• RQ1 パシュアル自己同型は、σ-有限エルゴード理論の文脈において、どのようにオドメータ上の一般化された誘導自己同型として再解釈できるか？
• RQ2 ハヤアン＝カクタニ変換は、無限不変測度を有するσ-有限でエルゴード的な自己同型の標準的例として果たす役割は何か？
• RQ3 σ-有限でシフト不変のマルコフ測度を用いて、可算群上の両側ランダムウォークの出発境界と到着境界をどのように定義できるか？
• RQ4 σ-有限力学系において、調和境界（ポアソン＝フルステンベルク境界）と位相的出発／到着境界の関係は何か？
• RQ5 特に対称測度の場合に、σ-有限ランダムウォーク理論における出発境界と到着境界の構造的および位相的性質は何か？

主な発見

• パシュアル自己同型が2進整数オドメータ上の一般化された誘導自己同型と同型であることが示され、古典的オドメータ系のσ-有限な類似物が得られた。
• ハヤアン＝カクタニ変換が、パシュアル自己同型の積分的モデルから自然に生じるσ-有限なオドメータの類似物として形式的に同定された。
• 出発境界と到着境界は、与えられた共遷移確率と遷移確率を有するM上でのすべてのエルゴード的でシフト不変の両側σ-有限マルコフ測度の集合として定義される。
• 対称測度ν = ν̄の場合、出発境界と到着境界は一致し、弱位相に関して位相空間となる。
• 境界はl²(G)上でのラプラシアン作用素L_νとL_ν̄のスペクトルと関連しており、調和境界は最小非負調和関数に対応する。
• 本論文は、特にZ上の対称ランダムウォークの最も単純な場合ですら、σ-有限ランダムウォークにおける弱く散逸する集合を特徴づける問題を未解決の問題として特定している。