[논문 리뷰] New results for the growth of sets of real numbers

Timothy G. F. Jones|arXiv (Cornell University)|2012. 02. 22.

Computational Geometry and Mesh Generation참고 문헌 7인용 수 4

한 줄 요약

이 논문은 이전에 알려진 바보다 유한한 실수 집합의 이미지 집합에 대해 더 강한 성장 상한을 달성하는, 교차비율을 기반으로 한 새로운 3변수, 4변수, 5변수 실수 함수를 제안한다. 고전적인 임베딩 정리인 Szemerédi-Trotter 임베딩 정리와 평면에 대한 임베딩 결과만을 사용하여, 3변수 함수 $f$는 $|f(A)| \gg |A|^2 / \log|A|$를, 4변수 함수 $g$는 $|g(A)| \gg |A|^2$를, 5변수 함수 $h$는 $|h(A)| \gg |A|^4 / \log|A|$를 도출함으로써, 기존 결과를 향상시킨다. 이는 고급 도구인 Guth-Katz 다항식 분할이나 굴곡면 이론에 의존하지 않는다.

ABSTRACT

We use the theory of cross ratios to construct a real-valued function f of only three variables with the property that for any finite set A of reals, the set f(A) = {f(a,b,c):a,b,c \in A} has cardinality at least C|A|^2/log|A|, for an absolute constant C. Previously-known functions with this property had all been of four variables. We also improve on the state of the art for functions of four variables by constructing a function g for which g(A) has cardinality at least C|A|^2; the previously best-achieved bound was C|A|^2/log|A|. Finally, we give an example of a five-variable function h for which h(A) has cardinality at least C|A|^4/log|A|. Proving these results depends only on the Szemeredi-Trotter incidence theorem and an analoguous result for planes due to Edelsbrunner, Guibas and Sharir, each applied in the Erlangen-type framework of Elekes and Sharir. In particular the proofs do not employ the Guth-Katz polynomial partitioning technique or the theory of ruled surfaces. Although the growth exponents for f, g and h are stronger than those for previously considered functions, it is not clear that they are necessarily sharp. So we pose a question as to whether the bounds on the cardinalities of f(A), g(A) and h(A) can be further strengthened.

연구 동기 및 목표

• 유한한 실수 집합에 대해 개선된 성장 상한을 갖는 새로운 확산 함수를 구축하는 것.
• 동일한 변수 수를 가진 기존 함수보다 $f(A)$, $g(A)$, $h(A)$의 기수 성장률을 더 강하게 하는 것.
• Guth-Katz 다항식 분할이나 굴곡면 이론과 같은 고급 도구에 의존하지 않고, 고전적인 임베딩 정리—Szemerédi-Trotter 및 Edelsbrunner-Guibas-Sharir—를 사용하여 이러한 상한을 증명하는 것.
• 현재 상한이 더 향상시킬 수 있는지 여부에 대한 열린 질문을 제기하는 것.

제안 방법

• 핵심 함수로 교차비율 $X(a,b,c,d) = \frac{(a-b)(c-d)}{(b-c)(a-d)}$를 사용하여 실수 삼중항 또는 사중항을 실수 값으로 매핑한다.
• PSL_2(\mathbb{R}) 내의 사영 변환을 이용해 두 4중항이 동일한 교차비율을 갖는 조건을 기술함으로써 문제를 임베딩 기하학과 연결한다.
• 함수 $f$는 $X(0,a,b,c)$로 정의되며, Elekes와 Sharir의 에르랑겐 유형 프레임워크를 통해 $\mathbb{R}^3$ 내 점과 직선 간의 임베딩 수를 세는 문제로 환원된다.
• 함수 $g$는 표준 교차비율 $X(a,b,c,d)$이며, 그 이미지 크기는 $\mathbb{R}^3$ 내 점과 평면 간의 임베딩을 분석하여 유계된다.
• 함수 $h$는 다섯 원소를 $\mathbb{R}^2$로 매핑하기 위해 두 개의 교차비율을 사용하며, 다중성과 함께 점과 평면 간의 임베딩 유계를 이용해 그 이미지 크기를 유계한다.
• 함수 값의 등가성에 대한 해의 수와 이미지 집합 크기 사이의 관계를 유도하기 위해 코시-슈바르츠 부등식이 적용된다.

실험 결과

연구 질문

• RQ1 3변수 실수 함수가 유한한 집합 $A \subset \mathbb{R}$의 이미지 집합 크기에 대해 초제곱 성장률을 달성할 수 있는가?
• RQ2 Guth-Katz 다항식 분할 방법에 의존하지 않고 4변수 함수가 $|g(A)| \gg |A|^2$를 달성할 수 있는가?
• RQ3 5변수 함수에 대해 $|h(A)| \gg |A|^4 / \log|A|$의 상한이 날카로운가, 아니면 향상시킬 수 있는가?
• RQ4 현재 $f$, $g$, $h$에 대한 성장 지수는 최적인가, 아니면 더 강한 하한을 증명할 수 있는가?

주요 결과

• 3변수 함수 $f(a,b,c) = X(0,a,b,c)$는 $|f(A)| \gg |A|^2 / \log|A|$를 만족하며, 이는 이전의 3변수 확산 함수보다 향상된 결과이다.
• 4변수 함수 $g(a,b,c,d) = X(a,b,c,d)$는 $|g(A)| \gg |A|^2$를 만족하며, 이는 이전의 $|A|^2 / \log|A|$보다 더 강한 상한을 달성한다.
• 5변수 함수 $h(a,b,c,d,e) = (X(a,b,c,d), X(a,b,c,e))$는 $|h(A)| \gg |A|^4 / \log|A|$를 만족하며, 이는 고차원 확산을 보여준다.
• 증명은 오직 Szemerédi-Trotter 점과 직선 간의 임베딩 정리와 Edelsbrunner-Guibas-Sharir 점과 평면 간의 임베딩 정리에만 의존하며, 다항식 분할과 같은 고급 도구를 회피한다.
• 상한이 날카로운지 여부는 알려져 있지 않으며, 논문은 이러한 상한을 더 향상시킬 수 있는지 여부에 대한 열린 질문을 제기한다.