Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generated
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Marginal likelihoods, proper model evidence, and Bayes factors

Definition

Let I={1,…,N} with N≥2 be a finite model index set. For each i∈I, let (Θi,Ti) be a measurable parameter space, let Πi be a probability measure (Probability measures and probability spaces) on it, and let Qi be a sampling kernel for a statistical experiment (Statistical experiments) on one common data space (Y,A). Assume the experiments are dominated (Dominated statistical experiments) by the same supplied sigma-finite measure μ. Fix a specified likelihood density (Likelihood densities) fi:Θi×Y→[0,∞] such that Qi(θ,B)=∫Bfi(θ,y) μ(dy)(B∈A). Require that each fi is jointly measurable in parameter and data; separate likelihood versions do not imply this joint measurability. Assign prior model weights wi>0 with ∑iwi=1. The marginal likelihood, or model evidence, at y is the possibly extended value mi(y):=∫Θifi(θ,y) Πi(dθ)∈[0,∞]. This is the BCS-02 evidence normalizer (Evidence normalizer and fiberwise posterior update) specialized to a proper model prior, and is the prior-predictive density relative to the specified common data measure. For models i,j whose evidences at y are both finite and positive, the Bayes factor for j against i is BFji(y):=mj(y)mi(y). The corresponding prior model odds are wj/wi. No Bayes factor is defined here using an arbitrarily scaled improper parameter prior.

Remarks

A Bayes factor is an odds multiplier. This page supplies no universal cutoff that converts its numerical magnitude into a binary decision about which model is true.

Depends on

Used by

Dependency tree · two levels

19 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources