Colin de Verdière Invariant Calculator

spectral topology invariant

CalculatorsFreeNo Signup
4.2(179 reviews)
All Tools

Loading tool...

About Colin de Verdière Invariant Calculator

A Colin de Verdière invariant calculator computing μ(G): maximum corank of a generalized Laplacian matrix with certain transversality conditions. μ≤1: path. μ≤2: outerplanar. μ≤3: planar. μ≤4: linklessly embeddable. Deep spectral invariant. Client-side.

Colin de Verdière Invariant Calculator Features

  • μ(G) value
  • μ≤3 planar
  • μ≤4 linkless
  • Spectral
  • Common graphs
Colin de Verdière invariant μ(G): spectral graph parameter with remarkable topological meaning. μ≤1 iff forest. μ≤2 iff outerplanar. μ≤3 iff planar (van der Holst-Lovász-Schrijver). μ≤4 iff linklessly embeddable. Monotone under minors.

How to Use

Select graph:

  • μ: Invariant value
  • Class: μ≤1,2,3,4
  • Spectral: Matrix rank

Classification by μ

μ≤0: empty graph. μ≤1: forest (tree). μ≤2: outerplanar. μ≤3: planar. μ≤4: linklessly embeddable in R³. Each level corresponds to a fundamental topological graph class. Beautiful unifying framework.

Mathematical Theory

Introduced by Colin de Verdière (1990). Uses generalized Laplacian matrices with Strong Arnold Property. Minor-monotone: H minor of G → μ(H)≤μ(G). Connected to algebraic topology, spectral theory, and combinatorics.

Step-by-Step Instructions

  1. 1Select graph.
  2. 2Compute μ.
  3. 3Classify by μ.
  4. 4Check planarity.
  5. 5Apply minor monotonicity.

Colin de Verdière Invariant Calculator — Frequently Asked Questions

Why is μ≤3 iff planar remarkable?+

A purely algebraic/spectral characterization of planarity! No reference to embeddings or minors in the definition. The proof connects spectral theory to topology via the Strong Arnold Property. One of the deepest results in spectral graph theory.

What's linkless embedding?+

Embedding in R³ where no two disjoint cycles form a link (non-trivially intertwined). The Petersen family (7 graphs) are the minor-minimal obstructions. μ≤4 captures this perfectly.

What's the Strong Arnold Property?+

A transversality condition on the generalized Laplacian matrix M: the null space of M cannot be 'perturbed away' by small changes preserving the zero pattern. Technical but crucial for the theory to work.

Share this tool: