[논문 리뷰] Sums of dilates in groups of prime order

Alain Plagne|2011. 04. 11.

Rings, Modules, and Algebras인용 수 5

한 줄 요약

이 논문은 소수 $p$ 에 대해 $ℤ/pℤ$ 에서의 합집합 $|\mathcal{A} + t\cdot\mathcal{A}|$ 에 대한 최초의 비자명한 하한을 확립한다. $t \neq 0, \pm1$ 이고 $ℤ/pℤ$ 의 부분집합인 $ℤ/pℤ$ 가 너무 크지 않다면, $|ℤ/pℤ + t\cdotℤ/pℤ| > (2 + \vartheta_t)|ℤ/pℤ| - w(t)$ 를 만족하며, 이때 $ϕ_t > 0$ 는 $t$ 에 따라 달라진다. $t = 2$ 인 경우, $ϕ_2 = 0.08$ 를 증명하여 자명한 $2|ℤ/pℤ|-1$ 하한보다 크게 향상시킨다.

ABSTRACT

We obtain a first non-trivial estimate for the sum of dilates problem in the case of groups of prime order, by showing that if $t$ is an integer different from $0, 1$ or -1 and if $\A \subset \Zp$ is not too large (with respect to $p$), then $|\A+t\cdot \A|>(2+ \vartheta_t)|\A|-w(t)$ for some constant $w(t)$ depending only on $t$ and for some explicit real number $\vartheta_t >0$ (except in the case $|t|=3$). In the important case $|t|=2$, we may for instance take $\vartheta_2=0.08$.

연구 동기 및 목표

• 소수 $p$ 에 대해 $ℤ/pℤ$ 에서의 합집합 $|\mathcal{A} + t\cdot\mathcal{A}|$ 에 대한 비자명한 하한을 확립하는 것. 이때 $t \neq 0, \pm1$ 이다.
• 정수에서의 알려진 결과를 소수 차수의 유한 순환군으로 확장하는 것.
• 합집합 $ℤ/pℤ + t\cdotℤ/pℤ$ 가 자명한 하한 $2|ℤ/pℤ|-1$ 보다 얼마나 더 큰지를 정량적으로 평가하기 위해 양의 여유 $ϕ_t > 0$ 을 도입하는 것.
• 조화해석학과 프라이먼 유형의 동형사상 논증을 사용하여, 모듈로 설정에서도 이러한 정량적 개선이 가능함을 증명하는 것.

제안 방법

• 레브의 지표합에 관한 보조정리(Lev’s lemma)를 사용하여, 길이 $p/(|t|+1)$ 인 구간 $I$ 와 $ℤ/pℤ$ 간의 큰 교차 $|ℤ/pℤ \cap I|$ 를 찾는 것.
• 함수 $f_t(c)$ 를 정의하여, $c$ (傅리에 계수 $\widehat{1_{\mathcal{A}}}(1)$ 과 관련된 매개변수) 에 따라 $|ℤ/pℤ + t\cdotℤ/pℤ|$ 의 상대적 크기의 최적 하한을 캡처하는 것.
• 순환화 논증(cyclification argument) 적용: $ℤ/pℤ_0 = ℤ/pℤ \cap I$ 이면, $p$ 보다 짧은 구간 길이로 인해 $ℤ/pℤ_0 + t\cdotℤ/pℤ_0$ 는 정수 대응체와 프라이먼 동형이 되며, 따라서 알려진 정수 합집합 하한을 사용할 수 있다.
• 핵심 부등식 $x \geq (|t|+1)B_t(x,c)$ 를 유도하며, 여기서 $x = |ℤ/pℤ + t\cdotℤ/pℤ| / |ℤ/pℤ|$ 이고, 이로부터 $x \geq f_t(c)$ 를 유도함으로써 개선된 하한을 확립한다.
• $|t| = 2$ 인 경우, $M(\beta, \eta)$ 를 정의하는 최대값의 첫 번째 항을 사용하여 이차 부등식을 유도하고, 이를 풀어 $ϕ_2 = 0.08$ 을 얻는다. $|t| \geq 3$ 인 경우, 역 sine 함수 $g^{-1}$ 를 포함하는 두 번째 항을 사용한다.
• 합집합이 짧은 구간에 포함되어 있을 경우 $ℤ/pℤ$ 에서의 합집합이 정수 합집합과 동형임을 이용하여, $ℤ$ 에서의 체계적 결과를 이전할 수 있음을 활용한다.

