Pith. sign in

REVIEW 4 major objections 4 minor 36 references

Higher order spectral shift of Euclidean Callias operators

T0 review · 4 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Higher-order spectral shift functions extend Callias index theory to non-Fredholm Dirac operators.

desk verdict Genuine extension of Pushnitski's functional equation to odd-dimensional non-Fredholm Callias operators, with explicit spectral shift functions in the massless example, but the load-bearing trace formula is imported from an unpublished preprint. read the letter →

arxiv 2506.01647 v1 pith:64UWVLR2 submitted 2025-06-02 math.SP math.FA

Oliver Fürst This is my paper
classification math.SPmath.FA MSC 47A5547B1047A6058J20
keywords Calliasindextheoremhigher-orderspectralshiftfunctionsnon-FredholmoperatorsWittenDirac-SchrödingermultipleoperatorintegralsfunctionalequationmasslessDirac
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Callias's index theorem computes the Fredholm index of a Dirac-Schrödinger operator from the asymptotic winding of its potential. This paper removes the key Fredholm assumption—that the potential is invertible outside a compact set—and still obtains an index-type invariant in odd dimensions. The engine is a pair of higher-order spectral shift functions, $\eta$ and $\xi$, built from multiple operator integrals; they satisfy a functional equation that generalizes Pushnitski's one-dimensional formula. Under a Lebesgue point condition on $\eta$, the operator has a well-defined partial Witten index equal to $(4\pi)^{-(d-1)/2}L$, and when the operator is Fredholm this index agrees with the classical Fredholm index. The author claims this is the first multi-dimensional non-Fredholm extension of the Callias index theorem, and works out the $(d+1)$-massless Dirac-Schrödinger example explicitly.

What carries the argument

The load-bearing machinery is the pair of higher-order spectral shift functions $\eta_{d,A_0,B}$ and $\xi_{d,A_0,B}$, constructed through multiple operator integrals with divided-difference symbols and the Potapov–Skripka–Sukochev trace-norm estimate (Theorem 2.7). The identity that carries the argument is the functional equation (3.63), which expresses $\xi$ as a fractional integral of $\eta$; it converts the cited principal trace formula into the index theorem. The partial Witten index is then read off as the right Lebesgue value $-\xi^{(d-1)}(0+)$.

What would settle it

Take a $d=3$ potential satisfying the weaker Hypothesis 3.2 but not the stronger Hypothesis 3.7, compute both sides of the principal trace formula (Theorem 3.4) numerically for small $t>0$, and check whether the identity holds; if it fails, the functional equation and index theorem have no foundation.

Watch

Extended reading notes

Core claim

The paper's central claim is that the regularized content of a Euclidean Callias-type operator survives when the potential is not invertible at infinity: the semigroup difference $\operatorname{Tr}\operatorname{tr}_{\mathbb{C}^r}(e^{-tD^*D}-e^{-tDD^*})$ admits a density $\xi_{d,A_0,B}$, the potential-side trace admits a density $\eta_{d,A_0,B}$, and these densities are linked by the exact fractional-integral relation (3.63). From this relation, under the Lebesgue point condition (4.13), the partial Witten index exists and equals $(4\pi)^{-(d-1)/2}L$; if $D_B$ is Fredholm, this equals the ordinary index. The discovery is that a non-Fredholm Callias-type operator still has a well-defined, computable index invariant, expressed through higher-order spectral shift functions, and the paper computes these functions for the massless example via an index density and Bessel-function kernels.

Load-bearing premise

The load-bearing premise is the principal trace formula taken from the author's earlier preprint and reproduced as Theorem 3.4—the semigroup difference equals an explicit integral over the potential—together with the technical Hypothesis 3.7, both assumed without proof beyond the massless example.

Editorial extensions

