I. Introduction
The power flow equations describe the steady-state transmission of power through an AC power grid, and are the basis for all power system analysis, operations, and control. These nonlinear equations are often included as equality constraints in power system optimization problems, or are solved as a subroutine within larger algorithms. While many problems only require the power flow equations to be solved once, applications such as contingency analysis and security-constrained dispatch/unit commitment require the repeated solution of many large power flow problems. This spectrum of requirements is matched by a spectrum of power flow models and solution algorithms, which range from exact to approximate. At one end of this spectrum are solution techniques such as Newton-Raphson and its derivatives. These algorithms precisely solve the power flow equations with no approximations, but are costly computationally, and their convergence is difficult to theoretically characterize [1], [2].