eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
0
0
10.4230/OASIcs.CCA.2009
article
OASIcs, Volume 11, CCA'09, Complete Volume
Bauer, Andrej
Hertling, Peter
Ko, Ker-I
OASIcs, Volume 11, CCA'09, Complete Volume
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009/OASIcs.CCA.2009.pdf
Mathematics of Computing, Analysis of Algorithms and Problem Complexity
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
i
ii
10.4230/OASIcs.CCA.2009.2248
article
CCA 2009 Front Matter - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis
Bauer, Andrej
Hertling, Peter
Ko, Ker-I
The Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, took place on August 18 to 22, 2009, in Ljubljana, Slovenia. The conference is concerned with Computable Analysis, the theory of computability and complexity over real-valued data. The conference program consisted of 4 invited talks, 2 tutorials of three talks each, and 24 contributed talks. These proceedings contain the abstracts or extended abstracts of the invited talks, tutorials, and a selection of 22 contributed articles.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2248/OASIcs.CCA.2009.2248.pdf
Computable analysis
computability
complexity
Turing machine
constructive mathematics
real number computation
computer arithmetic
exact real ari
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
1
1
10.4230/OASIcs.CCA.2009.2249
article
CCA 2009 Preface - Proceedings of the Sixth International Conference on Computability and Complexity in Analysis
Bauer, Andrej
Hertling, Peter
Ko, Ker-I
The Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, took place on August 18 to 22, 2009, in Ljubljana, Slovenia. The conference is concerned with Computable Analysis, the theory of computability and complexity over real-valued data. The conference program consisted of 4 invited talks, 2 tutorials of three talks each, and 24 contributed talks. These proceedings contain the abstracts or extended abstracts of the invited talks, tutorials, and a selection of 22 contributed articles.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2249/OASIcs.CCA.2009.2249.pdf
Computable analysis
computability
complexity
Turing machine
constructive mathematics
real number computation
computer arithmetic
exact real ari
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
3
3
10.4230/OASIcs.CCA.2009.2250
article
Computability and Complexity of Julia Sets (Invited Talk)
Braverman, Mark
Studying dynamical systems is key to understanding a wide range of phenomena ranging from planetary movement to climate patterns to market dynamics. Various numerical tools have been developed to address specific questions about dynamical systems, such as predicting the weather or planning the trajectory of a satellite. However, the theory of computation behind these problems appears to be very difficult to develop. In fact, little is known about computability of even the most natural problems arising from dynamical systems.
In this talk I will survey the recent study of the computational properties of dynamical systems that arise from iterating quadratic polynomials on the complex plane. These give rise to the amazing variety of fractals known as Julia sets, and are closely connected to the Mandelbrot set. Julia sets are perhaps the most drawn objects in Mathematics due to their fascinating fractal structure. The theory behind them is even more fascinating, and the dynamical systems generating them are in many ways archetypal. I will present both positive and negative results on the computability and complexity of Julia sets.
In conclusion of the talk I will discuss possible future directions and challenges in the study of the computability and complexity of dynamical systems.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2250/OASIcs.CCA.2009.2250.pdf
Computability
computable analysis
dynamical systems
complex dynamics
Julia sets Computability
computable analysis
dynamical systems
complex dynamics
Julia sets
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
5
16
10.4230/OASIcs.CCA.2009.2251
article
From Interval Computations to Constraint-Related Set Computations: Towards Faster Estimation of Statistics and ODEs under Interval and p-Box Uncertainty (Invited Talk)
Kreinovich, Vladik
Interval computations estimate the uncertainty of the result of data processing in situations in which we only know the upper bounds $\Delta$ on the measurement errors. In this case, based on the measurement result $\widetilde x$, we can only conclude that the actual (unknown) value $x$ of the desired quantity is in the interval $[\widetilde x-\Delta,\widetilde x+\Delta]$.
In interval computations, at each intermediate stage of the computation, we have intervals of possible values of the corresponding quantities. As a result, we often have bounds with excess width. To remedy this problem, in our previous papers, we proposed an extension of interval technique to {\it set computations}, where on each stage, in addition to intervals of possible values of the quantities, we also keep sets of possible values of pairs (triples, etc.). In this paper, we show that in several practical problems, such as estimating statistics (variance, correlation, etc.) and solutions to ordinary differential equations (ODEs) with given accuracy, this new formalism enables us to find estimates in feasible (polynomial) time.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2251/OASIcs.CCA.2009.2251.pdf
Interval computations
set computations
probability boxes
uncertainty
efficient algorithms
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
17
17
10.4230/OASIcs.CCA.2009.2252
article
Semilattices, Domains, and Computability (Invited Talk)
Scott, Dana
As everyone knows, one popular notion of Scott domain is defined as a bounded complete algebraic cpo. These are closely related to algebraic lattices: (i) A Scott domain becomes an algebraic lattice with the adjunction of an (isolated) top element. (ii) Every non-empty Scott-closed subset of an algebraic lattice is a Scott domain. Moreover, the isolated ($=$ compact) elements of an algebraic lattice form a semilattice (under join). This semilattice has a zero element, and, provided the top element is isolated, it also has a unit element. The algebraic lattice itself may be regarded as the ideal completion of the semilattice of isolated elements. This is all well known. What is not so clear that is that there is an easy-to-construct domain of countable semilattices giving isomorphic copies of all countably based domains. This approach seems to have advantages over both ``information systems'' or more abstract lattice formulations, and it makes definitions of solutions to domain equations very elementary to justify. The ``domain of domains'' also has an immediate computable structure.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2252/OASIcs.CCA.2009.2252.pdf
Semilattices
domains
computability
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
19
19
10.4230/OASIcs.CCA.2009.2253
article
Computable Analysis of Differential Equations (Invited Talk)
Zhong, Ning
In this talk, we discuss some algorithmic aspects of the local and global existence theory for various ordinary and partial differential equations. We will present a sample of results and give some idea of the motivation and general philosophy underlying these results.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2253/OASIcs.CCA.2009.2253.pdf
Computable analysis
differential equations
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
21
21
10.4230/OASIcs.CCA.2009.2254
article
Theory and Practice of Higher-type Computation (Tutorial)
Escardó, Martin
In higher-type computation, established by Kleene and Kreisel in the late 1950's (independently), one works with the data types obtained from the discrete natural numbers by closing under finite products and function spaces. For the theory of higher-type programming languages, it is natural to work with a corresponding hierarchy, or type structure, of domains, identified by Ershov and Scott in the late 1960's (again independently). The Kleene-Kreisel and Ershov-Scott hierarchies account for total and partial computation respectively.
In this tutorial I'll explain the theory and practice of higher-type computation and programming languages, and develop old and new applications.
From a theoretical point of view, I'll present Kleene-Kreisel spaces and Ershov-Scott domains, and relate the two. Moreover, I'll discuss common generalizations, chiefly QCB spaces and equilogical spaces, which admit further useful closure properties, and their relationship to TTE (Schroeder, Simpson. Scott, Bauer, Weihrauch and many others). I'll also present a natural higher-type model of computation/programming language, namely PCF (Platek, Scott, Plotkin).
From a practical point of view, I'll introduce a fragment of the language Haskell as a faithful implementation of PCF. Moreover, I'll develop and run several examples (and prove theorems about them), pertaining to (i) exhaustive search of infinite sets in finite time in particular Ulrich Berger's algorithm and generalizations), and (ii) computation with real numbers (in particular Alex Simpson's integration algorithm and generalizations).
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2254/OASIcs.CCA.2009.2254.pdf
Higher-type computation
domain theory
Kleene-Kreisel spaces
Ershov-Scott domains
QCB spaces
equilogical spaces
PCF
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
23
23
10.4230/OASIcs.CCA.2009.2255
article
Computer Verified Exact Analysis (Tutorial)
Spitters, Bas
O'Connor, Russell
This tutorial will illustrate how to use the Coq proof assistant to implement effective and provably correct computation for analysis. Coq provides a dependently typed functional programming language that allows users to specify both programs and formal proofs.
We will introduce dependent type theory and show how it can be used to develop both mathematics and programming. We will show how to use dependent type theory to implement constructive analysis. Specifically we will cover how to implement effective real numbers and effective integration.
This work will be done using the Coq proof assistant. The tutorial will cover how to use the Coq proof assistant. Attendees are encouraged to download and install Coq 8.2 from {\tt http://coq.inria.fr/download} and also download and make the full system of C-CoRN from {\tt http://c-corn.cs.ru.nl/download.html} beforehand.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2255/OASIcs.CCA.2009.2255.pdf
Proof assistant
dependent type theory
constructive analysis
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
25
36
10.4230/OASIcs.CCA.2009.2256
article
Computing Conformal Maps onto Canonical Slit Domains
Andreev, Valentin V.
McNicholl, Timothy H.
We extend the results of (Andreev, Daniel, McNicholl preprint) by computing conformal maps onto the canonical slit domains in (Nehari 1975). Along the way, we demonstrate the computability of solutions to Neuman problems.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2256/OASIcs.CCA.2009.2256.pdf
Computable analysis
conformal mapping
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
37
48
10.4230/OASIcs.CCA.2009.2257
article
Canonical Effective Subalgebras of Classical Algebras as Constructive Metric Completions
Bauer, Andrej
Blanck, Jens
We prove general theorems about unique existence of effective subalgebras of classical algebras. The theorems are consequences of standard facts about completions of metric spaces within the framework of constructive mathematics, suitably interpreted in realizability models. We work with general realizability models rather than with a particular model of computation. Consequently, all the results are applicable in various established schools of computability, such as type 1 and type 2 effectivity, domain representations, equilogical spaces, and others.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2257/OASIcs.CCA.2009.2257.pdf
Effective algebras
realizability
constructive metric spaces
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
49
60
10.4230/OASIcs.CCA.2009.2258
article
Realisability and Adequacy for (Co)induction
Berger, Ulrich
We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped $\lambda$-calculus with fixed-points. We illustrate the use of this interpretation for program extraction by some simple examples in the area of exact real number computation and hint at further non-trivial applications in computable analysis.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2258/OASIcs.CCA.2009.2258.pdf
Constructive Analysis
realisability
program extraction
semantics
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
61
70
10.4230/OASIcs.CCA.2009.2259
article
A Constructive Study of Landau's Summability Theorem
Berger, Josef
Bridges, Douglas
A summability theorem of Landau, which classically is a simple consequence of the uniform boundedness theorem, is examined constructively.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2259/OASIcs.CCA.2009.2259.pdf
Constructive analysis
Landau's theorem
uniform boundedness theorem Constructive analysis
Landau's theorem
uniform boundedness theorem
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
71
82
10.4230/OASIcs.CCA.2009.2260
article
Separations of Non-monotonic Randomness Notions
Bienvenu, Laurent
Hölzl, Rupert
Kräling, Thorsten
Merkle, Wolfgang
In the theory of algorithmic randomness, several notions of random sequence are defined via a game-theoretic approach, and the notions that received most attention are perhaps Martin-L\"of randomness
and computable randomness. The latter notion was introduced by Schnorr and is rather natural: an infinite binary sequence is computably random if no total computable strategy succeeds on it by betting on bits in order. However, computably random sequences can have properties that one may consider to be incompatible with being random, in particular, there are computably random sequences that are highly compressible. The concept of Martin-L\"of randomness is much better behaved in this and other respects, on the other hand its definition in terms of martingales is considerably less natural.
Muchnik, elaborating on ideas of Kolmogorov and Loveland, refined Schnorr's model by also allowing non-monotonic strategies, i.e.\ strategies that do not bet on bits in order. The subsequent ``non-monotonic'' notion of randomness, now called Kolmogorov-Loveland-randomness, has been shown to be quite close to Martin-L\"of randomness, but whether these two classes coincide remains a fundamental open question.
In order to get a better understanding of non-monotonic randomness notions, Miller and Nies introduced some interesting intermediate concepts, where one only allows non-adaptive strategies, i.e., strategies that can still bet non-monotonically, but such that the sequence of betting positions is known in advance (and computable). Recently, these notions were shown by Kastermans and Lempp to differ from Martin-L\"of randomness. We continue the study of the non-monotonic randomness notions introduced by Miller and Nies and obtain results about the Kolmogorov complexities of initial segments that may and may not occur for such sequences, where these results then imply a complete classification of these randomness notions by order of strength.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2260/OASIcs.CCA.2009.2260.pdf
Martin-Löf randomness
Kolmogorov-Loveland randomness
Kolmogorov complexity
martingales
betting strategies
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
83
94
10.4230/OASIcs.CCA.2009.2261
article
Weihrauch Degrees, Omniscience Principles and Weak Computability
Brattka, Vasco
Gherardi, Guido
In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions on represented spaces. We call the corresponding equivalence classes Weihrauch degrees and we show that the corresponding partial order induces a lower semi-lattice with the disjoint union of multi-valued functions as greatest lower bound operation. We show that parallelization is a closure operator for this semi-lattice and the parallelized Weihrauch degrees even form a lattice with the product of multi-valued functions as greatest lower bound operation. We show that the Medvedev lattice and hence the Turing upper semi-lattice can both be embedded into the parallelized Weihrauch lattice in a natural way. The importance of Weihrauch degrees is based on the fact that multi-valued functions on represented spaces can be considered as realizers of mathematical theorems in a very natural way and studying the Weihrauch reductions between theorems in this sense means to ask which theorems can be transformed continuously or computably into each other. This allows a new purely topological or computational approach to metamathematics that sheds new light on the nature of theorems. As crucial corner points of this classification scheme we study the limited principle of omniscience $\LPO$, the lesser limited principle of omniscience $\LLPO$ and their parallelizations. We show that parallelized $\LLPO$ is equivalent to Weak König's Lemma and hence to the Hahn-Banach Theorem in this new and very strong sense. We call a multi-valued function weakly computable if it is reducible to the Weihrauch degree of parallelized $\LLPO$ and we present a new proof that the class of weakly computable operations is closed under composition. This proof is based on a computational version of Kleene's ternary logic. Moreover, we characterize weakly computable operations on computable metric spaces as operations that admit upper semi-computable compact-valued selectors and we show that any single-valued weakly computable operation is already computable in the ordinary sense.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2261/OASIcs.CCA.2009.2261.pdf
Computable analysis
constructive analysis
reverse mathematics
effective descriptive set theory
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
95
106
10.4230/OASIcs.CCA.2009.2262
article
Effective Choice and Boundedness Principles in Computable Analysis
Brattka, Vasco
Gherardi, Guido
In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can be continuously or computably transferred into each other? For this purpose theorems are considered via their realizers which are operations with certain input and output data. The technical tool to express continuous or computable relations between such operations is Weihrauch reducibility and the partially ordered degree structure induced by it. We have identified certain choice principles on closed sets which are cornerstones among Weihrauch degrees and it turns out that certain core theorems in analysis can be classified naturally in this structure. In particular, we study theorems such as the Intermediate Value Theorem, the Baire Category Theorem, the Banach Inverse Mapping Theorem, the Closed Graph Theorem and the Uniform Boundedness Theorem. Well-known omniscience principles from constructive mathematics such as $\LPO$ and $\LLPO$ can naturally be considered as Weihrauch degrees and they play an important role in our classification. Our classification scheme does not require any particular logical framework or axiomatic setting, but it can be carried out in the framework of classical mathematics using tools of topology, computability theory and computable analysis. Finally, we present a number of metatheorems that allow to derive upper bounds for the classification of the Weihrauch degree of many theorems and we discuss the Brouwer Fixed Point Theorem as an example.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2262/OASIcs.CCA.2009.2262.pdf
Computable analysis
constructive analysis
reverse mathematics
effective descriptive set theory
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
107
118
10.4230/OASIcs.CCA.2009.2263
article
Computability of Homology for Compact Absolute Neighbourhood Retracts
Collins, Pieter
In this note we discuss the information needed to compute the homology groups of a topological space. We argue that the natural class of spaces to consider are the compact absolute neighbourhood retracts, since for these spaces the homology groups are finite. We show that we need to specify both a function which defines a retraction from a neighbourhood of the space in the Hilbert cube to the space itself, and a sufficiently fine over-approximation of the set. However, neither the retraction itself, nor a description of an approximation of the set in the Hausdorff metric, is sufficient to compute the homology groups. We express the conditions in the language of computable analysis, which is a powerful framework for studying computability in topology and geometry, and use cubical homology to perform the computations.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2263/OASIcs.CCA.2009.2263.pdf
Computability
homology
compact absolute neighbourhood retract
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
119
130
10.4230/OASIcs.CCA.2009.2264
article
Sigma^0_alpha - Admissible Representations (Extended Abstract)
de Brecht, Matthew
Yamamoto, Akihiro
We investigate a hierarchy of representations of topological spaces by measurable functions that extends the traditional notion of admissible representations common to computable analysis. Specific instances of these representations already occur in the literature (for example, the naive Cauchy representation of the reals and the ``jump'' of a representation), and have been used in investigating the computational properties of discontinuous functions. Our main contribution is the integration of a recently developing descriptive set theory for non-metrizable spaces that allows many previous results to generalize to arbitrary countably based $T_0$ topological spaces. In addition, for a class of topological spaces that include the reals (with the Euclidean topology) and the power set of $\omega$ (with the Scott-topology), we give a complete characterization of the functions that are (topologically) realizable with respect to the level of the representations of the domain and codomain spaces.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2264/OASIcs.CCA.2009.2264.pdf
Admissible representations
Borel measurable functions
computable analysis
descriptive set theory
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
131
140
10.4230/OASIcs.CCA.2009.2265
article
Uniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
Diener, Hannes
Schuster, Peter
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an alternative, fully constructive existence proof.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2265/OASIcs.CCA.2009.2265.pdf
Implicit function
uniqueness
continuity
constructive analysis
countable choice
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
141
148
10.4230/OASIcs.CCA.2009.2266
article
Relativizations of the P =? DNP Question for the BSS Model
Gaßner, Christine
We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form $x\geq 0$. The oracle machines can also check whether a tuple of real numbers belongs to a given oracle set ${\cal O}$ or not. We construct oracles such that the classes P and DNP relative to these oracles are equal or not equal.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2266/OASIcs.CCA.2009.2266.pdf
BSS machines
oracle machines
relativizations
P-DNP problem
real knapsack problem
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
149
160
10.4230/OASIcs.CCA.2009.2267
article
Curves That Must Be Retraced
Gu, Xiaoyang
Lutz, Jack H.
Mayordomo, Elvira
We exhibit a polynomial time computable plane curve ${\bf \Gamma}$ that has finite length, does not intersect itself, and is smooth except at one endpoint, but has the following property. For every computable parametrization $f$ of ${\bf\Gamma}$ and every positive integer $m$, there is some positive-length subcurve of ${\bf\Gamma}$ that $f$ retraces at least $m$ times. In contrast, every computable curve of finite length that does not intersect itself has a constant-speed (hence non-retracing) parametrization that is computable relative to the halting problem.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2267/OASIcs.CCA.2009.2267.pdf
Computable analysis
computable curve
computational complexity
Hausdorff measure
rectifiable curve
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
161
172
10.4230/OASIcs.CCA.2009.2268
article
Effective Dispersion in Computable Metric Spaces
Iljazovic, Zvonko
We investigate the relationship between computable metric spaces $(X,d,\alpha )$ and $(X,d,\beta ),$ where $(X,d)$ is a given metric space. In the case of Euclidean space, $\alpha $ and $\beta $ are equivalent up to isometry, which does not hold in general. We introduce the notion of effectively dispersed metric space. This notion is essential in the proof of the main result of this paper: $(X,d,\alpha )$ is effectively totally bounded if and only if $(X,d,\beta )$ is effectively totally bounded, i.e. the property that a computable metric space is effectively totally bounded (and in particular effectively compact) depends only on the underlying metric space.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2268/OASIcs.CCA.2009.2268.pdf
Computable metric space
effective separating sequence
computability structure
effectively totally bounded computable metric space
effectively disp
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
173
184
10.4230/OASIcs.CCA.2009.2269
article
On Oscillation-free epsilon-random Sequences II
Mielke, Jöran
Staiger, Ludwig
It has been shown (see (Staiger, 2008)), that there are strongly \textsc{Martin-L\"of}-$\varepsilon$-random $\omega$-words that behave in terms of complexity like random $\omega$-words. That is, in particular, the \emph{a priori} complexity of these $\varepsilon$-random $\omega$-words is bounded from below and above by linear functions with the same slope $\varepsilon$. In this paper we will study the set of these $\omega$-words in terms of \textsc{Hausdorff} measure and dimension.
Additionally we find upper bounds on \emph{a priori} complexity, monotone and simple complexity for a certain class of $\omega$-power languages.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2269/OASIcs.CCA.2009.2269.pdf
Omega-words
partial randomness
a priori complexity
monotone complexity
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
185
196
10.4230/OASIcs.CCA.2009.2270
article
Computability of Probability Distributions and Distribution Functions
Mori, Takakazu
Tsujii, Yoshiki
Yasugi, Mariko
We define the computability of probability distributions on the real line as well as that of distribution functions. Mutual relationships between the computability notion of a probability distribution and that of the corresponding distribution function are discussed. It is carried out through attempts to effectivize some classical fundamental theorems concerning probability distributions. We then define the effective convergence of probability distributions as an effectivization of the classical vague convergence. For distribution functions, computability and effective convergence are naturally defined as real functions. A weaker effective convergence is also defined as an effectivization of pointwise convergence.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2270/OASIcs.CCA.2009.2270.pdf
Computable probability distribution
computable probability distribution function
effective convergence of probability distributions
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
197
208
10.4230/OASIcs.CCA.2009.2271
article
How Discontinuous is Computing Nash Equilibria? (Extended Abstract)
Pauly, Arno
We investigate the degree of discontinuity of several solution concepts from non-cooperative game theory. While the consideration of Nash equilibria forms the core of our work, also pure and correlated equilibria are dealt with. Formally, we restrict the treatment to two player games, but results and proofs extend to the $n$-player case. As a side result, the degree of discontinuity of solving systems of linear inequalities is settled.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2271/OASIcs.CCA.2009.2271.pdf
Game Theory
computable analysis
Nash equilibrium
discontinuity
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
209
220
10.4230/OASIcs.CCA.2009.2272
article
Towards the Complexity of Riemann Mappings (Extended Abstract)
Rettinger, Robert
We show that under reasonable assumptions there exist Riemann mappings which are as hard as tally $\sharp$-P even in the non-uniform case. More precisely, we show that under a widely accepted conjecture from numerical mathematics there exist single domains with simple, i.e. polynomial time computable, smooth boundary whose Riemann mapping is polynomial time computable if and only if tally $\sharp$-P equals P. Additionally, we give similar results without any assumptions using tally $UP$ instead of $\sharp$-P and show that Riemann mappings of domains with polynomial time computable analytic boundaries are polynomial time computable.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2272/OASIcs.CCA.2009.2272.pdf
Riemann mapping
complexity
polynomial time
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
221
232
10.4230/OASIcs.CCA.2009.2273
article
On the Computability of Rectifiable Simple Curve (Extended Abstract)
Rettinger, Robert
Zheng, Xizhong
In mathematics curves are defined as the images of continuous real functions defined on closed intervals and these continuous functions are called parameterizations of the corresponding curves. If only simple curves of finite lengths are considered, then parameterizations can be restricted to the injective continuous functions or even to the continuous length-normalized parameterizations. In addition, a plane curve can also be considered as a connected one-dimensional compact subset of points. By corresponding effectivizations, we will introduce in this paper four versions of computable curves and show that they are all different. More interestingly, we show also that four classes of computable curves cover even different sets of points.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2273/OASIcs.CCA.2009.2273.pdf
Computable curve
simple curve
rectifiable curve
point separability
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
233
244
10.4230/OASIcs.CCA.2009.2274
article
A Note on Closed Subsets in Quasi-zero-dimensional Qcb-spaces (Extended Abstract)
Schröder, Matthias
We introduce the notion of quasi-zero-dimensionality as a substitute for the notion of zero-dimensionality, motivated by the fact that the latter behaves badly in the realm of qcb-spaces. We prove that the category $\QZ$ of quasi-zero-dimensional qcb$_0$-spaces is cartesian closed. Prominent examples of spaces in $\QZ$ are the spaces in the sequential hierarchy of the Kleene-Kreisel continuous functionals. Moreover, we characterise some types of closed subsets of $\QZ$-spaces in terms of their ability to allow extendability of continuous functions. These results are related to an open problem in Computable Analysis.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2274/OASIcs.CCA.2009.2274.pdf
Computable analysis
Qcb-spaces
extendability
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
245
256
10.4230/OASIcs.CCA.2009.2275
article
Random Iteration Algorithm for Graph-Directed Sets
Tsujii, Yoshiki
Mori, Takakazu
Yasugi, Mariko
Tsuiki, Hideki
A random iteration algorithm for graph-directed sets is defined and discussed. Similarly to the Barnsley-Elton's theorem, it is shown that almost all sequences obtained by this algorithm reflect a probability measure which is invariant with respect to the system of contractions with probabilities.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2275/OASIcs.CCA.2009.2275.pdf
Random iteration algorithms
graph-directed sets
displaying fractals
invariant probability measures
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
257
268
10.4230/OASIcs.CCA.2009.2276
article
Computable Separation in Topology, from T_0 to T_3
Weihrauch, Klaus
This article continues the study of computable elementary topology started in (Weihrauch, Grubba 2009). We introduce a number of computable versions of the topological $T_0$ to $T_3$ separation axioms and solve their logical relation completely. In particular, it turns out that computable $T_1$ is equivalent to computable $T_2$. The strongest axiom $SCT_3$ is used in (Grubba, Schroeder, Weihrauch 2007) to construct a computable metric.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2276/OASIcs.CCA.2009.2276.pdf
Computable topology
computable separation
eng
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open Access Series in Informatics
2190-6807
2009-11-25
11
269
280
10.4230/OASIcs.CCA.2009.2277
article
Real Computation with Least Discrete Advice: A Complexity Theory of Nonuniform Computability
Ziegler, Martin
It is folklore particularly in numerical and computer sciences that, instead of solving some general problem $f:A\to B$, additional structural information about the input $x\in A$ (that is any kind of promise that $x$ belongs to a certain subset $A'\subseteq A$) should be taken advantage of. Some examples from real number computation show that such discrete advice can even make the difference between computability and uncomputability. We turn this into a both topological and combinatorial complexity theory of information, investigating for several practical problem show much advice is necessary and sufficient to render them computable.
Specifically, finding a nontrivial solution to a homogeneous linear equation $A\cdot\vec x=0$ for a given singular real $n\times n$-matrix $A$ is possible when knowing $\rank(A)\in\{0,1,\ldots,n-1\}$; and we show this to be best possible. Similarly, diagonalizing (i.e. finding a basis of eigenvectors of) a given real symmetric $n\times n$-matrix $A$ is possible when knowing the number of distinct eigenvalues: an integer between $1$ and $n$ (the latter corresponding to the nondegenerate case). And again we show that $n$--fold (i.e. roughly $\log n$ bits of) additional information is indeed necessary in order to render this problem (continuous and) computable; whereas finding \emph{some single} eigenvector of $A$ requires and suffices with $\Theta(\log n)$--fold advice.
https://drops.dagstuhl.de/storage/01oasics/oasics-vol011-cca2009/OASIcs.CCA.2009.2277/OASIcs.CCA.2009.2277.pdf
Nonuniform computability
recursive analysis
topological complexity
linear algebra