BZPEER

preprint2026arXiv

Foundations of local iterated function systems

In this paper we present a systematic study of continuous local iterated function systems. We prove local iterated function systems admit compact attractors and, under a contractivity assumption, construct their code space and present an extended shift that describes admissible compositions. In particular, the possible combinatorial structure of a local iterated function system is in bijection with the space of invariant subsets of the full shift. Nevertheless, these objects reveal a degree of unexpectedness relative to the classical framework, as we build examples of local iterated function systems which are not modeled by subshifts of finite type and give rise to non self-similar attractors. We also prove that all attractors of graph-directed IFSs are obtained from local IFSs on an enriched compact metric space. We provide several classes of examples illustrating the scope of our results, emphasizing both their contrasts and connections with the classical theory of iterated function systems.

preprint2022arXiv

Existence of invariant idempotent measures by contractivity of idempotent Markov operators

We prove that the idempotent Markov operator generated by contractive max plus normalized iterated function system (IFS) is also a contractive map w.r.t. natural metrics on the space of idempotent measures. This gives alternative proofs of the existence of invariant idempotent measures for such IFSs.

preprint2020arXiv

A multiresolution algorithm to approximate the Hutchinson measure for IFS and GIFS

We introduce the discrete version of the Hutchinson--Barnsley theory providing algorithms to approximate the Hutchinson measure for iterated function systems (IFS) and generalized iterated function systems (GIFS) complementing the discrete version of the deterministic algorithm considered in our previous work DOS to generate attractors of both classical and fuzzy IFS and GIFS.

preprint2020arXiv

Most Laplacian eigenvalues of a tree are small

We show that the number of Laplacian eigenvalues greater than the average degree of a tree having $n$ vertices is at most $\lfloor\frac{n}{2} \rfloor$ .

preprint2020arXiv

Spectral ordering and 2-switch transformations

We address the problem of ordering trees with the same degree sequence by their spectral radii. To achieve that, we consider 2-switch transformations which preserve the degree sequence and establish when the index decreases. Our main contribution is to determine a total ordering of a particular family by their indices according to a given parameter related to sizes in the tree.

preprint2017arXiv

No two starlikes have equal index

The index of a graph is the largest eigenvalue of its adjacency matrix. A starlike is a tree having a unique vertex of degree $r>2$ . We show how to order the starlike trees with $n>3$ by their indices. In particular, the indices of starlike trees are all distinct.

preprint2016arXiv

Fuzzy Attractors Appearing from GIFZS

Cabrelli, Forte, Molter and Vrscay in 1992 considered a {fuzzy} version of the theory of iterated function systems (IFSs in short) and their fractals%The idea was to extend the classical Hutchinson-Barnsley operator to selfmaps of a metric space to appropriate selfmaps of space of fuzzy , which now is quite rich and important part of the fractals theory. On the other hand, Miculescu and Mihail in 2008 introduced another generalization of the IFSs' theory - instead of selfmaps of a metric space $X$ , they considered mappings defined on the finite Cartesian product $X^m$ . %It turns out that many parts of the classical Hutchinson-Barnsley fractals theory have natural counterparts in this generalized setting. In particular, if $X$ is complete, then appropriately contractive systems of such maps generate unique fractal sets. In this paper we show that the \emph{fuzzyfication} ideas of Cabrelli et al. can be naturally adjusted to the case of mappings defined on finite Cartesian product. In particular, we define the notion of a generalized iterated fuzzy function system (GIFZS in short) and prove that it generates a unique fuzzy fractal set. We also study some basic properties of GIFZSs and their fractals, and consider the question whether our setting gives us some new fuzzy fractal sets.

preprint2016arXiv

On the thin boundary of the fat attractor

