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

A fundamental problem in program verification concerns the termination of simple linear loops of the form x := u ; while Bx >= b do {x := Ax + a} where x is a vector of variables, u, a, and c are integer vectors, and A and B are integer…

A perfect cuboid is a rectangular parallelepiped whose edges, whose face diagonals, and whose space diagonal are of integer lengths. The problem of finding such cuboids or proving their non-existence is not solved thus far. The second…

We prove that, for every integer $n \ge 2$, a finite or infinite countable group $G$ can be embedded into a 2-generated group $H$ in such a way that the solvability of quadratic equations of length at most $n$ is preserved, i.e., every…

We derive an upper bound for the least number of variables needed to guarantee that a system of t quadratic forms (t>=2) over a field F has a nontrivial zero. In particular, if F is a local field, then 2t^2+3 variables insure the existence…

We consider the Cauchy problem for the focusing Hartree equation $iu_{t}+\Delta u+(|\cdot|^{-3}\ast|u|^{2})u=0$ in $\mathbb{R}^{5}$ with the initial data in $H^1$, and study the divergent property of infinite-variance and nonradial…

In this paper, we investigate the existence of infinitely many solutions for the following fractional Hamiltonian systems: \begin{eqnarray}\label{eq00} _{t}D_{\infty}^{\alpha}(_{-\infty}D_{t}^{\alpha}u(t)) + L(t)u(t) = & \nabla W(t,u(t))\\…

In 1888, Hilbert proved that every non-negative quartic form f=f(x,y,z) with real coefficients is a sum of three squares of quadratic forms. His proof was ahead of its time and used advanced methods from topology and algebraic geometry. Up…

There is considered the problem of describing up to linear conformal equivalence those harmonic cubic homogeneous polynomials for which the squared-norm of the Hessian is a nonzero multiple of the quadratic form defining the Euclidean…

The positive existential theories of the sets $M_n(\mathbb N)$ without parameters build an inclusion lattice isomorhic with the lattice of divisibility. All these sets are algorithmically undecidable. In further sections some easier…

In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for logics presented syntactically,…

The present paper commences the study of higher order differential equations in composition form. Specifically, we consider the equation Lu=\Div B^*\nabla(a\Div A\nabla u)=0, where A and B are elliptic matrices with complex-valued bounded…

In this paper, we have considered second order non-homogeneous linear differential equations having entire coefficients. We have established conditions ensuring non-existence of finite order solution of such type of differential equations.

We prove the Bianchi permutability (existence of superposition principle) of B\"acklund transformations for asymmetric quad-equations. Such equations and there B\"acklund transformations form 3D consistent systems of a priori different…

In the infinite-dimensional separable complex Hilbert space we construct new abstract examples of unbounded maximal accretive and maximal sectorial operators $B$ for which ${\rm dom\,}B^{\frac{1}{2}}\ne{\rm dom\,}B^{*{\frac{1}{2}}}$. New…

We study a second order BDF (Backward Differentiation Formula) scheme for the numerical approximation of parabolic HJB (Hamilton-Jacobi-Bellman) equations. The scheme under consideration is implicit, non-monotone, and second order accurate…

Solving non-linear Diophantine systems lies at the mathematical core of integer optimization and cryptography. While the general unbounded problem is undecidable, even over bounded integer domains it remains classically intractable in the…

In this paper we deal with the cubic Schr\"odinger system $ -\Delta u_i = \sum_{j=1}^n \beta_{ij}u_j^2 u_i$, $u_1,\dots,u_n \geq 0$ in $\mathbb{R}^N (N\leq 3)$, where $\beta=(\beta_{i,j})_{ij}$ is a symmetric matrix with real coefficients…

We consider the problem of optimizing a multivariate quadratic function where each decision variable is constrained to be a complex $m$'th root of unity. Such problems have applications in signal processing, MIMO detection, and the…

The satisfiability problem for multilevel syllogistic extended with the Cartesian product operator (MLSC) is a long-standing open problem in computable set theory. For long, it was not excluded that such a problem were undecidable, due to…

Let $(U_n)_{n\in \mathbb{N}}$ be a fixed linear recurrence sequence defined over the integers (with some technical restrictions). We prove that there exist effectively computable constants $B$ and $N_0$ such that for any $b,c\in \mathbb{Z}$…