Two-parameter families of uniquely extendable Diophantine triples

Mihai Cipu,Yasutsugu Fujita,Maurice Mignotte

DOI: https://doi.org/10.48550/arXiv.1611.08646

2016-11-26

Abstract: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.

Number Theory

What problem does this paper attempt to address?

On extensions of $D(4)$-triples by adjoining smaller elements

Marija Bliznac Trebješanin,Pavao Radić

2024-05-19

Abstract:This paper examines the problem of obtaining a $D(4)$-quadruple by adding a smaller element to a $D(4)$-triple. We prove some relations between elements of observed hypothetical $D(4)$-quadruples under which conjecture of the uniqueness of such an extension holds. Also, it is shown that for any $D(4)$-triple there are at most two extensions with a smaller element.

Number Theory
Diophantine $D(n)$-quadruples in $\mathbb{Z}[\sqrt{4k + 2}]$

Kalyan Chakraborty,Shubham Gupta,Azizul Hoque

2024-06-26

Abstract:Let $d$ be a square-free integer and $\mathbb{Z}[\sqrt{d}]$ a quadratic ring of integers. For a given $n\in\mathbb{Z}[\sqrt{d}]$, a set of $m$ non-zero distinct elements in $\mathbb{Z}[\sqrt{d}]$ is called a Diophantine $D(n)$-$m$-tuple (or simply $D(n)$-$m$-tuple) in $\mathbb{Z}[\sqrt{d}]$ if product of any two of them plus $n$ is a square in $\mathbb{Z}[\sqrt{d}]$. Assume that $d \equiv 2 \pmod 4$ is a positive integer such that $x^2 - dy^2 = -1$ and $x^2 - dy^2 = 6$ are solvable in integers. In this paper, we prove the existence of infinitely many $D(n)$-quadruples in $\mathbb{Z}[\sqrt{d}]$ for $n = 4m + 4k\sqrt{d}$ with $m, k \in \mathbb{Z}$ satisfying $m \not\equiv 5 \pmod{6}$ and $k \not\equiv 3 \pmod{6}$. Moreover, we prove the same for $n = (4m + 2) + 4k\sqrt{d}$ when either $m \not\equiv 9 \pmod{12}$ and $k \not\equiv 3 \pmod{6}$, or $m \not\equiv 0 \pmod{12}$ and $k \not\equiv 0 \pmod{6}$. At the end, some examples supporting the existence of quadruples in $\mathbb{Z}[\sqrt{d}]$ with the property $D(n)$ for the above exceptional $n$'s are provided for $d = 10$.

Number Theory
More on consecutive multiplicatively dependent triples of integers

Michael A. Bennett,István Pink,Ingrid Vukusic

2024-11-19

Abstract:In this paper, we extend recent work of the third author and Ziegler on triples of integers $(a,b,c)$, with the property that each of $(a,b,c)$, $(a+1,b+1,c+1)$ and $(a+2,b+2,c+2)$ is multiplicatively dependent, completely classifying such triples in case $a=2$. Our techniques include a variety of elementary arguments together with more involved machinery from Diophantine approximation.

Number Theory
Strong rational Diophantine D(q)-triples

Andrej Dujella,Matteo Paganin,Mohammad Sadek

DOI: https://doi.org/10.1016/j.indag.2020.03.007

2020-01-16

Abstract: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.

Number Theory
Diophantine quintuples containing triples of the first kind

Dave Platt,Tim Trudgian

DOI: https://doi.org/10.48550/arXiv.1501.04399

2015-02-26

Abstract: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.

Number Theory
Rational Diophantine sextuples with strong pair

Andrej Dujella,Matija Kazalicki,Vinko Petričević

2024-03-13

Abstract:A set of $m$ distinct nonzero rationals $\{a_1, a_2,\ldots, a_m\}$ such that $a_i a_j+1$ is a perfect square for all $1\le i <j \le m$, is called a rational Diophantine $m$-tuple. If in addition, $a_i^2+1$ is a perfect square for $1\le i\le m$, then we say the $m$-tuple is strong. In this paper, we construct infinite families of rational Diophantine sextuples containing a strong Diophantine pair.

Number Theory
Two pairs of biquadrates with equal sums

Ajai Choudhry

2023-04-09

Abstract:In this paper we present a new method of solving the classical diophantine equation $A^4+B^4=C^4+D^4$. Two methods of solving this equation, given by Euler, yield parametric solutions given by polynomials of degrees 7 and 13. Several other parametric solutions are now known, and with the exception of one solution of degree 11, all the published solutions are of degrees $6n+1$ for some integer $n$. The method described in this paper yields new parametric solutions of degrees 21, 39 and 75, that is, degrees that are expressible as $6n+3$.

