[논문 리뷰] Rank counting and maximum subsets of $\mathbb{F}^n_q$ containing no right angles

Gennian Ge, Chong Shangguan|arXiv (Cornell University)|2016. 12. 25.

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

한 줄 요약

이 논문은 타오의 다항식 방법에 기반한 개선된 랭크 수세기 추론을 도입하여, $ℝ_q^n$ 내에서 세 개의 서로 다른 원소가 직각을 이루지 않는(즉, $〈 x-y, z-y 〉 = 0$ 를 만족하는) 부분집합의 크기 상한을 도출한다. 최대 크기는 $inom{n+q}{q-1} + 3$ 이하임을 증명하며, 이는 이전의 상한에 비해 크게 향상되었고, 다항식-형 상한을 얻게 되어 최근의 다항식 방법 적용에서 흔히 볼 수 있는 지수형 상한과는 뚜렷한 대비를 이룬다.

ABSTRACT

Recently, Croot, Lev, and Pach (Ann. of Math., 185:331--337, 2017.) and Ellenberg and Gijswijt (Ann. of Math., 185:339--443, 2017.) developed a new polynomial method and used it to prove upper bounds for three-term arithmetic progression free sets in $\mathbb{Z}_4^n$ and $\mathbb{F}_3^n$, respectively. Their approach was summarized by Tao as a rank counting argument of functions and hypermatrices. In this paper, we first present a variant of Tao's counting formula, then apply it to obtain an upper bound for the cardinality of maximal subsets of $\mathbb{F}^n_q$ containing no right angles. To be more precise, we prove that if $q$ is a fixed odd prime power, then the maximal cardinality of a subset $A$ of $\mathbb{F}_q^n$ with no three distinct elements $x,y,z\in A$ satisfying $ =0$ is at most $\binom{n+q}{q-1}+3$. Our bound substantially improves the known upper bound $\mathcal{O}(q^{\frac{n+2}{3}})$. Moreover, it is tight up to a constant depending only on $q$. Interestingly, our result is quite different from the previous ones obtained by the newly developed polynomial method, i.e., our upper bound is of magnitude $ m{poly}$($n$) instead of $\exp(n)$.

연구 동기 및 목표

• 세 개의 서로 다른 원소가 직각을 이루지 않는 부분집합 $ℝ_q^n$ 의 최대 크기를 구하는 문제를 다루는 것.
• 이러한 부분집합에 대해 기존의 상한 $\mathcal{O}(q^{(n+2)/3})$ 을 향상시키는 것.
• 타오의 랭크 수세기 공식의 변종을 적용하여 더 엄밀하고 더 구조적인 상한을 도출하는 것.
• 새로운 상한이 $q$ 에만 의존하는 상수 요소까지는 정확하게 유지되며, $n$ 에 대해 다항식임을 보여주는 것. 이는 이전 방법에서 흔히 볼 수 있는 지수형 상한과 대조된다.

제안 방법

• 직각 조건을 분석하기 위해 $ℝ_q^n$ 내에서의 함수와 초행렬에 관련된 타오의 랭크 수세기 공식의 변종을 개발한다.
• 이 방법은 이중선형형식 조건 $〈 x-y, z-y 〉 = 0$ 에 초점을 두어 직각 삼각형을 특성화한다.
• 대칭 다중선형형식과 그 랭크 분해를 사용하여 이러한 구성이 없는 집합의 크기를 유계화한다.
• 핵심 단계는 관련된 텐서 또는 초행렬의 랭크를 통해 이러한 구성의 수를 유계화하는 것이다.
• 랭크와 오른쪽을 이루지 않는 최대 부분집합의 크기를 연결함으로써, $inom{n+q}{q-1} + 3$ 의 상한을 도출한다.
• 이 방법은 $ℝ_q^n$ 의 조합적 및 대수적 성질을 활용하여 $n$ 에 대해 다항식 의존성을 달성한다.

실험 결과

연구 질문

• RQ1 세 개의 서로 다른 원소가 직각을 이루지 않는 부분집합 $A \subseteq \mathbb{F}_q^n$ 의 최대 크기는 얼마인가? 즉, $〈 x-y, z-y 〉 = 0$ 을 만족하는가?
• RQ2 다항식 방법이 이러한 극값 집합에 대해 $n$ 에 대해 다항식 상한을 도출하도록 조정할 수 있는가? 지수형 상한이 아닌가?
• RQ3 새로운 상한 $inom{n+q}{q-1} + 3$ 이 이전에 알려진 $ℝ(q^{(n+2)/3})$ 추정치와 비교해 보았을 때, 정밀도와 渐近적 행동에서 어떻게 다른가?
• RQ4 새로운 상한이 $q$ 에만 의존하는 상수 요소까지는 정확한가?
• RQ5 유한체 위의 벡터 공간에서 직각을 피하는 집합에 대해 어떤 구조적 통찰을 얻을 수 있는가?

주요 결과

• 세 개의 서로 다른 원소가 직각을 이루지 않는 부분집합 $A \subseteq \mathbb{F}_q^n$ 의 최대 크기는 $inom{n+q}{q-1} + 3$ 이하이다.
• 이 상한은 이전의 $ℝ(q^{(n+2)/3})$ 상한에 비해 크게 향상되었다.
• 새로운 상한은 $n$ 에 대해 다항식이며, 특히 $inom{n+q}{q-1}$ 의 순서를 가지며, 최근의 다항식 방법 적용에서 흔히 볼 수 있는 지수형 상한과는 뚜렷한 대비를 이룬다.
• 상한은 $q$ 에만 의존하는 덧셈 상수까지 정확하게 유지되며, 강력한 渐近적 정밀도를 나타낸다.
• 결과적으로, 랭크 수세기 방법이 소수체 위 기하학적 극값 문제에 적용되었을 때, 정성적으로 다른(다항식) 상한을 도출할 수 있음을 보여준다.
• 이 접근법은 오직 유한체 기하학에서 직각을 피할 경우, 차원에 대해 다항식 성장의 조합적 상한이 유도된다는 새로운 구조적 제약을 드러낸다.