Intersections of homogeneous Cantor sets and beta-expansions

Let $\Gamma_{\beta,N}$ be the $N$-part homogeneous Cantor set with $\beta\in(1/(2N-1),1/N)$. Any string $(j_\ell)_{\ell=1}^\N$ with $j_\ell\in\{0,\pm 1,...,\pm(N-1)\}$ such that $t=\sum_{\ell=1}^\N j_\ell\beta^{\ell-1}(1-\beta)/(N-1)$ is called a code of $t$. Let $\mathcal{U}_{\beta,\pm N}$ be the set of $t\in[-1,1]$ having a unique code, and let $\mathcal{S}_{\beta,\pm N}$ be the set of $t\in\mathcal{U}_{\beta,\pm N}$ which make the intersection $\Gamma_{\beta,N}\cap(\Gamma_{\beta,N}+t)$ a self-similar set. We characterize the set $\mathcal{U}_{\beta,\pm N}$ in a geometrical and algebraical way, and give a sufficient and necessary condition for $t\in\mathcal{S}_{\beta,\pm N}$. Using techniques from beta-expansions, we show that there is a critical point $\beta_c\in(1/(2N-1),1/N)$, which is a transcendental number, such that $\mathcal{U}_{\beta,\pm N}$ has positive Hausdorff dimension if $\beta\in(1/(2N-1),\beta_c)$, and contains countably infinite many elements if $\beta\in(\beta_c,1/N)$. Moreover, there exists a second critical point $\alpha_c=\big[N+1-\sqrt{(N-1)(N+3)}\,\big]/2\in(1/(2N-1),\beta_c)$ such that $\mathcal{S}_{\beta,\pm N}$ has positive Hausdorff dimension if $\beta\in(1/(2N-1),\alpha_c)$, and contains countably infinite many elements if $\beta\in[\alpha_c,1/N)$.Comment: 23 pages, 4 figure

Slicing Sets and Measures, and the Dimension of Exceptional Parameters

We consider the problem of slicing a compact metric space \Omega with sets of the form \pi_{\lambda}^{-1}\{t\}, where the mappings \pi_{\lambda} \colon \Omega \to \R, \lambda \in \R, are \emph{generalized projections}, introduced by Yuval Peres and Wilhelm Schlag in 2000. The basic question is: assuming that \Omega has Hausdorff dimension strictly greater than one, what is the dimension of the 'typical' slice \pi_{\lambda}^{-1}{t}, as the parameters \lambda and t vary. In the special case of the mappings \pi_{\lambda} being orthogonal projections restricted to a compact set \Omega \subset \R^{2}, the problem dates back to a 1954 paper by Marstrand: he proved that for almost every \lambda there exist positively many $t \in \R$ such that \dim \pi_{\lambda}^{-1}{t} = \dim \Omega - 1. For generalized projections, the same result was obtained 50 years later by J\"arvenp\"a\"a, J\"arvenp\"a\"a and Niemel\"a. In this paper, we improve the previously existing estimates by replacing the phrase 'almost all \lambda' with a sharp bound for the dimension of the exceptional parameters.Comment: 31 pages, three figures; several typos corrected and large parts of the third section rewritten in v3; to appear in J. Geom. Ana

On conformal measures and harmonic functions for group extensions

We prove a Perron-Frobenius-Ruelle theorem for group extensions of topological Markov chains based on a construction of $\sigma$-finite conformal measures and give applications to the construction of harmonic functions.Comment: To appear in Proceedings of "New Trends in Onedimensional Dynamics, celebrating the 70th birthday of Welington de Melo

Level Sets of the Takagi Function: Local Level Sets

