# Questions tagged [diophantine-approximation]

The diophantine-approximation tag has no usage guidance.

106
questions with no upvoted or accepted answers

**19**

votes

**0**answers

744 views

### Looking for an effective irrationality measure of $\pi$

Most standard summaries of the literature on irrationality measure simply say, e.g., that
$$
\left| \pi - \frac{p}{q}\right| > \frac{1}{q^{7.6063}}
$$
for all sufficiently large $q$, without giving ...

**16**

votes

**0**answers

320 views

### Average value of j-invariant at infinity

Let $\xi\in\mathbb{R}$ and consider the average value (with respect to hyperbolic length) of the $j$-invariant ($j(z)=q^{-1}+744+196884q+\ldots$, $q=e^{2\pi iz}$) along a geodesic aimed at $\xi$:
$$
\...

**13**

votes

**0**answers

290 views

### Diophantine approximation in the Julia set

Let $f : \mathbb{CP}^1 \to \mathbb{CP}^1$ be a rational map of degree $q > 1$; or just a quadratic binomial $z^2 + c$, if one prefers. The Julia set $J_f$ is the closure of the repelling periodic ...

**13**

votes

**0**answers

558 views

### Should the number of small solutions in Roth's theorem be bounded uniformly, assuming the target is an algebraic integer?

Consider, on the one hand, algebraic integers $\alpha$ and their rational approximants to within a varying exponent $\kappa > 2$; and on the other hand, smooth projective geometrically irreducible ...

**12**

votes

**0**answers

780 views

### Roth's theorem, Lang's conjecture and beyond

