Quantum Iterated Function Systems

Iterated functions system (IFS) is defined by specifying a set of functions in a classical phase space, which act randomly on an initial point. In an analogous way, we define a quantum iterated functions system (QIFS), where functions act randomly with prescribed probabilities in the Hilbert space. In a more general setting a QIFS consists of completely positive maps acting in the space of density operators. We present exemplary classical IFSs, the invariant measure of which exhibits fractal structure, and study properties of the corresponding QIFSs and their invariant states.Comment: 12 pages, 1 figure include

Numerics and Fractals

Local iterated function systems are an important generalisation of the standard (global) iterated function systems (IFSs). For a particular class of mappings, their fixed points are the graphs of local fractal functions and these functions themselves are known to be the fixed points of an associated Read-Bajactarevi\'c operator. This paper establishes existence and properties of local fractal functions and discusses how they are computed. In particular, it is shown that piecewise polynomials are a special case of local fractal functions. Finally, we develop a method to compute the components of a local IFS from data or (partial differential) equations.Comment: version 2: minor updates and section 6.1 rewritten, arXiv admin note: substantial text overlap with arXiv:1309.0243. text overlap with arXiv:1309.024

Iterated function systems, representations, and Hilbert space

This paper studies a general class of Iterated Function Systems (IFS). No contractivity assumptions are made, other than the existence of some compact attractor. The possibility of escape to infinity is considered. Our present approach is based on Hilbert space, and the theory of representations of the Cuntz algebras O_n, n=2,3,.... While the more traditional approaches to IFS's start with some equilibrium measure, ours doesn't. Rather, we construct a Hilbert space directly from a given IFS; and our construction uses instead families of measures. Starting with a fixed IFS S_n, with n branches, we prove existence of an associated representation of O_n, and we show that the representation is universal in a certain sense. We further prove a theorem about a direct correspondence between a given system S_n, and an associated sub-representation of the universal representation of O_n.Comment: 22 pages, 3 figures containing 7 EPS graphics; LaTeX2e ("elsart" document class); v2 reflects change in Comments onl