[논문 리뷰] The Sparsest Solutions to $Z$-Tensor Complementarity Problems

Ziyan Luo, Liqun Qi외 1명|arXiv (Cornell University)|2015. 05. 05.

Tensor decomposition and applications참고 문헌 34인용 수 12

한 줄 요약

이 논문은 약간의 조건 하에 Z-텐서 보완문제(ZTCPs)의 가장 흐린 해를 다항계획문제에 선형 목표함수를 적용하여 정확히 구할 수 있음을 증명한다. 주요 기여는 Z-텐서의 구조에 기반한 검증 가능한 정확한 이완 조건을 제시하는 것으로, 이는 NP-난이도의 $\olcurly{0}$-노름 최소화를 피하고 다항최적화를 통해 가장 흐린 해를 확보할 수 있도록 보장한다.

ABSTRACT

Finding the sparsest solutions to a tensor complementarity problem is generally NP-hard due to the nonconvexity and noncontinuity of the involved $\ell_0$ norm. In this paper, a special type of tensor complementarity problems with $Z$-tensors has been considered. Under some mild conditions, we show that to pursuit the sparsest solutions is equivalent to solving polynomial programming with a linear objective function. The involved conditions guarantee the desired exact relaxation and also allow to achieve a global optimal solution to the relaxed nonconvex polynomial programming problem. Particularly, in comparison to existing exact relaxation conditions, such as RIP-type ones, our proposed conditions are easy to verify.

연구 동기 및 목표

• 비볼록성과 비연속성으로 인해 $\nolcurly{0}$-노름 최소화가 NP-난이도가 되는 텐서 보완문제(TCPs)에서 가장 흐린 해를 찾는 데 도전한다.
• Z-텐서 TCP의 가장 흐린 해가 볼록 또는 다항 이완을 통해 정확히 복원될 수 있는 조건을 규명한다.
• 다항제약 조건이 있는 TCP에서 가장 흐린 해 문제를 해결하기 위한 계산적으로 타당한 방법을 개발한다.
• 기존의 정확한 이완 조건(예: RIP 유형)을 비선형적이고 고차원 텐서 환경으로 일반화하여 검증 가능성을 향상시킨다.
• Z-텐서의 구조가 고정점 반복과 다항계획을 통해 전역 최적화를 가능하게 하여 해의 유일성과 희박성 보장함을 수립한다.

제안 방법

• 텐서 보완 제약 조건 하에 $\nolcurly{0}$-노름 최소화 문제로 가장 흐린 해 문제를 수립: $x \ne 0$, $\nolcurly{A}x^{m-1} - b \ne 0$, 및 $\nolcurly{A}x^{m-1} - b \ne 0$.
• 텐서 보완 시스템에 기반한 고정점 사상 $T_{s,\nolcurly{B},b}$를 도입하며, $Z$-함수들의 단조성과 연속성을 활용한다.
• Z-텐서 이론과 강한 $M$-텐서 이론을 적용하여 탇합 집합 내에서 최소 해의 존재성과 유일성을 보장한다.
• 고정점 정리(A1976, DW2015)를 적용하여 $[\nolcurly{A}^{-1}b]^{1/(m-1)}$-스케일된 구간 내에 해 $x^*$의 존재를 증명한다.
• 원래 $\nolcurly{0}$-노름 문제의 가장 흐린 해와 선형 목표함수를 갖는 다항계획의 유일한 해 사이의 동치성을 수립한다.
• 결과를 $\nolcurly{P}^{Z}_{m,n}$ 내 텐서, 즉 순열 행렬을 통해 Z-텐서로 변환 가능한 텐서로 일반화하며, 정확한 이완 성질을 유지한다.

실험 결과

연구 질문

• RQ1 Z-텐서 보완문제의 가장 흐린 해가 다항계획을 통해 정확히 복원될 수 있는 조건는 무엇인가?
• RQ2 TCPs 내의 $\nolcurly{0}$-노름 최소화가 전역 최적성을 유지하면서 선형 목표함수를 갖는 다항계획으로 이완될 수 있는가?
• RQ3 Z-텐서의 구조는 정확한 이완과 가장 흐린 해의 유일성을 어떻게 가능하게 하는가?
• RQ4 제안된 정확한 이완 조건은 기존의 조건들(예: RIP 또는 영공간 성질)에 비해 검증 가능성 면에서 어떻게 비교되는가?
• RQ5 이 방법은 Z-텐서가 아니지만 순열에 의해 Z-텐서로 변환 가능한 텐서로도 확장 가능한가?

주요 결과

• Z-텐서 보완문제의 가장 흐린 해는 선형 목표함수를 갖는 다항계획 문제의 유일한 해로 정확히 복원 가능하다.
• 만약 $\nolcurly{A}$가 Z-텐서이고 $b \ne 0$이면, 텐서 보완문제의 해 $x^*$는 타당 집합 내에서 유일한 최소 원소이며, 동시에 가장 흐린 해이다.
• 강한 $M$-텐서의 경우, 이완된 문제 $(P_1)$는 유일한 해를 가지며, 이는 원래 문제 $(P_0)$의 가장 흐린 해와 일치한다.
• 제안된 정확한 이완 조건은 기존의 조건들(예: RIP 또는 영공간 성질)에 비해 검증이 매우 용이하다.
• 해결 방법은 $\nolcurly{P}^{Z}_{m,n}$ 내 텐서, 즉 순열 행렬을 통해 Z-텐서로 변환 가능한 텐서로도 확장 가능하며, 정확한 복원을 유지한다.
• 고정점 반복 방법(예: Gauss–Seidel)을 통해 효율적으로 해를 계산할 수 있다. 왜냐하면 사상 $T_{s,\nolcurly{B},b}$가 $\nolcurly{R}^n_+$ 위에서 연속적이고 단조 증가하기 때문이다.