Open Problems on Configuration Spaces of Tensegrities
Abstract
In this small paper we bring together some open problems related to the study of the configuration spaces of tensegrities, i.e. graphs with stresses on edges. These problems were announced in Doray et al. (Discrete Comput Geom 43:436–466, 2010), Karpenkov et al. (ARS Math Contemp 6:305–322, 2013), Karpenkov (The combinatorial geometry of stresses in frameworks. arXiv:1512.02563 [math.MG], 2017), and Karpenkov (Geometric Conditions of Rigidity in Nongeneric settings, 2016) (by F. Doray, J. Schepers, B. Servatius, and the author), for more details we refer to the mentioned articles.
Keywords
Multidimensional continued fractions Polyhedral surfaces Integer geometry1 Notation and Definitions
1.1 Tensegrities
The subject of tensegrities was first considered by J.C. Maxwell in Maxwell (1864), who started to investigate first questions regarding forceloads for frameworks. Nowadays tensegrities are one of the leading directions of study in modern theory of rigidity (see, e.g., Connelly (1993) for further information). Let us recall several standard definitions.
Definition 1.1

A configuration is a finite collection P of n labeled points \((p_1,p_2,\ldots ,p_n)\), where each point \(p_i\) is in a fixed Euclidean space \(\mathbb {R}^d\).

The realization of G with straight edges, induced by mapping \(v_j\) to \(p_j\) is called a tensegrity framework and it is denoted as G(P). (Here we allow the realization to have selfintersections).

A stress w on a framework is an assignment of real scalars \(w_{i,j}\) (called tensions) to its edges \(p_ip_j\).
 A stress w is called a selfstress if at every vertex \(p_i\) we have$$\begin{aligned} \sum \limits _{\{jj\ne i\}} w_{i,j}(p_jp_i)=0. \end{aligned}$$

A pair (G(P), w) is a tensegrity if w is a selfstress for the framework G(P).

If \(w_{i,j} {<} 0\) then we call the edge \(p_ip_j\) a cable, if \(w_{i,j} {>} 0\) we call it a strut.
1.2 Configuration Space of Tensegrities and its Stratification
Denote by \(B_d(G)=(\mathbb {R}^d)^n\) the configuration space of all tensegrity frameworks. Let W(n) denote the linear space with coordinates \(w_{i,j}\) where \(1\le i,j\le n\). It is clear that \(\dim W(n)=n^2\).
Definition 1.2
Consider a framework \(G(P)\in B_d(G)\) and denote by W(G, P) the linear subspace of W(n) of all possible selfstresses for G(P). The space W(G, P) is the fiber at P.
Definition 1.3
The described equivalence relation gives us a stratification of \(B_d(G)=(\mathbb {R}^d)^n.\) A stratum is by definition a maximal connected component of \(B_d(G)\) with equivalent fibers. In Doray et al. (2010) we prove that all strata are semialgebraic sets.
Remark
According to all known examples the majority of the strata of codimension k are intersections of the strata of codimension 1 see e.g. Doray et al. (2010), Karpenkov et al. (2013). So the most important case to study is the codimension 1 case.
Remark
A stratification of a subgraph is a substratification of the original graph (i.e., each stratum for a subgraph is the union of certain strata for the original graph). Hence the case of complete graphs \(K_n\) is universal. This is straightforward as each extra edge contributes at least as much to dimensions of the fibers of a stratum as to the dimensions of the fibers of adjacent strata (locally).
Example 1.4
Let us consider a simple example of \(B_1(K_{3})\), namely we study tensegrities for a complete graph on three vertices and its realizations in the line. We assume that the line has a coordinate, so each point of \(B_1(K_3)\) is associated with three coordinates \((x_1,x_2,x_3)\).

1 stratum of codimension two: the origin. Here all three vertices coincide and the dimension of the fiber is 3.

6 strata of codimension one: some pair of vertices coincide. The dimension of fiber is two.

6 connected components of full dimension correspond to triple of distinct vertices. The dimension of a fiber is one.
Example 1.5
2 Combinatoric Properties of Stratification
In Example 1.4 above we discussed a stratification of \(B_2(K_n)\). The most important information on the stratification contains its combinatorial structure, namely the list of strata of different dimensions and the adjacency diagram for the strata. For the combinatorial description of \(B_2(K_n)\) as in Example 1.4, for \(n=2,3,4,5\) we refer to Karpenkov et al. (2013). There is not much known about more complicated configuration spaces. The next simplest and most interesting unstudied cases are listed in the following problem.
Problem 1
Describe the combinatorics of \(B_2(K_6), B_3(K_4)\) and \(B_3(K_5)\).
As experiments show, for every codimension 1 stratum there exists a certain subgraph that locally identifies the stratum (i.e., for every point x of the stratum there exists a neighborhood B(x) such that every configuration in B(x) has a nonzero selfstress for the subgraph if and only if this point is on the stratum). This observation is valid for all dimensions d.
Remark 2.1
An illustration here are the cases \(B_1(K_3)\) and \(B_1(G_{1,23})\) of Examples 1.4 and 1.5. Here both codimension 1 strata of \(B_1(K_3)\) corresponding to \(p_2=p_3\) are in the union of the codimension 1 stratum of \(B_1(G_{1,23})\). This is a general situation. In particular for any graph G on n vertices the union of all strata for G is contained in the union of all strata for \(K_n\).
Let us say a few words about twodimensional tensegrities. In the paper Doray et al. (2010) one can find the classification of all strata of codimension 1 for \(n\le 8\) points. For further examples, see the papers of White and Whiteley (1983), and de Guzmán and Orden (2004), Guzmán and Orden (2006). In the paper Karpenkov (2017) it was shown how to approach every stratum for the case \(n=9\). The next case which contains unknown strata is \(n=10\) (see also Problem 8 below).
Problem 2
Describe all the possible different types of strata for 10 points.
Problem 3
Compute the number of different types of strata for n points with arbitrary n.
In many cases the strata for different graphs coincide. So it is natural to ask the following question.
Problem 4
Which subgraphs of \(K_n\) define the same stratifications?
Finally the following question remains open.
Problem 5
Find all strata of codimension more than 1 that are not defined as an intersection of the closure of several codimension 1 strata.
Here we have only a trivial example of a graph on 2 vertices and one edge in the plane. It has one generic stratum of full dimension and one stratum of codimension 2, corresponding to two coinciding points.
3 Geometric Conditions Defining Strata in \(\mathbb {R}^2\)

