search

math1um / objects-invariants-properties

Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
15 stars 6 forks source link

Add invariant: eigenvalue_gap #645

Open math1um opened 3 years ago

math1um commented 3 years ago

let $\lambda_1$ be the largest eigenvalue and $\lambda_2$ be the next largest.

For a graph G let the eigenvalue_gap(G) be $\lambda_1(G)-\lambda_2(G)$.

Question: is this already in gt.sage?

Reference: In Appendix A of Lovasz's Graphs and Geometry.

Doctests: ?