arXiv ScienceSearch

arXiv subjects

Mikko Stenlund

Publications and source records attributed to Mikko Stenlund.

At least 19 recordsLinked to original sources

Introduction to Predictive Coding Networks for Machine Learning

Predictive coding networks (PCNs) constitute a biologically inspired framework for understanding hierarchical computation in the brain, and offer an alternative to traditional feedforward neural networks in ML. This note serves as a quick, onboarding introduction to PCNs for machine learning practitioners. We cover the foundational network architecture, inference and learning update rules, and algorithmic implementation. A concrete image-classification task (CIFAR-10) is provided as a benchmark-smashing application, together with an accompanying Python notebook containing the PyTorch implementation.

cs.NE

Sunklodas' approach to normal approximation for time-dependent dynamical systems

We consider time-dependent dynamical systems arising as sequential compositions of self-maps of a probability space. We establish conditions under which the Birkhoff sums for multivariate observations, given a centering and a general normalizing sequence $b(N)$ of invertible square matrices, are approximated by a normal distribution with respect to a metric of regular test functions. Depending on the metric and the normalizing sequence $b(N)$, the conditions imply that the error in the approximation decays either at the rate $O(N^{-1/2})$ or the rate $O(N^{-1/2} \log N)$, under the additional assumption that $\Vert b(N)^{-1} \Vert \lesssim N^{-1/2}$. The error comes with a multiplicative constant whose exact value can be computed directly from the conditions. The proof is based on an observation due to Sunklodas regarding Stein's method of normal approximation. We give applications to one-dimensional random piecewise expanding maps and to sequential, random, and quasistatic intermittent systems.

math.DS

Quenched normal approximation for random sequences of transformations

We study random compositions of transformations having certain uniform fiberwise properties and prove bounds which in combination with other results yield a quenched central limit theorem equipped with a convergence rate, also in the multivariate case, assuming fiberwise centering. For the most part we work with non-stationary randomness and non-invariant, non-product measures. Independently, we believe our work sheds light on the mechanisms that make quenched central limit theorems work, by dissecting the problem into three separate parts.

math.DS

A note on the finite-dimensional distributions of dispersing billiard processes

In this short note we consider the finite-dimensional distributions of sets of states generated by dispersing billiards with a random initial condition. We establish a functional correlation bound on the distance between the finite-dimensional distributions and corresponding product distributions. We demonstrate the usefulness of the bound by showing that it implies several limit theorems. The purpose of this note is to provide a tool facilitating the study of more general functionals of the billiard process.

math.DS

Stein's method for dynamical systems

We present an adaptation of Stein's method of normal approximation to the study of both discrete- and continuous-time dynamical systems. We obtain new correlation-decay conditions on dynamical systems for a multivariate central limit theorem augmented by a rate of convergence. We then present a scheme for checking these conditions in actual examples. The principal contribution of our paper is the method, which yields a convergence rate essentially with the same amount of work as the central limit theorem, together with a multiplicative constant that can be computed directly from the assumptions.

math.PR

Quasistatic dynamics with intermittency

We study an intermittent quasistatic dynamical system composed of nonuniformly hyperbolic Pomeau--Manneville maps with time-dependent parameters. We prove an ergodic theorem which shows almost sure convergence of time averages in a certain parameter range, and identify the unique physical family of measures. The theorem also shows convergence in probability in a larger parameter range. In the process, we establish other results that will be useful for further analysis of the statistical properties of the model.

math.DS

An almost sure ergodic theorem for quasistatic dynamical systems

We prove almost sure ergodic theorems for a class of systems called quasistatic dynamical systems. These results are needed, because the usual theorem due to Birkhoff does not apply in the absence of invariant measures. We also introduce the concept of a physical family of measures for a quasistatic dynamical system. These objects manifest themselves, for instance, in numerical experiments. We then verify the conditions of the theorems and identify physical families of measures for two concrete models, quasistatic expanding systems and quasistatic dispersing billiards.

math.DS

Quasistatic dynamical systems

We introduce the notion of a quasistatic dynamical system, which generalizes that of an ordinary dynamical system. Quasistatic dynamical systems are inspired by the namesake processes in thermodynamics, which are idealized processes where the observed system transforms (infinitesimally) slowly due to external influence, tracing out a continuous path of thermodynamic equilibria over an (infinitely) long time span. Time-evolution of states under a quasistatic dynamical system is entirely deterministic, but choosing the initial state randomly renders the process a stochastic one. In the prototypical setting where the time-evolution is specified by strongly chaotic maps on the circle, we obtain a description of the statistical behaviour as a stochastic diffusion process, under surprisingly mild conditions on the initial distribution, by solving a well-posed martingale problem. We also consider various admissible ways of centering the process, with the curious conclusion that the "obvious" centering suggested by the initial distribution sometimes fails to yield the expected diffusion.

