Searcharxiv⌕ Search

arXiv subjects

Fedor Sukochev

Publications and source records attributed to Fedor Sukochev.

At least 55 records · Page 3Linked to original sources

Optimal range of Haar martingale transforms and its applications

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

math.PR↗

Spectral estimates and asymptotics for stratified Lie groups

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

math.FA↗

Lipschitz estimates in quasi-Banach Schatten ideals

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

math.FA↗

The density of states depends on the domain

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.

math-ph↗

Semiclassical Weyl law and exact spectral asymptotics in noncommutative geometry

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.

math.OA↗

The limiting absorption principle for massless Dirac operators, properties of spectral shift functions, and an application to the Witten index of non-Fredholm operators

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.

math.SP↗

Estimates for Schur Multipliers and Double Operator Integrals -- A Wavelet Approach

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.

math.CA↗

Connes Integration Formula without singular traces

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.

math.FA↗

Distributional inequalities for noncommutative martingales

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.

math.FA↗

The product formula for regularized Fredholm determinants

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.

math.SP↗

Weak $(1,1)$ estimates for multiple operator integrals and generalized absolute value functions

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.

math.FA↗

Lorentz-Shimogaki-Arazy-Cwikel Theorem Revisited

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.

math.FA↗

Cwikel-Solomyak estimates on tori and Euclidean spaces

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

math.FA↗

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

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

math.FA↗

Lack of isomorphic embeddings of symmetric function spaces into operator ideals

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

math.FA↗

Alberti--Uhlmann problem on Hardy--Littlewood--Pólya majorization

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.

math.FA↗

A Dixmier trace formula for the density of states

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

math-ph↗

BMO-estimates for non-commutative vector valued Lipschitz functions

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

math.OA↗