English
Related papers

Related papers: Universal Convergence of Semimeasures on Individua…

200 papers

This paper explores a novel definition of Schnorr randomness for noncomputable measures. We say $x$ is uniformly Schnorr $\mu$-random if $t(\mu,x)<\infty$ for all lower semicomputable functions $t(\mu,x)$ such that $\mu\mapsto\int…

Logic · Mathematics 2017-08-08 Jason Rute

A new class of distances appropriate for measuring similarity relations between sequences, say one type of similarity per distance, is studied. We propose a new ``normalized information distance'', based on the noncomputable notion of…

Computational Complexity · Computer Science 2011-11-09 Ming Li , Xin Chen , Xin Li , Bin Ma , Paul Vitanyi

In this paper we investigate algorithmic randomness on more general spaces than the Cantor space, namely computable metric spaces. To do this, we first develop a unified framework allowing computations with probability measures. We show…

Information Theory · Computer Science 2008-07-23 Mathieu Hoyrup , Cristobal Rojas

Solomonoff's inductive learning model is a powerful, universal and highly elegant theory of sequence prediction. Its critical flaw is that it is incomputable and thus cannot be used in practice. It is sometimes suggested that it may still…

Artificial Intelligence · Computer Science 2007-05-23 Shane Legg

Unavoidable disturbance caused by a quantum measurement implies that the realizable subsequent measurements are getting limited after one performs some measurement. The obvious general limitation that one cannot circumvent by sequential or…

Quantum Physics · Physics 2015-03-05 Teiko Heinosaari , Takayuki Miyadera

Ray Solomonoff invented the notion of universal induction featuring an aptly termed "universal" prior probability function over all possible computable environments. The essential property of this prior was its ability to dominate all other…

Information Theory · Computer Science 2011-11-17 Ian Wood , Peter Sunehag , Marcus Hutter

Given a compact metric space (X,d) equipped with a non-atomic, probability measure m and a real, positive decreasing function p we consider a `natural' class of limsup subsets La(p) of X. The classical limsup sets of `well approximable'…

Number Theory · Mathematics 2007-05-23 Victor Beresnevich , Detta Dickinson , Sanju Velani

Let $M$ be a complete Riemannian manifold, $N\in \NN$ and $p\ge 1$. We prove that almost everywhere on $x=(x_1,...,x_N)\in M^N$ for Lebesgue measure in $M^N$, the measure $\di \mu(x)=\f1N\sum_{k=1}^N\d_{x_k}$ has a unique $p$-mean $e_p(x)$.…

Probability · Mathematics 2012-07-16 Marc Arnaudon , Laurent Miclo

Shape constraints yield flexible middle grounds between fully nonparametric and fully parametric approaches to modeling distributions of data. The specific assumption of log-concavity is motivated by applications across economics, survival…

Methodology · Statistics 2024-04-16 Robin Dunn , Aditya Gangrade , Larry Wasserman , Aaditya Ramdas

We prove that the Hilbert space description of all joint von Neumann measurements on a quantum state can be reproduced in terms of a single measure space ({\Omega}, F, {\mu}) with a normalized real-valued measure {\mu}, that is, in terms of…

Quantum Physics · Physics 2012-10-12 Elena R. Loubenets

The problem is that of sequential probability forecasting for finite-valued time series. The data is generated by an unknown probability distribution over the space of all one-way infinite sequences. It is known that this measure belongs to…

Statistics Theory · Mathematics 2016-11-02 Daniil Ryabko

We generalize a theorem of Bellow and Calder\'on concerning the a.e. convergence of the convolution powers $\ds \mu^nf(x)=\sum_{k}\mu^n(k)f(T^k x)$ where $T$ is a measure preserving transformation of a probability space and $\mu$ is a…

Classical Analysis and ODEs · Mathematics 2010-08-10 Christopher M. Wedrychowicz

Three themes of general topology: quotient spaces; absolute retracts; and inverse limits - are reapproached here in the setting of metrizable uniform spaces, with an eye to applications in geometric and algebraic topology. The results…

Geometric Topology · Mathematics 2022-11-21 Sergey A. Melikhov

We consider pairs of finite-length individual sequences that are realizations of unknown, finite alphabet, stationary sources in a clas M of sources with vanishing memory (e.g. stationary Markov sources). The task of a universal classifier…

Information Theory · Computer Science 2011-11-08 Jacob Ziv

Solomonoff sequence prediction is a scheme to predict digits of binary strings without knowing the underlying probability distribution. We call a prediction scheme informed when it knows the true probability distribution of the sequence.…

Artificial Intelligence · Computer Science 2007-05-23 Marcus Hutter

We study the properties of the MDL (or maximum penalized complexity) estimator for Regression and Classification, where the underlying model class is countable. We show in particular a finite bound on the Hellinger losses under the only…

Statistics Theory · Mathematics 2007-07-16 Jan Poland , Marcus Hutter

Reviewing the semiclassical theory for the parametric level density fluctuations, we show that for large parametric changes the density correlation function, after rescaling, becomes universal and coincides with the leading asymptotic term…

Completely random measures provide a principled approach to creating flexible unsupervised models, where the number of latent features is infinite and the number of features that influence the data grows with the size of the data set. Due…

Machine Learning · Statistics 2020-06-26 Peiyuan Zhu , Alexandre Bouchard-Côté , Trevor Campbell

We prove (ZF+DC) e.g. : if mu =|H(mu)| then mu^+ is regular non measurable. This is in contrast with the results for mu = aleph_{omega} on measurability see Apter Magidor [ApMg]

Logic · Mathematics 2008-02-03 Saharon Shelah

With a new proof approach we prove in a more general setting the classical convergence theorem that almost everywhere convergence of measurable functions on a finite measure space implies convergence in measure. Specifically, we generalize…

General Mathematics · Mathematics 2020-05-15 Yu-Lin Chou