[논문 리뷰] Most tensor problems are NP-hard

Christopher J. Hillar, Lek‐Heng Lim|arXiv (Cornell University)|2009. 11. 07.

Tensor decomposition and applications참고 문헌 85인용 수 18

한 줄 요약

이 논문은 다중선형 대수의 대부분의 기본 문제들—예를 들어 텐서 고유값, 특이값, 스펙트럴 노름, 랭크, 그리고 최적의 낮은 랭크 근사—가 3-텐서조차도 NP-난이도임을 증명한다. 저자들은 기존의 알려진 NP-완전 문제들로의 환원을 통해 이를 입증하며, 해석 가능한 선형 대수 문제들의 텐서 버전이 일반적으로 계산적으로 비가능함을 보여준다.

ABSTRACT

We prove that multilinear (tensor) analogues of many efficiently computable problems in numerical linear algebra are NP-hard. Our list here includes: determining the feasibility of a system of bilinear equations, deciding whether a 3-tensor possesses a given eigenvalue, singular value, or spectral norm; approximating an eigenvalue, eigenvector, singular vector, or the spectral norm; and determining the rank or best rank-1 approximation of a 3-tensor. Furthermore, we show that restricting these problems to symmetric tensors does not alleviate their NP-hardness. We also explain how deciding nonnegative definiteness of a symmetric 4-tensor is NP-hard and how computing the combinatorial hyperdeterminant of a 4-tensor is NP-, #P-, and VNP-hard. We shall argue that our results provide another view of the boundary separating the computational tractability of linear/convex problems from the intractability of nonlinear/nonconvex ones.

연구 동기 및 목표

• 핵심 문제들의 계산적 비가역성을 입증함으로써 다중선형 대수에서의 문제들에 대해 NP-난이도임을 확립하는 것.
• 행렬에서의 NP-난이도 결과를 고차원 텐서로 확장하여, 해석 가능한 선형 대수와의 뚜렷한 대비를 보이는 것.
• 대칭 텐서 문제의 복잡도를 분석하여, 대칭성조차도 계산적 난이도를 완화시키지 못함을 보여주는 것.
• 4-텐서에서의 음이 아닌 정부호성과 초행렬식의 복잡도를 조사하여 NP-, #P-, VNP-난이도임을 입증하는 것.
• 수치적 다중선형 대수에서 해석 가능한 선형/볼록 문제들과 비가역적인 비선형/비볼록 문제들 사이의 경계를 명확히 하는 것.

제안 방법

• 이미 알려진 NP-완전 문제들(예: 3-SAT, 이차 타당성 문제)에서 텐서 문제로의 환원을 통해 NP-난이도를 입증하는 것.
• 실수 및 유리수 위에서의 이차형 시스템과 다중선형 방정식의 구성으로 텐서 문제를 모델링하는 것.
• 핵심 보조정리에서 다항식 항등식과 아이디얼 소속성을 검증하기 위해 기호 계산(예: Singular를 통한 그로버 기저)을 사용하는 것.
• 이차형 타당성 문제로의 환원을 통한 고유값, 특이값, 스펙트럴 노름 문제의 NP-난이도 증명.
• 불변량 이론과 대칭 다중선형 형식을 사용한 대칭 텐서 문제 분석.
• 대수기하학과 복잡도 이론을 활용하여 4-텐서에서의 음이 아닌 정부호성과 조합적 초행렬식의 NP-난이도를 입증하는 것.

실험 결과

연구 질문

• RQ1 표준 선형 대수 문제들—예를 들어 고유값과 특이값 계산—의 텐서 버전이 NP-난이도인지 여부?
• RQ2 텐서에서의 대칭성이 이러한 문제들의 계산 복잡도를 감소시키는가?
• RQ3 4-텐서가 음이 아닌 정부호인지 여부를 판단하는 문제는 NP-난이도인가?
• RQ4 4-텐서의 조합적 초행렬식을 계산하는 복잡도는 무엇인가?
• RQ5 3-텐서의 최적의 랭크-1 근사는 다항식 시간 내에 계산될 수 있는가?

주요 결과

• 실수 위에서 3-텐서의 고유값을 계산하는 것은 NP-난이도이며, 대칭 텐서일지라도 마찬가지이다.
• 3-텐서의 고유벡터나 특이벡터를 근사하는 것은 NP-난이도이다.
• 3-텐서의 스펙트럴 노름을 계산하거나 근사하는 것은 NP-난이도이다.
• 실수 또는 복소수 위에서 3-텐서의 랭크를 결정하는 것은 NP-난이도이다.
• 3-텐서의 최적의 랭크-1 근사를 계산하는 것은 NP-난이도이다.
• 대칭 4-텐서의 음이 아닌 정부호성을 판단하는 것은 NP-난이도이며, 조합적 초행렬식은 NP-, #P-, VNP-난이도이다.