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.

Let $\unicode[STIX]{x1D707}$ be the projection on $[0,1]$ of a Gibbs measure on $\unicode[STIX]{x1D6F4}=\{0,1\}^{\mathbb{N}}$ (or more generally a Gibbs capacity) associated with a Hölder potential. The thermodynamic and multifractal properties of $\unicode[STIX]{x1D707}$ are well known to be linked via the multifractal formalism. We study the impact of a random sampling procedure on this structure. More precisely, let $\{{I_{w}\}}_{w\in \unicode[STIX]{x1D6F4}^{\ast }}$ stand for the collection of dyadic subintervals of $[0,1]$ naturally indexed by the finite dyadic words. Fix $\unicode[STIX]{x1D702}\in (0,1)$, and a sequence $(p_{w})_{w\in \unicode[STIX]{x1D6F4}^{\ast }}$ of independent Bernoulli variables of parameters $2^{-|w|(1-\unicode[STIX]{x1D702})}$. We consider the (very sparse) remaining values $\widetilde{\unicode[STIX]{x1D707}}=\{\unicode[STIX]{x1D707}(I_{w}):w\in \unicode[STIX]{x1D6F4}^{\ast },p_{w}=1\}$. We study the geometric and statistical information associated with $\widetilde{\unicode[STIX]{x1D707}}$, and the relation between $\widetilde{\unicode[STIX]{x1D707}}$ and $\unicode[STIX]{x1D707}$. To do so, we construct a random capacity $\mathsf{M}_{\unicode[STIX]{x1D707}}$ from $\widetilde{\unicode[STIX]{x1D707}}$. This new object fulfills the multifractal formalism, and its free energy is closely related to that of $\unicode[STIX]{x1D707}$. Moreover, the free energy of $\mathsf{M}_{\unicode[STIX]{x1D707}}$ generically exhibits one first order and one second order phase transition, while that of $\unicode[STIX]{x1D707}$ is analytic. The geometry of $\mathsf{M}_{\unicode[STIX]{x1D707}}$ is deeply related to the combination of approximation by dyadic numbers with geometric properties of Gibbs measures. The possibility to reconstruct $\unicode[STIX]{x1D707}$ from $\widetilde{\unicode[STIX]{x1D707}}$ by using the almost multiplicativity of $\unicode[STIX]{x1D707}$ and concatenation of words is discussed as well.

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.

In this paper we establish a general form of the mass transference principle for systems of linear forms conjectured in 2009. We also present a number of applications of this result to problems in Diophantine approximation. These include a general transference of Lebesgue measure Khintchine–Groshev type theorems to Hausdorff measure statements. The statements we obtain are applicable in both the homogeneous and inhomogeneous settings as well as allowing transference under any additional constraints on approximating integer points. In particular, we establish Hausdorff measure counterparts of some Khintchine–Groshev type theorems with primitivity constraints recently proved by Dani, Laurent and Nogueira.

We explore the problem of finding the Hausdorff dimension of the set of points that recur to shrinking targets on a self-affine fractal. To be exact, we study the dimension of a certain related symbolic recurrence set. In many cases, this set is equivalent to the recurring set on the fractal.

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.

Let $\unicode[STIX]{x1D703}$ be an irrational number and $\unicode[STIX]{x1D711}:\mathbb{N}\rightarrow \mathbb{R}^{+}$ be a monotone decreasing function tending to zero. Let

$$\begin{eqnarray}E_{\unicode[STIX]{x1D711}}(\unicode[STIX]{x1D703})=\{y\in \mathbb{R}:\Vert n\unicode[STIX]{x1D703}-y\Vert <\unicode[STIX]{x1D711}(n),\text{for infinitely many }n\in \mathbb{N}\},\end{eqnarray}$$

$\unicode[STIX]{x1D711}(n)$

$E_{\unicode[STIX]{x1D711}}(\unicode[STIX]{x1D703})$

$\unicode[STIX]{x1D711}$

$\unicode[STIX]{x1D703}$

In this paper we provide a unified approach, based on methods of descriptive set theory, for proving some classical selection theorems. Among them is the zero-dimensional Michael selection theorem, the Kuratowski–Ryll-Nardzewski selection theorem, as well as a known selection theorem for hyperspaces.

The purpose of this paper twofold. Firstly, we establish $\unicode[STIX]{x1D6F1}_{\unicode[STIX]{x1D6FE}}^{0}$-completeness and $\unicode[STIX]{x1D6F4}_{\unicode[STIX]{x1D6FE}}^{0}$-completeness of several different classes of multifractal decomposition sets of arbitrary Borel measures (satisfying a mild non-degeneracy condition and two mild “smoothness” conditions). Secondly, we apply these results to study the $\unicode[STIX]{x1D6F1}_{\unicode[STIX]{x1D6FE}}^{0}$-completeness and $\unicode[STIX]{x1D6F4}_{\unicode[STIX]{x1D6FE}}^{0}$-completeness of several multifractal decomposition sets of self-similar measures (satisfying a mild separation condition). For example, a corollary of our results shows if $\unicode[STIX]{x1D707}$ is a self-similar measure satisfying the strong separation condition and $\unicode[STIX]{x1D707}$ is not equal to the normalized Hausdorff measure on its support, then the classical multifractal decomposition sets of $\unicode[STIX]{x1D707}$ defined by

