-
Efficient Bayesian Computation Using Plug-and-Play Priors for Poisson Inverse Problems
Authors:
Teresa Klatzer,
Savvas Melidonis,
Marcelo Pereyra,
Konstantinos C. Zygalakis
Abstract:
This paper introduces a novel plug-and-play (PnP) Langevin sampling methodology for Bayesian inference in low-photon Poisson imaging problems, a challenging class of problems with significant applications in astronomy, medicine, and biology. PnP Langevin sampling algorithms offer a powerful framework for Bayesian image restoration, enabling accurate point estimation as well as advanced inference t…
▽ More
This paper introduces a novel plug-and-play (PnP) Langevin sampling methodology for Bayesian inference in low-photon Poisson imaging problems, a challenging class of problems with significant applications in astronomy, medicine, and biology. PnP Langevin sampling algorithms offer a powerful framework for Bayesian image restoration, enabling accurate point estimation as well as advanced inference tasks, including uncertainty quantification and visualization analyses, and empirical Bayesian inference for automatic model parameter tuning. However, existing PnP Langevin algorithms are not well-suited for low-photon Poisson imaging due to high solution uncertainty and poor regularity properties, such as exploding gradients and non-negativity constraints. To address these challenges, we propose two strategies for extending Langevin PnP sampling to Poisson imaging models: (i) an accelerated PnP Langevin method that incorporates boundary reflections and a Poisson likelihood approximation and (ii) a mirror sampling algorithm that leverages a Riemannian geometry to handle the constraints and the poor regularity of the likelihood without approximations. The effectiveness of these approaches is demonstrated through extensive numerical experiments and comparisons with state-of-the-art methods.
△ Less
Submitted 20 March, 2025;
originally announced March 2025.
-
Las funciones booleans y el lema de Bonami
Authors:
María José González,
Paul MacManus,
María Cristina Pereyra
Abstract:
In this expository article, we study the relation between the boolean functions and the hypercontractivity theorems of Aline Bonami. We focus on the social choice theory, and present some of the most important results in the area, such as the Friedgut-Kalai-Naor (FKN) and the Kahn-Kalai-Linial (KKL) theorems, and the famous Fourier Entropy/Influence conjecture.
--
En este artículo expositivo e…
▽ More
In this expository article, we study the relation between the boolean functions and the hypercontractivity theorems of Aline Bonami. We focus on the social choice theory, and present some of the most important results in the area, such as the Friedgut-Kalai-Naor (FKN) and the Kahn-Kalai-Linial (KKL) theorems, and the famous Fourier Entropy/Influence conjecture.
--
En este artículo expositivo estudiamos la relación entre las funciones booleanas y los teoremas de hipercontractividad de Aline Bonami. Nos concentramos en la teoría de la elección social, y presentamos algunos de los resultados más importantes en el área como los teoremas de Friedgut-Kalai-Naor (FKN) y de Kahn-Kalai-Linial (KKL), y la famosa conjetura Entropíıa de Fourier/Influencia.
△ Less
Submitted 18 February, 2025;
originally announced February 2025.
-
Two-weight estimates for the square function and $t$-Haar multipliers
Authors:
Daewon Chung,
Jean Carlo Moraes,
María Cristina Pereyra,
Brett Wick
Abstract:
We present necessary and sufficient conditions on triples of weights $(u,v,w)$ for the boundedness of the dyadic weighted square function $S_w$ from $L^2(u)$ into $L^2(v)$. We use this characterization to obtain necessary and sufficient conditions for the boundedness of the $t$-Haar multipliers from $L^2(u)$ into $L^2(v)$ in terms of boundedness of the dyadic weighted square function.
We present necessary and sufficient conditions on triples of weights $(u,v,w)$ for the boundedness of the dyadic weighted square function $S_w$ from $L^2(u)$ into $L^2(v)$. We use this characterization to obtain necessary and sufficient conditions for the boundedness of the $t$-Haar multipliers from $L^2(u)$ into $L^2(v)$ in terms of boundedness of the dyadic weighted square function.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
Accelerated Bayesian imaging by relaxed proximal-point Langevin sampling
Authors:
Teresa Klatzer,
Paul Dobson,
Yoann Altmann,
Marcelo Pereyra,
Jesús María Sanz-Serna,
Konstantinos C. Zygalakis
Abstract:
This paper presents a new accelerated proximal Markov chain Monte Carlo methodology to perform Bayesian inference in imaging inverse problems with an underlying convex geometry. The proposed strategy takes the form of a stochastic relaxed proximal-point iteration that admits two complementary interpretations. For models that are smooth or regularised by Moreau-Yosida smoothing, the algorithm is eq…
▽ More
This paper presents a new accelerated proximal Markov chain Monte Carlo methodology to perform Bayesian inference in imaging inverse problems with an underlying convex geometry. The proposed strategy takes the form of a stochastic relaxed proximal-point iteration that admits two complementary interpretations. For models that are smooth or regularised by Moreau-Yosida smoothing, the algorithm is equivalent to an implicit midpoint discretisation of an overdamped Langevin diffusion targeting the posterior distribution of interest. This discretisation is asymptotically unbiased for Gaussian targets and shown to converge in an accelerated manner for any target that is $κ$-strongly log-concave (i.e., requiring in the order of $\sqrtκ$ iterations to converge, similarly to accelerated optimisation schemes), comparing favorably to [M. Pereyra, L. Vargas Mieles, K.C. Zygalakis, SIAM J. Imaging Sciences, 13,2 (2020), pp. 905-935] which is only provably accelerated for Gaussian targets and has bias. For models that are not smooth, the algorithm is equivalent to a Leimkuhler-Matthews discretisation of a Langevin diffusion targeting a Moreau-Yosida approximation of the posterior distribution of interest, and hence achieves a significantly lower bias than conventional unadjusted Langevin strategies based on the Euler-Maruyama discretisation. For targets that are $κ$-strongly log-concave, the provided non-asymptotic convergence analysis also identifies the optimal time step which maximizes the convergence speed. The proposed methodology is demonstrated through a range of experiments related to image deconvolution with Gaussian and Poisson noise, with assumption-driven and data-driven convex priors. Source codes for the numerical experiments of this paper are available from https://github.com/MI2G/accelerated-langevin-imla.
△ Less
Submitted 12 January, 2024; v1 submitted 18 August, 2023;
originally announced August 2023.
-
Weighted Inequalities for $t$-Haar multipliers
Authors:
Daewon Chung,
Weiyan Huang,
Jean Carlo Moraes,
María Cristina Pereyra,
Brett D. Wick
Abstract:
In this paper, we provide necessary and sufficient conditions on a triple of weights $(u,v,w)$ so that the $t$-Haar multipliers $T^t_{w,σ}$, $t\in \R$, %defined in \cite{P} when $σ=1$, are uniformly (on the choice of signs $σ$) bounded from $L^2(u)$ into $L^2(v)$. These dyadic operators have symbols $s(x,I)=σ_I\,(w(x)/\langle w\rangle_I)^t$ which are functions of the space variable $x\in\R$ and th…
▽ More
In this paper, we provide necessary and sufficient conditions on a triple of weights $(u,v,w)$ so that the $t$-Haar multipliers $T^t_{w,σ}$, $t\in \R$, %defined in \cite{P} when $σ=1$, are uniformly (on the choice of signs $σ$) bounded from $L^2(u)$ into $L^2(v)$. These dyadic operators have symbols $s(x,I)=σ_I\,(w(x)/\langle w\rangle_I)^t$ which are functions of the space variable $x\in\R$ and the frequency variable $I\in \mathcal{D}$, making them dyadic analogues of pseudo-differential operators. Here $\mathcal{D}$ denotes the dyadic intervals, $σ_I=\pm1$, and $\langle w\rangle_I$ denotes the integral average of $w$ on $I$. When $w\equiv 1$ we have the martingale transform and our conditions recover the known two-weight necessary and sufficient conditions of Nazarov, Treil and Volberg. %We will discuss some relations between the three weights inequality for these operators given the inequality for other dyadic operators. We also show how these conditions are simplified when $u=v$. In particular, the martingale one-weight and the $t$-Haar multiplier unsigned and unweighted (corresponding to $σ_I\equiv 1$ and $u=v\equiv 1$) known results are recovered or improved. We also obtain necessary and sufficient testing conditions of Sawyer type for the two-weight boundedness of a single variable Haar multiplier similar to those known for the martingale transform.
△ Less
Submitted 27 January, 2025; v1 submitted 25 March, 2023;
originally announced March 2023.
-
On Maximum-a-Posteriori estimation with Plug & Play priors and stochastic gradient descent
Authors:
Rémi Laumont,
Valentin de Bortoli,
Andrés Almansa,
Julie Delon,
Alain Durmus,
Marcelo Pereyra
Abstract:
Bayesian methods to solve imaging inverse problems usually combine an explicit data likelihood function with a prior distribution that explicitly models expected properties of the solution. Many kinds of priors have been explored in the literature, from simple ones expressing local properties to more involved ones exploiting image redundancy at a non-local scale. In a departure from explicit model…
▽ More
Bayesian methods to solve imaging inverse problems usually combine an explicit data likelihood function with a prior distribution that explicitly models expected properties of the solution. Many kinds of priors have been explored in the literature, from simple ones expressing local properties to more involved ones exploiting image redundancy at a non-local scale. In a departure from explicit modelling, several recent works have proposed and studied the use of implicit priors defined by an image denoising algorithm. This approach, commonly known as Plug & Play (PnP) regularisation, can deliver remarkably accurate results, particularly when combined with state-of-the-art denoisers based on convolutional neural networks. However, the theoretical analysis of PnP Bayesian models and algorithms is difficult and works on the topic often rely on unrealistic assumptions on the properties of the image denoiser. This papers studies maximum-a-posteriori (MAP) estimation for Bayesian models with PnP priors. We first consider questions related to existence, stability and well-posedness, and then present a convergence proof for MAP computation by PnP stochastic gradient descent (PnP-SGD) under realistic assumptions on the denoiser used. We report a range of imaging experiments demonstrating PnP-SGD as well as comparisons with other PnP schemes.
△ Less
Submitted 16 January, 2022;
originally announced January 2022.
-
Bayesian imaging using Plug & Play priors: when Langevin meets Tweedie
Authors:
Rémi Laumont,
Valentin de Bortoli,
Andrés Almansa,
Julie Delon,
Alain Durmus,
Marcelo Pereyra
Abstract:
Since the seminal work of Venkatakrishnan et al. in 2013, Plug & Play (PnP) methods have become ubiquitous in Bayesian imaging. These methods derive Minimum Mean Square Error (MMSE) or Maximum A Posteriori (MAP) estimators for inverse problems in imaging by combining an explicit likelihood function with a prior that is implicitly defined by an image denoising algorithm. The PnP algorithms proposed…
▽ More
Since the seminal work of Venkatakrishnan et al. in 2013, Plug & Play (PnP) methods have become ubiquitous in Bayesian imaging. These methods derive Minimum Mean Square Error (MMSE) or Maximum A Posteriori (MAP) estimators for inverse problems in imaging by combining an explicit likelihood function with a prior that is implicitly defined by an image denoising algorithm. The PnP algorithms proposed in the literature mainly differ in the iterative schemes they use for optimisation or for sampling. In the case of optimisation schemes, some recent works guarantee the convergence to a fixed point, albeit not necessarily a MAP estimate. In the case of sampling schemes, to the best of our knowledge, there is no known proof of convergence. There also remain important open questions regarding whether the underlying Bayesian models and estimators are well defined, well-posed, and have the basic regularity properties required to support these numerical schemes. To address these limitations, this paper develops theory, methods, and provably convergent algorithms for performing Bayesian inference with PnP priors. We introduce two algorithms: 1) PnP-ULA (Unadjusted Langevin Algorithm) for Monte Carlo sampling and MMSE inference; and 2) PnP-SGD (Stochastic Gradient Descent) for MAP inference. Using recent results on the quantitative convergence of Markov chains, we establish detailed convergence guarantees for these two algorithms under realistic assumptions on the denoising operators used, with special attention to denoisers based on deep neural networks. We also show that these algorithms approximately target a decision-theoretically optimal Bayesian model that is well-posed. The proposed algorithms are demonstrated on several canonical problems such as image deblurring, inpainting, and denoising, where they are used for point estimation as well as for uncertainty visualisation and quantification.
△ Less
Submitted 12 January, 2022; v1 submitted 8 March, 2021;
originally announced March 2021.
-
Maximum likelihood estimation of regularisation parameters in high-dimensional inverse problems: an empirical Bayesian approach. Part II: Theoretical Analysis
Authors:
Valentin De Bortoli,
Alain Durmus,
Ana F. Vidal,
Marcelo Pereyra
Abstract:
This paper presents a detailed theoretical analysis of the three stochastic approximation proximal gradient algorithms proposed in our companion paper [49] to set regularization parameters by marginal maximum likelihood estimation. We prove the convergence of a more general stochastic approximation scheme that includes the three algorithms of [49] as special cases. This includes asymptotic and non…
▽ More
This paper presents a detailed theoretical analysis of the three stochastic approximation proximal gradient algorithms proposed in our companion paper [49] to set regularization parameters by marginal maximum likelihood estimation. We prove the convergence of a more general stochastic approximation scheme that includes the three algorithms of [49] as special cases. This includes asymptotic and non-asymptotic convergence results with natural and easily verifiable conditions, as well as explicit bounds on the convergence rates. Importantly, the theory is also general in that it can be applied to other intractable optimisation problems. A main novelty of the work is that the stochastic gradient estimates of our scheme are constructed from inexact proximal Markov chain Monte Carlo samplers. This allows the use of samplers that scale efficiently to large problems and for which we have precise theoretical guarantees.
△ Less
Submitted 13 August, 2020;
originally announced August 2020.
-
Wasserstein Control of Mirror Langevin Monte Carlo
Authors:
Kelvin Shuangjian Zhang,
Gabriel Peyré,
Jalal Fadili,
Marcelo Pereyra
Abstract:
Discretized Langevin diffusions are efficient Monte Carlo methods for sampling from high dimensional target densities that are log-Lipschitz-smooth and (strongly) log-concave. In particular, the Euclidean Langevin Monte Carlo sampling algorithm has received much attention lately, leading to a detailed understanding of its non-asymptotic convergence properties and of the role that smoothness and lo…
▽ More
Discretized Langevin diffusions are efficient Monte Carlo methods for sampling from high dimensional target densities that are log-Lipschitz-smooth and (strongly) log-concave. In particular, the Euclidean Langevin Monte Carlo sampling algorithm has received much attention lately, leading to a detailed understanding of its non-asymptotic convergence properties and of the role that smoothness and log-concavity play in the convergence rate. Distributions that do not possess these regularity properties can be addressed by considering a Riemannian Langevin diffusion with a metric capturing the local geometry of the log-density. However, the Monte Carlo algorithms derived from discretizations of such Riemannian Langevin diffusions are notoriously difficult to analyze. In this paper, we consider Langevin diffusions on a Hessian-type manifold and study a discretization that is closely related to the mirror-descent scheme. We establish for the first time a non-asymptotic upper-bound on the sampling error of the resulting Hessian Riemannian Langevin Monte Carlo algorithm. This bound is measured according to a Wasserstein distance induced by a Riemannian metric ground cost capturing the Hessian structure and closely related to a self-concordance-like condition. The upper-bound implies, for instance, that the iterates contract toward a Wasserstein ball around the target density whose radius is made explicit. Our theory recovers existing Euclidean results and can cope with a wide variety of Hessian metrics related to highly non-flat geometries.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.
-
Accelerating proximal Markov chain Monte Carlo by using an explicit stabilised method
Authors:
Luis Vargas,
Marcelo Pereyra,
Konstantinos C. Zygalakis
Abstract:
We present a highly efficient proximal Markov chain Monte Carlo methodology to perform Bayesian computation in imaging problems. Similarly to previous proximal Monte Carlo approaches, the proposed method is derived from an approximation of the Langevin diffusion. However, instead of the conventional Euler-Maruyama approximation that underpins existing proximal Monte Carlo methods, here we use a st…
▽ More
We present a highly efficient proximal Markov chain Monte Carlo methodology to perform Bayesian computation in imaging problems. Similarly to previous proximal Monte Carlo approaches, the proposed method is derived from an approximation of the Langevin diffusion. However, instead of the conventional Euler-Maruyama approximation that underpins existing proximal Monte Carlo methods, here we use a state-of-the-art orthogonal Runge-Kutta-Chebyshev stochastic approximation that combines several gradient evaluations to significantly accelerate its convergence speed, similarly to accelerated gradient optimisation methods. The proposed methodology is demonstrated via a range of numerical experiments, including non-blind image deconvolution, hyperspectral unmixing, and tomographic reconstruction, with total-variation and $\ell_1$-type priors. Comparisons with Euler-type proximal Monte Carlo methods confirm that the Markov chains generated with our method exhibit significantly faster convergence speeds, achieve larger effective sample sizes, and produce lower mean square estimation errors at equal computational budget.
△ Less
Submitted 19 March, 2020; v1 submitted 23 August, 2019;
originally announced August 2019.
-
Dyadic harmonic analysis and weighted inequalities: the sparse revolution
Authors:
María Cristina Pereyra
Abstract:
We will introduce the basics of dyadic harmonic analysis and how it can be used to obtain weighted estimates for classical Calderón-Zygmund singular integral operators and their commutators. Harmonic analysts have used dyadic models for many years as a first step towards the understanding of more complex continuous operators. In 2000 Stefanie Petermichl discovered a representation formula for the…
▽ More
We will introduce the basics of dyadic harmonic analysis and how it can be used to obtain weighted estimates for classical Calderón-Zygmund singular integral operators and their commutators. Harmonic analysts have used dyadic models for many years as a first step towards the understanding of more complex continuous operators. In 2000 Stefanie Petermichl discovered a representation formula for the venerable Hilbert transform as an average (over grids) of dyadic shift operators, allowing her to reduce arguments to finding estimates for these simpler dyadic models. For the next decade the technique used to get sharp weighted inequalities was the Bellman function method introduced by Nazarov, Treil, and Volberg, paired with sharp extrapolation by Dragičević et al. Other methods where introduced by Hytönen, Lerner, Cruz-Uribe, Martell, Pérez, Lacey, Reguera, Sawyer, Uriarte-Tuero, involving stopping time and median oscillation arguments, precursors of the very successful domination by positive sparse operators methodology. The culmination of this work was Tuomas Hytönen's 2012 proof of the $A_2$ conjecture based on a representation formula for any Calderón-Zygmund operator as an average of appropriate dyadic operators. Since then domination by sparse dyadic operators has taken central stage and has found applications well beyond Hytönen's $A_p$ theorem. We will survey this remarkable progression and more in these lecture notes.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Quantifying Uncertainty in High Dimensional Inverse Problems by Convex Optimisation
Authors:
Xiaohao Cai,
Marcelo Pereyra,
Jason D. McEwen
Abstract:
Inverse problems play a key role in modern image/signal processing methods. However, since they are generally ill-conditioned or ill-posed due to lack of observations, their solutions may have significant intrinsic uncertainty. Analysing and quantifying this uncertainty is very challenging, particularly in high-dimensional problems and problems with non-smooth objective functionals (e.g. sparsity-…
▽ More
Inverse problems play a key role in modern image/signal processing methods. However, since they are generally ill-conditioned or ill-posed due to lack of observations, their solutions may have significant intrinsic uncertainty. Analysing and quantifying this uncertainty is very challenging, particularly in high-dimensional problems and problems with non-smooth objective functionals (e.g. sparsity-promoting priors). In this article, a series of strategies to visualise this uncertainty are presented, e.g. highest posterior density credible regions, and local credible intervals (cf. error bars) for individual pixels and superpixels. Our methods support non-smooth priors for inverse problems and can be scaled to high-dimensional settings. Moreover, we present strategies to automatically set regularisation parameters so that the proposed uncertainty quantification (UQ) strategies become much easier to use. Also, different kinds of dictionaries (complete and over-complete) are used to represent the image/signal and their performance in the proposed UQ methodology is investigated.
△ Less
Submitted 5 September, 2019; v1 submitted 4 November, 2018;
originally announced November 2018.
-
Atomic decomposition of product Hardy spaces via wavelet bases on spaces of homogeneous type
Authors:
Yongsheng Han,
Ji Li,
M. Cristina Pereyra,
Lesley A. Ward
Abstract:
We provide an atomic decomposition of the product Hardy spaces $H^p(\widetilde{X})$ which were recently developed by Han, Li, and Ward in the setting of product spaces of homogeneous type $\widetilde{X} = X_1 \times X_2$. Here each factor $(X_i,d_i,μ_i)$, for $i = 1$, $2$, is a space of homogeneous type in the sense of Coifman and Weiss.
These Hardy spaces make use of the orthogonal wavelet base…
▽ More
We provide an atomic decomposition of the product Hardy spaces $H^p(\widetilde{X})$ which were recently developed by Han, Li, and Ward in the setting of product spaces of homogeneous type $\widetilde{X} = X_1 \times X_2$. Here each factor $(X_i,d_i,μ_i)$, for $i = 1$, $2$, is a space of homogeneous type in the sense of Coifman and Weiss.
These Hardy spaces make use of the orthogonal wavelet bases of Auscher and Hytönen and their underlying reference dyadic grids.
However, no additional assumptions on the quasi-metric or on the doubling measure for each factor space are made. To carry out this program, we introduce product $(p,q)$-atoms on $\widetilde{X}$ and product atomic Hardy spaces $H^{p,q}_{\rm at}(\widetilde{X})$. As consequences of the atomic decomposition of $H^p(\widetilde{X})$, we show that for all $q > 1$ the product atomic Hardy spaces coincide with the product Hardy spaces, and we show that the product Hardy spaces are independent of the particular choices of both the wavelet bases and the reference dyadic grids. Likewise, the product Carleson measure spaces ${\rm CMO}^p(\widetilde{X})$, the bounded mean oscillation space ${\rm BMO}(\widetilde{X})$, and the vanishing mean oscillation space ${\rm VMO}(\widetilde{X})$, as defined by Han, Li, and Ward, are also independent of the particular choices of both wavelets and reference dyadic grids.
△ Less
Submitted 18 October, 2018; v1 submitted 8 October, 2018;
originally announced October 2018.
-
Revisiting maximum-a-posteriori estimation in log-concave models
Authors:
Marcelo Pereyra
Abstract:
Maximum-a-posteriori (MAP) estimation is the main Bayesian estimation methodology in imaging sciences, where high dimensionality is often addressed by using Bayesian models that are log-concave and whose posterior mode can be computed efficiently by convex optimisation. Despite its success and wide adoption, MAP estimation is not theoretically well understood yet. The prevalent view in the communi…
▽ More
Maximum-a-posteriori (MAP) estimation is the main Bayesian estimation methodology in imaging sciences, where high dimensionality is often addressed by using Bayesian models that are log-concave and whose posterior mode can be computed efficiently by convex optimisation. Despite its success and wide adoption, MAP estimation is not theoretically well understood yet. The prevalent view in the community is that MAP estimation is not proper Bayesian estimation in a decision-theoretic sense because it does not minimise a meaningful expected loss function (unlike the minimum mean squared error (MMSE) estimator that minimises the mean squared loss). This paper addresses this theoretical gap by presenting a decision-theoretic derivation of MAP estimation in Bayesian models that are log-concave. A main novelty is that our analysis is based on differential geometry, and proceeds as follows. First, we use the underlying convex geometry of the Bayesian model to induce a Riemannian geometry on the parameter space. We then use differential geometry to identify the so-called natural or canonical loss function to perform Bayesian point estimation in that Riemannian manifold. For log-concave models, this canonical loss is the Bregman divergence associated with the negative log posterior density. We then show that the MAP estimator is the only Bayesian estimator that minimises the expected canonical loss, and that the posterior mean or MMSE estimator minimises the dual canonical loss. We also study the question of MAP and MSSE estimation performance in large scales and establish a universal bound on the expected canonical error as a function of dimension, offering new insights into the good performance observed in convex problems. These results provide a new understanding of MAP and MMSE estimation in log-concave settings, and of the multiple roles that convex geometry plays in imaging problems.
△ Less
Submitted 18 January, 2019; v1 submitted 19 December, 2016;
originally announced December 2016.
-
On two weight estimates for dyadic operators
Authors:
Oleksandra Beznosova,
Daewon Chung,
Jean Carlo Moraes,
Maria Cristina Pereyra
Abstract:
We provide a quantitative two weight estimate for the dyadic paraproduct $π_b$ under certain conditions on a pair of weights $(u;v)$ and $b$ in $Carl_{u,v}$, a new class of functions that we show coincides with BMO when $u = v \in A^d_2$. We obtain quantitative two weight estimates for the dyadic square function and the martingale transforms under the assumption that the maximal function is bounde…
▽ More
We provide a quantitative two weight estimate for the dyadic paraproduct $π_b$ under certain conditions on a pair of weights $(u;v)$ and $b$ in $Carl_{u,v}$, a new class of functions that we show coincides with BMO when $u = v \in A^d_2$. We obtain quantitative two weight estimates for the dyadic square function and the martingale transforms under the assumption that the maximal function is bounded from $L_2(u)$ into $L_2(v)$ and $v \in RH^d_1$. Finally we obtain a quantitative two weight estimate from $L_2(u)$ into $L_2(v)$ for the dyadic square function under the assumption that the pair $(u; v)$ is in joint $A^d_2$ and $u^{-1} \in RH^d_1$, this is sharp in the sense that when $u = v$ the conditions reduce to $u \in A^d_2$ and the estimate is the known linear mixed estimate.
△ Less
Submitted 5 February, 2016;
originally announced February 2016.
-
Haar bases on quasi-metric measure spaces, and dyadic structure theorems for function spaces on product spaces of homogeneous type
Authors:
Anna Kairema,
Ji Li,
M. Cristina Pereyra,
Lesley Ward
Abstract:
We give an explicit construction of Haar functions associated to a system of dyadic cubes in a geometrically doubling quasi-metric space equipped with a positive Borel measure, and show that these Haar functions form a basis for $L^p$. Next we focus on spaces $X$ of homogeneous type in the sense of Coifman and Weiss, where we use these Haar functions to define a discrete square function, and hence…
▽ More
We give an explicit construction of Haar functions associated to a system of dyadic cubes in a geometrically doubling quasi-metric space equipped with a positive Borel measure, and show that these Haar functions form a basis for $L^p$. Next we focus on spaces $X$ of homogeneous type in the sense of Coifman and Weiss, where we use these Haar functions to define a discrete square function, and hence to define dyadic versions of the function spaces $H^1(X)$ and ${\rm BMO}(X)$. In the setting of product spaces $\widetilde{X} = X_1 \times \cdots \times X_n$ of homogeneous type, we show that the space ${\rm BMO}(\widetilde{X})$ of functions of bounded mean oscillation on $\widetilde{X}$ can be written as the intersection of finitely many dyadic ${\rm BMO}$ spaces on $\widetilde{X}$, and similarly for $A_p(\widetilde{X})$, reverse-Hölder weights on $\widetilde{X}$, and doubling weights on $\widetilde{X}$. We also establish that the Hardy space $H^1(\widetilde{X})$ is a sum of finitely many dyadic Hardy spaces on $\widetilde{X}$, and that the strong maximal function on $\widetilde{X}$ is pointwise comparable to the sum of finitely many dyadic strong maximal functions. These dyadic structure theorems generalize, to product spaces of homogeneous type, the earlier Euclidean analogues for ${\rm BMO}$ and $H^1$ due to Mei and to Li, Pipher and Ward.
△ Less
Submitted 12 September, 2015;
originally announced September 2015.
-
Sharp bounds for $t$-Haar multipliers on $L^2$
Authors:
Oleksandra Beznosova,
Jean Carlo Moraes,
Maria Cristina Pereyra
Abstract:
We show that if a weight $w\in C^d_{2t}$ and there is $q >1$ such that $w^{2t}\in A_q^d$, then the $L^2$-norm of the $t$-Haar multiplier of complexity $(m,n)$ associated to $w$ depends on the square root of the $C^d_{2t}$-characteristic of $w$ times the square root $A^d_q$-characteristic of $w^{2t}$ % raised to the power $(p-1)/2$ times a constant that depends polynomially on the complexity. In pa…
▽ More
We show that if a weight $w\in C^d_{2t}$ and there is $q >1$ such that $w^{2t}\in A_q^d$, then the $L^2$-norm of the $t$-Haar multiplier of complexity $(m,n)$ associated to $w$ depends on the square root of the $C^d_{2t}$-characteristic of $w$ times the square root $A^d_q$-characteristic of $w^{2t}$ % raised to the power $(p-1)/2$ times a constant that depends polynomially on the complexity. In particular, if $w\in C^d_{2t}\cap A_{\infty}^d$ then $w^{2t}\in A_q^d$ for some $q>1$.
△ Less
Submitted 15 December, 2012;
originally announced December 2012.
-
Weighted estimates for dyadic paraproducts and t-Haar multipiers with complexity (m,n)
Authors:
Jean Carlo Moraes,
María Cristina Pereyra
Abstract:
We extend the definitions of dyadic paraproduct and t-Haar multipliers to dyadic operators that depend on the complexity (m,n), for m and n positive integers. We will use the ideas developed by Nazarov and Volberg to prove that the weighted L^2(w)-norm of a paraproduct with complexity (m,n) associated to a function b\in BMO, depends linearly on the A_2-characteristic of the weight w, linearly on t…
▽ More
We extend the definitions of dyadic paraproduct and t-Haar multipliers to dyadic operators that depend on the complexity (m,n), for m and n positive integers. We will use the ideas developed by Nazarov and Volberg to prove that the weighted L^2(w)-norm of a paraproduct with complexity (m,n) associated to a function b\in BMO, depends linearly on the A_2-characteristic of the weight w, linearly on the BMO-norm of b, and polynomially in the complexity. This argument provides a new proof of the linear bound for the dyadic paraproduct (the one with complexity (0,0)). Also we prove that the L^2-norm of a t-Haar multiplier for any t and weight w depends on the square root of the C_{2t}-characteristic of w times the square root of the A_2-characteristic of w^{2t} and polynomially in the complexity (m,n), recovering a result of Beznosova for the (0,0)-complexity case.
△ Less
Submitted 27 June, 2013; v1 submitted 15 August, 2011;
originally announced August 2011.
