For $x\in (0,1]$ and a positive integer $n,$ let $S_{\!n}(x)$ denote the summation of the first $n$ digits in the dyadic expansion of $x$ and let $r_{n}(x)$ denote the run-length function. In this paper, we obtain the Hausdorff dimensions of the following sets:

$$\begin{eqnarray}\bigg\{x\in (0,1]:\liminf _{n\rightarrow \infty }\frac{S_{\!n}(x)}{n}=\unicode[STIX]{x1D6FC},\limsup _{n\rightarrow \infty }\frac{S_{\!n}(x)}{n}=\unicode[STIX]{x1D6FD},\lim _{n\rightarrow \infty }\frac{r_{n}(x)}{\log _{2}n}=\unicode[STIX]{x1D6FE}\bigg\},\end{eqnarray}$$

$0\leq \unicode[STIX]{x1D6FC}\leq \unicode[STIX]{x1D6FD}\leq 1$

$0\leq \unicode[STIX]{x1D6FE}\leq +\infty$

In this paper we study the Assouad dimension of graphs of certain Lévy processes and functions defined by stochastic integrals. We do this by introducing a convenient condition which guarantees a graph to have full Assouad dimension and then show that graphs of our studied processes satisfy this condition.

For the class of self-similar measures in $\mathbb{R}^{d}$ with overlaps that are essentially of finite type, we set up a framework for deriving a closed formula for the $L^{q}$-spectrum of the measure for $q\geq 0$. This framework allows us to include iterated function systems that have different contraction ratios and those in higher dimension. For self-similar measures with overlaps, closed formulas for the $L^{q}$-spectrum have only been obtained earlier for measures satisfying Strichartz’s second-order identities. We illustrate how to use our results to prove the differentiability of the $L^{q}$-spectrum, obtain the multifractal dimension spectrum, and compute the Hausdorff dimension of the measure.

Bilinear fractal interpolation surfaces were introduced by Ruan and Xu in 2015. In this paper, we present the formula for their box dimension under certain constraint conditions.

Given a positive, decreasing sequence a, whose sum is L, we consider all the closed subsets of [0, L] such that the lengths of their complementary open intervals are in one-to-one correspondence with the sequence a. The aim of this paper is to investigate the possible values that Assouad-type dimensions can attain for this class of sets. In many cases, the set of attainable values is a closed interval whose endpoints we determine.

We define fractal interpolation on unbounded domains for a certain class of topological spaces and construct local fractal functions. In addition, we derive some properties of these local fractal functions, consider their tensor products, and give conditions for local fractal functions on unbounded domains to be elements of Bochner–Lebesgue spaces.

Through appropriate choices of elements in the underlying iterated function system, the methodology of fractal interpolation enables us to associate a family of continuous self-referential functions with a prescribed real-valued continuous function on a real compact interval. This procedure elicits what is referred to as an α-fractal operator on , the space of all real-valued continuous functions defined on a compact interval I. With an eye towards connecting fractal functions with other branches of mathematics, in this paper we continue to investigate the fractal operator in more general spaces such as the space of all bounded functions and the Lebesgue space , and in some standard spaces of smooth functions such as the space of k-times continuously differentiable functions, Hölder spaces and Sobolev spaces . Using properties of the α-fractal operator, the existence of Schauder bases consisting of self-referential functions for these function spaces is established.

As an application of the boundary parametrization developed in our previous papers, we propose a new method to deduce information on the connected components of the interior of tiles. This gives a systematic way to study the topology of a certain class of self-affine tiles. An example due to Bandt and Gelbrich is examined to prove the efficiency of the method.

Let μ λ be the Bernoulli convolution associated with λ ∈ (0, 1). The well-known result of Jorgensen and Pedersen shows that if λ = 1/(2k) for some k ∈ ℕ, then μ 1/(2k) is a spectral measure with spectrum Γ(1/(2k)). The recent research on the spectrality of μ λ shows that μ λ is a spectral measure only if λ = 1/(2k) for some k ∈ ℕ. Moreover, for certain odd integer p, the multiple set pΓ(1/(2k)) is also a spectrum for μ 1/(2k). This is surprising because some spectra for the measure μ 1/(2k) are thinning. In this paper we mainly characterize the number p that has the above property. By applying the properties of congruences and the order of elements in the finite group, we obtain several conditions on p such that pΓ(1/(2k)) is a spectrum for μ 1/(2k).

