[논문 리뷰] Bias implies low rank for quartic polynomials

Amichai Lampert|arXiv (Cornell University)|2019. 02. 27.

Coding theory and cryptography참고 문헌 8인용 수 5

한 줄 요약

이 논문은 소수 체 위의 4차 다항식이 높은 편향(값의 분포가 열악함)을 보일 경우, 그 랭크가 낮아져야 하며, 특히 역 편향 매개변수에 대한 로그다항식 함수로 유계임을 증명한다. 제4도 도함수의 공통 영점이 다항식의 구조를 포괄하는 소수의 2차 다항식 집합을 식별함으로써, 저자들은 이러한 다항식이 다항로그 수준의 낮은 차수 다항식들에 의존함을 증명한다. 이는 이전의 다항식 유계성에 비해 크게 향상된 결과이다.

ABSTRACT

We investigate the structure of polynomials of degree four in many variables over a fixed prime field $\mathbb{F}=\mathbb{F}_{p}$. In 2007, Green and Tao proved that if a polynomial $f:\mathbb{F}^{n} ightarrow\mathbb{F}$ is poorly distributed, then it is a function of a few polynomials of smaller degree. In 2009, Haramaty and Shpilka found an effective bound for $f$ of degree four: If $bias\left(f ight)\geqδ$, then the number of lower degree polynomials required is at most polynomial in $1/δ$ and $f$ has a simple presentation as a sum of their products. We make a step towards showing that in fact the number of lower degree polynomials required is at most log-polynomial in $1/δ$, with the same simple presentation of $f$. This result was a Master's thesis supervised by T. Ziegler at the Hebrew University of Jerusalem, submitted in October 2018. A log-polynomial bound for polynomials of arbitrary degree was recently proved independently by Milicevic and by Janzer.

연구 동기 및 목표

• 편향이 높은 유한체 위의 4차 다항식의 랭크에 대한 효과적인 양적 유계를 향상시키는 것.
• 편향이 높은 4차 다항식이 다항식(1/δ에 대한)이 아니라 다항로그 수준의 낮은 차수 다항식들에만 의존할 수 있음을 보여주는 것.
• 제4도 도함수가 핵심 2차 다항식들의 영점에서 0이 되는 조건을 통해 편향과 낮은 랭크 표현 간의 구조적 결과를 확립하는 것.
• 이전의 고차 푸리에 해석 작업을 기반으로 하여 고차수 다항식에 대한 로그다항식 유계를 향한 단계적 성과를 제공하는 것.

제안 방법

• [HS09]의 결과를 이용해 모든 도함수가 낮은 랭크를 가지는 큰 부분공간으로 다항식을 제한하는 것.
• 모든 1차 도함수의 낮은 랭크 분해에 나타나는 소수의 2차 다항식 집합을 식별하는 것.
• 이 2차 다항식들의 공통 영점 집합을 분석하고, 제4도 도함수 ΔₓΔₓΔₓΔₓf 가 이 집합 위에서 식별적으로 0이 됨을 보이는 것.
• 테일러 전개를 사용해 제4도 도함수를 원래 다항식과 연결하고, 이 조건 하에서 랭크 유지가 보장됨을 보이는 것.
• 카즈단과 지그러의 닐젠스타츠 정리를 적용하여 원래 다항식이 부분공간에서 낮은 랭크를 가짐을 결론짓는 것.
• 부분공간 위에서의 확률적 및 평균화 추론을 활용해 제4도 도함수가 양의 밀도를 가지는 튜플에서 0이 됨을 보이고, 이는 영점 집합 위에서의 전반적 0이 됨을 의미함.

실험 결과

연구 질문

• RQ1 편향이 높은 4차 다항식을 표현하는 데 필요한 낮은 차수 다항식의 수를 다항식(1/δ에 대한)에서 로그다항식(1/δ에 대한)으로 줄일 수 있는가?
• RQ2 다항식의 도함수에 대한 어떤 구조적 성질이 편향이 높을 경우 낮은 랭크 행동을 유도하는가?
• RQ3 2차 다항식들의 공통 영점 집합에서 제4도 도함수가 0이 되는 것을 이용해 원래 4차 다항식의 랭크를 유계로 제한할 수 있는가?
• RQ4 편향, 도함수 랭크, 2차 제약 조건의 기하학적 성질 간의 상호작용이 다항식의 대수적 구조를 어떻게 제약하는가?
• RQ5 이 방법은 4차를 초월하는 다항식의 차수로 어떻게 확장될 수 있는가?

주요 결과

• 모든 4차 다항식 f ∈ 𝔽_p에 대해 bias(f) ≥ δ 이면, f 가 제한된 부분공간 V 에서 낮은 랭크를 가지며, V 의 여차원은 poly(log_p(1/δ)) 이다.
• f 의 구조를 포괄하는 데 필요한 2차 다항식 Q₁,…,Q_N 의 수는 poly(log_p(1/δ)) 이하로 유계이며, N = poly(log_p(1/δ)) 이다.
• 이 2차 다항식들의 공통 영점 집합에서 제4도 도함수 ΔₓΔₓΔₓΔₓf 가 식별적으로 0이 되며, 이는 f 가 이 집합에서 낮은 차수 성분들에 의해 결정됨을 의미한다.
• f 의 랭크는 poly(log_p(1/δ)) 이하로 유계이며, 이는 [HS09]에서 이전에 확보된 (1/δ)에 대한 다항식 유계보다 향상된 결과이다.
• 제4도 도함수가 소수의 2차 다항식들의 영점에 의해 정의된 큰 부분공간에서 0이 됨을 보여, 평균화 및 밀도 추론을 통해 이를 달성하였다.
• 모든 1차 도함수에 공통적으로 나타나는 일관된 2차 다항식 집합을 식별함으로써, f 에 대한 전역적 구조적 제약 조건을 확립하는 데 의존한다.