Showing 1–50 of 62 results for author: Saksman, E

Difference and Wavelet Characterizations of Distances from Functions in Lipschitz Spaces to Their Subspaces

Authors: Feng Dai, Eero Saksman, Dachun Yang, Wen Yuan, Yangyang Zhang

Abstract: Let $Λ_s$ denote the Lipschitz space of order $s\in(0,\infty)$ on $\mathbb{R}^n$, which consists of all $f\in\mathfrak{C}\cap L^\infty$ such that, for some constant $L\in(0,\infty)$ and some integer $r\in(s,\infty)$, \begin{equation*} \label{0-1}Δ_r f(x,y): =\sup_{|h|\leq y} |Δ_h^r f(x)|\leq L y^s, \ x\in\mathbb{R}^n, \ y \in(0, 1]. \end{equation*} Here (and throughout the article) $\mathfrak{C}$… ▽ More Let $Λ_s$ denote the Lipschitz space of order $s\in(0,\infty)$ on $\mathbb{R}^n$, which consists of all $f\in\mathfrak{C}\cap L^\infty$ such that, for some constant $L\in(0,\infty)$ and some integer $r\in(s,\infty)$, \begin{equation*} \label{0-1}Δ_r f(x,y): =\sup_{|h|\leq y} |Δ_h^r f(x)|\leq L y^s, \ x\in\mathbb{R}^n, \ y \in(0, 1]. \end{equation*} Here (and throughout the article) $\mathfrak{C}$ refers to continuous functions, and $Δ_h^r$ is the usual $r$-th order difference operator with step $h\in\mathbb{R}^n$. For each $f\in Λ_s$ and $\varepsilon\in(0,L)$, let $ S(f,\varepsilon):= \{ (x,y)\in\mathbb{R}^n\times [0,1]: \frac {Δ_r f(x,y)}{y^s}>\varepsilon\}$, and let $μ: \mathcal{B}(\mathbb{R}_+^{n+1})\to [0,\infty]$ be a suitably defined nonnegative extended real-valued function on the Borel $σ$-algebra of subsets of $\mathbb{R}_+^{n+1}$. Let $\varepsilon(f)$ be the infimum of all $\varepsilon\in(0,\infty)$ such that $μ(S(f,\varepsilon))<\infty$. The main target of this article is to characterize the distance from $f$ to a subspace $V\cap Λ_s$ of $Λ_s$ for various function spaces $V$ (including Sobolev, Besov--Triebel--Lizorkin, and Besov--Triebel--Lizorkin-type spaces) in terms of $\varepsilon(f)$, showing that \begin{equation*} \varepsilon(f)\sim \mathrm{dist} (f, V\cap Λ_s)_{Λ_s}: = \inf_{g\in Λ_s\cap V} \|f-g\|_{Λ_s}.\end{equation*} Moreover, we present our results in a general framework based on quasi-normed lattices of function sequences $X$ and Daubechies $s$-Lipschitz $X$-based spaces. △ Less

Submitted 21 May, 2025; originally announced May 2025.

MSC Class: Primary 42B35; Secondary 26A16; 42B25; 42C40; 46E35

Renormalized stochastic pressure equation with log-correlated Gaussian coefficients

Authors: Benny Avelin, Tuomo Kuusi, Patrik Nummi, Eero Saksman, Jonas M. Tölle, Lauri Viitasaari

Abstract: We study periodic solutions to the following divergence-form stochastic partial differential equation with Wick-renormalized gradient on the $d$-dimensional flat torus $\mathbb{T}^d$, \[ -\nabla\cdot\left(e^{\diamond (- βX) }\diamond\nabla U\right)=\nabla \cdot (e^{\diamond (- βX)} \diamond \mathbf{F}), \] where $X$ is the log-correlated Gaussian field, $\mathbf{F}$ is a random vector field… ▽ More We study periodic solutions to the following divergence-form stochastic partial differential equation with Wick-renormalized gradient on the $d$-dimensional flat torus $\mathbb{T}^d$, \[ -\nabla\cdot\left(e^{\diamond (- βX) }\diamond\nabla U\right)=\nabla \cdot (e^{\diamond (- βX)} \diamond \mathbf{F}), \] where $X$ is the log-correlated Gaussian field, $\mathbf{F}$ is a random vector field representing the flux, the in/out-flow of fluid per unit area per unit time, and $\diamond$ denotes the Wick product. The problem is a variant of the stochastic pressure equation, in which $U$ is modeling the pressure of a creeping water-flow in crustal rock that occurs in enhanced geothermal heating. In the original model, the Wick exponential term $e^{\diamond(-βX)}$ is modeling the random permeability of the rock. The porosity field is given by a log-correlated Gaussian random field $βX$, where $β<\sqrt{d}$. We use elliptic regularity theory in order to define a notion of a solution to this (a priori very ill-posed) problem, via modifying the $S$-transform from Gaussian white noise analysis, and then establish the existence and uniqueness of solutions. Moreover, we show that the solution to the problem can be expressed in terms of the Gaussian multiplicative chaos measure. △ Less

Submitted 26 February, 2025; v1 submitted 27 May, 2024; originally announced May 2024.

MSC Class: 35J15; 60H15 (Primary) 35B65; 60H40; 76S05; 76U60; 86-10 (Secondary)

Journal ref: Journal of Differential Equations 439 (2025) 113416

1D stochastic pressure equation with log-correlated Gaussian coefficients

Authors: Benny Avelin, Tuomo Kuusi, Patrik Nummi, Eero Saksman, Jonas M. Tölle, Lauri Viitasaari

Abstract: We study unique solvability for one dimensional stochastic pressure equation with diffusion coefficient given by the Wick exponential of log-correlated Gaussian fields. We prove well-posedness for Dirichlet, Neumann and periodic boundary data, and the initial value problem, covering the cases of both the Wick renormalization of the diffusion and of point-wise multiplication. We provide explicit re… ▽ More We study unique solvability for one dimensional stochastic pressure equation with diffusion coefficient given by the Wick exponential of log-correlated Gaussian fields. We prove well-posedness for Dirichlet, Neumann and periodic boundary data, and the initial value problem, covering the cases of both the Wick renormalization of the diffusion and of point-wise multiplication. We provide explicit representations for the solutions in both cases, characterized by the $S$-transform and the Gaussian multiplicative chaos measure. △ Less

Submitted 14 February, 2024; originally announced February 2024.

MSC Class: 34F05; 35J57; 46F10; 60G15; 60G57; 60G60; 60H10; 60H40

On the convergence of dynamic implementations of Hamiltonian Monte Carlo and No U-Turn Samplers

Authors: Alain Durmus, Samuel Gruffaz, Miika Kailas, Eero Saksman, Matti Vihola

Abstract: There is substantial empirical evidence about the success of dynamic implementations of Hamiltonian Monte Carlo (HMC), such as the No U-Turn Sampler (NUTS), in many challenging inference problems but theoretical results about their behavior are scarce. The aim of this paper is to fill this gap. More precisely, we consider a general class of MCMC algorithms we call dynamic HMC. We show that this ge… ▽ More There is substantial empirical evidence about the success of dynamic implementations of Hamiltonian Monte Carlo (HMC), such as the No U-Turn Sampler (NUTS), in many challenging inference problems but theoretical results about their behavior are scarce. The aim of this paper is to fill this gap. More precisely, we consider a general class of MCMC algorithms we call dynamic HMC. We show that this general framework encompasses NUTS as a particular case, implying the invariance of the target distribution as a by-product. Second, we establish conditions under which NUTS is irreducible and aperiodic and as a corrolary ergodic. Under conditions similar to the ones existing for HMC, we also show that NUTS is geometrically ergodic. Finally, we improve existing convergence results for HMC showing that this method is ergodic without any boundedness condition on the stepsize and the number of leapfrog steps, in the case where the target is a perturbation of a Gaussian distribution. △ Less

Submitted 18 October, 2024; v1 submitted 7 July, 2023; originally announced July 2023.

Comments: 24 pages without appendix and references, 2 figures, a future journal paper

MSC Class: 62

Random analytic functions via Gaussian multiplicative chaos

Authors: Yichao Huang, Eero Saksman

Abstract: We define a random analytic function $\varphi$ on the unit disc by letting a Gaussian multiplicative measure to be one of its Clark measures. We show that $\varphi$ is almost surely a Blaschke product and we provide rather sharp estimates for the density of its zeroes. We define a random analytic function $\varphi$ on the unit disc by letting a Gaussian multiplicative measure to be one of its Clark measures. We show that $\varphi$ is almost surely a Blaschke product and we provide rather sharp estimates for the density of its zeroes. △ Less

