Skip to content
Preprint

On the p-adic Wirsing problem

Aug 2026 · 0 citations · 20 references
Mathematics

Abstract

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.

View source

Similar papers

Preprint Sep 2026

The spectrum of $(\xi\alpha^n)$ can be uncountable

In this note, we give a counterexample to the assertion of Problem 10.4 in Bugeaud's monograph Distribution modulo one and Diophantine approximation, which goes back to Mend\`es France. The problem states that the spectrum of the sequence $(\xi\alpha^n)_{n\ge1}$, that is, the set of irrational $\theta\in(0,1)$ for whic...

Hikmet Burak Özcan · 0 citations
Preprint Sep 2026

On the exponential sum over squarefree integers

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...

Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler · 0 citations
Preprint Aug 2026

Degree-uniform regions for Gautschi's conjecture on subrange Jacobi polynomials

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...

V. Botta, K. Castillo, L. Tertuliano et al. · 0 citations
Preprint Aug 2026

Nondegeneracy and regularity of polynomial pushforwards

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...

Egor D. Kosov, A. Zhukova · 1 citation · ⚡1
Preprint Sep 2026

Diophantine approximation with primes in an arithmetic progression

Let $\alpha \in \mathbb{R} \setminus \mathbb{Q}$, $\beta \in \R$, $N \in \mathbb{R}_{\ge 1}$ and $ \Delta \in (0, 1/2)$. For any real $y$, let $\|y\|$ denote the distance from $y$ to the nearest integer. In the first part of this paper, we show that given two coprime integers $u, v \ge 1$, there are infinitely many pri...

D. Mazumder, J. Sivaraman · 0 citations
Preprint Aug 2026

Visible Measures along $\Omega(n)$ and Distribution of Horocycle Orbits

Let $\Omega(n)$ denote the number of prime factors of $n$, counted with multiplicities. We study the set $Acc^\Omega(x)$ of weak-$^*$ limits of the sequence $\frac{1}{N}\sum_{n\leq N}\delta_{T^{\Omega(n)}x}$ in $\sigma$-compact dynamical systems $ (X,T)$, demonstrating that if $x \in X$ is quasi-generic for an ergodic...

Adam Kanigowski, Kaitlyn Loyd · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.