Herman’s last geometric theorem

Bassam Fayad; Raphaël Krikorian

Displaying similar documents to “Herman’s last geometric theorem”

On the Lebesgue-Nagell equation

Andrzej Dąbrowski (2011)

Colloquium Mathematicae

Similarity:

We completely solve the Diophantine equations $x ² + 2^{a} q^{b} = y ⁿ$ (for q = 17, 29, 41). We also determine all $C = p ₁^{a ₁} \dots p_{k}^{a_{k}}$ and $C = 2^{a ₀} p ₁^{a ₁} \dots p_{k}^{a_{k}}$ , where $p ₁, . . ., p_{k}$ are fixed primes satisfying certain conditions. The corresponding Diophantine equations x² + C = yⁿ may be studied by the method used by Abu Muriefah et al. (2008) and Luca and Togbé (2009).

Solutions to xyz = 1 and x + y + z = k in algebraic integers of small degree, II

H. G. Grundman, L. L. Hall-Seelig (2015)

Acta Arithmetica

Similarity:

Let k ∈ ℤ be such that $|_{k} (ℚ) |$ is finite, where $_{k} : y ² = 1 - 2 k x + k ² x ² - 4 x ³$ . We complete the determination of all solutions to xyz = 1 and x + y + z = k in integers of number fields of degree at most four over ℚ.

Diophantine equations involving factorials

Horst Alzer, Florian Luca (2017)

Mathematica Bohemica

Similarity:

We study the Diophantine equations ${(k!)}^{n} - k^{n} = {(n!)}^{k} - n^{k}$ and ${(k!)}^{n} + k^{n} = {(n!)}^{k} + n^{k},$ where $k$ and $n$ are positive integers. We show that the first one holds if and only if $k = n$ or $(k, n) = (1, 2), (2, 1)$ and that the second one holds if and only if $k = n$ .

Finiteness results for Diophantine triples with repdigit values

Attila Bérczes, Florian Luca, István Pink, Volker Ziegler (2016)

Acta Arithmetica

Similarity:

Let g ≥ 2 be an integer and $_{g} \subset ℕ$ be the set of repdigits in base g. Let $_{g}$ be the set of Diophantine triples with values in $_{g}$ ; that is, $_{g}$ is the set of all triples (a,b,c) ∈ ℕ³ with c < b < a such that ab + 1, ac + 1 and bc + 1 lie in the set $_{g}$ . We prove effective finiteness results for the set $_{g}$ .

A note on the article by F. Luca “On the system of Diophantine equations $a ² + b ² = {(m ² + 1)}^{r}$ and $a^{x} + b^{y} = {(m ² + 1)}^{z}$ ” (Acta Arith. 153 (2012), 373-392)

Takafumi Miyazaki (2014)

Acta Arithmetica

Similarity:

Let r,m be positive integers with r > 1, m even, and A,B be integers satisfying $A + B \sqrt (- 1) = {(m + \sqrt (- 1))}^{r}$ . We prove that the Diophantine equation ${| A |}^{x} + {| B |}^{y} = {(m ² + 1)}^{z}$ has no positive integer solutions in (x,y,z) other than (x,y,z) = (2,2,r), whenever $r > 10^{74}$ or $m > 10^{34}$ . Our result is an explicit refinement of a theorem due to F. Luca.

On systems of diophantine equations with a large number of solutions

Jerzy Browkin (2010)

Colloquium Mathematicae

Similarity:

We consider systems of equations of the form $x_{i} + x_{j} = x_{k}$ and $x_{i} \cdot x_{j} = x_{k}$ , which have finitely many integer solutions, proposed by A. Tyszka. For such a system we construct a slightly larger one with much more solutions than the given one.

On invariants of elliptic curves on average

Amir Akbary, Adam Tyler Felix (2015)

Acta Arithmetica

Similarity:

We prove several results regarding some invariants of elliptic curves on average over the family of all elliptic curves inside a box of sides A and B. As an example, let E be an elliptic curve defined over ℚ and p be a prime of good reduction for E. Let $e_{E} (p)$ be the exponent of the group of rational points of the reduction modulo p of E over the finite field $_{p}$ . Let be the family of elliptic curves $E_{a, b} : y^{2} = x^{3} + a x + b$ , where |a| ≤ A and |b| ≤ B. We prove that, for any c > 1 and k∈ ℕ, $1 / | | \sum_{E \in} \sum_{p \leq x} e_{E}^{k} (p) = C_{k} l i (x^{k + 1}) + O ((x^{k + 1}) / {(l o g x)}^{c}$ )as x → ∞, as long...

Rigidity of critical circle mappings I

Edson de Faria, Welington de Melo (1999)

Journal of the European Mathematical Society

Similarity:

We prove that two $C^{3}$ critical circle maps with the same rotation number in a special set $𝔸$ are $C^{1 + α}$ conjugate for some $α > 0$ provided their successive renormalizations converge together at an exponential rate in the $C^{0}$ sense. The set $𝔸$ has full Lebesgue measure and contains all rotation numbers of bounded type. By contrast, we also give examples of $C^{\infty}$ critical circle maps with the same rotation number that are not $C^{1 + β}$ conjugate for any $β > 0$ . The class of rotation numbers for which such examples exist...

On the diophantine equation $x^{y} - y^{x} = c^{z}$

Zhongfeng Zhang, Jiagui Luo, Pingzhi Yuan (2012)

Colloquium Mathematicae

Similarity:

Applying results on linear forms in p-adic logarithms, we prove that if (x,y,z) is a positive integer solution to the equation $x^{y} - y^{x} = c^{z}$ with gcd(x,y) = 1 then (x,y,z) = (2,1,k), (3,2,k), k ≥ 1 if c = 1, and either $(x, y, z) = (c^{k} + 1, 1, k)$ , k ≥ 1 or $2 \leq x < y \leq m a x 1.5 \times 10^{10}, c$ if c ≥ 2.

Diophantine triples with values in binary recurrences

Clemens Fuchs, Florian Luca, Laszlo Szalay (2008)

Annali della Scuola Normale Superiore di Pisa - Classe di Scienze

Similarity:

In this paper, we study triples $a, b$ and $c$ of distinct positive integers such that $a b + 1, a c + 1$ and $b c + 1$ are all three members of the same binary recurrence sequence.

A local-global principle for rational isogenies of prime degree

Andrew V. Sutherland (2012)

Journal de Théorie des Nombres de Bordeaux

Similarity:

Let $K$ be a number field. We consider a local-global principle for elliptic curves $E / K$ that admit (or do not admit) a rational isogeny of prime degree $ℓ$ . For suitable $K$ (including $K = ℚ$ ), we prove that this principle holds for all $ℓ \equiv 1 mod 4$ , and for $ℓ < 7$ , but find a counterexample when $ℓ = 7$ for an elliptic curve with $j$ -invariant $2268945 / 128$ . For $K = ℚ$ we show that, up to isomorphism, this is the only counterexample.

On ramified covers of the projective plane II: Generalizing Segre’s theory

Michael Friedman, Rebecca Lehman, Maxim Leyenson, Mina Teicher (2012)

Journal of the European Mathematical Society

Similarity:

The classical Segre theory gives a necessary and sufficient condition for a plane curve to be a branch curve of a (generic) projection of a smooth surface in $ℙ^{3}$ . We generalize this result for smooth surfaces in a projective space of any dimension in the following way: given two plane curves, $B$ and $E$ , we give a necessary and sufficient condition for $B$ to be the branch curve of a surface $X$ in $ℙ^{N}$ and $E$ to be the image of the double curve of a $ℙ^{3}$ -model of $X$ . In the classical Segre theory, a...