]contributed equally

]contributed equally

Integer Topological Defects Reveal Anti-Symmetric Forces in Active Nematics

Zihui Zhao School of Physics and Astronomy, Institute of Natural Sciences, Shanghai Jiao Tong University, Shanghai 200240, China [    Yisong Yao School of Physics and Astronomy, Institute of Natural Sciences, Shanghai Jiao Tong University, Shanghai 200240, China [    He Li School of Physics and Astronomy, Institute of Natural Sciences, Shanghai Jiao Tong University, Shanghai 200240, China Institut de Génétique et de Biologie Moléculaire et Cellulaire, Illkirch, France    Yongfeng Zhao School of Physics and Astronomy, Institute of Natural Sciences, Shanghai Jiao Tong University, Shanghai 200240, China Center for Soft Condensed Matter Physics & Interdisciplinary Research, Soochow University, Suzhou 215006, China    Yujia Wang Center for Soft Condensed Matter Physics & Interdisciplinary Research, Soochow University, Suzhou 215006, China    Hepeng Zhang School of Physics and Astronomy, Institute of Natural Sciences, Shanghai Jiao Tong University, Shanghai 200240, China    Hugues Chaté Service de Physique de l’Etat Condensé, CEA, CNRS Université Paris-Saclay, CEA-Saclay, 91191 Gif-sur-Yvette, France Computational Science Research Center, Beijing 100094, China    Masaki Sano School of Physics and Astronomy, Institute of Natural Sciences, Shanghai Jiao Tong University, Shanghai 200240, China Universal Biology Institute, The University of Tokyo, Bunkyo-ku, Tokyo 113-0033, Japan
(September 12, 2024)
Abstract

Cell layers are often categorized as contractile or extensile active nematics but recent experiments on neural progenitor cells with induced +11+1+ 1 topological defects challenge this classification. In a bottom-up approach, we first study a relevant particle-level model and then analyze a continuous theory derived from it. We show that both model and theory account qualitatively for the main experimental result, i.e. accumulation of cells at the core of any type of +1 defect. We argue that cell accumulation is essentially due to two generally ignored anti-symmetric active forces. We finally discuss the relevance and consequences of our findings in the context of other cellular active nematics experiments and previously proposed theories.

It is widely recognized today that topological defects can play a crucial role in biological contexts, including intracellular cytoskeletal dynamics, tissue growth during embryogenesis, and population-level expansion in bacterial colonies [1, 2, 3, 4, 5, 6, 7]. Two-dimensional (2D) tissues formed by cells reaching confluence are a case of particular interest since they are often precursor of 3D shape. Tissues are often described as active nematics, usually because the elongated shapes of their cells give rise to local nematic order [8, 9]. Such cellular active nematics, like their passive counterparts, can exhibit ±12plus-or-minus12\pm\tfrac{1}{2}± divide start_ARG 1 end_ARG start_ARG 2 end_ARG half-integer topological defects, i.e. points in space around which the nematic director turns by ±πplus-or-minus𝜋\pm\pi± italic_π. Activity endows +1212+\frac{1}{2}+ divide start_ARG 1 end_ARG start_ARG 2 end_ARG defects with an intrinsic velocity, and it is now well-known that cells can be attracted to their core, where they may nucleate additional layers [6, 10] or be extruded [11, 12] or form 3D mounds [13], while they are depleted at the core of 1212-\frac{1}{2}- divide start_ARG 1 end_ARG start_ARG 2 end_ARG defects [13, 6]

Integer-charge topological defects can also play a role in biological development [14, 15, 16, 17] such as head and foot regeneration in hydra [7] or the growth of plants around their meristems [18]. They do not appear spontaneously in cellular active nematics, essentially for the same ‘energetic’ reasons as in equilibrium liquid crystals [19]. Charge +11+1+ 1 defects can, though, be induced either by confinement within small domains  [20, 21, 22], or by gentle large-scale cues imprinted in the underlying substrate [23, 24, 25]. In most cases reported so far, cell accumulation and/or extrusion in 3D has been observed at the core of +11+1+ 1 defects.

Models and theories of active nematics have been proposed [2, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35]. Most adopt a ‘top-down’ approach in terms of continuous fields —usually a velocity or polarity field 𝒗𝒗{\bm{v}}bold_italic_v and a nematic tensor field 𝑸𝑸{\bm{Q}}bold_italic_Q—, and invoke a contractile/extensile dichotomy. The situation is somewhat confusing: the cells involved are frequently termed contractile. Yet, at the collective level, cellular active nematics are often [13] —but not always [5, 36]— classified extensile from the direction of the intrinsic motion of +1212+\tfrac{1}{2}+ divide start_ARG 1 end_ARG start_ARG 2 end_ARG defects and the flow field around them. These comet-like structures can indeed be found to move ‘toward their head’ like in standard theories with an (extensile) active stress of negative coefficient ζ𝑸𝜁𝑸-\zeta{\bm{Q}}- italic_ζ bold_italic_Q (ζ>0𝜁0\zeta>0italic_ζ > 0) [37, 2]. Progress toward understanding this conundrum was recently made by invoking the effect of ‘polar fluctuations’ [38, 36, 39, 40].

Our understanding of cell accumulation around the cores of +11+1+ 1 defects is also unsatisfactory. In recent experiments on neural progenitor cell (NPC) layers grown on patterned substrates with +11+1+ 1 topological defects, large-scale flows toward defect cores leading to cell accumulation were observed irrespective of the specific type of defect considered, be they asters, spirals, or targets (see [25], Fig. 1(d,e), and Fig. 1(a-c) for schematic +11+1+ 1 defect types). Current theory, however, predicts cell depletion for targets and strongly chiral spirals.

Here, we adopt a bottom-up approach to build a theory motivated by these experimental observations on NPC active nematics. Following Patelli et al. [41], we first study a particle-level model incorporating the basic ingredients at play, including an external field standing for the guiding patterns, and derive from it a continuous theory. We show that both model and theory account qualitatively for the main experimental result, i.e. accumulation of cells at the core of any type of +11+1+ 1 defect. We then argue that cell accumulation is essentially due to two generally ignored anti-symmetric active forces that overcome the standard linear force ζ𝑸𝜁𝑸-\zeta\nabla\cdot{\bm{Q}}- italic_ζ ∇ ⋅ bold_italic_Q. We finally discuss the relevance and consequences of our findings in the context of other cellular active nematics experiments and previously proposed theories.

Refer to caption
Figure 1: (a-c): Sketch of +11+1+ 1 nematic defects and direction of the linear active force ζ𝑸𝜁𝑸-\zeta\nabla\cdot{\bm{Q}}- italic_ζ ∇ ⋅ bold_italic_Q when ζ>0𝜁0\zeta>0italic_ζ > 0 (arrows); (a) aster, (b) spiral (θ0=π/4subscript𝜃0𝜋4\theta_{0}=\pi/4italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_π / 4), (c) target. (d): Substrate with micro-fabricated shallow ridges (width 9μm9𝜇𝑚9\mu m9 italic_μ italic_m and height 1.5μm1.5𝜇𝑚1.5\mu m1.5 italic_μ italic_m) that induce a +11+1+ 1 target pattern in a confluent layer of NPCs grown on them (phase contrast image at bottom right). (e): Fluorescence image of nuclei of accumulated NPCs in the target core region. Scale bar is 200μm𝜇𝑚\mu mitalic_μ italic_m. All experimental details can be found in [25].

The simplest theory used to describe cellular active nematics [13, 6] usually includes a ‘force balance’ equation

γ𝒗=𝒇aζ𝑸𝛾𝒗superscript𝒇𝑎𝜁𝑸\gamma{\bm{v}}={\bm{f}}^{a}\equiv-\zeta\nabla\cdot{\bm{Q}}italic_γ bold_italic_v = bold_italic_f start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT ≡ - italic_ζ ∇ ⋅ bold_italic_Q (1)

with the coefficient γ𝛾\gammaitalic_γ sometimes replaced by an anisotropic friction γγ0(Iε𝑸)𝛾subscript𝛾0𝐼𝜀𝑸\gamma\to\gamma_{0}(I-\varepsilon\bm{Q})italic_γ → italic_γ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( italic_I - italic_ε bold_italic_Q ), where the coefficient 0ε10𝜀10\leq\varepsilon\leq 10 ≤ italic_ε ≤ 1 quantifies larger friction perpendicular to cell alignment [6].

In the NPC experiments of interest here (see, e.g., Fig. 1(d,e) and [25]), even though shallow, the ridges on the substrate largely impose that the orientation of the nematic field 𝑸𝑸{\bm{Q}}bold_italic_Q is simply given by that of the +11+1+ 1 imprinted defect pattern. There exists a continuous family of +11+1+ 1 topological defects parameterized by the tilt angle θ0=θϕsubscript𝜃0𝜃italic-ϕ\theta_{0}=\theta-\phiitalic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_θ - italic_ϕ that their nematic orientation θ𝜃\thetaitalic_θ makes with the reference angle ϕitalic-ϕ\phiitalic_ϕ of the polar coordinate frame (r,ϕ)𝑟italic-ϕ(r,\phi)( italic_r , italic_ϕ ) centered at the defect core (Fig. 1b). In nematic systems, θ0[π2,π2]subscript𝜃0𝜋2𝜋2\theta_{0}\in[-\tfrac{\pi}{2},\tfrac{\pi}{2}]italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∈ [ - divide start_ARG italic_π end_ARG start_ARG 2 end_ARG , divide start_ARG italic_π end_ARG start_ARG 2 end_ARG ], asters corresponds to θ=ϕ𝜃italic-ϕ\theta=\phiitalic_θ = italic_ϕ hence θ0=0subscript𝜃00\theta_{0}=0italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0, while targets are defined by θ0=±π2subscript𝜃0plus-or-minus𝜋2\theta_{0}=\pm\tfrac{\pi}{2}italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = ± divide start_ARG italic_π end_ARG start_ARG 2 end_ARG. All other θ0subscript𝜃0\theta_{0}italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT values correspond to spiral patterns (Fig. 1(a-c)). Writing axisymmetric 𝑸𝑸{\bm{Q}}bold_italic_Q fields as 𝑸=S(r)(cos(2θ)sin(2θ)sin(2θ)cos(2θ))𝑸𝑆𝑟2𝜃2𝜃2𝜃2𝜃{\bm{Q}}=S(r)(\begin{smallmatrix}\cos(2\theta)&\sin(2\theta)\\ \sin(2\theta)&-\cos(2\theta)\end{smallmatrix})bold_italic_Q = italic_S ( italic_r ) ( start_ROW start_CELL roman_cos ( 2 italic_θ ) end_CELL start_CELL roman_sin ( 2 italic_θ ) end_CELL end_ROW start_ROW start_CELL roman_sin ( 2 italic_θ ) end_CELL start_CELL - roman_cos ( 2 italic_θ ) end_CELL end_ROW ), the ‘active force’ 𝒇asuperscript𝒇𝑎{\bm{f}}^{a}bold_italic_f start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT in (1) reads [42]

𝒇a=ζ[S(r)+2S(r)r](cos2θ0𝒆^r+sin2θ0𝒆^ϕ),superscript𝒇𝑎𝜁delimited-[]superscript𝑆𝑟2𝑆𝑟𝑟2subscript𝜃0subscript^𝒆𝑟2subscript𝜃0subscript^𝒆italic-ϕ\bm{f}^{a}=-\zeta[S^{\prime}(r)+\tfrac{2S(r)}{r}](\cos 2\theta_{0}\,\hat{\bm{e% }}_{r}+\sin 2\theta_{0}\,\hat{\bm{e}}_{\phi}),bold_italic_f start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = - italic_ζ [ italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_r ) + divide start_ARG 2 italic_S ( italic_r ) end_ARG start_ARG italic_r end_ARG ] ( roman_cos 2 italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT over^ start_ARG bold_italic_e end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT + roman_sin 2 italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT over^ start_ARG bold_italic_e end_ARG start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT ) , (2)

where S(r)=dS(r)drsuperscript𝑆𝑟𝑑𝑆𝑟𝑑𝑟S^{\prime}(r)=\frac{dS(r)}{dr}italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_r ) = divide start_ARG italic_d italic_S ( italic_r ) end_ARG start_ARG italic_d italic_r end_ARG, and 𝒆^rsubscript^𝒆𝑟\hat{\bm{e}}_{r}over^ start_ARG bold_italic_e end_ARG start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT (𝒆^ϕsubscript^𝒆italic-ϕ\hat{\bm{e}}_{\phi}over^ start_ARG bold_italic_e end_ARG start_POSTSUBSCRIPT italic_ϕ end_POSTSUBSCRIPT) is the unit vector in the radial (azimuthal) direction. If ζ>0𝜁0\zeta>0italic_ζ > 0 (“extensile” case), the radial component is inward for 0|θ0|<π40subscript𝜃0𝜋40\leq|\theta_{0}|<\frac{\pi}{4}0 ≤ | italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | < divide start_ARG italic_π end_ARG start_ARG 4 end_ARG and outward for π4<|θ0|π2𝜋4subscript𝜃0𝜋2\frac{\pi}{4}<|\theta_{0}|\leq\frac{\pi}{2}divide start_ARG italic_π end_ARG start_ARG 4 end_ARG < | italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | ≤ divide start_ARG italic_π end_ARG start_ARG 2 end_ARG since S(r)0superscript𝑆𝑟0S^{\prime}(r)\geq 0italic_S start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ( italic_r ) ≥ 0 holds around the core. Arrows in Fig. 1(a-c) represent the direction of force in typical cases. Accumulation will thus occur at the cores of +11+1+ 1 defects with |θ0|π4subscript𝜃0𝜋4|\theta_{0}|\leq\frac{\pi}{4}| italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | ≤ divide start_ARG italic_π end_ARG start_ARG 4 end_ARG, but the cores of spirals with |θ0|π4subscript𝜃0𝜋4|\theta_{0}|\geq\frac{\pi}{4}| italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT | ≥ divide start_ARG italic_π end_ARG start_ARG 4 end_ARG and target cores will be depleted, in contradiction with the experiments, which found cell accumulation in all cases. We further note that anisotropic friction is insufficient to make the target attractive [42].

