[論文レビュー] Facet-Defining Inequalities for the Angle-Based DC Optimal Transmission Switching Formulation

Behnam Jabbari-Marand, Adolfo R. Escobedo|arXiv (Cornell University)|Jan 30, 2026

Optimal Power Flow Distribution被引用数 0

ひとこと要約

論文は拡張定式化と新しいファセット定義不等式を開発し、角度差の境界を緊める角度ベースの DC-OTS において longest-path 問題の解法に依存せずに済ませる。

ABSTRACT

The switching of transmission lines can significantly improve the economic and operational efficiency of power systems. The Direct-Current Optimal Transmission Switching (DC-OTS) problem provides a formal framework for minimizing power generation costs by reconfiguring the transmission network topology under a linearized power flow model. DC-OTS is typically formulated as a mixed-integer linear program that incorporates disjunctive constraints to capture the required relationships between certain variables via big-M parameters. More specifically, these parameters represent upper bounds on voltage angle differences across non-operational transmission lines. In practice, overly conservative (and arbitrary) bounds tend to be used. The belief is that tightening these values requires the solution of the computationally intractable longest path problem. This work challenges that view through a novel polyhedral analysis of the angle-based DC-OTS formulation. We construct an extended formulation for the convex hull of an angle-based relaxation and derive facet-defining inequalities that tighten angle-difference bounds.

研究の動機と目的

• 角度ベースの DC-OTS の公式化において、NP困難な longest-path 問題を解くことなく角度差の境界を厳しくする。
• 角度ベースの緩和の凸包を記述する拡張定式化を開発する。
• 角度変数包含サブ構造に対してファセット定義となる有効不等式を導出する。
• 多面体解析を通じてループと経路ベースの不等式を結びつけ、緩和をより厳しくする。

提案手法

• DC-OTS モデルの角度変数を含む cycle ベースの緩和を定義・分析する。
• 分離する disjunctive 構造を記述するためにパス状態指標と McCormick リ lifting を用いた拡張定式化を構築する。
• 拡張定式化を元の変数へ射影することにより cycle 誘発の経路ベース不等式 (C-PVIs) を導出する。
• 得られた不等式が角度緩和サブ構造の凸包を記述しファセット定義であることを証明する。
• 特定の補助変数に対して LP 極点が整数となることを証明し、局所的に理想的（鋭い）定式化を得る。
• 経路ベースとサイクルベースのアプローチを関連づけ、既存の cycle-based cuts を超える角度差の境界の緊小化を図る。

実験結果

リサーチクエスチョン

• RQ1 DC-OTS の角度を含むサブ構造の凸包をサイクル全体にわたって特徴づけられるか。
• RQ2 経路ベースおよびサイクルベースの不等式は、角度変数を含まない従来の cycle-based 不等式よりも緩和を厳しくできるか。
• RQ3 新たに導出された C-PVIs は角度緩和領域の凸包をファセット定義するか。
• RQ4 拡張定式化は局所的に理想的で鋭い、射影時に正確な凸包記述を保証するか。

主な発見

• 拡張定式化が disjunctive 分解を介して conv(R^{δθ,y}_{+_{⟨m,n⟩}}) を正確に記述する。
• cycle 誘発の経路ベース不等式 (C-PVIs) が元の (δθ, y) 空間での凸包を記述する。
• C-PVIs が conv(R^{δθ,y}_{+_{⟨m,n⟩}}) のファセット定義であることを証明する。
• 拡張定式化は局所的に理想的で、LP 極点が整数の補助変数を持つため鋭い射影をもたらす。
• 本研究は経路ベースとサイクルベースのポリヘドリカル洞察を結びつけ、DC-OTS における角度差境界をより厳格化する。