[Paper Review] On the structure of Schnyder woods on orientable surfaces

Daniel Gonçalves, Kolja Knauer+1 more|arXiv (Cornell University)|Jan 22, 2015

Computational Geometry and Mesh Generation3 citations

TL;DR

This paper generalizes Schnyder woods to maps on orientable surfaces of arbitrary genus using angle labelings, establishing a correspondence between these labelings and specific edge orientations. It characterizes the set of valid orientations as distributive lattices based on surface homology, extending planar results to higher genus and providing a new proof for the existence of Schnyder woods on the torus.

ABSTRACT

We propose a simple generalization of Schnyder woods from the plane to maps on orientable surfaces of higher genus. This is done in the language of angle labelings. Generalizing results of De Fraysseix and Ossona de Mendez, and Felsner, we establish a correspondence between these labelings and orientations and characterize the set of orientations of a map that correspond to such a Schnyder labeling. Furthermore, we study the set of these orientations of a given map and provide a natural partition into distributive lattices depending on the surface homology. This generalizes earlier results of Felsner and Ossona de Mendez. In the toroidal case, a new proof for the existence of Schnyder woods is derived from this approach.

Motivation & Objective

• To extend the concept of Schnyder woods from planar triangulations to maps on orientable surfaces of higher genus.
• To formalize a generalization using angle labelings that preserves key structural properties of planar Schnyder woods.
• To characterize the set of edge orientations that correspond to valid Schnyder labelings on higher-genus surfaces.
• To show that these orientations form distributive lattices indexed by surface homology classes.
• To provide a new proof for the existence of Schnyder woods on the torus via this generalized framework.

Proposed method

• Defining Schnyder woods via angle labelings on maps embedded on orientable surfaces, generalizing the planar 3-coloring and out-degree constraints.
• Introducing a homology-based classification of orientations, where each class corresponds to a distributive lattice of valid Schnyder labelings.
• Using the concept of γ-invariants to classify non-contractible cycles and distinguish between half-crossing, full-crossing, and non-crossing Schnyder woods.
• Applying results from distributive lattice theory to show that the set of homologous orientations forms a lattice under componentwise min and max operations.
• Constructing Hasse diagrams to visualize the lattice structure of orientations, with face orientations (clockwise/counterclockwise) as lattice nodes and flips as edges.
• Proving that the minimal and maximal elements of the lattice correspond to unique Schnyder woods with all faces oriented consistently in one direction.

Experimental results

Research questions

• RQ1 Can Schnyder woods be meaningfully generalized from the plane to higher-genus orientable surfaces while preserving key structural properties?
• RQ2 What characterizes the set of edge orientations that correspond to valid Schnyder labelings on higher-genus maps?
• RQ3 How do the homology classes of non-contractible cycles influence the structure of Schnyder labelings?
• RQ4 Can the distributive lattice structure of Schnyder orientations be generalized to higher-genus surfaces?
• RQ5 Does this framework yield a new proof for the existence of Schnyder woods on the torus?

Key findings

• The set of Schnyder labelings on a map of genus g corresponds bijectively to a set of edge orientations satisfying specific out-degree and cyclic order constraints per vertex.
• The orientations corresponding to Schnyder labelings form a distributive lattice, indexed by homology classes of the surface, generalizing earlier results for planar and toroidal maps.
• For the torus, the existence of Schnyder woods is re-proven via this framework, with the lattice of orientations reflecting the surface's homology structure.
• The γ-invariant of a non-contractible cycle classifies Schnyder woods into three types: non-crossing, half-crossing, and full-crossing, with distinct structural properties.
• In the toroidal case, the Hasse diagram of the lattice of homologous orientations contains exactly 20 Schnyder woods, corresponding to the binomial coefficient C(6,3)=20.
• Schnyder woods that are not half-crossing (e.g., those with γ(C) ≠ 0) exist and are not contained in the lattice of homologous orientations of a fixed base orientation.