We provide two methods to characterise the connectedness of all d-dimensional generalised Sierpiński sponges whose corresponding iterated function systems (IFSs) are allowed to have rotational and reflectional components. Our approach is to reduce it to an intersection problem between the coordinates of graph-directed attractors. More precisely, let $(K_1,\ldots,K_n)$ be a Cantor-type graph-directed attractor in ${\mathbb {R}}^d$. By creating an auxiliary graph, we provide an effective criterion for whether $K_i\cap K_j$ is empty for every pair of $1\leq i,j\leq n$. Moreover, the emptiness can be checked by examining only a finite number of geometric approximations of the attractor. The approach is also applicable to more general graph-directed systems.

In this article, we calculate the Birkhoff spectrum in terms of the Hausdorff dimension of level sets for Birkhoff averages of continuous potentials for a certain family of diagonally affine iterated function systems. Also, we study Besicovitch–Eggleston sets for finite generalized Lüroth series number systems with redundancy. The redundancy refers to the fact that each number $x \in [0,1]$ has uncountably many expansions in the system. We determine the Hausdorff dimension of digit frequency sets for such expansions along fibres.

In this paper,the linear space $\mathcal F$ of a special type of fractal interpolation functions (FIFs) on an interval I is considered. Each FIF in $\mathcal F$ is established from a continuous function on I. We show that, for a finite set of linearly independent continuous functions on I, we get linearly independent FIFs. Then we study a finite-dimensional reproducing kernel Hilbert space (RKHS) $\mathcal F_{\mathcal B}\subset\mathcal F$, and the reproducing kernel $\mathbf k$ for $\mathcal F_{\mathcal B}$ is defined by a basis of $\mathcal F_{\mathcal B}$. For a given data set $\mathcal D=\{(t_k, y_k) : k=0,1,\ldots,N\}$, we apply our results to curve fitting problems of minimizing the regularized empirical error based on functions of the form $f_{\mathcal V}+f_{\mathcal B}$, where $f_{\mathcal V}\in C_{\mathcal V}$ and $f_{\mathcal B}\in \mathcal F_{\mathcal B}$. Here $C_{\mathcal V}$ is another finite-dimensional RKHS of some classes of regular continuous functions with the reproducing kernel $\mathbf k^*$. We show that the solution function can be written in the form $f_{\mathcal V}+f_{\mathcal B}=\sum_{m=0}^N\gamma_m\mathbf k^*_{t_m} +\sum_{j=0}^N \alpha_j\mathbf k_{t_j}$, where ${\mathbf k}_{t_m}^\ast(\cdot)={\mathbf k}^\ast(\cdot,t_m)$ and $\mathbf k_{t_j}(\cdot)=\mathbf k(\cdot,t_j)$, and the coefficients γm and αj can be solved by a system of linear equations.

Let $[a_1(x),a_2(x),\ldots ,a_n(x),\ldots ]$ be the continued fraction expansion of $x\in [0,1)$ and $q_n(x)$ be the denominator of its nth convergent. The irrationality exponent and Khintchine exponent of x are respectively defined by

$$ \begin{align*} \overline{v}(x)=2+\limsup_{n\to\infty}\frac{\log a_{n+1}(x)}{\log q_n(x)} \quad \text{and}\quad \gamma(x)=\lim_{n\to\infty}\frac{1}{n}\sum_{i=1}^{n}\log a_i(x). \end{align*} $$

We study the multifractal spectrum of the irrationality exponent and the Khintchine exponent for continued fractions with nondecreasing partial quotients. For any $v>2$, we completely determine the Hausdorff dimensions of the sets $\{x\in [0,1): a_1(x)\leq a_2(x)\leq \cdots , \overline {v}(x)=v\}$ and

$$ \begin{align*}\bigg\{x\in[0,1): a_1(x)\leq a_2(x)\leq\cdots, \lim\limits_{n\to\infty}\frac{\log a_1(x)+\log a_2(x)+\cdots+\log a_n(x)}{\psi(n)}=1\bigg\},\end{align*} $$

where $\psi :\mathbb {N}\rightarrow \mathbb {R}^+$ is a function satisfying $\psi (n)\to \infty $ as $n\to \infty $.

