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.
Location-shift pattern-mixture sensitivity function
Definition
Assume AC. Let take values in a standard-Borel space , let be real-valued, and let indicate response in the one-outcome full/observed-data setup of Full and observed data under a missingness pattern. Suppose , , and the covariate laws overlap in this direction: for every measurable , implies . Under the respondent law , choose a conditional law of given ; standard-Borel disintegration supplies such a probability kernel under AC (Disintegration of a joint law on standard borel spaces, Conditional law given a random element). The overlap condition makes the respondent version relevant almost surely under the nonrespondent covariate law.
A location-shift pattern-mixture sensitivity function is a measurable for which the nonrespondent conditional law is specified by for every Borel set , on the covariate support of nonrespondents. This is the full conditional distribution restriction for , not merely a restriction on conditional means. For each , is the pushforward of under the measurable translation , hence is a probability measure; its evaluations are measurable in by kernel integration because is measurable (Measure kernel and probability kernel, Measurability of integration against a kernel). The relation specifies the missing conditional law while leaving the respondent conditional law fixed. A finite mean target additionally requires integrability under the resulting full-data law; the definition alone does not assert that moment condition.
In this specified family, gives equality of the respondent and nonrespondent conditional laws. This does not make equality of conditional means alone equivalent to MAR in a general full-data model; equality of means need not imply equality of distributions. Values where no respondents occur are outside the definition because is unavailable there, and a pattern with no nonrespondents requires no sensitivity function.
The formal one-outcome MCAR/MAR/MNAR taxonomy for this pair is supplied by MCAR, MAR, and MNAR relative to an observation pattern. The location-shift relation above is the selected sensitivity model within that taxonomy; it does not claim that all MNAR laws are location shifts.
Source notes
National Research Council Chapter 5 introduces sensitivity parameters through differences between respondent and nonrespondent distributions and illustrates a mean-shift parameter. This item deliberately specifies the stronger full-distribution location-shift model shown above; the cited source supports the modeling framework, not a theorem that this particular translation restriction is empirically true.
Depends on
- The Axiom of Choice
- Conditional law given a random element
- Full and observed data under a missingness pattern
- MCAR, MAR, and MNAR relative to an observation pattern
- A measurable function between measurable spaces
- Measure kernel and probability kernel
- Probability measures and probability spaces
- Random elements and real random variables
- Standard Borel spaces
- Disintegration of a joint law on standard borel spaces
- Measurability of integration against a kernel
Used by
Dependency tree · two levels
32 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
- National Research Council, The Prevention and Treatment of Missing Data in Clinical Trials, Chapter 5 (standard reference, not scraped)