Probability and Fourier duality for affine iterated function systems

TL;DR

This paper explores when measures associated with affine iterated function systems have orthogonal Fourier bases, establishing duality conditions using complex Hadamard matrices and methods to construct higher-dimensional spectral pairs.

Contribution

It introduces a duality framework for spectral measures generated by affine IFSs and provides methods to construct higher-dimensional spectral pairs from lower-dimensional systems.

Findings

Spectral pairs are characterized by duality conditions involving complex Hadamard matrices.

New methods are developed to generate higher-dimensional spectral pairs from lower-dimensional systems.

The framework links affine IFS structures with Fourier duality in spectral measure analysis.

Abstract

Let $d$ be a positive integer, and let $\mu$ be a finite measure on $\br^d$. In this paper we ask when it is possible to find a subset $\Lambda$ in $\br^d$ such that the corresponding complex exponential functions $e_\lambda$ indexed by $\Lambda$ are orthogonal and total in $L^2(\mu)$. If this happens, we say that $(\mu, \Lambda)$ is a spectral pair. This is a Fourier duality, and the $x$-variable for the $L^2(\mu)$-functions is one side in the duality, while the points in $\Lambda$ is the other. Stated this way, the framework is too wide, and we shall restrict attention to measures $\mu$ which come with an intrinsic scaling symmetry built in and specified by a finite and prescribed system of contractive affine mappings in $\br^d$; an affine iterated function system (IFS). This setting allows us to generate candidates for spectral pairs in such a way that the sets on both sides of the Fourier duality are generated by suitably chosen affine IFSs. For a given affine setup, we spell out the appropriate duality conditions that the two dual IFS-systems must have. Our condition is stated in terms of certain complex Hadamard matrices. Our main results give two ways of building higher dimensional spectral pairs from combinatorial algebra and spectral theory applied to lower dimensional systems.