Dmitriy Zanin

Endpoint weak Schatten class estimates and trace formula for commutators of Riesz transforms with multipliers on Heisenberg groups

Along the line of singular value estimates for commutators by Rochberg-Semmes, Lord-McDonald-Sukochev-Zanin and Fan-Lacey-Li, we establish the endpoint weak Schatten class estimate for commutators of Riesz transforms with multiplication operator $M_f$ on Heisenberg groups via homogeneous Sobolev norm of the symbol $f$ . The new tool we exploit is the construction of a singular trace formula on Heisenberg groups, which, together with the use of double operator integrals, allows us to bypass the use of Fourier analysis and provides a solid foundation to investigate the singular values estimates for similar commutators in general stratified Lie groups.

Operator $θ$ -Hölder functions with respect to $\left\|\cdot\right\|_p$ , $0< p\le \infty$

Let $θ\in(0,1)$ and $(\mathcal{M},τ)$ be a semifinite von Neumann algebra. We consider the function spaces introduced by Sobolev (denoted by $S_{d,θ}$ ), showing that there exists a constant $d>0$ depending on $p$ , $0<p\le \infty$ , only such that every function $f:\mathbb{R}\rightarrow \mathbb{C} \in S_{d,θ}$ is operator $θ$ -Hölder with respect to $\left\|\cdot \right\|_p$ , that is, there exists a constant $C_{p,f}$ depending on $p$ and $f$ only such that the estimate $\left\|f(A) -f(B)\right\|_p \le C_{p,f}\left\| \left| A-B \right|^θ\right \|_p$ holds for arbitrary self-adjoint $τ$ -measurable operators $A$ and $B$ . In particular, we obtain a sharp condition such that a function $f$ is operator $θ$ -Hölder with respect to all quasi-norms $\left\|\cdot \right\|_p$ , $0<p\le \infty$ , which complements the results on the case for $\frac1θ< p<\infty$ by Aleksandrov and Peller, and the case when $p=\infty$ treated by Aleksandrov and Peller, and by Nikol $^\prime$ skaya and Farforovskaya. As an application, we show that this class of functions is operator $θ$ -Hölder with respect to a wide class of symmetrically quasi-normed operator spaces affiliated with $\mathcal{M}$ , which unifies the results on specific functions due to Birman, Koplienko and Solomjak, Bhatia, Ando, and Ricard with significant extension. In addition, when $θ>1$ , we obtain a reverse of the Birman-Koplienko-Solomjak inequality, which extends a couple of existing results on fractional powers $t\mapsto t^θ$ by Ando et al.

Optimal range of Haar martingale transforms and its applications

Let $(\mathcal{F}_n)_{n\ge 0}$ be the standard dyadic filtration on $[0,1]$ . Let $\mathbb{E}_{\mathcal{F}_n}$ be the conditional expectation from $L_1=L_1[0,1]$ onto $\mathcal{F} _n$ , $n\ge 0$ , and let $\mathbb{E}_{\mathcal{F} _{-1}} =0$ . We present the sharp estimate for the distribution function of the martingale transform $T$ defined by \begin{align*} Tf=\sum_{m=0}^\infty \left( \mathbb{E}_{\mathcal{F}_{2m}} f-\mathbb{E}_{\mathcal{F}_{2m-1}}f \right), ~f\in L_1, \end{align*} in terms of the classical Calderón operator. As an application, for a given symmetric function space $E$ on $[0,1]$ , we identify the symmetric space $\mathcal{S}_E$ , the optimal Banach symmetric range of martingale transforms/Haar basis projections acting on $E$ .

Optimality of Cwikel-Solomyak estimates in Orlicz spaces

We discuss the optimality of Cwikel-Solomyak estimates for the uniform operator norm and establish optimality of M.Z Solomyak's results \cite{Solomyak1995} within the class of Orlicz spaces. Our methods are based on finding the optimal version of the Sobolev embedding theorem.

Spectral estimates and asymptotics for stratified Lie groups

We study Cwikel-type estimates for the singular values and Schatten $\mathcal{L}_p$ -norms of compositions of multiplication and convolution operators acting on stratified Lie groups. This enables us to obtain novel spectral asymptotic formulas for certain operators derived from sub-Laplacians.

preprint2020arXiv

A Dixmier trace formula for the density of states

