-
Noncommutative sharp dual Doob inequalities
Authors:
Fedor Sukochev,
Dejian Zhou
Abstract:
Let $(x_k)_{k=1}^n$ be positive elements in the noncommutative Lebesgue space $L_p(\mathcal{M})$, and let $(\mathcal{E}_k)_{k=1}^n$ be a sequence of conditional expectations with respect to an increasing subalgebras $(\mathcal{M}_n)_{k\geq1}$ of the finite von Neumann algebra $\mathcal{M}$. We establish the following sharp noncommutative dual Doob inequalities: \begin{equation*}
\Big\| \sum_{k=1…
▽ More
Let $(x_k)_{k=1}^n$ be positive elements in the noncommutative Lebesgue space $L_p(\mathcal{M})$, and let $(\mathcal{E}_k)_{k=1}^n$ be a sequence of conditional expectations with respect to an increasing subalgebras $(\mathcal{M}_n)_{k\geq1}$ of the finite von Neumann algebra $\mathcal{M}$. We establish the following sharp noncommutative dual Doob inequalities: \begin{equation*}
\Big\| \sum_{k=1}^nx_k\Big\|_{L_p(\mathcal{M})}\leq \frac{1}{p} \Big\| \sum_{k=1}^n\mathcal{E}_k(x_k)\Big\|_{L_p(\mathcal{M})},\quad 0<p\leq 1, \end{equation*} and \begin{equation*}
\Big\| \sum_{k=1}^n\mathcal{E}_k(x_k)\Big\|_{L_p(\mathcal{M})}\leq p\Big\| \sum_{k=1}^nx_k\Big\|_{L_p(\mathcal{M})},\quad 1\leq p\leq 2. \end{equation*} As applications, we obtain several noncommutative martingale inequalities with better constants.
△ Less
Submitted 13 January, 2025;
originally announced January 2025.
-
Spectral asymptotic formula of Bessel--Riesz commutator
Authors:
Zhijie Fan,
Ji Li,
Fedor Sukochev,
Dmitriy Zanin
Abstract:
Let $R_{λ,j}$ be the $j$-th Bessel--Riesz transform, where $n\geq 1$, $λ>0$, and $j=1,\ldots,n+1$. In this article, we establish a Weyl type asymptotic for $[M_f,R_{λ,j}]$, the commutator of $R_{λ,j}$ with multiplication operator $M_f$, based on building a preliminary result that the endpoint weak Schatten norm of $[M_f,R_{λ,j}]$ can be characterised via homogeneous Sobolev norm…
▽ More
Let $R_{λ,j}$ be the $j$-th Bessel--Riesz transform, where $n\geq 1$, $λ>0$, and $j=1,\ldots,n+1$. In this article, we establish a Weyl type asymptotic for $[M_f,R_{λ,j}]$, the commutator of $R_{λ,j}$ with multiplication operator $M_f$, based on building a preliminary result that the endpoint weak Schatten norm of $[M_f,R_{λ,j}]$ can be characterised via homogeneous Sobolev norm $\dot{W}^{1,n+1}(\mathbb{R}_+^{n+1})$ of the symbol $f$. Specifically, the asymptotic coefficient is equivalent to $\|f\|_{\dot{W}^{1,n+1}(\mathbb{R}_+^{n+1})}.$ Our main strategy is to relate Bessel--Riesz commutator to classical Riesz commutator via Schur multipliers, and then to establish the boundedness of Schur multipliers.
△ Less
Submitted 22 November, 2024;
originally announced November 2024.
-
A $C^{*}$-Algebraic Approach To Principal Symbol Calculus On Filtered Manifolds
Authors:
David Farrell,
Fedor Sukochev,
Fulin Yang,
Dmitriy Zanin
Abstract:
From the viewpoint of $*$-homomorphism on $C^{*}$-algebras, we establish the principal symbol mapping for filtered manifolds which are locally isomorphic to stratified Lie groups. Let $\mathbb{G}$ be a stratified Lie group, and let $M$ be a filtered manifold with a $\mathbb{G}$-atlas and a smooth positive density $ν$. For the $C^{*}$-algebra bundle $E_{hom}$ of $M$ constructed from quasi-Riesz tra…
▽ More
From the viewpoint of $*$-homomorphism on $C^{*}$-algebras, we establish the principal symbol mapping for filtered manifolds which are locally isomorphic to stratified Lie groups. Let $\mathbb{G}$ be a stratified Lie group, and let $M$ be a filtered manifold with a $\mathbb{G}$-atlas and a smooth positive density $ν$. For the $C^{*}$-algebra bundle $E_{hom}$ of $M$ constructed from quasi-Riesz transforms on $\mathbb{G}$, we show that there exists a surjective $*$-homomorphism $${\rm sym}_{M}:Π_{M}\to C_{b}(E_{hom})$$ such that $${\rm ker}({\rm sym}_{M})=\mathcal{K}(L_{2}(M,ν))\subset Π_{M}$$ where the domain $Π_{M}\subset\mathcal{B}(L_{2}(M,ν))$ is a $C^{*}$-algebra and $C_{b}(E_{hom})$ is the $C^{*}$-algebra of bounded continuous sections of $E_{hom}$. Especially, we do not make any assumptions on the lattice of the osculating group of $M$ or the assumption of compactness on manifolds in \cite{DAO3,DAO4}.
△ Less
Submitted 29 October, 2024; v1 submitted 29 October, 2024;
originally announced October 2024.
-
Kuroda's theorem for $n$-tuples in semifinite von Neumann algebras
Authors:
Aleksey Ber,
Fedor Sukochev,
Dmitriy Zanin,
Hongyin Zhao
Abstract:
Let $\mathcal{M}$ be a semifinite von Neumann algebra and let $E$ be a symmetric function space on $(0,\infty)$. Denote by $E(\mathcal{M})$ the non-commutative symmetric space of measurable operators affiliated with $\mathcal{M}$ and associated with $E.$ Suppose $n\in \mathbb{N}$ and $E\cap L_{\infty}\not\subset L_{n,1}$, where $L_{n,1}$ is the Lorentz function space with the fundamental function…
▽ More
Let $\mathcal{M}$ be a semifinite von Neumann algebra and let $E$ be a symmetric function space on $(0,\infty)$. Denote by $E(\mathcal{M})$ the non-commutative symmetric space of measurable operators affiliated with $\mathcal{M}$ and associated with $E.$ Suppose $n\in \mathbb{N}$ and $E\cap L_{\infty}\not\subset L_{n,1}$, where $L_{n,1}$ is the Lorentz function space with the fundamental function $\varphi(t)=t^{1/n}$. We prove that for every $\varepsilon>0$ and every commuting self-adjoint $n$-tuple $(α(j))_{j=1}^n,$ where $α(j)$ is affiliated with $\mathcal{M}$ for each $1\leq j\leq n,$ there exists a commuting $n$-tuple $(δ(j))_{j=1}^n$ of diagonal operators affiliated with $\mathcal{M}$ such that $\max\{\|α(j)-δ(j)\|_{E(\mathcal{M})},\|α(j)-δ(j)\|_{\infty}\}<\varepsilon$ for each $1\le j\le n$. In the special case when $\mathcal{M}=B(H)$, our results yield the classical Kuroda and Bercovici-Voiculescu theorems.
△ Less
Submitted 6 December, 2024; v1 submitted 24 September, 2024;
originally announced September 2024.
-
Gagliardo-Nirenberg interpolation inequality for symmetric spaces on Noncommutative torus
Authors:
Fedor Sukochev,
Fulin Yang,
Dmitriy Zanin
Abstract:
Let $E(\mathbb{T}^{d}_θ),F(\mathbb{T}^{d}_θ)$ be two symmetric operator spaces on noncommutative torus $\mathbb{T}^{d}_θ$ corresponding to symmetric function spaces $E,F$ on $(0,1)$. We obtain the Gagliardo--Nirenberg interpolation inequality with respect to $\mathbb{T}^{d}_θ$: if $G=E^{1-\frac{l}{k}}F^{\frac{l}{k}}$ with $ 0\leq l\leq k$ and if the Cesàro operator is bounded on $E$ and $F$, then…
▽ More
Let $E(\mathbb{T}^{d}_θ),F(\mathbb{T}^{d}_θ)$ be two symmetric operator spaces on noncommutative torus $\mathbb{T}^{d}_θ$ corresponding to symmetric function spaces $E,F$ on $(0,1)$. We obtain the Gagliardo--Nirenberg interpolation inequality with respect to $\mathbb{T}^{d}_θ$: if $G=E^{1-\frac{l}{k}}F^{\frac{l}{k}}$ with $ 0\leq l\leq k$ and if the Cesàro operator is bounded on $E$ and $F$, then \begin{align*} \|\nabla^lx\|_{G(\mathbb{T}^{d}_θ)}\leq 2^{3\cdot 2^{k-2}-2}(k+1)^d\|C\|_{E\to E}^{1-\frac{l}{k}}\|C\|_{F\to F}^{\frac{l}{k}}\|x\|_{E(\mathbb{T}^{d}_θ)}^{1-\frac{l}{k}}\|\nabla^kx\|_{F(\mathbb{T}^{d}_θ)}^{\frac{l}{k}},\; x\in W^{k,1}(\mathbb{T}^{d}_θ), \end{align*} where $W^{k,1}(\mathbb{T}^{d}_θ)$ is the Sobolev space on $\mathbb{T}^{d}_θ$ of order $k\in\mathbb{N}$. Our method is different from the previous settings, which is of interest in its own right.
△ Less
Submitted 28 August, 2024; v1 submitted 23 August, 2024;
originally announced August 2024.
-
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:
Jinghao 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 mapping on a compact smooth manifold as a $\ast$-homomorphism of $C^{\ast}$-algebras. Principal symbol mapping 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 mapping on a compact smooth manifold as a $\ast$-homomorphism of $C^{\ast}$-algebras. Principal symbol mapping 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.
-
Commutator estimates for normal operators in factors with applications to derivations
Authors:
Alexei Ber,
Matthijs Borst,
Fedor Sukochev
Abstract:
For a normal measurable operator $a$ affiliated with a von Neumann factor $\mathcal{M}$ we show:
If $\mathcal{M}$ is infinite, then there is $λ_0\in \mathbb{C}$ so that for $\varepsilon>0$ there are $u_{\varepsilon}=u_{\varepsilon}^*$, $v_{\varepsilon}\in \mathcal{U}(\mathcal{M})$ with…
▽ More
For a normal measurable operator $a$ affiliated with a von Neumann factor $\mathcal{M}$ we show:
If $\mathcal{M}$ is infinite, then there is $λ_0\in \mathbb{C}$ so that for $\varepsilon>0$ there are $u_{\varepsilon}=u_{\varepsilon}^*$, $v_{\varepsilon}\in \mathcal{U}(\mathcal{M})$ with $$v_\varepsilon|[a,u_\varepsilon]|v_\varepsilon^*\geq(1-\varepsilon)(|a-λ_0\textbf{1}|+u_\varepsilon|a-λ_0\textbf{1}|u_\varepsilon).$$ If $\mathcal{M}$ is finite, then there is $λ_0\in\mathbb{C}$ and $u,v\in\mathcal{U}(\mathcal{M})$ so that $$v|[a,u]|v^*\geq \frac{\sqrt{3}}{2}(|a-λ_0\textbf{1}|+u|a-λ_0\textbf{1}|u^*).$$ These bounds are optimal for infinite factors, II$_1$-factors and some I$_n$-factors. Furthermore, for finite factors applying $\|\cdot\|_{1}$-norms to the inequality provides estimates on the norm of the inner derivation $δ_{a}:\mathcal{M}\to L_1(\mathcal{M},τ)$ associated to $a$. While by [3,Theorem 1.1] it is known for finite factors and self-adjoint $a\in L_1(\mathcal{M},τ)$ that $\|δ_{a}\|_{\mathcal{M}\to L_1(\mathcal{M},τ)} = 2\min_{z\in \mathbb{C}}\|a-z\|_{1}$, we present concrete examples of finite factors $\mathcal{M}$ and normal operators $a\in \mathcal{M}$ for which this fails.
△ Less
Submitted 21 April, 2023;
originally announced April 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.
-
Innerness of derivations into noncommutative symmetric spaces is determined commutatively
Authors:
Jinghao Huang,
Fedor Sukochev
Abstract:
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 v…
▽ More
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.
△ Less
Submitted 10 January, 2023;
originally announced January 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 mapping 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,
Jinghao 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:
Jinghao 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.
-
A multidimensional solution to additive homological equations
Authors:
Aleksei F. Ber,
Matthijs J. Borst,
Sander J. Borst,
Fedor A. Sukochev
Abstract:
In this paper we prove that for a finite-dimensional real normed space $V$, every bounded mean zero function $f\in L_\infty([0,1];V)$ can be written in the form $f = g\circ T - g$ for some $g\in L_\infty([0,1];V)$ and some ergodic invertible measure preserving transformation $T$ of $[0,1]$. Our method moreover allows us to choose $g$, for any given $\varepsilon>0$, to be such that…
▽ More
In this paper we prove that for a finite-dimensional real normed space $V$, every bounded mean zero function $f\in L_\infty([0,1];V)$ can be written in the form $f = g\circ T - g$ for some $g\in L_\infty([0,1];V)$ and some ergodic invertible measure preserving transformation $T$ of $[0,1]$. Our method moreover allows us to choose $g$, for any given $\varepsilon>0$, to be such that $\|g\|_\infty\leq (S_V+\varepsilon)\|f\|_\infty$, where $S_V$ is the Steinitz constant corresponding to $V$.
△ Less
Submitted 23 July, 2021;
originally announced July 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.
-
Estimates for Schur Multipliers and Double Operator Integrals -- A Wavelet Approach
Authors:
Edward McDonald,
Thomas Tzvi Scheckter,
Fedor Sukochev
Abstract:
We discuss the work of Birman and Solomyak on the singular numbers of integral operators from the point of view of modern approximation theory, in particular with the use of wavelet techniques. We are able to provide a simple proof of norm estimates for integral operators with kernel in $B^{\frac{1}{p}-\frac{1}{2}}_{p,p}(\mathbb R,L_2(\mathbb R))$. This recovers, extends and sheds new light on a t…
▽ More
We discuss the work of Birman and Solomyak on the singular numbers of integral operators from the point of view of modern approximation theory, in particular with the use of wavelet techniques. We are able to provide a simple proof of norm estimates for integral operators with kernel in $B^{\frac{1}{p}-\frac{1}{2}}_{p,p}(\mathbb R,L_2(\mathbb R))$. This recovers, extends and sheds new light on a theorem of Birman and Solomyak. We also use these techniques to provide a simple proof of Schur multiplier bounds for double operator integrals, with bounded symbol in $B^{\frac{1}{p}-\frac{1}{2}}_{\frac{2p}{2-p},p}(\mathbb R,L_\infty(\mathbb R))$, which extends Birman and Solomyak's result to symbols without compact domain.
△ Less
Submitted 19 April, 2021; v1 submitted 13 April, 2021;
originally announced April 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.
-
The Witten index and the spectral shift function
Authors:
Alan Carey,
Galina Levitina,
Denis Potapov,
Fedor Sukochev
Abstract:
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 w…
▽ More
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.
△ Less
Submitted 22 February, 2022; v1 submitted 17 January, 2021;
originally announced January 2021.
-
Hermitian operators and isometries on symmetric operator spaces
Authors:
Jinghao Huang,
Fedor Sukochev
Abstract:
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 Hil…
▽ More
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.
△ Less
Submitted 5 January, 2023; v1 submitted 10 January, 2021;
originally announced January 2021.
-
Lipschitz estimates in quasi-Banach Schatten ideals
Authors:
Edward McDonald,
Fedor Sukochev
Abstract:
We study the class of functions $f$ on $\mathbb{R}$ satisfying a Lipschitz estimate in the Schatten ideal $\mathcal{L}_p$ for $0 < p \leq 1$. The corresponding problem with $p\geq 1$ has been extensively studied, but the quasi-Banach range $0 < p < 1$ is by comparison poorly understood. Using techniques from wavelet analysis, we prove that Lipschitz functions belonging to the homogeneous Besov cla…
▽ More
We study the class of functions $f$ on $\mathbb{R}$ satisfying a Lipschitz estimate in the Schatten ideal $\mathcal{L}_p$ for $0 < p \leq 1$. The corresponding problem with $p\geq 1$ has been extensively studied, but the quasi-Banach range $0 < p < 1$ is by comparison poorly understood. Using techniques from wavelet analysis, we prove that Lipschitz functions belonging to the homogeneous Besov class $\dot{B}^{\frac{1}{p}}_{\frac{p}{1-p},p}(\mathbb{R})$ obey the estimate $$
\|f(A)-f(B)\|_{p} \leq C_{p}(\|f'\|_{L_{\infty}(\mathbb{R})}+\|f\|_{\dot{B}^{\frac{1}{p}}_{\frac{p}{1-p},p}(\mathbb{R})})\|A-B\|_{p} $$ for all bounded self-adjoint operators $A$ and $B$ with $A-B\in \mathcal{L}_p$. In the case $p=1$, our methods recover and provide a new perspective on a result of Peller that $f \in \dot{B}^1_{\infty,1}$ is sufficient for a function to be Lipschitz in $\mathcal{L}_1$. We also provide related Hölder-type estimates, extending results of Aleksandrov and Peller. In addition, we prove the surprising fact that non-constant periodic functions on $\mathbb{R}$ are not Lipschitz in $\mathcal{L}_p$ for any $0 < p < 1$. This gives counterexamples to a 1991 conjecture of Peller that $f \in \dot{B}^{1/p}_{\infty,p}(\mathbb{R})$ is sufficient for $f$ to be Lipschitz in $\mathcal{L}_p$.
△ Less
Submitted 25 July, 2021; v1 submitted 17 September, 2020;
originally announced September 2020.
-
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.
-
Isomorphic classification of $L_{p,q}$-spaces, II
Authors:
Jinghao Huang,
Fedor Sukochev
Abstract:
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,…
▽ More
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.
△ Less
Submitted 26 August, 2022; v1 submitted 26 August, 2020;
originally announced August 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.
-
Lack of isomorphic embeddings of symmetric function spaces into operator ideals
Authors:
Sergei Astashkin,
Jinghao Huang,
Fedor Sukochev
Abstract:
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.
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.
△ Less
Submitted 8 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.
-
Alberti--Uhlmann problem on Hardy--Littlewood--Pólya majorization
Authors:
Jinghao Huang,
Fedor Sukochev
Abstract:
We fully describe the doubly stochastic orbit of a self-adjoint element in the noncommutative $L_1$-space affiliated with a semifinite von Neumann algebra, which answers a problem posed by Alberti and Uhlmann in the 1980s, extending several results in the literature. It follows further from our methods that, for any $σ$-finite von Neumann algebra $\mathcal{M}$ equipped a semifinite infinite faithf…
▽ More
We fully describe the doubly stochastic orbit of a self-adjoint element in the noncommutative $L_1$-space affiliated with a semifinite von Neumann algebra, which answers a problem posed by Alberti and Uhlmann in the 1980s, extending several results in the literature. It follows further from our methods that, for any $σ$-finite von Neumann algebra $\mathcal{M}$ equipped a semifinite infinite faithful normal trace $τ$, there exists a self-adjoint operator $y\in L_1(\mathcal{M},τ)$ such that the doubly stochastic orbit of $y$ does not coincide with the orbit of $y$ in the sense of Hardy--Littlewood--Pólya, which confirms a conjecture by Hiai. However, we show that Hiai's conjecture fails for non-$σ$-finite von Neumann algebras. The main result of the present paper also answers the (noncommutative) infinite counterparts of problems due to Luxemburg and Ryff in the 1960s.
△ Less
Submitted 8 April, 2020; v1 submitted 7 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.
-
Non-existence of translation-invariant derivations on algebras of measurable functions
Authors:
Aleksey Ber,
Jinghao Huang,
Karimbergen Kudaybergenov,
Fedor Sukochev
Abstract:
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 tha…
▽ More
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}.
△ Less
Submitted 3 February, 2020;
originally announced February 2020.
-
The Grothendieck property in Marcinkiewicz spaces
Authors:
B. de Pagter,
F. A. Sukochev
Abstract:
The main pupose of this paper is to fully characterize continuous concave functions $ψ$ such that the corresponding Marcinkiewicz Banach function space $M_{ψ}$ is a Grothendieck space.
The main pupose of this paper is to fully characterize continuous concave functions $ψ$ such that the corresponding Marcinkiewicz Banach function space $M_{ψ}$ is a Grothendieck space.
△ Less
Submitted 2 December, 2019;
originally announced December 2019.
-
Full proof of Kwapień's theorem on representing bounded mean zero functions on $[0,1]$
Authors:
Aleksei F. Ber,
Matthijs J. Borst,
Fedor A. Sukochev
Abstract:
In [7], Kwapień announced that every mean zero function $f\in L_\infty[0,1]$ can be written as a coboundary $f = g\circ T -g$ for some $g\in L_\infty[0,1]$ and some measure preserving transformation $T$ of $[0,1]$. Whereas the original proof in [7] holds for continuous functions, there is a serious gap in the proof for functions with discontinuities. In this article we fill in this gap and establi…
▽ More
In [7], Kwapień announced that every mean zero function $f\in L_\infty[0,1]$ can be written as a coboundary $f = g\circ T -g$ for some $g\in L_\infty[0,1]$ and some measure preserving transformation $T$ of $[0,1]$. Whereas the original proof in [7] holds for continuous functions, there is a serious gap in the proof for functions with discontinuities. In this article we fill in this gap and establish Kwapień's result in full generality. Our method also allows to improve the original result by showing that for any given $ε>0$ the function $g$ can be chosen to satisfy a bound $\|g\|_\infty\leq (1+ε)\|f\|_\infty$.
△ Less
Submitted 29 November, 2019;
originally announced November 2019.
-
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.
-
2-Co-lacunary sequences in noncommutative symmetric Banach spaces
Authors:
Fedor Sukochev,
Dejian Zhou
Abstract:
We characterize noncommutative symmetric Banach spaces for which every bounded sequence admits either a convergent subsequence, or a $2$-co-lacunary subsequence. This extends the classical characterization, due to Räbiger.
We characterize noncommutative symmetric Banach spaces for which every bounded sequence admits either a convergent subsequence, or a $2$-co-lacunary subsequence. This extends the classical characterization, due to Räbiger.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Quantum differentiability on quantum tori
Authors:
Edward McDonald,
Fedor Sukochev,
Xiao Xiong
Abstract:
We provide a full characterisation of quantum differentiability (in the sense of Connes) on quantum tori. We also prove a quantum integration formula which differs substantially from the commutative case.
We provide a full characterisation of quantum differentiability (in the sense of Connes) on quantum tori. We also prove a quantum integration formula which differs substantially from the commutative case.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Quantum differentiability on noncommutative Euclidean spaces
Authors:
Edward McDonald,
Fedor Sukochev,
Xiao Xiong
Abstract:
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 qua…
▽ More
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.
△ Less
Submitted 8 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.
