{"id":"palomar/PALOMAR-2026-11-04-000010","url":"https://github.com/mrdouglasny/OSreconstruction-comparator/tree/93cdb40e728ba27b7b1b55efc30d57f7b43de9aa","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-11-04-000010-v1.json","repo":"https://github.com/mrdouglasny/OSreconstruction-comparator","tags":["math-ph","hep-th","msc:81T05","msc:81T08","msc:46F12"],"score":0,"title":"OSreconstruction","trust":"high","domain":"math-ph","source":"palomar","authors":["Xi Yin","Michael R. Douglas","Anna Mei"],"reviews":0,"subject":"math-ph","summary":"A machine-checked proof of the Osterwalder-Schrader correspondence between Euclidean Schwinger functions and relativistic Wightman distributions, in both directions, for every spatial dimension d >= 1. The Euclidean side is a family of Schwinger functions on the zero-diagonal Schwartz space (OS II's test space) satisfying E0-E4; the relativistic side is a family of tempered distributions satisfying the Wightman function axioms (Poincare covariance, spectrum condition, locality, positivity, Hermiticity, clustering). They are linked by a Wick pairing: one holomorphic kernel on the forward tube…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-11-04","reactions":{},"formalized":true,"formalizes":[{"title":"Axioms for Euclidean Green's functions","identifier":"10.1007/BF01645738","relationship":"formalizes"},{"title":"Axioms for Euclidean Green's functions II","identifier":"10.1007/BF01608978","relationship":"formalizes"}]}