Submitted 13 June, 2023; originally announced June 2023.

Comments: 25 pages

Conformal welding of independent Gaussian multiplicative chaos measures

Authors: Antti Kupiainen, Michael McAuley, Eero Saksman

Abstract: We solve the classical conformal welding problem for a composition of two random homeomorphisms generated by independent Gaussian multiplicative chaos measures with small parameter values. In other words, given two such measures on the boundary of the unit disk we show that there exist conformal maps to complementary domains on the Riemann sphere such that the pushforward of the normalised measure… ▽ More We solve the classical conformal welding problem for a composition of two random homeomorphisms generated by independent Gaussian multiplicative chaos measures with small parameter values. In other words, given two such measures on the boundary of the unit disk we show that there exist conformal maps to complementary domains on the Riemann sphere such that the pushforward of the normalised measures agree on their common boundary. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: 48 pages, 12 figures

MSC Class: 60G57; 30C62; 60J67

On the structure of Nevanlinna measures

Authors: Mitja Nedic, Eero Saksman

Abstract: In this paper, we study the structural properties of Nevanlinna measures, i.e. Borel measures that arise in the integral representation of Herglotz-Nevanlinna functions. In particular, we give a characterization of these measures in terms of their Fourier transform, characterize measures supported on hyperplanes including extremal measures, describe the structure of the singular part of the measur… ▽ More In this paper, we study the structural properties of Nevanlinna measures, i.e. Borel measures that arise in the integral representation of Herglotz-Nevanlinna functions. In particular, we give a characterization of these measures in terms of their Fourier transform, characterize measures supported on hyperplanes including extremal measures, describe the structure of the singular part of the measures when some variable are set to a fixed value, and provide estimates for the measure of expanding and shrinking cubes. Corresponding results are stated also in the setting of the polydisc where applicable, and some of our proofs are actually perfomed via the polydisc. △ Less

Submitted 4 January, 2022; originally announced January 2022.

Comments: 31 pages, 1 figure

MSC Class: 32A26; 32A30; 30J99; 42B05

On mappings of finite distortion that are quasiconformal in the unit disk

Authors: Olli Hirviniemi, Lauri Hitruhin, István Prause, Eero Saksman

Abstract: We study quasiconformal mappings of the unit disk that have planar extension with controlled distortion. For these mappings we prove a bound for the modulus of continuity of the inverse map, which somewhat surprisingly is almost as good as for global quasiconformal maps. Furthermore, we give examples which improve the known bounds for the three point property of generalized quasidisks. Finally, we… ▽ More We study quasiconformal mappings of the unit disk that have planar extension with controlled distortion. For these mappings we prove a bound for the modulus of continuity of the inverse map, which somewhat surprisingly is almost as good as for global quasiconformal maps. Furthermore, we give examples which improve the known bounds for the three point property of generalized quasidisks. Finally, we establish optimal regularity of such maps when the image of the unit disk has cusp type singularities. △ Less

Submitted 1 October, 2021; v1 submitted 22 April, 2021; originally announced April 2021.

Comments: Revision based on referee's comments

Random tree Besov priors -- Towards fractal imaging

Authors: Hanne Kekkonen, Matti Lassas, Eero Saksman, Samuli Siltanen

Abstract: We propose alternatives to Bayesian a priori distributions that are frequently used in the study of inverse problems. Our aim is to construct priors that have similar good edge-preserving properties as total variation or Mumford-Shah priors but correspond to well defined infinite-dimensional random variables, and can be approximated by finite-dimensional random variables. We introduce a new wavele… ▽ More We propose alternatives to Bayesian a priori distributions that are frequently used in the study of inverse problems. Our aim is to construct priors that have similar good edge-preserving properties as total variation or Mumford-Shah priors but correspond to well defined infinite-dimensional random variables, and can be approximated by finite-dimensional random variables. We introduce a new wavelet-based model, where the non zero coefficient are chosen in a systematic way so that prior draws have certain fractal behaviour. We show that realisations of this new prior take values in some Besov spaces and have singularities only on a small set $τ$ that has a certain Hausdorff dimension. We also introduce an efficient algorithm for calculating the MAP estimator, arising from the the new prior, in denoising problem. △ Less

Submitted 28 February, 2021; originally announced March 2021.

MSC Class: math.PR; math.FA

Approximation in the Zygmund and Hölder classes on $\mathbb{R}^n$

Authors: Eero Saksman, Odí Soler i Gibert

Abstract: We determine the distance (up to a multiplicative constant) in the Zygmund class $Λ_{\ast}(\mathbb{R}^n)$ to the subspace $\mathrm{J}(\mathbf{bmo})(\mathbb{R}^n).$ The latter space is the image under the Bessel potential $J := (1-Δ)^{-1/2}$ of the space $\mathbf{bmo}(\mathbb{R}^n),$ which is a non-homogeneous version of the classical $\mathrm{BMO}.$ Locally,… ▽ More We determine the distance (up to a multiplicative constant) in the Zygmund class $Λ_{\ast}(\mathbb{R}^n)$ to the subspace $\mathrm{J}(\mathbf{bmo})(\mathbb{R}^n).$ The latter space is the image under the Bessel potential $J := (1-Δ)^{-1/2}$ of the space $\mathbf{bmo}(\mathbb{R}^n),$ which is a non-homogeneous version of the classical $\mathrm{BMO}.$ Locally, $\mathrm{J}(\mathbf{bmo})(\mathbb{R}^n)$ consists of functions that together with their first derivatives are in $\mathbf{bmo}(\mathbb{R}^n).$ More generally, we consider the same question when the Zygmund class is replaced by the Hölder space $Λ_{s}(\mathbb{R}^n),$ with $0 < s \leq 1$ and the corresponding subspace is $\mathrm{J}_{s}(\mathbf{bmo})(\mathbb{R}^n),$ the image under $(1-Δ)^{-s/2}$ of $\mathbf{bmo}(\mathbb{R}^n).$ One should note here that $Λ_{1}(\mathbb{R}^n) = Λ_{\ast}(\mathbb{R}^n).$ Such results were known earlier only for $n = s = 1$ with a proof that does not extend to the general case. Our results are expressed in terms of second differences. As a byproduct of our wavelet based proof, we also obtain the distance from $f \in Λ_{s}(\mathbb{R}^n)$ to $\mathrm{J}_{s}(\mathbf{bmo})(\mathbb{R}^n)$ in terms of the wavelet coefficients of $f.$ We additionally establish a third way to express this distance in terms of the size of the hyperbolic gradient of the harmonic extension of $f$ on the upper half-space $\mathbb{R}^{n+1}_{+}.$ △ Less

Submitted 16 November, 2021; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 29 pages. Several modifications following the recommendations of the referees: correction of multiple typos, moving the explanation on the proof of Theorem 2 and the proof of Theorem 3 into a new section, and other minor changes to improve clarity. Accepted manuscript at Can. J. Math

MSC Class: 26B35

Stretching and Rotation of Planar Quasiconformal Mappings on a Line

Authors: Olli Hirviniemi, István Prause, Eero Saksman

Abstract: In this article, we examine stretching and rotation of planar quasiconformal mappings on a line. We show that for almost every point on the line, the set of complex stretching exponents (describing stretching and rotation jointly) is contained in the disk $ \overline{B}(1/(1-k^4),k^2/(1-k^4))$. This yields a quadratic improvement over the known optimal estimate for general sets of Hausdorff dimens… ▽ More In this article, we examine stretching and rotation of planar quasiconformal mappings on a line. We show that for almost every point on the line, the set of complex stretching exponents (describing stretching and rotation jointly) is contained in the disk $ \overline{B}(1/(1-k^4),k^2/(1-k^4))$. This yields a quadratic improvement over the known optimal estimate for general sets of Hausdorff dimension $1$. Our proof is based on holomorphic motions and estimates for dimensions of quasicircles. We also give a lower bound for the dimension of the image of a $1$-dimensional subset of a line under a quasiconformal mapping. △ Less

Submitted 27 October, 2021; v1 submitted 15 July, 2020; originally announced July 2020.

Comments: This is a version revised according to the suggestions given by the anonymous reviewer

Homogenization of iterated singular integrals with applications to random quasiconformal maps

Authors: Kari Astala, Steffen Rohde, Eero Saksman, Terence Tao

