Andrej Dujella, Matteo Paganin, Mohammad Sadek
We show that for infinitely many square-free integers q there exist infinitely many triples of rational numbers {a, b, c} such that a^2 + q, b^2 + q, c^2 + q, ab + q, ac + q and bc + q are squares of rational numbers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We consider Diophantine quintuples $\{a, b, c, d, e\}$, sets of distinct positive integers the product of any two elements of which is one less than a perfect square. Triples of the first kind are the subsets $\{a, b, d\}$ with $d> b^{5}$. We show that there are no Diophantine quintuples containing triples of the first kind.
Rational Diophantine triples, i.e. rationals a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares, are often used in construction of elliptic curves with high rank. In this paper, we consider the opposite problem and ask how small can be the rank of elliptic curves induced by rational Diophantine triples. It is easy to find rational Diophantine triples with elements with mixed signs which induce elliptic curves with rank 0. However, the problem of finding such examples of rational Diophantine triples with positive elements is much more challenging, and we will provide the first su…
A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple. In this paper, we prove that there exist infinitely many rational Diophantine sextuples.
We propose an equivalent condition for the Markov triples, which was mentioned by H. Rademacher essentially. As an application, we study the solvability of the Diophantine equation $a^2+b^2+c^2=abcf(a,b,c)$.
In this paper, we give an upper bound on the number of extensions of a triple to a quadruple for the Diophantine $m$-tuples with the property $D(4)$. We also confirm the conjecture of the uniqueness of such an extension in some special cases.
Diophantine triples taking values in recurrence sequences have recently been studied quite a lot. In particular the question was raised whether or not there are finitely many Diophantine triples in the Tribonacci sequence. We answer this question here in the affirmative. We prove that there are only finitely many triples of integers $1\le u<v<w$ such that $uv+1,uw+1,vw+1$ are Tribonacci numbers. The proof depends on the Subspace theorem.
On Diophantine triples containing a triangular number
本文提出一种构造方法，生成无限多个三角数的D(m²)-三元组，并证明每个三元组包含相同的三角数T_n。
A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple, and in 2016 Dujella, Kazalicki, Mikić and Szikszai proved that there are infinitely many of them. In this paper, we prove that there exist infinitely many rational Diophantine sextuples such that the denominators of all the elements in …
A rational Diophantine triple is a set of three nonzero rational a,b,c with the property that ab+1, ac+1, bc+1 are perfect squares. We say that the elliptic curve y^2 = (ax+1)(bx+1)(cx+1) is induced by the triple {a,b,c}. In this paper, we describe a new method for construction of elliptic curves over Q with reasonably high rank based on a parametrization of rational Diophantine triples. In particular, we construct an elliptic curve induced by a rational Diophantine triple with rank equal to 12, and an infinite family of such curves with rank >= 7, which are both the current records for that k…
On $k$-th power Diophantine triples of the form $\{a^k, b, c\}$
本文证明了对于k≥3且1<a^k<b<c的情况，形式为{a^k, b, c}的k次幂丢番图三元组不存在。
A set of $m$ distinct nonzero rationals $\{a_1,a_2,\ldots,a_m\}$ such that $a_ia_j+1$ is a perfect square for all $1\leq i<j\leq m$, is called a rational Diophantine $m$-tuple. It is proved recently that there are infinitely many rational Diophantine sextuples. In this paper, we construct infinite families of rational Diophantine sextuples with special structure, namely the sextuples containing quadruples and quintuples of certain type.
The possible torsion groups of elliptic curves induced by Diophantine triples over quadratic fields, which do not appear over Q, are Z/2Z x Z/10Z, Z/2Z x Z/12Z and Z/4Z x Z/4Z. In this paper, we show that all these torsion groups indeed appear over some quadratic field. Moreover, we prove that there are infinitely many Diophantine triples over quadratic fields which induce elliptic curves with these torsion groups.
We give a complete characterization for the rational torsion of an elliptic curve in terms of the (non-)existence of integral solutions of a system of diophantine equations.
The study of Diophantine triples taking values in linear recurrence sequences is a variant of a problem going back to Diophantus of Alexandria which has been studied quite a lot in the past. The main questions are, as usual, about existence or finiteness of Diophantine triples in such sequences. Whilst the case of binary recurrence sequences is almost completely solved, not much was known about recurrence sequences of larger order, except for very specialized generalizations of the Fibonacci sequence. Now, we will prove that any linear recurrence sequence with the Pisot property contains only …
We prove that for every integer $n$, there exist infinitely many $D(n)$-triples which are also $D(t)$-triples for $t\in\mathbb{Z}$ with $n\ne t$. We also prove that there are infinitely many triples with the property $D(-1)$ in $\mathbb{Z}[i]$ which are also $D(n)$-triple in $\mathbb{Z}[i]$ for two distinct $n$'s other than $n = -1$ and these triples are not equivalent to any triple with the property $D(1)$.
Let $g\ge 2$ be an integer and $\mathcal R_g\subset \mathbb N$ be the set of repdigits in base $g$. Let $\mathcal D_g$ be the set of Diophantine triples with values in $\mathcal R_g$; that is, $\mathcal D_g$ is the set of all triples $(a,b,c)\in \mathbb N^3$ with $c<b<a$ such that $ab+1,ac+1$ and $ab+1$ lie in the set $\mathcal R_g$. In this paper, we prove effective finitness results for the set $\mathcal D_g$.
Let A,K be positive integers and u=-2,-1,1 or 2. The main contribution of the paper is a proof that each of the D(u^2)-triples {K,A^2K+2uA,(A+1)^2K+2u(A+1)} has unique extension to a D(u^2)-quadruple.
A rational Diophantine m-tuple is a set of m nonzero rationals such that the product of any two of them increased by 1 is a perfect square. The first rational Diophantine quadruple was found by Diophantus, while Euler proved that there are infinitely many rational Diophantine quintuples. In 1999, Gibbs found the first example of a rational Diophantine sextuple, and Dujella, Kazalicki, Mikic and Szikszai recently proved that there exist infinitely many rational Diophantine sextuples. In this paper, generalizing the work of Piezas, we describe a method for generating new parametric formulas for …
Using the theory of Diophantine m-tuples, i.e. sets with the property that the product of its any two distinct elements increased by 1 is a perfect square, we construct an elliptic curve over Q(t) of rank at least 4 with three non-trivial torsion points. By specialization, we obtain an example of elliptic curve over Q with torsion group Z/2Z * Z/2Z whose rank is equal 7.
A Diophantine $m$-tuple is a set of $m$ distinct integers such that the product of any two distinct elements plus one is a perfect square. In this paper we study the extensibility of a Diophantine triple $\{k-1, k+1, 16k^3-4k\}$ in Gaussian integers $\mathbb{Z}[i]$ to a Diophantine quadruple. Similar one-parameter family, $\{k-1, k+1, 4k\}$, was studied in Franušić's previous paper, where it was shown that the extension to a Diophantine quadruple is unique (with an element $16k^3-4k$). The family of the triples of the same form $\{k-1, k+1, 16k^3-4k\}$ was already studied in rational integers.…
A famous problem posed by Diophantus was to find sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Some sets of six such numbers are presented and the computational algorithm used to find them is described. A classification of quadruples and quintuples with examples and statistics is also given.
In this paper, we consider elliptic curves induced by rational Diophantine quadruples, i.e. sets of four nonzero rationals such that the product of any two of them plus 1 is a perfect square. We show that for each of the groups $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/k\mathbb{Z}$ for $k = 2, 4, 6, 8$, there are infinitely many rational Diophantine quadruples with the property that the induced elliptic curve has this torsion group. We also construct curves with moderately large rank in each of these four cases.
We study the possible structure of the groups of rational points on elliptic curves of the form y^2=(ax+1)(bx+1)(cx+1), where a,b,c are non-zero rationals such that the product of any two of them is one less than a square.
Rational Diophantine sextuples with strong pair
本文研究了有理丢番图多元组问题，通过引入强对条件，成功构造出包含强丢番图对的有理丢番图六元组的无限族。
In this paper, we establish asymptotic formulae with optimal errors for the number of rational points that are close to a planar curve, which unify and extend the results of Beresnevich-Dickinson-Velani and Vaughan-Velani. Furthermore, we complete the Lebesgue theory of Diophantine approximation on weakly non-degenerate planar curves that was initially developed by Beresnevich-Zorin in the divergence case.
On exotic Diophantine triples in $\mathbb{R}[X]$
研究实数域上多项式环\(\mathbb{R}[X]\)中奇异丢番图三元组问题，通过证明得出若\(a,b,c\)都不等于\(1\)且至少有一个非常数元素时不存在该三元组，即含非常数元素的此类三元组必含\(1\)。
On Diophantine pairs and triples of triangular numbers
研究非零整数a下三角数的D(a)丢番图对和三数组，证明若三角数属于D(a)对，则可扩展为无穷多个D(a)三数组，并确定存在和不存在此类对的整数a的无限族。
Given a Diophantine triple $\{c_1(t),c_2(t),c_3(t)\}$, the elliptic curve over Q(t) induced by this triple, i.e. $y^2=(c_1(t) x+1) (c_2(t) x+1) (c_3(t) x+1)$, can have as torsion group one of the non-cyclic groups in Mazur's theorem, i.e. Z/2Z x Z/2Z, Z/2Z x Z/4Z, Z/2Z x Z/6Z or Z/2Z x Z/8Z. In this paper we present results concerning the rank over Q(t) of these curves improving in some of the cases the previously known results.
Arithmetic of elliptic curves induced by regular Diophantine triples
本文研究正则丢番图三元组诱导的椭圆曲线的算术，明确其挠子群结构，给出二次域上获3阶点的判定准则并验证特定族无此情况，还分析另一类D(-k²)三元组诱导曲线的挠与秩。
The extensibility of the Diophantine triple $\{2, b, c\}$
本文研究了Diophantine三元组{2, b, c}的可扩展性，证明了其无法扩展为非规则四元组，并给出了相关结论。
In this paper we develop the convergence theory of simultaneous, inhomogeneous Diophantine approximation on manifolds. A consequence of our main result is that if the manifold $M \subset \mathbb{R}^n$ is of dimension strictly greater than $(n+1)/2$ and satisfies a natural non-degeneracy condition, then $M$ is of Khintchine type for convergence. The key lies in obtaining essentially the best possible upper bound regarding the distribution of rational points near manifolds.
We study the ``imaginary" binary quadratic form equations ax^2+bxy+cy^2+g=0 over k[t] in rational function fields, showing that a condition with respect to the Artin reciprocity map, is the only obstruction to the local-global principle for integral solutions of the equation.
On Regular Higher Power Rational Diophantine Triples
本文研究了正则高次幂有理数迪菲安特三元组，构造了非平凡的无限族，并证明了当k=4时存在无限多个正元素三元组，还简要讨论了k=6和k=8的情况。
We show that if $k\ge 2$ is an integer and $(F_n^{(k)})_{n\ge 0}$ is the sequence of $k$-generalized Fibonacci numbers, then there are only finitely many triples of positive integers $1<a<b<c$ such that $ab+1,~ac+1,~bc+1$ are all members of $\{F_n^{(k)}: n\ge 1\}$. This generalizes a previous result (cf. arXiv:1508.07760) where the statement for $k=3$ was proved. The result is ineffective since it is based on Schmidt's subspace theorem.
Diophantine approximation by rational numbers of certain parity types
本文研究给定奇偶类型（奇/奇、偶/奇、奇/偶）有理数对无理数的最佳逼近算法，并与连分数展开进行比较。
A triangle with rational sides and rational area is called a rational triangle. In this paper we consider three problems of finding pairs of rational triangles which have a common circumradius as well as either a common perimeter or a common inradius or a common area. While several similar problems concerning pairs of rational triangles have been considered in the existing literature, these three problems have not been studied till now. For each of these problems, we give a parametric solution and we also indicate how additional parametric solutions of these problems may be obtained.
Quartic Rational Diophantine Quadruples and the Euler Surface
本文证明存在无限多个四次有理狄菲antine四元组，通过构造欧拉曲面得到首个显式无限族四次有理狄菲antine四元组，并扩展到任意指数k>1的情况。
In this paper we consider Diophantine equation x4 + y4 = z4 + w4 (1)We construct some family of cubic curves.We prove that every rational point on Quar- tica x4 + y4 = z4 + w4 can be mapped to a point on some curve of this family. We also prove the opposite: each rational point belonging to our family of curves can be mapped to a rational point on the Quartica. (2) We find the point on our family of curves corresponding to a parametric solution of Leonard Euler. We construct several new parametric solutions of our Quartica, using a parametric solution of Leonard Euler and the algebraic operati…
In this paper we consider Diophantine equations of the form $f(x)=g(y)$ where $f$ has simple rational roots and $g$ has rational coefficients. We give strict conditions for the cases where the equation has infinitely many solutions in rationals with a bounded denominator. We give examples illustrating that the given conditions are necessary. It turns out that such equations with infinitely many solutions are strongly related to Prouhet-Tarry-Escott tuples. In the special, but important case when $g$ has only simple rational roots as well, we can give a simpler statement. Also we provide an app…
Intrinsic Diophantine approximation by rationals of height with a bounded number of distinct prime factors
本文研究了由具有有限不同素因子数的有理数逼近的自相似集的Hausdorff维数，修正了前一版本中引理3.8的证明错误。
For a nonzero integer $n$, a set of distinct nonzero integers $\{a_1,a_2,\ldots,a_m\}$ such that $a_ia_j+n$ is a perfect square for all $1\leq i<j\leq m$, is called a Diophantine $m$-tuple with the property $D(n)$ or simply $D(n)$-set. $D(1)$-sets are known as simply Diophantine $m$-tuples. Such sets were first studied by Diophantus of Alexandria, and since then by many authors. It is natural to ask if there exists a Diophantine $m$-tuple ($D(1)$-set) which is also a $D(n)$-set for some $n\neq 1$. This question was raised by Kihel and Kihel in 2001. They conjectured that there are no Diophanti…
In this paper we develop a new explicit method to studying rational points near manifolds and obtain optimal lower bounds on the number of rational points of bounded height lying at a given distance from an arbitrary non-degenerate curve. This generalises previous results for analytic non-degenerate curves. Furthermore, the main results are also proved in the inhomogeneous setting. Applications of the main theorem include the Khintchine-Jarník type theorem for divergence for arbitrary non-degenerate curve in $\mathbb{R}^n$.
A famous problem posed by Diophantus was to find sets of distinct positive rational numbers such that the product of any two is one less than a rational square. Such Diophantine sets have been used to construct high rank elliptic curves. Here I demonstrate a link with Cayley's hyperdeterminants which provides a fruitful generalisation of Diophantine quadruples.
Euclidean Triangles Associated with Diophantine $D(4)$-triples
本文研究了与丢番图 $D(4)$-三元组相关的欧几里得三角形，给出了非退化条件、数量判据、角类型、相似必全等结论，并对特定族获得了海伦三角形的佩尔方程刻画。
Many authors studied the problem that rational triangle pairs (triangle-parallelogram pairs) with the same area and the same perimeter. They investigated this problem by solving the rational solutions of the corresponding Diophantine equations. In this paper, we give a unified description of this problem by using the affine transformation in a rectangular coordinate system. According to the fact that two triangles with the same area and the same perimeter determine an affine transformation, this problem can be reduced to solving a specific Diophantine system. Moreover, we will give some ration…
Counting rationals and diophantine approximation in missing-digit Cantor sets
本文通过傅里叶ℓ^1维度方法，研究了缺失数字康托集中的有理数计数和丢番图逼近问题，并对多个猜想做出了进展。
S. Lang conjectured in 1974 that a hyperbolic algebraic variety defined over a number field has only finitely many rational points, and its analogue over function fields. We discuss the Nevanlinna-Cartan theory over function fields of arbitrary dimension and apply it for Diophantine property of hyperbolic projective hypersurfaces (homogeneous Diophantine equations) constructed by Masuda-Noguchi. We also deal with the finiteness property of $S$-units points of those Diophantine equations over number fields.
On certain $D(9)$ and $D(64)$ Diophantine triples
研究关于$D(9)$和$D(64)$丢番图三元组，推广刻画特定$D(l^2)$-丢番图三元组对应佩尔方程解的结果，利用该结果及代数数对数线性形式的界，对特定形式的$D(9)$和$D(64)$-丢番图三元组进行分类。
We investigate the problem of best simultaneous Diophantine approximation under a constraint on the denominator, as proposed by Jurkat. New lower estimates for optimal approximation constants are given in terms of critical determinants of suitable star bodies. Tools are results on simultaneous Diophantine approximation of rationals by rationals with smaller denominator. Finally, the approximation results are applied to the decomposition of integer vectors.
Duffin and Schaeffer have generalized the classical theorem of Khintchine in metric Diophantine approximation in the case of any error function under the assumption that all the rational approximants are irreducible. This result is extended to the case where the numerators and the denominators of the rational approximants are related by a congruential constraint stronger than coprimality.
This work is motivated by problems on simultaneous Diophantine approximation on manifolds, namely, establishing Khintchine and Jarnik type theorems for submanifolds of R^n. These problems have attracted a lot of interest since Kleinbock and Margulis proved a related conjecture of Alan Baker and V.G. Sprindzuk. They have been settled for planar curves but remain open in higher dimensions. In this paper, Khintchine and Jarnik type divergence theorems are established for arbitrary analytic non-degenerate manifolds regardless of their dimension. The key to establishing these results is the study o…
By the theory of elliptic curves, we study the nontrivial rational parametric solutions and rational solutions of the Diophantine equations $z^2=f(x)^2 \pm g(y)^2$ for some simple Laurent polynomials $f$ and $g$.
By the theory of elliptic curves, we study the nontrivial rational parametric solutions and rational solutions of the Diophantine equations $z^2=f(x)^2 \pm f(y)^2$ for some simple Laurent polynomials $f$.
Equidistribution, covering radius, and Diophantine approximation for rational points on the sphere
研究球面上固定高度有理点在缩小尺度下的分布，证明了二维球面本原平方级林尼克集的无条件方差估计，得到不同类型的均匀分布，并推导出在覆盖、丢番图逼近及相关猜想方面的应用。
We find upper and lower bounds on the number of rational points that are $ψ$-approximations of some $n$-dimensional $p$-adic integer. Lattice point counting techniques are used to find the upper bound result, and a Pigeon-hole principle style argument is used to find the lower bound result. We use these results to find the Hausdorff dimension for the set of $p$-adic weighted simultaneously approximable points intersected with $p$-adic coordinate hyperplanes. For the lower bound result we show that the set of rational points that $τ$-approximate a $p$-adic integer form a set of resonant points …
We investigate two inequalities of Bugeaud and Laurent, each involving triples of classical exponents of Diophantine approximation associated to $\ux\in\mathbb{R}^n$. We provide a complete description of parameter triples that admit equality for suitable $\ux$, which turns out rather surprising. For $n=2$ our results agree with work of Laurent. Moreover, we establish lower bounds for the Hausdorff and packing dimensions of the involved $\ux$, and in special cases we can show they are sharp. Proofs are based on the variational principle in parametric geometry of numbers, we enclose sketches of …
Counterexamples to Dujella's conjecture on integral points on the elliptic curve attached to a Diophantine triple
本文针对丢番图三元组对应椭圆曲线上整数点的杜杰拉猜想，构造无穷多组反例，证明存在x≠-1的整数点使得三个因子均非平方数，否定了该猜想的弱化问题。
In this article, we establish an analogue of the dimension growth conjecture, which is regarding the density of rational points on projective varieties, for compact submanifolds of $\mathbb{R}^n$ with non-vanishing curvature. We also establish the convergence theory for the set of simultaneously $ψ$-approximable points lying on a generic hypersurface, thereby settling the generalized Baker-Schmidt problem in the simultaneous setting for generic hypersurfaces. These results are obtained as consequences of an optimal upper bound for the density of rational points near manifolds of the form $\{ (…
We first recall the connection, going back to A. Thue, between rational approximation to algebraic numbers and integer solutions of some Diophantine equations. Next we recall the equivalence between several finiteness results on various Diophantine equations. We also give many equivalent statements of Mahler's generalization of the fundamental theorem of Thue. In particular, we show that the theorem of Thue--Mahler for degree $3$ implies the theorem of Thue--Mahler for arbitrary degree $\ge3$, and we relate it with a theorem of Siegel on the rational integral points of the projective line $¶^1…
The height of a rational number $p/q$ is denoted by $h(p/q)$ and equals $\text{max}(|p|,|q|)$ provided p/q is written in lowest terms. The height of a rational tuple $(x_1,...,x_n)$ is denoted by $h(x_1,...,x_n)$ and equals $\text{max}(h(x_1),...,h(x_n))$. Let $G_n={x_i+1=x_k: i,k \in {1,...,n}} \cup {x_i \cdot x_j=x_k: i,j,k \in {1,...,n}}$. Let $f(1)=1$, and let $f(n+1)=2^{(2^{(f(n))})}$ for every positive integer n. We conjecture: (1) if a system $S \subseteq G_n$ has only finitely many solutions in rationals $x_1,...,x_n$, then each such solution $(x_1,...,x_n)$ satisfies $h(x_1,...,x_n) \…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。