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})}}$.

Non-projectability of polytope skeleta

Construction and Analysis of Projected Deformed Products

Many equiprojective polytopes

Unbounded convex polyhedra as polynomial images of Euclidean spaces

Graphs, skeleta and reconstruction of polytopes

Combining realization space models of polytopes

Skeletal Cut Loci on Convex Polyhedra

Posets arising as 1-skeleta of simple polytopes, the nonrevisiting path conjecture, and poset topology

On the Complexity of Polytope Isomorphism Problems

On Stable Rationality of Polytopes

The Complexity of Simultaneous Geometric Graph Embedding

Elementary polytopes with high lift-and-project ranks for strong positive semidefinite operators

Spectrahedral Containment and Operator Systems with Finite-Dimensional Realization

Limitations of the Hyperplane Separation Technique for Bounding the Extension Complexity of Polytopes

Slack matrices, $k$-products, and $2$-level polytopes

Real tropicalization and negative faces of the Newton polytope

Realizations of Multiassociahedra via Rigidity

On the Lp Minkowski Problem for Polytopes

Obstructions to semiorthogonal decompositions for singular projective varieties II: Representation theory

On Certain Polytopes Associated to Products of Algebraic Integer Conjugates

Integer decomposition property of polytopes