BZPEER

preprint2023arXiv

Hermitian operators and isometries on symmetric operator spaces

Let $\mathcal{M}$ be an atomless semifinite von Neumann algebra (or an atomic von Neumann algebra with all atoms having the same trace) acting on a (not necessarily separable) Hilbert space $H$ equipped with a semifinite faithful normal trace $τ$ . Let $E(\mathcal{M},τ)$ be a symmetric operator space affiliated with $\mathcal{M}$ , whose norm is order continuous and is not proportional to the Hilbertian norm $\left\|\cdot\right\|_2$ on $L_2(\mathcal{M},τ)$ . We obtain general description of all bounded hermitian operators on $E(\mathcal{M},τ)$ . This is the first time that the description of hermitian operators on asymmetric operator space (even for a noncommutative $L_p$ -space) is obtained in the setting of general (non-hyperfinite) von Neumann algebras. As an application, we resolve a long-standing open problem concerning the description of isometries raised in the 1980s, which generalizes and unifies numerous earlier results.

preprint2023arXiv

Innerness of derivations into noncommutative symmetric spaces is determined commutatively

Let $E=E(0,\infty)$ be a symmetric function space and $E(\mathcal{M},τ)$ be a symmetric operator space associated with a semifinite von Neumann algebra with a faithful normal semifinite trace. Our main result identifies the class of spaces $E$ for which every derivation $δ:\mathcal{A}\to E(\mathcal{M},τ)$ is necessarily inner for each $C^*$ -subalgebra $\mathcal{A}$ in the class of all semifinite von Neumann algebras $\mathcal{M}$ as those with the Levi property.

preprint2022arXiv

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.

preprint2022arXiv

Isomorphic classification of $L_{p,q}$ -spaces, II

This is a continuation of the papers [Kuryakov-Sukochev, JFA, 2015] and [Sadovskaya-Sukochev, PAMS, 2018], in which the isomorphic classification of $L_{p,q}$ , for $1< p<\infty$ , $1\le q<\infty$ , $p\ne q$ , on resonant measure spaces, has been obtained. The aim of this paper is to give a complete isomorphic classification of $L_{p,q}$ -spaces on general $σ$ -finite measure spaces. Towards this end, several new subspaces of $L_{p,q}(0,1)$ and $L_{p,q}(0,\infty)$ are identified and studied.

preprint2022arXiv

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.

preprint2022arXiv

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

preprint2022arXiv

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.

preprint2022arXiv

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.

preprint2022arXiv

The Witten index and the spectral shift function

In \cite{APSIII} Atiyah, Patodi and Singer introduced spectral flow for elliptic operators on odd dimensional compact manifolds. They argued that it could be computed from the Fredholm index of an elliptic operator on a manifold of one higher dimension. A general proof of this fact was produced by Robbin-Salamon \cite{RS95}. In \cite{GLMST}, a start was made on extending these ideas to operators with some essential spectrum as occurs on non-compact manifolds. The new ingredient introduced there was to exploit scattering theory following the fundamental paper \cite{Pu08}. These results do not apply to differential operators directly, only to pseudo-differential operators on manifolds, due to the restrictive assumption that spectral flow is considered between an operator and {its perturbation by a relatively trace-class operator}. In this paper we extend the main results of these earlier papers to spectral flow between an operator and a perturbation satisfying a higher $p^{th}$ Schatten class condition for $0\leq p<\infty$ , thus allowing differential operators on manifolds of any dimension $d<p+1$ . In fact our main result does not assume any ellipticity or Fredholm properties at all and proves an operator theoretic trace formula motivated by \cite{BCPRSW, CGK16}. We illustrate our results using Dirac type operators on $L^2(\bbR^d)$ for arbitrary $d\in\bbN$. In this setting our main result substantially extends \cite[Theorem 3.5]{CGGLPSZ16}, where the case $d=1$ was treated.

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

preprint2020arXiv

Lack of isomorphic embeddings of symmetric function spaces into operator ideals

Let $E(0,1)$ be a symmetric space on $(0,1)$ and $C_F$ be a symmetric ideal of compact operators on the Hilbert space $\ell_2$ associated with a symmetric sequence space $F$ . We give several criteria for $E(0,1)$ and $F$ so that $E(0,1)$ does not embed into the ideal $C_F$ , extending the result for the case when $E(0,1)=L_p(0,1)$ and $F=\ell_p$ , $1\le p<\infty$ , due to Arazy and Lindenstrauss.

preprint2020arXiv

Non-existence of translation-invariant derivations on algebras of measurable functions

Let $S(0,1)$ be the $*$ -algebra of all classes of Lebesgue measurable functions on the unit interval $(0,1)$ and let $(\mathcal{A},\left\|\cdot \right\|_\mathcal{A})$ be a complete symmetric $Δ$ -normed $*$ -subalgebra of $S(0,1)$ , in which simple functions are dense, e.g., $L_\infty (0,1)$ , $L_{\log}(0,1)$ , $S(0,1)$ and the Arens algebra $L^ω(0,1)$ equipped with their natural $Δ$ -norms. We show that there exists no non-trivial derivation $δ: \mathcal{A} \to S(0,1)$ commuting with all dyadic translations of the unit interval. Let $\mathcal{M}$ be a type $II$ (or $I_\infty$ ) von Neumann algebra, $\mathcal{A}$ be its abelian von Neumann subalgebra, let $S(\mathcal{M})$ be the algebra of all measurable operators affiliated with $\mathcal{M}$ . We show that any non-trivial derivation $δ:\mathcal{A} \to S(\mathcal{A})$ can not be extended to a derivation on $S(\mathcal{M})$ . In particular, we answer an untreated question in \cite{BKS1}.

preprint2020arXiv

When do triple operator integrals take value in the trace class?

