[논문 리뷰] On sumsets of dissociated sets

Ilya D. Shkredov|ArXiv.org|2007. 12. 07.

Limits and Structures in Graph Theory참고 문헌 18인용 수 11

한 줄 요약

이 논문은 아벨 군, 특히 $\mathbf{F}_2^n$에서 분리된 집합의 합집합을 분석함으로써, $q_i \in Q$에 대해 방정식 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$의 해의 수를 연구한다. 기본적인 푸리에 해석 기법과 분리된 집합에 대한 루딘 부등식의 유사체를 사용하여, 해의 수에 대한 최적의 상한을 확립하고, 보르게인의 큰 지수합에 관한 결과를 약간 향상시킨다.

ABSTRACT

In the paper we are studying some properties of subsets Q of sums of dissociated sets. The exact upper bound for the number of solutions of the following equation (1) q_1 + ... + q_p = q_{p+1} + ... + q_{2p}, q_i \in Q in groups F_2^n is found. Using our approach, we easily prove a recent result of J. Bourgain on sets of large exponential sums and obtain a tiny improvement of his theorem. Besides an inverse problem is considered in the article. Let Q be a set belonging a sumset of two dissociated sets such that equation (1) has many solutions. We prove that in the case the large proportion of Q is highly structured.

연구 동기 및 목표

• 분리된 집합의 합집합의 부분집합인 $Q \subseteq \mathbf{F}_2^n$에 대해, 방정식 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$의 해의 수에 대한 정확한 상한을 결정하는 것.
• 최근 J. 보르게인의 큰 지수합을 가진 집합에 관한 결과를, 푸리에 분석과 분리된 집합의 성질을 이용하여 원시적인 증명을 제공하는 것.
• 역문제를 탐구하는 것: 만약 이 방정식이 많은 해를 가진다면, $Q$는 어떤 구조적 성질을 가져야 하는가?
• 분리된 집합에 대한 루딘 부등식의 유사체를 새로운 방식으로 적용하여, 보르게인의 정리에서 $d\dot{\Lambda} \cap \mathcal{R}_\alpha$의 크기에 대한 정량적 개선을 도출하는 것.

제안 방법

• 분리된 집합 $\Lambda$에 대해 $Q \subseteq d\dot{\Lambda}$를 정의하고, $r_i, r_i' \in Q$에 대해 방정식 $r_1 + \cdots + r_k = r_1' + \cdots + r_k'$의 해의 수 $T_k(Q)$를 분석하는 것.
• 고급 초수축 기법을 피하고 기본적인 푸리에 해석 기법을 사용하여, 절대 상수 $C > 0$에 대해 $T_k(Q)$를 $C^{dk}k^{dk}|Q|^k$로 유계화하는 것.
• $d\dot{\Lambda} \cap \mathcal{R}_\alpha$에 이 유계화를 적용하여, 개선된 추정치를 도출하는 것. 여기서 $\mathcal{R}_\alpha$는 집합 $A$의 큰 푸리에 계수를 가진 캐릭터의 집합이다.
• $\vec{a} \in S_1 \times \cdots \times S_{d-2}$를 인덱스로 하는 구조적 부분집합 $Q(\vec{a})$로 $Q$를 재귀적으로 분해하고, 해의 수에 기반한 모순을 이용하는 것.
• 분리된 집합에 대한 루딘 부등식의 일반화된 버전을 사용하여, 구조적 부분집합 내의 해의 수를 제어하는 것.
• 횔더 부등식과 $T_k(f) \leq T_k(|f|)$를 보여주는 보조정리를 사용하여, 해의 수를 푸리에 계수의 $L^1$-노름과 연결하는 것.

실험 결과

연구 질문

• RQ1 분리된 집합의 합집합의 부분집합인 $Q \subseteq \mathbf{F}_2^n$에 대해, 방정식 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$의 해의 수에 대한 정확한 상한은 무엇인가?
• RQ2 보르게인의 $d\dot{\Lambda} \cap \mathcal{R}_\alpha$의 크기에 관한 결과는 기본적인 푸리에 해석 기법을 사용하여 재증명되고 약간 향상시킬 수 있는가?
• RQ3 방정식 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$가 많은 해를 가지려면 $Q$에 어떤 구조적 조건이 있어야 하는가?
• RQ4 부분집합 $Q \subseteq d\dot{\Lambda}$에 대해 해의 수 $T_k(Q)$는 어떻게 행동하는가? 이는 $Q$의 구조에 대해 어떤 함의를 갖는가?
• RQ5 해의 수와 큰 푸리에 계수를 가진 집합 $\mathcal{R}_\alpha$의 크기 사이의 관계는 무엇인가?

주요 결과

• $Q \subseteq d\dot{\Lambda}$에 대해 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$의 해의 수는 절대 상수 $C > 0$에 대해 $C^{dp}p^{dp}|Q|^p$로 유계화되며, 이는 $\mathbf{F}_2^n$에서 날카로운 추정이다.
• 저자들은 보르게인의 유계화를 약간 향상시켰다: $|d\dot{\Lambda} \cap \mathcal{R}_\alpha| \leq 8(\delta/\alpha)^2 \log^d(1/\delta)$이며, 원시적인 방법으로 더 좋은 상수 계수를 확보하였다.
• 만약 $Q \subseteq d\dot{\Lambda}$가 방정식 $q_1 + \cdots + q_p = q_{p+1} + \cdots + q_{2p}$에 많은 해를 가진다면, $Q$의 대부분은 매우 구조적일 것이며, 특정한 덧셈 분해를 가진 큰 부분집합을 포함하고 있음을 의미한다.
• 모든 $B \subseteq \mathcal{R}_\alpha$에 대해 $T_k(B)$는 $T_k(B) \geq \delta \alpha^{2k} |B|^{2k} / \delta^{2k}$를 만족하며, 이는 분석에서 핵심적인 하한 추정이다.
• 초수축 기법을 피하고, $\vec{a} \in S_1 \times \cdots \times S_{d-2}$를 인덱스로 하는 $Q$의 재귀적 분해를 사용하여, 해의 수가 기대되는 범위를 초과하면 모순이 발생함을 보여, 증명이 성립한다.
• $m = |Q'|$일 때, $|Q(\vec{a})| \geq \frac{m d^d}{2^{50d} K^{2d} |\Lambda|^{d-2}}$를 만족하는 벡터 $\vec{a} \in S_1 \times \cdots \times S_{d-2}$가 존재하며, 이는 $Q$의 구조적 부분집합을 나타낸다.