[논문 리뷰] On the Convexity of Image of a Multidimensional Quadratic Map

Anatoly Dymarsky|arXiv (Cornell University)|2014. 10. 08.

Matrix Theory and Algorithms참고 문헌 13인용 수 5

한 줄 요약

이 논문은 초평면를 이용해 이미지를 분할하여 콤���act한 볼록 부분을 분리함으로써 다차원 이차형사상의 이미지 볼록성에 대한 충분조건을 제안한다. 계산 가능한 임계값 $ 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.

연구 동기 및 목표

• 일반적인 다차원 이차형사상의 이미지가 볼록이 되는 조건을 규명하는 열린 문제를 다루기.
• 전체 이미지가 볼록이 아닐 경우에도 이미지 내 볼록 부분을 식별하고 특성화하기.
• 초평면에 의한 분할을 통한 무한대에서의 행동 분석을 통해 局부 볼록 조건을 전역 볼록성으로 확장하기.
• 프레임워크를 헤르미트 행렬의 복합 수치 범위와 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) $ 를 통한 $ z_{\text{max}} $ 의 보수적 추정과 직교 변환을 이용한 시스템의 대각화하기.
• 헤르미트 행렬의 $ m $-튜플에 대한 복합 수치 범위에 조건을 적용하여 새로운 볼록성 기준을 도출하기.
• 극한 $ \varepsilon_{\text{max}} \to \infty $ 를 활용하여 국소 볼록성을 전체 이미지의 볼록성으로 확장하기.
• 영 벡터와 이차형식의 명시적 매개변수화를 사용해 특정 예시에서 볼록성 또는 비볼록성을 검증하기.

실험 결과

연구 질문

• RQ1 일반적인 다차원 이차형사상의 이미지가 볼록이 되는 조건은 무엇인가?
• RQ2 전체 이미지가 볼록이 아닐 경우, 이미지 내 볼록 부분을 식별하고 특성화할 수 있는가?
• RQ3 $ c \cdot A $ 의 일반화된 고유값 구조가 이미지 부분의 볼록성 결정에 어떤 역할을 하는가?
• RQ4 헤르미트 행렬의 $ m $-튜플에 대한 복합 수치 범위의 볼록성은 어떻게 특성화할 수 있는가?
• 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-튜플에 대한 복합 수치 범위는 $ z_{\text{max}} $ 가 유한하고 영공간 조건이 만족될 경우 볼록하다.
• 3버스 예시에서 $ y_3 = 1 $ 에서 평평한 가장자리가 형성되어, 볼록 부분의 경계에서 엄밀한 볼록성이 아님을 나타낸다.