[논문 리뷰] Eigenvalues and structured properties of P-tensors

Yisheng Song, Liqun Qi|arXiv (Cornell University)|2015. 08. 09.

Tensor decomposition and applications참고 문헌 27인용 수 3

한 줄 요약

이 논문은 P-텐서의 H- 및 Z-고유값을 바탕으로 두 가지 새로운 상수 δ_H(𝒜)와 δ_Z(𝒜)를 도입하고, P-텐서의 성질을 특징짓는 핵심 양 α(F_𝒜)와 α(T_𝒜)에 대한 날카운 상계를 수립한다. 짝수 차수의 P-텐서에 대해, α(F_𝒜) ≤ (δ_H(𝒜))^{1/(m−1)} 및 α(T_𝒜) ≤ δ_Z(𝒜)임을 증명하며, 이 둘 다 대각 성분에 의해 상한이 제한되며, 고유값과 P-텐서의 구조 사이에 정량적 연결을 제공한다.

ABSTRACT

We define two new constants associated with real eigenvalues of a P-tensor. With the help of these two constants, in the case of P-tensors, we establish upper bounds of two important quantities, whose positivity is a necessary and sufficient condition for a general tensor to be a P-tensor.

연구 동기 및 목표

• P-텐서의 H- 및 Z-고유값을 바탕으로 새로운 상수 δ_H(𝒜)와 δ_Z(𝒜)를 정의하여 그 구조적 성질을 분석한다.
• P-텐서가 되기 위한 필수 및 필요조건인 α(F_𝒜)와 α(T_𝒜)에 대한 상계를 수립한다.
• 대각 성분과 P-성질 사이의 관계를 고유값 기반 정량적 추정치로 연결한다. 특히 짝수 차수의 텐서에 대해 중점을 둔다.
• α(F_𝒜)와 α(T_𝒜)에 대한 하한과 이 상계의 날카움에 관한 열린 문제를 다룬다.

제안 방법

• 모든 주된 부분텐서 𝒜_r^J에 대한 H-고유값의 최솟값으로 δ_H(𝒜)를 정의한다.
• 모든 주된 부분텐서 𝒜_r^J에 대한 Z-고유값의 최솟값으로 δ_Z(𝒜)를 정의한다.
• H- 및 Z-고유값의 변분 특성화를 사용하여 ∥y∥_∞ = 1인 실수 벡터 y를 포함하는 부등식을 도출한다.
• 단위 무한노름 벡터에 대해 α(F_𝒜) = max_i y_i (F_𝒜(y))_i 및 α(T_𝒜) = max_i y_i (T_𝒜(y))_i의 정의를 적용한다.
• y_i(𝒜y^{m−1})_i ≤ δ ∥y∥_∞^{m−2} ∥y∥_2^2 형태의 부등식을 통해 상계를 수립하고, 이를 통해 α(F_𝒜) ≤ δ_H(𝒜)^{1/(m−1)} 및 α(T_𝒜) ≤ δ_Z(𝒜)를 유도한다.
• 𝒜가 P-텐서이기 위한 조건(짝수 m일 때 α(T_𝒜) > 0 또는 α(F_𝒜) > 0)과 기존의 P-텐서 이론을 활용하여 상계의 타당성을 검증한다.

실험 결과

연구 질문

• RQ1 P-텐서에 대해 양 α(F_𝒜)와 α(T_𝒜)는 양의 하한을 갖는가?
• RQ2 유도된 α(F_𝒜)와 α(T_𝒜)에 대한 상계가 가능한 한 날카로운가?
• RQ3 상수 δ_H(𝒜)와 δ_Z(𝒜)는 고유값을 기반으로 하여 P-텐서 성질을 특징지울 수 있는가?
• RQ4 P-텐서의 대각 성분은 α(F_𝒜)와 α(T_𝒜)의 값을 어떻게 제약하는가?
• RQ5 주된 부분텐서의 H- 및 Z-고유값은 P-텐서 성질과 어떤 관계가 있는가?

주요 결과

• 짝수 차수의 P-텐서 𝒜에 대해, 양 α(F_𝒜)는 (δ_H(𝒜))^{1/(m−1)}에 의해 상한이 제한되며, 여기서 δ_H(𝒜)는 모든 주된 부분텐서에 대한 최소 H-고유값이다.
• 짝수 차수의 P-텐서 𝒜에 대해, 양 α(T_𝒜)는 δ_Z(𝒜), 즉 모든 주된 부분텐서에 대한 최소 Z-고유값에 의해 상한이 제한된다.
• 상한 δ_H(𝒜) ≤ min_i a_{i⋯i}가 성립하므로, 짝수 m에 대해 α(F_𝒜) ≤ (min_i a_{i⋯i})^{1/(m−1)}이 성립한다.
• 상한 δ_Z(𝒜) ≤ min_i a_{i⋯i}가 성립하므로, 짝수 m에 대해 α(T_𝒜) ≤ min_i a_{i⋯i}가 성립한다.
• 이 상계는 텐서의 대각 성분에만 의존하며, 고유값 기반 상수에서 유도되었기 때문에 날카로운 것으로 간주된다.
• 결과적으로, m이 짝수일 때 α(F_𝒜) > 0 및 α(T_𝒜) > 0가 P-텐서이기 위한 필요 및 충분조건임을 확인하였으며, 이 상계들은 이러한 값들에 대한 정량적 통제를 제공한다.