Abstract:Given a drawing $D$ of a graph $G$, we define the crossing number between any two cycles $C_{1}$ and $C_{2}$ in $D$ to be the number of crossings that involve at least one edge from each of $C_1$ and $C_2$ except the crossings between edges that are common to both cycles. We show that if the crossing number between every two cycles in $G$ is even in a drawing of $G$ on the plane, then there is a planar drawing of $G$. This result can be extended to arbitrary surfaces. We also establish an equivalence between our result and a fundamental result due to Cairns-Nikolayevsky and Pelsmajer-Schaefer-Štefankovič, about drawing graphs on surfaces, and derive the Loebl-Masbaum theorem from it.

What problem does this paper attempt to address?

This paper primarily discusses a generalization of the Hanani-Tutte Theorem in graph theory on a cycle. The traditional Hanani-Tutte Theorem states that if a graph can be drawn on a plane such that the number of crossings between any pair of independent edges is even, then the graph is planar. The author of the paper defines two types of crossings between cycles in a drawing and proves that if the number of crossings between any pair of cycles is even, then the graph can be drawn on the plane without any crossings. This result can also be extended to any surface. The paper further explores the equivalence of this theorem with other related theorems previously proposed by other researchers and presents the general form of these results on different surfaces. The author introduces a new combinatorial perspective to define the number of crossings between cycles, which leads to a new proof method that can be used to prove a generalization of the weak Hanani-Tutte Theorem and apply these results to any surface. The main contributions of the paper are: 1. A new theorem, which extends the strong Hanani-Tutte Theorem by allowing certain surfaces where it does not hold, stating that if the number of crossings between all pairs of cycles is even, then the graph can be drawn on the plane without any crossings. 2. This result can be extended to any surface, indicating that the graph can be drawn on the original surface without crossings while preserving the embedding scheme. 3. A new definition of the number of crossings is provided, allowing these theorems to be expressed in terms of the number of crossings between cycles instead of edges. This offers a new perspective for understanding and proving these theorems. Through these theorems and proofs, the paper provides new theoretical foundations for graph planarity and drawing on surfaces.

A Hanani-Tutte Theorem for Cycles

On Tutte cycles containing three prescribed edges

Towards Crossing-Free Hamiltonian Cycles in Simple Drawings of Complete Graphs

Plane Hamiltonian Cycles in Convex Drawings

A unified half‐integral Erdős–Pósa theorem for cycles in graphs labelled by multiple abelian groups

Notes on Algebraic Cycles and Homotopy theory

Planar Turán Numbers of Cubic Graphs and Disjoint Union of Cycles

Planar Graphs with Homomorphisms to the 9-cycle

Twisted Ways to Find Plane Structures in Simple Drawings of Complete Graphs

Untangling Graphs on Surfaces

The cycle double cover conjecture from the perspective of percolation theory on iterated line graphs

Hanani-Tutte for approximating maps of graphs

The influence of separating cycles in drawings of K 5 ∖ e in the join product with paths and cycles

Separable Drawings: Extendability and Crossing-Free Hamiltonian Cycles

Dense circuit graphs and the planar Turán number of a cycle

On $2$-cycles of graphs

Topological Drawings meet Classical Theorems from Convex Geometry

Counting Circuit Double Covers

Algorithmic methods of finite discrete structures. Topological graph drawing (part II)

Tautological projection for cycles on the moduli space of abelian varieties