[논문 리뷰] The G-stable rank for tensors

Harm Derksen|arXiv (Cornell University)|2020. 02. 19.

Tensor decomposition and applications참고 문헌 26인용 수 7

한 줄 요약

이 논문은 기하학적 불변량 이론에 기반한 새로운 텐서 랭크 개념인 G-안정 랭크를 소개한다. 이는 비정수 값 허용과 초승법적 곱의 성질 보장으로써 슬라이스 랭크를 일반화하고 개선한다. G-안정 랭크는 형식적 로렌트 급수 위의 최적화 문제로 공식화되며, F₃ 위에서 캡 세트 문제의 상한을 향상시키는 데 응용되어 이전 방법보다 더 날카로운 渐近적 추정치를 도출한다.

ABSTRACT

We introduce the $G$-stable rank of a higher order tensors over perfect fields. The $G$-stable rank is related to the Hilbert-Mumford criterion for stability in Geometric Invariant Theory. We will relate the $G$-stable rank to the tensor rank and slice rank. For numerical applications, we express the $G$-stable rank as a solution to an optimization problem. Over the field ${\mathbb F}_3$ we discuss an application to the Cap Set Problem.

연구 동기 및 목표

• 기존의 텐서 랭크, 경계 랭크, 슬라이스 랭크와 같은 개념을 개선하는 새로운 텐서 랭크 불변량인 G-안정 랭크를 정의하는 것.
• 기하학적 불변량 이론에서 힐베르트-무프스의 기준과 G-안정 랭크 간의 연결 고리를, 완전체 위에서 정의된 다항식에 대해 설정하는 것.
• 형식적 멱급수 위에서의 최적화를 통해 G-안정 랭크를 계산하거나 근사화하는 수치적 프레임워크를 제공하는 것.
• G-안정 랭크를 F₃ 위에서의 캡 세트 문제에 적용하여 캡 세트 크기의 개선된 상한을 도출하는 것.
• G-안정 랭크의 초승법적 곱 성질과 그 텐서 분해 및 근사화에 대한 함의를 탐색하는 것.

제안 방법

• G-안정 랭크는 GL(Vi, K((t))) 내의 1-매개변수 부분군 g(t) 중 g(t)·v의 t-가중치가 양수인 경우에 대해 기울기 함수 μα(g(t), v)의 하한으로 정의된다.
• 기울기 μα(g(t), v)는 g_i(t)의 로그 행렬식의 가중합을 g(t)·v의 t-가중치로 나눈 것으로, 각 성분에 가중치 α_i가 부여된다.
• G-안정 랭크는 비음수 변수 t_i에 대한 선형 프로그래밍 문제의 해로 표현되며, 제약 조건은 i+j+k ≤ 2n 일 때 t_i + t_j + t_k ≥ 1 이다.
• 이 방법은 펄스 필드에 적응된 켐프의 작업을 통해 기하학적 불변량 이론의 힐베르트-무프스 기준을 활용하여 형식적 멱급수에서의 분해를 통해 랭크를 정의한다.
• 캡 세트 문제에 있어서 G-안정 랭크는 3∑f_{n,i}t_i 를 최소화함으로써 캡 세트 크기를 제약 조건으로 제시된 삼중합에서 유도된 선형 제약 조건을 통해 상한을 구하는 데 사용된다.
• 최적 해는 n mod 3 에 따라 주기적인 패턴을 따를 것으로 추측되며, t_i = 1 이며 약 2n/3까지의 인덱스에 대해 적용된 후 감소하는 분수로 이어진다.

실험 결과

연구 질문

• RQ1 기하학적 불변량 이론에서 힐베르트-무프스 기준을 어떻게 사용하여 새로운, 보다 정교한 텐서 랭크 불변량을 정의할 수 있는가?
• RQ2 G-안정 랭크와 슬라이스 랭크, 텐서 랭크와 같은 기존의 텐서 랭크 개념 간의 관계는 무엇인가?
• RQ3 G-안정 랭크는 형식적 로렌트 급수 위에서의 최적화를 통해 계산되거나 근사화될 수 있는가?
• RQ4 G-안정 랭크는 F₃ 위에서의 캡 세트 문제에 대해 상한을 어떻게 향상시키는가?
• RQ5 G-안정 랭크의 渐近적 행동은 어떠한가? 그리고 초승법적 곱의 성질을 갖는가?

주요 결과

• G-안정 랭크는 슬라이스 랭크와 달리 수직 텐서 곱에 대해 초승법적 곱을 가지며, 이는 渐近적 분석에 더 적합하다.
• n=1에서 6까지의 경우, G-안정 랭크를 통해 도출된 캡 세트 크기 상한은 각각 2.25, 6, 15, 39, 105, 274이며, 이는 이전 추정치를 초월한다.
• 최적 해는 n mod 3 에 따라 주기적인 패턴을 따를 것으로 추측되며, t_i = 1 이며 첫 (2n−3)/3, (2n−5)/3, 또는 (2n−7)/3 개의 인덱스에 대해 적용된 후 감소하는 분수로 이어진다.
• G-안정 랭크는 n ≥ 4 일 때 이전의 엘렌버그-기즈위지트 상한(EG)보다 캡 세트 크기의 더 날카로운 상한을 제공하며, n 이 증가할수록 개선 폭이 커진다.
• 수치 실험 결과 G-안정 랭크는 Cθⁿ/√n 형태의 상한을 제공함을 시사하며, 이는 강력한 渐近적 추정치 가능성과 관련된다.
• 이 방법은 캡 세트 문제를 계수 t_i 에 대한 선형 프로그래밍 문제로 성공적으로 재구성하였으며, 제약 조건은 i+j+k ≤ 2n 이면 t_i + t_j + t_k ≥ 1 이라는 조건에서 유도되었다.