Pedro Freitas, Jiri Lipovsky A Gelfand-Levitan trace formula for generic quantum graphs (424K, PDF) ABSTRACT. We formulate and prove a Gelfand-Levitan trace formula for general quantum graphs with arbitrary edge lengths and coupling conditions which cover all self-adjoint operators on quantum graphs, except for a set of measure zero. The formula is reminiscent of the original Gelfand-Levitan result on the segment with Neumann boundary conditions.