We now turn to describing the collective dynamics reported in layers of NPCs by a simple particle-level model. When confluent, these cells take elongated shapes, giving rise to local nematic order, and move along their body axis, stochastically reversing their velocity at a relatively short period of 1-2h (compared to experiments that last several days) [13]. These are the ingredients of the Vicsek-style model for dense active nematics introduced and studied in [41], that we complement here by some external field inducing +11+1+ 1 topological defects. The positions 𝒓isubscript𝒓𝑖\bm{r}_{i}bold_italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT and polarity angle θisubscript𝜃𝑖\theta_{i}italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT of point particles obey the overdamped discrete-time dynamics

𝒓it+1superscriptsubscript𝒓𝑖𝑡1\displaystyle\bm{r}_{i}^{t+1}bold_italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t + 1 end_POSTSUPERSCRIPT =\displaystyle== 𝒓it+v0𝒆it+1,superscriptsubscript𝒓𝑖𝑡subscript𝑣0superscriptsubscript𝒆𝑖𝑡1\displaystyle\bm{r}_{i}^{t}+v_{0}\,\bm{e}_{i}^{t+1},bold_italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT + italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT bold_italic_e start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t + 1 end_POSTSUPERSCRIPT , (3)
θit+1superscriptsubscript𝜃𝑖𝑡1\displaystyle\theta_{i}^{t+1}italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t + 1 end_POSTSUPERSCRIPT =\displaystyle== arg{ϵit[sgn(𝒆it𝒆jt)𝒆jtj+ηχit\displaystyle\arg\{\epsilon_{i}^{t}[\langle\text{sgn}(\bm{e}_{i}^{t}\cdot\bm{e% }_{j}^{t})\bm{e}_{j}^{t}\rangle_{j}+\eta\chi_{i}^{t}roman_arg { italic_ϵ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT [ ⟨ sgn ( bold_italic_e start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ⋅ bold_italic_e start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ) bold_italic_e start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + italic_η italic_χ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT (4)
+Cpsgn(𝒆it𝒆ip)𝒆ip]+Crr^jitj}\displaystyle+C_{p}\,\text{sgn}(\bm{e}_{i}^{t}\cdot\bm{e}_{i}^{p})\bm{e}_{i}^{% p}]+C_{r}\langle\hat{r}_{ji}^{t}\rangle_{j}\}+ italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT sgn ( bold_italic_e start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ⋅ bold_italic_e start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ) bold_italic_e start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ] + italic_C start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ⟨ over^ start_ARG italic_r end_ARG start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ⟩ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT }

where 𝒆isubscript𝒆𝑖{\bm{e}}_{i}bold_italic_e start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT is the unit vector with orientation θisubscript𝜃𝑖\theta_{i}italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT, v0subscript𝑣0v_{0}italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is the self-propulsion force, ϵitsuperscriptsubscriptitalic-ϵ𝑖𝑡\epsilon_{i}^{t}italic_ϵ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT is a sign reversing with probability k𝑘kitalic_k at each timestep, and η𝜂\etaitalic_η is the strength of the white uniform angular noise χit[π2,π2]superscriptsubscript𝜒𝑖𝑡𝜋2𝜋2\chi_{i}^{t}\in[-\frac{\pi}{2},\frac{\pi}{2}]italic_χ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT ∈ [ - divide start_ARG italic_π end_ARG start_ARG 2 end_ARG , divide start_ARG italic_π end_ARG start_ARG 2 end_ARG ]. Averages jsubscriptdelimited-⟨⟩𝑗\langle\cdot\rangle_{j}⟨ ⋅ ⟩ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT in interaction terms are taken over neighboring particles j𝑗jitalic_j within unit distance. The first stands for nematic alignment of polarities, and includes the central particle i𝑖iitalic_i. The second interaction term, of strength Crsubscript𝐶𝑟C_{r}italic_C start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT, codes for soft repulsive torques (𝒓^jitsuperscriptsubscript^𝒓𝑗𝑖𝑡\hat{\bm{r}}_{ji}^{t}over^ start_ARG bold_italic_r end_ARG start_POSTSUBSCRIPT italic_j italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT is the unit vector along 𝒓it𝒓jtsuperscriptsubscript𝒓𝑖𝑡superscriptsubscript𝒓𝑗𝑡\bm{r}_{i}^{t}-\bm{r}_{j}^{t}bold_italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT - bold_italic_r start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT). The external field term, of strength Cpsubscript𝐶𝑝C_{p}italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT, represents nematic alignment with the fixed defect pattern: the unit vector 𝒆ipsuperscriptsubscript𝒆𝑖𝑝\bm{e}_{i}^{p}bold_italic_e start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT is along the local polar angle θip=ϕit+θ0superscriptsubscript𝜃𝑖𝑝superscriptsubscriptitalic-ϕ𝑖𝑡subscript𝜃0\theta_{i}^{p}=\phi_{i}^{t}+\theta_{0}italic_θ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT = italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT + italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT where ϕitsuperscriptsubscriptitalic-ϕ𝑖𝑡\phi_{i}^{t}italic_ϕ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT is the azimuthal angle of the +11+1+ 1 defect pattern at location 𝒓itsuperscriptsubscript𝒓𝑖𝑡{\bm{r}}_{i}^{t}bold_italic_r start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_t end_POSTSUPERSCRIPT.

This model (with Cp=0subscript𝐶𝑝0C_{p}=0italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0) was studied at fixed, moderate, repulsion strength Crsubscript𝐶𝑟C_{r}italic_C start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT in [41]. In order to single out the effects of the imposed +11+1+ 1 defect field, we ran simulations in the region where the homogeneous nematic (HN) ordered state is stable [41]. Applying various +11+1+ 1 defect patterns, varying the field strength, we found that, typically, values as low as Cp=0.1subscript𝐶𝑝0.1C_{p}=0.1italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0.1 insure that nematic orientation follows the imposed pattern. Figure 2(a-c) shows steady-state radial number density profiles ρ(r)𝜌𝑟\rho(r)italic_ρ ( italic_r ) obtained for Cp=0.1subscript𝐶𝑝0.1C_{p}=0.1italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0.1 For all types of +11+1+ 1 defects, particle accumulation is observed in the central region, provided Crsubscript𝐶𝑟C_{r}italic_C start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT is neither too small nor too large. We scanned various parameter planes and always found large regions where accumulation occurs. Results for the (v0,Cr)subscript𝑣0subscript𝐶𝑟(v_{0},C_{r})( italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_C start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) parameter plane are shown in Fig. 2(d-f). (Complementary results can be found in Appendix A, Fig. 4).

Our particle-level model is thus able to account, at least qualitatively, for the systematic accumulation of cells observed in the NPC experiments. We now follow [41], and derive a continuous theory from it. (Details about this derivation can be found in Appendix B and [42].) The starting point is a Boltzmann equation governing the one-body distribution function f(𝒓,θ,t)𝑓𝒓𝜃𝑡f(\bm{r},\theta,t)italic_f ( bold_italic_r , italic_θ , italic_t ) that incorporates a field term inducing nematic alignment with the local orientation θpsubscript𝜃𝑝\theta_{p}italic_θ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT of the imposed pattern:

