[論文レビュー] Variety Evasive Subspace Families

Zeyu Guo|arXiv (Cornell University)|Jan 1, 2021

Computational Geometry and Mesh Generation参考文献 66被引用数 1

ひとこと要約

本稿では、射影的またはアフィン空間内の低次元多様体と交わるk次元部分空間の族を、期待される次元で回避する明示的構成——variety evasive subspace families——を導入する。チャウ形式を用いることで、有界次数の多様体に対して多項式サイズの族が得られ、これによりノイザーの正規化の完全な非決定的化が可能となり、深さ4の回路におけるブラックボックスPITの簡略化が実現される。

ABSTRACT

We introduce the problem of constructing explicit variety evasive subspace families. Given a family $\mathcal{F}$ of subvarieties of a projective or affine space, a collection $\mathcal{H}$ of projective or affine $k$-subspaces is $(\mathcal{F},ε)$-evasive if for every $\mathcal{V}\in\mathcal{F}$, all but at most $ε$-fraction of $W\in\mathcal{H}$ intersect every irreducible component of $\mathcal{V}$ with (at most) the expected dimension. The problem of constructing such an explicit subspace family generalizes both deterministic black-box polynomial identity testing (PIT) and the problem of constructing explicit (weak) lossless rank condensers. Using Chow forms, we construct explicit $k$-subspace families of polynomial size that are evasive for all varieties of bounded degree in a projective or affine $n$-space. As one application, we obtain a complete derandomization of Noether's normalization lemma for varieties of low degree in a projective or affine $n$-space. In another application, we obtain a simple polynomial-time black-box PIT algorithm for depth-4 arithmetic circuits with bounded top fan-in and bottom fan-in that are not in the Sylvester-Gallai configuration, improving and simplifying a result of Gupta (ECCC TR 14-130). As a complement of our explicit construction, we prove a tight lower bound for the size of $k$-subspace families that are evasive for degree-$d$ varieties in a projective $n$-space. When $n-k=n^{Ω(1)}$, the lower bound is superpolynomial unless $d$ is bounded. The proof uses a dimension-counting argument on Chow varieties that parametrize projective subvarieties.

研究の動機と目的

• 射影的またはアフィンn次元空間内の有界次数の多様体に対して、明示的かつ多項式サイズのk次元部分空間族を、それらと交わる部分空間として構成すること。
• 決定的ブラックボックス多項式恒等式検証(PIT)およびロスレスランク圧縮機を、より高次元の多様体へ一般化すること。
• 低次元多様体に対するノイザーの正規化補題の完全な非決定的化を提供すること。
• 深さ4の算術回路における、上部および下部のファンインが有界な場合の、既存のブラックボックスPITアルゴリズムの簡素化と改善すること。
• チャウ多様体上の次元数え上げを用いて、このような部分空間族のサイズに対するタイトな下界を確立すること。

提案手法

• 多様体とその部分空間との交わりを、チャウ形式を用いて符号化し、インシデント条件の代数的取り扱いを可能にする。
• チャウ多様体上の次元数え上げを用いて、回避的部分空間族のサイズに対する下界を導出する。
• 帰納法とベズー型の次数境界を用いて、部分空間と多様体の既約成分との交わりの次元を制御する。
• 中間的部分空間族の(n, rk, 1/4)-回避性を活用し、与えられた多様体のすべての成分を回避する部分空間の大部分が存在することを保証する。
• 有理曲線の場合は、記号的行列式を用いて部分空間回避性の問題をブラックボックスPITに還元する。
• 反復的かつ部分空間設計とイデアル的還元を用いて明示的族を構築し、多項式サイズと計算効率を保証する。

実験結果

リサーチクエスチョン

• RQ1 超曲面や線形部分多様体を越えた多様体族に対し、明示的多様体回避部分空間族を構築できるか？
• RQ2 このような族を用いて、ノイザーの正規化補題のような代数幾何学における非明示的結果の非決定的化が可能か？
• RQ3 有界次数の多様体に対して、(F, ε)-回避的部分空間族の最適サイズは何か？ これはnとdの関数としてどのようにスケーリングされるか？
• RQ4 定理1.6の上界と定理1.7の下界のギャップを埋めるために、構成を改善できるか？
• RQ5 回避性の概念を、単に「悪い部分空間の数」ではなく、合計次元偏差を制限する「損失あり」または「強い」バージョンに拡張できるか？

主な発見

• 本稿では、射影的またはアフィンn次元空間内の有界次数のすべての部分多様体に対して、(F, ε)-回避的である多項式サイズのk次元部分空間族を明示的に構成した。
• 低次元多様体に対するノイザーの正規化補題の完全な非決定的化が達成された。これは代数幾何学における重要な非明示的結果である。
• 深さ4の算術回路で上部および下部のファンインが有界な場合、新たな簡素化された多項式時間ブラックボックスPITアルゴリズムが得られ、Gupta（ECCC TR 14-130）の先行研究を改善した。
• n − k = nΩ(1)のとき、(F, ε)-回避的族のサイズに対して、dが有界でない限り、超多項式の下界が示された。これは、構成がほぼ最適であることを示している。
• 下界は、有界次数の射影的部分多様体をパラメトライズするチャウ多様体上の次元数え上げを用いて導出された。
• n − k = O(1)の特別な場合については、多項式サイズの明示的構成が存在するかは未解決のまま残されているが、d = O(log n)のときにはこのような構成が可能であることを示した。