Minimum Size Highly Redundantly Rigid Graphs in the Plane

A graph G is said to be k-vertex rigid in Rd\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^d$$\end{document} if G-X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$G-X$$\end{document} is rigid in Rd\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^d$$\end{document} for all subsets X of the vertex set of G with cardinality less than k. We determine the smallest number of edges in a k-vertex rigid graph on n vertices in R2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^2$$\end{document}, for all k≥4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\ge 4$$\end{document}. We also consider k-edge-rigid graphs, defined by removing edges, as well as k-vertex globally rigid and k-edge globally rigid graphs in Rd\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbb {R}^d$$\end{document}. For d=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$d=2$$\end{document} we determine the corresponding tight bounds for each of these versions, for all k≥3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$k\ge 3$$\end{document}. Our results complete the solutions of these extremal problems in the plane. The result on k-vertex rigidity verifies a conjecture of Kaszanitzky and Király (Graphs Combin, 32:225–240, 2016). We also determine the degree of vertex redundancy of powers of cycles, with respect to rigidity in the plane, answering a question of Yu and Anderson (Int J Robust Nonlinear Control, 19(13):1427–1446, 2009).


Introduction
A d-dimensional framework (or geometric graph) is a pair (G, p), where G is a simple graph and p : VðGÞ ! R d is a map. We also call (G, p) a realization of G in R d . The length of an edge uv in the framework is defined to be the distance between the points p(u) and p(v). The framework is said to be rigid in R d if every continuous motion of its vertices in R d that preserves all edge lengths preserves all pairwise distances. It is globally rigid in R d if the edge lengths uniquely determine all pairwise distances. A relization (G, p) is generic if the set of the d|V(G)| coordinates of the vertices is algebraically independent over the rationals. It is known that for generic frameworks rigidity and global rigidity in R d depends only on the graph of the framework, for every d ! 1. So we may call a graph G rigid (resp. globally rigid) in R d if every (or equivalently, if some) d-dimensional realization of G is rigid (resp. globally rigid). We refer the reader to [6,8,12] for more details on the theory of rigid and globally rigid frameworks and graphs.
Rigid and globally rigid graphs occur in several applications, including sensor network localization [5], molecular conformation [3], formation control [16], and statics [10]. In some applications it is desirable to have a graph which remains rigid or globally rigid even if some vertices or edges are removed. This motivates the next definitions.
We say that a graph G ¼ ðV; EÞ is k-vertex rigid (resp. k-vertex globally rigid) in R d if G À X is rigid (resp. globally rigid) for all X V with jXj k À 1. A graph G ¼ ðV; EÞ on n vertices is said to be strongly minimally k-vertex rigid (resp. strongly minimally k-vertex globally rigid) in R d if it is k-vertex rigid (resp. k-vertex globally rigid) and no graph on n vertices with less than |E| edges satisfies this property. We can define (strongly minimal) k-edge-rigidity and k-edge-global rigidity in a similar way, by the deletion of edge sets, rather than vertex sets. It will be convenient to use the following graph parameters. For a graph G we use R d v ðGÞ to denote the largest integer ' for which G is '-vertex rigid in R d . The other parameters, corresponding to the other three versions, are denoted by R d gv ðGÞ, R d e ðGÞ, and R d ge ðGÞ, respectively. In this paper our goal is to obtain tight bounds for the number of edges of a strongly minimally k-vertex rigid (k-vertex globally rigid, k-edge rigid, k-edge globally rigid, resp.) graph on n vertices in R 2 . To be more precise, we look for a lower bound on the size of such a graph in terms of n and k, and an infinite family of graphs, with the required property, for which this bound is attained. In some special cases the tight bounds have already been determined for these extremal problems in the plane. The smallest size of a 1-vertex rigid (2-vertex rigid, 3-vertex rigid, resp.) graph on n vertices is equal to 2n À 3 (2n À 1, 2n þ 2, resp.). Here the first bound is well-known, the other two are from [13,16]. The smallest size of a 1-vertex globally rigid (2-vertex globally rigid, 3-vertex globally rigid, resp.) graph on n vertices is equal to 2n À 2 (2n, 5n 2 , resp.). Again, the first bound is easy, the other two can be found in [11,16]. These results are valid for n large enough (compared to k). The edge versions and the problems for higher values of k remained open. For the status of the higher dimensional (d ! 3) problems see Section 6.
It is worth noting that the case d ¼ 1 is, in a sense, exceptional, and has an easy solution. It is well-known that a graph G is rigid (resp. globally rigid) in R 1 if and only if G is connected (resp. 2-vertex connected). This implies that a k-vertex connected graph is k-vertex (edge) rigid as well as ðk À 1Þ-vertex (edge) globally rigid in R 1 , for every k ! 1. Observe that the minimum degree of a graph satisfying one of these properties is at least k. Hence a k-regular k-vertex connected graph is strongly minimal with respect to each of these four properties. Since infinite families of k-regular k-vertex connected graphs exist for all k ! 2, the tight bound kn 2 follows. The strongly minimally 1-vertex (edge) rigid graphs are the trees. Verifying k-vertex connectivity is also an easy task: it can be done locally, by showing k internally disjoint paths (rigid subgraphs) containing u and v, for all pairs of vertices u, v.
This approach fails for d ! 2. A typical proof method for determining the extremal value for, say, k-vertex rigidity in R d consists of the following steps: (i) give a lower bound for the number of edges in a graph satisfying the property, (ii) construct an infinite family of graphs attaining this bound, (iii) show that each member in this family is indeed k-vertex rigid in R d . The last step is usually a rather lengthy case analysis: for each graph in the family and for every vertex set X of size (at most) k À 1 one has to show that G À X is rigid. The standard way to verify that G À X is rigid is by showing that it can be obtained from a small complete graph by a sequence of operations (called Henneberg operations or extensions) that add one vertex at a time and preserve rigidity. Even though the extremal graphs tend to be symmetric, the number of cases to deal with and the number of operations used grow quickly as one increases k and the size of the graph, which makes this method inconvenient or even infeasible. We shall use a different approach, based on a key lemma on chains and merging rigid subgraphs.
The structure of the paper is as follows. In the next section we prove several preliminary results, including ones that establish connections between the four different parameters we are dealing with. In Sect. 3 we consider powers of cycles, which play a fundamental role in our constructions. The results of these sections are valid in R d for all d. Then we focus on the two-dimensional case and analyse the extremal graphs in Sect. 4 for all k ! 4. The tight bounds for k-vertex rigidity as well as for the other three versions are deduced in Sect. 5. The extremal values are summarized in Table 1. Section 6 contains a few concluding remarks on higher dimensional extensions.