If this is right

  • For any odd dimension $d$, the functional equation (3.63) gives the first known dimensional generalization of Pushnitski's spectral-shift formula, and in $d=1$ it reduces to it after identifying $\eta$ with the symmetrized Krein spectral shift.
  • Whenever the potential-side spectral shift $\eta$ satisfies the Lebesgue point condition, the partial Witten index exists and is given by the explicit constant $(4\pi)^{-(d-1)/2}L$, providing a computable substitute for the Callias index without Fredholmness.
  • In the Fredholm case the partial Witten index coincides with the ordinary Fredholm index, so the new invariant is a genuine extension rather than a replacement.
  • For $(d+1)$-massless Dirac-Schrödinger operators, both spectral shift functions are given explicitly as integral transforms of an index density, and the partial Witten index equals the exterior-product formula (5.16).

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural testable extension is whether the partial Witten index is independent of the chosen regularization (semigroup versus resolvent) in higher odd dimensions; the paper only defines it through the semigroup limit.
  • The explicit Bessel-kernel formulas suggest a local, density-type picture: the higher-order spectral shift functions may be computable from pointwise index densities for a wider class of non-Fredholm potentials than the massless model, which would amount to a non-Fredholm local index theorem.
  • Because the index formula (5.16) depends only on the unitary evolution $U^V$ and its exterior derivative, one could test stability of the partial Witten index under compactly supported perturbations of $V$; the paper does not address this explicitly.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

4 major / 4 minor

Summary. The paper studies Dirac-Schrödinger operators on odd-dimensional Euclidean space with operator-valued potentials, in the spirit of Callias but without assuming invertibility of the potential at infinity. Under a technical Hypothesis 3.7, the author constructs higher-order spectral shift functions ξ and η, derives a functional equation (3.63) generalizing Pushnitski's one-dimensional formula, defines a 'partial Witten index' as -ξ^{(d-1)}(0+), and proves an index formula (4.14) under a Lebesgue point condition on η. The final section computes ξ and η explicitly for the (d+1)-massless Dirac-Schrödinger operator and recovers the Witten index formula of [19].

Significance. If the technical hypotheses are satisfied, this would be the first multi-dimensional non-Fredholm extension of Callias index theory via higher-order spectral shift functions. The paper is clearly organized and the abstract construction of spectral shift measures through multiple operator integrals is a useful framework. The explicit formulas for the massless example, expressed through Bessel kernels and an index density, are concrete and checkable. However, the central results are conditional on an unproved imported trace formula and on parameter conditions that are internally inconsistent in their current form, so the significance is not yet fully established.

major comments (4)
  1. [Section 3, Theorem 3.4] The principal trace formula (3.9) is quoted from the author's unpublished preprint [17, Theorem 6.5] and is not proved or verified in the present paper. Since Propositions 3.6 and 3.13, and hence Theorem 3.14 and Theorem 4.4, are all derived by feeding this formula into the spectral-shift machinery, any error or unstated condition in [17] would invalidate the central claims. The paper should either include a proof of (3.9), or state and verify all hypotheses of [17, Theorem 6.5] in the present setting, or explicitly present the results as conditional on that preprint.
  2. [Section 2, Hypothesis 2.16 and Theorem 2.20] Hypothesis 2.16 assumes m ≥ α n, but Proposition 2.11 and Corollary 2.10, on which Theorem 2.20 relies, require m ≥ α(n+1). Theorem 2.20 invokes Proposition 2.11 while only assuming the weaker inequality. This gap propagates to Propositions 3.6 and 3.13, where m=N, n=d-1 or d, and α>1; the required inequality then forces N to be at least of order d, whereas the example in Section 5 takes N=1 for all odd d≥3. Please reconcile the abstract hypotheses and adjust the example or the parameter choices accordingly.
  3. [Section 4, Proposition 4.1] The proof of Proposition 4.1 asserts that ∫_0^∞ (-t)^d e^{-tλ}ξ(λ)dλ equals ∫_0^∞ (-t)e^{-tλ}ξ^{(d-1)}(λ)dλ, but for d odd this integration by parts produces boundary terms involving ξ^{(j)}(0+) for 0≤j≤d-2. These boundary terms are not assumed to vanish and do not follow from the stated hypotheses. For example, with d=3 and η(μ)=μ^{-1/2} near 0, the functional equation gives ξ(λ) proportional to λ, so ξ'(0+)≠0 while ξ''=0; the two integrals then differ. Thus the semigroup limit formula (4.1) is not established. Please add and verify vanishing conditions on the lower derivatives of ξ at 0, or modify the statement.
  4. [Section 5, Theorem 5.3] The verification that the massless example satisfies Hypothesis 3.7 is delegated to [19, Lemma 2.5] with the comment 'almost ad verbatim', and the trace formula used in the example is again cited from [19, Theorem 3.5]. Since Hypothesis 3.7 is a long list of technical conditions and this example is the only evidence of non-vacuity, a direct verification or at least a detailed lemma with all required estimates should be provided. In particular, the parameter choice N=1 needs to be reconciled with the m ≥ α(n+1) condition from the abstract framework.
