78,024 research outputs found
Fixed-point elimination in the intuitionistic propositional calculus
It is a consequence of existing literature that least and greatest
fixed-points of monotone polynomials on Heyting algebras-that is, the algebraic
models of the Intuitionistic Propositional Calculus-always exist, even when
these algebras are not complete as lattices. The reason is that these extremal
fixed-points are definable by formulas of the IPC. Consequently, the
-calculus based on intuitionistic logic is trivial, every -formula
being equivalent to a fixed-point free formula. We give in this paper an
axiomatization of least and greatest fixed-points of formulas, and an algorithm
to compute a fixed-point free formula equivalent to a given -formula. The
axiomatization of the greatest fixed-point is simple. The axiomatization of the
least fixed-point is more complex, in particular every monotone formula
converges to its least fixed-point by Kleene's iteration in a finite number of
steps, but there is no uniform upper bound on the number of iterations. We
extract, out of the algorithm, upper bounds for such n, depending on the size
of the formula. For some formulas, we show that these upper bounds are
polynomial and optimal
Stability of real parametric polynomial discrete dynamical systems
We extend and improve the existing characterization of the dynamics of
general quadratic real polynomial maps with coefficients that depend on a
single parameter , and generalize this characterization to cubic real
polynomial maps, in a consistent theory that is further generalized to real
-th degree real polynomial maps. In essence, we give conditions for the
stability of the fixed points of any real polynomial map with real fixed
points. In order to do this, we have introduced the concept of Canonical
Polynomial Maps which are topologically conjugate to any polynomial map of the
same degree with real fixed points. The stability of the fixed points of
canonical polynomial maps has been found to depend solely on a special function
termed Product Position Function for a given fixed point. The values of this
product position determine the stability of the fixed point in question, when
it bifurcates, and even when chaos arises, as it passes through what we have
termed stability bands. The exact boundary values of these stability bands are
yet to be calculated for regions of type greater than one for polynomials of
degree higher than three.Comment: 23 pages, 4 figures, now published in Discrete Dynamics in Nature and
Societ
Computing Least Fixed Points of Probabilistic Systems of Polynomials
We study systems of equations of the form X1 = f1(X1, ..., Xn), ..., Xn =
fn(X1, ..., Xn), where each fi is a polynomial with nonnegative coefficients
that add up to 1. The least nonnegative solution, say mu, of such equation
systems is central to problems from various areas, like physics, biology,
computational linguistics and probabilistic program verification. We give a
simple and strongly polynomial algorithm to decide whether mu=(1, ..., 1)
holds. Furthermore, we present an algorithm that computes reliable sequences of
lower and upper bounds on mu, converging linearly to mu. Our algorithm has
these features despite using inexact arithmetic for efficiency. We report on
experiments that show the performance of our algorithms.Comment: Published in the Proceedings of the 27th International Symposium on
Theoretical Aspects of Computer Science (STACS). Technical Report is also
available via arxiv.or
Post-critical set and non existence of preserved meromorphic two-forms
We present a family of birational transformations in depending on
two, or three, parameters which does not, generically, preserve meromorphic
two-forms. With the introduction of the orbit of the critical set (vanishing
condition of the Jacobian), also called ``post-critical set'', we get some new
structures, some "non-analytic" two-form which reduce to meromorphic two-forms
for particular subvarieties in the parameter space. On these subvarieties, the
iterates of the critical set have a polynomial growth in the \emph{degrees of
the parameters}, while one has an exponential growth out of these subspaces.
The analysis of our birational transformation in is first carried out
using Diller-Favre criterion in order to find the complexity reduction of the
mapping. The integrable cases are found. The identification between the
complexity growth and the topological entropy is, one more time, verified. We
perform plots of the post-critical set, as well as calculations of Lyapunov
exponents for many orbits, confirming that generically no meromorphic two-form
can be preserved for this mapping. These birational transformations in ,
which, generically, do not preserve any meromorphic two-form, are extremely
similar to other birational transformations we previously studied, which do
preserve meromorphic two-forms. We note that these two sets of birational
transformations exhibit totally similar results as far as topological
complexity is concerned, but drastically different results as far as a more
``probabilistic'' approach of dynamical systems is concerned (Lyapunov
exponents). With these examples we see that the existence of a preserved
meromorphic two-form explains most of the (numerical) discrepancy between the
topological and probabilistic approach of dynamical systems.Comment: 34 pages, 7 figure
On the computation of Gaussian quadrature rules for Chebyshev sets of linearly independent functions
We consider the computation of quadrature rules that are exact for a
Chebyshev set of linearly independent functions on an interval . A
general theory of Chebyshev sets guarantees the existence of rules with a
Gaussian property, in the sense that basis functions can be integrated
exactly with just points and weights. Moreover, all weights are positive
and the points lie inside the interval . However, the points are not the
roots of an orthogonal polynomial or any other known special function as in the
case of regular Gaussian quadrature. The rules are characterized by a nonlinear
system of equations, and earlier numerical methods have mostly focused on
finding suitable starting values for a Newton iteration to solve this system.
In this paper we describe an alternative scheme that is robust and generally
applicable for so-called complete Chebyshev sets. These are ordered Chebyshev
sets where the first elements also form a Chebyshev set for each . The
points of the quadrature rule are computed one by one, increasing exactness of
the rule in each step. Each step reduces to finding the unique root of a
univariate and monotonic function. As such, the scheme of this paper is
guaranteed to succeed. The quadrature rules are of interest for integrals with
non-smooth integrands that are not well approximated by polynomials
- …