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.
Cox partial-likelihood score expansion and estimator linearization
Statement
Assume AC. Let , , and . Let subjects be IID and independent. Assume the Cox model of Cox proportional-hazards model and partial likelihood with bounded predictable covariates , baseline , and no tied failures. Assume the positive population risk denominators of Integrated and conditional uniform convergence of Cox risk-set sums on a compact neighborhood of . In one common filtration, assume the observed event counts have compensators and that satisfies the square-integrable counting-process contract of Simple counting-process intensity and compensator contract. This martingale contract is an explicit model assumption. No bracketing or time-class regularity is required: the risk-set lemma supplies the integrated parameter-uniform laws for these bounded predictable paths.
Let be the matrix in Uniform Cox partial-likelihood Hessian convergence and assume is positive definite. Let be a measurable -valued estimator such that, with probability tending to one, it solves the partial-likelihood score equation , and suppose . Then The proof establishes the partial-likelihood score representation locally; it does not treat the score summands with the random risk-set mean as IID.
Facts & Assumptions
Given: AC; the IID Cox model and risk-process conventions; the stated risk-support condition; the square-integrable common-filtration counting-process contracts; no tied failures; ; and a measurable consistent score root.
Cox proportional-hazards model and partial likelihood: is the product of untied event weights divided by the risk-set weight sums, with .
Statistics and estimators: an estimator is a measurable statistic with the stated target space.
Uniform Cox partial-likelihood Hessian convergence: uniformly on , , and .
Cox score martingale representation and random-risk-mean replacement: , with IID centered of covariance and normalized sum .
Stochastic order and convergence notation for finite-dimensional random vectors: is convergence in probability to zero and is boundedness in probability.
AC is inherited from the observation, predictability, and counting-process martingale interfaces. The Axiom of Choice
Proof
Put and . Since , the segment lies in with probability tending to one. The Hessian lemma gives uniform convergence to , and is continuous at by bounded covariates, the positive risk denominator, and . Therefore .
Since is positive definite, it is invertible. Matrix inversion is continuous at the nonsingular matrix , so is invertible with probability tending to one and .
On the event that is a score root and the segment lies in , the fundamental theorem of calculus applied to the continuously differentiable finite-sample score gives . Thus .
Substitute [F4]. Its normalized IID sum is , so the product of that sum with is . Hence , which is the asserted expansion.
Depends on
- The Axiom of Choice
- Cox proportional-hazards model and partial likelihood
- Simple counting-process intensity and compensator contract
- Stochastic order and convergence notation for finite-dimensional random vectors
- Statistics and estimators
- Uniform Cox partial-likelihood Hessian convergence
- Integrated and conditional uniform convergence of Cox risk-set sums
- Cox score martingale representation and random-risk-mean replacement
Used by
Dependency tree · two levels
33 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 Example of Martingale CLT with Cox's Model, PDF pp. 1–7 (standard reference, not scraped)
- Lu Tian, STAT331 Revisiting Cox's PH Model: Asymptotic Theory, PDF pp. 1–8 (standard reference, not scraped)
- Qiqing Yu, Survival Analysis (Lecture Notes), §5.2, PDF pp. 58–63 (standard reference, not scraped)