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.
Exponential event-time observations with censoring and delayed entry
Example
Let have exponential density on , where . Use fixed administrative censoring times where specified, and use delayed entry at only for subjects selected by . Compute the event-model factors for right-censoring, interval observation, current status, delayed entry, and right truncation.
Facts & Assumptions
Given: The exponential event-time density above; the observation conventions in Event-time observation, censoring, and truncation schemes; and the conditional likelihood formulas in Likelihood contributions under censoring, truncation, and delayed entry.
Right censoring records and ; interval observation records ; current status records ; delayed entry selects . Event-time observation, censoring, and truncation schemes
Under the stated continuous event law, the right-censored event term is ; the interval term is ; the current-status term is ; delayed entry divides the event term by . Likelihood contributions under censoring, truncation, and delayed entry
Verification
Integrating the density gives and for ; in particular and .
With fixed censoring time , an event observed at has event factor and censor factor . A censored observation at has event factor and censor factor relative to the point-mass censoring law.
An interval observation has probability .
At fixed inspection time , current status has event factor , and has event factor .
After delayed entry , with fixed censoring time , an event observed at has conditional event factor . A censored observation at has conditional event factor .
If instead the sample is right-truncated at , the selected-sample density is for , since . This is a conditional event-time density, not a right-censoring contribution.
The censoring and truncation examples use different event factors: ordinary right censoring uses or , delayed entry divides by , and right truncation divides by .
Depends on
Used by
Nothing in the library uses this result yet.
Dependency tree · two levels
25 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
- Qiqing Yu, Survival Analysis (Lecture Notes), §§1.2–1.3 and 2.1–2.2, PDF pp. 2–5 and 10–11 (standard reference, not scraped)
- Lu Tian, STAT331 Unit 2: Likelihood Construction, Inference for Parametric Survival Distributions, §§2.1–2.2, PDF pp. 1–7 (standard reference, not scraped)
- Jeff Lin, NTPU, Chapter 2: Survival Function, Censoring and Truncation, likelihood construction slides 92–110 (standard reference, not scraped)