[논문 리뷰] Variety Evasive Subspace Families

Zeyu Guo|arXiv (Cornell University)|2021. 01. 01.

Computational Geometry and Mesh Generation참고 문헌 66인용 수 1

한 줄 요약

이 논문은 프로젝티브 또는 아핀 공간에서 고도수의 다양체와 교차하는 예상 차원을 갖는 k-부분공간의 명시적 구성인 다양체 회피 부분공간 가족을 소개한다. 초형식을 이용하여 유한차수의 다양체에 대해 다항식 크기의 가족을 회피함으로써, 노에터의 정규화의 완전한 비확률화와 깊이-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)이면, d가 유계가 아닐 경우 (F, ε)-회피 가족의 크기에 대해 초다항식 하한이 증명되었으며, 이는 구성이 거의 최적임을 보여준다.
• 이 하한은 유한차수의 프로젝티브 부분다양체를 매개변수화하는 초형 다양체 위에서 차원 수세기의 기법을 통해 도출되었다.
• 특수한 경우 n − k = O(1)에 대해서는 다항식 크기의 명시적 구성이 존재하는지 여부는 열려 있으나, d = O(log n)일 경우 그러한 구성이 가능하다는 것을 보였다.