Preliminary Results
The next lemma shows that in the definition of k-vertex (global) rigidity it suffices to consider the removal of vertex sets of cardinality exactly k À 1. This useful observation was made and used earlier for k-vertex rigidity [9,16]. For The values obtained in this paper are in boldface. Each entry in the table is valid for n large enough, compared to a linear function of k completeness we give a proof for both versions, and for all dimensions d ! 1. Note that the corresponding observation for k-edge (global) rigidity is straightforward, since edge addition preserves rigidity as well as global rigidity.
Lemma 1 Let G ¼ ðV; EÞ be a graph on n ! k þ 1 vertices. Then Proof Necessity is clear from the definition in both cases. In order to prove sufficiency in (i) suppose, for a contradiction, that G À X 0 is not rigid for some X 0 & V with jX 0 j k À 2. This implies that for any fixed generic d-dimensional realization ðG À X 0 ; pÞ there is a flex (a continuous deformation that preserves edge lengths) which changes the distance between two vertices u; v 2 V. Since n ! k þ 1, there is a set X with jXj ¼ k À 1 and X 0 & X V À fu; vg. Then the restriction of the same flex to V À X shows that G À X is not rigid, a contradiction. h The proof in case (ii) is similar. Suppose that G À X 0 is not globally rigid for some X 0 & V with jX 0 j k À 2. Then for any fixed generic d-dimensional realization ðG À X 0 ; pÞ there exists an equivalent but non-congruent realization ðG À X 0 ; qÞ. This means that there is a pair u; v 2 V for which the distance between u and v in ðG À X 0 ; pÞ is different from that in ðG À X 0 ; qÞ. Since n ! k þ 1, there is a set X with jXj ¼ k À 1 and X 0 & X V À fu; vg. Then the restrictions of these realizations to V À X show that G À X is not globally rigid, a contradiction. h It is easy to see that a graph G on at most d þ 1 (resp. d þ 2) vertices is rigid (resp. globally rigid) in R d if and only if it is complete. A similar observation yields that a rigid (resp. globally rigid) graph G in R d on at least d þ 1 (resp. d þ 2) vertices has minimum degree at least d (resp. d þ 1). Hence we have the following lower bounds on the minimum degree.
Lemma 2 If G is a k-vertex rigid (k-vertex globally rigid, resp.) graph on at least d þ k (d þ k þ 1, resp.) vertices, then the minimum degree of G is at least d þ k À 1 (d þ k, resp.). If G is a k-edge rigid (k-edge globally rigid, resp.) graph on at least d þ k (d þ k þ 1, resp.) vertices, then the minimum degree of G is at least d þ k À 1 (d þ k, resp.).
Lemma 2 implies, among others, that a ðd þ k À 1Þ-regular k-vertex rigid graph in R d is strongly minimally k-vertex rigid. We shall use this observation later.
In the rest of this section we focus on the connections between the four redundancy parameters. The one-dimensional case of the next lemma is easy to deduce from the characterization of rigid and globally rigid graphs in R 1 mentioned earlier. The twodimensional case was proved in [16], using the characterization of globally rigid graphs in R 2 from [4]. Here we point out that the inequality holds for all d ! 1. Lemma 3 Let G ¼ ðV; EÞ be a k-vertex rigid graph in R d for some k ! 2. Then G is ðk À 1Þ-vertex globally rigid. Hence for all d ! 1 we have Proof By Lemma 1 it suffices to show that G À X is globally rigid for all Tanigawa [15] proved that every 2-vertex rigid graph in R d is globally rigid in R d . Thus G À X is globally rigid in R d , as required. h Yu and Anderson [16] showed-in the special case d ¼ 2-that every noncomplete k-vertex rigid graph is k-edge rigid. It is easy to extend their proof to higher dimensions. Here we give a (similar) proof for the globally rigid version. It will be convenient to assume that the number of vertices is not too small (rather than assuming the graph is non-complete).
Proof Since the proofs are similar, we only prove the globally rigid version. The proof is by induction on k. For k ¼ 1 the statement is obvious. Suppose that k ¼ 2. Let e ¼ uv be an edge of G. The graph G À u is globally rigid. Since G has at least d þ k þ 1 vertices, Lemma 2 implies that the degree of u in G is at least d þ k. It follows that G À e can be obtained from G À u by adding a new vertex u and at least d þ k À 1 ¼ d þ 1 edges incident with u. This operation preserves global rigidity. Therefore G À e is globally rigid. Since the choice of e was arbitrary, it follows that R d ge ðGÞ ! 2, as required. Now consider the general case. Suppose that k ! 3 and that the statement of the theorem holds up to k À 1. It suffices to show that R d gv ðG À eÞ ! k À 1 for every edge e of G. To see this fix an edge e and let S be a vertex-set of size k À 2 in G À e.
If e is incident with a vertex of S, then G À e À S ¼ G À S, and hence G À e À S is globally rigid by our assumption on G. If e is disjoint from S, then consider G À S. Since G is k-vertex globally rigid, G À S is 2-vertex globally rigid. Thus G À S is 2edge globally rigid (by the case k ¼ 2), and hence G À e À S is globally rigid. Hence for every edge e the graph G À e is indeed ðk À 1Þ-vertex globally rigid, which implies, by induction, that G À e is also ðk À 1Þ-edge globally rigid. Now R d ge ðGÞ ! k follows, and the proof is complete. h Yet another useful inequality involving the parameters is as follows.
Proof Let R d ge ðGÞ ¼ k ! 1 and let Choose an edge f 2 F and let F 0 ¼ F À ff g. Since jF 0 j ¼ k À 1, G À F 0 is globally rigid. By a theorem due to Hendrickson [2] every globally rigid graph on at least d þ 2 vertices in R d is 2edge rigid in R d . This implies that G À F ¼ G À F 0 À ff g is rigid. Hence R d e ðGÞ ! k þ 1, as claimed. h

