統計モデルを自然変換として捉える条件と事前分布の整合性
Statistical models as natural transformations: meaningfulness, coherence and priors as states in Markov categories
この論文をやさしく読む
ひとことで言うと
統計モデルや事前分布が、データの設計を変えても筋の通った意味を保つ条件を圏論で表した研究。
何に役立つ？
統計量の定義や事前分布が、標本の挿入・併合などに対して整合するかを理論的に確かめる手がかりになる。
この研究の面白いところ
自然変換、コホモロジー、事前分布の整合性を結び、一元配置やリッジ回帰など具体例で条件の違いを示している。
どこまで分かった？
要旨に示されるのは数学的な定式化と証明である。可測性、有限設計、特定の設計射など、各主張の前提が異なる。予測性能の実験結果は述べられていない。
v2のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
McCullagh の意味での統計モデルを Brøns が与えた形で表すと、その成分がパラメータについて可測である場合、設計の圏から Giry モナドの Kleisli 圏 Stoch への2つの関手の間の自然変換になることを示す。有限モデルでは、この可測性の条件は自動的に満たされる。設計で添字付けられた量を、パラメータ対象上で定義された Stoch の射の族とし、自然である場合に「意味のある量」と呼ぶ。 重複を許す有限標本で添字付けられたパラメータ関数に Tjur の基準を課すと、添字付けは標本の台集合によるものに限られ、挿入に関する自然性と一致することを証明する。有限設計では、ある補正のクラスの範囲内で量を自然なものへ補正できることと、そのクラスに関する Baues–Wirsching 複体の第1コホモロジー群で特定の類が消えることが同値である。一方、絶対群におけるその像は常にゼロである。一元配置では、周辺分散は意味のある量ではなく、群内分散は、併合後の設計を変えない唯一の補正である。 事前分布をパラメータ対象上の状態の族とし、ある設計射のクラスに関して自然である場合に整合的と呼ぶ。併合に関する整合性は事前分布を対応するパラメータ写像の像に制限し、挿入に関する整合性は Kolmogorov の整合性となり、単射に関する整合性は圏論的 de Finetti 定理が仮定する交換可能性を加える。有限の一元配置モデルでは、整合的な事前分布は次元が分かっている多面体をなす。Jeffreys の一般則に対応するものは整合的ではないが、位置・尺度族に対応するものは整合的である。最後に、リッジ回帰は、ガウス事前分布に関するガウス線形モデルのベイズ逆として表され、その事前分布は挿入に関して整合的で、単射に関しては決して整合的ではないことを示す。
v2の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-19（UTC）
- 最新改訂
- 2026-09-22 · v2
- 査読・掲載
- 査読状況未確認
更新履歴
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We show that a statistical model in the sense of McCullagh, in the form given by Brøns, is a natural transformation between two functors from the category of designs to the Kleisli category Stoch of the Giry monad, provided that its components are measurable in the parameter. The condition is empty for finite models. A design-indexed quantity is a family of morphisms of Stoch defined on the parameter objects, called meaningful if it is natural. We prove that Tjur's criterion, imposed on parameter functions indexed by finite samples with multiplicities, forces the indexing by the support and then coincides with naturality over the insertions. For finite designs we show that a quantity can be corrected to a natural one within a given class of corrections if and only if a class vanishes in the first cohomology group of a Baues-Wirsching complex relative to that class, while its image in the absolute group is always zero. In the one-way layout, marginal dispersion is not meaningful, and within-group dispersion is the unique correction that leaves the merged design unchanged. A prior is a family of states on the parameter objects, called coherent over a class of design morphisms if it is natural over that class. We show that coherence at a merge confines the prior to the image of the corresponding parameter map, that coherence over the insertions is Kolmogorov consistency, and that coherence over the injections adds the exchangeability assumed by the categorical de Finetti theorem. In the finite one-way scheme, the coherent priors form polytopes of known dimension. The analogue of Jeffreys' general rule is not coherent, while the analogue for location-scale families is. Finally, we show that ridge regression is the Bayesian inversion of the Gaussian linear model with respect to a Gaussian prior, which is coherent over the insertions and never over the injections.
著者のコメント
39 pages. v2: corrections to Sections 7-9; numbering unchanged. Supplement: https://github.com/Vaxx66/calamus (release v35)
arXiv ID: 2609.22929 ／ 要約の誤りについて