Introduction

On a flat surface, the hexagonal arrangement is a ubiquitous regular arrangement of spherical particles, arising from dense packing, space division, entropic ordering, or interactions between particles [1]. What is the regular arrangement of particles when the surface is curved? On a spherical surface, this question was firstly raised by Thomson [2], followed by Fejes Tóth [3] and Mackay et al. [4]. For regular arrangements in particular, Goldberg [5] elucidated regular polyhedra consisting of pentagonal and hexagonal faces whose centers correspond to the positions of particles, and later for biological icosahedral viruses, Caspar and Klug proposed a construction principle of regular arrangements inspired by Buckminster Fuller’s geodesic dome [68].

In contrast, regular arrangements on a saddle-shaped surface with negative Gaussian curvature have yet to be fully elucidated [914]. Mackay and Terrones [15] proposed a periodic tiling on the primitive surface inspired by fullerenes, and several tilings have been investigated from mathematical viewpoints [16, 17], and furthermore, a large number of 3D networks have been enumerated [18, 19]; however, physical interactions have not been taken into consideration. In this paper, we explore crystalline phases on triply periodic minimal surfaces (TPMSs) using Monte Carlo (MC) simulations of hard spheres. The TPMSs we consider here are the most famous three, namely the Schwarz primitive (P) and diamond (D) surfaces, and the Schoen gyroid (G) surface, which are abundant in various soft materials such as biological lipids, butterfly wings, surfactants, mesoporous materials, and block copolymers [2029].

It is well known that spherical virus capsids employ efficient designs using the icosahedral symmetry, leading to the regularity of the numbers of subunits on the spherical surface, which was explained by Caspar and Klug using the concept of the triangulation number T [6, 7]. Surprisingly, we have found only discrete numbers undergoing clear fluid–solid transitions in our MC simulations for the TPMSs. For cubic symmetry in particular, we unravel these magic numbers in terms of a similar number, the hexagulation number H, which is the main result of the present paper. Future applications of such regular arrangements are to construct complex membranes using the concepts of bijels, colloidosomes, and polymersomes [3033].

The paper is organized as follows: Section “Monte Carlo simulations” briefly explains the Monte Carlo method and presents results of simulations. We list the magic numbers and their space group symmetries and polygonal tilings. All coordinates of regular arrangements are provided in terms of Wyckoff positions of the space groups. In “Hexagulation Number,” we first review the triangulation number and then define the hexagulation number to explain the magic numbers on TPMSs. Here, we will focus regular arrangements with original space groups of TPMSs or their cubic subgroups exhibiting a strong similarity with the icosahedral viruses. Finally, discussion is given in the last section.

Monte Carlo simulations

It is widely known that even a purely hard-sphere system undergoes a fluid–solid transition, called the Alder transition, producing the hexagonal arrangement [34], whose entropy-driven ordering mechanism turns out to be universal in soft materials [35]. Above a certain critical density, the solid phase in the hexagonal arrangement gains more entropy than the fluid phase. Do regular arrangements emerge in the solid phase on the TPMSs?

Motivated by this possibility, we began an investigation on the G-surface and indeed found the Alder transition, but only for specific numbers of spheres [14]. To provide further insight into the regular arrangement and establish a unified framework, we have extended our MC simulations to the P- and D-surfaces in this study.

The well-known approximate forms [36, 37] of the surfaces are described as

$$\begin{aligned} P: s(\mathbf{q})= & \cos x+ \cos y+ \cos z=0,\\ G: s(\mathbf{q})= & \sin x \cos y+\sin y \cos z+\sin z \cos x=0,\\ D: s(\mathbf{q})= & \sin x \sin y \sin z +\sin x \cos y \cos z\\&+\cos x \sin y \cos z+\cos x \cos y \sin z=0, \end{aligned}$$

where \(\mathbf{q}=(x, y, z)\) and the lattice constant is taken to be unity; \(2\pi\) is omitted in the expressions.

