[论文解读] Uniformity of multiplicative functions and partition regularity of some quadratic equations

Nikos Frantzikinakis, Bernard Host|arXiv (Cornell University)|Mar 18, 2013

Limits and Structures in Graph Theory参考文献 25被引用 6

一句话总结

本文通过证明其解集具有允许在遍历系统中实现递归的参数化结构，建立了某些三元二次方程（如 $16x^2 + 9y^2 = n^2$ 和 $x^2 + y^2 - xy = n^2$）的划分正则性。关键贡献在于将乘法函数分解为几乎周期部分与一致小部分，从而借助高阶傅里叶分析和齐性空间等分布理论，证明了密度与递归性质。

ABSTRACT

Since the theorems of Schur and van der Waerden, numerous partition regularity results have been proved for linear equations, but progress has been scarce for non-linear ones, the hardest case being equations in three variables. We prove partition regularity for certain equations involving forms in three variables, showing for example that the equations $16x^2+9y^2=n^2$ and $x^2+y^2-xy=n^2$ are partition regular, where $n$ is allowed to vary freely in $\mathbb{N}$. For each such problem we establish a density analogue that can be formulated in ergodic terms as a recurrence property for actions by dilations on a probability space. Our key tool for establishing such recurrence properties is a decomposition result for multiplicative functions which is of independent interest. Roughly speaking, it states that the arbitrary multiplicative function of modulus 1 can be decomposed into two terms, one that is approximately periodic and another that has small Gowers uniformity norm of degree three.

研究动机与目标

• 在自然数集 ℕ 中，当变量 $n$ 自由变化时，建立三元二次方程的划分正则性。
• 将已知结果扩展至线性方程之外，特别是在非平移不变、非线性的情形下。
• 提出划分正则性的密度类比，将其表述为概率空间上缩放作用下的递归性质。
• 证明关于模为 1 的乘法函数的新结构性结果，将其分解为几乎周期部分与三阶均匀性小的成分。

提出的方法

• 利用三个相关二次型的非零平方判别式导出的二次型的参数化解。
• 应用高阶傅里叶分析，特别是三阶 Gowers 一致范数的逆定理。
• 采用遍历理论方法，将组合划分正则性问题转化为概率空间上缩放作用下的递归性问题。
• 建立任意乘法函数向几乎周期部分与三阶 Gowers 一致范数小的部分的分解。
• 利用齐性空间上的定量等分布结果，控制分解中的均匀部分。
• 利用解的参数化结构，将问题约化为动态定义集合中的递归性问题。

实验结果

研究问题

• RQ1 当 $n$ 在 ℕ 中自由变化时，方程 $ax^2 + by^2 = n^2$ 在何种条件下在 ℕ 上具有划分正则性？
• RQ2 在缺乏平移不变性或线性结构的情况下，能否建立二次方程的划分正则性？
• RQ3 如何对模为 1 的乘法函数进行分解，以控制其一致性和递归性质？
• RQ4 相关二次型的平方判别式在确保解集具有足够组合丰富性方面起什么作用？
• RQ5 能否基于缩放作用下的遍历递归性质，形式化并证明划分正则性的密度版本？

主要发现

• 在所述条件下，方程 $16x^2 + 9y^2 = n^2$ 以及 $x^2 + y^2 - xy = n^2$ 等方程均具有划分正则性。
• 对于一般二次型 $p(x,y,z) = ax^2 + by^2 + cz^2 + dxy + exz + fyz$，若其三个判别式 $\Delta_1, \Delta_2, \Delta_3$ 均为非零平方数，则方程 $p(x,y,n) = 0$ 具有划分正则性。
• 将模为 1 的乘法函数分解为几乎周期部分与三阶均匀性小部分的分解，本身即为具有独立兴趣的结构性工具。
• 对于 ℕ 的任意有限划分，存在某个 $n \in \mathbb{N}$，使得某一部分包含满足 $p(x,y,n) = 0$ 的不同 $x,y$。
• 证明了划分正则性的密度类比：在任意上密度为正的集合中，存在某个 $n$，使得 $p(x,y,n) = 0$ 有解，条件同上。
• 通过诱导划分，该结果可推广至线性方程，表明若 $a,b,a+b$ 均为非零平方数，则 $ax + by = n^2$ 具有划分正则性。