Abstract: We study homogenization of iterated randomized singular integrals and homeomorphic solutions to the Beltrami differential equation with a random Beltrami coefficient. More precisely, let $(F_j)_{j \geq 1}$ be a sequence of normalized homeomorphic solutions to the planar Beltrami equation $\overline{\partial} F_j (z)=μ_j(z,ω) \partial F_j(z),$ where the random dilatation satisfies… ▽ More We study homogenization of iterated randomized singular integrals and homeomorphic solutions to the Beltrami differential equation with a random Beltrami coefficient. More precisely, let $(F_j)_{j \geq 1}$ be a sequence of normalized homeomorphic solutions to the planar Beltrami equation $\overline{\partial} F_j (z)=μ_j(z,ω) \partial F_j(z),$ where the random dilatation satisfies $|μ_j|\leq k<1$ and has locally periodic statistics, for example of the type $$μ_j (z,ω)=φ(z)\sum_{n\in \mathbf{Z}^2}g(2^j z-n,X_{n}(ω)), $$ where $g(z,ω)$ decays rapidly in $z$, the random variables $X_{n}$ are i.i.d., and $φ\in C^\infty_0$. We establish the almost sure and local uniform convergence as $j\to\infty$ of the maps $F_j$ to a deterministic quasiconformal limit $F_\infty$. This result is obtained as an application of our main theorem, which deals with homogenization of iterated randomized singular integrals. As a special case of our theorem, let $T_1,\ldots , T_{m}$ be translation and dilation invariant singular integrals on ${\bf R}^d, $ and consider a $d$-dimensional version of $μ_j$, e.g., as defined above or within a more general setting. We then prove that there is a deterministic function $f$ such that almost surely as $j\to\infty$, $$ μ_j T_{m}μ_j\ldots T_1μ_j\to f \quad \textrm{weakly in } L^p,\quad 1 < p < \infty\ . $$ △ Less

Submitted 20 June, 2020; originally announced June 2020.

Comments: 56 pages

Riesz projection and bounded mean oscillation for Dirichlet series

Authors: Sergei Konyagin, Hervé Queffélec, Eero Saksman, Kristian Seip

Abstract: We prove that the norm of the Riesz projection from $L^\infty(\Bbb{T}^n)$ to $L^p(\Bbb{T}^n)$ is $1$ for all $n\ge 1$ only if $p\le 2$, thus solving a problem posed by Marzo and Seip in 2011. This shows that $H^p(\Bbb{T}^{\infty})$ does not contain the dual space of $H^1(\Bbb{T}^{\infty})$ for any $p>2$. We then note that the dual of $H^1(\Bbb{T}^{\infty})$ contains, via the Bohr lift, the space o… ▽ More We prove that the norm of the Riesz projection from $L^\infty(\Bbb{T}^n)$ to $L^p(\Bbb{T}^n)$ is $1$ for all $n\ge 1$ only if $p\le 2$, thus solving a problem posed by Marzo and Seip in 2011. This shows that $H^p(\Bbb{T}^{\infty})$ does not contain the dual space of $H^1(\Bbb{T}^{\infty})$ for any $p>2$. We then note that the dual of $H^1(\Bbb{T}^{\infty})$ contains, via the Bohr lift, the space of Dirichlet series in $\operatorname{BMOA}$ of the right half-plane. We give several conditions showing how this $\operatorname{BMOA}$ space relates to other spaces of Dirichlet series. Finally, relating the partial sum operator for Dirichlet series to Riesz projection on $\Bbb{T}$, we compute its $L^p$ norm when $1<p<\infty$, and we use this result to show that the $L^\infty$ norm of the $N$th partial sum of a bounded Dirichlet series over $d$-smooth numbers is of order $\log\log N$. △ Less

Submitted 28 June, 2021; v1 submitted 25 May, 2020; originally announced May 2020.

Comments: This is the final version of the paper which will be published in Studia Mathematica

MSC Class: 30B50; 42B05; 42B30; 30H30; 30H35

Journal ref: Studia Math. 262 (2022), 121--149

Local times and sample path properties of the Rosenblatt process

Authors: George Kerchev, Ivan Nourdin, Eero Saksman, Lauri Viitasaari

Abstract: Let $Z = (Z_t)_{t \geq 0}$ be the Rosenblatt process with Hurst index $H \in (1/2, 1)$. We prove joint continuity for the local time of $Z$, and establish Hölder conditions for the local time. These results are then used to study the irregularity of the sample paths of $Z$. Based on analogy with similar known results in the case of fractional Brownian motion, we believe our results are sharp. A ma… ▽ More Let $Z = (Z_t)_{t \geq 0}$ be the Rosenblatt process with Hurst index $H \in (1/2, 1)$. We prove joint continuity for the local time of $Z$, and establish Hölder conditions for the local time. These results are then used to study the irregularity of the sample paths of $Z$. Based on analogy with similar known results in the case of fractional Brownian motion, we believe our results are sharp. A main ingredient of our proof is a rather delicate spectral analysis of arbitrary linear combinations of integral operators, which arise from the representation of the Rosenblatt process as an element in the second chaos. △ Less

Submitted 8 May, 2020; originally announced May 2020.

Comments: 28 pages

Localized Regularity of Planar Maps of Finite Distortion

Authors: Olli Hirviniemi, István Prause, Eero Saksman

Abstract: In this article we study fine regularity properties for mappings of finite distortion. Our main theorems yield strongly localized regularity results in the borderline case in the class of maps of exponentially integrable distortion. Analogues of such results were known earlier in the case of quasiconformal mappings. Moreover, we study regularity for maps whose distortion has higher exponential int… ▽ More In this article we study fine regularity properties for mappings of finite distortion. Our main theorems yield strongly localized regularity results in the borderline case in the class of maps of exponentially integrable distortion. Analogues of such results were known earlier in the case of quasiconformal mappings. Moreover, we study regularity for maps whose distortion has higher exponential integrability. △ Less

Submitted 15 April, 2021; v1 submitted 13 January, 2020; originally announced January 2020.

On the regularity of complex multiplicative chaos

Authors: Janne Junnila, Eero Saksman, Lauri Viitasaari

Abstract: Denote by $μ_β="\exp(βX)"$ the Gaussian multiplicative chaos which is defined using a log-correlated Gaussian field $X$ on a domain $U\subset\mathbb{R}^d$. The case $β\in\mathbb{R}$ has been studied quite intensively, and then $μ_β$ is a random measure on $U$. It is known that $μ_β$ can also be defined for complex values $β$ lying in certain subdomain of $\mathbb{C}$, and then the realizations of… ▽ More Denote by $μ_β="\exp(βX)"$ the Gaussian multiplicative chaos which is defined using a log-correlated Gaussian field $X$ on a domain $U\subset\mathbb{R}^d$. The case $β\in\mathbb{R}$ has been studied quite intensively, and then $μ_β$ is a random measure on $U$. It is known that $μ_β$ can also be defined for complex values $β$ lying in certain subdomain of $\mathbb{C}$, and then the realizations of $μ_β$ are random generalized functions on $U$. In this note we complement the results of Junnila et al. (where the case of purely imaginary $β$ was considered) by studying the Besov-regularity of $μ_β$ and the finiteness of moments for general complex values of $β$. △ Less

Submitted 28 May, 2019; originally announced May 2019.

Coefficient estimates for $H^p$ spaces with $0<p<1$

Authors: Ole Fredrik Brevig, Eero Saksman

Abstract: Let $C(k,p)$ denote the smallest real number such that the estimate $|a_k|\leq C(k,p)\|f\|_{H^p}$ holds for every $f(z)=\sum_{n\geq0}a_n z^n$ in the $H^p$ space of the unit disc. We compute $C(2,p)$ for $0<p<1$ and $C(3,2/3)$, and identify the functions attaining equality in the estimate. Let $C(k,p)$ denote the smallest real number such that the estimate $|a_k|\leq C(k,p)\|f\|_{H^p}$ holds for every $f(z)=\sum_{n\geq0}a_n z^n$ in the $H^p$ space of the unit disc. We compute $C(2,p)$ for $0<p<1$ and $C(3,2/3)$, and identify the functions attaining equality in the estimate. △ Less

Submitted 14 January, 2020; v1 submitted 23 May, 2019; originally announced May 2019.

Comments: Minor corrections. This paper has been has been accepted for publication in Proceedings of the AMS

Journal ref: Proc. Amer. Math. Soc. 148 (2020), no. 9, 3911--3924

Global smoothness of quasiconformal mappings in the Triebel-Lizorkin scale