tf+v0𝒆(θ)f+Cpθ[sin2(θpθ)f]=Icol[f]subscript𝑡𝑓subscript𝑣0𝒆𝜃𝑓subscript𝐶𝑝subscript𝜃delimited-[]2subscript𝜃𝑝𝜃𝑓subscript𝐼𝑐𝑜𝑙delimited-[]𝑓\displaystyle\partial_{t}f+v_{0}\bm{e}(\theta)\cdot\nabla f+C_{p}\partial_{% \theta}[\sin 2(\theta_{p}-\theta)f]=I_{col}[f]∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_f + italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT bold_italic_e ( italic_θ ) ⋅ ∇ italic_f + italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_θ end_POSTSUBSCRIPT [ roman_sin 2 ( italic_θ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT - italic_θ ) italic_f ] = italic_I start_POSTSUBSCRIPT italic_c italic_o italic_l end_POSTSUBSCRIPT [ italic_f ]
+[f(θψ)ψf(θ)]+a[f(θ+π)f(θ)],delimited-[]subscriptdelimited-⟨⟩𝑓𝜃𝜓𝜓𝑓𝜃𝑎delimited-[]𝑓𝜃𝜋𝑓𝜃\displaystyle+\bigl{[}\langle f(\theta-\psi)\rangle_{\psi}-f(\theta)\bigr{]}+a% \bigl{[}f(\theta+\pi)-f(\theta)\bigr{]},+ [ ⟨ italic_f ( italic_θ - italic_ψ ) ⟩ start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - italic_f ( italic_θ ) ] + italic_a [ italic_f ( italic_θ + italic_π ) - italic_f ( italic_θ ) ] , (5)

where 𝒆(θ)𝒆𝜃\bm{e}(\theta)bold_italic_e ( italic_θ ) is a unit vector along θ𝜃\thetaitalic_θ, Icolsubscript𝐼𝑐𝑜𝑙I_{col}italic_I start_POSTSUBSCRIPT italic_c italic_o italic_l end_POSTSUBSCRIPT is the collision integral coding for alignment and repulsion, a𝑎aitalic_a is the velocity reversal rate, ψsubscriptdelimited-⟨⟩𝜓\langle\cdot\rangle_{\psi}⟨ ⋅ ⟩ start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT is the average over a noise distribution P(ψ)𝑃𝜓P(\psi)italic_P ( italic_ψ ) (with rms η𝜂\etaitalic_η). This equation is then truncated and closed using a scaling ansatz. The result is a set of coupled equations governing the first three angular Fourier modes fk(𝒓,t)=ππf(𝒓,θ,t)eikθ𝑑θsubscript𝑓𝑘𝒓𝑡superscriptsubscript𝜋𝜋𝑓𝒓𝜃𝑡superscript𝑒𝑖𝑘𝜃differential-d𝜃f_{k}(\bm{r},t)=\int_{-\pi}^{\pi}f(\bm{r},\theta,t)e^{ik\theta}d\thetaitalic_f start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT ( bold_italic_r , italic_t ) = ∫ start_POSTSUBSCRIPT - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT italic_f ( bold_italic_r , italic_θ , italic_t ) italic_e start_POSTSUPERSCRIPT italic_i italic_k italic_θ end_POSTSUPERSCRIPT italic_d italic_θ of f𝑓fitalic_f:

tf0subscript𝑡subscript𝑓0\displaystyle\partial_{t}f_{0}∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT =\displaystyle== 12v0(f1+f1),12subscript𝑣0superscriptsubscript𝑓1superscriptsubscript𝑓1\displaystyle-\tfrac{1}{2}v_{0}(\triangledown^{*}f_{1}+\triangledown f_{1}^{*}),- divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( ▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + ▽ italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ) , (6)
tf1subscript𝑡subscript𝑓1\displaystyle\partial_{t}f_{1}∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT =\displaystyle== (αβ|f2|2)f1+σf1f2π0ρζf2𝛼𝛽superscriptsubscript𝑓22subscript𝑓1𝜎superscriptsubscript𝑓1subscript𝑓2subscript𝜋0𝜌𝜁superscriptsubscript𝑓2\displaystyle(-\alpha-\beta|f_{2}|^{2})f_{1}+\sigma f_{1}^{*}f_{2}-\pi_{0}% \triangledown\rho-\zeta\triangledown^{*}f_{2}( - italic_α - italic_β | italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_σ italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_π start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ▽ italic_ρ - italic_ζ ▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT (7)
+\displaystyle++ λ(f1f1+f1f1f2ρ)+λ3f1f1𝜆subscript𝑓1superscriptsubscript𝑓1subscript𝑓1superscriptsubscript𝑓1subscript𝑓2superscript𝜌subscript𝜆3superscriptsubscript𝑓1subscript𝑓1\displaystyle\lambda(f_{1}\triangledown^{*}f_{1}+f_{1}\triangledown f_{1}^{*}-% f_{2}\triangledown^{*}\rho)+\lambda_{3}f_{1}^{*}\triangledown f_{1}italic_λ ( italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ▽ italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT - italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_ρ ) + italic_λ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ▽ italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT
+\displaystyle++ γ2f2f2+γ1f2f2+12Cpe2iθpf1,subscript𝛾2subscript𝑓2superscriptsubscript𝑓2subscript𝛾1superscriptsubscript𝑓2subscript𝑓212subscript𝐶𝑝superscript𝑒2𝑖subscript𝜃𝑝subscriptsuperscript𝑓1\displaystyle\gamma_{2}f_{2}\triangledown f_{2}^{*}+\gamma_{1}f_{2}^{*}% \triangledown f_{2}+\tfrac{1}{2}C_{p}e^{2i\theta_{p}}f^{*}_{1},italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ▽ italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT + italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ▽ italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT 2 italic_i italic_θ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_f start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ,
tf2subscript𝑡subscript𝑓2\displaystyle\partial_{t}f_{2}∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT =\displaystyle== (μ+τ|f1|2ξ|f2|2)f2+νf2π1f1𝜇𝜏superscriptsubscript𝑓12𝜉superscriptsubscript𝑓22subscript𝑓2𝜈superscriptsubscript𝑓2subscript𝜋1subscript𝑓1\displaystyle(\mu+\tau|f_{1}|^{2}-\xi|f_{2}|^{2})f_{2}+\nu\triangledown% \triangledown^{*}f_{2}-\pi_{1}\triangledown f_{1}( italic_μ + italic_τ | italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_ξ | italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_ν ▽ ▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_π start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ▽ italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT (8)
+\displaystyle++ χ1(f1f2)+χ2f2f1+χ3f2f1+ωf12subscript𝜒1superscriptsubscript𝑓1subscript𝑓2subscript𝜒2subscript𝑓2superscriptsubscript𝑓1subscript𝜒3subscript𝑓2subscriptsuperscript𝑓1𝜔superscriptsubscript𝑓12\displaystyle\chi_{1}\triangledown^{*}(f_{1}f_{2})+\chi_{2}f_{2}\triangledown^% {*}f_{1}+\chi_{3}f_{2}\triangledown f^{*}_{1}+\omega f_{1}^{2}italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ( italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) + italic_χ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ▽ italic_f start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_ω italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT
+\displaystyle++ κ1f1f2+κ2f1ρ+Cpe2iθpρ,subscript𝜅1subscriptsuperscript𝑓1subscript𝑓2subscript𝜅2subscript𝑓1𝜌subscript𝐶𝑝superscript𝑒2𝑖subscript𝜃𝑝𝜌\displaystyle\kappa_{1}f^{*}_{1}\triangledown f_{2}+\kappa_{2}f_{1}% \triangledown\rho+C_{p}e^{2i\theta_{p}}\rho\,,italic_κ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_f start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ▽ italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_κ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ▽ italic_ρ + italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_e start_POSTSUPERSCRIPT 2 italic_i italic_θ start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_POSTSUPERSCRIPT italic_ρ ,

where x+iysubscript𝑥𝑖subscript𝑦\triangledown\equiv\partial_{x}+i\partial_{y}▽ ≡ ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT + italic_i ∂ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT and xiysuperscriptsubscript𝑥𝑖subscript𝑦\triangledown^{*}\equiv\partial_{x}-i\partial_{y}▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT ≡ ∂ start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT - italic_i ∂ start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT. While f0subscript𝑓0f_{0}italic_f start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT is real and identical to the density field ρ𝜌\rhoitalic_ρ, f1subscript𝑓1f_{1}italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and f2subscript𝑓2f_{2}italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT are complex-valued, representing density-weighted polarity/velocity and nematic order fields

𝒘1v0ρ𝒗=(f1f1),𝑸~ρ𝑸=(f2f2f2f2).formulae-sequence𝒘1subscript𝑣0𝜌𝒗subscript𝑓1subscript𝑓1~𝑸𝜌𝑸subscript𝑓2subscript𝑓2subscript𝑓2subscript𝑓2\bm{w}\equiv\frac{1}{v_{0}}\rho\bm{v}=\left(\begin{array}[]{r}\mathcal{R}f_{1}% \\ \mathcal{I}f_{1}\end{array}\right),\quad\tilde{\bm{Q}}\equiv\rho\bm{Q}=\left(% \begin{array}[]{rr}\mathcal{R}f_{2}&\mathcal{I}f_{2}\\ \mathcal{I}f_{2}&-\mathcal{R}f_{2}\end{array}\right).bold_italic_w ≡ divide start_ARG 1 end_ARG start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG italic_ρ bold_italic_v = ( start_ARRAY start_ROW start_CELL caligraphic_R italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL caligraphic_I italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) , over~ start_ARG bold_italic_Q end_ARG ≡ italic_ρ bold_italic_Q = ( start_ARRAY start_ROW start_CELL caligraphic_R italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL caligraphic_I italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW start_ROW start_CELL caligraphic_I italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL start_CELL - caligraphic_R italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_CELL end_ROW end_ARRAY ) . (9)

All coefficients in Eqs. (6-8) depend on the microscopic-level parameters (see [42] for explicit expressions). These equations are identical to those derived in [41] except for the last term of (7) and (8) which involves the external patterned field.

Refer to caption
Figure 2: Particle-level model (3,4) in a square of linear size L=200𝐿200L=200italic_L = 200 with +11+1+ 1 defect patterns applied in a central disk of radius 10101010 (steady-state results, parameters ρ0=1.5,k=0.5,η=0.03,Cp=0.1formulae-sequencesubscript𝜌01.5formulae-sequence𝑘0.5formulae-sequence𝜂0.03subscript𝐶𝑝0.1\rho_{0}=1.5,k=0.5,\eta=0.03,C_{p}=0.1italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1.5 , italic_k = 0.5 , italic_η = 0.03 , italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0.1). Left: radial density profiles ρ(r)𝜌𝑟\rho(r)italic_ρ ( italic_r ) obtained for v0=0.1subscript𝑣00.1v_{0}=0.1italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.1 at various repulsion strengths Crsubscript𝐶𝑟C_{r}italic_C start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT. Right: phase diagrams in the (v0,Cr)subscript𝑣0subscript𝐶𝑟(v_{0},C_{r})( italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_C start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ) plane showing in color the relative accumulation or depletion in the central area (points along the dashed lines indicate values used in (a-c)). (a,d): target. (b,e): spiral with θ0=π4subscript𝜃0𝜋4\theta_{0}=\tfrac{\pi}{4}italic_θ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = divide start_ARG italic_π end_ARG start_ARG 4 end_ARG. (c,f) aster.

Equations (6-8) can be simulated as is, and their solutions have been shown to be qualitatively faithful to the particle-level model (in the absence of external field) [41]. We have run simulations with imposed +11+1+ 1 defect patterns, again using parameters mostly in the stable HN ordered state region, and found that accumulation at defect cores occurs even for small Cpsubscript𝐶𝑝C_{p}italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT values. Yet, with their many terms, Eqs. (6-8) do not easily allow a deeper understanding of the features at the origin of accumulation at +11+1+ 1 defect cores. They can be simplified rather straightforwardly. First of all, as seen in simulations, |f1|subscript𝑓1|f_{1}|| italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT | is always much smaller than |f2|subscript𝑓2|f_{2}|| italic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT | in the regimes under consideration here where nematic order is well developed almost everywhere. This suggests to neglect all terms containing f1subscript𝑓1f_{1}italic_f start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT twice. We also found, in simulations with an imposed field pattern, that canceling the f2ρsubscript𝑓2superscript𝜌f_{2}\triangledown^{*}\rhoitalic_f start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ▽ start_POSTSUPERSCRIPT ∗ end_POSTSUPERSCRIPT italic_ρ term in (7) and the κ1subscript𝜅1\kappa_{1}italic_κ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and κ2subscript𝜅2\kappa_{2}italic_κ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT terms in (8) does not impact much the behavior of the system. Our simplified Eqs. (6-8) thus read, using tenso-vectorial notations:

tρsubscript𝑡𝜌\displaystyle\partial_{t}\rho∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT italic_ρ =\displaystyle== v0𝒘,subscript𝑣0𝒘\displaystyle-v_{0}\nabla\cdot\bm{w},- italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∇ ⋅ bold_italic_w , (10)
t𝒘subscript𝑡𝒘\displaystyle\partial_{t}\bm{w}∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT bold_italic_w =\displaystyle== [αβS~2+σ𝑸~+12Cp𝑸p]𝒘ζ𝑸~delimited-[]𝛼𝛽superscript~𝑆2𝜎bold-~𝑸12subscript𝐶𝑝superscript𝑸𝑝𝒘𝜁bold-~𝑸\displaystyle[-\alpha-\beta\tilde{S}^{2}+\sigma\bm{\tilde{Q}}+\tfrac{1}{2}C_{p% }\bm{Q}^{p}]\bm{w}-\zeta\nabla\cdot\bm{\tilde{Q}}[ - italic_α - italic_β over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_σ overbold_~ start_ARG bold_italic_Q end_ARG + divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT bold_italic_Q start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ] bold_italic_w - italic_ζ ∇ ⋅ overbold_~ start_ARG bold_italic_Q end_ARG
+\displaystyle++ γ2𝑸~(𝑸~)+γ1[(𝑸~)𝑸~]Tπ0ρ,subscript𝛾2bold-~𝑸bold-~𝑸subscript𝛾1superscriptdelimited-[]bold-~𝑸bold-~𝑸𝑇subscript𝜋0𝜌\displaystyle\gamma_{2}\bm{\tilde{Q}}(\nabla\cdot\bm{\tilde{Q}})+\gamma_{1}[(% \bm{\tilde{Q}}\cdot\nabla)\bm{\tilde{Q}}]^{T}-\pi_{0}\nabla\rho\;,italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT overbold_~ start_ARG bold_italic_Q end_ARG ( ∇ ⋅ overbold_~ start_ARG bold_italic_Q end_ARG ) + italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [ ( overbold_~ start_ARG bold_italic_Q end_ARG ⋅ ∇ ) overbold_~ start_ARG bold_italic_Q end_ARG ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT - italic_π start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∇ italic_ρ ,
t𝑸~subscript𝑡bold-~𝑸\displaystyle\partial_{t}\bm{\tilde{Q}}∂ start_POSTSUBSCRIPT italic_t end_POSTSUBSCRIPT overbold_~ start_ARG bold_italic_Q end_ARG =\displaystyle== [μξS~2]𝑸~+ν2𝑸~+(χ1+χ2+χ3)𝑸~(𝒘)delimited-[]𝜇𝜉superscript~𝑆2bold-~𝑸𝜈superscript2bold-~𝑸subscript𝜒1subscript𝜒2subscript𝜒3bold-~𝑸𝒘\displaystyle[\mu-\xi\tilde{S}^{2}]\bm{\tilde{Q}}+\nu\nabla^{2}\bm{\tilde{Q}}+% (\chi_{1}\!+\!\chi_{2}\!+\!\chi_{3})\bm{\tilde{Q}}(\nabla\cdot\bm{w})[ italic_μ - italic_ξ over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] overbold_~ start_ARG bold_italic_Q end_ARG + italic_ν ∇ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT overbold_~ start_ARG bold_italic_Q end_ARG + ( italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT + italic_χ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT ) overbold_~ start_ARG bold_italic_Q end_ARG ( ∇ ⋅ bold_italic_w ) (12)
+\displaystyle++ (χ3χ2χ1)(𝛀𝑸~𝑸~𝛀)2π1𝑬subscript𝜒3subscript𝜒2subscript𝜒1𝛀bold-~𝑸bold-~𝑸𝛀2subscript𝜋1𝑬\displaystyle(\chi_{3}-\chi_{2}-\chi_{1})(\bm{\Omega}\cdot\bm{\tilde{Q}}-\bm{% \tilde{Q}}\cdot\bm{\Omega})-2\pi_{1}\bm{E}( italic_χ start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ( bold_Ω ⋅ overbold_~ start_ARG bold_italic_Q end_ARG - overbold_~ start_ARG bold_italic_Q end_ARG ⋅ bold_Ω ) - 2 italic_π start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT bold_italic_E
+\displaystyle++ χ1[(𝒘)𝑸~+𝑸~]+Cpρ𝑸p,subscript𝜒1delimited-[]𝒘bold-~𝑸bold-℧bold-~𝑸subscript𝐶𝑝𝜌superscript𝑸𝑝\displaystyle\chi_{1}[(\bm{w}\cdot\nabla)\bm{\tilde{Q}}+\bm{\mho}\cdot\bm{% \tilde{Q}}]+C_{p}\rho\,\bm{Q}^{p},italic_χ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [ ( bold_italic_w ⋅ ∇ ) overbold_~ start_ARG bold_italic_Q end_ARG + bold_℧ ⋅ overbold_~ start_ARG bold_italic_Q end_ARG ] + italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT italic_ρ bold_italic_Q start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ,

where 𝑸~psuperscript~𝑸𝑝\tilde{\bm{Q}}^{p}over~ start_ARG bold_italic_Q end_ARG start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT is the nematic field of the imposed pattern, S~=ρS~𝑆𝜌𝑆\tilde{S}=\rho Sover~ start_ARG italic_S end_ARG = italic_ρ italic_S, 𝑬𝑬\bm{E}bold_italic_E is the symmetric strain rate-like tensor defined by Eij=12(iwj+jwiδij𝒘)subscript𝐸𝑖𝑗12subscript𝑖subscript𝑤𝑗subscript𝑗subscript𝑤𝑖subscript𝛿𝑖𝑗𝒘E_{ij}=\frac{1}{2}(\partial_{i}w_{j}+\partial_{j}w_{i}-\delta_{ij}\nabla\cdot% \bm{w})italic_E start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( ∂ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT + ∂ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_δ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT ∇ ⋅ bold_italic_w ), 𝛀𝛀\bm{\Omega}bold_Ω is the antisymmetric rate of rotation tensor Ωij=12(iwjjwi)subscriptΩ𝑖𝑗12subscript𝑖subscript𝑤𝑗subscript𝑗subscript𝑤𝑖\Omega_{ij}=\frac{1}{2}(\partial_{i}w_{j}-\partial_{j}w_{i})roman_Ω start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( ∂ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT - ∂ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT italic_w start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ), and ij=wjiwijsubscript𝑖𝑗subscript𝑤𝑗subscript𝑖subscript𝑤𝑖subscript𝑗\mho_{ij}=w_{j}\partial_{i}-w_{i}\partial_{j}℧ start_POSTSUBSCRIPT italic_i italic_j end_POSTSUBSCRIPT = italic_w start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT - italic_w start_POSTSUBSCRIPT italic_i end_POSTSUBSCRIPT ∂ start_POSTSUBSCRIPT italic_j end_POSTSUBSCRIPT. Note that Eq. (12) is similar to the Beris–Edwards equation [43, 44, 27, 35]

Numerical simulations of Eqs. (10-12) and of Eqs. (6-8), performed at similar parameters, yield very similar results 111One quantitative difference is that a smaller Cpsubscript𝐶𝑝C_{p}italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT value is sufficient, for the simplified equations, to fully impose the external pattern and in particular to avoid that the +11+1+ 1 defect splits into two +1212+\tfrac{1}{2}+ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ones.. We now show features of the typical axisymmetric steady-state solutions of Eqs. (10-12) when imposing weak patterns (Cp=0.1subscript𝐶𝑝0.1C_{p}=0.1italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0.1). In Fig. 3(a), where a target pattern is induced, radial density and velocity profiles reveal that inward flows and accumulation in the core region are only replaced by outward flow and depletion for large enough nominal speed v0subscript𝑣0v_{0}italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. Figure 3(b,c) display phase diagrams in a parameter plane equivalent to that of Fig. 1(d-f) for both target and aster patterns. Showing large regions of accumulation near defect cores, they are very similar to those obtained at particle level.

To obtain some analytical insights and identify the roles of active forces around +11+1+ 1 defect, we make further simplifications. First of all, we neglect the ρ𝜌\rhoitalic_ρ dependence of coefficients (α,μ,π0,π1,𝛼𝜇subscript𝜋0subscript𝜋1\alpha,\mu,\pi_{0},\pi_{1},italic_α , italic_μ , italic_π start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_π start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , and ζ𝜁\zetaitalic_ζ are impacted). In the steady state, Eq. (Integer Topological Defects Reveal Anti-Symmetric Forces in Active Nematics) yields

𝒘=Γ(𝑸~,𝑸p)1(𝒇aπ0ρ)𝒘Γsuperscript~𝑸superscript𝑸𝑝1superscript𝒇𝑎subscript𝜋0𝜌\displaystyle\bm{w}={\Gamma(\tilde{\bm{Q}},{\bm{Q}}^{p})}^{-1}(\bm{f}^{a}-\pi_% {0}\nabla\rho)bold_italic_w = roman_Γ ( over~ start_ARG bold_italic_Q end_ARG , bold_italic_Q start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ) start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( bold_italic_f start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT - italic_π start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∇ italic_ρ ) (13)
withwith\displaystyle\!\!\!\!\!\!\!\!{\rm with}\;\;roman_with 𝒇a=(ζ+γ2𝑸~)𝑸~+γ1[(𝑸~)𝑸~]T,superscript𝒇𝑎𝜁subscript𝛾2bold-~𝑸bold-~𝑸subscript𝛾1superscriptdelimited-[]bold-~𝑸bold-~𝑸𝑇\displaystyle\bm{f}^{a}=(-\zeta+\gamma_{2}\bm{\tilde{Q}})\nabla\cdot\bm{\tilde% {Q}}+\gamma_{1}[(\bm{\tilde{Q}}\cdot\nabla)\bm{\tilde{Q}}]^{T},bold_italic_f start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT = ( - italic_ζ + italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT overbold_~ start_ARG bold_italic_Q end_ARG ) ∇ ⋅ overbold_~ start_ARG bold_italic_Q end_ARG + italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [ ( overbold_~ start_ARG bold_italic_Q end_ARG ⋅ ∇ ) overbold_~ start_ARG bold_italic_Q end_ARG ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT , (15)
Γ(𝑸~,𝑸p)=α+βS~2σ𝑸~12Cp𝑸p.Γ~𝑸superscript𝑸𝑝𝛼𝛽superscript~𝑆2𝜎~𝑸12subscript𝐶𝑝superscript𝑸𝑝\displaystyle\Gamma(\tilde{\bm{Q}},{\bm{Q}}^{p})=\alpha+\beta\tilde{S}^{2}-% \sigma\tilde{\bm{Q}}-\tfrac{1}{2}C_{p}\bm{Q}^{p}.roman_Γ ( over~ start_ARG bold_italic_Q end_ARG , bold_italic_Q start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ) = italic_α + italic_β over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_σ over~ start_ARG bold_italic_Q end_ARG - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT bold_italic_Q start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT .

When 𝑸~~𝑸\tilde{\bm{Q}}over~ start_ARG bold_italic_Q end_ARG is well aligned with the external field in the steady state and 𝒘𝒘\bm{w}bold_italic_w is negligible compared with 𝑸~~𝑸\tilde{\bm{Q}}over~ start_ARG bold_italic_Q end_ARG in Eq. (12), [μξS~2]𝑸~+Cp𝑸pρ=0delimited-[]𝜇𝜉superscript~𝑆2bold-~𝑸subscript𝐶𝑝superscript𝑸𝑝𝜌0[\mu-\xi\tilde{S}^{2}]\bm{\tilde{Q}}+C_{p}\bm{Q}^{p}\rho=0[ italic_μ - italic_ξ over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] overbold_~ start_ARG bold_italic_Q end_ARG + italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT bold_italic_Q start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT italic_ρ = 0 holds. Writing 𝑸~=ρS𝑸p~𝑸𝜌𝑆superscript𝑸𝑝\tilde{\bm{Q}}=\rho S{\bm{Q}}^{p}over~ start_ARG bold_italic_Q end_ARG = italic_ρ italic_S bold_italic_Q start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT yields [μξρ2S2]S+Cp=0delimited-[]𝜇𝜉superscript𝜌2superscript𝑆2𝑆subscript𝐶𝑝0[\mu-\xi\rho^{2}S^{2}]S+C_{p}=0[ italic_μ - italic_ξ italic_ρ start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT italic_S start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ] italic_S + italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0. Solving for ρS𝜌𝑆\rho Sitalic_ρ italic_S assuming small deviations from μ/ξ𝜇𝜉\sqrt{\mu/\xi}square-root start_ARG italic_μ / italic_ξ end_ARG (μ,ξ>0𝜇𝜉0\mu,\xi>0italic_μ , italic_ξ > 0), we obtain ρSμ/ξ+ρCp2μ+𝒪(Cp2)similar-to𝜌𝑆𝜇𝜉𝜌subscript𝐶𝑝2𝜇𝒪superscriptsubscript𝐶𝑝2\rho S\sim\sqrt{\mu/\xi}+\frac{\rho C_{p}}{2\mu}+\mathcal{O}(C_{p}^{2})italic_ρ italic_S ∼ square-root start_ARG italic_μ / italic_ξ end_ARG + divide start_ARG italic_ρ italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT end_ARG start_ARG 2 italic_μ end_ARG + caligraphic_O ( italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ). Injecting this expression in ΓΓ\Gammaroman_Γ yields Γ(𝑸~,𝑸p)=Γ(𝑸~)=γ0(𝑰ε𝑸~).Γ~𝑸superscript𝑸𝑝Γ~𝑸subscript𝛾0𝑰𝜀~𝑸\Gamma(\tilde{\bm{Q}},{\bm{Q}}^{p})=\Gamma(\tilde{\bm{Q}})=\gamma_{0}(\bm{I}-% \varepsilon\tilde{\bm{Q}}).roman_Γ ( over~ start_ARG bold_italic_Q end_ARG , bold_italic_Q start_POSTSUPERSCRIPT italic_p end_POSTSUPERSCRIPT ) = roman_Γ ( over~ start_ARG bold_italic_Q end_ARG ) = italic_γ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ( bold_italic_I - italic_ε over~ start_ARG bold_italic_Q end_ARG ) . where γ0=α+βS~2>0subscript𝛾0𝛼𝛽superscript~𝑆20\gamma_{0}=\alpha+\beta\tilde{S}^{2}>0italic_γ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = italic_α + italic_β over~ start_ARG italic_S end_ARG start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT > 0 and ε=[σ+Cp/(2ρS)]/γ0𝜀delimited-[]𝜎subscript𝐶𝑝2𝜌𝑆subscript𝛾0\varepsilon=[\sigma+C_{p}/(2\rho S)]/\gamma_{0}italic_ε = [ italic_σ + italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT / ( 2 italic_ρ italic_S ) ] / italic_γ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. (α>0,β>0formulae-sequence𝛼0𝛽0\alpha>0,\beta>0italic_α > 0 , italic_β > 0) In [42], we argue that, for axisymmetric solutions, the anisotropy coefficient ε𝜀\varepsilonitalic_ε (in Γ(𝑸~)Γ~𝑸\Gamma(\tilde{\bm{Q}})roman_Γ ( over~ start_ARG bold_italic_Q end_ARG )) cannot reverse the sign of the radial component of 𝒘𝒘{\bm{w}}bold_italic_w. Thus, this radial flow vanishes (steady-state condition) when fr=π0dρ/drsubscript𝑓𝑟subscript𝜋0𝑑𝜌𝑑𝑟f_{r}=\pi_{0}d\rho/dritalic_f start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = italic_π start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT italic_d italic_ρ / italic_d italic_r where frsubscript𝑓𝑟f_{r}italic_f start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT is the radial component of 𝒇asuperscript𝒇𝑎{\bm{f}}^{a}bold_italic_f start_POSTSUPERSCRIPT italic_a end_POSTSUPERSCRIPT. Consequently, accumulation or depletion, governed by the sign of dρ/dr𝑑𝜌𝑑𝑟d\rho/dritalic_d italic_ρ / italic_d italic_r, is decided by the sign of frsubscript𝑓𝑟f_{r}italic_f start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT.

We also show in [42] that frsubscript𝑓𝑟f_{r}italic_f start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT, when a target or aster pattern is imposed, can be approximated by:

fr(r)[±ζ(γ1γ2)ρS]2ρSr,similar-tosubscript𝑓𝑟𝑟delimited-[]plus-or-minus𝜁subscript𝛾1subscript𝛾2𝜌𝑆2𝜌𝑆𝑟f_{r}(r)\sim\bigl{[}\pm\zeta-(\gamma_{1}-\gamma_{2})\rho S\bigr{]}\frac{2\rho S% }{r},italic_f start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_r ) ∼ [ ± italic_ζ - ( italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_ρ italic_S ] divide start_ARG 2 italic_ρ italic_S end_ARG start_ARG italic_r end_ARG , (16)

where the +++ sign is for a target, and the -- sign is for an aster. We thus conclude that under our approximations, the accumulation-depletion transition is given by fr=0subscript𝑓𝑟0f_{r}=0italic_f start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT = 0. On the transition line, we can safely assume that ρ=ρ0𝜌subscript𝜌0\rho=\rho_{0}italic_ρ = italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. For weak fields (Cp1much-less-thansubscript𝐶𝑝1C_{p}\ll 1italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT ≪ 1) and away from the defect core, this gives ±ζ(γ1γ2)μ(ρ0)/ξ=0plus-or-minus𝜁subscript𝛾1subscript𝛾2𝜇subscript𝜌0𝜉0\pm\zeta-(\gamma_{1}-\gamma_{2})\sqrt{\mu(\rho_{0})/\xi}=0± italic_ζ - ( italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) square-root start_ARG italic_μ ( italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ) / italic_ξ end_ARG = 0. The corresponding lines, indicated by the solid lines in the phase diagrams of Fig. 3(b,c), match very well the numerical results for Eqs.(9-11) presented there. On the other hand, the transition lines ζ=0𝜁0\zeta=0italic_ζ = 0 (the dashed lines) given by considering only the linear force (γ1=γ2=0subscript𝛾1subscript𝛾20\gamma_{1}=\gamma_{2}=0italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = 0), are unable to account for the accumulation-depletion transition.

Refer to caption
Figure 3: (a-c) Simulations of Eqs. (10-12) in a square domain of linear size L=32𝐿32L=32italic_L = 32 with periodic boundary conditions. A patterning field of strength Cp=0.1subscript𝐶𝑝0.1C_{p}=0.1italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT = 0.1 is applied in the central disk of radius 16 (a=0.4𝑎0.4a=0.4italic_a = 0.4, η=0.2𝜂0.2\eta=0.2italic_η = 0.2, ν=0.2𝜈0.2\nu=0.2italic_ν = 0.2, ρ0=1.5subscript𝜌01.5\rho_{0}=1.5italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 1.5, pseudo-spectral method, explicit Euler time-stepping, dx=0.25𝑑𝑥0.25dx=0.25italic_d italic_x = 0.25, dt=0.01𝑑𝑡0.01dt=0.01italic_d italic_t = 0.01, only steady-state results are shown). (a): Instantaneous, azimuthally-averaged, radial density ρ(r)𝜌𝑟\rho(r)italic_ρ ( italic_r ) (left y-axis) and density-weighted radial velocity wr(r)subscript𝑤𝑟𝑟w_{r}(r)italic_w start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT ( italic_r ) (right y-axis) profiles observed when a target pattern is applied with v0=0.1,0.25subscript𝑣00.10.25v_{0}=0.1,0.25italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.1 , 0.25, and 0.50.50.50.5 from left to right (b1=0.25subscript𝑏10.25b_{1}=0.25italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.25, square symbols in (b)). (The ‘irregularities’ seen for r12greater-than-or-equivalent-to𝑟12r\gtrsim 12italic_r ≳ 12 are due to the self-interacting external boundary of the patterned region.) (b,c): Phase diagrams in the (v0,b1)subscript𝑣0subscript𝑏1(v_{0},b_{1})( italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT , italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) plane showing accumulation or depletion ((b): target pattern as in (a); (c): aster pattern). The color scale codes for the mass surplus (red) or deficit (blue) with respect to the mean density ρ0subscript𝜌0\rho_{0}italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT measured in a central disk of radius 8 outside which the local density is very near ρ0subscript𝜌0\rho_{0}italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT. The solid lines correspond to the analytical prediction ±ζ(γ1γ2)μ/ξ=0plus-or-minus𝜁subscript𝛾1subscript𝛾2𝜇𝜉0\pm\zeta-(\gamma_{1}-\gamma_{2})\sqrt{\mu/\xi}=0± italic_ζ - ( italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) square-root start_ARG italic_μ / italic_ξ end_ARG = 0 (see main text), while the dashed lines indicate ζ=0𝜁0\zeta=0italic_ζ = 0. (d): Classification of active nematics in the [ζ,(γ1γ2)ρS]𝜁subscript𝛾1subscript𝛾2𝜌𝑆[\zeta,(\gamma_{1}-\gamma_{2})\rho S][ italic_ζ , ( italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) italic_ρ italic_S ] plane. In each region delimited, the direction of radial flow is indicated for targets and asters. (e): Classification of active nematics in the (splay, bend) plane when S=1𝑆1S=1italic_S = 1 and ρ𝜌\rhoitalic_ρ is uniform. Splay mode amplitude is proportional to ζ(γ1γ2)𝜁subscript𝛾1subscript𝛾2-\zeta-(\gamma_{1}-\gamma_{2})- italic_ζ - ( italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), bend mode amplitude is proportional to ζ+(γ1γ2)𝜁subscript𝛾1subscript𝛾2-\zeta+(\gamma_{1}-\gamma_{2})- italic_ζ + ( italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ).

Our results suggest a novel classification of cellular active nematics. From Eq. (16), we see that γ1γ2subscript𝛾1subscript𝛾2\gamma_{1}-\gamma_{2}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is a crucial quantity to decide whether +11+1+ 1 defects will lead to accumulation or depletion. This comes in addition to the sign and value of ζ𝜁\zetaitalic_ζ, the coefficient of the standard linear force term. The plane (ζ,γ1γ2)𝜁subscript𝛾1subscript𝛾2(\zeta,\gamma_{1}-\gamma_{2})( italic_ζ , italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) can be divided into 4 quadrants classifying various responses to the presence of +11+1+ 1 defects. Sketched in Fig. 3(d), it shows how the traditional extensile-contractile dichotomy, governed by the sign of ζ𝜁\zetaitalic_ζ, is unable to account alone for the phenomena at stake. Our bottom-up approach yields expressions for these coefficients, and shows that γ2<0subscript𝛾20\gamma_{2}<0italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT < 0 holds for the systems with repulsive interactions, while γ1>0subscript𝛾10\gamma_{1}>0italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT > 0 in most cases (see Appendix B), so that γ1γ2>0subscript𝛾1subscript𝛾20\gamma_{1}-\gamma_{2}>0italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT > 0 for the NPC layers of interest here, which appear to be located in zone II. We confirmed further the validity of our conclusion by varying ζ𝜁\zetaitalic_ζ and γ1γ2subscript𝛾1subscript𝛾2\gamma_{1}-\gamma_{2}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT independently of the coefficients derived from the particle model, considering also the case of 11-1- 1 defects (see Appendix C).

Finally, to grasp the intuitive meaning of the γ1subscript𝛾1\gamma_{1}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT and γ2subscript𝛾2\gamma_{2}italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT terms, we rewrote them assuming S=1𝑆1S=1italic_S = 1 and uniform density. They can then be recombined, together with the usual ζ𝜁\zetaitalic_ζ active stress, into classic bend and splay terms:

ζ𝑸~+γ1[(𝑸~)𝑸~]T+γ2𝑸~(𝑸~)𝜁~𝑸subscript𝛾1superscriptdelimited-[]~𝑸~𝑸𝑇subscript𝛾2~𝑸~𝑸\displaystyle-\zeta\nabla\cdot\tilde{\bm{Q}}+\gamma_{1}[(\tilde{\bm{Q}}\cdot% \nabla)\tilde{\bm{Q}}]^{T}+\gamma_{2}\tilde{\bm{Q}}(\nabla\cdot\tilde{\bm{Q}})- italic_ζ ∇ ⋅ over~ start_ARG bold_italic_Q end_ARG + italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT [ ( over~ start_ARG bold_italic_Q end_ARG ⋅ ∇ ) over~ start_ARG bold_italic_Q end_ARG ] start_POSTSUPERSCRIPT italic_T end_POSTSUPERSCRIPT + italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT over~ start_ARG bold_italic_Q end_ARG ( ∇ ⋅ over~ start_ARG bold_italic_Q end_ARG )
similar-to-or-equals\displaystyle\simeq (A+B)(𝒏)𝒏+(AB)𝒏(𝒏),𝐴𝐵𝒏𝒏𝐴𝐵𝒏𝒏\displaystyle(A+B)(\bm{n}\cdot\nabla)\bm{n}+(A-B)\bm{n}(\nabla\cdot\bm{n}),( italic_A + italic_B ) ( bold_italic_n ⋅ ∇ ) bold_italic_n + ( italic_A - italic_B ) bold_italic_n ( ∇ ⋅ bold_italic_n ) , (17)

where A=2ζ𝐴2𝜁A=-2\zetaitalic_A = - 2 italic_ζ and B=2(γ1γ2)𝐵2subscript𝛾1subscript𝛾2B=2(\gamma_{1}-\gamma_{2})italic_B = 2 ( italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ), and 𝒏=(nx,ny)𝒏subscript𝑛𝑥subscript𝑛𝑦\bm{n}=(n_{x},n_{y})bold_italic_n = ( italic_n start_POSTSUBSCRIPT italic_x end_POSTSUBSCRIPT , italic_n start_POSTSUBSCRIPT italic_y end_POSTSUBSCRIPT ) is the director field (see [42]). The classification diagram (Fig. 3(d)) can then be re-expressed as in Fig. 3(e). In this diagram, the horizontal axis is pure splay, and the vertical axis is pure bend. As long as the anti-symmetric term exists, γ1γ20subscript𝛾1subscript𝛾20\gamma_{1}-\gamma_{2}\neq 0italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ≠ 0, the one-constant approximation is not valid. Thus, there are always situations where the behavior near integer defects cannot be classified extensile (I) or contractile (III).

To summarize, we have demonstrated the importance of the two generally ignored anti-symmetric forces and shown that the conventional active stress term alone cannot account for the accumulation towards the core of +11+1+ 1 topological defects in cellular active nematics such as the NPC layers of interest here. All in all, we believe our results point to the importance of nonlinear terms often absent from theories of 2D active nematics systems.

Acknowledgements.
We are grateful to Aurelio Patelli, Benoît Mahault, Carles Blanch-Mercader, Eric Bertin, Jacques Prost, and Sriram Ramaswamy for insightful discussions. We acknowledge support from NSFC (12225410, 12074243) for H.Z. and (12174254, 12250710131) for M.S.

References

  • Kruse et al. [2004] K. Kruse, J. F. Joanny, F. Jülicher, J. Prost, and K. Sekimoto, Physical Review Letters 92, 1 (2004).
  • Marchetti et al. [2013] M. C. Marchetti, J. F. Joanny, S. Ramaswamy, T. B. Liverpool, J. Prost, M. Rao, and R. A. Simha, Reviews of Modern Physics 85, 1143 (2013).
  • Shankar et al. [2022] S. Shankar, A. Souslov, M. J. Bowick, M. C. Marchetti, and V. Vitelli, Nature Reviews Physics 4, 380 (2022).
  • Gompper et al. [2020] G. Gompper, R. G. Winkler, T. Speck, A. Solon, C. Nardini, F. Peruani, H. Löwen, R. Golestanian, U. B. Kaupp, L. Alvarez, et al., Journal of Physics: Condensed Matter 32, 193001 (2020).
  • Duclos et al. [2017] G. Duclos, C. Erlenkämper, J. F. Joanny, and P. Silberzan, Nature Physics 13, 58 (2017).
  • Copenhagen et al. [2021] K. Copenhagen, R. Alert, N. S. Wingreen, and J. W. Shaevitz, Nature Physics 17, 211 (2021).
  • Maroudas-Sacks et al. [2021] Y. Maroudas-Sacks, L. Garion, L. Shani-Zerbib, A. Livshits, E. Braun, and K. Keren, Nature Physics 17, 251 (2021).
  • Duclos et al. [2014] G. Duclos, S. Garcia, H. Yevick, and P. Silberzan, Soft matter 10, 2346 (2014).
  • Duclos et al. [2018] G. Duclos, C. Blanch-Mercader, V. Yashunsky, G. Salbreux, J. F. Joanny, J. Prost, and P. Silberzan, Nature Physics 14, 728 (2018).
  • Sarkar et al. [2023] T. Sarkar, V. Yashunsky, L. Brézin, C. Blanch Mercader, T. Aryaksama, M. Lacroix, T. Risler, J.-F. Joanny, and P. Silberzan, PNAS nexus 2, pgad034 (2023).
  • Hakim and Silberzan [2017] V. Hakim and P. Silberzan, Reports on Progress in Physics 80, 076601 (2017).
  • Saw et al. [2017] T. B. Saw, A. Doostmohammadi, V. Nier, L. Kocgozlu, S. Thampi, Y. Toyama, P. Marcq, C. T. Lim, J. M. Yeomans, and B. Ladoux, Nature 544, 212 (2017).
  • Kawaguchi et al. [2017] K. Kawaguchi, R. Kageyama, and M. Sano, Nature 545, 327 (2017).
  • Giomi et al. [2022] L. A. H. Giomi, L. N. Carenza, J. Eckert, and Luca, Science Advances 8, eabk2712 (2022).
  • Ho et al. [2024] R. D. Ho, S. O. Bøe, D. K. Dysthe, and L. Angheluta, Physical Review Research 6, 023315 (2024).
  • Mietke et al. [2019a] A. Mietke, F. Jülicher, and I. F. Sbalzarini, Proceedings of the National Academy of Sciences 116, 29 (2019a).
  • Mietke et al. [2019b] A. Mietke, V. Jemseena, K. V. Kumar, I. F. Sbalzarini, and F. Jülicher, Physical review letters 123, 188101 (2019b).
  • Hamant et al. [2008] O. Hamant, M. G. Heisler, H. Jonsson, P. Krupinski, M. Uyttewaal, P. Bokov, F. Corson, P. Sahlin, A. Boudaoud, E. M. Meyerowitz, et al., Science 322, 1650 (2008).
  • Chandrasekhar [1992] S. Chandrasekhar, Liquid Crystals (Cambridge University Press, 1992).
  • Guillamat et al. [2022] P. Guillamat, C. Blanch-Mercader, G. Pernollet, K. Kruse, and A. Roux, Nature Materials 21, 588 (2022).
  • Blanch-Mercader et al. [2021a] C. Blanch-Mercader, P. Guillamat, A. Roux, and K. Kruse, Physical Review Letters 126, 028101 (2021a).
  • Blanch-Mercader et al. [2021b] C. Blanch-Mercader, P. Guillamat, A. Roux, and K. Kruse, Physical Review E 103, 012405 (2021b).
  • Endresen et al. [2021] K. D. Endresen, M. S. Kim, M. Pittman, Y. Chen, and F. Serra, Soft Matter 17, 5878 (2021).
  • Kaiyrbekov et al. [2023] K. Kaiyrbekov, K. Endresen, K. Sullivan, Z. Zheng, Y. Chen, F. Serra, and B. A. Camley, Proceedings of the National Academy of Sciences of the United States of America 120, 1 (2023).
  • Zhao et al. [2024] Z. Zhao, H. Li, Y. Yao, Y. Zhao, F. Serra, K. Kawaguchi, H. Zhang, H. Chate, and M. Sano, e-print bioRxiv:10.1101/2024.08.28.610106 (2024).
  • Ramaswamy et al. [2003] S. Ramaswamy, R. A. Simha, and J. Toner, Europhysics Letters 62, 196 (2003).
  • Marenduzzo et al. [2007] D. Marenduzzo, E. Orlandini, M. Cates, and J. Yeomans, Physical Review E—Statistical, Nonlinear, and Soft Matter Physics 76, 031921 (2007).
  • Giomi et al. [2011] L. Giomi, L. Mahadevan, B. Chakraborty, and M. F. Hagan, Physical review letters 106, 218101 (2011).
  • Giomi et al. [2013] L. Giomi, M. J. Bowick, X. Ma, and M. C. Marchetti, Physical review letters 110, 228101 (2013).
  • Shi and Ma [2013] X. Q. Shi and Y. Q. Ma, Nature Communications 4, 1 (2013).
  • Gao et al. [2015] T. Gao, R. Blackwell, M. A. Glaser, M. D. Betterton, and M. J. Shelley, Physical review letters 114, 048101 (2015).
  • Giomi [2015] L. Giomi, Physical Review X 5, 031003 (2015).
  • Green et al. [2017] R. Green, J. Toner, and V. Vitelli, Physical Review Fluids 2, 20 (2017).
  • Maitra et al. [2018] A. Maitra, P. Srivastava, M. Cristina Marchetti, J. S. Lintuvuori, S. Ramaswamy, and M. Lenz, Proceedings of the National Academy of Sciences of the United States of America 115, 6934 (2018).
  • Doostmohammadi et al. [2018] A. Doostmohammadi, J. Ignés-Mullol, J. M. Yeomans, and F. Sagués, Nature communications 9, 3246 (2018).
  • Balasubramaniam et al. [2021] L. Balasubramaniam, A. Doostmohammadi, T. B. Saw, G. H. N. S. Narayana, R. Mueller, T. Dang, M. Thomas, S. Gupta, S. Sonam, A. S. Yap, et al., Nature Materials 20, 1156 (2021).
  • Simha and Ramaswamy [2002] R. A. Simha and S. Ramaswamy, Physical review letters 89, 058101 (2002).
  • Vafa et al. [2021] F. Vafa, M. J. Bowick, B. I. Shraiman, and M. C. Marchetti, Soft Matter 17, 3068 (2021).
  • Killeen et al. [2022] A. Killeen, T. Bertrand, and C. F. Lee, Physical Review Letters 128, 78001 (2022).
  • Zhang and Yeomans [2023] G. Zhang and J. M. Yeomans, Physical Review Letters 130, 38202 (2023).
  • Patelli et al. [2019] A. Patelli, I. Djafer-Cherif, I. S. Aranson, E. Bertin, and H. Chaté, Physical Review Letters 123, 1 (2019).
  • [42] See Supplemental Material at URL,.
  • De Gennes and Prost [1993] P.-G. De Gennes and J. Prost, The physics of liquid crystals, 83 (Oxford university press, 1993).
  • Beris and Edwards [1994] A. N. Beris and B. J. Edwards, Thermodynamics of flowing systems: with internal microstructure, 36 (Oxford University Press, USA, 1994).
  • Note [1] One quantitative difference is that a smaller Cpsubscript𝐶𝑝C_{p}italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT value is sufficient, for the simplified equations, to fully impose the external pattern and in particular to avoid that the +11+1+ 1 defect splits into two +1212+\tfrac{1}{2}+ divide start_ARG 1 end_ARG start_ARG 2 end_ARG ones.

End Matter

Refer to caption
Figure 4: Phase diagrams of the particle model in various parameter planes (same conditions as for Fig. 2(d-f)). Upper/low row: target/aster field pattern. Accumulation (red) and depletion (blue) are evaluated by the averaged density ratio between the core region (r<4𝑟4r<4italic_r < 4) and whole region (r<16𝑟16r<16italic_r < 16).

Appendix A: Complementary results at particle level.— Phase diagrams similar those presented in Fig. 2(d-f), but in various other parameter planes are presented in Fig. 4. For each parameter plane shown, the top panel is for the target pattern, with the bottom panel for the aster pattern.

Refer to caption
Figure 5: Further simulations of Eqs. (10-12) (similar to those in Fig. 3(a-c)). (a): Phase diagram for aster pattern in the (ζ,γ1γ2)𝜁subscript𝛾1subscript𝛾2(\zeta,\gamma_{1}-\gamma_{2})( italic_ζ , italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) plane. (same conditions as for Fig. 3(a)(v00.25similar-tosubscript𝑣00.25v_{0}\sim 0.25italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT ∼ 0.25) except for ζ,γ1γ2𝜁subscript𝛾1subscript𝛾2\zeta,\gamma_{1}-\gamma_{2}italic_ζ , italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT). (b): Density and orientation field of 11-1- 1 defect exhibiting depletion (ζ=0,γ1=0.3,γ2=0.1formulae-sequence𝜁0formulae-sequencesubscript𝛾10.3subscript𝛾20.1\zeta=0,\gamma_{1}=0.3,\gamma_{2}=-0.1italic_ζ = 0 , italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.3 , italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - 0.1). (c): Density and orientation field of 11-1- 1 defect exhibiting accumulation (ζ=0,γ1=0.3,γ2=0.1formulae-sequence𝜁0formulae-sequencesubscript𝛾10.3subscript𝛾20.1\zeta=0,\gamma_{1}=-0.3,\gamma_{2}=-0.1italic_ζ = 0 , italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = - 0.3 , italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT = - 0.1). Note that the density distribution is not axisymmetric. (d): Phase diagram for the 11-1- 1 defect in (ζ,γ1γ2)𝜁subscript𝛾1subscript𝛾2(\zeta,\gamma_{1}-\gamma_{2})( italic_ζ , italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) plane. In (a) and (d), accumulation (red) and depletion (blue) are evaluated by the excess or missing mass ρρ0𝜌subscript𝜌0\rho-\rho_{0}italic_ρ - italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT integrated inside a circular region (r<16𝑟16r<16italic_r < 16). The solid line is the prediction of the transition between accumulation and prediction. Simulation parameters for (b-d): all coefficients in Eqs. (10-12) are calculated from the particle-level ρ=1.5,a=0.4,v0=0.5,b1=0.25,L=32formulae-sequence𝜌1.5formulae-sequence𝑎0.4formulae-sequencesubscript𝑣00.5formulae-sequencesubscript𝑏10.25𝐿32\rho=1.5,a=0.4,v_{0}=0.5,b_{1}=0.25,L=32italic_ρ = 1.5 , italic_a = 0.4 , italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT = 0.5 , italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT = 0.25 , italic_L = 32, except ν=0.25𝜈0.25\nu=0.25italic_ν = 0.25 and ζ,γ1,γ2𝜁subscript𝛾1subscript𝛾2\zeta,\gamma_{1},\gamma_{2}italic_ζ , italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT given above.

Appendix B: Complementary information about continuous theory.— Here we give some important points in the derivation of the continuous theory (6-8) that is detailed in [42] and follows [41]. In the Boltzmann equation (5), the collision integral reads:

Icol[f]=ππ𝑑θ1ππ𝑑θ2f(𝐫,θ1)0𝑑ssππ𝑑ϕK(s,ϕ,θ1,θ2)subscript𝐼coldelimited-[]𝑓superscriptsubscript𝜋𝜋differential-dsubscript𝜃1superscriptsubscript𝜋𝜋differential-dsubscript𝜃2𝑓𝐫subscript𝜃1superscriptsubscript0differential-d𝑠𝑠superscriptsubscript𝜋𝜋differential-ditalic-ϕ𝐾𝑠italic-ϕsubscript𝜃1subscript𝜃2\displaystyle I_{\rm col}[f]=\!\!\int_{-\pi}^{\pi}\!\!\!\!d\theta_{1}\!\!\int_% {-\pi}^{\pi}\!\!\!\!d\theta_{2}f(\mathbf{r},\theta_{1})\!\!\int_{0}^{\infty}\!% \!\!\!ds\,s\!\!\int_{-\pi}^{\pi}\!\!\!\!d\phi\,K(s,\phi,\theta_{1},\theta_{2})italic_I start_POSTSUBSCRIPT roman_col end_POSTSUBSCRIPT [ italic_f ] = ∫ start_POSTSUBSCRIPT - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT italic_d italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ∫ start_POSTSUBSCRIPT - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT italic_d italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT italic_f ( bold_r , italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_s italic_s ∫ start_POSTSUBSCRIPT - italic_π end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_π end_POSTSUPERSCRIPT italic_d italic_ϕ italic_K ( italic_s , italic_ϕ , italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT )
×f(𝐫+s𝐞(ϕ),θ2)[δ^(Ψ(θ1,θ2)+σθ)ψδ^(θ1θ)]absent𝑓𝐫𝑠𝐞italic-ϕsubscript𝜃2delimited-[]subscriptdelimited-⟨⟩^𝛿Ψsubscript𝜃1subscript𝜃2𝜎𝜃𝜓^𝛿subscript𝜃1𝜃\displaystyle\;\;\times f(\mathbf{r}\!+\!s\mathbf{e}(\phi),\theta_{2})[\langle% \hat{\delta}\big{(}\Psi(\theta_{1},\theta_{2})\!+\!\sigma\!-\!\theta\big{)}% \rangle_{\psi}\!-\!\hat{\delta}(\theta_{1}\!-\!\theta)]× italic_f ( bold_r + italic_s bold_e ( italic_ϕ ) , italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) [ ⟨ over^ start_ARG italic_δ end_ARG ( roman_Ψ ( italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) + italic_σ - italic_θ ) ⟩ start_POSTSUBSCRIPT italic_ψ end_POSTSUBSCRIPT - over^ start_ARG italic_δ end_ARG ( italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_θ ) ] (18)

where ΨΨ\Psiroman_Ψ is the π𝜋\piitalic_π-periodic nematic alignment function (Ψ(θ1,θ2)=12(θ2θ1)Ψsubscript𝜃1subscript𝜃212subscript𝜃2subscript𝜃1\Psi(\theta_{1},\theta_{2})=\frac{1}{2}(\theta_{2}-\theta_{1})roman_Ψ ( italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT , italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) = divide start_ARG 1 end_ARG start_ARG 2 end_ARG ( italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ) for π2<θ2θ1<π2𝜋2subscript𝜃2subscript𝜃1𝜋2-\frac{\pi}{2}<\theta_{2}-\theta_{1}<\frac{\pi}{2}- divide start_ARG italic_π end_ARG start_ARG 2 end_ARG < italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT - italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < divide start_ARG italic_π end_ARG start_ARG 2 end_ARG), and K𝐾Kitalic_K is the kernel function

K=2g(s)|sinθ1θ22|cos(ϕθ12)Θ[cos(ϕθ12)].𝐾2𝑔𝑠subscript𝜃1subscript𝜃22italic-ϕsubscript𝜃12Θdelimited-[]italic-ϕsubscript𝜃12K=2g(s)|\sin\frac{\theta_{1}-\theta_{2}}{2}|\cos(\phi-\theta_{12})\Theta[\cos(% \phi-\theta_{12})].italic_K = 2 italic_g ( italic_s ) | roman_sin divide start_ARG italic_θ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG | roman_cos ( italic_ϕ - italic_θ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) roman_Θ [ roman_cos ( italic_ϕ - italic_θ start_POSTSUBSCRIPT 12 end_POSTSUBSCRIPT ) ] . (19)

which codes for the repulsive torques between particles, depends on the relative position 𝐫𝐫s𝐞(ϕ)superscript𝐫𝐫𝑠𝐞italic-ϕ\mathbf{r^{\prime}}\!-\!\mathbf{r}\equiv s\mathbf{e}(\phi)bold_r start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT - bold_r ≡ italic_s bold_e ( italic_ϕ ) of the two colliding particles, and incorporates the distance-dependent weighting function g(s)𝑔𝑠g(s)italic_g ( italic_s ).

Upon expanding f(𝐫+s𝐞(ϕ),θ2)𝑓𝐫𝑠𝐞italic-ϕsubscript𝜃2f(\mathbf{r}\!+\!s\mathbf{e}(\phi),\theta_{2})italic_f ( bold_r + italic_s bold_e ( italic_ϕ ) , italic_θ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) at first order in s𝑠sitalic_s, and Fourier transforming (5) into a hierarchy for the fields fksubscript𝑓𝑘f_{k}italic_f start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT, g(s)𝑔𝑠g(s)italic_g ( italic_s ) appears only via the first two of its moments bn=0ssn+1g(s)𝑑ssubscript𝑏𝑛superscriptsubscript0𝑠superscript𝑠𝑛1𝑔𝑠differential-d𝑠b_{n}=\int_{0}^{s}s^{n+1}g(s)dsitalic_b start_POSTSUBSCRIPT italic_n end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_s end_POSTSUPERSCRIPT italic_s start_POSTSUPERSCRIPT italic_n + 1 end_POSTSUPERSCRIPT italic_g ( italic_s ) italic_d italic_s: b0subscript𝑏0b_{0}italic_b start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT that is set to unity in all generality, and b1subscript𝑏1b_{1}italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT that is thus the only microscopic-level coefficient controlling the strength of repulsive torques, akin to Crsubscript𝐶𝑟C_{r}italic_C start_POSTSUBSCRIPT italic_r end_POSTSUBSCRIPT in the particle-level model.

The coefficients appearing in Eqs. (6-8) depend on the particle-level parameters v0subscript𝑣0v_{0}italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT, a𝑎aitalic_a, b1subscript𝑏1b_{1}italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT, Cpsubscript𝐶𝑝C_{p}italic_C start_POSTSUBSCRIPT italic_p end_POSTSUBSCRIPT, and the modes Pksubscript𝑃𝑘P_{k}italic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT of the noise distribution ψ𝜓\psiitalic_ψ (Pk=𝑑ψP(ψ)expikψsubscript𝑃𝑘superscriptsubscriptdifferential-d𝜓𝑃𝜓𝑖𝑘𝜓P_{k}=\int_{\infty}^{\infty}d\psi P(\psi)\exp ik\psiitalic_P start_POSTSUBSCRIPT italic_k end_POSTSUBSCRIPT = ∫ start_POSTSUBSCRIPT ∞ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ∞ end_POSTSUPERSCRIPT italic_d italic_ψ italic_P ( italic_ψ ) roman_exp italic_i italic_k italic_ψ), which we take to be a Gaussian of rms η𝜂\etaitalic_η in numerical applications. Their exact expressions are given in [42], but here we give the most important ones:

ζ[ρ]𝜁delimited-[]𝜌\displaystyle\zeta[\rho]italic_ζ [ italic_ρ ] =\displaystyle== v02b162P1ρ,subscript𝑣02subscript𝑏162subscript𝑃1𝜌\displaystyle\frac{v_{0}}{2}-\frac{b_{1}}{6}\sqrt{2}P_{1}\rho,divide start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG 2 end_ARG - divide start_ARG italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 6 end_ARG square-root start_ARG 2 end_ARG italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_ρ ,
γ1subscript𝛾1\displaystyle\gamma_{1}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT =\displaystyle== 43π(P127)v02b1P3ρ0ρ027235πP3+1+2a+b162P1,43𝜋subscript𝑃127subscript𝑣02subscript𝑏1subscript𝑃3subscript𝜌0subscript𝜌027235𝜋subscript𝑃312𝑎subscript𝑏162subscript𝑃1\displaystyle\frac{4}{3\pi}(P_{1}-\frac{2}{7})\frac{v_{0}-\sqrt{2}b_{1}P_{3}% \rho_{0}}{\rho_{0}\frac{272}{35\pi}-P_{3}+1+2a}+\frac{b_{1}}{6}\sqrt{2}P_{1},divide start_ARG 4 end_ARG start_ARG 3 italic_π end_ARG ( italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - divide start_ARG 2 end_ARG start_ARG 7 end_ARG ) divide start_ARG italic_v start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT - square-root start_ARG 2 end_ARG italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT italic_P start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT end_ARG start_ARG italic_ρ start_POSTSUBSCRIPT 0 end_POSTSUBSCRIPT divide start_ARG 272 end_ARG start_ARG 35 italic_π end_ARG - italic_P start_POSTSUBSCRIPT 3 end_POSTSUBSCRIPT + 1 + 2 italic_a end_ARG + divide start_ARG italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 6 end_ARG square-root start_ARG 2 end_ARG italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT ,
γ2subscript𝛾2\displaystyle\gamma_{2}italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT =\displaystyle== b1102P1<0,subscript𝑏1102subscript𝑃10\displaystyle-\frac{b_{1}}{10}\sqrt{2}P_{1}<0,- divide start_ARG italic_b start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT end_ARG start_ARG 10 end_ARG square-root start_ARG 2 end_ARG italic_P start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT < 0 ,

Appendix C: Accumulation-depletion by a 11-1- 1 defect.— Departing from the coefficients dictated by our particle-level model, we independently varied ζ𝜁\zetaitalic_ζ and γ1γ2subscript𝛾1subscript𝛾2\gamma_{1}-\gamma_{2}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT in the generalized functional space. This allowed us to explore parameter regions that are not easily accessible within our self-imposed particle-level constraints.

As shown in Fig. 3(c), simulations of Eqs. (10-12) hardly show density depletion at the core region of the aster pattern because the coefficient γ1γ2subscript𝛾1subscript𝛾2\gamma_{1}-\gamma_{2}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is mostly positive and rarely takes large negative values (when varying the parameters of the particle-level model). The phase diagram in the (ζ,γ1γ2)𝜁subscript𝛾1subscript𝛾2(\zeta,\gamma_{1}-\gamma_{2})( italic_ζ , italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT ) plane, on the other hand, shows a large region of depletion when these parameters are varied independently, and the prediction by Eq. (16) is slightly below the actual transition from accumulation to depletion in aster (Fig. 5(a)). The behavior near a 11-1- 1 defect was also investigated this way. We observe mostly depletion near its core with the particle-level-dictated parameters, but when γ1γ2subscript𝛾1subscript𝛾2\gamma_{1}-\gamma_{2}italic_γ start_POSTSUBSCRIPT 1 end_POSTSUBSCRIPT - italic_γ start_POSTSUBSCRIPT 2 end_POSTSUBSCRIPT is varied over a wider range, accumulation is easily observed and the transition line deviates from the prediction (Fig. 5(d). We attribute this discrepancy to the assumption of axisymmetric solutions used in obtaining (16), which is of course broken near a 11-1- 1 defect.