Algebraic Completeness of Feynman Premeasures: The Henstock-Kurzweil Path Integral and Operator Wick Calculus in Lean 4
math-ph, math.MP
Submitted: 2026-10-27
Updated: 2026-10-27
Related papers
- Pure gapped ground states of spin chains are short-range entangled
- A sharp gradient-corrected Lieb--Thirring inequality in one dimension with applications to density functional theory
- Dynamical Coherence Measures
- Multipartite entanglement spreads
- Central Limit Theorems for Outcome Records in Disordered Quantum Trajectories
- The Classification of 3+1d Symmetry Enriched Topological Order