[Paper Review] Structure of Schnyder labelings on orientable surfaces.

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

Computational Geometry and Mesh Generation24 references3 citations

TL;DR

This paper generalizes Schnyder woods from planar maps to orientable surfaces of higher genus using angle labelings, establishing a correspondence between these labelings and specific orientations. It characterizes the set of such orientations as distributive lattices indexed by surface homology, extending earlier results and providing a new proof for the existence of Schnyder woods on toroidal maps.

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 wood. 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 Schnyder woods, originally defined for planar maps, to maps on orientable surfaces of higher genus.
• To establish a correspondence between Schnyder labelings and specific orientations of a map using angle labeling formalism.
• To characterize the set of orientations corresponding to Schnyder labelings in terms of surface homology.
• To partition the set of such orientations into distributive lattices, generalizing prior results on planar and toroidal maps.
• To provide a new proof for the existence of Schnyder woods on toroidal maps using the proposed framework.

Proposed method

• Representing Schnyder labelings through angle labelings on maps embedded in orientable surfaces.
• Defining a generalization of Schnyder woods via local constraints on angles around vertices and faces.
• Using surface homology to classify and partition the set of valid orientations corresponding to Schnyder labelings.
• Establishing a bijection between Schnyder labelings and orientations satisfying specific out-degree and labeling conditions.
• Applying lattice-theoretic tools to show that the set of valid orientations forms distributive lattices.
• Deriving a new existence proof for Schnyder woods on toroidal maps by analyzing the lattice structure in the genus-1 case.

Experimental results

Research questions

• RQ1 How can Schnyder woods be generalized from planar maps to maps on orientable surfaces of higher genus?
• RQ2 What characterizes the set of orientations that correspond to Schnyder labelings on surfaces of arbitrary genus?
• RQ3 How does surface homology influence the structure of the set of valid Schnyder orientations?
• RQ4 Can the set of Schnyder orientations on a given map be partitioned into distributive lattices, and if so, how does this partition depend on homology?
• RQ5 Does the proposed framework yield a new proof for the existence of Schnyder woods on toroidal maps?

Key findings

• The paper establishes a one-to-one correspondence between Schnyder labelings on maps of higher genus and specific orientations satisfying local angle constraints.
• The set of orientations corresponding to Schnyder labelings is naturally partitioned into distributive lattices, with the partition indexed by the homology classes of the surface.
• The framework generalizes earlier results by Felsner and Ossona de Mendez from planar and toroidal maps to arbitrary orientable surfaces.
• In the toroidal case, the lattice structure provides a new, structural proof for the existence of Schnyder woods.
• The characterization of valid orientations via angle labeling extends the applicability of Schnyder wood theory beyond the plane.