[논문 리뷰] On polynomial representation functions for multilinear forms

Juanjo Rué|arXiv (Cornell University)|2011. 04. 14.

Advanced Combinatorial Mathematics참고 문헌 11인용 수 4

한 줄 요약

이 논문은 정수 계수를 가진 다변수 선형 형식의 표현 함수가 큰 정수 n에 대해 일정할 수 없음을 입증하며, 구성의 차수 s보다 작은 차수의 다항식은 큰 n에 대해 표현 함수 rₘ(n,𝒜)를 일치시킬 수 없음을 보여준다. 또한 에르되시-푸흐 정리를 다변수 설정으로 확장하여, 평균 표현 수의 오차가 O(n^{1/4−ε})보다 빠르게 감소할 수 없음을 보여준다.

ABSTRACT

Given an infinite sequence of positive integers $\cA$, we prove that for every nonnegative integer $k$ the number of solutions of the equation $n=a_1+...+a_k$, $a_1,\,..., a_k\in \cA$, is not constant for $n$ large enough. This result is a corollary of our main theorem, which partially answers a question of Sárközy and Sós on representation functions for multilinear forms. Additionally, we obtain an Erdős-Fuchs type result for a wide variety of representation functions.

연구 동기 및 목표

• 사르코지와 소스가 제기한 질문에 대해, 다변수 선형 형식의 표현 함수가 큰 n에 대해 일정할 수 있는지 여부를 해결하기 위해.
• 구성의 차수 s에 대해 s−1보다 작은 차수의 다항식이 큰 n에 대해 표현 함수 rₘ(n,𝒜)를 일치시킬 수 없음을 입증하기 위해.
• 에르되시-푸흐 정리를 구성의 차수 s > 1와 관련된 다변수 표현 함수로 확장하기 위해.
• 평균 표현 함수의 오차의 渐近적 행동을 분석하고, 그 오차가 너무 빨리 감소할 수 없음을 보여주기 위해.

제안 방법

• 차수 s = gcd(m₁,…,mᵣ)를 가진 구성 m = {(k₁,m₁), ..., (kᵣ,mᵣ)}의 개념을 도입하여 반복 변수를 가진 다변수 선형 형식을 정의한다.
• 생성 함수와 복소해석학, 특히 원주 위의 파르세발 항등식과 원주 위의 원주 적분을 활용한 L² 노름의 상한을 구하기 위해 원주 방법을 사용한다.
• 카우치-슈와르츠 부등식과 멱급수 계수의 渐近적 추정을 적용하여 적분 상한 내의 오차 항을 제어한다.
• 대체 변수 r² = 1 − M^{−(2+8ε)}를 사용하여 오차 항의 渐近적 행동에서 모순을 유도한다.
• 카르스완의 정리를 활용하여 생성 함수 표현의 해석적 계속성과 유일성을 정당화한다.
• s의 홀짝성(짝수 또는 홀수)에 따라 경우를 구분하여 생성 함수의 L² 노름에 대한 상한을 더욱 정교하게 조정한다.

실험 결과

연구 질문

• RQ1 다변수 선형 형식에 대해 표현 함수 rₘ(n,𝒜)가 모든 충분히 큰 n에 대해 일정할 수 있는가?
• RQ2 구성의 차수 s가 주어졌을 때, 큰 n에 대해 rₘ(n,𝒜)를 근사할 수 있는 다항식의 최소 차수는 얼마인가?
• RQ3 차수 s > 1인 다변수 표현 함수에 대해 에르되시-푸흐 유형의 결과가 성립하는가?
• RQ4 평균 표현 함수 rₘ(n,𝒜)의 오차가 어떤 양수 c에 대해 O(n^{1/4−ε})로 감소할 수 있는가?
• RQ5 구성의 차수 s > 1일 때, rₘ(n,𝒜)의 다항식 근사화에 본질적인 장애가 존재하는가?

주요 결과

• 모든 양의 정수의 무한수열 𝒜와 차수 s > 1인 구성 m에 대해, s−1보다 작은 차수의 다항식은 충분히 큰 모든 n에 대해 rₘ(n,𝒜)와 일치할 수 없다.
• 다변수 형식 k₁(x₁,₁+⋯+x₁,m₁)+⋯+kᵣ(xᵣ,₁+⋯+xᵣ,mᵣ)에 대한 표현 함수 rₘ(n,𝒜)는 큰 n에 대해 일정할 수 없다.
• 에르되시-푸흐 유형 결과가 성립한다: ∑_{j=1}^n (rₘ(j,𝒜) − c) = O(n^{1/4−ε})는 어떤 c > 0에 대해서도 성립하지 않으며, s > 1일 때도 마찬가지다.
• O(n^{1/4−ε}) 상한은 날카로운 것으로, o(n^{1/4})는 불가능하며, 이는 고전적 에르되시-푸흐 정리를 일반화한다.
• 𝒜 = ℕ 및 m = {(1,s)}일 때 rₘ(n,𝒜) = binom(n+1, s−1)는 차수 s−1의 다항식이므로, 상한 s−1가 최적임을 보여준다.
• 오차가 너무 빨리 감소한다고 가정할 경우, r² = 1 − M^{−(2+8ε)}를 사용한 단위 원 위의 생성 함수의 渐近적 분석을 통해 모순을 도출한다.