English
Related papers

Related papers: Hilbert's tenth problem for systems of diagonal qu…

200 papers

It is shown that the complex Bernoulli differential equations admitting the supplementary structure of a Lie-Hamilton system related to the book algebra $\mathfrak{b}_2$ can always be solved by quadratures, providing an explicit solution of…

Mathematical Physics · Physics 2024-01-03 Rutwig Campoamor-Stursberg , Eduardo Fernandez-Saiz , Francisco J. Herranz

Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into either a problem involving a set of infinitely coupled differential equations or a problem involving a Shr\"odinger propagator…

Quantum Physics · Physics 2007-05-23 Tien D Kieu

Yuri Matiyasevich's theorem states that the set of all Diophantine equations which have a solution in non-negative integers is not recursive. Craig Smory\'nski's theorem states that the set of all Diophantine equations which have at most…

Logic · Mathematics 2019-09-16 Agnieszka Peszek , Apoloniusz Tyszka

Let $K$ be an imaginary quadratic field and $p$ be an odd prime which splits in $K$. Let $E_1$ and $E_2$ be elliptic curves over $K$ such that the $Gal(\bar{K}/K)$-modules $E_1[p]$ and $E_2[p]$ are isomorphic. We show that under certain…

Number Theory · Mathematics 2024-04-12 Anwesh Ray , Tom Weston

We study the decidability of the Skolem Problem, the Positivity Problem, and the Ultimate Positivity Problem for linear recurrences with real number initial values and real number coefficients in the bit-model of real computation. We show…

Logic in Computer Science · Computer Science 2023-06-22 Eike Neumann

The work deals with the existence of solutions of a certain system of quadratic integral equations in H^2(R^d,R^N), d = 2, 3. We demonstrate the existence of a perturbed solution by virtue of a fixed point technique.

Analysis of PDEs · Mathematics 2025-06-19 Vitali Vougalter

A complete solution to the multiplier version of the inverse problem of the calculus of variations is given for a class of hyperbolic systems of second-order partial differential equations in two independent variables. The necessary and…

Differential Geometry · Mathematics 2009-10-16 Matt Biesecker

The problem of constructing a perfect cuboid is related to a certain class of univariate polynomials with three integer parameters $a$, $b$, and $u$. Their irreducibility over the ring of integers under certain restrictions for $a$, $b$,…

Number Theory · Mathematics 2012-04-18 Ruslan Sharipov

We consider a system of $R$ cubic forms in $n$ variables, with integer coefficients, which define a smooth complete intersection in projective space. Provided $n\geq 25R$, we prove an asymptotic formula for the number of integer points in…

Number Theory · Mathematics 2022-06-22 Simon L. Rydin Myerson

In [arXiv:1405.6274, Question 5.2 & Question 5.3] Aschenbrenner, Friedl and Wilton ask: (1) Is the equation problem solvable for the fundamental group of any $3$-manifold? and (2) Is the first-order theory of the fundamental group of any…

Group Theory · Mathematics 2025-12-09 Robert D. Gray , Alex Levine

In a paper published by this author in www.academia.edu(see reference[3]), it was established that there exist no three positive integers which are consecutive terms of an arithmetic progression; and whose sum of squares is a perfect or…

General Mathematics · Mathematics 2013-11-27 Konstantine Zelator

Considering the problem of finding all the integer solutions of the sum of $M$ consecutive integer squares starting at $a^{2}$ being equal to a squared integer $s^{2}$, it is shown that this problem has no solutions if $M\equiv3,5,6,7,8$ or…

Number Theory · Mathematics 2014-09-30 Vladimir Pletser

We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the…

Number Theory · Mathematics 2013-06-13 Kirsten Eisentraeger , Alexandra Shlapentokh

In this paper we establish some results about the existence and precise forms of finite order entire solutions of some systems of quadratic trinomial functional equations one of which in $\mathbb{C}^n$, $n\in\mathbb{N}$ and other two in…

Complex Variables · Mathematics 2023-11-02 Goutam Haldar

One of the main open problems regarding decidability of the existential theory of rings is the analogue of Hilbert's Tenth Problem (HTP) for the ring of entire holomorphic functions in one variable. In the direction of a negative solution,…

Number Theory · Mathematics 2021-11-08 D. Chompitaki , N. Garcia-Fritz , H. Pasten , T. Pheidas , X. Vidaux

For every positive integer $k$ such that $k>1,$ there are an infinity of odd integers $h$ with $\omega(h) =k$ distinct prime divisors such that there do not exist a Circulant Hadamard matrix $H$ of order $n=4h^2.$ Moreover, our main result…

Number Theory · Mathematics 2014-11-11 Luis H. Gallardo

The Chinese Remainder Theorem for the integers says that every system of congruence equations is solvable as long as the system satisfies an obvious necessary condition. This statement can be generalized in a natural way to arbitrary…

Computational Complexity · Computer Science 2023-07-07 Miguel Campercholi , Diego Castaño , Gonzalo Zigarán

This paper presents local and global bifurcation results for radially symmetric solutions of the cubic Helmholtz system \begin{equation*} \begin{cases} -\Delta u - \mu u = \left( u^2 + b \: v^2 \right) u &\text{ on } \mathbb{R}^3, \\…

Analysis of PDEs · Mathematics 2018-11-05 Rainer Mandel , Dominic Scheider

We show how the separability problem is dual to that of decomposing any given matrix into a conic combination of rank-one partial isometries, thus offering a duality approach different to the positive maps characterization problem. Several…

Quantum Physics · Physics 2007-05-23 D. Salgado , J. L. Sanchez-Gomez , M. Ferrero

We study linear problems defined on tensor products of Hilbert spaces with an additional (anti-) symmetry property. We construct a linear algorithm that uses finitely many continuous linear functionals and show an explicit formula for its…

Numerical Analysis · Mathematics 2012-08-16 Markus Weimar