Let $\pi_n$ be the monic polynomial of degree $n$ orthogonal on $[-c,c]$, $0<c\leq 1$, with respect to the Jacobi weight $(1-x)^\alpha(1+x)^\beta$, where $-1<\alpha<\beta$. Gautschi conjectured that $$ \left[ \frac{\pi_n(-c)}{\pi_n(c)} \right]^2 \left(\frac{1-c}{1+c}\right)^{\beta-\alpha}<1. $$ By his variation formula, this inequality is sufficient for every positive zero of $\pi_n$ to move to the right as $c$ increases. For $0<c<1$, we prove the conjecture, uniformly in the degree, throughout $0<\alpha<\beta$. Combined with the region $\alpha\leq 0\leq\beta$, recorded by Gautschi on the basis of an unpublished communication from Milovanovi'c, and with Milovanovi'c's published criterion, this settles the full admissible range $\beta\geq 0$. In the remaining negative wedge, writing $\alpha=-r-\lambda$ and $\beta=-r+\lambda$, we prove the conjecture whenever $$ c^2\leq\frac{3}{3+r}. $$ Consequently, it holds for every admissible pair of parameters when $0<c\leq\sqrt{3}/2$. For arbitrary admissible parameters, we also establish the degree-one case and eventual validity as $n\to\infty$. The proof combines an exact boundary identity, a first-crossing argument based on Pearson and root-motion identities, and, in the negative wedge, a Ward identity with positive association for an MTP$_2$ orthogonal polynomial ensemble. The case $c=1$ is immediate.
Let $\pi$ and $\pi'$ be unitary cuspidal automorphic representations of $\mathrm{GL}(n)$ and $\mathrm{GL}(n')$ over a number field $F$. Let $\mathfrak{C}_{\pi}$ be the analytic conductor of $\pi$. We develop a new approach to zero-free regions for $L$-functions via lower bounds for power sums, proving for all $\varepsilon>0$ the existence of ineffective constants $c=c_{n,F,\varepsilon}>0$ and $c'=c'_{n,F,\pi',\varepsilon}>0$ such that the standard $L$-function $L(s,\pi)$ satisfies \[ |L(\sigma+it,\pi)|\geq c(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon},\qquad \sigma\geq 1-c(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon} \] and the Rankin-Selberg $L$-function $L(s,\pi\times\pi')$ satisfies \[ |L(\sigma+it,\pi\times\pi')|\geq c'(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon},\qquad \sigma\geq 1-c'(\mathfrak{C}_{\pi}(|t|+3))^{-\varepsilon}. \] Applications include improvements to the prime number theorems for these $L$-functions and new generalizations of the Brauer-Siegel theorem.
For a real transcendental number $\xi$, let $\omega_n^*(\xi)$ denote the supremum of all $\omega$ for which there exist infinitely many real algebraic numbers $\alpha$ of degree $\leq n$ satisfying $|\xi-\alpha|\leq H(\alpha)^{-\omega -1}$, where $H(\alpha)$ is the naive height of the minimal polynomial of $\alpha$. A celebrated result of Wirsing gives the uniform lower bound $\omega_n^*(\xi)\geq\frac{n+1}{2}$, which was improved significantly in a recent work of Po\"els to $\frac{n}{2-\log 2}$. In this paper, we establish a $p$-adic counterpart of Po\"els's result. Let $p$ be a prime and $\xi\in\Qp$ be transcendental. Let $\omega_{n,p}^*(\xi)$ be the supremum of all real numbers $\omega$ for which there exist infinitely many algebraic numbers $\alpha \in \Qp$ of degree $\leq n$ such that $|\xi-\alpha|_p\leq H(\alpha)^{-\omega -1}$. We show that $\omega^*_{n,p}(\xi)\geq\frac{n}{2-\log 2}-1$. This improves the known lower bounds in the $p$-adic setting, namely the analogue of Wirsing's theorem, due to Morrison and Teuli\'e.
Let $\mu$ be a log-concave probability measure on $\mathbb R^n$ and let $f\colon\mathbb R^n\to\mathbb R^k$ be a polynomial mapping of degree at most $d$. We show that \[ \mu(f\in A) \le C\bigl(\lambda_k(A)\bigr)^{\frac{1}{k(d-1)+1}} \] for every Borel set $A\subset\mathbb R^k$ whenever the image measure $\mu\circ f^{-1}$ is absolutely continuous. The constant $C$ is independent of the dimension $n$, and the exponent $\frac{1}{k(d-1)+1}$ is sharp. This extends the scalar Carbery--Wright inequality and answers, in the log-concave setting, a question raised by Avni, Glazer, and Larsen. In addition, we show that the density of $\mu\circ f^{-1}$, whenever it exists, belongs to the Nikolskii--Besov space $B^{\frac{1}{k(d-1)+1}}_{1,\infty}(\mathbb R^k)$, with a dimension-free bound for the corresponding norm. A central difficulty in passing from scalar polynomials to vector-valued polynomial mappings is the lack of a suitable nondegeneracy parameter quantifying absolute continuity of $\mu\circ f^{-1}$, as the variance does in the scalar case. Natural candidates such as the covariance matrix or the Jacobian matrix either fail to characterize this property or do not lead to dimension-free estimates. We identify such a parameter and define it to be the covariance matrix of the vector formed by the monomials of degree up to $d^{k-1}$ in the normalized components of $f$. The dimension-free nature of our results allows us to extend Kusuoka's absolute continuity criterion for Gaussian polynomial random vectors to the log-concave setting. Moreover, in this setting, we obtain estimates relating convergence in distribution to convergence in total variation for polynomial random vectors.
Let $\mu$ be the M\"obius function and $e(t)=e^{2\pi it}$. We prove that if $N\ge2$, $\alpha\in\mathbb{R}$, $(a,q)=1$, and $|\alpha-a/q|\le q^{-2}$, then \[\bigg|\sum_{n\le N}\mu^2(n)e(\alpha n)\bigg|\ll\left(\frac Nq+q\right)(\log 2N)^5, \] with an absolute implied constant, and we deduce the corresponding estimate on the minor arcs of the Hardy--Littlewood dissection throughout the range $Q\le N^{1/2}$. The estimates of Schlage-Puchta [SP] and of Tolev [T] have the same dependence on $q$ and $Q$ but carry a factor $N^{\varepsilon}$. The proof uses Heath-Brown's square sieve with sieving primes confined to an interval $(P,2P]$, where $P$ may be as small as a multiple of $\log N$; a finite Fej\'er majorant in place of a truncated Fourier series; and, after completion of the character sums, a count of representations that exploits the restriction on the primes in place of the divisor function.
Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler· 0 citations
Fix an integer $K\ge2$, and let $C_K^n =\{(e^{\frac{2\pi ij}{K}})_{j=0}^{K-1}\}^n$ be the product of cyclic groups of order $K$. For a Fourier character $\chi_\alpha$, let $s(\alpha)$ be the number of active coordinates. We give a self-contained proposed proof that the dimension-free Bohnenblust--Hille constants governed by interaction order grow polynomially: if $p_d=2d/(d+1)$ and \[ \gamma_2=\frac12, \qquad \gamma_K=\frac{K\log(K-1)}{4(K-2)}\quad(K\ge3), \] then the $\ell^{p_d}$ norm of Fourier coefficients $\{\hat f(\alpha)\}$ is bounded by $L^\infty$ norm of $f$ multiplied by $C(K) d^{4\gamma_K+5}$. The constant $C(K)$ is actually at most of the order $K^{5/2}$.
We determine all solutions of
\[
x^2+3^a7^b37^c=\lambda y^n,
\]
where $\lambda\in\{1,2,4\}$, $x,y\geq1$, $a,b,c\geq0$, $n\geq3$, and $\gcd(x,y)=1$, subject to the following parity condition: when $\lambda\in\{1,2\}$ and neither $3$ nor $4$ divides $n$, the integer $y$ is assumed to be odd. The cases divisible by $3$ or $4$ are reduced to the determination of $S$-integral points on elliptic and quartic curves, with $S=\{3,7,37\}$. For the remaining exponents, a reduction to odd prime exponents is combined with the primitive divisor theorem for Lehmer sequences and the corrected classification of defective Lehmer pairs. All computationally obtained solutions are then checked directly in the original equation.
Unknown authors· Earthline Journal of Mathema...· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
