Source author record

Sergei Treil

Sergei Treil appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

33works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

33 published item(s)

preprint2021arXiv

Dyadic bi-parameter repeated commutator and dyadic product BMO

Consider a tensor product of simple dyadic shifts defined below. We prove here that for dyadic bi-parameter repeated commutator its norm can be estimated from below by Chang-Fefferman $BMO$ norm pertinent to its symbol. See Theorems in Section 8 at the end of this article. But this is done below under an extra assumption on the Haar--Fourier side of the symbol. In Section 7 we carefully analyze what goes wrong in the absence of this extra assumption. At the end of this note we also list a counterexample to the existing proof of characterization of bi-parameter repeated commutator with the Hilbert transforms. This is a counterexample to the proof, and it is not a counterexample to the statement of factorization result in bi-disc, or to Nehari's theorem in bi-disc. To the best of our knowledge Nehari's theorem on bi-disc is still open. Moreover its dyadic bi-parameter version considered in the present paper is also still open for general symbol without any extra restrictions.

preprint2021arXiv

Preservation of absolutely continuous spectrum for contractive operators

We consider contractive operators $T$ that are trace class perturbations of a unitary operator $U$. We prove that the dimension functions of the absolutely continuous spectrum of $T$, $T^*$ and of $U$ coincide. In particular, if $U$ has a purely singular spectrum then the characteristic function $θ$ of $T$ is a two-sided inner function, i.e. $θ(ξ)$ is unitary a.e. on $\mathbb{T}$. Some corollaries of this result are related to investigations of the asymptotic stability of the operators $T$ and $T^*$ (convergence $T^n\to 0$ and $(T^*)^n\to 0$, respectively, in the strong operator topology). The proof is based on an explicit computation of the characteristic function.

preprint2020arXiv

"Small step" remodeling and counterexamples for weighted estimates with arbitrarily "smooth" weights

For an $A_p$ weight $w$ the norm of the Hilbert Transform in $L^p(w)$, $1<p<\infty$ is estimated by $[w]_{A_p}^{s}$, where $[w]_{A_p}$ is the $A_p$ characteristic of the weight $w$ and $s = \max(1,1/(p-1))$; as simple examples with power weights show, these estimates are sharp. A natural question to ask, is whether it is possible to improve the exponent $s$ in the above estimate if one replaces the $A_p$ characteristic by its "fattened" version, where the averages are replaced by Poisson-like averages. For power weights (for example with $p=2$ and Poisson averages) one can see that there is indeed an improvement in the exponent: but is it true for general weights? In this paper we show that the optimal exponent $s$ remains the same by constructing counterexamples for arbitrarily "smooth" weights (in the sense that the doubling constant is arbitrarily close to $2$), so the "fattened" $A_p$ characteristic is equivalent to the classical one, and such that $\|T\|_{L^p(w)} \sim [w]_{A_p}^{s}$. We use the ideas from the unpublished manuscript by F. Nazarov disproving Sarason's conjecture. We start from simple classical counterexamples for dyadic models, and then by using what we call "small step construction" we transform them into examples with weights that are arbitrarily dyadically smooth. F.~Nazarov had used Bellman function method to prove the existence of such examples, but our construction gives a way to get such examples from the standard dyadic ones. We then use a modification of "remodeling", introduced by J.~Bourgain and developed by F.~Nazarov, to get from examples for dyadic models to examples for the Hilbert transform. As an added bonus, we present a proof that the $L^p$ analog of Sarason's conjecture is false for all $p$, $1<p<\infty$.

preprint2020arXiv

Commutators in the two scalar and matrix weighted setting

In this paper we approach the two weighted boundedness of commutators via matrix weights. This approach provides both a sufficient and a necessary condition for the two weighted boundedness of commutators with an arbitrary linear operator in terms of one matrix weighted norm inequalities for this operator. Furthermore, using this approach, we surprisingly provide conditions that almost characterize the two matrix weighted boundedness of commutators with CZOs and completely arbitrary matrix weights, which is even new in the fully scalar one weighted setting. Finally, our method allows us to extend the two weighted Holmes/Lacey/Wick results to the fully matrix setting (two matrix weights and a matrix symbol), completing a line of research initiated by the first two authors.

preprint2020arXiv

Dimension of the exceptional set in the Aronszajn-Donoghue theorem for finite rank perturbations

