[논문 리뷰] Low analytic rank implies low partition rank for tensors

Oliver Janzer|arXiv (Cornell University)|2018. 09. 28.

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

한 줄 요약

이 논문은 유한체 위에서 텐서의 분석적 랭크가 낮을수록 분할 랭크도 낮아지며, 분석적 랭크, 차수, 체 크기의 함수로서 분할 랭크에 타워 유형의 상한을 제공함으로써 이전의 Ackermann 유형의 상한을 개선한다. 이 결과는 고차 다항 다항식 분석에서 핵심적인 질문을 해결하며, 특히 작은 체에서 편향된 다항식이 훨씬 더 나은 정량적 통제를 받는 낮은 랭크를 가져야 한다는 것을 보여준다.

ABSTRACT

A tensor defined over a finite field $\mathbb{F}$ has low analytic rank if the distribution of its values differs significantly from the uniform distribution. An order $d$ tensor has partition rank 1 if it can be written as a product of two tensors of order less than $d$, and it has partition rank at most $k$ if it can be written as a sum of $k$ tensors of partition rank 1. In this paper, we prove that if the analytic rank of an order $d$ tensor is at most $r$, then its partition rank is at most $f(r,d,|\mathbb{F}|)$. Previously, this was known with $f$ being an Ackermann-type function in $r$ and $d$ but not depending on $\mathbb{F}$. The novelty of our result is that $f$ has only tower-type dependence on its parameters. It follows from our results that a biased polynomial has low rank; there too we obtain a tower-type dependence improving the previously known Ackermann-type bound.

연구 동기 및 목표

• 유한체 위의 텐서에 대해 분석적 랭크와 분할 랭크 사이의 정량적 관계를 확립하기 위해.
• 이전의 Ackermann 함수에 의존하는 상한은 실용적이거나 이론적으로 적용하기에 너무 빨리 증가하므로 이를 개선하기 위해.
• 값이 균일하게 분포하지 않는 다항식—즉, 편향된 다항식—은 반드시 낮은 랭크를 가져야 하며, 명시적이고 개선된 상한을 제공하기 위해.
• 다항식 위상의 고르지 않은 노름에 대한 정량적 역정리(역정리)를 제공하여 이전의 고차 다항 다항식 분석 결과를 정밀화하기 위해.
• 체 크기와 차수에 대한 의존성이 이제 Ackermann 유형이 아니라 타워 유형이 되었으며, 이는 적용 분야에서 훨씬 더 날카로운 통제를 제공하기 위해.

제안 방법

• 텐서의 순서 d에 대한 재귀적 귀납법을 사용하여, 비특이성(비특이성)을 통제하기 위해 부분공간과 다중집합 가족을 구성함.
• 일반화된 Bogolyubov 보조정리와 다중선형 일반화를 적용하여, 텐서가 많은 입력에서 0이 되는 구조적 부분공간을 찾음.
• 분할 랭크와 비특이성 조건을 사용한 새로운 반복적 텐서 분해를 활용하며, 타워 함수를 통해 차원 상한을 추적함.
• 다항식 위상에 대한 고르지 않은 노름의 정밀한 분석을 도입하여, 이와 다항식의 랭크를 연결함.
• 특성 합과 지수 합(χ(P(x))를 통해)을 사용하여 분석적 랭크를 편향과 연결하고, 노름 제어를 통해 분석적 랭크와 분할 랭크를 연결함.
• 집합 [d−1]의 부분집합으로 인덱싱된 부분공간과 다중집합 구조의 계층을 적용하며, 타워 함수를 사용해 재귀적으로 차원 상한을 갱신함.

실험 결과

연구 질문

• RQ1 분할 랭크가 분석적 랭크에 대한 의존성이 Ackermann 유형에서 더 다룰 수 있는 함수로 개선될 수 있는가?
• RQ2 작은 특성의 유한체 위에서 편향된 다항식은 반드시 낮은 랭크를 가져야 하는가? 만약 그렇다면, 가능한 최고의 정량적 상한은 무엇인가?
• RQ3 다항식 위상의 고르지 않은 노름에 대한 역정리는 명시적이고 효과적인 상한을 갖도록 강화될 수 있는가?
• RQ4 차수 d인 텐서에 대해 분석적 랭크와 분할 랭크 사이의 최적 타워 유형 상한은 무엇인가?
• RQ5 체 크기 |F|는 분석적 랭크와 분할 랭크 사이의 정량적 트레이드오프에 어떤 영향을 미치는가?

주요 결과

• 유한체 F 위의 차수 d 텐서의 분석적 랭크가 최대 r일 경우, 그 분할 랭크는 f(r, d, |F|) 이하이며, 여기서 f는 매개변수에 대해 타워 유형의 의존성만 갖는다.
• 차수 d < char(F)이고 bias_χ(P) ≥ ε > 0인 다항식 P: F^n → F에 대해, P의 랭크는 2^d × tower_{8|F|}((d+3)^{d+3}, (1/ε)^{2^d}) + 1 이하이다.
• f(x) = χ(P(x))의 Gowers U^d 노름은 P의 랭크를 통제하며, ||f||_{U^d} ≥ c > 0 이면 rank(P)는 c에 대한 동일한 타워 유형의 표현식으로 유계이다.
• 이전 연구를 개선하여 Ackermann 유형의 상한을 타워 유형의 상한으로 대체함으로써 정량적 통제를 크게 향상시켰다.
• 상한은 체 크기에 대해 효과적이고 균일하며, d, ε, |F|에만 명시적인 의존성이 있으며, 타워 높이를 제외하고는 최적이다.
• 증명은 다항식 위상의 고르지 않은 노름에 대한 정량적 역정리를 확립하여, 이러한 함수들이 명시적인 오차 상한을 갖는 낮은 차수의 다항식과 상관이 있음을 보여준다.