平均と標準偏差による合格判定の確率を直接計算
Phasing out Monte Carlo: exact acceptance probabilities for mean-spread release rules
この論文をやさしく読む
ひとことで言うと
平均とばらつきでロットを合否判定するとき、合格する確率を正規分布や乱数実験に頼らず計算する方法です。
何に役立つ？
非正規な製品特性を持つ検査計画で、受入リスクを評価する計算手法の検討に役立ちます。
この研究の面白いところ
標本数に応じた高次元積分を、和と二乗和を使って二次元のFourier逆変換へ置き換えています。
どこまで分かった？
厳密なのは確率を表す恒等式です。実装上は有限格子の数値誤差があり、一般的な誤差上界ではなく例ごとの誤差を報告しています。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
規制に関わる多くの出荷判定では、n個の試料の標本平均と標本標準偏差の組が、平面上の固定領域に入る場合かつその場合に限り、生産ロットを受け入れる。含量均一性（USP <905>）、工程能力に基づく出荷判定、計量抜取検査、道路工事の規格内割合による受入判定は、いずれもこの形を取る。著者らの知る限り、想定した個体レベルの分布の下での受入確率は、現在の実務では厳密に評価されていない。一般の母分布では、有限nでの標本平均と標本標準偏差の同時分布は制約付きn重積分となり、初等的な簡約ができない。n＝3、4の場合はCraig（1932）、一般のnの場合はSpringer（1953）が扱っている。 しかし、この確率は加法的な組(T₁,T₂)＝(Σ[i＝1,…,n]X_i, Σ[i＝1,…,n]X_i²)の分布で決まり、その特性関数は一つの観測値の変換のn乗となる。したがって、一度の二次元Fourier逆変換によって、任意の滑らかな母分布に対する確率が得られる。恒等式としては厳密であり、数値計算でもnに関係なく格子の次元は二つのままである。これはシミュレーションと正規性の仮定の双方に代わる決定論的な方法である。恒等式は厳密だが、実際に評価するのは有限格子上の逆変換であり、その誤差には上界を与えるのではなく、例ごとに報告する。 n＝3で一様母分布の場合には、標本平均と標本標準偏差の同時分布、受入確率、工程能力の分布が閉じた形で得られる。これらを導出し、段階的な検証の基準として用いた後、非正規母分布の下で、規定の標本数n＝10〜30を使う三つの判定規則を一通り処理する。厳密解と比較すると、従来の正規理論による方法には、計画が想定するリスクを変えてしまうほどの誤差があり、その誤差は動作特性曲線に沿って両方向に現れる。このため単一の定数では補正できず、一般には分布全体が必要である。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-18（UTC）
- 最新改訂
- 2026-09-18 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-18 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A large family of regulated release decisions accepts a production lot if and only if the pair (sample mean, sample standard deviation) of $n$ units falls in a fixed plane region. Content uniformity (USP <905>), capability release, variables sampling and percent-within-limits highway acceptance all take this form. The acceptance probability under a hypothesized unit-level law is not, so far as we are aware, evaluated exactly in current practice: for a general parent the joint finite-$n$ law of $(\bar X,s)$ is a constrained $n$-fold integral (Craig 1932 at $n=3,4$; Springer 1953 at general $n$) which admits no elementary reduction. Yet that probability is fixed by the law of the additive pair $(T_1,T_2)=(\sum_{i=1}^{n} X_i,\sum_{i=1}^{n} X_i^2)$, whose characteristic function is the $n$-th power of a one-observation transform. One two-dimensional Fourier inversion therefore delivers it for an arbitrary smooth parent - exactly, as an identity, and numerically on a grid whose dimension stays two whatever $n$ is - a deterministic alternative to both the simulation and the Normality assumption. The identity is exact; what we evaluate is a finite-grid inversion of it, whose error we report per example rather than bound. At $n=3$ the Uniform parent yields the joint law of $(\bar X,s)$, the acceptance probability and the capability law in closed form; we derive these, use them as the anchor of a validation ladder, and then work three rules end to end under non-normal parents at their prescribed sample sizes ($n=10$-$30$). Against the exact answer the Normal-theory incumbent errs by enough to change the risk a plan is designed against, and errs in both directions along the operating curve, so no single constant corrects it. In general only the full distribution suffices.
著者のコメント
63 pages, 10 figures
arXiv ID: 2609.21577 ／ 要約の誤りについて