Related papers: Melnikov theory to all orders and Puiseux series f…
We use the Melnikov integral method to prove that the Hamiltonian flow on the zero-energy manifold for the Kepler problem perturbed by a quadrupole moment is chaotic, irrespective of the perturbation being of prolate or oblate type. This…
In graph theory, Courcelle's theorem essentially states that, if an algorithmic problem can be formulated in monadic second-order logic, then it can be solved in linear time for graphs of bounded treewidth. We prove such a metatheorem for a…
We propose a very simple preprocessing algorithm for semidefinite programming. Our algorithm inspects the constraints of the problem, deletes redundant rows and columns in the constraints, and reduces the size of the variable matrix. It…
In this paper, we develop a numerical algorithm for an inverse problem on determining fractional orders of time derivatives simultaneously in a coupled subdiffusion system. Following the theoretical uniqueness, we reformulate the order…
In this paper, we present a high-order finite element method based on a reconstructed approximation to the biharmonic equation. In our construction, the space is reconstructed from nodal values by solving a local least squares fitting…
We show that for several variations of partially observable Markov decision processes, polynomial-time algorithms for finding control policies are unlikely to or simply don't have guarantees of finding policies within a constant factor or a…
The classical Mason-Stothers theorem deals with nontrivial polynomial solutions to the equation $a+b=c$. It provides a lower bound on the number of distinct zeros of the polynomial $abc$ in terms of the degrees of $a$, $b$ and $c$. We…
Reducing the conditions under which a given set satisfies the stipulations of the subset sum proposition to a set of linear relationships, the question of whether a set satisfies subset sum may be answered in a polynomial number of steps by…
We explain how to encode an algebraic series by finite data and how to do effective arithmetic on the level of these encodings. The reasoning is based on the Newton-Puiseux algorithm and an effective equality test for algebraic series.…
We identify a new and important global (or non-binary) constraint. This constraint ensures that the values taken by two vectors of variables, when viewed as multisets, are ordered. This constraint is useful for a number of different…
We consider the modified Monge-Kantorovich problem with additional restriction: admissible transport plans must vanish on some fixed functional subspace. Different choice of the subspace leads to different additional properties optimal…
A classical example of a mathematical model for oscillations in a biological system is the Selkov oscillator, which is a simple description of glycolysis. It is a system of two ordinary differential equations which, when expressed in…
The paper deals with a comprehensive theory of mappings, whose local behavior can be described by means of linear subspaces, contained in the graphs of two (primal and dual) generalized derivatives. This class of mappings includes the…
We construct and apply the classic balayage (sweeping out) of measures and subharmonic functions on closed system of rays in the complex plane with vertex at the origin, including measures and subharmonic functions and infinite order. The…
We consider the "moment vanishing problem" for a general class of piecewise-analytic functions which satisfy on each continuity interval a linear ODE with polynomial coefficients. This problem, which essentially asks how many zero first…
This paper presents the following results on sets that are complete for NP. 1. If there is a problem in NP that requires exponential time at almost all lengths, then every many-one NP-complete set is complete under length-increasing…
We study persistence of periodic and homoclinic orbits, first integrals and commutative vector fields in dynamical systems depending on a small parameter $\varepsilon>0$ and give several necessary conditions for their persistence. Here we…
We apply methods and techniques of tropical optimization to develop a new theoretical and computational framework for the implementation of the Analytic Hierarchy Process in multi-criteria problems of rating alternatives from pairwise…
In this paper we prove the existence of multiple periodic solutions (harmonic and subharmonic) for a class of planar Hamiltonian systems which include the case of the second order scalar ODE $x'' + a(t)g(x) = 0$ with $g$ satisfying a…
The removal of unphysical singularities in the perturbatively calculable part of the pion form factor--a classic example of a three-point function in QCD--is discussed. Different ``analytization'' procedures in the sense of Shirkov and…