Unitarity or asymptotic completeness equations and analytic structure of the S matrix and Green functions

Recent axiomatic results on the (non holonomic) analytic structure of the multiparticle S matrix and Green functions are reviewed and related general conjectures are described: (i) formal expansions of Green functions in terms of (holonomic) Feynman-type integrals in which each vertex represents an irreducible kernel, and (ii) ''graph by graph unitarity'' and other discontinuity formulae of the latter. These conjectures are closely linked with unitarity or asymptotic completeness equations, which they yield in a formal sense. In constructive field theory, a direct proof of the first conjecture (together with an independent proof of the second) would thus imply, as a first step, asymptotic completeness in that sense