For, $0<λ<1$ , consider the transformation $T(x) = d x$ (mod 1) on the circle $S^1$ , a $C^1$ function $A:S^1 \to \mathbb{R}$ , and, the map $F(x,s) = ( T(x) , λ\, s + A(x))$ , $(x,s)\in S^1 \times \mathbb{R}$ . We denote $\mathcal{B}= \mathcal{B}_λ$ the upper boundary of the attractor (known as fat attractor). We are interested in the regularity of $\mathcal{B}_λ$ , and, also in what happens in the limit when $λ\to 1$ . We also address the analysis of the following conjecture which were proposed by R. Bamón, J. Kiwi, J. Rivera-Letelier and R. Urzúa: for any fixed $λ$ , $C^1$ generically on the potential $A$ , the upper boundary $\mathcal{B}_λ$ is formed by a finite number of pieces of smooth unstable manifolds of periodic orbits for $F$ . We show the proof of the conjecture for the class of $C^2$ potentials $A(x)$ satisfying the twist condition (plus a combinatorial condition). We do not need the generic hypothesis for this result. We present explicit examples. On the other hand, when $λ$ is close to $1$ and the potential $A$ is generic a more precise description can be done. In this case the finite number of pieces of $C^1$ curves on the boundary have some special properties. Having a finite number of pieces on this boundary is an important issue in a problem related to semi-classical limits and micro-support. This was consider in a recent published work by A. Lopes and J. Mohr. Finally, we present the general analysis of the case where $A$ is Lipschitz and its relation with Ergodic Transport

preprint2015arXiv

Duality results for Iterated Function Systems with a general family of branches

For $X$ , $Y$ , $Z$ and $W$ compact metric spaces, consider two uniformly contractive IFS $\{τ_x: Z\to Z,\, x\in x\}$ and $\{τ_y:W\to W,\, y\in Y\}$ . For a fixed $α\in \mathcal{P}(X)$ with $supp(α)=X$ we define the entropy of a holonomic measure $π\in \mathcal{P}(X\times Z)$ relative to $α$ , the pressure of a continuous cost function $c(x,z)$ and show that for $c$ Lipschitz this pressure coincides with the spectral radius of the associated transfer operator. The same approach can be applied to the pair $Y,W$ . For fixed probabilities $α\in \mathcal{P}(X)$ and $β\in \mathcal{P}(Y)$ with $supp(α)=X,\,supp(β)=Y$ we denote by $H_α(π), π\in Π(\cdot,\cdot,τ)$ , the entropy of the $(X,Z)-$ marginal of $π$ relative to $α$ and denote by $H_β(π)$ , the entropy of the $(Y,W)-$ marginal of $π$ relative to $β$ . The marginal pressure of a continuous cost function $c \in C(X\times Y \times Z \times W)$ relative to $(α,β)$ will be defined by $P^{m}(c) = \sup_{π\inΠ(\cdot,\cdot,τ)} \int c\, dπ+ H_α(π) +H_β(π)$ and we will show the following duality result: $\inf_{P^{m}(c -φ(x) -ψ(y))=0} \int φ(x)\,dμ+\int ψ(y)\,dν= \sup_{π\inΠ(μ,ν,τ)} \int c\, dπ+ H_α(π) +H_β(π).$ When $Z$ and $W$ have only one point and the entropy is unconsidered this equality can be rewritten as the Kantorovich Duality for compact spaces $X,Y$ and continuous cost $-c$ : $\inf_{c -φ(x) -ψ(y)\leq 0} \int φ(x)\,dμ+\int ψ(y)\,dν= \sup_{π\inΠ(μ,ν)} \int c\, dπ.$

preprint2015arXiv

The Ergodic Theorem for a new kind of attractor of a GIFS

In 1987, J. H. Elton, has proved the first fundamental result in convergence of IFS, the Elton's Ergodic Theorem. In this work we prove the natural extension of this theorem to the projected Hutchinson measure $μ_α$ associated to a GIFSpdp $\mathcal{S}=\left(X, (ϕ_j:X^{m} \to X)_{j=0,1, ..., n-1}, (p_j)_{j=0,1, ..., n-1}\right),$ in a compact metric space $(X,d)$ . More precisely, the average along of the trajectories $x_{n}(a)$ of the GIFS, starting in any initial points $x_0, ..., x_{m-1} \in X$ satisfies, for any $f \in C(X , \mathbb{R})$ , $\lim_{N\to +\infty} \frac{1}{N}\sum_{n=0 }^{N-1} f(x_{n}(a)) = \int_{X} f(t) dμ_α(t),$ for almost all $a \in Ω=\{0,1, ..., n-1\}^{\mathbb{N}}$ , the symbolic space. Additionally, we give some examples and applications to Chaos Games and Nonautonomous Dynamical Systems defined by finite difference equations.

preprint2014arXiv

A note on the dynamics of linear automorphisms of a measure convolution algebra

In this work we are going to study the dynamics of the linear automorphisms of a measure convolution algebra over a finite group, $T(μ)=ν* μ$ . In order to understand an classify the asymptotic behavior of this dynamical system we provide an alternative to classical results, a very direct way to understand convergence of the sequence $\{ν^{n}\}_{n\in\mathbb{N}}$ , where $G$ is a finite group, $ν\in\mathcal{P}(G)$ and $ν^n=\underbrace{ν\ast...\astν}_n$ , trough the subgroup generated by his support.

