A measure is called $L^p$-improving if it acts by convolution as a bounded operator from $L^q$ to L² for some q < 2. Interesting examples include Riesz product measures, Cantor measures and certain measures on curves. We show that equicontractive, self-similar measures are $L^p$-improving if and only if they satisfy a suitable linear independence property. Certain self-affine measures are also seen to be $L^p$-improving.

Let $S_i:{ℝ}^d\to {ℝ}^d$ for i = 1,..., N be contracting similarities, let $(p₁,...,p_N,p)$ be a probability vector and let ν be a probability measure on ${ℝ}^d$ with compact support. It is well known that there exists a unique inhomogeneous self-similar probability measure μ on ${ℝ}^d$ such that $\mu ={\sum }_{i=1}^N{p}_i\mu \circ S_i^{-1}+p\nu$. We give satisfactory estimates for the lower and upper bounds of the $L^q$ spectra of inhomogeneous self-similar measures. The case in which there are a countable number of contracting similarities and probabilities is considered. In particular,...

Let M be a d × d real contracting matrix. We consider the self-affine iterated function system Mv-u, Mv+u, where u is a cyclic vector. Our main result is as follows: if $\left|detM\right|\ge 2^{-1/d}$, then the attractor $A_M$ has non-empty interior. We also consider the set ${}_M$ of points in $A_M$ which have a unique address. We show that unless M belongs to a very special (non-generic) class, the Hausdorff dimension of ${}_M$ is positive. For this special class the full description of ${}_M$ is given as well. This paper continues our...

A ring extension $R\subseteq S$ is said to be strongly affine if each $R$-subalgebra of $S$ is a finite-type $R$-algebra. In this paper, several characterizations of strongly affine extensions are given. For instance, we establish that if $R$ is a quasi-local ring of finite dimension, then $R\subseteq S$ is integrally closed and strongly affine if and only if $R\subseteq S$ is a Prüfer extension (i.e. $(R,S)$ is a normal pair). As a consequence, the equivalence of strongly affine extensions, quasi-Prüfer extensions and INC-pairs is shown....

Let $(X,d_X)$, $(\Omega ,d_{\Omega })$ be complete separable metric spaces. Denote by (X) the space of probability measures on X, by $W_p$ the p-Wasserstein metric with some p ∈ [1,∞), and by ${}_p\left(X\right)$ the space of probability measures on X with finite Wasserstein distance from any point measure. Let $f:\Omega {\to }_p\left(X\right)$, $\omega \mapsto f_{\omega }$, be a Borel map such that f is a contraction from $(\Omega ,d_{\Omega })$ into ${(}_p\left(X\right),W_p)$. Let ν₁,ν₂ be probability measures on Ω with $W_p(\nu ₁,\nu ₂)$ finite. On X we consider the subordinated measures ${\mu }_i={\int }_{\Omega }{f}_{\omega }d{\nu }_i\left(\omega \right)$. Then $W_p(\mu ₁,\mu ₂)\le W_p(\nu ₁,\nu ₂)$. As an application we show that the solution measures ${\varrho }_{\alpha }\left(t\right)$...

Suppose that $\mu$ is an absolutely continuous probability measure on ${}^R$n, for large $n$. Then $\mu$ has low-dimensional marginals that are approximately spherically-symmetric. More precisely, if $n\ge {(C/\epsilon )}^{Cd}$, then there exist $d$-dimensional marginals of $\mu$ that are $\epsilon$-far from being sphericallysymmetric, in an appropriate sense. Here $C>0$ is a universal constant.

We present a new theorem on the differential inequality $u^{\left(m\right)}\le w\left(u\right)$. Next, we apply this result to obtain existence theorems for the equation $x^{\left(m\right)}=f(t,x)$.

Let ν be a positive measure on a σ-algebra Σ of subsets of some set and let X be a Banach space. Denote by ca(Σ,X) the Banach space of X-valued measures on Σ, equipped with the uniform norm, and by ca(Σ,ν,X) its closed subspace consisting of those measures which vanish at every ν-null set. We are concerned with the subsets ${}_{\nu }\left(X\right)$ and ${}_{\nu }\left(X\right)$ of ca(Σ,X) defined by the conditions |φ| = ν and |φ| ≥ ν, respectively, where |φ| stands for the variation of φ ∈ ca(Σ,X). We establish necessary and sufficient...