Consider three normal operators $A,B,C$ on separable Hilbert space $\H$ as well as scalar-valued spectral measures $λ_A$ on $σ(A)$ , $λ_B$ on $σ(B)$ and $λ_C$ on $σ(C)$ . For any $ϕ\in L^\infty(λ_A\times λ_B\times λ_C)$ and any $X,Y\in S^2(\H)$ , the space of Hilbert-Schmidt operators on $\H$, we provide a general definition of a triple operator integral $Γ^{A,B,C}(ϕ)(X,Y)$ belonging to $S^2(\H)$ in such a way that $Γ^{A,B,C}(ϕ)$ belongs to the space $B_2(S^2(\H)\times S^2(\H), S^2(\H))$ of bounded bilinear operators on $S^2(\H)$ , and the resulting mapping $Γ^{A,B,C}\colon L^\infty(λ_A\times λ_B\times λ_C) \to B_2(S^2(\H)\times S^2(\H), S^2(\H))$ is a $w^*$ -continuous isometry. Then we show that a function $ϕ\in L^\infty(λ_A\times λ_B\times λ_C)$ has the property that $Γ^{A,B,C}(ϕ)$ maps $S^2(\H)\times S^2(\H)$ into $S^1(\H)$ , the space of trace class operators on $\H$, if and only if it has the following factorization property: there exist a Hilbert space $H$ and two functions $a\in L^{\infty}(λ_A \times λ_B ; H)$ and $b\in L^{\infty}(λ_B\times λ_C ; H)$ such that $ϕ(t_1,t_2,t_3)= \left\langle a(t_1,t_2),b(t_2,t_3) \right\rangle$ for a.e. $(t_1,t_2,t_3) \in σ(A) \times σ(B) \times σ(C).$ This is a bilinear version of Peller's Theorem characterizing double operator integral mappings $S^1(\H)\to S^1(\H)$ . In passing we show that for any separable Banach spaces $E,F$ , any $w^*$ -measurable esssentially bounded function valued in the Banach space $Γ_2(E,F^*)$ of operators from $E$ into $F^*$ factoring through Hilbert space admits a $w^*$ -measurable Hilbert space factorization.

preprint2019arXiv

Notes on derivations of Murray--von Neumann algebras

Let $\mathcal{M}$ be a type II $_1$ von Neumann factor and let $S(\mathcal{M})$ be the associated Murray-von Neumann algebra of all measurable operators affiliated to $\mathcal{M}.$ We extend a result of Kadison and Liu \cite{KL} by showing that any derivation from $S(\mathcal{M})$ into an $\mathcal{M}$ -bimodule $\mathcal{B}\subsetneq S(\mathcal{M})$ is trivial. In the special case, when $\mathcal{M}$ is the hyperfinite type II $_1-$ factor $\mathcal{R}$ , we introduce the algebra $AD(\mathcal{R})$ , a noncommutative analogue of the algebra of all almost everywhere approximately differentiable functions on $[0,1]$ and show that it is a proper subalgebra of $S(\mathcal{R})$ . This algebra is strictly larger than the corresponding ring of continuous geometry introduced by von Neumann. Further, we establish that the classical approximate derivative on (classes of) Lebesgue measurable functions on $[0,1]$ admits an extension to a derivation from $AD(\mathcal{R})$ into $S(\mathcal{R})$ , which fails to be spatial. Finally, we show that for a Cartan masa $\mathcal{A}$ in a hyperfinite II $_1-$ factor $\mathcal{R}$ there exists a derivation $δ$ from $\mathcal{A}$ into $S(\mathcal{A})$ which does not admit an extension up to a derivation from $\mathcal{R}$ to $S(\mathcal{R}).$

preprint2019arXiv

Quantum differentiability on noncommutative Euclidean spaces

We study the topic of quantum differentiability on quantum Euclidean $d$ -dimensional spaces (otherwise known as Moyal $d$ -spaces), and we find conditions that are necessary and sufficient for the singular values of the quantised differential to have decay $O(n^{-α})$ for $0 < α\leq \frac{1}{d}$ . This result is substantially more difficult than the analogous problems for Euclidean space and for quantum $d$ -tori.

preprint2016arXiv

$Φ$ -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.

preprint2016arXiv

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.

preprint2016arXiv

Double operator integral methods applied to continuity of spectral shift functions

