BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Sergei Treil

Sergei Treil contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.CAmath.FAmath.CVmath.APmath.SPmath-phmath.MPmath.DG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
18works
0followers
8topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

18 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;fattened&#34; 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 &#34;smooth&#34; weights (in the sense that the doubling constant is arbitrarily close to $2$), so the &#34;fattened&#34; $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&#39;s conjecture. We start from simple classical counterexamples for dyadic models, and then by using what we call &#34;small step construction&#34; 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 &#34;remodeling&#34;, 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&#39;s conjecture is false for all $p$, $1<p<\infty$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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&#39;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.

0 citations0 reviewsNo code linkedOpen access
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 &#34;BMO from dyadic BMO&#34; 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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: &#34;A characterization of the two weight norm inequality for the Hilbert transform&#34;, arXiv:1001.4043 [math.CA] 31 January 2010. The paper of Lacey--Sawyer-Uriarte-Tuero alliviated the &#34;pivotal&#34; condition used in a present article and replaced it by the very interesting and correct energy condition, which, unlike the &#34;pivotal&#34; 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&#39;s paper arXiv:1001.4043 [math.CA] 31 January 2010, we present it to the attention of the reader. Drawing no parallels, &#34;Darwin spent 1838-1859 getting ready to publish &#34;On the Origin of Species&#34; without actually publishing it, only brooding over beaks of finches&#34;.

0 citations0 reviewsNo code linkedOpen access
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 &#39;rigidity&#39; 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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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&#39;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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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&#39;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&#39;s Theorem and duality to obtain the estimate. In the polydisk we use Riesz projections to reduce the problem to the disk case.

0 citations0 reviewsNo code linkedOpen access