{"id":"arxiv/2609.10793","url":"https://arxiv.org/abs/2609.10793","tags":["math-ph"],"score":0,"title":"Henstock--Kurzweil Gauge Integral in the Non--Gaussian Regime: A Machine--Verified Construction","domain":"math-ph","source":"arxiv","authors":["Yuri N. Berdinsky"],"reviews":0,"subject":"math-ph","summary":"We develop a machine-checked construction of non-Gaussian functional integrals using the Henstock--Kurzweil gauge integral and Chernoff product approximations. The central object is a finite family of bosonic modes with action S(phi) = (1/2) phi^T A phi + lambda * sum_i phi_i^4, where A is positive definite. We prove that the one-mode integral I(omega, j, lambda) is finite, strictly positive, monotone and infinitely differentiable in the coupling lambda on [0, infinity). Its derivatives are given by convergent integrals of phi^{4k} with the same weight, not by the divergent perturbative…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-09","reactions":{}}