The classical Aronszajn-Donoghue theorem states that for a rank one perturbation of a self-adjoint operator (by a cyclic vector) the singular parts of the spectral measures of the original and perturbed operators are mutually singular. As simple direct sum type examples show, this result does not hold for finite rank perturbations. However, the set of exceptional perturbations is pretty small. Namely, for a family of rank $d$ perturbations $A_{\boldsymbolα} := A +\mathbf{B} \boldsymbolα \mathbf{B}^*$, $\mathbf{B}:\mathbb{C}^d\to \mathbf{H}$, with Ran$\,\mathbf{B}$ being cyclic for $A$, parametrized by $d\times d$ Hermitian matrices $\boldsymbolα$, the singular parts of the spectral measures of $A$ and $A_{\boldsymbolα}$ are mutually singular for all $\boldsymbolα$ except for a small exceptional set $E$. It was shown earlier by the first two authors that $E$ is a subset of measure zero of the space $\mathbf{H}(d)$ of $d\times d$ Hermitian matrices. In this paper we show that the set $E$ has small Hausdorff dimension, $\dim E \le \dim\mathbf{H}(d)-1 = d^2-1$.

preprint2019arXiv

Matrix Measures and Finite Rank Perturbations of Self-adjoint Operators

Matrix-valued measures provide a natural language for the theory of finite rank perturbations. In this paper we use this language to prove some new perturbation theoretic results. Our main result is a generalization of the Aronszajn--Donoghue theorem about the mutual singularity of the singular parts of the spectrum for rank one perturbations to the case of finite rank perturbations. Simple direct sum type examples indicate that an exact generalization is not possible. However, in this paper we introduce the notion of \emph{vector mutual singularity} for the matrix-valued measures and show that if we use this notion, the mutual singularity still holds for the finite rank perturbations. As for the scalar spectral measures and the classical mutual singularity, we show that the singular parts are mutually singular for almost all perturbations. One of the ways to prove that is to use a generalization of the Aleksandrov's spectral averaging to the matrix-valued measures, which is also one of the main results of this paper. Finally, the spectral representation of the perturbed operator is obtained. The matrix Muckenhoupt $A_2$ condition appears naturally there, and it plays an important role in establishing the vector mutual singularity of the spectral measures.

preprint2016arXiv

Two weight estimates with matrix measures for well localized operators

In this paper, we give necessary and sufficient conditions for weighted $L^2$ estimates with matrix-valued measures of well localized operators. Namely, we seek estimates of the form: \[ \| T(\mathbf{W} f)\|_{L^2(\mathbf{V})} \le C\|f\|_{L^2(\mathbf{W})} \] where $T$ is formally an integral operator with additional structure, $\mathbf{W}, \mathbf{V}$ are matrix measures, and the underlying measure space possesses a filtration. The characterization we obtain is of Sawyer-type; in particular we show that certain natural testing conditions obtained by studying the operator and its adjoint on indicator functions suffice to determine boundedness. Working in both the matrix weighted setting and the setting of measure spaces with arbitrary filtrations requires novel modifications of a T1 proof strategy; a particular benefit of this level of generality is that we obtain polynomial estimates on the complexity of certain Haar shift operators.

preprint2015arXiv

Two weight $L^p$ estimates for paraproducts in non-homogeneous settings

We give a necessary and sufficient condition for the two weight $L^p$-estimates for paraproducts in non-homogeneous settings, $1<p<\infty$. We are mainly interested in the case $p\ne 2$, since the case $p=2$ is a well-known and easy corollary of the Carleson embedding theorem. The necessary and sufficient condition is given in terms of testing conditions of Sawyer type: for $p\le 2$ only one ("direct") testing condition is required, but for $p>2$ both "direct" and "adjoint" testing conditions are needed. An interesting feature is that the "adjoint" testing condition is that it is a testing condition not for the adjoint of the paraproduct, but for some auxiliary operator.

preprint2014arXiv

Entropy conditions in two weight inequalities for singular integral operators

The new type of "bumping" of the Muckenhoupt $A_2$ condition on weights is introduced. It is based on bumping the entropy integral of the weights. In particular, one gets (assuming mild regularity conditions on the corresponding Young functions) the bump conjecture, proved earlier by A. Lerner and independently by Nazarov--Reznikov--Treil--Volberg, as a corollary of entropy bumping. But our entropy bumps cannot be reduced to the bumping with Orlicz norms in the solution of bump conjecture, they are effectively smaller. Henceforth we get somewhat stronger result than the one that solves the bump conjecture. New results concerning one sided bumping conjecture are obtained. All the results hold in the general non-homogeneous situation.

preprint2012arXiv

Carleson--Buckley measures beyond the scope of $A_\infty$ and their applications

