This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Does Magnetic Reconnection Change Topology?

Amir Jafari elenceq@jhu.edu Department of Applied Mathematics and Statistics, The Johns Hopkins University, Baltimore, MD, USA
Abstract

We show that magnetic reconnection and topology-change can be understood, and distinguished, in terms of trajectories of Alfvénic wave-packets 𝐱(t){\bf x}(t) moving along the magnetic field 𝐁(𝐱,t){\bf B(x},t) with Alfvén velocity 𝐱˙(t)=𝐕A(𝐱,t)\dot{\bf x}(t)={\bf V}_{A}({\bf x},t), i.e. adopting a Lagrangian formalism for \colorblackquasiparticles. A considerable simplification is attained, in fact, by directly employing elementary concepts from hydrodynamic turbulence without appealing to the fictitious and complicated notion of magnetic field lines moving through plasma. In incompressible flows, Alfvénic trajectories correspond to the dynamical system 𝐱˙(t)=𝐁\dot{\bf x}(t)={\bf B}, where 𝐁\bf B solves the induction equation, with phase space (𝐱,𝐁)(\bf x,B). Metric topology of this phase space, at any time tt, captures the intuitive notion that nearby wave-packets should remain nearby at a slightly different time t±δtt\pm\delta t, unless topology changes e.g., by dissipation or turbulence. In fact, continuity conditions for magnetic field allow rapid but continuous divergence of these trajectories, i.e., reconnection, but not discontinuous divergence which would change magnetic topology. Thus topology can change only due to time-reversal symmetry breaking e.g., by dissipation. In laminar and even chaotic flows, the separation of Alfvénic trajectories at all times remains proportional to their initial separation, i.e., slow reconnection, and topology changes by dissipation with a rate proportional to resistivity. In turbulence, trajectories diverge super-linearly with time independent of their initial separation, i.e., fast reconnection, and magnetic topology changes by turbulent diffusion with a rate independent of small-scale plasma effects. The crucial role of turbulence in enhancing topology-change and reconnection rates originates from its ability to break time-reversal invariance and make the flow super-chaotic. In fact, Lipschitz continuity of both velocity and magnetic fields is known to be lost in turbulence, which incidentally makes equations of motion singular requiring renormalization or a weak-formulation. Alfvénic trajectories can therefore separate rapidly even if their initial separation tends to vanish, unlike simple chaos. This super-chaotic behavior is an example of the phenomenon of spontaneous stochasticity in statistical physics, sometimes called the real butterfly effect in chaos theory to distinguish it from the butterfly effect in which trajectories can diverge quickly only if initial separation remains finite. Our results strongly support the Lazarian-Vishniac theory of stochastic reconnection.

pacs:
Valid PACS appear here

I Introduction

In astrophysics, magnetic reconnection has been invoked both as a main mechanism that governs the underlying dynamics at large scales, e.g., in launching outflows in stars and accretion disks, and also as an accompanying process working in the background. It has been suggested, as an example for the latter, that reconnection regulates the structure of a strongly magnetized corona [1]. Reconnection is widely thought to be intimately related to the magneto-rotational instability (MRI) ([2, 3]) and Parker-Rayleigh-Taylor instability [4], which might in turn interfere or enhance the reconnection rate [5]. Reconnection may also affect the saturation rate of the MRI and also the generation of nonthermal particles [6]. It is now widely believed that reconection (i) is a ubiquitous process occurring in different systems from the solar surface to highly conducting accretion disks; (ii) is fast, i.e., with a rate orders of magnitude faster than the resistive time; (iii) is responsible for a variety of other phenomena such as particle acceleration and plasma heating; and in astrophysical systems (iv) proceeds in turbulence. For a recent review covering these aspects see e.g., [7].

Magnetic reconnection seems to be pervasive in astrophysics with a vast literature (see also [8, 9] for a recent review). Yet there seems to be no consensus in its definition and its relation to magnetic topology-change. In fact, sometimes hand-waving arguments based on magnetic field lines in 2D2D setups seem to be generalized to 3D3D without any mathematical or physical justification. \colorblack For example, reconnection is sometimes understood or defined as magnetic topology-change. However, this notion which seems to originate from 2D setups where the field line connecting plasma element A to another element B at time t0t_{0}, connects A to C but not B at a later time t1t_{1} is inadequate to describe 3D configurations. In 2D there is a discontinuous change in magnetic connectivity implying topology-change (leading to different regions with different ”topologies” separated by separatrices). In 3D, on the other hand, this process can proceed without any discontinuous change in magnetic connectivity (thus no topology-change and no separatrices) because there is ”enough” space for field lines to flip [10].

Our aim in this paper is to present a formalism to understand reconnection, magnetic topology and topology-change without invoking the concept of magnetic field lines, their motion through plasma or the notion of flux-freezing in laminar [11] or turbulent flows [12]. These concepts have of course been greatly reformulated and refined in the last decades, in particular for turbulent flows (e.g., see [12, 13, 14, 15, 16]). However, a much simpler picture seems to arise using magnetic path-lines, instead of field lines, which is what we will do in this paper. We can imagine small magnetic disturbances or wave-packets moving along the local magnetic field with Alfvén velocity 𝐕A{\bf V}_{A}.111 This is motivated by the concept of quasiparticles in quantum field theories, where e.g., vibrational modes in a crystal are taken as \colorblackquasiparticles (phonons). Our classical description is much simpler here as we treat these entities as Lagrangian particles in a fluid rather than taking them as \colorblackentities that e.g., can couple to gauge potentials. \colorblackThese magnetic excitations or ”Alfvénic wave-packets” will be taken as fluid particles in a Lagrangian description, i.e., we will consider wave-packets as particles moving with Alfvén velocity and study their trajectories and the corresponding topology.

Magnetic field lines provide a powerful notion in many problems, nevertheless, their behavior in real plasmas seem to be complicated enough that other simpler approaches could be appreciated. At any given time t0t_{0}, magnetic field lines are defined as parametric curves, e.g., ξ(s;t0)\xi(s;t_{0}) with arc-length parameter ss, which provide a ”pattern” for the field in real space at a given time, i.e, a ”snapshot” of the field. \colorblackIn real astrophysical fluids, which are turbulent, field lines become stochastic and the notion of a single field line loses its meaning unless a proper coarse-graining is applied, i.e., field lines of the average, large-scale field are considered [15, 7]. Also, the pattern of field lines in 3D3D may change abruptly at a later time t0+δtt_{0}+\delta t as these curves do not evolve smoothly in time; see the middle panel in Fig.(1). Magnetic path-lines, i.e., trajectories of Alfvénic wave-packets, provide an alternative tool (see below).

