28 research outputs found
The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation
In this paper we revisit one of the rst models of analog
computation, Shannon's General Purpose Analog Computer (GPAC).
The GPAC has often been argued to be weaker than computable analysis.
As main contribution, we show that if we change the notion of GPACcomputability
in a natural way, we compute exactly all real computable
functions (in the sense of computable analysis). Moreover, since GPACs
are equivalent to systems of polynomial di erential equations then we
show that all real computable functions can be de ned by such models
Solving analytic differential equations in polynomial time over unbounded domains
In this paper we consider the computational complexity of solving initial-value problems de ned with analytic ordinary diferential
equations (ODEs) over unbounded domains of Rn and Cn, under the Computable Analysis setting. We show that the solution can be computed in polynomial time over its maximal interval of de nition, provided it satis es a very generous bound on its growth, and that the function admits an analytic extension to the complex plane
Computing domains of attraction for planar dynamics
In this note we investigate the problem of computing the
domain of attraction of a
ow on R2 for a given attractor. We consider
an operator that takes two inputs, the description of the
ow and a cover
of the attractors, and outputs the domain of attraction for the given
attractor. We show that: (i) if we consider only (structurally) stable
systems, the operator is (strictly semi-)computable; (ii) if we allow all
systems de ned by C1-functions, the operator is not (semi-)computable.
We also address the problem of computing limit cycles on these systems
Effective local connectivity properties
We investigate, and prove equivalent, effective versions of local
connectivity and uniformly local arcwise connectivity for connected and
computably compact subspaces of Euclidean space. We also prove that Euclidean
continua that are computably compact and effectively locally connected are
computably arcwise connected.Comment: Final versio
Recent Advances in Σ-definability over Continuous Data Types
The purpose of this paper is to survey our recent research in computability and definability over continuous data types such as the real numbers, real-valued functions and functionals. We investigate the expressive power and algorithmic properties of the language of Sigma-formulas intended to represent computability over the real numbers. In order to adequately represent computability we extend the reals by the structure of hereditarily finite sets. In this setting it is crucial to consider the real numbers without equality since the equality test is undecidable over the reals. We prove Engeler's Lemma for Sigma-definability over the reals without the equality test which relates Sigma-definability with definability in the constructive infinitary language L_{omega_1 omega}. Thus, a relation over the real numbers is Sigma-definable if and only if it is definable by a disjunction of a recursively enumerable set of quantifier free formulas. This result reveals computational aspects of Sigma-definability and also gives topological characterisation of Sigma-definable relations over the reals without the equality test. We also illustrate how computability over the real numbers can be expressed in the language of Sigma-formulas
Towards Formalizing Non-monotonic Reasoning in Physics: Logical Approach Based on Physical Induction and Its Relation to Kolmogorov Complexity
To formalize some types of non-monotonic reasoning in physics, researchers have proposed an approach based on Kolmogorov complexity. Inspired by Vladimir Lifschitz\u27s belief that many features of reasoning can be described on a purely logical level, we show that an equivalent formalization can be described in purely logical terms: namely, in terms of physical induction.
One of the consequences of this formalization is that the set of not-abnormal states is (pre-)compact. We can therefore use Lifschitz\u27s result that when there is only one state that satisfies a given equation (or system of equations), then we can algorithmically find this state. In this paper, we show that this result can be extended to the case of approximate uniqueness