Related papers: Dynamics and abstract computability: computing inv…

We consider all pure or mixed states of a quantum many-body system which exhibit the same, arbitrary but fixed measurement outcome statistics for several commuting observables. Taking those states as initial conditions, which are then…

The measurability by means of continuous measurements, of an observable $\A(t_0)$, at an instant, and of a time averaged observable, $\bar \A=1/T\int \A(t')dt'$, is examined for linear and in particular for non-linear quantum mechanical…

We consider an independent and identically distributed (i.i.d.) random dynamical system of simple linear transformations on the unit interval $T_{\beta}(x)=\beta x$ (mod $1$), $x\in[0,1]$, $\beta>0$, which are the so-called…

Building on recent results regarding symmetric probabilistic constructions of countable structures, we provide a method for constructing probability measures, concentrated on certain classes of countably infinite structures, that are…

We consider a hard core (HC) model with a countable set $\mathbb{Z}$ of spin values on the Cayley tree. This model is defined by a countable set of parameters $\lambda_{i}>0, i \in \mathbb{Z}\setminus\{0\}$. For all possible values of…

A finitely-additive measure $\lambda $ on an infinite-dimensional real Hilbert space $E$ which is invariant with respect to shifts and orthogonal mappings has been defined. This measure can be considered as the analog of the Lebesgue…

While compactness is an essential assumption for many results in dynamical systems theory, for many applications the state space is only locally compact. Here we provide a general theory for compactifying such systems, i.e. embedding them…

We study invariant measures of continuous contact model in small dimensional spaces ($d =1,2$). Under general conditions we prove that in the critical regime this system has the one-parameter set of invariant measures parametrized by the…

We give a geometric proof, offering a new and quite different perspective on an earlier result of Ledrappier and Young on random transformations. We show that under mild conditions, sample measures of random diffeomorphisms are SRB…

We analyze how measured quantum dynamical systems store and process information, introducing sofic quantum dynamical systems. Using recently introduced information-theoretic measures for quantum processes, we quantify their information…

We consider some random iterated function systems on the interval and show that the invariant measure has density in $\mathcal{C}^\infty$. To prove this we use some techniques for contractions in cone metrics, applied to the transfer…

We consider randomized computation of continuous data in the sense of Computable Analysis. Our first contribution formally confirms that it is no loss of generality to take as sample space the Cantor space of infinite FAIR coin flips. This…

We construct strongly mixing invariant measures with full support for operators on F-spaces which satisfy the Frequent Hypercyclicity Criterion. For unilateral backward shifts on sequence spaces, a slight modification shows that one can…

The aim of this note is to introduce a notion of dynamical entropy, which we call infinite-product entropy, for probability measures on (countable) infinite cartesian product of any measurable space with itself. The idea behind the…

We study the computational complexity theory of smooth, finite-dimensional dynamical systems. Building off of previous work, we give definitions for what it means for a smooth dynamical system to simulate a Turing machine. We then show that…

Reversible computing is motivated by both pragmatic and foundational considerations arising from a variety of disciplines. We take a particular path through the development of reversible computation, emphasizing compositional reversible…

It is shown that any transverse invariant measure of a foliated space can be considered as a measure on the ambient space.

We present two sets of computable entanglement measures for multipartite systems where each subsystem can have different degrees of freedom (so-called qudits). One set, called 'separability' measure, reveals which of the subsystems are…

We describe a completely general and fully non-perturbative framework for constructing dynamical reference frames in generally covariant theories, and for understanding the gauge-invariant observables that they yield. Our approach makes use…

We study numerical computation of conformal invariants of domains in the complex plane. In particular, we provide an algorithm for computing the conformal capacity of a condenser. The algorithm applies for wide kind of geometries: domains…