Refer to caption
Figure 1: \colorblackReconnection vs. topology-change. Left: the topology of an object, e.g., a solid cylinder, is preserved under a deformation as long as it involves only stretching and bending but not cutting and gluing. Mathematically, such a deformation translates into a continuous mapping: nearby points are mapped to nearby points. Since such a deformation must be reversible, the map must have a continuous inverse. Also, every point must be mapped to one and only one point (no point being destroyed), i.e., the map must be one-to-one and onto. Hence, topology is preserved under such continuous, one-to-one and onto maps with a continuous inverse (i.e, homeomorphisms). A solid cylinder for example is homeomorphic to a solid cube but not to a ball with a hole in it, making which requires cutting. Middle: Instead of deforming geometrical objects, consider time evolution of magnetic field and instead of points on objects, consider wave-packets, moving along the field 𝐁(𝐱,t){\bf B(x},t) with the local Alfvén velocity, d𝐱(t)/dt=𝐕A(𝐱(t),t)d{\bf x}(t)/dt={\bf V}_{A}({\bf x}(t),t). Magnetic topology is preserved if initially nearby magnetic wave-packets remain nearby at a slightly later time. It is easy to see that field lines can reconnect without topology-change. This provides an intuitive topology for a continuous field, which would change only due to dissipation (in the presence of which, the mapping is not one-to-one and onto anymore as ”points” are destroyed). Right: Rate of continuous separation of Alfvénic trajectories determines reconnection rate; in non-turbulent flows, the rate depends on initial separation (slow) but in turbulence it is super-linear in time and independent of initial separation (fast). Topology change would correspond to (i) discontinuous divergence of wave-packets (not allowed by continuity of 𝐁\bf B) and/or (ii) dissipation that annihilates wave-packets (i.e., it breaks time-reversal invariance thus the mapping from tt to t±δtt\pm\delta t is not onto & one-to-one anymore.

If astrophysical magnetic fields can indeed undergo sudden changes in real space, plasma outflows can be considered as a secondary effect, observed as reconnection events. Alfvén wave-packets follow the local field, hence their trajectories provide a footprint of these changes in the field. Mathematically, the study of these trajectories, i.e., solutions of 𝐱˙(t)=𝐕A(𝐱(t),t)\dot{\bf x}(t)={\bf V}_{A}({\bf x}(t),t), is analogous to the Lagrangian dynamics in hydrodynamics. For example, we are interested in the separation of two such trajectories, i.e., |𝐱(t)𝐲(t)||{\bf x}(t)-{\bf y}(t)| at time tt, which is related to Lyapunov exponents of the dynamical system 𝐱˙=𝐕A\dot{\bf x}={\bf V}_{A}, or assuming incompressibility and absorbing density to magnetic field’s definition, 𝐱˙(t)=𝐁(𝐱(t),t)\dot{\bf x}(t)={\bf B(x}(t),t) where magnetic field 𝐁\bf B satisfies the induction equation.222Throughout this paper, we assume a suitable non-dimensionalization, e.g., using an integral length scale LL and large-scale field B0B_{0}. The corresponding phase space (𝐱,𝐁){\bf(x,B)} contains all possible states of this dynamical system \colorblackwhich describes the motion of a single wave-packet. For NN wave-packets, we deal with an NN-body system with 6N6N dimensional phase space and thus in the fluid approximation, the phase space would be infinite-dimensional.

We will employ a physically intuitive and mathematically careful approach to magnetic topology in this paper. Topology is concerned with those properties of spaces that remain invariant under any continuous deformation, i.e, stretching and bending without cutting. Two objects (spaces) A and B (e.g., a solid ball and a cube) have the same topology if nearby points on A are mapped onto nearby points on B and vise versa: i.e., nearby points do not discontinuously mapped to points far away from each other. This means that there is a continuous, one-to-one and onto map from A to B with a continuous inverse (i.e., a homeomorphism). Thus if we deform object A (magnetic field at time tt) to make object B (magnetic field at time t±δtt\pm\delta t), topology is preserved if nearby points are mapped onto nearby points, i.e., the distance between points is continuous in time. If the map from A to B is not onto and one-to-one, then points are ”destroyed” during deformation thus topology will change. It means that the time evolution of A (magnetic field at time tt) to B (magnetic field at time t±δtt\pm\delta t) does not respect time reversal symmetry. For example, dissipation in a magnetized plasma annihilates wave-packets and breaks time-reversal symmetry, thus changing magnetic topology.

Roughly speaking, for a magnetic field continuous in space and time, we expect ”smooth deformation” in time—no discontinuous jump in its values or abrupt change in its direction. Therefore, wave-packets should move with a continuous velocity 𝐕A(𝐱,t){\bf V}_{A}({\bf x},t) on continuous trajectories333Mathematically, this is because Alfvénic trajectories 𝐱(t){\bf x}(t) solve 𝐱˙(t)=𝐁\dot{\bf x}(t)={\bf B} with smooth 𝐁\bf B., otherwise, we would expect a ”topology-change”.

Refer to caption
Figure 2: Magnetic ”pattern”, at any given time, is determined by providing a vector 𝐁{\bf B} at each point 𝐱\bf x in real space. Because the field evolves in time, the pattern changes, so we can follow wave-packets at points 𝐱\bf x in space moving with the local Alfvén velocity 𝐕A𝐁{\bf V}_{A}\propto\bf B. These pairs of coordinates correspond to points in the space (𝐱,𝐁)\bf(x,B) which is the phase space of the dynamical system 𝐱˙=𝐁\dot{\bf x}=\bf B, with 𝐁\bf B solving the induction equation. Thus magnetic topology can be understood as the metric topology of this phase space. ”Metric” topology means that we simply use the Euclidean distance between points, such as (𝐱,𝐁(𝐱))(\bf x,B(x)) and (𝐲,𝐁(𝐲))(\bf y,B(y)); see eq.(5). This metric enforces the intuitive notion that nearby wave-packets at time tt remain nearby at a slightly earlier or later time t±δtt\pm\delta t.

Hence, for magnetic topology to be preserved in time, we expect that nearby wave-packets, at time tt, should remain nearby at a slightly different time t±δtt\pm\delta t. In fact, because of Lipschitz continuity of magnetic field (see §II), this intuitive notion is equivalent to the following statement: nearby wave-packets moving with almost the same velocity, at time tt, should remain nearby, moving with almost the same velocity, at a slightly different time t±δtt\pm\delta t444This argument can be easily made mathematically precise using the ϵδ\epsilon\delta definition.. This simply means that the metric topology of the phase space, at any time tt, is the same as its topology at a slightly different time t±δtt\pm\delta t, i.e, the topology is preserved (see §II.1). The aim of this paper is to make these statements mathematically precise, and show how the emerging formalism can help gain a deeper and simpler picture for both reconnection and topology-change. Incidentally, from now on, we will assume incompressibility, absorbing density to the redefinition of magnetic field, with an appropriate non-dimensionalization as 𝐁=𝐕A{\bf B}={\bf V}_{A}; see also Fig.(2).

\color

blackThis Lagrangian formalism based on wave-packets, briefly described above, also provides a natural way to define and estimate the rate at which magnetic topology changes. As we will see, dissipation causes the volume of the phase space to contract. Eventually, over a time τT\tau_{T}, magnetic field completely diffuses away, and the phase-space dimension approaches zero. Thus the dissipation rate 1/τT1/\tau_{T} can be taken as the rate of change of dimension. On the other hand, dimension is a topological invariant, i.e., its change means topology-change, thus the rate of topology change can be similarly defined as 1/τT1/\tau_{T}. We will see that reconnection corresponds to rapid but continuous separation of these trajectories. Discontinuous divergence, which is not allowed if 𝐁\bf B is uniformly Lipschitz continuous, would lead to topology-change (nearby point not mapped onto nearby points). Dissipation, which breaks time-reversal invariance by annihilating wave-packets, can cause topology change in real dissipative systems; see also Fig.(1). Mathematically, dissipation destroys the onto and one-to-one properties of the mapping, i.e., time evolution.

As for the detailed plan of the present work, in the following section, we first consider the divergence of Alfvénic wave-packets, recovering the fast Lazarian-Vishniac reconnection rate [17, 15, 7] in turbulent plasmas. Then, we will focus on magnetic topology, using a dynamical systems theory, and estimate its rate of change in both laminar and turbulent flows. The physical implications and connections to previous work will be discussed in Discussion.

II Lagrangian Formalism

Astrophysical reconnection is understood to involve rapid changes in magnetic field configuration, thus trajectories of Alfvénic wave-packets moving along the field can rapidly diverge. The dynamics of the solutions, path-lines or Alfvénic trajectories, is in fact similar to Lagrangian dynamics in fluid mechanics—magnetic field plays the role of the velocity field. One important quantity is what is known as 22-particle diffusion in fluid dynamics, i.e., the separation (divergence) of any pair of trajectories over time; see e.g., [18]. In the following, we will see how this simple notion, when applied to wave-packets, explains fast reconnection in turbulence and also clarifies the distinction between topology-change and reconnection.

The Lipschitz continuity of magnetic field means that |𝐁(𝐱,t)𝐁(𝐲,t)|C|𝐱𝐲|h|{\bf B}({\bf x},t)-{\bf B}({\bf y},t)|\leq C|{\bf x}-{\bf y}|^{h} for some real C0C\geq 0 and 0<h10<h\leq 1. Consider the spatial separation of two arbitrary wave-packets 𝐱(t){\bf x}(t) and 𝐲(t){\bf y}(t) at time tt, which were initially separated by Δ(t=0):=Δ0\Delta(t=0):=\Delta_{0}.555Several notations exist in Lagrangian dynamics to denote the Lagrangian flow map, i.e, the map from particle’s initial point 𝐱0:=𝐱(t=0){\bf x}_{0}:={\bf x}(t=0) to its final point 𝐱t0t(𝐱0){\bf x}_{t_{0}}^{t}({\bf x}_{0}) at time tt. We will simply use 𝐱(t){\bf x}(t) for the position of the particle at time tt, implicitly assuming that its initial position 𝐱(t=0)=𝐱0{\bf x}(t=0)={\bf x}_{0} is given. Using this and taking the time derivative of Δ(t)\Delta(t), we arrive at dΔ(t)/dtC[Δ(t)]hd\Delta(t)/dt\leq C[\Delta(t)]^{h}, with simple solution

Δ(t)[Δ01h+C(1h)(tt0)]11h.\Delta(t)\leq\Big{[}\Delta_{0}^{1-h}+C(1-h)(t-t_{0})\Big{]}^{1\over 1-h}. (1)

In non-turbulent flows, h1h\rightarrow 1, thus Δ(t)Δ0eC(tt0)\Delta(t)\leq\Delta_{0}e^{C(t-t_{0})}. At long times, assuming a near Hölder equality, we get Δ(t)Δ0eC(tt0)\Delta(t)\simeq\Delta_{0}e^{C(t-t_{0})} for a chaotic flow with Lyapunov exponent CC; implying that the initial conditions (i.e., the value of Δ0\Delta_{0}) are never forgotten. The important point is that in the limit, when the initial separation goes to zero, even for a chaotic flow, the final separation vanishes:

limΔ00|𝐱(t)𝐲(t)|0,(laminar/chaotic flow).\lim_{\Delta_{0}\rightarrow 0}|{\bf x}(t)-{\bf y}(t)|\rightarrow 0,\;\;\text{(laminar/chaotic flow)}.

On the other hand, for 0<h<10<h<1, we find Δ(t)[C(1h)(tt0)]11h\Delta(t)\simeq\Big{[}C(1-h)(t-t_{0})\Big{]}^{1\over 1-h}, which implies that the information about initial conditions is lost! In other words, no matter how small the initial separation is, the wave-packets separate super-linearly with time:

|𝐱(t)𝐲(t)|t11h,(turbulent flow).|{\bf x}(t)-{\bf y}(t)|\sim t^{1\over 1-h},\;\;\text{(turbulent flow}). (2)

For h=1/3h=1/3, corresponding to the Kolmogorov scaling for velocity field [19], we get Richardson law [20]. The Hölder continuity for the magnetic field, i.e., 0<h<10<h<1, results from the well-known effect of anomalous dissipation in turbulent plasmas; see e.g., [21]. In a turbulent flow with velocity field 𝐮\bf u, the kinetic energy is viscously dissipated at a rate ϵνν|𝐮|2\epsilon_{\nu}\equiv\nu|\nabla{\bf u}|^{2} while the magnetic energy is dissipated at a rate ϵηη|𝐁|2\epsilon_{\eta}\equiv\eta|\nabla{\bf B}|^{2} (with viscosity ν\nu and resistivity η\eta). In fully developed turbulence, the Reynolds number ReLU/νR_{e}\equiv LU/\nu and magnetic Reynolds number RmLU/ηR_{m}\equiv LU/\eta, with characteristic length and velocity L,UL,U, are high, i.e., one can take the limit of vanishing viscosity and resistivity; see also eqs.(15) & (16) in §II.4. Thus one may naively expect that the viscous or resistive energy dissipation rate should vanish in these limits, i.e., limν0ν|𝐮|20\lim_{\nu\rightarrow 0}\nu|\nabla{\bf u}|^{2}\rightarrow 0 and limη0η|𝐁|20\lim_{\eta\rightarrow 0}\eta|\nabla{\bf B}|^{2}\rightarrow 0. However, in turbulence, experiments and numerical simulations indicate otherwise (see [22] and references therein). In a fully turbulent fluid, no matter how small we take the viscosity or resistivity, the viscous dissipation rate as well as magnetic dissipation rate remain finite: limν0ν|𝐮|20\lim_{\nu\rightarrow 0}\nu|\nabla{\bf u}|^{2}\nrightarrow 0 and limη0η|𝐁|20\lim_{\eta\rightarrow 0}\eta|\nabla{\bf B}|^{2}\nrightarrow 0. These dissipative anomalies indicate that the spatial derivatives of velocity and magnetic fields should blow up, i.e., the field become Hölder singular666The real vector field 𝐁(𝐱){\bf B}({\bf x}) is Hölder continuous in 𝐱n{{\bf x}}\in{\mathbb{R}}^{n} if |𝐁(x)𝐁(y)|C|xy|h|{\bf B}(x)-{\bf B}(y)|\leq C|x-y|^{h} for some C>0C>0 and h>0h>0. If h=1h=1, for any x,yx,y, 𝐁{\bf B} is uniformly Lipschitz continuous. Also 𝐁{\bf B} is called Hölder singular if 0<h<10<h<1. A uniformly Lipschitz function f(x)f(x), i.e., one which satisfies |f(x)f(y)|Cf|xy|hf|f(x)-f(y)|\leq C_{f}|x-y|^{h_{f}} for some Cf>0C_{f}>0 with hf=1h_{f}=1, has a bounded derivative, i.e., |f(x)|<M|f^{\prime}(x)|<M for some M>0M>0. In contrast, the derivative of a Hölder singular function ff, i.e., one which satisfies |f(x)f(y)|Cf|xy|hf|f(x)-f(y)|\leq C_{f}|x-y|^{h_{f}} for some Cf>0C_{f}>0 with 0<hf<10<h_{f}<1, can blow up; |f(x)|>|f^{\prime}(x)|>\infty. which implies ill-defined spatial derivatives and hence ill-defined MHD equations (see e.g., [23, 14, 21, 22, 24]). In order to remove such singularities, one may use the coarse-grained field 𝐁l{\bf B}_{l}, defined by eq.(10), and look at the ”average” field at larger scales; see §II.3.

Eq.(2) implies that the mean square separation of wave-packets scales as |Δ(t)|2t21h\langle|\Delta(t)|^{2}\rangle\sim t^{2\over 1-h}. Thus averaging over, in a reconnection zone of scale LL, it will take one Alfvén time, tA=L/VAt_{A}=L/V_{A}, for wave-packets to leave the reconnection zone, during which they will on average separate by the distance

Δ(tA)tA1/1h(LVA)1/1h.\Delta(t_{A})\sim t_{A}^{1/1-h}\sim\Big{(}{L\over V_{A}}\Big{)}^{1/1-h}.

The reconnection speed VrecVAΔ/LV_{rec}\sim{V_{A}\Delta/L} (which results from mass conservation in a zone of length LL and width Δ\Delta) is thus given by

VrecVAΔ/L(LVA)h/1h.V_{rec}\sim{V_{A}\Delta/L}\sim\Big{(}{L\over V_{A}}\Big{)}^{h/1-h}. (3)

Assuming h=1/3h=1/3, similar to the turbulent velocity field (see e.g., [21], Sec.IV), we arrive at the Lazarian-Vishniac reconnection speed [17] (see also [15] Sec.3). Contrast the above estimate with reconnection rate due to Ohmic diffusion of wave-packets, |Δ(tA)|2ηtA\langle|\Delta(t_{A})|^{2}\rangle\sim\eta t_{A}, i.e.,

VrecSPVAΔ/L(ηVA/L)1/2=VAS,V_{rec}^{SP}\sim V_{A}\Delta/L\sim(\eta V_{A}/L)^{1/2}={V_{A}\over\sqrt{S}},

where S:=VAL/ηS:=V_{A}L/\eta is the Lundquist number. This result, the Sweet-Parker speed [25, 26], is extremely slow in any astrophysical setting due to typically very large Lundquist numbers; see e.g., [27, 7]. These results, of course, are not new: we have simply recovered them here without appealing to the notion of field line diffusion. In the following subsections, we will also see that our approach not only clarifies the concept of magnetic topology and distinguishes it from reconnection, but it also provides an estimate for the rate of topology-change. In fact, it turns out that magnetic topology in laminar flows changes with a rate proportional to resistivity; see eq.(9).

Rapidly diverging trajectories even in the limit of their vanishing initial separation, associated to spontaneous stochasticity or the ”real” butterfly effect [28], differs from simple chaos (the butterfly effect). In the former case, the dynamics is singular (e.g., magnetic field is Hölder so 𝐱˙=𝐁\dot{\bf x}={\bf B} has non-unique solutions) and randomness of trajectories persists at finite times even in the limit of vanishing noise. This is distinct from simple chaos in which predictability times can be lengthened arbitrarily by reducing noise since final solution always remains proportional to the initial conditions. This is, incidentally, the primary reason why the weather (governed by Navier-Stokes equations) cannot be forecasted for more than almost two weeks: this time cannot be lengthened even with more advanced technology (the real butterfly effect).777A nice discussion of this effect in weather forecasting, along with historical notes regarding E. Lorenz pioneering work, can be found in the popular book by T. Palmer: The Primacy of Doubt [29].On the other hand, in simple chaos (the butterfly effect), such predictability times can be lengthened by reducing noise (e.g., by making initial separation of trajectories arbitrarily smaller). Spontaneous stochasticity can be regarded as “super-chaos” associated with the formation of singularities in the dynamics and consequent divergence of Lyapunov exponents to infinity. Vanishingly small random perturbations can then be propagated to large scales in a finite amount of time. Extremely small but unavoidable sources of noise such as thermal fluctuations have been shown to easily trigger spontaneous stochasticity in turbulence [30]. These statements explain why, in the above calculations for a turbulent flow, we employed mean square separation: the very notion of a Lagrangian trajectory breaks down in turbulence since the system is spontaneously stochastic and trajectories remain intrinsically random in fully developed turbulence. This effect is in fact intimately related to the old, well-known notion of Richardson (2-particle) diffusion (for a brief and nice discussion of Richardson diffusion and its connection to spontaneous stochasticity, see [12]). At large (inertial) scales, the singularity can be removed by a coarse-graining procedure which leads to a smooth, large-scale magnetic field on any inertial scale ll; see §II.3.

II.1 Magnetic Topology888A topology on a set XX is defined as the collection of subsets of XX, denoted by TT, such that (i) any arbitrary union of elements of TT belongs to TT, (ii) any finite intersection of elements of TT belongs to TT, (iii) the empty set and XX both belong to TT. We call (X,T)(X,T) a topological space. The elements of TT are called open sets. For instance, take X=3X={\mathbb{R}}^{3} and define the open sets, i.e., elements of TT, as open balls in 3{\mathbb{R}}^{3}. (An open ball around a point 𝐱0{\bf x}_{0} is the set of all points 𝐱\bf x such that |𝐱𝐱0|<r|{\bf x}-{\bf x}_{0}|<r, i.e., all points with a distance less than rr from 𝐱0{\bf x}_{0}. In 𝐑{\bf R} open balls are open intervals.) This topology, defined invoking the notion of distance between points in a set, is called metric topology, to be extensively used in the present paper.

Because magnetic field evolves in time, interacting with the velocity field, we have a non-autonomous dynamical system:

{𝐱˙:=d𝐱(t)dt=𝐁(𝐱(t),t),𝐁˙:=𝐁(𝐱(t),t)t=×𝐄,\begin{cases}\dot{\bf x}:={d{\bf x}(t)\over dt}={\bf B(x}(t),t),\\ \dot{\bf B}:={\partial{\bf B(x}(t),t)\over\partial t}=-\nabla\times{\bf E},\end{cases} (4)

where 𝐱(t){\bf x}(t) denotes a trajectory. The corresponding phase space is (𝐱,𝐁)(\bf x,B), which has a metric topology imposed by the Euclidean metric

Δt:=|𝐁(𝐱,t)𝐁(𝐲,t)|2+|𝐱𝐲|2,\Delta_{t}:=\sqrt{|{\bf B}({\bf x},t)-{\bf B}({\bf y},t)|^{2}+|{\bf x}-{\bf y}|^{2}}, (5)

which defines magnetic topology in an intuitive way, as discussed in the Introduction. Because homeomorphisms have, by definition, a continuous inverse, hence one condition for magnetic topology to be preserved is that its time evolution, hence equations of motion, should be invariant under time reversal; ttt\rightarrow-t. In vacuum, electric field is even under time reversal, 𝐄(t)=+𝐄(t){\bf E}(-t)=+{\bf E}(t) while magnetic field is odd, i.e., 𝐁(t)=𝐁(t){\bf B}(-t)=-{\bf B}(t). Consequently, the Faraday equation, t𝐁=×𝐄\partial_{t}{\bf B}=-\nabla\times{\bf E}, respects time reversal invariance as expected. In real fluids with finite resistivity and viscosity, however, the time reversal symmetry is broken. Non-ideal terms such as resistive electric field η×𝐁\eta\nabla\times\bf B in the Ohm’s law break the time symmetry in the induction equation which governs the evolution of magnetic field:

t𝐁=×(𝐮×𝐁η×𝐁),\partial_{t}{\bf B}=\nabla\times({\bf u\times B}-\eta\nabla\times{\bf B}), (6)

where 𝐮\bf u is the velocity field solving the Navier-Stokes equation. Hence, in general, 𝐁(t)±𝐁(t){\bf B}(-t)\neq\pm{\bf B}(t). Consequently, the topology of the bare magnetic field 𝐁(𝐱,t){\bf B(x},t) is not preserved in a real fluid.

In laminar flows, magnetic field is continuous in time and Lipschitz continuous in space, hence Δt\Delta_{t} is continuous and trajectories 𝐱(t){\bf x}(t) are uniquely defined. However, the time-reversal symmetry is broken by non-ideal effects such as resistivity. In the phase space (𝐱,𝐁)(\bf x,B), dissipation contracts any set of initial conditions to a single dimensionless point thus the topology changes because dimension is a topological invariant. However, discontinuous changes in topology are not allowed due to continuity and magnetic topology is nearly preserved, i.e., it changes only with a rate proportional to resistivity. Thus fast laminar reconnection, if it exists, cannot involve topology change.

In real astrophysical flows, on the other hand, 𝐁\bf B is Hölder continuous, i.e., 0<h<10<h<1, due to turbulence. As a result, trajectories 𝐱(t){\bf x}(t) are non-unique with diverging Lyapunov exponents, i.e, the system is spontaneously stochastic. However, what can physically be measured is the renormalized (coarse-grained) magnetic field 𝐁l{\bf B}_{l} obtained by integrating out the small degrees of freedom over a spatial region of scale l>0l>0 rather than the mathematical field 𝐁(𝐱,t){\bf B(x},t) at a single spacetime point (𝐱,t)({\bf x},t). The renormalized field 𝐁l{\bf B}_{l} is smooth and solutions of 𝐱˙(t)=𝐁l(𝐱(t),t)\dot{\bf x}(t)={\bf B}_{l}({\bf x}(t),t) are unique but the renormalized (large-scale) topology associated with 𝐁l{\bf B}_{l} can still change by non-linear turbulent effects due to time reversal symmetry breaking. In the following two subsections, we estimate the rate of topology change in laminar and turbulent flows. We will see that in laminar flows, magnetic topology changes with a rate proportional to resistivity, thus it is almost preserved for highly conducting plasmas. Nevertheless, in turbulence, topology changes on any inertial scale ll with a rate independent of small-scale plasma effects (§II.4).

II.2 Topology Change in Laminar Flows

Because dimension of a mathematical space is a topological invariant, i.e., it is preserved under homeomorphisms, its change implies topology change. For instance, in mapping a 3-dimensional solid ball to a 2-dimensional surface, topology changes because of the change in dimension (thus the mapping is not a homeomorphism). Invoking this simple mathematical notion, we will obtain the rate of magnetic topology change in laminar (see below) as well as in turbulent flows (§II.4). Let us consider the rate of topology change for the dynamical system corresponding to the bare (i.e., not renormalized; see eq.(11) below) induction equation given by eq.(6):

{𝐱˙=𝐁(𝐱(t),t),𝐁˙=×(𝐮×𝐁η×𝐁).\begin{cases}\dot{\bf x}={\bf B(x}(t),t),\\ \dot{\bf B}=\nabla\times({\bf u\times B}-\eta\nabla\times{\bf B}).\end{cases} (7)

which may be also written in a more compact form as

t(𝐱𝐁)=(𝐁(𝐱(t),t)𝐆[𝐁(𝐱(t),t);𝐱]):=𝐅[𝐁;𝐱],{\partial\over\partial t}\begin{pmatrix}{\bf x}\\ {\bf B}\end{pmatrix}=\begin{pmatrix}{\bf B}({\bf x}(t),t)\\ {\bf G}[{\bf B}({\bf x}(t),t);{\bf x}]\end{pmatrix}:={\bf F}[{\bf B};{\bf x}], (8)

where 𝐅\bf F and 𝐆:=×(𝐮×𝐁η×𝐁){\bf G}:=\nabla\times({\bf u\times B}-\eta\nabla\times{\bf B}) are functionals of 𝐁\bf B (and 𝐮\bf u, suppressed here for brevity). For a general dissipative dynamical system, 𝐱˙(t)=𝐟(𝐱(t))\dot{\bf x}(t)={\bf f(x}(t)), a solid ball of initial conditions in the phase space (𝐱,𝐟)\bf(x,f) contracts with the rate τ1=|.𝐟|\tau^{-1}=|\nabla.\bf f|.101010To see this, simply note that any volume V(t)V(t) of points in the phase space (𝐱,𝐟)(\bf x,f), corresponding to the dynamical system 𝐱˙(t)=𝐟\dot{\bf x}(t)={\bf f}, with normal vector 𝐧\bf n to its surface S(t)S(t) changes with time as V(t+dt)=V(t)+𝐟.𝐧dSdtV(t+dt)=V(t)+{\bf f.n}\;dSdt thus in the limit, V˙/V=.𝐟\dot{V}/V=\nabla.{\bf f}. Thus due to dissipation, the initial 66-dimensional ball will contract to a dimensionless point, i.e., the dimension of the region changes as well. On the other hand, dimension is a topological invariant, thus its change indicates topology-change with the same rate τ1\tau^{-1}. Thus our aim is to obtain the rate τT1:=.𝐅\tau^{-1}_{T}:=\nabla.\bf F, for the system (8) using the gradient operator in the phase space, i.e., :=(𝐱,δδ𝐁)\nabla:=\Big{(}{\partial\over\partial{\bf x}},{\delta\over\delta{\bf B}}\Big{)}. Because 𝐱.𝐁=0\nabla_{\bf x}.{\bf B}=0, the 𝐱\bf x derivatives vanish and the remaining functional derivative can be evaluated as follows:

δGk[𝐁;𝐱]δBh(𝐱)\displaystyle{\delta G_{k}[{\bf B;x}]\over\delta B_{h}({\bf x}^{\prime})} =\displaystyle= δδBh(𝐱)[(𝐱×(𝐮×𝐁))k+η𝐱Bk]\displaystyle{\delta\over\delta B_{h}({\bf x^{\prime}})}\Big{[}\Big{(}\nabla_{\bf x}\times({\bf u\times B})\Big{)}_{k}+\eta\triangle_{\bf x}B_{k}\Big{]}
=\displaystyle= δδBh(𝐱)[ϵijkϵlmji(ulBm)+η𝐱Bk]\displaystyle{\delta\over\delta B_{h}({\bf x^{\prime}})}\Big{[}\epsilon_{ijk}\epsilon_{lmj}\partial_{i}\Big{(}u_{l}B_{m}\Big{)}+\eta\triangle_{\bf x}B_{k}\Big{]}
=\displaystyle= [ϵijkϵlkji(ulδmhδΛ3(𝐱𝐱)\displaystyle\Big{[}\epsilon_{ijk}\epsilon_{lkj}\partial_{i}\Big{(}u_{l}\delta_{mh}\delta_{\Lambda}^{3}({\bf x-x^{\prime}}\Big{)}
+ηδkh𝐱δΛ3(𝐱𝐱)].\displaystyle\;\;\;\;\;\;\;\;\;\;\;+\eta\;\delta_{kh}\;\triangle_{\bf x}\delta^{3}_{\Lambda}({\bf x-x^{\prime}})\Big{]}.

Therefore,

τT1\displaystyle\tau^{-1}_{T} :=\displaystyle:= k=13d3𝐱δGk[𝐁;𝐱]δBk(𝐱)\displaystyle\sum_{k=1}^{3}\int\int\int d^{3}{\bf x}{\delta G_{k}[{\bf B;x}]\over\delta B_{k}({\bf x})} (9)
=\displaystyle= d3𝐱[2δili(ulδΛ3(𝟎))+3η𝐱δΛ3(𝟎)]\displaystyle\int\int\int d^{3}{\bf x}\Big{[}-2\delta_{il}\partial_{i}(u_{l}\delta^{3}_{\Lambda}({\bf 0}))+3\eta\triangle_{\bf x}\delta^{3}_{\Lambda}({\bf 0})\Big{]}
=\displaystyle= [2.(𝐮δΛ3(𝟎))+3η(𝐱δΛ3(𝟎))]V\displaystyle\Big{[}-2\nabla.({\bf u}\delta^{3}_{\Lambda}({\bf 0}))+3\eta(\triangle_{\bf x}\delta^{3}_{\Lambda}({\bf 0}))\Big{]}V
=\displaystyle= η(3V𝐱δΛ3(𝟎)),\displaystyle\eta\;(3V\triangle_{\bf x}\delta^{3}_{\Lambda}({\bf 0})),

where δΛ3(𝐱)=1V|𝐤|<Λei𝐤.𝐱\delta^{3}_{\Lambda}({\bf x})={1\over V}\sum_{|{\bf k}|<\Lambda}e^{i{\bf k.x}}, hence 𝐱δΛ3(𝟎)=(1/V)|𝐤|<Λ(k2)=const.\triangle_{\bf x}\delta_{\Lambda}^{3}({\bf 0})=(1/V)\sum_{|{\bf k}|<\Lambda}(-k^{2})=const., in real-space volume VV. Note that in order to have a physically meaningful continuum limit, there is a high-wavenumber cut-off in the velocity and magnetic fields as well as in the spatial delta-function δΛ3(𝐱)\delta^{3}_{\Lambda}({\bf x})111111Such ultra-violet (UV) cut-offs (either in momentum or real space) are required because physical quantities and equations of motion lose their meaning at very small scales, e.g., scales below \colorblackthe mean-free-path (gas) or inter-particle distance (fluid) which are still much larger than the Planck scale! Thus these are in fact effective theories valid only on ”larger” scales. Surprisingly, this well-known notion in many fields such as statistical physics, high energy physics and quantum field theories, is not yet appreciated in some other fields..

Thus magnetic topology changes with a rate proportional to resistivity. In magnetized astrophysical environments, resistivity is typically very small thus magnetic topology is expected to change slowly. Equivalently, we could average the field (i.e., coarse-grain or integrate out the small degrees of freedom) over small scales and look at the dynamics at much larger scales where plasma non-idealities such as resistivity are negligible121212This basically serves as the definition of the inertial scales in turbulence.. The non-ideal terms in the corresponding ”coarse-grained” induction equation governing the large scale field 𝐁l{\bf B}_{l} on scale ll will be negligible then; i.e., at large scales, we recover the ”ideal” induction equation (see §II.3 below), implying very slow topology change, in agreement with the above conclusion. In the next subsection, we will show that this is not the case in real astrophysical systems due to the presence of turbulence. In fact, at large scales, turbulent effects will dominate which can lead to fast dissipation and topology-change.

II.3 Renormalized Topology

The detailed magnetic field configuration, or magnetic pattern, e.g., on the surface of a distant star, depends on the resolution available to the observer: a low-resolution, terrestrial instrument will obviously detect different magnetic patterns compared with what a high-resolution instrument on a satellite closely orbiting the star would. In fact, no matter how great our resolution is or how close we are to the system, what we can measure as the magnetic field at point 𝐱\bf x is the average field 𝐁l{\bf B}_{l} in a finite volume of size l3>0l^{3}>0 rather than the mathematical vector 𝐁(𝐱){\bf B(x)} defined at point 𝐱\bf x. The reason, as mentioned before, is that any instrument can perform a measurement only in a finite volume in space and cannot detect the field defined at a single dimensionless (mathematical) point. Magnetic field measurable in any experiment is a coarse-grained field 𝐁l{\bf B}_{l}, which is essentially the average field over a length scale ll. If the measured magnitude and direction depend on our resolution scale l>0l>0, and we can only measure the physical field 𝐁l{\bf B}_{l} as an average over a length-scale ll and not the mathematical bare field 𝐁\bf B, what do we mean by the topology of the field 𝐁\bf B? The crucial point is that although 𝐁l{\bf B}_{l} will differ from 𝐁L{\bf B}_{L} for lLl\neq L, but on all (inertial) scales ll and LL, both 𝐁l{\bf B}_{l} and 𝐁L{\bf B}_{L} are governed by exactly the same dynamics. This is the heart of (Wilsonian) Renormalization Group (RG) theory.

The coarse-grained field can be defined using any rapidly decaying test function ϕ\phi to coarse-grain a given field 𝐁(𝐱,t){\bf{B}}({\bf{x}},t) at a spatial scale l>0l>0 by writing

𝐁l(𝐱,t)=Vϕ(𝐫l).𝐁(𝐱+𝐫,t)d3rl3,{\bf{B}}_{l}({\bf{x}},t)=\int_{V}\phi\left({{\bf{r}}\over l}\right).{\bf B}({\bf{x+r}},t){d^{3}r\over l^{3}}, (10)

where ϕ(𝐫)=ϕ(r)\phi({\bf{r}})=\phi(r) is a smooth and rapidly decaying (scalar) kernel131313Without loss of generality, we also assume ϕ(𝐫)0\phi({\bf{r}})\geq 0, lim|𝐫|ϕ(𝐫)0\lim_{|\bf r|\rightarrow\infty}\phi({\bf{r}})\rightarrow 0, Vd3rϕ(𝐫)=1\int_{V}d^{3}r\phi({\bf{r}})=1, Vd3r𝐫ϕ(𝐫)=0\int_{V}d^{3}r\;{\bf{r}}\;\phi({\bf{r}})=0, Vd3r|𝐫|2ϕ(𝐫)=1\int_{V}d^{3}r|{\bf{r}}|^{2}\;\phi({\bf{r}})=1 and ϕ(𝐫)=ϕ(r)\phi({\bf{r}})=\phi(r) with |𝐫|=r|{\bf{r}}|=r. Mathematically, ϕCc()\phi\in C_{c}^{\infty}({\mathbb{R}}); the space of infinitely-differentiable functions with compact support. A function gg is said to have a compact support (set of its arguments for which g0g\neq 0) if g=0g=0 outside of a compact set (equivalent to closed and bounded sets in m{\mathbb{R}}^{m}). As an example, one may work with ϕ(r)=ϕ0exp11r2\phi(r)=\phi_{0}\exp{{-1\over 1-r^{2}}} for |r|<1|r|<1 and ϕ=0\phi=0 for |r|1|r|\geq 1. The normalization constant ϕ0\phi_{0} is about 0.880.88 in three dimensions. For a quick, but more detailed introduction, see [31], Sec. 2.1. In fact, the renormalized field 𝐁l{\bf B}_{l} is the average magnetic field of a fluid parcel with length scale ll, The coarse-grained induction equation (obtained by multiplying the bare induction equation by ϕ(𝐫/l)\phi({\bf r}/l) and integrating) reads141414This method is equivalent to the weak formulation; see e.g., [13].

𝐁lt=×(𝐮l×𝐁l𝐑l𝐏l),{\partial{\bf{B}}_{l}\over\partial t}=\nabla\times({\bf{u}}_{l}\times{\bf{B}}_{l}-{\bf{R}}_{l}-{\bf P}_{l}), (11)

using the renormalized Ohm’s law 𝐄l+(𝐮×𝐁)l=𝐏l{\bf E}_{l}+({\bf u\times B})_{l}={\bf P}_{l}, which can also be written as

𝐄l=𝐏l+𝐑l𝐮l×𝐁l.{\bf{E}}_{l}={\bf P}_{l}+{\bf R}_{l}-{\bf{u}}_{l}\times{\bf{B}}_{l}. (12)

Even with a negligible non-ideal term 𝐏l{\bf P}_{l}, the non-linear term 𝐑l=(𝐮×𝐁)l+𝐮l×𝐁l{\bf{R}}_{l}=-({\bf{u\times B}})_{l}+{\bf{u}}_{l}\times{\bf{B}}_{l} will be generally large in turbulence. Furthermore, what is really important is its curl, ×𝐑l\nabla\times{\bf{R}}_{l}, which can be large and dominant in the induction equation [13]. The turbulent electromotive force (EMF) l𝐑l{\cal{E}}_{l}\equiv-{\bf{R}}_{l}, is the motional electric field induced by turbulent eddies of scales smaller than ll and plays a crucial role in magnetic dynamo theories. However, note that despite its similarity, this quantity differs from the mean EMF defined as a statistical average 𝐮×𝐛¯\overline{{\bf u}^{\prime}\times{\bf b}^{\prime}} with fluctuating velocity and magnetic fields 𝐮,𝐛{\bf u}^{\prime},{\bf b}^{\prime}, commonly used in mean field theories. This is because 𝐑l{\bf R}_{l} is deterministic, unlike mean field EMF which is statistical. Also, in defining 𝐑l{\bf R}_{l} no assumptions are made of scale separation between large-scale mean fields and small-scale fluctuations 𝐮,𝐛{\bf u}^{\prime},{\bf b}^{\prime}. In addition, 𝐑l{\bf R}_{l} and coarse-grained equations above are effective equations which depend upon an arbitrary length scale ll, which may be varied according to the desired resolution of the physics; see also [32].

At large scales, where small-scale dissipative effects can be neglected (i.e., ideal Ohm’s law holds in the turbulent inertial range in the coarse-grained or weak sense), we can write

𝐁lt=×(𝐮l×𝐁l𝐑l).{\partial{\bf{B}}_{l}\over\partial t}=\nabla\times({\bf{u}}_{l}\times{\bf{B}}_{l}-{\bf{R}}_{l}). (13)

In the coarse-grained induction equation, eq.(13), we can use the estimate |×𝐑l|1l|δ𝐮(l)×δ𝐁(l)||\nabla\times{\bf R}_{l}|\simeq{1\over l}|\delta{\bf u}(l)\times\delta{\bf B}(l)| with increments across scale ll [32, 13]. In a non-turbulent flow, δ𝐮(l)l\delta{\bf u}(l)\sim l and δ𝐁(l)l\delta{\bf B}(l)\sim l hence in the limit l0l\rightarrow 0, the non-linear term 𝐑l{\bf{R}}_{l} would vanish:

𝐁lt×(𝐮l×𝐁l).{\partial{\bf{B}}_{l}\over\partial t}\simeq\nabla\times({\bf{u}}_{l}\times{\bf{B}}_{l}). (14)

Therefore, we recover the ”ideal” induction equation on scale ll which is assumed to be much larger than the dissipative scale. The implication of these familiar results in the context of magnetic topology is that in a laminar flow, at scales larger than the dissipative scale, the magnetic topology is preserved within a good approximation. This is, of course, expected since we use the ideal fluid approximation and magnetic diffusivity annihilates the field on a resistive time scale. In turbulence, on the other hand, we cannot ignore non-linear term 𝐑l{\bf{R}}_{l} which can remain large even in the limit of vanishing resistivity.

II.4 Topology Change in Turbulent Flows

The Navier-Stokes equation can be easily cast into a non-dimensional form at large scales using the parameters (in standard notation) 𝐱¯=𝐱/L,t¯=t/(L/U),𝐮¯=𝐮/U,p¯=p/ρU2{\overline{\bf x}}={\bf x}/L,\;\;\;{\overline{t}}=t/(L/U),\;\;\;{\overline{\bf u}}={\bf u}/U,\;\;\;{\overline{p}}=p/\rho U^{2} as

𝐮¯t¯+𝐮¯.¯𝐮¯=¯p¯+1Re¯2𝐮¯.{\partial\overline{\bf u}\over\partial\overline{t}}+\overline{\bf u}.\overline{\nabla}\overline{\bf u}=-\overline{\nabla}\overline{p}+{1\over Re}\overline{\nabla}^{2}\overline{\bf u}. (15)

Analogously, the induction equation is written as

𝐁¯t¯=1Rem¯2𝐁¯+¯×(𝐮¯×𝐁¯),{\partial\overline{\bf B}\over\partial\overline{t}}={1\over Re_{m}}{\overline{\nabla}}^{2}\overline{\bf B}+{\overline{\nabla}}\times({\overline{\bf u}}\times\overline{\bf B}), (16)

where 𝐁¯=𝐁/B0\overline{\bf B}={\bf B}/B_{0} with characteristic field B0B_{0}. Therefore, a small viscosity (resistivity) translates into a large (magnetic) Reynolds number. One might naively neglect the terms proportional to 1/Re1/Re (and 1/Rem1/Re_{m}), to recover the ”ideal” equations. However, at large Reynolds numbers, the flow is extremely sensitive to small perturbations implying the presence or development of turbulence. Hence, the limit of vanishing viscosity (resistivity) may correspond to a (complicated) turbulent flow rather than the ”simple” ideal case!

What is the rate of magnetic topology change due to turbulent effects? In the phase space (𝐱,𝐁)(\bf x,B), this is basically the rate at which the topology of a solid ball of initial conditions for the dissipative dynamical system

{𝐱˙(t)=𝐁l(𝐱(t),t)𝐁˙l(𝐱(t),t)=×(𝐮l×𝐁l𝐑l𝐏l):=𝐆l[𝐁l;𝐱,t],\begin{cases}\dot{\bf x}(t)={\bf B}_{l}({\bf x}(t),t)\\ \dot{\bf B}_{l}({\bf x}(t),t)=\nabla\times({\bf{u}}_{l}\times{\bf{B}}_{l}-{\bf{R}}_{l}-{\bf P}_{l}):={\bf G}_{l}[{\bf B}_{l};{\bf x},t],\end{cases} (17)

with 𝐆[𝐁l;𝐱,t]{\bf G}[{\bf B}_{l};{\bf x},t] as a functional of 𝐁l{\bf{B}}_{l}, changes over time. The dissipation rate of this dynamical system, τT1=.𝐆\tau_{T}^{-1}=\nabla.{\bf G} with the phase-space gradient :=(𝐱(t),δδ𝐁l)\nabla:=\Big{(}{\partial\over\partial{\bf x}(t)},{\delta\over\delta{\bf B}_{l}}\Big{)}, is

τT1\displaystyle\tau^{-1}_{T} :=\displaystyle:= |k=13d3𝐱δGlk[𝐁l;𝐱]δBlk(𝐱)|\displaystyle\Big{|}\sum_{k=1}^{3}\int\int\int d^{3}{\bf x}{\delta G_{l}^{k}[{{\bf B}_{l};{\bf x}}]\over\delta B_{l}^{k}({\bf x})}\Big{|}

where

δGlk[𝐁l;𝐱]δBlk(𝐱)\displaystyle{\delta G_{l}^{k}[{{\bf B}_{l};{\bf x}}]\over\delta B_{l}^{k^{\prime}}({\bf x}^{\prime})} =\displaystyle= δδBlk(𝐱)(𝐱×([𝐮l(𝐱)×𝐁l(𝐱)]\displaystyle{\delta\over\delta B_{l}^{k^{\prime}}({\bf x}^{\prime})}\Big{(}\nabla_{\bf x}\times\Big{(}\Big{[}{\bf{u}}_{l}({\bf x})\times{\bf{B}}_{l}({\bf x})\Big{]}
𝐑l(𝐱)𝐏l(𝐱)))k\displaystyle\;\;\;\;\;\;\;\;\;\;\;\;\;\;-{\bf{R}}_{l}({\bf x})-{\bf P}_{l}({\bf x})\Big{)}\Big{)}^{k}
=\displaystyle= δδBlk(𝐱)(𝐱×(𝐑l(𝐱)𝐏l(𝐱)))k.\displaystyle{\delta\over\delta B_{l}^{k^{\prime}}({\bf x}^{\prime})}\Big{(}\nabla_{\bf x}\times\Big{(}-{\bf{R}}_{l}({\bf x})-{\bf P}_{l}({\bf x})\Big{)}\Big{)}^{k}.

Note that the contribution of small-scale plasma effects, i.e., different processes collectively denoted as 𝐏l{\bf P}_{l} in our notation, will be negligible as e.g., for the case of Ohmic electric field considered before. Thus we arrive at the estimate

τT1|k=13d3𝐱δδBlk(𝐱)(𝐱×𝐑l(𝐱))k|.\tau^{-1}_{T}\doteq\Big{|}\sum_{k=1}^{3}\int\int\int d^{3}{\bf x}{\delta\over\delta B_{l}^{k^{\prime}}({\bf x}^{\prime})}\Big{(}\nabla_{\bf x}\times{\bf{R}}_{l}({\bf x})\Big{)}^{k}\Big{|}. (18)

We will not evaluate this expression further, since obtaining explicit results is complicated and not required for our purposes here. The important point is that the rate given by eq.(18) is obviously independent of small-scale plasma effects and depends totally on turbulent effects. Therefore unlike laminar flows, where topology changes with a rate proportional to resistivity which is typically negligible in astrophysical systems, in turbulence magnetic topology may change on much faster time scales.

As a side note, to close this section, let us mention that to evaluate the functional derivative given by eq.(18) is mathematically challenging. A similar, but simpler, problem is encountered in considering the velocity field itself, i.e., in the coarse-grained Navier-Stokes equation which involves taking the functional derivative of the term δδ𝐮l.((𝐮𝐮)l𝐮l𝐮l){\delta\over\delta{\bf u}_{l}}\nabla.\Big{(}({\bf{u}\bf{u}})_{l}-{\bf u}_{l}{\bf u}_{l}\Big{)}. Such a calculation involves mode-reduction, e.g. using Zwanzig-Mori projection methods or a path-integral approach to integrate out unresolved scales. The result is spatially nonlocal, non-Markovian, transcendentally nonlinear and also random with colored, multiplicative noise [31]. For the velocity field, the divergence of the systematic part of .(𝐮𝐮)𝐥\nabla.(\bf{uu})_{l} equals zero and the non-vanishing contribution arises entirely from the “eddy noise”.

III Discussion

In this paper, we have argued that reconnection is associated with continuous divergence of Alfvénic wave-packets (magnetic path-lines) over time, i.e., roughly speaking, rapid but smooth change in magnetic pattern over time. Topology-change is associated with discontinuous divergence of trajectories or their annihilation by dissipative effects; resistivity in laminar flows and turbulent dissipation in turbulence. In laminar flows, reconnection and topology-change are thus completely different phenomena. Even in chaotic flows, where the Alfvénic trajectories diverge exponentially, their separation at later times remains proportional to the initial separation, unlike turbulent flows. In turbulence, the picture is somehow complicated and both reconnection and topology-change originate from spontaneous stochasticity or super-chaos—persistent random behavior of trajectories independent of their initial separation. Specifically, in turbulence, the non-linear dynamics governing magnetic field becomes singular and randomness in wave-packet trajectories survives even in the limit of vanishing noise, i.e., fast separation of trajectories at later times even when the initial separation of trajectories tends to zero. Fast turbulent reconnection results from enhanced turbulent mixing of trajectories while topology-change results from turbulence’s time-reversal symmetry breaking. These effects are deeply related to spontaneous stochasticity.

The simple approach presented in this paper provides a clear and intuitive topology for magnetic fields independent of the notion of magnetic field lines and their complicated motion through plasma. In fact, versatility of a powerful tool, such as Feynman’s diagrams; concept of a gravitational field or the notion of magnetic field lines, can make it look more physical than it is in reality leading to misuse. Feynman used to interpret his diagrams in a more physical way than what is understood today. Gravitational field around a mass became only part of the metric in general relativity. Similarly, the powerful notion of magnetic field lines, since their introduction by Faraday, can be replaced with other more appropriate tools such as magnetic path-lines for gaining a deeper and simpler picture. In a real magnetized plasma in three dimensions, for example, magnetic field lines might become quite inadequate to describe processes such as reconnection or magnetic topology change. Our approach in this paper provides an alternative way of looking at reconnection and magnetic topology-change, in terms of magnetic path-lines 𝐱(t){\bf x}(t) solving 𝐱˙(t)=𝐁(𝐱(t),t)\dot{\bf x}(t)={\bf B(x}(t),t) instead of field lines, which are parametric curves depicting magnetic field pattern only at a given time.

Alfvénic trajectories or magnetic path-lines are associated with a dynamical system whose phase space has a natural metric topology for magnetic field. This magnetic topology evolves with time and it is easy to see what conditions should be satisfied for the topology to be preserved. In laminar flows, magnetic topology can change with a rate proportional to resistivity, hence if reconnection is fast, i.e., it occurs on time scales much shorter than resistive time, then reconnection and topology change should be distinct phenomena. In turbulence, time-reversal symmetry is broken and topology cannot be preserved. In fact, magnetic topology in a turbulent plasma can change by enhanced turbulent diffusion on any inertial scale.

Our simple calculations also suggest connections to other approaches to magnetic reconnection. For example, one can use the coarse-grained induction equation, eq.(11), to study the time evolution of the unit tangent vector, 𝐁^l=𝐁l/Bl\hat{\bf B}_{l}={{\bf B}_{l}/B_{l}}. In fact, the coarse-grained induction equation implies

t𝐁^l=×(𝐮l×𝐁l)Bl(𝚺l+σl),\partial_{t}\hat{\bf{B}}_{l}={\nabla\times({\bf u}_{l}\times{\bf B}_{l})^{\perp}\over B_{l}}-({{\bf{\Sigma}}_{l}}^{\perp}+{{{\sigma}}_{l}}^{\perp}), (19)

where (.)(.)^{\perp} indicates the perpendicular direction with respect to the large-scale field 𝐁l{\bf B}_{l} and

{𝚺l=(×𝐑l)Bl,𝝈l=(×𝐏l)Bl.\begin{cases}{\bm{\Sigma}}_{l}={(\nabla\times{\bf{R}}_{l})\over B_{l}},\\ {\bm{\sigma}}_{l}={(\nabla\times{\bf{P}}_{l})\over B_{l}}.\end{cases} (20)

The term 𝚺l{\bm{\Sigma}}_{l} (𝝈l{\bm{\sigma}}_{l}) has been shown to govern magnetic reconnection in turbulence (laminar flows) [13]. On the other hand, we have shown in this paper, eq.(18), that the rate of magnetic topology change depends on the functional derivative of Bl𝚺lB_{l}{\bm{\Sigma}}_{l} (and Bl𝝈lB_{l}{\bm{\sigma}}_{l} on small scales in laminar flows):

τT1\displaystyle\tau^{-1}_{T} \displaystyle\doteq |k=13d3𝐱δ(BlΣlk)δBlk(𝐱)|.\displaystyle\Big{|}\sum_{k=1}^{3}\int\int\int d^{3}{\bf x}{\delta\Big{(}B_{l}{\Sigma}_{l}^{k}\Big{)}\over\delta B_{l}^{k}({\bf x})}\Big{|}.

This estimate for turbulent flows implies that magnetic topology changes on all turbulent inertial scales ll and unlike laminar flows, it is independent of small scale (plasma) effects. These are the distinguishing characteristics of turbulent (stochastic) reconnection as well [17, 13, 7]. In fact, ”naive” dimensional analysis of the above estimate suggests a fast rate of order τT1Δul/l\tau_{T}^{-1}\sim\Delta u_{l}/l, i.e., eddy turn-over rate on scale ll. In laminar flows, this rate is proportional to (typically negligible) resistivity; eq.(9). Spontaneous stochasticity seems to enhance both topology-change and reconnection in turbulence.

Finally, our approach also emphasizes the crucial roles scale and turbulence play in the study of magnetic topology change as well as its connection to turbulent reconnection. Any physical measurement can be performed only in a finite region of space (and during a finite interval in time). This somehow resembles the uncertainty principle in the sense that we can never measure the ”real” mathematical magnetic field 𝐁(𝐱,t){\bf B(x},t) no matter how technologically advanced our measuring instruments become over time. In fact, although electromagnetic fields are in most applications assumed to be well-defined at small scales, this is not true for general physical fields. In condensed matter physics, for example, it is common for a general field theory to have a natural cut-off at small length scales (or high energies), e.g., the spacing between atoms in a lattice crystal. In most quantum field theories, there exist (ultra-violet) infinities and the field is not well-defined at very small scales. Hence, a cut-off is usually introduced to regularize the theory (regularization). This is of course part of the strong methodology known as (Wilsonian) Renormalization Group (RG) theory which is based on integrating out the small degrees of freedom, i.e. coarse-graining. What we ”observe” as a magnetic field is the big picture, i.e., large-scale field 𝐁l{\bf B}_{l} at larger scales ll not tiny details, i.e., field fluctuations, which can be summed over on much smaller scales. This is the gist of RG methodology which plays also a crucial role in our presentation here. As for the role of turbulence, it is well known that in both plasma physics and astrophysics, magnetized fluids of interest are usually also turbulent due to external forcing or different internal instabilities or in fact even due to reconnection itself [7]. Even if the system is initially non-turbulent, reconnection can make the flow turbulent. Unlike laminar flows in ideal magnetized fluids, where magnetic field is approximately frozen into the flow (Alfvén flux-freezing; [11]), in turbulence, magnetic field follows the flow only in a statistical sense: this is stochastic flux-freezing formulated by Eyink [12]. Turbulent flows have non-trivial features like unpredictability, enhanced mixing and spontaneous stochasticity which tend to tangle the threading magnetic field stochastically, increasing its spatial complexity in a geometric sense [22]. Because of strong magnetic tension forces, at some point, the field may relax to a smoother configuration which in turn launches eruptive fluid motions [33, 34, 35], potentially observable as ”reconnection” events, e.g., on the solar surface.

References