Authors: Kari Astala, Martí Prats, Eero Saksman

Abstract: We study quasiconformal mappings in planar domains $Ω$ and their regularity properties described in terms of Sobolev, Bessel potential or Triebel-Lizorkin scales. This leads to optimal conditions, in terms of the geometry of the boundary $\partial Ω$ and of the smoothness of the Beltrami coefficient, that guarantee the global regularity of the mappings in these classes. In the Triebel-Lizorkin cla… ▽ More We study quasiconformal mappings in planar domains $Ω$ and their regularity properties described in terms of Sobolev, Bessel potential or Triebel-Lizorkin scales. This leads to optimal conditions, in terms of the geometry of the boundary $\partial Ω$ and of the smoothness of the Beltrami coefficient, that guarantee the global regularity of the mappings in these classes. In the Triebel-Lizorkin class with smoothness below $1$, the same conditions give global regularity in $Ω$ for the principal solutions with Beltrami coefficient supported in $Ω$. △ Less

Submitted 9 February, 2024; v1 submitted 23 January, 2019; originally announced January 2019.

Comments: 59 pages, 4 figures

MSC Class: 30C62; 46E35; 30C35; 28A75

Decompositions of log-correlated fields with applications

Authors: Janne Junnila, Eero Saksman, Christian Webb

Abstract: In this article we establish novel decompositions of Gaussian fields taking values in suitable spaces of generalized functions, and then use these decompositions to prove results about Gaussian multiplicative chaos. We prove two decomposition theorems. The first one is a global one and says that if the difference between the covariance kernels of two Gaussian fields, taking values in some Sobole… ▽ More In this article we establish novel decompositions of Gaussian fields taking values in suitable spaces of generalized functions, and then use these decompositions to prove results about Gaussian multiplicative chaos. We prove two decomposition theorems. The first one is a global one and says that if the difference between the covariance kernels of two Gaussian fields, taking values in some Sobolev space, has suitable Sobolev regularity, then these fields differ by a Hölder continuous Gaussian process. Our second decomposition theorem is more specialized and is in the setting of Gaussian fields whose covariance kernel has a logarithmic singularity on the diagonal -- or log-correlated Gaussian fields. The theorem states that any log-correlated Gaussian field $X$ can be decomposed locally into a sum of a Hölder continuous function and an independent almost $\star$-scale invariant field (a special class of stationary log-correlated fields with 'cone-like' white noise representations). This decomposition holds whenever the term $g$ in the covariance kernel $C_X(x,y)=\log(1/|x-y|)+g(x,y)$ has locally $H^{d+\varepsilon}$ Sobolev smoothness. We use these decompositions to extend several results that have been known basically only for $\star$-scale invariant fields to general log-correlated fields. These include the existence of critical multiplicative chaos, analytic continuation of the subcritical chaos in the so-called inverse temperature parameter $β$, as well as generalised Onsager-type covariance inequalities which play a role in the study of imaginary multiplicative chaos. △ Less

Submitted 26 April, 2019; v1 submitted 21 August, 2018; originally announced August 2018.

Comments: Version 2: added also a global decomposition result and modified some proofs due to this. Version 3: minor changes

On certain sums over ordinates of zeta-zeros II

Authors: Andriy Bondarenko, Aleksandar Ivić, Eero Saksman, Kristian Seip

Abstract: Let $γ$ denote the imaginary parts of complex zeros $ρ= β+iγ$ of $ζ(s)$. The problem of analytic continuation of the function $G(s) := \sum\limits_{γ> 0}γ^{-s}$ to the left of the line $\Re s = -1$ is investigated, and its Laurent expansion at the pole $s=1$ is obtained. Estimates for the second moment on the critical line $\int_1^T|G(1/2+it)|^2\,dt$ are revisited. This paper is a continuation of… ▽ More Let $γ$ denote the imaginary parts of complex zeros $ρ= β+iγ$ of $ζ(s)$. The problem of analytic continuation of the function $G(s) := \sum\limits_{γ> 0}γ^{-s}$ to the left of the line $\Re s = -1$ is investigated, and its Laurent expansion at the pole $s=1$ is obtained. Estimates for the second moment on the critical line $\int_1^T|G(1/2+it)|^2\,dt$ are revisited. This paper is a continuation of work begun by the second author in 2001. △ Less

Submitted 6 August, 2018; originally announced August 2018.

Comments: 12 pages

MSC Class: 11M06

Imaginary multiplicative chaos: Moments, regularity and connections to the Ising model

Authors: Janne Junnila, Eero Saksman, Christian Webb

Abstract: In this article we study imaginary Gaussian multiplicative chaos -- namely a family of random generalized functions which can formally be written as $e^{i X(x)}$, where $X$ is a log-correlated real-valued Gaussian field on $\mathbb{R}^d$, i.e. it has a logarithmic singularity on the diagonal of its covariance. We study basic analytic properties of these random generalized functions, such as what s… ▽ More In this article we study imaginary Gaussian multiplicative chaos -- namely a family of random generalized functions which can formally be written as $e^{i X(x)}$, where $X$ is a log-correlated real-valued Gaussian field on $\mathbb{R}^d$, i.e. it has a logarithmic singularity on the diagonal of its covariance. We study basic analytic properties of these random generalized functions, such as what spaces of distributions do these objects live in, along with their basic stochastic properties, such as moment and tail estimates. After this, we discuss connections between imaginary multiplicative chaos and the critical planar Ising model, namely that the scaling limit of the spin field of the so called critical planar XOR-Ising model can be expressed in terms of the cosine of the Gaussian free field, i.e. the real part of an imaginary multiplicative chaos distribution. Moreover, if one adds a magnetic perturbation to the XOR-Ising model, then the scaling limit of the spin field can be expressed in terms of the cosine of the sine-Gordon field, which can also be viewed as the real part of an imaginary multiplicative chaos distribution. The first sections of the article have been written in the style of a review, and we hope that the text will also serve as an introduction to imaginary chaos for an uninitiated reader. △ Less

Submitted 20 December, 2018; v1 submitted 6 June, 2018; originally announced June 2018.

Comments: fixed a sign error in the constant of the Ising correlation functions; shortened the random matrix section; other minor fixes/improvements

Multiplicative chaos and the characteristic polynomial of the CUE: the $L^1$-phase

Authors: Miika Nikula, Eero Saksman, Christian Webb

Abstract: In this note we prove that suitable positive powers of the absolute value of the characteristic polynomial of a Haar distributed random unitary matrix converge in law, as the size of the matrix tends to infinity, to a Gaussian multiplicative chaos measure once correctly normalized. We prove this in the whole $L^1$- or subcritical phase of the chaos measure. In this note we prove that suitable positive powers of the absolute value of the characteristic polynomial of a Haar distributed random unitary matrix converge in law, as the size of the matrix tends to infinity, to a Gaussian multiplicative chaos measure once correctly normalized. We prove this in the whole $L^1$- or subcritical phase of the chaos measure. △ Less

Submitted 5 June, 2018; originally announced June 2018.

Linear space properties of $H^p$ spaces of Dirichlet series

Authors: Andriy Bondarenko, Ole Fredrik Brevig, Eero Saksman, Kristian Seip

Abstract: We study $H^p$ spaces of Dirichlet series, called $\mathcal{H}^p$, for the range $0<p< \infty$. We begin by showing that two natural ways to define $\mathcal{H}^p$ coincide. We then proceed to study some linear space properties of $\mathcal{H}^p$. More specifically, we study linear functionals generated by fractional primitives of the Riemann zeta function; our estimates rely on certain Hardy--Lit… ▽ More We study $H^p$ spaces of Dirichlet series, called $\mathcal{H}^p$, for the range $0<p< \infty$. We begin by showing that two natural ways to define $\mathcal{H}^p$ coincide. We then proceed to study some linear space properties of $\mathcal{H}^p$. More specifically, we study linear functionals generated by fractional primitives of the Riemann zeta function; our estimates rely on certain Hardy--Littlewood inequalities and display an interesting phenomenon, called contractive symmetry between $\mathcal{H}^p$ and $\mathcal{H}^{4/p}$, contrasting the usual $L^p$ duality. We next deduce general coefficient estimates, based on an interplay between the multiplicative structure of $\mathcal{H}^p$ and certain new one variable bounds. Finally, we deduce general estimates for the norm of the partial sum operator $\sum_{n=1}^\infty a_n n^{-s}\mapsto \sum_{n=1}^N a_n n^{-s}$ on $\mathcal{H}^p$ with $0< p \le 1$, supplementing a classical result of Helson for the range $1<p<\infty$. The results for the coefficient estimates and for the partial sum operator exhibit the traditional schism between the ranges $1\le p \le \infty$ and $0<p<1$. △ Less

