Near-Miss Symmetric Polyhedral Cages

Abstract

Following the experimental discovery of several nearly symmetric protein cages, we define the concept of homogeneous symmetric congruent equivalent near-miss polyhedral cages made out of P-gons. We use group theory to parameterize the possible configurations and we minimize the irregularity of the P-gons numerically to construct all such polyhedral cages for $P=6$ to $P=20$ with deformation of up to 10%.

1. Introduction

Recently, an artificial protein structure, referred to as TRAP-cage, was engineered from TRAP [1,2,3,4]. (TRAP is an acronym for “trp RNA-binding” attenuation protein. It is an 11 subunit RNA-binding protein that regulates expression of genes involved in tryptophan metabolism (trp) in Bacillus subtilis.)

The structure was made out of 24 nearly regular hendecagons (11 edge polygon) each having 5 neighbors with which to share an edge. The remaining 6 edges per face define the boundary of 38 holes; 32 of them are triangles, 3 faces contributing 1 edge each, while the remaining 6 are in between 4 hendecagons, each contributing 2 of their edges to them. More recently, similar nearly regular structures made out of the same protein were identified [5,6].

The geometrical structure modeling the cage proteins described above is called a polyhedral cage, or p-cage for short [7]. A p-cage corresponding to the TRAP-cage with regular polyhedra is mathematically impossible; it can only be realized approximately, if the edge lengths and angles of the polygonal faces are slightly deformed. Such an object will be called a near-miss p-cage.

Engineering polyhedral nano-structures is not new and not restricted to proteins. For example, experimental techniques called DNA origami have been created by bio-engineers [8,9,10]. Such DNA structures differ mostly from protein cages in that they are mostly hollow as the DNA strands span the edges of the polyhedra that are created. Nevertheless, the regular or nearly-regular geometries we identify in our paper could be useful for a range of nano-structures including DNA origami.

The concept of chemical cage is also not new and they are observed or made in a number of contexts [11,12,13,14,15]. Polyhedral structures in chemistry are also common [11,16,17,18].

In the present paper, we apply graph theory to describe the connectivity of p-cages, at a level where whole molecules forming the faces of the cage can be modeled with planar polygons. We note that graph theory also plays an important role at the atomic level, in molecules [19,20,21,22,23,24,25,26,27] and also in nano-structures [28,29,30,31,32,33,34,35].

The aim of this paper is to identify these new geometries as new mathematical objects, but we also aim to help bio-nano engineers to identify the type of protein assemblies likely to form nano cages, such as the ones identified in [1,2,3,4].

A first study of p-cages was recently performed [7] by creating p-cages where all the faces are equivalent from a connectivity point of view. This resulted in a large number of p-cages with a deformation below 10% and most of them, though not all, appeared to have faces with identical deformations. This suggests that one should consider p-cages where the faces are all equivalent modulo a congruent automorphism. The aim of this paper is to build such p-cages. In [7] it was shown that the connectivity between the faces of all equivalent p-cages can be constructed from the planar graphs of regular solids. All such p-cages were then constructed using polygonal faces ranging from hexagons up to polygons with 17 edges.

In this paper we build homogeneous symmetric congruent equivalent near-miss p-cages with deformation up to 10%, but unlike in [7] we impose a symmetry on the p-cages to ensure congruence between the faces. Aside from obtaining p-cages which are, in some sense, more symmetric, imposing the symmetry leads to a more efficient method to build the p-cages as there are fewer variables to adjust to optimise the p-cage near-symmetry. As the number of variables is much smaller than in the case of [7] we are able to consider all p-cages made out of faces ranging from hexagons up to polygons with 20 edges.

The paper is organised as follows. We start with a few formal definitions and then recall how the planar graphs of the regular solids are linked to the connectivity between the faces of equivalent p-cages. For each regular solid, we identify all the transitive subgroups of their symmetry group which we then use to determine which hole shapes are compatible with the equivalence of the faces.

For each regular solid, we use their symmetry group to derive a parametrization of the face vertices compatible with the equivalence and we use computer programs to identify the least deformed p-cages for each possible configuration. We finish by describing the obtained p-cages and presenting the images of some of the least deformed ones.

2. Symmetric Polyhedral Cages

Following [7] we define a polyhedral cage as an assembly of planar polygons, referred to as faces, separated by holes which are not required to be either planar or regular (see Figure 1). The edges of the polygonal faces are adjacent to either another face or a hole and will be referred to in what follows as shared-edges and hole-edges, respectively. In other words, every edge must either belong to two faces or belong to a single face as well as a hole. For any two adjacent edges at least one of them must be adjacent to a hole. Each face must also have at least three neighbors implying that the p-cage faces must have a minimum of six edges.

A homogeneous p-cage is one where all the faces are polygons with the same number of edges. As we shall only consider homogeneous p-cages in this paper, this qualifier will be omitted from now on.

A symmetric p-cage is defined as one for which for each pair of faces there is a congruent automorphism (a proper rotation) of the p-cage that maps one face onto the other. This implies that all the faces are identical.

The hull of a p-cage is defined as the polyhedron formed by the intersection of all the planes containing the faces [7]. A p-cage is said to be convex if its hull is convex. In what follows we will only consider convex p-cages.

The p-cages studied in [7] differ in that the faces are related by non congruent automorphisms, the equivalence between faces being only at the graph level or, in other words, the symmetry is at the connectivity level only and the faces can be different.

If the faces of the symmetric p-cages are regular polygons, the p-cage is said to be regular, but if the faces are not regular, the p-cage is described as near-miss. The deformation of near-miss p-cages can be so small that it is not noticeable to the naked eye, but it can also be very large. We shall define a measure of the amount of deformation below and restrict ourselves to deformations below 10%.

In what follows, we shall use N to denote the number of faces of the p-cage and P to denote the number of edges of the faces. Each hole will be made out of $Q_h$ edges where we include a hole index h as a p-cage can have different types of holes.

3. Symmetric P-Cage Construction

As described in [7], if one joins the center of the face of the p-cage that shares one edge, one obtains a polyhedron, the face of which is not necessarily planar, but the resulting graph is a planar graph  [36] (see Figure 1). We call it the hole-polyhedron because, by construction, its faces correspond to the holes of the p-cage. The vertices correspond to the faces of the p-cage and the edges to the links between the p-cage faces. This is effectively the dual of the p-cage and it encapsulates its connectivity.

Equivalence between the face of the p-cage is translated onto the hole-polyhedron as an equivalence between the vertices. Graphs for which all the vertices are equivalent are called Cayley graphs [37] and Maschke proved  [38] that the only planar Cayley graphs are the graphs of the regular solids, i.e., the prism, antiprism, Platonic solids, and Archimedean solids. To construct a cage, one must choose P, the number of edges of a polygon as well as one of the Cayley graphs. A polygon is then placed on each vertex of the graph and linked to the adjacent faces according to the edges of the graph. One then has some flexibility to distribute the hole-edges in different ways between the corners around each vertex. For example, if one places an octagon on a trivalent vertex, such as on a tetrahedron (Figure 2), there are three shared edges and five hole-edges which must be distributed between the three adjacent faces of the Cayley graph. This can be done as 1,1,3 or 1,2,2, plus permutations, but this must also be done for each face of the p-cage so that the faces of the p-cage are all equivalent.

Formally, given a Cayley graph where each vertex has d neighbors and P-gonal faces, the numbers, $q_i$ ($i=1\cdots d$), of hole-edges on each corner around a vertex must satisfy ${\sum }_{i=1}^d{q}_i=P-d$. Equivalence between the faces of the p-cage, which translates into equivalence between the vertices of the hole-polyhedron graph, implies that the sequence $q_i$ must be identical for all vertices up to a cyclic rotation which is also determined by the equivalence. As we shall see, for some p-cages, the invariance imposes that some pairs of $q_i$ must be identical. Also, like in [7], we do not consider p-cages with $q_i>P/2$, as such p-cages would not look like closed structures.

Before we proceed with the construction, it is useful to describe how we label the p-cages.

3.1. P-Cage Labeling

To label the p-cages, we follow the same notation as in [7] with a couple of differences. Each label is made of three parts: ‘$SYM\_\mathrm{P}p\_q_i$’ where ‘SYM’ is a label identifying the hole-polyhedron from which the p-cage is built as shown in

Table 1. Symbols for convex uniform solids.

Solid	SYM	Solid	SYM
Triangular Prism	tp	Tetrahedron	Pte
Square Prism (cube)	sp	Octahedron	Poc
Pentagonal Prism	pp	Dodecahedron	Pdo
Hexagonal Prism	hp	Icosahedron	Pic
Heptagonal Prism	7p	Truncated Cube	Atc
Octagonal Prism	8p	Truncated Tetrahedron	Att
Nonagonal Prism	9p	Truncated Octahedron	Ato
Decagonal Prism	10p	Truncated Dodecahedron	Atd
Triangular Antiprism	ta	Truncated Icosahedron	Ati
Square Antiprism	sa	Snub Cube	Asc
Pentagonal Antiprism	pa	Snub Dodecahedron	Asd
Hexagonal Antiprism	ha	Cuboctahedron	Aco
Heptagonal Antiprism	7a	Rhombicuboctahedron	Arco
Octagonal Antiprism	8a	Rhombicosidodecahedron	Arcd
Nonagonal Antiprism	9a	Icosidodecahedron	Aid
Decagonal Antiprism	10a

. ‘p’ is the number of edges for the p-cage faces and ‘$q_i$’ the values for the labels a, b, c, d, and e shown on Figure 3, Figure 4 and Figure 5. As an example, Pte_P9_2_1_3 is the p-cage made out of nonagons built from the tetrahedron with a = 2, b = 1, and c = 3. Notice that as in [7] we have excluded the truncated cuboctahedron and the truncated icosidodecahedron because the equivalence between vertices requires a reflection which we do now allow here.

The difference compared to [7] is that we have decided to use the label sp instead of Pcu for the cube. Moreover, the p-cages labeled Poc1 in  [7] are identical to the triangular antiprism and we have kept the symbol Poc2 for the octahedron specific p-cages to avoid confusion.

3.2. Nonequivalent Hole-Edge Distribution

The distribution of hole-edges on the hole-polyhedron was done graphically in [7] for each regular solid but it can also be done using group theory. We consider one vertex of the Cayley graphs and label each face corner around a vertex with a $q_i$. We then consider each transitive subgroup of the symmetry group of the Cayley graph, as a permutation group of the vertices, and we apply these subgroups to map the initial vertex, together with the labels $q_i$, onto all the other vertices. If a $q_i$ is mapped onto a $q_j$ for $i\ne j$, then it implies that $q_i=q_j$. Such label clashes impose some constraints on the values of the $q_i$. We then obtain one mapping of the hole-edges for each transitive subgroup. The detailed construction is described in the Supplementary Materials and the result is summarized in the Figure 3, Figure 4 and Figure 5 where, for compatibility with [7], the $q_i$ have been labeled a, b, c, d, e.

