pith. sign in

arxiv: 2412.20825 · v3 · pith:6L7R6AX2new · submitted 2024-12-30 · 🧮 math.SP

The calculus of Duistermaat's triple index

Gregory Berkolaiko , Graham Cox , Yuri Latushkin , Selim Sukhtaiev This is my paper

Pith reviewed 2026-05-25 08:52 UTC · model grok-4.3

classification 🧮 math.SP
keywords Duistermaat indexLagrangian subspacessymplectic geometryMaslov indexMorse indexquantum graphseigenvalue interlacing
0
0 comments X

The pith

The Duistermaat index for triples of Lagrangian subspaces admits an axiomatic characterization that enables elementary proofs of its properties and relations to the Maslov index.

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

This paper provides an axiomatic characterization of the Duistermaat index, a symplectic invariant associated to triples of Lagrangian subspaces. The characterization replaces the original definition and allows elementary derivations of the index's fundamental properties. It also establishes connections to the Hörmander-Kashiwara-Wall index and the Maslov index. As a consequence, the approach produces a formula expressing the Morse index of the difference of two Hermitian matrices in terms of these indices.

Core claim

By introducing axioms that define the Duistermaat index, the authors derive all its standard properties through elementary arguments rather than direct computation from the original definition. This framework also identifies the index with other symplectic quantities and yields an explicit relation between the Duistermaat index and the Morse index for differences of Hermitian matrices.

What carries the argument

An axiomatic characterization of the Duistermaat triple index for Lagrangian subspaces, used to prove properties and relations elementarily.

If this is right

  • The fundamental properties of the Duistermaat index follow from the axioms via elementary arguments.
  • The index is related to the Hörmander-Kashiwara-Wall index and the Maslov index.
  • A formula is obtained for the Morse index of the difference of two Hermitian matrices.
  • Applications arise in eigenvalue interlacing problems for quantum graphs and self-adjoint extensions of symmetric operators.

Where Pith is reading between the lines

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

  • This characterization may simplify calculations involving the index in spectral theory contexts.
  • Similar axiomatic approaches could be applied to other symplectic invariants.
  • The formula for Morse indices might lead to new insights in linear algebra and matrix theory.

Load-bearing premise

The Duistermaat index can be uniquely characterized by a set of axioms that are independent of its original definition but sufficient to recover all its properties.

What would settle it

A counterexample where the axiomatic version differs from the original Duistermaat index in some computed value or property, or where an elementary proof fails to match known results from the original definition.

Figures

Figures reproduced from arXiv: 2412.20825 by Graham Cox, Gregory Berkolaiko, Selim Sukhtaiev, Yuri Latushkin.

Figure 1
Figure 1. Figure 1: Possible transversal configurations of three Lagrangian planes (il￾lustrated in R 2 ) and the corresponding values of the Duistermaat index, see Theorem 1.5. The directed dashed arcs indicate the non-decreasing paths from A to B, realizing the minimum in (1.15). Acknowledgements. This material is based upon work (G.B.) supported by a grant from the Institute for Advanced Study (IAS), School of Mathematics.… view at source ↗
read the original abstract

In this paper we develop a systematic calculus for the Duistermaat index, a symplectic invariant defined for triples of Lagrangian subspaces. Introduced nearly half a century ago, this index has lately been the subject of renewed attention, due to its central role in eigenvalue interlacing problems on quantum graphs (and more abstractly for self-adjoint extensions of symmetric operators). Here we give an axiomatic characterization of the index that leads to elementary proofs of its fundamental properties. We also relate the index to other quantities often appearing in symplectic geometry, such as the H\"ormander--Kashiwara--Wall index and the Maslov index. Among other things, this leads to a curious formula for the Morse index of a difference of Hermitian matrices.

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

0 major / 2 minor

Summary. The paper develops a systematic calculus for the Duistermaat index, a symplectic invariant for triples of Lagrangian subspaces. It provides an axiomatic characterization that yields elementary proofs of fundamental properties, relates the index to the Hörmander--Kashiwara--Wall index and the Maslov index, and derives a formula for the Morse index of a difference of Hermitian matrices.

Significance. If the axiomatic characterization is distinct from the original definition and sufficient to derive all claimed properties without circularity, the work offers a streamlined approach to index calculations in symplectic geometry. This is particularly relevant for applications to eigenvalue interlacing on quantum graphs and self-adjoint extensions. The elementary proofs and explicit relations to standard indices, along with the Morse index formula, represent concrete strengths.

minor comments (2)
  1. [Introduction] Introduction: explicitly state the list of axioms and demonstrate in one paragraph how they differ from Duistermaat's original definition to confirm the characterization is non-circular.
  2. [§3] §3 or wherever the main relations are proved: verify that the derivation of the Hörmander--Kashiwara--Wall relation uses only the stated axioms and does not implicitly invoke the original index definition.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, assessment of significance, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

Axiomatic characterization is independent; no reduction to inputs by construction

full rationale

The paper's central claim is an axiomatic characterization of the Duistermaat triple index that is explicitly distinct from its original definition and is used to derive properties and relations (to Hörmander–Kashiwara–Wall and Maslov indices) via elementary arguments. This is the standard non-circular route for index theory: axioms are stated, then theorems are proved from them without the axioms being fitted to or defined in terms of the target results. No equations, self-citations, or ansatzes are shown to collapse the derivation back to the inputs. The resulting Morse-index formula is presented as a consequence, not a tautology. The zero-parameter-count setting makes the axiomatic approach self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only; no specific free parameters, axioms, or invented entities are detailed in the provided text.

pith-pipeline@v0.9.0 · 5652 in / 1140 out tokens · 48001 ms · 2026-05-25T08:52:18.614809+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

