Planar projections of graphs
Abstract
We introduce and study a new graph representation where vertices are embedded in three or more dimensions, and in which the edges are drawn on the projections onto the axis-parallel planes. We show that the complete graph on vertices has a representation in planes. In 3 dimensions, we show that there exist graphs with edges that can be projected onto two orthogonal planes, and that this is best possible. Finally, we obtain bounds in terms of parameters such as geometric thickness and linear arboricity. Using such a bound, we show that every graph of maximum degree 5 has a plane-projectable representation in 3 dimensions.
Keywords:
Graph drawing planarity thickness planar projections.1 Introduction
In this paper, we consider embeddings of graphs where the vertices are mapped to points in , for , and the edges are represented by line-segments on the axis-parallel planes. For example, a 3-dimensional network may be visualized by placing it inside a cube and drawing the edges on the walls of the cube by projecting the points.
One motivation is the connection to two classical parameters, thickness and geometric thickness. The thickness of a graph , is the smallest number of planar subgraphs into which the edges of can be decomposed. This was introduced by Tutte in [18]; see also [16] for a survey of thickness. Geometric thickness adds the restriction that all the subgraphs must be embedded simultaneously, that is, with a common embedding of the vertices. This was studied in [4] for complete graphs. The connection between geometric thickness and parameters such as maximum degree and tree-width has been studied in various papers: [8],[2],[7]. While using the standard co-ordinate planes in high dimensions is more restrictive than thickness, it appears to be less so than geometric thickness (Section 3).
Book embeddings, defined by Ollmann in [17], are restrictinos of geometric drawings in which the vertices are in convex position. The book thickness of is the smallest number of subgraphs that cover all the edges of in such a drawing. This is also known as stack number, and is studied in [6]. Also see [5] for a survey. More generally, a survey on simultaneous embedding of graphs may be found in [3].
In [14], the authors showed that -vertex graphs of geometric thickness 2 can have at most edges. Such graphs can also be represented as projections in two orthogonal planes; orthogonal planes appear to allow a greater degree of freedom, as we give a construction of graphs with edges. We also note that a plane-projectable construction with edges was given in [15].
1.1 Preliminaries:
For a point in , we denote by , the projection of on the plane formed by the th and th co-ordinate axes.
Definition 1
Given a graph , we say that an injective map is a plane-projecting map of if there exists a decomposition such that the projection is injective and induces a straight-line planar embedding of the subgraph .
We define the plane-projecting dimension of a graph to be the smallest integer for which a plane-projecting map in exists for . We denote this by .
If , we shall say that is -dimensionally projectable or plane-projectable in -dimensions.
We note the following connection between the plane-projecting dimension and the two thickness parameters of a graph.
Observation 1.1
Let have thickness and geometric thickness . Then we have:
(i) .
(ii) .
Proof
The first inequality in (i) follows from the observation that ; the second inequality is easy to see. For (ii), we let . For a vertex , let be its position in an optimal geometric thickness representation of . Then the map (with number of ’s and ’s each equal to ), is a plane-projecting map, with the edge sets corresponding to the subgraphs of the geometric thickness representation, and drawn on the plane with . ∎
In [7], the author obtained a bound of on the geometric thickness of graphs with arboricity two; thus as a corollary, we obtain a bound of on the plane-projecting dimension of such graphs.
1.2 Our Results:
In Section 2, we obtain an upper bound of on the plane-projecting dimension of .
In Section 3, we give a construction of graphs having vertices and edges that can be projected on two orthogonal planes, and further show that this is tight. We also obtain an upper bound on the maximum number of edges of a -vertex graph that is plane-projectable in 3 dimensions.
In Section 4, we show that every graph of maximum degree five is plane- projectable in three dimensions, by obtaining an upper bound in terms of the linear arboricity of (which is the minimum number of linear forests that partition the edges of ). We also obtain a general upper bound of on . Note that an upper bound of follows from Observation 1.1 and a result of [13], which states that the thickness of a graph of maximum degree is at most .
2 Plane-projecting dimension of complete graphs
In the paper [4], the authors show that the geometric thickness of is at most . Combining this with Observation 1.1, we get .
The thickness of is known to be 1 for , 2 for , 3 for , and for . Thus, for , we get .
By using the construction of [4] in a more direct way, we obtain the following improved upper bound.
Theorem 2.1
.
To prove Theorem 2.1, we shall use the following lemma, which we first state and prove.
Lemma 1
For every natural number and every natural number , there exist points in such that for every , the projections of these points to the -plane are in convex position, and in the same order on the convex hull.
Proof (of Lemma 1)
We consider the point-set for some suitable and s. For given , the projection of these points in the plane lie on an ellipse. ∎
We now prove Theorem 2.1.
Proof (of Theorem 2.1)
Let be such that . We assume that , where is even, and find sets of points each in such that the projections of and to two given axis-parallel planes lie on an ellipse, with the ellipse corresponding to always contained inside and congruent to the ellipse corresponding to , as shown in Figure 1 (right).
The drawing of edges is now the same as in [4], which we explain for the sake of completeness.
We decompose the complete graph on each of into disjoint paths and draw their edges in planes such that each path contains exactly one pair of diametrically opposite vertices that are adjacent. Here, we use the phrase “diametrically opposite” for a pair of vertices if the points corresponding to them have exactly other points between them on the convex hull. This is illustrated in Figure 1 (a), where are the diametrically opposite pair which are adjacent. Other diametrically opposite pairs are etc, each of which shall be adjacent in a different plane.
Finally, we add edges between every vertex of and the diametrically opposite pair of . That this can be done is shown in [4], by showing that there exist a set of parallel lines each passing through one point in , and arguing by continuity that if the diametrically opposite pair is far enough, they may be joined to the points of without intersections. This is illustrated in Figure 1 (b). ∎
3 Plane-projectable graphs in
In this section, we focus on , and ask the following two extremal questions.
Q1. What is the maximum number of edges of a -vertex graph with plane-projecting dimension three?
Q2. What is the maximum number of edges of a -vertex graph whose edges can be projected into two orthogonal planes in ?
We shall answer Question 1 partially by giving an upper bound of , and Question 2 completely, by giving matching upper and lower bounds.
As mentioned earlier, any graph with geometric thickness two can be projected in two of the co-ordinate planes. In [14], it was shown that a -vertex graph of geometric thickness two can have at most edges and that edges is achievable. This was improved in [9], where it was shown that for every , edges is achievable.
By modifying their construction, we show the following:
Theorem 3.1
For every , there exists a graph on edges with an embedding in such that the restriction to two of the planes form planar straight-line embeddings of two graphs whose edge-union is equal to .


