The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
80 views

Inequality due to Siegel (assumptions) and upper bounds on number field discriminants

In Siegel's 1969 paper, Abschätzung von Einheiten, on page 73, he states the inequality $$\log\sqrt d\le n-1+{n\over 2}\log\pi+r_2\log 2\qquad (*)$$ and compares with the bound due to Minkowski that ...
3
votes
0answers
64 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 ...
1
vote
1answer
160 views

Approximating rational values in ]0,1[ by a sum or difference of unit fractions

Let $U=\{\frac{1}{n}: n\in\mathbb{N}\} \cup \{-\frac{1}{n}: n\in\mathbb{N}\}$ be the set of positive and negative unit fractions. Are there positive integers $m<n \in \mathbb{N}$, such that for ...
74
votes
4answers
4k views

If $2^x $and $3^x$ are integers, must $x$ be as well?

I'm fascinated by this open problem (if it is indeed still that) and every few years I try to check up on its status. Some background: Let $x$ be a positive real number. If $n^x$ is an integer for ...
4
votes
1answer
252 views

Lower bound on the irrationality measure of $\pi$

There seems to be a lot of work on the upper bound for the irrationality measure of $\pi$, but I could not find anything on a lower bound except the general $\mu(\pi)\geq2$. Looks like it is the best ...
8
votes
1answer
1k views

A question related to the abc conjecture

The abc conjecture asserts that whenever $a,b,c$ are pairwise coprime positive integers such that $a + b = c$ and $\epsilon > 0$, there exists a constant $C_\epsilon > 0$ (which depends on ...
17
votes
1answer
849 views

Irrationality measure of log(2)/log(6)

As part of my Phd thesis on aperiodic Wang tilings, I've discovered I need a bound on the irrationality measure of $\gamma = \log 2/\log 6$. That is, I am looking for an upper bound on the quantity ...
3
votes
1answer
168 views

Higher dimensional analogue of Thue's equation

The classical Thue equation is $$\displaystyle F(x,y) = h,$$ for a binary form $F(x,y) \in \mathbb{Z}[x,y]$. Recall that a binary form is a polynomial in two variables which is homogeneous, and $h$ ...
3
votes
0answers
182 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 ...
9
votes
1answer
319 views

Distribution of polynomials mod 1 using co-prime integers

If $a$ is any real irrational, then the set of numbers of the form $ax+y$ with $x$ and $y$ co-prime integers is dense in $\mathbb{R}$. I managed to prove this, in what I suspect is an overly ...
0
votes
0answers
38 views

bounds of weighted sum of exponentials (related to Baker's theorem)

Given $n$ integers $a_1, \cdots, a_n$ and $n$ algebraic numbers $b_1, \cdots, b_n$, consider $S=\sum_{i=0}^n a_i e^{b_i}$, the question is how to give a lower bound of $|S|$ assuming that $S\neq 0$, ...
0
votes
1answer
155 views

Reference request: on sums of the form $ax^m + by^n = h$

I know that equations of the form $$\displaystyle ax^d + by^d = h$$ with $a,b,h \in \mathbb{Z}$ have been thoroughly investigated as a special (and interesting) case of the Thue-Mahler equation, for ...
4
votes
1answer
153 views

Hermite Lindemann and transcendental reals

This is about compass and straightedge constructions, although I suspect nothing changes if we expand to real numbers algebraic over the rationals. Anyway, let $E$ be the "constructible numbers," ...
15
votes
2answers
1k views

Is there an explicit example of such a real number with the following property?

In Diophantine approximation, for a given positive real number $\alpha$ let $[a_0, a_1, \cdots]$ denote its continued fraction expansion and let $p_n/q_n = [a_1, \cdots, a_n]$. Then it is known that ...
8
votes
1answer
272 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
1answer
174 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 ...
4
votes
1answer
781 views

Searching for an inhomogeneous diophantine approximation algorithm

Given two nonzero real numbers $x$ and $y$ such that $y/x$ is irrational, a real number $z$ to be approximated, and a tolerance $\epsilon$, what is an algorithm that will provide coprime integers $a$ ...
3
votes
1answer
165 views

Numbers with balanced diophantine approximations

This is a follow-up to Question 146635, namely Expected symmetry in the diophantine approximations of an irrational number, which I will refer to for notation and terminology used here without ...
7
votes
1answer
188 views

Expected symmetry in the diophantine approximations of an irrational number

Given $x \in \mathbb{R}$ we will write $\{x\}$ for the fractional part of $x$ and $\|x\|$ for the distance of $x$ from the nearest integer, in such a way that $\{x\} = x - \lfloor x \rfloor$ and ...
7
votes
2answers
429 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
0answers
150 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 ...
7
votes
1answer
354 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
255 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$ ...
5
votes
1answer
372 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
2answers
204 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}$. ...
0
votes
0answers
130 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 ...
6
votes
2answers
460 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 ...
10
votes
1answer
367 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$ ...
1
vote
0answers
120 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 ...
76
votes
5answers
6k views

Source and context of $\frac{22}{7} - \pi = \int_0^1 (x-x^2)^4 dx/(1+x^2)$?

Possibly the most striking proof of Archimedes's inequality $\pi < 22/7$ is an integral formula for the difference: $$ \frac{22}{7} - \pi = \int_0^1 (x-x^2)^4 \frac{dx}{1+x^2}, $$ where the ...
3
votes
0answers
117 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
370 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 ...
4
votes
1answer
246 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 ...
1
vote
1answer
179 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
376 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
519 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
0answers
89 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 > $ ...
5
votes
2answers
402 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 ...
3
votes
1answer
199 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 - ...
17
votes
1answer
524 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 ...
1
vote
0answers
110 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 ...
5
votes
3answers
604 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 ...
19
votes
3answers
2k views

When is $n/\ln(n)$ close to an integer?

As usual I expect to be critisised for "duplicating" this question. But I do not! As Gjergji immediately notified, that question was from numerology. The one I ask you here (after putting it in my ...
2
votes
2answers
771 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 ...
4
votes
2answers
630 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
214 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 ...
0
votes
0answers
284 views

Diophantine approximation

Say absolute values of $a,b,c$ is $O(log^{k}{n})$ for some positive constant $k$. Given positive integer $n$ that is reasonably large, we cannot always find integers $a,b,c$ such that $|a{b^{c}} - n|$ ...
5
votes
1answer
425 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 ...
0
votes
1answer
419 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 ...