Submitted 19 May, 2019; v1 submitted 19 January, 2018; originally announced January 2018.

Comments: This paper has been accepted for publication in Transactions of the AMS. arXiv admin note: substantial text overlap with arXiv:1701.06842

Journal ref: Trans. Amer. Math. Soc. 372 (2019), no. 9, 6677--6702

Structural rigidity of generalised Volterra operators on $H^p$

Authors: Santeri Miihkinen, Pekka J. Nieminen, Eero Saksman, Hans-Olav Tylli

Abstract: We show that the non-compact generalised analytic Volterra operators $T_g$, where $g \in \mathit{BMOA}$, have the following structural rigidity property on the Hardy spaces $H^p$ for $1 \le p < \infty$ and $p \neq 2$: if $T_g$ is bounded below on an infinite-dimensional subspace $M \subset H^p$, then $M$ contains a subspace linearly isomorphic to $\ell^p$. This implies in particular that any Volte… ▽ More We show that the non-compact generalised analytic Volterra operators $T_g$, where $g \in \mathit{BMOA}$, have the following structural rigidity property on the Hardy spaces $H^p$ for $1 \le p < \infty$ and $p \neq 2$: if $T_g$ is bounded below on an infinite-dimensional subspace $M \subset H^p$, then $M$ contains a subspace linearly isomorphic to $\ell^p$. This implies in particular that any Volterra operator $T_g\colon H^p \to H^p$ is $\ell^2$-singular for $p \neq 2$. △ Less

Submitted 8 October, 2017; v1 submitted 3 October, 2017; originally announced October 2017.

MSC Class: 47B10; 47G10

Optimal growth of harmonic functions frequently hypercyclic for the partial differentiation operator

Authors: Clifford Gilmore, Eero Saksman, Hans-Olav Tylli

Abstract: We solve a problem posed by Blasco, Bonilla and Grosse-Erdmann in 2010 by constructing a harmonic function on $\mathbb{R}^N$, that is frequently hypercyclic with respect to the partial differentiation operator $\partial/\partial x_k$ and which has a minimal growth rate in terms of the average $L^2$-norm on spheres of radius $r>0$ as $r \to \infty$. We solve a problem posed by Blasco, Bonilla and Grosse-Erdmann in 2010 by constructing a harmonic function on $\mathbb{R}^N$, that is frequently hypercyclic with respect to the partial differentiation operator $\partial/\partial x_k$ and which has a minimal growth rate in terms of the average $L^2$-norm on spheres of radius $r>0$ as $r \to \infty$. △ Less

Submitted 29 August, 2017; originally announced August 2017.

MSC Class: 47A16; 31B05

Journal ref: Proc. Roy. Soc. Edinburgh Sect. A, 149(6):1577-1594, 2019

On the convergence of Hamiltonian Monte Carlo

Authors: Alain Durmus, Eric Moulines, Eero Saksman

Abstract: This paper discusses the irreducibility and geometric ergodicity of the Hamiltonian Monte Carlo (HMC) algorithm. We consider cases where the number of steps of the symplectic integrator is either fixed or random. Under mild conditions on the potential $\F$ associated with target distribution $π$, we first show that the Markov kernel associated to the HMC algorithm is irreducible and recurrent. Und… ▽ More This paper discusses the irreducibility and geometric ergodicity of the Hamiltonian Monte Carlo (HMC) algorithm. We consider cases where the number of steps of the symplectic integrator is either fixed or random. Under mild conditions on the potential $\F$ associated with target distribution $π$, we first show that the Markov kernel associated to the HMC algorithm is irreducible and recurrent. Under more stringent conditions, we then establish that the Markov kernel is Harris recurrent. Finally, we provide verifiable conditions on $\F$ under which the HMC sampler is geometrically ergodic. △ Less

Submitted 10 May, 2019; v1 submitted 29 April, 2017; originally announced May 2017.

Pseudomoments of the Riemann zeta function

Authors: Andriy Bondarenko, Ole Fredrik Brevig, Eero Saksman, Kristian Seip, Jing Zhao

Abstract: The $2$kth pseudomoments of the Riemann zeta function $ζ(s)$ are, following Conrey and Gamburd, the $2k$th integral moments of the partial sums of $ζ(s)$ on the critical line. For fixed $k>1/2$, these moments are known to grow like $(\log N)^{k^2}$, where $N$ is the length of the partial sum, but the true order of magnitude remains unknown when $k\le 1/2$. We deduce new Hardy--Littlewood inequalit… ▽ More The $2$kth pseudomoments of the Riemann zeta function $ζ(s)$ are, following Conrey and Gamburd, the $2k$th integral moments of the partial sums of $ζ(s)$ on the critical line. For fixed $k>1/2$, these moments are known to grow like $(\log N)^{k^2}$, where $N$ is the length of the partial sum, but the true order of magnitude remains unknown when $k\le 1/2$. We deduce new Hardy--Littlewood inequalities and apply one of them to improve on an earlier asymptotic estimate when $k\to\infty$. In the case $k<1/2$, we consider pseudomoments of $ζ^α(s)$ for $α>1$ and the question of whether the lower bound $(\log N)^{k^2α^2}$ known from earlier work yields the true growth rate. Using ideas from recent work of Harper, Nikeghbali, and Radziwi{łł} and some probabilistic estimates of Harper, we obtain the somewhat unexpected result that these pseudomements are bounded below by $\log N$ to a power larger than $k^2α^2$ when $k<1/e$ and $N$ is sufficiently large. △ Less

Submitted 1 June, 2018; v1 submitted 24 January, 2017; originally announced January 2017.

Comments: This paper has been accepted for publication in Bulletin of the LMS

Journal ref: Bull. Lond. Math. Soc. 50 (2018), no. 4, 709--724

Hypercyclicity Properties of Commutator Maps

Authors: Clifford Gilmore, Eero Saksman, Hans-Olav Tylli

Abstract: We investigate the hypercyclic properties of commutator maps acting on separable ideals of operators. As the main result we prove the commutator map induced by scalar multiples of the backward shift operator fails to be hypercyclic on the space of compact operators on $\ell^2$. We also establish some necessary conditions which identify large classes of operators that do not induce hypercyclic comm… ▽ More We investigate the hypercyclic properties of commutator maps acting on separable ideals of operators. As the main result we prove the commutator map induced by scalar multiples of the backward shift operator fails to be hypercyclic on the space of compact operators on $\ell^2$. We also establish some necessary conditions which identify large classes of operators that do not induce hypercyclic commutator maps. △ Less

Submitted 16 September, 2016; originally announced September 2016.

MSC Class: 47A16; 47B47

Journal ref: Integr. Equ. Oper. Theory, 87(1), 139-155 (2017)

The Riemann zeta function and Gaussian multiplicative chaos: statistics on the critical line

Authors: Eero Saksman, Christian Webb

Abstract: We prove that if $ω$ is uniformly distributed on $[0,1]$, then as $T\to\infty$, $t\mapsto ζ(iωT+it+1/2)$ converges to a non-trivial random generalized function, which in turn is identified as a product of a very well behaved random smooth function and a random generalized function known as a complex Gaussian multiplicative chaos distribution. This demonstrates a novel rigorous connection between n… ▽ More We prove that if $ω$ is uniformly distributed on $[0,1]$, then as $T\to\infty$, $t\mapsto ζ(iωT+it+1/2)$ converges to a non-trivial random generalized function, which in turn is identified as a product of a very well behaved random smooth function and a random generalized function known as a complex Gaussian multiplicative chaos distribution. This demonstrates a novel rigorous connection between number theory and the theory of multiplicative chaos -- the latter is known to be connected to many other areas of mathematics. We also investigate the statistical behavior of the zeta function on the mesoscopic scale. We prove that if we let $δ_T$ approach zero slowly enough as $T\to\infty$, then $t\mapsto ζ(1/2+iδ_T t+iωT)$ is asymptotically a product of a divergent scalar quantity suggested by Selberg's central limit theorem and a strictly Gaussian multiplicative chaos. We also prove a similar result for the characteristic polynomial of a Haar distributed random unitary matrix, where the scalar quantity is slightly different but the multiplicative chaos part is identical. This essentially says that up to scalar multiples, the zeta function and the characteristic polynomial of a Haar distributed random unitary matrix have an identical distribution on the mesoscopic scale. △ Less

