Difference metrics for interactive orthogonal graph drawing algorithms.
We show that the dimer model on a bipartite graph on a torus gives rise to a quantum integrable system of special type, which we call acluster integrable system. The phase space of the classical system contains, as an open dense subset, the moduli space of line bundles with connections on the graph . The sum of Hamiltonians is essentially the partition function of the dimer model. We say that two such graphs and areequivalentif the Newton polygons of the corresponding partition functions...
Let G be a planar graph with no two 3-cycles sharing an edge. We show that if Δ(G) ≥ 9, then χ'ₗ(G) = Δ(G) and χ''ₗ(G) = Δ(G)+1. We also show that if Δ(G) ≥ 6, then χ'ₗ(G) ≤ Δ(G)+1 and if Δ(G) ≥ 7, then χ''ₗ(G) ≤ Δ(G)+2. All of these results extend to graphs in the projective plane and when Δ(G) ≥ 7 the results also extend to graphs in the torus and Klein bottle. This second edge-choosability result improves on work of Wang and Lih and of Zhang and Wu. All of our results use the discharging method...