Number Theory
A Variety of Euler's Conjecture

Tianxin Cai,Yong Zhang

2013-01-01

Abstract:We consider a variety of Euler's conjecture, i.e., whether the Diophantine system n=a_1+a_2+⋯+a_s-1, a_1a_2⋯ a_s-1(a_1+a_2+⋯+a_s-1)=b^s has solutions n,b,a_i∈ℤ^+,i=1,2,…,s-1,s≥ 3. By using the theory of elliptic curves, we prove that it has no solutions n,b,a_i∈ℤ^+ for s=3, but for s=4 it has infinitely many solutions n,b,a_i∈ℤ^+ and for s≥ 5 there are infinitely many polynomial solutions n,b,a_i∈ℤ[t_1,t_2,…,t_s-3] with positive value satisfying this Diophantine system.
A new generalization of Fermat's Last Theorem

tianxin cai,deyi chen,yong zhang

DOI: https://doi.org/10.1016/j.jnt.2014.09.014

IF: 0.679

2013-01-01

Journal of Number Theory

Abstract: In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases} \end{equation} where $A,B,C,D,n \in\ZZ_{+}$ and $n\geq3$, which may be regarded as a generalization of Fermat's equation $x^n+y^n=z^n$. When $\gcd(A,B,C)=1$, $(1)$ is equivalent to Fermat's equation, which means it has no positive integer solutions. We discuss several cases for $\gcd(A,B,C)=p^k$ where $p$ is an odd prime. In particular, for $k=1$ we prove that $(1)$ has no nonzero integer solutions when $n=3$ and we conjecture that it is also true for any prime $n>3$. Finally, we consider equation $(1)$ in quadratic fields $\mathbb{Q}(\sqrt{t})$ for $n=3$.
Improved upper bounds on Diophantine tuples with the property $D(n)$

Chi Hoi Yip

2024-06-27

Abstract:Let $n$ be a non-zero integer. A set $S$ of positive integers is a Diophantine tuple with the property $D(n)$ if $ab+n$ is a perfect square for each $a,b \in S$ with $a \neq b$. It is of special interest to estimate the quantity $M_n$, the maximum size of a Diophantine tuple with the property $D(n)$. In this notes, we show the contribution of intermediate elements is $O(\log \log |n|)$, improving a result by Dujella. As a consequence, we deduce that $M_n\leq (2+o(1))\log |n|$, improving the best-known upper bound on $M_n$ by Becker and Murty.

Number Theory
A 2-Stable Family of Triple Systems

Yixiao Zhang,Jianfeng Hou,Heng Li

DOI: https://doi.org/10.37236/11701

2024-04-05

The Electronic Journal of Combinatorics

Abstract:For many well-known families of triple systems $\mathcal{M}$, there are perhaps many near-extremal $\mathcal{M}$-free configurations that are far from each other in edit-distance. Such a property is called non-stable and is a fundamental barrier to determining the Turán number of $\mathcal{M}$. Liu and Mubayi gave the first finite example that is non-stable. In this paper, we construct another finite family of triple systems $\mathcal{M}$ such that there are two near-extremal $\mathcal{M}$-free configurations that are far from each other in edit-distance. We also prove its Andrásfai-Erdős-Sós type stability theorem: Every $\mathcal{M}$-free triple system whose minimum degree is close to the average degree of the extremal configurations is a subgraph of one of these two near-extremal configurations. As a corollary, our main result shows that the boundary of the feasible region of $\mathcal{M}$ has exactly two global maxima.

mathematics, applied
$K_2$ of families of elliptic curves over non-Abelian cubic and quartic fields

François Brunault,Rob de Jeu,Hang Liu,Fernando Rodriguez Villegas

2024-01-09

