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.

Two-group logrank and weighted logrank scores

Definition

Fix a follow-up horizon τ>0 and a finite set of subjects I={1,…,n}. A right-censored record for subject i is a pair (Ui,δi)∈[0,τ]×{0,1}, where Ui=min⁡(Ti,Ci) is the observed time and δi=1{Ti≤Ci} records an event, including an event-censoring tie; δi=0 records right censoring. A two-group assignment is a map z:I→{0,1}. 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 t1<⋯<tK be the distinct observed failure times in [0,τ]. For g∈{0,1} define the risk count and event count at tj by Ygj(z):=#{i:zi=g, Ui≥tj},dgj(z):=#{i:zi=g, Ui=tj, δi=1}. Write Yj=Y0j+Y1j, dj=d0j+d1j>0, and Oj=d1j. Since tj is an observed failure time, 1≤dj≤Yj. The expected group-1 count under the conditional hypergeometric model is Ej:=djY1jYj. Under that model the dj failing subjects are a uniform dj-subset of the Yj subjects at risk, conditional on the risk-set and event-count margins. The corresponding conditional variance is Vj:={Y1jY0jdj(Yj−dj)Yj2(Yj−1),Yj>1,0,Yj=1. 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 dj-subsets is the uniform finite probability space of The uniform probability space on a nonempty finite set.

A weight rule assigns a real value wj using only the predeclared time and information available strictly before the failures at tj; deterministic bounded time weights are a special case. If sup⁡j∣wj∣<∞, define the weighted logrank score and its conditional variance estimate by Uw(z;U,δ):=∑j=1Kwj(Oj−Ej),V^w(z;U,δ):=∑j=1Kwj2Vj. When V^w>0, set Zw:=Uw/V^w. If V^w=0, 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 Ojc and djc 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

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