## First order approach and index theorems for discrete and metric graphs (2009)

Venue: | Ann. Henri Poincaré |

Citations: | 2 - 0 self |

### BibTeX

@ARTICLE{Post09firstorder,

author = {Olaf Post},

title = {First order approach and index theorems for discrete and metric graphs},

journal = {Ann. Henri Poincaré},

year = {2009},

pages = {866}

}

### OpenURL

### Abstract

Abstract. The aim of the present paper is to introduce the notion of first order (supersymmetric) Dirac operators on discrete and metric (“quantum”) graphs. In order to cover all self-adjoint boundary conditions for the associated metric graph Laplacian, we develop systematically a new type of discrete graph operators acting on a decorated graph. The decoration at each vertex of degree d is given by a subspace of C d, generalising the fact that a function on the standard vertex space has only a scalar value. We develop the notion of exterior derivative, differential forms, Dirac and Laplace operators in the discrete and metric case, using a supersymmetric framework. We calculate the (supersymmetric) index of the discrete Dirac operator generalising the standard index formula involving the Euler characteristic of a graph. Finally, we show that the corresponding index for the metric Dirac operator agrees with the discrete one. 1.

### Citations

1026 | Spectral Graph Theory - Chung - 1997 |

497 | Invariance theory, the heat equation, and the Atiyah-Singer index theorem, Publish or Perish - Gilkey - 1984 |

323 |
Schrödinger operators, with application to quantum mechanics and global
- Cycon, Froese, et al.
- 1987
(Show Context)
Citation Context ... with the appropriate discrete objects and show that the index agrees with the index of the discrete setting (cf. Theorem 6.1). We introduce all Laplacians in a supersymmetric setting in the sense of =-=[CFKS87]-=-, i.e., by appropriate “exterior derivatives” mimicking the corresponding notion for manifolds. The advantage is the simple structure of these operators; and the use of the abstract supersymmetric set... |

137 | Kirchoff's rule for quantum wires
- Kostrykin, Schrader
- 1999
(Show Context)
Citation Context ...elf-adjoint, bounded operator on G . The quantum graph is therefore given by X = (V, E, ∂, ℓ, G , L) or by a metric graph X = (V, E, ∂, ℓ) and the data (X, G , L) (resp. (X, � G , L)). Remark 5.8. In =-=[KS99]-=- (see also [KPS07]) there is another way of parametrising all self-adjoint vertex boundary conditions, namely for bounded operators A, B on G max , dom∆ (A,B) = { f ∈ H 2 max (X) | Af + B�f ′ = 0 } is... |

102 | Difference equations, isoperimetric inequality and transience of certain random walks - Dodziuk |

100 | L 2 -invariants: theory and applications to geometry and K-theory. Ergebnisse der Mathematik und ihrer Grenzgebiete - Lück - 2002 |

86 |
Quantum graphs: I. Some basic structures
- Kuchment
(Show Context)
Citation Context ... b E, since the only subspaces invariant under Sd are C(1, . . .,1) and its orthogonal complement, and the representation of Sd on the orthogonal complement is irreducible (see e.g. the references in =-=[Ku04]-=-). Using the relations P = P ∗ and P 2 = P for an orthogonal projection, we obtain that a and b must be real and satisfy the relations a 2 = a and 2ab + (deg v)b = b, from which the four cases follow.... |

55 | Convergence of spectra of mesoscopic systems collapsing onto a graph - Kuchment, Zeng |

54 | Hermitian symplectic geometry and extension theory - Harmer - 2012 |

49 | A survey on spectra of infinite graphs - Mohar, Woess - 1989 |

46 | Variational problems on multiply connected thin strips I: Basic estimates and convergence of the Laplacian spectrum, Archive for Rational Mechanics and Analysis - Rubinstein, Schatzman |

37 | Convergence of spectra of graph-like thin manifolds
- Exner, Post
(Show Context)
Citation Context ...In the first two cases, we obtain the Euler characteristic as index (if G = G std ). These two cases are the ones we obtain by a limit argument where the metric graph is approached by a manifold (cf. =-=[EP05]-=- and a forthcoming paper) provided the transversal manifold F is simply connected (see also Examples 6.4–6.6). (iii) If we assume that L is invertible, then the index in each case remains the same whe... |

