4 research outputs found
Computing Haar Measures
According to Haar's Theorem, every compact group admits a unique
(regular, right and) left-invariant Borel probability measure . Let the
Haar integral (of ) denote the functional integrating any continuous function with
respect to . This generalizes, and recovers for the additive group
, the usual Riemann integral: computable (cmp. Weihrauch 2000,
Theorem 6.4.1), and of computational cost characterizing complexity class
#P (cmp. Ko 1991, Theorem 5.32). We establish that in fact every computably
compact computable metric group renders the Haar integral computable: once
asserting computability using an elegant synthetic argument, exploiting
uniqueness in a computably compact space of probability measures; and once
presenting and analyzing an explicit, imperative algorithm based on 'maximum
packings' with rigorous error bounds and guaranteed convergence. Regarding
computational complexity, for the groups and
we reduce the Haar integral to and from Euclidean/Riemann
integration. In particular both also characterize #P. Implementation and
empirical evaluation using the iRRAM C++ library for exact real computation
confirms the (thus necessary) exponential runtime
Constructing the Space of Valuations of a Quasi-Polish Space as a Space of Ideals
We construct the space of valuations on a quasi-Polish space in terms of the characterization of quasi-Polish spaces as spaces of ideals of a countable transitive relation. Our construction is closely related to domain theoretical work on the probabilistic powerdomain, and helps illustrate the connections between domain theory and quasi-Polish spaces. Our approach is consistent with previous work on computable measures, and can be formalized within weak formal systems, such as subsystems of second order arithmetic
Computably totally disconnected locally compact groups
We study totally disconnected, locally compact (t.d.l.c.) groups from an
algorithmic perspective. We give various approaches to defining computable
presentations of t.d.l.c.\ groups, and show their equivalence. In the process,
we obtain an algorithmic Stone-type duality between t.d.l.c.~groups and certain
countable ordered groupoids given by the compact open cosets. We exploit the
flexibility given by these different approaches to show that several natural
groups, such as \Aut(T_d) and \SL_n(\QQ_p), have computable presentations.
We show that many construction leading from t.d.l.c.\ groups to new t.d.l.c.\
groups have algorithmic versions that stay within the class of computably
presented t.d.l.c.\ groups. This leads to further examples, such as
\PGL_n(\QQ_p). We study whether objects associated with computably t.d.l.c.\
groups are computable: the modular function, the scale function, and
Cayley-Abels graphs in the compactly generated case. We give a criterion when
computable presentations of t.d.l.c.~groups are unique up to computable
isomorphism, and apply it to \QQ_p as an additive group, and the semidirect
product \ZZ\ltimes \QQ_p
Computer Science for Continuous Data:Survey, Vision, Theory, and Practice of a Computer Analysis System
Building on George Boole's work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous processing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had applied "his" machines to formalize and study the processing of real numbers: an aspect of his oeuvre that we transform from theory to practice.The present essay surveys the state of the art and envisions the future of Computer Science for continuous data: natively, beyond brute-force discretization, based on and guided by and extending classical discrete Computer Science, as bridge between Pure and Applied Mathematics