Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedjudge 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.

Location-shift pattern-mixture sensitivity function

Definition

Assume AC. Let X take values in a standard-Borel space X, let Y be real-valued, and let R∈{0,1} indicate response in the one-outcome full/observed-data setup of Full and observed data under a missingness pattern. Suppose P(R=1)>0, P(R=0)>0, and the covariate laws overlap in this direction: for every measurable A⊆X, P(X∈A∣R=1)=0 implies P(X∈A∣R=0)=0. Under the respondent law P(⋅∣R=1), choose a conditional law K1(x,⋅) of Y given X=x; 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 Δ:X→R for which the nonrespondent conditional law is specified by K0Δ(x,B)=∫R1B(y+Δ(x))K1(x,dy) for every Borel set B⊆R, on the covariate support of nonrespondents. This is the full conditional distribution restriction Y∣(X=x,R=0)=dY1+Δ(x) for Y1∼K1(x,⋅), not merely a restriction on conditional means. For each x, K0Δ(x,⋅) is the pushforward of K1(x,⋅) under the measurable translation y↦y+Δ(x), hence is a probability measure; its evaluations are measurable in x by kernel integration because (x,y)↦1B(y+Δ(x)) 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, Δ=0 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 K1 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

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