Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: 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.

Longitudinal observation patterns and missingness mechanisms

Definition

Let m=∑j∣Sj∣ and let Y∗∈Rm be the complete scheduled response vector for subjects j and visits i. Let the declared observed covariates take values in a measurable space (X,A). The finite set of observation patterns is R={0,1}m; rji=1 means visit (j,i) is observed. A missingness mechanism is a function g:R×Rm×X→[0,1] such that, for every (y∗,x), ∑r∈Rg(r∣y∗,x)=1, and, for each fixed r, (y∗,x)↦g(r∣y∗,x) is measurable for B(Rm)⊗A. Thus g(⋅∣y∗,x) is a probability mass function on R, and its dependence on the full data state is the finite-output kernel specified by the observation-mechanism field in Scientific statistical model contracts, which requires a probability measure at each state and measurable state dependence. For a pattern r, write Yobs(r) for the subvector of Y∗ at coordinates with rji=1.

The mechanism is missing completely at random (MCAR) if, for each pattern r, g(r∣y∗,x) does not depend on y∗. It is missing at random (MAR) if, for each r, it depends on the full response vector only through Yobs(r) and x. It is missing not at random (MNAR) relative to this partition if the MAR condition fails for at least one pattern on the declared support. Monotone dropout means that, within each subject, observed visits form an initial segment of the scheduled visits, possibly empty or complete.

These are properties of the declared observation kernel. A mixed-model mean or covariance equation does not specify the kernel or imply MCAR, MAR, or MNAR.

Remarks

For an LMM written on observed rows, Oj={i:rji=1} determines which coordinates and design rows are retained. If r depends on the full scheduled outcomes, the distribution of the selected rows conditional on that pattern need not equal the corresponding unselected marginal subvector law.

Depends on

Used by

Dependency tree · two levels

13 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