1,752 research outputs found
On the Number of Nonnegative Solutions to the Inequality a1 +....ar < n
In this paper, we present a simple and fast method for counting the number of nonnegative integer solutions to the equality a1x1+a2x2+: : :+arxr = n where a1; a2; :::; ar and n are positive integers. As an application, we use the method for finding the number of solutions of a Diophantine inequality
Solving exponential diophantine equations using lattice basis reduction algorithms
Let S be the set of all positive integers with prime divisors from a fixed finite set of primes. Algorithms are given for solving the diophantine inequality 0< x − y < yδ in x, y S for fixed δ (0, 1), and for the diophantine equation x + Y = z in x, y, z S. The method is based on multi-dimensional diophantine approximation, in the real and p-adic case, respectively. The main computational tool is the L3-Basis Reduction Algorithm. Elaborate examples are presented
Recommended from our members
Revisiting lagrange relaxation (LR) for processing large-scale mixed integer programming (MIP) problems
Lagrangean Relaxation has been successfully applied to process many well known
instances of NP-hard Mixed Integer Programming problems. In this paper we present
a Lagrangean Relaxation based generic solver for processing Mixed Integer
Programming problems. We choose the constraints, which are relaxed using a
constraint classification scheme. The tactical issue of updating the Lagrange
multiplier is addressed through sub-gradient optimisation; alternative rules for
updating their values are investigated. The Lagrangean relaxation provides a lower
bound to the original problem and the upper bound is calculated using a heuristic
technique. The bounds obtained by the Lagrangean Relaxation based generic solver
were used to warm-start the Branch and Bound algorithm; the performance of the
generic solver and the effect of the alternative control settings are reported for a wide
class of benchmark models. Finally, we present an alternative technique to calculate
the upper bound, using a genetic algorithm that benefits from the mathematical
structure of the constraints. The performance of the genetic algorithm is also
presented
Domains of analyticity of Lindstedt expansions of KAM tori in dissipative perturbations of Hamiltonian systems
Many problems in Physics are described by dynamical systems that are
conformally symplectic (e.g., mechanical systems with a friction proportional
to the velocity, variational problems with a small discount or thermostated
systems). Conformally symplectic systems are characterized by the property that
they transform a symplectic form into a multiple of itself. The limit of small
dissipation, which is the object of the present study, is particularly
interesting.
We provide all details for maps, but we present also the modifications needed
to obtain a direct proof for the case of differential equations. We consider a
family of conformally symplectic maps defined on a
-dimensional symplectic manifold with exact symplectic form
; we assume that satisfies
. We assume that the family
depends on a -dimensional parameter (called drift) and also on a small
scalar parameter . Furthermore, we assume that the conformal factor
depends on , in such a way that for we have
(the symplectic case).
We study the domains of analyticity in near of
perturbative expansions (Lindstedt series) of the parameterization of the
quasi--periodic orbits of frequency (assumed to be Diophantine) and of
the parameter . Notice that this is a singular perturbation, since any
friction (no matter how small) reduces the set of quasi-periodic solutions in
the system. We prove that the Lindstedt series are analytic in a domain in the
complex plane, which is obtained by taking from a ball centered at
zero a sequence of smaller balls with center along smooth lines going through
the origin. The radii of the excluded balls decrease faster than any power of
the distance of the center to the origin
Coincidences in generalized Lucas sequences
For an integer , let be the generalized
Lucas sequence which starts with ( terms) and each term
afterwards is the sum of the preceding terms. In this paper, we find all
the integers that appear in different generalized Lucas sequences; i.e., we
study the Diophantine equation in nonnegative integers
with . The proof of our main theorem uses lower
bounds for linear forms in logarithms of algebraic numbers and a version of the
Baker-Davenport reduction method. This paper is a continuation of the earlier
work [4].Comment: 14 page
- …