Let $X_i$, i∈ I, and $Y_j$, j∈ J, be compact convex sets whose sets of extreme points are affinely independent and let φ be an affine homeomorphism of ${\prod }_{i\in I}{X}_i$ onto ${\prod }_{j\in J}{Y}_j$. We show that there exists a bijection b: I → J such that φ is the product of affine homeomorphisms of $X_i$ onto $Y_{b\left(i\right)}$, i∈ I.

Motivated by the fundamental theorem of calculus, and based on the works of W. Feller as well as M. Kac and M. G. Kreĭn, given an atomless Borel probability measure $\eta$ supported on a compact subset of $ℝ$ U. Freiberg and M. Zähle introduced a measure-geometric approach to define a first order differential operator ${\nabla }_{\eta }$ and a second order differential operator ${\Delta }_{\eta }$, with respect to $\eta$. We generalize this approach to measures of the form $\eta :=\nu +\delta$, where $\nu$ is non-atomic and $\delta$ is finitely supported. We determine...

Motivated by recent developments on calculus in metric measure spaces $(X,\mathrm{d},\mathrm{m})$, we prove a general duality principle between Fuglede’s notion [15] of $p$-modulus for families of finite Borel measures in $(X,\mathrm{d})$ and probability measures with barycenter in $L^q(X,\mathrm{m})$, with $q$ dual exponent of $p\in (1,\infty )$. We apply this general duality principle to study null sets for families of parametric and non-parametric curves in $X$. In the final part of the paper we provide a new proof, independent of optimal transportation, of the...

We reduce the problem of describing all $ℳf_m$-natural operators  transforming general affine connections on $m$-manifolds into general affine ones to the known description of all $GL\left({𝐑}^m\right)$-invariant maps ${𝐑}^{m*}\otimes {𝐑}^m\to {\otimes }^k{𝐑}^{m*}\otimes {\otimes }^k{𝐑}^m$ for $k=1,3$.

A measure is called $L^p$-improving if it acts by convolution as a bounded operator from $L^p$ to $L^q$ for some q > p. Positive measures which are $L^p$-improving are known to have positive Hausdorff dimension. We extend this result to complex $L^p$-improving measures and show that even their energy dimension is positive. Measures of positive energy dimension are seen to be the Lipschitz measures and are characterized in terms of their improving behaviour on a subset of $L^p$-functions.

Let ${\mu }_{M,D}$ be a self-affine measure associated with an expanding matrix M and a finite digit set D. We study the spectrality of ${\mu }_{M,D}$ when |det(M)| = |D| = p is a prime. We obtain several new sufficient conditions on M and D for ${\mu }_{M,D}$ to be a spectral measure with lattice spectrum. As an application, we present some properties of the digit sets of integral self-affine tiles, which are connected with a conjecture of Lagarias and Wang.