36 | L2-Invariants: Theory and Applications to Geometry and KTheory - Lück - 2002 |

33 |
Quantum graphs. I. Some basic structures, Waves Random Media 14
- Kuchment
- 2004
(Show Context)
Citation Context ... b E, since the only subspaces invariant under Sd are C(1, . . .,1) and its orthogonal complement, and the representation of Sd on the orthogonal complement is irreducible (see e.g. the references in =-=[Ku04]-=-). Using the relations P = P ∗ and P 2 = P for an orthogonal projection, we obtain that a and b must be real and satisfy the relations a2 = a and 2ab + (deg v)b = b, from which the four cases follow. ... |

27 | Branched quantum wave guides with Dirichlet boundary conditions: the decoupling case
- Post
(Show Context)
Citation Context ...) = � e∈Ev e∈Ev � g(v), i.e., a type of δ ′ -condition with strength given by the local volume (and with oriented evaluation, since we are on 1-forms). Example 6.7 (The Dirichlet decoupling case). In =-=[P05]-=- we proved an approximation result for the Laplacian with Dirichlet boundary conditions on a certain set Xε ⊂ R 2 which is “small” around the vertex neighbourhood. The limit operator on functions , i.... |

22 | de Verdière, Spectres de graphes - Colin - 1998 |

22 | A characteristic equation associated to an eigenvalue problem on - Below - 1985 |

20 | Harmonic analysis on metrized graphs - Baker, Rumely - 2007 |

20 | Spectra of Schrödinger operators on equilateral quantum graphs - Pankrashkin - 2006 |

17 |
Curvature and geometry of tessellating plane graphs, Discrete & Computational Geometry 25
- Baues, Peyerimhoff
- 2001
(Show Context)
Citation Context ...at the vertex v ∈ V as κG(v) := dim Gv − 1 deg v. 2 The reason for the name will become clear in Remark 4.7 (i). Note that there are other notions of curvature, especially for tessellations (see e.g. =-=[BP01]-=-). In order to calculate the Betti-numbers for a vertex space G , we need some more notation. For simplicity, we assume that X is connected. Let X ′ be a spanning tree of X, i.e, X ′ is simply connect... |

17 | Le spectre du Laplacien sur un graphe,” in Théorie du potentiel - Roth - 1985 |

16 | Metrized graphs, Laplacian operators, and electrical networks, Quantum graphs and their applications - Baker, Faber - 2006 |

16 | Index theorems for quantum graphs
- Fulling, Kuchment, et al.
- 1984
(Show Context)
Citation Context ...cular, when submitting this work, we learned about a related work on index formulas on quantum graphs proven in a direct way (not using our discrete exterior calculus) by Fulling, Kuchment and Wilson =-=[FKuW07]-=-. Prof. Fulling announced the results in a talk at the Isaac Newton Institute (INI) in Cambridge [F07] where also the first order factorisation of the standard quantum graph Laplacian appears. When su... |

16 | Heat kernels on metric graphs and a trace formula.” math-ph/0701009
- Kostrykin, Potthoff, et al.
- 2007
(Show Context)
Citation Context ...S03, Ku04, FT04a, Ku05, KS06, Pan06, HP06]. In particular, a heat equation approach for the index formula for certain metric graph Laplacian (with energyindependent scattering matrix) can be found in =-=[KPS07]-=-. In particular, when submitting this work, we learned about a related work on index formulas on quantum graphs proven in a direct way (not using our discrete exterior calculus) by Fulling, Kuchment a... |

15 | Spectre des reseaux topologiques finis - Nicaise - 1987 |

10 | Exponential localization for radial random quantum trees, Preprint math-ph/0611022 - Hislop, Post - 2006 |

10 | convergence of quasi-one-dimensional spaces - Spectral |

