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.
Two-group logrank and weighted logrank scores
Definition
Fix a follow-up horizon and a finite set of subjects . A right-censored record for subject is a pair , where is the observed time and records an event, including an event-censoring tie; records right censoring. A two-group assignment is a map . These conventions are the right-censoring observation scheme; the score below uses the observed record and does not infer event or censoring laws from it.
Let be the distinct observed failure times in . For define the risk count and event count at by Write , , and . Since is an observed failure time, . The expected group-1 count under the conditional hypergeometric model is Under that model the failing subjects are a uniform -subset of the subjects at risk, conditional on the risk-set and event-count margins. The corresponding conditional variance is If the study has no observed failures, all sums below are empty and equal zero. The conditional hypergeometric model is an explicit finite risk-set assumption; equality of survival laws with arbitrary censoring or subject heterogeneity does not by itself assert this conditional allocation law. The uniform law on the finite set of -subsets is the uniform finite probability space of The uniform probability space on a nonempty finite set.
A weight rule assigns a real value using only the predeclared time and information available strictly before the failures at ; deterministic bounded time weights are a special case. If , define the weighted logrank score and its conditional variance estimate by When , set . If , this standardized statistic is left undefined; the unstandardized score remains defined. The normal calibration is only an approximation until the separate terminal limit hypotheses are verified. It is not the finite-sample Fisher randomization p-value.
For a fixed observed record, the displayed scores are statistics in the measurable-map sense of Statistics and estimators: each risk count is a finite sum of Borel indicator functions, and every denominator is positive at an observed event time. A weight rule is fixed before assignments or outcomes are inspected and is recomputed by the same rule for any candidate assignment.
The risk-set table concerns one predeclared event type. If simultaneous records contain distinct event causes that are not exchangeable, form separate cause-specific counts and using the same pre-event risk set; use the displayed hypergeometric variance only for a cause whose failures are conditionally exchangeable. This definition does not pool different causes or add their variances without a specified cross-cause covariance model.
Depends on
Used by
- The logrank ordering gives a valid Fisher randomization p-value Corollary
- An exact logrank randomization p-value with unequal assignment weights Example
- Crossing hazards with a zero observed logrank score Example
- Consistency of the weighted logrank variance estimate Lemma
- Uniform convergence of the risk-set treatment fraction Lemma
- Weighted logrank score expansion under a common-hazard model Lemma
- Conditional hypergeometric moments for a logrank risk set Theorem
- Terminal normal limit for weighted logrank scores Theorem
Dependency tree · two levels
8 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
- Lu Tian, STAT331 Unit 6: Logrank Test, PDF pp. 1-13 (standard reference, not scraped)
- Lu Tian, STAT331 Unit 13: Large Sample Theory for 2-Sample Tests, PDF pp. 1-12 (standard reference, not scraped)
- Michal Kulich, NMST531 Censored Data Analysis: Extended Course Notes, §5.3-5.4, PDF pp. 59-62 (standard reference, not scraped)