QFT: relation between Cutkosky's cutting rules and the optical theorem I'm self-studying QFT and am trying to see the relation between Cutkosky rules and the optical theorem, which are presented together as consequences of unitarity in almost every elementary presentation I can find. I think I roughly have a clue what's going on but was hoping someone could confirm/refute!
As I understand it: unitarity of the S-matrix implies the generalised optical theorem, which in the case of forward-scattering allows us to express the imaginary part of a scattering amplitude as a sum over all possible intermediate states. By considering perturbation theory, we see that the imaginary part of a loop corresponds to a sum of tree-level amplitudes.
How exactly this relates to Cutkosky's rule is where I get slightly lost. Zee says in justifying the Cutkosky rules:

"Thus finally, the generalized optical theorem tells that the imaginary part of the Feynman amplitude is given by a sum over intermediate states. The particles in the intermediate state are of course physical and on shell. We are to sum over all possible states allowed by quantum numbers and by the kinematics."

Is it therefore the case that the Cutkosky approach of summing over cuts, putting the propagators on-shell is essentially equivalent to the sum over intermediate states (obviously on-shell) which the optical theorem tells us we can do -- thus meaning the the optical theorem implies the existence of something like the cutting rules? If not, what does the optical theorem actually have to do with the cutting rules, beyond that it involves the imaginary part of a scattering amplitude which the rules help us to compute?
 A: The case is somewhat the opposite. The cutting rules are far more general and can be used to prove the optical theorem at each order in perturbation theory. Furthermore, the cutting rules mean that the generalised optical theorem is a generic statement for all diagrammatic amplitudes, not just S-matrix elements. Additionally, the statement that the imaginary part of loop amplitudes come from intermediate particles going on shell is a consequence of the analytic structure of the Feynman propagator, without having to know anything about the intermediate states present in the theory.
The optical theorem is then kind of a special case of the cutting rules. For example (without having to prove everything to all orders), you can apply the cutting rules to a one-loop diagram for $1\to2\to1$ decay loop, make a change of variables and end up with an integral over your Lorentz-invariant phase space (see e.g. Srednicki, Chapter 25) which yields the mass times decay width - precisely what the optical theorem tells you. You can obtain the cutting rules directly via contour integration, and the method of order reduction by discarding products of propagators is really a statement about their causal (pole) structure (as in Veltman's derivation).
