Results 1  10
of
50
Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
 Bulletin of Symbolic Logic
, 1997
"... We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability dist ..."
Abstract

Cited by 48 (10 self)
 Add to MetaCart
We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence and uniqueness of attractors and invariant distributions have been obtained, measure and integration theory, where a generalization of the Riemann theory of integration has been developed, and real arithmetic, where a feasible setting for exact computer arithmetic has been formulated. We give a number of algorithms for computation in the theory of iterated function systems with applications in statistical physics and in period doubling route to chao...
A DomainTheoretic Approach to Computability on the Real Line
, 1997
"... In recent years, there has been a considerable amount of work on using continuous domains in real analysis. Most notably are the development of the generalized Riemann integral with applications in fractal geometry, several extensions of the programming language PCF with a real number data type, and ..."
Abstract

Cited by 43 (8 self)
 Add to MetaCart
In recent years, there has been a considerable amount of work on using continuous domains in real analysis. Most notably are the development of the generalized Riemann integral with applications in fractal geometry, several extensions of the programming language PCF with a real number data type, and a framework and an implementation of a package for exact real number arithmetic. Based on recursion theory we present here a precise and direct formulation of effective representation of real numbers by continuous domains, which is equivalent to the representation of real numbers by algebraic domains as in the work of StoltenbergHansen and Tucker. We use basic ingredients of an effective theory of continuous domains to spell out notions of computability for the reals and for functions on the real line. We prove directly that our approach is equivalent to the established Turingmachine based approach which dates back to Grzegorczyk and Lacombe, is used by PourEl & Richards in their found...
Foundation of a Computable Solid Modelling
 Theoretical Computer Science
, 2002
"... Solid modelling and computational geometry are based on classical topology and geometry in which the basic predicates and operations, such as membership, subset inclusion, union and intersection, are not continuous and therefore not computable. But a sound computational framework for solids and g ..."
Abstract

Cited by 33 (13 self)
 Add to MetaCart
Solid modelling and computational geometry are based on classical topology and geometry in which the basic predicates and operations, such as membership, subset inclusion, union and intersection, are not continuous and therefore not computable. But a sound computational framework for solids and geometry can only be built in a framework with computable predicates and operations. In practice, correctness of algorithms in computational geometry is usually proved using the unrealistic Real RAM machine model of computation, which allows comparison of real numbers, with the undesirable result that correct algorithms, when implemented, turn into unreliable programs. Here, we use a domaintheoretic approach to recursive analysis to develop the basis of an eective and realistic framework for solid modelling. This framework is equipped with a welldened and realistic notion of computability which reects the observable properties of real solids. The basic predicates and operations o...
Local stability of ergodic averages
 Transactions of the American Mathematical Society
"... We consider the extent to which one can compute bounds on the rate of convergence of a sequence of ergodic averages. It is not difficult to construct an example of a computable Lebesguemeasure preserving transformation of [0, 1] and a characteristic function f = χA such that the ergodic averages An ..."
Abstract

Cited by 27 (4 self)
 Add to MetaCart
We consider the extent to which one can compute bounds on the rate of convergence of a sequence of ergodic averages. It is not difficult to construct an example of a computable Lebesguemeasure preserving transformation of [0, 1] and a characteristic function f = χA such that the ergodic averages Anf do not converge to a computable element of L2([0,1]). In particular, there is no computable bound on the rate of convergence for that sequence. On the other hand, we show that, for any nonexpansive linear operator T on a separable Hilbert space, and any element f, it is possible to compute a bound on the rate of convergence of (Anf) from T, f, and the norm ‖f ∗ ‖ of the limit. In particular, if T is the Koopman operator arising from a computable ergodic measure preserving transformation of a probability space X and f is any computable element of L2(X), then there is a computable bound on the rate of convergence of the sequence (Anf). The mean ergodic theorem is equivalent to the assertion that for every function K(n) and every ε> 0, there is an n with the property that the ergodic averages Amf are stable to within ε on the interval [n, K(n)]. Even in situations where the sequence (Anf) does not have a computable limit, one can give explicit bounds on such n in terms of K and ‖f‖/ε. This tells us how far one has to search to find an n so that the ergodic averages are “locally stable ” on a large interval. We use these bounds to obtain a similarly explicit version of the pointwise ergodic theorem, and show that our bounds are qualitatively different from ones that can be obtained using upcrossing inequalities due to Bishop and Ivanov. Finally, we explain how our positive results can be viewed as an application of a body of general prooftheoretic methods falling under the heading of “proof mining.” 1
Local Realizability Toposes and a Modal Logic for Computability (Extended Abstracts)
 Presented at Tutorial Workshop on Realizability Semantics, FLoC'99
, 1999
"... ) Steven Awodey 1 Lars Birkedal 2y Dana S. Scott 2z 1 Department of Philosophy, Carnegie Mellon University 2 School of Computer Science, Carnegie Mellon University April 15, 1999 Abstract This work is a step toward developing a logic for types and computation that includes both the usual ..."
Abstract

Cited by 24 (8 self)
 Add to MetaCart
) Steven Awodey 1 Lars Birkedal 2y Dana S. Scott 2z 1 Department of Philosophy, Carnegie Mellon University 2 School of Computer Science, Carnegie Mellon University April 15, 1999 Abstract This work is a step toward developing a logic for types and computation that includes both the usual spaces of mathematics and constructions and spaces from logic and domain theory. Using realizability, we investigate a configuration of three toposes, which we regard as describing a notion of relative computability. Attention is focussed on a certain local map of toposes, which we study first axiomatically, and then by deriving a modal calculus as its internal logic. The resulting framework is intended as a setting for the logical and categorical study of relative computability. 1 Introduction We report here on the current status of research on the Logic of Types and Computation at Carnegie Mellon University [SAB + ]. The general goal of this research program is to develop a logical fra...
Computability on Continuous, Lower SemiContinuous and Upper SemiContinuous Real Functions
 pp.109–133 in Theoretical Computer Science vol.234
