English
Related papers

Related papers: Efficient resolution of Thue-Mahler equations

200 papers

A parabolic partial differential equation $u'_t(t,x)=Lu(t,x)$ is considered, where $L$ is a linear second-order differential operator with time-independent coefficients, which may depend on $x$. We assume that the spatial coordinate $x$…

Functional Analysis · Mathematics 2015-09-14 Ivan D. Remizov

We obtain an approximate solution $\tilde{E}=\tilde{E}(e,M)$ of Kepler's equation $E-e\sin(E)=M$ for any $e\in[0,1)$ and $M\in[0,\pi]$. Our solution is guaranteed, via Smale's $\alpha$-theory, to converge to the actual solution $E$ through…

Mathematical Physics · Physics 2014-05-26 Martin Avendano , Verónica Martín-Molina , Jorge Ortigas-Galindo

Let $p$ be a prime integer, $\mathbb{Z}_p$ the finite field of order $p$ and $\mathbb{Z}^{*}_{p}$ is its multiplicative cyclic group. We consider the Diophantine equation $x^n + y^n = z^n$ with $1 \leq n \leq \frac{p - 1}{2}$. Our main aim…

Number Theory · Mathematics 2020-01-10 Silvia R. Valdes , Yelena Shvets

We study numerically the ODE/IM correspondence for untwisted affine Lie algebras associated with simple Lie algebras including exceptional type. We consider the linear problem obtained from the massless limit of that of the modified affine…

High Energy Physics - Theory · Physics 2020-12-15 Katsushi Ito , Takayasu Kondo , Kohei Kuroda , Hongfei Shu

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…

General Mathematics · Mathematics 2015-04-20 Mamuka Meskhishvili

We show that minimal models of nondegenerated hypersufaces defined by Laurent polynomials with a $d$-dimensional Newton polytope $\Delta$ are Calabi-Yau varieties $X$ if and only if the Fine interior of $\Delta$ consists of a single lattice…

Algebraic Geometry · Mathematics 2017-12-05 Victor Batyrev

In this paper, we explore several threads arising from our recent joint work on arithmetic holonomy bounds, which were originally devised to prove new irrationality results based on the method of Ap\'ery limits. We propose a new method to…

Number Theory · Mathematics 2025-10-07 Frank Calegari , Vesselin Dimitrov , Yunqing Tang

For two relatively prime positive integers $a, b\in \mathbb{N}$, it is known that exactly one of the two Diophantine equations $$ax + by \ =\ \frac{(a-1)(b-1)}{2}\ \mbox{ and }\ 1 + ax + by \ =\ \frac{(a-1)(b-1)}{2}$$ has a nonnegative…

Number Theory · Mathematics 2025-12-16 Hung Viet Chu , Steven J. Miller , Garrett Tresch

This paper has two primary objectives. The first one is to demonstrate that the solutions of master equation \begin{equation*} (\partial_t-\Delta)^s u(x,t) =f(u(x, t)), \,\,(x, t)\in B_1(0)\times \mathbb{R}, \end{equation*} subject to the…

Analysis of PDEs · Mathematics 2023-06-21 Lingwei Ma , Yahong Guo , Zhenqiu Zhang

Let $m\geq -1$ be an integer. We give a correspondence between integer solutions to the parametric family of cubic Thue equations \[ X^3-mX^2Y-(m+3)XY^2-Y^3=\lambda \] where $\lambda>0$ is a divisor of $m^2+3m+9$ and isomorphism classes of…

Number Theory · Mathematics 2011-07-14 Akinari Hoshi

In this paper we find non-negative integer solutions for exponential Diophantine equations of the type $p \cdot 3^x+ p^y=z^2,$ where $p$ is a prime number. We prove that such equation has a unique solution…

Number Theory · Mathematics 2023-08-22 A. L. P. Porto , M. Buosi , G. S. Ferreira

In this paper, we study inhomogeneous Diophantine approximation with rational numbers of reduced form. The central object to study is the set $W(f,\theta)$ as follows, \begin{eqnarray*} \left\{x\in [0,1]:\left…

Number Theory · Mathematics 2018-09-28 Han Yu

The Diophantine equation (x^n-1)/(x-1)=y^q has four known solutions in integers x, y, q and n with |x|, |y|, q > 1 and n > 2. Whilst we expect that there are, in fact, no more solutions, such a result is well beyond current technology. In…

Number Theory · Mathematics 2013-12-17 Michael A. Bennett , Aaron Levin

Mating is an operation to construct a rational map f from two polynomials, which are not in conjugate limbs of the Mandelbrot set. When the Thurston Algorithm for the unmodified formal mating is iterated in the case of postcritical…

Dynamical Systems · Mathematics 2017-06-14 Wolf Jung

In this paper, we solve the simultaneous Diophantine equations m.(x_1^k+....+x_{t_1}^k)=n.(y_1^k+....+y_{t_2}^k); k=1,3, where t_1, t_2>3, and m, n are fixed arbitrary and relatively prime positive integers. This is done by choosing two…

Number Theory · Mathematics 2017-05-04 Farzali Izadi , Mehdi Baghalaghdam

The finite Pfaff lattice is given by commuting Lax pairs involving a finite matrix L (zero above the first subdiagonal) and a projection onto Sp(N). The lattice admits solutions such that the entries of the matrix L are rational in the time…

Exactly Solvable and Integrable Systems · Physics 2007-05-23 Mark Adler , Vadim B. Kuznetsov , Pierre van Moerbeke

In this paper we present a new method of solving certain quartic and higher degree homogeneous polynomial diophantine equations in four variables. The method can also be extended to solve simultaneous homogeneous polynomial diophantine…

Number Theory · Mathematics 2017-02-28 Ajai Choudhry

We present DeepFDM, a differentiable finite-difference framework for learning spatially varying coefficients in time-dependent partial differential equations (PDEs). By embedding a classical forward-Euler discretization into a convolutional…

Numerical Analysis · Mathematics 2025-07-30 Patrick Chatain , Michael Rizvi-Martel , Guillaume Rabusseau , Adam Oberman

Mahler equations arise in a wide range of contexts including the study of finite automata, regular sequences, algebraic series over Fp(z), and periods of Drinfeld modules. Introduced a century ago by K. Mahler to study the transcendence of…

Symbolic Computation · Computer Science 2025-11-25 Colin Faverjon , Marina Poulet

For K \subseteq C, let B_n(K)={(x_1,...,x_n) \in K^n: for each y_1,...,y_n \in K the conjunction (\forall i \in {1,...,n} (x_i=1 => y_i=1)) AND (\forall i,j,k \in {1,...,n} (x_i+x_j=x_k => y_i+y_j=y_k)) AND (\forall i,j,k \in {1,...,n}…

Logic · Mathematics 2012-04-09 Apoloniusz Tyszka