English
Related papers

Related papers: On Semimeasures Predicting Martin-Loef Random Sequ…

200 papers

We develop a pseudo-metric analogue of bisimulation for generalized semi-Markov processes. The kernel of this pseudo-metric corresponds to bisimulation; thus we have extended bisimulation for continuous-time probabilistic processes to a…

Logic in Computer Science · Computer Science 2017-01-11 Vineet Gupta , Radha Jagadeesan , Prakash Panangaden

In a recent letter [Phys. Rev. Lett. {\bf 100}, 164101 (2008)] and within the context of quantized chaotic billiards, random plane wave and semiclassical theoretical approaches were applied to an example of a relatively new class of…

Mesoscale and Nanoscale Physics · Physics 2013-05-29 Denis Ullmo , Steven Tomsovic , Arnd Baecker

Let $\mu$ be a probability measure (or corresponding random variable) such that all moments $\mu_n$ exist. Knowledge of the moments is not sufficient to determine infinite divisibility of the measure; we show also that infinitely divisible,…

Probability · Mathematics 2007-05-23 Aubrey Wulfsohn

This paper provides a complete proof of Simon-Lukic conjecture for orthogonal polynomials on the unit circle. For a probability measure $d\mu = w(\theta) \frac{d\theta}{2\pi} + d\mu_s$ with Verblunsky coefficients…

Spectral Theory · Mathematics 2026-01-27 Daxiong Piao

We characterize Martin-L\"of randomness and Schnorr randomness in terms of the merging of opinions, along the lines of the Blackwell-Dubins Theorem. After setting up a general framework for defining notions of merging randomness, we focus…

Logic · Mathematics 2026-03-10 Simon M. Huttegger , Sean Walsh , Francesca Zaffora Blando

We consider the task of forecasting an infinite sequence of future observations based on some number of past observations, where the probability measure generating the observations is "suspected" to satisfy one or more of a set of…

Machine Learning · Computer Science 2019-05-17 Vanessa Kosoy

For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…

Functional Analysis · Mathematics 2018-10-16 Zhirayr Avetisyan , Martin Grigoryan , Michael Ruzhansky

Solomonoff induction is held as a gold standard for learning, but it is known to be incomputable. We quantify its incomputability by placing various flavors of Solomonoff's prior M in the arithmetical hierarchy. We also derive computability…

Artificial Intelligence · Computer Science 2015-10-20 Jan Leike , Marcus Hutter

The algorithmic theory of randomness is well developed when the underlying space is the set of finite or infinite sequences and the underlying probability distribution is the uniform distribution or a computable distribution. These…

Computational Complexity · Computer Science 2016-08-31 Peter Gacs

We study semiorders induced by points drawn from a uniform random distribution. Of particular interest in this paper are the probabilities of generating specific semiorders and the equivalence classes they produce. We present a method for…

Combinatorics · Mathematics 2025-09-25 Csaba Biró , Caroline E. Boone

A notion of {\em normal submonoid} of a monoid $M$ is introduced that generalizes the normal subgroups of a group. When ordered by inclusion, the set $\mathsf{NorSub}(M)$ of normal submonoids of $M$ is a complete lattice. Joins are…

Group Theory · Mathematics 2024-05-15 Josep Elgueta

This paper is devoted to the structure of the complete asymptotic expansion of the probability that a large combinatorial object is irreducible or consists of a given number of irreducible parts, where irreducibility is understood in terms…

Combinatorics · Mathematics 2025-12-01 Thierry Monteil , Khaydar Nurligareev

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

Various optimality properties of universal sequence predictors based on Bayes-mixtures in general, and Solomonoff's prediction scheme in particular, will be studied. The probability of observing $x_t$ at time $t$, given past observations…

Machine Learning · Computer Science 2007-05-23 Marcus Hutter

Suppose we are given two probability measures on the set of one-way infinite finite-alphabet sequences and consider the question when one of the measures predicts the other, that is, when conditional probabilities converge (in a certain…

Machine Learning · Computer Science 2008-06-26 Daniil Ryabko , Marcus Hutter

We detail a simple procedure (easily convertible to an algorithm) for constructing from quasi-uniform samples of $f$ a sequence of linear spline functions converging to the monotone rearrangement of $f$, in the case where $f$ is an almost…

Numerical Analysis · Mathematics 2021-12-03 Giovanni Barbarino , Davide Bianchi , Carlo Garoni

Given a c\`adl\`ag process $X$ on a filtered measurable space, we construct a version of its semimartingale characteristics which is measurable with respect to the underlying probability law. More precisely, let $\mathfrak{P}_{sem}$ be the…

Probability · Mathematics 2014-07-08 Ariel Neufeld , Marcel Nutz

Inference on the parametric part of a semiparametric model is no trivial task. If one approximates the infinite dimensional part of the semiparametric model by a parametric function, one obtains a parametric model that is in some sense…

Statistics Theory · Mathematics 2025-09-23 Adam Lee , Emil A. Stoltenberg , Per A. Mykland

Many automatic sequences, such as the Thue-Morse sequence or the Rudin-Shapiro sequence, have some desirable features of pseudorandomness such as a large linear complexity and a small well-distribution measure. However, they also have some…

Number Theory · Mathematics 2021-05-10 László Mérai , Arne Winterhof

In the paper we prove the existence of probabilistic solutions to systems of the form $-Au=F(x,u)+\mu$, where $F$ satisfies a generalized sign condition and $\mu$ is a smooth measure. As for $A$ we assume that it is a generator of a Markov…

Analysis of PDEs · Mathematics 2016-11-04 Tomasz Klimsiak