The Takagi function \tau : [0, 1] \to [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. The level sets L(y) = {x : \tau(x) = y} of the Takagi function \tau(x) are studied by introducing a notion of local level set into which level sets are partitioned. Local level sets are simple to analyze, reducing questions to understanding the relation of level sets to local level sets, which is more complicated. It is known that for a "generic" full Lebesgue measure set of ordinates y, the level sets are finite sets. Here it is shown for a "generic" full Lebesgue measure set of abscissas x, the level set L(\tau(x)) is uncountable. An interesting singular monotone function is constructed, associated to local level sets, and is used to show the expected number of local level sets at a random level y is exactly 3/2.Comment: 32 pages, 2 figures, 1 table. Latest version has updated equation numbering. The final publication will soon be available at springerlink.co

Golden gaskets: variations on the Sierpi\'nski sieve

We consider the iterated function systems (IFSs) that consist of three general similitudes in the plane with centres at three non-collinear points, and with a common contraction factor \la\in(0,1). As is well known, for \la=1/2 the invariant set, \S_\la, is a fractal called the Sierpi\'nski sieve, and for \la<1/2 it is also a fractal. Our goal is to study \S_\la for this IFS for 1/2<\la<2/3, i.e., when there are "overlaps" in \S_\la as well as "holes". In this introductory paper we show that despite the overlaps (i.e., the Open Set Condition breaking down completely), the attractor can still be a totally self-similar fractal, although this happens only for a very special family of algebraic \la's (so-called "multinacci numbers"). We evaluate \dim_H(\S_\la) for these special values by showing that \S_\la is essentially the attractor for an infinite IFS which does satisfy the Open Set Condition. We also show that the set of points in the attractor with a unique ``address'' is self-similar, and compute its dimension. For ``non-multinacci'' values of \la we show that if \la is close to 2/3, then \S_\la has a nonempty interior and that if \la<1/\sqrt{3} then \S_\la$ has zero Lebesgue measure. Finally we discuss higher-dimensional analogues of the model in question.Comment: 27 pages, 10 figure

Phase transitions for suspension flows

This paper is devoted to study thermodynamic formalism for suspension flows defined over countable alphabets. We are mostly interested in the regularity properties of the pressure function. We establish conditions for the pressure function to be real analytic or to exhibit a phase transition. We also construct an example of a potential for which the pressure has countably many phase transitions.Comment: Example 5.2 expanded. Typos corrected. Section 6.1 superced the note "Thermodynamic formalism for the positive geodesic flow on the modular surface" arXiv:1009.462

Emissions from biomass burning in the Yucatan

In March 2006 two instrumented aircraft made the first detailed field measurements of biomass burning (BB) emissions in the Northern Hemisphere tropics as part of the MILAGRO project. The aircraft were the National Center for Atmospheric Research C-130 and a University of Montana/US Forest Service Twin Otter. The initial emissions of up to 49 trace gas or particle species were measured from 20 deforestation and crop residue fires on the Yucatan peninsula. This included two trace gases useful as indicators of BB (HCN and acetonitrile) and several rarely, or never before, measured species: OH, peroxyacetic acid, propanoic acid, hydrogen peroxide, methane sulfonic acid, and sulfuric acid. Crop residue fires emitted more organic acids and ammonia than deforestation fires, but the emissions from the main fire types were otherwise fairly similar. The Yucatan fires emitted unusually high amounts of SO2 and particle chloride, likely due to a strong marine influence on this peninsula. As smoke from one fire aged, the ratio ΔO3/ΔCO increased to ~15% in 1×10^7 molecules/cm^3) that were likely caused in part by high initial HONO (~10% of NO_y). Thus, more research is needed to understand critical post emission processes for the second-largest trace gas source on Earth. It is estimated that ~44 Tg of biomass burned in the Yucatan in the spring of 2006. Mexican BB (including Yucatan BB) and urban emissions from the Mexico City area can both influence the March-May air quality in much of Mexico and the US

Quantum correlations in Newtonian space and time: arbitrarily fast communication or nonlocality

We investigate possible explanations of quantum correlations that satisfy the principle of continuity, which states that everything propagates gradually and continuously through space and time. In particular, following [J.D. Bancal et al, Nature Physics 2012], we show that any combination of local common causes and direct causes satisfying this principle, i.e. propagating at any finite speed, leads to signalling. This is true even if the common and direct causes are allowed to propagate at a supraluminal-but-finite speed defined in a Newtonian-like privileged universal reference frame. Consequently, either there is supraluminal communication or the conclusion that Nature is nonlocal (i.e. discontinuous) is unavoidable.Comment: It is an honor to dedicate this article to Yakir Aharonov, the master of quantum paradoxes. Version 2 contains some more references and a clarified conclusio

Boundaries of Disk-like Self-affine Tiles

Let $T:= T(A, {\mathcal D})$ be a disk-like self-affine tile generated by an integral expanding matrix $A$ and a consecutive collinear digit set ${\mathcal D}$, and let $f(x)=x^{2}+px+q$ be the characteristic polynomial of $A$. In the paper, we identify the boundary $\partial T$ with a sofic system by constructing a neighbor graph and derive equivalent conditions for the pair $(A,{\mathcal D})$ to be a number system. Moreover, by using the graph-directed construction and a device of pseudo-norm $\omega$, we find the generalized Hausdorff dimension $\dim_H^{\omega} (\partial T)=2\log \rho(M)/\log |q|$ where $\rho(M)$ is the spectral radius of certain contact matrix $M$. Especially, when $A$ is a similarity, we obtain the standard Hausdorff dimension $\dim_H (\partial T)=2\log \rho/\log |q|$ where $\rho$ is the largest positive zero of the cubic polynomial $x^{3}-(|p|-1)x^{2}-(|q|-|p|)x-|q|$, which is simpler than the known result.Comment: 26 pages, 11 figure

Holder exponents of irregular signals and local fractional derivatives

It has been recognized recently that fractional calculus is useful for handling scaling structures and processes. We begin this survey by pointing out the relevance of the subject to physical situations. Then the essential definitions and formulae from fractional calculus are summarized and their immediate use in the study of scaling in physical systems is given. This is followed by a brief summary of classical results. The main theme of the review rests on the notion of local fractional derivatives. There is a direct connection between local fractional differentiability properties and the dimensions/ local Holder exponents of nowhere differentiable functions. It is argued that local fractional derivatives provide a powerful tool to analyse the pointwise behaviour of irregular signals and functions.Comment: 20 pages, Late