minor comments (4)
  1. [Section 5, equation before (5.26)] In the displayed formula for the integral over the simplex, the integration variable is written as d u but should be d s.
  2. [Section 5, Theorem 5.3] The phrase 'for α > 1 small enough such that N = 1' is confusing because the same symbol α is used in Hypothesis 3.2 and in Definition 2.6; in light of the parameter mismatch discussed above, this choice needs to be justified or revised.
  3. [Section 3, after Lemma 3.8] The reduction 'without loss of generality B ≡ 0 near 0' is plausible, but it should be spelled out explicitly that the spectral shift functions ξ and η are independent of the cut-off φ and that the operators D_B and D_{B_φ} give the same trace formula; otherwise the reader cannot follow the reduction.
  4. [Section 2, Lemma 2.14] The strong measurability argument in Lemma 2.14 is very terse; the convergence statements involving K_N and P_k would benefit from a few more details, especially where Lemma 2.19 is used.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the functional equation and index formula are derived from an external principal trace formula via independent spectral-shift representations.

full rationale

The derivation is not circular. The functional equation (3.63) is obtained by proving that the same principal trace formula (3.9) can be represented in two independent ways: the right-hand side by the spectral shift function eta (Proposition 3.6) and the left-hand side by the spectral shift function Xi (Proposition 3.13). Equating these representations, taking Laplace transforms and inverting, yields the functional equation as a theorem rather than an input. The index formula in Theorem 4.4 is then a consequence of the functional equation together with a Lebesgue-point condition on eta; the partial Witten index is defined in terms of xi, so (4.14) is derived, not assumed. The principal trace formula itself is imported from the author's earlier preprint [17] (restated as Theorem 3.4), but it is a parameter-free statement with stated assumptions (Hypothesis 3.2) that do not include the higher-order spectral shift functions or the functional equation, so it functions as an external benchmark rather than as a restatement of the target result. Similarly, the example relies on [19] for verification of the hypotheses and for the underlying trace formula, and Remark 5.4 explicitly acknowledges that the final Witten-index formula for the example was already in [19], with the new content being the explicit spectral shift functions. No fitted parameter is renamed as a prediction, and no uniqueness or ansatz is smuggled in via self-citation. The heavy reliance on the unpublished self-cited preprint [17] is a genuine correctness and verification risk, but it is not circularity under the rules applied here.

Assumptions & free parameters 0 free parameters · 4 assumptions · 1 invented entities

The central claim rests on the trace formula of the author's prior work and on technical Schatten-class hypotheses. No numerical parameters are fitted to data. The only new object that could be called an invented entity is the partial Witten index, whose justification is internal to the framework.

