Equivalence of branch flow and bus injection models

A branch flow model has recently been proposed for the analysis and optimization of power flows. In this paper we show that the model is equivalent to the more popular bus injection model. Moreover, we prove the equivalence of various relaxations of these two models.