join operation \(\vee \) is defined for a pair of points. The resulting object is the line joining these points.

meet operation \(\wedge \) is defined for a pair of lines. The meet of two lines is the intersection point of two lines.
It turns out that many geometric conditions can be expressed in terms of Cayley operations. Let us illustrate this with the following example.
Example
In fact in the above example, the property of 6 points to lie on one conic does not depend on the order of these points. Therefore, there are 60 different Cayley algebra systems defining the same stratum. This lead to the following important open problem.
Problem 6
Which Cayley algebra systems define the same strata?
This problem is a kind of a question on finding generators and relations for the set of all conditions.
One of the main longstanding open problems on the Cayley strata description is as follows.
Problem 7
Given a graph G. Does there exist a Cayley algebra system (or several systems) describing the union of the codimension 1 tensegrity strata in the plane [i.e., the union of the codimension 1 strata of \(B_2(K_n)\)]?
Recently this problem was solved in a weaker settings of extended Cayley algebra in Karpenkov (2017). Nevertheless it is not clear if it is possible to avoid additional elements involved in the construction of Karpenkov (2017). Here is an example of a graph for which the systems describing codimension 1 strata are not known.
Problem 8
Write (if exist) Cayley algebra systems defining the strata for the following graph:
Currently this example is a strong candidate for a counterexample to Problem 7.
There is almost nothing known in multidimensional case.
Problem 9
Develop theory of geometric conditions for strata in multidimensional case.
We refer to White and Whiteley (1983) for examples of geometric conditions in dimension 3.
References
 Connelly, R.: Rigidity. In: Gruber, P.M., Wills, J.M. (eds.) Handbook of Convex Geometry, vol. A, pp. 223–271. NorthHolland, Amsterdam (1993)Google Scholar
 de Guzmán, M., Orden, D.: Finding tensegrity structures: Geometric and symbolic aproaches, In: Proceedings of EACA2004, p 167–172 (2004)Google Scholar
 de Guzmán, M., Orden, D.: From graphs to tensegrity structures: geometric and symbolic approaches. Publ. Mat. 50, 279–299 (2006)MathSciNetCrossRefzbMATHGoogle Scholar
 Doray, F., Karpenkov, O., Schepers, J.: Geometry of configuration spaces of tensegrities. Discrete Comput. Geom. 43(2), 436–466 (2010)MathSciNetCrossRefzbMATHGoogle Scholar
 Doubilet, P., Rota, G.C., Stein, J.: On the foundations of combinatorial theory. IX. Combinatorial methods in invariant theory, Studies. Appl. Math. 53, 185–216 (1974)MathSciNetzbMATHGoogle Scholar
 Karpenkov, O.: The combinatorial geometry of stresses in frameworks, preprint (2017), arXiv:1512.02563 [math.MG]
 Karpenkov, O.: Geometric conditions of rigidity in nongeneric settings. In: Sitharam, M., St. John, A., Sidman, J. (eds.) Handbook of Geometric Constraint Systems Principles, chapter 15 (2018) (accepted)Google Scholar
 Karpenkov, O., Schepers, J., Servatius, B.: On stratifications for planar tensegrities with a small number of vertices. ARS Math Contemp 6(2), 305–322 (2013)MathSciNetzbMATHGoogle Scholar
 Li, H.: Invariant algebras and geometric reasoning. With a foreword by David Hestenes. World Scientific Publishing, Hackensack (2008)CrossRefGoogle Scholar
 Maxwell, J.C.: On reciprocal figures and diagrams of forces. Philos. Mag. 4(27), 250–261 (1864)CrossRefGoogle Scholar
 White, N.L., McMillan, T.: Cayley factorization. Symbolic and algebraic computation, Rome, pp. 521–533. Springer, Berlin (1988). (Lecture Notes in Comput. Sci., 358 1989)Google Scholar
 White, N.L., Whiteley, W.: The algebraic geometry of stresses in frameworks. SIAM J. Alg. Disc. Meth. 4(4), 481–511 (1983)MathSciNetCrossRefzbMATHGoogle Scholar
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.