BZPEER

preprint2022arXiv

The Witten index and the spectral shift function

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

preprint2016arXiv

Double operator integral methods applied to continuity of spectral shift functions

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

preprint2016arXiv

Krein's trace theorem revisited

We supply the first proof of Krein's Trace Theorem which does not use complex analysis. Our proof holds for~ $σ$ -finite von Neumann algebras $\mathcal{M}$ of type II and unbounded perturbations from the predual of~ $\mathcal{M}$ .

preprint2016arXiv

Singular traces and perturbation formulae of higher order

Let $H, V$ be self-adjoint operators such that $V$ belongs to the weak trace class ideal. We prove higher order perturbation formula $τ\big(f(H+V)-\sum_{j=0}^{n-1}\frac{1}{j!}\frac{d^j}{dt^j} f(H+tV)\big|_{t=0}\big)=\int_{\mathbb{R}} f^{(n)}(t)\,dm_n(t),$ where $τ$ is a trace on the weak trace class ideal and $m_n$ is a finite measure that is not necessarily absolutely continuous. This result extends the first and second order perturbation formulas of Dykema and Shripka, who generalised the Krein and Koplienko trace formulas to the weak trace class ideal. We also establish the perturbation formulae when the perturbation $V$ belongs to the quasi-Banach ideal weak- $L_n$ for any $n \geq 1$ .

preprint2015arXiv

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

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

preprint2015arXiv

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

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

preprint2015arXiv

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

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

preprint2015arXiv

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

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

preprint2014arXiv

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

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

preprint2014arXiv

On the Witten index in terms of spectral shift functions

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

preprint2014arXiv

The best constants for operator Lipschitz functions on Schatten classes

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

preprint2013arXiv

Frechet differentiability of Sp norms

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

preprint2012arXiv

Higher order spectral shift for contractions

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

preprint2012arXiv

Spectral shift function of higher order

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

preprint2012arXiv

Traces of compact operators and the noncommutative residue

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

preprint2011arXiv

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

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

preprint2010arXiv

Functions of normal operators under perturbations

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

preprint2010arXiv

Functions of perturbed normal operators

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

preprint2010arXiv

Measures from Dixmier Traces and Zeta Functions

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

preprint2010arXiv

On operator valued Hardy spaces

The note shows that the operator-valued Hardy space $\sH^1$ introduced via Littlewood-Paley $g$ -function coincides with the space of $H^1_R(\T, \sL^1)$ of all Bochner integrable operator-valued functions with integrable analytic part. The proof is based on the noncommutative maximal inequality for Poisson group.

Denis Potapov

Research overview

Is this your work?

20 publications

The Witten index and the spectral shift function

Double operator integral methods applied to continuity of spectral shift functions

Krein's trace theorem revisited

Singular traces and perturbation formulae of higher order

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

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

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

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

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

On the Witten index in terms of spectral shift functions

The best constants for operator Lipschitz functions on Schatten classes

Frechet differentiability of Sp norms

Higher order spectral shift for contractions

Spectral shift function of higher order

Traces of compact operators and the noncommutative residue

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

Functions of normal operators under perturbations

Functions of perturbed normal operators

Measures from Dixmier Traces and Zeta Functions

On operator valued Hardy spaces

See the researcher in context

Building this map preview

Denis Potapov

Research overview

Is this your work?

20 publications

The Witten index and the spectral shift function

Double operator integral methods applied to continuity of spectral shift functions

Krein's trace theorem revisited

Singular traces and perturbation formulae of higher order

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

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

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

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

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

On the Witten index in terms of spectral shift functions

The best constants for operator Lipschitz functions on Schatten classes

Frechet differentiability of Sp norms

Higher order spectral shift for contractions

Spectral shift function of higher order

Traces of compact operators and the noncommutative residue

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

Functions of normal operators under perturbations

Functions of perturbed normal operators

Measures from Dixmier Traces and Zeta Functions

On operator valued Hardy spaces

See the researcher in context

Building this map preview

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