We establish a rather unexpected and simple criterion for the boundedness of Schur multipliers $S_M$ on Schatten $p$-classes which solves a conjecture proposed by Mikael de la Salle. Given $1 < p < \infty$, a simple form our main result reads for $\mathbf{R}^n \times \mathbf{R}^n$ matrices as follows $$\big\| S_M: S_p \to S_p \big\|_{\mathrm{cb}} \lesssim \frac{p^2}{p-1} \sum_{|γ| \le [\frac{n}{2}] +1} \Big\| |x-y|^{|γ|} \Big\{ \big| \partial_x^γM(x,y) \big| + \big| \partial_y^γM(x,y) \big| \Big\} \Big\|_\infty.$$ In this form, it is a full matrix (nonToeplitz/nontrigonometric) amplification of the Hörmander-Mikhlin multiplier theorem, which admits lower fractional differentiability orders $σ> \frac{n}{2}$ as well. It trivially includes Arazy's conjecture for $S_p$-multipliers and extends it to $α$-divided differences. It also leads to new Littlewood-Paley characterizations of $S_p$-norms and strong applications in harmonic analysis for nilpotent and high rank simple Lie group algebras.
This paper resolves a number of conjectures in the perturbation theory of linear operators. Namely, we prove that every Lipschitz function is operator Lipschitz in the Schatten-von Neumann ideals $S^α$, $1 < α< \infty$. The negative result for $S^α$, $α= 1, \infty$ was earlier established by Yu. Farforovskaya in 1972.
Let $H$ and $H'$ be a complex Hilbert spaces. For $p\in(1, \infty)\backslash\{2\}$ we consider the Banach space $C_p(H)$ of all $p$-Schatten von Neumann operators, whose unit sphere is denoted by $S(C_p(H))$. We prove that every surjective isometry $Δ: S(C_p(H))\to S(C_p(H'))$ can be extended to a complex linear or to a conjugate linear surjective isometry $T:C_p(H)\to C_p(H')$.
We introduce a noncommutative analogue of the Figá-Talamanca-Herz algebra $A_p(G)$ on the natural predual of the operator space $\frak{M}_{p,cb}$ of completely bounded Schur multipliers on Schatten space $S_p$. We determine the isometric Schur multipliers and prove that the space $\frak{M}_{p}$ of bounded Schur multipliers on Schatten space $S_p$ is the closure in the weak operator topology of the span of isometric multipliers.
We generalize von Neumann's well-known trace inequality, as well as related eigenvalue inequalities for hermitian matrices, to Schatten-class operators between complex Hilbert spaces of infinite dimension. To this end, we exploit some recent results on the $C$-numerical range of Schatten-class operators. For the readers' convenience, we sketched the proof of these results in the Appendix.
We study in this paper properties of Schur multipliers of Schatten von Neumann classes $\boldsymbol{S}_p$. We prove that for $p\le1$, Schur multipliers of $\boldsymbol{S}_p$ are necessarily completely bounded. We also introduce for $p\le1$ a scale ${\mathscr W}_p$ of tensor products of $\ell^\infty$ and prove that matrices in ${\mathscr W}_p$ are Schur multipliers of $\boldsymbol{S}_p$. We compare this sufficient condition with the sufficient condition of membership in the $p$-tensor product of $\ell^\infty$ spaces.
In this note we study pseudo-multipliers associated to the harmonic oscillator (also called Hermite multipliers) belonging to Schatten classes on $L^2(\mathbb{R}^n)$. We also investigate the spectral trace of these operators.
We investigate the Schatten-von Neumann properties of pseudo-differential operators using the method proposed by A. Boulkhemair in \cite{Boulkhemair 2}. The symbols are elements of the ideals $S_{w}^{p}$ of the Sjöstrand algebra $S_{w}$.
In this paper we introduce the concept of von Neumann-Schatten Bessel multipliers and obtain some of their characterizations. Finally, special attention is devoted to the study of invertible Hilbert--Schmidt frame multipliers. These results are not only of interest in their own right, but also they pave the way for obtaining some new results for diagonalization of matrices in finite dimensional setting as well as for dual $g$-frames. In particular, we show that a $g$-frame is uniquely determined by the set of its $g$-frames.
The first our aim is to clarify the results obtained by Lidskii devoted to the decomposition on the root vector system of the non-selfadjoint operator. We use a technique of the entire function theory and introduce a so-called Schatten-von Neumann class of the convergence exponent. Considering strictly accretive operators satisfying special conditions formulated in terms of the norm, we construct a sequence of contours of the power type on the contrary to the results by Lidskii, where a sequence of contours of the exponential type was used.
We investigate the Schatten-class properties of pseudo-differential operators with the (revisted) method of Cordes and Kato. As symbol classes we use classes similar to those of Cordes in which the $L^{\infty}$% -conditions are replaced by $L^{p}$-conditions, $1\leq p<\infty $.
We prove an extended version of Cordes' lemma concerning trace-class properties of some special pseudo-differential operators. This version of Cordes' lemma is used to improve the results in \cite{Arsu} concerning the Schatten-class properties of pseudo-differential operators in the $(X,τ) $-quantization. Here $X$ is an $n$ dimensional vector space and $τ$ is an endomorphism of $X$.
We obtain a number of explicit estimates for quasi-norms of pseudo-differential operators in the Schatten-von Neumann classes $S_q$ with $0<q\le 1$. The estimates are applied to derive semi-classical bounds for operators with smooth or non-smooth symbols.
We consider modulation space and spaces of Schatten-von Neumann symbols where corresponding pseudo-differential operators map one Hilbert space to another. We prove Hölder-Young and Young type results for such spaces under dilated convolutions and multiplications. We also prove continuity properties for such spaces under the twisted convolution, and the Weyl product. These results lead to continuity properties for twisted convolutions on Lebesgue spaces, e.{}g. $L^p_{(ω)}$ is a twisted convolution algebra when $1\le p\le 2$ and appropriate weight $ω$.
A linear map $u\colon \ E\to F$ between operator spaces is called completely co-bounded if it is completely bounded as a map from $E$ to the opposite of $F$. We give several simple results about completely co-bounded Schur multipliers on $B(\ell_2)$ and the Schatten class $S_p$. We also consider Herz-Schur multipliers on groups.
In this paper we study non-selfadjoint operators using the methods of the spectral theory. The main challenge is to represent a complete description of an operator belonging to the Schatten-von Neumann class having used the order of the Hermitian real component. The latter fundamental result is advantageous since many theoretical statements based upon it and one of them is a concept on the root series expansion to say nothing on a wide spectrum of applications in the theory of evolution equations. In this regard the evolution equations of fractional order with the operator function in the term…
We inspect the relationship between relative Fourier multipliers on noncommutative Lebesgue-Orlicz spaces of a discrete group and relative Toeplitz-Schur multipliers on Schatten-von-Neumann-Orlicz classes. Four applications are given: lacunary sets; unconditional Schauder bases for the subspace of a Lebesgue space determined by a given spectrum, that is, by a subset of the group; the norm of the Hilbert transform and the Riesz projection on Schatten-von-Neumann classes with exponent a power of 2; the norm of Toeplitz Schur multipliers on Schatten-von-Neumann classes with exponent less than 1.
We study perturbations of functions $f(A,B)$ of noncommuting self-adjoint operators $A$ and $B$ that can be defined in terms of double operator integrals. We prove that if $f$ belongs to the Besov class $B_{\be,1}^1(\R^2)$, then we have the following Lipschitz type estimate in the Schatten--von Neumann norm $\bS_p$, $1\le p\le2$ norm: $\|f(A_1,B_1)-f(A_2,B_2)\|_{\bS_p}\le\const(\|A_1-A_2\|_{\bS_p}+\|B_1-B_2\|_{\bS_p})$. However, the condition $f\in B_{\be,1}^1(\R^2)$ does not imply the Lipschitz type estimate in $\bS_p$ with $p>2$. The main tool is Schatten--von Neumann norm estimates for trip…
In this note we investigate the asymptotic behaviour of the $s$-numbers of the resolvent difference of two generalized self-adjoint, maximal dissipative or maximal accumulative Robin Laplacians on a bounded domain $Ω$ with smooth boundary $\partialΩ$. For this we apply the recently introduced abstract notion of quasi boundary triples and Weyl functions from extension theory of symmetric operators together with Krein type resolvent formulae and well-known eigenvalue asymptotics of the Laplace-Beltrami operator on $\partialΩ$. It will be shown that the resolvent difference of two generalized Rob…
We investigate nontrigonometric forms of Riesz transforms in the context of Schur multipliers. This refines Grothendieck-Haagerup's endpoint criterion with a new condition for the Schatten p-boundedness of Schur multipliers and strengthens Potapov/Sukochev's solution of Arazy's conjecture. We recover as well dimension-free estimates for trigonometric Riesz transforms. Our discrete approach is much simpler than previous harmonic analysis and probabilistic approaches. As an application, we find a very simple proof of recent criteria for Schur multipliers of Hörmander-Mikhlin and Marcinkiewicz ty…
Let $G$ be a compact Lie group of dimension $n.$ In this work we characterise the membership of classical pseudo-differential operators on $G$ in the trace class ideal $S_{1}(L^2(G)),$ as well as in the setting of the Schatten ideals $S_{r}(L^2(G)),$ for all $r>0.$ In particular, we deduce Schatten characterisations of elliptic pseudo-differential operators of $(ρ,δ)$-type for the large range $0\leq δ<ρ\leq 1.$ Additional necessary and sufficient conditions are given in terms of the matrix-valued symbols of the operators, which are global functions on the phase space $G\times \widehat{G},$ wit…
In this work we establish sharp kernel conditions ensuring that the corresponding integral operators belong to Schatten-von Neumann classes. The conditions are given in terms of the spectral properties of operators acting on the kernel. As applications we establish several criteria in terms of different types of differential operators and their spectral asymptotics in different settings: compact manifolds, operators on lattices, domains in ${\mathbb R}^n$ of finite measure, and conditions for operators on ${\mathbb R}^n$ given in terms of anharmonic oscillators. We also give examples in the se…
We establish continuity and Schatten-von Neumann properties for matrix operators with matrices satisfying mixed quasi-norm estimates. These considerations also include the case when the Lebesgue and Schatten parameters are allowed to stay between $0$ and $1$. We use the results to deduce continuity and Schatten-von Neumann properties for pseudo-differential operators with symbols in a broad class of modulation spaces.
We survey the most recent results on extension of isometries between special subsets of the unit spheres of C$^*$-algebras, von Neumann algebras, trace class operators, preduals of von Neumann algebras, and $p$-Schatten-von Neumann spaces, with special interest on Tingley's problem.
We study upper bounds on the Schur multiplier norm of Loewner matrices for concave and convex functions. These bounds then immediately lead to upper bounds on the ratio of Schatten $q$-norms of commutators $||\;[A,f(B)]\;||_q/||\;[A,B]\;||_q$. We also consider operator monotone functions, for which sharper bounds are obtained.
Let $A$ be a $C^*$-algebra. It is shown that every absolutely summing operator from $A$ into $\ell_2$ factors through a Hilbert space operator that belongs to the 4-Schatten- von Neumann class. We also provide finite dimensinal examples that show that one can not improve the 4-Schatten-von Neumann class to $p$-Schatten von Neumann class for any $p<4$. As application, we prove that there exists a modulus of capacity $ε\to N(ε)$ so that if $A$ is a $C^*$-algebra and $T \in Π_1(A,\ell_2)$ with $π_1(T)\leq 1$, then for every $ε>0$, the $ε$-capacity of the image of the unit ball of $A$ under $T$ do…
We consider the class of integral operators $Q_\f$ on $L^2(\R_+)$ of the form $(Q_\f f)(x)=\int_0^\be\f (\max\{x,y\})f(y)dy$. We discuss necessary and sufficient conditions on $ϕ$ to insure that $Q_ϕ$ is bounded, compact, or in the Schatten-von Neumann class $\bS_p$, $1<p<\infty$. We also give necessary and sufficient conditions for $Q_ϕ$ to be a finite rank operator. However, there is a kind of cut-off at $p=1$, and for membership in $\bS_{p}$, $0<p\leq1$, the situation is more complicated. Although we give various necessary conditions and sufficient conditions relating to $Q_ϕ\in\bS_{p}$ in …
We address the question of describing the membership to Schatten-Von Neumann ideals $\mathcal{S}_ p$ of integration operators $(T_ g f)(z)=\int_{0}^{z}f(ζ)\,g'(ζ)\,dζ$ acting on Dirichlet type spaces. We also study this problem for multiplication, Hankel and Toeplitz operators. In particular, we provide an extension of Luecking's result on Toeplitz operators.
We consider the Schur-Horn problem for normal operators in von Neumann algebras, which is the problem of characterizing the possible diagonal values of a given normal operator based on its spectral data. For normal matrices, this problem is well-known to be extremely difficult, and in fact, it remains open for matrices of size greater than $3$. We show that the infinite dimensional version of this problem is more tractable, and establish approximate solutions for normal operators in von Neumann factors of type I$_\infty$, II and III. A key result is an approximation theorem that can be seen as…
Consider a completely bounded Fourier multiplier phi of a locally compact group G, and take 1 <= p <= infinity. One can associate to phi a Schur multiplier on the Schatten classes S_p(L^2 G), as well as a Fourier multiplier on Lp(LG), the non-commutative Lp-space of the group von Neumann algebra of G. We prove that the completely bounded norm of the Schur multiplier is not greater than the completely bounded norm of the Lp-Fourier multiplier. When G is amenable we show that equality holds, extending a result by Neuwirth and Ricard to non-discrete groups. For a discrete group G and in the speci…
We study Schatten--von Neumann properties of multiple operator integrals with integrands in the Haagerup tensor product of $L^\infty$ spaces. We obtain sharp, best possible estimates. This allowed us to obtain sharp Schatten--von Neumann estimates in the case of {\it Haagerup-like} tensor products.
We study the problem of characterizing Hankel-Schur multipliers and Toeplitz-Schur multipliers of Schatten-von Neumann class $\bS_p$ for $0<p<1$. We obtain various sharp necessary conditions and sufficient conditions for a Hankel matrix to be a Schur multiplier of $\bS_p$. We also give a characterization of the Hankel-Schur multipliers of $\bS_p$ whose symbols have lacunary power series. Then the results on Hankel-Schur multipliers are used to obtain a characterization of the Toeplitz-Schur multipliers of $\bS_p$. Finally, we return to Hankel-Schur multipliers and obtain new results in the cas…
Given a pair of self-adjoint operators $H$ and $V$ such that $V$ is bounded and $(H+V-i)^{-1}-(H-i)^{-1}$ belongs to the Schatten-von Neumann ideal $\mathcal{S}^n$, $n\ge 2$, of operators on a separable Hilbert space, we establish higher order trace formulas for a broad set of functions $f$ containing several major classes of test functions and also establish existence of the respective locally integrable real-valued spectral shift functions determined uniquely up to a low degree polynomial summand. Our result generalizes the result of \cite{PSS13} for Schatten-von Neumman perturbations $V$ an…
Let $G$ be a locally compact unimodular group, and let $ϕ$ be some function of $n$ variables on $G$. To such a $ϕ$, one can associate a multilinear Fourier multiplier, which acts on some $n$-fold product of the non-commutative $L_p$-spaces of the group von Neumann algebra. One may also define an associated Schur multiplier, which acts on an $n$-fold product of Schatten classes $S_p(L_2(G))$. We generalize well-known transference results from the linear case to the multilinear case. In particular, we show that the so-called `multiplicatively bounded $(p_1,\ldots,p_n)$-norm' of a multilinear Sch…
We study the class $\mathcal{M}_p$ of Schur multipliers on the Schatten-von Neumann class $\mathcal{S}_p$ with $1 \leq p \leq \infty$ as well as the class of completely bounded Schur multipliers $\mathcal{M}_p^{cb}$. We first show that for $2 \leq p < q \leq \infty$ there exist $m \in \mathcal{M}_p^{cb}$ with $m \not \in \mathcal{M}_q$, so in particular the following inclusions that follow from interpolation are strict $\mathcal{M}_q \subsetneq \mathcal{M}_p$ and $\mathcal{M}^{cb}_q \subsetneq \mathcal{M}^{cb}_p$. In the remainder of the paper we collect computational evidence that for $p\not …
In this paper we present symbolic criteria for invariant operators on compact topological groups $G$ characterising the Schatten-von Neumann classes $S_{r}(L^{2}(G))$ for all $0<r\leq\infty$. Since it is known that for pseudo-differential operators criteria in terms of kernels may be less effective (Carleman's example), our criteria are given in terms of the operators' symbols defined on the noncommutative analogue of the phase space $G\times\hat{G}$, where $G$ is a compact topological (or Lie) group and $\hat{G}$ is its unitary dual. We also show results concerning general non-invariant opera…
Let $α:G \curvearrowright M$ be a spatial action of countable abelian group on a "spatial" von Neumann algebra $M$ and $S$ be its unital subsemigroup with $G=S^{-1}S$. We explicitly compute the essential commutant and the essential fixed-points, modulo the Schatten $p$-class or the compact operators, of the w$^*$-semicrossed product of $M$ by $S$ when $M'$ contains no non-zero compact operators. We also prove a weaker result when $M$ is a von Neumann algebra on a finite dimensional Hilbert space and $(G,S)=(\mathbb{Z},\mathbb{Z}_{+})$, which extends a famous result due to Davidson (1977) for t…
One of the long standing questions in the theory of Schatten-von Neumann ideals of compact operators is whether their norms have the same differentiability properties as the norms of their commutative counterparts. We answer this question in the affirmative. A key technical observation underlying our proof is a discovery of connection between this question and recent affirmative resolution of L.S. Koplienko's conjecture concerning existence of higher order spectral shift functions.
In this paper, we extend the classical Bohr's inequality to the setting of the non-commutative Hardy space $H^1$ associated with a semifinite von Neumann algebra. As a consequence, we obtain Bohr's inequality for operators in the von Neumann-Schatten class $\cl C_1$ and square matrices of any finite order. Interestingly, we establish that the optimal bound for $r$ in the above mentioned Bohr's inequality concerning von Neumann-Shcatten class is 1/3 whereas it is 1/2 in the case of $2\times 2$ matrices and reduces to $\sqrt{2}-1$ for the case of $3\times 3$ matrices. We also obtain a generaliza…
This is a continuation of our paper \cite{AP2}. We prove that for functions $f$ in the Hölder class $Ł_\a(\R)$ and $1<p<\be$, the operator $f(A)-f(B)$ belongs to $\bS_{p/\a}$, whenever $A$ and $B$ are self-adjoint operators with $A-B\in\bS_p$. We also obtain sharp estimates for the Schatten--von Neumann norms $\big\|f(A)-f(B)\big\|_{\bS_{p/\a}}$ in terms of $\|A-B\|_{\bS_p}$ and establish similar results for other operator ideals. We also estimate Schatten--von Neumann norms of higher order differences $\sum\limits_{j=0}^m(-1)^{m-j}(m\j)f\big(A+jK\big)$. We prove that analogous results hold fo…
Let $G$ be a locally compact unimodular group, let $1\leq p<\infty$,let $ϕ\in L^\infty(G)$ and assume that the Fourier multiplier $M_ϕ$associated with $ϕ$ is bounded on the noncommutative $L^p$-space $L^p(VN(G))$.Then $M_ϕ\colon L^p(VN(G))\to L^p(VN(G))$ is separating (that is,$\{a^*b=ab^*=0\}\Rightarrow\{M_ϕ(a)^* M_ϕ(b)=M_ϕ(a)M_ϕ(b)^*=0\}$for any $a,b\in L^p(VN(G))$) if and only if thereexists $c\in\mathbb C$ and a continuouscharacter $ψ\colon G\to\mathbb C$ such that $ϕ=cψ$ locally almost everywhere. This provides a characterization of isometricFourier multipliers on $L^p(VN(G))$, when $p\no…
Arazy's conjecture concerning Schur multipliers: revisited and resolved
Institute for Advanced Study in Mathematics of HIT, Harbin Institute of Technology（哈尔滨工业大学数学高等研究院）；School of Mathematics and Statistics, University of NSW（新南威尔士大学数学与统计学院）
