We show that properties of pairs of finite, positive, and regular Borel measures on the complex unit circle such as domination, absolute continuity, and singularity can be completely described in terms of containment and intersection of their reproducing kernel Hilbert spaces of “Cauchy transforms” in the complex unit disk. This leads to a new construction of the classical Lebesgue decomposition and proof of the Radon–Nikodym theorem using reproducing kernel theory and functional analysis.

We introduce new types of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks [Mar16]. The motivation for the construction comes from the adaptation of this method to the $\mathsf {LOCAL}$ model of distributed computing [BCG+21]. Our approach unifies the previous results in the area, as well as produces new ones. In particular, strengthening the main result of [TV21], we show that for $\Delta>2$, it is impossible to give a simple characterization of acyclic $\Delta $-regular Borel graphs with Borel chromatic number at most $\Delta $: such graphs form a $\mathbf {\Sigma }^1_2$-complete set. This implies a strong failure of Brooks-like theorems in the Borel context.

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.

Following the seminal paper by Bourgain, Brezis, and Mironescu, we focus on the asymptotic behaviour of some nonlocal functionals that, for each $u\in L^2(\mathbb {R}^N)$, are defined as the double integrals of weighted, squared difference quotients of $u$. Given a family of weights $\{\rho _{\varepsilon} \}$, $\varepsilon \in (0,\,1)$, we devise sufficient and necessary conditions on $\{\rho _{\varepsilon} \}$ for the associated nonlocal functionals to converge as $\varepsilon \to 0$ to a variant of the Dirichlet integral. Finally, some comparison between our result and the existing literature is provided.

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].

We introduce a class of Falconer distance problems, which we call of restricted type, lying between the classical version and its pinned variant. Prototypical restricted distance sets are the diagonal distance sets, k-point configuration sets given by

$$ \begin{align*}\Delta^{\mathrm{diag}}(E)= \{ \,|(x,x,\dots,x)-(y_1,y_2,\dots,y_{k-1})| : x, y_1, \dots,y_{k-1} \in E\, \}\end{align*} $$

$E\subset \mathbb {R}^d$

$k\ge 3$

$\Delta ^{\mathrm{diag}}(E)$

(0.1)

$$ \begin{align} \dim(E)> \begin{cases} \frac{2d+1}3, & k=3, \\ \frac{(k-1)d}k,& k\ge 4. \end{cases} \end{align} $$

$C^\omega $

We prove a joint partial equidistribution result for common perpendiculars with given density on equidistributing equidistant hypersurfaces, towards a measure supported on truncated stable leaves. We recover a result of Marklof on the joint partial equidistribution of Farey fractions at a given density, and give several analogous arithmetic applications, including in Bruhat–Tits trees.

We propose a reformulation of the ideal $\mathcal {N}$ of Lebesgue measure zero sets of reals modulo an ideal J on $\omega $, which we denote by $\mathcal {N}_J$. In the same way, we reformulate the ideal $\mathcal {E}$ generated by $F_\sigma $ measure zero sets of reals modulo J, which we denote by $\mathcal {N}^*_J$. We show that these are $\sigma $-ideals and that $\mathcal {N}_J=\mathcal {N}$ iff J has the Baire property, which in turn is equivalent to $\mathcal {N}^*_J=\mathcal {E}$. Moreover, we prove that $\mathcal {N}_J$ does not contain co-meager sets and $\mathcal {N}^*_J$ contains non-meager sets when J does not have the Baire property. We also prove a deep connection between these ideals modulo J and the notion of nearly coherence of filters (or ideals).

We also study the cardinal characteristics associated with $\mathcal {N}_J$ and $\mathcal {N}^*_J$. We show their position with respect to Cichoń’s diagram and prove consistency results in connection with other very classical cardinal characteristics of the continuum, leaving just very few open questions. To achieve this, we discovered a new characterization of $\mathrm {add}(\mathcal {N})$ and $\mathrm {cof}(\mathcal {N})$. We also show that, in Cohen model, we can obtain many different values to the cardinal characteristics associated with our new ideals.

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 study a nonlinear Beltrami equation $f_\theta =\sigma \,|f_r|^m f_r$ in polar coordinates $(r,\theta ),$ which becomes the classical Cauchy–Riemann system under $m=0$ and $\sigma =ir.$ Using the isoperimetric technique, various lower estimates for $|f(z)|/|z|, f(0)=0,$ as $z\to 0,$ are derived under appropriate integral conditions on complex/directional dilatations. The sharpness of the above bounds is illustrated by several examples.

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.

For every $n\geq 2$, Bourgain’s constant $b_n$ is the largest number such that the (upper) Hausdorff dimension of harmonic measure is at most $n-b_n$ for every domain in $\mathbb {R}^n$ on which harmonic measure is defined. Jones and Wolff (1988, Acta Mathematica 161, 131–144) proved that $b_2=1$. When $n\geq 3$, Bourgain (1987, Inventiones Mathematicae 87, 477–483) proved that $b_n>0$ and Wolff (1995, Essays on Fourier analysis in honor of Elias M. Stein (Princeton, NJ, 1991), Princeton University Press, Princeton, NJ, 321–384) produced examples showing $b_n<1$. Refining Bourgain’s original outline, we prove that

$$\begin{align*}b_n\geq c\,n^{-2n(n-1)}/\ln(n),\end{align*}$$

$n\geq 3$

$c>0$

$b_3\geq 1\times 10^{-15}$

$b_4\geq 2\times 10^{-26}$

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 two unital C*-algebras equipped with states and a positive operator in the enveloping von Neumann algebra of their minimal tensor product, we define three parameters that measure the capacity of the operator to align with a coupling of the two given states. Further, we establish a duality formula that shows the equality of two of the parameters for operators in the minimal tensor product of the relevant C*-algebras. In the context of abelian C*-algebras, our parameters are related to quantitative versions of Arveson's null set theorem and to dualities considered in the theory of optimal transport. On the other hand, restricting to matrix algebras we recover and generalize quantum versions of Strassen's theorem. We show that in the latter case our parameters can detect maximal entanglement and separability.

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.

Marstrand’s theorem states that applying a generic rotation to a planar set A before projecting it orthogonally to the x-axis almost surely gives an image with the maximal possible dimension $\min(1, \dim A)$. We first prove, using the transversality theory of Peres–Schlag locally, that the same result holds when applying a generic complex linear-fractional transformation in $PSL(2,\mathbb{C})$ or a generic real linear-fractional transformation in $PGL(3,\mathbb{R})$. We next show that, under some necessary technical assumptions, transversality locally holds for restricted families of projections corresponding to one-dimensional subgroups of $PSL(2,\mathbb{C})$ or $PGL(3,\mathbb{R})$. Third, we demonstrate, in any dimension, local transversality and resulting projection statements for the families of closest-point projections to totally-geodesic subspaces of hyperbolic and spherical geometries.