We establish a polynomial ergodic theorem for actions of the affine group of a countable field $K$. As an application, we deduce--via a variant of Furstenberg's correspondence principle--that for fields of characteristic zero, any "large" set $E\subset K$ contains "many" patterns of the form $\{p(x)+y,xy\}$, for every non-constant polynomial $p(x)\in K[x]$.
Our methods are flexible enough that they allow us to recover analogous density results in the setting of finite fields and, with the aid of a new finitistic variant of Bergelson's "colouring trick", show that for $r\in \mathbb{N}$ fixed, any $r-$colouring of a large enough finite field will contain monochromatic patterns of the form $\{x,p(x)+y,xy\}$.
In a different direction, we obtain a double ergodic theorem for actions of the affine group of a countable field. An adaptation of the argument for affine actions of finite fields leads to a generalisation of a theorem of Shkredov. Finally, to highlight the utility of the aforementioned finitistic "colouring trick", we provide a conditional, elementary generalisation of Green and Sanders' $\{x,y,x+y,xy\}$ theorem.
논문 ID : 2407.03304제목 : Revisiting sums and products in countable and finite fields저자 : Ioannis Kousek (워릭 대학교 수학과)분류 : math.CO (조합론), math.DS (동역학계)발표 시간 : 2024년 7월 3일논문 링크 : https://arxiv.org/abs/2407.03304 본 논문은 가산체 K K K E ⊂ K E\subset K E ⊂ K { p ( x ) + y , x y } \{p(x)+y,xy\} { p ( x ) + y , x y } p ( x ) ∈ K [ x ] p(x)\in K[x] p ( x ) ∈ K [ x ]
이 방법은 충분히 유연하여 유한체 설정에서 유사한 밀도 결과를 회복할 수 있으며, Bergelson "색칠 기법"의 새로운 유한 변형을 이용하여, 고정된 r ∈ N r\in \mathbb{N} r ∈ N r r r { x , p ( x ) + y , x y } \{x,p(x)+y,xy\} { x , p ( x ) + y , x y }
본 논문이 연구하는 핵심 문제는 Hindman의 유명한 미해결 문제에서 비롯된다: N \mathbb{N} N { x , y , x + y , x y } \{x,y,x+y,xy\} { x , y , x + y , x y } x , y ∈ N x,y\in\mathbb{N} x , y ∈ N
이론적 의의 : 이러한 문제들은 덧셈 및 곱셈 구조의 깊은 연관성을 다루며, 가법 조합론과 에르고딕 이론의 교점이다방법론적 혁신 : 에르고딕 이론 방법을 다항식 패턴으로 확장하여 조합론에 새로운 도구를 제공한다응용 가치 : 결과는 유한체의 밀도 문제 및 단색 패턴 문제에 중요한 응용을 갖는다Moreira 정리 : { x , x + y , x y } \{x,x+y,xy\} { x , x + y , x y } Shkredov 결과 : 소수 위수 유한체 Z p \mathbb{Z}_p Z p Green-Sanders 정리 : 대응하는 밀도 버전이 부재함본 논문은 기존 결과를 다음으로 일반화하는 것을 목표로 한다:
일반 다항식 패턴 { p ( x ) + y , x y } \{p(x)+y,xy\} { p ( x ) + y , x y } 임의의 유한체 (소수 위수만이 아닌) 통일된 에르고딕 이론 프레임워크 구축 다항식 에르고딕 정리 : 가산체 아핀군 작용의 다항식 평균 에르고딕 정리 확립 (정리 1.13)밀도 결과 일반화 : Bergelson-Moreira 밀도 정리를 일반 다항식 패턴으로 확장 (정리 1.12)유한체 버전 : 유한체에서 대응하는 밀도 결과의 정량적 버전 제시 (정리 1.14)새로운 색칠 기법 : 유한 경우의 "색칠 기법" 개발, 단색성 결과 증명 (정리 1.15)이중 에르고딕 정리 : 에르고딕성 가정 하에 이중 에르고딕 정리 확립 (정리 1.16)Shkredov 정리 일반화 : Shkredov 정리를 임의의 유한체로 확장 (정리 1.18)정의 1.10 (허용 다항식) :
특성이 q q q K K K p ( x ) ∈ K [ x ] p(x)\in K[x] p ( x ) ∈ K [ x ] deg ( p ( x ) ) ≤ q − 1 \deg(p(x))\leq q-1 deg ( p ( x )) ≤ q − 1 특성이 0인 가산체: 모든 상수가 아닌 다항식이 허용된다 정의 1.7 (이중 Følner 수열) :
가산체 K K K ( F N ) N ∈ N (F_N)_{N\in\mathbb{N}} ( F N ) N ∈ N x ∈ K ∗ x\in K^* x ∈ K ∗ lim N → ∞ ∣ F N ∩ ( x + F N ) ∣ ∣ F N ∣ = lim N → ∞ ∣ F N ∩ ( x F N ) ∣ ∣ F N ∣ = 1 \lim_{N\to\infty}\frac{|F_N\cap(x+F_N)|}{|F_N|}=\lim_{N\to\infty}\frac{|F_N\cap(xF_N)|}{|F_N|}=1 lim N → ∞ ∣ F N ∣ ∣ F N ∩ ( x + F N ) ∣ = lim N → ∞ ∣ F N ∣ ∣ F N ∩ ( x F N ) ∣ = 1
가산체 K K K A K = { f : x ↦ u x + v ∣ u , v ∈ K , u ≠ 0 } A_K=\{f:x\mapsto ux+v\mid u,v\in K, u\neq 0\} A K = { f : x ↦ ux + v ∣ u , v ∈ K , u = 0 } M u A v = A u v M u ( 2.1 ) M_uA_v = A_{uv}M_u \quad (2.1) M u A v = A uv M u ( 2.1 )
보조정리 2.5 : ( G , ⋅ ) (G,\cdot) ( G , ⋅ ) ( a u ) u ∈ G (a_u)_{u\in G} ( a u ) u ∈ G H H H lim M → ∞ 1 ∣ F M ∣ ∑ v ∈ F M lim sup N → ∞ 1 ∣ F N ∣ ∣ ∑ u ∈ F N ⟨ a u ⋅ v , a u ⟩ ∣ = 0 \lim_{M\to\infty}\frac{1}{|F_M|}\sum_{v\in F_M}\limsup_{N\to\infty}\frac{1}{|F_N|}\left|\sum_{u\in F_N}\langle a_{u\cdot v},a_u\rangle\right|=0 lim M → ∞ ∣ F M ∣ 1 ∑ v ∈ F M lim sup N → ∞ ∣ F N ∣ 1 ∑ u ∈ F N ⟨ a u ⋅ v , a u ⟩ = 0 lim N → ∞ 1 ∣ F N ∣ ∑ u ∈ F N a u = 0 \lim_{N\to\infty}\frac{1}{|F_N|}\sum_{u\in F_N}a_u=0 lim N → ∞ ∣ F N ∣ 1 ∑ u ∈ F N a u = 0
정리 3.2 : K K K p ( x ) ∈ K [ x ] ∖ K p(x)\in K[x]\setminus K p ( x ) ∈ K [ x ] ∖ K lim N → ∞ 1 ∣ F N ∣ ∑ u ∈ F N A p ( u ) f = P A f \lim_{N\to\infty}\frac{1}{|F_N|}\sum_{u\in F_N}A_{p(u)}f = P_Af lim N → ∞ ∣ F N ∣ 1 ∑ u ∈ F N A p ( u ) f = P A f P A P_A P A
f ∈ L 2 ( X , μ ) f\in L^2(X,\mu) f ∈ L 2 ( X , μ ) a u = M u A − p ( u ) f a_u=M_uA_{-p(u)}f a u = M u A − p ( u ) f
분해 : f = P A f + ( f − P A f ) f=P_Af+(f-P_Af) f = P A f + ( f − P A f ) 핵심 추정 : b ≠ 0 b\neq 0 b = 0 ⟨ a u b , a u ⟩ = ⟨ A − p ( u b ) + p ( u ) / b f , M 1 / b f ⟩ \langle a_{ub},a_u\rangle = \langle A_{-p(ub)+p(u)/b}f,M_{1/b}f\rangle ⟨ a u b , a u ⟩ = ⟨ A − p ( u b ) + p ( u ) / b f , M 1/ b f ⟩ 다항식 성질 : p ( x ) = q 0 + q 1 x + ⋯ + q m x m p(x)=q_0+q_1x+\cdots+q_mx^m p ( x ) = q 0 + q 1 x + ⋯ + q m x m p ( u b ) − p ( u ) / b = q 0 b − 1 b + u ( q 1 b 2 − 1 b ) + ⋯ p(ub)-p(u)/b = q_0\frac{b-1}{b}+u\left(q_1\frac{b^2-1}{b}\right)+\cdots p ( u b ) − p ( u ) / b = q 0 b b − 1 + u ( q 1 b b 2 − 1 ) + ⋯ m m m 귀납적 적용 : 정리 3.2를 적용하여 증명을 완성한다명제 4.2 : 유한체 F F F q q q p ( x ) p(x) p ( x ) ∥ 1 ∣ F ∣ ∑ u ∈ F A p ( u ) f − P A f ∥ 2 2 ≤ q − 1 ∣ F ∣ 1 / 2 q − 2 ∥ f − P A f ∥ 2 2 \left\|\frac{1}{|F|}\sum_{u\in F}A_{p(u)}f-P_Af\right\|_2^2\leq\frac{q-1}{|F|^{1/2^{q-2}}}\|f-P_Af\|_2^2 ∣ F ∣ 1 ∑ u ∈ F A p ( u ) f − P A f 2 2 ≤ ∣ F ∣ 1/ 2 q − 2 q − 1 ∥ f − P A f ∥ 2 2
이는 귀납법과 명제 2.7 (유한군 van der Corput 보조정리)을 통해 증명된다.
유한체 F F F q q q p ( x ) p(x) p ( x ) ∣ E ∣ ∣ G ∣ > 2 ( q + 2 ) ∣ F ∣ 2 − ( 1 / 2 q − 1 ) |E||G|>2(q+2)|F|^{2-(1/2^{q-1})} ∣ E ∣∣ G ∣ > 2 ( q + 2 ) ∣ F ∣ 2 − ( 1/ 2 q − 1 ) x y ∈ E xy\in E x y ∈ E p ( x ) + y ∈ G p(x)+y\in G p ( x ) + y ∈ G x , y ∈ F ∗ x,y\in F^* x , y ∈ F ∗
임의의 유한체 F F F B 1 , B 2 , B 3 ⊂ F B_1,B_2,B_3\subset F B 1 , B 2 , B 3 ⊂ F ∣ B 1 ∣ ∣ B 2 ∣ ∣ B 3 ∣ ≥ 8 ∣ F ∣ 5 / 2 |B_1||B_2||B_3|\geq 8|F|^{5/2} ∣ B 1 ∣∣ B 2 ∣∣ B 3 ∣ ≥ 8∣ F ∣ 5/2 x + y ∈ B 1 x+y\in B_1 x + y ∈ B 1 x y ∈ B 2 xy\in B_2 x y ∈ B 2 x ∈ B 3 x\in B_3 x ∈ B 3 x , y ∈ F ∗ x,y\in F^* x , y ∈ F ∗
∣ F ∣ = 3 6 = 729 |F|=3^6=729 ∣ F ∣ = 3 6 = 729 { u v , u + v 2 } \{uv,u+v^2\} { uv , u + v 2 } ∣ E ∣ > 2 2 ⋅ 3 9 ≈ 396 |E|>2\sqrt{2}\cdot 3^9\approx 396 ∣ E ∣ > 2 2 ⋅ 3 9 ≈ 396 ∣ F ∣ = 3 7 = 2187 |F|=3^7=2187 ∣ F ∣ = 3 7 = 2187 ∣ E ∣ > 2 2 ⋅ 3 21 / 4 ≈ 904 |E|>2\sqrt{2}\cdot 3^{21/4}\approx 904 ∣ E ∣ > 2 2 ⋅ 3 21/4 ≈ 904 Hindman 문제 (미해결): N \mathbb{N} N { x , y , x + y , x y } \{x,y,x+y,xy\} { x , y , x + y , x y } Moreira 정리 : N \mathbb{N} N { x , x + y , x y } \{x,x+y,xy\} { x , x + y , x y } Shkredov 정리 : Z p \mathbb{Z}_p Z p Green-Sanders 정리 : Z p \mathbb{Z}_p Z p { x , y , x + y , x y } \{x,y,x+y,xy\} { x , y , x + y , x y } Bergelson-Moreira : 가산체의 에르고딕 이론 방법방법론적 통일 : 에르고딕 이론을 이용한 가산체와 유한체의 통일적 처리결과 일반화 : 선형에서 일반 다항식으로의 확장기술적 혁신 : 유한 경우의 "색칠 기법" 개발Bergelson-Moreira 프레임워크를 다항식 경우로 성공적으로 확장 가산체와 유한체의 통일 이론 확립 실용적인 정량적 경계 제시 허용성 제약 : 다항식 차수가 체의 특성에 의해 제한됨에르고딕성 가정 : 이중 에르고딕 정리는 추가 에르고딕성 조건 필요경계 최적화 : 정량적 경계가 최적이 아닐 수 있음문제 3.6-3.7 : 비허용 다항식을 다룰 수 있는가?추측 1.17 : 비에르고딕 경우의 이중 에르고딕 정리추측 1.19 : Green-Sanders 정리의 완전한 일반화이론적 깊이 : 에르고딕 이론과 조합론의 심층적 결합방법론적 혁신 : 다항식 평균 에르고딕 정리는 중요한 이론적 기여광범위한 응용 : 결과가 임의의 유한체에 적용 가능 (소수 위수로 제한되지 않음)정교한 기술 : van der Corput 기법의 교묘한 적용허용성 : 다항식 차수 제약이 기술적으로 복잡함상수 최적화 : 일부 경계의 상수가 충분히 정교하지 않을 수 있음계산 복잡성 : 알고리즘 구현의 복잡성이 논의되지 않음이론적 기여 : 가법 조합론에 새로운 에르고딕 이론 도구 제공방법론적 가치 : 유한체 "색칠 기법"은 독립적 가치를 가짐응용 전망 : 암호학 및 부호 이론에서 잠재적 응용 가능이론 연구 : 가법 조합론 및 에르고딕 이론 연구유한체 분석 : 암호학의 구조 분석패턴 검출 : 빅데이터의 패턴 발견 문제논문은 32편의 중요 문헌을 인용하며, 주요 내용은 다음을 포함한다:
Bergelson & Moreira의 에르고딕 이론 연구 Shkredov의 유한체 조합론 결과 Green & Sanders의 단색 패턴 정리 Host & Kra의 멱영 구조 이론 Furstenberg의 고전 에르고딕 이론 종합 평가 : 이는 높은 품질의 이론 수학 논문으로, 에르고딕 이론 방법을 다항식 경우로 성공적으로 확장하여 가법 조합론 및 유한체 이론에 중요한 기여를 한다. 기술적 처리가 정교하며, 결과는 강한 이론적 가치와 잠재적 응용 전망을 갖는다.
