[논문 리뷰] A new perspective on the distance problem over prime fields

Alex Iosevich, Doowon Koh외 1명|arXiv (Cornell University)|2019. 05. 10.

Limits and Structures in Graph Theory참고 문헌 14인용 수 4

한 줄 요약

이 논문은 소수 체 위의 집합에서 거리 집합과 비퇴화된 직사각형의 수 사이에 새로운 연결을 제시하며, 조합론적 및 푸리에 해석 기법을 활용하여 거리 집합의 크기에 대한 새로운 하한을 확립한다. 주요 결과는 동일한 조건 하에서 이전 결과를 초월하는 하한의 지수를 개선하여 $ |\triangle(\mathcal{E})| \gtrsim \min\big\{ |\mathcal{E}|^{12/19},~{} \frac{|\mathcal{E}|^{20/19}}{\square(\mathcal{E})^{4/19}} \big\} $로 제시한다.

ABSTRACT

Let $\mathbb{F}_p$ be a prime field, and ${\mathcal E}$ a set in $\mathbb{F}_p^2$. Let $Δ({\mathcal E})=\{||x-y||: x,y \in {\mathcal E} \}$, the distance set of ${\mathcal E}$. In this paper, we provide a quantitative connection between the distance set $Δ({\mathcal E})$ and the set of rectangles determined by points in ${\mathcal E}$. As a consequence, we obtain a new lower bound on the size of $Δ({\mathcal E})$ when ${\mathcal E}$ is not too large, improving a previous estimate due to Lund and Petridis and establishing an approach that should lead to significant further improvements.

연구 동기 및 목표

• 소수 체 $\mathbb{F}_p^2$ 상의 집합에서 서로 다른 거리의 수와 비퇴화된 직사각형의 수 사이의 정량적 관계를 확립하기 위해.
• 작은 집합 $\mathcal{E} \subset \mathbb{F}_p^2$ 에 대해 거리 집합 $\Delta(\mathcal{E})$ 의 크기에 대한 기존 하한을 향상시키기 위해.
• lund과 petridis의 프레임워크를 확장하여 직사각형 구성 기반의 새로운 기하학적 패러다임을 도입하기 위해.
• 덧셈적 조합론과 푸리에 해석 도구를 활용하여 $p \equiv 3 \mod 4$ 조건 하에서 더 강력한 추정치를 도출하기 위해.
• 유한체에서 거리 집합 하한의 지수를 향상시키기 위한 길을 제시하기 위해.

제안 방법

• 비퇴화된 직사각형의 개념을 $\mathbb{F}_p^2$ 에서 정의하며, 수직인 모서리 삼중항을 통해 정의하고, 집합 $\mathcal{E}$ 에서의 이러한 직사각형의 수를 $\square(\mathcal{E})$ 로 정의한다.
• 조합론적 및 덧셈 에너지 추론을 사용하여, 이sov삼각형의 수 $T(\mathcal{E})$ 를 $|\mathcal{E}|$, $|\Delta(\mathcal{E})|$, $=\square(\mathcal{E})$ 와 연결하는 핵심 부등식을 수립한다.
• Lewko(2017)의 상한 결과를 적용하여 $\square(\mathcal{E}) \lesssim |\mathcal{E}|^{99/41}$ 를 유도하며, 이는 $|\mathcal{E}| \ll p^{26/21}$ 인 조건 하에서 성립한다.
• 코시-슈바르츠 부등식과 덧셈 에너지 추정치를 사용하여 $A^2 - A^2$ 에서의 제곱 차이의 해의 수를 추정한다.
• 다양체 $A^2$ 에서의 이동에 대한 동치류 개념을 도입하여 $x - u = y - v = w$ 의 해를 세는 방법을 제시하고, $\mathcal{X}$ 를 통해 이러한 해의 수를 추정한다.
• 다중 에너지 $E_4(A^2)$, 이중화 상수 $K$, 차이의 이중화 $M = |A - A|/|A|$ 를 포함하는 부등식의 사슬을 유도하여, 최종적으로 $M$ 과 $K$ 에 대한 하한을 도출한다.

실험 결과

연구 질문

• RQ1 집합 $\mathcal{E} \subset \mathbb{F}_p^2$ 에서의 비퇴화된 직사각형 수를 이용하여 거리 집합 $\Delta(\mathcal{E})$ 의 새로운 하한을 도출할 수 있는가?
• RQ2 $\mathbb{F}_p^2$ 에서 이sov삼각형, 직사각형, 거리 집합 간의 상호작용이 $|\Delta(\mathcal{E})|$ 의 개선된 추정치를 어떻게 이끌어내는가?
• RQ3 $p \equiv 3 \mod 4$ 조건 하에서 하한 $|\Delta(\mathcal{E})| \gtrsim |\mathcal{E}|^{1/2 + \epsilon}$ 의 최적 지수는 무엇인가?
• RQ4 덧셈 에너지와 푸리에 분석의 프레임워크를 직사각형과 같은 기하 구조와 융합하여 기존의 하한을 초월할 수 있는가?
• RQ5 $\square(\mathcal{E})$ 에 대한 하한이 $|\Delta(\mathcal{E})|$ 가 $|\mathcal{E}|$ 에 따라 어떻게 의존하는지를 어떻게 정교화하는 데 사용될 수 있는가?

주요 결과

• 논문은 다음과 같은 새로운 부등식을 확립한다: $ T(\mathcal{E}) \ll |\mathcal{E}|^2 \log|\mathcal{E}| + |\Delta(\mathcal{E})|^{4/15} |\mathcal{E}|^{33/15} + |\mathcal{E}|^{5/3} |\Delta(\mathcal{E})|^{4/15} \square(\mathcal{E})^{4/15} $, 이는 이sov삼각형 수를 거리와 직사각형 수와 연결한다.
• 그 결과, 논문은 하한 $ |\Delta(\mathcal{E})| \gg \min\left\{ |\mathcal{E}|^{12/19},~{} \frac{|\mathcal{E}|^{20/19}}{\square(\mathcal{E})^{4/19}} \right\} $ 을 도출하며, 이는 이전 결과를 초월한다.
• $ |\mathcal{E}| \ll p^{8/5} $ 조건 하에서, $ |\Delta(\mathcal{E})| \gg |\mathcal{E}|^{12/19} $ 이 성립하며, 이는 약 $ 0.6316 $ 의 지수를 나타내며, Lund과 Petridis의 이전 결과인 $ 1/2 + 3/74 \approx 0.6419 $ 를 초월한다.
• 이 방법은 $ (A^2 - A^2)^2 \times P^2 $ 에서 $ x - u = y - v = w $ 의 해의 수를 제한하는 데 의존한다. 여기서 $ P $ 는 제곱 차이의 집합이다.
• 저자들은 조건 $ |A^2 - A^2||A - A||A| \leq p^2 $ 하에서 $ M^{27}K^{17} \gtrsim |A|^9 $ 또는 $ M^{13}K^7 \gtrsim |A|^5 $ 를 증명한다. 여기서 $ M = |A - A|/|A| $ 이고 $ K $ 는 덧셈 에너지 상수이다.
• 결과는 $ p \equiv 3 \mod 4 $ 조건에 따라 조건부로 성립하며, 이는 제곱 잔여물의 수론적 구조와 $ \mathbb{F}_p^2 $ 의 거리 함수 기하학과 일치한다.