Questions tagged [diophantine-approximation]

125 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
3 votes
0 answers
823 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 ...
James Worrell's user avatar
2 votes
0 answers
112 views

A sequence linked to irrationality

Let $0 < c < 1$ be a real number and $ x \in \mathbb{R}$. We define the sequence $(u_n)_{n \in \mathbb{N}}$ by : $$u_0 = x$$ $$ \mathrm{If}, u_n \le c, \mathrm{then}, u_{n + 1} = u_n + (1 - c) $$...
Azoth's user avatar
  • 41
2 votes
0 answers
112 views

The connection of Faltings height and Tate module

Suppose $K$ is a number field, $S$ a finite set of places of $K$, and $A$ is an abelian scheme over $\mathcal O_{K,S}$. I want to ask is there some connections between the Faltings' height $h_F(A)$ ...
Richard's user avatar
  • 481
2 votes
0 answers
131 views

A problem raised by Roth's theorem and the notion of approximation exponent

Roth's theorem states that every algebraic irrational has approximation exponent equal to $2$. It follows from Theorem 1 of https://arxiv.org/abs/math/0406300 that the approximation exponent of an ...
Jesse Elliott's user avatar
2 votes
0 answers
134 views

"Almost rational" irrational

This is a follow-up to an older question. Let $r\in \mathbb{R}\setminus\mathbb{Q}$, let $\mathbb{N}$ denote the set of non-negative integers and let $\mathbb{N}_+=\mathbb{N}\setminus\{0\}$. For $n\in\...
Dominic van der Zypen's user avatar
2 votes
0 answers
86 views

On fractional parts and Behrend’s construction

Given $\theta \in \Bbb{T}^D := \Bbb{R}^D/\Bbb{Z}^D$, write $f_\theta$ for the homomorphism from $\Bbb{Z}\to \Bbb{T}^D$ induced by $1\mapsto \theta$. For $x\in \Bbb{T}^D$, let $||x||$ be the smallest $\...
Zach Hunter's user avatar
  • 3,393
2 votes
0 answers
258 views

Baby $abc$ conjecture for $n$-th roots

Is there any progress on a “baby $abc$ conjecture” where you restrict attention to rational approximations of $n$-th roots? Let $r/s$ be a very close approximation to $(t/u)^{1/n}$, so that $$ |u\cdot ...
Joe Shipman's user avatar
2 votes
0 answers
139 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 \...
Jakub Konieczny's user avatar
2 votes
0 answers
145 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 \...
katago's user avatar
  • 543
2 votes
0 answers
139 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-...
Mikhail Tikhomirov's user avatar
2 votes
0 answers
88 views

Bounds on convergence of two orbits in the limit set of a Schottky group

Suppose we have two points in the limit set of a Schottky group, $x,y\in \Lambda(\Gamma)$. Consider the orbits of those points under a primitive subset $\Gamma'$ of $\Gamma,$ that is, one that does ...
user6419's user avatar
  • 431
2 votes
0 answers
125 views

Does $\sum_{i\le k}\mathrm{frac}(n\alpha_i)<1$ hold infinitely often?

For each $t \in \mathbf{R}$, let $\mathrm{frac}(t)$ be its fractional part. Question. Fix reals $\alpha_1,\ldots,\alpha_k \in (0,1)$ such that $\sum_{i\le k}\alpha_i<1$. Do there exist ...
Paolo Leonetti's user avatar
2 votes
0 answers
208 views

Examples of essentially sub-linear functions

A dimension function is an increasing, continuous function $% f:\mathbb R_{+}\rightarrow \mathbb R_{+}$ such that $f(r)\to 0$ as $r\to 0$. Say that a dimension function $f$ is essentially sub-linear ...
user48633's user avatar
2 votes
0 answers
135 views

numbers independent over $\mathbb{Q}$ but not BA? numbers that aren't a basis for a number field but are BA?

Has anyone discovered a vector of algebraic real numbers $(a_1,...,a_k)$ such that $1,a_1,...,a_k$ are linearly independent over $\mathbb{Q}$ and such that $(a_1,...,a_k)$ is not "badly approximable"? ...
user135512's user avatar
2 votes
0 answers
81 views

The Hausdorff dimensions of variations of Jarnik sets

For $\alpha, \beta>3,$ define $$\{(x,y)\in[0,1]\times [0,1]: \|qx\|\le q^{1-\alpha}, \|qy\|\le q^{1-\beta} \quad \text{for infinitely many $ q\in \mathbb{N}$}\}.$$ This set can be regarded as a two ...
ljjpfx's user avatar
  • 175
2 votes
0 answers
67 views

Discrepancy related independent vector from tensor product?

Here discrepancy is from $(2.4)$ in https://www.ricam.oeaw.ac.at/files/people/siambook_nied.pdf given by 'The discrepancy $D_N(P) = D_N(x_l,\dots,X_N)$ of the point set $P$ of $N$ points in $\mathbb Z^...
Turbo's user avatar
  • 13.7k
2 votes
0 answers
139 views

Combination of irrationals