In practice, the centers of spheres are confined between boundaries \(s(\mathbf{q})=-0.1\) (green) and \(s(\mathbf{q})=0.1\) (red) as shown in Fig. 1a–c. We assign \(N_{\alpha }\) to the number of spheres per cubic unit cell of the surfaces. \(\alpha\) stands for P, G, and D. We begin with a random state having a sufficiently small radius of spheres on the TPMSs, perform a MC run without any symmetry input, then increase the radius r with a small increment, and repeat the process. Details of the method of the simulations were given in Ref. [14].

The order parameter h(r) as a function of sphere radius r is defined as

$$\begin{aligned} h(r) =\left\langle \frac{1}{M}\sum _{i=1}^{M} f_{hkl} (\mathbf{q}_i)\right\rangle , \end{aligned}$$

where the sum is taken over positions of all sphere centers \(\mathbf{q}_i\), and \(\langle \cdots \rangle\) implies the MC average. The function \(f_{hkl}(\mathbf {q})\) is an invariant function under the operations of the space groups, ex. \(Im\bar{3}m\) for the P-surface [38]:

$$\begin{aligned} f_{hkl} (\mathbf{q})= \sum _\mathbf{{q} \in C_3} \cos (hx)\cos (ky)\cos (lz), \end{aligned}$$
(1)

where (hkl) is a set of integers and \(C_3\) is a group of all cyclic permutations of (xyz). Suitable choices of (hkl) for each \(N_{\alpha }\) give large absolute values of h(r) in the ordered phase.

Figure 1d shows a snapshot of an ordered structure for a \(N_\mathrm{P}=72\) system on the P-surface, in which alignments are observed in x, y,  and z directions despite undulations. To find clear phase behavior, we have employed simulation boxes consisting of multiple cells, here for instance, \(3\times 3\times 2\) cells with periodic boundary conditions; accordingly, the number of spheres is 1296 for \(N_\mathrm{P}=72\). The existence of the fluid–solid transition is judged firstly by whether there exists a discontinuous jump or not in the acceptance ratio (AR) curve representing the movable probability of MC trial moves of spheres. If not, the simulation ends up with a frozen random state with a continuous single curve. For \(N_\mathrm{P}=72\), Fig. 1e exhibits discontinuous jumps and accordingly a hysteresis loop, indicating clear evidence of the first-order transition. Similarly, in Fig. 1f, the order parameter h(r) is plotted, where \(f_{045}(\mathbf{q})\) is chosen in Eq. (1). The transition points are exactly the same as those in Fig. 1e, implying that the ordered phase near the transition region has more movable spaces for spheres than in the disordered phase, and the ordered phase is, therefore, a high entropy phase. We have examined several system sizes to check the results.

Our observation indicates that the number of spheres in a unit cell having a definite fluid–solid transition shows discrete integers. For the P-surface, we find magic numbers \(N_\mathrm{P}=20\), 32, 56, 72, and 96; for the G-surface, we find \(N_\mathrm{G}=40\), 48, 64, 112, and 144; and for the D-surface, \(N_\mathrm{D}=96\), 128, and 224 are obtained. They can be best classified according to the hexagulation numbers H, which will be discussed in the next section.

Table 1 summarizes regular structures obtained from MC simulations, where we focus our attention on structures with cubic symmetry, since the TPMSs have inherent cubic space group symmetries, \(Im\bar{3}m\), \(Ia\bar{3}d\), and \(Pn\bar{3}m\) for P-, G- and D-surfaces, respectively. Several symmetry operations of the original space groups are broken in some cases, and the ordered arrangements are accordingly assigned to subgroups. For the \(N_\mathrm{P}=72\) system, for instance, the arrangement is assigned to the space group \(Pm\bar{3}n \subset Im\bar{3}m\). We should mention that the \(\overline{H=4}\) class denotes hypothetical structures, while the \(H=4\) class is obtained from simulations. They are very similar and the difference of the positions on the surfaces is very small, but the \(\overline{H=4}\) class is more symmetric than that of \(H=4\). Because the distances between spheres are more equivalent in \(H=4\), and consequently in simulations, the symmetry of \(\overline{H=4}\) is broken into the entropically more favorable \(H=4\).