Submitted 22 February, 2018; v1 submitted 31 August, 2016; originally announced September 2016.

Comments: Supersedes arXiv:1604.08378. Version 2 contains a limit theorem describing the mesoscopic behavior of the characteristic polynomial of random unitary matrices

Rigidity of composition operators on the Hardy space $H^p$

Authors: Jussi Laitila, Pekka J. Nieminen, Eero Saksman, Hans-Olav Tylli

Abstract: Let $φ$ be an analytic map taking the unit disk $\mathbb{D}$ into itself. We establish that the class of composition operators $f \mapsto C_φ(f) = f \circ φ$ exhibits a rather strong rigidity of non-compact behaviour on the Hardy space $H^p$, for $1\le p < \infty$ and $p \neq 2$. Our main result is the following trichotomy, which states that exactly one of the following alternatives holds: (i)… ▽ More Let $φ$ be an analytic map taking the unit disk $\mathbb{D}$ into itself. We establish that the class of composition operators $f \mapsto C_φ(f) = f \circ φ$ exhibits a rather strong rigidity of non-compact behaviour on the Hardy space $H^p$, for $1\le p < \infty$ and $p \neq 2$. Our main result is the following trichotomy, which states that exactly one of the following alternatives holds: (i) $C_φ$ is a compact operator $H^p \to H^p$, (ii) $C_φ$ fixes a (linearly isomorphic) copy of $\ell^p$ in $H^p$, but $C_φ$ does not fix any copies of $\ell^2$ in $H^p$, (iii) $C_φ$ fixes a copy of $\ell^2$ in $H^p$. Moreover, in case (iii) the operator $C_φ$ actually fixes a copy of $L^p(0,1)$ in $H^p$ provided $p > 1$. We reinterpret these results in terms of norm-closed ideals of the bounded linear operators on $H^p$, which contain the compact operators $\mathcal K(H^p)$. In particular, the class of composition operators on $H^p$ does not reflect the quite complicated lattice structure of such ideals. △ Less

Submitted 1 July, 2016; originally announced July 2016.

MSC Class: 47B33; 47B10

Journal ref: Adv. Math. 319 (2017), 610-629

Traces of Besov, Triebel-Lizorkin and Sobolev spaces on metric spaces

Authors: Eero Saksman, Tomás Soto

Abstract: We establish trace theorems for function spaces defined on general Ahlfors regular metric spaces $Z$. The results cover the Triebel-Lizorkin spaces and the Besov spaces for smoothness indices $s<1,$ as well as the first order Hajłasz-Sobolev space $M^{1,p}(Z)$. They generalize the classical results from the Euclidean setting, since the traces of these function spaces onto any closed Ahlfors regula… ▽ More We establish trace theorems for function spaces defined on general Ahlfors regular metric spaces $Z$. The results cover the Triebel-Lizorkin spaces and the Besov spaces for smoothness indices $s<1,$ as well as the first order Hajłasz-Sobolev space $M^{1,p}(Z)$. They generalize the classical results from the Euclidean setting, since the traces of these function spaces onto any closed Ahlfors regular subset $F \subset Z$ are Besov spaces defined intrinsically on $F$. Our method employs the definitions of the function spaces via hyperbolic fillings of the underlying metric space. △ Less

Submitted 28 June, 2016; originally announced June 2016.

Comments: 22 pages

MSC Class: Primary: 46E35; 42B35

Multiplicative chaos measures for a random model of the Riemann zeta function

Authors: Eero Saksman, Christian Webb

Abstract: We prove convergence of a stochastic approximation of powers of the Riemann $ζ$ function to a non-Gaussian multiplicative chaos measure, and prove that this measure is a non-trivial multifractal random measure. The results cover both the subcritical and critical chaos. A basic ingredient of the proof is a 'good' Gaussian approximation of the induced random fields that is potentially of independent… ▽ More We prove convergence of a stochastic approximation of powers of the Riemann $ζ$ function to a non-Gaussian multiplicative chaos measure, and prove that this measure is a non-trivial multifractal random measure. The results cover both the subcritical and critical chaos. A basic ingredient of the proof is a 'good' Gaussian approximation of the induced random fields that is potentially of independent interest. △ Less

Submitted 28 April, 2016; originally announced April 2016.

Some open questions in analysis for Dirichlet series

Authors: Eero Saksman, Kristian Seip

Abstract: We present some open problems and describe briefly some possible research directions in the emerging theory of Hardy spaces of Dirichlet series and their intimate counterparts, Hardy spaces on the infinite-dimensional torus. Links to number theory are emphasized throughout the paper. We present some open problems and describe briefly some possible research directions in the emerging theory of Hardy spaces of Dirichlet series and their intimate counterparts, Hardy spaces on the infinite-dimensional torus. Links to number theory are emphasized throughout the paper. △ Less

Submitted 7 January, 2016; originally announced January 2016.

Comments: To appear in the proceedings volume for the conference "Completeness Problems, Carleson Measures, and Spaces of Analytic Functions" held at the Mittag--Leffler Institute in 2015

Fatou and brother Riesz theorems in the infinite-dimensional polydisc

Authors: Alexandru Aleman, Jan-Fredrik Olsen, Eero Saksman

Abstract: We study the boundary behavior of functions in the Hardy spaces on the infinite dimensional polydisk. These spaces are intimately related to the Hardy spaces of Dirichlet series. We exhibit several Fatou and Marcinkiewicz-Zygmund type theorems for radial convergence. As a consequence one obtains easy new proofs of the brothers F. and M. Riesz theorems in infinite dimension. Finally, we provide cou… ▽ More We study the boundary behavior of functions in the Hardy spaces on the infinite dimensional polydisk. These spaces are intimately related to the Hardy spaces of Dirichlet series. We exhibit several Fatou and Marcinkiewicz-Zygmund type theorems for radial convergence. As a consequence one obtains easy new proofs of the brothers F. and M. Riesz theorems in infinite dimension. Finally, we provide counterexamples showing that the pointwise Fatou theorem is not true in infinite dimensions without restrictions to the mode of radial convergence even for bounded analytic functions. △ Less

Submitted 19 October, 2017; v1 submitted 4 December, 2015; originally announced December 2015.

Comments: 17 pages. In this version, Theorem 1 has been corrected. As a consequence, Theorem 2 and Corollary 4 have been modified, and Corollary 5 (in the enumeration of the previous version) has been removed

MSC Class: 32A05; 32A40; 31A20; 42B30

A T(1) theorem for fractional Sobolev spaces on domains

Authors: Martí Prats, Eero Saksman

Abstract: Given any uniform domain $Ω$, the Triebel-Lizorkin space $F^s_{p,q}(Ω)$ with $0<s<1$ and $1<p,q<\infty$ can be equipped with a norm in terms of first order differences restricted to pairs of points whose distance is comparable to their distance to the boundary. Using this characterization, originally due to Seeger and reproven here, we prove a T(1)-theorem for fractional Sobolev spaces with… ▽ More Given any uniform domain $Ω$, the Triebel-Lizorkin space $F^s_{p,q}(Ω)$ with $0<s<1$ and $1<p,q<\infty$ can be equipped with a norm in terms of first order differences restricted to pairs of points whose distance is comparable to their distance to the boundary. Using this characterization, originally due to Seeger and reproven here, we prove a T(1)-theorem for fractional Sobolev spaces with $0<s<1$ for any uniform domain and for a large family of Calderón-Zygmund operators in any ambient space $\mathbb{R}^d$ as long as $sp>d$. △ Less

Submitted 26 September, 2019; v1 submitted 14 July, 2015; originally announced July 2015.

Comments: Remark 1.7 added, abstract and acknowledgements changed accordingly. 37 pages, 3 figures

MSC Class: 42-01

Journal ref: Journal of Geometric Analysis, 2017 (27): 2490-2538

The uniqueness of the Gaussian multiplicative chaos revisited

Authors: Janne Junnila, Eero Saksman

Abstract: We consider Gaussian multiplicative chaos measures defined in a general setting of metric measure spaces. Uniqueness results are obtained, verifying that different sequences of approximating Gaussian fields lead to the same chaos measure. Specialized to Euclidean spaces, our setup covers both the subcritical chaos and the critical chaos, actually extending to all non-atomic Gaussian chaos measures… ▽ More We consider Gaussian multiplicative chaos measures defined in a general setting of metric measure spaces. Uniqueness results are obtained, verifying that different sequences of approximating Gaussian fields lead to the same chaos measure. Specialized to Euclidean spaces, our setup covers both the subcritical chaos and the critical chaos, actually extending to all non-atomic Gaussian chaos measures. △ Less