24 extracted references · 24 canonical work pages

  1. [1]

    Agrachev and R

    A. Agrachev and R. Gamkrelidze , Symplectic methods for optimization and control , in Geometry of feedback and optimal control, vol. 207 of Monogr. Textbooks Pure Appl. Math., Dekker, New York, 1998, pp. 19--77

    work page 1998

  2. [2]

    V. L. Barutello, D. Offin, A. Portaluri, and L. Wu , Sturm theory with applications in geometry and classical mechanics , Math. Z., 299 (2021), pp. 257--297

    work page 2021

  3. [3]

    Behrndt, S

    J. Behrndt, S. Hassi, and H. de Snoo , Boundary value problems, W eyl functions, and differential operators , vol. 108 of Monographs in Mathematics, Birkh\" a user/Springer, Cham, 2020

    work page 2020

  4. [4]

    Berkolaiko, Y

    G. Berkolaiko, Y. Canzani, G. Cox, and J. L. Marzuola , A local test for global extrema in the dispersion relation of a periodic graph , Pure Appl. Anal., 4 (2022), pp. 257--286

    work page 2022

  5. [5]

    Berkolaiko, G

    G. Berkolaiko, G. Cox, Y. Latushkin, and S. Sukhtaiev , The D uistermaat index and eigenvalue interlacing for self-adjoint extensions of a symmetric operator . accepted to Journal of Spectral Theory , preprint arXiv:2311.06701 , 2023

    work page arXiv 2023

  6. [6]

    Berkolaiko, J

    G. Berkolaiko, J. B. Kennedy, P. Kurasov, and D. Mugnolo , Surgery principles for the spectral analysis of quantum graphs , Trans. Amer. Math. Soc., 372 (2019), pp. 5153--5197

    work page 2019

  7. [7]

    Booss-Bavnbek and K

    B. Booss-Bavnbek and K. Furutani , The M aslov index: a functional analytical definition and the spectral flow formula , Tokyo J. Math., 21 (1998), pp. 1--34

    work page 1998

  8. [8]

    Booss-Bavnbek and C

    B. Booss-Bavnbek and C. Zhu , The M aslov index in symplectic B anach spaces , Mem. Amer. Math. Soc., 252 (2018), pp. x+118

    work page 2018

  9. [9]

    S. E. Cappell, R. Lee, and E. Y. Miller , On the M aslov index , Comm. Pure Appl. Math., 47 (1994), pp. 121--186

    work page 1994

  10. [10]

    J. J. Duistermaat , On the M orse index in variational calculus , Advances in Math., 21 (1976), pp. 173--195

    work page 1976

  11. [11]

    Elyseeva, P

    J. Elyseeva, P. S epitka, and R. S imon Hilscher , Comparative index and H \"ormander index in finite dimension and their connections , Filomat, 37 (2023), pp. 5243--5257

    work page 2023

  12. [12]

    Furutani , Fredholm- L agrangian- G rassmannian and the M aslov index , J

    K. Furutani , Fredholm- L agrangian- G rassmannian and the M aslov index , J. Geom. Phys., 51 (2004), pp. 269--331

    work page 2004

  13. [13]

    Hatcher , Algebraic topology , Cambridge University Press, Cambridge, 2002

    A. Hatcher , Algebraic topology , Cambridge University Press, Cambridge, 2002

    work page 2002

  14. [14]

    E. V. Haynsworth , Determination of the inertia of a partitioned H ermitian matrix , Linear Algebra and Appl., 1 (1968), pp. 73--81

    work page 1968

  15. [15]

    H\" o rmander , Fourier integral operators

    L. H\" o rmander , Fourier integral operators. I , Acta Math., 127 (1971), pp. 79--183

    work page 1971

  16. [16]

    Howard , H\" o rmander's index and oscillation theory , J

    P. Howard , H\" o rmander's index and oscillation theory , J. Math. Anal. Appl., 500 (2021), pp. Paper No. 125076, 38

    work page 2021

  17. [17]

    Lion and M

    G. Lion and M. Vergne , The W eil representation, M aslov index and theta series , vol. 6 of Progress in Mathematics, Birkh\" a user, Boston, Mass., 1980

    work page 1980

  18. [18]

    P. Liu, D. Zhang, and Z. Zhao , Minimal P -symmetric periodic solutions in semi-positive definite H amiltonian systems , Discrete Contin. Dyn. Syst., 44 (2024), pp. 2327--2341

    work page 2024

  19. [19]

    J. H. Maddocks , Restricted quadratic forms, inertia theorems, and the S chur complement , Linear Algebra Appl., 108 (1988), pp. 1--36

    work page 1988

  20. [20]

    Meinrenken , Symplectic geometry

    E. Meinrenken , Symplectic geometry . Lecture Notes, University of Toronto, 2000

    work page 2000

  21. [21]

    Robbin and D

    J. Robbin and D. Salamon , The M aslov index for paths , Topology, 32 (1993), pp. 827--844

    work page 1993

  22. [22]

    Schm\" u dgen , Unbounded self-adjoint operators on H ilbert space , vol

    K. Schm\" u dgen , Unbounded self-adjoint operators on H ilbert space , vol. 265 of Graduate Texts in Mathematics, Springer, Dordrecht, 2012

    work page 2012

  23. [23]

    C. T. C. Wall , Non-additivity of the signature , Invent. Math., 7 (1969), pp. 269--274

    work page 1969

  24. [24]

    Y. Zhou, L. Wu, and C. Zhu , H\" o rmander index in finite-dimensional case , Front. Math. China, 13 (2018), pp. 725--761

    work page 2018