For eager readers, in Table 2 we explicitly provide the values of coordinates of spheres obtained by our MC simulations. One can consult Wyckoff positions in International Tables for Crystallography and evaluate all coordinates. Note that the Wyckoff position 96h of \(F\overline{4}3c\) for \(N_\mathrm{D}=96\) in the International Tables is not convenient because of the different choices of the origin for symmetry operation. A part of 192h of \(Fd\overline{3}c\) is more useful to reproduce our data, which are presented in Table 3.

Polygonal tilings are constructed from the center positions of spheres, represented in Fig. 2a–i. Since the magic numbers are larger for the G- and D-surfaces, we render five results for the P-surface and two for the G- and D-surfaces. The set of integers (\(n_1, n_2, n_3,\ldots\); \(n_4, n_5, n_6,\ldots\);) denotes a tiling of multiple vertex types in the way that \(n_1\)-gon, \(n_2\)-gon, and \(n_3\)-gon, \(\cdots\) meet consecutively on each vertex, and superscripts are employed to abbreviate when possible. A set of integers like (\(3^6\); \(3^7\)) denotes a tiling composed of two vertex types \(3^6\) and \(3^7\), for instance.

The tilings are composed of triangles and quadrangles, where length of all sides is almost equal within a few percent and where quadrangles are not always flat. Unlike the hexagonal arrangement (\(3^6\)) on a flat plane, it should be noticed that vertices are not equivalent, as is the cases with icosahedral viruses. The first number of the Wyckoff positions listed in Table 1 represents the multiplicity of corresponding vertex types. All these tilings whose Euler characteristic \(\chi\) per cubic unit cell is −4, −8, and −16 for P-, G-, and D-surfaces, respectively, are hyperbolic extensions of the flat plane tessellation (\(3^6\)) with \(\chi =0\). We finally point out strong similarity for the same H classes as shown in Fig. 2d–f (\(H=4\)) and Fig. 2g–i (\(H=7\)).

Hexagulation number

Caspar and Klug showed that icosahedral shells can be constructed from twenty triangles with the triangulation number T adopting the particular integer values \(1, 3, 4, 7, 9, 12,\ldots ,\) described by

$$\begin{aligned} T=h^2+k^2+hk \end{aligned}$$

with h, k equal to nonnegative integers. See Fig. 3a displaying T-diagram. A lattice point denoted as (hk) (\(\mathbf{L}=h\mathbf{e}_1+k\mathbf{e}_2\)) in the oblique coordinate system spanned by basis vectors \(\mathbf{e}_1\) and \(\mathbf{e}_2\) on the triangular lattice indicates circled numbers T defined as half the number of lattice points (or equivalently the number of triangles) inside the triangle whose side connects the origin and the point (hk). Considering the large triangle indicated by the solid line and points occupying the vertices of the triangle in particular, the number of spheres N for the total shell is given by \(N=10T+2\).

By the same token, we define the hexagulation number H as the number of dashed hexagons inside a large hexagon (solid line) on H-diagram as shown in Fig. 3b. Let \(\mathbf{L}=h\mathbf{e}_1+k\mathbf{e}_2\) be a vector along an edge of the large hexagon, where \(\mathbf{e}_1\) and \(\mathbf{e}_2\) are basis vectors of the oblique coordinate system. Then, we can easily derive \(H=|\mathbf{L}|^2\). Therefore, we have

$$\begin{aligned} H=h^2+k^2-hk, \end{aligned}$$
(2)

generating \(1, 3, 4, 7, 9, 12,\ldots ,\) from sets of integers (hk). Note that the difference between T and H is just the plus or minus sign of the third term.

According to the space group symmetries, the TPMSs can be constructed from 8, 16, and 32 hexagonal patches per conventional cubic unit cell for P-, G-, and D-surfaces, respectively. Therefore, \(N_{\alpha }\) is given by

$$\begin{aligned} N_\mathrm{P}=8H, \quad N_\mathrm{G}=16H,\quad \mathrm{or }, \quad N_\mathrm{D}=32H \end{aligned}$$
(3)

for the P-, G-, or D-surfaces, respectively. The regular structures listed in Table 1 obey these equations. For the special case described by \(H^*=3\) in which spheres occupy the vertices of hexagonal patches, we should replace H by \(H^*-1/2\) in Eq. (3) as shown in Table 1.

