[논문 리뷰] On $Q$-Tensors

Zheng‐Hai Huang, Yun-Yang Suo외 1명|arXiv (Cornell University)|2015. 09. 10.

Tensor decomposition and applications참고 문헌 22인용 수 11

한 줄 요약

이 논문은 강한 $P_0$-텐서 또는 비음수 텐서의 범주 내에서 $R_0$-텐서, $R$-텐서, $ER$-텐서, $Q$-텐서 간의 동치성을 증명함으로써, $Q$-행렬에 대한 두 가지 고전적 결과를 텐서 공간으로 확장한다. 또한, 세 가지 잘 알려진 $Q$-행렬 정리가 텐서로 일반화되지 않음을 보여주며, 송과 치가 최근 제기한 질문에 대해 부정적인 답변을 제시한다.

ABSTRACT

One of the central problems in the theory of linear complementarity problems (LCPs) is to study the class of $Q$-matrices since it characterizes the solvability of LCP. Recently, the concept of $Q$-matrix has been extended to the case of tensor, called $Q$-tensor, which characterizes the solvability of the corresponding tensor complementarity problem -- a generalization of LCP; and some basic results related to $Q$-tensors have been obtained in the literature. In this paper, we extend two famous results related to $Q$-matrices to the tensor space, i.e., we show that within the class of strong $P_0$-tensors or nonnegative tensors, four classes of tensors, i.e., $R_0$-tensors, $R$-tensors, $ER$-tensors and $Q$-tensors, are all equivalent. We also construct several examples to show that three famous results related to $Q$-matrices cannot be extended to the tensor space; and one of which gives a negative answer to a question raised recently by Song and Qi.

연구 동기 및 목표

• 이론적 $Q$-행렬에 대한 두 가지 기본 결과를 $Q$-텐서 및 관련 클래스에 대해 텐서 설정으로 확장하는 것.
• 고전적 $Q$-행렬 정리들이 텐서 공간으로 일반화될 수 있는지, 특히 텐서 클래스의 해법 가능성과 동치성에 관해 조사하는 것.
• 일부 잘 알려진 $Q$-행렬의 성질이 $Q$-텐서에서는 성립하지 않음을 보여주는 반례를 제시하는 것.
• 송과 치가 최근 제기한, $Q$-행렬 결과의 텐서로의 일반화에 관한 열린 질문을 해결하는 것.

제안 방법

• 저자들은 강한 $P_0$-텐서 또는 비음수 텐서의 부분범주 내에서 $Q$-텐서 및 관련 클래스인 $R_0$-텐서, $R$-텐서, $ER$-텐서의 구조를 분석한다.
• 텐서 공간 내에서 구조적 및 위상적 추론을 사용하여, 주어진 조건 하에서 $R_0$-텐서, $R$-텐서, $ER$-텐서, $Q$-텐서 간의 동치성을 확립한다.
• 특히 해법 가능성과 연속성 성질에 초점을 맞춰, 세 가지 고전적 $Q$-행렬 정리가 텐서의 경우로 일반화되지 않음을 보여주는 반례를 구성한다.
• 증명 기법은 비음수 텐서의 성질과 $P_0$-텐서의 정의에 기반하며, 텐서의 일반화된 보완 프레임워크를 활용한다.
• 최근 송과 치의 추측을 철저히 검토하여, 명시적 반례 구성으로 인해 부정적으로 해결되는 결과를 이끌어낸다.

실험 결과

연구 질문

• RQ1 고전적 $Q$-행렬에서 알려진 $R_0$-텐서, $R$-텐서, $ER$-텐서, $Q$-텐서 간의 동치성은 텐서 설정으로 확장될 수 있는가?
• RQ2 특히 해법 가능성과 연속성과 관련된 $Q$-행렬을 특징짓는 고전적 정리들이 $Q$-텐서에 대해 성립하는가?
• RQ3 송과 치가 $Q$-행렬 결과를 텐서로 일반화할 수 있는지 제기한 추측은 텐서 보완 문제 프레임워크 내에서 타당한가?
• RQ4 어떤 텐서의 구조적 성질이 특정 $Q$-행렬 정리들이 텐서 공간으로의 일반화를 방해하는가?

주요 결과

• 강한 $P_0$-텐서 또는 비음수 텐서의 범주 내에서 $R_0$-텐서, $R$-텐서, $ER$-텐서, $Q$-텐서는 모두 상호 동치이다.
• 이 네 가지 텐서 클래스 간의 동치성은 텐서 공간 내에서의 구조적 분석과 위상적 성질을 통해 확립된다.
• 세 가지 고전적 $Q$-행렬 이론 정리는 반례를 구성함으로써 텐서 설정으로 일반화되지 않음을 입증된다.
• 반례 중 하나는 송과 치가 최근 제기한, $Q$-행렬 결과의 텐서로의 일반화에 관한 열린 질문에 대해 부정적인 답변을 제공한다.
• 결과들은 특히 해법 가능성과 연속성 측면에서 매트릭스와 텐서 보완 문제 간의 근본적인 차이를 드러낸다.