Related papers: Diophantine approximation in angular domains
Let lambda_1, \lambda_2, \lambda_3, \lambda_4 be non-zero real numbers, not all negative, with \lambda_1/\lambda_2 irrational and algebraic. Suppose that \mathcal{V} is a well-spaced sequence and \delta >0. In this paper, it is proved that…
Let $[\, \cdot\,]$ be the floor function and $\|x\|$ denote the distance from $x$ to the nearest integer. In this paper we show that whenever $\alpha$ is irrational and $\beta$ is real then for any fixed $\frac{13}{14}<\gamma<1$, there…
In this work we proof the following theorem which is, in addition to someother lemmas, our main result:\noindent \textbf{theorem}. Let$\ X=\{ ( x\_{1}\text{, }%t\_{1}) \text{, }( x\_{2}\text{, }t\_{2}) \text{, ..., }(x\_{n}\text{,…
Using the Parametric Geometry of Numbers introduced recently by W.M. Schmidt and L. Summerer and results by D. Roy, we show that German's transference inequalities between the two most classical exponents of uniform Diophantine…
In the thirties of the last century, I. M. Vinogradov proved that the inequality $||p\alpha||\le p^{-1/5+\varepsilon}$ has infinitely prime solutions $p$, where $||.||$ denotes the distance to a nearest integer. This result has subsequently…
As an application of the method of Thue-Siegel, we will resolve a conjecture of Walsh to the effect that the Diophantine equation $aX^{4} - bY^2=1$, for fixed positive integers $a$ and $b$, possesses at most two solutions in positive…
It is known that there are infinitely-many prime numbers which take the form of a polynomial of degree one with integer coefficients, this is Dirichlet's theorem. We use an elementary sieving argument together with bounds on the prime…
In this paper we show that, for any fixed $1<c<\frac{5363}{3900}$, every sufficiently large positive number $N$ and a small constant $\varepsilon>0$, the diophantine inequality \begin{equation*} |p_1^c+p_2^c+p_3^c+p_4^c+p_5^c-N|<\varepsilon…
We consider a variety of Euler's conjecture, i.e., whether the Diophantine system \[\begin{cases} n=a_{1}+a_{2}+\cdots+a_{s-1}, a_{1}a_{2}\cdots a_{s-1}(a_{1}+a_{2}+\cdots+a_{s-1})=b^{s} \end{cases}\] has solutions…
The binary Goldbach conjecture asserts that every even integer greater than $4$ is the sum of two primes. In a preceding paper we have proved that there exists a positive integer $K_\alpha$ such that every even integer $x > p_k^2$ can be…
We show that, for any $0<\gamma<1/2$, any $(\alpha,\beta)\in\mathbb{R}^2$ except on a set with Hausdorff dimension about $\sqrt{\gamma}$, any small $0<\varepsilon<1$ and any large $N\in\mathbb{N}$, the number of integers $n\in[1,N]$ such…
Markoff-Lagrange spectrum uncovers exotic topological properties of Diophantine approximation. We investigate asymptotic properties of geometric progressions modulo one and observe significantly analogous results on the set \[ {\mathcal…
A long-standing conjecture of Littlewood about simultaneous Diophantine approximation has an analogous problem for a field of formal Laurent series $\mathbb{F}(\!(t^{-1})\!)$. That is, we can ask whether for any series $\Theta$, $\Phi$ and…
By using pairs of nontrivial rational solutions of congruent number equation $$ C_N:\;\;y^2=x^3-N^2x, $$ constructed are pairs of rational right (Pythagorean) triangles with one common side and the other sides equal to the sum and…
A set of $m$ positive integers $\{a_1, a_2, \dots , a_m\}$ is called a Diophantine $m$-tuple if $a_i a_j + 1$ is a perfect square for all $1 \le i < j \le m$. In 2004 Dujella proved that there is no Diophantine sextuple and that there are…
Schinzel and W\'ojcik have shown that if $\alpha, \beta$ are rational numbers not $0$ or $\pm 1$, then $\mathrm{ord}_p(\alpha)=\mathrm{ord}_p(\beta)$ for infinitely many primes $p$, where $\mathrm{ord}_p(\cdot)$ denotes the order in…
Let $\pi(x;\gamma_1,\gamma_2)$ denote the number of primes $p$ with $p\leqslant x$ and $p=\lfloor n^{1/\gamma_1}_1\rfloor=\lfloor n^{1/\gamma_2}_2\rfloor$, where $\lfloor t\rfloor$ denotes the integer part of $t\in\mathbb{R}$ and…
Let $K$ denote the middle third Cantor set and ${\cal A}:= \{3^n : n = 0,1,2, >... \} $. Given a real, positive function $\psi$ let $ W_{\cal A}(\psi)$ denote the set of real numbers $x$ in the unit interval for which there exist infinitely…
For the positive integer $n$, let $f(n)$ denote the number of positive integer solutions $(n_1, n_2, n_3)$ of the Diophantine equation $$ {4\over n}={1\over n_1}+{1\over n_2}+{1\over n_3}. $$ For the prime number $p$, $f(p)$ can be split…
We formalize Hilbert's Seventh Problem and its solution, the Gelfond-Schneider theorem, in the Lean 4 proof assistant. The theorem states that if $\alpha$ and $\beta$ are algebraic numbers with $\alpha \neq 0,1$ and $\beta$ irrational, then…