The tag has no wiki summary.

learn more… | top users | synonyms

11
votes
2answers
322 views

For what real $t$ is $\{n^t : n \geq 1\}$ linearly independent over $\mathbb{Q}$?

It's straightforward that $t$ must be irrational. I have googled many variations of this question and browsed through some books on transcendental number theory. There is much that is said about when ...
7
votes
2answers
161 views

approximate two different real numbers to order $\frac{1}{z^{3/2}}$

I took this result from Minkowski's book on Geometry of numbers: Two arbitrary real quantitites $a$ and $b$ may be made to approach as near as we wish in value the two fractions $\frac{x}{z}$ and ...
11
votes
0answers
188 views

Small quotients of smooth numbers

Assume that $N=2^k$, and let $\{n_1, \dots, n_N\}$ denote the set of square-free positive integers which are generated by the first $k$ primes, sorted in increasing order. Question: what is a good ...
0
votes
0answers
31 views

How can vectors of a specific Diophantine type be computed?

We say that $\alpha \in \mathbb{R}^n$ is Diophantine of type $\kappa$ if there exists a constant $C$ such that \begin{equation} \max_{i \in \{1,\dots,n\}} | \, \alpha_i - \tfrac{m_i}{q} | \, > ...
2
votes
0answers
94 views

Linear forms with best approximation vectors lying in a subspace

Setup: For $u \in \mathbb{R}^n$, let $\rho(u)$ be the Euclidean length, $\sqrt{u_1^2 + \ldots + u_n^2}$. For $x \in \mathbb{R}$ let $\|x\| = \min_{k \in \mathbb{Z}} |x - k|$, and for $x \in ...
2
votes
0answers
103 views

A question related to metric Diophantine approximation

In metric Diophantine approximation you are often interested in finding conditions on $(\phi(q))_{q \geq 1}$ which guarantee that $$ \left| \alpha - \frac{p}{q} \right| < \frac{\phi(q)}{q} $$ has ...
0
votes
2answers
124 views

Comparing the Rational Approximability of Infinite Continued Fractions

It is known, that $\phi := \frac{sqrt(5)-1}{2}$, is the number, that is hardest to approximate by rationals (cf e.g. the section properties of the golden ratio $\phi$ here: ...
28
votes
4answers
3k views

Massive cancellations

Let $A=\{a_1,\ldots,a_k\}$ be a fixed, finite set of reals. Let $S_A(n)$ be the set of all reals that are expressible as the sum of at most $2^n$ terms, where each term is a product of at most $n$ ...
13
votes
1answer
329 views

Is there a bounded sequence of points in the plane with pairwise distances at least $1/\sqrt{|i-j|}$?

Previously I have mentioned the following problem in an addition to the list of Contest problems with connections to deeper mathematics.. Is there an infinite bounded sequence $(P_n) \subset ...
2
votes
2answers
340 views

Rate of convergence of an irrational rotation

Let $\alpha, \beta \in \mathbb{R}$. Let $\{x\}$ denote the fractional part of $x$ and let $\|x\| = \min(\{x\}, 1-\{x\})$. If we assume that $\alpha$ is irrational, then there exists an increasing ...
2
votes
1answer
207 views

Computing all “suboptimal” rational approximations to $\pi/2$

I have an irrational number $\alpha$ ($\alpha=\frac\pi2$), and I would like to determine all integers $n\in[1,N]$ ($N=10^{16}$) that satisfy $$ n \epsilon(n)^2 \leq \tau $$ where $\tau$ is a known ...
6
votes
0answers
336 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 ...
5
votes
0answers
63 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 ...
4
votes
1answer
140 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
92 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
175 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 ...
4
votes
1answer
372 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 ...
18
votes
1answer
916 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
176 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
190 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 ...
0
votes
1answer
161 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
166 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," ...
9
votes
1answer
326 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 ...
3
votes
1answer
174 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
202 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 ...
0
votes
0answers
162 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
380 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
258 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
176 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
141 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
383 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
326 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}. $$ ...
1
vote
0answers
142 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
126 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
386 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 ...
6
votes
2answers
478 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 ...
4
votes
1answer
348 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
192 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
399 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
525 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
111 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
206 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
218 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
550 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
116 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 ...
2
votes
2answers
916 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
799 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
223 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 ...
5
votes
2answers
421 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
703 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 ...