A version of Connes trace formula allows to associate a measure on the essential spectrum of a Schrödinger operator with bounded potential. In solid state physics there is another celebrated measure associated with such operators --- the density of states. In this paper we demonstrate that these two measures coincide. We show how this equality can be used to give explicit formulae for the density of states in some circumstances.

preprint2020arXiv

BMO-estimates for non-commutative vector valued Lipschitz functions

We construct Markov semi-groups $\mathcal{T}$ and associated BMO-spaces on a finite von Neumann algebra $(\mathcal{M}, τ)$ and obtain results for perturbations of commutators and non-commutative Lipschitz estimates. In particular, we prove that for any $A \in \mathcal{M}$ self-adjoint and $f: \mathbb{R} \rightarrow \mathbb{R}$ Lipschitz there is a Markov semi-group $\mathcal{T}$ such that for $x \in \mathcal{M}$ , $\Vert [f(A), x] \Vert_{{\rm BMO}(\mathcal{M}, \mathcal{T})} \leq c_{abs} \Vert f' \Vert_\infty \Vert [A, x] \Vert_\infty.$ We obtain an analogue of this result for more general von Neumann valued-functions $f: \mathbb{R}^n \rightarrow \mathcal{N}$ by imposing Hörmander-Mikhlin type assumptions on $f$ . In establishing these result we show that Markov dilations of Markov semi-groups have certain automatic continuity properties. We also show that Markov semi-groups of double operator integrals admit (standard and reversed) Markov dilations.

preprint2020arXiv

Cwikel-Solomyak estimates on tori and Euclidean spaces

We revise Cwikel-type estimate for the singular values of the operator $(1-Δ_{\mathbb{T}^d})^{-\frac{d}{4}}M_f(1-Δ_{\mathbb{T}^d})^{-\frac{d}{4}}$ on the torus $\mathbb{T}^d$ for the ideal $\mathcal{L}_{1,\infty}$ , established by M.Z. Solomyak in even dimensions in \cite{Solomyak1995}, and extend it to odd dimensions. We obtain a new result for (symmetrized) Cwikel type estimates for Laplacians on $\mathbb{R}^d$ for arbitrary positive integer $d.$

$Φ$ -moment inequalities for independent and freely independent random variables

This paper is devoted to the study of $Φ$ -moments of sums of independent/freely independent random variables. More precisely, let $(f_k)_{k=1}^n$ be a sequence of positive (symmetrically distributed) independent random variables and let $Φ$ be an Orlicz function with $Δ_2$ -condition. We provide an equivalent expression for the quantity $\mathbb{E}(Φ(\sum_{k=1}^n f_k))$ in term of the sum of disjoint copies of the sequence $(f_k)_{k=1}^n.$ We also prove an analogous result in the setting of free probability. Furthermore, we provide an equivalent characterization of $τ(Φ(\sup^+_{1\leq k\leq n}x_k))$ for positive freely independent random variables and also present some new results on free Johnson-Schechtman inequalities in the quasi-Banach symmetric operator space.

Banach limits and traces on $\mathcal L_{1,\infty}$

We introduce a new approach to traces on the principal ideal $\mathcal L_{1,\infty}$ generated by any positive compact operator whose singular value sequence is the harmonic sequence. Distinct from the well-known construction of J.~Dixmier, the new approach provides the explicit construction of every trace of every operator in $\mathcal L_{1,\infty}$ in terms of translation invariant functionals applied to a sequence of restricted sums of eigenvalues. The approach is based on a remarkable bijection between the set of all traces on $\mathcal L_{1,\infty}$ and the set of all translation invariant functionals on $l_\infty$ . This bijection allows us to identify all known and commonly used subsets of traces (Dixmier traces, Connes-Dixmier traces, etc.) in terms of invariance properties of linear functionals on $l_\infty$ , and definitively classify the measurability of operators in $\mathcal L_{1,\infty}$ in terms of qualified convergence of sums of eigenvalues. This classification has led us to a resolution of several open problems (for the class $\mathcal L_{1,\infty}$ ) from~\cite{CS}. As an application we extend Connes' classical trace theorem to positive normalised traces.

Fubini theorem in noncommutative geometry

We discuss the Fubini formula in Alain Connes' noncommutative geometry. We present a sufficient condition on spectral triples for which a Fubini formula holds true. The condition is natural and related to heat semigroup asymptotics. We provide examples of spectral triples for which the Fubini formula fails.

Johnson-Schechtman and Khinchine inequalities in noncommutative probability theory

