-
Endpoint Schatten class properties of commutators
Authors:
Rupert L. Frank,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We study trace ideal properties of the commutators $[(-Δ)^{\fracε{2}},M_f]$ of a power of the Laplacian with the multiplication operator by a function $f$ on $\mathbb R^d$. For a certain range of $ε\in\mathbb R$, we show that this commutator belongs to the weak Schatten class $\mathcal L_{\frac d{1-ε},\infty}$ if and only if the distributional gradient of $f$ belongs to $L_{\frac d{1-ε}}$. Moreove…
▽ More
We study trace ideal properties of the commutators $[(-Δ)^{\fracε{2}},M_f]$ of a power of the Laplacian with the multiplication operator by a function $f$ on $\mathbb R^d$. For a certain range of $ε\in\mathbb R$, we show that this commutator belongs to the weak Schatten class $\mathcal L_{\frac d{1-ε},\infty}$ if and only if the distributional gradient of $f$ belongs to $L_{\frac d{1-ε}}$. Moreover, in this case we determine the asymptotics of the singular values. Our proofs use, among other things, the tool of Double Operator Integrals.
△ Less
Submitted 17 May, 2024;
originally announced May 2024.
-
Lack of isomorphic embeddings of $\ell_{p,q}$ into $L_{p,q}(\mathcal{M},τ)$ over a noncommutative probability space
Authors:
**ghao Huang,
Olga Sadovskaya,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We prove that the sequence space $\ell_{p,q}$ does not embed into $L_{p,q}(\mathcal{M},τ)$ for any noncommutative probability space $(\mathcal{M},τ)$, $1< p<\infty $, $1\le q<\infty$, $p\ne q$. Several applications to the isomorphic classification of noncommutative $L_{p,q}$-spaces are given, which extend and complement several earlier results.
We prove that the sequence space $\ell_{p,q}$ does not embed into $L_{p,q}(\mathcal{M},τ)$ for any noncommutative probability space $(\mathcal{M},τ)$, $1< p<\infty $, $1\le q<\infty$, $p\ne q$. Several applications to the isomorphic classification of noncommutative $L_{p,q}$-spaces are given, which extend and complement several earlier results.
△ Less
Submitted 10 April, 2024;
originally announced April 2024.
-
Diagonality modulo symmetric spaces in semifinite von Neumann algebras
Authors:
Aleksey Ber,
Fedor Sukochev,
Dmitriy Zanin,
Hongyin Zhao
Abstract:
In the study on the diagonality of an $n$-tuple $α=(α(j))_{j=1}^n$ of commuting self-adjoint operators modulo a given $n$-tuple $Φ=(\mathcal{J}_1,\ldots,\mathcal{J}_n)$ of normed ideals in $B(H)$, Voiculescu introduced the notion of quasicentral modulus $k_Φ(α)$ and proved that $α$ is diagonal modulo $(\mathcal{J}_1,\ldots,\mathcal{J}_n)$ if and only if $k_Φ(α)=0.$ We prove that the same assertion…
▽ More
In the study on the diagonality of an $n$-tuple $α=(α(j))_{j=1}^n$ of commuting self-adjoint operators modulo a given $n$-tuple $Φ=(\mathcal{J}_1,\ldots,\mathcal{J}_n)$ of normed ideals in $B(H)$, Voiculescu introduced the notion of quasicentral modulus $k_Φ(α)$ and proved that $α$ is diagonal modulo $(\mathcal{J}_1,\ldots,\mathcal{J}_n)$ if and only if $k_Φ(α)=0.$ We prove that the same assertion holds true when $B(H)$ is replaced with a $σ$-finite semifinite von Neumann algebra $\mathcal{M}$, and $\mathcal{J}_1,\ldots,\mathcal{J}_n$ are replaced with symmetric spaces $E_1(\mathcal{M}),\ldots,E_n(\mathcal{M})$ associated with $\mathcal{M}.$
△ Less
Submitted 17 June, 2024; v1 submitted 30 March, 2024;
originally announced April 2024.
-
$C^{\ast}$-algebraic approach to the principal symbol. III
Authors:
Y. Kordyukov,
F. Sukochev,
D. Zanin
Abstract:
We treat the notion of principal symbol map** on a compact smooth manifold as a $\ast$-homomorphism of $C^{\ast}$-algebras. Principal symbol map** is built from the ground, without referring to the pseudodifferential calculus on the manifold. Our concrete approach allows us to extend Connes Trace Theorem for compact Riemannian manifolds.
We treat the notion of principal symbol map** on a compact smooth manifold as a $\ast$-homomorphism of $C^{\ast}$-algebras. Principal symbol map** is built from the ground, without referring to the pseudodifferential calculus on the manifold. Our concrete approach allows us to extend Connes Trace Theorem for compact Riemannian manifolds.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Calderón's commutator on Stratified Lie groups
Authors:
Yan** Chen,
Zhenbing Gong,
Ji Li,
Edward McDonald,
Dmitriy Zanin
Abstract:
Motivated by the recent work of Gimperlein and Goffeng on Calderón's commutator on compact Heisenberg type manifolds and the related weak Schatten class estimates, we establish the characterisation of $L^p$ boundedness for Calderon's commutator on stratified Lie groups. We further study the related weak Schatten class estimates on two step stratified Lie groups, which include the Heisenberg groups…
▽ More
Motivated by the recent work of Gimperlein and Goffeng on Calderón's commutator on compact Heisenberg type manifolds and the related weak Schatten class estimates, we establish the characterisation of $L^p$ boundedness for Calderon's commutator on stratified Lie groups. We further study the related weak Schatten class estimates on two step stratified Lie groups, which include the Heisenberg groups. This latter result is obtained using double operator integral techniques which are novel in this area.
△ Less
Submitted 7 September, 2023; v1 submitted 13 August, 2023;
originally announced August 2023.
-
Local invariants of conformally deformed non-commutative tori II: multiple operator integrals
Authors:
Teun D. H. van Nuland,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We explicitly compute the local invariants (heat kernel coefficients) of a conformally deformed non-commutative $d$-torus using multiple operator integrals. We derive a recursive formula that easily produces an explicit expression for the local invariants of any order $k$ and in any dimension $d$. Our recursive formula can conveniently produce all formulas related to the modular operator, which be…
▽ More
We explicitly compute the local invariants (heat kernel coefficients) of a conformally deformed non-commutative $d$-torus using multiple operator integrals. We derive a recursive formula that easily produces an explicit expression for the local invariants of any order $k$ and in any dimension $d$. Our recursive formula can conveniently produce all formulas related to the modular operator, which before were obtained in incremental steps for $d\in\{2,4\}$ and $k\in\{0,2,4\}$. We exemplify this by writing down some known ($k=2$, $d=2$) and some novel ($k=2$, $d\geq 3$) formulas in the modular operator.
△ Less
Submitted 8 March, 2023;
originally announced March 2023.
-
Asymptotics of singular values for quantum derivatives
Authors:
Rupert L. Frank,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We obtain Weyl type asymptotics for the quantised derivative $\dbar f$ of a function $f$ from the homgeneous Sobolev space $\dot{W}^1_d(\mathbb{R}^d)$ on $\mathbb{R}^d.$ The asymptotic coefficient $\|\nabla f\|_{L_d(\mathbb R^d)}$ is equivalent to the norm of $\dbar f$ in the principal ideal $\mathcal{L}_{d,\infty},$ thus, providing a non-asymptotic, uniform bound on the spectrum of $\dbar f.$ Our…
▽ More
We obtain Weyl type asymptotics for the quantised derivative $\dbar f$ of a function $f$ from the homgeneous Sobolev space $\dot{W}^1_d(\mathbb{R}^d)$ on $\mathbb{R}^d.$ The asymptotic coefficient $\|\nabla f\|_{L_d(\mathbb R^d)}$ is equivalent to the norm of $\dbar f$ in the principal ideal $\mathcal{L}_{d,\infty},$ thus, providing a non-asymptotic, uniform bound on the spectrum of $\dbar f.$ Our methods are based on the $C^{\ast}$-algebraic notion of the principal symbol map** on $\mathbb{R}^d$, as developed recently by the last two authors and collaborators.
△ Less
Submitted 26 September, 2022;
originally announced September 2022.
-
Optimality of Cwikel-Solomyak estimates in Orlicz spaces
Authors:
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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.
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.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Optimal range of Haar martingale transforms and its applications
Authors:
Sergey Astashkin,
**ghao Huang,
Marat Pliev,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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}_{\m…
▽ More
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$.
△ Less
Submitted 14 February, 2022;
originally announced February 2022.
-
An Application of Singular Traces to Crystals and Percolation
Authors:
N. Azamov,
E. Hekkelman,
E. McDonald,
F. Sukochev,
D. Zanin
Abstract:
For a certain class of discrete metric spaces, we provide a formula for the density of states. This formula involves Dixmier traces and is proven using recent advances in operator theory. Various examples are given of metric spaces for which this formula holds, including crystals, quasicrystals and the infinite cluster resulting from super-critical bond percolation on $\mathbb{Z}^d$.
For a certain class of discrete metric spaces, we provide a formula for the density of states. This formula involves Dixmier traces and is proven using recent advances in operator theory. Various examples are given of metric spaces for which this formula holds, including crystals, quasicrystals and the infinite cluster resulting from super-critical bond percolation on $\mathbb{Z}^d$.
△ Less
Submitted 16 May, 2022; v1 submitted 8 February, 2022;
originally announced February 2022.
-
Endpoint weak Schatten class estimates and trace formula for commutators of Riesz transforms with multipliers on Heisenberg groups
Authors:
Zhijie Fan,
Ji Li,
Edward McDonald,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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 Heis…
▽ More
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.
△ Less
Submitted 7 March, 2022; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Spectral estimates and asymptotics for stratified Lie groups
Authors:
Edward McDonald,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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.
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.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Operator $θ$-Hölder functions with respect to $\left\|\cdot\right\|_p$, $0< p\le \infty$
Authors:
**ghao Huang,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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…
▽ More
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.
△ Less
Submitted 1 March, 2022; v1 submitted 18 October, 2021;
originally announced October 2021.
-
The density of states depends on the domain
Authors:
Nurulla Azamov,
Edward McDonald,
Dmitriy Zanin,
Fedor Sukochev
Abstract:
In this short note we demonstrate that the definition of the density of states of a Schrödinger operator with bounded potential in general depends on the choice of the domain undergoing the thermodynamic limit.
In this short note we demonstrate that the definition of the density of states of a Schrödinger operator with bounded potential in general depends on the choice of the domain undergoing the thermodynamic limit.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
Semiclassical Weyl law and exact spectral asymptotics in noncommutative geometry
Authors:
Edward McDonald,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We prove a Tauberian theorem for singular values of noncommuting operators which allows us to prove exact asymptotic formulas in noncommutative geometry at a high degree of generality. We explain how, via the Birman--Schwinger principle, these asymptotics imply that a semiclassical Weyl law holds for many interesting noncommutative examples. In Connes' notation for quantized calculus, we prove tha…
▽ More
We prove a Tauberian theorem for singular values of noncommuting operators which allows us to prove exact asymptotic formulas in noncommutative geometry at a high degree of generality. We explain how, via the Birman--Schwinger principle, these asymptotics imply that a semiclassical Weyl law holds for many interesting noncommutative examples. In Connes' notation for quantized calculus, we prove that for a wide class of $p$-summable spectral triples $(\mathcal{A},H,D)$ and self-adjoint $V \in \mathcal{A}$, there holds \[\lim_{h\downarrow 0} h^p\mathrm{Tr}(χ_{(-\infty,0)}(h^2D^2+V)) = \int V_-^{\frac{p}{2}}|ds|^p.\] where $\int$ is Connes' noncommutative integral.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
The limiting absorption principle for massless Dirac operators, properties of spectral shift functions, and an application to the Witten index of non-Fredholm operators
Authors:
Alan Carey,
Fritz Gesztesy,
Galina Levitina,
Roger Nichols,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We derive a limiting absorption principle on any compact interval in $\mathbb{R} \backslash \{0\}$ for the free massless Dirac operator, $H_0 = α\cdot (-i \nabla)$ in $[L^2(\mathbb{R}^n)]^N$, $n \geq 2$, $N=2^{\lfloor(n+1)/2\rfloor}$, and then prove the absence of singular continuous spectrum of interacting massless Dirac operators $H = H_0 +V$, where $V$ decays like $O(|x|^{-1 - \varepsilon})$.…
▽ More
We derive a limiting absorption principle on any compact interval in $\mathbb{R} \backslash \{0\}$ for the free massless Dirac operator, $H_0 = α\cdot (-i \nabla)$ in $[L^2(\mathbb{R}^n)]^N$, $n \geq 2$, $N=2^{\lfloor(n+1)/2\rfloor}$, and then prove the absence of singular continuous spectrum of interacting massless Dirac operators $H = H_0 +V$, where $V$ decays like $O(|x|^{-1 - \varepsilon})$.
Expressing the spectral shift function $ξ(\,\cdot\,; H,H_0)$ as normal boundary values of regularized Fredholm determinants, we prove that for sufficiently decaying $V$, $ξ(\,\cdot\,;H,H_0) \in C((-\infty,0) \cup (0,\infty))$, and that the left and right limits at zero, $ξ(0_{\pm}; H,H_0)$, exist.
Introducing the non-Fredholm operator $\boldsymbol{D}_{\boldsymbol{A}} = \frac{d}{dt} + \boldsymbol{A}$ in $L^2\big(\mathbb{R};[L^2(\mathbb{R}^n)]^N\big)$, where $\boldsymbol{A} = \boldsymbol{A_-} + \boldsymbol{B}$, $\boldsymbol{A_-}$, and $\boldsymbol{B}$ are generated in terms of $H, H_0$ and $V$, via $A(t) = A_- + B(t)$, $A_- = H_0$, $B(t)=b(t) V$, $t \in \mathbb{R}$, assuming $b$ is smooth, $b(-\infty) = 0$, $b(+\infty) = 1$, and introducing $\boldsymbol{H_1} = \boldsymbol{D}_{\boldsymbol{A}}^{*} \boldsymbol{D}_{\boldsymbol{A}}$, $\boldsymbol{H_2} = \boldsymbol{D}_{\boldsymbol{A}} \boldsymbol{D}_{\boldsymbol{A}}^{*}$, one of the principal results in this manuscript expresses the $k$th resolvent regularized Witten index $W_{k,r}(\boldsymbol{D}_{\boldsymbol{A}})$ ($k \in \mathbb{N}$, $k \geq \lceil n/2 \rceil$) in terms of spectral shift functions as \[ W_{k,r}(\boldsymbol{D}_{\boldsymbol{A}}) = ξ(0_+; \boldsymbol{H_2}, \boldsymbol{H_1}) = [ξ(0_+;H,H_0) + ξ(0_-;H,H_0)]/2. \] Here $L^2(\mathbb{R};\mathcal{H}) = \int_{\mathbb{R}}^{\oplus} dt \, \mathcal{H}$ and $\boldsymbol{T} = \int_{\mathbb{R}}^{\oplus} dt \, T(t)$ abbreviate direct integrals.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Distributional inequalities for noncommutative martingales
Authors:
Yong Jiao,
Fedor Sukochev,
Lian Wu,
Dmitriy Zanin
Abstract:
We establish distributional estimates for noncommutative martingales, in the sense of decreasing rearrangements of the spectra of unbounded operators, which generalises the study of distributions of random variables. Our results include distributional versions of the noncommutative Stein, dual Doob, martingale transform and Burkholder-Gundy inequalities. Our proof relies upon new and powerful extr…
▽ More
We establish distributional estimates for noncommutative martingales, in the sense of decreasing rearrangements of the spectra of unbounded operators, which generalises the study of distributions of random variables. Our results include distributional versions of the noncommutative Stein, dual Doob, martingale transform and Burkholder-Gundy inequalities. Our proof relies upon new and powerful extrapolation theorems. As an application, we obtain some new martingale inequalities in symmetric quasi-Banach operator spaces and some interesting endpoint estimates. Our main approach demonstrates a method to build the noncommutative and classical probabilistic inequalities in an entirely operator theoretic way.
△ Less
Submitted 16 March, 2021;
originally announced March 2021.
-
Connes Integration Formula without singular traces
Authors:
Fedor Sukochev,
Dmitriy Zanin
Abstract:
A version of Connes Integration Formula which provides concrete asymptotics of the eigenvalues is given. This radically extending the class of quantum-integrable functions on compact Riemannian manifolds.
A version of Connes Integration Formula which provides concrete asymptotics of the eigenvalues is given. This radically extending the class of quantum-integrable functions on compact Riemannian manifolds.
△ Less
Submitted 15 March, 2021;
originally announced March 2021.
-
Lorentz-Shimogaki-Arazy-Cwikel Theorem Revisited
Authors:
Léonard Cadilhac,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We present a new approach to Lorentz-Shimogaki and Arazy-Cwikel Theorems which covers all range of $p,q\in (0,\infty]$ for function spaces and sequence spaces. As a byproduct, we solve a conjecture of Levitina and the last two authors.
We present a new approach to Lorentz-Shimogaki and Arazy-Cwikel Theorems which covers all range of $p,q\in (0,\infty]$ for function spaces and sequence spaces. As a byproduct, we solve a conjecture of Levitina and the last two authors.
△ Less
Submitted 4 September, 2020;
originally announced September 2020.
-
Cwikel-Solomyak estimates on tori and Euclidean spaces
Authors:
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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…
▽ More
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.$
△ Less
Submitted 10 August, 2020;
originally announced August 2020.
-
The product formula for regularized Fredholm determinants
Authors:
Thomas Britz,
Alan Carey,
Fritz Gesztesy,
Roger Nichols,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
For trace class operators $A, B \in \mathcal{B}_1(\mathcal{H})$ ($\mathcal{H}$ a complex, separable Hilbert space), the product formula for Fredholm determinants holds in the familiar form \[ {\det}_{\mathcal{H}} ((I_{\mathcal{H}} - A) (I_{\mathcal{H}} - B)) = {\det}_{\mathcal{H}} (I_{\mathcal{H}} - A) {\det}_{\mathcal{H}} (I_{\mathcal{H}} - B). \] When trace class operators are replaced by Hilber…
▽ More
For trace class operators $A, B \in \mathcal{B}_1(\mathcal{H})$ ($\mathcal{H}$ a complex, separable Hilbert space), the product formula for Fredholm determinants holds in the familiar form \[ {\det}_{\mathcal{H}} ((I_{\mathcal{H}} - A) (I_{\mathcal{H}} - B)) = {\det}_{\mathcal{H}} (I_{\mathcal{H}} - A) {\det}_{\mathcal{H}} (I_{\mathcal{H}} - B). \] When trace class operators are replaced by Hilbert--Schmidt operators $A, B \in \mathcal{B}_2(\mathcal{H})$ and the Fredholm determinant ${\det}_{\mathcal{H}}(I_{\mathcal{H}} - A)$, $A \in \mathcal{B}_1(\mathcal{H})$, by the 2nd regularized Fredholm determinant ${\det}_{\mathcal{H},2}(I_{\mathcal{H}} - A) = {\det}_{\mathcal{H}} ((I_{\mathcal{H}} - A) \exp(A))$, $A \in \mathcal{B}_2(\mathcal{H})$, the product formula must be replaced by \[ {\det}_{\mathcal{H},2} ((I_{\mathcal{H}} - A) (I_{\mathcal{H}} - B)) = {\det}_{\mathcal{H},2} (I_{\mathcal{H}} - A) {\det}_{\mathcal{H},2} (I_{\mathcal{H}} - B) \exp(- {\rm tr}(AB)). \] The product formula for the case of higher regularized Fredholm determinants ${\det}_{\mathcal{H},k}(I_{\mathcal{H}} - A)$, $A \in \mathcal{B}_k(\mathcal{H})$, $k \in \mathbb{N}$, $k \geq 2$, does not seem to be easily accessible and hence this note aims at filling this gap in the literature.
△ Less
Submitted 26 November, 2020; v1 submitted 24 July, 2020;
originally announced July 2020.
-
Corrigendum to the paper "The optimal range of the Calderon operator and its applications." [J. Funct. Anal. 277 (2019), no. 10, 3513--3559, arXiv:1908.09548]
Authors:
F. Sukochev,
K. Tulenov,
D. Zanin
Abstract:
We fix a gap in the proof of a result in our earlier paper arXiv:1908.09548
We fix a gap in the proof of a result in our earlier paper arXiv:1908.09548
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
Weak $(1,1)$ estimates for multiple operator integrals and generalized absolute value functions
Authors:
Martijn Caspers,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
Consider the generalized absolute value function defined by \[ a(t) = \vert t \vert t^{n-1}, \qquad t \in \mathbb{R}, n \in \mathbb{N}_{\geq 1}. \] Further, consider the $n$-th order divided difference function $a^{[n]}: \mathbb{R}^{n+1} \rightarrow \mathbb{C}$ and let $1 < p_1, \ldots, p_n < \infty$ be such that $\sum_{l=1}^n p_l^{-1} = 1$. Let $\mathcal{S}_{p_l}$ denote the Schatten-von Neumann…
▽ More
Consider the generalized absolute value function defined by \[ a(t) = \vert t \vert t^{n-1}, \qquad t \in \mathbb{R}, n \in \mathbb{N}_{\geq 1}. \] Further, consider the $n$-th order divided difference function $a^{[n]}: \mathbb{R}^{n+1} \rightarrow \mathbb{C}$ and let $1 < p_1, \ldots, p_n < \infty$ be such that $\sum_{l=1}^n p_l^{-1} = 1$. Let $\mathcal{S}_{p_l}$ denote the Schatten-von Neumann ideals and let $\mathcal{S}_{1,\infty}$ denote the weak trace class ideal. We show that for any $(n+1)$-tuple ${\bf A}$ of bounded self-adjoint operators the multiple operator integral $T_{a^{[n]}}^{\bf A}$ maps $\mathcal{S}_{p_1} \times \ldots \times \mathcal{S}_{p_n}$ to $\mathcal{S}_{1, \infty}$ boundedly with uniform bound in ${\bf A}$. The same is true for the class of $C^{n+1}$-functions that outside the interval $[-1, 1]$ equal $a$. In [CLPST16] it was proved that for a function $f$ in this class such boundedness of $T^{ {\bf A} }_{f^{[n]}}$ from $\mathcal{S}_{p_1} \times \ldots \times \mathcal{S}_{p_n}$ to $\mathcal{S}_{1}$ may fail, resolving a problem by V. Peller. This shows that the estimates in the current paper are optimal. The proof is based on a new reduction method for arbitrary multiple operator integrals of divided differences.
△ Less
Submitted 20 October, 2020; v1 submitted 5 April, 2020;
originally announced April 2020.
-
Rosenthal's inequalities: $Δ-$norms and quasi-Banach symmetric sequence spaces
Authors:
Yong Jiao,
Guangheng Xie,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
Let $X$ be a symmetric quasi-Banach function space with Fatou property and let $E$ be an arbitrary symmetric quasi-Banach sequence space. Suppose that $(f_k)_{k\geq0}\subset X$ is a sequence of independent random variables. We present a necessary and sufficient condition on $X$ such that the quantity $$\Big\|\ \Big\|\sum_{k=0}^nf_ke_k\Big\|_{E}\ \Big\|_X$$ admits an equivalent characterization in…
▽ More
Let $X$ be a symmetric quasi-Banach function space with Fatou property and let $E$ be an arbitrary symmetric quasi-Banach sequence space. Suppose that $(f_k)_{k\geq0}\subset X$ is a sequence of independent random variables. We present a necessary and sufficient condition on $X$ such that the quantity $$\Big\|\ \Big\|\sum_{k=0}^nf_ke_k\Big\|_{E}\ \Big\|_X$$ admits an equivalent characterization in terms of disjoint copies of $(f_k)_{k=0}^n$ for every $n\ge 0$; in particular, we obtain the deterministic description of $$\Big\|\ \Big\|\sum _{k=0}^nf_ke_k\Big\|_{\ell_q}\ \Big\|_{L_p}$$ for all $0<p,q<\infty,$ which is the ultimate form of Rosenthal's inequality. We also consider the case of a $Δ$-normed symmetric function space $X$, defined via an Orlicz function $Φ$ satisfying the $Δ_2$-condition. That is, we provide a formula for \lq\lq $E$-valued $Φ$-moments\rq\rq, namely the quantity $\mathbb{E}\big(Φ\big(\big\|(f_k)_{k\geq0} \big\|_E \big)\big)$, in terms of the sum of disjoint copies of $f_k, k\geq0.$
△ Less
Submitted 28 October, 2019;
originally announced October 2019.
-
A Dixmier trace formula for the density of states
Authors:
Nurulla Azamov,
Edward McDonald,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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…
▽ More
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.
△ Less
Submitted 3 March, 2020; v1 submitted 27 October, 2019;
originally announced October 2019.
-
Dilation invariant Banach limits
Authors:
Evgenii Semenov,
Fedor Sukochev,
Alexandr Usachev,
Dmitriy Zanin
Abstract:
We study two subclasses of Banach limits: the one consisting of Banach limits which are invariant with respect of the Cesàro operator and another one consists of Banach limits which are invariant with respect to all dilations. We prove that the first is a proper subset of the second. We also show that these classes are at the maximal distance from the set ${\rm ext} \mathfrak B$ of all extreme poi…
▽ More
We study two subclasses of Banach limits: the one consisting of Banach limits which are invariant with respect of the Cesàro operator and another one consists of Banach limits which are invariant with respect to all dilations. We prove that the first is a proper subset of the second. We also show that these classes are at the maximal distance from the set ${\rm ext} \mathfrak B$ of all extreme points of the set of all Banach limits.
△ Less
Submitted 23 October, 2019;
originally announced October 2019.
-
Logarithmic submajorization, uniform majorization and Hölder type inequalities for $τ$-measurable operators
Authors:
Peter Dodds,
Theresa Dodds,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We extend the notion of the determinant function $Λ$, originally introduced by T.Fack for $τ$-compact operators, to a natural algebra of $τ$-measurable operators affiliated with a semifinite von Neumann algebra which coincides with that defined by Haagerup and Schultz in the finite case and on which the determinant function is shown to be submultiplicative. Application is given to Hölder type ineq…
▽ More
We extend the notion of the determinant function $Λ$, originally introduced by T.Fack for $τ$-compact operators, to a natural algebra of $τ$-measurable operators affiliated with a semifinite von Neumann algebra which coincides with that defined by Haagerup and Schultz in the finite case and on which the determinant function is shown to be submultiplicative. Application is given to Hölder type inequalities via general Araki-Lieb-Thirring inequalities due to Kosaki and Han and to a Weyl-type theorem for uniform majorization.
△ Less
Submitted 23 October, 2019;
originally announced October 2019.
-
Local invariants of non-commutative tori
Authors:
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We consider a generic curved non-commutative torus extending the notion of conformally deformed non-commutative torus from \cite{Connes-Tretkoff}. In general, a curved non-commutative torus is no longer represented by a spectral triple, not even by a twisted spectral triple. Therefore, the geometry of this manifold is governed by a positive second order differential operator (Laplace-Betrami opera…
▽ More
We consider a generic curved non-commutative torus extending the notion of conformally deformed non-commutative torus from \cite{Connes-Tretkoff}. In general, a curved non-commutative torus is no longer represented by a spectral triple, not even by a twisted spectral triple. Therefore, the geometry of this manifold is governed by a positive second order differential operator (Laplace-Betrami operator) rather than a first order differential operator (Dirac operator). For this manifold, we prove an asymptotic expansion of the heat semi-group generated by Laplace-Beltrami operator and provide an algorithm to compute the local invariants which appear as coefficients in the expansion. This allows to extend the results of \cite{Connes-Tretkoff}, \cite{Connes-Moscovici}, \cite{FaKh} (beyond conformal case and/or for multi-dimensional tori).
△ Less
Submitted 1 October, 2019;
originally announced October 2019.
-
The boundedness of the Hilbert transformation from one rearrangement invariant Banach space into another and applications
Authors:
F. Sukochev,
K. Tulenov,
D. Zanin
Abstract:
In this paper, we study the boundedness of the Hilbert transformation in Lorentz function spaces, thereby complementing classical results of Boyd. We also characterize the optimal range of a triangular truncation operator in Schatten-Lorentz ideals. These results further entail sharp commutator estimates and applications to operator Lipschitz functions in Schatten-Lorentz ideals.
In this paper, we study the boundedness of the Hilbert transformation in Lorentz function spaces, thereby complementing classical results of Boyd. We also characterize the optimal range of a triangular truncation operator in Schatten-Lorentz ideals. These results further entail sharp commutator estimates and applications to operator Lipschitz functions in Schatten-Lorentz ideals.
△ Less
Submitted 22 September, 2019;
originally announced September 2019.
-
The optimal range of the Calderòn operator and its applications
Authors:
F. Sukochev,
K. Tulenov,
D. Zanin
Abstract:
We identify the optimal range of the Calderòn operator and that of the classical Hilbert transform in the class of symmetric quasi-Banach spaces. Further consequences of our approach concern the optimal range of the triangular truncation operator, operator Lipschitz functions and commutator estimates in ideals of compact operators.
We identify the optimal range of the Calderòn operator and that of the classical Hilbert transform in the class of symmetric quasi-Banach spaces. Further consequences of our approach concern the optimal range of the triangular truncation operator, operator Lipschitz functions and commutator estimates in ideals of compact operators.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
BMO-estimates for non-commutative vector valued Lipschitz functions
Authors:
Martijn Caspers,
Marius Junge,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 February, 2020; v1 submitted 26 March, 2019;
originally announced March 2019.
-
Logarithmic submajorisation and order-preserving linear isometries
Authors:
**ghao Huang,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
Let $\mathcal{E}$ and $\mathcal{F}$ be symmetrically $Δ$-normed (in particular, quasi-normed) operator spaces affiliated with semifinite von Neumann algebras $\mathcal{M}_1$ and $\mathcal{M}_2$, respectively. We establish a noncommutative version of Abramovich's theorem \cite{A1983}, which provides the general form of normal order-preserving linear operators…
▽ More
Let $\mathcal{E}$ and $\mathcal{F}$ be symmetrically $Δ$-normed (in particular, quasi-normed) operator spaces affiliated with semifinite von Neumann algebras $\mathcal{M}_1$ and $\mathcal{M}_2$, respectively. We establish a noncommutative version of Abramovich's theorem \cite{A1983}, which provides the general form of normal order-preserving linear operators $T:\mathcal{E} \stackrel{into}{\longrightarrow} \mathcal{F}$ having the disjointness preserving property. As an application, we obtain a noncommutative Huijsmans-Wickstead theorem \cite{Huijsmans_W}. By establishing the disjointness preserving property for an order-preserving isometry $T:\mathcal{E} \stackrel{into}{\longrightarrow} \mathcal{F}$, we obtain the existence of a Jordan $*$-monomorphism from $\mathcal{M}_1$ into $\mathcal{M}_2$ and the general form of this isometry, which extends and complements a number of existing results. In particular, we fully resolve the case when $\mathcal{F}$ is the predual of $\mathcal{M}_2$ and other untreated cases in [Sukochev-Veksler, IEOT, 2018].
△ Less
Submitted 14 October, 2019; v1 submitted 30 August, 2018;
originally announced August 2018.
-
Noncommutative Geometry for Symmetric Non-Self-Adjoint Operators
Authors:
Alain Connes,
Galina Levitina,
Edward McDonald,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We introduce the notion of a pre-spectral triple, which is a generalisation of a spectral triple $(\mathcal{A}, H, D)$ where $D$ is no longer required to be self-adjoint, but closed and symmetric. Despite having weaker assumptions, pre-spectral triples allow us to introduce noncompact noncommutative geometry with boundary. In particular, we derive the Hochschild character theorem in this setting.…
▽ More
We introduce the notion of a pre-spectral triple, which is a generalisation of a spectral triple $(\mathcal{A}, H, D)$ where $D$ is no longer required to be self-adjoint, but closed and symmetric. Despite having weaker assumptions, pre-spectral triples allow us to introduce noncompact noncommutative geometry with boundary. In particular, we derive the Hochschild character theorem in this setting. We give a detailed study of Dirac operators with Dirichlet boundary conditions on open subsets of $\mathbb{R}^d$, $d \geq 2$.
△ Less
Submitted 6 January, 2019; v1 submitted 6 August, 2018;
originally announced August 2018.
-
A $C^*$-algebraic approach to the principal symbol II
Authors:
Fedor Sukochev,
Edward McDonald,
Dmitriy Zanin
Abstract:
We introduce an abstract theory of the principal symbol map** for pseudodifferential operators extending the results of a preceding paper and providing a simple algebraic approach to the theory of pseudodifferential operators in settings important in noncommutative geometry. We provide a variant of Connes' trace theorem which applies to certain noncommutative settings, with a minimum of technica…
▽ More
We introduce an abstract theory of the principal symbol map** for pseudodifferential operators extending the results of a preceding paper and providing a simple algebraic approach to the theory of pseudodifferential operators in settings important in noncommutative geometry. We provide a variant of Connes' trace theorem which applies to certain noncommutative settings, with a minimum of technical preliminaries. Our approach allows us to consider in a operators with non-smooth symbols, and we demonstrate the power of our approach by extending Connes' trace theorem to operators with non-smooth symbols in three examples: the Lie group $\mathrm{SU}(2)$, noncommutative tori and Moyal planes.
△ Less
Submitted 18 June, 2018;
originally announced June 2018.
-
The Connes character formula for locally compact spectral triples
Authors:
Fedor Sukochev,
Dmitriy Zanin
Abstract:
A fundamental tool in noncommutative geometry is Connes' character formula. This formula is used in an essential way in the applications of noncommutative geometry to index theory and to the spectral characterisation of manifolds.
A non-compact space is modelled in noncommutative geometry by a non-unital spectral triple. Our aim is to establish the Connes character formula for non-unital spectra…
▽ More
A fundamental tool in noncommutative geometry is Connes' character formula. This formula is used in an essential way in the applications of noncommutative geometry to index theory and to the spectral characterisation of manifolds.
A non-compact space is modelled in noncommutative geometry by a non-unital spectral triple. Our aim is to establish the Connes character formula for non-unital spectral triples. This is significantly more difficult than in the unital case and we achieve it with the use of recently developed double operator integration techniques. Previously, only partial extensions of Connes' character formula to the non-unital case were known.
In the course of the proof, we establish two more results of importance in noncommutative geometry: an asymptotic for the heat semigroup of a non-unital spectral triple, and the analyticity of the associated $ζ$-function.
We require certain assumptions on the underlying spectral triple, and we verify these assumptions in the case of spectral triples associated to arbitrary complete Riemannian manifolds and also in the case of Moyal planes.
△ Less
Submitted 3 May, 2018; v1 submitted 5 March, 2018;
originally announced March 2018.
-
Decomposibility and norm convergence properties in finite von Neumann algebras
Authors:
Ken Dykema,
Joseph Noles,
Dmitriy Zanin
Abstract:
We study Schur-type upper triangular forms for elements, T, of von Neumann algebras equipped with faithful, normal, tracial states. These were introduced in a paper of Dykema, Sukochev and Zanin; they are based on Haagerup-Schultz projections. We investigate when the s.o.t.-quasinilpotent part of this decomposition of T is actually quasinilpotent. We prove implications involving decomposability an…
▽ More
We study Schur-type upper triangular forms for elements, T, of von Neumann algebras equipped with faithful, normal, tracial states. These were introduced in a paper of Dykema, Sukochev and Zanin; they are based on Haagerup-Schultz projections. We investigate when the s.o.t.-quasinilpotent part of this decomposition of T is actually quasinilpotent. We prove implications involving decomposability and strong decomposability of T. We show this is related to norm convergence properties of the sequence |T^n|^{1/n} which, by a result of Haagerup and Schultz, is known to converge in strong operator topology. We introduce a Borel decomposability, which is a property appropriate for elements of finite von Neumann algebras, and show that the circular operator is Borel decomposable. We also prove the existence of a thin-spectrum s.o.t.-quasinilpotent operator in the hyperfinite II_1-factor.
△ Less
Submitted 13 October, 2017; v1 submitted 18 September, 2017;
originally announced September 2017.
-
Embeddings of operator ideals into $\mathcal{L}_p-$spaces on finite von Neumann algebras
Authors:
M. Junge,
F. Sukochev,
D. Zanin
Abstract:
Let $\mathcal{L}(H)$ be the $*$-algebra of all bounded operators on an infinite dimensional Hilbert space $H$ and let $(\mathcal{I}, \|\cdot\|_{\mathcal{I}})$ be an ideal in $\mathcal{L}(H)$ equipped with a Banach norm which is distinct from the Schatten-von Neumann ideal $\mathcal{L}_p(\mathcal{H})$, $1\leq p<2$. We prove that $\mathcal{I}$ isomorphically embeds into an $L_p$-space…
▽ More
Let $\mathcal{L}(H)$ be the $*$-algebra of all bounded operators on an infinite dimensional Hilbert space $H$ and let $(\mathcal{I}, \|\cdot\|_{\mathcal{I}})$ be an ideal in $\mathcal{L}(H)$ equipped with a Banach norm which is distinct from the Schatten-von Neumann ideal $\mathcal{L}_p(\mathcal{H})$, $1\leq p<2$. We prove that $\mathcal{I}$ isomorphically embeds into an $L_p$-space $\mathcal{L}_p(\mathcal{R}),$ $1\leq p<2,$ (here, $\mathcal{R}$ is the hyperfinite II$_1$-factor) if its commutative core (that is, Calkin space for $\mathcal{I}$) isomorphically embeds into $L_p(0,1).$ Furthermore, we prove that an Orlicz ideal $\mathcal{L}_M(H)\neq\mathcal{L}_p(H)$ isomorphically embeds into $\mathcal{L}_p(\mathcal{R}),$ $1\leq p<2,$ if and only if it is an interpolation space for the Banach couple $(\mathcal{L}_p(H),\mathcal{L}_2(H)).$ Finally, we consider isomorphic embeddings of $(\mathcal{I}, \|\cdot\|_{\mathcal{I}})$ into $L_p$-spaces associated with arbitrary finite von Neumann algebras.
△ Less
Submitted 7 April, 2017;
originally announced April 2017.
-
Simultaneous upper triangular forms for commuting operators in a finite von Neumann algebra
Authors:
Ian Charlesworth,
Ken Dykema,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
The joint Brown measure and joint Haagerup--Schultz projections for tuples of commuting operators in a von Neumann algebra equipped with a faithful tracial state are investigated, and several natural properties are proved for these. It is shown that the support of the joint Brown measure is contained in the Taylor joint spectrum of the tuple, and also in the ostensibly smaller left Harte spectrum.…
▽ More
The joint Brown measure and joint Haagerup--Schultz projections for tuples of commuting operators in a von Neumann algebra equipped with a faithful tracial state are investigated, and several natural properties are proved for these. It is shown that the support of the joint Brown measure is contained in the Taylor joint spectrum of the tuple, and also in the ostensibly smaller left Harte spectrum. A simultaneous upper triangularization result for finite commuting tuples is proved and the joint Brown measure and joint Haagerup--Schultz projections are shown to be have well under the Arens multivariate holomorphic functional calculus of such a commuting tuple.
△ Less
Submitted 12 May, 2019; v1 submitted 16 March, 2017;
originally announced March 2017.
-
Trace theorem for quasi-Fuchsian groups
Authors:
Alain Connes,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We complete the proof of the Trace Theorem in the quantized calculus for quasi-Fuchsian group which was stated and sketched, but not fully proved, on pp. 322-325 in the book "Noncommutative Geometry" of the first author.
We complete the proof of the Trace Theorem in the quantized calculus for quasi-Fuchsian group which was stated and sketched, but not fully proved, on pp. 322-325 in the book "Noncommutative Geometry" of the first author.
△ Less
Submitted 15 March, 2017;
originally announced March 2017.
-
Connes integration formula for the noncommutative plane
Authors:
Fedor Sukochev,
Dmitriy Zanin
Abstract:
Our aim is to prove the integration formula on the noncommutative (Moyal) plane in terms of singular traces {\it a la} Connes.
Our aim is to prove the integration formula on the noncommutative (Moyal) plane in terms of singular traces {\it a la} Connes.
△ Less
Submitted 13 March, 2017;
originally announced March 2017.
-
Cwikel estimates revisited
Authors:
Galina Levitina,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
In this paper, we propose a new approach to Cwikel estimates both for the Euclidean space and for the noncommutative Euclidean space.
In this paper, we propose a new approach to Cwikel estimates both for the Euclidean space and for the noncommutative Euclidean space.
△ Less
Submitted 13 March, 2017;
originally announced March 2017.
-
Weak type operator Lipschitz and commutator estimates for commuting tuples
Authors:
Martijn Caspers,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
Let $f: \mathbb{R}^d \to\mathbb{R}$ be a Lipschitz function. If $B$ is a bounded self-adjoint operator and if $\{A_k\}_{k=1}^d$ are commuting bounded self-adjoint operators such that $[A_k,B]\in L_1(H),$ then $$\|[f(A_1,\cdots,A_d),B]\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|[A_k,B]\|_1,$$ where $c(d)$ is a constant independent of $f$, $\mathcal{M}$ and $A,B$ and…
▽ More
Let $f: \mathbb{R}^d \to\mathbb{R}$ be a Lipschitz function. If $B$ is a bounded self-adjoint operator and if $\{A_k\}_{k=1}^d$ are commuting bounded self-adjoint operators such that $[A_k,B]\in L_1(H),$ then $$\|[f(A_1,\cdots,A_d),B]\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|[A_k,B]\|_1,$$ where $c(d)$ is a constant independent of $f$, $\mathcal{M}$ and $A,B$ and $\|\cdot\|_{1,\infty}$ denotes the weak $L_1$-norm. If $\{X_k\}_{k=1}^d$ (respectively, $\{Y_k\}_{k=1}^d$) are commuting bounded self-adjoint operators such that $X_k-Y_k\in L_1(H),$ then $$\|f(X_1,\cdots,X_d)-f(Y_1,\cdots,Y_d)\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|X_k-Y_k\|_1.$$
△ Less
Submitted 8 March, 2017;
originally announced March 2017.
-
Krein's trace theorem revisited
Authors:
Denis Potapov,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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}$.
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}$.
△ Less
Submitted 14 December, 2016;
originally announced January 2017.
-
Singular traces and perturbation formulae of higher order
Authors:
Denis Potapov,
Fedor Sukochev,
Aleksandr Usachev,
Dmitriy Zanin
Abstract:
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 ex…
▽ More
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$.
△ Less
Submitted 14 December, 2016;
originally announced December 2016.
-
Banach limits and traces on $\mathcal L_{1,\infty}$
Authors:
Evgenii Semenov,
Fedor Sukochev,
Aleksandr Usachev,
Dmitriy Zanin
Abstract:
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 a…
▽ More
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.
△ Less
Submitted 14 December, 2016;
originally announced December 2016.
-
Fuglede-Putnam theorem for locally measurable operators
Authors:
A. Ber,
V. Chilin,
F. Sukochev,
D. Zanin
Abstract:
We extend the Fuglede-Putnam theorem from the algebra $B(H)$ of all bounded operators on the Hilbert space $H$ to the algebra of all locally measurable operators affiliated with a von Neumann algebra.
We extend the Fuglede-Putnam theorem from the algebra $B(H)$ of all bounded operators on the Hilbert space $H$ to the algebra of all locally measurable operators affiliated with a von Neumann algebra.
△ Less
Submitted 14 December, 2016;
originally announced December 2016.
-
Johnson-Schechtman inequalities for noncommutative martingales
Authors:
Yong Jiao,
Fedor Sukochev,
Dmitriy Zanin,
Dejian Zhou
Abstract:
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-Schechtm…
▽ More
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.
△ Less
Submitted 13 December, 2016;
originally announced December 2016.
-
Fubini theorem in noncommutative geometry
Authors:
Fedor Sukochev,
Dmitriy Zanin
Abstract:
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.
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.
△ Less
Submitted 12 December, 2016;
originally announced December 2016.
-
Trace Formulas for a Class of non-Fredholm Operators: A Review
Authors:
Alan Carey,
Fritz Gesztesy,
Harald Grosse,
Galina Levitina,
Denis Potapov,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
We review previous work on spectral flow in connection with certain self-adjoint model operators $\{A(t)\}_{t\in \mathbb{R}}$ on a Hilbert space $\mathcal{H}$, joining endpoints $A_\pm$, and the index of the operator $D_{A}^{}= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$, where $A$ denotes the operator of multiplication $(A f)(t) = A(t)f(t)$. In this article we review what is known when…
▽ More
We review previous work on spectral flow in connection with certain self-adjoint model operators $\{A(t)\}_{t\in \mathbb{R}}$ on a Hilbert space $\mathcal{H}$, joining endpoints $A_\pm$, and the index of the operator $D_{A}^{}= (d/d t) + A$ acting in $L^2(\mathbb{R}; \mathcal{H})$, where $A$ denotes the operator of multiplication $(A f)(t) = A(t)f(t)$. In this article we review what is known when these operators have some essential spectrum and describe some new results in terms of associated spectral shift functions.
We are especially interested in extensions to non-Fredholm situations, replacing the Fredholm index by the Witten index, and use a particular $(1+1)$-dimensional model setup to illustrate our approach based on spectral shift functions.
△ Less
Submitted 16 October, 2016;
originally announced October 2016.
-
$Φ$-moment inequalities for independent and freely independent random variables
Authors:
Yong Jiao,
Fedor Sukochev,
Guangheng Xie,
Dmitriy Zanin
Abstract:
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 disjoi…
▽ More
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.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.