Operations
In our proofs we shall frequently use the following graph operations. The (ddimensional) 0-extension operation adds a new vertex v to the graph as well as d new edges incident with v. The 1-extension operation removes an edge v i v j and adds a new vertex v as well as a set of d þ 1 new edges which includes vv i and vv j . It is well-known that both of these operations preserve rigidity in R d , and the ddimensional 1-extension operation preserves global rigidity in R d , see e.g. [8,12].

Powers of Cycles
Let C n be a cycle on n vertices, with vertex set V ¼ fv 1 ; v 2 ; . . .; v n g, where the indices follow the cyclic ordering. The k-th power of C n , denoted by C k n , is obtained from C n by adding all edges v i v j for which the distance from v i to v j in C n is at most k.
Consider a cycle C n ¼ ðV; EÞ with jVj ¼ n and fix a set S V of its vertices. To simplify notation let C ¼ C n and H ¼ C k n . We call a set I V of consecutive vertices on C an interval. A chain J V is the union of consecutive intervals in C À S. That is, J ¼ I À S for some interval I.
Let G ¼ ðV; EÞ be a graph. For a set X V the subgraph of G induced by X is denoted by G[X]. We are ready to prove a key lemma which will be used several times. In order to be able to use it in a more general setting, we formulate it for supergraphs of H.

