arXiv subjects

Hisayoshi Toyokawa

Publications and source records attributed to Hisayoshi Toyokawa.

9 recordsLinked to original sources

arXiv2025

Finitude of physical measures for Markovian random maps

We study the finiteness of physical measures for skew-product transformations $F$ associated with discrete-time random dynamical systems driven by ergodic Markov chains. We develop a framework, using an independent and identically distributed (i.i.d.) representation of the Markov process, that facilitates transferring results from the well-studied Bernoulli (i.i.d.) setting to the Markovian context. Specifically, we establish conditions for the existence of finitely many ergodic, $F$-invariant measures, absolutely continuous with respect to a reference measure, such that their statistical basins of attraction for measurable bounded observables cover the phase space almost everywhere. Furthermore, we investigate a weaker notion, which demands finitely many physical measures (not necessarily absolutely continuous) whose weak$^*$ basins of attraction cover the phase space almost everywhere. We show that for random maps on compact metric spaces driven by Markov chains on finite state spaces, this property holds if the system is mostly contracting, i.e., if all the Markovian invariant measures have negative maximal Lyapunov exponents. This result is applied to random $C^1$ diffeomorphisms of the circle and the interval under conditions based on the absence of invariant probability measures or finite invariant sets, respectively. We also connect our result to the quasi-compactness of the Koopman operator on the space of Hölder continuous functions.

math.DS↗

arXiv2024

Finitude of physical measures for random maps

For random compositions of independent and identically distributed measurable maps on a Polish space, we study the existence and finitude of absolutely continuous ergodic stationary probability measures (which are, in particular, physical measures) whose basins of attraction cover the whole space almost everywhere. We characterize and hierarchize such random maps in terms of their associated Markov operators, as well as show the difference between classes in the hierarchy by plenty of examples, including additive noise, multiplicative noise, and iterated function systems. We also provide sufficient practical conditions for a random map to belong to these classes. For instance, we establish that any continuous random map on a compact Riemannian manifold with absolutely continuous transition probability has finitely many physical measures whose basins of attraction cover Lebesgue almost all the manifold.

math.DS↗

arXiv2023

Invariant measures for random piecewise convex maps

We show the existence of Lebesgue-equivalent conservative and ergodic $σ$-finite invariant measures for a wide class of one-dimensional random maps consisting of piecewise convex maps. We also estimate the size of invariant measures around a small neighborhood of a fixed point where the invariant density functions may diverge. Application covers random intermittent maps with critical points or flat points. We also illustrate that the size of invariant measures tends to infinite for random maps whose right branches exhibit a strongly contracting property on average, so that they have a strong recurrence to a fixed point.

math.DS↗

arXiv2023

Arcsine law for random dynamics with a core

In their recent paper [8], G.Hata and the fourth author first gave an example of random iterations of two piecewise linear interval maps without (deterministic) indifferent periodic points for which the arcsine law -- a characterization of intermittent dynamics in infinite ergodic theory -- holds. The key in the proof of the result is the existence of a Markov partition preserved by each interval maps. In the present paper, we give a class of random iterations of two interval maps without indifferent periodic points but satisfying the arcsine law, by introducing a concept of core random dynamics. As applications, we show that the generalized arcsine law holds for generalized Hata-Yano maps and piecewise linear versions of Gharaei-Homburg maps, both of which do not have a Markov partition in general.

math.DS↗

arXiv2022

Topological entropy for countable Markov shifts and Exel--Laca algebras

We show that the (Gurevich) topological entropy for the countable Markov shift associated with an infinite transition matrix $A$ coincides with the non-commutative topological entropy for the Exel--Laca algebra associated with $A$, under certain conditions on $A$. An important example satisfying the conditions is the renewal shift, which is not locally finite. We also pose interesting questions for future research on non-commutative topological entropy for non-locally finite transition matrices.

math.OA↗

arXiv2022

Random invariant densities for Markov operator cocycles and random mean ergodic theorem

In the present paper, we consider random invariant densities and the mean ergodic theorem for Markov operator cocycles which are applicable to quenched type random dynamical systems. We give necessary and sufficient conditions for the existence of random invariant densities for Markov operator cocycles and establish the mean ergodic theorem for generalized linear operator cocycles over a weakly sequentially complete Banach space. The advantage of the result is that we show the implication of weak precompactness for almost every environment to strong convergence in the global sense.

math.DS↗

arXiv2022

Lyapunov exponents for random maps

It has been recently realized that for abundant dynamical systems on a compact manifold, the set of points for which Lyapunov exponents fail to exist, called the Lyapunov irregular set, has positive Lebesgue measure. In the present paper, we show that under any physical noise, the Lyapunov irregular set has zero Lebesgue measure and the number of such Lyapunov exponents is finite. This result is a Lyapunov exponent version of Araújo's theorem on the existence and finitude of time averages. Furthermore, we numerically compute the Lyapunov exponents for a surface flow with an attracting heteroclinic connection, which enjoys the Lyapunov irregular set of positive Lebesgue measure, under a physical noise. This paper also contains the proof of the disappearance of Lyapunov irregular behavior on a positive Lebesgue measure set for a surface flow with an attracting homoclinic/heteroclinic connection under a non-physical noise.

math.DS↗

arXiv2021

Mixing and observation for Markov operator cocycles

We consider generalized definitions of mixing and exactness for random dynamical systems in terms of Markov operator cocycles. We first give six fundamental definitions of mixing for Markov operator cocycles in view of observations of the randomness in environments, and show that they can be reduced into two different groups. Secondly, we give the definition of exactness for Markov operator cocycles and show that Lin's criterion for exactness can be naturally extended to the case of Markov operator cocycles. Finally, in the class of asymptotically periodic Markov operator cocycles, we show the Lasota-Mackey type equivalence between mixing, exactness and asymptotic stability.

math.DS↗

arXiv2021

Stability of energy landscape for Ising models

In this paper, we explore the stability of the energy landscape of an Ising Hamiltonian when subjected to two kinds of perturbations: a perturbation on the coupling coefficients and external fields, and a perturbation on the underlying graph structure. We give sufficient conditions so that the ground states of a given Hamiltonian are stable under perturbations of the first kind in terms of order preservation. Here by order preservation we mean that the ordering of energy corresponding to two spin configurations in a perturbed Hamiltonian will be preserved in the original Hamiltonian up to a given error margin. We also estimate the probability that the energy gap between ground states for the original Hamiltonian and the perturbed Hamiltonian is bounded by a given error margin when the coupling coefficients and local external magnetic fields of the original Hamiltonian are i.i.d. Gaussian random variables. In the end we show a concrete example of a system which is stable under perturbations of the second kind.

math-ph↗