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.
Counting-process compensators, integrals, brackets — Examples
1 · Prerequisites
- Absolute and Conditional Convergence; Rearrangement; Products
- 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
- Compactness in Metric Spaces
- Completeness, Completion, and Uniform Continuity
- 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
- Convexity
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Counting-process compensators, integrals, brackets
- Darboux, L'Hôpital, and Taylor's Theorem
- Discrete Time Martingales
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- 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
- Limits of Real Functions
- limsup, liminf, and Subsequential Limits
- Martingale Inequalities and Convergence
- 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
- 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
- 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
- Suprema and Infima
- The Derivative and the Mean Value Theorems
- The Exponential Function
- The Ito Integral with Respect to Brownian Motion
- 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 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
These examples check the one-event exponential compensator and its step integral isometry, use the left-open entry convention for a delayed-entry risk process, and show that a shared event jump creates a nonzero cross bracket. The delayed-entry calculation verifies the stated exponential model; it does not claim informative entry is ignorable. The tied-jump example identifies the precise hypothesis needed for orthogonality.
3 · Logical flowchart
4 · Definitions, theorems and proofs
None yet.
5 · Examples, counterexamples and false statements
Delayed entry with a predictable risk process
Example
Fix and . Let be exponential with rate , put , and observe one event at . With and the natural filtration , use the left-open entry and right-closed event convention Then is predictable, is a continuous integrable compensator, and is a square-integrable martingale on . The value says the subject is not yet at risk at entry; records the subject as at risk immediately before the event jump.
Facts & Assumptions
Given: , , and a waiting time with density on , hence ; use the natural filtration of the one-event process.
Predictability is measurability for the sigma-algebra generated by , , and time-zero sets; it is closed under pointwise limits and products, and deterministic Borel time functions are predictable. (Progressively measurable and predictable processes)
Under the finite-horizon model contract, is the compensator when is a square-integrable martingale. (Simple counting-process intensity and compensator contract)
Conditional expectation is characterized by its event integrals on the conditioning sigma-algebra. (Conditional expectation as an ae class)
AC is inherited from conditional expectation in the continuous-time martingale convention. (The Axiom of Choice)
Verification
The process is adapted, càdlàg, has one unit jump, and starts at zero. On dyadic time grids on , left-step processes with value on are predictable by [F1] and converge pointwise to for each , so the left-limit process on is predictable. Since is deterministic Borel, the displayed formula makes predictable on ; its separately assigned value is predictable on the time-zero slice. This also gives and .
Direct integration gives , so is continuous and increasing, , and . Left Riemann sums make -measurable; its continuous adapted left-step approximations are predictable by [F1]. The exponential density gives , and for every the same calculation with replaced by gives . Thus the compensator integrability requirements in [F2] hold.
If and , then and are zero on ; if , then is trivial and step 1.2 gives . If and , the martingale increment is zero. On the event-free history gives , and the residual survival ratio is . With , the conditional expected event increment is , and the same residual density gives . Thus every conditional increment has mean zero. Finally , so is square-integrable and satisfies [F2].
Source notes
Mai Zhou writes the delayed-entry risk indicator in the same left-open form and is used only as supplemental intuition; the compensator verification above is local. Andersen–Borgan–Gill–Keiding's Example 4.1 treats random left truncation and the preserved multiplicative intensity with its stated conditioning premise.
A tied jump produces a nonzero cross bracket
Example
Let , , and put with common natural filtration. For each component use and for , , and . Both component contracts hold, but the components jump together. For every , which are nonzero with positive probability. This is why the no-simultaneous-jump condition is required for zero cross brackets.
Facts & Assumptions
Given: , a waiting time with density on and tail , and the common filtration generated by the two identical one-event processes.
A unit-jump process with is in the model class when is a square-integrable martingale and . (Simple counting-process intensity and compensator contract)
For that contract, and . (Brackets of a compensated simple counting process)
Optional cross brackets are jump-product sums; predictable cross brackets are their continuous predictable martingale compensators. (Optional and predictable brackets for counting-process martingales)
Predictability is generated by time-zero sets and rectangles with ; it is preserved under pointwise limits, products, and deterministic Borel time functions. (Progressively measurable and predictable processes)
AC is inherited through conditional expectation in the model contract. (The Axiom of Choice)
Verification
Each has one unit jump and . For , is predictable by dyadic left-step approximation using [F4]; its time-zero value is predictable on the time-zero generator. Direct integration gives ; left Riemann sums make it adapted, and continuous left-step approximations make it predictable by [F4]. The exponential density gives . If , the martingale increment is zero; if , the residual waiting time is exponential and, for , on that event, since . Hence each is an all-pairs martingale; makes it square-integrable and verifies [F1].
The two component martingales are identical, so [F3] gives . By [F2], and , hence the pair has the same cross-bracket values. For every , and almost surely because almost surely; neither cross-bracket process is identically zero when simultaneous jumps are allowed.
Source notes
Tian states zero cross brackets under a no-simultaneous-jump hypothesis; Andersen–Borgan–Gill–Keiding impose the same condition for multivariate counting processes. This tied-process construction shows the boundary case directly.
One exponential event: compensator and isometry
Example
Let with , , and , for . On the compensator and martingale are They satisfy the finite-horizon model contract, and the constant step integrand gives
Facts & Assumptions
Given: , a waiting time with density on and tail , the natural filtration , and a finite horizon .
Predictability is measurability for the sigma-algebra generated by , , and time-zero sets; it is preserved under pointwise limits and products, and is predictable for a stopping time . (Progressively measurable and predictable processes)
The model contract requires to be a square-integrable martingale and . (Simple counting-process intensity and compensator contract)
For bounded predictable step , the elementary integral isometry gives . (Isometry for elementary predictable counting-process integrals)
Under the stated contract, and . (Brackets of a compensated simple counting process)
AC is inherited through conditional expectation in the martingale interface. (The Axiom of Choice)
Verification
The process has one unit jump and . For , is predictable by dyadic left-step approximation, while its time-zero value is predictable on the time-zero generator. Therefore is continuous, increasing, starts at zero, and is adapted by left Riemann sums; continuous adapted left-step approximations make it predictable by [F1]. The exponential density gives , verifying the compensator hypotheses in [F2].
Fix . On both and have stopped changing, so . On , ; with , the conditional event increment is , and the residual exponential density gives the same compensator increment . Thus for every pair, and makes square-integrable and verifies [F2].
The process on and is a bounded predictable step integrand with elementary integral . By [F3], ; by [F4], its optional and predictable brackets are and .
Source notes
Tian's Units 8–9 use the one-event exponential model to illustrate the compensator and bracket. The calculations here verify the all-pairs martingale contract directly and use the locally proved elementary isometry.
Sources
- Mai Zhou, Notes on Counting Process in Survival Analysis, PDF pp. 6–7 (supplemental intuition only)
- Lu Tian, STAT331 Unit 10: Combining Martingales, Stochastic Integrals, and Applications, PDF p. 4
- P. K. Andersen, Ø. Borgan, R. D. Gill, N. Keiding, Censoring, Truncation and Filtering in Statistical Models Based on Counting Processes, §2, PDF p. 4
- Lu Tian, STAT331 Unit 8: Lebesgue-Stieltjes Integrals, Martingales, Counting Processes, PDF pp. 12–14
- Lu Tian, STAT331 Unit 9: Some Key Results for Counting Process Martingales, PDF pp. 5–6, 11–13
- Richard F. Bass, SDEs with Jumps, Section 2.5, PDF p. 5