pith. machine review for the scientific record. sign in

arxiv: 2604.22451 · v1 · submitted 2026-04-24 · 🧮 math.FA · math.KT

Recognition: unknown

Analytic spectral flow formula for unitaries and Levinson's theorem

A. Alexander , A. Carey , G. Levitina , A. Rennie
Authors on Pith no claims yet

Pith reviewed 2026-05-08 09:22 UTC · model grok-4.3

classification 🧮 math.FA math.KT
keywords spectral flowregularised winding numberLevinson's theoremSchrödinger scatteringbound statesSchatten classCayley transformdifferential forms
0
0 comments X

The pith

The spectral flow of differentiable loops of unitaries of the form Id plus a Schatten-class operator equals a regularized winding number given by an integral of exact differential forms.

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

The paper derives an explicit integral formula for the spectral flow along paths of unitaries that differ from the identity by a Schatten-class operator. This formula recasts the flow as a regularized winding number using differential forms and extends naturally to open paths. When applied to the scattering operator in Schrödinger systems, it produces concrete expressions for the number of bound states in terms of the potential, accounting for possible resonances. The approach also handles transformed paths of unbounded operators with variable domains or Hilbert spaces via the Cayley transform.

Core claim

We prove an integral formula for the spectral flow of differentiable loops of unitaries of the form Id+Schatten. Our formula is in terms of a regularised winding number, expressed in terms of exact differential forms, and we show how the formula extends to non-closed paths. Applying these ideas to the scattering operator of Schrödinger scattering systems yields explicit formulae for the number of bound states, possibly modified by the presence of resonances, of the system in terms of the potential. We finish by briefly considering the paths of unbounded operators obtained from unitary loops via the Cayley transform. These include cases of moving domain as well as paths with non-constant 2Hil

What carries the argument

The regularised winding number expressed via exact differential forms, which computes the spectral flow for Id + Schatten unitaries.

If this is right

  • Explicit formulae for the number of bound states in Schrödinger scattering systems follow directly from applying the spectral flow formula to the scattering operator.
  • Spectral flow is defined and computed by the same integral for non-closed paths of such unitaries.
  • The analytic properties transfer via the Cayley transform to paths of unbounded operators, including those with moving domains or non-constant Hilbert spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • For specific potentials the regularized winding number might be evaluated in closed form to produce new instances of Levinson's theorem.
  • The differential-form expression could connect to other index-theoretic computations in operator algebras if similar regularizations are available.
  • Similar integral formulae might apply to scattering problems in other quantum systems once the scattering operator is shown to lie in the required class.

Load-bearing premise

The loops consist of unitaries differing from the identity by a Schatten-class operator and are differentiable in an appropriate sense.

What would settle it

A concrete differentiable loop of unitaries of the form Id plus Schatten-class operator for which an independent calculation of the spectral flow, such as by direct eigenvalue crossing count, disagrees with the value of the integral formula.

read the original abstract

We prove an integral formula for the spectral flow of differentiable loops of unitaries of the form ${\rm Id}+$Schatten. Our formula is in terms of a regularised winding number, expressed in terms of exact differential forms, and we show how the formula extends to non-closed paths. Applying these ideas to the scattering operator of Schr\"{o}dinger scattering systems yields explicit formulae for the number of bound states, possibly modified by the presence of resonances, of the system in terms of the potential. We finish by briefly considering the paths of unbounded operators obtained from unitary loops via the Cayley transform. These include cases of moving domain as well as paths with non-constant Hilbert space.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper proves an integral formula for the spectral flow of differentiable loops of unitaries of the form Id + Schatten-class operator, expressed as a regularized winding number in terms of exact differential forms on the space of such unitaries. It extends the formula to non-closed paths and applies the result to the scattering operator of Schrödinger systems (assuming membership in Id + Schatten) to obtain explicit formulae for the number of bound states, modified by resonances, in terms of the potential. The manuscript concludes with a brief treatment of paths of unbounded operators obtained via the Cayley transform, including cases with moving domains and non-constant Hilbert spaces.

Significance. If the derivation holds, the result supplies an analytic expression for spectral flow in infinite-dimensional settings that is directly applicable to scattering theory and Levinson-type theorems. The use of exact differential forms and regularization provides a concrete way to handle convergence for Schatten perturbations, while the explicit formulae for bound states (accounting for resonances) and the Cayley-transform extension to variable domains are concrete strengths that could enable new computations in quantum-mechanical systems where standard index theorems encounter domain issues.