This article explores the properties of fractal interpolation functions with variable scaling parameters, in the context of smooth fractal functions. The first part extends the Barnsley–Harrington theorem for differentiability of fractal functions and the fractal analogue of Hermite interpolation to the present setting. The general result is applied on a special class of iterated function systems in order to develop differentiability of the so-called $\boldsymbol{{\it\alpha}}$-fractal functions. This leads to a bounded linear map on the space ${\mathcal{C}}^{k}(I)$ which is exploited to prove the existence of a Schauder basis for ${\mathcal{C}}^{k}(I)$ consisting of smooth fractal functions.

In this article, we investigate the pointwise behaviors of functions on the Heisenberg group. We find wavelet characterizations for the global and local Hölder exponents. Then we prove some a priori upper bounds for the multifractal spectrum of all functions in a given Hölder, Sobolev, or Besov space. These upper bounds turn out to be optimal, since in all cases they are reached by typical functions in the corresponding functional spaces. We also explain how to adapt our proof to extend our results to Carnot groups.

In this paper, we present a general framework to construct fractal interpolation surfaces (FISs) on rectangular grids. Then we introduce bilinear FISs, which can be defined without any restriction on interpolation points and vertical scaling factors.

The self-affine measure μM, D corresponding to M = diag[p1, p2, p3] (pj ∈ ℤ \ {0, ± 1}, j = 1, 2, 3) and D = {0, e1, e2, e3} in the space ℝ3 is supported on the three-dimensional Sierpinski gasket T(M, D), where e1, e2, e3 are the standard basis of unit column vectors in ℝ3. We shall determine the spectrality and non-spectrality of μM, D, and show that if pj ∈ 2ℤ \ {0, 2} for j = 1, 2, 3, then μM, D is a spectral measure, and if pj ∈ (2ℤ + 1) \ {±1} for j = 1, 2, 3, then μM, D is a non-spectral measure and there exist at most 4 mutually orthogonal exponential functions in L2(μM, D), where the number 4 is the best possible. This generalizes the known results on the spectrality of self-affine measures.

We study dimensional properties of visible parts of fractal percolation in the plane. Provided that the dimension of the fractal percolation is at least 1, we show that, conditioned on non-extinction, almost surely all visible parts from lines are one dimensional. Furthermore, almost all of them have positive and finite Hausdorff measure. We also verify analogous results for visible parts from points. These results are motivated by an open problem on the dimensions of visible parts.

We consider the spectra of the Laplacians of two sequences of fractal graphs in the context of the general theory introduced by Sabot in 2003. For the sequence of graphs associated with the pentagasket, we give a description of the eigenvalues in terms of the iteration of a map from (ℂ2)3 to itself. For the sequence of graphs introduced in a previous paper by the author, we show that the results found therein can be related to Sabot's theory.

We study conical density properties of general Borel measures on Euclidean spaces. Our results are analogous to the previously known result on the upper density properties of Hausdorff and packing-type measures.

This paper computes the Box and Hausdorff dimensions of the intersections of the Sierpinski carpet with planar lines of rational slopes.

The aim of this paper is to investigate and study the possible spectral pair $(\mu_{M,D},\varLambda(M,S))$ associated with the iterated function systems $\{\phi_{d}(x)= M^{-1}(x+d)\}_{d\in D}$ and $\{\psi_{s}(x)=M^{\ast}x+s\}_{s\in S}$ in $\mathbb{R}^n$. For a large class of self-affine measures $\mu_{M,D}$, we obtain an easy check condition for $\varLambda(M,S)$ not to be a spectrum, and answer a question of whether we have such a spectral pair $(\mu_{M,D},\varLambda(M,S))$ in the Eiffel Tower or three-dimensional Sierpinski gasket. Further generalization of the given condition as well as some elementary properties of compatible pairs and spectral pairs are discussed. Finally, we give several interesting examples to illustrate the spectral pair conditions considered here.

We consider a simple self-similar sequence of graphs that does not satisfy the symmetry conditions that imply the existence of a spectral decimation property for the eigenvalues of the graph Laplacians. We show that, for this particular sequence, a very similar property to spectral decimation exists, and we obtain a complete description of the spectra of the graphs in the sequence.