Lang conjectured that for an irrational algebraic number $\alpha$ and $\epsilon > 0$, there exist
only finitely may rationals $p/q$ such that
$$ \left| \alpha - \frac{p}{q} \right| <\frac{1}{q^2(...

**11**

votes

**0**answers

301 views

### Given $2^n - 1 \mid 3^m - 1$, how large must $m$ be compared to $n$?

Let $m,n$ be natural numbers such that $2^n - 1 \mid 3^m - 1$. By results from Bugeaud-Corvaja-Zannier, say Theorem 3 of this paper , we know that for any constant $C > 0$ we must have $m > Cn$ ...

**11**

votes

**1**answer

381 views

### Lindemann theorem for Artin-Hasse exponential

Though the Lindemann--Weierstrass theorem is not known in the $p$-adic settings, its "Lindemann" part -- the transcendence of $\exp(a)$ for algebraic $a$ with $0<|a|_p<p^{-1/(p-1)}$ -- was shown ...

**9**

votes

**0**answers

434 views

### How small parallelograms are we guaranteed to get, when we select the two sides from different plane lattices?

Title question description: Select two lattices $\Lambda_1$ and $\Lambda_2$ (here a lattice=additive free abelian group without accumulation points) of maximal rank two in the real plane. We normalize ...

**9**

votes

**0**answers

723 views

### Counting Lattice Points in Real Polytopes

Suppose one did have an exact formula for the number of $\mathbb{Z}^n$-lattice points intersecting an arbitrary dilate of a (not necessarily rational) finite, closed and convex $n$-polytope. As a ...

**8**

votes

**0**answers

187 views

### The condition on $\alpha$ that $\alpha^n$ is convergent modulo 1

We consider numbers $\alpha\in \mathbb{R}$ with $|\alpha|>1$. Is there any result about a characterization of those $\alpha$ so that $\{\alpha^n\}_{n\in \mathbb{N}}$ is convergent modulo 1?
I ...

**8**

votes

**0**answers

236 views

### Irrationality measure of the number is itself

Does there exist real number $\theta\in \mathbb{R}$\ $\mathbb{Q}$ such that Irrationality Measure of $\theta$ is itself?
$$\forall \epsilon >0, \exists C>0, \forall(p,q)\in \mathbb{Z^2},\bigg|\...

**8**

votes

**0**answers

213 views

### Attractors of arithmetically small points

Consider the "points" to be in $\mathbb{G}_m(\mathbb{C}) = \mathbb{C}^{\times}$. By a sequence of "arithmetically small points" is meant a sequence of pairwise different algebraic points $\beta$ that, ...

**7**

votes

**0**answers

200 views

### Are there partially algebraic Hecke characters?

$\newcommand{\C}{\mathbb{C}} \newcommand{\U}{\mathbb{U}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\R}{\mathbb{R}} \newcommand{\Q}{\mathbb{Q}}$
Let $F$ be a number field.
Let $\chi\colon \mathbb{A}_F^\...

**7**

votes

**0**answers

386 views

### Diophantine approximation of algebraic number

An important theorem in Diophantine approximation is the theorem of Liouville:
Liouville Theorem If x is a algebraic number of degree $n$ over the rational numbers then there exists a constant c(x) ...

**7**

votes

**0**answers

249 views

### Question on some coverings of the euclidean space

Let $L$ be a maximal integral lattice in the euclidean $(\mathbf R^{8m},q)$ (thus the associated bilinear form $b(u,v)=q(u+v)-q(u)-q(v)$, once restricted to $L$, takes values in $2\mathbf Z$ and has ...

**7**

votes

**0**answers

443 views

### Is simultaneous diophantine approximation (in a weaker sense) NP hard?

The traditional problem of simultaneous diophantine approximation is: Given a set of rational numbers $g_1,\ldots,g_d$, an integer $N$, and a rational $\gamma>0$, is there an integer $W$ with $1\...

**6**

votes

**0**answers

84 views

### Explicit constructions of $\tau$-approximable numbers

A number $x\in\mathbb R$ is said to be $\tau$-approximable if there are $c,C>0$ such that for infinitely many couples of integers $(p,q)$, $$|x-\frac pq|<Cq^{-\tau}$$ and for all couples $(p,q)$ ...

**6**

votes

**0**answers

81 views

### Counterexamples or reasonings about the transcendence of series involving the Möbius function, and polynomials in the denominator

This afternoon I tried to read and understand some sections of the paper Some Applications of Diophantine Approximation by R. Tijdeman procedding from Number Theory for the Millenium III, A K Peters (...

**6**

votes

**0**answers

193 views

### How large are good approximations to irrational numbers?

It is well known that for almost every $c \in \mathbb{R} / \mathbb{Z}$ there exists $(q_n)_{n \geq 1}$ and $(a_n)_{n \geq 1}$ such that $$|c - a_n / q_n| \leq 1/ q_n^2,$$ where $q_n < q_{n+1} \leq ...

**6**

votes

**0**answers

201 views

### Solving polynomial equations modulo $1$

Let $P\in \mathbb{R}\lbrack x\rbrack$ be given. (In practice, the coefficients could be given as, say, decimals to sufficient precision.) Let $M\geq 1$, and let $I$ be an interval in $\mathbb{R}/\...

**6**

votes

**0**answers

121 views

### Diophantine approximation in $\mathbb{G}_m^r$ with approximants restricted to a finiteley generated subgroup

Faltings, in the same paper (Diophantine approximation on abelian varieties, Ann. Math. 1991) in which he proved his famous ``big theorem,'' proved also that at any place $v$ of a number field $K$ and ...

**6**

votes

**0**answers

861 views

### Can you get Siegel's theorem "for free" from modularity and Mazur's Eisenstein Ideal paper?

There is a well-known theorem of Shafarevich that given a finite set $S$ of primes the number of isomorphism classes of elliptic curves over $\Bbb Q$ with everywhere good reduction outside $S$ is ...

**5**

votes

**0**answers

231 views

### Does the equation $a^b+b^c+c^a=d^e$ have solutions in $\mathbb {N}$

Here $a,b,c,d,e$ are distinct and all greater than $1$.
This question was formerly posted on Math.Stackexchange, precisely here,
but seems to be more general than some other tough number theory ...

**5**

votes

**1**answer

200 views

### Irrationality measure of powers

Let $\alpha$ be an irrational number. Denote by $\mu(\alpha)$ its irrationality measure. Can one say anything about $\mu(\alpha^n)$ for every $n\in\mathbb N$?
Even more, one knows that $\mu(e)=2$. Can ...

**5**

votes

**0**answers

94 views

### Kronecker's theorem on diophantine approximation for $\mathrm{SL}_2(\mathbb{Z})$

Kronecker's theorem on diophantine approximation gives a criterium whether the orbit of a tupple ${\underline\alpha}=(\alpha_1,\ldots,\alpha_n)\in \mathbb{R}^n/\mathbb{Z}^n$ comes arbitrarily close to ...

**5**

votes

**0**answers

87 views

### Approximation of an irrational point from a given direction

Taking norms to be maximal norm, then the simultaneous version of the Dirichlet's approximation theorem states that given real numbers ${\displaystyle \alpha _{1},\ldots ,\alpha _{d}} $,there are ...

**5**

votes

**0**answers

247 views

### Transcendental Continued Fractions

Liouville famously showed the existence of a transcendental number by considering $\alpha =\sum\limits_{n=0}^\infty10^{-n!}$ and showing that it did not satisfy 'Liouville's criterion' $|\alpha-p/q|\...

**4**

votes

**0**answers

75 views

### Algebraic integers whose matrix representations have singular values in an interval

Let $K$ be a finite extension of $\mathbb{Q}$. Let $\mathcal{O}(K)$ be the ring of integers of $K$. Let $\omega_1,\ldots,\omega_n$ be an integral basis for $K$ over $\mathbb{Q}$.
For each $a \in K$...

**4**

votes

**0**answers

86 views

### Weighted distribution of irrational rotation

Let $\theta\in [0,1]\setminus\mathbb{Q}$. Let $\alpha_0=\theta$ and $\alpha_1=1$. Let $0<p_0<1$ and $p_1=1-p_0$. For a finite word $I=(i_1, i_2, \dots, i_n)\in \{0,1\}^n$, denote by $I'=(i_1, ...

**4**

votes

**0**answers

177 views

### Asymptotic formula, polynomial, irrational number and uniformly distribution

Problem 1
Given a irrational number $\alpha$ and two polynomials with positive integer coefficients $P(n),Q(n)$, is it possible to get the asymptotic estimate and reasonable error term for:
$$\...

**4**

votes

**0**answers

118 views

### Conjectural growth rate for ergodic sums of logarithms

Let $\theta, \phi \in [0,1)$, and consider the sums
$$
S_n(\theta,\phi)=\sum_{k=0}^n \log|e^{2\pi i (k\theta+\phi)}-1|.
$$
The possible boundedness from above of such sums plays a key role in ...

**4**

votes

**0**answers

413 views

### Are these terms consisting of logarithms of primes rationally independent?

I expected it to be basic, but seem unable to find a proof of the following:
Let $p_0, p_1, .., p_m$ be distinct primes. Then the $m+1$ terms $\dfrac{\log p_0}{\log p_j}$, are rationally independent.

**4**

votes

**0**answers

331 views

### A question on M. Mignotte's Paper: "Petho's Cubics"

I have been reading the paper "Petho's Cubics" by M. Mignotte (appeared in Publ. Math. Debrecen, 56/3-4 (2000)) unfortunately I don't understand section 4 of the paper. I am hoping someone could help ...

**3**

votes

**0**answers

88 views

### Optimal exponent in Dirichlet’s theorem on diophantine approximation

Let $\vec x = (x_1,x_2,\dots, x_k) \in \mathbb{R}^k$.
Dirichlet’s theorem guarantees that for each $N$, there exists $(n_0,n_1,n_2,\dots,n_k) \in \mathbb{Z}^{k+1} \setminus \{\vec 0\}$ with $\max(|n_1|...

**3**

votes

**0**answers

135 views

### A randomised variant of the Littlewood conjecture

A famous conjecture of Littlewood asserts that for each $\alpha, \beta \in \mathbb{R}$ and $\varepsilon > 0$, the set
$$ A(\alpha,\beta;\varepsilon) = \{ n \in \mathbb{N} \ : \ \Vert \alpha n \Vert ...

**3**

votes

**0**answers

89 views

### algebraic number with explicit base two digits

I am looking for an irrational algebraic number $\alpha \in [0,1[$ whose base two expansion
$$
\alpha = \sum_{i=1}^\infty {1 \over 2^{\varphi(i)}},
$$
is easily computable. By this I mean $\varphi : {...

**3**

votes

**0**answers

78 views

### Are there infinitely many primes $p$, positive integers $ k, n $ such that $1 \le n < p$ and $p^k > n.rad(p^{k+1}−n)$?

Among $168$ prime numbers in range $1$ to $10^3$, there are $84$ prime numbers $n$ such that: $p^k> n.rad(p^{k+1}−n)$ where $1 \le n<p$ and $k=2,3,4$. There are also $84$ prime numbers $n$ such ...

**3**

votes

**0**answers

87 views

### Optimal Roth-type result in diophantine approximation

Let $\alpha$ be a real algebraic number. It is easy to see that if $\deg(\alpha) = 2$, that for there exists a number $c(D(\alpha))$, where $D(\alpha)$ is the discriminant of the primitive integral ...

**3**

votes

**0**answers

89 views

### Independence of number fields generated by roots of Littlewood polynomials

Let $\mathcal{R}_d \subset \bar{\mathbb{Q}}$ be the set of all roots of degree $d$ polynomials with $\{-1,0,1\}$ coefficients and
$$
c(d) := \min_{\substack{ \alpha, \beta \in \mathcal{R}_d \\ \alpha^...

**3**

votes

**0**answers

309 views

### On discrepancy of integer sequences related to Erdos-Turan-Koksma

Assume we have a sequence $a_1,\dots,a_k\in\Bbb N$ with each $a_i\approx n$ where $n$ is some integer.
Suppose there exists an $\eta\in(0,1)$ such that for every $d_1,\dots,d_k\in\Bbb Z$ with $$...

**3**

votes

**0**answers

147 views

### Square summable sequences associated to Pisot numbers

Given a real number $x$, let $\Vert x\Vert=[x]-x$, where $[x]$ is the nearest integer to $x$.
Suppose $\lambda>1$ is a Pisot number. Let $f(x)=x^k+a_{k-1}x^{k-1}+\ldots+a_0$ be the irreducible ...

**3**

votes

**0**answers

109 views

### asymptotic behavior of $N_{\mathbb{Q(\alpha)}/\mathbb{Q}} (1-\alpha^n)$

We have an algebraic complex number $\alpha$ such that $|\alpha|=1$ and it is not a root of unity, We also know that $\alpha \in \mathcal{O}_{\mathbb{Q}(\alpha)}$ (ring of integers). I need to study ...

**3**

votes

**0**answers

244 views

### Logarithms of ratios of squarefree numbers

Let $M \geq 1$, and $N=2^M$. Let $a_1, \dots, a_N$ be the set of all the numbers that you get when forming all square-free products of the first $M$ primes.
For example, for $M=2$ and $N=4$ you get $...

**3**

votes

**0**answers

148 views

### Diophantine approximations by norms of quadratic irrrationalities

The following problem came up on a mailing list that I subscribe to:
If $\alpha$ is irrational we can find (using continued fractions) infinitely many rational fractions $p/q$ such that $|q \alpha - ...

**3**

votes

**0**answers

683 views

### Is $\pi$ well-approximable?

Is it known whether, for all $c > 0$, there always exist integers $p$ and $q$ such that
$\left| \pi - \frac{p}{q}\right| < \frac{c}{q^2}$?
This seems like a fundamental question but I couldn't ...

**2**

votes

**0**answers

114 views

### The analogue of Liouville's inequality in several variables

Liouville's Theorem in Diophantine approximation asserts that for each irrational algebraic number $\alpha$ of degree $d$, we have
$$ |q\alpha - p| \gg_\alpha |q|^{1-d}$$
for all integers $p,q \in \...

**2**

votes

**0**answers

65 views

### What is the sequence of badly approximable numbers to omit in Hurwitz' second Theorem for Diophantine Approximation to obtain better constants?

The well known result of Hurwitz on Diophantine approximation says that for any irrational $\alpha$ there are infinitely many integer numbers $p$ and $q$ such that
$$
|\alpha -\frac{p}{q}|<\frac{1}{...

**2**

votes

**1**answer

120 views

### The Hausdorff dimension of $F^+_{m,n}$ singular points

Let $G:=SL(m+n,\mathbb R)$ and $\Gamma :=SL(m+n,\mathbb Z)$ and $X:=G/\Gamma$.
(1) Let $M$ denote the set of all $m \times n$ matrices with real entries. A matrix $A \in M$ is called $\textit{singular}...

**2**

votes

**0**answers

131 views

### Is there a way to gain such an estimate?

This problem could be viewed as a polynomial generalization of the Lonely runner conjecture. And $p$, $n$ are taken sufficiently large. Take $n\in \mathbb{N}^*$ fixed, $A_p \subset (\mathbb{Z} / p \...

**2**

votes

**0**answers

119 views

### Double Diophantine approximation

Let $0 < \alpha < 1$. For any $n$ there is a closest lower Diophantine approximation $\max p / q \leq \alpha$ with integer $0 \leq p < q \leq n$. It can be found efficiently, e.g., with Stern-...