assumptions (4)
  • standard math Theorem 2.7, the norm estimate for multiple operator integrals from Potapov-Skripka-Sukochev [31], is taken as a black box.
    Used to construct higher-order spectral shift measures and functions; not re-proved in this paper.
  • domain assumption Principal trace formula from [17, Theorem 6.5] (Theorem 3.4 here) is assumed.
    It is the external benchmark that links the semigroup difference to the potential integral; all later results depend on it.
  • domain assumption Hypothesis 3.7, a strengthened version of Hypothesis 3.2, is assumed for the spectral shift function construction.
    It ensures weighted Schatten membership of the multiplication operators M_{i c grad A} and M_{i c grad_R A}; no general family is shown to satisfy it besides the Section 5 example.
  • standard math Stone-Weierstrass density and Laplace transform inversion are used to pass from equality of Laplace transforms to pointwise equality of spectral shift functions.
    Standard analytic arguments in Theorem 3.14.
invented entities (1)
  • partial Witten index indW D_B = -xi^{(d-1)}(0+)
    purpose: Regularized index for non-Fredholm Callias-type operators
    Introduced in Definition 4.2; has no external falsifiable handle, but Lemma 4.3 shows it agrees with the Fredholm index when D_B is Fredholm.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Higher order spectral shift of Euclidean Callias operators." pith.science (2026). https://pith.science/paper/64UWVLR2

@misc{pith2026250601647,
  author       = {Pith},
  title        = {Pith review of: Higher order spectral shift of Euclidean Callias operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/64UWVLR2}},
  note         = {Machine review of arXiv:2506.01647}
}
abstract

We consider Dirac-Schr\"odinger operators over odd-dimensional Euclidean space. The conditions for the potential are based on those of C. Callias in his famous paper on the corresponding index problem. However, we treat the case where the potential can take values in unbounded operators of a separable Hilbert space, and crucially, we also do not assume that the potential needs to be invertible outside a compact region. Hence, the Dirac-Schr\"odinger operator is not necessarily Fredholm. In the setup we discuss, it however still admits a related trace formula in terms of the underlying potential. In this paper we express the trace formula for these Callias-type operators in terms of higher order spectral shift functions, leading to a functional equation which generalizes a known functional equation found first by A. Pushnitski. To the knowledge of the author, this paper presents the first multi-dimensional non-Fredholm extension of the Callias index theorem involving higher order spectral shift functions. More precisely, we also show that under a Lebesgue point condition on the higher order spectral shift function associated to the potential, the Callias-type operator admits a regularized index, even in non-Fredholm settings. This corresponds to a known Witten index result in the one-dimensional case shown by A. Carey et al. The regularized index that we introduce is a minor extension of the classical Witten index, and we present an index formula, which generalizes the classical Callias index theorem. As an example, we treat the case of $(d+1)$-massless Dirac-Schr\"odinger operators, for which we calculate the associated higher order spectral shift functions.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [17]

    Trace and Index of Dirac-Schr\"odinger Operators on Open Space with Operator Potentials

    O. F¨ urst,Trace and Index of Dirac-Schr¨ odinger Operators on Open Space with Operator Potentials , available at arXiv:2311.02593, 2023

    work page Pith review arXiv 2023

  2. [19]

    , The Witten index of massless (d + 1)-Dirac-Schr¨ odinger operators, J. Geom. Phys. 209 (2025), 105413

    work page 2025

  3. [1]

    Anghel, L2-index formulae for perturbed Dirac operators , Commun

    N. Anghel, L2-index formulae for perturbed Dirac operators , Commun. Math. Phys. 128 (1990), no. 1, 77–97

    work page 1990

  4. [2]

    , On the index of Callias-type operators , Geom. Funct. Anal. 3 (1993), no. 5, 431–438

    work page 1993

  5. [3]

    Birman and M.Z

    M.S. Birman and M.Z. Solomyak, Double Stieltjes operator integrals, Prob- lems Math. Phys., Leningrad University 1 (1966), 33–67, English transl. in Topics Math. Phys. (1) (1967) 25–54, Consultants Bureau Plenum Pub- lishing Corporation, New York

    work page 1966

  6. [4]

    II , Problems Math

    , Double Stieltjes operator integrals. II , Problems Math. Phys., Leningrad University 2 (1967), 26–60, English transl. in Topics Math. Phys. (2) (1968) 19-46, Consultants Bureau Plenum Publishing Corpo- ration, New York

    work page 1967

  7. [5]

    III , Problems Math

    , Double Stieltjes operator integrals. III , Problems Math. Phys., Leningrad University 6 (1973), 27–53

    work page 1973

  8. [6]

    Boll´ e, F

    D. Boll´ e, F. Gesztesy, H. Grosse, W. Schweiger, and B. Simon, Witten In- dex, Axial Anomaly, and Krein ’s Spectral Shift Function in Supersymmetric Quantum Mechanics, J. Math. Phys. 28 (1987), no. 7, 1512–1525

    work page 1987

