Consider a general Euclidean QFT (or its lattice regularization).
Given a list of all correlators of operators in this theory, and given that they are reflection-positive, how can one explicitly reconstruct the Hilbert space of the real-time theory on any time slice in such a way that the contact terms that appear at coincident points in correlators are also uniquely fixed?
Inclusion of citations to key references is appreciated.