math.DS

A coupling approach to random circle maps expanding on the average

We study random circle maps that are expanding on the average. Uniform bounds on neither expansion nor distortion are required. We construct a coupling scheme, which leads to exponential convergence of measures (memory loss) and exponential mixing. Leveraging from the structure of the associated correlation estimates, we prove an almost sure invariance principle for vector-valued observables. The motivation for our paper is to explore these methods in a nonuniform random setting.

math.DS

A vector-valued almost sure invariance principle for Sinai billiards with random scatterers

Understanding the statistical properties of the aperiodic planar Lorentz gas stands as a grand challenge in the theory of dynamical systems. Here we study a greatly simplified but related model, proposed by Arvind Ayyer and popularized by Joel Lebowitz, in which a scatterer configuration on the torus is randomly updated between collisions. Taking advantage of recent progress in the theory of time-dependent billiards on the one hand and in probability theory on the other, we prove a vector-valued almost sure invariance principle for the model. Notably, the configuration sequence can be weakly dependent and non-stationary. We provide an expression for the covariance matrix, which in the non-stationary case differs from the traditional one. We also obtain a new invariance principle for Sinai billiards (the case of fixed scatterers) with time-dependent observables, and improve the accuracy and generality of existing results.

math.DS

Memory loss for time-dependent dynamical systems

This paper discusses the evolution of probability distributions for certain time-dependent dynamical systems. Exponential loss of memory is proved for expanding maps and for one-dimensional piecewise expanding maps with slowly varying parameters.

math.DS

Dispersing billiards with moving scatterers

We propose a model of Sinai billiards with moving scatterers, in which the locations and shapes of the scatterers may change by small amounts between collisions. Our main result is the exponential loss of memory of initial data at uniform rates, and our proof consists of a coupling argument for non-stationary compositions of maps similar to classical billiard maps. This can be seen as a prototypical result on the statistical properties of time-dependent dynamical systems.

math.DS

A local limit theorem for random walks in balanced environments

Central limit theorems for random walks in quenched random environments have attracted plenty of attention in the past years. More recently still, finer local limit theorems -- yielding a Gaussian density multiplied by a highly oscillatory modulating factor -- for such models have been obtained. In the one-dimensional nearest-neighbor case with i.i.d. transition probabilities, local limits of uniformly elliptic ballistic walks are now well understood. We complete the picture by proving a similar result for the only recurrent case, namely the balanced one, in which such a walk is diffusive. The method of proof is, out of necessity, entirely different from the ballistic case.

math.PR

Non-stationary compositions of Anosov diffeomorphisms

Motivated by non-equilibrium phenomena in nature, we study dynamical systems whose time-evolution is determined by non-stationary compositions of chaotic maps. The constituent maps are topologically transitive Anosov diffeomorphisms on a 2-dimensional compact Riemannian manifold, which are allowed to change with time - slowly, but in a rather arbitrary fashion. In particular, such systems admit no invariant measure. By constructing a coupling, we prove that any two sufficiently regular distributions of the initial state converge exponentially with time. Thus, a system of the kind loses memory of its statistical history rapidly.

math.DS

A local limit theorem for a transient chaotic walk in a frozen environment

This paper studies particle propagation in a one-dimensional inhomogeneous medium where the laws of motion are generated by chaotic and deterministic local maps. Assuming that the particle's initial location is random and uniformly distributed, this dynamical system can be reduced to a random walk in a one-dimensional inhomogeneous environment with a forbidden direction. Our main result is a local limit theorem which explains in detail why, in the long run, the random walk's probability mass function does not converge to a Gaussian density, although the corresponding limiting distribution over a coarser diffusive space scale is Gaussian.

math.PR

Positive Lyapunov exponent by a random perturbation

We study the effect of a random perturbation on a one-parameter family of dynamical systems whose behavior in the absence of perturbation is ill understood. We provide conditions under which the perturbed system is ergodic and admits a positive Lyapunov exponent, with an explicit lower bound, for a large and controlled set of parameter values.

math.DS

A Dilution Test for the Convergence of Subseries of a Monotone Series

Cauchy's condensation test allows to determine the convergence of a monotone series by looking at a weighted subseries that only involves terms of the original series indexed by the powers of two. It is natural to ask whether the converse is also true: Is it possible to determine the convergence of an arbitrary subseries of a monotone series by looking at a suitably weighted version of the original series? In this note we show that the answer is affirmative and introduce a new convergence test particularly designed for this purpose.

math.CA

Multi-Gaussian modes of diffusion in a quenched random medium

We have studied a model of a random walk in a quenched random environment. In addition to featuring anomalous diffusion and localization, for special regimes of disorder parameters the particle density decomposes into multi-Gaussian structure while its cumulative distribution is normal. We explain the observed fine structure of the density and point out its significance to experiments.

cond-mat.stat-mech