Fix a very small $\epsilon>0$; and irrationals $a_1,a_2>0$. Now suppose we look at all integer combinations of these irrationals which has a small norm; that is, $$ S=\{(m_1,m_2)\in\mathbb{Z}\...
hookah's user avatar
  • 1,096
2 votes
0 answers
130 views

Quantitative Khintchin's theorem

The quantitative version of Kchintchin's theorem proved by W.Schmidt states that for a.e. $x\in[0,1]$ and every positive integer $K$, if we denote the number of solutions $(p,q)$ to the inequality $$|...
Itay's user avatar
  • 539
2 votes
0 answers
193 views

A high dimensional generation of Dirichlet approximation theorem, linear case and nonlinear case

I am working with something on Diophantine approximation, and I found a high dimensional generation of Dirichlet approximation theorem which may be true; I will be very happy if this is true. The ...
Hu xiyu's user avatar
  • 697
2 votes
0 answers
108 views

Counting rare events in Diophantine approximation - distributional estimates?

Is there a sort of distributional estimate in Diophantine approximation which allows to estimate the number of solutions which provide a certain quality of approximation? For example, how large is the ...
Kurisuto Asutora's user avatar
2 votes
0 answers
100 views

Zero digits of a p-adic algebraic number

This question might be too simple and I just don't see something very obvious, so I apologize in advance if that is so. Let $p$ be a prime number and let $\mathbb Z_p$ denote the ring of $p$-adic ...
Anton's user avatar
  • 1,573
2 votes
0 answers
260 views

What are the best current bounds on $\times a \times b$?

Let $a,b \in \mathbb{N}_{\ge 2}$ be two integers that are multiplicatively independent (i.e., are not powers of the same integer). I have seen (Bourgain, Lindenstrauss, Michel, Venkatesh: Some ...
john mangual's user avatar
  • 22.6k
2 votes
0 answers
113 views

Inhomogeneous approximation mod p

I am interested in the following discrete analog of Kronecker's inhomogeneous approximation theorem. Given $x_1,\ldots,x_n$ distinct residue classes modulo a prime $p$, and further residue classes $...
qazwsx's user avatar
  • 21
2 votes
0 answers
106 views

Separation of linear forms

Let $r\ge5$ and $0<x_1<x_2<\dots<x_{r-1}<x_r<1$ be independent over $\mathbb Q$. Fix some $N\ge 5$ and consider the linear forms $$ f({\bf a})=\sum_{i=1}^r a_i x_i,\quad {\bf a}\in \{...
Nikita Sidorov's user avatar
2 votes
0 answers
69 views

On a sequence of integers

I recall a well-known theorem due to Minkowski. Theorem. If $\theta$ is irrational and $\alpha$ is not of the form $\alpha = m\theta+n$ for some integers $m$ and $n$, then there are infinitely many ...
Siminore's user avatar
  • 459
2 votes
0 answers
247 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 \mathbb{R}^...
Kiran Parkhe's user avatar
2 votes
0 answers
191 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 ...
Kurisuto Asutora's user avatar
2 votes
0 answers
256 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 $$\pi=4\prod_{n=1}^\...
Zurab Silagadze's user avatar
2 votes
0 answers
167 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 (...
jsm's user avatar
  • 337
2 votes
0 answers
246 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 - ...
Marcin Kotowski's user avatar
2 votes
0 answers
118 views

Lower bounds on sums of S-units

Let $S$ be a fixed finite set of valuations on $\mathbb Q$ containing the archimedean one. A $S$-unit is $x\in\mathbb Q$ such that $|x|_v =1$ for all $v\notin S$. For any $S$-units $x_0, \dots, x_n$ ...
Francesco Sica's user avatar
1 vote
0 answers
105 views

Diophantine approximation away from $0$

Let $\alpha$ be a real irrational algebraic number. The now-classic Thue-Siegel-Roth theorem asserts that for any $\varepsilon > 0$ there exists a positive number $c = c(\alpha, \varepsilon)$ such ...
Stanley Yao Xiao's user avatar
1 vote
0 answers
85 views

Motivation for the Weil function for a Cartier divisor

I'm not sure if this is the right place for a question like this. In Diophantine approximation, on a complex variety $X$ there is a notion of a Weil function for a Cartier divisor $D$ on $X$ which is ...
oleout's user avatar
  • 865
1 vote
0 answers
284 views

Can we avoid all algebraic numbers?

We say a polynomial $p$ in $n$ variables degree at most four, and coefficients $-1,0,1$ is $n$-plain. We say $x$ is an $n$-plain algebraic number if there exists an $n$-plain polynomial $p$ such that $...
Till's user avatar
  • 469
1 vote
0 answers
87 views

Almost modularity of Belyi curves and etale fundamental group of non-Belyi curves

Belyi's theorem states that every curve defined over $\mathbb{\bar Q}$ is almost modular (obtained from $\mathbb{H}^2/\Gamma,\ \Gamma$ a finite index subgroup of $PSL(2,\mathbb{Z})$), after ...
user6419's user avatar
  • 431
1 vote
0 answers
74 views

Liouville numbers with some "special" convergents

Recall that a real number $\ell$ is called a Liouville number, if there exists an infinite sequence of rational numbers $(p_n/q_n)_n$ for which $$ 0<\left|\ell-\frac{p_n}{q_n}\right|<\dfrac{1}{...
Jean's user avatar
  • 515
1 vote
0 answers
81 views

Dyson's lemma implies index is small (in proving Roth's theorem)

I am reading the proof of Roth's theorem in Hindry-Silverman's book. In there they used Roth's lemma. I think it is well known that the step of Roth's lemma could be replaced by Dyson's lemma to show ...
finiteness's user avatar
1 vote
0 answers
49 views

A question on multiplicative diophantine approximation

Suppose $0 <\alpha <1$ is an irrational, and $0 < \gamma_1, \gamma_2 < 1$ are real numbers satisfying $\gamma_i \notin \mathbb{Z} \alpha + \mathbb{Z}$ for $i=1,2$. Consider the sequence $(\...
Ted's user avatar
  • 11
1 vote
0 answers
166 views

Uniform distribution mod $1$ vs independence of random variables

Let $a_1, \cdots, a_k \in [0, 1)$ be real numbers such that $1, a_1, \cdots, a_k$ are independent over the rational numbers. By the Weyl equidistribution criterion in $k$-dimensions, we know that the ...
asrxiiviii's user avatar
1 vote
0 answers
138 views

A specific Diophantine equation related to the congruent number question

Let $n$ be an odd square free natural number. J.B. Tunnel in his 1983 paper, showed that a number $n$ is congruent, if and only if the number of triples of integers satisfying $2x^2+y^2+8z^2=n$ is ...
roydiptajit's user avatar
1 vote
0 answers
199 views

Exponentially well-approximable numbers

Let $\alpha \in [0,1]$ be irrational. I'm interested in the decay rate of $\| n \alpha \|$ as $n \to \infty$, where $\| \cdot \|$ denotes the distance to the nearest integer. For example: Dirichlet'...
Adam's user avatar
  • 323
1 vote
0 answers
73 views

On the degree of irrationality of two irrational numbers and their rational (in)dependence

Let $x$ and $y$ be some irrational numbers. If the degree of irrationality of $x$ is the same as that of $y$, is it necessarily the case that $x$ and $y$ are rationally dependent ? ADDENDUM: What if $...
PRIMES is in P.'s user avatar
1 vote
0 answers
139 views

On the number of asymptotic solutions of the linear Diophantine equation

Given positive integers $a,b,c$ which are pairwise coprime. Let $f(n)$ denotes the number of the non-negative integer solution $(x,y,z)$ to the equation $$ax+by+cz=n.$$ we have Prove that there exists ...
math110's user avatar
  • 4,230
1 vote
0 answers
137 views

Diophantine approximation and the Euclidean algorithm

My question is whether something I've noticed is well-known. It seems like it must be, but I've been unable to find any references that describe what is outlined below. Given real $x$ and irrational $...
Randall Fairman's user avatar
1 vote
0 answers
113 views

Simultaneous $S$-unit equations

In this question I am primarily interested in rational integers and rational primes, but the same question can be easily extended to number fields. Let $S = \{p_1, \cdots, p_k\}$ be a finite set of ...
Stanley Yao Xiao's user avatar
1 vote
0 answers
233 views

Transcendental functions generating almost integers

Informally speaking, an "almost integer" is a real number very close to an integer. There are some known ways to construct such examples in a systematic way. One is through the use of certain ...
Almost user's user avatar
1 vote
0 answers
95 views

Smallest integer lattice point by box measure in a polytope?

Given an integer lattice $\mathcal L\subseteq\mathbb Z^n$ represented by basis $\mathcal B$ and an integer linear program $Ax\leq b$ where $x\in\mathbb Z^n$ is unknown with $A\in\mathbb Z^{m\times n}$ ...
Turbo's user avatar
  • 13.7k
1 vote
0 answers
47 views

Does a weighted sequence derived from a sequence matching the Siegel lemma BV bound behave as an uniformly random sequence?

Pick integers $r_1',\dots,r_t'$ that achieve the Bombieri Vaaler bound for the Siegel lemma and find an $m$ (it exists by Dirichlet Pigeonhole) such that given prime $T$ gets $m(r_1',\dots,r_t')\equiv(...
Turbo's user avatar
  • 13.7k
1 vote
0 answers
129 views

$L^\infty$ norm lower bound for Integer points in null spaces of recursively defined integer vectors?

Letting $\otimes$ be matrix kronecker/tensor product with $n\in\Bbb N$ as a parameter define non-negative integer vectors recursively $$v_1=\begin{bmatrix}a_1&b_1\end{bmatrix}\in\Bbb Z_{>0}^2$$ ...
Turbo's user avatar
  • 13.7k
1 vote
0 answers
165 views

Analog of Baker's theorem on linear combination of $\log a \log b$

Baker's theorem basically says that, given algebraic numbers $a_1,\ldots,a_n$ and $m_1,\ldots,m_n$, if there is no good reason for a linear combination $$\sum m_i\log a_i$$ to cancel, then it is ...
Ted Mao's user avatar
  • 443