[論文レビュー] Characterizations of the generalized inverse Gaussian, asymmetric Laplace, and shifted (truncated) exponential laws via independence properties

Kevin B. Bao, Christian Noack|arXiv (Cornell University)|Jul 3, 2021

Statistical Methods and Bayesian Inference参考文献 9被引用数 4

ひとこと要約

本稿は、絶対連続性およびやや弱い正則性条件の下で、独立性を保つ変換を用いて、一般化逆ガウス分布（GIG）、非対称ラプラス分布（AL）、シフト（切り捨て）指数分布（stExp）の3つの新しい特徴付けを証明する。CroydonとSasadaの予想を裏付け、KPZ挙動を示す統計力学的モデルにおける可積分性が、絶対連続設定においてこれら4つの分布にちょうど一致することを示す。

ABSTRACT

We prove three new characterizations of the generalized inverse Gaussian (GIG), asymmetric Laplace (AL), shifted exponential (sExp) and shifted truncated exponential (stExp) distributions in terms of non-trivial independence preserving transformations, which were conjectured by Croydon and Sasada in \cite{CS1}. We do this under the assumptions of absolute continuity and mild regularity conditions on the densities. Croydon and Sasada \cite{CS2} use these independence preserving transformations to analyze statistical mechanical models which display KPZ behavior. Our characterizations show the integrability of these models only holds for these four specific distributions in the absolutely continuous setting.

研究の動機と目的

• CroydonとSasadaが提起した、GIG、AL、sExp、stExp分布に対する独立性を保つ変換に関する予想を解決すること。
• 変換された確率変数が独立のままであるための必要十分条件を確立し、これを統計力学的モデルにおける可積分性と関連付けること。
• 特定の対合変換に基づく変換において、独立性を保つ分布の正確なパラメトリック形を同定すること。
• これらの4つの分布が、絶対連続設定において、与えられた変換スキームの下で独立性の性質を満たす唯一の分布であることを示すこと。

提案手法

• 著者らは、(X,Y) を (U,V) に写像する対合（involution）である F₁ および F₂ の変換を分析し、X と Y が独立であるとき、(U,V) が独立であるような条件を導出する。
• (X,Y) の同時密度と変換のヤコビアンを用いて、X と Y の対数密度の関係を示す偏微分方程式を導出する。
• 2回微分可能で正の密度関数を仮定し、対合の性質を活用することで、問題を2階の偏微分方程式系に簡略化する。
• X と Y の対数密度が滑らかで、多項式型の微分方程式を満たす必要があることを示し、その解が GIG や AL 分布に対応することを導く。
• 偏微分方程式の多項式展開における係数一致を用いて、解が GIG および AL 分布にちょうど一致することを証明する。
• 導出された形が既知の GIG および AL の密度関数と一致することを検証し、導出されたパrameter において変換が分布構造を保つことを確認する。

実験結果

リサーチクエスチョン

• RQ1 変換 F₁ が (1.1) で定義されるとき、どの絶対連続分布が独立性を保ち、その正確なパラメトリック形は何か？
• RQ2 変換 F₂ が (1.2) で定義されるとき、(U,V) の独立性が保たれる条件は何か？ また、どの分布族がこの性質を満たすか？
• RQ3 CroydonとSasadaの予想によれば、GIG、AL、sExp、stExp が、これらの変換の下で独立性を保つ性質を一意的に特徴付けるが、真か？
• RQ4 独立性を保つ性質を用いて、KPZ普遍性を示す統計力学的モデルの可積分性を同定できるか？
• RQ5 これらの変換の下で、入力と出力の分布の間の正確なパrameter関係は何か？ そして、これは背後にある対称性をどのように反映するか？

主な発見

• 変換 F₁ は、(U,V) の独立性を保つ、かつただそのときに限り、X が GIG(λ, c₁α, c₂) に、Y が GIG(λ, c₂β, c₁) に分布する場合に成立する。U と V はそれぞれパrameter を入れ替えた GIG 分布に従う。
• 変換 F₂ については、独立性が成立するための必要十分条件として、X ∼ AL(p,q) および Y ∼ AL(p+q,r) であり、U ∼ AL(r,q) および V ∼ AL(q+r,p) となる。これにより、予想されたパrameter 構造が裏付けられる。
• 解析により、F₁ および F₂ の下で独立性を満たす絶対連続分布は、提示された正則性条件のもとで、それぞれ GIG および AL 分布に限ることが示された。
• 証明により、X と Y の対数密度が2階の偏微分方程式系を満たす必要があり、その解は GIG および AL 形式によって一意に特徴付けられることが示された。
• GIG の場合、パrameter の関係は完全に決定されている：(U,V) が (X,Y) と同じ分布に従うためには、X ∼ GIG(λ, cα, c) および Y ∼ GIG(λ, cβ, c) となるような c > 0 が存在する必要がある。
• 結果として、KPZ型統計力学的モデルにおける可積分性が、絶対連続設定において、これら4つの分布に厳密に制限されることを確認した。