major comments (1)
  1. The regularization of the winding number via exact forms is central to the integral formula, yet the manuscript does not supply explicit error bounds or convergence rates for the approximation when the loop is merely differentiable in the Schatten topology (as opposed to smoother). This leaves open whether the integral converges absolutely for all admissible loops, which is load-bearing for the claim that the formula applies directly to scattering operators.
minor comments (2)
  1. Notation for the Schatten class (e.g., whether p=1 or general p) is used without a uniform definition in the opening paragraphs; a single sentence fixing the index would improve readability.
  2. The brief Cayley-transform section would benefit from one additional sentence clarifying how the variable-domain issue is encoded in the differential forms, even if only heuristically.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading, positive assessment of the significance, and recommendation for minor revision. We address the single major comment below.

read point-by-point responses

  1. Referee: The regularization of the winding number via exact forms is central to the integral formula, yet the manuscript does not supply explicit error bounds or convergence rates for the approximation when the loop is merely differentiable in the Schatten topology (as opposed to smoother). This leaves open whether the integral converges absolutely for all admissible loops, which is load-bearing for the claim that the formula applies directly to scattering operators.

    Authors: We appreciate the referee highlighting this aspect of the presentation. The manuscript defines the regularized winding number for differentiable loops in the Schatten topology by pulling back exact differential forms on the space of unitaries; exactness ensures the resulting 1-form is closed, so the integral over a loop is well-defined and independent of regularization parameter once the Schatten-class perturbation guarantees that the form is continuous (hence integrable) along the path. Differentiability in the Schatten norm directly implies that the derivative term is bounded in the appropriate operator norm, yielding absolute convergence of the integral without requiring higher smoothness. In the scattering application, the potential assumptions already place the scattering operator in a smoother class than mere differentiability, so the formula applies as stated. We will add a clarifying remark immediately after the main theorem (in the section on the integral formula) to make this convergence explicit and note that the Schatten condition suffices. This is a partial revision, as we do not supply quantitative error rates for approximating sequences, which would demand further estimates outside the paper's scope. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The manuscript derives an integral formula for spectral flow of differentiable loops of unitaries Id + K with K Schatten-class, expressed via regularised winding number and exact differential forms. This is a direct mathematical construction relying on the Schatten topology for differentiability and convergence of the forms; the extension to non-closed paths and application to scattering operators (assuming class membership) follows by substitution into the established formula without redefinition or fitting. No load-bearing step reduces to a self-citation chain, ansatz smuggled via prior work, or input renamed as prediction; the result is proved from the given assumptions in functional analysis and is externally verifiable against known spectral flow properties.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review yields no identifiable free parameters, axioms, or invented entities; the central claim rests on standard functional-analytic assumptions about Schatten classes and differentiability.

pith-pipeline@v0.9.0 · 5416 in / 1085 out tokens · 50623 ms · 2026-05-08T09:22:07.853107+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