Submitted 28 September, 2015; v1 submitted 16 June, 2015; originally announced June 2015.

Comments: A normalization typo corrected in Theorem 1.3 and added Remark 6.14

MSC Class: Primary 60G57; 60G15; Secondary 60K35; 60G60

Triebel-Lizorkin spaces on metric spaces via hyperbolic fillings

Authors: Mario Bonk, Eero Saksman, Tomás Soto

Abstract: We give a new characterization of (homogeneous) Triebel-Lizorkin spaces $\dot{\mathcal F}^{s}_{p,q}(Z)$ in the smoothness range $0 < s < 1$ for a fairly general class of metric measure spaces $Z$. The characterization uses Gromov hyperbolic fillings of $Z$. This gives a short proof of the quasisymmetric invariance of these spaces in case $Z$ is $Q$-Ahlfors regular and $sp = Q > 1$. We also obtain… ▽ More We give a new characterization of (homogeneous) Triebel-Lizorkin spaces $\dot{\mathcal F}^{s}_{p,q}(Z)$ in the smoothness range $0 < s < 1$ for a fairly general class of metric measure spaces $Z$. The characterization uses Gromov hyperbolic fillings of $Z$. This gives a short proof of the quasisymmetric invariance of these spaces in case $Z$ is $Q$-Ahlfors regular and $sp = Q > 1$. We also obtain first results on complex interpolation for these spaces in the framework of doubling metric measure spaces. △ Less

Submitted 12 August, 2016; v1 submitted 21 November, 2014; originally announced November 2014.

Comments: 32 pages

MSC Class: 42B35 (Primary); 46E35 (Secondary)

Quasiconformal maps with controlled Laplacian

Authors: David Kalaj, Eero Saksman

Abstract: We establish that every $K$-quasiconformal mapping of $w$ of the unit disk $\ID$ onto a $C^2$-Jordan domain $Ω$ is Lipschitz provided that $Δw\in L^p(\ID)$ for some $p>2$. We also prove that if in this situation $K\to 1$ with $\|Δw\|_{L^p(\ID)}\to 0$, and $Ω\to \ID$ in $C^{1,α}$-sense with $α>1/2,$ then the bound for the Lipschitz constant tends to $1$. In addition, we provide a quasiconformal ana… ▽ More We establish that every $K$-quasiconformal mapping of $w$ of the unit disk $\ID$ onto a $C^2$-Jordan domain $Ω$ is Lipschitz provided that $Δw\in L^p(\ID)$ for some $p>2$. We also prove that if in this situation $K\to 1$ with $\|Δw\|_{L^p(\ID)}\to 0$, and $Ω\to \ID$ in $C^{1,α}$-sense with $α>1/2,$ then the bound for the Lipschitz constant tends to $1$. In addition, we provide a quasiconformal analogue of the Smirnov absolute continuity result over the boundary. △ Less

Submitted 6 November, 2014; v1 submitted 30 October, 2014; originally announced October 2014.

Comments: 18 pages, minor edits and corrections of some misprints

Sobolev spaces and hyperbolic fillings

Authors: Mario Bonk, Eero Saksman

Abstract: Let $Z$ be an Ahlfors $Q$-regular compact metric measure space, where $Q>0$. For $p>1$ we introduce a new (fractional) Sobolev space $A^p(Z)$ consisting of functions whose extensions to the hyperbolic filling of $Z$ satisfies a weak-type gradient condition. If $Z$ supports a $Q$-Poincaré inequality with $Q>1$, then $A^{Q}(Z)$ coincides with the familiar (homogeneous) Hajłasz-Sobolev space. Let $Z$ be an Ahlfors $Q$-regular compact metric measure space, where $Q>0$. For $p>1$ we introduce a new (fractional) Sobolev space $A^p(Z)$ consisting of functions whose extensions to the hyperbolic filling of $Z$ satisfies a weak-type gradient condition. If $Z$ supports a $Q$-Poincaré inequality with $Q>1$, then $A^{Q}(Z)$ coincides with the familiar (homogeneous) Hajłasz-Sobolev space. △ Less

Submitted 30 March, 2015; v1 submitted 15 August, 2014; originally announced August 2014.

Comments: 31 pages. Revised version. To appear in J. Reine Angew. Math

MSC Class: 30L; 46E35

A hunt for sharp $L ^p$-estimates and rank-one convex variational integrals

Authors: Kari Astala, Tadeusz Iwaniec, István Prause, Eero Saksman

Abstract: Learning how to figure out sharp $L^p$-estimates of nonlinear differential expressions, to prove and use them, is a fundamental part of the development of PDEs and Geometric Function Theory (GFT). Our survey presents, among what is known to date, some notable recent efforts and novelties made in this direction. We focus attention here on the historic Morrey's Conjecture and Burkholder's martingale… ▽ More Learning how to figure out sharp $L^p$-estimates of nonlinear differential expressions, to prove and use them, is a fundamental part of the development of PDEs and Geometric Function Theory (GFT). Our survey presents, among what is known to date, some notable recent efforts and novelties made in this direction. We focus attention here on the historic Morrey's Conjecture and Burkholder's martingale inequalities for stochastic integrals. Some of these topics have already been discussed by the present authors [5] and by Rodrigo Bañuelos [10]. Nevertheless, there is always something new to add. △ Less

Submitted 5 March, 2014; originally announced March 2014.

Comments: 24 pages

Journal ref: Filomat. 29, 2 (2015) 245-261

Basic properties of critical lognormal multiplicative chaos

Authors: Julien Barral, Antti Kupiainen, Miika Nikula, Eero Saksman, Christian Webb

Abstract: We study one-dimensional exact scaling lognormal multiplicative chaos measures at criticality. Our main results are the determination of the exact asymptotics of the right tail of the distribution of the total mass of the measure, and an almost sure upper bound for the modulus of continuity of the cumulative distribution function of the measure. We also find an almost sure lower bound for the incr… ▽ More We study one-dimensional exact scaling lognormal multiplicative chaos measures at criticality. Our main results are the determination of the exact asymptotics of the right tail of the distribution of the total mass of the measure, and an almost sure upper bound for the modulus of continuity of the cumulative distribution function of the measure. We also find an almost sure lower bound for the increments of the measure almost everywhere with respect to the measure itself, strong enough to show that the measure is supported on a set of Hausdorff dimension $0$. △ Less

Submitted 27 October, 2015; v1 submitted 19 March, 2013; originally announced March 2013.

Comments: Published at http://dx.doi.org/10.1214/14-AOP931 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org)

Report number: IMS-AOP-AOP931

Journal ref: Annals of Probability 2015, Vol. 43, No. 5, 2205-2249

Bilipschitz and quasiconformal rotation, stretching and multifractal spectra

Authors: Kari Astala, Tadeusz Iwaniec, István Prause, Eero Saksman

Abstract: We establish sharp bounds for simultaneous local rotation and Hölder-distortion of planar quasiconformal maps. In addition, we give sharp estimates for the corresponding joint quasiconformal multifractal spectrum, based on new estimates for Burkholder functionals with complex parameters. As a consequence, we obtain optimal rotation estimates also for bi-Lipschitz maps. We establish sharp bounds for simultaneous local rotation and Hölder-distortion of planar quasiconformal maps. In addition, we give sharp estimates for the corresponding joint quasiconformal multifractal spectrum, based on new estimates for Burkholder functionals with complex parameters. As a consequence, we obtain optimal rotation estimates also for bi-Lipschitz maps. △ Less

Submitted 26 September, 2013; v1 submitted 10 March, 2013; originally announced March 2013.

Comments: Corrected typos, minor edits

Journal ref: Publ. Math. Inst. Hautes Études Sci. 121, 1, (2015), 113-154

On the existence and uniqueness of p-harmonious functions

Authors: Hannes Luiro, Mikko Parviainen, Eero Saksman

Abstract: We give a self-contained and short proof for the existence, uniqueness and measurability of so called $p$-harmonious functions. The proofs only use elementary analytic tools. As a consequence, we obtain existence, uniqueness and measurability of value functions for the tug-of-war game with noise. We give a self-contained and short proof for the existence, uniqueness and measurability of so called $p$-harmonious functions. The proofs only use elementary analytic tools. As a consequence, we obtain existence, uniqueness and measurability of value functions for the tug-of-war game with noise. △ Less

Submitted 2 November, 2012; originally announced November 2012.