For $ \beta>1 $, let $ T_\beta $ be the $\beta $-transformation on $ [0,1) $. Let $ \beta _1,\ldots ,\beta _d>1 $ and let $ \mathcal P=\{P_n\}_{n\ge 1} $ be a sequence of parallelepipeds in $ [0,1)^d $. Define

$$ \begin{align*}W(\mathcal P)=\{\mathbf{x}\in[0,1)^d:(T_{\beta_1}\times\cdots \times T_{\beta_d})^n(\mathbf{x})\in P_n\text{ infinitely often}\}.\end{align*} $$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}}$

$ P_n $

$\dim _{\mathrm {H}} W(\mathcal P)$

$\dim _{\mathrm {H}} W(\mathcal P)$

We define balanced self-similar quasi-round carpets and compare the carpet moduli of some path families relating to such a carpet. Then, using some known results on quasiconformal geometry of carpets, we prove that the group of quasisymmetric self-homeomorphisms of every balanced self-similar quasi-round carpet is finite. Furthermore, we prove that some balanced self-similar carpets in the unit square with strong geometric symmetry are quasisymmetrically rigid by using the quasisymmetry of weak tangents of carpets.

We study the multifractal properties of the uniform approximation exponent and asymptotic approximation exponent in continued fractions. As a corollary, we calculate the Hausdorff dimension of the uniform Diophantine set

$$ \begin{align*} {\mathcal{U}(\hat{\nu})}= &\ \{x\in[0,1)\colon \text{for all }N\gg1,\text{ there exists }n\in[1,N],\\&\ \ \text{ such that }|T^{n}(x)-y| < |I_{N}(y)|^{\hat{\nu}}\} \end{align*} $$

$y\in [0,1)$

For $\lambda \in (0,\,1/2]$ let $K_\lambda \subset \mathbb {R}$ be a self-similar set generated by the iterated function system $\{\lambda x,\, \lambda x+1-\lambda \}$. Given $x\in (0,\,1/2)$, let $\Lambda (x)$ be the set of $\lambda \in (0,\,1/2]$ such that $x\in K_\lambda$. In this paper we show that $\Lambda (x)$ is a topological Cantor set having zero Lebesgue measure and full Hausdorff dimension. Furthermore, we show that for any $y_1,\,\ldots,\, y_p\in (0,\,1/2)$ there exists a full Hausdorff dimensional set of $\lambda \in (0,\,1/2]$ such that $y_1,\,\ldots,\, y_p \in K_\lambda$.

We compare the dimension of a non-invertible self-affine set to the dimension of the respective invertible self-affine set. In particular, for generic planar self-affine sets, we show that the dimensions coincide when they are large and differ when they are small. Our study relies on thermodynamic formalism where, for dominated and irreducible matrices, we completely characterise the behaviour of the pressures.

Feng and Huang [Variational principle for weighted topological pressure. J. Math. Pures Appl. (9) 106 (2016), 411–452] introduced weighted topological entropy and pressure for factor maps between dynamical systems and established its variational principle. Tsukamoto [New approach to weighted topological entropy and pressure. Ergod. Th. & Dynam. Sys. 43 (2023), 1004–1034] redefined those invariants quite differently for the simplest case and showed via the variational principle that the two definitions coincide. We generalize Tsukamoto’s approach, redefine the weighted topological entropy and pressure for higher dimensions, and prove the variational principle. Our result allows for an elementary calculation of the Hausdorff dimension of affine-invariant sets such as self-affine sponges and certain sofic sets that reside in Euclidean space of arbitrary dimension.

Let $[a_1(x),a_2(x),a_3(x),\ldots ]$ be the continued fraction expansion of an irrational number $x\in [0,1)$. We are concerned with the asymptotic behaviour of the product of consecutive partial quotients of x. We prove that, for Lebesgue almost all $x\in [0,1)$,

$$ \begin{align*} \liminf_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n} = 0\quad \text{and}\quad \limsup_{n \to \infty} \frac{\log (a_n(x)a_{n+1}(x))}{\log n}=1. \end{align*} $$

We also study the Baire category and the Hausdorff dimension of the set of points for which the above liminf and limsup have other different values and similarly analyse the weighted product of consecutive partial quotients.

