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.
Logrank and weighted logrank
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- Algebraic Closure, Embeddings, and Separability
- Algebraic Extensions, Extension Degree, and Finite Fields
- Areas of Elementary Plane Figures
- Assignment randomization and sharp-null tests
- Binary Operations, Monoids, Groups and Subgroups
- Bounded Variation and the Riemann–Stieltjes Integral
- Brownian Motion Construction and Continuity
- Brownian Motion, Markov Properties and Hitting Times
- Central Limit Theorems
- Chaining and Uniform Limits
- Characteristic Functions Inversion and Continuity
- Compactness
- Compactness in Metric Spaces
- Complete Metrizability, Čech-Completeness, and Baire Category
- Completeness, Completion, and Uniform Continuity
- Complex Lp Spaces and Test-Function Conventions
- Composition Series, the Jordan–Hölder Theorem and Solvable Groups
- Conditional Expectation
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Consistency and Limiting Distributions
- 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
- Convexity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Countability Axioms and Cardinal Functions
- Counting-process compensators, integrals, brackets
- Cyclic Groups and Direct Products
- Darboux, L'Hôpital, and Taylor's Theorem
- Density Separability and Convolution in Lᵖ
- Determinants of Matrices over a Commutative Ring
- Diagonalisation and the Minimal Polynomial
- Discrete Time Martingales
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Empirical-Process Complexity
- Equivalent Forms of Completeness
- Estimators and Randomized Procedures
- Filters and Ultrafilters
- Finite Counting, Factorials and Binomial Coefficients
- Finite Probability and the Probabilistic Method
- Finite Probability Spaces and Random Variables
- Foundations of the Real Numbers for Analysis
- Fourier Transform Convolution and Approximate Identities
- Fubini and Change of Variables
- Fundamental Trigonometric Identities
- Gaussian Elimination, Elementary Matrices and Reduced Row Echelon Form
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Hausdorff via the Diagonal
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Improper and Parameter-Dependent Multiple Integrals
- Improper Integrals
- Independence Borel Cantelli and Zero One Laws
- Independent-subject terminal influence limits
- Infinite Product Measures and Kolmogorov Extension
- Inner Product Spaces, Gram-Schmidt, Projections and Adjoints
- Lebesgue Measure on Euclidean Space
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Martingale Inequalities and Convergence
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Measurable Functions and Simple Approximation
- Measures and Their Basic Properties
- Metric Spaces
- Mixed Partials, Taylor Formulae, and Extrema
- Modes of Convergence Egorov and Lusin
- Modes of Convergence for Random Variables
- 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
- Partitions of Unity and Paracompactness
- Pointwise Extended-Real Function Products
- Polynomial Rings, the Division Algorithm and Roots
- Power Series and Real-Analytic Functions
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Probability Spaces Random Variables and Expectation
- Product Measures and the Fubini Tonelli Theorems
- Properties of the Integral and the Working FTC
- Radon Measures and the Riesz Markov Kakutani Theorem
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Rⁿ as a Normed Space; Vector-Valued Functions
- Robust Covariance and Sparse Robust Estimation
- 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
- Sine, Cosine, and the Definition of Pi
- Splitting Fields
- Statistical Experiments, Models and Identifiability
- Strong Laws of Large Numbers
- Subspaces, Products, and Quotients
- Suprema and Infima
- Sylow's Theorems, p-Groups and Nilpotent Groups
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tests, Neyman–Pearson and Valid P-values
- The Cantor Set, Baire Category, and Measure Zero in ℝ
- The Complex Exponential and Euler's Formula
- The Derivative and the Mean Value Theorems
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Exponential Function
- The Fundamental Theorem of Algebra
- The Fundamental Theorem of Finite Abelian Groups
- The Galois Correspondence
- The Inverse and Implicit Function Theorems
- The Ito Integral with Respect to Brownian Motion
- The Lebesgue and Riemann Integrals Compared
- The Lebesgue Integral and the Convergence Theorems
- The Logarithm and General Powers
- The Lᵖ Spaces Holder Minkowski and Riesz Fischer
- The Maximal Function and Lebesgue Differentiation
- The Radon Nikodym Theorem and Lebesgue Decomposition
- The Riemann Integral in Rᵐ and Jordan Content
- The Riemann Integral: Definition and Integrability
- The Spectral Theorem, Positive Operators and Singular Value Decomposition
- The Topology of Euclidean Space
- The Total Derivative in ℝᵐ → ℝⁿ
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Triangularisation, Generalised Eigenspaces and Jordan Canonical Form
- Urysohn's Lemma and the Tietze Extension Theorem
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Weak Convergence Tightness and Representation
- Weak Laws and Series of Independent Random Variables
2 · Summary
This page defines the two-group risk-set logrank score, its conventional hypergeometric plug-in variance, weighted scores, and the normal-calibrated statistic. It proves the finite conditional risk-set moments under the explicit uniform-subset model; the sequential result specifies a finite filtration, zero-risk convention, and finite expected weighted variance. The uniform risk-set limits assume within-group IID observed times, deterministic allocation fractions, and positive pooled limiting risk. The page separates these design-based and sampling premises, establishes the terminal common-hazard Gaussian limit under an explicit square-integrable counting-process contract, and gives an exact Fisher randomization result when each allowed assignment induces a binary group map and the full-record sharp null holds. The terminal theorem proves the subject-influence expansion and scale replacement and makes no process limit claim. It does not infer the martingale contract from the event-time or censoring model. Weights may be predictable and bounded; the terminal result assumes they converge uniformly in probability to a deterministic bounded limit.
3 · Logical flowchart
4 · Definitions, theorems and proofs
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.
Uniform convergence of empirical risk-set fractions
Statement
For , let be IID measurable -valued observed times with law . For deterministic , define Then, for each group,
Facts & Assumptions
Given: A fixed finite horizon, an IID sequence of real observed times in each group, and the empirical threshold class with .
Identical distribution and IID families: within each group the observations have one common law and the full family is mutually independent.
Random elements and real random variables: each observed time is a measurable real-valued map, so every threshold indicator is a random variable.
Glivenko–Cantelli classes: a nonempty pointwise-measurable class with an integrable envelope is -Glivenko--Cantelli when its uniform empirical deviation tends to zero in probability.
Covering, packing, bracketing numbers, and metric entropy: an bracket has measurable endpoints , contains every function in its class between those endpoints, and has width .
Glivenko–Cantelli theorem by bracketing entropy: for IID observations, a nonempty pointwise-measurable function class with an integrable envelope and finite bracketing number at every positive scale has uniform empirical deviation tending to zero in probability. The theorem's separate almost-sure branch assumes Countable Choice; that branch is not used here.
Proof
Each is measurable. The subclass with rational thresholds in is countable and pointwise dense: for choose rationals with , while for use the member itself. If , every ; if , then eventually and . Hence for every . The envelope is the constant function , which is measurable and has -integral .
Put . For , the indicators are nested and . The function is nonincreasing with range in . Fix and set . Partition into finitely many intervals of length at most and group thresholds whose -values lie in the same interval. Each threshold class in one group is nested; its pointwise infimum and supremum are measurable threshold indicators (possibly their one-sided endpoint limits), and they bracket the group. The width is the supremum of over thresholds in that group, at most , by the displayed identity. Thus at most brackets cover , so . This also handles atoms: a jump in larger than a bin width places the two threshold sides in different bins, while a smaller jump contributes at most the bin's total -width.
Steps 1.1 and 1.2 verify pointwise measurability, the integrable envelope, and every finite-bracketing hypothesis in [F6]. Its convergence-in-probability conclusion gives . Since and by their definitions, this is the asserted uniform risk-set convergence. No Countable Choice or strong Glivenko--Cantelli conclusion is used.
Conditional hypergeometric moments for a logrank risk set
Statement
Fix a risk set with group-1 subjects, group-0 subjects, and . Conditional on the margins, suppose the failing subjects are a uniform -subset of these subjects, where . Let be the number of failures in group 1. If , then If or , set the contribution to the variance to zero; the expectation remains when , and is zero when .
For the sequential assertion, take a finite sequence on a probability space with a filtration . Before the failures at step are revealed, the current risk-set subjects, their group counts , and the total are -measurable, with . Conditionally on , the failing subjects are a uniform -subset of the current subjects; their identities are revealed in . If , necessarily and the failing subset is empty. Put when and when ; let be the displayed risk-set variance when and zero when . Suppose each real weight is -measurable and Then are square-integrable martingale differences and where the nonempty-risk-set variance contribution is the one in Two-group logrank and weighted logrank scores.
Facts & Assumptions
Given: A finite risk set, its two group counts, a total failure count , the uniform-subset allocation model, and, for the sequential assertion, the finite filtration, measurable pre-reveal margins, zero-risk convention, conditional law, predictable weights, and integrability condition stated above.
The uniform probability space on a nonempty finite set: the uniform law on a nonempty finite set assigns each element probability equal to the reciprocal of the set's cardinality.
The indicator random variable of an event: an indicator is one on its event and zero elsewhere.
Expectation is linear for every finite family of random variables, without any independence hypothesis: expectation of a finite sum is the sum of the expectations; independence is not required.
Indicators turn event probabilities, intersections, and finite counts into expectations and products: indicator expectations equal event probabilities, and products of indicators equal indicators of intersections.
Variance, standard deviation, and covariance on a finite probability space: variance and covariance are expectations of the centered square and centered product.
and : variance and covariance may be expanded as and .
Two-group logrank and weighted logrank scores: , and under the conditional hypergeometric model when , with zero contribution for .
Conditional on , which includes the risk-set margins and , each -subset of the risk-set subjects has equal probability.
Proof
If , then , , and both stated moments are zero. Suppose . For each of the group-1 subjects let indicate that subject is in the failing subset. Under [A1], when , ; for , both sides are zero. Since , [F3] and [F4] give .
If , then and the failing subset is deterministic: . Its expectation is and its variance is zero, as stipulated.
Suppose . For distinct group-1 subjects , if the same subset count gives ; for or the probability and the displayed ratio are both zero. Using [F5] and [F6], Thus [F3] and [F5] give Since , this is the stated variance, including , , , and .
In the sequential model, step 1.1 and the convention give , and step 2.1 gives conditional variance . Since is -measurable, has conditional mean zero and conditional second moment . The stated integrability condition makes each square-integrable. If , the filtration property and the revelation convention make -measurable, so . Expanding the finite sum's variance therefore yields both sequential identities.
Uniform convergence of the risk-set treatment fraction
Statement
For each , let be IID measurable -valued observed times with law ; independence between the two groups is not required. Along a sequence of deterministic positive sample sizes, let and , where . Set , , and . Assume . Write Then, for , and
Facts & Assumptions
Given: The within-group IID observed-time sequences, the deterministic allocation limits and positive pooled support in the Statement, and the groupwise uniform empirical-risk convergence.
Uniform convergence of empirical risk-set fractions: for each group, .
Two-group logrank and weighted logrank scores: counts subjects with observed time at least ; risk at event time is counted immediately before failures at that time.
The pooled limiting risk fraction obeys .
Proof
By [F1], for each , The first term tends to zero deterministically, and the empirical fraction in the second term is at most one. Hence the pooled fraction converges uniformly in probability to and the group-1 fraction converges uniformly to .
On the event , whose probability tends to one by [A1] and step 1.1, the denominator is positive for all . There, because . Taking suprema and using step 1.1 proves convergence to zero in probability. The convention on an empty risk set is immaterial on this event.
The logrank ordering gives a valid Fisher randomization p-value
Statement
Fix a finite randomized treatment-assignment model with allowed assignments and known law , with unit set as in Finite randomized treatment-assignment models. Fix a map assigning each allowed assignment a binary logrank group map. For each subject , let be the full right-censored record under assignment . Assume the record sharp null: for every , the pair is constant over all . Fix before observing assignment or records a bounded logrank weight rule and the two-sided ordering .
The inclusive assignment-tail p-value is superuniform under the assignment law, so it is a valid finite-sample p-value for the record sharp null. If an auxiliary is independent of the assignment and uniform on , replacing the inclusive tail by the strict-tail mass plus times the tied-score mass gives an exactly uniform p-value. The result uses the actual assignment probabilities and asserts no validity under a weak average-effect null or under an equal-hazard null alone.
Facts & Assumptions
Given: A finite assignment law, a fixed binary group map for every allowed assignment, a fixed horizon, a predeclared weighted logrank ordering, a record sharp null, and optionally an independent uniform tie randomizer.
Finite randomized treatment-assignment models: the experimental units and potential-outcome schedule are fixed, the assignment has the declared finite law , and each unit's response under an assignment is defined for every allowed assignment.
Fisher sharp null and predeclared test orderings: a Fisher sharp null fixes each unit's response under every allowed assignment, and the ordering score is fixed before assignment and response inspection.
Two-group logrank and weighted logrank scores: for a fixed right-censored record and binary group map , the weighted score is the finite sum ; the two-sided ordering uses its absolute value and includes event-time ties by the stated risk-set rule.
Statistics and estimators: a statistic is a measurable map from the experiment's data space to its target measurable space.
Fisher sharp-null randomization p-values are valid: for any predeclared real-valued ordering score in a finite assignment model, the inclusive weighted assignment tail is superuniform under the Fisher sharp null, and an independent uniform tie randomizer gives an exactly uniform value.
Valid p-values: a p-value is valid for a null when its probability of being at most is at most for every and every law in that null.
When the randomized-tie version is used, is independent of the assignment and has the uniform law on .
Proof
Encode each record by the real number . The event-record range and censor-record range are disjoint, so this map is injective and Borel, with a Borel inverse on its image. Under the record sharp null, every encoded response is constant over all assignments. Hence the scalar schedule satisfies the Fisher sharp null of [F2] within the finite assignment model [F1].
On encoded response vectors whose coordinates lie in the image of the record encoding, decode the records and evaluate the fixed weighted logrank score using the candidate binary group map ; define the score to be zero outside that image. This is a predeclared real-valued score on the finite assignment model. Its data space has the full power-set sigma-algebra, so every such map is measurable in the sense of [F4]. The absolute-score ordering includes ties and is fixed before assignment or records are inspected by [F2, F3].
Apply [F5] to this predeclared score and the actual finite assignment weights. Its inclusive tail is exactly the displayed , so for every its null probability of being at most is at most . Under [A1], the strict-tail mass plus times the tied-score mass is exactly the randomized-tie p-value in [F5] and is uniform. By [F6], these bounds are precisely finite-sample p-value validity for the record sharp null. The proof uses no survival-law, censoring-independence, or Gaussian assumption; it makes no claim for a weaker null that does not fix every record.
Weighted logrank score expansion under a common-hazard model
Statement
Assume the Axiom of Choice. Let be deterministic, , and let for subject in group . On a common finite-horizon filtration, each subject has the one-event process and satisfies the separate counting-process contract where is a common deterministic nonnegative hazard density with . Assume each is a square-integrable martingale under this contract, is predictable, and no two subjects have simultaneous event jumps. Write and for the group sums, , and , with on an empty pooled risk set.
Assume the observed-time and allocation hypotheses of Uniform convergence of the risk-set treatment fraction: within each group the observed times are IID, , , and, with and , . Set . Let be a common predictable weight process with and a measurable supremum satisfying for a deterministic bounded predictable weight . Then the weighted logrank score satisfies In particular, fixed deterministic bounded predictable weights are included by taking .
Facts & Assumptions
Given: A finite horizon, two fixed groups, the common-hazard model contract for each subject, no simultaneous event jumps, the uniform risk-fraction limit, and the bounded predictable weight sequence in the Statement.
Assume the Axiom of Choice, inherited from the continuous-time martingale, bracket, and -integral interfaces. (The Axiom of Choice)
Simple counting-process intensity and compensator contract: for a simple counting process, is continuous and has finite expectation, and the model separately assumes is a square-integrable martingale.
L² counting-process integral when the limit exists: a predictable with has an integral defined by limits of bounded predictable step integrals when the limit exists.
Brackets of a compensated simple counting process: under the counting-process contract, is a martingale and .
L² extension of the predictable counting-process integral: every predictable finite-energy integrand has a square-integrable martingale integral with .
Uniform convergence of the risk-set treatment fraction: converges uniformly in probability to on .
Proof
Each is predictable by assumption. Sums of these processes are predictable, and the ratio map for , extended by zero when , is Borel; hence is predictable. At an event time , the Stieltjes increment of is and that of is . Therefore [F6] gives Using , the compensator part equals . Thus, with ,
No simultaneous event jumps make a simple unit-jump counting process. Its compensator is the continuous process , and is a square-integrable martingale by finite summation. Also pathwise. By [F3], is a martingale; [F2]-[F4] apply to the common predictable integrand , whose compensator energy is finite. The isometry gives The last expectation tends to zero because the supremum is bounded by one and converges to zero in probability by [F5]. Replacing by therefore changes by .
For the remaining weight replacement, put . Since is constant within each group, Each group aggregate has a simple counting process, continuous compensator, and square-integrable martingale because there are no simultaneous event jumps within that group. Applying [F2]-[F4] to each aggregate and using yields Boundedness of and makes the squared supremum bounded, so its convergence in probability implies convergence of its expectation. Combining the risk-fraction replacement in step 2.1 with this weight replacement proves the stated expansion. No martingale process central limit theorem is used.
Consistency of the weighted logrank variance estimate
Statement
Assume the two-group common-hazard model with finite-horizon predictable risk processes and the explicit square-integrable martingale contracts , ; assume no simultaneous event jumps. Let , , and assume the uniform risk-fraction convergence and in probability on , with on an empty risk set (as proved in Uniform convergence of the risk-set treatment fraction). Let uniformly in probability, where the predictable weights are uniformly bounded and is deterministic. Suppose event times are continuous, so every observed failure time has almost surely. Here is the plug-in statistic defined in Two-group logrank and weighted logrank scores; the claim is its asymptotic consistency and does not assert an exact finite-sample conditional variance law. Here are deterministic nonnegative Borel functions, , , and . Define Then the weighted plug-in variance sum from Two-group logrank and weighted logrank scores satisfies
Facts & Assumptions
Given: The model and convergence hypotheses in the Statement, with finite horizon and .
Assume the Axiom of Choice inherited from the counting-process martingale and integral interfaces. (The Axiom of Choice)
Two-group logrank and weighted logrank scores: and is the stated conditional risk-set variance.
Two-group logrank and weighted logrank scores: the plug-in contribution is for , and zero for .
Uniform convergence of the risk-set treatment fraction: and uniformly in probability on .
Simple counting-process intensity and compensator contract: for the aggregate simple process the compensator is and is a square-integrable martingale under the separately stated model contract.
Brackets of a compensated simple counting process: is a martingale and its predictable bracket is .
L² extension of the predictable counting-process integral: for predictable with finite compensator energy, .
Proof
Since , the variance formula [F2] reduces to when . If , both groups' product is zero and [F1] assigns variance zero. Thus
Uniform convergence of to and of to , together with their uniform bounds, gives . Because , replacing the integrand in step 1.1 by changes the normalized integral by at most this supremum, hence by .
The aggregate process is simple because no two subjects jump simultaneously, and . The deterministic is bounded and predictable, so [F4]-[F6] give Hence the martingale part of the normalized variance sum tends to zero in probability.
The compensator part of that sum is Uniform convergence of to and make this converge in probability to . Since , the limit is . Combining this with steps 2.1 and 3.1 proves the assertion.
Terminal normal limit for weighted logrank scores
Statement
Assume the Axiom of Choice. For , let be IID within group, with almost surely and the two group families independent. Assume conditional independent censoring , and a common absolutely continuous event-time law with hazard density on , where . Censoring distributions may differ between groups. Use the horizon-truncated record and , which lies in as required by Two-group logrank and weighted logrank scores.
For deterministic positive sample sizes along a sequence with and , set , , , , and . Assume . For each subject define and . Under one common filtration, assume is predictable and, separately, that satisfies the finite-horizon square-integrable martingale contract of Simple counting-process intensity and compensator contract. Assume no two subjects have simultaneous event jumps. Conditional independent censoring and the displayed hazard are scientific model premises; they are not used as substitutes for the explicit martingale contract.
Use and as defined in Two-group logrank and weighted logrank scores. Let be a common predictable weight sequence with and a measurable supremum satisfying for a deterministic bounded Borel predictable weight . Define Then If , define the standardized statistic as when the denominator is positive and assign any fixed finite value on the event that it is zero. Every such extension converges to . If , only the degenerate score limit is asserted. For a fixed deterministic weight, take . This is a terminal finite-dimensional limit; it asserts no process central limit theorem.
Facts & Assumptions
Given: Assume AC; two independent IID groups of subject records, deterministic allocation fractions tending to , equal continuous event hazard, group-conditional independent censoring, the explicit counting-process contracts and no-simultaneous-jump condition, positive pooled risk support, finite , and the bounded predictable weights in the Statement.
Assume the Axiom of Choice (AC), inherited from the counting-process integral and independent-groups terminal-limit suppliers. (The Axiom of Choice)
Since each is the same measurable function of its within-group IID pair , the observed times are IID within each group. The deterministic allocation limits and positive pooled-risk bound in the Statement therefore meet the hypotheses of Uniform convergence of the risk-set treatment fraction, which supplies the uniform risk-fraction limits required by [F4] and [F5].
Identical distribution and IID families: within each group the subject records share one law and are mutually independent.
Independent families of event classes: independence of the two subject families means every finite choice of events from distinct subjects has product probability.
Two-group logrank and weighted logrank scores: and are the weighted risk-set score and its plug-in variance sum.
Weighted logrank score expansion under a common-hazard model: under its stated martingale, risk-fraction, no-simultaneous-jump, and weight hypotheses, where .
Consistency of the weighted logrank variance estimate: under its stated continuous-event and plug-in variance hypotheses.
Independent-group terminal influence limit: for a fixed finite number of independent IID groups, centered square-integrable measurable group influences and a separately established terminal expansion imply a Gaussian limit with covariance .
Simple counting-process intensity and compensator contract: is a square-integrable martingale under the explicit model contract, and .
L² counting-process integral when the limit exists: predictable integrands of finite compensator energy have the stated counting-process integral when the approximating integrals converge.
L² extension of the predictable counting-process integral: the integral is a square-integrable martingale and for finite-energy predictable .
Covariance matrix of a finite-dimensional random vector: for a centered square-integrable scalar, its covariance is its second moment.
Tonelli's theorem for nonnegative measurable functions on a sigma-finite product: a nonnegative measurable integrand may be integrated in either order on the product space.
Expectations factor over finite products of independent random variables: expectations of products of finitely many independent integrable real random variables factor into the product of their expectations.
Variance of a finite sum as the sum of all variances and covariances: the variance of a finite sum is the sum of its variances and pairwise covariance terms.
Markov's inequality for random variables: for and , .
Dominated convergence: pointwise convergence under one integrable majorant permits passage to the limit in the integral.
Stochastic order and convergence notation for finite-dimensional random vectors: means its tails are bounded in probability, and means convergence in probability to zero.
Standard normal and normal laws: is the law of for , including .
Vector Slutsky theorem: weak convergence is preserved after adjoining a quantity converging in probability to a constant and applying a continuous map.
Proof
Put . For a subject record , define the real map The deterministic integrand is bounded and Borel, so its indefinite integral is Borel and this map is measurable. From the definitions of , and , this is exactly . Its energy is at most ; [F8] and [F9] therefore make it square-integrable and centered. It is the same measurable function of each subject record within group , so [F1] makes the transformed records IID within group and [F2] makes the two groups independent.
By [F9] and [F11], Multiplying by and summing over gives where the last equality follows by substituting . The integral is finite since is bounded, , and .
Fix . Since , the integrand tends pointwise to zero and is bounded by the integrable . [F15] gives Thus each group satisfies the finite-variance no-large-jump condition. Also, for , [F1] and [F12] make the cross covariances zero, and [F13] gives . Applying [F14] to yields ; hence by [F16].
By [A2], the risk-fraction hypotheses used by [F4] hold. Let and set . By [F4], Set . The group-sum term in [F6] is Its difference from equals because by step 2.2, , and there are only two groups. Thus the expansion required by [F6] is established with centered group influences .
Each is centered and square-integrable by step 1.1, and by [F10]. The covariance in [F6] is therefore by step 2.1. Applying [F6] to the proved expansion in step 3.1 yields .
Suppose and put . By [A2] and [F5], , so . The function is continuous everywhere. Apply [F18] and this map to the score limit and ; the result converges to for , which has law by [F17]. On this map equals the stated standardized statistic. Since the complement has probability tending to zero, changing the statistic there has no effect on weak convergence, including any fixed finite extension on the zero-denominator event. When , step 4.1 gives the degenerate score law and no standardized conclusion.
5 · Examples, counterexamples and false statements
None yet.
Sources
- Lu Tian, STAT331 Unit 6: Logrank Test, PDF pp. 1-13
- Lu Tian, STAT331 Unit 13: Large Sample Theory for 2-Sample Tests, PDF pp. 1-12
- Michal Kulich, NMST531 Censored Data Analysis: Extended Course Notes, §5.3-5.4, PDF pp. 59-62
- Michal Kulich, NMST531 Censored Data Analysis: Extended Course Notes, §5.4, PDF pp. 61-62
- Lu Tian, STAT331 Unit 6: Logrank Test, PDF pp. 3-4
- Michal Kulich, NMST531 Censored Data Analysis: Extended Course Notes, §5.3, PDF pp. 59-60
- Lu Tian, STAT331 Unit 13: Large Sample Theory for 2-Sample Tests, PDF pp. 1-6
- Siva Balakrishnan, CMU 36-705 Lecture 28: Fisher's Exact p-values, §28.5, PDF pp. 4-6
- Lu Tian, STAT331 Unit 13: Large Sample Theory for 2-Sample Tests, PDF pp. 2-7
- Lu Tian, STAT331 Unit 13: Large Sample Theory for 2-Sample Tests, PDF pp. 4-7