Proof
Let , be the projection of on , planes respectively. Observe that if we fix the embedding of vertices of in , then in we would have the freedom to move vertices along axis because coordinate of vertices have not been fixed yet.
Figure 2 gives the construction of a graph with 14 vertices and edges.
Let us assume that we are given which are the planar projections of on planes respectively, such that .
We now show that we can add a vertex with 6 neighbors, such that three of the new edges are added to to obtain and the other three are added to to obtain .
In , we place inside a triangle whose vertices are disjoint from the vertices present on the convex hull of namely . Now the coordinates of are fixed we can take the coordinate of to be a value strictly greater than the coordinate of . Now in ( plane) we can add by connecting to .
We can always find a triangle whose vertices should not contain any one of . If is odd we add inside the triangle in and if is even we add inside the triangle in .
Since we have added 6 edges to the graph the new graph contains . The vertex is also being mapped to a suitable point in .
Inductively using the above process, we can generate for all n such that .
We will now show that the above upper bound is in fact tight; we first need the following definition.
Definition 2
We say that an embedding of a planar graph is maximally planar if no non-adjacent pair of vertices can be joined by a line-segment without intersecting the existing edges.
Theorem 3.2
Let be a connected graph on vertices having an embedding in such that the restriction to two of the planes form straight-line planar embeddings of two graphs. Then has at most edges.
Proof
Consider an embedding of such that the edges of are covered by planar drawings in two (projected) planes. Let and be the two planes and let and be the two planar sub-graphs respectively, which are projected on these planes.
Clearly we can assume that the embeddings of both and are maximally planar.
Let
to be the vertex with lowest coordinate value,
to be the vertex with highest coordinate value,
to be the vertex with second lowest coordinate value,
to be the vertex with second highest coordinate value.
Claim 3.3
Both and belong to .
Proof of Claim 3.3: Suppose for contradiction that . Since is maximally planar, there must be an edge that intersects the line-segment joining . Therefore the co-ordinate of or the co-ordinate of must lie between the co-ordinates of and , which contradicts the choice of . The proof for is identical.
We now consider two cases.
Case 1: or . In this case, we have: .
Case 2: . In this case, we show that in addition to and , the edge also belongs to both and , which shows that .
Since has edges, its convex hull is a triangle. By the definition of , we see that should be on the convex hull, and hence is an edge of . Similarly, belongs to as well.
This completes the proof of Theorem 3.2. ∎
We now give an upper bound on graphs with plane-projectable dimension three.
Theorem 3.4
Let be a connected graph on vertices having an embedding in such that the restriction to the three planes form straight-line planar embeddings of three graphs. Then has at most edges.
Proof
Consider an embedding of such that the edges of are covered by planar drawings in three (projected) planes. Let , and be the two planes and let , and be the three planar sub-graphs respectively, which are projected on these planes.
We may assume that are maximally planar.
Here we have to consider few cases:
Case 1: . In this case we use the same argument as Theorem 3.2, we get , .
.
.
Case 2: . In this case if we use the same argument as Theorem 3.2 we get .
Since are maximally planar using Claim 3.3, we get .
.
Case 3:.
Since are maximally planar using Claim 3.3, we get .
.
.
Case 4:.
Since are maximally planar, using Claim 3.3, we get . Similarly ;
.
This completes the proof of Theorem 3.4.
4 Relation with linear arboricity and maximum degree
A linear forest is a forest in which every tree is a path. The linear arboricity of a graph is the minimum number of linear forests into which the edges of can be decomposed.
We have the following.
Proposition 1
If has linear arboricity at most , then there is an embedding of in such that the edges of can be drawn on the following standard planes: for , the th plane is , and the th plane is . In particular, .
In [10], it was shown that graphs of maximum degree 5 have linear arboricity at most 3. Thus, we get the following.
Corollary 1
Any graph of maximum degree 5 is plane-projectable.
In [1], Alon showed that a graph of maximum degree has linear arboricity at most . Thus, we have: .
We shall actually prove a stronger form of Proposition 1, in which we replace linear arboricity by caterpillar arboricity, which we define below.
A caterpillar tree is a tree in which all the vertices are within distance 1 of a central path. A caterpillar forest is a forest in which every tree is a caterpillar tree. The caterpillar arboricity of a graph is the minimum number of caterpillar forests into which the edges of can be decomposed. This has been studied previously in [12].
The main idea behind Proposition 1 is the following.
Lemma 2
Given a caterpillar tree with vertex set , and distinct real numbers , there exist real numbers such that has a straight-line embedding with the vertex mapped to .
Proof
Let be the vertices on the central path such that has an edge with and . All the indices are taken modulo . Also, let denote the set of leaf vertices adjacent to .
We set the co-ordinate of to be , and the co-ordinate of every vertex of to be . Clearly the edges of the caterpillar drawn with the above embedding are non-crossing. ∎
We remark that the above result and concept have also been studied as ”unleveled planar graphs” in [11].
Lemma 3
Given a cycle with vertex set , and distinct real numbers , there exist real numbers such that has a straight-line embedding with the vertex mapped to .
Proof
Without loss of generality, let be the vertices on the cycle such that has an edge with and and be the vertex with smallest y coordinate value. All the indices are taken modulo .
We first remove the edge between and so that the remaining graph is a path for which we use the previous lemma to construct the embedding.
Now to add back the edge , we have to make sure that none of the other edges intersect with the edge between and . Let to be the slope between and , and note that this is positive for all , since has the lowest y coordinate. Let . We now draw a line through with slope less than and place the vertex on , as illustrated in the figure below.
The proposition below also follows from an application of Lemma 2.
Proposition 2
Let be the edge-union of a planar graph and paths. Then .
5 Open problems
-
1.
What is the plane-projecting dimension of ?
-
2.
Find tight bounds for the maximum number of edges in a -vertex graph that is plane-projectable in .
-
3.
Is every graph of maximum degree 6 plane-projectable in three dimensions?
-
4.
Is ?
-
5.
Is it true that is at most the smallest such that ?
Things to do:
-
1.
Must the union of 2 caterpillar forest graphs always be planar? [No. Counter example ]
-
2.
Can every graph of max degree 6 be decomposed into a planar graph and one or two caterpillar graphs?
-
3.
2-degenerate graphs and 3-degenerate graphs?
-
4.
Smallest graphs which are not 2-plane projectable/3-plane projectable
-
5.
Closure under minor or topological minor [Or counter-examples]
-
6.
Example of a graph with and
-
7.
References
- [1] N. Alon. The linear arboricity of graphs. Israel Journal of Mathematics, 62(3):311–325, 1988.
- [2] János Barát, Jiř’i Matoušek, and David R. Wood. Bounded-degree graphs have arbitrarily large geometric thickness. Electr. J. Comb., 13(1), 2006.
- [3] Thomas Bläsius, Stephen G. Kobourov, and Ignaz Rutter. Simultaneous embedding of planar graphs. In Handbook on Graph Drawing and Visualization., pages 349–381. Chapman and Hall/CRC, 2013.
- [4] Michael B. Dillencourt, David Eppstein, and Daniel S. Hirschberg. Geometric thickness of complete graphs. J. Graph Algorithms Appl., 4(3):5–17, 2000.
- [5] Vida Dujmovic and David R. Wood. On linear layouts of graphs. Discrete Mathematics & Theoretical Computer Science, 6(2):339–358, 2004.
- [6] Vida Dujmovic and David R. Wood. Stacks, queues and tracks: Layouts of graph subdivisions. Discrete Mathematics & Theoretical Computer Science, 7(1):155–202, 2005.
- [7] Christian A. Duncan. On graph thickness, geometric thickness, and separator theorems. Comput. Geom., 44(2):95–99, 2011.
- [8] Christian A. Duncan, David Eppstein, and Stephen G. Kobourov. The geometric thickness of low degree graphs. In Proceedings of the 20th ACM Symposium on Computational Geometry, Brooklyn, New York, USA, June 8-11, 2004, pages 340–346, 2004.
- [9] Stephane Durocher, Ellen Gethner, and Debajyoti Mondal. Thickness and colorability of geometric graphs. Comput. Geom., 56:1–18, 2016.
- [10] Hikoe Enomoto and Bernard Péroche. The linear arboricity of some regular graphs. Journal of Graph Theory, 8(2):309–324, 1984.
- [11] Alejandro Estrella-Balderrama, J. Joseph Fowler, and Stephen G. Kobourov. Characterization of unlabeled level planar trees. In Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, Germany, September 18-20, 2006. Revised Papers, pages 367–379, 2006.
- [12] Daniel Gonçalves and Pascal Ochem. On star and caterpillar arboricity. Discrete Mathematics, 309(11):3694–3702, 2009.
- [13] John H. Halton. On the thickness of graphs of given degree. Inf. Sci., 54(3):219–238, 1991.
- [14] Joan P. Hutchinson, Thomas C. Shermer, and Andrew Vince. On representations of some thickness-two graphs. Comput. Geom., 13(3):161–171, 1999.
- [15] Pravi Malviya. Graph visualization. Master’s thesis, Indian Institute of Technology Hyderabad, 2016.
- [16] Petra Mutzel, Thomas Odenthal, and Mark Scharbrodt. The thickness of graphs: A survey. Graphs and Combinatorics, 14(1):59–73, 1998.
- [17] Taylor Ollmann. On the book thickness of various graphs. In Proc. 4th SouthEastern Conference on Combinatorics, Graph Theory and Computing, volume VIII, page 459, 1973.
- [18] William Tutte. The thickness of a graph. Indag. Math., 25:567–577, 1963.