Because the planar graphs we are considering are those of regular solids, their symmetry groups are well known and fall into two classes [36,39,40]:

• The dihedral groups $D_n$ generated by a rotation with an angle $2\pi /n$ around an axis, and one by an angle $\pi$ around an axis orthogonal to the first one. This is the full symmetry of the prism and antiprism.
• The tetrahedral, octahedral, and icosahedral symmetry groups, of the Platonic and Archimedean polyhedra.

A brute force method for finding subgroups of finite groups, while in principle a finite algorithm, is too slow for practical purposes. Luckily, faster algorithms and tables for maximal subgroups are known, and have been implemented in the computer algebra software GAP; see [41] (and references therein). In what follows, we use the lists of subgroups obtained using GAP. For the tetrahedron, we have also obtained the list of subgroups by listing them in the order of their number of elements, taking into account that this must be a divisor of the order of the full group [39,40]. The process is sped up by finding first the Sylow-subgroups [39]. Alternatively, information on subgroups of finite groups is contained in [42]. As stated above, we did not consider the truncated cuboctahedron and the truncated icosidodecahedron because their symmetry group is not transitive.

The results are summarized in

Table 2. Symmetry groups and their transitive subgroups for p-cages with Platonic hole-polyhedra.

Hole-Polyhedron	Symmetry (Group)	Order	Transitive (Subgroups)	Order	Label Clashes
prism	$D_n$	$2n$	—		—
anti-prism	$D_n$	$2n$	—		—
tetrahedron	$A_4$	12	$C_2\times C_2$	4	—
			$A_4$	12	all
cube	$S_4$	24	$D_8$	16	—
			$S_4$	24	all
octahedron	$S_4$	24	4 $S_3$ ≡ 4 $D_3$	6	—
			$A_4$	12	two pairs
			$S_4$	24	all
dodecahedron	$A_5$	60	—		all
icosahedron	$A_5$	60	$A_4$	12	—
			$A_5$	60	all

and

Table 3. Symmetry groups and their transitive subgroups for p-cages with Archimedean hole-polyhedra. G denotes the full symmetry group of the hole-polyhedron and H the transitive subgroup considered.

Hole Polyhedron	Symmetry Type	G	$\left|\mathit{G}\right|$	$\mathit{H}\subseteq \mathit{G}$	$\left|\mathit{H}\right|$	Label cl’s.
truncated tetrahedron	tetrahedron	$A_4$	12	—
truncated cube	cube	$S_4$	24	—
truncated octahedron	octahedron	$S_4$	24	—
truncated dodecahedron	dodecahedron	$A_5$	60	—
truncated icosahedron	icosahedron	$A_5$	60	—
cuboctahedron	cube	$S_4$	24	$A_4$	12	—
				$S_4$	24	two pairs
rhombicuboctahedron	cube	$S_4$	24
snub cube	cube	$S_4$	24
icosidodecahedron	dodecahedron	$A_5$	60			two-pairs
rhombicosidodecahedron	dodecahedron	$A_5$	60
snub dodecahedron	dodecahedron	$A_5$	60

. More details are provided in the Supplementary Materials.

From Table 2, we see that the prisms, the anti-prisms, the tetrahedron, the cube, and the icosahedron have one transitive subgroup which does not lead to any constraints on the labeling of the hole-edges. This implies that there is a single labeling without constraints between the $q_i$, as illustrated in Figure 3 and Figure 4. The octahedron, which is a triangular anti-prism, has two transitive subgroups. The first one is $S_3=D_3$, which can be applied in four different ways and which is the symmetry of the triangular anti-prism as expected. The second transitive subgroup is specific to the extra symmetry of the octahedron and it imposes the constraint $q_1=q_3$ and $q_2=q_4$ as illustrated in Figure 4 (where $c=a$ and $d=b$). The dodecahedron does not have any transitive subgroups and the full group symmetry imposes that the $q_i$ are all identical.

From Table 3, we see that the only Archimedean solid which has a transitive subgroup is the cuboctahedron but it does not lead to any constraints between the $q_i$. The other solids do not have any transitive subgroups and their symmetries do not induce constraints between the $q_i$ except for the icosidodecahedron where $q_1=q_3$ and $q_2=q_4$.

Now that we have derived all the possible connectivities between the faces of the p-cages we can construct p-cages and minimize their deformation.

4. Near-Miss Convex Symmetric P-Cages

For a p-cage to be regular, all the faces, all the edges, and all the angles of the polygonal faces must be identical. For a P-gon, this means that all the edges must have the same length L and the same angle $\pi (1-2/P)$. Near-miss p-cages are p-cages where the faces are not regular polygons, but close to being regular. Irregular faces will have edge lengths and angles slightly different from the values of a regular one.

To evaluate the level of regularity of the p-cage we first determine the distance $d_i$ between vertices i and $i+1$ as well as the angle ${\alpha }_i$ between the segments $(i-1,i)$ and $(i,i+1)$. The function we must minimize is then:

$$\begin{array}{c}\hfill E=\frac{1}{P}\sum _i\left[c_l{\left(\frac{d_i-L}{L}\right)}^2+c_a{\left(\frac{{\alpha }_i-\pi (1-\frac{2}{P})}{\pi (1-\frac{2}{P})}\right)}^2\right]+c_c{E}_{\mathrm{conv}}\end{array}$$

(1)

where $c_l$, $c_a$, and $c_c$ are three weight factors. $E_{\mathrm{conv}}$, given explicitly by (3), is 0 unless the polygon defined by the $n_i$ is concave. It is used in the simulated annealing to enforce convexity of the faces by taking a large value of $c_c$. We divide the sum by P to approximately set the same energy scale for each P. This makes the parametrization of the optimizing algorithm easier.

To characterize the face, with normal vector ${\mathit{m}}_f$, we define ${\mathit{n}}_i$ as its vertices, ordered anticlockwise. Then, to measure the angle ${\alpha }_i$ and edge length $d_i$, we define ${\mathit{v}}_i={\mathit{n}}_i-{\mathit{n}}_{i-1}$, evaluate ${\mathit{v}}_i\times {\mathit{v}}_{i+1}$ and

$$\begin{array}{ccc}\hfill \mathrm{if} ({\mathit{v}}_i\times {\mathit{v}}_{i+1})·{\mathit{m}}_f\ge 0& :& {\alpha }_i=\pi -\mathrm{acos}(\frac{({\mathit{v}}_i·{\mathit{v}}_{i+1})}{|{\mathit{v}}_i\left|\right|{\mathit{v}}_{i+1}|}),d_i=\left|v_i\right|\hfill \\ \hfill \mathrm{if} ({\mathit{v}}_i\times {\mathit{v}}_{i+1})·{\mathit{m}}_f<0& :& {\alpha }_i=\pi +\mathrm{acos}(\frac{({\mathit{v}}_i·{\mathit{v}}_{i+1})}{|{\mathit{v}}_i\left|\right|{\mathit{v}}_{i+1}|}),d_i=\left|v_i\right|.\hfill \end{array}$$

(2)

Note that ${\alpha }_i$ in (2) corresponds to the angle inside the face which is larger than $\pi$ if the face is not convex. If ${\mathit{m}}_f$ is the vector normal to the face and if the ${\mathit{n}}_i$ are running anticlockwise when seeing the face in the direction of $n_f$, then, using the Heaviside function $H\left(x\right)$:

$$\begin{array}{c}\hfill E_{\mathrm{conv}}=\frac{1}{P}\sum _i\left[H\left(({\mathit{v}}_i\times {\mathit{v}}_{i+1})·{\mathit{m}}_f\right)\right].\end{array}$$

(3)

We then define the length and angle deformations as follows:

• Length: ${\mathsf{\Delta }}_l={max}_i\left(\right|\frac{d_i-L}{L}\left|\right)$
• Angle: ${\mathsf{\Delta }}_a={max}_i\left(\right|\frac{{\alpha }_i-\pi (1-\frac{2}{P})}{\pi (1-\frac{2}{P})}|$

In most cases near-miss p-cages can be deformed smoothly, changing the edge lengths as well as the angles and as a result both ${\mathsf{\Delta }}_l$ and ${\mathsf{\Delta }}_a$. Identifying near-miss p-cages for a given connectivity (fixed hole-polyhedra, P and $q_i$) consists in finding the geometry which minimizes ${\mathsf{\Delta }}_l$ and ${\mathsf{\Delta }}_a$. This can be done by minimizing the function (1) over the coordinates of the vertices. As in [7], we do this using a simulated annealing algorithm, for a range of values of $c_l$ and $c_a$ satisfying the constraint $c_l+c_a=2$. After removing from the obtained p-cages those with crossing faces, we have selected the configuration with the smallest deformation, i.e., those for which the maximum value of ${\mathsf{\Delta }}_l$ and ${\mathsf{\Delta }}_a$ is the smallest.

The regular convex p-cages (${\mathsf{\Delta }}_l={\mathsf{\Delta }}_a=0$) were derived analytically in [7].

5. Optimization of the P-Cage Coordinates

To build the symmetric p-cage, we consider one face, which we refer to as the reference face, as well as the plane that it spans. The normal vector to that plane can have a range of orientations, and we apply the symmetry of the underlying solid to that plane to generate the planes spanned by the adjacent faces. We then determine the lines of intersection between these neighbor faces and place the shared vertices onto these lines. Notice that as the p-cage faces have holes, the actual symmetry of the p-cages allows for some additional deformation as will be described below. The vertices which are not shared can then be placed on the reference face plane. One can then determine the most general analytic expression for the coordinates of the vertices of the reference face for each of the hole-polyhedra graphs. These expressions depends on a number of parameters which can then be optimized to obtain the p-cage minimizing the deformation energy (1). We did this for 200 values of the weight parameters $c_l$ and $c_a$ such that they satisfy the constraint $c_l+c_a=2$. Once the coordinates of the reference face have been obtained, one can obtain the coordinates of the full p-cage vertices by applying the symmetry group of the p-cage.

One of the problems we will have to solve is to find the intersection between two planes defined by:

$$\begin{array}{c}\hfill {\mathcal{P}}_1(t_1,t_2)=\mathit{V}+t_1{\mathit{v}}_1+t_2{\mathit{v}}_2,{\mathcal{P}}_2(s_1,s_2)=\mathit{W}+s_1{\mathit{w}}_1+s_2{\mathit{w}}_2,\end{array}$$

(4)

where the $t_1,t_2,s_1,s_2$ are parameters, $\mathit{V}$ and $\mathit{W}$ are arbitrary vectors, and where the plane basis vectors ${\mathit{v}}_1$ and ${\mathit{v}}_2$ can be assumed to be orthonormal, and similarly for ${\mathit{w}}_1$ and ${\mathit{w}}_2$.

First we define the normal vectors, $\mathit{p}$ and $\mathit{q}$, to the planes as well as the vector $\mathit{u}$ parallel to the plane intersection:

$$\begin{array}{c}\hfill \mathit{p}={\mathit{v}}_1\times {\mathit{v}}_2,\mathit{q}={\mathit{w}}_1\times {\mathit{w}}_2,\mathit{u}=\mathit{q}\times \mathit{p}.\end{array}$$

(5)

Next, we have to find a specific point on the intersecting line and we choose the one that is perpendicular to $\mathit{u}$:

$$\begin{array}{c}\hfill \mathit{U}=\mathit{V}+t_1{\mathit{v}}_1+t_2{\mathit{v}}_2=\mathit{W}+s_1{\mathit{w}}_1+s_2{\mathit{w}}_2\end{array}$$

(6)

and multiplying (6) by $\mathit{u}$ leads to a relation between $t_1$ and $t_2$ as well as $s_1$ and $s_2$. Then multiplying (6) by $\mathit{q}$ one obtains an expression for $t_1$ which when inserted back into (6) gives:

$$\begin{array}{ccc}\hfill \mathit{U}& =& \mathit{V}+\frac{(\mathit{q}·(\mathit{W}-\mathit{V}))(\mathit{u}·{\mathit{v}}_2)+(\mathit{u}·\mathit{V})(\mathit{q}·{\mathit{v}}_2)}{(\mathit{q}·{\mathit{v}}_1)(\mathit{u}·{\mathit{v}}_2)-(\mathit{u}·{\mathit{v}}_1)(\mathit{q}·{\mathit{v}}_2)}\left({\mathit{v}}_1-\frac{(\mathit{u}·{\mathit{v}}_1)}{(\mathit{u}·{\mathit{v}}_2)}{\mathit{v}}_2\right)-\frac{(\mathit{u}·\mathit{V})}{(\mathit{u}·{\mathit{v}}_2)}{\mathit{v}}_2.\hfill \end{array}$$

(7)

We are now ready to construct each family of p-cages one by one by considering their specific symmetries.

5.1. P-Cages

We now consider each generating regular solid in turn and generate the planes making the p-cage using the specific symmetry of the solid and determine the line of intersection where the shared segment lies. Note that the length of $\mathit{V}$ in (4) is arbitrary as it will be adjusted to set the scale of the p-cage so that the edge lengths are as close as possible to the target length (chosen arbitrarily to be 1). For many p-cages, there will also be one or two angles corresponding to deformations of the dual of the generating regular solid.

Some of the coordinates of the vertices on the shared segments will be of the form:

$$\begin{array}{ccc}\hfill {\mathit{n}}_i& =& \mathit{U}+t_i\mathit{u}\hfill \end{array}$$

(8)

where $\mathit{U}$ and $\mathit{u}$ are specific to each segments. The remaining shared vertices will be of the form:

$$\begin{array}{ccc}\hfill {\mathit{n}}_i& =& R{\mathit{n}}_j\hfill \end{array}$$

(9)

where R is a rotation symmetry. The details will vary according to the generating regular solid.

The coordinates of the vertices which are not part of a shared edge will be of the form:

$$\begin{array}{ccc}\hfill {\mathit{\alpha }}_i& =& \mathit{V}+t_{{\alpha }_i}{\mathit{v}}_1+s_{{\alpha }_i}{\mathit{v}}_2,i=1\cdots q_{\alpha }-1\hfill \end{array}$$

(10)

where $q_{\alpha }$ stands for a, b, c, d, or e, as appropriate. Once this is done, the actual position of the vertices will be determined by minimizing (1), the optimizing variables being the length of $\mathit{V}$, some angles describing the relative orientation between some of the faces as well as the position of all the vertices on the face plane.

5.2. Tent

We shall see that a common substructure of the dual of the generating regular solid is a pyramid. When the faces of the p-cage are placed on a pyramid, they each have three shared segments, two with the adjacent faces of the pyramid and one at the base. We call such a structure a tent. The shared segment at the base does not need to be centered and, as we shall see, does not need to be parallel to the base either. This is because two adjacent pyramids can sometimes be rotated around their main symmetry axis. As we shall see, for the Archimedean based p-cages, the tents will not have a common symmetry axis.

The origin of the coordinate system for the reference face is chosen as the center of the base of the pyramid (Figure 6). The x axis runs parallel to the edge of the base of the pyramid while the y axis is parallel to the pyramid base and perpendicular to the x axis. The inclination angle of the pyramid face is $\theta$.

The edges joining ${\mathit{n}}_1$ and ${\mathit{n}}_2$ as well as ${\mathit{n}}_3$ and ${\mathit{n}}_4$ on Figure 6 are shared edges. So is the edge joining ${\mathit{n}}_5$ and ${\mathit{n}}_6$. The vertices that are not shared must also belong to the plane of the face.

If the base of the pyramid is an N-gon, ${\mathit{n}}_1$ and ${\mathit{n}}_4$ are related by a $2\pi /N$ rotation around the vertical symmetry axis, $\mathit{z}$, of the pyramid. So are ${\mathit{n}}_2$ and ${\mathit{n}}_3$. ${\mathit{n}}_5$ and ${\mathit{n}}_6$ will be related to each other by a rotation which depends on how adjacent tents are placed with respect to each other.

In what follows, we shall use the notation $R_{\mathit{v}}\left(\theta \right)$ to denote a $\theta$ rotation around the vector $\mathit{v}$. We also use $T_{\mathit{v}}$ to denote a reflection with respect to the $\mathit{v}$ axis. If $\mathit{v}$ is $\mathit{x}$, $\mathit{y}$, or $\mathit{z}$ it then corresponds to a rotation, or a reflection, around the corresponding axis.

5.3. Specific Cases

In what follows, $r_f$ and $r_o$ refer respectively to the inner and outer radius of the face of a regular solid, while $r_i$ refers to the inner radius of the regular solid (the radius of the smallest sphere containing it).

Prism P-Cages

The dual of a prism consists of two identical pyramids joined at their base. The faces of the pyramids can have any angle with the base. For a pyramid with an N-gon base, the symmetries are rotations of $\gamma =2\pi /N$ around the main axis $\mathit{z}$ of the pyramid. (See Figure 6). To map the two pyramids into each other we must perform a $\pi$ rotation around the $\mathit{y}$ axis joining the center of the base and the center of one of the base edge. Alternatively we can perform a $\pi$ rotation around the $\mathit{z}$ axis followed by a $\pi$ rotation around the $\mathit{x}$ axis.

Because the faces of a p-cage do not cover the full face of the pyramid, we can also rotate the pyramids around the $\mathit{z}$ axis by an angle $\psi$. So to map the two tents together, we must perform a $\pi +\psi$ rotation around the $\mathit{z}$ axis followed by a $\pi$ rotation around the $\mathit{x}$ axis.

To describe the plane of the reference face we define:

$$\begin{array}{cccccc}\hfill \mathit{V}& =S\left(0,-sin\left(\theta \right),cos\left(\theta \right)\right),\hfill & \hfill {\mathit{v}}_1& =\left(\right[1,0,0\left]\right),\hfill & \hfill {\mathit{v}}_2& =\frac{\mathit{V}\times {\mathit{v}}_1}{|\mathit{V}\times {\mathit{v}}_1|},\hfill \end{array}$$

(11)

where S is a scaling parameter. As a result, the adjacent face belonging to the same pyramid is given by:

$$\begin{array}{c}\hfill \mathit{W}=R_z(\frac{2\pi }{N})\mathit{V},{\mathit{w}}_1=R_z(\frac{2\pi }{N}){\mathit{v}}_1,{\mathit{w}}_2=R_z(\frac{2\pi }{N}){\mathit{v}}_2\end{array}$$

(12)

and using the corresponding $\mathit{U}$ and $\mathit{u}$, (7):

$$\begin{array}{c}\hfill {\mathit{n}}_1=\mathit{U}-t_1\mathit{u},{\mathit{n}}_2=\mathit{U}+t_2\mathit{u},{\mathit{n}}_3=R_z(\frac{-2\pi }{N}){\mathit{n}}_2,{\mathit{n}}_4=R_z(\frac{-2\pi }{N}){\mathit{n}}_1.\end{array}$$

(13)

For the vertices at the base of the tent:

$$\begin{array}{c}\hfill \mathit{W}=R_x(\pi )R_z(\pi +\psi )\mathit{V},{\mathit{w}}_1=R_x(\pi )R_z(\pi +\psi ){\mathit{v}}_1,{\mathit{w}}_2=R_x(\pi )R_z(\pi +\psi ){\mathit{v}}_2\end{array}$$

(14)

and using the corresponding $\mathit{U}$ and $\mathit{u}$:

$$\begin{array}{c}\hfill {\mathit{n}}_5=\mathit{U}-t_5\mathit{u},{\mathit{n}}_6=R_x\left(\pi \right)R_z{\mathit{n}}_5.\end{array}$$

(15)

The optimizing variables are S, $\theta$, $\psi$, $t_1$, $t_2$, $t_5$, Equations (11), (13), (14), and (15), as well as the coordinates, in the face plane, of the non shared vertices.

5.4. Regular Flat Prisms P-Cages

A degenerate case of p-cages corresponds to flat p-cages, i.e., $\theta =0$. This implies that the ${\mathit{n}}_1-{\mathit{n}}_2$ and ${\mathit{n}}_3-{\mathit{n}}_4$ lines intersect each other at the center of the prism base. The angle between these two lines is $\pi -2(q_a+1)\pi /P$ and this must equal $2\pi /N$. In other words, for a given polygon P and prism base N:

$$\begin{array}{c}\hfill q_a=\frac{(N-2)P}{2N}-1.\end{array}$$

(16)

The list of regular flat prisms is given in

Table 4. List of regular flat prism p-cages. See the Supplementary Materials for the full list of non-planar p-cages.

N	3	4	4	5	6	6	6	6	6	8	10	10
P	12	8	16	20	6	9	12	15	18	16	19	20
$q_a$	1	1	3	5	1	2	3	4	5	5	3	7
$q_b$	4	2	5	6	1	2	3	4	5	4	2	5
$q_c$	4	2	5	6	1	2	3	4	5	4	2	5

.

6. Antiprisms

The dual of an antiprism can be seen as two pyramids joined at the base and rotated by an angle $\pi /N$ relative to each other, resulting in each face having four neighbors: two on the sides and two at the base.

The parametrization is similar to that of the prism p-cage and the vertices ${\mathit{n}}_1$ to ${\mathit{n}}_4$ are also given by (13).

For the first pair of shared vertices at the base:

$$\begin{array}{c}\hfill \mathcal{R}=R_x(\pi )R_z(\pi (1+\frac{1}{N})+\psi ),\mathit{W}=\mathcal{R}\mathit{V},{\mathit{w}}_1=\mathcal{R}{\mathit{v}}_1,{\mathit{w}}_2=\mathcal{R}{\mathit{v}}_2\end{array}$$

(17)

and using the corresponding $\mathit{U}$ and $\mathit{u}$:

$$\begin{array}{c}\hfill {\mathit{n}}_5=\mathit{U}-t_5\mathit{u},{\mathit{n}}_6=R_x\left(\pi \right)R_z{\mathit{n}}_5.\end{array}$$

(18)

For the second pair of shared vertices:

$$\begin{array}{c}\hfill \mathcal{R}=R_x(\pi )R_z(\pi (1-\frac{1}{N})+\psi ),\mathit{W}=\mathcal{R}\mathit{V},{\mathit{w}}_1=\mathcal{R}{\mathit{v}}_1,{\mathit{w}}_2=\mathcal{R}{\mathit{v}}_2\end{array}$$

(19)

and using the corresponding $\mathit{U}$ and $\mathit{u}$:

$$\begin{array}{c}\hfill {\mathit{n}}_7=\mathit{U}-t_7\mathit{u},{\mathit{n}}_8=R_x\left(\pi \right)R_z{\mathit{n}}_7.\end{array}$$

(20)

The optimizing variables are S, $\theta$, $\psi$, $t_1$, $t_2$, $t_5$, $t_7$, Equations (11), (13), (17), (18), and (20), as well as the coordinates, in the face plane, of the non shared vertices.

7. Platonic Solids

7.1. Tetrahedron

The generating regular solid of the tetrahedron p-cage is a tetrahedron. As a result, the face of the p-cage must be placed on the faces of the dual tetrahedron but it does not need to be regular and can be elongated in such a way that the line joining the center of two pairs of opposite edges is stretched.

The coordinates of the four vertices of the tetrahedron (Figure 7) are:

$$\begin{array}{c}\hfill {\mathit{e}}_1=\left(1,1,-a\right),{\mathit{e}}_4=\left(-1,-1,-a\right),{\mathit{e}}_3=\left(1,-1,a\right),{\mathit{e}}_4=\left(-1,1,a\right).\end{array}$$

(21)

where a is a stretching parameter. We choose the first face as spanned by ${\mathit{e}}_1,{\mathit{e}}_2,{\mathit{e}}_3$ and the center of that face is ${\mathit{V}}_0=({\mathit{e}}_1+{\mathit{e}}_2+{\mathit{e}}_3)/3$. We then take:

$$\begin{array}{c}\hfill {\mathit{v}}_1=\left(\frac{1}{\sqrt{2}},\frac{1}{\sqrt{2}},0\right),{\mathit{v}}_2={\mathit{e}}_3-({\mathit{e}}_1+{\mathit{e}}_2)/2.\end{array}$$

(22)

Noticing that $\mathit{V}$ is not orthogonal to ${\mathit{v}}_2$, we must take as the displacement vector for the face plane:

$$\begin{array}{c}\hfill \mathit{V}=S({\mathit{v}}_1\times {\mathit{v}}_1)(({\mathit{v}}_1\times {\mathit{v}}_1)·{\mathit{V}}_0),\end{array}$$

(23)

where S is a scaling parameter. Defining:

$$\begin{array}{c}\hfill {\mathcal{R}}_1=R_{{\mathit{v}}_1}\left(\pi \right)R_z(\pi /2),{\mathcal{R}}_2=R_{{\mathit{v}}_1}\left(\pi \right)R_z(-\pi /2),{\mathcal{R}}_3=R_z\left(\pi \right)\end{array}$$

(24)

the vector describing the adjacent faces are:

$$\begin{array}{c}\hfill {\mathit{W}}^i={\mathcal{R}}_i\mathit{V},{\mathit{w}}_1^i={\mathcal{R}}_i{\mathit{v}}_1,{\mathit{w}}_2^i={\mathcal{R}}_i{\mathit{v}}_2\end{array}$$

(25)

and the corresponding ${\mathit{U}}^i$ and ${\mathit{u}}^i$:

$$\begin{array}{c}\hfill {\mathit{n}}_{2i-1}={\mathit{U}}^i+t_{2i-1}{\mathit{u}}^i,{\mathit{n}}_{2i}={\mathcal{R}}_i^{-1}{\mathit{n}}_{2i-1},i=1,2,3.\end{array}$$

(26)

The optimizing variables are S, a, $t_1$, $t_3$, $t_5$, Equations (21), (23), and (26), as well as the coordinates, in the face plane, of the non shared vertices.

7.2. Octahedron

The dual of the octahedron is the cube, so the face of the octahedron derived p-cages will be inscribed on the faces of a cube.

The cube can be stretched in one direction so that two of the faces remain square but the other four become identical rectangles, the symmetry is that of a square antiprism, referred to as Poc1 in [7].

When the cube is not stretched, the symmetry is larger and the shared vertices ab are facing shared vertices ba. This is referred to as Poc2, as in [7].

There are two ways to map the vertices on the face of the cube. The first possibility is to pinch the cube, making the faces diamond shape, but for the edges to meet correctly they must be centered on the edges of the diamond. This is nothing but the triangular antiprism with $a=c$ and $b=d$.

In the second one, the squares are not deformed and the shared edges are not centered on the edges of the squares. To preserve the symmetry of the hole distribution, the cube must remain undeformed. To describe the plane of the reference face we define:

$$\begin{array}{c}\hfill \mathit{V}=(0,0,S){\mathit{v}}_1=(1,0,0),{\mathit{v}}_2=(0,1,0)\end{array}$$

(27)

and the symmetries are $\pm \pi /2$ rotations around the x and the y axis:

$$\begin{array}{c}\hfill R_1=R_y(\pi /2),R_2=R_x(\pi /2).\end{array}$$

(28)

Next, the adjacent faces are described by the vectors:

$$\begin{array}{c}\hfill {\mathit{W}}^i={\mathcal{R}}_i\mathit{V},{\mathit{w}}_1^i={\mathcal{R}}_i{\mathit{v}}_1,{\mathit{w}}_2^i={\mathcal{R}}_i{\mathit{v}}_2,i=1,2\end{array}$$

(29)

together with the corresponding ${\mathit{U}}_i$ and ${\mathit{u}}_i$.

$$\begin{array}{cccccc}\hfill {\mathit{n}}_1& ={\mathit{U}}^1+t_1{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_2& ={\mathit{U}}^1+t_2{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_3& ={\mathit{U}}^2-t_2{\mathit{u}}^2,\hfill \\ \hfill {\mathit{n}}_4& ={\mathit{U}}^2-t_1{\mathit{u}}^2,\hfill & \hfill {\mathit{n}}_{4+i}& =R_z\left(\pi \right){\mathit{n}}_i,i=1,4.\hfill & \hfill & \hfill \end{array}$$

(30)

The optimizing variables are S, $t_1$, $t_2$, Equations (27) and (30), as well as the coordinates, in the face plane, of the non shared vertices.

7.3. Cube

The p-cages derived from the cube are the same as those derived from the square prism.

7.4. Dodecahedron

The p-cages derived from the dodecahedron must have identical holes, so the symmetry is very constrained. The faces must be placed on an icosahedron.

As the inner radius of an icosahedron of edge length 1 is $r_i={\varphi }_g^2/\sqrt{12}$ where ${\varphi }_g=(1+\sqrt{5})/2$, and with $r_o=1/(2sin(2\pi /3)$ we take:

$$\begin{array}{c}\hfill \mathit{V}=r_i(0,0,S){\mathit{v}}_1=(1,0,0),{\mathit{v}}_2=(0,1,0).\end{array}$$

(31)

where S is a scaling factor. We place the three vertices at:

$$\begin{array}{c}\hfill {\mathit{f}}_1=\mathit{V}+(0,S{r}_o,0),{\mathit{f}}_{i+1}=R_z(i\frac{2\pi }{3}){\mathit{f}}_{1}i=1,2.\end{array}$$

(32)

The midpoint between the first and last vertex is:

$$\begin{array}{c}\hfill \mathit{a}=\frac{{\mathit{f}}_1+{\mathit{f}}_3}{2}\end{array}$$

(33)

and the adjacent faces are described by the vectors:

$$\begin{array}{c}\hfill \mathit{W}=R_{{\mathit{f}}_1}(\frac{2\pi }{5})\mathit{V},{\mathit{w}}_1=R_{{\mathit{f}}_1}(\frac{2\pi }{5}){\mathit{v}}_1,{\mathit{w}}_2=R_{{\mathit{f}}_1}(\frac{2\pi }{5}){\mathit{v}}_2.\end{array}$$

(34)

and the line intersecting the reference face is described by the corresponding $\mathit{U}$ and $\mathit{u}$. From this we obtain:

$$\begin{array}{cccc}\hfill {\mathit{n}}_1& =\mathit{U}+t\mathit{u},\hfill & \hfill {\mathit{n}}_2& =R_{\mathit{a}}\left(\pi \right),{\mathit{n}}_1,\hfill \\ \hfill {\mathit{n}}_{2i+1}& =R_z(\frac{2\pi i}{3}),{\mathit{n}}_1,\hfill & \hfill {\mathit{n}}_{2i+2}& =R_z(\frac{2\pi i}{3}),{\mathit{n}}_2,i=1,2.\hfill \end{array}$$

(35)

The optimizing variables are S, t, Equations (31) and (35), as well as the coordinates, in the face plane, of the non shared vertices.

7.5. Icosahedron

The p-cages derived from the icosahedron consist in placing the faces on a dodecahedron. As the inner radius of a dodecahedron of edge length 1 is $r_i={\varphi }_g^2/\left(2\sqrt{3-{\varphi }_g}\right)$, and $r_o=1/(2sin(\pi /5))$, we take:

$$\begin{array}{c}\hfill \mathit{V}=r_i(0,0,S),{\mathit{v}}_1=(1,0,0),{\mathit{v}}_2=(0,1,0).\end{array}$$

(36)

where S is a scaling factor. We place the five vertices of the dodecahedron at:

$$\begin{array}{c}\hfill {\mathit{f}}_1=\mathit{V}+(0,S{r}_o,0),{\mathit{f}}_{i+1}=R_z(i\frac{2\pi }{5}){\mathit{f}}_1,i=1,2,3,4.\end{array}$$

(37)

Next, the adjacent faces are described by the vectors:

$$\begin{array}{c}\hfill {\mathit{W}}^i=R_{{\mathit{f}}_i}(\frac{2\pi }{3})\mathit{V},{\mathit{w}}_1^i=R_{{\mathit{f}}_i}(\frac{2\pi }{3}){\mathit{v}}_1,{\mathit{w}}_2^i=R_{{\mathit{f}}_i}(\frac{2\pi }{3}){\mathit{v}}_2,i=1,..,5.\end{array}$$

(38)

together with the corresponding ${\mathit{U}}^i$ and ${\mathit{u}}^i$. Defining $T_x$ as a reflection around the x axis, (Figure 8):

$$\begin{array}{cccccc}\hfill {\mathit{n}}_1& ={\mathit{U}}^1+t_1{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_2& ={\mathit{U}}^1+t_2{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_3& =T_x{\mathit{n}}_2,{\mathit{n}}_4=T_x{\mathit{n}}_1,\hfill \\ \hfill {\mathit{n}}_5& ={\mathit{U}}^3+t_5{\mathit{u}}^3,\hfill & \hfill {\mathit{n}}_6& ={\mathit{U}}^3+t_6{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_7& =R_z(\frac{4\pi }{2})T_x{R}_z^t(\frac{4\pi }{2}){\mathit{n}}_2,\hfill \\ \hfill {\mathit{n}}_8& =R_z(\frac{4\pi }{2})T_x{R}_z^t(\frac{4\pi }{2}){\mathit{n}}_1,\hfill & \hfill {\mathit{n}}_9& ={\mathit{U}}^5+t_9{\mathit{u}}^5,\hfill & \hfill {\mathit{n}}_{10}& =R_{({\mathit{f}}_4+{\mathit{f}}_5)}(\pi ){\mathit{n}}_9.\hfill \end{array}$$

(39)

The optimizing variables are S, $t_1$, $t_2$, $t_5$, $t_6$, $t_9$, Equations (36) and (39), as well as the coordinates, in the face plane, of the non shared vertices.

8. Archimedean Solids

8.1. Truncated Platonic Solids

The p-cages generated from a truncated Platonic solid can be obtained by placing a tent on the faces of the dual solid, referred to as the underlying solid. For example, p-cages are obtained from the truncated cube by placing a triangular tent on the faces of an octahedron (Figure 9).

• Truncated tetrahedron: triangular tent on the faces of a tetrahedron.
• Truncated cube: triangular tent on the faces of an octahedron.
• Truncated octahedron: square tent on the faces of a cube.
• Truncated dodecahedron: triangular tent on the faces of a icosahedron.
• Truncated icosahedron: pentagonal tent on the faces of a dodecahedron.

The side vertices, ${\mathit{n}}_1-{\mathit{n}}_4$ are obtained exactly like for the prism (Figure 6). The bottom vertices, ${\mathit{n}}_5$ and ${\mathit{n}}_6$ are obtained by finding the intersection between the plane of the first face and the plane obtained by a $\pi$ rotation of that face around the vector ${\mathit{V}}_0=(r_{f}sin\left(\psi \right),-r_{f}cos\left(\psi \right),r_i)$ where $r_f$ and $r_i$ are properties, listed in

Table 5. Inner radius, $r_i$, inner face radius, $r_f$, and dihedral angle of Platonic solid of edge length 1. ${\varphi }_g=(1+\sqrt{5})/2$.

Solid	${\mathit{r}}_{\mathit{i}}$	${\mathit{r}}_{\mathit{f}}$	${\mathit{\varphi }}_{\mathit{d}}$
Tetrahedron	$1/\sqrt{24}$	$1/(2tan\left(\frac{\pi }{3}\right))$	$2arctan(1/\sqrt{2})$
Cube	$1/2$	$1/2$	$\pi /2$
Octahedron	$1/\sqrt{6}$	$1/(2tan\left(\frac{\pi }{3}\right))$	$2arctan\left(\sqrt{2}\right)$
Dodecahedron	${\varphi }_g^2/\left(2\sqrt{3-{\varphi }_g}\right)$	$1/(2tan\left(\frac{\pi }{5}\right))$	$2arctan\left({\varphi }_g\right)$
Icosahedron	${\varphi }_g^2/\sqrt{12}$	$1/(2tan\left(\frac{\pi }{3}\right))$	$2arctan\left({\varphi }_g^2\right)$

, of the Platonic solid on which the p-cage faces are placed.

The vertices ${\mathit{n}}_5$ and ${\mathit{n}}_6$ are then placed symmetrically around the point of intersection between the line span by ${\mathit{V}}_0$ and the intersection between the planes of the two faces.

The normal to the faces is $\mathit{V}$ given by (11) and for the cage to be convex the angle between $\mathit{V}$ and the normal to the Platonic solid face on which the tent is built, $\theta =arccos\left((\mathit{V}·{\widehat{e}}_x)\right)$, must be smaller than $\pi -{\varphi }_d$ where ${\varphi }_d$ is the dihedral angle of the underlying Platonic solid.

8.2. Cuboctahedron

The dual of the cuboctahedron is a rhombic dodecahedron which is made out of twelve identical rhombi. This can also be thought of as four triangular pyramids placed on the faces of a tetrahedron. The faces of the pyramids are located near the corner of the triangles so as to be adjacent to two faces of two other pyramids. This can be done in two different ways, around the triple ‘a’ vertex or around the the triple ‘c’ one. In both cases, the quadrivalent holes are mapped on the edges of the tetrahedron (Figure 10).

We take the following coordinates for the tetrahedron,

${\mathit{f}}_1=(1/2,1/2\sqrt{3},1/2\sqrt{6})$, ${\mathit{f}}_2=(-1/2,1/2\sqrt{3},1/2\sqrt{6})$, ${\mathit{f}}_3=(0,-1/\sqrt{3},1/2\sqrt{6})$, and ${\mathit{f}}_4=(0,0,-\sqrt{3/8})$, which correspond to an upside down pyramid.

We choose the following vectors:

$$\begin{array}{cccccc}\hfill \mathit{V}& =S\left(0,-sin\left(\theta \right),cos\left(\theta \right)\right),\hfill & \hfill {\mathit{v}}_1& =(1,0,0),\hfill & \hfill {\mathit{v}}_2& =\frac{\mathit{V}\times {\mathit{v}}_1}{|\mathit{V}\times {\mathit{v}}_1|},\hfill \end{array}$$

(40)

where S is a scaling parameter, to describe the plane of the reference face. The adjacent face belonging to the same pyramid is then given by:

$$\begin{array}{c}\hfill {\mathit{W}}^1=R_z(\frac{2\pi }{3})\mathit{V},{\mathit{w}}_1^1=R_z(\frac{2\pi }{3}){\mathit{v}}_1,{\mathit{w}}_2^1=R_z(\frac{2\pi }{3}){\mathit{v}}_2\end{array}$$

(41)

and using the corresponding $\mathit{U}$ and $\mathit{u}$:

$$\begin{array}{c}\hfill {\mathit{n}}_1^1=\mathit{U}+t_1\mathit{u},{\mathit{n}}_2=\mathit{U}+t_2\mathit{u},{\mathit{n}}_3^1=R_z(\frac{-2\pi }{3}){\mathit{n}}_2{\mathit{n}}_4^1=R_z(\frac{-2\pi }{3}){\mathit{n}}_1.\end{array}$$

(42)

For the remaining four vertices, we must consider the axis ${\mathit{f}}_3$ as an axis of symmetry which can also be rotated by an angle $\psi$ around the z axis: ${\mathit{g}}_3=R_z\left(\psi \right){\mathit{f}}_3$. Then the adjacent face containing ${\mathit{n}}_7$ and ${\mathit{n}}_8$ is spanned by the vectors:

$$\begin{array}{c}\hfill {\mathit{W}}^2=R_{{\mathit{g}}_3}(\frac{2\pi }{3})\mathit{V},{\mathit{w}}_1^2=R_{{\mathit{g}}_3}(\frac{2\pi }{3}){\mathit{v}}_1,{\mathit{w}}_2^2=R_{{\mathit{g}}_3}(\frac{2\pi }{3}){\mathit{v}}_2\end{array}$$

(43)

and using the corresponding $\mathit{U}$ and $\mathit{u}$:

$$\begin{array}{cccc}\hfill {\mathit{n}}_7^2& =\mathit{U}+t_7\mathit{u}\hfill & \hfill {\mathit{n}}_8& =\mathit{U}+t_8\mathit{u}\hfill \\ \hfill {\mathit{n}}_5^2& =R_{{\mathit{g}}_3}(\frac{-2\pi }{3}){\mathit{n}}_8\hfill & \hfill {\mathit{n}}_6^2& =R_{{\mathit{g}}_3}(\frac{-2\pi }{3}){\mathit{n}}_7.\hfill & \hfill \end{array}$$

(44)

The optimizing variables are S, $t_1$, $t_2$, $t_7$, and $t_8$, Equations (40), (42), and (44), as well as the coordinates, in the face plane, of the non shared vertices.

The rhombic dodecahedron has twelve quadrilateral faces. These faces have two vertices with three neighbors and two with four. One can split the quadrivalent vertices in two by inserting an extra edge and do so to obtain the graph of the dodecahedron. This means that the regular p-cages obtained by tiling the faces of the dodecahedron such that the added edge matches a shared edge of the p-cage face corresponds to a degenerate symmetric p-cage derived from the cubocatehedron. More explicitly, Aco_P10_1_1_1_3, Aco_P15_2_2_2_5, and Aco_P20_3_3_3_7 are degenerate cases of Pic_P10_1_1_1_1_1,

Pic_P15_2_2_2_2_2, and Pic_P20_3_3_3_3_3, respectively.

8.3. Icosidodecahedron

The dual of the icosidodecahedron is a rhombic tricontahedron which is made out of 30 identical rhombi. The p-cage is obtained by inscribing a P-gon inside that rhombus face (Figure 11).

The line ${\mathit{n}}_1-{\mathit{n}}_2$ is obtained by determining the intersection of the plane containing the master face and the one obtained after a $2\pi /3$ rotation about the axis ${\mathit{f}}_1$. Then, ${\mathit{n}}_3$ and ${\mathit{n}}_4$ are obtained by performing a reflection around the ${\mathit{f}}_1-{\mathit{f}}_3$ axis of ${\mathit{n}}_2$ and ${\mathit{n}}_1$, respectively. The vertices ${\mathit{n}}_5$, ${\mathit{n}}_6$, ${\mathit{n}}_7$, and ${\mathit{n}}_8$ are obtained by performing a reflection around the ${\mathit{f}}_2-{\mathit{f}}_4$ axis of ${\mathit{n}}_4$, ${\mathit{n}}_3$, ${\mathit{n}}_2$, and ${\mathit{n}}_1$, respectively.

The coordinates of the rhombic tricontahedron are given by:

$$\begin{array}{cc}\left(\pm {\varphi }_g^2,\pm {\varphi }_g^2,\pm {\varphi }_g^2\right)\hfill & \hfill 8\mathrm{vertices}\end{array}$$

(45)

$$\begin{array}{cc}\left(\pm {\varphi }_g^3,\pm {\varphi }_g,0\right)\hfill & \hfill +\mathrm{cycl}.:12\mathrm{vertices}\end{array}$$

(46)

$$\begin{array}{cc}\left(\pm {\varphi }_g^2,\pm {\varphi }_g^3,0\right)\hfill & \hfill +\mathrm{cycl}.:12\mathrm{vertices}\end{array}$$

(47)

The first 20 vertices are trivalent while the last 12 are pentavalent.

Up to a scaling factor, we can take ${\mathit{f}}_1=({\varphi }_g^2,0,{\varphi }_d^3)$, ${\mathit{f}}_2=(0,{\varphi }_g,{\varphi }_d^3)$, ${\mathit{f}}_3=(-{\varphi }_g^2,0,{\varphi }_d^3)$, and ${\mathit{f}}_4=(0,-{\varphi }_g,{\varphi }_d^3)$. The center of the master face is then ${\mathit{V}}_f=({\mathit{f}}_1+{\mathit{f}}_3)/2=(0,0,{\varphi }_g^3)$.

We take:

$$\begin{array}{c}\hfill \mathit{V}=S{\mathit{V}}_f,{\mathit{v}}_1=(1,0,0),{\mathit{v}}_2=(0,1,0)\end{array}$$

(48)

and

$$\begin{array}{c}\hfill {\mathit{W}}^i=R_{{\mathit{f}}_i}(\frac{2\pi }{3})\mathit{V},{\mathit{w}}_1^i=R_{{\mathit{f}}_i}(\frac{2\pi }{3}){\mathit{v}}_1,{\mathit{w}}_2^i=R_{{\mathit{f}}_i}(\frac{2\pi }{3}){\mathit{v}}_2,i=1,3,\end{array}$$

(49)

together with the corresponding ${\mathit{U}}^1$, ${\mathit{u}}^1$, ${\mathit{U}}^3$, and ${\mathit{u}}^3$.

Then:

$$\begin{array}{cccccccc}\hfill {\mathit{n}}_1& ={\mathit{U}}^1+t_1{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_2& ={\mathit{U}}^1+t_2{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_3& =T_x{\mathit{n}}_2,\hfill & \hfill {\mathit{n}}_4& =T_x{\mathit{n}}_1,\hfill \\ \hfill {\mathit{n}}_5& =T_y{\mathit{n}}_4,\hfill & \hfill {\mathit{n}}_6& =T_y{\mathit{n}}_3,\hfill & \hfill {\mathit{n}}_7& =T_y{\mathit{n}}_2,\hfill & \hfill {\mathit{n}}_8& =T_y{\mathit{n}}_1.\hfill \end{array}$$

(50)

The optimizing variables are S, $t_1$, $t_2$, Equations (48) and (50), as well as the coordinates, in the face plane, of the non shared vertices.

8.4. Rhombicuboctahedron

The dual of the rhombicuboctahedron is the deltoidal icositetrahedron. It is made out of twenty-four kite faces. Three of the vertices of the faces are quadrivalent while the fourth one is trivalent. Up to an overall scale, they are at the following positions:

$$\begin{array}{ccc}\hfill & \left(\pm 1,0,0\right),\hfill & \hfill +\mathrm{cycl}.:8\mathrm{quadrivalent}\mathrm{vertices}\end{array}$$

(51)

$$\begin{array}{ccc}\hfill & \left(0,\pm \frac{1}{\sqrt{2}},\pm \frac{1}{\sqrt{2}}\right),\hfill & \hfill +\mathrm{cycl}.:12\mathrm{quadrivalent}\mathrm{vertices}\end{array}$$

(52)

$$\begin{array}{ccc}\hfill & \left(\pm \frac{\sqrt{8}+1}{7},\pm \frac{\sqrt{8}+1}{7},\pm \frac{\sqrt{8}+1}{7}\right)\hfill & \hfill 8\mathrm{trivalent}\mathrm{vertices}.\end{array}$$

(53)

The deltoidal icositetrahedron can be projected onto a cube so that each kite becomes one of four squares on the face of the cube. As a result, building the cage consists in placing a square tent on each face of a cube so that the bottom of the faces are joined with the two faces merging at the corners of the cube. The tent can be twisted.

We place the corner of the cube at the coordinates $(0,\pm 1,\pm 1/\sqrt{2})$ and $(\pm 1,0,\pm 1/\sqrt{2})$ and pick ${\mathit{f}}_1=(0,-1,1/\sqrt{2})$. We take ${\mathit{v}}_1$ and ${\mathit{v}}_2$ as the orthonormal coordinate vectors for the reference face and $\mathit{V}$ as the center of the face:

$$\begin{array}{ccc}\hfill {\mathit{v}}_1& =& (cos(\psi ),-sin(\psi )sin(\theta ),sin(\psi )cos(\theta \left)\right),\hfill \\ \hfill {\mathit{v}}_2& =& (0,cos(\theta ),sin(\theta \left)\right),\hfill \\ \hfill \mathit{V}& =& Scos\left(\psi \right)(sin\left(\theta \right)+cos\left(\theta \right))({\mathit{v}}_1\times {\mathit{v}}_2).\hfill \end{array}$$

(54)

Then:

$$\begin{array}{cccccc}\hfill {\mathit{W}}^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{3})\mathit{V},\hfill & \hfill {\mathit{w}}_1^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{3}){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{3}){\mathit{v}}_2\hfill \\ \hfill {\mathit{W}}^3& =R_z(\frac{\pi }{2})\mathit{V},\hfill & \hfill {\mathit{w}}_1^3& =R_z(\frac{\pi }{2}){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^3& =R_z(\frac{\pi }{2}){\mathit{v}}_2\hfill \end{array}$$

(55)

together with the corresponding ${\mathit{U}}^1$, ${\mathit{u}}^1$, ${\mathit{U}}^3$, and ${\mathit{u}}^3$.

The line ${\mathit{n}}_1-{\mathit{n}}_2$ corresponds to the intersection of the master plane and its $2\pi /3$ rotation around the ${\mathit{f}}_1$ axis. Then ${\mathit{n}}_3$ and ${\mathit{n}}_4$ are obtained respectively by rotating ${\mathit{n}}_2$ and ${\mathit{n}}_1$ by $-2\pi /3$ around the ${\mathit{f}}_1$ axis.

The line ${\mathit{n}}_5-{\mathit{n}}_6$ corresponds to the intersection of the master plane and its $\pi /2$ rotation around the z axis. Then ${\mathit{n}}_7$ and ${\mathit{n}}_8$ are obtained by respectively rotating ${\mathit{n}}_6$ and ${\mathit{n}}_5$ by $-\pi /2$ around the z axis.

$$\begin{array}{ccccccccc}\hfill {\mathit{n}}_1& ={\mathit{U}}^1+t_1{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_2& ={\mathit{U}}^1+t_2{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_3& =R_{{\mathit{f}}_1}\left(\frac{2\pi }{3}\right){\mathit{n}}_2,\hfill & \hfill {\mathit{n}}_4& =R_{{\mathit{f}}_1}\left(\frac{2\pi }{3}\right){\mathit{n}}_1,\hfill & \hfill \\ \hfill {\mathit{n}}_5& ={\mathit{U}}^3+t_5{\mathit{u}}^3,\hfill & \hfill {\mathit{n}}_6& ={\mathit{U}}^3+t_6{\mathit{u}}^3,\hfill & \hfill {\mathit{n}}_7& =R_z\left(\frac{-\pi }{2}\right){\mathit{n}}_6,\hfill & \hfill {\mathit{n}}_8& =R_z\left(\frac{-\pi }{2}\right){\mathit{n}}_5.\hfill & \hfill \end{array}$$

(56)

To ensure that the cage is convex, we must also impose that the triangular tents are not concave. This implies the following condition: $(\mathit{n}\times {\mathit{f}}_1)·{\mathit{v}}_1>0$.

The optimizing variables are S, $\psi$, $t_1$, $t_2$, $t_5$, $t_6$, Equations (54) and (56), as well as the coordinates, in the face plane, of the non shared vertices (Figure 12).

8.5. Rhombicosidodecahedron

The dual of the rhombicosidodecahedron is the deltoidal hexecontahedron. It is made out of sixty kite faces. Three of the vertices are pentavalent while the fourth one is trivalent. The p-cage built from the rhombicosidodecahedron can be obtained by placing tents on the faces of a dodecahedron (Figure 13).

If a is the length of each edges, the inner radius of a dodecahedron is $r_i=a/2\sqrt{5/2+11\sqrt{5}/10}$, while the outer radius of each face is $r_h=a/(2sin(\pi /5))$. Then the angle ${\xi }_d$ between the center of the face and one of the vertices is such that:

$$\begin{array}{c}\hfill tan\left({\xi }_d\right)=\frac{r_h}{r_i}={\left(sin(\frac{\pi }{5})\sqrt{\frac{5}{2}+\frac{11}{10}\sqrt{5}}\right)}^{-1}.\end{array}$$

(57)

To describe the plane of the reference face we take $V=(0,0,1)$ and define:

$$\begin{array}{c}\hfill {\mathit{f}}_1=\left(0,tan\left({\xi }_d\right),1\right).\end{array}$$

(58)

Then the orthonormal coordinate vectors for the master face ${\mathit{v}}_1$, ${\mathit{v}}_2$ are, once again, given by (54).

$$\begin{array}{ccc}\hfill \mathit{V}& =& Scos\left(\psi \right)(cos\left(\theta \right)-sin\left(\theta \right))tan\left({\xi }_d\right)({\mathit{v}}_1\times {\mathit{v}}_2).\hfill \end{array}$$

(59)

Then:

$$\begin{array}{cccccc}\hfill {\mathit{W}}^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{3})\mathit{V},\hfill & \hfill {\mathit{w}}_1^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{3}){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{3}){\mathit{v}}_2\hfill \\ \hfill {\mathit{W}}^3& =R_z(\frac{2\pi }{5})\mathit{V},\hfill & \hfill {\mathit{w}}_1^3& =R_z(\frac{2\pi }{5}){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^3& =R_z(\frac{2\pi }{5}){\mathit{v}}_2\hfill \end{array}$$

(60)

together with the corresponding ${\mathit{U}}^1$, ${\mathit{u}}^1$, ${\mathit{U}}^3$, and ${\mathit{u}}^3$.

The line ${\mathit{n}}_1-{\mathit{n}}_2$ corresponds to the intersection of the master plane and its $2\pi /3$ rotation around the ${\mathit{f}}_1$ axis. Then ${\mathit{n}}_3$ and ${\mathit{n}}_4$ are obtained by respectively rotating ${\mathit{n}}_2$ and ${\mathit{n}}_1$ by $-2\pi /3$ around the ${\mathit{f}}_1$ axis.

The line ${\mathit{n}}_5-{\mathit{n}}_6$ corresponds to the intersection of the master plane and its $2\pi /5$ rotation around the z axis. Then ${\mathit{n}}_7$ and ${\mathit{n}}_8$ are obtained by respectively rotating ${\mathit{n}}_6$ and ${\mathit{n}}_5$ by $-2\pi /5$ around the z axis.

$$\begin{array}{ccccccccc}\hfill {\mathit{n}}_1& ={\mathit{U}}^1+t_1{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_2& ={\mathit{U}}^1+t_2{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_3& =R_{{\mathit{f}}_1}(\frac{2\pi }{3}){\mathit{n}}_2,\hfill & \hfill {\mathit{n}}_4& =R_{{\mathit{f}}_1}(\frac{2\pi }{3}){\mathit{n}}_1,\hfill & \hfill \\ \hfill {\mathit{n}}_5& ={\mathit{U}}^3+t_5{\mathit{u}}^3,\hfill & \hfill {\mathit{n}}_6& ={\mathit{U}}^3+t_6{\mathit{u}}^3,\hfill & \hfill {\mathit{n}}_7& =R_z(\frac{-2\pi }{5}){\mathit{n}}_6,\hfill & \hfill {\mathit{n}}_8& =R_z(\frac{-2\pi }{5}){\mathit{n}}_5.\hfill & \hfill \end{array}$$

(61)

To ensure that the cage is convex, we must also impose that the triangular tents are not concave. This implies the following conditions: $(\mathit{n}\times {\mathit{f}}_1)·{\mathit{v}}_1>0$.

The optimizing variables are S, $\theta$, $\psi$, $t_1$, $t_2$, $t_5$, $t_6$, Equations (59) and (61), as well as the coordinates, in the face plane, of the non shared vertices.

8.6. Snub Cube

The dual of the snub cube is the pentagonal icositetrahedron. It is made out of twenty-four  irregular pentagons. It can be seen as six square base tents made out of irregular pentagons built around a regular cube. The main axes of these tents are the axes going through the centers of the faces of the cube. Alternatively, it can be seen as right triangular base tents, the main axes corresponding to the vertices of the cube (Figure 14).

The vertices ${\mathit{n}}_3$ and ${\mathit{n}}_4$ are related respectively to the vertices ${\mathit{n}}_2$ and ${\mathit{n}}_1$ by a $-2\pi /4$ rotation around ${\mathit{f}}_1$, where ${\mathit{f}}_1$ points to the center of a face of a cube. The vertices ${\mathit{n}}_7$ and ${\mathit{n}}_8$ are related respectively to the vertices ${\mathit{n}}_6$ and ${\mathit{n}}_5$ by a $2\pi /3$ rotation around ${\mathit{f}}_3$ where ${\mathit{f}}_3$ points to a vertex of a cube. If we take ${\mathit{f}}_1=(0,0,1)$ and ${\mathit{f}}_3=(1,-1,1)$ then the vertices ${\mathit{n}}_9$ and ${\mathit{n}}_{10}$ are related to each other by a $\pi$ rotation around $\mathit{g}=(1,0,1)$.

We take:

$$\begin{array}{ccc}\hfill {\mathit{v}}_1& =& (1,0,0),{\mathit{v}}_2=(0,cos\left(\theta \right),sin\left(\theta \right)),\hfill \\ \hfill \mathit{V}& =& Scos\left(\theta \right)({\mathit{v}}_1\times {\mathit{v}}_2)=Scos\left(\theta \right)(0,-sin\left(\theta \right),cos\left(\theta \right))\hfill \end{array}$$

(62)

We then rotate the vectors ${\mathit{f}}_3$ and ${\mathit{g}}_1$ by an angle $\psi$. For the pentagonal icositetrahedron $\theta \approx 31.{75}^{\circ }$ $\psi \approx 61.{46}^{\circ }$.

Using the vector $\mathit{g}=(1,0,1)$ we define:

$$\begin{array}{cccccc}\hfill {\mathit{W}}^1& =R_{{\mathit{f}}_1}(\frac{\pi }{2})\mathit{V},\hfill & \hfill {\mathit{w}}_1^1& =R_{{\mathit{f}}_1}(\frac{\pi }{2}){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^1& =R_{{\mathit{f}}_1}(\frac{\pi }{2}){\mathit{v}}_2\hfill \\ \hfill {\mathit{W}}^2& =R_{{\mathit{f}}_3}(\frac{2\pi }{3})\mathit{V},\hfill & \hfill {\mathit{w}}_1^2& =R_{{\mathit{f}}_3}(\frac{2\pi }{3}){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^2& =R_{{\mathit{f}}_3}(\frac{2\pi }{3}){\mathit{v}}_2\hfill \\ \hfill {\mathit{W}}^3& =R_{\mathit{g}}(\frac{2\pi }{3})\mathit{V},\hfill & \hfill {\mathit{w}}_1^3& =R_{\mathit{g}}(\pi ){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^3& =R_{\mathit{g}}(\pi ){\mathit{v}}_2.\hfill \end{array}$$

(63)

together with the corresponding ${\mathit{U}}^i$ and ${\mathit{u}}^i$.

$$\begin{array}{ccccccccc}\hfill {\mathit{n}}_1& ={\mathit{U}}^1+t_1{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_2& ={\mathit{U}}^1+t_2{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_3& =R_{{\mathit{f}}_1}(\frac{-\pi }{2}){\mathit{n}}_2,\hfill & \hfill {\mathit{n}}_4& =R_{{\mathit{f}}_1}(\frac{-\pi }{2}){\mathit{n}}_1,\hfill & \hfill \\ \hfill {\mathit{n}}_5& ={\mathit{U}}^2+t_5{\mathit{u}}^2,\hfill & \hfill {\mathit{n}}_6& ={\mathit{U}}^2+t_6{\mathit{u}}^2,\hfill & \hfill {\mathit{n}}_7& =R_{{\mathit{f}}_3}(\frac{-2\pi }{3}){\mathit{n}}_6,\hfill & \hfill {\mathit{n}}_8& =R_{{\mathit{f}}_3}(\frac{-2\pi }{3}){\mathit{n}}_5,\hfill & \hfill \\ \hfill {\mathit{n}}_9& ={\mathit{U}}^3+t_9{\mathit{u}}^3,\hfill & \hfill {\mathit{n}}_{10}& ={\mathit{U}}^3-t_9{\mathit{u}}^3.\hfill \end{array}$$

(64)

The optimizing variables are S, $\theta$, $\psi$, $t_1$, $t_2$, $t_5$, $t_6$, $t_9$, Equations (62) and (64), as well as the coordinates, in the face plane, of the non shared vertices.

8.7. Snub Dodecahedron

The dual of the snub dodecahedron is the pentagonal hexecontahedron. It is made out of sixty irregular pentagons. It can be seen as twelve pentagonal base tents made out of irregular pentagons built around a regular dodecahedron. The main axes of these tents are the axes going through the centers of the faces or the dodecahedron. Alternatively it can be seen as twenty triangular base tents, the main axes corresponding to the vertices of the dodecahedron (Figure 15).

The vertices ${\mathit{n}}_3$ and ${\mathit{n}}_4$ are related respectively to the vertices ${\mathit{n}}_2$ and ${\mathit{n}}_1$ by a $-2\pi /5$ rotation around ${\mathit{f}}_1$, where ${\mathit{f}}_1$ points to the center of a face of a dodecahdron. The vertices ${\mathit{n}}_7$ and ${\mathit{n}}_8$ are related respectively to the vertices ${\mathit{n}}_6$ and ${\mathit{n}}_5$ by $2\pi /3$ rotation around ${\mathit{f}}_3$ where ${\mathit{f}}_3$ points to a vertex of a cube. If we take ${\mathit{f}}_1=(0,0,1)$ and ${\mathit{f}}_3=(0,tan\left({\xi }_d\right),1)$ then

${\widehat{\mathit{f}}}_3=(sin(2\pi /5)tan\left({\xi }_d\right),-cos(2\pi /5)tan\left({\xi }_d\right),1)$ where ${\xi }_d$ is given by (56). The vertices ${\mathit{n}}_9$ and ${\mathit{n}}_{10}$ are related to each other by a $\pi$ rotation around $\mathit{g}$ where $\mathit{g}=({\mathit{f}}_3+{\widehat{\mathit{f}}}_3)/2=(sin(2\pi /5)tan\left({\xi }_d\right)/2,-(1+cos(2\pi /5))tan\left({\xi }_d\right)/2,1)$.

We take:

$$\begin{array}{ccc}\hfill {\mathit{v}}_1& =& (1,0,0),{\mathit{v}}_2=(0,cos\left(\theta \right),sin\left(\theta \right)),\hfill \\ \hfill \mathit{V}& =& Scos\left(\theta \right)({\mathit{v}}_1\times {\mathit{v}}_2)=Scos\left(\theta \right)(0,-sin\left(\theta \right),cos\left(\theta \right))\hfill \end{array}$$

(65)

Next, we rotate the vectors ${\mathit{f}}_3$ and ${\mathit{g}}_1$ by an angle $\psi$. For the pentagonal icositetrahedron $\theta \approx 31.{75}^{\circ }$ $\psi \approx 61.{46}^{\circ }$.

Using the vector $\mathit{g}=(1,0,1)$ we define:

$$\begin{array}{cccccc}\hfill {\mathit{W}}^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{5})\mathit{V},\hfill & \hfill {\mathit{w}}_1^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{5}){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^1& =R_{{\mathit{f}}_1}(\frac{2\pi }{5}){\mathit{v}}_2\hfill \\ \hfill {\mathit{W}}^2& =R_{{\mathit{f}}_3}(\frac{2\pi }{3})\mathit{V},\hfill & \hfill {\mathit{w}}_1^2& =R_{{\mathit{f}}_3}(\frac{2\pi }{3}){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^2& =R_{{\mathit{f}}_3}(\frac{2\pi }{3}){\mathit{v}}_2\hfill \\ \hfill {\mathit{W}}^3& =R_{\mathit{g}}(\frac{2\pi }{3})\mathit{V},\hfill & \hfill {\mathit{w}}_1^3& =R_{\mathit{g}}\left(\pi \right){\mathit{v}}_1,\hfill & \hfill {\mathit{w}}_2^3& =R_{\mathit{g}}\left(\pi \right){\mathit{v}}_2.\hfill \end{array}$$

(66)

together with the corresponding ${\mathit{U}}^i$ and ${\mathit{u}}^i$.

$$\begin{array}{ccccccccc}\hfill {\mathit{n}}_1& ={\mathit{U}}^1+t_1{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_2& ={\mathit{U}}^1+t_2{\mathit{u}}^1,\hfill & \hfill {\mathit{n}}_3& =R_{{\mathit{f}}_1}(\frac{-2\pi }{5}){\mathit{n}}_2,\hfill & \hfill {\mathit{n}}_4& =R_{{\mathit{f}}_1}(\frac{-2\pi }{5}){\mathit{n}}_1,\hfill & \hfill \\ \hfill {\mathit{n}}_5& ={\mathit{U}}^2+t_5{\mathit{u}}^2,\hfill & \hfill {\mathit{n}}_6& ={\mathit{U}}^2+t_6{\mathit{u}}^2,\hfill & \hfill {\mathit{n}}_7& =R_{{\mathit{f}}_3}(\frac{-2\pi }{3}){\mathit{n}}_6,\hfill & \hfill {\mathit{n}}_8& =R_{{\mathit{f}}_3}(\frac{-2\pi }{3}){\mathit{n}}_5,\hfill & \hfill \\ \hfill {\mathit{n}}_9& ={\mathit{U}}^3+t_9{\mathit{u}}^3,\hfill & \hfill {\mathit{n}}_{10}& ={\mathit{U}}^3-t_9{\mathit{u}}^3.\hfill \end{array}$$

(67)

The optimizing variables are S, $\theta$, $\psi$, $t_1$, $t_2$, $t_5$, $t_6$, $t_9$, Equations (65) and (67), as well as the coordinates, in the face plane, of the non shared vertices.

9. Results

We have found 2371 symmetric p-cages (near-miss or regular) for polygonal faces with 6 to 20 edges and a deformation not exceeding 10%. The least iregular p-cages are shown in

Table 6. Least irregular p-cages built from prisms and antiprisms solid hole polyhedra.

tp_P17_3_5_6 ${\mathsf{\Delta }}_l=0.00120$ ${\mathsf{\Delta }}_a=0.00120$	sp_P18_5_4_6 ${\mathsf{\Delta }}_l=0.00224$ ${\mathsf{\Delta }}_a=0.00224$	pp_P18_6_4_5 ${\mathsf{\Delta }}_l=0.00012$ ${\mathsf{\Delta }}_a=0.00012$	hp_P19_7_4_5 ${\mathsf{\Delta }}_l=0.00038$ ${\mathsf{\Delta }}_a=0.00038$
7p_P18_7_3_5 ${\mathsf{\Delta }}_{\mathit{l}}=0.00195$ ${\mathsf{\Delta }}_{\mathit{a}}=0.00195$	8p_P20_8_4_5 ${\mathsf{\Delta }}_l=0.00214$ ${\mathsf{\Delta }}_a=0.00214$	9p_P15_6_2_4 ${\mathsf{\Delta }}_l=0.00145$ ${\mathsf{\Delta }}_a=0.00145$	10p_P17_7_3_4 ${\mathsf{\Delta }}_l=0.00054$ ${\mathsf{\Delta }}_a=0.00054$
ta_P19_3_4_4_4 ${\mathsf{\Delta }}_l=0.02502$ ${\mathsf{\Delta }}_a=0.02504$	sa_P14_4_2_2_2 ${\mathsf{\Delta }}_l=0.00731$ ${\mathsf{\Delta }}_a=0.00731$	pa_P19_6_3_3_3 ${\mathsf{\Delta }}_l=0.02698$ ${\mathsf{\Delta }}_a=0.02701$	ha_P16_6_2_2_2 ${\mathsf{\Delta }}_l=0.01074$ ${\mathsf{\Delta }}_a=0.01074$
7a_P16_6_2_2_2 ${\mathsf{\Delta }}_l=0.0128622$ ${\mathsf{\Delta }}_a=0.0128754$	8a_P11_4_1_1_1 ${\mathsf{\Delta }}_l=0.00800$ ${\mathsf{\Delta }}_a=0.00800$	9a_P17_7_2_2_2 ${\mathsf{\Delta }}_l=0.00433$ ${\mathsf{\Delta }}_a=0.00433$	10a_P17_7_2_2_2 ${\mathsf{\Delta }}_l=0.00385$ ${\mathsf{\Delta }}_a=0.00385$

and

Table 7. Least irregular p-cages built from Platonic and Archimedean solid hole polyhedra.

Pte_P20_5_6_6 ${\mathsf{\Delta }}_l=0.03912$ ${\mathsf{\Delta }}_a=0.03912$	Poc2_P18_3_4_3_4 ${\mathsf{\Delta }}_l=0$ ${\mathsf{\Delta }}_a=0.01563$	Pic_P18_2_3_2_3_3 ${\mathsf{\Delta }}_l=0.04420$ ${\mathsf{\Delta }}_a=0.04422$	Att_P16_2_5_6 ${\mathsf{\Delta }}_l=0.00055$ ${\mathsf{\Delta }}_a=0.00055$
Atc_P17_2_4_8 ${\mathsf{\Delta }}_l=0.00057$ ${\mathsf{\Delta }}_a=0.00060$	Ato_P15_3_4_5 ${\mathsf{\Delta }}_l=0.00110$ ${\mathsf{\Delta }}_a=0.00110$	Atd_P17_2_6_6 ${\mathsf{\Delta }}_l=0.00006$ ${\mathsf{\Delta }}_a=0.00020$	Ati_P16_4_2_7 ${\mathsf{\Delta }}_l=0.00042$ ${\mathsf{\Delta }}_a=0.00042$
Aco_P17_2_4_3_4 ${\mathsf{\Delta }}_l=0$ ${\mathsf{\Delta }}_a=0.00083$	Aid_P18_2_5_2_5 ${\mathsf{\Delta }}_l=0$ ${\mathsf{\Delta }}_a=0.00716$	Arcd_P16_2_3_4_3 ${\mathsf{\Delta }}_l=0.00653$ ${\mathsf{\Delta }}_a=0.00653$	Arco_P11_1_2_2_2 ${\mathsf{\Delta }}_l=0.00020$ ${\mathsf{\Delta }}_a=0.00109$
Asc_P11_2_1_1_1_1 ${\mathsf{\Delta }}_l=0.00499$ ${\mathsf{\Delta }}_a=0.00273$	Asd_P16_4_2_1_2_2 ${\mathsf{\Delta }}_l=0.03597$ ${\mathsf{\Delta }}_a=0.05405$

. The numbers of p-cages for each regular solid are listed in

Table 8. Number of p-cages for each hole-edge regular solid. P = 6 to 20. n is the total number of symmetric p-cages with a deformation smaller or equal to 10%, including regular p-cages. $n_r$ is the total number of regular p-cages (no deformations).

Hole-Edge Solid	n	${\mathit{n}}_{\mathit{R}}$	Hole-Edge Solid	n	${\mathit{n}}_{\mathit{R}}$
Triangular Prism	140	39	Tetrahedron	18	5
Square Prism	125	28	Cube=Square Prism	(125)	(28)
Pentagonal Prism	114	25	Octahedron	11	4
Hexagonal Prism	107	21	Dodecahedron	5	5
Heptagonal Prism	101	16	Icosahedron	16	3
Octagonal Prism	92	15	Truncated Tetrahedron	108	9
Nonagonal Prism	86	13	Truncated Cube	103	2
Decagonal Prism	80	13	Truncated Octahedron	122	7
Triangular Antiprism	42	4	Truncated Dodecahedron	102	1
Square Antiprism	31	0	Truncated Icosahedron	124	1
Pentagonal Antiprism	29	3	Cuboctahedron	193	4
Hexagonal Antiprism	26	0	Rhombicuboctahedron	232	5
Heptagonal Antiprism	24	0	Snub Cube	69	0
Octagonal Antiprism	23	0	Snub Dodecahedron	10	0
Nonagonal Antiprism	21	0	Icosidodecahedron	19	0
Decagonal Antiprism	20	0	Rhombicosidodecahedron	178	1

. The full description of all the p-cages with a deformation not exceeding 10% is listed in the Supplementary Materials. The Supplementary Materials also contains the coordinates of each p-cage as off files. In [7], p-cages were constructed without assuming the regularity of the faces, which could then be deformed differently from each others (P was ranging from 6 to 17 only). This potentially allows for less deformed p-cages than the symmetric ones. Most of the symmetric p-cages found here are similar to the p-cages found in [7] but there are a number of exceptions. A full comparison of the p-cages found here and in [7] is given in the Supplementary Materials. Sometimes the symmetric p-cages are slightly less deformed than the non-symmetric ones. This is due to the fact that the relaxation performed in [7] did not always find the least deformed p-cages. There are also examples where the non-symmetric p-cages are less deformed than the symmetric ones and close inspection of the faces of the non-symmetric p-cages shows that the faces are not identical, allowing for less deformed p-cages.

Most of the p-cages generated from the prisms and antiprisms look like two rings of faces joined together at the base, as shown in Table 6. Because the Platonic solids are dual of each other, the p-cages generated from them correspond to polygons placed on the faces of the dual solids of the hole-edge polyhedra. For the tetrahedron, the solid can be elongated while preserving the symmetry of the p-cage. This is also possible for the cube and the octahedron, but the corresponding p-cages are the ones built from the square prism and the square antiprism, respectively.

The p-cages generated from the Archimedean solids are overall more interesting. Notice that the only p-cages where the faces have five neighbors, the maximum allowed geometrically, are the p-cages generated from the snub cube and the snub dodecahedron. Asc_P11_2_1_1_1_1 (Table 7) is the least deformed one, with a deformation below 0.5%. All the other p-cages with five neighbors have deformations in excess of 2% (there are no regular p-cages with five neighbors).

Some of the Archimedean p-cages have a mesh-like structure, such as Atd_P17_2_6_6 for example. Others are more tightly packed, even when faces have only three neighbors, such as Ati_P16_4_2_7 where some of the hole-edges come very close together, but without touching each other.

By imposing a subgroup of the Platonic group as a symmetry to the p-cages we have substantially reduced the number of parameters required to describe the most general configurations, hence making the optimization process much less CPU intensive. The resulting p-cages are quite aesthetic and we hope they will be of interest to designers or architects, especially as they have congruent faces. Imposing the symmetry upfront will also be important for future work where one can construct p-cages made out of two or more different types of polygonal faces. One will first have to identify planar graphs made out of two or more types of nodes and identify the ones for which all the nodes belonging to the same family are equivalent. Even with only two types of polygons, the number of possible p-cages will be much larger than what we have described in this paper.