[論文レビュー] The analytic rank of tensors is subadditive, and its applications

Shachar Lovett|arXiv (Cornell University)|Jun 24, 2018

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

この論文は、テンソルの解析的ランクが部分加法的であることを証明している。つまり、二つのテンソルの和のランクは、それぞれのランクの和以下である。この性質により、新たな応用が可能になる：共通するテンソル根同士の正の相関関係が示され、キャップセット問題のような問題において、スライスランクやパーティションランクの代わりに解析的ランクを用いることができる。

ABSTRACT

The analytic rank of a tensor, first defined by Gowers and Wolf in the context of higher-order Fourier analysis, is defined to be the logarithm of the bias of the tensor. We prove that it is a subadditive measure of rank: that is, the analytic rank of the sum of two tensors is at most the sum of their individual analytic ranks. This analytic property turns out to have surprising applications: (i) common roots of tensors are always positively correlated; and (ii) the slice rank and partition rank, which were defined recently in the resolution of the cap-set problem in Ramsey theory, can be replaced by the analytic rank.

研究の動機と目的

• 解析的ランクの部分加法性をテンソルの基本的性質として確立すること。
• 部分加法性がテンソル根同士の相関構造に与える影響を調査すること。
• 解析的ランクが、組合せ的問題においてスライスランクやパーティションランクに置き換え可能であることを示すこと。
• ラムゼー理論の問題、たとえばキャップセット問題を解くための新しい解析的枠組みを提供すること。

提案手法

• 高階フーリエ解析からの指標であるバイアスの対数としてテンソルの解析的ランクを定義する。
• 加法的組合せ論およびフーリエ解析的手法を用いて部分加法性を証明する。
• 部分加法性を応用して、複数のテンソルの共通根に対する正の相関境界を導出する。
• 解析的ランクが、キャップ集合のサイズを抑える観点から、スライスランクおよびパーティションランクを上回ることを示す。
• 双対性およびバイアス推定技術を用いて、解析的ランクを他のテンソルランク概念と比較する。
• 部分加法性を活用して、テンソル系における構造的性質を示す不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 二つのテンソルの和の解析的ランクは、それぞれの解析的ランクの和以上に抑えられるか？
• RQ2 複数のテンソルの共通根は正の相関関係を示すのか？ そして、これは解析的ランクを用いて証明可能か？
• RQ3 キャップセット問題の文脈において、解析的ランクはスライスランクおよびパーティションランクに置き換え可能か？
• RQ4 部分加法性は、高階フーリエ解析および組合せ的境界にどのような影響を与えるか？
• RQ5 解析的ランクは、単調性および上限パワーの観点から、他のテンソルランク測度とどのように関係するか？

主な発見

• テンソルの和の解析的ランクは、個々のテンソルの解析的ランクの和以下である。これにより、部分加法性が確立された。
• 複数のテンソルの共通根は正の相関関係を示す。これは解析的ランクの部分加法性から導かれた結果である。
• 解析的ランクは、キャップ集合の解析においてスライスランクおよびパーティションランクの両方を置き換えることができ、より強力で柔軟な枠組みを提供する。
• 部分加法性の性質により、高階フーリエ解析および組合せ論における新しい不等式および境界が得られる。
• バイアスに基づく解析的ランクの定義は、従来のランクベース手法よりも優れた推定を可能にする。
• これらの結果は、特定の組合せ的状況において、解析的ランクがスライスランクやパーティションランクよりも自然で強力な測度であることを示唆している。