Generalized Duke's theorem for signed Graphs
In the authors' words
Duke's interpolation theorem states that the orientable genera of a connected graph form an integer interval, and Stahl established the corresponding result for nonorientable embeddings. In 1991, \v{S}ir\'a\v{n} showed that this interpolation property fails for signed graph embeddings: the Euler-genus spectrum of a signed graph may contain gaps. He subsequently asked whether all such gaps must occur at the lower end of the spectrum. In this paper, we establish a characterization of the Euler-genus spectrum of a connected signed graph. We prove that, for each parity class, the Euler genera form a step-two interval. Moreover, whenever both parity classes are nonempty, their maximum elements differ by one. As an consequence, if two consecutive integers and belong to the Euler-genus spectrum, then every integer from to the maximum Euler-genus also belongs to the spectrum, thereby answering \v{S}ir\'a\v{n}'s question affirmatively. Our proof uses the pre-signed graph representation of signed embeddings together with ordered adjacent-exchange operations and a matching interpretation of face numbers.
Appeared: Thursday, September 24. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 24 pages, 2 figures