Show all 36 references
  1. [7]

    Bott and R

    R. Bott and R. Seeley, Some remarks on the paper of Callias: Axial anoma- lies and index theorems on open spaces , Comm. Math. Phys. 62 (1978), no. 3, 235–245

    1978

  2. [8]

    Braverman and P

    M. Braverman and P. Shi, Cobordism invariance of the index of Callias-type operators, Comm. Partial Differential Equations 41 (2016), no. 8, 1183– 1203

    2016

  3. [9]

    Br¨ uning and H

    J. Br¨ uning and H. Moscovici, L2-index for certain Dirac-Schr¨ odinger op- erators, Duke Math. J. 66 (1992), no. 2, 311–336

    1992

  4. [10]

    Bunke, A K-theoretic relative index theorem and Callias-type Dirac op- erators, Math

    U. Bunke, A K-theoretic relative index theorem and Callias-type Dirac op- erators, Math. Ann. 303 (1995), no. 1, 241–279

    1995

  5. [11]

    Callias, Axial anomalies and index theorems on open spaces , Commun

    C. Callias, Axial anomalies and index theorems on open spaces , Commun. Math. Phys. 62 (1978), 213–234

    1978

  6. [12]

    Carey, F

    A. Carey, F. Gesztesy, G. Levitina, R. Nichols, F. Sukochev, and D. Zanin, The Limiting Absorption Principle for Massless Dirac Operators, Proper- ties of Spectral Shift Functions, and an Application to the Witten Index of Non-Fredholm Operators, Mem. Eur. Math. Soc. 4 (2023)

    2023

  7. [13]

    Carey, F

    A. Carey, F. Gesztesy, D. Potapov, F. Sukochev, and Y. Tomilov, On the Witten index in terms of spectral shift functions , JAMA 132 (2017), 1–61

    2017

  8. [14]

    Carvalho and V

    C. Carvalho and V. Nistor, An index formula for perturbed Dirac operators on Lie manifolds , J. Geom. Anal. 24 (2014), 1808–1843

    2014

  9. [15]

    Cecchini, Callias-type operators in C ∗-algebras and positive scalar cur- vature on noncompact manifolds, J

    S. Cecchini, Callias-type operators in C ∗-algebras and positive scalar cur- vature on noncompact manifolds, J. Topol. Anal. 12 (2020), no. 4, 897–939. 43

    2020

  10. [16]

    van den Dungen, The index of generalised Dirac-Schr¨ odinger operators, J

    K. van den Dungen, The index of generalised Dirac-Schr¨ odinger operators, J. Spectr. Theory 9 (2019), 1459–1506

    2019

  11. [18]

    , Trace class properties of resolvents of Callias operators , J. Spectr. Theory 13 (2023), 525–553

    2023

  12. [20]

    Gesztesy, Y

    F. Gesztesy, Y. Latushkin, K. Makarov, F. Sukochev, and Y. Tomilov, The Index Formula and the Spectral Shift Function for Relatively Trace Class Perturbations, Adv. Math. 227 (2011), 319–420

    2011

  13. [21]

    Gesztesy, Y

    F. Gesztesy, Y. Latushkin, F. Sukochev, and Y. Tomilov, Some Operator Bounds Employing Complex Interpolation Revisited , Operator Semigroups Meet Complex Analysis, Harmonic Analysis and Mathematical Physics. Operator Theory: Advances and Applications 250 (2015), 213–239

    2015

  14. [22]

    Gesztesy and B

    F. Gesztesy and B. Simon, Topological invariance of the Witten index , J. Func. Anal. 79 (1988), 91–103

    1988

  15. [23]

    Gesztesy and M

    F. Gesztesy and M. Waurick, The Callias index formula revisited , Lecture Notes in Mathematics, vol. 2157, Springer International Publishing, 2016

    2016

  16. [24]

    Kato, Perturbation theory for linear operators , Springer, Berlin, 1980

    T. Kato, Perturbation theory for linear operators , Springer, Berlin, 1980

    1980

  17. [25]

    Koplienko, Trace formula for perturbations of nonnuclear type , Sib

    L.S. Koplienko, Trace formula for perturbations of nonnuclear type , Sib. Mat. Zh. 25 (1984), 62–71, English transl. in Siberian Math. J. 25 (1984), 735–743

    1984

  18. [26]

    Kottke, A Callias-type index theorem with degenerate potentials, Comm

    C. Kottke, A Callias-type index theorem with degenerate potentials, Comm. Partial Differential Equations 40 (2015), no. 2, 219–264

    2015

  19. [27]

    Kucerovsky, A short proof of an index theorem , Proc

    D. Kucerovsky, A short proof of an index theorem , Proc. Amer. Math. Soc. 129 (2001), no. 12, 3729–3736

    2001

  20. [28]

    T. D. H. van Nuland and A. Skripka, Spectral shift for relative Schatten class perturbations, J. Spectr. Theory 12 (2022), no. 4, 1347–1382

    2022

  21. [29]

    Peller, Multiple operator integrals and higher operator derivatives , J

    V.V. Peller, Multiple operator integrals and higher operator derivatives , J. Func. Anal. 233 (2006), no. 2, 515–544

    2006

  22. [30]

    , Multiple operator integrals in perturbation theory, Bull. Math. Sci. 6 (2016), 15–88

    2016

  23. [31]

    Potapov, A

    D. Potapov, A. Skripka, and F. Sukochev, Spectral shift function of higher order, Invent. Math. 193 (2013), 501–538

    2013

  24. [32]

    Pushnitski, The spectral flow, the Fredholm index, and the spectral shift function, Spectral Theory of Differential Operators: M

    A. Pushnitski, The spectral flow, the Fredholm index, and the spectral shift function, Spectral Theory of Differential Operators: M. Sh. Birman 80th Anniversary Collection. in: American Mathematical Society Translations (2008), 141–155. 44

    2008

  25. [33]

    R ˚ ade,Callias’ index theorem, elliptic boundary conditions, and cutting and gluing , Commun

    J. R ˚ ade,Callias’ index theorem, elliptic boundary conditions, and cutting and gluing , Commun. Math. Phys. 161 (1994), no. 1, 51–61

    1994

  26. [34]

    Schulz-Baldes and T

    H. Schulz-Baldes and T. Stoiber, Callias-type operators associated to spec- tral triples, J. Noncommut. Geom. 17 (2023), 527–572

    2023

  27. [35]

    Shi, The index of Callias-type operators with Atiyah-Patodi-Singer boundary conditions, Ann

    P. Shi, The index of Callias-type operators with Atiyah-Patodi-Singer boundary conditions, Ann. Glob. Anal. Geom. 52 (2017), 465–482

    2017

  28. [36]

    G. N. Watson, A treatise on the theory of Bessel functions , Cambridge Univ. Press, 1952. Oliver F¨ urst B ofuerst@math.uni-bonn.de Mathematisches Institut Universit¨ at Bonn Endenicher Allee 60 53115 Bonn Germany 45

    1952

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.