Very recently, Lech Mazur proved the celebrated Sendov conjecture, and Terence Tao subsequently distilled the main ideas of the proof in a blog post. In this paper, we establish a quantitative strengthening of Sendov's conjecture, namely the quadratic Tang--Zhang inequality. Let $p$ be a polynomial of degree $n\ge2$ whose zeros lie in the closed unit disk, and let $\zeta_1,\ldots,\zeta_{n-1}$ denote its critical points, counted with multiplicity. We prove that, for every zero $a$ of $p$, $$ \sum_{j=1}^{n-1}\frac{1}{|a-\zeta_j|^2}\ge n-1. $$ Moreover, equality holds if and only if $p(z)=c(z^n-\omega)$ for some $c\in\mathbb C\setminus\{0\}$ and $|\omega|=1$. We also provide a Lean 4 formalization of the main results.
In this paper, we study a Riesz-type weighted sum of the Liouville function, $f(x):=-\sum_{n\le x}\frac{\lambda(n)\log n}{\sqrt n}\log\frac{x}{n}$ for sufficiently large $x$. Motivated by a recent research on the sign criteria for the Riemann Hypothesis arising from weighted prime-counting functions, we investigate the...
In 1997, Belinsky conjectured that, for convex subsequences, the logarithmic growth condition of Carleson, Trigub, and Zagorodni\u{\i} is necessary and sufficient for the arithmetic means of subsequential Fourier partial sums to converge at every Lebesgue point of every integrable function. We disprove the sufficiency...
For $m\geq 2$, let $c_p(m)$ be the all-dimensional best constant in $$ \left\|\sum_{k=1}^m A_k\right\|_p \leq c_p(m)\left\|\sum_{k=1}^m |A_k|\right\|_p. $$ Tang and Zhang conjectured an explicit formula for every finite $p>1$. We disprove the conjecture with two explicit real $2\times 2$ rank-one matrices at $p=3/2$. T...
Guo, Fang, and Lu recently proved the Koml\'os conjecture: for vectors $v_1,\ldots,v_n\in\mathbb R^d$ of Euclidean norm at most one, there are signs $\varepsilon_j\in\{-1,1\}$ with $\|\sum_j\varepsilon_jv_j\|_\infty\le3\sqrt{2\pi}$. We give a short proof of the bound $3\pi$ that keeps the geometric lifting framework of...
Let $K$ be an imaginary quadratic field and let $p \ge 5$ be a prime that is unramified in $K$. Let $\mathcal{A}_f/\mathbb{Q}$ be an abelian variety of $\mathrm{GL}_2$-type associated with a weight-two modular form $f$, with good non-ordinary reduction at $p$, and suppose that $(f,K)$ satisfies the generalized Heegner...
We prove the Zygmund conjecture in all parameters: the maximal operator associated with products of cubes with side lengths $(s_1,\ldots,s_{m-1},\phi(s_1,\ldots,s_{m-1}))$, where $\phi$ is any positive coordinatewise nondecreasing function, satisfies the weak $L(\log L)^{m-2}$ estimate for every $m\geq3$. The estimate...
Henri Martikainen· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