$$\begin{eqnarray}\bigg\{x\in \mathbb{R}^{d}\,\bigg|\,\lim _{r{\searrow}0}\frac{\log \unicode[STIX]{x1D707}(B(x,r))}{\log r}=\unicode[STIX]{x1D6FC}\bigg\}\end{eqnarray}$$

$\unicode[STIX]{x1D6F1}_{3}^{0}$

In the paper, we provide an effective criterion for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent if and only if their contraction vectors are equivalent provided one of the contraction vectors is homogeneous.

Based on the abstract version of the Smital property, we introduce an operator $DS$. We use it to characterise the class of semitopological abelian groups, for which addition is a quasicontinuous operation.

In this paper, we investigate the two-dimensional shrinking target problem in beta-dynamical systems. Let $\unicode[STIX]{x1D6FD}>1$ be a real number and define the $\unicode[STIX]{x1D6FD}$-transformation on $[0,1]$ by $T_{\unicode[STIX]{x1D6FD}}:x\rightarrow \unicode[STIX]{x1D6FD}x\;\text{mod}\;1$. Let $\unicode[STIX]{x1D6F9}_{i}$ ($i=1,2$) be two positive functions on $\mathbb{N}$ such that $\unicode[STIX]{x1D6F9}_{i}\rightarrow 0$ when $n\rightarrow \infty$. We determine the Lebesgue measure and Hausdorff dimension for the $\limsup$ set

$$\begin{eqnarray}W(T_{\unicode[STIX]{x1D6FD}},\unicode[STIX]{x1D6F9}_{1},\unicode[STIX]{x1D6F9}_{2})=\{(x,y)\in [0,1]^{2}:|T_{\unicode[STIX]{x1D6FD}}^{n}x-x_{0}|<\unicode[STIX]{x1D6F9}_{1}(n),|T_{\unicode[STIX]{x1D6FD}}^{n}y-y_{0}|<\unicode[STIX]{x1D6F9}_{2}(n)\text{ for infinitely many }n\in \mathbb{N}\}\end{eqnarray}$$

$x_{0},y_{0}\in [0,1]$

For every $q\in (0,1)$, we obtain the Herglotz representation theorem and discuss the Bieberbach problem for the class of $q$-convex functions of order $\unicode[STIX]{x1D6FC}$ with $0\leq \unicode[STIX]{x1D6FC}<1$. In addition, we consider the Fekete–Szegö problem and the Hankel determinant problem for the class of $q$-starlike functions, leading to two conjectures for the class of $q$-starlike functions of order $\unicode[STIX]{x1D6FC}$ with $0\leq \unicode[STIX]{x1D6FC}<1$.

For a prescribed set of lacunary data with equally spaced knot sequence in the unit interval, we show the existence of a family of fractal splines satisfying for v = 0, 1, … ,N and suitable boundary conditions. To this end, the unique quintic spline introduced by A. Meir and A. Sharma [SIAM J. Numer. Anal. 10(3) 1973, pp. 433-442] is generalized by using fractal functions with variable scaling parameters. The presence of scaling parameters that add extra “degrees of freedom”, self-referentiality of the interpolant, and “fractality” of the third derivative of the interpolant are additional features in the fractal version, which may be advantageous in applications. If the lacunary data is generated from a function Φ satisfying certain smoothness condition, then for suitable choices of scaling factors, the corresponding fractal spline satisfies , as the number of partition points increases.

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 $\{f_{n}\}_{n\geq 1}$ be an infinite iterated function system on $[0,1]$ and let $\unicode[STIX]{x1D6EC}$ be its attractor. Then, for any $x\in \unicode[STIX]{x1D6EC}$, it corresponds to a sequence of integers $\{a_{n}(x)\}_{n\geq 1}$, called the digit sequence of $x$, in the sense that

$$\begin{eqnarray}x=\lim _{n\rightarrow \infty }f_{a_{1}(x)}\circ \cdots \circ f_{a_{n}(x)}(1).\end{eqnarray}$$

In this paper we discuss the continuity of the Hausdorff dimension of the invariant set of generalised graph-directed systems given by contractive infinitesimal similitudes on bounded complete metric spaces. We use the theory of positive linear operators to show that the Hausdorff dimension varies continuously with the functions defining the generalised graph-directed system under suitable assumptions.

The theory of influence and sharp threshold is a key tool in probability and probabilistic combinatorics, with numerous applications. One significant aspect of the theory is directed at identifying the level of generality of the product probability space that accommodates the event under study. We derive the influence inequality for a completely general product space, by establishing a relationship to the Lebesgue cube studied by Bourgain, Kahn, Kalai, Katznelson and Linial (BKKKL) in 1992. This resolves one of the assertions of BKKKL. Our conclusion is valid also in the setting of the generalized influences of Keller.

We give a new necessary and sufficient condition for an iterated function system to satisfy the deterministic chaos game. As a consequence, we give a new example of an iterated function system which satisfies the deterministic chaos game.