[논문 리뷰] On distinct cross-ratios and related growth problems

Misha Rudnev|arXiv (Cornell University)|2017. 05. 04.

Limits and Structures in Graph Theory참고 문헌 12인용 수 6

한 줄 요약

이 논문은 복소수 또는 실수의 유한 집합 $ A $ 가 생성하는 서로 다른 교차비의 수에 대해 초제곱(lower) 하한을 확립하며, $ |C[A]| \gtrsim |A|^{2 + \frac{2}{11}} $ 를 보여주며, 복소수의 경우 더 강력한 로그 인자 보정을 포함한다. 이 결과는 교차비의 기하학적 성질과 합-곱 유형 추정치를 활용하여, 곱셈에 대한 성장과 관련된 집합들, 특히 평면상 삼각형 면적과 $ \sin(A - A) $ 에 대한 새로운 성장 하한을 이끌어낸다.

ABSTRACT

It is shown that for a finite set $A$ of four or more complex numbers, the cardinality of the set $C[A]$ of all cross-ratios generated by quadruples of pair-wise distinct elements of $A$ is $|C[A]|\gg |A|^{2+\frac{2}{11}}\log^{-\frac{6}{11}} |A|$ and without the logarithmic factor in the real case. The set $C=C[A]$ always grows under both addition and multiplication. The cross-ratio arises, in particular, in the study of the open question of the minimum number of triangle areas, with two vertices in a given non-collinear finite point set in the plane and the third one at the fixed origin. The above distinct cross-ratio bound implies a new lower bound for the latter question, and enables one to show growth of the set $\sin(A-A),\;A\subset \mathbb R/π\mathbb Z$ under multiplication. It seems reasonable to conjecture that more-fold product, as well as sum sets of this set or $C$ continue growing ad infinitum.

연구 동기 및 목표

• 유한 집합 $ A \subset \mathbb{C} $ 또는 $ \mathbb{R} $ 가 생성하는 서로 다른 교차비의 수에 대해 비자명한 하한을 확립하여 이전의 $ |C[A]| \gg |A|^2 $ 하한을 향상시키는 것.
• 교차비의 구조를 합-곱 현상과 연결하여, 관련 집합에서의 덧셈 및 곱셈에 의한 성장에 대한 통찰을 제공하는 것.
• 고정된 원점을 기준으로 하는 평면 유한 집합에서 형성된 삼각형 면적의 수에 대한 새로운 하한을 도출하는 것.
• 특정 추측에 기반하여 $ \sin(A - A) $ 와 같은 집합의 곱셈 에너지가 다항식적으로 무한히 성장할 수 있는지 조사하는 것.
• 방향과 거리와 같은 기하적 구성과 교차비 및 이차형식을 통한 대수적 성장 간의 상호작용을 탐색하는 것.

제안 방법

• 집합 $ A $ 의 서로 다른 원소로 구성된 4중항에 대해 교차비 함수 $ [a,b,c,d] = \frac{(a-b)(c-d)}{(a-c)(b-d)} $ 의 서로 다른 값의 수를 분석하기 위해 교차 기하학 기법을 적용한다.
• 곱셈적 플룬네키 부등식과 합집합 추정치의 반복적 적용을 통해 교차비의 $ k $-중곱집합 $ C[A]^k $ 의 성장을 유계화한다.
• 메비우스 변환의 구조와 $ \mathrm{PSL}_2(F) $ 에서의 교차비 불변성에 기반하여 기하적 구성과 대수적 제약 조건을 연결한다.
• 덧셈적 조합론의 핵심 추정치(보조정리 7)를 활용하여 교차비와 삼각형 면적에서 유도된 곱집합의 성장을 유계화한다.
• 식 $ [a,b,c,d] = \frac{\omega(a,b)\omega(c,d)}{\omega(a,c)\omega(b,d)} $ 를 통해 교차비 집합 $ C[A] $ 와 삼각형 면적 집합 $ \omega[E] $ 를 연결하며, 이는 $ \mathbb{R}^2 $ 상의 심플렉틱 형식과 관련된다.
• 원점에서의 방향 집합 $ \Phi $ 에 대해, 추측 I(삼각형 면적의 성장에 관한)에 기반한 조건부 추론을 통해 $ \sin(\Phi - \Phi) $ 의 곱셈 에너지에 대한 하한을 도출한다.

실험 결과

연구 질문

• RQ1 유한 집합 $ A \subset \mathbb{C} $ 또는 $ \mathbb{R} $ 가 생성하는 서로 다른 교차비의 수는 $ |A| $ 의 초제곱 함수로 하한을 가질 수 있는가?
• RQ2 고정된 원점과 함께 평면 유한 집합에서 형성된 삼각형 면적 집합 $ \omega[E] $ 는 곱셈에 대해 다항식적으로 성장하는가?
• RQ3 $ A \subset \mathbb{R}/\pi\mathbb{Z} $ 인 경우, 집합 $ \sin(A - A) $ 는 곱셈에 대해 다항식적으로 성장할 수 있으며, 이는 원래 집합 $ A $ 에 어떤 제약 조건을 부과하는가?
• RQ4 서로 다른 방향의 수 $ \Phi[E] $ 와 삼각형 면적 집합 $ \omega[E] $ 의 곱셈적 성장 간의 관계는 무엇인가?
• RQ5 교차비 집합 $ C[A] $ 는 $ \sin(A - A) \cdot \sin(A - A) $ 와 같은 다른 대수적 집합의 크기에 비자명한 하한을 도출하는 데 사용될 수 있는가?

주요 결과

• 모든 $ |A| \geq 4 $ 인 복소수 집합 $ A \subset \mathbb{C} $ 에 대해, 서로 다른 교차비의 수는 $ |C[A]| \gtrsim |A|^{2 + \frac{2}{11}} $ 를 만족하며, $ \gtrsim $ 표기법은 로그 인자를 생략함을 의미한다.
• 실수의 경우, 로그 인자를 제거할 수 있어 더 강력한 하한 $ |C[A]| \gg |A|^{2 + \frac{2}{11}} $ 를 얻는다.
• 이 결과는 $ A \subset \mathbb{R}/\pi\mathbb{Z} $ 인 경우 $ \sin(A - A) $ 가 곱셈에 의해 성장함을 시사하며, 추측 I에 기반하면 이 집합은 로그적 무한 성장 특성을 보인다.
• 삼각형 면적 집합 $ \omega[E] $ 가 곱셈 이중성에 의해 유계이면, 서로 다른 방향의 수는 $ |\Phi[E]| \ll K^{O(-\log \epsilon)} |\omega[E]|^{\frac{11}{36} - \epsilon} $ 로 유계지며, 여기서 $ K $ 는 이중성 상수이다.
• 추측 I를 가정하면, 집합 $ \sin(\Phi - \Phi) $ 는 다항식 길이의 근사 기하급수적 진행에 포함될 수 없으며, 충분히 큰 $ |\Phi| $ 에 대해 $ |(\sin(\Phi - \Phi))^{2^n}| \geq |\Phi|^n $ 이 성립한다.
• 교차비 집합 $ C[A] $ 는 덧셈과 곱셈 모두에서 성장함을 보이며, 그 구조는 합-곱 현상과 유한 집합 내 이차형식 값 분석에 새로운 길을 열어준다.