The BPHZ renormalised BV master equation and Two-loop Anomalies in Chiral Gravities

Anomalies and BRST invariance are governed, in the context of Lagrangian Batalin-Vilkovisky quantization, by the master equation, whose classical limit is $(S, S)=0$. Using Zimmerman's normal products and the BPHZ renormalisation method, we obtain a corresponding local quantum operator equation, which is valid to all orders in perturbation theory. The formulation implies a calculational method for anomalies to all orders that is useful also outside the BV context and that remains completely within regularised perturbation theory. It makes no difference in principle whether the anomaly appears at one loop or at higher loops. The method is illustrated by computing the one- and two-loop anomalies in chiral $W_3$ gravity.Comment: 44 pages, LaTex. 4 figures, epsf. Discussion in section 4 extended, assorted small modifications, 3 references added. As it will be published in NP

Complexity Results for the Spanning Tree Congestion Problem

We study the problem of determining the spanning tree congestion of a graph. We present some sharp contrasts in the complexity of this problem. First, we show that for every fixed k and d the problem to determine whether a given graph has spanning tree congestion at most k can be solved in linear time for graphs of degree at most d. In contrast, if we allow only one vertex of unbounded degree, the problem immediately becomes NP-complete for any fixed k ≥ 10. For very small values of k however, the problem becomes polynomially solvable. We also show that it is NP-hard to approximate the spanning tree congestion within a factor better than 11/10. On planar graphs, we prove the problem is NP-hard in general, but solvable in linear time for fixed k