It has been discussed in the literature that hyperbolic geometries on the Poincaré disk can be conformally mapped upon the TPMSs [18, 21, 39]. See Fig. 4a–d. The dodecagonal region within twelve thick curves in Fig. 4b, d covers the area of a unit cell, a half, and one-fourth areas of a cubic unit cell of the P-, G-, and D-surfaces, respectively. The relation between the hexagon on the H-diagram and the dodecagonal region is clearly visible in Fig. 4a–d. Blue dashed hexagons in Fig. 4a, c correspond to blue dashed hexagonal regions at the center of Fig. 4b, d, respectively. On the TPMSs, four hexagonal patches are connected edge to edge around a vertex position of the hexagonal patches making negative curvatures, whose property is rendered on the Poincaré disk (Fig. 4b, d). The radii of circles on the Poincaré disk are constant in each figure, even though they look smaller as it approaches the circumferences. Figure 4a, b displays a system with \(N_\mathrm{P}=56\), \((h, k)=(3, 1)\) and \(H=7\); blue (\(3^6\)) and red (\(3^5.4\)) circles correspond to 8c and 48i Wyckoff positions of the space group \(Pn\bar{3}n\), constructing a polygonal tiling in Fig. 2g. Figure 4c, d illustrates a system with \(N_\mathrm{P}=96\), \((h, k)=(4, 2)\) and \(H=12\). Blue (\(3^6\)), yellow (\(3^6\)), and red (\(3^5.4\)) circles correspond to 24g, 24g, and 48h of \(I\bar{4}3m\), forming a polygonal tiling in Fig. 2c, respectively.

Discussion

We have found that hard spheres on the TPMSs are entropically self-organized when the number of spheres takes some magic numbers N. In analogy with the triangulation number for icosahedral viruses, we have proposed the hexagulation number explaining the magic numbers associated with cubic symmetry. With few exceptions (\(H^*=3\) class), N is easily evaluated by H in a unified scheme Eq. (3).

From this scheme, we expect P-G-D triplets, which actually holds for \(H=4\) and \(H=7\). However, the first and the second rows of Table 1 appear to be incomplete. In the first row, \(N_\mathrm{P}=20\) and \(N_\mathrm{G}=40\) are shown, but \(N_\mathrm{D}=80\) is missing; any sign of a transition for \(N_\mathrm{D}=80\) has not been observed. For \(N_\mathrm{P}=20\), the distance between two hard spheres is equidistant (0.3536) and a transition has been found. For \(N_\mathrm{G}=40\), the distance is 0.2795 or 0.3062 forming isosceles triangles, whose 8.7 % difference does not matter to undergo a clear transition [14]. However, for \(N_\mathrm{D}=80\), the corresponding distance is 0.2165 or 0.2500, whose difference is too large to induce an Alder transition. This incompleteness of the P–G–D triplet indicates that the property of (almost) equidistance between two hard spheres seems to be indispensable to physical ordering even on the curved background.

In the second row of Table 1, we list \(N_\mathrm{G}=48\) and \(N_\mathrm{D}=96\), but not \(N_\mathrm{P}=24\). The physical arrangement is more complex than we expected; surprisingly, for \(N_\mathrm{P}=24\) we have had a clear transition, but the unit cell is a double-cell superstructure (\(N=192\)) with rhombohedral symmetry. We have seen a transition to a cubic structure in a simulation box with an odd number of the unit cells in a direction; however, the jump in the acceptance ratio is smaller than that of the transition to the double-cell superstructure, implying that the cubic structure is an artifact by the periodic boundary conditions. This exemplifies the difficulty in simulations, and several box sizes should be tested.

On a sphere, complicated arrangements with lower symmetries have been elucidated [40]. Likewise, our ongoing investigation indeed suggests that there exist complicated regular arrangements with lower symmetries even on the TPMSs. Moreover, not only \(N_\mathrm{P}=24\), but also several unprecedented superstructures for other N have been found. They are beyond the scope of the present paper and will be discussed elsewhere.

Fig. 1
figure 1