56 extracted references

  1. [1]

    Agmon.Spectral properties of Schr¨ odinger operators and scattering theory, Accademia Nazionale dei Lincei; Scuola Normale Superiore di Pisa, Pisa, 1975

    S. Agmon.Spectral properties of Schr¨ odinger operators and scattering theory, Accademia Nazionale dei Lincei; Scuola Normale Superiore di Pisa, Pisa, 1975

    1975

  2. [2]

    Alexander.Trace formula and Levinson’s theorem in the presence of resonances, Rev

    A. Alexander.Trace formula and Levinson’s theorem in the presence of resonances, Rev. Math. Phys.,37(4), Article ID 2450036, 2025

    2025

  3. [3]

    Alexander, D

    A. Alexander, D. T. Nguyen, A. Rennie, S. Richard.Levinson’s theorem for two- dimensional scattering systems: it was a surprise, it is now topological!, J. Spec. Th., 14(2024), 991–1031

    2024

  4. [4]

    Alexander, A

    A. Alexander, A. Rennie.Levinson’s theorem as an index pairing, J. Funct. Anal.,286 (5), 2024

    2024

  5. [5]

    Alexander, A

    A. Alexander, A. Rennie.The structure of the wave operator in four dimensions in the presence of resonances, Lett. Math. Phys.,114(2024), 122

    2024

  6. [6]

    M. F. Atiyah, V. K. Patodi, I. M. Singer.Spectral asymmetry and Riemannian geometry. I, Math. Proc. Cambridge Philos. Soc.,77, 45–69 (1975)

    1975

  7. [7]

    M. F. Atiyah, V. K. Patodi, I. M. Singer.Spectral asymmetry and Riemannian geometry. III, Math. Proc. Cambridge Philos. Soc.,79, 71–99 (1976)

    1976

  8. [8]

    Azamov, T

    N. Azamov, T. Daniels, Y. Tanaka,A topological approach to unitary spectral flow via continuous enumeration of eigenvalues, J. Funct. Anal.281(2021) 109152

    2021

  9. [9]

    M. T. Benameur, A. Carey, J. Phillips, A. Rennie, F. Sukochev, K. Wojciechowski.An analytic approach to spectral flow in von Neumann algebras, in ‘Analysis, geometry and topology of elliptic operators’, 297–352. World Sci. Publ. (2006)

    2006

  10. [10]

    Boll´ e, F

    D. Boll´ e, F. Gesztesy, C. Danneels, S. F. J. Wilk,Threshold behaviour and Levinson’s theorem for two-dimensional scattering systems: a surprise, Phys. Rev. Lett.56, 1986, 900–903

    1986

  11. [11]

    Boll´ e, F

    D. Boll´ e, F. Gesztesy, S. F. J. Wilk.A complete treatment of low-energy scattering in one dimensions, J. Operator Theory, 1985

    1985

  12. [12]

    Boll´ e, C

    D. Boll´ e, C. Danneels, F. Gesztesy.Threshold scattering in two dimensions, Ann. Inst. Henri Poincar´ e Phys. Th´ eor.,48(2), 1988

    1988

  13. [13]

    Boll´ e, T

    D. Boll´ e, T. A. Osborn.An extended Levinson’s theorem, J. Mathematical Phys.,18 (3), 1977, 432–440

    1977

  14. [14]

    Booß-Bavnbek, K

    B. Booß-Bavnbek, K. P. Wojciechowski,Elliptic boundary problems for Dirac operators, Birkh¨ auser, Boston 1993

    1993

  15. [15]

    Booß-Bavnbek, K

    B. Booß-Bavnbek, K. Furutani,The Maslov Index: a Functional Analytical Definition and the Spectral Flow Formula, Tokyo J. Math.,21(1), 1998

    1998

  16. [16]

    Booß-Bavnbek, M

    B. Booß-Bavnbek, M. Lesch, J. Phillips,Unbounded Fredholm operators and spectral flow, Canad. J. Math.,57(2), 2005, 225–250. 35

    2005

  17. [17]

    Bourne, J

    C. Bourne, J. Kellendonk, A. Rennie,The Cayley transform in complex, real and graded K-theory, Int. J. Math. (2020) 2050074

    2020

  18. [18]

    Carey, V

    A. Carey, V. Gayral, A. Rennie, F. Sukochev,Index theory for locally compact noncom- mutative spaces, Mem. Amer. Math. Soc.,231(1085), 2014

    2014

  19. [19]

    Carey, J

    A. Carey, J. Phillips.Unbounded Fredholm modules and spectral flow, Canad. J. Math. 50(4), 673–718 (1998)

    1998

  20. [20]

    Carey, J

    A. Carey, J. Phillips, A. Rennie, F. Sukochev.The local index formula in semifinite von Neumann algebras I: Spectral flow, Adv. Math.,202(2), 2006, 451–516

    2006

  21. [21]

    Carey, D

    A. Carey, D. Potapov, F. Sukochev,Spectral flow is the integral of one forms on the Banach manifold of self adjoint Fredholm operators, Adv. Math.,222(5), 2009, 1809– 1849

    2009

  22. [22]

    de la Harpe,Classical Banach-Lie groups and Banach-Lie algebras of operators in Hilbert space, PhD Thesis, University of Warwick, 1972

    P. de la Harpe,Classical Banach-Lie groups and Banach-Lie algebras of operators in Hilbert space, PhD Thesis, University of Warwick, 1972

    1972

  23. [23]

    N. Doll, H. Schulz-Baldes, N. Waterstraat,Spectral flow: A functional analytic and index-theoretic approach, de Gruyter Studies in Matthematics, Vol 94, 2023

    2023

  24. [24]

    Dyatlov, M

    S. Dyatlov, M. Zworski.Mathematical theory of scattering resonances, volume 200 of Graduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2019

    2019

  25. [25]

    Getzler,The odd Chern character in cyclic homology and spectral flow,Topology32 (3) (1993) 489–507

    E. Getzler,The odd Chern character in cyclic homology and spectral flow,Topology32 (3) (1993) 489–507

    1993

  26. [26]

    Gohberg, S

    I. Gohberg, S. Goldberg, N. Krupnik,Traces and Determinants of Linear Operators, Birkh¨ auser Verlag, 2000

    2000

  27. [27]

    Guillop´ e.Une formule de trace pour l’op´ erateur de Schr¨ odinger, PhD Thesis, Uni- versit´ e Joseph Fourier Grenoble, 1981

    L. Guillop´ e.Une formule de trace pour l’op´ erateur de Schr¨ odinger, PhD Thesis, Uni- versit´ e Joseph Fourier Grenoble, 1981

    1981

  28. [28]

    Jensen, T

    A. Jensen, T. Kato.Spectral properties of Schr¨ odinger operators and time-decay of the wave functions, Duke Math. J.,46(3), 1979, 583–611

    1979

  29. [29]

    Jensen.Spectral properties of Schr¨ odinger operators and time-decay of the wave func- tions results inL 2(Rm),m≥5, Duke Math

    A. Jensen.Spectral properties of Schr¨ odinger operators and time-decay of the wave func- tions results inL 2(Rm),m≥5, Duke Math. J.,47(1), 1980, 57–80

    1980

  30. [30]

    Kaad and M

    J. Kaad and M. Lesch,A local global principle for regular operators in HilbertC ∗- modules, J. Funct. Anal.,262(10) (2012), 4540-4569

    2012

  31. [31]

    Kaad and M

    J. Kaad and M. Lesch.Spectral flow and the unbounded Kasparov product, Adv. Math. 248(2013), 495–530

    2013

  32. [32]

    G. G. Kasparov,HilbertC ∗-modules: theorems of Stinespring and Voiculescu, J. Oper- ator Theory,4(1980), 133–150

    1980

  33. [33]

    Kellendonk, S

    J. Kellendonk, S. Richard.On the structure of the wave operators in one dimensional potential scattering, Math. Phys. Electron. J.,14, 1-21, 2008. 36

    2008

  34. [34]

    Kellendonk, S

    J. Kellendonk, S. Richard.On the wave operators and Levinson’s theorem for potential scattering inR 3, Asian-Eur. J. Math.,5(1), 2012

    2012

  35. [35]

    P. Kirk, M. Lesch,Theη-invariant, Maslov index, and spectral flow for Dirac-type operators on manifolds with boundary, Forum Math.,16(4), 2004, 553–629

    2004

  36. [36]

    Klaus, B

    M. Klaus, B. Simon.Coupling constant thresholds in nonrelativistic quantum mechanics. I. Short-range two-body case, Ann. Physics,130(2), 1980, 251–281

    1980

  37. [37]

    E. C. Lance,HilbertC ∗-modules. A toolkit for operator algebraists. London Mathemat- ical Society Lecture Note Series, 210. Cambridge University Press, Cambridge 1995. x+130 pp

    1995

  38. [38]

    M. Lesch,The uniqueness of the spectral flow on spaces of unbounded self-adjoint Fred- holm operators, in Spectral geometry of manifolds with boundary and decomposition of manifolds, Contemp. Math.,366, Amer. Math. Soc., Providence, RI, 2005, 193–224

    2005

  39. [39]

    Levinson.On the uniqueness of the potential in a Schr¨ odinger equation for a given asymptotic phase, Danske Vid

    N. Levinson.On the uniqueness of the potential in a Schr¨ odinger equation for a given asymptotic phase, Danske Vid. Selsk. Mat.-Fys. Medd.,25(9), 1949

    1949

  40. [40]

    Mesland, A

    B. Mesland, A. Rennie,Friedrichs angle and alternating projections in HilbertC ∗- modules, J. Math. Anal. App.,516(2022), 126474, 19pp

    2022

  41. [41]

    K.,C ∗-algebras and their automorphism groups, London Mathematical Society Monographs, 14

    Pedersen, G. K.,C ∗-algebras and their automorphism groups, London Mathematical Society Monographs, 14. Academic Press, Inc., 1979, ix + 416 pp

    1979

  42. [42]

    Phillips,Self-adjoint Fredholm operators and spectral flow, Canad

    J. Phillips,Self-adjoint Fredholm operators and spectral flow, Canad. Math. Bull.,39 (4), 1996, 460–467

    1996

  43. [43]

    Phillips.Spectral flow in type I and II factors — a new approach, in ‘Cyclic cohomol- ogy and noncommutative geometry’, Fields Inst

    J. Phillips.Spectral flow in type I and II factors — a new approach, in ‘Cyclic cohomol- ogy and noncommutative geometry’, Fields Inst. Commun.,17, 137–153 (1997)

    1997

  44. [44]

    Pierrot,Op´ erateurs r´ eguliers dans lesC ∗-modules et structure desC ∗-alg´ ebres de groupes de Lie semisimples complexes simplement connexes, J

    F. Pierrot,Op´ erateurs r´ eguliers dans lesC ∗-modules et structure desC ∗-alg´ ebres de groupes de Lie semisimples complexes simplement connexes, J. Lie theory,16(2006), 651–689

    2006

  45. [45]

    Pushnitski,The spectral shift function and the invariance principle, J

    A. Pushnitski,The spectral shift function and the invariance principle, J. Funct. Anal., 183, 2001, 269–320

    2001

  46. [46]

    Raeburn and D

    I. Raeburn and D. Williams,Morita equivalence and continuous-traceC ∗-algebras, Mathematical Surveys and Monographs, 60. American Mathematical Society, Provi- dence, RI, 1998. xiv+327 pp. ISBN: 0–8218–0860–5

    1998

  47. [47]

    M. Reed, B. Simon,Methods of Modern Mathematical Physics I: Functional Analysis. Academic Press Inc., 1972

    1972

  48. [48]

    Richard, R

    S. Richard, R. Tiedra de Aldecoa, L. Zhang.Scattering operator and wave operators for 2D Schr¨ odinger operators with threshold obstructions, Complex Anal. Oper. Theory,15 (6) 2021

    2021

  49. [49]

    Sakai,On cut loci of compact symmetric spaces, Hokkaido Math

    T. Sakai,On cut loci of compact symmetric spaces, Hokkaido Math. J.6(1977), 136– 161. 37

    1977

  50. [50]

    Simon,Notes on infinite determinants of Hilbert space operators, Adv

    B. Simon,Notes on infinite determinants of Hilbert space operators, Adv. Math.,24 (1977), 244–273

    1977

  51. [51]

    Simon,Trace ideals and their applications, AMS, 2nd edition, 2005

    B. Simon,Trace ideals and their applications, AMS, 2nd edition, 2005

    2005

  52. [52]

    Wahl C.On the noncommutative spectral flow

    C. Wahl C.On the noncommutative spectral flow. J. Ramanujan Math. Soc.,22(2007), 135–187

    2007

  53. [53]

    Wahl,Noncommutative Maslov index and eta-forms, Mems

    C. Wahl,Noncommutative Maslov index and eta-forms, Mems. Am. Math. Soc,189 (2007)

    2007

  54. [54]

    Wahl.A new topology on the space of unbounded selfadjoint operators,K-theory and spectral flow

    C. Wahl.A new topology on the space of unbounded selfadjoint operators,K-theory and spectral flow. InC ∗-algebras and elliptic theory II, 297–309, Trends Math., Birkh¨ auser, Basel (2008)

    2008

  55. [55]

    Wahl,Homological index formulas for elliptic operators overC ∗-algebras, New York J

    C. Wahl,Homological index formulas for elliptic operators overC ∗-algebras, New York J. Math.,15, 319–351 (2009)

    2009

  56. [56]

    D. R. Yafaev.Mathematical scattering theory: Analytic theory,158, Mathematical sur- veys and monographs, American Mathematical Society, 2010. 38

    2010