Carleson measures are ubiquitous in Harmonic Analysis. In the paper of Fefferman--Kenig--Pipher in 1991 an interesting class of Carleson measures was introduced for the need of regularity problems of elliptic PDE. These Carleson measures were associated with $A_\infty$ weights. In discrete setting (we need exactly discrete setting here) they were studied by Buckley's, where they were associated with dyadic $A\infty^d$. Our goal here is to show that such Carleson--Buckley measures (in discrete setting) exists for virtually any positive function (weight). Of course some modification is needed, because it is known that Carleson property of Buckley's measure are equivalent to the weight to be in $A_\infty^d$. However a very natural generalization of those facts exist for weights more general $A_\infty$, and of course, in a special case of $A_\infty^d$ it gives Buckley's results. Our generalization of Buckley's inequality beyond the scope of $A_\infty$ allows us to prove the so-called bump conjecture.

preprint2011arXiv

A sharp estimate of weighted dyadic shifts of complexity 0 and 1

A simple shortcut to proving sharp weighted estimates for the Martingale Transform and for the dyadic shift of order 1 (and so for the Hilbert transform) is presented. It is a unified proof for these both transforms. Key words: Calder\on--Zygmund operators, $A_2$ weights, $A_1$ weights, Carleson embedding theorem, Bellman function, dyadic shifts, nonhomogeneous Harmonic Analysis.

preprint2011arXiv

Regularizations of general singular integral operators

In the theory of singular integral operators significant effort is often required to rigorously define such an operator. This is due to the fact that the kernels of such operators are not locally integrable on the diagonal, so the integral formally defining the operator or its bilinear form is not well defined (the integrand is not in L^1) even for nice functions. However, since the kernel only has singularities on the diagonal, the bilinear form is well defined say for bounded compactly supported functions with separated supports. One of the standard ways to interpret the boundedness of a singular integral operators is to consider regularized kernels, where the cut-off function is zero in a neighborhood of the origin, so the corresponding regularized operators with kernel are well defined (at least on a dense set). Then one can ask about uniform boundedness of the regularized operators. For the standard regularizations one usually considers truncated operators. The main result of the paper is that for a wide class of singular integral operators (including the classical Calderon-Zygmund operators in non-homogeneous two weight settings), the L^p boundedness of the bilinear form on the compactly supported functions with separated supports (the so-called restricted L^p boundedness) implies the uniform L^p-boundedness of regularized operators for any reasonable choice of a smooth cut-off of the kernel. If the kernel satisfies some additional assumptions (which are satisfied for classical singular integral operators like Hilbert Transform, Cauchy Transform, Ahlfors--Beurling Transform, Generalized Riesz Transforms), then the restricted L^p boundedness also implies the uniform L^p boundedness of the classical truncated operators.

preprint2011arXiv

Sharp $A_2$ estimates of Haar shifts via Bellman function

We use the Bellman function method to give an elementary proof of a sharp weighted estimate for the Haar shifts, which is linear in the $A_2$ norm of the weight and in the complexity of the shift. Together with the representation of a general Calderón--Zygmund operator as a weighted average (over all dyadic lattices) of Haar shifts, (cf. arXiv:1010.0755v2[math.CA], arXiv:1007.4330v1[math.CA]) it gives a significantly simpler proof of the so-called the $A_2$ conjecture. The main estimate is a very general fact about concave functions, which can be very useful in other problems of martingale Harmonic Analysis. Concave functions of such type appear as the Bellman functions for bounds on the bilinear form of martingale multipliers, thus the main estimate allows for the transference of the results for simplest possible martingale multipliers to more general martingale transforms. Note that (although this is not important for the $A_2$ conjecture for general Calderón--Zygmund operators) this elementary proof gives the best known (linear) growth in the complexity of the shift.

preprint2010arXiv

$H^1$ and dyadic $H^1$

In this paper we give a simple proof of the fact that the average over all dyadic lattices of the dyadic $H^1$-norm of a function gives an equivalent $H^1$-norm. The proof we present works for both one-parameter and multi-parameter Hardy spaces. The results of such type are known. The first result (for one-parameter Hardy spces) belongs to Burgess Davis (1980). Also, by duality, such results are equivalent to the "BMO from dyadic BMO" statements proved by Garnett-Jones(1982} for one parameter case, and by Pipher-Ward (2008) for two-parameter case. While the paper generalizes these results to the multi-parameter setting, this is not its main goal. The purpose of the paper is to present an approach leading to a simple proof, which works in both one-parameter and multi-parameter cases. The main idea of treating square function as a Calderon--Zygmind operator is a commonplace in harmonic analysis; the main observation, on which the paper is based, is that one can treat the random dyadic square function this way. After that, all is proved by using the standard and well-known results about Calderon--Zygmind operators in the Hilbert-space-valued setting. As an added bonus, we get a simple proof of the (equivalent by duality) inclusion $\text{BMO}\subset \text{BMO}_d$, $H^1_d \subset H^1$ in the multi-parameter case. Note, that unlike the one-parameter case, the inclusions in the general situation are far from trivial.

