[論文レビュー] Bryc's random fields: the existence and distributions analysis

Wojciech Matysiak, Paweł J. Szabłowski|ArXiv.org|Jul 14, 2005

Probability and Statistical Research参考文献 6被引用数 4

ひとこと要約

この論文は、線形回帰と2次条件付き分散を有する定常ランダム場に関するBrycの未解決問題の大部分を解決し、このような場が存在するパラメータ集合を完全に同定している。有効なパラメータのほとんどすべての組み合わせが一意な1次元分布をもたらすことが証明されており、存在しないのはLebesgue測度0の集合に限る。また、パラメータに応じて分布は対称的・離散的・絶対連続的であることが特定され、特に重要な場合においてマルコフ性が確立されている。

ABSTRACT

We examine problem of existence of stationary random fields with linear regressions and quadratic conditional variances, introduced by Bryc in "Stationary random fields with linear regressions" (Annals of Probability 29, No. 1, 504-519). Distributions of the fields are identified and almost complete description of the possible sets of parameters defining the first two conditional moments is given. This note almost solves Bryc's problem concerning fields undetermined by moments - the only remaining set of parameters for which the existence of Bryc's fields is unclear has Lebesgue measure zero.

研究の動機と目的

• 線形回帰と2次条件付き分散を有する定常ランダム場が存在し得るか、およびモーメントによって一意に特定されないかというBrycの未解決問題を解明すること。
• 条件付きモーメント構造が与えられたもとで、このようなランダム場が存在するパラメータの完全な集合を同定すること。
• さまざまなパラメータ設定下での場の1次元分布を特定すること。
• 場がマルコフ的であるか、または有限次元分布が一意に特定される条件を確立すること。
• 先行研究からの仮定を軽減し、測度0の集合を除き、パラメータ空間の完全な特徴付けを提供すること。

提案手法

• 著者らは、隣接変数における対称的線形および2次多項式によって定義される条件付き期待値および分散構造を分析している。
• 係数 a, b, A, B, C, D を用いた条件付きモーメントのパrameter化を行い、定常性および非退化性から制約を導出している。
• 解析は、特にAl-Salam-Chihara多項式を含む直交多項式の理論に依拠しており、モーメントの決定性を研究している。
• 証明では、Riesz密度基準およびRademacher-Menshov定理を用いて、多項式展開のL^2収束を確立している。
• 再帰関係および martingale 論法を用いて、条件付き分散構造を導出し、非マルコフ的ケースにおける矛盾を導出している。
• 問題を3つの主要なケースに還元している：(1) $ D=0 $, $ B \in \mathcal{B}_1 \cup \mathcal{B}_2 \cup \mathcal{B}_3 $, (2) $ B=0 $, $ A \neq 1/2 $, および (3) $ A=1/2 $, $ B=C=D=0 $。

実験結果

リサーチクエスチョン

• RQ1 線形回帰と2次条件付き分散を有する定常ランダム場が存在する条件は何か？
• RQ2 このような場が、モーメントによって決定されない1次元分布を有し得るか？
• RQ3 どのパラメータ集合に対して有限次元分布が一意に決定されるか？
• RQ4 場がマルコフ的であるのはいつか、そしてこれはパラメータ構造とどのように関係するか？
• RQ5 有効なパラメータの組み合わせの完全な集合は何か、そしてそれらが誘導する分布は何か？

主な発見

• Brycの場の存在に関する未解決事項は、Lebesgue測度0のパラメータ集合に限られ、存在問題のほぼ完全な解決が示された。
• $ D=0 $ かつ $ B=0 $ の場合、1次元分布は対称的であり、値 $ \pm 1 $ をとり、または $ X_k = R Y_k $（$ R \geq 0 $, $ Y_k \in \{\pm 1\} $, $ R $ は $ Y_k $ と独立）の形をとる。
• $ D=0 $ かつ $ B \in \left(0, \frac{2\rho^2}{(1+\rho^2)^2}\right) $ の場合、1次元分布は対称的かつ有界区間上で絶対連続的であり、$ B $ によって一意に決定される。
• $ D=0 $ かつ $ B = \frac{2\rho^2}{(1+\rho^2)^2} $ の場合、場はi.i.d.標準正規分布、すなわち $ X_k \sim \mathcal{N}(0,1) $ である。
• $ A=1/2 $, $ B=C=D=0 $ の場合、場はマルコフ的であり、分布はモーメントによって一意に特定されない。これは $ R $ と $ Y_k $ が独立で $ Y_k \in \{\pm 1\} $ であるためである。
• 分布が一意に決定されるすべてのケースにおいてマルコフ性が成立し、これは $ q $-Hermite多項式展開および $ L^2 $-収束論法によって確立されている。