Lemma 6
Suppose that k ! d. Let H be a graph obtained from C k n by adding a (possibly empty) set of edges. Let J be a chain in C À S which contains an interval I of size at least d, for which H[J] is rigid, and which is maximal with respect to these properties. Suppose that J 6 ¼ ; and let K 1 ; K 2 be the ends of J. Then Proof First observe that K i J [ S for i ¼ 1; 2, that is, the ends are disjoint from the neighbours of J. This follows from the maximality of J and the fact that H½K i À S is a complete, and hence rigid subgraph of H À S. h Suppose that jS \ K i j k À d for some i 2 f1; 2g. Then the end K i contains at least d vertices from J, which are all connected to the neighbour v i of J in H À S.
Thus v i could be added to J by a 0-extension, preserving rigidity. It contradicts the maximality of J. This proves (i). To see the second claim suppose that K 1 and K 2 intersect. Then J is a subset of K 1 [ K 2 . If there is a vertex of S in K 1 \ K 2 then I K i for some i 2 f1; 2g. Since jIj ! d, it would contradict (i). h Next we show a lower bound on R d v ðC k n Þ for all d, k (for k ! d and sufficiently large n), which is tight for d ¼ 2. It is easy to observe, by counting the number of edges, that if k d À 1 and n ! dþ1 2 À Á þ 1 then C k n is not rigid. Hence we may indeed assume that k ! d. The proof of the next lemma illustrates the proof method we shall use later in our main result.
Theorem 2 Let k ! d and n ! dð2k À 2d þ 1Þ þ 1. Then R d v ðC k n Þ ! 2k À 2d þ 2: Fig. 1 A chain J in C À S, its neighbours v 1 ; v 2 , and its ends K 1 ; K 2 . The vertices of the cycle C are cyclically ordered. The edges are not visible. The vertices of S are black. In this example jSj ¼ 5 and k ¼ 3 Proof Let H ¼ C k n . By Lemma 1 it suffices to show that H À S is rigid for all S & V with jSj ¼ 2k À 2d þ 1. Since n ! dð2k À 2d þ 1Þ þ 1 ¼ djSj þ 1, there is an interval I in C À S of size at least d, by the pigeon-hole principle. Let J be a maximal chain in C À S for which I J and H[J] is rigid. Since k ! d, H[I] is rigid by Lemma 5. Thus J indeed exists. If J ¼ ; then V À S ¼ J and H À S ¼ H½J. Thus H À S is rigid, as required. Otherwise, when J 6 ¼ ;, consider the ends K 1 ; K 2 of J. We can use Lemma 6 to deduce that jSj ! jS \ K 1 j þ jS \ K 2 j ! 2k À 2d þ 2; a contradiction. This completes the proof. h Yu and Anderson [16,Theorem 4] considered the two-dimensional special case and proved that k R 2 v ðC k n Þ 2k À 2, provided k ! 2 and n ! 2k þ 2. They left the problem of determining the exact degree of vertex-redundancy of C k n open. The answer follows by putting d ¼ 2 in Theorem 2.

Strongly Minimal k-Vertex Rigid Graphs in R 2
In this section we assume that d ¼ 2. We define two families of graphs which are obtained from the k'th power of a cycle by adding one (resp. two) longest diagonals incident with each vertex and show that they are strongly minimally 2k-vertex rigid (ð2k þ 1Þ-vertex rigid, resp.) in R 2 .

The Case of Even Vertex-Redundancy
Consider a cycle C n . For simplicity suppose that n is even. Then for each vertex v i there is a unique vertex v j for which the distance from v i to v j in C n is equal to n 2 . The edge v i v j is called a longest diagonal of C n .
Let D n be the set of longest diagonals of C n and let L k n ¼ C k n þ D n . Note that if n 2k þ 2 then L k n is complete. If n ! 2k þ 4 then L k n is a non-complete ð2k þ 1Þregular graph in which the edges of D n are disjoint from the edges of C k n . See Fig. 2 for an example.
We shall use the following lemma, which is easy to verify.
Lemma 7 Let G 1 ; G 2 be two disjoint rigid graphs and let F ¼ fe; f ; gg be a set of three edges from G 1 to G 2 such that e and f are disjoint. Then G 1 [ G 2 [ F is rigid.
The next theorem shows that the addition of the n 2 longest diagonals to C k n increases its vertex redundancy by two.
Theorem 3 Suppose that k ! 2 and n ! 4k þ 5 is even. Then R 2 v L k n À Á ¼ 2k: Proof Let L ¼ L k n and let C ¼ C n , H ¼ C k n , and D ¼ D n denote the corresponding graphs on vertex set V with jVj ¼ n. Since L is ð2k þ 1Þ-regular, it can be made nonrigid by removing 2k vertices. This gives R 2 v ðLÞ 2k. To prove that equality holds it suffices to show, by Lemma 1, that L À S is rigid for every S & V with jSj ¼ 2k À 1. Fix such an S for the rest of the proof. Since n ! 4k þ 5 ! 2ð2k À 1Þ þ 1, there is an interval in C À S of size at least 2, by the pigeon-hole principle. Let J be a maximum length (and hence also maximal) chain in C À S which contains an interval of size at least 2, and for which L[J] is rigid. Recall that J ¼ V À S À J. If J ¼ ;, then V À S ¼ J and L À S ¼ L½J. Thus L À S is rigid, as required.
Thus we may suppose that J 6 ¼ ;. Let v 1 ; v 2 be the neighbours of J in C À S and let K 1 ; K 2 be the ends of J. First we show that v 1 6 ¼ v 2 . Indeed, if v 1 ¼ v 2 then there is only one vertex in J. Since it has degree 2k þ 1 in L and jSj ¼ 2k À 1, it has at least two neighbours in J. Thus L½J [ fv 1 g ¼ L À S is rigid, as required.
Let J Ã be the maximal interval of C which contains J and which is disjoint from the neighbours of J. Lemma 6, applied to L, implies that K 1 \ K 2 \ S ¼ ; and Thus S has at most one vertex in V À ðK 1 [ K 2 Þ. In particular, there is at most one vertex of S in V À J Ã . First we deal with the case when there is no vertex of S in V À J Ã . Case 1. S \ ðV À J Ã Þ ¼ ;.
In this case J is an interval of size at least two (since v 1 6 ¼ v 2 ). By Lemma 5 H½ J, and hence also L½ J is rigid. Thus the choice of J implies that jJj ! j Jj. We claim that each of the longest diagonals incident with J connects J to a vertex in J Ã À ðK 1 [ K 2 Þ. To see this suppose, for a contradiction, that there is a longest diagonal from a vertex of J to, say, J [ K 2 . Then j Jj ! n 2 À ðk À 1Þ. This in turn gives jJj ¼ n À j Jj À ð2k À 1Þ n 2 À k, which contradicts the maximality of J. Now focus on the two neighbours v 1 ; v 2 . If the longest diagonal incident with v 1 has the other end-vertex in J and v 1 has a neighbour in J \ K 1 , too, then v 1 can be added to J, preserving rigidity. It would contradict the maximality of J. Otherwise either the longest diagonal ends in a vertex of S or jS \ K 1 j ¼ k (and hence S & K 1 [ K 2 ). In both cases v 2 satisfies that the longest diagonal incident with v 2 has the other end-vertex in J and v 2 has a neighbour in J \ K 2 . Thus v 2 can be added to J, preserving rigidity, a contradiction.
In this case J is a chain, which is the union of two disjoint intervals I 1 ; I 2 , with v i 2 I i , i ¼ 1; 2. We can use Lemma 6 and the fact that jSj ¼ 2k À 1 to deduce that jS \ K i j ¼ k À 1, that is, v i is connected to exactly one vertex of J \ K i , for i ¼ 1; 2.
Suppose that k ! 3. Then we can use an argument similar to that of the proof of Lemma 5 to show that H½I 1 [ I 2 is rigid. We claim that each of the longest diagonals incident with ðI 1 [ I 2 Þ À fv 1 ; v 2 g has the other end-vertex in J Ã À ðK 1 [ K 2 Þ. To see this suppose, for a contradiction, that there is a longest diagonal from, say, v 0 where v 0 1 is the vertex of I 1 next to v 1 on C. Then j Jj ! n 2 À ðk À 1Þ. This in turn gives jJj ¼ n À j Jj À ð2k À 1Þ n 2 À k, which contradicts the maximality of J.
Therefore if j Jj ! 3 then there is at least one longest diagonal connecting J to J. Together with the edges from v i to K i , i ¼ 1; 2 they form a set of three disjoint edges from J to J. Thus L À S ¼ L½J [ J is rigid by Lemma 7, as required. If jI 1 j ¼ jI 2 j ¼ 1 then, since n ! 4k þ 5 ! 2k þ 6, each of the longest diagonals incident with v 1 or v 2 has the other end in J. In this case v 1 and v 2 can be added to L[J] by two 0extensions. This shows that L À S is rigid.
So we may assume that k ¼ 2. In this case we have jSj ¼ 3. First suppose jI 1 j ¼ jI 2 j ¼ 1. Then, since n ! 10, the longest diagonals from v 1 and v 2 both go to J. We can use these diagonals and the edges from v i to J \ K i , i ¼ 1; 2 to add v 1 and v 2 to J by 0-extensions and to show that L À S is rigid.
Next suppose that, say, jI 1 j ! 2. Let x and y be the vertices in I 1 closest to w, that is, x is next to w and y is next to x in the cyclic ordering of C. Focus on the longest diagonals incident with x and y. The maximality of J implies that the other endvertices of these diagonals cannot be in I 1 [ K 1 (since otherwise jI 1 j ! n 2 À 1 and jJj n 2 À 3 would follow). Thus either they both end in J or at least one of them ends in I 2 [ K 2 . In the former case L½J [ I 1 is rigid, contradicting the maximality of J (rigidity follows from Lemma 7, applied to J, I 1 , the longest diagonals incident with x, y, and the edge from v 1 to J \ K 1 ). In the latter case we must have jI 2 j ! n 2 À 3. In this case we apply the same argument to I 2 . Since we cannot simultaneously have jI 2 j ! n 2 À 3 and jI 1 j ! n 2 À 3 (for otherwise jJj 3 follows, contradicting the maximality of J, since C À S has an interval of size at least 4, when n ! 13 and jSj ¼ 3), we obtain that L½J [ I 2 is rigid, contradicting the maximality of J. This completes the proof. h We can extend the definition of L k n to the case when n is odd by adding nÀ1 definition of longest diagonals is slightly different when n is odd, see the next paragraph.) A similar proof shows that these odd examples are also 2k-vertex rigid, for n sufficiently large.

The Case of Odd Vertex-Redundancy
Consider a cycle C n . For simplicity suppose that n is odd. Then for each vertex v i there are two vertices v j ; v 0 j for which the distance from v i to v j and v 0 j in C n is equal to nÀ1 2 . The edges v i v j ; v i v 0 j are called longest diagonals of C n . Let D n be the set of longest diagonals of C n and let L k n ¼ C k n þ D n . Note that if n 2k þ 3 then L k n is complete. If n ! 2k þ 5 then L k n is a non-complete ð2k þ 2Þregular graph in which the edges of D n are disjoint from the edges of C k n . See Fig. 2 for an example.
The next theorem shows that the addition of the n longest diagonals to C k n increases its vertex redundancy by three. The proof is similar to that of the even case, except for one new subcase (Case 3. below).
Theorem 4 Suppose that k ! 2 and n ! 6k þ 23 is odd. Then Proof Let L ¼ L k n and let C ¼ C n , H ¼ C k n , and D ¼ D n denote the corresponding graphs on vertex set V with jVj ¼ n. Since L is ð2k þ 2Þ-regular, it can be made nonrigid by removing 2k þ 1 vertices. This gives R 2 v ð LÞ 2k þ 1. h To prove that equality holds it suffices to show, by Lemma 1, that L À S is rigid for every S & V with jSj ¼ 2k. Fix such an S for the rest of the proof. Since n ! 6k þ 23 ! 2ð2kÞ þ 1, there is an interval in C À S of size at least 2, by the pigeon-hole principle. Let J be a maximum length (and hence also maximal) chain in C À S which contains an interval of size at least 2, and for which L½J is rigid. Recall that J ¼ V À S À J. If J ¼ ;, then V À S ¼ J and L À S ¼ L½J. Thus L À S is rigid, as required.
Thus we may suppose that J 6 ¼ ;. Let v 1 ; v 2 be the neighbours of J in C À S and let K 1 ; K 2 be the ends of J. First we show that v Since it has degree 2k þ 2 in L and jSj ¼ 2k, it has at least two neighbours in J. Thus L½J [ fv 1 g ¼ L À S is rigid, as required. Let J Ã be the maximal interval of C which contains J and which is disjoint from the neighbours of J. Lemma 6, applied to L, implies that K 1 \ K 2 \ S ¼ ; and Thus S has at most two vertices in V À ðK 1 [ K 2 Þ. In particular, there are at most two vertices of S in V À J Ã . First we deal with the case when there is no vertex of S in V À J Ã . Case 1. S \ ðV À J Ã Þ ¼ ;.
Hence there is an edge from v i to J \ K i for i ¼ 1; 2.
If jJj ! nÀ1 2 À k þ 1 then at least one of the longest diagonals incident with v 1 ends in J. With this diagonal and the edge from v 1 to J \ K 1 we could add v 1 to J by a 0-extension, contradicting the maximality of J. Thus we may assume that First suppose k ! 3. If jI Ã j ! 2 then we can show, as in the previous proofs, that H½I 1 [ I Ã [ I 2 is rigid. Thus, by the maximality of J, we have jJj ! j Jj. Hence jJj ! nÀ2k 2 ! 2k ! 6. The upper bound in (5) implies that every longest diagonal incident with J has the other end-vertex in V À J Ã . Since jS \ ðV À J Ã Þj ¼ 2, all but four diagonals incident with V À J Ã are incident with By using jJj ! 6 we can now deduce that there is at least one longest diagonal that connects J and J. This longest diagonal, together with the edges from v i to J \ K i , i ¼ 1; 2, verifies that L À S is rigid, by Lemma 7. If jI Ã j 1 then we proceed as follows. We consider the vertex x 2 I 1 next to w. If both longest diagonals incident with x go to J then we have that L½J [ I 1 is rigid, by using Lemma 7 (when jI 1 j ! 2) or simply a 0extension (when jI 1 j ¼ 1), which contradicts the maximality of J. So we may suppose that there is a longest diagonal xa with a 6 2 J. If a 2 I 1 [ K 1 then jI 1 j ! nÀ1 2 À ðk À 1Þ follows, which contradicts the maximality of J by (5). Thus we must have a 2 I 2 [ K 2 , and hence jI 2 j ! nÀ1 2 À k À 3 follows. By applying the same argument to I 2 and the vertex of I 2 next to w we can also deduce that jI 1 j ! nÀ1 2 À k À 3. This gives jJj n À jI 1 j À jI 2 j À 2k 7. Moreover, since n ! 6n þ 12, we have jI 1 j þ jI 2 j ! 4k þ 4. Hence jI i j ! 8 for some i 2 f1; 2g, contradicting the maximality of J.
Finally consider the case when k ¼ 2. If a longest diagonal incident with J ends in J Ã then jJj ! nÀ1 2 À 1 follows, contradicting (5). So all longest diagonals leaving J end in V À J Ã . If at least two of these diagonals go to I i for some i 2 f1; 2g, then L½J [ I i is rigid by Lemma 7, a contradiction. Thus we may assume that we have at most one longest diagonal from J to I i , for i ¼ 1; 2. Since the pair fw; zg is incident with four longest diagonals, it follows that all but six longest diagonals incident with J end in I Ã . Since n ! 24, we have jJj ! 5, and hence at least 10 longest diagonals leave J. We can now deduce that at least four of them end in I Ã , implying that L½J [ I Ã is rigid by Lemma 7. Note that two edges of H connect I i to J [ I Ã , for i ¼ 1; 2. Thus if one of I 1 or I 2 is a singleton then it can be added to J [ I Ã by a 0extension, contradicting the maximality of J. Therefore we may assume that jI 1 j; jI 2 j ! 2 hold. We may also assume that no longest diagonal connects J [ I Ã to I 1 [ I 2 (for otherwise Lemma 7 can be used to deduce that L½J [ I Ã [ I i is rigid for some i 2 f1; 2g). Hence the longest diagonals incident with I 1 end in I 2 (or at some vertex of S next to I 2 ) and the longest diagonals incident with I 2 end in I 1 (or at some vertex of S next to I 1 ). Moreover, the end-vertices of the longest diagonals incident with I i form an interval on C, for i ¼ 1; 2. These facts, and the assumption jI 1 j; jI 2 j ! 2 imply that at least three longest diagonals connect I 1 and I 2 . Hence L½I 1 [ I 2 is rigid by Lemma 7. Now three edges out of the four edges of H that connect J [ I Ã to I 1 [ I 2 and Lemma 7 show that L À S is also rigid. This completes the proof. h

Strongly Minimally Rigid and Globally Rigid Graphs in R 2
In this section we deduce the solutions of our extremal problems in R 2 for each of the four versions and for all missing cases.

Rigidity
As we noted in the Introduction, the problems for k-vertex rigidity have been solved earlier for k 3. For k ! 4 we have the following bound, which shows that the minimum degree based lower bound is tight in this range. It was conjectured by Kaszanitzky and Király [9].
Theorem 5 Let k ! 4 and n ! 6k þ 23. Then the number of edges in a strongly minimally k-vertex rigid graph on n vertices in R 2 is d ðkþ1Þn 2 e. Proof The lower bound follows from Lemma 2. The constructions given in Theorems 3 and 4 for k even and odd, respectively, show that it is tight. h For k-edge rigidity the tight bound is 2n À 3 for k ¼ 1 and 2n À 2 for k ¼ 2. The extremal graphs are the minimally rigid graphs and the generic circuits. These facts follow from basic results in rigidity theory. For k ! 4 Theorem 5, Lemma 2, and Theorem 1 give the next result.
Theorem 6 Let k ! 4 and n ! 6k þ 23. Then the number of edges in a strongly minimally k-edge rigid graph on n vertices in R 2 is d ðkþ1Þn 2 e. It remains to consider the case k ¼ 3. Here we have the following bound.
Theorem 7 The number of edges in a strongly minimally 3-edge rigid graph on n ! 5 vertices in R 2 is 2n.
Proof The lower bound follows from Lemma 2. To see that equality holds we claim that C 2 n is (strongly minimally) 3-edge-rigid for all n ! 5. It was shown by Summers, Yu, and Anderson [14], that C 2 n is 2-vertex globally rigid. By Theorem 1 it is also 2-edge globally rigid if n ! 5 holds. Hence, by Lemma 4, C 2 n is 3-edge rigid. h

Global Rigidity
For k-vertex global rigidity it is not hard to show that the tight bound is 2n À 2 for k ¼ 1 (see e.g. Theorem 11 below), and the bounds have also been determined for k ¼ 2; 3 in previous work. For k ! 3 we obtain the following.
Theorem 8 Let k ! 3 and n ! 6k þ 23. Then the number of edges in a strongly minimally k-vertex globally rigid graph on n vertices in R 2 is d ðkþ2Þn 2 e. Proof The lower bound follows from Lemma 2. To see that it is tight consider a strongly minimally ðk þ 1Þ-vertex rigid graph. By Theorem 5 and Lemma 3 it is strongly minimally k-vertex globally rigid. h The special case k ¼ 3 of Theorem 8 was proved earlier by Motevallian, Yu and Anderson [11], who showed that L 2 n is 3-vertex globally rigid. Our proof method gives a more general statement by showing that it is in fact 4-vertex rigid.
In the case of k-edge global rigidity Theorem 8 and Theorem 1 yield the following corollary.
Theorem 9 Let k ! 3 and n ! 6k þ 23. Then the number of edges in a strongly minimally k-edge globally rigid graph on n vertices in R 2 is d ðkþ2Þn 2 e. As we noted above, for 1-edge global rigidity (which is the same as 1-vertex global rigidity) the tight bound is 2n À 2. So it remains to consider the case when k ¼ 2. By rereading the proof of Theorem 7 and using Lemma 2 we obtain: Theorem 10 The number of edges in a strongly minimally 2-edge globally rigid graph on n ! 5 vertices in R 2 is 2n.

Concluding Remarks
In this section we summarize the known results about our extremal problems for d ! 3. Kaszanitzky and Király [9] considered the k-vertex rigidity version and solved the corresponding problems for k ¼ 2 (for all d ! 2) and when d ¼ k ¼ 3. In a recent manuscript [7] we determined the tight bounds in the 3-dimensional case for all k and for each of the four versions, with the exception of four special cases. The rigidity versions for d ! 4 and k ! 3 remain open.
For global rigidity there are no results available for d ! 4, except for the case k ¼ 1, for which we give a short proof below.
Theorem 11 The number of edges in a strongly minimally 1-vertex (or 1-edge) globally rigid graph on n ! d þ 2 vertices in R d is equal to dn À dþ1 2 À Á þ 1.
Proof A graph is 1-vertex or 1-edge globally rigid if it is globally rigid. Since globally rigid graphs on at least d þ 2 vertices are 2-edge-rigid by Hendrickson's theorem [2], and a rigid graph in R d on n ! d þ 2 vertices has at least dn À dþ1 2 À Á edges, the lower bound follows. The complete graph K dþ2 is globally rigid in R d and satisfies the lower bound with equality. By a result of Connelly [1], every graph obtained from K dþ2 by a sequence of d-dimensional 1-extensions is globally rigid in R d . Since the 1-extension operation preserves the edge count, the theorem follows. h