Differentiating Through Power Flow Solutions for Admittance and Topology Control

First we prove the claim for the case where the system has no phase-shifting transformers.

Note that for any number of buses n, there exists a mapping \mathsf{A}_{(\cdot)} : n \mapsto \{-1,0,1\}^{n(n-1)/2 \times n} to the unique incidence matrix of a complete undirected graph with a self-edge at every node. Denote the i-th standard basis vector in \mathbb{R}^d as \boldsymbol{e}^{d}_i \in \mathbb{R}^d; we then have that \mathsf{A} takes the form

where \boldsymbol{1}_d and \boldsymbol{0}_d denote d-dimensional vectors of all ones and zeros, respectively, and \mathbf{I}_d denotes an identity matrix of dimension d \times d. The \mathbf{I}_n block concatenated at the bottom of (?) is due to the presence of self edges at every node. We remark that for any possible topology weights \boldsymbol{w}, we have

which yields the desired representation of the power flow equations.

The case where the system has phase-shifting transformers is proven in the same way, with the only difference that now \mathsf{A}_n has the form

where \boldsymbol{A}(n) is the generalized incidence matrix (see [turizo2023]) of a complete n-node graph without self edges, and with phase-shifts chosen to match those of the system transformers.

Denote the real and imaginary components of the vectorized admittance weights as \boldsymbol{g} := \operatorname{Re}\{\boldsymbol{w}\} and \boldsymbol{b} := \operatorname{Im}\{ \boldsymbol{w}\}. Then, by applying Lemma 1, we can construct the topology-parameterized power flow equations (?) in terms of polar coordinates for the state as the function

There is a mapping \boldsymbol{\kappa} : \mathbb{R}^n \times \mathbb{R}^n \times \mathbb{R}^{n(n-1)/2} \times \mathbb{R}^{n(n-1)/2} \to \mathbb{R}^{(2n-g)} parameterized by the network topology parameters \boldsymbol{g},\boldsymbol{b} with entries of the form

such that \boldsymbol{\kappa}(\boldsymbol{v}^\bullet_\mathcal{P},\boldsymbol{\delta}^\bullet;\boldsymbol{g}^\bullet,\boldsymbol{b}^\bullet) = \boldsymbol{0}_{2n-g}. Let \partial \boldsymbol{\kappa} denote the derivative of \boldsymbol{\kappa} with respect to the power system state at (\boldsymbol{v}^\bullet_\mathcal{P},\boldsymbol{\delta}^\bullet;\boldsymbol{g}^\bullet,\boldsymbol{b}^\bullet), then

where \boldsymbol{J}(\boldsymbol{v}_\mathcal{P},\boldsymbol{\delta}) is the standard power flow Jacobian matrix in polar coordinates. If Assumption 1 holds, then \boldsymbol{J}(\boldsymbol{v}^\bullet_\mathcal{P},\boldsymbol{\delta}^\bullet) is non-singular, so \partial \boldsymbol{\kappa} is non-singular as well. By the Implicit Function Theorem, there exists unique, continuously differentiable functions \boldsymbol{v}_\mathcal{P}(\boldsymbol{g},\boldsymbol{b}) and \boldsymbol{\delta}(\boldsymbol{g},\boldsymbol{b}) defined in a neighborhood of (\boldsymbol{g}^\bullet,\boldsymbol{b}^\bullet) such that \boldsymbol{v}_\mathcal{P}(\boldsymbol{g}^\bullet,\boldsymbol{b}^\bullet) = \boldsymbol{v}_\mathcal{P}^\bullet, \boldsymbol{\delta}(\boldsymbol{g}^\bullet,\boldsymbol{b}^\bullet) = \boldsymbol{\delta}^\bullet, and \boldsymbol{\kappa}(\boldsymbol{v}_\mathcal{P}(\boldsymbol{g},\boldsymbol{b}),\boldsymbol{\delta}(\boldsymbol{g},\boldsymbol{b});\boldsymbol{g},\boldsymbol{b}) = \boldsymbol{0}_{2n-g} for all (\boldsymbol{g}, \boldsymbol{b}) in the neighborhood. Moreover, the derivatives of these functions satisfy

so by construction the claim holds.