Perturbation theory for O(3) topological charge correlators

To check the consistency of positivity requirements for the two-point correlation function of the topological charge density, which were identified in a previous paper, we are computing perturbatively this two-point correlation function in the two-dimensional O(3) model. We find that at the one-loop level these requirements are fulfilled.