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.

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 T>0, a probability space with an increasing filtration (Ft) 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 N with N0=0, NT<∞ almost surely, and jumps ΔNt∈{0,1} outside one null event. Such a process is simple: its event times are strictly ordered, 0<T1<⋯<TNT≤T. 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 (H,G), an adapted measurable history random element Ht recording the initial information and events observed through time t, and a measurable update map h↦h⊕u that appends an event at time u. Write Ht:=σ(Ht) and let Ht− record only events strictly before t. 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 (s,u]×A with A∈Fs and the time-zero generators, as in Progressively measurable and predictable processes.

The model supplies a probability kernel Kt,h on (t,∞] for the next event time given history h at time t (Measure kernel and probability kernel, Conditional law given a random element); its finite-time density versions are jointly measurable in (t,h,u). 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 L(Rn), and the restricted set function λn, Assuming countable choice, every Borel subset of Rn is Lebesgue measurable), let ft,h be its supplied nonnegative Radon--Nikodym density (The Radon-Nikodym derivative as an almost-everywhere equivalence class). Write St,h(u):=Kt,h((u,∞]) for its survivor and define its no-event conditional hazard by λt,h∗(u):=ft,h(u)St,h(u)where St,h(u)>0. 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 h at time t, on its supplied measurable no-event continuation up to u>t, the pre-event intensity λ∗(u∣hu−) agrees with λt,h∗(u) for Lebesgue-almost every u. The jointly measurable hazard representatives used in the event-density factors are these same versions on their proper domains u>t. 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 u 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 Y and intensity density λ are separately specified, the effective intensity is λ∗=Yλ; without an at-risk indicator, it is λ∗. Then At=∫0tλ∗(u) du is finite pathwise, continuous, adapted and predictable, E[AT]<∞, and N−A 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

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