preprint2014arXiv

The Dual Potential, the involution kernel and Transport in Ergodic Optimization

Consider the shift $σ$ acting on the Bernoulli space $Σ={1,2,...,n}^\mathbb{N}$ . We denote $\hatΣ= {1,2,...,n}^\mathbb{Z}$ . We analyze several properties of the maximizing probability $μ_{\infty,A}$ of a Holder potential $A: Σ\to \mathbb{R}$ . Associated to $A(x)$ , via the involution kernel, $W: \hatΣ \to \mathbb{R}$ , it is known that can we get the dual potential $A^*(y)$ , where $(x,y)\in \hatΣ$ . Consider $μ_{\infty, A^*}$ a maximizing probability for $A^*$ . We would like to consider the transport problem from $μ_{\infty,A}$ to $μ_{\infty,A^*}$ . In this case, it is natural to consider the cost function $c(x,y) = I(x) - W(x,y) +γ$ , where $I$ is the deviation function. The pair of functions for the Kantorovich Transport dual Problem are $(-V,-V^*$ ), where we denote the two calibrated sub-actions by $V$ and $V^*$ , respectively, for $A$ and $A^*$ for $μ_{\infty,A}$ . We analyze the graph property for the optimal plan $\hatμ$ .

preprint2012arXiv

Ergodic Transport Theory and Piecewise Analytic Subactions for Analytic Dynamics

We consider a piecewise analytic real expanding map $f: [0,1]\to [0,1]$ of degree $d$ which preserves orientation, and a real analytic positive potential $g: [0,1] \to \mathbb{R}$ . We assume the map and the potential have a complex analytic extension to a neighborhood of the interval in the complex plane. We also assume $\log g$ is well defined for this extension. It is known in Complex Dynamics that under the above hypothesis, for the given potential $β\,\log g$ , where $β$ is a real constant, there exists a real analytic eigenfunction $ϕ_β$ defined on $[0,1]$ (with a complex analytic extension) for the Ruelle operator of $β\,\log g$ . Under some assumptions we show that $\frac{1}β\, \log ϕ_β$ converges and is a piecewise analytic calibrated subaction. Our theory can be applied when $\log g(x)=-\log f'(x)$ . In that case we relate the involution kernel to the so called scaling function.

preprint2011arXiv

Piecewise Analytic Subactions for Analytic Dynamics

We consider a piecewise analytic expanding map f: [0,1]-> [0,1] of degree d which preserves orientation, and an analytic positive potential g: [0,1] -> R. We address the analysis of the following problem: for a given analytic potential beta log g, where beta is a real constant, it is well known that there exists a real analytic (with a complex analytic extension to a small complex neighborhood of [0,1]) eigenfunction phi_beta for the Ruelle operator. One can ask: what happen with the function phi_beta, when beta goes to infinity. The domain of analyticity can change with beta. The correct question should be: is 1/ beta log phi_beta analytic in the limit, when beta goes to infinity ? Under a uniqueness assumption, this limit, when beta goes to infinity, is in fact a calibrated subaction V (see bellow definition). We show here that under certain conditions and for a certain class of generic potentials this continuous function is piecewise analytic (but not analytic). In a few examples one can get that the subaction is analytic (we need at least to assume that the maximizing probability has support in a unique fixed point).

Elismar R. Oliveira

Research overview

Is this your work?

14 publications

Foundations of local iterated function systems

Existence of invariant idempotent measures by contractivity of idempotent Markov operators

A multiresolution algorithm to approximate the Hutchinson measure for IFS and GIFS

Most Laplacian eigenvalues of a tree are small

Spectral ordering and 2-switch transformations

No two starlikes have equal index

Fuzzy Attractors Appearing from GIFZS

On the thin boundary of the fat attractor

Duality results for Iterated Function Systems with a general family of branches

The Ergodic Theorem for a new kind of attractor of a GIFS

A note on the dynamics of linear automorphisms of a measure convolution algebra

The Dual Potential, the involution kernel and Transport in Ergodic Optimization

Ergodic Transport Theory and Piecewise Analytic Subactions for Analytic Dynamics

Piecewise Analytic Subactions for Analytic Dynamics

See the researcher in context

Building this map preview