preprint2010arXiv

On $A_2$ conjecture and corona decomposition of weights

We consider here a problem of finding the sharp estimate for the boundedness of an arbitrary Calderón-Zygmund operator in $L^2(w)$, $w\in A_2$. We first prove that for $A_2$ weight $w$ one has that the norm a Calderon--Zygmund operator $T$ in $L^2(w)$ is bounded by the sum of its weak norm, the weak norm of its adjoint, and the $A_2$ norm of the weight. From this result we derive that $\|T\|_{L^2(w)\rightarrow L^2(w)} \le C\,[w]_{A_2}\log (1+[w]_{A_2})$. We believe that the logarithmic factor is superflous. The approach is based on $2$-weight estimates technique and, hence, on non-homogeneous harmonic analysis.

preprint2010arXiv

Sharp weighted estimates for dyadic shifts and the $A_2$ conjecture

We give a self-contained proof of the $A_2$ conjecture, which claims that the norm of any Calderon-Zygmund operator is bounded by the first degree of the $A_2$ norm of the weight. The original proof of this result by the first author relied on a subtle and rather difficult reduction to a testing condition by the last three authors. Here we replace this reduction by a new weighted norm bound for dyadic shifts - linear in the $A_2$ norm of the weight and quadratic in the complexity of the shift -, which is based on a new quantitative two-weight inequality for the shifts. These sharp one- and two-weight bounds for dyadic shifts are the main new results of this paper. They are obtained by rethinking the corresponding previous results of Lacey-Petermichl-Reguera and Nazarov-Treil-Volberg. To complete the proof of the $A_2$ conjecture, we also provide a simple variant of the representation, already in the original proof, of an arbitrary Calderon-Zygmund operator as an average of random dyadic shifts and random dyadic paraproducts. This method of the representation amounts to the refinement of the techniques from nonhomogeneous Harmonic Analysis.

preprint2010arXiv

Two weight estimate for the Hilbert transform and corona decomposition for non-doubling measures

This article was written in 2005 and subsequently lost (at least by the third author). Recently it resurfaced due to one of the colleagues to whom a hard copy has been sent in 2005. We consider here a problem of finding necessary and sufficient conditions for the boundedness of two weight Calderón-Zygmund operators. We give such necessary and sufficient conditions in very natural terms, if the operator is the Hilbert transform, and the weights satisfy some very natural condition. The condition on weights was lifted in a recent paper of Michael Lacey, Eric Sawyer and Ignacio Uriarte-Tuero: "A characterization of the two weight norm inequality for the Hilbert transform", arXiv:1001.4043 [math.CA] 31 January 2010. The paper of Lacey--Sawyer-Uriarte-Tuero alliviated the "pivotal" condition used in a present article and replaced it by the very interesting and correct energy condition, which, unlike the "pivotal" condition turned out to be also necessary. The paper of Lacey-Sawyer-Uriarte-Tuero used the present article in its main aspect. The thrust of the present article is to use the methods of nonhomogeneous Harmonoc Analysis together with a several paraproducts arising from a certain stopping time argument. In view of the importance of the present article for Lacey--Sawyer-Uriarte-Tuero's paper arXiv:1001.4043 [math.CA] 31 January 2010, we present it to the attention of the reader. Drawing no parallels, "Darwin spent 1838-1859 getting ready to publish "On the Origin of Species" without actually publishing it, only brooding over beaks of finches".

preprint2008arXiv

Rank one perturbations and singular integral operators

We consider rank one perturbations $A_α=A+α(\cdot,φ)φ$ of a self-adjoint operator $A$ with cyclic vector $φ\in\mathcal H_{-1}(A)$ on a Hilbert space $\mathcal H$. The spectral representation of the perturbed operator $A_α$ is given by a singular integral operator of special form. Such operators exhibit what we call 'rigidity' and are connected with two weight estimates for the Hilbert transform. Also, some results about two weight estimates of Cauchy (Hilbert) transforms are proved. In particular, it is proved that the regularized Cauchy transforms $T_\varepsilon$ are uniformly (in $\varepsilon$) bounded operators from $L^2(μ)$ to $L^2(μ_α)$, where $μ$ and $μ_α$ are the spectral measures of $A$ and $A_α$, respectively. As an application, a sufficient condition for $A_α$ to have a pure absolutely continuous spectrum on a closed interval is given in terms of the density of the spectral measure of $A$ with respect to $φ$. Some examples, like Jacobi matrices and Schrödinger operators with $L^2$ potentials are considered.

