[论文解读] Nondegeneracy and Inexactness of Semidefinite Relaxations of Optimal Power Flow

Raphael Louca, Peter Seiler+1 more|arXiv (Cornell University)|Nov 17, 2014

Optimal Power Flow Distribution参考文献 2被引用 15

一句话总结

本文通过证明：若等式约束和活跃不等式约束的数量至少为母线数的两倍，则最优功率流（OPF）问题的半定松弛解的秩必然大于1，从而证明了半定松弛解不精确。该结论适用于任意网络拓扑结构，包括辐射状网络，并通过标准测试案例的实证验证得到支持。

ABSTRACT

The Optimal Power Flow (OPF) problem can be reformulated as a nonconvex Quadratically Constrained Quadratic Program (QCQP). There is a growing body of work on the use of semidefinite programming relaxations to solve OPF. The relaxation is exact if and only if the corresponding optimal solution set contains a rank-one matrix. In this paper, we establish sufficient conditions guaranteeing the nonexistence of a rank-one matrix in said optimal solution set. In particular, we show that under mild assumptions on problem nondegeneracy, any optimal solution to the semidefinite relaxation will have rank greater than one, if the number of equality and active inequality constraints is at least twice the number of buses in the network. The sufficient condition holds for arbitrary network topologies (including tree networks). We empirically evaluate the practical implications of these results on several test cases from the literature.

研究动机与目标

• 理解半定松弛技术在求解非凸最优功率流（OPF）问题时的局限性。
• 识别半定松弛不精确的充分条件，即不存在秩一解的情况。
• 将现有精确性结果——此前仅限于辐射状网络和特定可行性条件——推广至树状结构网络之外。
• 在标准电力系统测试案例上对理论发现进行实证验证，展示在实际运行方式下松弛解的不精确性。

提出的方法

• 利用半定规划中的对偶非退化性，建立原始最优解的唯一性。
• 运用非退化性理论，推导半定松弛中存在秩一解的必要条件。
• 将OPF问题表述为非凸二次约束二次规划（QCQP），并通过提升至正半定矩阵锥实现半定松弛。
• 推导出不精确性的充分条件：若等式约束和活跃不等式约束的数量至少为母线数的两倍，则所有最优解的秩必须大于1。
• 将该理论应用于标准IEEE测试系统（如34母线、118母线），使用数值求解器并改变参数化负荷，以评估松弛性能。
• 验证高秩解满足推导出的不精确性条件 $ m + a(X) \geq 2n $，而秩一解满足 $ m + a(X) = 2n - 1 $。

实验结果

研究问题

• RQ1 在何种条件下，OPF问题的半定松弛无法产生秩一解，从而导致不精确？
• RQ2 能否推导出与网络拓扑无关的不精确性充分条件，包括适用于辐射状网络？
• RQ3 活跃约束数量与半定松弛中最优解的秩之间有何关系？
• RQ4 不精确性条件在实际电力系统中不同负荷水平下的适用程度如何？
• RQ5 非退化性假设能否用于保证半定OPF松弛中最优解的唯一性与秩特性？

主要发现

• 对于任意满足等式约束与活跃不等式约束数量至少为母线数两倍的OPF问题，半定松弛无法产生秩一解，意味着其不精确。
• 在IEEE 34母线辐射状网络中，93.69%的测试负荷水平导致高秩（秩 >1）最优解，表明不精确性普遍存在。
• 34母线案例中观察到的所有高秩解均满足充分不精确性条件 $ m + a(X) \geq 2n $，而所有秩一解均满足 $ m + a(X) = 2n - 1 $。
• 理论上的不精确性条件与网络拓扑无关，即使在辐射状网络中也成立，挑战了此类网络中松弛解精确的既定假设。
• 实证结果表明，即使在辐射状网络中，半定松弛在多数实际负荷水平下仍为不精确。
• 在所有测试的负荷水平中均观察到对偶非退化性，确保了原始解的唯一性，从而增强了数值结果的可靠性。