2025-02-07 | | Total: 6
In this paper, relying on known results on consistent Hermite-Padé approximations of a system of trigonometric series, sufficient conditions are found under which linear Hermite-Chebyshev approximations exist and are determined uniquely. When the found conditions are met, formulas describing the explicit form of the numerators and denominator of linear Hermite-Padé approximations for a system of functions that are sums of Fourier series with respect to Chebyshev polynomials of the first and second kind are obtained.
We extend Falconer's 1988 landmark result on the dimensions of self-affine fractals to encompass the dimensions of their projections, showing furthermore that their families of exceptional projections contain algebraic varieties which are preserved by the underlying linear algebraic group. The techniques which we develop allow us to construct examples of additional new phenomena: firstly, we give general examples of equilibrium measures on self-affine fractals which admit non-exact-dimensional projections. Secondly, we construct strongly irreducible self-affine sets which have small sumsets without any arithmetic resonance in their construction.
Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\|<1/2$ for $1\leq i\leq m$. For ${\bf a}=(a_1,\ldots, a_m)\in {\Bbb R}^{md}$, let $\pi^{\bf a}\colon \Sigma=\{1,\ldots, m\}^{\Bbb N}\to {\Bbb R}^d$ denote the coding map associated with the affine IFS $\{T_ix+a_i\}_{i=1}^m$, and let $K^{\bf a}$ denote the attractor of this IFS. Let $W$ be a linear subspace of ${\Bbb R}^d$ and $P_W$ the orthogonal projection onto $W$. We show that for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$, the Hausdorff and box-counting dimensions of $P_W(K^{\bf a})$ coincide and are determined by the zero point of a certain pressure function associated with $T_1,\ldots, T_m$ and $W$. Moreover, for every ergodic $\sigma$-invariant measure $\mu$ on $\Sigma$ and for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$, the local dimensions of $(P_W\pi^{\bf a})_*\mu$ exist almost everywhere, here $(P_W\pi^{\bf a})_*\mu$ stands for the push-forward of $\mu$ by $P_W\pi^{\bf a}$. However, $(P_W\pi^{\bf a})_*\mu$ may not be exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$. Nevertheless, when $\mu$ is a Bernoulli product measure, or more generally, a supermultiplicative ergodic $\sigma$-invariant measure, $(P_W\pi^{\bf a})_*\mu$ is exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$.
We generalise our still-wide-open $q$-rious positivity conjecture from 2011 to a $q$-rious unimodality conjecture.
Dimension interpolation is a novel programme of research which attempts to unify the study of fractal dimension by considering various spectra which live in between well-studied notions of dimension such as Hausdorff, box, Assouad and Fourier dimension. These spectra often reveal novel features not witnessed by the individual notions and this information has applications in many directions. In this survey article, we discuss dimension interpolation broadly and then focus on applications to the dimension theory of orthogonal projections. We focus on three distinct applications coming from three different dimension spectra, namely, the Fourier spectrum, the intermediate dimensions, and the Assouad spectrum. The celebrated Marstrand--Mattila projection theorem gives the Hausdorff dimension of the orthogonal projection of a Borel set in Euclidean space for almost all orthogonal projections. This result has inspired much further research on the dimension theory of projections including the consideration of dimensions other than the Hausdorff dimension, and the study of the exceptional set in the Marstrand--Mattila theorem.
Neural ordinary differential equations (ODEs) provide expressive representations of invertible transport maps that can be used to approximate complex probability distributions, e.g., for generative modeling, density estimation, and Bayesian inference. We show that for a large class of transport maps $T$, there exists a time-dependent ODE velocity field realizing a straight-line interpolation $(1-t)x + tT(x)$, $t \in [0,1]$, of the displacement induced by the map. Moreover, we show that such velocity fields are minimizers of a training objective containing a specific minimum-energy regularization. We then derive explicit upper bounds for the $C^k$ norm of the velocity field that are polynomial in the $C^k$ norm of the corresponding transport map $T$; in the case of triangular (Knothe--Rosenblatt) maps, we also show that these bounds are polynomial in the $C^k$ norms of the associated source and target densities. Combining these results with stability arguments for distribution approximation via ODEs, we show that Wasserstein or Kullback--Leibler approximation of the target distribution to any desired accuracy $\epsilon > 0$ can be achieved by a deep neural network representation of the velocity field whose size is bounded explicitly in terms of $\epsilon$, the dimension, and the smoothness of the source and target densities. The same neural network ansatz yields guarantees on the value of the regularized training objective.