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
Pure statistical-mathematical definition; it makes no physical or empirical claim.
Definition
Let be a measurable data space, let be a measure on it, and let and be nonempty parameter sets. For each , let be a specified measurable density with . 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 , define the likelihood . Take both suprema below in the extended real line and suppose the global supremum satisfies . For each , define the profile likelihood and the profile likelihood ratio The associated likelihood-ratio statistic is where is the real natural logarithm on . These definitions use suprema and do not require a maximizing parameter value to exist. The distribution of , a p-value calibration, and the coverage of a confidence set require additional model and sampling assumptions; none follows from this definition.