Examines Chernoff product formula in bounded generators, suggesting advancements in functional integration.
This preprint establishes the Chernoff product formula in the Henstock–Kurzweil (HK) setting. It proves the formula for bounded generators in a Banach algebra, extends it to the strong operator topology on a Hilbert space, and applies it to the harmonic oscillator to derive the Mehler kernel. All proofs are formalised in Lean 4 / Mathlib and are sorry‑free. The work is Part II of a programme on HK functional integration.
No takes yet. Share an insight, caveat, or question.
Berdinsky et al. (2026) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: