三つの観測値の標本分散に閉じた式がある条件を調べる
Closed forms and open obstructions: the sample variance of three observations
この論文をやさしく読む
ひとことで言うと
三つのデータから計算した標本分散の分布について、元の分布によって初等関数で書けるかを調べた。
何に役立つ？
少数の観測値に対する分散の正確な分布を、解析式や効率的な近似で扱うための数学的な基礎になる。
この研究の面白いところ
立方体と円柱の交差体積という幾何学に変換し、多項式密度では初等関数で表せる一方、有理関数の反例では表せないことを証明した。
どこまで分かった？
関数クラス全体への定理は多項式密度などの部分に限られる。代数関数の例は個別の障害、指数関数については予想であり、全分布の分類ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
観測値が三つの場合の標本分散の正確な分布は、元の分布が一様分布の場合にはRietz（1931年）以来知られている。またRoyen（2007年、2008年）は、任意の有界で連続な元の分布についてフーリエ級数を与えた。しかし、どの分布なら有限の閉じた式が存在するか、どの特殊関数が必要になるかは、それらの結果からは分からない。 立方体の対角線に沿った座標を使うと、分散の制約は円柱となり、立方体の断面は対称群S3の対称性を持つ多角形となる。この断面は対角線の中央帯では六角形、両端近くでは三角形である。累積分布関数（CDF）は円柱と断面の交差部分の体積となり、元の確率密度はその重みとして入る。著者らは、元の密度を含む最小の関数クラスによって閉じた式の階層を整理した。有界区間上の多項式で表される密度なら常に初等関数で表せるという、クラス全体に対する定理を示す。一方、明示的な有理関数の密度を一つ挙げ、そのCDFは初等関数で表せず、既約なディロガリズムの項が障害になることを証明した。 この二つの定理を超える部分は分類ではなく、個々の例についての障害である。代数関数の密度では、種数2の曲線上に現れる半径方向の第一種微分が初等関数で表せないことを示した。指数関数に関する行は、半径方向の積分のベッセル関数的な構造に支えられた予想である。一様分布ではY=1/4で分かれる二部分の式を得た。この点は、分散に対応する円板が立方体中央の六角形断面を初めて外接する位置に当たる。特異な逆正弦分布では両端での法則を閉じた式で導き、約10のマイナス3乗の精度を持つ六項の近似を与えた。Royenの一般的な級数では同程度の精度に約100項を要する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
The exact distribution of the sample variance for $n=3$ is known since Rietz (1931) for the uniform parent, and Royen (2007, 2008) gave a Fourier series for any bounded continuous parent. Neither settles which parents admit a finite closed form, nor which special functions it forces. In coordinates aligned with the cube diagonal the variance constraint becomes a cylinder and the cube cross-section a polygon with $S_3$ symmetry, hexagonal over the central band of the diagonal and triangular near either corner; the CDF is the volume of their intersection, the parent density entering as a weight. A closure hierarchy is then organized by the minimal function class containing the parent density: polynomial parents on any bounded interval always close in elementary terms, a theorem for the whole class; in the negative direction a single explicit parent already suffices, and for a rational one we prove the CDF is not elementary, the obstruction being an irreducible dilogarithmic part. Beyond those two theorems the hierarchy is a set of example-specific obstructions rather than a classification: for an algebraic parent the radial first-kind differential is shown non-elementary on a genus-two curve, and the exponential row is a conjecture supported by the Bessel structure of its radial integral. For the uniform parent we obtain a two-piece formula bifurcating at $Y=1/4$, where the variance disk first circumscribes the hexagonal cross-section at the cube center. For the singular arcsine parent we derive both endpoint laws in closed form and give a six-term approximation accurate to about $10^{-3}$, an accuracy Royen's universal series reaches at about a hundred terms.
著者のコメント
40 pages, 13 figures
arXiv ID: 2609.25333 ／ 要約の誤りについて