More Like this

1. THE DE BRUIJN–NEWMAN CONSTANT IS NON-NEGATIVE

   https://doi.org/10.1017/fmp.2020.6  

   RODGERS, BRAD; TAO, TERENCE (January 2020, Forum of Mathematics, Pi)

   For each $$t\in \mathbb{R}$$ , we define the entire function $$\begin{eqnarray}H_{t}(z):=\int _{0}^{\infty }e^{tu^{2}}\unicode[STIX]{x1D6F7}(u)\cos (zu)\,du,\end{eqnarray}$$ where $$\unicode[STIX]{x1D6F7}$$ is the super-exponentially decaying function $$\begin{eqnarray}\unicode[STIX]{x1D6F7}(u):=\mathop{\sum }_{n=1}^{\infty }(2\unicode[STIX]{x1D70B}^{2}n^{4}e^{9u}-3\unicode[STIX]{x1D70B}n^{2}e^{5u})\exp (-\unicode[STIX]{x1D70B}n^{2}e^{4u}).\end{eqnarray}$$ Newman showed that there exists a finite constant $$\unicode[STIX]{x1D6EC}$$ (the de Bruijn–Newman constant ) such that the zeros of $$H_{t}$$ are all real precisely when $$t\geqslant \unicode[STIX]{x1D6EC}$$ . The Riemann hypothesis is equivalent to the assertion $$\unicode[STIX]{x1D6EC}\leqslant 0$$ , and Newman conjectured the complementary bound $$\unicode[STIX]{x1D6EC}\geqslant 0$$ . In this paper, we establish Newman’s conjecture. The argument proceeds by assuming for contradiction that $$\unicode[STIX]{x1D6EC}<0$$ and then analyzing the dynamics of zeros of $$H_{t}$$ (building on the work of Csordas, Smith and Varga) to obtain increasingly strong control on the zeros of $$H_{t}$$ in the range $$\unicode[STIX]{x1D6EC} 

   more » « less
2. SOME REFINED RESULTS ON THE MIXED LITTLEWOOD CONJECTURE FOR PSEUDO-ABSOLUTE VALUES

   https://doi.org/10.1017/s1446788718000198  

   LIU, WENCAI (August 2019, Journal of the Australian Mathematical Society)

   In this paper, we study the mixed Littlewood conjecture with pseudo-absolute values. For any pseudo-absolute-value sequence $${\mathcal{D}}$$ , we obtain a sharp criterion such that for almost every $$\unicode[STIX]{x1D6FC}$$ the inequality $$\begin{eqnarray}|n|_{{\mathcal{D}}}|n\unicode[STIX]{x1D6FC}-p|\leq \unicode[STIX]{x1D713}(n)\end{eqnarray}$$ has infinitely many coprime solutions $$(n,p)\in \mathbb{N}\times \mathbb{Z}$$ for a certain one-parameter family of $$\unicode[STIX]{x1D713}$$ . Also, under a minor condition on pseudo-absolute-value sequences $${\mathcal{D}}_{1},{\mathcal{D}}_{2},\ldots ,{\mathcal{D}}_{k}$$ , we obtain a sharp criterion on a general sequence $$\unicode[STIX]{x1D713}(n)$$ such that for almost every $$\unicode[STIX]{x1D6FC}$$ the inequality $$\begin{eqnarray}|n|_{{\mathcal{D}}_{1}}|n|_{{\mathcal{D}}_{2}}\cdots |n|_{{\mathcal{D}}_{k}}|n\unicode[STIX]{x1D6FC}-p|\leq \unicode[STIX]{x1D713}(n)\end{eqnarray}$$ has infinitely many coprime solutions $$(n,p)\in \mathbb{N}\times \mathbb{Z}$$ . 

   more » « less