Let $K\subset {\mathbb {R}}^d$ be a self-similar set generated by an iterated function system $\{\varphi _i\}_{i=1}^m$ satisfying the strong separation condition and let f be a contracting similitude with $f(K)\subseteq K$. We show that $f(K)$ is relatively open in K if all $\varphi _i$ share a common contraction ratio and orthogonal part. We also provide a counterexample when the orthogonal parts are allowed to vary. This partially answers a question of Elekes, Keleti and Máthé [Ergod. Th. & Dynam. Sys. 30 (2010), 399–440]. As a byproduct of our argument, when $d=1$ and K admits two homogeneous generating iterated function systems satisfying the strong separation condition but with contraction ratios of opposite signs, we show that K is symmetric. This partially answers a question of Feng and Wang [Adv. Math. 222 (2009), 1964–1981].

Let $\{b_n\}_{n=1}^{\infty }$ be a sequence of integers larger than 1. We will study the harmonic analysis of the equal-weighted Moran measures $\mu _{\{b_n\},\{{\mathcal D}_n\}}$ with ${\mathcal D}_n=\{0,1,2,\ldots ,q_n-1\}$, where $q_n$ divides $b_n$ for all $n\geq 1.$ In this paper, we first characterize all the maximal orthogonal sets of $L^2(\mu _{\{b_n\},\{{\mathcal D}_n\}})$ via a tree mapping. By this characterization, we give some sufficient conditions for the maximal orthogonal set to be an orthonormal basis.

We show that the Hausdorff dimension of any slice of the graph of the Takagi function is bounded above by the Assouad dimension of the graph minus one, and that the bound is sharp. The result is deduced from a statement on more general self-affine sets, which is of independent interest. We also prove that Marstrand’s slicing theorem on the graph of the Takagi function extends to all slices if and only if the upper pointwise dimension of every projection of the length measure on the x-axis lifted to the graph is at least one.

We determine almost sure limits of rescaled intrinsic volumes of the construction steps of fractal percolation in ${\mathbb R}^d$ for any dimension $d\geq 1$. We observe a factorization of these limit variables which allows one, in particular, to determine their expectations and covariance structure. We also show the convergence of the rescaled expectations and variances of the intrinsic volumes of the construction steps to the expectations and variances of the limit variables, and we give rates for this convergence in some cases. These results significantly extend our previous work, which addressed only limits of expectations of intrinsic volumes.

We present an elementary proof that the Rauzy gasket has Hausdorff dimension strictly smaller than two.

In this paper, we study the dimension of planar self-affine sets, of which generating iterated function system (IFS) contains non-invertible affine mappings. We show that under a certain separation condition the dimension equals to the affinity dimension for a typical choice of the linear-parts of the non-invertible mappings, furthermore, we show that the dimension is strictly smaller than the affinity dimension for certain choices of parameters.

Given a Borel probability measure µ on $\mathbb{R}^n$ and a real matrix $R\in M_n(\mathbb{R})$. We call R a spectral eigenmatrix of the measure µ if there exists a countable set $\Lambda\subset \mathbb{R}^n$ such that the sets $E_\Lambda=\big\{{\rm e}^{2\pi i \langle\lambda,x\rangle}:\lambda\in \Lambda\big\}$ and $E_{R\Lambda}=\big\{{\rm e}^{2\pi i \langle R\lambda,x\rangle}:\lambda\in \Lambda\big\}$ are both orthonormal bases for the Hilbert space $L^2(\mu)$. In this paper, we study the structure of spectral eigenmatrix of the planar self-affine measure $\mu_{M,D}$ generated by an expanding integer matrix $M\in M_2(2\mathbb{Z})$ and the four-elements digit set $D = \{(0,0)^t,(1,0)^t,(0,1)^t,(-1,-1)^t\}$. Some sufficient and/or necessary conditions for R to be a spectral eigenmatrix of $\mu_{M,D}$ are given.

This paper seeks to build on the extensive connections that have arisen between automata theory, combinatorics on words, fractal geometry, and model theory. Results in this paper establish a characterization for the behavior of the fractal geometry of “k-automatic” sets, subsets of $[0,1]^d$ that are recognized by Büchi automata. The primary tools for building this characterization include the entropy of a regular language and the digraph structure of an automaton. Via an analysis of the strongly connected components of such a structure, we give an algorithmic description of the box-counting dimension, Hausdorff dimension, and Hausdorff measure of the corresponding subset of the unit box. Applications to definability in model-theoretic expansions of the real additive group are laid out as well.