[논문 리뷰] An efficient nonnegativity preserving algorithm for multilinear systems with nonsingular M-tensors

Xueli Bai, Hongjin He외 2명|arXiv (Cornell University)|2018. 11. 25.

Tensor decomposition and applications인용 수 9

한 줄 요약

이 논문은 비특이 M-텐서와 비음수 우항을 포함하는 다중선형 시스템을 해결하기 위한 새로운 효율적인 알고리즘을 제안하며, 비음수 해로 수렴함을 보장한다. 이 방법은 비음수 감소 수열을 통해 비음수성 보존을 보장하며, 우항 벡터에 0 원소가 포함된 경우 기존의 솔버보다 뛰어난 성능을 발휘한다.

ABSTRACT

This paper addresses multilinear systems of equations which arise in various applications such as data mining and numerical partial differential equations. When the multilinear system under consideration involves a nonsingular $\mathcal{M}$-tensor and a nonnegative right-hand side vector, it may have multiple nonnegative solutions. In this paper, we propose an efficient algorithm which can always preserve the nonnegativity of solutions. Theoretically, we show that the sequence generated by the proposed algorithm is a nonnegative decreasing sequence and converges to a nonnegative solution of the system. Numerical results further support the novelty of the proposed method. Particularly, when some elements of the right-hand side vector are zeros, the proposed algorithm works well while existing state-of-the-art solvers may not produce a nonnegative solution.

연구 동기 및 목표

• 비특이 M-텐서와 비음수 우항 벡터를 가진 다중선형 시스템을 해결하는 데 도전하는 것. 이 경우 다수의 비음수 해가 존재할 수 있다.
• 기존 방법이 생성하는 비음수 해를 피하기 위해 해 수열의 비음수성을 보장하는 알고리즘을 개발하는 것.
• 우항 벡터의 일부 원소가 0인 경우, 즉 최첨단 솔버가 실패할 수 있는 경우에도 비음수 해로 수렴함을 보장하는 것.

제안 방법

• 알고리즘이 증명 가능하게 비음수이자 단조 감소하는 반복 수열을 생성한다.
• 비특이 M-텐서의 구조에 맞추어 조정된 고정점 반복 기반의 방법을 사용하여 비음수성을 유지한다.
• 각 반복이 구성에 의해 비음수 부류에 머무르게 하여 음수 성분을 피한다.
• M-텐서의 성질과 비음수 행렬 이론을 이용하여 이론적으로 수렴성과 비음수 해 수렴을 증명한다.
• 기존 솔버가 비음수 해를 생성하지 못하는 우항 벡터에 0 원소가 포함된 경우를 다룰 수 있도록 설계되어 있다.
• 낮은 반복당 계산 비용과 뛰어난 수치적 안정성으로 계산적으로 효율적이다.

실험 결과

연구 질문

• RQ1 비특이 M-텐서를 가진 다중선형 시스템을 해결할 때 비음수성을 유지하는 반복 알고리즘을 설계할 수 있는가?
• RQ2 기존 솔버가 실패할 수 있는 상황인 우항 벡터에 0 원소가 포함된 경우, 제안된 방법의 성능은 어떠한가?
• RQ3 알고리즘에 의해 생성된 수열은 비음수 해로 수렴하는가? 그리고 이 수렴성은 이론적으로 보장될 수 있는가?
• RQ4 최첨단 솔버와 비교해 볼 때 제안된 방법의 계산 효율성과 강건성은 어떠한가?
• RQ5 투영 또는 수정 단계 없이도 알고리즘이 모든 반복 단계에서 비음수성을 유지할 수 있는가?

주요 결과

• 알고리즘이 생성하는 수열은 비음수이자 단조 감소하므로 비음수 해로 수렴함을 보장한다.
• 이론적 분석을 통해 비특이 M-텐서와 비음수 우항의 조건 하에서 비음수 해로의 수렴성이 확인된다.
• 수치 실험 결과, 다른 솔버가 실패하는 경우에도 알고리즘이 성공적으로 비음수 해를 생성함을 입증한다. 특히 우항에 0 원소가 포함된 경우에 유의미한 성능을 발휘한다.
• 우항 벡터에 0 성분이 포함된 경우, 제안된 방법은 기존 최첨단 솔버보다 더 강건한 성능을 보인다.
• 추가적인 투영 또는 수정 단계에 따른 계산 오버헤드 없이도 비음수성을 보장하면서도 계산 효율성을 유지한다.