We prove disjointification inequalities due to Johnson and Schechtman for noncommutative random variables independent in the sense of Junge and Xu. In the same setting, we also prove noncommutative Khinchine inequalities. These inequalities are proved both for symmetric operator spaces and for modulars.

Johnson-Schechtman inequalities for noncommutative martingales

In this paper we study Johnson-Schechtman inequalities for noncommutative martingales. More precisely, disjointification inequalities of noncommutative martingale difference sequences are proved in an arbitrary symmetric operator space $E(\mathcal{M})$ of a finite von Neumann algebra $\mathcal{M}$ without making any assumption on the Boyd indices of $E$ . We show that we can obtain Johnson-Schechtman inequalities for arbitrary martingale difference sequences and that, in contrast with the classical case of independent random variables or the noncommutative case of freely independent random variables, the inequalities are one-sided except when $E=L_2(0,1)$ . As an application, we partly resolve a problem stated by Randrianantoanina and Wu in \cite{NW}. We also show that we can obtain sharp $Φ$ -moment analogues for Orlicz functions satisfying $p$ -convexity and $q$ -concavity for $1 \leq p \leq 2$ , $q=2$ and $p=2$ , $2< q < \infty$ . This is new even for the classical case. We also extend and strengthen the noncommutative Burkholder-Gundy inequalities in symmetric spaces and in the $Φ$ -moment case.

Krein's trace theorem revisited

We supply the first proof of Krein's Trace Theorem which does not use complex analysis. Our proof holds for~ $σ$ -finite von Neumann algebras $\mathcal{M}$ of type II and unbounded perturbations from the predual of~ $\mathcal{M}$ .

Singular traces and perturbation formulae of higher order

Let $H, V$ be self-adjoint operators such that $V$ belongs to the weak trace class ideal. We prove higher order perturbation formula $τ\big(f(H+V)-\sum_{j=0}^{n-1}\frac{1}{j!}\frac{d^j}{dt^j} f(H+tV)\big|_{t=0}\big)=\int_{\mathbb{R}} f^{(n)}(t)\,dm_n(t),$ where $τ$ is a trace on the weak trace class ideal and $m_n$ is a finite measure that is not necessarily absolutely continuous. This result extends the first and second order perturbation formulas of Dykema and Shripka, who generalised the Krein and Koplienko trace formulas to the weak trace class ideal. We also establish the perturbation formulae when the perturbation $V$ belongs to the quasi-Banach ideal weak- $L_n$ for any $n \geq 1$ .

Algebras of log-integrable functions and operators

We show that certain spaces of log-integrable functions and operators are complete topological *-algebras with respect to a natural metric space structure. We explore connections with the Nevanlinna class of holomorphic functions.

An upper triangular decomposition theorem for some unbounded operators affiliated to II_1-factors

Results of Haagerup and Schultz (2009) about existence of invariant subspaces that decompose the Brown measure are extended to a large class of unbounded operators affiliated to a tracial von Neumann algebra. These subspaces are used to decompose an arbitrary operator in this class into the sum of a normal operator and a spectrally negligible operator. This latter result is used to prove that, on a bimodule over a tracial von Neumann algebra that is closed with respect to logarithmic submajorization, every trace is spectral, in the sense that the trace value on an operator depends only on the Brown measure of the operator.

Catalysis in the trace class and weak trace class ideals

Given operators $A,B$ in some ideal $\mathcal{I}$ in the algebra $\mathcal{L}(H)$ of all bounded operators on a separable Hilbert space $H$ , can we give conditions guaranteeing the existence of a trace-class operator $C$ such that $B \otimes C$ is submajorized (in the sense of Hardy--Littlewood) by $A \otimes C$ ? In the case when $\mathcal{I} = \mathcal{L}_1$ , a necessary and almost sufficient condition is that the inequalities ${\rm Tr} (B^p) \leq {\rm Tr} (A^p)$ hold for every $p \in [1,\infty]$ . We show that the analogous statement fails for $\mathcal{I} = \mathcal{L}_{1,\infty}$ by connecting it with the study of Dixmier traces.

On reduction theory and Brown measure for closed unbounded operators

The theory of direct integral decompositions of both bounded and unbounded operators is further developed; in particular, results about spectral projections, functional calculus and affiliation to von Neumann algebras are proved. For operators belonging to or affiliated to a tracial von Neumann algebra that is a direct integral von Neumann algebra, the Brown measure is shown to be given by the corresponding integral of Brown measures.