[논문 리뷰] An inverse theorem for Freiman multi-homomorphisms

W. T. Gowers, Luka Milićević|arXiv (Cornell University)|2020. 02. 26.

Limits and Structures in Graph Theory참고 문헌 29인용 수 9

한 줄 요약

이 논문은 유한체 위의 프리마인 다중호모모르피즘에 대한 역정리(역정리)를 수립한다: Fp 위의 벡터 공간의 곱집합의 조밀한 부분집합에서 정의된 임의의 다중호모모르피즘은 매개수 k와 정의역의 조밀도 δ에 대한 지수의 타워에 반비례하는 조밀도를 가진 집합에서 다중아핀 함수와 일치한다. 이 결과는 고특성 설정에서 근사 다항식, 균일성 노름, 주된 방향에 대한 부분공간에 대한 정량적 구조 정리들을 도출한다.

ABSTRACT

Let $G_1, \dots, G_k$ and $H$ be vector spaces over a finite field $\mathbb{F}_p$ of prime order. Let $A \subset G_1 imes\dots imes G_k$ be a set of size $δ|G_1| \cdots |G_k|$. Let a map $ϕ\colon A o H$ be a multi-homomorphism, meaning that for each direction $d \in [k]$, and each element $(x_1, \dots, x_{d-1}, x_{d+1}, \dots, x_k)$ of $G_1 imes\dots imes G_{d-1} imes G_{d+1} imes \dots imes G_k$, the map that sends each $y_d$ such that $(x_1, \dots,$ $x_{d-1},$ $y_d,$ $x_{d+1}, \dots,$ $x_k) \in A$ to $ϕ(x_1, \dots,$ $x_{d-1},$ $y_d,$ $x_{d+1}, \dots,$ $x_k)$ is a Freiman homomorphism (of order 2). In this paper, we prove that for each such map, there is a multiaffine map $Φ\colon G_1 imes\dots imes G_k o H$ such that $ϕ= Φ$ on a set of density $\Big(\exp^{(O_k(1))}(O_{k,p}(δ^{-1}))\Big)^{-1}$, where $\exp^{(t)}$ denotes the $t$-fold exponential. Applications of this theorem include: $\bullet$ a quantitative inverse theorem for approximate polynomials mapping $G$ to $H$, for finite-dimensional $\mathbb{F}_p$-vector spaces $G$ and $H$, in the high-characteristic case, $\bullet$ a quantitative inverse theorem for uniformity norms over finite fields in the high-characteristic case, and $\bullet$ a quantitative structure theorem for dense subsets of $G_1 imes\dots imes G_k$ that are subspaces in the principal directions (without additional characteristic assumptions).

연구 동기 및 목표

• 유한차원 Fp 위의 벡터 공간의 맥락에서 다중호모모르피즘에 대한 정량적 역정리를 수립하기 위해.
• 기존의 2-호모모르피즘(프리마인 호모모르피즘)에 대한 고전적 역정리를 다변수 설정으로 일반화하기 위해.
• 곱공간의 조밀한 부분집합에서 약간의 다중선형성 또는 다중아핀성만을 갖는 함수의 구조적 특성화를 제공하기 위해.
• 이 결과를 바탕으로 고특성 경우에서 균일성 노름과 근사 다항식에 대한 정량적 역정리를 도출하기 위해.
• 특성에 대한 가정 없이도 G1 × ⋯ × Gk의 조밀한 부분집합이 각 주요 방향에서 부분공간이 되는 경우의 구조 정리 증명하기 위해.

제안 방법

• 다중호모모르피즘 φ: A → H를 각 방향 d에 대해 xd에 대한 슬라이스 맵이 순서 k의 프리마인 호모모르피즘인 함수로 정의한다.
• 귀납법과 반복적인 제약 조건을 통해 슬라이스에서 φ의 구조를 제어하며, 순서 k의 프리마인 호모모르피즘이 다항 위상에 의해 제어된다는 사실을 활용한다.
• 일반화된 보골리우보프-르즈사 보조정리를 적용하여, φ가 다중아phin 함수처럼 행동하는 큰 구조적 부분공간을 찾는다.
• 균일성 노름과 그 역정리의 개념을 활용하여, φ의 복잡성과 다중아핀 함수와의 일치 정도를 연결한다.
• 반복적인 다항근사와 닐스페이스 이론을 활용하여 다중아핀 근사에서의 오차를 제어한다.
• 조밀도의 상한을 k와 δ−1에 대한 지수의 타워로 제한하며, 지수는 k와 p에 따라 달라진다.

실험 결과

연구 질문

• RQ1 G1 × ⋯ × Gk의 조밀한 부분집합에서 정의된 다중호모모르피즘이 어떤 조건에서 큰 부분집합에서 다중아핀 함수와 일치하는가?
• RQ2 2-호모모르피즘에 대한 역정리를 명시적인 정량적 상한을 포함하여 다변수 경우로 확장할 수 있는가?
• RQ3 조밀도 일치와 관련된 프리마인 다중호모모르피즘의 복잡성 사이의 정량적 관계는 무엇인가?
• RQ4 이러한 역정리는 고특성 유한체에서 균일성 노름에 대한 정량적 결과를 도출하는 데 어떻게 응용될 수 있는가?
• RQ5 특성에 대한 가정 없이도 각 주요 방향에서 부분공간이 되는 조밀한 집합에 대해 구조 정리를 도출할 수 있는가?

주요 결과

• 모든 다중호모모르피즘 φ가 G1 × ⋯ × Gk의 조밀도 δ를 갖는 부분집합 A ⊂ 에서 정의될 경우, φ = Φ를 만족하는 다중아핀 함수 Φ가 존재하며, 이는 최소 (exp(Dmh_k) · Ok,p(δ−1))−1의 조밀도를 갖는 집합에서 성립한다.
• 상수 Dmh_k는 어떤 절대 상수 C에 대해 C³ᵏ(k+1)! 이하로 유계이므로, k에 대한 의존성은 최대 삼중지수 수준임을 보여준다.
• 이 결과는 고특성 경우에서 유한체 위의 균일성 노름에 대한 정량적 역정리를 도출하며, 이는 이전의 정성적 결과를 향상시킨다.
• 이것은 유한차원 Fp-벡터 공간 G에서 H로 가는 근사 다항식에 대한 정량적 역정리를 제공한다.
• 이 정리는 특성에 대한 가정 없이도 G1 × ⋯ × Gk의 조밀한 부분집합이 각 주요 방향에서 부분공간이 되는 경우의 구조 정리를 암시한다.