1. Introduction
The aggregation of objects floating on a liquid surface has been studied for a long time and generated a considerable literature [
1,
2,
3,
4,
5]. The driving factors of aggregation are capillary forces that are attractive for objects of the same type of material (hydrophilic or hydrophobic). For symmetric disk-shaped objects, capillary forces are central and decay exponentially [
6,
7,
8,
9]. In the case of other shapes, the strongest capillary attraction is observed in directions leading to the largest decrease in the surface energy. For rods, this occurs when they are parallel, and the force is perpendicular to their orientation. Capillary forces are short-ranged, so if the object packing is low, then the time needed to form a stable aggregate is long. The final metastable structure of the aggregate is densely packed with dislocations characterized by very long relaxation time.
Figure 1 shows an example of aggregation for 20 polylactic acid rods (10 mm long and
mm diameter) inside a Petri dish of 10 cm diameter. For the initial state of randomly distributed rods (cf.
Figure 1a) the metastable structure composed of a few linked raft-like aggregates appeared after 3 min of medium evolution.
In this paper, we report aggregation in a medium of higher complexity in which, parallel to capillary attraction, there are Marangoni flows and repulsion between objects’ forces related to surface tension modification by the dissipated surface-active molecules [
10,
11,
12,
13]. We expect the medium with complex interactions between individuals should produce aggregates with less trivial metastable structures than those densely packed structures observed for pure capillary forces. The experimental data should help to discover the relationship between an object’s shape and its ability to aggregate. Since both the capillary forces and the release rates of surface-active molecules depend on the shape, we can expect that they play a crucial role in times of aggregate formation and times of relaxation of their structures.
A camphor piece placed on a water surface is one of the well-known examples of self-propelled objects [
14,
15,
16]. The self-propulsion of camphor disks has been studied for more than a century [
17,
18]. Under typical laboratory conditions, a piece of camphor located on a water surface is an open system in which molecules released from the source form a surface layer and are finally dissipated into the air. The mechanical effects associated with the presence of surface-active molecules can be explained through the surface tension that depends on the local value of their surface concentration
, where
describes the location on the surface. In the case of camphor, the surface tension
drops from
mN/m for pure water to
mN/m for water covered with a saturated camphor surface layer.
The functional dependence of the water’s surface tension on
can be approximated by [
19]
where
is a constant.
The assumption that the energy of the medium can be approximated as the surface energy of water leads to the explicit formula for the force
acting on an object with the geometrical location defined by the time-dependent characteristic function
:
Similarly, the torque acting on an object, calculated with respect to the vertical axis located at
, can be expressed as
Here, the operator × denotes the vector product in two dimensions, that is,
for
and
. The formulae given above are consistent with the peripheral integration of the surface forces that act in the normal direction at the object’s periphery [
16,
20].
Formulas (2) and (3) return
when the surface tension is constant around the object. The broken symmetry [
21] of
is the necessary condition for self-propulsion. Symmetry breaking can be realized in two ways. Objects can be intentionally designed for asymmetric dissipation of surface-active molecules, as with camphor boats, with the source located at the stern [
22]. The elliptic camphor particles move with a velocity oriented perpendicularly to the major axis [
23]. It can be anticipated that shape and motion are correlated because the source shape defines the resistance to its motion on the surface and determines the local outflow of surface-active molecules. No wonder research on the relationship between the symmetry and the geometrical shape of a solid, self-propelled object and the character of its motion has stimulated abundant scientific activity [
23,
24,
25,
26,
27,
28,
29]. For symmetrical objects, fluctuation-induced symmetry breaking can occur. Assume an object is a source of surface-active molecules. Areas characterized by a low surface concentration can appear as the result of fluctuations in concentration resulting from the stochastic character of dissipation or evaporation of surface-active molecules. If the object moves from its original position, then initially, it shifts to the area characterized by large gradients of the surface tension. This significantly increases the object’s speed. Once the object starts moving, its motion is maintained as long as the surface tension in front of it is higher than behind it. This is true for a low density of camphor- (or camphene-) propelled objects because under typical laboratory conditions, camphor molecules evaporate quickly; hence, the water’s surface tension recovers in a short time. As a result, self-propelled motion can be observed for a long time, exceeding 1 h, until all active molecules are dissipated. However, in the case of many sources, the concentration of surface-active molecules on the water surface can be high, gradients low, and speeds of objects small.
As long as the surface-active molecules are released, the repulsive forces and torques defined by Equations (2) and (3) are much stronger than the capillary attraction, especially at distances exceeding 1 cm. However, at very long times, exceeding a few hours, when surface-active molecules finally dissipate, capillary forces become dominant, and highly packed structures are formed. The evolution towards highly packed structures is clearly seen in experiments with droplets [
30] and camphor gel disks [
31].
For typical experiments on aggregation of self-propelled objects, we need a number of similar (preferably identical) objects with the required shape. However, making camphor pieces of the required shape is difficult, especially when many objects with the same shape are needed. A few techniques can be used to transform camphor grains into objects of defined shape. The most popular is pressing camphor granules together in a pill maker, but this technique mainly applies to small camphor disks [
22]. An inert porous support material, like a paper membrane [
32] or agar gel [
33,
34], can be impregnated with a camphor solution. Still, this technique is not ideal because it is hard to control the amount of surface-active agent, which may lead to its non-homogeneous distribution in the membrane. Moreover, the saturated objects contain smaller amounts of camphor than pills, limiting surface activity to minutes [
27].
In this respect, the camphene–camphor–polypropylene plastic seems to be ideally suited for experiments on surface aggregation. This plastic was discovered during our research on novel materials for experiments on self-propelled motion on water surfaces. Under typical laboratory conditions, camphor is a solid formed in tiny granules. The camphene molecule is similar to camphor, and it exhibits a similar, albeit reduced, surface activity. At room temperature, camphene is waxy and very malleable. The melting temperature of camphene is ∼51 °C [
35], much lower than that of camphor (∼175 °C [
36]). We observed that at temperatures above
°C camphor easily dissolves in molten camphene in a 1:1 mass ratio. The camphene–camphor mixture transforms to a sticky wax after it is cooled down to room temperature [
37]. It can be cut to the required shape. In the mixture, camphene plays the role of a solvent. The wax hardness increases with the mass fraction of camphor. At yet higher temperature, above
°C, polypropylene can be dissolved in the mixture of camphene and camphor. Thus, it appears as the next component of camphene–camphor wax [
38]. Polypropylene forms an interesting microporous skeleton [
39] and changes the mechanical properties from waxy to plastic. Moreover, it regulates the dispersion of surface-active molecules, prolonging the self-propelled motion of objects made of it for many hours. There are a few arguments for using the camphene–camphor–polypropylene plastic: First, we demonstrated that the motion of disks made of this material continues for 3 h without a significant decrease in speed (cf. Figure 15 in [
38]). Next, the surface activity of objects made of camphene–camphor–polypropylene plastic does not significantly depend on the weight ratios of the compounds. Finally, the material can be easily processed and shaped on most clean substrates. Rods can be made by cutting long camphene–camphor–polypropylene filaments obtained by pressing hot plastic out from a syringe through a hole with the selected diameter, as described in [
38]. The ability to generate rods encouraged us to use them as an example of aggregation of objects with high anisotropy.
The initial location of the rods has a strong influence on their future evolution if repulsive interactions are absent and capillary attraction dominates (cf.
Figure 1). Self-propelled rods are very active at the beginning of the experiment (cf.
Figure 2a,b), when the surface concentration of active molecules is low and gradients high. Therefore, for a low surface density of rods, the regular initial structure is completely disturbed, and different distributions show similar time evolution (cf. Equations (
12) and (
13) and
Figure 3). In our experiments, rods were intentionally distributed at random. In some, we located rods one by one on the surface. Such a method gives better control of the initial disk location, but it can be applied to a small number of rods only. The role of initial distribution increases with the surface density of rods because the mean free path of a rod becomes shorter, and the initial local configuration has a stronger influence on the evolution.
Let us also notice that a single symmetrical self-propelled object requires an induction time before it starts to move. During this time, fluctuations in the initial symmetrical distribution of surface-active molecules develop around the object and non-zero net force appears. Such an induction time is not observed in many-object systems because the random initial distribution of symmetrical objects can generate non-homogeneity required to initiate the motion. The time evolution of systems containing 20 rods that were 10 mm long and had a diameter of
mm on a water surface in a Petri dish with a diameter of 12 cm is shown in
Figure 2. The rods are made of 10% polypropylene, 45% camphene, and 45% camphor. Movies showing the most interesting fragments of the rod aggregation are included in the
Supplementary Information.
We can distinguish a few phases in the medium evolution. At the very early stages of evolution, the system is composed mainly of monorods and occasional birods. A single trirod seen in
Figure 2a can be regarded as a rare occurrence. At the early stages of evolution (
Figure 2a,b) the monorods combine to make birods joined at different angles at the rod ends. Next, the objects concatenate and form a few weakly joined rod aggregates (
Figure 2c–e). However, due to there still being a high concentration of surface-active molecules these structures are not stable and can break into smaller fragments or combine into other shapes. At this stage, corresponding to
s (
Figure 2d,e), monorods disappear completely. The number of birods fluctuates with the decreasing maximum. The observed speed of fragments decreases due to saturation of the water surface with surface-active molecules and a larger mass of formed fragments. Unlike the aggregation resulting from capillary forces, we do not observe clusters in which rods are attached in parallel. As the result of repulsive interactions, the observed density of the aggregates is much lower than those in
Figure 1. Moreover, end-to-end contacts between objects are dominant. At longer times, exceeding 10 min, we observed large structures that grouped almost all rods. The surprising cave-art style graffiti of a hunter chasing an animal [
40], illustrated in
Figure 2f for
min, appeared as a self-made aggregate of rods 13 min after the rods were placed on the water surface. The reader may be surprised that it was generated without any human help; we believe that if such a structure was found in a cave excavation it would be attributed to human hands. The hunter chased the animal for over 20 min, rotating clockwise around the dish wall, and the geometry of both aggregates remained stable. The probability of the self-generation of such an aggregate seems very low, and we wonder if it would be possible to repeat the evolution even if the rods were precisely located at their initial positions. At the end of the experiment, both hunter and animal combined to make another metastable structure, shown in
Figure 4b.
2. The Theoretical Background of Models Describing Aggregation of Self-Propelled Objects
This section briefly describes the mathematical modeling of aggregation. Many papers report complex behavior in systems of self-propelled objects [
14,
41,
42], but still mathematical models for many-object evolution are mainly limited to structureless objects described by Vicsek-type [
43] dynamics [
44]. Here, we discuss what equations can be used to simulate the evolution observed in experiments. Our attention is focused on conveying why the computational complexity of the problem goes beyond our numerical facilities. Nevertheless, we think the readers are interested in how the model can be constructed and what approximations are necessary to make it computable.
For a complete description of the aggregate dynamics, we have to know positions and orientations of all objects as functions of time. The velocities and angular velocities can be obtained as time derivatives of positions and orientations. However, the phase space of variables in which the complete description of the system can be formulated is much larger and includes the time-dependent surface concentration of active molecules on the whole surface , and the position-dependent surface flows . As we describe below, all these quantities are strongly coupled.
The Newtonian equations that include capillary and Marangoni interactions and viscous drag can describe the time-dependent positions of solid (non-deformable) objects. Schematically, such equations can be written as
where
m is the object mass. Here, the first term represents the driving force resulting from the non-homogeneous distribution of surface-active molecules, and it can be expressed by Equation (
2) and the relationship (
1). The capillary forces between solid objects on the surface of a liquid describe the change in energy as the result of the appearing intervening menisci [
45]. They are short-ranged and decay exponentially, but their precise description is very complex and involves hard calculations [
46]. In the case of two rods, the capillary forces depend not only on the distance but also on the relative orientation between the rods. Moreover, in the systems we consider, the surface tension is not constant but depends on the local concentration of surface-active molecules. As far as we know, the problem of capillary attraction of objects that dissipate surface-active molecules that can locally change the surface tension has not yet been considered in the literature. The last term is a viscous drag, describing the resistance felt by an object moving on a fluid surface due to the viscosity of the fluid. The drag depends on the size, shape, and speed of the object with respect to the fluid. Here, we anticipate that the main contribution to the drag term comes from the difference between
and
.
Similar equations with torques, instead of forces, can be used to calculate the changes in the orientations of the considered objects.
The surface concentration of active molecules
can be calculated by considering the supply of active molecules from the sources, the transport on the surface, and evaporation combined with dissolution. The corresponding equation has the form
The surface flow term can be expressed as [
47]
Camphene is practically insoluble in water [
35], whereas camphor’s solubility is small enough to neglect it if compared with evaporation [
36]. The evaporation of surface-active molecules can be approximated by a single-molecule process. Thus, the rate of this process should be proportional to
, provided that a given region of space is not covered by the object. The arguments given above lead to
where the summation is performed over all objects and
denotes the characteristic function of object #i characterized by
and
and
b is the rate constant.
We can describe the
to the water surface assuming that its rate is equal for all points of the source that have contact with water:
where
a is the local supply rate.
The flow
is the surface (boundary) value of the 3-dimensional flow
induced in the water volume by the Marangoni forces [
48] and the motion of hard objects on the water surface. The set of corresponding Navier–Stokes equations is the most complex numerical part of the model. Fortunately, a realistic approximation for the time evolution can be obtained if the real hydrodynamic flow in the transport equation for surface-active molecules is approximated by a reaction–diffusion equation [
47]:
Within this approximation, the flow relaxation term is equal to
The second term in Equation (
9) takes into account the viscous effect in the vertical direction and the last term describes the relaxation of
on the surface.
The concept of an effective diffusion constant [
49] can be also used to simplify Equation (
5) to the form
Here,
is the effective diffusion coefficient of the surface-active molecules at the water surface adjusted to match experimental data [
50]. In the case of two active molecules, i.e., camphor and camphene in the reported experiments, separate equations for each substance are needed. Moreover, the formula relating the surface tension with the surface concentrations (cf. Equation (
1)) becomes a function of two variables. The set of Equations (
4), (
9), and (
11) combined with the equation for orientation, makes the basis for an approximate numerical model that simulates hard-object aggregation. The calculation of capillary forces seems to be the most computationally demanding part of it. Therefore, even after the approximations are introduced, the numerical solution for many moving objects represents a hard numerical problem.
The evolution equations listed above show some analogy with quantum problems because the equation for object dynamics involves information about a spatiotemporal function that characterizes the medium. In the quantum case, it is the density of considered particles, for example, in the Gross–Pitaevskii equation [
51,
52]. Here, the influence of the medium is included in concentrations of surface-active molecules. It is also worth mentioning that numerous surface vortices can be observed during experiments with self-propelled objects of non-trivial shapes. The question of whether medium vorticity has any influence on aggregation analogous to what is reported in quantum systems remains open. The presented experimental medium seems suitable for future studies on this problem.
3. Experimental Aggregation of Self-Propelled Rods and Basic Properties of Their Interaction
In this section, we present selected experimental results that can help formulate a qualitative model of aggregation and the appearance of metastable structures.
In the Introduction, describing the evolution illustrated in
Figure 2, we argued for different phases of aggregate formation. This information can be quantitatively analyzed by measuring the number of aggregates of different sizes. The results for aggregation of 20 rods (
mm,
mm) are shown in
Figure 3. We compare the results for the evolution shown in
Figure 2 (metastable structure in
Figure 4b, red curve) with the evolution with metastable structures shown in
Figure 4c (blue curve) and
Figure 4e (black curve).
Surprisingly, aggregates starting from very different initial conditions share similar time evolution, provided the statistical sample is large enough. In both cases, the number of monorods (
; cf.
Figure 3c) remained stable at the level of
of all rods used for the first 10 s of the experiment. Next, the number of single rods decayed logarithmically in time:
with
for
s. Finally, in both experiments, all monorods disappeared after 200 s of medium evolution. A relationship similar to Equation (
12),
with
gives a good approximation of the total number of separate fragments
for
s. Of course, the parameters
and
are not universal and they depend on rod density and, for the small dishes, on their sizes.
The number of birods illustrated in
Figure 3b shows a maximum in the time interval
s, and then gradually decreases in time, with occasional fluctuations of smaller and smaller amplitude. The time evolution of the trirod number (cf.
Figure 3d) has a fluctuating character, but in both cases, such aggregates disappear after 250 s. This indicates that at this time, due to the dispersion of surface-active molecules, large aggregates are bonded strongly enough to remain stable.
The surprising coincidence between the time evolution seen in different experiments indicates the necessity of future studies on aggregates with a large number of fragments and similar packing fractions. The results should clarify a macroscopic model of the process and relationships between a number of fragments of different lengths. This could help to understand the most probable channels of large clusters separating to smaller fragments.
Figure 4 illustrates a number of metastable aggregates observed after circa 1 h of evolution in a system of rods. We can see that even when the times of aggregation were almost 2 orders of magnitude longer than those in
Figure 1, the structures are still not densely packed. Almost all structures except
Figure 4f self-aggregated in a Petri dish with a diameter of
cm. In all experiments except case (a), we used 20 rods. They correspond to aggregation times of
min,
min,
min, and
min. In almost all cases, the rods formed a single aggregate. The structure shown in (d) (
min) aggregated after dispersing an existing structure to single rods, i.e., 12 min after a concluded 60 min experiment. We expect in this case the saturation of water with camphor is much higher than at the initial stage of the other experiments and this significantly changes the character of the initial stage of evolution. The structure shown in (f) (
min) was formed in a smaller Petri dish with a diameter
cm. Therefore, as can be anticipated, the process of aggregation accelerated at a higher rod density.
But how do we describe the observed metastable aggregates? The obvious method is to list the coordinates of the ends for all rods. It seems that 2-digit accuracy for each coordinate should be sufficient for 1 mm precision.A rough estimation shows that nine characters are needed for a single rod digits for coordinates and one character marking the end of the rod data). Thus, a 10-rod aggregate requires 90 characters to define it. This description is precise but does not seem practical. Metastable aggregates can rotate and vibrate; this description corresponds to a specific observation time.
However, we can reduce the complexity of the description. Let us consider a pair of joint rods. A possible simplified coding can be based on the assumption that the first rod is directed south
S. The location of the second rod can be described by the position of its connection with the first one and the angle between the first and the second one. Next, the procedure continues with the second rod being treated as the new first one. Combined with information about the chain branching, such information allows for a complete description of the aggregate. In practice, we do not need a high precision in angle definition because the aggregates are flexible and vibrate, so the angles can fluctuate within a certain range. A possible simplified angle coding can be achieved with a relative bearing between rods using the compass notation. The branching of the aggregate can be indicated by brackets. in addition to direction symbols, we need a symbol to indicate T-shaped connections, with bracket structures
, where
,
, and
denote strings starting from the left, central, and right sites of the upper bar. For example, the aggregate shown in
Figure 4b can be coded as
. On the other hand, the left chain in
Figure 4f is represented by the string
.
As seen, this method allows for coding of an aggregate with fewer symbols than the orthodox one.
An alternative method of aggregate description is based on a list of frequently observed connections between rods. This technique uses the idea of information coding, relating the most common strings with simple symbols [
53]. Here, we can apply the idea to classify connections between rods. We observed that the rods can form end-to-end and end-to-center junctions. The parallel connection so common for aggregation with capillary forces (cf.
Figure 1) does not appear. Most of the observed connections are between two rods. Connections involving three rods are less frequent. We also observed occasional connections between four rods; the number of them is small, still special symbols should be introduced to code them. The examples of symbol coding are shown in
Figure 5. The most common element of aggregates is an end-to-end junction of two rods at an angle close to straight (
I junction). Another common junction of two rods is a junction at a right angle (
junction or its rotated version ℸ). Yet another junction seen in metastable aggregates is the joining of two rods at an acute angle (
V junction). The junctions between two rods where one rod joins the center of the other are less frequent. If rods join at a right angle, we call it a
T junction, and when the angle is acute, we name it
. The end-to-end connections can also occur between three rods, giving a
Y junction. Junctions
T,
V,
Y, or
can lead to aggregate branching. We can use the previously described idea of bracketing the parts. The symbol
denotes strings originating from the left, central, and right positions on the upper bar. A single rod attached should be coded with separate symbols, for example, 1. Similarly we can use
and
to code branches aggregating from left and right arms, respectively.
The analysis of metstable aggregates observed in our experiments gives the following probabilities of junctions: , , , , and . Knowledge of these probabilities allows us reverse the problem. We can simulate aggregates by generating random strings of symbols with the probabilities given above and decoding the corresponding geometrical structures of the rods. Would this represent a real aggregate? Keeping in mind the variety of structures we generated, we could be lucky and find a matching one, but the convincing answer to this question can be given after collecting more experimental data. For example, we still do not know if there are any symbol correlations in strings representing real aggregates.