[논문 리뷰] Polynomials vanishing on grids: The Elekes-Rónyai problem revisited

Orit E. Raz, Micha Sharir외 1명|arXiv (Cornell University)|2014. 01. 29.

Computational Geometry and Mesh Generation참고 문헌 26인용 수 16

한 줄 요약

이 논문은 Elekes-Rónyai 문제를 재검토하여, $ f $가 특수한 덧셈적 또는 곱셈적 구조를 가지지 않는 한, $ |A| = |B| = |C| = n $ 인 카티esian 곱 $ A \times B \times C $ 위에서 $ f(a,b) = c $ 의 해의 수에 대해 $ O(n^{11/6}) $ 의 날카운 상계를 확립한다. 이 결과는 이전의 경계를 향상시키며, 다항식의 차수에 의존하지 않는 명시적인 지수를 제공하며, 새로운 입체 이론적 기법과 다항식 매개변수화 논증을 사용한다.

ABSTRACT

In this paper we characterize real bivariate polynomials which have a small range over large Cartesian products. We show that for every constant-degree bivariate real polynomial $f$, either $|f(A,B)|=Ω(n^{4/3})$, for every pair of finite sets $A,B\subset{\mathbb R}$, with $|A|=|B|=n$ (where the constant of proportionality depends on ${ m deg} f$), or else $f$ must be of one of the special forms $f(u,v)=h(φ(u)+ψ(v))$, or $f(u,v)=h(φ(u)\cdotψ(v))$, for some univariate polynomials $φ,ψ,h$ over ${\mathbb R}$. This significantly improves a result of Elekes and Rónyai (2000). Our results are cast in a more general form, in which we give an upper bound for the number of zeros of $z=f(x,y)$ on a triple Cartesian product $A imes B imes C$, when the sizes $|A|$, $|B|$, $|C|$ need not be the same; the upper bound is $O(n^{11/6})$ when $|A|=|B|=|C|=n$, where the constant of proportionality depends on ${ m deg} f$, unless $f$ has one of the aforementioned special forms. This result provides a unified tool for improving bounds in various Erd\H os-type problems in geometry and additive combinatorics. Several applications of our results to problems of these kinds are presented. For example, we show that the number of distinct distances between $n$ points lying on a constant-degree parametric algebraic curve which does not contain a line, in any dimension, is $Ω(n^{4/3})$, extending the result of Pach and de Zeeuw (2013) and improving the bound of Charalambides (2012), for the special case where the curve under consideration has a polynomial parameterization. We also derive improved lower bounds for several variants of the sum-product problem in additive combinatorics.

연구 동기 및 목표

• 크기가 작은 이미지 크기를 가진 큰 카티esian 곱에서 영이 되는 이원 실수 다항식을 특성화하는 것.
• 특수한 덧셈적 또는 곱셈적 형태가 아닌 다항식 $ f $ 에 대해, 삼중 카티esian 곱 $ A \times B \times C $ 위에서 $ f(a,b) = c $ 의 해의 수에 대한 명시적이고 비자명한 상계를 확립하는 것.
• Elekes-Rónyai 정리를 크기가 균형 잡히지 않은 격자 크기로 일반화하는 것, 즉 $ |A|, |B|, |C| $ 가 다를 수 있도록 하는 것.
• 조합 기하학 및 가군 수학 문제에서 경계를 향상시키기 위한 통합된 프레임워크를 제공하는 것.
• 다양한 다항식 영점 결과의 적용 범위를, 예를 들어 대수곡선 위의 서로 다른 거리 문제와 합-곱 추정 문제 등으로 확장하는 것.

제안 방법

• 해의 수 $ M $ 와 $ f(a,b) = f(a',b') $ 를 만족하는 쌍 $ (a,a',b,b') $ 의 수 사이의 관계를 파악하기 위해 코시-슈바르츠 부등식을 사용함으로써, 입체 계수를 세는 데 기여한다.
• 해 집합을 대수곡선으로 매개변수화하고, 그 교차점을 분석하여 공통 점의 수를 제한한다.
• 평면 입체 정리(예: Székely의 경계)를 적용하여 다항식의 구조에서 유도된 점과 곡선 사이의 입체 수를 제어한다.
• 두 가지 다른 증명 방식 도입—한쪽은 곡선 겹침에 기반하고, 다른 쪽은 대수기하학 기법에 기반하며, 각각 $ O(n^{11/6}) $ 경계를 도출한다.
• 이분법: $ f $ 가 $ h(\varphi(u) + \psi(v)) $ 또는 $ h(\varphi(u) \cdot \psi(v)) $ 의 형태가 아니라면, $ M = O(n^{11/6}) $ 이며, 이 상수는 $ \deg f $ 에 따라 달라진다.
• 크기가 균형 잡히지 않은 격자에 대한 경계를 더 복잡한 $ |A|, |B|, |C| $ 의 표현식을 통해 일반화하여, 동일한 지수 범위를 유지한다.

실험 결과

연구 질문

• RQ1 특수한 덧셈적 또는 곱셈적 형태가 아닌 다항식에 대해, 삼중 카티esian 곱 $ A \times B \times C $ 위에서 $ f(a,b) = c $ 의 해의 수에 대한 최고의 가능한 상계는 무엇인가?
• RQ2 Elekes-Rónyai 정리에서 이차 경우와 흩어진 경우 사이의 격차를 명시적이고 정량적으로 날카롭게 만들 수 있는가?
• RQ3 만약 $ A, B, C $ 의 크기가 같지 않다면, 해의 수에 대한 경계는 어떻게 변화하며, 이는 임의의 크기 조합으로 일반화될 수 있는가?
• RQ4 결과를 고차원 격자 또는 복소대수다양체로 확장할 수 있는가?
• RQ5 새로운 경계가 조합 기하학 문제, 예를 들어 대수곡선 위의 서로 다른 거리 문제에 미치는 영향은 무엇인가?

주요 결과

• 임의의 고정된 차수의 이원 실수 다항식 $ f $ 에 대해, 모든 $ A,B \subset \mathbb{R} $ 에 대해 $ |A| = |B| = n $ 를 만족할 때, $ |f(A,B)| = \Omega(n^{4/3}) $ 이거나, $ f $ 는 단변수 다항식 $ \varphi, \psi, h $ 에 대해 $ h(\varphi(u) + \psi(v)) $ 또는 $ h(\varphi(u) \cdot \psi(v)) $ 의 형태여야 한다.
• 크기가 $ |A| = |B| = |C| = n $ 인 $ A \times B \times C $ 위에서 $ f(a,b) = c $ 의 해의 수 $ M $ 은 $ f $ 가 특수한 형태가 아니라면 $ O(n^{11/6}) $ 이다.
• $ O(n^{11/6}) $ 경계는 명시적이며 다항식의 차수에 영향을 받지 않으며, 이는 이전의 $ o(n^2) $ 와 $ O(n^{2-\eta}) $ 결과를 향상시킨다.
• 이 결과는 크기가 균형 잡히지 않은 격자에 대해 일반화된 형태로도 성립하며, 경계는 $ |A|, |B|, |C| $ 의 함수로 표현되며 동일한 지수 범위를 유지한다.
• 이 프레임워크는 직선을 포함하지 않는 고정된 차수의 대수곡선 위에서 서로 다른 거리의 수에 대한 개선된 하한을 도출하여 $ \Omega(n^{4/3}) $ 의 서로 다른 거리를 보여준다.
• 이 방법은 가군 수학의 합-곱 문제에도 적용 가능하며, 개선된 정량적 하한을 도출한다.