We derive two main results: First, assume that $A$ , $B$ , $A_n$ , $B_n$ are self-adjoint operators in the Hilbert space $\mathcal{H}$ , and suppose that $A_n$ converges to $A$ and $B_n$ to $B$ in strong resolvent sense as $n \to \infty$ . Fix $m \in \mathbb{N}$ , $m$ odd, $p \in [1,\infty)$ , and assume that $T:= \big[( A + iI_{\mathcal{H}})^{-m} - ( B + iI_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_p(\mathcal{H})$ , $T_n := \big[( A_n + iI_{\mathcal{H}})^{-m} - ( B_n + iI_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_p(\mathcal{H})$ , and $\lim_{n \rightarrow \infty} \|T_n - T\|_{\mathcal{B}_p(\mathcal{H})} =0$ . Then for any function $f$ in the class $\mathfrak F_{k}(\mathbb{R}) \supset C_0^{\infty}(\mathbb{R})$ (cf. (1.1)), $\lim_{n \rightarrow \infty} \big\| [f(A_n) - f(B_n)] - [f(A)- f(B)]\big\|_{\mathcal{B}_p(\mathcal{H})}=0.$ Our second result concerns the continuity of spectral shift functions $ξ(\cdot; B,B_0)$ with respect to the operator parameter $B$ . For $T$ self-adjoint in $\mathcal{H}$ we denote by $Γ_m(T)$ , $m \in \mathbb{N}$ odd, the set of all self-adjoint operators $S$ in $\mathcal{H}$ satisfying $\big[(S - z I_{\mathcal{H}})^{-m} - (T - z I_{\mathcal{H}})^{-m}\big] \in \mathcal{B}_1(\mathcal{H})$ , $z \in \mathbb{C}\backslash \mathbb{R}$ . Employing a suitable topology on $Γ_m(T)$ (cf. (1.9), we prove the following: Suppose that $B_1\in Γ_m(B_0)$ and let $\{B_τ\}_{τ\in [0,1]}\subset Γ_m(B_0)$ denote a path from $B_0$ to $B_1$ in $Γ_m(B_0)$ depending continuously on $τ\in [0,1]$ with respect to the topology on $Γ_m(B_0)$ . If $f \in L^{\infty}(\mathbb{R})$ , then $\lim_{τ\to 0^+} \|ξ(\, \cdot \, ; B_τ, A_0) f - ξ(\, \cdot \, ; B_0, A_0) f\|_{L^1(\mathbb{R}; (|ν|^{m+1} + 1)^{-1}dν)} = 0.$

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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.

preprint2016arXiv

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}$ .

preprint2016arXiv

Operator Lipschitz functions on Banach spaces

Let $X$ , $Y$ be Banach spaces and let $\mathcal{L}(X,Y)$ be the space of bounded linear operators from $X$ to $Y$ . We develop the theory of double operator integrals on $\mathcal{L}(X,Y)$ and apply this theory to obtain commutator estimates of the form $\|f(B)S-Sf(A)\|_{\mathcal{L}(X,Y)}\leq \textrm{const} \|BS-SA\|_{\mathcal{L}(X,Y)}$ for a large class of functions $f$ , where $A\in\mathcal{L}(X)$ , $B\in \mathcal{L}(Y)$ are scalar type operators and $S\in \mathcal{L}(X,Y)$ . In particular, we establish this estimate for $f(t):=|t|$ and for diagonalizable operators on $X=\ell_{p}$ and $Y=\ell_{q}$ , for $p<q$ and $p=q=1$ , and for $X=Y=\mathrm{c}_{0}$ . We also obtain results for $p\geq q$ . We also study the estimate above in the setting of Banach ideals in $\mathcal{L}(X,Y)$ . The commutator estimates we derive hold for diagonalizable matrices with a constant independent of the size of the matrix.

preprint2016arXiv

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

preprint2015arXiv

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.

preprint2015arXiv

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.

preprint2015arXiv

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.

preprint2015arXiv

On Index Theory for Non-Fredholm Operators: A $(1+1)$ -Dimensional Example

Using the general formalism of [12], a study of index theory for non-Fredholm operators was initiated in [9]. Natural examples arise from $(1+1)$ -dimensional differential operators using the model operator $D_A$ in $L^2(\mathbb{R}^2; dt dx)$ of the type $D_A = (d/dt) + A$ , where $A = \int^{\oplus}_{\mathbb{R}} dt \, A(t)$ , and the family of self-adjoint operators $A(t)$ in $L^2(\mathbb{R}; dx)$ is explicitly given by $A(t) = - i (d/dx) + θ(t) ϕ(\cdot)$ , $t \in \mathbb{R}$ . Here $ϕ: \mathbb{R} \to \mathbb{R}$ has to be integrable on $\mathbb{R}$ and $θ: \mathbb{R} \to \mathbb{R}$ tends to zero as $t \to - \infty$ and to $1$ as $t \to + \infty$ . In particular, $A(t)$ has asymptotes in the norm resolvent sense $A_- = - i (d/dx)$ , $A_+ = - i (d/dx) + ϕ(\cdot)$ as $t \to \mp \infty$ . Since $D_A$ violates the relative trace class condition introduced in [9], we now employ a new approach based on an approximation technique. The approximants do fit the framework of [9] and lead to the following results: Introducing $H_1 = {D_A}^* D_A$ , $H_2 = D_A {D_A}^*$ , we recall that the resolvent regularized Witten index of $D_A$ , denoted by $W_r(D_A)$ , is defined by $W_r(D_A) = \lim_{λ\to 0} (- λ) {\rm tr}_{L^2(\mathbb{R}^2; dtdx)}((H_1 - λI)^{-1} - (H_2 - λI)^{-1}).$ In the concrete example at hand, we prove $W_r(D_A) = ξ(0_+; H_2, H_1) = ξ(0; A_+, A_-) = 1/(2 π) \int_{\mathbb{R}} dx \, ϕ(x).$ Here $ξ(\, \cdot \, ; S_2, S_1)$ , denotes the spectral shift operator for the pair $(S_2,S_1)$ , and we employ the normalization, $ξ(λ; H_2, H_1) = 0$ , $λ< 0$ .

preprint2015arXiv

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.

preprint2015arXiv

On the Index of a Non-Fredholm Model Operator

Let $\{A(t)\}_{t \in \mathbb{R}}$ be a path of self-adjoint Fredholm operators in a Hilbert space $\mathcal{H}$ , joining endpoints $A_\pm$ as $t \to \pm \infty$ . Computing the index of the operator $D_A= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$ , where $A = \int_{\mathbb{R}}^{\oplus} dt \, A(t)$ , and its relation to spectral flow along this path, has a long history. While most of the latter focuses on the case where $A(t)$ all have purely discrete spectrum, we now particularly study situations permitting essential spectra. Introducing $H_1={D_A}^* D_A$ and $H_2=D_A {D_A}^*$ , we consider spectral shift functions $ξ(\, \cdot \,; A_+, A_-)$ and $ξ(\, \cdot \, ; H_2, H_1)$ associated with the pairs $(A_+, A_-)$ and $(H_2,H_1)$ . Assuming $A_+$ to be a relatively trace class perturbation of $A_-$ and $A_{\pm}$ to be Fredholm, the value $ξ(0; A_-, A_+)$ was shown in [14] to represent the spectral flow along the path $\{A(t)\}_{t\in \mathbb{R}}$ while that of $ξ(0_+; H_1,H_2)$ yields the Fredholm index of $D_A$ . The fact, proved in [14], that these values of the two spectral functions are equal, resolves the index = spectral flow question in this case. When the path $\{A(t)\}_{t \in \mathbb{R}}$ consists of differential operators, the relatively trace class perturbation assumption is violated. The simplest assumption that applies (to differential operators in (1+1)-dimensions) is a relatively Hilbert-Schmidt perturbation. This is not just an incremental improvement. In fact, the approximation method we employ here to make this extension is of interest in any dimension. Moreover we consider $A_\pm$ which are not necessarily Fredholm and we establish that the relationships between the two spectral shift functions for the pairs $(A_+, A_-)$ and $(H_2,H_1)$ found in all of the previous papers [9], [14], and [22] can be proved in the non-Fredholm case.

preprint2015arXiv

Peller's problem concerning Koplienko-Neidhardt trace formulae: the unitary case

We prove the existence of a complex valued $C^2$ -function on the unit circle, a unitary operator U and a self-adjoint operator Z in the Hilbert-Schmidt class $S^2$ , such that the perturbated operator $f(e^{iZ}U)-f(U) -\frac{d}{dt}\bigl(f(e^{itZ}U)\bigr)_{\vert t=0}$ does not belong to the space $S^1$ of trace class operators. This resolves a problem of Peller concerning the validity of the Koplienko-Neidhardt trace formula for unitaries.

preprint2015arXiv

Resolution of Peller's problem concerning Koplienko-Neidhardt trace formulae

A formula for the norm of a bilinear Schur multiplier acting from the Cartesian product $\mathcal S^2\times \mathcal S^2$ of two copies of the Hilbert-Schmidt classes into the trace class $\mathcal S^1$ is established in terms of linear Schur multipliers acting on the space $\mathcal S^\infty$ of all compact operators. Using this formula, we resolve Peller's problem on Koplienko-Neidhardt trace formulae. Namely, we prove that there exist a twice continuously differentiable function $f$ with a bounded second derivative, a self-adjoint (unbounded) operator $A$ and a self-adjoint operator $B\in \mathcal S^2$ such that $f(A+B)-f(A)-\frac{d}{dt}(f(A+tB))\big\vert_{t=0}\notin \mathcal S^1.$

preprint2015arXiv

The index formula and the spectral shift function for relatively trace class perturbations

We compute the Fredholm index, ${\rm ind}(D_A)$ , of the operator $D_A = (d/dt) + A$ on $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$ , where $(A f)(t) = A(t) f(t)$ for a.e. $t\in\mathbb{R}$ , and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$ , via the spectral shift function $ξ(\, \cdot \,;A_+,A_-)$ associated with the pair $(A_+, A_-)$ of asymptotic operators $A_{\pm}=A(\pm\infty)$ on the separable complex Hilbert space $\mathcal{H}$ in the case when $A(t)$ is generally an unbounded (relatively trace class) perturbation of the unbounded self-adjoint operator $A_-$ . We derive a formula (an extension of a formula due to Pushnitski) relating the spectral shift function $ξ(\, \cdot \,;A_+,A_-)$ for the pair $(A_+, A_-)$ , and the corresponding spectral shift function $ξ(\, \cdot \,;H_2,H_1)$ for the pair of operators $(H_2,H_1)=(D_A {D_A}^*, {D_A}^* D_A)$ in this relative trace class context. This formula is then used to identify the Fredholm index of $D_A$ with $ξ(0;A_+,A_-)$ . In addition, we prove that ${\rm ind}(D_A)$ coincides with the spectral flow SpFlow $(\{A(t)\}_{t=-\infty}^\infty)$ of the family $\{A(t)\}_{t\in\mathbb{R}}$ and also relate it to the (Fredholm) perturbation determinant for the pair $(A_+, A_-)$ . We also provide some applications in the context of supersymmetric quantum mechanics to zeta function and heat kernel regularized spectral asymmetries and the eta-invariant.

preprint2015arXiv

The Spectral shift function and the Witten index

We survey the notion of the spectral shift function of a pair of self-adjoint operators and recent progress on its connection with the Witten index. We also describe a proof of Krein's Trace Theorem that does not use complex analysis [53] and develop its extension to general $σ$ -finite von Neumann algebras $\mathcal{M}$ of type II and unbounded perturbations from the predual of $\mathcal{M}$ . We also discuss the connection between the theory of the spectral shift function and index theory for certain model operators. We start by introducing various definitions of the Witten index, (an extension of the notion of Fredholm index to non-Fredholm operators). Then we study the model operator $D_{A^{}} = (d/dt) + A$ in $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$ , where $(A f)(t) = A(t) f(t)$ for a.e. $t\in\mathbb{R}$ , and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$ . The setup permits the operator family $A(t)$ on $\mathcal{H}$ to be an unbounded relatively trace class perturbation of the unbounded self-adjoint operator $A_-$ , and no discrete spectrum assumptions are made on the asymptotes $A_{\pm}$ . When $A_{\pm}$ are boundedly invertible, it is shown that $D_{A^{}}$ is Fredholm and its index can be computed as $ξ(0; A_+, A_-)$ . When $0\inσ(A_+)$ (or $0\inσ(A_-)$ ), the operator $D_{A^{}}$ ceases to be Fredholm. However, if $0$ is a right and a left Lebesgue point of $ξ(\,\cdot\,\, ; A_+, A_-)$ , the resolvent regularized Witten index $W_r(D_{A^{}})$ is given by $W_r(D_{A^{}}) = ξ(0_+; |D_{A^{*}}|^2, |D_{A^{}}|^2) = [ξ(0_+; A_+,A_-) + ξ(0_-; A_+, A_-)]/2$ . We also study a special example, when the perturbation of the unbounded self-adjoint operator $A_-$ is not assumed to be relatively trace class.

preprint2015arXiv

Weak type commutator and Lipschitz estimates: resolution of the Nazarov-Peller conjecture

Let $\mathcal{M}$ be a semi-finite von Neumann algebra and let $f: \mathbb{R} \rightarrow \mathbb{C}$ be a Lipschitz function. If $A,B\in\mathcal{M}$ are self-adjoint operators such that $[A,B]\in L_1(\mathcal{M}),$ then $\|[f(A),B]\|_{1,\infty}\leq c_{abs}\|f'\|_{\infty}\|[A,B]\|_1,$ where $c_{abs}$ is an absolute constant independent of $f$ , $\mathcal{M}$ and $A,B$ and $\|\cdot\|_{1,\infty}$ denotes the weak $L_1$ -norm. If $X,Y\in\mathcal{M}$ are self-adjoint operators such that $X-Y\in L_1(\mathcal{M}),$ then $\|f(X)-f(Y)\|_{1,\infty}\leq c_{abs}\|f'\|_{\infty}\|X-Y\|_1.$ This result resolves a conjecture raised by F. Nazarov and V. Peller implying a couple of existing results in perturbation theory.

preprint2014arXiv

A Jost-Pais-type reduction of Fredholm determinants and some applications

We study the analog of semi-separable integral kernels in $\cH$ of the type {equation*} K(x,x')={cases} F_1(x)G_1(x'), & a<x'< x< b, \\ F_2(x)G_2(x'), & a<x<x'<b, {cases} {equation*} where $-\infty\leq a<b\leq \infty$ , and for a.e.\ $x \in (a,b)$ , $F_j (x) \in \cB_2(\cH_j,\cH)$ and $G_j(x) \in \cB_2(\cH,\cH_j)$ such that $F_j(\cdot)$ and $G_j(\cdot)$ are uniformly measurable, and {equation*} \|F_j(\cdot)\|_{\cB_2(\cH_j,\cH)} \in L^2((a,b)), \; \|G_j (\cdot)\|_{\cB_2(\cH,\cH_j)} \in L^2((a,b)), \quad j=1,2, {equation*} with $\cH$ and $\cH_j$, $j=1,2$ , complex, separable Hilbert spaces. Assuming that $K(\cdot, \cdot)$ generates a trace class operator $\bsK$ in $L^2((a,b);\cH)$, we derive the analog of the Jost-Pais reduction theory that succeeds in proving that the Fredholm determinant ${\det}_{L^2((a,b);\cH)}(\bsI - α\bsK)$, $α\in \bbC$, naturally reduces to appropriate Fredholm determinants in the Hilbert spaces $\cH$ (and $\cH_1 \oplus \cH_2$). Explicit applications of this reduction theory are made to Schrödinger operators with suitable bounded operator-valued potentials. In addition, we provide an alternative approach to a fundamental trace formula first established by Pushnitski which leads to a Fredholm index computation of a certain model operator.

preprint2014arXiv

Dixmier traces and extrapolation description of noncommutative Lorentz spaces

We study the relationships between Dixmier traces, zeta-functions and traces of heat semigroups beyond the dual of the Macaev ideal and in the general context of semifinite von Neumann algebras. We show that the correct framework for this investigation is that of operator Lorentz spaces possessing an extrapolation description. We demonstrate the applicability of our results to Hörmander-Weyl pseudo-differential calculus. In that context, we prove that the Dixmier trace of a pseudo-differential operator coincide with the `Dixmier integral' of its symbol.

preprint2014arXiv

On the Witten index in terms of spectral shift functions

We study the model operator $\mathbf{D}_{\mathbf{A}} = (d/dt) + \mathbf{A}$ in $L^2(\mathbb{R};\mathcal{H})$ associated with the operator path $\{A(t)\}_{t=-\infty}^{\infty}$ , where $(\mathbf{A} f)(t) = A(t) f(t)$ for a.e.\ $t\in\mathbb{R}$ , and appropriate $f \in L^2(\mathbb{R};\mathcal{H})$ (with $\mathcal{H}$ a separable, complex Hilbert space). Denoting by $A_{\pm}$ the norm resolvent limits of $A(t)$ as $t \to \pm \infty$ , our setup permits $A(t)$ in $\mathcal{H}$ to be an unbounded, relatively trace class perturbation of the unbounded self-adjoint operator $A_-$ , and no discrete spectrum assumptions are made on $A_{\pm}$ . We introduce resolvent and semigroup regularized Witten indices of $\mathbf{D}_{\mathbf{A}}$ , denoted by $W_r$ and $W_s$ , and prove that these regularized indices coincide with the Fredholm index of $\mathbf{D}_{\mathbf{A}}$ whenever the latter is Fredholm. In situations where $\mathbf{D}_{\mathbf{A}}$ ceases to be a Fredholm operator in $L^2(\mathbb{R};\mathcal{H})$ we compute its resolvent (resp., semigroup) regularized Witten index in terms of the spectral shift function $ξ(\,\cdot\,;A_+,A_-)$ associated with the pair $(A_+, A_-)$ as follows: Assuming $0$ to be a right and a left Lebesgue point of $ξ(\,\cdot\,\, ; A_+, A_-)$ , denoted by $ξ_L(0_+; A_+,A_-)$ and $ξ_L(0_-; A_+, A_-)$ , we prove that $0$ is also a right Lebesgue point of $ξ(\,\cdot\,\, ; \mathbf{H_2}, \mathbf{H_1})$ , denoted by $ξ_L(0_+; \mathbf{H_2}, \mathbf{H_1})$ , and that \begin{align*} W_r(\mathbf{D}_{\mathbf{A}}) &= W_s(\mathbf{D}_{\mathbf{A}}) \\ & = ξ_L(0_+; \mathbf{H_2}, \mathbf{H_1}) \\ & = [ξ_L(0_+; A_+,A_-) + ξ_L(0_-; A_+, A_-)]/2, \end{align*} the principal result of this paper. In the special case where $\dim(\mathcal{H}) < \infty$ , we prove that the Witten indices of $\mathbf{D}_{\mathbf{A}}$ are either integer, or half-integer-valued.

preprint2014arXiv

Some Operator Bounds Employing Complex Interpolation Revisited

We revisit and extend known bounds on operator-valued functions of the type $$ T_1^{-z} S T_2^{-1+z}, \quad z \in \ol Σ= \{z\in\bbC\,|\, \Re(z) \in [0,1]\}, $$ under various hypotheses on the linear operators $S$ and $T_j$ , $j=1,2$ . We particularly single out the case of self-adjoint and sectorial operators $T_j$ in some separable complex Hilbert space $\cH_j$, $j=1,2$ , and suppose that $S$ (resp., $S^*$ ) is a densely defined closed operator mapping $\dom(S) \subseteq \cH_1$ into $\cH_2$ (resp., $\dom(S^*) \subseteq \cH_2$ into $\cH_1$), relatively bounded with respect to $T_1$ (resp., $T_2^*$ ). Using complex interpolation methods, a generalized polar decomposition for $S$ , and Heinz's inequality, the bounds we establish lead to inequalities of the following type, \begin{align*} & \big\|\ol{T_2^{-x}ST_1^{-1+x}}\big\|_{\cB(\cH_1,\cH_2)} \leq N_1 N_2 e^{(θ_1 + θ_2) [x(1-x)]^{1/2}} \\ & \quad \times \big\|ST_1^{-1}\big\|_{\cB(\cH_1,\cH_2)}^{1-x} \, \big\|S^*(T_2^*)^{-1}\big\|_{\cB(\cH_2,\cH_1)}^{x}, \quad x \in [0,1], \end{align*} assuming that $T_j$ have bounded imaginary powers, that is, for some $N_j\ge 1$ and $θ_j \ge 0,$ $$ \big\|T_j^{is}\big\|_{\cB(\cH)} \leq N_j e^{θ_j |s|}, \quad s \in \bbR, \; j=1,2. $$ We also derive analogous bounds with $\cB(\cH_1,\cH_2)$ replaced by trace ideals, $\cB_p(\cH_1, \cH_2)$, $p \in [1,\infty)$ . The methods employed are elementary, predominantly relying on Hadamard's three-lines theorem and Heinz's inequality.

preprint2014arXiv

The best constants for operator Lipschitz functions on Schatten classes

Suppose that f is a Lipschitz function on the real numbers with Lipschitz constant smaller or equal to 1. Let A be a bounded self-adjoint operator on a Hilbert space H. Let 1<p<infinity and suppose that x in B(H) is an operator such that the commutator [A, x] is contained in the Schatten class S_p. It is proved by the last two authors, that then also [f(A), x] is contained in S_p and there exists a constant C_p independent of x and f such that || [f(A), x] ||_p <= C_p || [A,x] ||_p. The main result of this paper is to give a sharp estimate for C_p in terms of p. Namely, we show that C_p ~ p^2/(p-1). In particular, this gives the best estimates for operator Lipschitz inequalities. We treat this result in a more general setting. This involves commutators of n self-adjoint operators, for which we prove the analogous result. The case described here in the abstract follows as a special case.

preprint2013arXiv

Frechet differentiability of Sp norms

One of the long standing questions in the theory of Schatten-von Neumann ideals of compact operators is whether their norms have the same differentiability properties as the norms of their commutative counterparts. We answer this question in the affirmative. A key technical observation underlying our proof is a discovery of connection between this question and recent affirmative resolution of L.S. Koplienko's conjecture concerning existence of higher order spectral shift functions.

preprint2013arXiv

Holomorphic functional calculus on upper triangular forms in finite von Neumann algebras

The decompositions of an element of a finite von Neumann algebra into the sum of a normal operator plus an s.o.t.-quasinilpotent operator, obtained using the Haagerup--Schultz hyperinvariant projections, behave well with respect to holomorphic functional calculus.

preprint2013arXiv

On a conjecture of A. Bikchentaev

In \cite{bik1}, A. M. Bikchentaev conjectured that for positive $τ-$ measurable operators $a$ and $b$ affiliated with an arbitrary semifinite von Neumann algebra $\mathcal M$ , the operator $b^{1/2}ab^{1/2}$ is submajorized by the operator $ab$ in the sense of Hardy-Littlewood. We prove this conjecture in full generality and present a number of applications to fully symmetric operator ideals, Golden-Thompson inequality and (singular) traces.

preprint2012arXiv

(E,F)-multipliers and applications

For two given symmetric sequence spaces $E$ and $F$ we study the $(E,F)$ -multiplier space, that is the space all of matrices $M$ for which the Schur product $M\ast A$ maps $E$ into $F$ boundedly whenever $A$ does. We obtain several results asserting continuous embedding of $(E,F)$ -multiplier space into the classical $(p,q)$ -multiplier space (that is when $E=l_p$ , $F=l_q$ ). Furthermore, we present many examples of symmetric sequence spaces $E$ and $F$ whose projective and injective tensor products are not isomorphic to any subspace of a Banach space with an unconditional basis, extending classical results of S. Kwapień and A. Pełczyński and of G. Bennett for the case when $E=l_p$ , $F=l_q$ .

preprint2012arXiv

Dixmier traces generated by exponentiation invariant generalised limits

We define a new class of singular positive traces on the ideal $\mathcal M_{1,\infty}$ of $B(H)$ generated by exponentiation invariant generalized limits. We prove that this new class is strictly contained in the class of all Dixmier traces. We also prove a Lidskii-type formula for this class of traces.

preprint2012arXiv

Higher order spectral shift for contractions

We derive strong estimates for Schatten norms of operator derivatives along paths of contractions and apply them to prove existence of higher order spectral shift functions for pairs of contractions.

preprint2012arXiv

Measurable operators and the asymptotics of heat kernels and zeta functions

In this note we answer some questions inspired by the introduction, by Alain Connes, of the notion of measurable operators using Dixmier traces. These questions concern the relationship of measurability to the asymptotics of $ζ-$ functions and heat kernels. The answers have remained elusive for some 15 years.

preprint2012arXiv

On the distinction between the classes of Dixmier and Connes-Dixmier traces

In the present paper we prove that the classes of Dixmier and Connes-Dixmier traces differ even on the Dixmier ideal $\mathcal M_{1,\infty}$ . We construct a Marcinkiewicz space $\mathcal M_ψ$ and a positive operator $T\in \mathcal M_ψ$ which is Connes-Dixmier measurable but which is not Dixmier measurable.

preprint2012arXiv

Spectral shift function of higher order

This paper resolves affirmatively Koplienko's conjecture of 1984 on existence of higher order spectral shift measures. Moreover, the paper establishes absolute continuity of these measures and, thus, existence of the higher order spectral shift functions $η_n$ . We show the higher order spectral shift function is a $L^1$ -function and prove an estimate on its $L^1$ -norm. Existence and summability of $η_1$ and $η_2$ were established by Krein in 1953 and Koplienko in 1984, respectively, whereas for $n > 2$ the problem was unresolved. Our method is derived from [arXiv:0904.4095]; it also applies to the general semi-finite von Neumann algebra setting of the perturbation theory.

preprint2012arXiv

Traces of compact operators and the noncommutative residue

We extend the noncommutative residue of M. Wodzicki on compactly supported classical pseudo-differential operators of order $-d$ and generalise A. Connes' trace theorem, which states that the residue can be calculated using a singular trace on compact operators. Contrary to the role of the noncommutative residue for the classical pseudo-differential operators, a corollary is that the pseudo-differential operators of order $-d$ do not have a `unique' trace; pseudo-differential operators can be non-measurable in Connes' sense. Other corollaries are given clarifying the role of Dixmier traces in noncommutative geometry à la Connes, including the definitive statement of Connes' original theorem.

preprint2011arXiv

Commutator estimates in $W^*$ -algebras

Let $\mathcal{M}$ be a $W^*$ -algebra and let $LS(\mathcal{M})$ be the algebra of all locally measurable operators affiliated with $\mathcal{M}$ . It is shown that for any self-adjoint element $a\in LS(\mathcal{M})$ there exists a self-adjoint element $c_{_{0}}$ from the center of $LS(\mathcal{M})$ , such that for any $ε>0$ there exists a unitary element $u_ε$ from $\mathcal{M}$ , satisfying $|[a,u_ε]| \geq (1-ε)|a-c_{_{0}}|$ . A corollary of this result is that for any derivation $δ$ on $\mathcal{M}$ with the range in a (not necessarily norm-closed) ideal $I\subseteq\mathcal{M}$ , the derivation $δ$ is inner, that is $δ(\cdot)=δ_a(\cdot)=[a,\cdot]$ , and $a\in I$ . Similar results are also obtained for inner derivations on $LS(\mathcal{M})$ .

preprint2011arXiv

On the vector-valued Littlewood-Paley-Rubio de Francia inequality

The paper studies Banach spaces satisfying the Littlewood-Paley-Rubio de Francia property LPR_p, 2 \leq p < \infty. The paper shows that every Banach lattice whose 2-concavification is a UMD Banach lattice has this property. The paper also shows that every space having LPR_q also has LPR_p with q \leq p < \infty.

preprint2010arXiv

Functions of normal operators under perturbations

In \cite{Pe1}, \cite{Pe2}, \cite{AP1}, \cite{AP2}, and \cite{AP3} sharp estimates for $f(A)-f(B)$ were obtained for self-adjoint operators $A$ and $B$ and for various classes of functions $f$ on the real line $\R$ . In this paper we extend those results to the case of functions of normal operators. We show that if a function $f$ belongs to the Hölder class $Ł_\a(\R^2)$, $0<\a<1$, of functions of two variables, and $N_1$ and $N_2$ are normal operators, then $\|f(N_1)-f(N_2)\|\le\const\|f\|_{Ł_\a}\|N_1-N_2\|^\a$. We obtain a more general result for functions in the space $Ł_ø(\R^2)=\big\{f:~|f(\z_1)-f(\z_2)|\le\constø(|\z_1-\z_2|)\big\}$ for an arbitrary modulus of continuity $ø$ . We prove that if $f$ belongs to the Besov class $B_{\be1}^1(\R^2)$, then it is operator Lipschitz, i.e., $\|f(N_1)-f(N_2)\|\le\const\|f\|_{B_{\be1}^1}\|N_1-N_2\|$. We also study properties of $f(N_1)-f(N_2)$ in the case when $f\inŁ_\a(\R^2)$ and $N_1-N_2$ belongs to the Schatten-von Neuman class $\bS_p$.

preprint2010arXiv

Functions of perturbed normal operators

In \cite{Pe1}, \cite{Pe2}, \cite{AP1}, \cite{AP2}, and \cite{AP3} sharp estimates for $f(A)-f(B)$ were obtained for self-adjoint operators $A$ and $B$ and for various classes of functions $f$ on the real line $\R$ . In this note we extend those results to the case of functions of normal operators. We show that if $f$ belongs to the Hölder class $Ł_\a(\R^2)$, $0<\a<1$, of functions of two variables, and $N_1$ and $N_2$ are normal operators, then $\|f(N_1)-f(N_2)\|\le\const\|f\|_{Ł_\a}\|N_1-N_2\|^\a$. We obtain a more general result for functions in the space $Ł_ø(\R^2)=\big\{f: |f(\z_1)-f(\z_2)|\le\constø(|\z_1-\z_2|)\big\}$ for an arbitrary modulus of continuity $ø$ . We prove that if $f$ belongs to the Besov class $B_{\be1}^1(\R^2)$, then it is operator Lipschitz, i.e., $\|f(N_1)-f(N_2)\|\le\const\|f\|_{B_{\be1}^1}\|N_1-N_2\|$. We also study properties of $f(N_1)-f(N_2)$ in the case when $f\inŁ_\a(\R^2)$ and $N_1-N_2$ belongs to the Schatten-von Neuman class $\bS_p$.

preprint2010arXiv

Measure Theory in Noncommutative Spaces

The integral in noncommutative geometry (NCG) involves a non-standard trace called a Dixmier trace. The geometric origins of this integral are well known. From a measure-theoretic view, however, the formulation contains several difficulties. We review results concerning the technical features of the integral in NCG and some outstanding problems in this area. The review is aimed for the general user of NCG.

preprint2010arXiv

Measures from Dixmier Traces and Zeta Functions

For essentially bounded functions on a (closed) compact Riemannian manifold, the noncommutative residue and the Dixmier trace formulation of the noncommutative integral are shown to equate to a multiple of the Lebesgue integral. The identifications are shown to continue to, and be sharp at, square integrable functions. To do better than square integrable, symmetrised noncommutative residue and Dixmier trace formulas are introduced, for which the identifications are shown to continue to $L^{1+ε}$ -spaces, $ε> 0$ . However, a failure is shown for the Dixmier trace formulation at integrable functions. The (symmetrised) noncommutative residue and Dixmier trace formulas diverge at this point. It is shown the noncommutative residue remains finite and recovers the Lebesgue integral for any integrable function while the Dixmier trace expression can diverge. The results show the claim (in the monograph "Elements of Noncommutative Geometry", Birkhauser, 2001), that the identification on smooth functions obtained using Connes' Trace Theorem can be extended to any integrable function, is false.

preprint2010arXiv

On a Question of A. E. Nussbaum on Measurability of Families of Closed Linear Operators in a Hilbert Space

The purpose of this note is to answer a question A. E. Nussbaum formulated in 1964 about the possible equivalence between weak measurability of a family of densely defined, closed operators T(t), t real, in a separable complex Hilbert space H on one hand, and the notion of measurability of the 2 \times 2 operator-valued matrix of projections onto the graph Gamma(T(t)) of T(t) on the other, in the negative. Our results demonstrate an interesting distinction between the direct integral over the family of operators T(t) with respect to Lebesgue measure and the naturally maximally defined operator associated with pointwise application of T(t) in the vector-valued Hilbert space L^2(\mathbb R; dt; H). We also provide explicit criteria for the measurability of the matrix of projections onto the graph Gamma(T(t)) of T(t).

Fedor Sukochev

Research overview

Is this your work?

59 publications

Hermitian operators and isometries on symmetric operator spaces

Innerness of derivations into noncommutative symmetric spaces is determined commutatively

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

Isomorphic classification of Lp,qL_{p,q}Lp,q​-spaces, II

Operator θθθ-Hölder functions with respect to ∥⋅∥p\left\|\cdot\right\|_p∥⋅∥p​, 0<p≤∞0< p\le \infty0<p≤∞

Optimal range of Haar martingale transforms and its applications

Optimality of Cwikel-Solomyak estimates in Orlicz spaces

Spectral estimates and asymptotics for stratified Lie groups

The Witten index and the spectral shift function

A Dixmier trace formula for the density of states

BMO-estimates for non-commutative vector valued Lipschitz functions

Cwikel-Solomyak estimates on tori and Euclidean spaces

Lack of isomorphic embeddings of symmetric function spaces into operator ideals

Non-existence of translation-invariant derivations on algebras of measurable functions

When do triple operator integrals take value in the trace class?

Notes on derivations of Murray--von Neumann algebras

Quantum differentiability on noncommutative Euclidean spaces

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

Banach limits and traces on L1,∞\mathcal L_{1,\infty}L1,∞​

Double operator integral methods applied to continuity of spectral shift functions

Fubini theorem in noncommutative geometry

Johnson-Schechtman and Khinchine inequalities in noncommutative probability theory

Johnson-Schechtman inequalities for noncommutative martingales

Krein's trace theorem revisited

Operator Lipschitz functions on Banach spaces

Singular traces and perturbation formulae of higher order

Algebras of log-integrable functions and operators

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

Catalysis in the trace class and weak trace class ideals

On Index Theory for Non-Fredholm Operators: A (1+1)(1+1)(1+1)-Dimensional Example

On reduction theory and Brown measure for closed unbounded operators

On the Index of a Non-Fredholm Model Operator

Peller's problem concerning Koplienko-Neidhardt trace formulae: the unitary case

Resolution of Peller's problem concerning Koplienko-Neidhardt trace formulae

The index formula and the spectral shift function for relatively trace class perturbations

The Spectral shift function and the Witten index

Weak type commutator and Lipschitz estimates: resolution of the Nazarov-Peller conjecture

A Jost-Pais-type reduction of Fredholm determinants and some applications

Dixmier traces and extrapolation description of noncommutative Lorentz spaces

On the Witten index in terms of spectral shift functions

Some Operator Bounds Employing Complex Interpolation Revisited

The best constants for operator Lipschitz functions on Schatten classes

Frechet differentiability of Sp norms

Holomorphic functional calculus on upper triangular forms in finite von Neumann algebras

On a conjecture of A. Bikchentaev

(E,F)-multipliers and applications

Dixmier traces generated by exponentiation invariant generalised limits

Higher order spectral shift for contractions

Measurable operators and the asymptotics of heat kernels and zeta functions

On the distinction between the classes of Dixmier and Connes-Dixmier traces

Spectral shift function of higher order

Traces of compact operators and the noncommutative residue

Commutator estimates in W∗W^*W∗-algebras

On the vector-valued Littlewood-Paley-Rubio de Francia inequality

Functions of normal operators under perturbations

Functions of perturbed normal operators

Measure Theory in Noncommutative Spaces

Measures from Dixmier Traces and Zeta Functions

On a Question of A. E. Nussbaum on Measurability of Families of Closed Linear Operators in a Hilbert Space

See the researcher in context

Building this map preview

Isomorphic classification of $L_{p,q}$ -spaces, II

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

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

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

On Index Theory for Non-Fredholm Operators: A $(1+1)$ -Dimensional Example

Commutator estimates in $W^*$ -algebras