English
Related papers

Related papers: The interplay of classes of algorithmically random…

200 papers

We study invariant measures for random countable (finite or infinite) conformal iterated function systems (IFS) with arbitrary overlaps. We do not assume any type of separation condition. We prove, under a mild assumption of finite entropy,…

Dynamical Systems · Mathematics 2015-03-24 Eugen Mihailescu , Mariusz Urbanski

We characterize some major algorithmic randomness notions via differentiability of effective functions. (1) As the main result we show that a real number z in [0,1] is computably random if and only if each nondecreasing computable function…

Logic · Mathematics 2018-12-10 Vasco Brattka , Joseph S. Miller , André Nies

The Minkowski content of a compact set is a fine measure of its geometric scaling. For Lebesgue null sets it measures the decay of the Lebesgue measure of epsilon neighbourhoods of the set. It is well known that self-similar sets,…

Dynamical Systems · Mathematics 2023-03-14 Sascha Troscheit

We use ideas from topological dynamics (amenability), combinatorics (structural Ramsey theory) and model theory (Fra\" {i}ss\' e limits) to study closed amenable subgroups $G$ of the symmetric group $S_\infty$ of a countable set, where…

Logic · Mathematics 2012-05-03 Willem L. Fouche

We investigate the shrinking target and recurrence set associated to non-autonomous measure-preserving systems on compact metric spaces, establishing zero-one criteria in the spirit of classical Borel-Cantelli results. Our first main…

Dynamical Systems · Mathematics 2025-12-23 Ayesha Bennett

We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA_0,…

Logic · Mathematics 2014-01-03 Jeremy Avigad , Edward Dean , Jason Rute

Strongly non-Gaussian ensembles of large random matrices possessing unitary symmetry and logarithmic level repulsion are studied both in presence and absence of hard edge in their energy spectra. Employing a theory of polynomials orthogonal…

Condensed Matter · Physics 2009-10-28 V. Freilikher , E. Kanzieper , I. Yurkevich

The wrapping transformation $W$ is a homomorphism from the semigroup of probability measures on the real line, with the convolution operation, to the semigroup of probability measures on the circle, with the multiplicative convolution…

Probability · Mathematics 2016-08-05 Michael Anshelevich , Octavio Arizmendi

A fruitful way of obtaining meaningful, possibly concrete, algorithmically random numbers is to consider a potential behaviour of a Turing machine and its probability with respect to a measure (or semi-measure) on the input space of binary…

Computational Complexity · Computer Science 2017-06-13 George Barmpalias , Douglas Cenzer , Christopher P. Porter

Let (X, d) be a quasi-convex, complete and separable metric space with reference probability measure m. We prove that the set of of real valued Lipschitz function with non zero point-wise Lipschitz constant m-almost everywhere is residual,…

Analysis of PDEs · Mathematics 2013-06-21 Fabio Cavalletti

We study pairs of reals that are mutually Martin-L\"{o}f random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability…

Logic · Mathematics 2016-02-10 Adam R. Day , Jan Reimann

We classify measures on $\{0,1\}^{\mathbb{Z}^d}$, $d \geq 3$, the space of subsets of $\mathbb{Z}^d$, which are invariant under all affine special linear transformations. In other words, we classify simple point processes on $\mathbb{Z}^d$…

Probability · Mathematics 2026-05-19 Mikołaj Frączyk , Simon Machado

It is proved that there exists an (omega-1,omega-1) Souslin gap in the Boolean algebra (L(nu)/Fin,subseteq^*_ae) for every nonseparable measure nu. Thus a Souslin, also known as destructible, (omega-1,omega-1) gap in P(N)/Fin can always be…

Logic · Mathematics 2007-10-30 James Hirschorn

We prove a.s. (almost sure) unisolvency of interpolation by continuous random sampling with respect to any given density, in spaces of multivariate a.e. (almost everywhere) analytic functions. Examples are given concerning polynomial and…

Numerical Analysis · Mathematics 2023-03-27 Francesco Dell'Accio , Alvise Sommariva , Marco Vianello

In this paper, we construct a class of random measures $\mu^{\mathbf{n}}$ by infinite convolutions. Given infinitely many admissible pairs $\{(N_{k}, B_{k})\}_{k=1}^{\infty}$ and a positive integral sequence…

Functional Analysis · Mathematics 2025-04-23 Junjie Miao , Hongyi Liu , Hongbo Zhao

We investigate the connection between measure and capacity for the space of nonempty closed subsets of {0,1}*. For any computable measure, a computable capacity T may be defined by letting T(Q) be the measure of the family of closed sets…

Logic in Computer Science · Computer Science 2010-06-03 Douglas Cenzer , Paul Brodhead

We establish arithmeticity in the sense of A. Katok and F. Rodriguez Hertz of smooth actions $\alpha$ of $\mathbb{R}^k$ on an anonymous manifold $M$ of dimension $2k+1$ provided that there is an ergodic invariant Borel probability measure…

Dynamical Systems · Mathematics 2023-07-19 Alp Uzman

We obtain results concerning the so-called factorization for the convergence of random variables almost everywhere (almost surely or with probability one), belonging to the classical Lebesgue-Riesz spaces and we extend these results to the…

Probability · Mathematics 2024-01-25 Maria Rosaria Formica , Eugeny Ostrovsky , Leonid Sirota

We study the Borel subsets of the plane that can be made closed by refining the Polish topology on the real line. These sets are called potentially closed. We first compare Borel subsets of the plane using products of continuous functions.…

Logic · Mathematics 2007-10-02 Dominique Lecomte

We initiate a program of average smoothness analysis for efficiently learning real-valued functions on metric spaces. Rather than using the Lipschitz constant as the regularizer, we define a local slope at each point and gauge the function…

Statistics Theory · Mathematics 2020-11-10 Yair Ashlagi , Lee-Ad Gottlieb , Aryeh Kontorovich