[논문 리뷰] On complex and real identifiability of tensors

Elena Angelini|arXiv (Cornell University)|2018. 01. 25.

Tensor decomposition and applications참고 문헌 15인용 수 4

한 줄 요약

이 논문은 타원 정규 곡선의 존재로 인해 일반적 식별성이 실패하는 경우를 중심으로 복소수 및 실수 식별성의 복잡성을 조사한다. 대수기하학과 실대수곡선을 이용하여, 특정 텐서 유형에 대해 복소 분해가 유한하고 대칭일 경우, 유클리드 열린 집합 내에서 실수 식별성이 회복될 수 있음을 보이며, 복소 분해가 무한하거나 비실수일 경우 실패함을 밝힌다.

ABSTRACT

We report about the state of the art on complex and real generic identifiability of tensors, we describe some of our recent results obtained in [6] and we present perspectives on the subject.

연구 동기 및 목표

• 텐서 분해에서 복소수와 실수 일반적 식별성의 차이를 명확히 하기.
• 복소 비식별성에도 불구하고 유클리드 열린 집합 내에서 실수 식별성이 회복될 수 있는 조건을 조사하기.
• 타원 정규 곡선으로 인해 복소 식별성이 실패하는 텐서 공간을 분류하기.
• 유한한 복소 분해를 가진 경우 실수 식별성이 성립하는 영역의 측도와 구조를 규명하기.
• 타원 곡선 외의 이유로 복소 식별성이 실패할 경우 실수 식별성의 행동을 탐구하기.

제안 방법

• 1차 랭크 텐서와 그의 시컨트 다양체의 기하학을 중심으로 텐서 분해를 분석한다.
• 복소 및 실수 사영 공간 내 타원 정규 곡선에 대한 결과를 적용하여 다수의 복소 분해를 구성한다.
• Proposition 2.1 (Chiantini-Ciliberto, 2006)을 활용하여, 2k-1 차원 공간의 일반적인 점이 타원 곡선의 k-시컨트 P^{k-1} 공간 정확히 두 개에 속해 있음을 보인다.
• P^{2k-1}_R 내 실수 타원 정규 곡선을 도입하고, 곡선과 실수 및 비실수 점에서 교차하는 k-시컨트 공간의 실수성에 따라 점 P를 분류한다.
• 실수 분해를 곡선을 통한 시컨트 공간의 실수 점과 연관지어 텐서 공간에 분류를 적용한다.
• 컴퓨터 보조 호모토피 연속 및 모노드로미 루프를 활용하여 특정 대칭 및 부분대칭 텐서 케이스에서 실수 식별성을 계산한다.

실험 결과

연구 질문

• RQ1 텐서 유형과 랭크에 어떤 조건이 성립할 경우, 복소 비식별성에도 불구하고 유클리드 열린 집합 내에서 실수 식별성이 성립하는가?
• RQ2 타원 정규 곡선의 존재가 텐서 분해의 수와 실수성에 어떤 영향을 미치는가?
• RQ3 유한한 비실수 분해로 인해 복소 식별성이 실패할 경우, 실수 식별성을 가진 텐서의 집합 측도는 얼마인가?
• RQ4 타원 곡선이 원인이 아닌 무한한 복소 분해로 인해 복소 식별성이 실패하는 경우, 실수 식별성이 회복될 수 있는가?
• RQ5 D - n_d + 1의 기수성은 부분적 랭크 케이스에서 실수 식별성 존재에 어떤 영향을 미치는가?

주요 결과

• U₁ 내 텐서에서는 실수 식별성이 성립하고, 실수 랭크는 복소 랭크와 일치한다.
• U₂에서는 복소 식별성이 실패하고, 실수 식별성도 성립하지 않으며, 실수 랭크는 복소 랭크와 일치한다.
• U₃에서는 실수 랭크가 복소 랭크를 초과하며, 실수 식별성에 대한 결론을 내릴 수 없다.
• 복소 분해가 유한하고 D - n_d + 1이 짝수일 경우, 유클리드 열린 집합 내 실수 식별성이 성립할 수 있으나, 홀수일 경우 불가능하다.
• 대칭 케이스인 (C^3)^{igotimes 7} (랭크 12) 및 (C^3)^{igotimes 8} (랭크 15)에서는 호모토피 연속 방법을 통해 실수 식별성이 확인되었다.
• 부분대칭 케이스인 ((C^3)^{igotimes 3})^{igoplus 3} igoplus (C^3)^{igotimes 2} (랭크 6)에서는 계산적 검증을 통해 열린 집합 내 실수 식별성이 성립함을 보였다.