[论文解读] On probability measures arising from lattice points on circles

Pär Kurlberg, Igor Wigman|Research Portal (King's College London)|Jan 8, 2015

Mathematical Dynamics and Fractals参考文献 4被引用 5

一句话总结

本文研究了以原点为中心的圆周上格点导出的概率测度，表明可实现测度——即此类点上归一化计数测度的弱极限——在卷积下封闭，并包含所有极端对称测度。然而，并非所有对称概率测度都是可实现的，这由傅里叶系数的约束所揭示：对于可实现测度，$\hat{\mu}(8)$ 必须位于 $2\hat{\mu}(4)^2 - 1$ 与 $\max(\hat{\mu}(4)^4, (2|\hat{\mu}(4)| - 1)^2)$ 之间，揭示了由于素数幂贡献导致的可实现测度集合中类似分形的结构。

ABSTRACT

A circle, centered at the origin and with radius chosen so that it has non-empty intersection with the integer lattice $\mathbb{Z}^{2}$, gives rise to a probability measure on the unit circle in a natural way. Such measures, and their weak limits, are said to be attainable from lattice points on circles. We investigate the set of attainable measures and show that it contains all extreme points, in the sense of convex geometry, of the set of all probability measures that are invariant under some natural symmetries. Further, the set of attainable measures is closed under convolution, yet there exist symmetric probability measures that are not attainable. To show this, we study the geometry of projections onto a finite number of Fourier coefficients and find that the set of attainable measures has many singularities with a "fractal" structure. This complicated structure in some sense arises from prime powers - singularities do not occur for circles of radius $\sqrt{n}$ if $n$ is square free.

研究动机与目标

• 刻画作为原点处圆周上格点归一化计数测度弱极限的可实现概率测度集合。
• 确定所有关于 $\pi/2$ 旋转和复共轭不变的对称概率测度是否均可从这些格点实现。
• 利用傅里叶系数及其约束，分析可实现测度集合的几何与算术结构。
• 研究素数幂在生成可实现测度空间中奇点与类似分形特征的作用。

提出的方法

• 将概率测度 $\mu_n$ 定义为在半径为 $\sqrt{n}$ 的圆周上格点处的 Dirac delta 函数的归一化和，其中 $n \in \mathbb{Z}$ 可表示为两平方之和。
• 使用傅里叶系数 $\hat{\mu}(k) = \int_{\mathcal{S}^1} z^{-k} d\mu(z)$ 分析可实现测度的结构，重点关注 $\hat{\mu}(4)$ 和 $\hat{\mu}(8)$。
• 建立可实现测度集合在卷积下封闭，并由素数幂可实现测度生成，即 $\mu_{p^e}$ 的弱极限，其中 $p \equiv 1 \pmod{4}$ 为素数。
• 证明可实现测度集合包含于由不等式 $2x^2 - 1 \leq y \leq \max(x^4, (2|x| - 1)^2)$ 定义的区域中，其中 $x = \hat{\mu}(4)$，$y = \hat{\mu}(8)$。
• 分析前几个傅里叶系数投影的几何结构，发现在 $|x| = 1$ 附近存在尖点和奇点，尤其由于高阶素数幂的贡献。
• 使用泰勒展开和三角多项式符号分析，证明可实现区域边界曲率的不等式，特别是在 $|\hat{\mu}(4)| \leq 1/3$ 区域。

实验结果

研究问题

• RQ1 所有单位圆上的对称概率测度是否均可作为格点测度在圆周上的弱极限实现？
• RQ2 傅里叶系数 $\hat{\mu}(4)$ 和 $\hat{\mu}(8)$ 对可实现测度集合施加了何种约束？
• RQ3 为何可实现测度集合中会出现奇点和类似分形的结构？这与素数幂半径有何关联？
• RQ4 对于无平方因子 $n$ 与含更高阶素数幂因子的 $n$，可实现测度的结构有何不同？
• RQ5 可实现傅里叶系数区域是否可被完全刻画？其是否严格小于所有对称测度的全集？

主要发现

• 可实现测度集合在卷积下封闭，且由素数幂可实现测度生成，即 $\mu_{p^e}$ 的弱极限，其中 $p \equiv 1 \pmod{4}$ 为素数。
• 可实现测度集合包含对称概率测度凸集的所有极端点，但严格小于所有对称测度的全集。
• 对于任意可实现测度 $\mu$，其傅里叶系数满足 $2\hat{\mu}(4)^2 - 1 \leq \hat{\mu}(8) \leq \max(\hat{\mu}(4)^4, (2|\hat{\mu}(4)| - 1)^2)$，等号成立情形对应特定几何构型。
• 可实现傅里叶系数区域在 $|\hat{\mu}(4)| = 1$ 附近具有尖点，其中曲线 $y = x^4$ 与 $y = (2|x| - 1)^2$ 以相同切线相接，表明奇点行为。
• 数值实验表明，满足 $|\hat{\mu}(4)| \leq 1/3$ 且 $\hat{\mu}(8)$ 位于下界 $2x^2 - 1$ 之上、上界之下但非零的点虽稀少但存在，表明该区域被稀疏但非空地填充。
• 可实现集合的类似分形结构源于高阶素数幂的贡献；对于无平方因子 $n$，其结构更简单，且不具此类奇点。