English
Related papers

Related papers: Uncomputably noisy ergodic limits

200 papers

We study the computational content of the Radon-Nokodym theorem from measure theory in the framework of the representation approach to computable analysis. We define computable measurable spaces and canonical representations of the measures…

Logic · Mathematics 2011-12-14 Mathieu Hoyrup , Cristobal Rojas , Klaus Weihrauch

Ergodic optimization aims to describe dynamically invariant probability measures that maximize the integral of a given function. The Dyck and Motzkin shifts are well-known examples of transitive subshifts over a finite alphabet that are not…

Dynamical Systems · Mathematics 2024-07-01 Mao Shinoda , Hiroki Takahasi , Kenichiro Yamamoto

Using an iterative tree construction we show that for simple computable subsets of the Cantor space Hausdorff, constructive and computable dimensions might be incomputable.

Logic in Computer Science · Computer Science 2024-05-24 Ludwig Staiger

We study the difficulty of computing topological entropy of subshifts subjected to mixing restrictions. This problem is well-studied for multidimensional subshifts of finite type : there exists a threshold in the irreducibility rate where…

Dynamical Systems · Mathematics 2019-04-05 Silvère Gangloff , Benjamin Hellouin de Menibus

Ergodic optimization aims to describe dynamically invariant probability measures that maximize the integral of a given function. For a wide class of intrinsically ergodic subshifts over a finite alphabet, we show that the space of…

Dynamical Systems · Mathematics 2026-04-15 Mao Shinoda , Hiroki Takahasi , Kenichiro Yamamoto

We prove that ergodic measures on one-sided shift spaces are uniformly scaling in the sense of Gavish. That is, given a shift ergodic measure we prove that at almost every point the scenery distributions weakly converge to a common…

Dynamical Systems · Mathematics 2017-03-30 Jonathan M. Fraser , Mark Pollicott

This paper presents an analysis of the concept of capacity for noisy com- putations, i.e. functions implemented by unreliable or random devices. An information theoretic model of noisy computation of a perfect function f (measurable…

Information Theory · Computer Science 2016-03-23 Francois Simon

We investigate the computability (in the sense of computable analysis) of the topological pressure $P_{\rm top}(\phi)$ on compact shift spaces $X$ for continuous potentials $\phi:X\to {\mathbb R}$. This question has recently been studied…

Dynamical Systems · Mathematics 2021-05-14 Michael Burr , Suddhasattwa Das , Christian Wolf , Yun Yang

Let $S$ and $T$ be measure-preserving transformations of a probability space $(X,{\mathcal B},\mu)$. Let $f$ be a bounded measurable functions, and consider the integrals of the corresponding `double' ergodic averages:…

Dynamical Systems · Mathematics 2024-11-15 Tim Austin

We prove that the divisor function $d(n)$ counting the number of divisors of the integer $n$, is a good weighting function for the pointwise ergodic theorem. For any measurable dynamical system $(X, {\mathcal A},\nu,\tau)$ and any $f\in…

Dynamical Systems · Mathematics 2017-07-20 Christophe Cuny , Michel Weber

In this paper, we prove a new type of energy estimates for the compressible Euler's equation with free boundary, with a boundary part and an interior part. These can be thought of as a generalization of the energies in Christodoulou and…

Analysis of PDEs · Mathematics 2017-04-17 Hans Lindblad , Chenyun Luo

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

We obtain non-asymptotic Gaussian concentration bounds for the difference between the invariant measure $\nu$ of an ergodic Brownian diffusion process and the empirical distribution of an approximating scheme with decreasing time step along…

Probability · Mathematics 2018-05-28 Igor Honoré , Stephane Menozzi , Gilles Pagès

There are a variety of results in the literature proving forms of computability for topological entropy and pressure on subshifts. In this work, we prove two quite general results, showing that topological pressure is always computable from…

Dynamical Systems · Mathematics 2024-08-12 C. Evans Hedges , Ronnie Pavlov

Designing capacity-achieving coding schemes for the band-limited additive colored Gaussian noise (ACGN) channel has been and is still a challenge. In this paper, the capacity of the band-limited ACGN channel is studied from a fundamental…

Information Theory · Computer Science 2023-06-02 Holger Boche , Andrea Grigorescu , Rafael F. Schaefer , H. Vincent Poor

Let $(X, \mathcal{A},\mu)$ be a probability space and let $T$ be a contraction on $L^2(\mu)$. We provide suitable conditions over sequences $(w_k)$, $(u_k)$ and $(A_k)$ in such a way that the weighted ergodic limit…

Dynamical Systems · Mathematics 2020-07-03 Ahmad Darwiche , Dominique Schneider

We prove several fundamental statistical bounds for entropic OT with the squared Euclidean cost between subgaussian probability measures in arbitrary dimension. First, through a new sample complexity result we establish the rate of…

Statistics Theory · Mathematics 2019-05-31 Gonzalo Mena , Jonathan Weed

We prove various extensions of the Tennenbaum phenomenon to the case of computable quotient presentations of models of arithmetic and set theory. Specifically, no nonstandard model of arithmetic has a computable quotient presentation by a…

Logic · Mathematics 2017-02-28 Michał Tomasz Godziszewski , Joel David Hamkins

One of the fundamental results of ergodic optimization asserts that for any dynamical system on a compact metric space with the specification property and for a generic continuous function $f$ every invariant probability measure that…

Dynamical Systems · Mathematics 2024-03-25 Shoya Motonaga , Mao Shinoda

We investigate conditions under which a co-computably enumerable closed set in a computable metric space is computable and prove that in each locally computable computable metric space each co-computably enumerable compact manifold with…

Logic in Computer Science · Computer Science 2015-07-01 Zvonko Iljazovic