Triply periodic minimal surfaces: a P-surface; b G-surface; c D-surface. d Snapshot of self-organized spheres with radii \(r=0.089\) on the P-surface for a \(N_\mathrm{P}=72\) system, where \(N_\mathrm{P}\) is the number of spheres in a unit cell. Plots of e the acceptance ratio (AR) and f an order parameter h(r) for the \(N_\mathrm{P}=72\) system as functions of sphere radius: Solid line, up; dashed line, down (Color figure online)

Fig. 2
figure 2

Polygonal tiling connecting sphere centers. \(N_{\alpha }\) is the number of vertices (spheres) per cubic unit cell, and subscripts, P, G, and D stand for the P-, G- and D-surfaces, respectively. \(H^*=3\), \(H=9\), and \(H=12\) produce a (\(3^6\); \(3^8\)) tiling with \(N_\mathrm{P}=20\), b (\(3^6\); \(3^5.4\); \(3^5.4\)) tiling with \(N_\mathrm{P}=72\), c (\(3^6\); \(3^6\); \(3^5.4\)) tiling with \(N_\mathrm{P}=96\), respectivley; \(H=4\) generates (\(3^6; 3^7\)) tilings with d \(N_\mathrm{P}=32\), e \(N_\mathrm{G}=64\), and f \(N_\mathrm{D}=128\); \(H=7\) generates (\(3^6\); \(3^5.4\)) tilings with g \(N_\mathrm{P}=56\), h \(N_\mathrm{G}=112\), and i \(N_\mathrm{D}=224\). Double cubic unit cells are rendered for the P- and G-surfaces, while a single cubic unit cell is rendered for the D-surface (Color figure online)

Fig. 3
figure 3

a T-diagram for counting the triangulation number T and b H-diagram for counting the hexagulation number H. Lattice points denoted as (hk) (\(\mathbf{L}=h\mathbf{e}_1+k\mathbf{e}_2\)) with h, k nonnegative integers in two oblique coordinate systems indicate circled numbers \(T=h^2+k^2+hk\) and \(H=h^2+k^2-hk\): T is half the number of lattice points inside a triangle (solid line), while H is the number of dashed hexagons inside a hexagon (solid line). Shown here are \(T=13\) with (3, 1) and \(H=7\) with (3, 1)

Fig. 4
figure 4

H-diagram and a Poincaré disk representing hyperbolic geometry, on which tessellation of \(N_\mathrm{P}\) (\(=8H\)) spheres is illustrated. a H-diagram for \(H=7\) (\(N_\mathrm{P}=56\)) and b hyperbolic tiling (\(3^6; 3^5.4\)) on the Poincaré disk for (a). c H-diagram for \(H=12\) (\(N_\mathrm{P}=96\)) and d hyperbolic tiling (\(3^6; 3^6; 3^5.4\)) tiling on the Poincaré disk for (c). Blue dashed hexagons in (a) and (c) correspond to blue dashed hexagonal regions at the center of (b) and (d), respectively. Then four hexagons connected edge to edge around a vertex of the dashed hexagons are visible on the Poincaré disk. The radii of circles on the Poincaré disk are constant in each figure. Figure 4a, b displays a system with \(N_\mathrm{P}=56\), \((h, k)=(3, 1)\) and \(H=7\); In (b), blue (\(3^6\)) and red (\(3^5.4\)) circles correspond to 8c and 48i Wyckoff positions of the space group \(Pn\bar{3}n\), respectively, forming a tiling shown in Fig. 2g. In (d), blue (\(3^6\)), yellow (\(3^6\)), and red (\(3^5.4\)) circles correspond to 24g, 24g, and 48h of \(I\bar{4}3m\), respectively, forming a tiling shown in Fig. 2c (Color figure online)

Table 1 Regular tessellations of hard spheres on the P-, G-, and D-surfaces, classified by the hexagulation number H, the total number of spheres in a unit cell \(N_{\alpha }\)
Table 2 Explicit coordinates in terms of Wyckoff positions for the regular tessellations shown in Table 1
Table 3 Wyckoff positions for 96h\(^*\) of \(F\overline{4}3c\) (No. 219) for \(N_\mathrm{D}=96\)