,
Kolja Knauer
,
Yasumi Kogo,
Bobby Miraftab
Creative Commons Attribution 4.0 International license
We show that the Cartesian product of two cycles C_m × C_n, i.e. the m × n toroidal grid, admits exactly three distinct simple 1-planar drawings when 5 ≤ m ≤ n. These drawings have (m-2)n, m(n-2), and mn - 4 crossings, respectively. As a corollary, we obtain that the 1-planar crossing number of C_m × C_n with 3 ≤ m ≤ n is (m-2)n. This confirms, in the 1-planar setting, a conjecture of Harary, Kainen, and Schwenk. The drawings have the property that the n fundamental cycles C_m and the m fundamental cycles C_n of C_m× C_n form two classes of pairwise disjoint cycles. In fact, establishing this property is a crucial step in our proof.
@InProceedings{felsner_et_al:LIPIcs.GD.2026.31,
author = {Felsner, Stefan and Knauer, Kolja and Kogo, Yasumi and Miraftab, Bobby},
title = {{1-Planar Drawings of Products of Cycles}},
booktitle = {34th International Symposium on Graph Drawing and Network Visualization (GD 2026)},
pages = {31:1--31:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-452-9},
ISSN = {1868-8969},
year = {2026},
volume = {396},
editor = {L\"{o}ffler, Maarten and Miksch, Silvia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.GD.2026.31},
URN = {urn:nbn:de:0030-drops-279267},
doi = {10.4230/LIPIcs.GD.2026.31},
annote = {Keywords: 1-planar, drawings, cycles, product, torus}
}