ベイズ推論が真実へ概一様収束する条件を再検討
Almost-Uniform Bayesian Convergence to the Truth Is Not Characterized by Countable Additivity on Conditional Hitting Times
この論文をやさしく読む
ひとことで言うと
Bayes更新が真実へ収束する条件を述べた既存定理に、十分条件が成り立たない反例を示します。
何に役立つ？
確率の有限加法性と可算加法性、そして異なる収束概念を区別して理論を修正するための結果です。
この研究の面白いところ
二つの条件を満たして概収束するのに、概一様収束しない確率関数を作り、証明の誤りを特定します。
どこまで分かった？
関連結果すべてを反証したわけではありません。再証明できた結果、未決定の結果、特定の族でのみ確立した系を分けて報告しています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
有限加法性の下でのベイズ推論の真実への収束について、Nielsenの近年の論文（J. Philos. Logic、2021、doi:10.1007/s10992-020-09569-2）の解析を再検討する。その主要定理は、確率関数の事後確率が真実へ概一様に収束するための必要十分条件が、近似性と、条件付き到達時刻上の可算加法性と呼ばれる性質の2つを満たすことである、としている。本研究では、この2つの性質は必要だが十分ではなく、したがって定理は誤りであることを示し、公表された証明の誤りの箇所を特定する。 両方の性質を持つものの可算加法的ではなく有限加法的にとどまる確率関数で、事後確率が真実へほとんど確実に収束しても概一様には収束しないものを構成する。同論文の残る4つの定理のうち3つと、その系についても、公表された証明は成立しなくなる。このうち2つは上記の含意の不成立によるもので、別の2つは、本研究で特定する別個の欠陥によるものである。これら4つの結果のうち2つには新たな証明を与え、1つの真偽は未決定とする。最後の1つである系は、本研究の反例では否定されない。反例を含むある族についてはこの系を証明し、一般の場合は未解決とする。 さらに、すべての事象について事後確率が真実へほとんど確実に収束することも、可算加法性を特徴付ける条件にはならないと示す。最後に、概一様収束の特徴付けを修正するために追加すべき要素を述べる。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We revisit the analysis of Bayesian convergence to the truth under finite additivity in a recent paper by Nielsen (J. Philos. Logic, 2021, doi:10.1007/s10992-020-09569-2) Its principal theorem proves that the posteriors of a probability function converge to the truth almost uniformly if and only if the function has two properties: an approximation property, and so-called countable additivity on conditional hitting times. We show that the two properties are necessary but not sufficient, so that the theorem is false, and we locate the error in its published proof. We construct a merely finitely additive probability function that has both properties and whose posteriors converge to the truth almost surely but not almost uniformly. Three of the paper's four remaining theorems, and its corollary, lose their published proofs as well, two with the failed implication and two to a separate defect that we also identify. Two of the four results we reprove and one we leave undecided; the last is the corollary, which our counterexample does not refute, and which we establish for a family including the counterexample and leave open in general. We also show that almost-sure convergence of posteriors to the truth for every event does not characterize countable additivity. We close with what a repaired characterization of almost-uniform convergence would have to add.
arXiv ID: 2609.20683 ／ 要約の誤りについて