Saptorshi
Ghosh
a,
Chaitanya
Joshi
b,
Aparna
Baskaran
*a and
Michael F.
Hagan
*a
aMartin Fisher School of Physics, Brandeis University, Waltham, Massachusetts 02453, USA. E-mail: aparna@brandeis.edu; hagan@brandeis.edu
bDepartment of Physics and Astronomy, Tufts University, Medford, Massachusetts 02155, USA
First published on 14th August 2024
We apply optimal control theory to a model of a polar active fluid (the Toner–Tu model), with the objective of driving the system into particular emergent dynamical behaviors or programming switching between states on demand. We use the effective self-propulsion speed as the control parameter (i.e. the means of external actuation). We identify control protocols that achieve outcomes such as relocating asters to targeted positions, forcing propagating solitary waves to reorient to a particular direction, and switching between stationary asters and propagating fronts. We analyze the solutions to identify generic principles for controlling polar active fluids. Our findings have implications for achieving spatiotemporal control of active polar systems in experiments, particularly in vitro cytoskeletal systems. Additionally, this research paves the way for leveraging optimal control methods to engineer the structure and dynamics of active fluids more broadly.
Recent experimental advances have put the objective of control within our reach. Experiments have demonstrated that light can be used as a control field to assemble self-limited functional structures in active colloids39,40 and to exert spatiotemporal control of motility induced phase-separation (MIPS).41,42 By shining sequences of light that vary in space and time on active materials constructed with light-activated motor proteins, researchers can control the average speed of active flows43,44 and steer defects in active nematics,45 and drive the formation and movement of asters in isotropic suspensions.46
Theoretical progress toward functionalizing active matter has taken two paths. The first has been to impose spatiotemporal activity patterns and observe their effects on the system dynamics,45,47–49 thereby identifying easily accessible target states. The second is to use the framework of optimal control50,51 and optimal transport52 to identify spatiotemporal activity patterns that will drive the system to a pre-chosen target dynamics.47,53,54
The work described in this article belongs in this second class. We study the optimal control theory of the classic active matter theory, a dry 2D active polar fluid, first considered by Toner and Tu.55,56 We treat the convective speed of the active particles as the control parameter and identify control solutions that drive the system to targeted steady states, including forcing an aster to move to a given spatial location, causing propagating stripes to reorient along a particular direction, and driving a propagating stripe to convert into a stationary aster. In the previous work most closely related to this one, Norton et al.53 obtained a control solution to switch a confined active nematic between two symmetric attractors (changing handedness of a circular flow state). Here, we show that an optimal control framework can solve much more diverse problems, including switching among attractors with very different broken symmetry patterns and driving the system into states which are not stable attractors at a given set of parameters. Further, we analyze the identified optimal solutions to uncover generic control principles that are broadly applicable to active polar fluids.
This paper is laid out as follows. In Section II, we review the hydrodynamic theory and describe the key features of the steady states that arise in the absence of control. Section III describes the method for implementing optimal control theory. In Section IV, we report the results of the control solutions for driving the system to particular steady states or switching between them. Then, we analyze the control solutions in terms of the dynamical equations of motion to identify the essential mechanisms that drive the system into the desired behavior, with the goal of identifying generic principles. We also investigate how robust the optimal control solutions are to errors arising from experimental noise and inaccuracies in model parameters. Finally Section V concludes with a discussion on testing these results in experiments.
∂tρ = −∇·(ωτ − D∇ρ) | (1) |
∂tτ + λ1τ·∇τ = −ν(a2(ρ) + a4(ρ)|τ|2)τ − ∇(ωρ) + K∇2τ + λ2τα∇τα + λ3τ∇·τ. | (2) |
The density dynamics eqn (1) is an advection-diffusion equation where the advective velocity is proportional to the orientational order parameter P(r,t). The dynamics of the orientational order has three features: (i) It has a self-convection term with coefficent λ1, encoding the absence of Galilean invariance in the ‘dry’ theory.55,56 (ii) It has terms consistent with model A dynamics that drive the system downhill on a free energy landscape where , encoding the fact that the flocking occurs due to spontaneous symmetry breaking. (iii) It contains a hydrostatic pressure term of the form , where λ2 encodes the tendency for elongated self-propelled particles to splay due to recollision events.62,66,67
In this study of spatiotemporal control, we choose a2(ρ) = (1 − ρ/ρc) and a4(ρ) = (1 + ρ/ρc)/ρ2, yielding a continuous mean-field transition from an isotropic τ to a homogeneous, polar or a swarming state (|τ| > 0) at the critical density ρ = ρc. For simplicity, we choose D = K. Without loss of generality we set the critical density ρc = 1. We further reduce the number of independent parameters and set λ1 = λ2 = λ3. We set the unit of time as τ0 = ν−1, the relaxation time scale of the orientation field, and the unit of length as . The simplified dimensionless equations are:
∂tρ = −∇·(ωτ − ∇ρ) | (3) |
∂tτ = −(a2(ρ) + a4(ρ)|τ|2)τ − ∇(ωρ) + ∇2τ + λ(τα∇τα + τ∇·τ − τ·∇τ). | (4) |
The phenomenology of this model is described in ref. 62 and summarized in Fig. 1a. For the purposes of this work, we note that the dynamics of this system admits two inhomogeneous steady states: (i) propagating stripes composed of ordered swarms moving through a disordered background, which are referred to as polar drops elsewhere in the literature,63,71 when ω/λ ≫ 1, and (ii) a stationary high density aster, again in an isotropic background, when λ/ω ≫ 1. Both of these states arise close to the threshold density for orientational ordering (which we set to ρc = 1), and correspond to the system phase separating into a dense ordered phase and a dilute disordered phase. In this study, we fix the homogeneous density at ρ = 1.07 and consider the problem of controlling the inhomogeneous steady states using spatiotemporal patterning of the convective strength ω, referred to as the activity or control parameter in the rest of this paper.
This model has the virtue of mathematical simplicity and a minimal number of parameters, thus enabling physical insight from the optimal control solutions. At the same time, the states we seek to control are directly realizable in experiments (see Section V). Further, in the ESI,† we show that this theory is linearly controllable on short length scales. Thus it is ideal for investigating applications of optimal control in active systems.
(5) |
The terms (ρ − ρ*)2 and (τ − τ*)2 measure the deviations from the target state, ρ* and τ*. We constrain our search of optimal state trajectories to those that obey the system dynamics by introducing Lagrange multipliers, η and ν, which are adjoint variables for ρ and τ. These dynamical constraints are enforced in the optimization by adding them to the cost function as
(6) |
The necessary condition for optimality is ,72,73 so , , , , , , . The first two conditions return eqn (3) and (4) governing ρ and τ. The following two conditions yield the dynamical equations for the adjoint variables η and ν,
∂tη = C(ρ − ρ*) − ∇2η − 2∇·ν + (δρa2(ρ) + δρa4(ρ)|τ|2)(ν·τ). | (7) |
∂tν = D(τ − τ*) + (a2(ρ) + a4(ρ)|τ|2)ν + 2a4(ρ)τ(ν·τ) − λ[−τ∇·ν + 2ν∇·τ − ∇(ν·τ) + τ·∇ν − να∇τα] − ∇2ν − 2∇η. | (8) |
2A(2 − 02) − 2B∇22 − 2K(d22/dt2) − 2τ·∇η − 2ν·∇ρ = 0. | (9) |
We use the direct-adjoint-looping (DAL) method74 to minimize the cost function under the constraint that the dynamics satisfies eqn (3) and (4), to yield the optimal schedule of activity in space and time (see ESI† Sections SIV and SV for more details). Specifically, we construct an initial condition by performing a simulation with unperturbed dynamics (eqn (3) and (4)) until reaching steady-state, at a parameter set that leads to a desired initial behavior. We construct a target configuration in the same manner, using a different parameter set that leads to the desired target behavior. We also specify a time duration tF over which the control protocol will be employed, and an initial trial control protocol. We then perform a series of DAL iterations; in each iteration the system and the adjoint dynamics are integrated from the initial condition for time tF under the current control protocol, and the cost function (eqn (5)) is computed from the resulting trajectory. The adjoint equations are integrated backwards in time to propagate the residuals. After each backward run, the control protocol is updated via gradient descent, , to minimize the cost function. We employ Armijo backtracking75 to adaptively choose the step-size for gradient descent and to ensure convergence of the DAL algorithm. Once the optimal spatiotemporal activity pattern has been computed, performing a forward integration using eqn (3) and (4), the same initial condition, and ω = 2 will yield the solution trajectory. We have implemented this entire calculation in the open-source Python finite element method solver FEniCS.76 We have provided the associated source code and data here.
Fig. 2 summarizes the results of this computation. Fig. 2a and b respectively show the time evolution of the system configuration and the applied control field that drives the transformation. At early times, the applied control is strongest at the aster core while it is lowest in front of the aster along the direction we seek to move it. The aster then elongates to assume a comet-like shape, with a denser, polar-ordered head (see snapshots at t = 50, 100), as it advects toward the target location. Note that the activity is largest to the rear of the aster in this region. Thus, the control solution pushes (rather than pulls) the aster.
Fig. 2 Advecting an aster. The control solution for moving an aster from (xI = 60, yI = 40) at t = 0 to (xF = 60, yF = 70) at time tF = 2000. All length and timescales are presented in dimensionless units, which are defined in Section II. (a) and (b) Snapshots of (a) the density ρ (color map) and polarization τ (arrows) profiles and (b) the control solution activity field ω (color map). The ‘x’ symbols in the snapshots in (a) and (b) show the position of the aster core. At times t = 50, 100 the upper quadrant of the aster unwinds and the aster becomes prolate while the aster core maintains the +1 defect. At t = 2000 the aster is reformed at the target location. (c) Analysis of the aster shape: the left y-axis shows the asphericity of the aster (defined as the ratio of eigenvalues of the shape tensor, see Section IV A) and the right y-axis shows the y-coordinate of the center of mass of the aster as a function of time. (d) The aster profile, as characterized by the polarization direction θ as a function of the azimuthal angle ϕ around the aster center (defined as the position at which the density is maximum, which coincides with the defect core, where τ = 0). The measurement is taken at radius r = 20 from the core. (e) The active torque, ∇ω × τ, integrated over the left, ΩL, and right, ΩR, subdomains of the aster (see Section IV A) as a function of time, showing the driving forces for unwinding and closing of the aster in each subdomain due to activity gradients. The objective function parameters are {A, B, C, D, K, ω0} = {0.1, 1.0, 2.0, 2.0, 0, 0.05}, λ = 0.8, and the simulation box size is 128 × 128. A video of this trajectory is in ESI† Movie S1. |
To quantify how the position and profile of the aster change over the course of advection, we measure its center-of-mass position (xCOM, yCOM) and asphericity. Here, we track the y-coordinate of the center of mass, which is calculated as , and the asphericity is given by the ratio of eigenvalues of shape tensor: , where Latin indices denote grid points and Greek indices correspond to Cartesian coordinates, and rij is the distance of the ijth grid point from the center of mass. As shown in Fig. 2c, the control window naturally partitions into two stages. During the initial stage (0 < t ≲ 100) the aster rapidly changes shape into the comet-like configuration, as seen by the decrease in its asphericity, while simultaneously undergoing advection, moving towards the target point. Then, over the remaining long time window (100 ≲ t < tF) the aster reforms slowly, the asphericity increases back to 1, and it moves the remaining small distance to the target position.
For further description of the aster profile during these stages, we present the angle of the polarization field θ as a function of the azimuthal angle ϕ around the aster core at four time points in Fig. 2d. At the initial time (t = 0) the system is radially symmetric with polarization vectors pointing toward the aster center, while by t = 50 and t = 100 the symmetry of θ in the top [0,π] and bottom [−π,0] quadrants is broken, with more polarization at the bottom points toward the advection direction, and the front-end remains aster-like with a radial configuration. The orientation returns to the aster configuration by t = tF.
Further, we can understand the control solution physically by noting that the dynamics of τ is such that gradients in the control field ω create a torque on the orientation field, i.e., ∂tτ ∼ −ρ∇ω or equivalently ∂tθ ∼ ∇ω × τ. We then calculate the integral of the torque over two domains, ΩL: [x ∈ {x0 − 10, x0}, y ∈ {0, Ly}] on the left and and ΩR: [x ∈ {x0, x0 + 10}, y ∈ {0, Ly}] to the right, with x0 = 40 in our case (Fig. 2e). When the aster unwinds and advects, the region to the left has a positive torque (countercockwise rotation) and the region on the right experiences negative torque (clockwise rotation), which correspond to the partial unwinding of the aster. This is also illustrated by the snapshot shown for t = 35, where the dashed line (x = 40) represents the axis along the aster's motion. During the subsequent reformation phase, as the aster regains circular symmetry, the profile winds back such that the left/right subdomains experience clockwise/counterclockwise torque respectively. The snapshot shown at t = 1000 illustrates this behavior. Eventually, the system relaxes sufficiently close to an unperturbed aster configuration that the net torque becomes zero.
We applied the latter strategy to the problem of translocating an aster a distance of Δȳ = 120. We formulated the control problem to translocate the aster at a constant speed for a time tadv, followed by a time treform for reformation of the aster. We set the target trajectory as a series of configurations in which the initial state with an aster has been translated by 1 additional unit along the translocation axis. The configurations are separated by a time increment Δ = tadv/Δȳ, so that in the final target state configuration at time t = tadv, the aster center-of-mass will have traveled Δȳ, with a mean advection speed of . We then allow the additional time treform for the aster to acquire its target profile. We find that specifying the path in this way allows specifying a target distance that is arbitrarily far without any difficulties in achieving convergence of the control solution.
Fig. 3a and b show the system configurations and corresponding control solution ω for an example with = 1/20, tadv = 2400, and treform = 1200. At t = 0, the activity is maximum at the core of the aster, but unlike the previous setup where only initial and final state of the aster are specified, the order of magnitude remains same throughout the advection phase of aster. During the first phase of the solution (constant advection), the aster undergoes partial dissolution and, as intended, a roughly steady rate of translation toward the target (see snapshots at t = 1200, 1900). However, because we specified the trajectory at discrete intervals spaced by Δȳ = 1, the optimal control field oscillates with a period of about Δ ≈ Δȳ/ = 20. These oscillations arise due to the discrete nature of the objective function that we have imposed, and thus they are not eliminated by penalizing time variations in activity with nonzero K.77 The oscillatory behavior is evident in Fig. 3c, which shows the positions of the maxima of ρ and ω and the minimum of the y-component of the torque, τy, as a function of time. The maximum in the control solution ω exhibits strong oscillations of 20 length units between the front and rear of the aster (while the activity remains low at the aster core, see Fig. 3b), whereas the density maximum moves at a nearly continuous speed toward the target. The minimum τy tracks polarization toward the −ŷ direction and it consistently coincides with the high activity point at the front of the aster. Taken together, these observations show that the control solution pushes the aster from the rear, while exerting torques at the front that maintain aster-like polarization. This is captured in Fig. 3d which shows θ as a function of the azimuthal angle ϕ at two intermediate times during the advection phase, t = 1200 and 1900. Finally, during the second (reformation) phase, the aster re-acquires its radially symmetric steady state density and polarization profile. The dynamical interplay among these forces can be seen in the ESI.†
Fig. 3 Prescribing the path and speed of aster advection. The control problem is formulated in two stages: in advection, the aster moves at a mean speed of for tadv time units; in reformation, the aster reacquires its steady-state profile over a timescale treform. The figure shows two examples. In both cases, the control task is to move the aster by 120 length units in the ŷ direction. (a)–(d) Example 1: slower advection, with = 1/20, tadv = 2400, treform = 1200. (e)–(h) Example 2: faster advection, with = 1/5, tadv = 600, treform = 1200. (a) and (e) Snapshots of the density (color map) and polarization (arrows) profiles for examples 1 (a) and 2 (e). For both examples, snapshots are shown for the initial state t = 0, two intermediate times during the advection phase, and the final point at t = 3600 (slow)/t = 1800 (fast). (b) and (f) Corresponding snapshots for the activity field (color map). The ‘x’ symbols in the snapshots in ((a), (b), (e) and (f)) show the position of the aster core. (c) and (g) Tracking the progress of the aster and the control solution. The plot shows the y-components of the position corresponding to the aster core (density maximum, ρ, green curve); activity maximum (ω, blue curve); and the minimum torque (τy, red curve). (d) and (h) The polarization direction θ as a function of the azimuthal angle ϕ, measured at a distance r = 20 from the aster core, at indicated times. The objective function parameters for both examples are the objective function parameters are {A, B, C, D, K, ω0} = {0.1, 1.0, 2.0, 2.0, 0, 0.05}, λ = 0.8, and the simulation box size is 120 × 200. Videos corresponding to Examples 1 and 2 are provided in ESI† Movies S2 and S3. |
Since we are specifying the path of the aster, we can investigate how the control solution depends on the chosen advection rate. Fig. 3e–h shows analogous results for a trajectory in which the advection phase is shortened to tadv = 600, forcing a higher translation speed = 1/5. The higher speed leads to a qualitatively different type of trajectory; the aster unwinds into a flock during the advection phase, and then reforms during the second phase. Here the control solution takes a bean-shaped spatial profile, which initially pulsates periodically to unwind the leading edge of the aster and push the aster toward the target position. At early times (by t = 150) the rear of the aster adopts a flock-like state with polarization primarily pointing in the ŷ-direction; by t = 450 most of the aster becomes flock-like. The extent of polarization along ŷ is particularly clear from the plot of θ(ϕ) at t = 450 (Fig. 3h, green triangles).
The trajectories in Fig. 3 demonstrate that imposing different constraints in the control problem, such as the time duration, can lead to very different activity profiles and intermediate states in the optimal solution. We can qualitatively, but not quantitatively, understand the transition from aster-like to flock-like behaviors to result from higher values of activity ω required to meet the imposed advection speed (due to the shorter time duration). In addition to setting the effective self-propulsion speed, the activity ω controls the effective compressibility of the active fluid, with small values of ω corresponding to negative compressibilities that favor asters and large values corresponding to positive compressibilities that favor polar flocks. These behaviors are evident in the phase diagram of the uncontrolled system (Fig. 1a). For the value of the particle interaction coefficient λ = 0.8, the uncontrolled system steady-state transitions from asters to ‘blobs’ to polar flocks at about ω = 0.2 and ω = 0.25. Thus, we might expect the system to at least locally undergo a transition out of the aster state above a threshold advection speed and corresponding local activity. However, due to the significant spatial variations of omega in the control solution, we cannot quantitatively connect the trajectory transition to the phase diagram. In particular, we observe maximum activity values (taken over space and time) of ωmax = 0.9 and 1.6 for the slow and fast advection trajectories respectively, meaning that the maximum local activity value is well above the phase transition threshold even for the aster-like trajectory.
Fig. 4 Changing the propagation direction of stripes. (a) and (b) Snapshots of (a) the density (color map) and polarization (arrows) profiles and (b) the activity field ω (color map). The system is initialized in an unperturbed stripe steady-state traveling in the + direction, with parameters {ω, λ} = {0.4, 0.0}. The control solution begins at t = 0 and the system state is shown at indicated times. (c) Contribution of each term of the density dynamics, (3), evaluated by integration across the defined sub-domain: Ωδ: 0 < x ≤ 50 and 0 < y ≤ 100 (see Section IV B). The terms are: (density change), which is driven by −ω∇·τ (self-propulsion), −τ·∇ω (density flow due to activity gradients) and ∇2ρ (diffusion due to density gradients). (d) The active torque ∇ω × τ integrated over the entire domain with time for different target orientations. The objective function parameters are {A, B, C, D, K, ω0} = {0.1, 1.0, 7.0, 7.0, 0, 0.4}; λ = 0.0, and the simulation box size is 256 × 256. Videos S4 and S6 (ESI†) respectively show this trajectory and an independent run in which the stripe is forced to re-orient by 90°. |
While a straightforward route to reorienting a strip would be to melt the stripe to an isotropic domain and then have it reform in the new direction, this is not the optimal solution given by the control theory. Starting with the density equation, eqn (3), we investigate the primary forces influencing density evolution during the stripe reorientation process. For this we choose a subdomain 0 < x ≤ 50, 0 < y ≤ 100 within the simulation box of size 256 × 256. We integrate each of the three terms in eqn (3) over the specified subdomain as a function of time (Fig. 4c): −ω∇·τ, which governs the convection of active particles at convection speed ω; −τ·∇ω, which determines the local density dynamics due to gradients in activity; and ∇2ρ, which determines the diffusion due to density gradients. We find that, at all times, the dominant contribution arises from self-propulsion, −ω∇·τ; contributions from gradients in activity and density have negligible contributions. Thus, we conclude that activity gradients are not the driving force for the density dynamics, but rather lead to the torques that reorient the polarization field, as described in our analysis in Section IV A. To quantify the effect of active torque in this case, we illustrate in Fig. 4c that as the difference in orientation between the initial state and target state increases, the active torque also increases, and as the system settles into the target orientation, the active torque goes to 0.
This result can be qualitatively understood as follows. A trajectory which proceeds through an isotropic intermediate state would require large magnitudes and gradients of activity to melt the stripe and then reform it in a new direction. Instead, the optimal solution takes advantage of the fact that a stripe arises through a spontaneous breaking of rotational symmetry, and thus requires only small torques (and correspondingly small orientational biases in gradients of activity) to reorient its direction.
Fig. 5 Remodelling a propagating stripe to a stationary aster. The system is initialized in an unperturbed stripe steady-state traveling in the + direction, with parameters {ω, λ} = {0.4, 0.6} seeded at (x0 = 60, y0 = 60). The target state is obtained from a simulation of an aster steady state with parameters {ω, λ} = {0.04, 0.6}. (a) and (b) Snapshots of (a) the density (color map) and polarization (arrows) profiles and (b) the activity field (color map). The final activity is equal to the activity of the steady state aster, ω = 0.04 everywhere except near the defect core, where it approaches zero. The baseline activity ω0 = 0.4 was set to the value corresponding to the stripe steady state. (c) The active torque ∇ω × τ integrated over time for each of the two subdomains 0 < x ≤ Lx, 0 < y ≤ Ly/2 and Ly/2 < y ≤ Ly. The objective function parameters are {A, B, C, D, K, ω0} = {0.1, 1.0, 5.5, 5.5, 0, 0.4}; λ = 0.6; and the simulation box size is 128 × 128. A video of this trajectory is in ESI† Movie S5. |
We note that this control problem also differs from the previous one (reorienting stripes) in that the initial and final state have different symmetries. However, the optimal solution still avoids isotropic intermediate states, since these would require significantly larger magnitudes and gradients of activity.
(10) |
Fig. 6 Robustness of the control solution to adding noise to the initial condition. (a) Deviation as a function of time between the trajectories integrated computed with and without noise (, eqn (10)). We added Gaussian noise to the initial condition with indicated magnitude , and integrated the dynamics using the control protocol computed in the absence of noise that is shown in Fig. 2. The inset shows the deviation of the final state as a function of noise magnitude . (b) and (c) The initial and final states for (b) small and (c) large noise. We see robust aster structures even when the error is large in the end state for 35% noise. Parameter values are as in Fig. 2. |
To investigate the effect of model parameter errors on the optimal control solution, we performed trials for the aster advection problem shown in Fig. 2 with varying λ. That is, we used the same initial condition and the optimal protocol computed with λ = 0.8 (i.e. the activity sequence shown in Fig. 2b), but we integrated the equations of motion with different values of λ. As shown in Fig. 7, we see small errors for variations in λ smaller than 10%, beyond which the errors rise significantly. However, similar to the noise results, we observe well-formed asters even for cases with large variations, although their final positions deviate from the target state (Fig. 7c).
Fig. 7 Robustness of the control solution to variations in the model parameter λ. (a) The deviation between the trajectory integrated with the optimal control protocol from Fig. 2b but with the indicated value of λ, compared to the one with λ = 0.8 shown in Fig. 2b. (b) and (c) Snapshots showing the initial and final states for (b) relatively small (λ = 0.78) and (c) large (λ = 0.9) parameter variations. We observe well-formed aster structures even though the error is relatively large at the end state for λ = 0.9, although the aster position deviates from the target. Parameter values are as in Fig. 2. |
Further, we show that the optimal control solutions are robust to noise. In particular, perturbing the initial condition by up to 20% leads to minimal quantitative deviations from the target behavior, and the solution remains qualitatively accurate for significantly larger perturbations. Also, we note that additional strategies can be employed for experimental systems where larger noise sources or systematic errors are unavoidable. This includes integrating closed-loop control components. For example, one can observe the current state of the system at regular intervals along a trajectory, and recompute the optimal control solution using the current state as the initial condition. Alternatively, one can add linear feedback terms that analyze deviations from the pre-computed optimal control trajectory.78
In addition to directly applying the computed activity protocols, examination of their forms provides both fundamental and practical insights into controlling active materials. In particular, we show how the spatial gradients in the applied activity field lead to localized torques which rotate polarization directions, leading to the programmed reformulation of the pattern of interest (e.g. aster or stripe). Unsurprisingly, the form of the trajectory is different depending on the task being encoded for – changing the broken symmetry state of the system (e.g. stripe-to-aster, Fig. 5) requires very different spatial arrangements of active torques then advection (Fig. 2 and 3) or reorientation (Fig. 4). Notably however, the applied activity field and corresponding trajectory also depend strongly on the time allowed for the transformation. In the example of advecting the aster over a distance many times its size (Fig. 3), the aster mostly retains its form throughout the course of the trajectory when moving at moderate speed, but when forced to complete the journey 4× faster, the applied activity field reshapes the aster into a localized flock or swarm, which reformulates into an aster upon reaching the target position.
The states we seek to control are realizable in experiments. Propagating concentration waves of aligned self-propelled particles have been observed in dense actin motility assays79–82 and in self-chemotactic bacterial systems.83–91 Asters are ubiquitous in cell biology in processes such as the formation of the mitotic spindle, oogenesis, and plant cell cytokinesis.92–99 They can be reliably obtained in in vitro suspensions of cytoskeletal filaments and motor proteins.6,46,95,100–110 In such systems, activity can be controlled in space and time by constructing active materials with optogenetic molecular motors. For example, the closely related microtubule-based active nematic system has been modified to contain light-activated kinesins clusters, so that the activity is proportional to the local light intensity.43–46 The researchers then used a digital light projector to shine programmed spatiotemporal sequences of light on the sample.43–46 Our optimal control protocol can be used to determine the spatiotemporal light sequence that will drive such a system into a desired state. Due to inevitable accuracies in hydrodynamic descriptions of active matter systems and experimental noise, it is important that we found our optimal control solutions to be robust against noise and parameter inaccuracies (Fig. 6 and 7). Further, optimal control solutions can be corrected by periodically observing the state of the system and applying feedback control. For example, feedback can be implemented by adding linear restoring forces that drive the system toward the computed trajectory, or by recomputing the optimal control solution based on the current state of the system.
The optimal control framework presented here is highly generalizable, and can be readily applied to any system provided there is a means to externally actuate the system and there is a reasonably accurate continuum model. Importantly, the control variable need not be limited to the activity field, since the objective function can be extended to include any property of the material that can be actuated. With the recent success of automated PDE learning tools in discovering continuum models for active systems (e.g. ref. 111–113), applications need not be limited to systems with accurate models already available. Furthermore, since model discovery tools work better when provided with a variety of data, including from non-steady-state observations, we anticipate that combining model discovery tools with optimal control could be a powerful approach to both discover more accurate models and enhance the reliability of the control solutions.
Footnote |
† Electronic supplementary information (ESI) available. See DOI: https://doi.org/10.1039/d4sm00547c |
This journal is © The Royal Society of Chemistry 2024 |