Abstract:We give two constructions of families of elliptic curves over cubic or quartic fields with three, respectively four, `integral' elements in the kernel of the tame symbol on the curves. The fields are in general non-Abelian, and the elements linearly independent. For their integrality, we prove a new criterion that does not ignore any torsion. We also verify Beilinson's conjecture numerically for just over 90 of the curves.

Number Theory,Algebraic Geometry,K-Theory and Homology
Asymptotics of $D(q)$-pairs and triples via $L$-functions of Dirichlet charaters

Nikola Adžaga,Goran Dražić,Andrej Dujella,Attila Pethő

2023-04-04

Abstract:Let $q$ be an integer. A $D(q)$-$m$-tuple is a set of $m$ distinct positive integers ${a_1, a_2, . . . , a_m}$ such that $a_ia_j + q$ is a perfect square for all $1 \leq i < j \leq m$. By counting integer solutions $x \in [1, b]$ of congruences $x^2 \equiv q (\mod b)$ with $b \leq N$, we count $D(q)$-pairs with both elements up to $N$, and give estimates on asymptotic behaviour. We show that for prime $q$, the number of such $D(q)$-pairs and $D(q)$-triples grows linearly with $N$. Up to a factor of $2$, the slope of this linear function is the quotient of the value of the $L$-function of an appropriate Dirichlet character (usually a Kronecker symbol) and of $\zeta(2)$.

Number Theory
Topological and dimensional properties of univoque bases in double-base expansions

Yuecai Hu,Rafael Alcaraz Barrera,Yuru Zou

2024-10-14

Abstract:Given two real numbers $q_0,q_1$ with $q_0, q_1 > 1$ satisfying $q_0+q_1 \ge q_0q_1$, we call a sequence $(d_i)$ with $d_i\in \{0,1\}$ a $(q_0,q_1)$-expansion or a double-base expansion of a real number $x$ if \[ x=\mathop{\sum}\limits_{i=1}^{\infty} \frac{d_{i}}{q_{d_1}q_{d_2}\cdots q_{d_i}}. \] When $q_0=q_1=q$, the set of univoque bases is given by the set of $q$'s such that $x = 1$ has exactly one $(q, q)$-expansion. The topological, dimensional and symbolic properties of such sets and their corresponding sequences have been intensively investigated. In our research, we study the topological and dimensional properties of the set of univoque bases for double-base expansions. This problem is more complicated, requiring new research strategies. Several new properties are uncovered. In particular, we show that the set of univoque bases in the double base setting is a meagre set with full Hausdorff dimension.

Dynamical Systems,Number Theory
A note on the simultaneous 3-divisibility of class numbers of tuples of real quadratic fields

Mohit Mishra,Anupam Saikia

DOI: https://doi.org/10.1007/s11139-024-00834-5

2024-03-24

The Ramanujan Journal

Abstract:Let r be a positive integer, and let be integers such that for all . In this article, we prove the existence of infinitely many positive integers D such that the class numbers of the real quadratic fields are simultaneously divisible by 3. This result gives an affirmative answer to a weaker version of a conjecture of Iizuka (J Number Theory 184:122–127, 2018).

mathematics
Construction of diagonal quintic threefolds with infinitely many rational points

Maciej Ulas

2024-01-31

Abstract:In this note we present a construction of an infinite family of diagonal quintic threefolds defined over $\Q$ each containing infinitely many rational points. As an application, we prove that there are infinitely many quadruples $B=(B_{0}, B_{1}, B_{2}, B_{3})$ of co-prime integers such that for a suitable chosen integer $b$ (depending on $B$), the equation $B_{0}X_{0}^5+B_{1}X_{1}^5+B_{2}X_{2}^5+B_{3}X_{3}^{5}=b$ has infinitely many positive integer solutions.

Number Theory
Congruent Numbers, Quadratic Forms and $$K_2$$

Qin Hourong

DOI: https://doi.org/10.1007/s00208-021-02263-x

2021-01-01

Mathematische Annalen

Abstract:We give a new and self-contained proof for an alternative form of Tunnell’s theorem on congruent numbers. The proof relies on more knowledge on quadratic forms with less calculation than Tunnell’s proof. The approach is based on our observation that the equality $$\#\{(x,y,z,w) \in \mathbb {Z}^4|p=2x^2+3y^2+3z^2+4w^2+2yz\}=\#\{(x,y,z) \in \mathbb {Z}^3|p^2=2x^2+4y^2+9z^2-4yz\}$$ holds for any odd prime p. The same method is applied to the elliptic curves $$E_n:~y^2=x^3+n^2x$$ and $$E_{n}:~~y^2=x(x-n)(x+3n)(E_{-n}:~~y^2=x(x+n)(x-3n))$$ ( $$\pi /3$$ ( $$2\pi /3$$ )-congruent elliptic curves), where we list, without proof, the analogous results. A series of criteria for congruent numbers are given. In particular, for a prime p, we show that if $$p\equiv 1\pmod {8}$$ is a congruent number then the 8-rank of $$K_2O_{\mathbb {Q}(\sqrt{p})}$$ equals one; if $$p\equiv 1\pmod {16}$$ with $$h(-p)\not \equiv h(-2p)\pmod {16}$$ then 2p is not a congruent number; and if $$p\equiv 1, q\equiv 3\pmod {8}$$ are two primes with $$h(-pq)\not \equiv h(-p)\pmod {8}$$ then pq is not a congruent number.
Explicit constructions of Diophantine tuples over finite fields

Seoyoung Kim,Chi Hoi Yip,Semin Yoo

DOI: https://doi.org/10.1007/s11139-024-00888-5

2024-08-25

The Ramanujan Journal

Abstract:A Diophantine m -tuple over a finite field is a set of m distinct elements in such that is a square in whenever . In this paper, we study M ( q ), the maximum size of a Diophantine tuple over , assuming the characteristic of is fixed and . By explicit constructions, we improve the lower bound on M ( q ). In particular, this improves a recent result of Dujella and Kazalicki by a multiplicative factor.

mathematics
A characterization of complex Hadamard matrices appearing in families of MUB triplets

Ákos K. Matszangosz,Ferenc Szöllősi

2024-05-16

Abstract:It is shown that a normalized complex Hadamard matrix of order $6$ having three distinct columns, each containing at least one $-1$ entry necessarily belongs to the transposed Fourier family, or to the family of $2$-circulant complex Hadamard matrices. The proofs rely on solving polynomial system of equations by Gröbner basis techniques, and make use of a structure theorem concerning regular Hadamard matrices. As a consequence, members of these two families can be easily recognized in practice. In particular, one can identify complex Hadamard matrices appearing in known triplets of pairwise mutually unbiased bases in dimension $6$.

Combinatorics
Universal Sums of Three Quadratic Polynomials

Zhi-Wei Sun

DOI: https://doi.org/10.1007/s11425-017-9354-4

2018-01-01

Science China Mathematics

Abstract:Let a, b, c, d, e and f be integers with a ⩾ c ⩾ e > 0, b > –a and b ≡ a (mod 2), d > –c and d ≡ c (mod 2), f > –e and f ≡ e (mod 2). Suppose that b ⩾ d if a = c, and d ⩾ f if c = e. When b(a–b), d(c–d) and f(e–f) are not all zero, we prove that if each n ∈ ℕ = {0, 1, 2,...} can be written as x(ax + b)/2 + y(cy + d)/2 + z(ez + f)/2 with x, y, z ∈ ℕ then the tuple (a, b, c, d, e, f) must be on our list of 473 candidates, and show that 56 of them meet our purpose. When b ∈ [0, a), d ∈ [0, c) and f ∈ [0, e), we investigate the universal tuples (a, b, c, d, e, f) over ℤ for which any n ∈ ℕ can be written as x(ax+b)/2+y(cy+d)/2+z(ez+f)/2 with x, y, z ∈ ℤ, and show that there are totally 12,082 such candidates some of which are proved to be universal tuples over ℤ. For example, we show that any n ∈ ℕ can be written as x(x + 1)/2 + y(3y + 1)/2 + z(5z + 1)/2 with x, y, z ∈ ℤ, and conjecture that each n ∈ ℕ can be written as x(x + 1)/2 + y(3y + 1)/2 + z(5z + 1)/2 with x, y, z ∈ ℕ.

Two-parameter families of uniquely extendable Diophantine triples

On extensions of $D(4)$-triples by adjoining smaller elements

Diophantine $D(n)$-quadruples in $\mathbb{Z}[\sqrt{4k + 2}]$

More on consecutive multiplicatively dependent triples of integers

Strong rational Diophantine D(q)-triples

Diophantine quintuples containing triples of the first kind

Rational Diophantine sextuples with strong pair

Two pairs of biquadrates with equal sums

A Variety of Euler's Conjecture

A new generalization of Fermat's Last Theorem

Improved upper bounds on Diophantine tuples with the property $D(n)$

A 2-Stable Family of Triple Systems

$K_2$ of families of elliptic curves over non-Abelian cubic and quartic fields

Asymptotics of $D(q)$-pairs and triples via $L$-functions of Dirichlet charaters

Topological and dimensional properties of univoque bases in double-base expansions

A note on the simultaneous 3-divisibility of class numbers of tuples of real quadratic fields

Construction of diagonal quintic threefolds with infinitely many rational points

Congruent Numbers, Quadratic Forms and $$K_2$$

Explicit constructions of Diophantine tuples over finite fields

A characterization of complex Hadamard matrices appearing in families of MUB triplets

Universal Sums of Three Quadratic Polynomials