실험 결과

연구 질문

• RQ1 $t \neq 0, \pm1$ 인 $ℤ/pℤ$ 에서 $|\mathcal{A} + t\cdot\mathcal{A}| > (2 + \vartheta_t)|\mathcal{A}| - w(t)$ 형식의 비자명한 하한을 확립할 수 있는가?
• RQ2 합집합이 $2|\mathcal{A}|$ 보다 엄밀히 더 빠르게 증가하는 것을 보장하는 최적의 $ϕ_t > 0$ 값은 무엇인가?
• RQ3 특히 $ℤ/pℤ$ 의 프리에 계수 $\widehat{1_{\mathcal{A}}}(1)$ 에 따라 합집합 $ℤ/pℤ + t\cdotℤ/pℤ$ 의 크기는 어떻게 영향을 받는가?
• RQ4 조합론적 결과를 $ℤ$ 에서부터 $ℤ/pℤ$ 로 이전하는 데에 순환화와 구간 동형사상이 어느 정도까지 활용될 수 있는가?
• RQ5 모든 $p$ 에 대해 독립적으로 $ℤ/pℤ$ 에서 $|\mathcal{A} + t\cdot\mathcal{A}| \geq (|t|+1)|\mathcal{A}| - w(t)$ 를 만족하는 균일한 상수 $w(t)$ 가 존재하는가?

주요 결과

• $t = 2$ 인 경우, 논문은 $|ℤ/pℤ + 2\cdotℤ/pℤ| > (2 + 0.08)|ℤ/pℤ| - 2$ 를 증명하여 $ϕ_2 = 0.08$ 이 자명한 하한보다 명백한 정량적 개선임을 입증한다.
• $|t| \geq 3$ 인 경우, 논문은 $|ℤ/pℤ + t\cdotℤ/pℤ| > (2 + \vartheta_t)|ℤ/pℤ| - w(t)$ 를 확립하며 $ϕ_t > 0$ 이지만, 정확한 값은 $t$ 에 따라 달라지며 역 sine 함수를 포함하는 경계를 통해 유도된다.
• 이 하한은 $t=2$ 에서 길이 $p/3$ 인 구간에 포함된 큰 부분집합 $ℤ/pℤ_0 \subset ℤ/pℤ$ 를 식별함으로써 도출되며, $ℤ/pℤ_0 + 2\cdotℤ/pℤ_0$ 가 정수 대응체와 동형임을 이용한다.
• 이 방법은 레브의 보조정리를 통해 $|\widehat{1_{\mathcal{A}}}(1)|$ 과 구간 내 $ℤ/pℤ$ 의 조밀도 사이의 관계를 연결함으로써, 정수 합집합 하한을 모듈로 설정으로 이전할 수 있게 한다.
• 결과는 정신적으로 추측된 바를 확인한다: $ℤ/pℤ$ 에서 자명한 하한 $2|ℤ/pℤ|-1$ 을 초월하는 비자명한 확장이 발생하며, 이 확장 여유 $ϕ_t$ 는 명시적으로 정량화된다.
• $t = 2$ 인 경우, $c = 1/35000$ 이면 충분히 $f_2(c) = 2.08$ 이며, 이는 $|ℤ/pℤ + 2\cdotℤ/pℤ| \geq 2.08|ℤ/pℤ| - 2$ 를 의미한다. 이는 엄밀한 초선형 성장을 보여준다.