[论文解读] On polynomial representation functions for multilinear forms

Juanjo Rué|arXiv (Cornell University)|Apr 14, 2011

Advanced Combinatorial Mathematics参考文献 11被引用 4

一句话总结

本文证明了具有整数系数的多元线性型的表示函数对于大整数 n 不能为常数，从而证明了任何次数小于 s−1 的多项式都无法在大 n 时匹配表示函数 rₘ(n,𝒜)，其中 s 为配置的次数。本文还将 Erdős-Fuchs 定理推广至多元情形，表明平均表示次数的误差无法比 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.

研究动机与目标

• 解决 Sárközy 和 Sós 提出的问题：多元线性型的表示函数是否可能对所有充分大的 n 为常数。
• 证明对于大 n，任何次数小于 s−1 的多项式都无法匹配表示函数 rₘ(n,𝒜)，其中 s 为配置的次数。
• 将 Erdős-Fuchs 定理推广至与次数 s > 1 的配置相关的多元表示函数。
• 分析平均表示函数误差的渐近行为，并证明其无法衰减过快。

提出的方法

• 引入配置 m = {(k₁,m₁), ..., (kᵣ,mᵣ)} 的概念，其中 s = gcd(m₁,…,mᵣ)，定义具有重复变量的多元线性型。
• 使用生成函数与复分析，特别是圆法和单位圆上的 Parseval 恒等式，以控制生成函数的 L² 范数。
• 应用柯西-施瓦茨不等式及幂级数系数的渐近估计，以控制积分界中的误差项。
• 通过变量替换 r² = 1 − M^{−(2+8ε)} 推导出误差项渐近行为中的矛盾。
• 利用 Carlson 定理来证明生成函数表示的解析延拓与唯一性。
• 根据 s 的奇偶性（奇数或偶数）区分情况，以细化生成函数 L² 范数的界。

实验结果

研究问题

• RQ1 对于多元线性型，表示函数 rₘ(n,𝒜) 是否可能对所有充分大的 n 为常数？
• RQ2 给定一个次数为 s 的配置，能够近似 rₘ(n,𝒜) 的最小次数多项式是多少（在大 n 时）？
• RQ3 对于次数 s > 1 的多元表示函数，是否存在类似 Erdős-Fuchs 的结果？
• RQ4 平均表示函数 rₘ(n,𝒜) 的误差是否可能以 O(n^{1/4−ε}) 的速度衰减（对任意正的常数 c）？
• RQ5 当配置次数 s > 1 时，是否存在多项式逼近 rₘ(n,𝒜) 的根本性障碍？

主要发现

• 对于任意正整数的无限序列 𝒜 及任意次数 s > 1 的配置 m，任何次数小于 s−1 的多项式都无法在所有充分大的 n 时等于 rₘ(n,𝒜)。
• 对于多元形式 k₁(x₁,₁+⋯+x₁,m₁)+⋯+kᵣ(xᵣ,₁+⋯+xᵣ,mᵣ)，表示函数 rₘ(n,𝒜) 不能对大 n 为常数。
• 存在类似 Erdős-Fuchs 的结果：对任意 c > 0，∑_{j=1}^n (rₘ(j,𝒜) − c) = O(n^{1/4−ε}) 不可能成立，即使 s > 1。
• O(n^{1/4−ε}) 的界是紧的，即 o(n^{1/4}) 不可能成立，从而推广了经典的 Erdős-Fuchs 定理。
• 该结果是紧的，因为当 𝒜 = ℕ 且 m = {(1,s)} 时，有 rₘ(n,𝒜) = binom(n+1, s−1)，这是一个 s−1 次多项式，表明 s−1 的界是最优的。
• 通过假设误差衰减过快，利用单位圆上生成函数的渐近分析（r² = 1 − M^{−(2+8ε)}）导出矛盾。