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.
Temporal point-process models and conditional intensity
Definition
Assume the Axiom of Choice as in Simple counting-process intensity and compensator contract. Fix a finite horizon , a probability space with an increasing filtration in the all-pairs convention of Continuous-time filtrations and all-pairs martingales, and an adapted càdlàg (right-continuous with left limits), nondecreasing, integer-valued process with , almost surely, and jumps outside one null event. Such a process is simple: its event times are strictly ordered, . It is locally finite when it has finitely many events on every finite interval.
For conditional-law calculations, the model supplies a measurable history space , an adapted measurable history random element recording the initial information and events observed through time , and a measurable update map that appends an event at time . Write and let record only events strictly before . Relevant exogenous covariates are included in the supplied history. Measurability has the meaning of A measurable function between measurable spaces. Predictability is measurability for the predictable sigma-algebra generated by with and the time-zero generators, as in Progressively measurable and predictable processes.
The model supplies a probability kernel on for the next event time given history at time (Measure kernel and probability kernel, Conditional law given a random element); its finite-time density versions are jointly measurable in . The value means that no later event occurs. If the finite-time measure is absolutely continuous with respect to Lebesgue measure (Absolute continuity of a signed or complex measure with respect to a positive measure, Lebesgue measurable sets, the family , and the restricted set function , Assuming countable choice, every Borel subset of is Lebesgue measurable), let be its supplied nonnegative Radon--Nikodym density (The Radon-Nikodym derivative as an almost-everywhere equivalence class). Write for its survivor and define its no-event conditional hazard by Assume these hazards are locally integrable on every finite interval. The model also supplies a nonnegative predictable effective-intensity process compatible with these waiting-time hazards: for each history at time , on its supplied measurable no-event continuation up to , the pre-event intensity agrees with for Lebesgue-almost every . The jointly measurable hazard representatives used in the event-density factors are these same versions on their proper domains . Compatibility with the predictable process is a model requirement, not an evaluation of a waiting-time density at its excluded left endpoint. This pre-event convention means the event at does not change its own intensity.
The temporal conditional-intensity model requires both this hazard-compatible conditional law and the separate counting-process compensator contract of Simple counting-process intensity and compensator contract: if an at-risk indicator and intensity density are separately specified, the effective intensity is ; without an at-risk indicator, it is . Then is finite pathwise, continuous, adapted and predictable, , and is a square-integrable martingale in the all-pairs convention of Continuous-time adapted processes and martingales. At-risk exposure, if present, is part of the effective intensity. The compensator clause is a model assumption: a displayed hazard formula alone proves neither that a process with this law exists nor that the martingale contract holds. No stationarity or non-explosion claim follows from writing an intensity specification.
Source notes
Rasmussen defines conditional intensity through the conditional waiting-time hazard and makes the terminating-process case explicit. Kass, Eden, and Brown use the pre-event history convention and distinguish an intensity formula from the assumptions needed for a point-process law. The local compensator contract is inherited exactly from the counting-process page.
Depends on
- Simple counting-process intensity and compensator contract
- Continuous-time filtrations and all-pairs martingales
- Continuous-time adapted processes and martingales
- Progressively measurable and predictable processes
- A measurable function between measurable spaces
- Measure kernel and probability kernel
- Conditional law given a random element
- Absolute continuity of a signed or complex measure with respect to a positive measure
- The Radon-Nikodym derivative as an almost-everywhere equivalence class
- Lebesgue measurable sets, the family $\mathcal{L}(\mathbb{R}^n)$, and the restricted set function $\lambda_n$
- Assuming countable choice, every Borel subset of $\mathbb{R}^n$ is Lebesgue measurable
- The Axiom of Choice
Used by
Dependency tree · two levels
41 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
- Joseph G. Rasmussen, Lecture Notes: Temporal Point Processes and the Conditional Intensity Function (standard reference, not scraped)
- Robert E. Kass, Uri T. Eden, and Emery N. Brown, Analysis of Neural Data, Chapter 19: Point Processes (standard reference, not scraped)