[論文レビュー] On the Convexity of Image of a Multidimensional Quadratic Map

Anatoly Dymarsky|arXiv (Cornell University)|Oct 8, 2014

Matrix Theory and Algorithms参考文献 13被引用数 5

ひとこと要約

本稿では、超平面による像の分割を用いて、多次元二次写像の像の凸性の十分条件を提案する。コンパクトな凸部分集合を分離し、計算可能な閾値 $ z_{\text{max}} $ を導入して凸部分を特定する。$ z_{\text{max}} $ が無限大である場合、全像の凸性にまで拡張され、その結果をDC潮流方程式の可解領域の凸性の証明に応用する。

ABSTRACT

We study convexity of image of a general multidimensional quadratic map. We split the full image into two parts by an appropriate hyperplane such that one part is compact, and formulate a sufficient condition for convexity of the compact part. We propose a way to identify such convex parts of the full image which can be used in practical applications. By shifting the hyperplane to infinity we extend the sufficient condition for convexity to apply to the full image of the quadratic map. As a related result, we formulate a novel condition for the joint numerical range of m-tuple of hermitian matrices to be convex. Finally, we illustrate our findings by considering several examples. In particular we prove convexity of solvability set for the Power Flow equations in case of DC networks.

研究の動機と目的

• 一般の多次元二次写像の像が凸である条件を特定するという未解決問題に取り組む。
• 全像が凸でない場合でも、その像内に凸部分集合を特定・特徴づける。
• 超平面による分割を用いて、無限遠における挙動を分析することで、局所的凸性条件を全像的凸性へ拡張する。
• 提示された枠組みを、エルミート行列の $ m $ 重組の joint 数値範囲およびDC潮流方程式の可解領域に応用する。

提案手法

• 方向 $ c \in \mathbb{R}^m $ で定義される超平面を用いて、二次写像の像をコンパクト部分と非コンパクト部分に分割する。
• 一般固有値構造 $ c \cdot A $ に基づき、$ \mathscr{F}(f, c_+, z_{\text{max}}) $ が凸となる最大値 $ z_{\text{max}} $ を定義する。
• 行列 $ g_{ij} = \text{Re}(\tilde{v}_i^* \tilde{v}_j) $ を用いた保守的推定と、直交変換による行列の対角化を用いる。
• joint 数値範囲の $ m $ 重組のエルミート行列にこの条件を適用し、新しい凸性基準を導出する。
• $ \varepsilon_{\text{max}} \to \infty $ の極限を用いて、局所的凸性を像全体の凸性へ拡張する。
• 零空間の明示的パラメータ化と二次形式を用いて、特定の例における凸性または非凸性を検証する。

実験結果

リサーチクエスチョン

• RQ1 一般の多次元二次写像の像が凸である条件は何か？
• RQ2 全像が凸でない場合でも、像内に凸部分集合を特定・特徴づけることは可能か？
• RQ3 $ c \cdot A $ の一般固有値構造が、像の部分集合の凸性を決定する上で果たす役割は何か？
• RQ4 エルミート行列の $ m $ 重組の joint 数値範囲の凸性はどのように特徴づけられるか？
• RQ5 DC潮流方程式の可解領域は凸であるか。どのような条件下でそうなるか？

主な発見

• ある $ x_0 $ と $ A_+ \succ 0 $ に対して $ \varepsilon_{\text{max}}(x_0, A_+) $ が無限大である場合、二次写像の像は凸である。これは、新たな十分条件を提供する。
• $ \mathbb{C}^2 \to \mathbb{R}^4 $ の例では、$ -4 \leq y_4 \leq -3 $ で定義されるコンパクト部分は凸であるが、全像は凸でない。
• 提案された枠組みを用いて、DC潮流方程式の可解領域の凸性が証明された。
• 近似手法により $ z_{\text{max}} \approx 1 $ が得られ、保守的推定では $ z \approx 0.61 $ が得られ、最大凸部分集合のおよそ61%がカバーされていると示唆される。
• 4つのエルミート行列の joint 数値範囲は、$ z_{\text{max}} $ が有限でかつ零空間条件を満たす場合、凸である。
• 3母線例では、$ y_3 = 1 $ で平坦な縁が現れ、凸部分の境界で非厳密凸性が示されている。