Henstock--Kurzweil Gauge Integral in the Non--Gaussian Regime: A Machine--Verified Construction
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.10793
curl -X POST /api/v1/records/arxiv/2609.10793/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.10793/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'