[논문 리뷰] Generalized Eigenvalue Complementarity Problem for Tensors

Zhongming Chen, Qingzhi Yang외 1명|arXiv (Cornell University)|2015. 05. 11.

Tensor decomposition and applications참고 문헌 21인용 수 17

한 줄 요약

이 논문은 텐서에 대한 일반화된 고유값 보완문제(GEiCP-T)를 소개하며, 이론적 기초를 구축하고 대칭 케이스에 대해 이동 이동력법을 제안한다. 존재성 및 유일성 조건을 증명하고, 해의 존재성 문제가 NP-난이도임을 보이며, 알고리즘의 단조 수렴성을 수치적 검증과 함께 입증한다.

ABSTRACT

In this paper, the generalized eigenvalue complementarity problem for tensors (GEiCP-T) is addressed, which arises from the stability analysis of finite dimensional mechanical systems and find applications in differential dynamical systems. The general properties of the (GEiCP-T) have been studied. We establish its relationship with the generalized tensor eigenvalue problem. It follows that if exist, the number of $λ$-solutions can be bounded. We also give some sufficient conditions for the existence of the solution. In particular, there exists a unique solution of the (EiCP-T) (i.e., $J=[n]$) for irreducible nonnegative tensors. For the symmetric case, we derive a sufficient and necessary condition for the solvability of the (GEiCP-T) by reformulating it as a nonlinear program. It has also been proved that deciding the solvability of the (EiCP-T) is NP-hard in general. Moreover, a shifted projected power method is proposed to solve the symmetric (GEiCP-T). The monotonic convergence is also established. The numerical experiments demonstrate convergence behavior of our method and show that the algorithm presented is promising.

연구 동기 및 목표

• 기계 시스템 안정성과 미분 동역학계에서 발생하는 텐서에 대한 일반화된 고유값 보완문제(GEiCP-T)를 조사하기 위해.
• GEiCP-T의 이론적 성질을 수립하기 위해, 존재성, 유일성, 그리고 λ-해의 수에 대한 경계를 포함한다.
• 비선형 프로그래밍으로 문제를 재구성함으로써 대칭 케이스에서의 해가 존재하는 충분 및 필요 조건을 유도하기 위해.
• 해결 가능한 대칭 GEiCP-T를 위한 이동 이동력법을 제안하고, 단조 수렴성이 입증된 분석을 수행하기 위해.
• 수렴 행동을 보여주는 수치 실험을 통해 알고리즘의 효과성을 입증하기 위해.

제안 방법

• 대칭 GEiCP-T를 비선형 최적화 문제로 재구성하여, 해가 존재하는 데 필요한 충분 및 필요 조건을 도출하기 위해.
• 대칭 텐서에 특화된 이동 이동력법을 제안하며, 수렴성을 향상시키기 위해 투영 및 이동 메커니즘을 통합하기 위해.
• 반복 업데이트 동역학과 내림막 성질을 분석함으로써 알고리즘의 단조 수렴성을 확립하기 위해.
• GEiCP-T와 일반화된 텐서 고유값 문제 간의 관계를 이용하여 λ-해의 수를 경계하기 위해.
• 비가역 비음성 텐서에 대한 이론적 결과를 적용하여 특정 조건 하에서 유일한 해가 존재함을 증명하기 위해.
• 수치 실험을 통해 제안된 방법의 수렴성과 성능을 검증하기 위해.

실험 결과

연구 질문

• RQ1 일반화된 고유값 보완문제(GEiCP-T)가 해를 가지는 조건는 무엇이며, 최대 몇 개의 λ-해가 존재할 수 있는가?
• RQ2 GEiCP-T와 일반화된 텐서 고유값 문제 간의 관계는 무엇이며, 이를 통해 해의 수를 경계하는 데 어떻게 활용할 수 있는가?
• RQ3 EiCP-T(일반화된 GEiCP-T의 특수 케이스)의 해 존재성 결정 문제는 일반적으로 NP-난이도인가? 그 의미는 무엇인가?
• RQ4 대칭 GEiCP-T의 해 존재성에 필요한 충분 조건은 무엇이며, 이를 비선형 프로그래밍 재구성에서 어떻게 도출할 수 있는가?
• RQ5 보장된 수렴성을 갖는 이동 이동력법을 대칭 GEiCP-T를 해결하기 위해 설계할 수 있으며, 수치적으로는 어떻게 성능을 보이는가?

주요 결과

• GEiCP-T의 λ-해의 수는 일반화된 텐서 고유값 문제와의 관계를 바탕으로 경계될 수 있다.
• 텐서가 비가역적이고 비음성일 경우 EiCP-T에 대해 유일한 해가 존재한다.
• EiCP-T의 해 존재성 결정 문제는 일반적으로 NP-난이도이므로, 임의의 인스턴스에 대해 계산적으로 해결이 불가능함을 시사한다.
• 대칭 GEiCP-T의 경우, 비선형 프로그래밍 재구성으로부터 해가 존재하는 필요 및 충분 조건이 도출된다.
• 제안된 이동 이동력법은 대칭 GEiCP-T에서 단조 수렴성을 보이며, 안정적인 반복값을 보장한다.
• 수치 실험을 통해 수렴 행동이 확인되었으며, 실용적 계산에서 알고리즘이 유망한 성능을 보임을 입증한다.