23,489 research outputs found
Sheaves and Duality in the Two-Vertex Graph Riemann-Roch Theorem
For each graph on two vertices, and each divisor on the graph in the sense of
Baker-Norine, we describe a sheaf of vector spaces on a finite category whose
zeroth Betti number is the Baker-Norine "Graph Riemann-Roch" rank of the
divisor plus one. We prove duality theorems that generalize the Baker-Norine
"Graph Riemann-Roch" Theorem
On the Complexity of Polytope Isomorphism Problems
We show that the problem to decide whether two (convex) polytopes, given by
their vertex-facet incidences, are combinatorially isomorphic is graph
isomorphism complete, even for simple or simplicial polytopes. On the other
hand, we give a polynomial time algorithm for the combinatorial polytope
isomorphism problem in bounded dimensions. Furthermore, we derive that the
problems to decide whether two polytopes, given either by vertex or by facet
descriptions, are projectively or affinely isomorphic are graph isomorphism
hard.
The original version of the paper (June 2001, 11 pages) had the title ``On
the Complexity of Isomorphism Problems Related to Polytopes''. The main
difference between the current and the former version is a new polynomial time
algorithm for polytope isomorphism in bounded dimension that does not rely on
Luks polynomial time algorithm for checking two graphs of bounded valence for
isomorphism. Furthermore, the treatment of geometric isomorphism problems was
extended.Comment: 16 pages; to appear in: Graphs and Comb.; replaces our paper ``On the
Complexity of Isomorphism Problems Related to Polytopes'' (June 2001
- …