The tag has no usage guidance.

learn more… | top users | synonyms

0
votes
0answers
176 views

On the irrationality measure of generalized Stoneham numbers

Pick non-zero integers $a,b,c$ with $a,b \ge 2$ and let $\xi_{a,b,c}$ be the sum of the series $\sum_{n=1}^\infty a^{-b^n} c^{-n}$ (no restriction is made on the sign of $c$); when $b = c$ and ...
8
votes
1answer
426 views

On the irrationality measure of $\sum_{n=1}^\infty a^{-b^n}$

Pick integers $a, b \ge 2$ and let $\xi_{a,b}$ be the sum of the series $\sum_{n=1}^\infty a^{-b^n}$. It is known that $\xi_{2,2}$ is transcendental: I learned a proof of this from notes by M. ...
2
votes
1answer
261 views

(efficient) method to test $\{n\alpha\}\not\in [A, B]\subset [0,1]$

Suppose $\alpha$ is a fixed given irrational number with $\alpha\in [A, B]\subset [0,1]$, are there any (efficient) methods to compute the least integer $n$ such that the decimal part of $n\alpha$ ...
2
votes
1answer
189 views

Height on a semiabelian variety

Let $A$ be a semiabelian variety over $\bar{\mathbb{Q}}$ and $B$ a semiabelian subvariety of $A$. Let $\pi:A\to A/B$ be the canonical morphism. Let $h:A(\bar{\mathbb{Q}})\to\mathbb{R}$ and ...
0
votes
0answers
157 views

Invariance of the (Liouville-Roth) irrationality measure under rational Möbius transformations

For a real number $x$, we define the (Liouville-Roth) irrationality measure of $x$, here denoted by $\mu(x)$, as the infimum, with respect to the poset $(\mathbb{R}_0^+ \cup \{\infty\}, \le)$, of the ...
10
votes
1answer
407 views

Distribution mod 1 of exponential growth sequences

Let $t_n$ be a sequence of real numbers and $C,r>1.$ Suppose that for every $n\geq 1$ we have $\frac{1}{C}r^n\leq t_n \leq Cr^n.$ Does there exist a real number $\xi$ and an $\varepsilon>0$ ...
8
votes
1answer
405 views

Do simple, multi-dimensional generalizations of this continued fraction formula exist?

Background Let $x\in [0,1)\setminus \mathbb{Q}$ have regular continued fraction expansion given by $$ x = [a_1, a_2, a_3, \dots] = \cfrac{1}{a_1+\cfrac{1}{a_2+\dots}}, \qquad a_i \in \mathbb{N}. $$ ...
2
votes
0answers
172 views

Dalzel's integral for $\pi$ and the lemniscate constant

$\pi=\varpi_2$ can be considered as a member of the sequence of real numbers $$\varpi_m=2\int\limits_0^1\frac{dt}{\sqrt{1-t^m}},$$ and, for example, the Wallis product formula ...
3
votes
0answers
133 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 - ...
5
votes
3answers
401 views

Siegel's theorem with real coefficients

Let $h(x,y)$ be a polynomial with real coefficients. Suppose there are infinitely many integer solutions to $|h(x,y)|<1$. What can I say about $h$? When $h$ itself has integer coefficients, a ...
8
votes
3answers
648 views

Is the infimum of Salem numbers > 1?

BACKGROUND A Salem number is an algebraic integer $\theta$ such that all the Galois conjugates of $\theta$ are $\leq 1$ in absolute value, and at least one of them lies on the unit circle. Their ...
5
votes
1answer
512 views