3. A COMPACTNESS PRINCIPLE FOR MAXIMISING SMOOTH FUNCTIONS OVER TOROIDAL GEODESICS

   https://doi.org/10.1017/S0004972718001636  

   STEINERBERGER, STEFAN (August 2019, Bulletin of the Australian Mathematical Society)

   Let $$f\in C^{2}(\mathbb{T}^{2})$$ have mean value 0 and consider $$\begin{eqnarray}\sup _{\unicode[STIX]{x1D6FE}\,\text{closed geodesic}}\frac{1}{|\unicode[STIX]{x1D6FE}|}\biggl|\int _{\unicode[STIX]{x1D6FE}}f\,d{\mathcal{H}}^{1}\biggr|,\end{eqnarray}$$ where $$\unicode[STIX]{x1D6FE}$$ ranges over all closed geodesics $$\unicode[STIX]{x1D6FE}:\mathbb{S}^{1}\rightarrow \mathbb{T}^{2}$$ and $$|\unicode[STIX]{x1D6FE}|$$ denotes its length. We prove that this supremum is always attained. Moreover, we can bound the length of the geodesic $$\unicode[STIX]{x1D6FE}$$ attaining the supremum in terms of the smoothness of the function: for all $$s\geq 2$$ , $$\begin{eqnarray}|\unicode[STIX]{x1D6FE}|^{s}{\lesssim}_{s}\biggl(\max _{|\unicode[STIX]{x1D6FC}|=s}\Vert \unicode[STIX]{x2202}_{\unicode[STIX]{x1D6FC}}f\Vert _{L^{1}(\mathbb{T}^{2})}\biggr)\Vert \unicode[STIX]{x1D6FB}f\Vert _{L^{2}}\Vert f\Vert _{L^{2}}^{-2}.\end{eqnarray}$$ 

   more » « less
4. THE DYNAMICAL MORDELL–LANG CONJECTURE FOR ENDOMORPHISMS OF SEMIABELIAN VARIETIES DEFINED OVER FIELDS OF POSITIVE CHARACTERISTIC

   https://doi.org/10.1017/S1474748019000318  

   Corvaja, Pietro; Ghioca, Dragos; Scanlon, Thomas; Zannier, Umberto (March 2021, Journal of the Institute of Mathematics of Jussieu)

   null (Ed.)

   Abstract Let $$K$$ be an algebraically closed field of prime characteristic $$p$$ , let $$X$$ be a semiabelian variety defined over a finite subfield of $$K$$ , let $$\unicode[STIX]{x1D6F7}:X\longrightarrow X$$ be a regular self-map defined over $$K$$ , let $$V\subset X$$ be a subvariety defined over $$K$$ , and let $$\unicode[STIX]{x1D6FC}\in X(K)$$ . The dynamical Mordell–Lang conjecture in characteristic $$p$$ predicts that the set $$S=\{n\in \mathbb{N}:\unicode[STIX]{x1D6F7}^{n}(\unicode[STIX]{x1D6FC})\in V\}$$ is a union of finitely many arithmetic progressions, along with finitely many $$p$$ -sets, which are sets of the form $$\{\sum _{i=1}^{m}c_{i}p^{k_{i}n_{i}}:n_{i}\in \mathbb{N}\}$$ for some $$m\in \mathbb{N}$$ , some rational numbers $$c_{i}$$ and some non-negative integers $$k_{i}$$ . We prove that this conjecture is equivalent with some difficult diophantine problem in characteristic 0. In the case $$X$$ is an algebraic torus, we can prove the conjecture in two cases: either when $$\dim (V)\leqslant 2$$ , or when no iterate of $$\unicode[STIX]{x1D6F7}$$ is a group endomorphism which induces the action of a power of the Frobenius on a positive dimensional algebraic subgroup of $$X$$ . We end by proving that Vojta’s conjecture implies the dynamical Mordell–Lang conjecture for tori with no restriction. 

   more » « less
5. A rational map with infinitely many points of distinct arithmetic degrees

   https://doi.org/10.1017/etds.2019.30  

   LESIEUTRE, JOHN; SATRIANO, MATTHEW (January 2019, Ergodic Theory and Dynamical Systems)

   Let be a dominant rational self-map of a smooth projective variety defined over $$\overline{\mathbb{Q}}$$ . For each point $$P\in X(\overline{\mathbb{Q}})$$ whose forward $$f$$ -orbit is well defined, Silverman introduced the arithmetic degree $$\unicode[STIX]{x1D6FC}_{f}(P)$$ , which measures the growth rate of the heights of the points $$f^{n}(P)$$ . Kawaguchi and Silverman conjectured that $$\unicode[STIX]{x1D6FC}_{f}(P)$$ is well defined and that, as $$P$$ varies, the set of values obtained by $$\unicode[STIX]{x1D6FC}_{f}(P)$$ is finite. Based on constructions by Bedford and Kim and by McMullen, we give a counterexample to this conjecture when $$X=\mathbb{P}^{4}$$ . 

   more » « less