We investigate the effect of admitting signed measures as a datum at the scalar Chern-Simons equation $$-\Delta u+{\mathrm{e}}^u({\mathrm{e}}^u-1)=\mu \text{in}\Omega$$ with the Dirichlet boundary condition. Approximating $\mu$ by a sequence ${\left({\mu }_n\right)}_{n\in \mathbb{N}}$ of $L^1$ functions or finite signed measures such that this equation has a solution $u_n$ for each $n\in \mathbb{N}$, we are interested in establishing the convergence of the sequence ${\left(u_n\right)}_{n\in \mathbb{N}}$ to a function $u^{\#}$ and describing the form of the measure which appears on the right-hand side of the scalar Chern-Simons equation solved by $u^{\#}$.

Let ${\mu }_A$ be the singular measure on the Heisenberg group ${ℍ}^n$ supported on the graph of the quadratic function $\varphi \left(y\right)=y^{t}Ay$, where $A$ is a $2n\times 2n$ real symmetric matrix. If $det(2A\pm J)\ne 0$, we prove that the operator of convolution by ${\mu }_A$ on the right is bounded from $L^{\frac{(2n+2)}{(2n+1)}}\left({ℍ}^n\right)$ to $L^{2n+2}\left({ℍ}^n\right)$. We also study the type set of the measures $\mathrm{d}{\nu }_{\gamma }(y,s)=\eta \left(y\right){\left|y\right|}^{-\gamma }\mathrm{d}{\mu }_A(y,s)$, for $0\le \gamma <2n$, where $\eta$ is a cut-off function around the origin on ${ℝ}^{2n}$. Moreover, for $\gamma =0$ we characterize the type set of ${\nu }_0$.

Given an integral scheme $X$ over a non-archimedean valued field $k$, we construct a universal closed embedding of $X$ into a $k$-scheme equipped with a model over the field with one element ${𝔽}_1$ (a generalization of a toric variety). An embedding into such an ambient space determines a tropicalization of $X$ by previous work of the authors, and we show that the set-theoretic tropicalization of $X$ with respect to this universal embedding is the Berkovich analytification $X^{\mathrm{an}}$. Moreover, using the scheme-theoretic...

Let ${\alpha }_i,{\beta }_i>0$, 1 ≤ i ≤ n, and for t > 0 and x = (x₁,...,xₙ) ∈ ℝⁿ, let $t•x=(t^{\alpha ₁}x₁,...,t^{\alpha ₙ}xₙ)$, $t\circ x=(t^{\beta ₁}x₁,...,t^{\beta ₙ}xₙ)$ and $\left|\right|x\left|\right|={\sum }_{i=1}^n{\left|x_i\right|}^{1/{\alpha }_i}$. Let φ₁,...,φₙ be real functions in $C^{\infty }(ℝⁿ-0)$ such that φ = (φ₁,..., φₙ) satisfies φ(t • x) = t ∘ φ(x). Let γ > 0 and let μ be the Borel measure on ${ℝ}^{2n}$ given by $\mu \left(E\right)={\int }_{ℝⁿ}{\chi }_E{(x,\phi \left(x\right))\left|\right|x\left|\right|}^{\gamma -\alpha }dx$, where $\alpha ={\sum }_{i=1}^n{\alpha }_i$ and dx denotes the Lebesgue measure on ℝⁿ. Let $T_{\mu }f=\mu \ast f$ and let $\left|\right|T_{\mu }{\left|\right|}_{p,q}$ be the operator norm of $T_{\mu }$ from $L^p\left({ℝ}^{2n}\right)$ into $L^q\left({ℝ}^{2n}\right)$, where the $L^p$ spaces are taken with respect to the Lebesgue measure. The type set $E_{\mu }$ is defined by $E_{\mu }=(1/p,1/q):\left|\right|T_{\mu }{\left|\right|}_{p,q}<\infty ,1\le p,q\le \infty$. In the case ${\alpha }_i\ne {\beta }_k$ for 1 ≤ i,k ≤ n we characterize the...

Let $\beta >1$ be a non-integer. We consider expansions of the form ${\sum }_{i=1}^{\infty }{d}_i/{\beta }^i$, where the digits ${\left(d_i\right)}_{i\ge 1}$ are generated by means of a Borel map $K_{\beta }$ defined on ${\{0,1\}}^{\mathbb{N}}\times [0,\lfloor \beta \rfloor \left(\beta -1\right)]$. We show existence and uniqueness of a $K_{\beta }$-invariant probability measure, absolutely continuous with respect to $m_p\otimes \lambda$, where $m_p$ is the Bernoulli measure on ${\{0,1\}}^{\mathbb{N}}$ with parameter $p$ ($0<p<1$) and $\lambda$ is the normalized Lebesgue measure on $[0,\lfloor \beta \rfloor (\beta -1\left)\right]$. Furthermore, this measure is of the form $m_p\otimes {\mu }_{\beta ,p}$, where ${\mu }_{\beta ,p}$ is equivalent to $\lambda$. We prove that the measure of maximal entropy and $m_p\otimes \lambda$ are mutually...

We consider $C^2$ families $t\mapsto f_t$ of $C^4$ unimodal maps $f_t$ whose critical point is slowly recurrent, and we show that the unique absolutely continuous invariant measure ${\mu }_t$ of $f_t$ depends differentiably on $t$, as a distribution of order $1$. The proof uses transfer operators on towers whose level boundaries are mollified via smooth cutoff functions, in order to avoid artificial discontinuities. We give a new representation of ${\mu }_t$ for a Benedicks-Carleson map $f_t$, in terms of a single smooth function and the...

The class of $H^{\left(N\right)}$-sets forms an important subclass of the class of sets of uniqueness for trigonometric series. We investigate the size of this class which is reflected by the family of measures (called polar) annihilating all sets from the class. The main aim of this paper is to answer in the negative a question stated by Lyons, whether the polars of the classes of $H^{\left(N\right)}$-sets are the same for all N ∈ ℕ. To prove our result we also present a new description of $H^{\left(N\right)}$-sets.

Let $k$ be a field of characteristic $p\&gt;0$. Let $D_m$ be a ${BT}_m$ over $k$ (i.e., an $m$-truncated Barsotti–Tate group over $k$). Let $S$ be a $k$-scheme and let $X$ be a ${BT}_m$ over $S$. Let $S_{D_m}\left(X\right)$ be the subscheme of $S$ which describes the locus where $X$ is locally for the fppf topology isomorphic to $D_m$. If $p\ge 5$, we show that $S_{D_m}\left(X\right)$ is pure in $S$, i.e. the immersion $S_{D_m}\left(X\right)\hookrightarrow S$ is affine. For $p\in \{2,3\}$, we prove purity if $D_m$ satisfies a certain technical property depending only on its $p$-torsion $D_m\left[p\right]$. For $p\ge 5$, we apply the developed techniques to show that...

We show that for each natural number n > 1, it is consistent that there is a compact Hausdorff totally disconnected space $K_{2n}$ such that $C\left(K_{2n}\right)$ has no uncountable (semi)biorthogonal sequence ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of at most 2n-1 points of $K_{2n}$, but has biorthogonal systems ${(f_{\xi },{\mu }_{\xi })}_{\xi \in \omega ₁}$ where ${\mu }_{\xi }$’s are atomic measures with supports consisting of 2n points. This complements a result of Todorcevic which implies that it is consistent that such spaces do not exist: he proves...

Associated to an Hadamard matrix $H\in M_N\left(ℂ\right)$ is the spectral measure μ ∈ [0,N] of the corresponding Hopf image algebra, A = C(G) with $G\subset S{⁺}_N$. We study a certain family of discrete measures ${\mu }^r\in [0,N]$, coming from the idempotent state theory of G, which converge in Cesàro limit to μ. Our main result is a duality formula of type ${\int }_0^N{(x/N)}^{p}d{\mu }^r\left(x\right)={\int }_0^N{(x/N)}^{r}d{\nu }^p\left(x\right)$, where ${\mu }^r,{\nu }^r$ are the truncations of the spectral measures μ,ν associated to $H,H^t$. We also prove, using these truncations ${\mu }^r,{\nu }^r$, that for any deformed Fourier matrix $H=F_M{\otimes }_Q{F}_N$ we have μ = ν.

Let $S$ be a fixed symmetric finite subset of $S{L}_d\left({𝒪}_K\right)$ that generates a Zariski dense subgroup of $S{L}_d\left({𝒪}_K\right)$ when we consider it as an algebraic group over $mathbbQ$ by restriction of scalars. We prove that the Cayley graphs of $S{L}_d({𝒪}_K/I)$ with respect to the projections of $S$ is an expander family if $I$ ranges over square-free ideals of ${𝒪}_K$ if $d=2$ and $K$ is an arbitrary numberfield, or if $d=3$ and $K=\mathbb{Q}$.

We study here several finiteness problems concerning affine Nash manifolds $M$ and Nash subsets $X$. Three main results are: (i) A Nash function on a semialgebraic subset $Z$ of $M$ has a Nash extension to an open semialgebraic neighborhood of $Z$ in $M$, (ii) A Nash set $X$ that has only normal crossings in $M$ can be covered by finitely many open semialgebraic sets $U$ equipped with Nash diffeomorphisms $(u_1,\cdots ,u_m):U\to {ℝ}^m$ such that $U\cap X=\{u_1\cdots u_r=0\}$, (iii) Every affine Nash manifold with corners $N$ is a closed subset of an affine Nash...