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.
Event observation, censoring, truncation — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Variation and the Riemann–Stieltjes Integral
- Compactness in Metric Spaces
- Complete Metrizability, Čech-Completeness, and Baire Category
- Completeness, Completion, and Uniform Continuity
- Conditional Distributions and Regular Conditional Probability
- Conditional Expectation
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Continuity, IVT, EVT, and Uniform Continuity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Domination and Likelihood Ratios
- Estimators and Randomized Procedures
- Event observation, censoring, truncation
- Finite Counting, Factorials and Binomial Coefficients
- Foundations of the Real Numbers for Analysis
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Infinite Product Measures and Kolmogorov Extension
- Lebesgue-Stieltjes Measures and Distribution Functions
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Markov Kernels and Markov Chains
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Monotone Functions, Discontinuities, and Continuity Sets
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Outer Measure and the Caratheodory Extension Theorem
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Probability Spaces Random Variables and Expectation
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Scientific model contracts and applicability
- Separation Axioms: the Hierarchy
- Sequences and Limits
- Sequences and Series of Functions; Uniform Convergence
- Series: Convergence and the Nonnegative Tests
- Sigma Algebras and Borel Sets
- Signed and Complex Measures Hahn and Jordan
- Simple Field Extensions and the Construction of the Complex Numbers
- Standard-Borel Real Codings and Determining Classes
- Statistical Experiments, Models and Identifiability
- Subspaces, Products, and Quotients
- Suprema and Infima
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Derivative and the Mean Value Theorems
- The Exponential Function
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Radon Nikodym Theorem and Lebesgue Decomposition
- The Riemann Integral: Definition and Integrability
- The Topology of Euclidean Space
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Vector Spaces, Linear Subspaces, Span and Direct Sums
2 · Summary
The examples compute exponential event contributions for exact, right-censored, interval, current-status, delayed-entry, and right-truncated observations. A finite pair of dependent censoring models has the same observed law but different event-time distributions, and a uniform example computes how left truncation changes the selected law.
3 · Logical flowchart
4 · Definitions, theorems and proofs
None yet.
5 · Examples, counterexamples and false statements
Informative censoring can hide distinct event-time laws
Statement refuted
If two studies have the same observed right-censored law of , then they have the same event-time law of , even when censoring may depend on .
Facts & Assumptions
Given: Right-censored data are and as in Event-time observation, censoring, and truncation schemes. In Model A, , with when and when . In Model B, , with when and when . In both models, a separate study selects subjects only when .
Right-censored observation records the minimum and the event indicator; left truncation selects only individuals with . Informative censoring requires its joint observation law to be modeled. Event-time observation, censoring, and truncation schemes
Model A and Model B are the two finite joint laws for specified in Given.
The separate truncation example has unconditional density on and inclusion event .
Counterexample
In Model A, the outcome has probability and gives because . The outcome has probability and gives because .
In Model B, again gives with probability , while gives with probability .
For the truncation example, .
Both observed laws assign probability to each of and , although the censoring time is a deterministic function of in each model.
Conditional on inclusion, the event-time density is on and zero outside, whereas the unselected density is on . Thus left truncation changes the sampled event-time law.
The event-time laws differ: and . Equal observed laws with different event-time laws contradict the refuted statement.
The finite censoring construction refutes the claim about equal observed laws, and the uniform calculation shows that truncation changes the sampling distribution by selection. Informative censoring requires its joint observation law to be modeled.
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 .
Sources
- Qiqing Yu, Survival Analysis (Lecture Notes), §§1.2.2–1.3 and 1.7, PDF pp. 3–5 and 9
- Lu Tian, STAT331 Unit 2: Likelihood Construction, Inference for Parametric Survival Distributions, §2.1, PDF pp. 1–4
- Qiqing Yu, Survival Analysis (Lecture Notes), §§1.2–1.3 and 2.1–2.2, PDF pp. 2–5 and 10–11
- Lu Tian, STAT331 Unit 2: Likelihood Construction, Inference for Parametric Survival Distributions, §§2.1–2.2, PDF pp. 1–7
- Jeff Lin, NTPU, Chapter 2: Survival Function, Censoring and Truncation, likelihood construction slides 92–110