Paper VIReading edition

Part II: Extended mathematical development

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Start reading

Resources & source

Original TeX with line links · Download TeX

The wording and mathematics follow the retained manuscript. This reading format does not add a proof review or extend Lean coverage.

Skip contents and start reading

Part II Extended mathematical development

Abstract

A bounded generator and a finite packet system turn a semigroup into a matrix of transfer blocks. We prove convolution, differential, path, Laplace, resolvent, and defect formulas. Exact intertwining yields an inverse limit semigroup. Weighted summable adjacent defects give convergent reconstructed evolutions, while range leakage determines whether the limit remains a semigroup. For finite Markov chains we identify a canonical lumping obstruction and quantify its failure. Conditional expectations give orthogonal martingale packets, and the Ornstein Uhlenbeck semigroup gives a countable Hermite model. Bayesian updating is treated as normalized transfer. We characterize exact coarse sufficiency, determine the coarsest nontrivial fixed sufficient partition for a likelihood family when the common level sets are nontrivial, and split relative information into coarse and local terms. Positive fractional powers are handled through spectral, Balakrishnan, and subordination formulas. Green operators, finite differences, and finite state Feynman Kac formulas provide analytic realizations. Schur Feshbach elimination produces a rational self energy and an exact memory kernel. Every stable finite hidden system yields a polynomial exponential expansion, including Jordan blocks. A certified optimal primary block selection and a Volterra estimate control reduced trajectories. State dependent killing, survival laws, moments, and competing risks complete the finite theory.

Source and conversion record

Source SHA-256: 736e615131f57daf341b6cb0600761d58950450947c85d433206148cca228333

Unsupported prose commands stop the build. The mathematical expression sequence is checked against the source, with manuscript macros expanded for display.

Conversion records

Notation in Paper VI

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index