Winning sets of full measure (Schmidt's game)

A quick reminder of the definition of Schmidt's game: Let ${X}$ be a metric space and ${S\subset X}$ be a subset. Let ${0<\alpha,\beta<1}$ be constants. Bob chooses any open ball ...
2
votes
1answer
205 views

Approximation by binary fractions

For general Diophantine approximation, the Thue–Siegel–Roth theorem states that for any irrational algebraic number $x$, and any $\varepsilon>0$, there exists a constant $c=c(x,\varepsilon)$ such ...
12
votes
0answers
433 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 ...
6
votes
2answers
532 views

Simultaneous Powers Far From 1

I'm looking for a reference or proof of the following. Let $K/\mathbb{Q}$ be a finite Galois extension of degree $n$. Let $a_1,\ldots,a_n$ be Galois conjugate elements in the ring of integers of $K$ ...
4
votes
1answer
131 views

Khintchine theorem - necessity of monotonicity in divergence condition

Hi, I'm trying to get a hold of Khintchine theorem in metric Diophantine approximation. Right now I'm interested in the divergence condition, namely: If $\sum_{q=1}^\infty\psi(q) = \infty > $ ...
1
vote
2answers
211 views

Existence of a solution to a system of Diophantine Inequalities

Does the solution to the following system of inequalities exist? $$a-1\geq a\left( b_ic -d_i\right)\geq 1$$ where $a\in \mathbb{N}_{\geq3}$, $c\in \mathbb{R}$ and $b_i,d_i \in \mathbb{N}$. ...
3
votes
1answer
230 views

Diophantine equation with primitive nth root of unity

Fix an $n$th primitive root of unity $\xi$. I need to understand if we can characterize in an easy way all the solutions $k \in \mathbb{Z}$ of the equation $\left|1-\left(-\frac{\xi^k - ...
18
votes
1answer
569 views

Can the expansion of a large integer in all bases consist of almost all zeroes?

Let $n$ be a positive integer. Given an integer base $b\ge 2$, let $C_b(n)$ be the number of non-zero digits in the expansion of $N$ in base $b$. Further, let $M(n)=\max\{C_b(n):b\ge 2\}$ be the ...
2
votes
0answers
124 views

linear forms in abelian logarithms and a conjecture of Lang

Consider the following conjecture, going back to Lang and restated (and proved) in the elliptic case in a 2009 Crelle paper by David and Hirata-Kohno (see Conjecture 1.2 in their paper). Conjecture ...
3
votes
2answers
1k views

Solved cubic Thue equation

Hi everybody. I need to know if the cubic Thue equation $x^3 + x^2y + 3xy^2 - y^3 = \pm 1$ is completely solved. I know that there are effective algorithms to solve any cubic Thue equation and that ...
5
votes
2answers
971 views

The diophantine equation X^2 - Y^2 - Z^2 = +- 1

Hi everybody. I'd like to know if the diophantine equation (1) $$X^2 - Y^2 - Z^2 = \pm 1$$ has been studied and if the set of its solutions $(X,Y,Z)$ is known. I appreciate any reference. Thank you ...
0
votes
1answer
228 views

Number theory question

Given $a$ and $b$ irrational numbers with $a/b$ also irrational, how do you prove that $( \{ na\} , \{ nb \})$ is dense in $[0,1] * [0,1]$ , where $n$ ranges over the integers? $\{x\}$ is the ...
6
votes
2answers
466 views

Still more generalized Dirichlet Theorem

Dirichlet proved a classical theorem about approximating irrational real numbers with rational numbers, saying that for any irrational real number $\alpha$, you can find infinitely many rational ...
5
votes
3answers
937 views

Simultaneous diophantine approximation

Let $r(x)$ be the function $x$ mod $1$, i.e. $x$ minus its floor. Now let $m$ be a given positive integer, and $c$ a vector in $\mathbb{R}^m$ whose components are linearly independent over ...
5
votes
1answer
592 views

Rational approximation to a set of reals

Are there any well known algorithms for finding good rational approximations to sets of real numbers? Given just two real numbers, I can use continued fractions to find a rational approximation to ...
1
vote
1answer
112 views
7
votes
2answers
436 views

Computing the measure of the projection on the torus of a semialgebraic set

Let $V \subseteq \mathbb{R}^n$ be a set cut out by a system of finitely many polynomial equations and inequalities with integer coefficients. Let $W$ be the set of all points in the box $[0,1]^n$ that ...
0
votes
1answer
449 views

How small can {log p/q} be?

Denote by $||x||$ the distance between $x$ and the nearest integer. Mahler conjectured that there is a constant $c > 0$ such that for any integer $n \geq 2$ $$ ||\log n|| \geq n^{-c} $$ and ...
2
votes
2answers
723 views

Liouville's Theorem in Diophantine Approximation

Liouville's Theorem states that for any algebraic $\alpha \in \mathbb{R}$ of degree $n$, there exists a positive constant $c:=c(\alpha)$ such that $$|\alpha-\frac{p}{q}|>\frac{c}{q^n}$$ for any $p ...
3
votes
0answers
547 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 ...
4
votes
1answer
314 views

Diophantine approximations of ratios of transcendental numbers

I am looking for good diophantine approximations for a specific class of irrational numbers. Let $e^{2 \pi i \theta}$ be a complex algebraic number. I would like a result to the effect that $\theta$ ...
0
votes
0answers
216 views

Folklore Lemma (p-adic case)

Is there a p-adic version of the so called 'folklore lemma' which relates a sequence of diophnatine approximations to an algebraic number to the exponential of irrationality.
0
votes
0answers
217 views

Sharpenings of Liouville's inequality

The norm of an algebraic number $\alpha$ is the product of its conjugates, $N(\alpha)$. Suppose that I have an inequality of the form $|x-\alpha*y| > c X^{n-\gamma}$ where $X=max{|x|,|y|}$ and c ...
9
votes
0answers
334 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 ...
0
votes
0answers
132 views

The p-adic subspace Theorem

Could someone explain how the subspace theorem could be used to transfer results from archimedian valuatons to nonarchimedian ones?
2
votes
1answer
298 views

p-adic version of Liouville's approximation theorem

Does anyone know of a p-adic analogue of Liouville's approximation theorem http://mathworld.wolfram.com/LiouvillesApproximationTheorem.html with proof? I'm aware of Roth's theorem and subspace ...
1
vote
2answers
427 views

Chebyshev's Theorem

Hi, I´m looking for Chebyshev´s theorem which says that the inequality $|x(k)-y|<3/k$ has infinitely many solutions, where $x(k)=x_0+k\alpha \pmod 1$, $\alpha$ is an irrational number, and ...
3
votes
2answers
383 views

Any relationship between Viswanath's constant and the Khinchine-Lévy constant?

It is well-known that if ${\{{F_n}\}}$ is a random Fibonacci sequence then we have almost certainly $\lim \limits_{n\to\infty}\sqrt[n]{|F_n|}=\tau$ where $\tau\approx 1.554682275$ is Viswanath's ...
7
votes
1answer
446 views

Diophantine elements in SU(2)

Following notions from [1], call a set of elements $g_1, \dots, g_k \in G = SU(2)$ Diophantine if it satisfies the following property: there exists a constant $D$ such that for every word $W_m$ of ...
1
vote
1answer
152 views

Is the closure of a semialgebraic set mod 1 also semialgebraic?

Let $p:\mathbb{R}^n\to[0,1)^n$ be the map defined by $p(x_1,\ldots,x_n)=(\{x_1\},\ldots,\{x_n\})$, where $\{\cdot\}$ is the fractional part operator. Experimentation suggests that if $S \subseteq ...
5
votes
1answer
524 views

Generalizations of the Rayleigh(-Beatty) theorem

For a given irrational number $\alpha>0$ and a real number $\beta$, the inhomogeneous Beatty sequence sequence $S_{\alpha,\beta}$ is the set $\lbrace\lfloor n\alpha+\beta\rfloor:n=1,2,\dots\rbrace$ ...
1
vote
0answers
182 views

Norm related to diophantine approximation?

I'm trying to read this paper: http://www.springerlink.com/content/g0046660260825x3/ or http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.20.1813&rep=rep1&type=pdf But I don't ...
6
votes
1answer
532 views

Analogue of van der Corput sequence for prime numbers

A van der Corput sequence is a low-discrepancy sequence over the unit interval first published in 1935 by the Dutch mathematician J. G. van der Corput. It is constructed by placing a decimal point and ...
3
votes
1answer
337 views

Hausdorff measure on product spaces of p-adic integers

This question came up (unexpectedly) in a problem I was working on a few years ago. It may not be too difficult but I never got around to figuring out the answer, because all I needed at that time was ...
3
votes
4answers
495 views

Equidistribution Theorem: distance between solutions

Can please someone help me with the following problem. Say we have a sequence $nx \; \mathrm{mod} \; 1$, where $n$ is a whole number and $x$ is irrational. Now I need to solve the inequality $nx \; ...
4
votes
2answers
488 views

Primes in generalized fibonacci sequences

In C. McMullen's Uniformly Diophantine numbers in a fixed real quadratic field generalized Fibonacci sequence are defined as follows: $f_0=0,f_1=1,f_m=tf_{m-1}-nf_{m-2}$ where some fixed $t\in ...
3
votes
1answer
271 views

Repetitions of the totient

In a program I'm writing I'm using that the function: $rphi(1) = 0$ $rphi(n) = 1+rphi(phi(n))$ grows very slowly. Judging from https://oeis.org/A003434 it would seam like it is approximately ...
1
vote
0answers
306 views

What is the mean-value of a particular exponential sum related to the non-trivial zeros of Riemann's zeta function?

This question arose from an earlier one and the MO user's useful answers there: What are the values of the derivative of Riemann's zeta function at the known non-trivial zeros? (which is not a ...
2
votes
0answers
217 views

Simultaneous diophantine approximation with polynomial bound

For a given number $\alpha$ continued fractions expansion $(p_n, q_n)$ of $\alpha$ has the remarkable property that not only $|\alpha - \frac{p_n}{q_n}| < \frac{1}{q_n^2}$, but the converse holds - ...