[논문 리뷰] Z-tensors and complementarity problems

M. Seetharama Gowda, Ziyan Luo외 2명|arXiv (Cornell University)|2015. 10. 27.

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

한 줄 요약

이 논문은 Z-텐서—비대각성 요소가 모두 음이 아닌 텐서—를 이용하여 텐서 보완성 문제를 도수 이론적 방법으로 연구한다. 전역 해가 존재하는 조건을 등가 조건으로 규명하고, 특히 특정 구조적 제약 조건을 가진 강한 M-텐서에 대해 유일한 해가 존재하는 충분조건을 제시한다.

ABSTRACT

Tensors are multidimensional analogs of matrices. In this paper, based on degree-theoretic ideas, we study homogeneous nonlinear complementarity problems induced by tensors. By specializing this to $Z$-tensors (which are tensors with non-positive off-diagonal entries), we describe various equivalent conditions for a $Z$-tensor to have the global solvability property. We show by an example that the global solvability need not imply unique solvability and provide a sufficient and easily checkable condition for unique solvability.

연구 동기 및 목표

• 텐서 보완성 문제에서 Z-텐서의 전역 해 존재 성질을 위상수학적 도수 이론을 통해 특성화하는 것.
• 모든 우변 벡터 q에 대해 해가 존재하도록 보장하는 Z-텐서의 등가 조건을 규명하는 것.
• 특히 강한 M-텐서에 대해 텐서 보완성 문제의 유일한 해 존재 조건을 확립하는 것.
• F(x) = Ax^{m-1}의 사상의 전사성과 보완성 문제에 대한 영향을 탐구하는 것.
• Z-텐서의 맥락에서 P-텐서와 전역적으로 유일하게 해가 존재하는(GUS) 성질의 이해를 정교화하는 것.

제안 방법

• 텐서에 의해 유도되는 동차 비선형 보완성 문제의 해 존재성을 분석하기 위해 도수 이론적 방법을 적용한다.
• 비음성 텐서 B를 사용해 A = rI - B로 표현함으로써 Z-텐서와 그 스펙트럼 성질을 연구한다.
• 강한 M-텐서(r > ρ(B), 여기서 ρ(B)는 B의 스펙트럼 반경) 개념을 핵심적인 구조 클래스로 활용한다.
• 양의 대각행렬 D를 사용한 대각 스케일링 변환을 통해 텐서 A를 엄격하게 대각지배적인 Z-텐서 Ā로 변환한다.
• 구성 요소별 부등식에 기반한 모순 증명을 통해 특정 구조적 제약 조건 하에서 해의 유일성을 입증한다.
• 도수 이론 조건 하에서 Q-성질, 전역 해 존재성, 그리고 F(x) = Ax^{m-1}의 전사성 간의 등가성을 확립한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 Z-텐서가 Q-성질을 보장하는가? 즉, 모든 q ∈ R^n에 대해 TCP(A, q)가 해를 갖는가?
• RQ2 Z-텐서의 어떤 구조적 성질이 텐서 보완성 문제의 유일한 해 존재를 보장하는가?
• RQ3 도수 이론적 접근은 텐서 보완성 문제의 해 존재성을 특성화하는 데 어떻게 기여하는가?
• RQ4 강한 M-텐서의 구조와 텐서 보완성 문제에서의 전역적으로 유일하게 해가 존재하는(GUS) 성질 간의 관계는 무엇인가?
• RQ5 특정 요소 제약 조건 하에서 텐서 A에 대해 해의 유일성이 보장될 수 있는가?

주요 결과

• 일부 도수 이론 조건 하에서 Z-텐서가 Q-성질(전역 해 존재성)을 갖는다 하는 것과 강한 M-텐서임이 등가이다.
• 논문은 해의 존재가 보장되는 충분조건을 제공하며, 이 조건은 쉽게 검증할 수 있다: 강한 M-텐서 A가 m-선형 형태에서 모든 인덱스가 동일한 경우를 제외하고 대각성 요소가 0이면, 임의의 q에 대해 TCP(A, q)는 유일한 해를 갖는다.
• 양의 대각행렬 D를 사용한 변환 Ā = A D^{m-1}을 통해 엄격하게 대각지배적인 Z-텐서 Ā를 얻을 수 있으며, 이는 해의 유일성 증명에 유리하다.
• 강한 M-텐서에 대해 F(x) = Ax^{m-1}의 사상은 전사적이다. 이는 모든 q에 대해 해가 존재함을 뒷받침한다.
• GUS-성질은 a_{i i2...im} = 0 (i_j ≠ i_k for some j ≠ k) 조건 하에서 확립되며, 구성 요소 차이에 대한 모순을 통해 유일성을 보장한다.
• 증명 기법은 두 개의 서로 다른 해의 구성 요소 차이에 대한 부등식에 기반한 모순을 이용하며, 엄격한 대각지배성과 Z-텐서의 구조를 활용한다.