Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedprecheck pendingjudge pass (gpt-6-luna)
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.

Profile likelihood ratios with nuisance parameters

Physical scope

Pure statistical-mathematical definition; it makes no physical or empirical claim.

Definition

Let (S,S) be a measurable data space, let ν be a measure on it, and let Ψ and H be nonempty parameter sets. For each (ψ,η)∈Ψ×H, let pψ,η:S→[0,+∞] be a specified measurable density with ∫Spψ,η dν=1. A specified pointwise version of each density is part of the model because an observed-data likelihood can depend on the representative chosen within an almost-everywhere equivalence class. The coordinate ψ is the parameter of interest; η is a nuisance coordinate, meaning that it is retained in the probability model but is not the parameter whose value is tested or reported. The common dominating measure ν and the full density family are part of the model.

For observed data s∈S, define the likelihood Ls(ψ,η)=pψ,η(s). Take both suprema below in the extended real line and suppose the global supremum Ms:=sup⁡(ψ′,η′)∈Ψ×HLs(ψ′,η′) satisfies 0<Ms<+∞. For each ψ∈Ψ, define the profile likelihood Ms(ψ)=sup⁡η∈HLs(ψ,η) and the profile likelihood ratio λs(ψ):=Ms(ψ)Ms∈[0,1]. The associated likelihood-ratio statistic is qs(ψ):={−2log⁡λs(ψ),λs(ψ)>0,+∞,λs(ψ)=0, where log⁡ is the real natural logarithm on (0,∞). These definitions use suprema and do not require a maximizing parameter value to exist. The distribution of qs, a p-value calibration, and the coverage of a confidence set require additional model and sampling assumptions; none follows from this definition.

Depends on

Dependency tree · 2 levels

Sources