Iterated Function Systems Moments And Transformations Of Infinite Matrices

The authors study the moments of equilibrium measures for iterated function systems (IFSs) and draw connections to operator theory. Their main object of study is the infinite matrix which encodes all the moment data of a Borel measure on $\mathbb{R}^d$ or $\mathbb{C}$. To encode the salient features of a given IFS into precise moment data, they establish an interdependence between IFS equilibrium measures, the encoding of the sequence of moments of these measures into operators, and a new correspondence between the IFS moments and this family of operators in Hilbert space. For a given IFS, the authors' aim is to establish a functorial correspondence in such a way that the geometric transformations of the IFS turn into transformations of moment matrices, or rather transformations of the operators that are associated with them.

"September 2011, volume 213, number 1003 (fourth of 5 numbers)."

This volume contains the proceedings of the virtual AMS Special Session on Fractal Geometry and Dynamical Systems, held from May 14–15, 2022. The content covers a wide range of topics. It includes nonautonomous dynamics of complex polynomials, theory and applications of polymorphisms, topological and geometric problems related to dynamical systems, and also covers fractal dimensions, including the Hausdorff dimension of fractal interpolation functions. Furthermore, the book contains a discussion of self-similar measures as well as the theory of IFS measures associated with Bratteli diagrams. This book is suitable for graduate students interested in fractal theory, researchers interested in fractal geometry and dynamical systems, and anyone interested in the application of fractals in science and engineering. This book also offers a valuable resource for researchers working on applications of fractals in different fields.

The authors consider the two matrix model with an even quartic potential $W(y)=y^4/4+\alpha y^2/2$ and an even polynomial potential $V(x)$. The main result of the paper is the formulation of a vector equilibrium problem for the limiting mean density for the eigenvalues of one of the matrices $M_1$. The vector equilibrium problem is defined for three measures, with external fields on the first and third measures and an upper constraint on the second measure. The proof is based on a steepest descent analysis of a $4\times4$ matrix valued Riemann-Hilbert problem that characterizes the correlation kernel for the eigenvalues of $M_1$. The authors' results generalize earlier results for the case $\alpha=0$, where the external field on the third measure was not present.

A “$2$-group'' is a category equipped with a multiplication satisfying laws like those of a group. Just as groups have representations on vector spaces, $2$-groups have representations on “$2$-vector spaces'', which are categories analogous to vector spaces. Unfortunately, Lie $2$-groups typically have few representations on the finite-dimensional $2$-vector spaces introduced by Kapranov and Voevodsky. For this reason, Crane, Sheppeard and Yetter introduced certain infinite-dimensional $2$-vector spaces called ``measurable categories'' (since they are closely related to measurable fields of Hilbert spaces), and used these to study infinite-dimensional representations of certain Lie $2$-groups. Here they continue this work.

They begin with a detailed study of measurable categories. Then they give a geometrical description of the measurable representations, intertwiners and $2$-intertwiners for any skeletal measurable $2$-group. They study tensor products and direct sums for representations, and various concepts of subrepresentation. They describe direct sums of intertwiners, and sub-intertwiners--features not seen in ordinary group representation theory and study irreducible and indecomposable representations and intertwiners. They also study “irretractable'' representations--another feature not seen in ordinary group representation theory. Finally, they argue that measurable categories equipped with some extra structure deserve to be considered “separable $2$-Hilbert spaces'', and compare this idea to a tentative definition of $2$-Hilbert spaces as representation categories of commutative von Neumann algebras.

"November 2012, volume 220, number 1035 (third of 4 numbers)."

"November 2012, volume 220, Number 1033 (first of 4 numbers)."