Related papers: Probability and Fourier duality for affine iterate…

We describe a class of measurable subsets $\Omega$ in $\br^d$ such that $L^2(\Omega)$ has an orthogonal basis of frequencies $e_\lambda(x)=e^{i2\pi\lambda\cdot x}(x\in\Omega)$ indexed by $\lambda\in\Lambda\subset\br^d$. We show that such…

We analyze the two-point motions of iterated function systems on the unit interval generated by expanding and contracting affine maps, where the expansion and contraction rates are determined by a pair $(M,N)$ of integers. This dynamics…

Several important conjectures in Fractal Geometry can be summarised as follows: If the dimension of a self-similar measure in $\mathbb{R}$ does not equal its expected value, then the underlying iterated function system contains an exact…

We completely classify Fourier summation formulas of the form $$ \int_{\mathbb{R}} \widehat{\varphi}(t) d\mu(t)=\sum_{n=0}^{\infty} a(\lambda_n)\varphi(\lambda_n), $$ that hold for any test function $\varphi$, where $\widehat\varphi$ is the…

We prove that if $\mu$ is a self-affine measure in the plane whose defining IFS acts totally irreducibly on $\mathbb{RP}^1$ and satisfies an exponential separation condition, then its dimension is equal to its Lyapunov dimension. We also…

We consider linear iterated function systems with a random multiplicative error on the real line. Our system is $\{x\mapsto d_i + \lambda_i Y x\}_{i=1}^m$, where $d_i\in \R$ and $\lambda_i>0$ are fixed and $Y> 0$ is a random variable with…

In this paper we associate with an infinite family of real extended functions defined on a locally convex space, a sum, called robust sum, which is always well-defined. We also associate with that family of functions a dual pair of problems…

For a separable finite diffuse measure space $\mathcal{M}$ and an orthonormal basis $\{\varphi_n\}$ of $L^2(\mathcal{M})$ consisting of bounded functions $\varphi_n\in L^\infty(\mathcal{M})$, we find a measurable subset…

In relation to Fuglede's conjecture, we establish several Plancherel-type identities and demonstrate the surjectivity of the Fourier transform between certain unbounded tiling sets of $\mathbb{R}$ that are in duality. In the terminology…

Given a self-similar set $\Lambda$ that is the attractor of an iterated function system (IFS) $\{f_1,\dots,f_N\}$, consider the following method for constructing a random subset of $\Lambda$: Let $\mathbf{p}=(p_1,\dots,p_N)$ be a…

A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…

In this paper we consider Iterated Function Systems (IFS) on the real line consisting of continuous piecewise linear functions. We assume some bounds on the contraction ratios of the functions, but we do not assume any separation condition.…

A well-known theorem of J.E. Hutchinson states that if an iterated function system consists of similarity transformations and satisfies the open set condition then its attractor supports a self-similar measure with Hausdorff dimension equal…

Let $0< \lambda < \mu<1$ and $\lambda+\mu>1$. In this note we prove that for the vast majority of such parameters the top of the attractor $A_{\lambda,\mu}$ of the IFS $\{(\lambda x,\mu y), (\mu x+1-\mu, \lambda y+1-\lambda)\}$ is the graph…

Let $\Omega \subseteq {\bf R}^d$ be an open set of measure 1. An open set $D \subseteq {\bf R}^d$ is called a ``tight orthogonal packing region'' for $\Omega$ if $D-D$ does not intersect the zeros of the Fourier Transform of the indicator…

Let $(\mu, \Lambda)$ be the canonical spectral pair generated by a Hadamard triple $(N,B,L)$ in $\mathbb{R}$ with $0\in B \cap L$, which means that the family $\big\{ e_\lambda(x)=e^{2\pi \mathrm{i} \lambda x}: \lambda \in \Lambda \big\}$…

Indicator functions mentioned in the title are constructed on an arbitrary nondiscrete locally compact Abelian group of finite dimension. Moreover, they can be obtained by small perturbation from any indicator function fixed beforehand. In…

The two matrix model is considered, with measure given by the exponential of a sum of polynomials in two different variables. It is shown how to derive a sequence of pairs of ``dual'' finite size systems of ODEs for the corresponding…

J.C.Lagarias (2000) conjectured that if $\mu$ is a complex measure on p-dimensional Euclidean space with a uniformly discrete support and its spectrum (Fourier transform) is also a measure with a uniformly discrete support, then the support…

We study self-similar measures in $\mathbb{R}$ satisfying the weak separation condition along with weak technical assumptions which are satisfied in all known examples. For such a measure $\mu$, we show that there is a finite set of concave…