[논문 리뷰] Structure and regularity for subsets of groups with finite VC-dimension

Gabriel Conant, Anthony L. Pillay외 1명|arXiv (Cornell University)|2018. 02. 12.

Advanced Topology and Set Theory참고 문헌 24인용 수 7

한 줄 요약

이 논문은 유한 군의 부분집합이 유계 VC-차원을 가질 때, 그와 같은 집합이 작은 오차 내에서 대수적 구조—유 bound index의 정규부분군 또는 보어 이웃—에 의해 근사 가능하다는 산술 정규성 보조정리를 수립한다. 모델 이론적 기법, 특히 허구유한 컴actsification과 리 군의 역극한을 사용하여, 이러한 집합의 구조는 매우 규칙적이고 대수적으로 잘 행동하는 대상들에 의해 지배됨을 증명한다. 이는 그린의 산술 정규성 보조정리를 아벨 군에서 비아벨 군으로 일반화하며, 강력한 균일성과 정량적 한계를 제공한다.

ABSTRACT

Suppose $G$ is a finite group and $A\subseteq G$ is such that $\{gA:g\in G\}$ has VC-dimension strictly less than $k$. We find algebraically well-structured sets in $G$ which, up to a chosen $ε>0$, describe the structure of $A$ and behave regularly with respect to translates of $A$. For the subclass of groups with uniformly fixed finite exponent $r$, these algebraic objects are normal subgroups with index bounded in terms of $k$, $r$, and $ε$. For arbitrary groups, we use Bohr neighborhoods of bounded rank and width inside normal subgroups of bounded index. Our proofs are largely model theoretic, and heavily rely on a structural analysis of compactifications of pseudofinite groups as inverse limits of Lie groups. The introduction of Bohr neighborhoods into the nonabelian setting uses model theoretic methods related to the work of Breuillard, Green, and Tao and Hrushovski on approximate groups, as well as a result of Alekseev, Glebskii, and Gordon on approximate homomorphisms.

연구 동기 및 목표

• 유한 VC-차원 조건 하에서 그린의 산술 정규성 보조정리를 아벨 군에서 임의의 유한 군으로 확장하기.
• 유한 군의 부분집합이 유계 VC-차원을 가질 때 그를 근사하는 대수적 구조(정규부분군 또는 보어 이웃)를 규명하기.
• 이러한 근사 구조의 인덱스에 대한 균일하고 정량적인 한계를 VC-차원, 군의 지수, 오차 허용 범위에 따라 설정하기.
• 조합 정규성과 모델 이론적 방법을 통합하여, 특히 허구유한 군과 그 컴actsification을 통해 접근하기.
• 근사군의 구조 이론과 키슬러 측도를 활용하여 아벨에서 비아벨 환경으로 결과를 일반화하기.

제안 방법

• 특히 허구유한 군과 그 컴actsification(리 군의 역극한으로서 표현됨) 이론을 활용한 모델 이론적 기법 사용.
• 포화된 모델에서 정의 가능한 집합을 분석하기 위해 키슬러 측도와 fsg(finitely satisfiable generics) 개념 적용.
• 콤���트 $p$-adic 해석적 군에서 열린 정규부분군의 정의 가능성 활용으로, 허구유한 설정의 결과를 유한 몫군으로 이행하기.
• 브루아일라드, 그린, 타오의 근사군 이론과 하루쉬프스키의 안정군 이론을 활용하여 유계 VC-차원을 가진 집합의 구조 분석.
• 유 bound 랭크와 너비를 가진 보어 이웃을 유 bound 인덱스의 정규부분군 내에 활용하여 비아벨 군에서의 규칙성 포착.
• 알렉세예프, 글레브스키, 고든의 근사 호모모르피즘 결과를 활용하여 집합 $A$의 이동의 행동 제어하기.

실험 결과

연구 질문

• RQ1 집합 $A$가 유계 VC-차원을 가질 때, 아벨 군에서 비아벨 유한 군으로 산술 정규성을 확장할 수 있는가?
• RQ2 유한 군의 부분집합 $A$가 유계 VC-차원을 가질 때, 균일하게 근사 가능한 대수적 구조(예: 부분군 또는 보어 이웃)는 무엇인가?
• RQ3 허구성과 컴actsification을 포함한 모델 이론적 도구를 어떻게 활용하여 산술 조합론에서 정량적 정규성 결과를 도출할 수 있는가?
• RQ4 VC-차원, 군의 지수, 오차 허용 범위에 따라 근사 구조의 인덱스에 대한 균일한 한계는 무엇인가?
• RQ5 정의 가능성과 유형 공간을 통해 $p$-adic 해석적 군의 결과를 그 유한 몫군으로 옮길 수 있는가?

주요 결과

• 일관된 유 bound 지수 $r$를 가진 유한 군의 경우, 근사 대상은 $k$, $r$, $\\/epsilon$에 따라 유 bound 인덱스의 정규부분군이다.
• 임의의 유한 군의 경우, 근사 구조는 유 bound 인덱스의 정규부분군 내에 유 bound 랭크와 너비를 가진 보어 이웃이다.
• 집합 $A$는 오차 집합의 밀도가 $\epsilon$ 미만일 때, 근사 부분군의 잔여류들의 합집합에 의해 근사된다.
• 정규성 조건이 성립한다: 임의의 이동 $gH$에 대해, $gH \cap A = \emptyset$ 또는 $gH \subseteq A$가 오차 집합을 제외하고 성립한다.
• 증명은 군의 허구유한 컴actsification에 기반하며, 이는 리 군의 역극한으로 표현되며, 고유한 왼쪽 불변 키슬러 측도의 존재를 포함한다.
• 주요 결과는 타입 이론적 컴acts성 추론을 통해 도출되며, 포화와 유형 공간의 집적점 개념을 활용하여 균일한 한계의 실패로부터 모순을 이끌어낸다.