Abstract:Given a collection of planar graphs $G_1,\dots,G_k$ on the same set $V$ of $n$ vertices, the simultaneous geometric embedding (with mapping) problem, or simply $k$-SGE, is to find a set $P$ of $n$ points in the plane and a bijection $\phi: V \to P$ such that the induced straight-line drawings of $G_1,\dots,G_k$ under $\phi$ are all plane. This problem is polynomial-time equivalent to weak rectilinear realizability of abstract topological graphs, which Kynčl (doi:<a class="link-https link-external" data-doi="10.1007/s00454-010-9320-x" href="https://doi.org/10.1007/s00454-010-9320-x" rel="external noopener nofollow">https://doi.org/10.1007/s00454-010-9320-x</a>) proved to be complete for $\exists\mathbb{R}$, the existential theory of the reals. Hence the problem $k$-SGE is polynomial-time equivalent to several other problems in computational geometry, such as recognizing intersection graphs of line segments or finding the rectilinear crossing number of a graph. We give an elementary reduction from the pseudoline stretchability problem to $k$-SGE, with the property that both numbers $k$ and $n$ are linear in the number of pseudolines. This implies not only the $\exists\mathbb{R}$-hardness result, but also a $2^{2^{\Omega (n)}}$ lower bound on the minimum size of a grid on which any such simultaneous embedding can be drawn. This bound is tight. Hence there exists such collections of graphs that can be simultaneously embedded, but every simultaneous drawing requires an exponential number of bits per coordinates. The best value that can be extracted from Kynčl's proof is only $2^{2^{\Omega (\sqrt{n})}}$.

Book embeddings of graphs and a theorem of Whitney

Embedding 5-planar graphs in three pages

Book embeddings of k-framed graphs and k-map graphs

Four Pages Are Indeed Necessary for Planar Graphs

A Tight Subexponential-time Algorithm for Two-Page Book Embedding

Using Euler's Formula to Find the Lower Bound of the Page Number

Matching Book Embedding of the Cartesian Product of a Complete Graph and a Cycle

Universal spectrum for DNA base C+G concentration variability in Human chromosome Y

Linkless embeddings of graphs in $3$-space

The Complexity of Simultaneous Geometric Graph Embedding

Bipartite cubic planar graphs are dispersable

On Book Crossing Numbers of the Complete Graph

Oriented Book Embeddings

Graph embeddings with no Hamiltonian extensions

Invariants of almost embeddings of graphs in the plane: results and problems

A Logarithmic Bound for Simultaneous Embeddings of Planar Graphs

Thick embeddings of graphs into symmetric spaces via coarse geometry

Star arboricity relaxed book thickness of $K_n$

The Hardness Of Embedding Grids And Walls

Improved lower bounds on book crossing numbers of complete graphs