# Rotation system

**Rotation systems** are a discrete way to encode orientable maps. They can be extended to encode non-orientable maps as well.

## Idea[edit | edit source]

Maps are a way of embedding a graph with particular properties. The same map can be embedded multiple ways on multiple surfaces. Rotation systems specify how each vertex looks locally, by specifying an order for the edges. If we say that two edges are next to each other in the embedding we know they both belong to a common face. Furthermore we know that faces are made by either always making only left turns or only right turns, so if we specify the order of edges around a vertex (e.g. clockwise) then we can make the faces by always following the leftmost turn.

Rotation systems can allow us a simple way to create purely combinatorial representations for maps. This can be useful for computer search and processing, or for concise visual communication.

## Definition[edit | edit source]

A **rotation system** is a triple such that:^{[1]}

- X is a set. Elements of x are called darts.
- ψ is a permutation on X such that for every dart x and ψ has no fixed points.
- φ is a permutation on X .

From here we can define vertices, edges and faces:

- A vertex is an orbit of a dart under φ . That is for some dart x it is the set of all darts such that for some integer n .
- An edge is an orbit of a dart under ψ . Since ψ is an involution each edge has two darts: x and .
- A face is the orbit of a dart under . The number of darts in the orbit correspond to the number of edges / vertices incident on the face.

Two elements are incident on another if their intersection is non-empty.

## Isomorphism[edit | edit source]

We say that two rotation systems and are isomorphic if there exists a bijection such that:^{[2]}

## Extension to non-orientable maps[edit | edit source]

Since rotation systems can only express orientable maps it is desirable to extend this encoding to represent non-orientable maps as well. To do this we allow rotation systems to have some edges which reverse orientation. Edges that reverse orientation are called **barred** edges^{[2]} and can be indicated in diagrams by drawing a bar through the edge.^{[2]} Intuitively when determining the faces of a map crossing barred edges causes the direction of the φ permutation to reverse replacing it with .

Conceretely this can be defined as follows. Consider a rotation system and a function where is -1 when x is on a barred edge and 1 otherwise. We require that , that is that ι is consistent for both darts incident on an edge. From here we define two additional functions:

For a dart x it is then on a face corresponding to the orbit of under .

## See also[edit | edit source]

## External links[edit | edit source]

- Wikipedia contributors. "Rotation system".

## References[edit | edit source]

- ↑ Bonnington & Little (1995:24)
- ↑
^{2.0}^{2.1}^{2.2}Bonnington & Little (1995:25)

## Bibliography[edit | edit source]

- Bonnington; Little (1995).
*The Foundations of Topological Graph Theory*(1 ed.). Springer. doi:10.1007/978-1-4612-2540-9. ISBN 978-1-4612-7573-2.