BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Boris Solomyak appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We construct an example of an iterated function system on the line, consisting of linear fractional transformations, such that two of the maps share a fixed points, but the dimension of the attractor equals the conformal dimension, so that there is no ``dimension drop''.
The paper is devoted to generic translation flows corresponding to Abelian differentials on flat surfaces of arbitrary genus $g\ge 2$. These flows are weakly mixing by the Avila-Forni theorem. In genus 2, the Hölder property for the spectral measures of these flows was established in our papers [10,12]. Recently Forni [17], motivated by [10], obtained Hölder estimates for spectral measures in the case of surfaces of arbitrary genus. Here we combine Forni's idea with the symbolic approach of [10] and prove Hölder regularity for spectral measures of flows on random Markov compacta, in particular, for translation flows in all genera.
We consider one-parameter families of smooth uniformly contractive iterated function systems $\{f^λ_j\}$ on the real line. Given a family of parameter dependent measures $\{μ_λ\}$ on the symbolic space, we study geometric and dimensional properties of their images under the natural projection maps $Π^λ$. The main novelty of our work is that the measures $μ_λ$ depend on the parameter, whereas up till now it has been usually assumed that the measure on the symbolic space is fixed and the parameter dependence comes only from the natural projection. This is especially the case in the question of absolute continuity of the projected measure $(Π^λ)_*μ_λ$, where we had to develop a new approach in place of earlier attempt which contains an error. Our main result states that if $μ_λ$ are Gibbs measures for a family of Hölder continuous potentials $ϕ^λ$, with Hölder continuous dependence on $λ$ and $\{Π^λ\}$ satisfy the transversality condition, then the projected measure $(Π^λ)_*μ_λ$ is absolutely continuous for Lebesgue a.e.\ $λ$, such that the ratio of entropy over the Lyapunov exponent is strictly greater than $1$. We deduce it from a more general almost sure lower bound on the Sobolev dimension for families of measures with regular enough dependence on the parameter. Under less restrictive assumptions, we also obtain an almost sure formula for the Hausdorff dimension. As applications of our results, we study stationary measures for iterated function systems with place-dependent probabilities (place-dependent Bernoulli convolutions and the Blackwell measure for binary channel) and equilibrium measures for hyperbolic IFS with overlaps (in particular: natural measures for non-homogeneous self-similar IFS and certain systems corresponding to random continued fractions).
A sufficient condition for a substitution automorphism to have pure singular spectrum is given in terms of the top Lyapunov exponent of the associated spectral cocycle. As a corollary, singularity of the spectrum is established for an infinite family of self-similar interval exchange transformations.
For substitution systems and translation flows, a new cocycle, which we call {\em spectral cocycle}, is introduced, whose Lyapunov exponents govern the local dimension of the spectral measure for higher-level cylindrical functions. The construction relies on the symbolic representation of translation flows and the formalism of matrix Riesz products.
We prove that, after removing a zero Hausdorff dimension exceptional set of parameters, all self-similar measures on the line have a power decay of the Fourier transform at infinity. In the homogeneous case, when all contraction ratios are equal, this is essentially due to Erdős and Kahane. In the non-homogeneous case the difficulty we have to overcome is the apparent lack of convolution structure.
We show that in many parametrized families of self-similar measures, their projections, and their convolutions, the set of parameters for which the measure fails to be absolutely continuous is very small - of co-dimension at least one in parameter space. This complements an active line of research concerning similar questions for dimension. Moreover, we establish some regularity of the density outside this small exceptional set, which applies in particular to Bernoulli convolutions; along the way, we prove some new results about the dimensions of self-similar measures and the absolute continuity of the convolution of two measures. As a concrete application, we obtain a very strong version of Marstrand's projection theorem for planar self-similar sets.
We prove for the square Fibonacci Hamiltonian that the density of states measure is absolutely continuous for almost all pairs of small coupling constants. This is obtained from a new result we establish about the absolute continuity of convolutions of measures arising in hyperbolic dynamics with exact-dimensional measures.
The paper gives first quantitative estimates on the modulus of continuity of the spectral measure for weak mixing suspension flows over substitution automorphisms, which yield information about the "fractal" structure of these measures. The main results are, first, a Hoelder estimate for the spectral measure of almost all suspension flows with a piecewise constant roof function; second, a log-Hoelder estimate for self-similar suspension flows; and, third, a Hoelder asymptotic expansion of the spectral measure at zero for such flows. Our second result implies log-Hoelder estimates for the spectral measures of translation flows along stable foliations of pseudo-Anosov automorphisms. A key technical tool in the proof of the second result is an "arithmetic-Diophantine" proposition, which has other applications. In the appendix this proposition is used to derive new decay estimates for the Fourier transforms of Bernoulli convolutions.
We consider infinite measure-preserving non-primitive self-similar tiling systems in Euclidean space $\mathbb R^d$. We establish the second-order ergodic theorem for such systems, with exponent equal to the Hausdorff dimension of a graph-directed self-similar set associated with the substitution rule.
In an earlier work, joint with R. Kenyon, we computed the Hausdorff dimension of the "multiplicative golden mean shift" defined as the set of all reals in [0,1] whose binary expansion (x_k) satisfies x_k x_{2k}=0 for all k=1,2... Here we show that this set has infinite Hausdorff measure in its dimension. A more precise result in terms of gauges in which the Hausdorff measure is infinite is also obtained.
We consider Bratteli diagrams of finite rank (not necessarily simple) and ergodic invariant measures with respect to the cofinal equivalence relation on their path spaces. It is shown that every ergodic invariant measure (finite or "regular" infinite) is obtained by an extension from a simple subdiagram. We further investigate quantitative properties of these measures, which are mainly determined by the asymptotic behavior of products of incidence matrices. A number of sufficient conditions for unique ergodicity are obtained. One of these is a condition of exact finite rank, which parallels a similar notion in measurable dynamics. Several examples illustrate the broad range of possible behavior of finite type diagrams and invariant measures on them. We then prove that the Vershik map on the path space of an exact finite rank diagram cannot be strongly mixing, independent of the ordering. On the other hand, for the so-called "consecutive" ordering, the Vershik map is not strongly mixing on all finite rank diagrams.
Let $1<q<2$ and \[ Λ(q)={\sum_{k=0}^n a_kq^k\mid a_k\in\{-1,0,1\}, n\ge1}. \] It is well known that if $q$ is not a root of a polynomial with coefficients $0,\pm1$, then $Λ(q)$ is dense in $\mathbb{R}$. We give several sufficient conditions for the denseness of $Λ(q)$ when $q$ is a root of such a polynomial. In particular, we prove that if $q$ is not a Perron number or it has a conjugate $α$ such that $q|α|<1$, then $Λ(q)$ is dense in $\mathbb{R}$.
We consider self-affine tiling substitutions in Euclidean space and the corresponding tiling dynamical systems. It is well-known that in the primitive case the dynamical system is uniquely ergodic. We investigate invariant measures when the substitution is not primitive, and the tiling dynamical system is non-minimal. We prove that all ergodic invariant probability measures are supported on minimal components, but there are other natural ergodic invariant measures, which are infinite. Under some mild assumptions, we completely characterize $σ$-finite invariant measures which are positive and finite on a cylinder set. A key step is to establish recognizability of non-periodic tilings in our setting. Examples include the "integer Sierpiński gasket and carpet" tilings. For such tilings the only invariant probability measure is supported on trivial periodic tilings, but there is a fully supported $σ$-finite invariant measure, which is locally finite and unique up to scaling.
Let $ν_λ^p$ be the distribution of the random series $\sum_{n=1}^\infty i_n λ^n$, where $i_n$ is a sequence of i.i.d. random variables taking the values 0,1 with probabilities $p,1-p$. These measures are the well-known (biased) Bernoulli convolutions. In this paper we study the multifractal spectrum of $ν_λ^p$ for typical $λ$. Namely, we investigate the size of the sets \[ Δ_{λ,p}(α) = \left\{x\in\R: \lim_{r\searrow 0} \frac{\log ν_λ^p(B(x,r))}{\log r} =α\right\}. \] Our main results highlight the fact that for almost all, and in some cases all, $λ$ in an appropriate range, $Δ_{λ,p}(α)$ is nonempty and, moreover, has positive Hausdorff dimension, for many values of $α$. This happens even in parameter regions for which $ν_λ^p$ is typically absolutely continuous.
We consider self-affine tilings in $\R^n$ with expansion matrix $ϕ$ and address the question which matrices $ϕ$ can arise this way. In one dimension, $λ$ is an expansion factor of a self-affine tiling if and only if $|λ|$ is a Perron number, by a result of Lind. In two dimensions, when $ϕ$ is a similarity, we can speak of a complex expansion factor, and there is an analogous necessary condition, due to Thurston: if a complex $λ$ is an expansion factor of a self-similar tiling, then it is a complex Perron number. We establish a necessary condition for $ϕ$ to be an expansion matrix for any $n$, assuming only that $ϕ$ is diagonalizable over the complex numbers. We conjecture that this condition on $ϕ$ is also sufficient for the existence of a self-affine tiling.
We consider self-affine tilings in the Euclidean space and the associated tiling dynamical systems, namely, the translation action on the orbit closure of the given tiling. We investigate the spectral properties of the system. It turns out that the presence of the discrete component depends on the algebraic properties of the eigenvalues of the expansion matrix $ϕ$ for the tiling. Assuming that $ϕ$ is diagonalizable over $\C$ and all its eigenvalues are algebraic conjugates of the same multiplicity, we show that the dynamical system has a relatively dense discrete spectrum if and only if it is not weakly mixing, and if and only if the spectrum of $ϕ$ is a "Pisot family". Moreover, this is equivalent to the Meyer property of the associated discrete set of "control points" for the tiling.
We consider linear iterated function systems (IFS) with a constant contraction ratio in the plane for which the "overlap set" $\Ok$ is finite, and which are "invertible" on the attractor $A$, the sense that there is a continuous surjection $q: A\to A$ whose inverse branches are the contractions of the IFS. The overlap set is the critical set in the sense that $q$ is not a local homeomorphism precisely at $\Ok$. We suppose also that there is a rational function $p$ with the Julia set $J$ such that $(A,q)$ and $(J,p)$ are conjugate. We prove that if $A$ has bounded turning and $p$ has no parabolic cycles, then the conjugacy is quasisymmetric. This result is applied to some specific examples including an uncountable family. Our main focus is on the family of IFS $\{λz,λz+1\}$ where $λ$ is a complex parameter in the unit disk, such that its attractor $A_\lam$ is a dendrite, which happens whenever $\Ok$ is a singleton. C. Bandt observed that a simple modification of such an IFS (without changing the attractor) is invertible and gives rise to a quadratic-like map $q_\lam$ on $A_\lam$. If the IFS is post-critically finite, then a result of A. Kameyama shows that there is a quadratic map $p_c(z)=z^2+c$, with the Julia set $J_c$ such that $(A_\lam,q_\lam)$ and $(J_c,p_c)$ are conjugate. We prove that this conjugacy is quasisymmetric and obtain partial results in the general (not post-critically finite) case.
We consider finite Bernoulli convolutions with a parameter $1/2 < r < 1$ supported on a discrete point set, generically of size $2^N$. These sequences are uniformly distributed with respect to the infinite Bernoulli convolution measure $ν_r$, as $N$ tends to infinity. Numerical evidence suggests that for a generic $r$, the distribution of spacings between appropriately rescaled points is Poissonian. We obtain some partial results in this direction; for instance, we show that, on average, the pair correlations do not exhibit attraction or repulsion in the limit. On the other hand, for certain algebraic $r$ the behavior is totally different.
We consider a Branching Random Walk on $\R$ whose step size decreases by a fixed factor, $0<b<1$, with each turn. This process generates a random probability measure on $\R$, that is, the limit of uniform distribution among the $2^n$ particles of the $n$-th step. We present an initial investigation of the limit measure and its support. We show, in particular, that (1) for almost every $b>1/2$ the limit measure is almost surely (a.s.) absolutely continuous with respect to the Lebesgue measure, but for Pisot $1/b$ it is a.s. singular; (2) for all $b > (\sqrt{5}-1)/2$ the support of the measure is a.s. the closure of its interior; (3) for Pisot $1/b$ the support of the measure is ``fractured'': it is a.s. disconnected and the components of the complement are not isolated on both sides.
We prove that for the uniquely ergodic ${\bf R}^d$ action associated with a primitive substitution tiling of finite local complexity, every measurable eigenfunction coincides with a continuous function almost everywhere. Thus, topological weak-mixing is equivalent to measure-theoretic weak-mixing for such actions. If the expansion map for the substitution is a pure dilation by $θ>1$ and the substitution has a fixed point, then failure of weak-mixing is equivalent to $θ$ being a Pisot number.
We prove that a primitive substitution Delone set, which is pure point diffractive, is a Meyer set. This answers a question of J. C. Lagarias. We also show that for primitive substitution Delone sets, being a Meyer set is equivalent to having a relatively dense set of Bragg peaks. The proof is based on tiling dynamical systems and the connection between the diffraction and dynamical spectra.
It is proved that every pseudo-self-affine tiling in R^d is mutually locally derivable with a self-affine tiling. A characterization of pseudo-self-similar tilings in terms of derived Voronoi tessellations is a corollary. Previously, these results were obtained in the planar case, jointly with Priebe Frank. The new approach is based on the theory of graph-directed iterated function systems and substitution Delone sets developed by Lagarias and Wang.
We investigate topological mixing for Z and R actions associated with primitive substitutions on two letters. The characterization is complete if the second eigenvalue $θ_2$ of the substitution matrix satisfies $|θ_2|\ne 1$. If $|θ_2|<1$, then (as is well-known) the substitution system is not topologically weak mixing, so it is not topologically mixing. We prove that if $|θ_2|> 1$, then topological mixing is equivalent to topological weak mixing, which has an explicit arithmetic characterization. The case $|θ_2|=1$ is more delicate, and we only obtain some partial results.
We prove that a purely unrectifiable self-similar set of finite 1-dimensional Hausdorff measure in the plane, satisfying the Open Set Condition, has radial projection of zero length from every point.
In a recent paper, Pertti Mattila asked which gauge functions $ϕ$ have the property that for any planar Borel set $A$ with positive Hausdorff measure in gauge $ϕ$, the projection of $A$ to almost every line has positive length. We show that integrability near zero of $ϕ(r)/(r^2)$, which is known to be sufficient for this property, is also necessary if $ϕ$ is regularly varying. Our proof is based on a random construction adapted to the gauge function.
We consider the "Mandelbrot set" $M$ for pairs of complex linear maps, introduced by Barnsley and Harrington in 1985 and studied by Bousch, Bandt and others. It is defined as the set of parameters $λ$ in the unit disk such that the attractor $A_λ$ of the IFS $\{λz-1, λz+1\}$ is connected. We show that a non-trivial portion of $M$ near the imaginary axis is contained in the closure of its interior (it is conjectured that all non-real points of $M$ are in the closure of the set of interior points of $M$). Next we turn to the attractors $A_λ$ themselves and to natural measures $ν_λ$ supported on them. These measures are the complex analogs of much-studied infinite Bernoulli convolutions. Extending the results of Erdös and Garsia, we demonstrate how certain classes of complex algebraic integers give rise to singular and absolutely continuous measures $ν_λ$. Next we investigate the Hausdorff dimension and measure of $A_λ$, for $λ$ in the set $M$, for Lebesgue-a.e. $λ$. We also obtain partial results on the absolute continuity of $ν_λ$ for a.e. $λ$ of modulus greater than $\sqrt{1/2}$.