preprint2007arXiv

Analytic projections, Corona Problem and geometry of holomorphic vector bundles

The main result of the paper is the theorem giving a sufficient condition for the existence of a bounded analytic projection onto a holomorphic family of (generally infinite-dimensional) subspaces (a holomorphic sub-bundle of a trivial bundle). This sufficient condition is also necessary in the case of finite dimension or codimension of the bundle. A simple lemma of N. Nikolski connects the existence of a bounded analytic projection with the Operator Corona Problem (existence of a bounded analytic left inverse for an operator-valued function), so as corollaries of the main result we obtain new results about the Operator Corona Problem. In particular, we find a new sufficient condition, a complete solution in the case of finite codimension, and, a solution of the generalized Corona Problem.

preprint2007arXiv

Carleson Potentials and the Reproducing Kernel Thesis for Embedding Theorems

In this note we present a new proof of the Carleson Embedding Theorem on the unit disc and unit ball. The only technical tool used in the proof of this fact is Green's formula. The starting point is that every Carleson measure gives rise to a bounded subharmonic function. Using this function we construct a new related Carleson measure that allows for a simple embedding. In the case of the disc this gives the best known constant, with the previous best given by N. Nikolskii.

preprint2007arXiv

Estimates in corona theorems for some subalgebras of $H^\infty$

We obtain estimates in the corona theorem for the algebra of analytic functions in the unit disc whose nth derivative is bounded, and its subalgebras defined by the boundary continuity of the nth derivative. The corona theorem for such algebras is trivial and known, but corona theorem with estimates is new and much harder to prove. As an auxiliary result of independent interest we get the continuity of the best estimate in such algebras (including the classical case of the algebra $H^\infty$ of bounded analytic functions). We also show that for a fixed $n$ the best estimate is the same for all algebras we consider.

preprint2007arXiv

The problem of ideals of $H^\infty$: beyond the exponent 3/2

The paper deals with the problem of ideals of $H^\infty$: describe increasing functions $ϕ\ge 0$ such that for all bounded analytic functions $f_1,f_2,...,f_n, τ$ in the unit disc $D$ the condition $|τ(z) | \le ϕ(\sum_k |f_k(z)|)$ for all $z\in D$, implies that $τ$ belong to the ideal generated by $f_1,f_2,...,f_n$. It was proved earlier by the author that the function $ϕ(s) =s^2$ does not work. The main result of the paper is that one can take for $ϕ$ any function of form $ϕ(s) =s^2 ψ(\ln s^{-2})$, where $ψ$ is a bounded non-increasing function on $[0, \infty)$ satisfying $\int_0^\infty ψ(x) dx <\infty$.

preprint2004arXiv

The Matrix-Valued $H^{p}$ Corona Problem in the Disk and Polydisk

In this paper we consider the matrix-valued $H^{p}$ corona problem in the disk and polydisk. The result for the disk is rather well known, and is usually obtained from the classical Carleson Corona Theorem by linear algebra. Our proof provides a streamlined way of obtaining this result and allows one to get a better estimate on the norm of the solution. In particular, we were able to improve the estimate found in the recent work of T. Trent. Note that, the solution of the $H^{\infty}$ matrix corona problem in the disk can be easily obtained from the $H^{2}$ corona problem either by factorization, or by the Commutant Lifting Theorem. The $H^{p}$ corona problem in the polydisk was originally solved by K.C. Lin. The solution used Koszul complexes and was rather complicated because one had to consider higher order $\bar{\partial}$-equations. Our proof is more transparent and it improves upon Lin's result in several ways. First, we were able to show that the norm of the solution is independent of the number of generators. Additionally, we illustrate that the norm of the solution grows at most proportionally to the dimension of the polydisk. Our approach is based on one that was originated by M. Andersson. In the disk it essentially depends on Green's Theorem and duality to obtain the estimate. In the polydisk we use Riesz projections to reduce the problem to the disk case.

preprint1997arXiv

Weak type estimates and Cotlar inequalities for Calderón-Zygmund operators in nonhomogeneous spaces

In the paper we consider Calderón-Zygmund operators in nonhomogeneous spaces. We are going to prove the analogs of classical results for homogeneous spaces. Namely, we prove that a Calderón-Zygmund operator is of weak type if it is bounded in $L^2$. We also prove several versions of Cotlar's inequality for maximal singular operator. One version of Cotlar's inequality (a simpler one) is proved in Euclidean setting, another one in a more abstract setting when Besicovich covering lemma is not available. We obtain also the weak type of maximal singular operator from these inequalities.