Graph Gonality Calculator

chip-firing divisor rank

CalculatorsFreeNo Signup
4.5(642 reviews)
All Tools

Loading tool...

About Graph Gonality Calculator

A graph gonality calculator computing gon(G): minimum degree of a divisor with positive rank in chip-firing/divisor theory. gon(tree)=1. gon(C_n)=2. gon(K_n)=n-1. Related to treewidth: gon≤tw+1. Tropical geometry connection. Client-side.

Graph Gonality Calculator Features

  • gon(G) value
  • Chip-firing
  • Divisor rank
  • tw+1 bound
  • Common graphs
Graph gonality gon(G): minimum degree of a divisor with positive rank in chip-firing theory. Place chips on vertices, fire vertices to redistribute. gon(tree)=1, gon(C_n)=2, gon(K_n)=n-1. Tropical analog of algebraic curve gonality.

How to Use

Select graph:

  • gon: Gonality
  • Chips: Minimum config
  • Rank: Divisor rank

Chip-Firing

Place chips on vertices. 'Fire' a vertex: send one chip along each edge. A divisor D has rank ≥ r if after removing r chips from any vertex, D can reach an effective (all-nonneg) divisor via chip-firing moves.

Tropical Geometry

Graph gonality = tropical curve gonality. Baker-Norine theorem (2007): graphs satisfy Riemann-Roch! r(D) - r(K-D) = deg(D) - g + 1, where g = |E|-|V|+1. Beautiful algebra-geometry-combinatorics connection.

Step-by-Step Instructions

  1. 1Select graph.
  2. 2Compute gonality.
  3. 3Find optimal divisor.
  4. 4Apply chip-firing.
  5. 5Check Riemann-Roch.

Graph Gonality Calculator — Frequently Asked Questions

What's a chip-firing move?+

Pick a vertex v with at least deg(v) chips. 'Fire' it: sends one chip to each neighbor. Reverse: borrow from neighbors. The chip-firing game studies which configurations are reachable from others.

How does gon relate to treewidth?+

gon(G) ≤ tw(G) + 1 always. For many graphs: gon ≈ tw. Computing gonality is NP-hard in general. But treewidth gives an upper bound. For trees: gon=1=tw.

What's Baker-Norine?+

Riemann-Roch for graphs (2007): r(D)-r(K-D)=deg(D)-g+1. Same formula as for algebraic curves! K=canonical divisor, g=genus=|E|-|V|+1. Revolutionized combinatorial algebraic geometry.

Share this tool: