[论文解读] Thermodynamic expansion to arbitrary moduli

Jean Bourgain, Alex Kontorovich+1 more|arXiv (Cornell University)|Jul 29, 2015

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

一句话总结

该论文通过引入一种新颖的解耦技术并利用 [BV12] 中的模形式展开，将双曲面上拉普拉斯算子的预解式热力学展开结果从平方自由模推广至任意模。关键结果表明，对于所有与某固定 $q_0$ 互素的 $q$，预解式在 strip ${\rm Re}(s) > \delta - \varepsilon$ 内全纯，仅在 $s = \delta$ 处有一个单极点，从而推广了 [BGS11, MOW15, OW14] 中的先前结果。

ABSTRACT

We extend the thermodynamic expansion results in [BourgainGamburdSarnak2011, MageeOhWinter2015] from square-free to arbitrary moduli by developing a novel decoupling technique and applying [BourgainVarju2012].

研究动机与目标

• 将拉普拉斯算子预解式的热力学展开结果从平方自由模推广至任意模。
• 将 [MOW15, OW14] 中关于一致指数混合与谱间隙的结果推广至任意模，不再受平方自由限制。
• 在无模限制下，验证 [BK14] 中 Zaremba 设置及相关结果的有效性。
• 在算术商上的动力 zeta 函数与谱理论背景下，为一般模开发一种新的解耦技术。

提出的方法

• 通过用一种针对一般 $q$ 的新颖解耦方法替代 [MOW15] 框架中对平方自由模的依赖，来调整该框架。
• 利用 [BV12] 中的模形式展开，在 $\mathrm{SL}_2(q)$ 上定义测度 $\mu_{s,x,\alpha^M}$，并通过谱与卷积技术进行分析。
• 将转移算子分解为大小为 $L$ 的块，将 $L-1$ 和 $L-2$ 步骤分离，以在由算子生成的群中保持 Zariski 稠密性。
• 应用 [MOW15] 中的压缩性质，以一个控制测度 $\nu$ 来界定测度 $\mu$ 的总变差。
• 通过利用 $L^2_0(G)$ 上正则表示的谱间隙以及 $\|\nu * \psi\|_2$ 的衰减性，估计卷积 $\widetilde{\nu} * \nu$ 的 $L^2$-范数。
• 通过算子范数控制，建立关键估计 $\|\mu * \varphi\|_2 \leq C q^{-1/4} B \|\varphi\|_2$，从而导出谱间隙。

实验结果

研究问题

• RQ1 能否将算术商上预解式的热力学展开与谱间隙结果推广至平方自由模之外？
• RQ2 当模 $q$ 非平方自由时，[MOW15] 中的解耦技术应如何调整以保持 Zariski 稠密性？
• RQ3 为保持对任意 $q$ 的一致有界性，测度分解与算子卷积框架需要进行哪些修改？
• RQ4 [OW14] 中的一致指数混合结果是否对任意模也成立，如作者所暗示？
• RQ5 能否在不假设模为平方自由的条件下，验证 [BK14] 中 Zaremba 类设置的有效性？

主要发现

• 对所有与某 $q_0 \geq 1$ 互素的整数 $q$，预解式 $R_{\Gamma(q)} = (\Delta - s(1-s))^{-1}$ 在 strip $\mathrm{Re}(s) > \delta - \varepsilon$ 内全纯，仅在 $s = \delta$ 处有一个单极点。
• 对测度 $\mu = \mu_{s,x,\alpha^M}$，有估计 $\|\mu * \varphi\|_2 \leq C q^{-1/4} B \|\varphi\|_2$，其中 $B = \|\mu\|_1$，该结果取代了早期对 (MIX) 性质的依赖。
• 当 $R = C \log q$ 时，有 $\|\widetilde{\nu} * \nu\|_2 \leq 2 \|\nu\|_1^2 / |G|^{1/2}$，确保了谱间隙所需的足够衰减。
• 通过将块分解为 $L-2$ 步骤而非 $L-1$ 步骤，该证明可适用于 Schottky 群，从而保持由算子生成群的 Zariski 稠密性。
• 谱间隙估计中的展开常数 $C_0$ 仅依赖于有限多个构型，因为 $\Gamma$ 是有限生成的，因此可获得一致有界性。
• 结果验证了 [BK14] 中的注记 8.8，并支持了 [OW14] 中的预期：一致指数混合对任意模均成立。