7 |
The Spectrum of Infinite Regular Line Graphs, Trans
- Shirai
(Show Context)
Citation Context ...(△ 0 X) \ {2} � where η(λ) = 2−2(λ−1) 2 = 2λ(2−λ). One can show that 1 is also an eigenvalue with infinite multiplicity of the subdivision graph Laplacian. In particular, we recover again a result of =-=[Shi00]-=-. 4. Indices for Dirac operators on discrete graphs We start this section with a short excursion into cohomology. Assume that d = dG : G −→ ℓ 2 (E) is an exterior derivative for the vertex space G . D... |

6 | on metric graphs: eigenvalues, resolvents and semigroups, Quantum graphs and their applications - Laplacians - 2006 |

5 | equations for graphs and the edge-based Laplacian - Wave |

4 |
wires with magnetic fluxes
- Quantum
(Show Context)
Citation Context ...see (1.8)). The same is true for more general Schrödinger operators on Xε like magnetic Laplacians (for the convergence, see e.g. [KuZ01, EP07]). Magnetic Laplacians have been studies throughoutly in =-=[KS03]-=-. Example 6.5 (The decoupling case). In [KuZ03] and [EP05, Sec. 6] there is a class of approximations Xε ⊂ R2 (roughly with slowly decaying vertex neighbourhood volumes of order ε2α with 0 < α < 1/2).... |

4 | analysis on graph-like spaces, Habilitation thesis - Spectral - 2009 |

3 | Supersymmetric analysis of the spectral theory on infinite graphs
- Ogurisu
(Show Context)
Citation Context ... Uv)g ′ (v) = ∑ � g(v), i.e., a type of δ ′ -condition with strength given by the local volume (and with oriented evaluation, since we are on 1-forms). Example 6.7 (The Dirichlet decoupling case). In =-=[P05]-=- we proved an approximation result for the Laplacian with Dirichlet boundary conditions on a certain set Xε ⊂ R2 which is “small” around the vertex neighbourhood. The limit operator on functions in th... |

2 | Approche spectrale des problèmes de diffusion sur les réseaux, Séminaire de Théorie du Potentiel - Nicaise - 1987 |

1 |
Is there an interesting index theory for quantum graphs?, talk at the Isaac Newton Institute (INI
- Fulling
- 2007
(Show Context)
Citation Context ...ven in a direct way (not using our discrete exterior calculus) by Fulling, Kuchment and Wilson [FKuW07]. Prof. Fulling announced the results in a talk at the Isaac Newton Institute (INI) in Cambridge =-=[F07]-=- where also the first order factorisation of the standard quantum graph Laplacian appears. When submitting this work, the work [FKuW07] where a similar index formula for quantum graphs is proven in a ... |

1 | Convergence of spectra of graph-like thin manifolds - Providence, Soc |

1 | graphs: an introduction and a brief survey - Quantum - 2008 |

1 |
Eigenvalue bracketing for discrete and metric
- Lledó, Post
(Show Context)
Citation Context ...in a result of [Shi00]. 4. Indices for Dirac operators on discrete graphs We start this section with a short excursion into cohomology (for the standard vertex space and its oriented version see also =-=[LP08]-=-). Assume that d = dG : G −→ ℓ 2(E) is an exterior derivative for the vertex space G . Definition 4.1. We define the (ℓ2-)cohomology of the graph X associated to the vertex space G as H 0 G (X, C) := ... |

1 | des réseaux topologiques finis - Spectre - 1987 |

1 | quantum graphs and boundary triples - Equilateral - 2008 |

1 |
discrete Laplacians on graphs and their relation to quantum graphs, Ulmer Seminare 13
- Generalised
- 2009
(Show Context)
Citation Context ... is a simple relation between the spectrum of the metric and discrete graph Laplacian. Such questions are discussed e.g. in [vB85, Nic87a] and in [Pan06, P08] using the notion of boundary triples. In =-=[P09a]-=- we also discussed the “enlarged” case. Finally, in [LP08], the “exceptional” Dirichlet eigenvalues arising from eigenfunctions on an equilateral metric graph vanishing at the vertices are described i... |