Fourier multipliers for Hardy spaces of Dirichlet series

Authors: Alexandru Aleman, Jan-Fredrik Olsen, Eero Saksman

Abstract: We obtain new results on Fourier multipliers for Dirichlet-Hardy spaces. As a consequence, we establish a Littlewood-Paley type inequality which yields a simple proof that the Dirichlet monomials form a Schauder basis for p>1. We obtain new results on Fourier multipliers for Dirichlet-Hardy spaces. As a consequence, we establish a Littlewood-Paley type inequality which yields a simple proof that the Dirichlet monomials form a Schauder basis for p>1. △ Less

Submitted 16 October, 2012; originally announced October 2012.

Comments: 9 pages

MSC Class: Primary 30B50; Secondary 42B15; 42B30; 46B15

Bounded compositions on scaling invariant Besov spaces

Authors: Herbert Koch, Pekka Koskela, Eero Saksman, Tomás Soto

Abstract: For $0 < s < 1 < q < \infty$, we characterize the homeomorphisms $\varphi : \real^n \to \real^n$ for which the composition operator $f \mapsto f \circ \varphi$ is bounded on the homogeneous, scaling invariant Besov space $\dot{B}^s_{n/s,q}(\real^n)$, where the emphasis is on the case $q\not=n/s$, left open in the previous literature. We also establish an analogous result for Besov-type function… ▽ More For $0 < s < 1 < q < \infty$, we characterize the homeomorphisms $\varphi : \real^n \to \real^n$ for which the composition operator $f \mapsto f \circ \varphi$ is bounded on the homogeneous, scaling invariant Besov space $\dot{B}^s_{n/s,q}(\real^n)$, where the emphasis is on the case $q\not=n/s$, left open in the previous literature. We also establish an analogous result for Besov-type function spaces on a wide class of metric measure spaces as well, and make some new remarks considering the scaling invariant Triebel-Lizorkin spaces $\dot{F}^s_{n/s,q}(\real^n)$ with $0 < s < 1$ and $0 < q \leq \infty$. △ Less

Submitted 27 March, 2015; v1 submitted 28 September, 2012; originally announced September 2012.

Comments: 20 pages; corrected typos, simplified assumptions for Proposition 3.5 and Theorem 3.6

MSC Class: 46E35; 30C65; 47B33

Critical Mandelbrot Cascades

Authors: Julien Barral, Antti Kupiainen, Miika Nikula, Eero Saksman, Christian Webb

Abstract: We study Mandelbrot's multiplicative cascade measures at the critical temperature. As has been recently shown by Barral, Rhodes and Vargas (arXiv:1203.5445), an appropriately normalized sequence of cascade measures converges weakly in probability to a nontrivial limit measure. We prove that these limit measures have no atoms and give bounds for the modulus of continuity of the cumulative distribut… ▽ More We study Mandelbrot's multiplicative cascade measures at the critical temperature. As has been recently shown by Barral, Rhodes and Vargas (arXiv:1203.5445), an appropriately normalized sequence of cascade measures converges weakly in probability to a nontrivial limit measure. We prove that these limit measures have no atoms and give bounds for the modulus of continuity of the cumulative distribution of the measure. Using the earlier work of Barral and Seuret (2007), we compute the multifractal spectrum of the measures. We also extend the result of Benjamini and Schramm (2009), in which the KPZ formula from quantum gravity is validated for the high temperature cascade measures, to the critical and low temperature cases. △ Less

Submitted 29 April, 2013; v1 submitted 23 June, 2012; originally announced June 2012.

Comments: 28 pages

MSC Class: 60G57; 28A78 (Primary) 60G18; 83C45; 60G51 (Secondary)

Harnack's inequality for p-harmonic functions via stochastic games

Authors: Hannes Luiro, Mikko Parviainen, Eero Saksman

Abstract: We give a proof of Lipschitz continuity of p-harmonious functions, that are tug-of-war game analogies of ordinary p-harmonic functions. This result is used to obtain a new proof of Harnack's inequality for p-harmonic functions in the case $p>2$ that avoids classical techniques like Moser iteration, but instead relies on suitable choices of strategies for the stochastic tug-of-war game. We give a proof of Lipschitz continuity of p-harmonious functions, that are tug-of-war game analogies of ordinary p-harmonic functions. This result is used to obtain a new proof of Harnack's inequality for p-harmonic functions in the case $p>2$ that avoids classical techniques like Moser iteration, but instead relies on suitable choices of strategies for the stochastic tug-of-war game. △ Less

Submitted 27 April, 2012; originally announced April 2012.

MSC Class: 35J92; 35B65; 91A15; 35J60; 49N70

Optimal growth of frequently hypercyclic entire functions

Authors: David Drasin, Eero Saksman

Abstract: We solve a problem posed by A. Bonilla and K.-G. Grosse-Erdmann by constructing an entire function $f$ that is frequently hypercyclic with respect to the differentiation operator, and satisfies $M_f(r)\leq\displaystyle ce^r r^{-1/4}$, where $c>0$ be chosen arbirarily small. The obtained growth rate is sharp. We also obtain optimal results for the growth when measured in terms of average $L^p$-norm… ▽ More We solve a problem posed by A. Bonilla and K.-G. Grosse-Erdmann by constructing an entire function $f$ that is frequently hypercyclic with respect to the differentiation operator, and satisfies $M_f(r)\leq\displaystyle ce^r r^{-1/4}$, where $c>0$ be chosen arbirarily small. The obtained growth rate is sharp. We also obtain optimal results for the growth when measured in terms of average $L^p$-norms. Among other things, the proof applies Rudin-Shapiro polynomials and heat kernel estimates. △ Less

Submitted 2 September, 2011; originally announced September 2011.

Comments: 13 pages

MSC Class: 47A16 (Primary); 30D15; 47B38 (Secondary)

Burkholder integrals, Morrey's problem and quasiconformal mappings

Authors: Kari Astala, Tadeusz Iwaniec, István Prause, Eero Saksman

Abstract: Inspired by Morrey's Problem (on rank-one convex functionals) and the Burkholder integrals (of his martingale theory) we find that the Burkholder functionals $B_p$, $p \ge 2$, are quasiconcave, when tested on deformations of identity $f\in Id + C^\infty_0(Ω)$ with $B_p(Df(x)) \ge 0$ pointwise, or equivalently, deformations such that $|Df|^2 \leq \frac{p}{p-2} J_f$. In particular, this holds in exp… ▽ More Inspired by Morrey's Problem (on rank-one convex functionals) and the Burkholder integrals (of his martingale theory) we find that the Burkholder functionals $B_p$, $p \ge 2$, are quasiconcave, when tested on deformations of identity $f\in Id + C^\infty_0(Ω)$ with $B_p(Df(x)) \ge 0$ pointwise, or equivalently, deformations such that $|Df|^2 \leq \frac{p}{p-2} J_f$. In particular, this holds in explicit neighbourhoods of the identity map. Among the many immediate consequences, this gives the strongest possible $L^p$- estimates for the gradient of a principal solution to the Beltrami equation $\f_{\bar{z}} = μ(z) f_z$, for any $p$ in the critical interval $2 \leq p \leq 1+1/\|μ_f\|_\infty$. Examples of local maxima lacking symmetry manifest the intricate nature of the problem. △ Less

Submitted 2 December, 2010; originally announced December 2010.

Comments: 33 pages, 1 figure

Journal ref: J. Amer. Math. Soc. 25 (2012), 507-531

Compact and weakly compact composition operators on BMOA

Authors: Jussi Laitila, Pekka J. Nieminen, Eero Saksman, Hans-Olav Tylli

Abstract: We show that a composition operator induced by an analytic self-map of the unit disc in the complex plane is weakly compact on the space BMOA precisely when the operator is compact on BMOA. As a crucial step we simplify the compactness criterion due to Smith for composition operators on BMOA and show that his condition on the Nevanlinna counting function alone characterizes compactness. In addit… ▽ More We show that a composition operator induced by an analytic self-map of the unit disc in the complex plane is weakly compact on the space BMOA precisely when the operator is compact on BMOA. As a crucial step we simplify the compactness criterion due to Smith for composition operators on BMOA and show that his condition on the Nevanlinna counting function alone characterizes compactness. In addition, other equivalent compactness criteria are established for composition operators on both BMOA and its subspace VMOA. △ Less

Submitted 22 January, 2010; v1 submitted 17 December, 2009; originally announced December 2009.

MSC Class: 47B33 (primary); 30D50 (secondary)