, 1996
"... In this paper we investigate continuous and upper and lower semicontinuous real functions in the framework of TTE, Type2 Theory of Effectivity. First some basic facts about TTE are summarized. For each of the function spaces, we introduce several natural representations based on different intiuiti ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
In this paper we investigate continuous and upper and lower semicontinuous real functions in the framework of TTE, Type2 Theory of Effectivity. First some basic facts about TTE are summarized. For each of the function spaces, we introduce several natural representations based on different intiuitive concepts of "effectivity" and prove their equivalence. Computability of several operations on the function spaces is investigated, among others limits, mappings to open sets, images of compact sets and preimages of open sets, maximum and minimum values. The positive results usually show computability in all arguments, negative results usually express noncontinuity. Several of the problems have computable but not extensional solutions. Since computable functions map computable elements to computable elements, many previously known results on computability are obtained as simple corollaries. 1 Preliminaries By f :` A ! B we denote a partial function from A to B with domain dom(f) ` A. If...
Analog Computation with Dynamical Systems
 Physica D
, 1997
"... This paper presents a theory that enables to interpret natural processes as special purpose analog computers. Since physical systems are naturally described in continuous time, a definition of computational complexity for continuous time systems is required. In analogy with the classical discrete th ..."
Abstract

Cited by 21 (0 self)
 Add to MetaCart
This paper presents a theory that enables to interpret natural processes as special purpose analog computers. Since physical systems are naturally described in continuous time, a definition of computational complexity for continuous time systems is required. In analogy with the classical discrete theory we develop fundamentals of computational complexity for dynamical systems, discrete or continuous in time, on the basis of an intrinsic time scale of the system. Dissipative dynamical systems are classified into the computational complexity classes P d , CoRP d , NP d
Quantified Constraints under Perturbation
 ARTICLE SUBMITTED TO JOURNAL OF SYMBOLIC COMPUTATION
"... Quantified constraints (i.e., firstorder formulae over the real numbers) are often exposed to perturbations: Constants that come from measurements usually are only known up to certain precision, and numerical methods only compute with approximations of real numbers. In this paper we study the be ..."
Abstract

Cited by 16 (11 self)
 Add to MetaCart
Quantified constraints (i.e., firstorder formulae over the real numbers) are often exposed to perturbations: Constants that come from measurements usually are only known up to certain precision, and numerical methods only compute with approximations of real numbers. In this paper we study the behavior of quantified constraints under perturbation by showing that one can formulate the problem of solving quantified constraints as a nested parametric optimization problem followed by one sign computation. Using the fact that minima and maxima are stable under perturbation, but the sign of a real number is stable only for nonzero inputs, we derive practically useful conditions for the stability of quantified constraints under perturbation.
Computable Banach Spaces via Domain Theory
 Theoretical Computer Science
, 1998
"... This paper extends the ordertheoretic approach to computable analysis via continuous domains to complete metric spaces and Banach spaces. We employ the domain of formal balls to define a computability theory for complete metric spaces. For Banach spaces, the domain specialises to the domain of clos ..."
Abstract

Cited by 15 (2 self)
 Add to MetaCart
This paper extends the ordertheoretic approach to computable analysis via continuous domains to complete metric spaces and Banach spaces. We employ the domain of formal balls to define a computability theory for complete metric spaces. For Banach spaces, the domain specialises to the domain of closed balls, ordered by reversed inclusion. We characterise computable linear operators as those which map computable sequences to computable sequences and are effectively bounded. We show that the domaintheoretic computability theory is equivalent to the wellestablished approach by PourEl and Richards. 1 Introduction This paper is part of a programme to introduce the theory of continuous domains as a new approach to computable analysis. Initiated by the various applications of continuous domain theory to modelling classical mathematical spaces and performing computations as outlined in the recent survey paper by Edalat [6], the authors started this work with [9] which was concerned with co...
Computability, noncomputability and undecidability of maximal intervals of IVPs
 Trans. Amer. Math. Soc
"... Abstract. Let (α, β) ⊆ R denote the maximal interval of existence of solution for the initialvalue problem { dx = f(t, x) dt x(t0) = x0, where E is an open subset of R m+1, f is continuous in E and (t0, x0) ∈ E. We show that, under the natural definition of computability from the point of view o ..."
Abstract

Cited by 14 (13 self)
 Add to MetaCart
Abstract. Let (α, β) ⊆ R denote the maximal interval of existence of solution for the initialvalue problem { dx = f(t, x) dt x(t0) = x0, where E is an open subset of R m+1, f is continuous in E and (t0, x0) ∈ E. We show that, under the natural definition of computability from the point of view of applications, there exist initialvalue problems with computable f and (t0, x0) whose maximal interval of existence (α, β) is noncomputable. The fact that f may be taken to be analytic shows that this is not a lack of regularity phenomenon. Moreover, we get upper bounds for the “degree of noncomputability” by showing that (α, β) is r.e. (recursively enumerable) open under very mild hypotheses. We also show that the problem of determining whether the maximal interval is bounded or unbounded is in general undecidable. 1.