arXiv is now an independent nonprofit! Learn more
License: CC BY 4.0
arXiv:2406.01545v1 [astro-ph.GA] 03 Jun 2024

Gradient Technique Theory: Tracing magnetic field and obtaining magnetic field strength

Journal: ApJ
Alex Lazarian Affiliation: Department of Astronomy, University of Wisconsin-Madison, USA Affiliation: Centro de Investigación en Astronomía, Universidad Bernardo O’Higgins, Santiago, General Gana 1760, 8370993, Chile Email: alazarian@facstaff.wisc.edu    Ka Ho Yuen Affiliation: Theoretical Division, Los Alamos National Laboratory, Los Alamos, NM 87545, USA Email: kyuen@lanl.gov    Dmitri Pogosyan Affiliation: Department of Physics, University of Alberta, Edmonton, Canada Affiliation: Korea Institute for Advanced Studies, Seoul, Republic of Korea Email: pogosyan@ualberta.ca
Received August 24, 2026
Abstract

The gradient technique is a promising tool with theoretical foundations based on the fundamental properties of MHD turbulence and turbulent reconnection. Its various incarnations use spectroscopic, synchrotron, and intensity data to trace the magnetic field and measure the media magnetization in terms of Alfven Mach number. We provide an analytical theory of gradient measurements and quantify the effects of averaging gradients along the line of sight and over the plane of the sky. We derive analytical expressions that relate the properties of gradient distribution with the Alfven Mach number MAM_{A}. We show that these measurements can be combined with measures of sonic Mach number or line broadening to obtain the magnetic field strength. The corresponding technique has advantages to Davis-Chandrasekhar-Fermi way of obtaining the magnetic field strength.

Keywords: 
Interstellar magnetic fields (845); Interstellar medium (847); Interstellar dynamics (839);

I Introduction

The magnetic field is an important player in most astrophysical processes (e.g., Mestel & Spitzer 102, Galli et al. 35, Mouschovias et al. 105, Johns-Krull 65) and therefore it is really important to have ways of studying magnetic fields from observations. In terms of magnetic field tracing, the polarization arising from aligned dust (see Andersson et al. 1) as well as synchrotron polarization (see e.g.Lazarian & Yuen 88) provide the main avenues of research (see Chepurnov & Lazarian 20). The development of new ways of studying magnetic fields is essential for understanding the complex dynamics of multiphase interstellar media with ubiquitous magnetic fields. Therefore, several techniques, e.g. Goldreich & Kylafis effect (1981), that uses polarization from molecular lines and the one employing ground state alignment (GSA, Yan & Lazarian 112, Yan & Lazarian 113, Yan & Lazarian 114) have been put forward.

In view of astrophysical flows with large Reynolds numbers, the magnetic fields are turbulent (see Elmegreen & Scalo 30, McKee & Ostriker 101, Yuen et al. 116). The evidence of turbulent magnetic field is coming from observations of density structure of the interstellar medium (e.g. Armstrong et al. 3, Chepurnov & Lazarian 19, Ho et al. 50, Habegger et al. 42, see review from [115]) and velocity fluctuation studies [74, 46, 20, 17], synchrotron polarization studies [123, 107]. The magnetic field makes the turbulence anisotropic, and this was proposed as a way to study the magnetic field [86, 31, 45, 84].

Recently, based on the theory of MHD turbulence and turbulent reconnection (Goldreich & Sridhar 39, henceforth GS95, Lazarian & Vishniac 87, henceforth LV99, see also a monograph by Beresnyak & Lazarian 6) a Gradient Technique of magnetic field tracing was introduced. This technique employs the fact that in MHD turbulence, the gradients of the velocity and magnetic field amplitudes are directed perpendicular to the local direction of the magnetic field. The technique was developed to study velocity gradients [40, 118, 119, 89, 88] but later expanded to studies of gradients of different nature, most notable branches being Synchrotron Intensity Gradients (SIGs, Lazarian et al. 92), Synchrotron Polarization Gradients (SPGs, Lazarian & Yuen 88) as well as Intensity Gradients (IGs, Yuen & Lazarian 119, Hu et al. 59, Ho & Lazarian 49). In addition, Faraday Rotation Gradients (FRGs) and Dust Polarization Gradients (DPGs) were also discussed in [88]. In this paper, we provide a formal mathematical theory of these gradients and compare the properties of gradient tracing with that of polarisation measurements. In addition, in [91, 120, 121], it was demonstrated that the properties of the gradient distribution can be successfully employed to measure the sonic and Alfvén Mach number, key input parameters that determine the properties of magnetized turbulence.

The subsequent papers successfully applied the gradient technique to studies of magnetic fields both in diffuse media and molecular clouds (see Hu et al. 56, Hu & Lazarian 53). The velocity gradients have also demonstrated their power in predicting the foreground polarization from galactic dust [61, 95]. However, progress was primarily achieved through empirical studies of gradients, which always have disadvantages. This motivates our present formal mathematical study of the properties of gradients in this paper. In particular, it is important to quantify how the ability of gradients to trace magnetic fields and measure magnetization changes with the averaging along the line of sight procedure and the change of the sub-block size. The corresponding theoretical advances can help to develop reliable magnetic field study procedures. However, the major focus for the practical applications of the theory in this paper is using gradients to obtain the strength of the magnetic field from the properties of the gradient distribution in the sub-blocks. In other words, while the study in [91] provides an empirical way to obtain MAM_{A}, which is of the order of the ratio of the magnetic field fluctuation to its mean value, the theory can provide analytical predictions for this dependence. When combined with line width broadening or other ways of evaluating the sonic Mach number of the turbulence, one gets a new way of obtaining magnetic field strength.

Traditionally, by the magnetic field is measured by combining the polarization and spectral linewidth. The corresponding technique proposed in [28] and [15] is termed Davis-Chandrasekhar-Fermi technique (henceforth DCF technique). It uses dust polarization to trace the direction othe f magnetic field and spectral linewidth to measure the velocity dispersion corresponding to the dispersion in magnetic field directions. The DCF technique was later studied numerically and improved in several of subsequent publications (e.g. Heitsch et al. 44, Crutcher 27, Houde 52, Girart et al. 37, Falceta-Gonçalves et al. 33, [25] ). These improvements did not change the essence of the technique. Based on the measurements of dispersions of both magnetic field and velocities, the DCF technique is affected by large-scale shear velocities and the variations of magnetic field directions not directly related to the Alfvénic motions.

An attempt to use the local measures of magnetic field and velocities to obtain the detailed distribution of magnetic field strength and remove the irrelevant large-scale contribution is made in Lazarian et al. (2022, Paper I). The approach, named the Differential Measure Analysis (DMA), employs the theory of MHD turbulence to obtain the magnetic field strength by combining the polarization data with spectroscopic data.

This paper explores the possibility of obtaining the magnetic field strength without using polarization data while using gradients instead. This study capitalizes on our earlier studies of media magnetization using gradients. For instance, Velocity Channel Maps provide a way of obtaining both the maps of magnetic field directions using a new Velocity Channel Gradient (VChG) technique [89] and the Alfvén Mach number [91]. The latter can be obtained on the scale of the data sub-block employed for calculating a single gradient vector within the gradient technique. Using this magnetization, obtaining the magnetic field strength using the same spectroscopic data is possible. Naturally, this approach is synergistic with the DCF and the DMA and has several advantages, which are discussed in this paper.

The magnetization can be successfully obtained with velocity gradients and other types of gradients [14]. This opens a way to obtain magnetic field strength with the different data sets that have never been employed for such purposes follows, §II discusses the essence of the gradient technique. We discuss our numerical setup in §III. In §IV, we review the different observables used in the gradient technique. In §V we formulate the analytical theory gradient statistics dispersions, and introduce a quantity J2J_{2} mimicking circular dispersion in polarization statistics that is shown to be connected to the underlying turbulence structures. In §VI, we employ the actual MHD turbulence model to give an estimate of J2J_{2} as functions of Alfvénic Mach number. In §VII we discuss the measures that can be obtained from observations, and the corresponding statistical error estimates. In §VIII we present the numerical results verifying the analytical relations predicted in §VII. In §IX, we discuss the new opportunities based on the development of the analytical theory of gradients. In §X we discuss the implication of our results, and in §XI we conclude our paper.

II Alfvénic component of MHD turbulence and Gradient Technique

MHD turbulence in sub-Alfvénic and trans-Alfvénic regimes can be presented as a superposition of cascading Alfven, slow and fast modes [39, 94, 21, 22, 96, 48, 127, 126, 107]. The small-scale Alfvénic fluctuations are marginally affected by their interaction with fast and slow modes [21]. The Alfvénic motions are most important for the Gradient Technique and, in what follows, we focus on the Alfvénic turbulence.

II.1 Scaling of eddies in local system of reference

The Gradient Technique (GT) is a technique that employs the properties of MHD turbulence to study magnetic field from observational data. These properties include the anisotropy of velocity and magnetic field fluctuations in the MHD cascade as well as the alignment of these fluctuations with the local direction of magnetic field. The latter property is absolutely crucial for the ability of the GT to trace dynamically important magnetic field.11 1 If magnetic field is not dynamically important, it can be advected by velocity motions and passively reflect the statistics of velocity fluctuations. Thus the velocity gradients can trace the magnetic field even in this case. However, we do not consider this situation in the present paper.

The well-accepted hydrodynamic Kolmogorov turbulence [70] can be understood using a mental picture of an eddy cascade. Traditionally, MHD turbulence was considered a wave-type phenomenon, similar to acoustic turbulence [64, 73] with Alfvénic waves having isotropic distribution. This was shown to be an incorrect picture (Montgomery & Turner 104, 39). Note that further, we focus on the Alfvénic turbulence cascade only, as this cascade determines the properties of gradients we deal with. The separation of this cascade from the other two MHD motions is possible because the back-reaction of slow and fast modes of the Alfvénic cascade is marginal in the strong Alfvénic turbulence regime (39, Cho et al. 23, [122], see also appendix of [107]). Thus, the scaling properties of Alfvénic cascade stay unaltered in the compressible media in good agreement with numerical calculations [22].

The anisotropic distribution in 39 picture corresponds to Alfvénic wave vectors getting perpendicular to magnetic field. The corresponding motions are equivalent to eddies according to 87. The eddy motions were considered impossible in the presence of dynamically important magnetic field. However, the theory of turbulent reconnection (87, see Lazarian et al. 77 for a review) predicts that the magnetic field reconnection happens within one eddy turnover time. This enables unconstrained eddy motions in the direction perpendicular to the magnetic field. As a result, the Kolmogorov picture of turbulence is revived, but with the restriction that the eddy cascade is expected to involve only in the eddies with rotation axes aligned with the direction of magnetic field that surrounds the eddies.

Naturally, the magnetic field in question is those involved in the Alfvénic motion, i.e. the field that percolates the eddies. This is the local direction of magnetic field, which is an important advance in understanding Alfvénic cascade. In other words, due to turbulent reconnection, the turbulent motions perpendicular to the magnetic field are not constrained by the back-reaction of magnetic field. This presents the favorable way of turbulent cascading with most energy concentrated in eddies rotating perpendicular to the local direction of the magnetic field.22 2 A common misconception about the MHD theory is related to the fact that the concept of the local direction of the magnetic field is not a part of the original 39 idea. This concept of local magnetic field direction was introduced and proven numerically in [24] and subsequent studies, e.g., [100, 21]. Dealing exclusively with Alfvénic turbulence simplifies our further treatment as velocities and magnetic field are related through the Alfvénic relations. Further, in particular in §9 we discuss complicated situations involving non-Alfvénic turbulence.

Accepting the natural constraint that eddies perform the motions that minimize the magnetic field bending, i.e. that due to fast reconnection they easily mix up magnetic field around them in the perpendicular direction, one can get the Kolmogorov-type condition for such perpendicular Alfvénic motions

vl2/tcasc,l=const,v_{l}^{2}/t_{casc,l}=const, (1)

where vlv_{l} is the velocity of perpendicular to magnetic field eddies and the scale ll_{\bot} and tcasc,lt_{casc,l} is the energy cascading time, i.e. time of the energy transfer from a scale ll_{\bot} scales to a smaller eddy. We use the symbol \bot to explicitly reflect the fact that the cascade involves ”perpendicular” eddies. For unconstrained energy transfer from scale to scale, the cascading time is similar to the Kolmogorov turbulence

tcas,llvlt_{cas,l}\approx\frac{l_{\bot}}{v_{l}} (2)

The eddies, however, can change their parallel scale ll_{\|}. Indeed, the magnetic field mixing with the period l/Vll_{\bot}/V_{l} induces a wave with a period l/VAl_{\|}/V_{A}, where VAV_{A} is the Alfvén velocity. The latter condition, i.e.

l/Vll/VA,l_{\bot}/V_{l}\approx l_{\|}/V_{A}, (3)

was termed critical balance in the 39 theory of MHD turbulence.33 3 The critical balance assumes that in Eq. (3) it is ll_{\|} rather than the injection scale LinjL_{inj}. If this is not true, the cascade is modified. The eddies cannot freely mix and the turbulence in the weak MHD turbulence regime with l=Linjl_{\|}=L_{inj} and perpendicular to magnetic field motions scaling vll1/2v_{l}\sim l^{1/2} (39, Galtier et al. 36. See also Mallet et al. 99, Meyrand et al. 103 for proofs of critical balance.). This does not change the picture for the gradient studies as the motions are still perpendicular to magnetic field. However, in the latter study the critical balance was derived for the corresponding parallel and perpendicular scales obtain in relation to the mean magnetic field rather than to the local magnetic field. The subsequent studies [24, 100, 21] testified that the critical balance and the relations between the ll_{\bot} and ll_{\|} that follow from combining Eqs. (1,2) and (3), i.e.

ll2/3,l_{\|}\sim l_{\bot}^{2/3}, (4)

are valid only if \| and \bot scales are calculated in terms of the local direction of magnetic field. It follows naturally from our presentation of Alfvénic cascade that the scaling of eddy velocities is Kolmogorov-type (see Eq. (1), i.e.

vll1/3andbll1/3v_{l}\sim l^{1/3}~{\rm and}~b_{l}\sim l^{1/3} (5)

where blb_{l} is the fluctuation of magnetic field.

Apart from Alfvénic motions, slow and fast modes are present in MHD turbulence. The slow modes are present even in the limit of incompressible turbulence and they follow the scaling of Alfvén modes (39,Cho & Lazarian 21, Cho & Lazarian 22, Lithwick & Goldreich 94). The fast modes are present in compressible MHD turbulence and it was demonstrated in [21, 22] that that provide an isotropic cascade similar to the acoustic turbulence. For magnetic field tracing with the GT, the properties of Alfvén and slow modes are employed. The energy of those usually dominates the energy in the fast modes (see Cho & Lazarian 21). For subsonic turbulence slow modes dominate the formation of density fluctuations and therefore ρll1/3\rho_{l}\sim l_{\bot}^{1/3} and are elongated with the axis ratio scaling given by Eq. (4). The situation is more complicated, however, for supersonic turbulence where the shocks distort significantly the density structure within MHD turbulence (see Beresnyak et al. 8, Kowal et al. 72).

II.2 Dependence on magnetization

All the considerations above apply to sub-Alfvénic, i.e., the magnetic field fluctuations δB\delta B that are less than the underlying regular magnetic field B0B_{0}. For Alfvénic motions, one can define the Mach number

MAδBB0VinjVA,M_{A}\equiv\frac{\delta B}{B_{0}}\approx\frac{V_{inj}}{V_{A}}, (6)

where VinjV_{inj} is the injection velocity of the Alfvénic cascade. One identifies MA<1M_{A}<1 with sub-Alfvénic turbulence and MA=1M_{A}=1 with the trans-Alfvénic turbulence. If turbulence is super-Alfvénic, i.e. MA>1M_{A}>1, at the injection scale LinjL_{inj} the motions are hydrodynamic-like down to the scale

lA=LinjMA3,l_{A}=L_{inj}M_{A}^{-3}, (7)

where the turbulence transfers to the magnetic field-dominated regime. All our arguments about trans-Alfvénic turbulence are applicable provided that use lAl_{A} as the effective injection scale of turbulence.

For scales larger than lAl_{A}, the magnetic fields are moved by hydrodynamic flows and the gradients of velocities perpendicular to magnetic fields (see Lazarian et al. 92, Hu et al. 2024). For scales less than lAl_{A}, the velocity gradients are similar to the case of trans-Alfvénic turbulence. For this type of turbulence and MA<1M_{A}<1 turbulence, the gradients are also perpendicular to magnetic field [91, see]. In the latter case, this is the consequence of the Alfvénic turbulence anisotropy (39; Kandel et al. 2016, 2017a, henceforth KLP16, KLP17).

The properties of MHD turbulence depend on magnetization that is measured using the Alfvén Mach number MAM_{A} which is the ratio of the turbulent injection velocity VinjV_{inj} to the Alfvén velocity VAV_{A}, i.e. MA=Vinj/VAM_{A}=V_{inj}/V_{A}. For sub-Alfvénic turbulence (i.e. MA<1M_{A}<1) at scales smaller than

ltr=LinjMA2l_{tr}=L_{inj}M_{A}^{2} (8)

the velocity scaling is given by 87:

vlVinj(lLinj)1/3MA1/3,v_{l}\approx V_{inj}\left(\frac{l_{\bot}}{L_{inj}}\right)^{1/3}M_{A}^{1/3}, (9)

where ll_{\bot}is measured in the local system of reference. 44 4 At separations larger than LinjMA2L_{inj}M_{A}^{2} as we mentioned earlier, the turbulence scaling follows the so-called weak cascade (See Santos-Lima et al. 2021), vlVinj(l/Linj)1/2v_{l}\approx V_{inj}(l_{\bot}/L_{inj})^{1/2}. The gradient studies, however, usually employ small scales as weak turbulence often occupies only a small portion in MHD simulations. For this case the eddies get more elongated as it is obvious from the exact expression for MA<1M_{A}<1 turbulence scaling at small separations [87]:

lLinj(lLinj)2/3MA4/3,l_{\parallel}\sim L_{inj}\left(\frac{l_{\perp}}{L_{inj}}\right)^{2/3}M_{A}^{-4/3}, (10)

For larger magnetization, MAM_{A} gets smaller and the eddies get more and more elongated. The distribution of the direction of eddies also changes and the corresponding changes can be traced by studying the distribution of the gradient directions. For instance, the empirical study of gradients distribution in [91] revealed that the dispersion of velocity gradients measured within the sub-block employed for averaging changes as a power law of MAM_{A}. In this paper we relate this and other measures of velocity and magnetic field gradients with the analytical expectations.

II.3 Properties of gradients and media magnetization

Later in the paper we derive rigorously the properties of gradients according to the statistical theory of MHD turbulence. For readers’ reference, it is advantageous to discuss the gradient properties that directly follow from the MHD turbulence scaling.

For Alfvénic motions of the magnetic and velocity fluctuations are symmetric. The corresponding eddies in magnetized turbulence, as we discussed above, are elongated along the local direction of magnetic field and rotate about this direction. The fact that both velocity and magnetic fluctuations exhibit Kolmogorov-type scaling given by Eq. (5) ensures that the gradients of the amplitudes of fluctuations are largest at the smallest scales resolved. For instance, for velocities |vl|vl/ll2/3\nabla|v_{l}|\sim v_{l}/l_{\bot}\sim l_{\bot}^{-2/3}. The fact that both velocity and magnetic field fluctuations take place and are elongated in respect to the local direction of magnetic field means that gradients of individual eddies reflect the direction of the magnetic field at the eddy location. Taken together this means that the Alfvénic gradients are tracing magnetic fields similar to the way that aligned grains trace interstellar magnetic fields.

If one measures gradients within a single magnetized eddy, a distribution of gradient directions is obtained. The maximal amplitude of gradients is in the direction perpendicular to the local magnetic field, while the minimal value corresponding to the direction parallel to the magnetic field. The width of the gradient distribution depends on the media magnetization. Indeed, the eddy elongation increases with the media magnetization, i.e. with the decrease of the Alfvén Mach number MAM_{A} (see Eq. 10). As a result, the distribution of the gradients measured for an eddy is getting narrower as MAM_{A} decreases. In addition, the ratio of the maximal to minimal values of the measured gradients increases with MAM_{A} decrease.

The properties of gradients arising from Alfvénic turbulence play the major role in the Gradient Technique (GT). Through sub-block averaging in [118] one identifies the direction of the maximal gradient amplitude, which is perpendicular to the magnetic field. Measuring the properties of the distribution of the gradients within the sub-block, e.g. the width of the distribution, provides a way to obtain MAM_{A} [91].

As Alfvén modes impose their scaling on the slow modes, the properties of gradients that correspond to slow modes are similar to those of Alfvénic eddies. On the contrary, the fast modes have different type of scaling and the anisotropy that arises from those modes was shown in [91] to be orthogonal to that of Alfvén and slow modes. In most cases, the fast mode contribution to gradients is subdominant[89, 88] and therefore we focus in this paper on exploring of the gradients arising from Alfvén and slow modes.

The properties of density gradients vary with the sonic Mach number of the media MsM_{s}. At low MsM_{s} the density can be passively moved by Alfvén velocity fluctuations and therefore the gradients of density will be similar to the velocity gradients. At the same time, at higher MsM_{s} shocks are being produced. Compressions arising from shocks tend to change the directions of gradients and complicate the interpretation of the density gradients in terms of underlying magnetic field55 5 It was shown in [8] that even in high MsM_{s} media the low contrast density fluctuations follow the Alfvénic 39 scaling.

The analytical study of the relation between the underlying properties of turbulence and the observables was started with the statistics of velocity available via channel maps (Lazarian & Pogosyan 80, henceforth LP00). The analytical description of the relation of MAM_{A} and the anisotropy of the observable statistics was obtained in Lazarian & Pogosyan (2012, henceforth LP12) for the case of synchrotron emission fluctuations. Later studies in 66 and 67 provided the relation of the anisotropies in spectroscopic channel maps and velocity centroids with MAM_{A}. These theoretical studies provide the foundations for obtaining the analytical expressions relating MAM_{A} with the statistics of the gradients of the observable fluctuations. Importantly, they relate both the isotropy degree and quadropole-to-monopole ratio to the Alfvénic Mach number based on the analytical calculations of 80, suggesting that the Alfvénic Mach number can be obtained from observations by studying the statistics of velocity observables.

III Numerical simulations

The numerical simulations are originated from three numerical codes: ZEUS-MP/3D [43, 26], Athena++ [110], and an incompressible MHD spectral code ”MHDFlows” [47]. ZEUS-MP/3D approach uses the 2nd order staggered-grid discretization while Athena++ has multiple options, which we are using 3rd order PPM in space and VL2 in time. The difference of discretization method decides how the numerical viscosity scales as a function of grid size Δx\Delta x. We summarize the simulations in Table 1 in Appendix C. There, incompressible run was done with MHDFlows, models labeled Ms??Ma??Ms??Ma?? use Athena++, and the rest, which are the majority of our simulations, is based on ZEUS-3D.

Our data cubes are three-dimensional, triply periodic, isothermal MHD simulations with periodic force driving via direct spectral injection unless specified. Simulations have the injection scale which is one-half of the size of the cube, so that we only have injected eddies at scales Linj/Lbox=1/2L_{inj}/L_{box}=1/2. The driving force is taken to be solenoidal, giving incompressible driving.

The parameters that are employed are VinjV_{inj} is the injection velocity, VAV_{A} and VsV_{s} that are the Alfvén and sonic velocities respectively. The parameters give two dimensionless combinaations, namely, the Alfvén MA=Vinj/VAM_{A}=V_{inj}/V_{A} and sonic Ms=Vinj/VsM_{s}=V_{inj}/V_{s} Mach numbers. The results of isothermal MHD simulations can be easily transformed to arbitrary units keeping dimensionless parameters MA,MsM_{A},M_{s} fixed. The chosen MAM_{A} and MsM_{s} are listed in Table 1. For the case of MA<MsM_{A}<M_{s}, the simulations correspond to thermal pressure smaller than the magnetic pressure, i.e. plasma with β/2=Vs2/VA2<1\beta/2=V_{s}^{2}/V_{A}^{2}<1. Similarly, the case MA>MsM_{A}>M_{s} corresponds to plasma where the thermal pressure dominates, i.e. β/2>1\beta/2>1. The simulations are referred in Table 1 by their model name. The ranges of Ms,MA,βM_{s},M_{A},\beta encompass possible scenarios of astrophysical turbulence.

Simulations exhibit the self-similar turbulent cascade which stops at the dissipation scale that is determined by numerical viscosity and resistivity. The existence of this dissipation scale ddissd_{diss} corresponds to the rapid decrease of turbulent velocities. Our theoretical results should only be referred to turbulence within the inertial range and we will defer our discussion on viscous turbulence in later papers.

IV Examples of observational data to apply gradients

Spectroscopic data: Velocity Gradients Spectroscopic data of line emission (e.g. 21 cm HI line) in frequency direction reflects, through the Doppler effect, the line-of-sight velocities of the emitters. Speaking about velocity gradients we assume the use of the spectroscopic data. If we denote ρ(𝐗,v)\rho({\bf X},v) the density of emitters in Position-Position-Velocity space as a function of Plane-Of-Sky (POS) direction 𝐗=(x,y){\bf X}=(x,y) and the velocity vv, the simplest quantity that can be analyzed is the intensity within the velocity channel centered at vcv_{c} :

I(𝐗,vc)vcδv/2vc+δv/2ρ(𝐗,v)𝑑v,I({\bf X},v_{c})\sim\int_{v_{c}-\delta v/2}^{v_{c}+\delta v/2}\rho({\bf X},v)dv, (11)

where δv\delta v is the width of the channel. The instrument’s spectral resolution determines the narrowest available width, but one can also consider synthesized channels and vary the width above the resolution limit. Thermal broadening effectively adds to the width of a channel, blurring the effect of turbulent velocities (see 80 for the exact criterion, and Yuen & Lazarian 120 for the case when the thermal width is larger than turbulent velocity). One should note that it is the thermal velocity βT1/2kBT/m\beta_{\text{T}}^{1/2}\equiv\sqrt{k_{B}T/m}, mm being the mass of atoms, TT being the temperature and kBk_{B} being the Boltzmann constant, rather than temperature per se that matters. Thus, lines from heavier species exhibit less thermal broadening than the ones from lighter species at the same temperature.

When the effective channel width exceeds the typical turbulent velocities, the channel maps are dominated by column density fluctuations. The effect of velocities is enhanced by using velocity centroids, which can be generalized to reduced centroids [89] defined as

Cred(𝐗)δvdvvρ(𝐗,v),C_{red}(\mathbf{X})\propto\int_{\delta v}dvv\rho(\mathbf{X},v), (12)

where the choice of δv\delta v can be arbitrary. Conventional (here, un-normalized, following Lazarian & Esquivel 76) centroids correspond to δv\delta v encompassing the full range of the velocities in the line. In this case centroid correlation statistics are not sensitive to thermal broadening [67] (See Appendix of [117] for discussions).

If the spectral resolution of the instrument is higher than the thermal velocity, one can get additional information from sub-thermal centroids defined as

CsubT(𝐗)βT1/2dvvρ(𝐗,v).C_{subT}(\mathbf{X})\propto\int_{\beta_{T}^{1/2}}dvv\rho(\mathbf{X},v). (13)

These types of centroids can deliver the information on turbulent velocities at small scales that are hidden by the thermal broadening.

From the spectroscopic data, both channel maps and centroids one can construct the measures that are related to the spacial changes of the velocity value in the neighboring points, i.e. with ”velocity gradients”. In a series of papers [40, 118, 119, 92, 89] we introduced velocity gradients as a way of tracing magnetic field and prove them as an efficient tracer.

We stress again that the velocity gradients, as other types of gradients that we consider further trace the ”local magnetic field around the eddies”. It is also important the gradients of velocity amplitude scale as vl/ll2/3v_{l}/l_{\bot}\sim l^{-2/3}, meaning that the maximal gradients are produced by the smallest resolved eddies. Due to this scaling, regular shearing motions do not affect the velocity gradient measurements.

Velocity gradients present a possibility of 3D studies if different molecular lines are used. Indeed, different molecules are produced and survive at different depth in molecular clouds. This opens a possibility of studying magnetic fields in molecular clouds at different depths [119, 62] In addition, galactic rotation provides a way to probe magnetic field at different distances from the observer [41]. Note, that due to the galactic rotation, velocity gradients can sample magnetic fields in many more clouds in the galactic disc compared to far infrared polarimetry. For the latter, the confusion of emission from different clouds along the line is sight is detrimental.

As we discussed earlier, the gradients in practice should be calculated over a sub-block as proposed in [118]. This provides the necessary averaging that is required to reliably determine the gradient direction. The distribution of gradients over the sub-block was identified in [91] as a source of information about media magnetization.

Gradients of velocity-related quantities (e.g. constant density channels, velocity centroids, velocity channels processed by [117]) generally have better tracing power on magnetic field than that of density-related quantities (e.g. column density maps). Therefore, both for the successful magnetic field tracing and studying media magnetization, it is advantageous to separate the PPV fluctuations that arise from velocity caustics, i.e. due to the velocity crowding, from the PPV fluctuations arising from the density fluctuations. This problem can be dealt with using the Velocity Decomposition Algorithm (VDA) introduced in [117].

In the presence of gravity, it was reported in [119] that the direction of velocity gradients measured by velocity centroids flips 90 degrees becoming parallel to magnetic field. The same effect was also demonstrated in [89] for velocity channel maps. A procedure to account for this effect and successfully trace magnetic field in the star formation regions was introduced in [62]. However, the application of the VDA shows that the observed flip of the gradients obtained with centroids and velocity channel maps is related to the density effects. The actual 90 degree flip of the velocity gradients takes place on scales that are smaller than those resolved in observations. All in all, even in the presence of gravity, the velocity gradients can be successfully used to trace magnetic field.

Synchrotron Intensities. Similar to the gradients of velocities, the gradients of magnetic field can trace the magnetic field direction. The gradients of synchrotron intensities and synchrotron polarization boil down to magnetic field gradients.

The synchrotron emission depends both on the distribution of relativistic electrons

Ne()dαd,N_{e}({\cal E})d{\cal E}\sim{\cal E}^{\alpha}d{\cal E}, (14)

with intensity of the synchrotron emission given by the line-of-sight integral

Isync(𝐗)dzBγ(𝐗,z)I_{sync}({\bf X})\propto\int dzB_{\perp}^{\gamma}({\bf X},z) (15)

where B=Bx2+By2B_{\perp}=\sqrt{B_{x}^{2}+B_{y}^{2}} is the magnitude of the magnetic field component perpendicular to the LOS zz. In general, γ=0.5(α+1)\gamma=0.5(\alpha+1) is a fractional power, a problem successfully addressed in 84.

Other types of gradients include gradients of Zeeman measure and Faraday rotation gradients [91]. The synergy of different types of gradients opens new avenues for studying magnetic fields in multi-phase ISM. For instance, Faraday rotation gradients map the magnetic fields in dense ionized gas, while Synchrotron Intensity gradients have more tenuous halo media along the same lines of sight. The statistics of the aforementioned types of gradients are similar. Thus, we will discuss only gradients of centroids and gradients of synchrotron intensities.

V Gradient Theory: Plane of Sky Observables

In this section we develop a theoretical description of the simplest statistics of 2D gradients of projected observables on the sky, namely, the covariance tensor of gradient components σij\sigma_{ij}, in relation to the properties of 3D turbulent volume from which the observed signal originates. In particular, we’ll show that eigendirections of σij\sigma_{ij} matrix give a localized direction of the projected magnetic field, while the level of anisotropy in σij\sigma_{ij} can be used to measure the Alfvénic Mach number MAM_{A}.

V.1 Statistics of 2D gradients

Let us discuss the mathematical foundations of the gradient methods in application to study of the direction of the magnetic field. We also refer to Appendix A for details.

Observing emission from the turbulent media, one constructs the sky maps of different observables that describe the emission. First of all, this is the intensity of the emission in PPV space, where the position-position 𝐗\mathbf{X} POS 2D vector and the velocity vv coordinate determine position of individual intensities ρ(𝐗,v)\rho(\mathbf{X},v), and the related integrated quantities, such as the total intensity and velocity centroids which for optically thin lines are Ic(𝐗)dvI(𝐗,v)I_{c}(\mathbf{X})\propto\int dvI(\mathbf{X},v) and C(𝐗)dvvρ(𝐗,v)C(\mathbf{X})\propto\int dvv\rho(\mathbf{X},v) respectively (See §IV). The maps represent random fluctuating fields. For general exposition, let us denote this 2D signal map as Φ(𝐗)\Phi(\mathbf{X}).

The main local statistical measure of the gradient of a 2D field Φ(𝐗)\Phi(\mathbf{X}) is the gradient covariance tensor

σijiΦ(𝐗)jΦ(𝐗)=ijD(𝐑)|𝐑0\sigma_{ij}\equiv\left\langle\nabla_{i}\Phi(\mathbf{X})\nabla_{j}\Phi(\mathbf{X})\right\rangle=\nabla_{i}\nabla_{j}D(\mathbf{R})|_{\mathbf{R}\to 0} (16)

where 𝐑{\bf R} is the separation between the point at the POS plane. Notice that σij\sigma_{ij} is the zero separation limit of the second derivatives of the field structure function

D(𝐑)12(Φ(𝐗+𝐑)Φ(𝐗))2.D(\mathbf{R})\equiv\frac{1}{2}\left\langle\left(\Phi(\mathbf{X+R})-\Phi(\mathbf{X})\right)^{2}\right\rangle~. (17)

For a statistically isotropic field, the covariance of the gradients is isotropic, σij=12δijΔD(R)|R0\sigma_{\nabla_{i}\nabla_{j}}=\frac{1}{2}\delta_{ij}\Delta D(R)|_{R\to 0}. In the presence of the magnetic field, D(𝐑)D(\mathbf{R}) of the signal becomes orientation dependent, depending on the angle between 𝐑\mathbf{R} and the projected direction of the magnetic field. This anisotropy is retained in the limit 𝐑0\mathbf{R}\to 0 and results in non-vanishing traceless part of the gradient covariance tensor

σij12δijl=1,2σll=\displaystyle\sigma_{ij}-\frac{1}{2}\delta_{ij}\sum_{l=1,2}\sigma_{ll}= (18)
=12((x2y2)D(𝐑)2xyD(𝐑)2xyD(𝐑)(x2y2)D(𝐑))𝐑00\displaystyle=\frac{1}{2}\left(\begin{array}[]{cc}\left(\nabla_{x}^{2}-\nabla_{y}^{2}\right)D(\mathbf{R})&2\nabla_{x}\nabla_{y}D(\mathbf{R})\\ 2\nabla_{x}\nabla_{y}D(\mathbf{R})&-\left(\nabla_{x}^{2}-\nabla_{y}^{2}\right)D(\mathbf{R})\\ \end{array}\right)_{\mathbf{R}\to 0}\neq 0

As shown in [95] and Appendix A.1, the eigen-directions of this covariance tensor coincide with the direction of local statistical anisotropy of the motions which in MHD turbulence is expected to be given by the local projected direction θH\theta_{H} of the magnetic field.

(x2y2)D(𝐑)\displaystyle(\nabla_{x}^{2}-\nabla_{y}^{2})D(\mathbf{R}) =I2cos2θH\displaystyle=I_{2}\cos 2\theta_{H} (22)
2xyD(𝐑)\displaystyle 2\nabla_{x}\nabla_{y}D(\mathbf{R}) =I2sin2θH\displaystyle=I_{2}\sin 2\theta_{H} (23)

where the magnitude of the anisotropic part I2I_{2} in relation to the isotropic trace I0=(x2+y2)D(𝐑)I_{0}=(\nabla_{x}^{2}+\nabla_{y}^{2})D(\mathbf{R}) is given by the ratio of the quadrupole to monopole moments of the structure function

I2I0=2limR0D2(R)D0(R)\frac{I_{2}}{I_{0}}=2\lim_{R\to 0}\frac{D_{2}(R)}{D_{0}(R)} (24)

with Dm(R)=12πdϕD(R,ϕ)eimϕD_{m}(R)=\frac{1}{2\pi}\int d\phi D(R,\phi)e^{-im\phi}. Thus, the information about magnetic field direction can be recovered by measuring the distributions of the gradients over local patches of 2D sky and finding the eigendirections of σij\sigma_{ij} in each of them.

The square of I2/I0I_{2}/I_{0} in Eq. (24) is related to the ratio of the two rotational invariants of the covariance tensor, that we will denote J2J_{2},

J2=(σxxσyy)2+4σxy2(σxx+σyy)2=4(limR0D2(R)D0(R))2.J_{2}=\frac{(\sigma_{xx}-\sigma_{yy})^{2}+4\sigma_{xy}^{2}}{(\sigma_{xx}+\sigma_{yy})^{2}}=4\left(\lim_{R\to 0}\frac{D_{2}(R)}{D_{0}(R)}\right)^{2}. (25)

The parameter J2J_{2} determines the level of dispersion of the directions of the gradients relative to the eigen-directions of σij\sigma_{ij}. This is the quantity that carries information about the level of anisotropy of turbulence processes, and, therefore, on the parameters of the turbulence.

A similar to J2J_{2} parameter is the ratio of the quadrupole D2D_{2} to monopole D0D_{0} moments of the structure function

F=D2(R)D0(R)F=\frac{D_{2}(R)}{D_{0}(R)} (26)

This ratio has appeared in 84 as a convenient measure of turbulence anisotropy. It was analytically examined for Alfvén, slow, fast modes of MHD turbulence as well for some mixtures of MHD modes for both the synchrotron intensity fluctuations and the measures of fluctuations of intensities within spectroscopic data cube statistics [80, 66, 67]. These studies demonstrated that both MAM_{A} and the composition of turbulent modes can be studied using the ratio FF.

The difference with gradients is that the quadrupole to monopole ratio is evaluated at vanishing lag, i.e. R0R\rightarrow 0. We note that for both Alfvén and slow MHD modes D2(R)D_{2}(R) and D0(R)D_{0}(R) have the same power-law dependence on the separation RR (see Eq. (5) and [22]). Therefore, if these modes dominate, J2J_{2} dependence on RR is very weak.66 6 The exact scaling of fast modes is still the issue of debates. It is suggestive that it follows the acoustic cascade E(k)k3/2E(k)\sim k^{3/2} for low MsM_{s} while the spectrum gets steeper, i.e. k2\sim k^{-2} as MsM_{s} increases and shocks are formed [22, 71, 96]. This makes it possible to relate J2J_{2} to factor FF at finite lag

J2(Alfven, Slow)4F2J_{2}(\text{Alfven, Slow}){\approx}4F^{2} (27)

This equation relates earlier approach of 84 based on the structure function multipole ratio and the new one based on measuring the gradients.

V.2 Spatial localization of the gradient information

Strictly local statistical measures, such as σij\sigma_{ij} at a given sky position, are not accessible in observations, since one needs to average over some region of the sky to simulate the ensemble averaging. In case of a statistically homogeneous measure, the ergodicity principle shows that increasing the volume for averaging allows for ever better determination of statistical values. However, in our case the direction of the magnetic field varies on the sky, therefore statistics of the gradients is not homogeneous. In this situation, determining gradient covariance over the finite patch gives the direction of the projected magnetic field locally averaged over the patch. When choosing the patch size, one needs to balance the loss of resolution and information when increasing the patch size versus the increase of errors due to insufficient statistics if the patch is too small. The choice of the optimal patch size becomes an important parameter of the analysis.

The situation can be modelled by a patch-background split, where within a local patch of scale LpL_{p} centered at position 𝐗p\mathbf{X}_{p}, termed sub-block in [118], the signal can be decomposed into short-wave Fourier modes with K>Kp1/LpK>K_{p}\approx 1/L_{p} that have approximately homogeneous but anisotropic distribution with the power spectrum P(𝐊,Λ^(𝐗p))P(\mathbf{K},\hat{\Lambda}(\mathbf{X}_{p})), while the direction of the magnetic field Λ^(𝐗p)\hat{\Lambda}(\mathbf{X}_{p}) has long-wave variations between the patches. Within a patch the formalism of the homogeneous axis-symmetric turbulence can be applied (Oughton et al. 106, 84) to the gradients, giving the local direction of the magnetic field via the eigen-direction of the gradient covariance tensor θH(𝐗p)\theta_{H}(\mathbf{X}_{p}) and the now local parameter J~2(𝐗p)\tilde{J}_{2}(\mathbf{X}_{p}) expressed via the short-wave part of the power spectrum as

J2(𝐗p)=(KpK𝑑KK2P2(K,Λ^𝐗p)Wb(K/Kb)KpK𝑑KK2P0(K,Λ^𝐗p)Wb(K/Kb))2J_{2}(\mathbf{X}_{p})=\left(\frac{\int_{K_{p}}^{\infty}KdKK^{2}P_{2}(K,\hat{\Lambda}_{\mathbf{X}_{p}})W_{b}(K/K_{b})}{\int_{K_{p}}^{\infty}KdKK^{2}P_{0}(K,\hat{\Lambda}_{\mathbf{X}_{p}})W_{b}(K/K_{b})}\right)^{2} (28)

where P2(K)P_{2}(K) and P0(K)P_{0}(K) are the quadrupole and the monopole moments of the power spectrum determined within the patch at position 𝐗p\mathbf{X}_{p}, and Λ^𝐗p\hat{\Lambda}_{\mathbf{X}_{p}} is the unit vector in the direction of the mean magnetic field within the sub-block. The range of scales Kp<K<KbK_{p}<K<K_{b} is bounded by the patch size, Kp1/LpK_{p}\approx 1/L_{p}, and by the beam of the telescope or low-pass post-processing window, WbW_{b}, that smooths out fluctuations at very short modes K>KbK>K_{b}. Importantly, due to extra K2K^{2} weight, the gradient covariance tensor is primarily determined by the shortest wavelengths 1/Kb\sim 1/K_{b}, which justifies the patch-background split.

One should stress that low pass smoothing of the signal by WbW_{b} is critical for practical applications of the gradient techniques. It assures that the limit in Eq. (25) is convergent and, correspondingly, that the measurements of the gradients are stable. In addition, the low-pass filtering should be isotropic as not to modify J2J_{2} by introducing artificial anisotropy. Observations inevitably have low-pass filtering due to finite beam which usually does not resolve turbulent motions on scales less than the turbulence dissipation scale. Numerical simulations, one the other hand, also have intrinsic low-pass filtering corresponding to the numerical dissipation scale KdK_{d}, where the spectrum P(𝐊,Λ^(𝐗p))P(\mathbf{K},\hat{\Lambda}(\mathbf{X}_{p})) is exponentially suppressed for K>KdK>K_{d}. Despite that, it is advantageous in the analysis to deconvolve, as much as possible, this “instrumental” effects and smooth the data with a synthetic, preferably well behaved Gaussian low-pass filter, to maintain the maximum control over the scale and isotropy of the filtering procedure.

Due to different averaging along the line of sight in different patches, two dimensional projected spectra and, therefore J2(𝐗p)J_{2}(\mathbf{X}_{p}) may vary significantly from patch to patch. We discuss this issue in the next section.

VI Relating gradient statistics to average turbulence power spectrum

VI.1 Accumulation of gradients along the line of sight

Projected 2D gradients are results of the line-of-sight (LOS) integration over depth LL of 3D signal

RΦ(𝐑)=R0Ldzϕ(𝐑,z)\nabla_{R}\Phi(\mathbf{R})=\nabla_{R}\int_{0}^{L}dz\;\phi(\mathbf{R},z) (29)

where LOS coordinate is chosen to be zz. Analysing a patch we shall consider only modes with 2D wavelengths on the sky shorter than LpL_{p}. Correlation and spectral properties of the gradient, nevertheless, include scales extending past LpL_{p} along the LOS. To study how signal accumulates when we integrate over LOS distance LLpL\geq L_{p}, we start by considering a cubical volume of magnetized fluid Lp×Lp×LpL_{p}\times L_{p}\times L_{p} which we will term c-block. Within c-block we assume that the turbulence is axis-symmetric with the mean direction of the magnetic field given by the vector λ{\bf\lambda}. Therefore, the analytical description in 84 applies to a c-block magnetic field. Over larger distances λ^(z)\hat{\lambda}(z) may vary according to long-wave behaviour of the magnetic field. Let us see how the statistic of gradients is determined in this picture.

To use the MHD turbulence description in global system of reference (see 84), one should consider scales that are sufficiently small either in comparison with LinjL_{inj} or lAl_{A}. In fact, in most cases we want to get as high resolution as possible and deal with sub-blocks much less than any of the two scales (see Yuen & Lazarian 118). As a result, for our theoretical description, we take the patch size LpL_{p} to be sufficiently smaller than either LinjL_{inj} for sub-Alfvénic case or lAl_{A} for super-Alfvénic one. In a c-block of volume Lp3L_{p}^{3} one can approximate 3D turbulent signal ϕ\phi as anisotropic with a fixed 3D anisotropy direction λ^\hat{\lambda} and described by the power spectrum Pc(k,𝐤^λ^)P_{c}(k,\mathbf{\hat{k}}\cdot\hat{\lambda}). Note that PcP_{c} is defined locally to a particular c-block, thus label “c”.

First, we shall establish how the gradients are correlated along the line of sight. We are interested only in scaling, so we shall neglect the anisotropic nature of the spectrum, taking it in the model form

Pc(k)ϕ2k3(kLinj)mP_{c}(k)\approx\langle\phi^{2}\rangle k^{-3}(kL_{inj})^{-m} (30)

(See Lazarian & Pogosyan 82) where mm is the spectral index, e.g., m=2/3m=-2/3 for Kolmogorov scaling. We compute the trace of the correlation for the gradients smoothed with a Gaussian beam at the beam scale LbL_{b} in approximation LpLbL_{p}\gg L_{b}:

ξ(z)\displaystyle\xi_{\nabla\nabla}(z) =π1/LpK2d2KeK2Lb2dkzPc(K,kz)eikzz\displaystyle=\pi\int_{1/L_{p}}K^{2}d^{2}Ke^{-K^{2}L_{b}^{2}}\int dk_{z}P_{c}(K,k_{z})e^{ik_{z}z}
ϕ2Lb2(LbLinj)mξ~(z/Lb)\displaystyle\propto\frac{\langle\phi^{2}\rangle}{L_{b}^{2}}\left(\frac{L_{b}}{L_{inj}}\right)^{m}\widetilde{\xi}_{\nabla\nabla}\left(z/L_{b}\right) (31)

where the direct integration gives

ξ~(y=z/Lb)π2cos(m2π)Γ[1m]×\displaystyle\widetilde{\xi}_{\nabla\nabla}(y=z/L_{b})\approx\sqrt{\frac{\pi}{2}}\cos\left(\frac{m}{2}\pi\right)\Gamma[-1-m]\times
×(y2+m+2m(2my2)e14y2Γ[1+m2,14y2]).\displaystyle\times\left(y^{2+m}+2^{m}\left(2m-y^{2}\right)e^{\frac{1}{4}y^{2}}\Gamma\left[1+\frac{m}{2},\frac{1}{4}y^{2}\right]\right). (32)

This shows that the correlation decreases as (Lb/z)2+m(L_{b}/z)^{-2+m} at LOS distances z>Lbz>L_{b}. Thus, the gradients are added up in uncorrelated fashion during integration over the depth exceeding the smoothing scale LbL_{b}.

This is reflected in the variance of the gradients projected over c-block depth LpL_{p}

σij(Lp)\displaystyle\sigma_{ij}(L_{p}) R1Φ(𝐑1)R2Φ(𝐑2)R2R1\displaystyle\equiv\left\langle\nabla_{R_{1}}\Phi(\mathbf{R}_{1})\cdot\nabla_{R_{2}}\Phi(\mathbf{R}_{2})\right\rangle_{R_{2}\to R_{1}}
=LpLpLpdzξ(z)\displaystyle=-L_{p}\int_{-L_{p}}^{L_{p}}dz\xi_{\nabla\nabla}(z)
LpLbϕ2(Lb/Linj)m\displaystyle\propto\frac{L_{p}}{L_{b}}\langle\phi^{2}\rangle(L_{b}/L_{inj})^{m}

accumulating only linearly with the c-block depth LpL_{p}, since LpLbL_{p}\gg L_{b}. Here we point out that LpL_{p} appears in the gradient variance only as the depth of a c-block along the LOS. From the point of view of orthogonal scales, gradients have sufficient small scale power to be determined predominantly by the beam scale LbL_{b}. Notably, ϕ2(Lb/Linj)m\langle\phi^{2}\rangle(L_{b}/L_{inj})^{m} can be viewed as a variance of differences of quantity ϕ\phi at separations LbL_{b}, i.e. Δϕ(Lb)2\langle\Delta\phi(L_{b})^{2}\rangle.

Let us now consider anisotropic aspects of the projected gradient variance tensor in a single c-block. This tensor structure in the Fourier space is

σij(Lp)\displaystyle\sigma_{ij}(L_{p}) =LpLpLpdz×\displaystyle=L_{p}\int_{-L_{p}}^{L_{p}}dz\times (33)
×\displaystyle\times 1/Lpd2KKiKjeK2Lb20dkzPc(k,k^λ^)eikzz\displaystyle\int_{1/L_{p}}^{\infty}d^{2}KK_{i}K_{j}e^{-K^{2}L_{b}^{2}}\int_{0}^{\infty}\!\!dk_{z}P_{c}(k,\hat{k}\cdot\hat{\lambda})e^{ik_{z}z}

Line of sight integration through the c-block suppresses all the modes with kz>1/Lpk_{z}>1/L_{p}. Thus, as illustrated in Fig. 1, only K>1/LpK>1/L_{p} and kz<1/Lpk_{z}<1/L_{p} contribute, and one can effectively set kzk_{z} to zero in the result

Refer to caption
Figure 1: The dashed area is the part of the phase space that contributes to the variance of the gradients, after the line of sight integration is done through the depth L2=LpL_{2}=L_{p} of the c-block. Here Kinj1/LinjK_{inj}\sim 1/L_{inj}, while Kpatch1/LpK_{patch}\sim 1/L_{p} and Kbeam1/Lb>KpatchK_{beam}\sim 1/L_{b}>K_{patch}. We see that the wavenumber of relevant modes is dominated by sky component K>kzK>k_{z} and modes with wavelengths approaching the injection scale (blue shaded region) have little contribution to the gradient variance. Extending the line-of-sight interation range shrinks the height of the dashed region, ever improving kz=0k_{z}=0 approximation.
σij(Lp)Lp1/Lpd2KKiKjPc(K,k^λ^,kz=0)\sigma_{ij}(L_{p})\approx L_{p}\int_{1/L_{p}}^{\infty}d^{2}KK_{i}K_{j}P_{c}(K,\hat{k}\cdot\hat{\lambda},k_{z}=0) (34)

(degenerate case when this may not be accurate is when the anisotropy direction is close to the line of sight).

Subsequent c-blocks along z-axis can be considered as having different direction of the magnetic field λ^(z)\hat{\lambda}(z), but uncorrelated gradient signal between the blocks, thus the total variance of projected gradients becoming sum of variances of individual c-blocks, σijcσij(Lp)\sigma_{ij}\approx\sum_{c}\sigma_{ij}(L_{p})

σij\displaystyle\sigma_{ij} d2KKiKj[cLpPc(K,k^λ^(z),kz=0)]\displaystyle\approx\int d^{2}KK_{i}K_{j}\left[\sum_{c}L_{p}P_{c}(K,\hat{k}\cdot\hat{\lambda}(z),k_{z}=0)\right]
Ld2KKiKjP(𝐊)¯\displaystyle\approx L\int d^{2}KK_{i}K_{j}\overline{P(\mathbf{K})} (35)

where overline designates averaging over the directions λ^\hat{\lambda} takes over the integration depth LL,

P(𝐊)¯=1L0LdzPc(K,k^λ^(z),kz=0)\overline{P(\mathbf{K})}=\frac{1}{L}\int_{0}^{L}dzP_{c}(K,\hat{k}\cdot\hat{\lambda}(z),k_{z}=0) (36)

i.e the effective 2D spectrum of projected gradients is the average of individual c-block spectra over the directions of the local to c-block magnetic field. Note that PcP_{c} is defined only within a c-block where we can assume 84 description. The result in Eqs. (35,36) can be also described using polarization analogy. Covariance σij\sigma_{ij} has the same rotational properties as the linear polarization tensor. Introducing the effective Stokes parameters for a c-block as Q=σxxσyyQ=\sigma_{xx}-\sigma_{yy} and U=2σxyU=2\sigma_{xy}, we see that these QQ and UU are simply additive as we sum c-blocks along the line of sight.

VI.2 Averaging of power spectrum along the LOS in strong turbulence regime

For sub-Alfvénic turbulence, the directions of magnetic field in individual c-blocks along the line of sight are correlated over the turbulence injection scale LinjL_{inj}. Within this scale, both the regime of weak at l>ltr=LinjMA2l>l_{tr}=L_{inj}M_{A}^{2} and strong at l<ltrl<l_{tr} sub-Alfvénic turbulence is present. On scales lLinjl\gg L_{inj} the magnetic field fluctuations are not correlated and add in a random walk fashion. The rms angular difference of the magnetic field directions between c-blocks separated by more that LinjL_{inj} is of the order of the Alfvén Mach number MAM_{A}.

For super-Alfvénic turbulence MA>1M_{A}>1, the correlation length of magnetic field is determined by a smaller scale lA=LMA3l_{A}=LM_{A}^{-3}. The magnetic field on scales larger than lAl_{A} is uncorrelated and the variation of the magnetic field direction from one volume lA×lA×lAl_{A}\times l_{A}\times l_{A} to another similar volume is of the order of unity.

For sub-Alfvénic turbulence in strong regime, the correlated rms deviations of c-block field directions λ\lambda over the distance ll_{\perp} measured perpendicular to the mean magnetic field is characterized by the angle α\alpha:

tanαll(lLinj)1/3MA4/3,\tan\alpha\approx\frac{l_{\bot}}{l_{\|}}\approx\left(\frac{l_{\bot}}{L_{inj}}\right)^{1/3}M_{A}^{4/3}, (37)

which can be seen from Eq. (10). This scaling proceeds up to the transitional scale between the weak and strong cascades ltr=LinjMA2l_{tr}=L_{inj}M_{A}^{2} [75].77 7 At the scale ttrt_{tr} the scaling of turbulent motions changes and, as a result, the change of the angle behaves as tanαvlVA(lLinj)1/2MA,\tan\alpha\approx\frac{v_{l}}{V_{A}}\approx\left(\frac{l_{\bot}}{L_{inj}}\right)^{1/2}M_{A}, (38) where we used the scaling of the weak turbulence vlMAVA(l/Linj)1/2v_{l}\approx M_{A}V_{A}(l_{\bot}/L_{inj})^{1/2}.

To estimate the LOS averaging of a c-block spectrum in Eq. (36) one need a specific model for the power distribution PcP_{c} in a c-block. Following 87, in the strong turbulence regime at scales kLinj>MA2kL_{inj}>M_{A}^{-2}, the peak of power distribution lies at wave angles to the local direction of the magnetic field given by cosθk=k^λ^vk/VA\cos\theta_{k}=\hat{k}\cdot\hat{\lambda}\approx v_{k}/V_{A} where vkv_{k} is the rms turbulent velocity at the scale k=1/lk=1/l (note that vk/VAv_{k}/V_{A} can be understood as a local Afvén Mach number). Relating vkv_{k} to the velocity vinjv_{inj} at the injection scale kLinj1k\approx L_{inj}^{-1} using Eq. (9), we have cosθk(kLinj)1/3MA4/3\cos\theta_{k}\sim(kL_{inj})^{-1/3}M_{A}^{4/3} where it is taken into account that strong turbulence regime is replaced by weak turbulence at 1<kLinj<MA21<kL_{inj}<M_{A}^{-2}. Thus, the power is strongly peaked for wavevector directions almost perpendicular to the magnetic field, |cosθk|<MA2|\cos\theta_{k}|<M_{A}^{2}, though strictly perpendicular waves are somewhat disfavoured. The shorter the wavelength, the more concentrated the power is in the perpendicular direction. At the level of individual c-block, the dispersion of directions will be dominated by the longest wavelengths present, i.e,. the ones of the scale of the c-block kLp1k\sim L_{p}^{-1}. Thus, similar to 84 we can expect that in the regime of strong turbulence,

Pc(𝐤)k11/3exp((Linj/Lp)1/3MA4/3|𝐤^λ^|)P_{c}(\mathbf{k})\propto k^{-11/3}\exp\left(-\frac{(L_{inj}/L_{p})^{1/3}}{M_{A}^{4/3}}|\widehat{\mathbf{k}}\cdot\widehat{\mathbf{\lambda}}|\right) (39)

provides an adequate description for power distribution between differently oriented Alfvén and slow modes. Note, however, that to use this scaling, the size of the c-block should be sufficiently small, Lp<LinjMA2L_{p}<L_{inj}M_{A}^{2}.

Adding contributions from different c-blocks along the line of sight amounts to convolution of the angular part of the kz=0k_{z}=0 sky projection c-block power Pc(𝐤)P_{c}(\mathbf{k}) with distribution of the 3D direction of the magnetic-field λ^\widehat{\lambda} around the global direction of the magnetic field λ^0\widehat{\lambda}_{0}. We will model the distribution of λ\lambda direction by assuming that the perturbations in the magnetic field δ𝐛\delta\mathbf{b} are Gaussian and distributed in 3D isotropically around global λ0\lambda_{0} direction with δb2/B02=MA2\langle\delta b^{2}\rangle/B_{0}^{2}=M_{A}^{2}, which gives

𝒫(θλ^)=12π(1+2cos2θλ^MA2)exp[sin2θλ^MA2]\mathcal{P}(\theta_{\widehat{\lambda}})=\frac{1}{2\pi}\left(1+\frac{2\cos^{2}\theta_{\widehat{\lambda}}}{M_{A}^{2}}\right)\exp\left[-\frac{\sin^{2}\theta_{\widehat{\lambda}}}{M_{A}^{2}}\right] (40)

where θλ^(0,π/2)\theta_{\widehat{\lambda}}\in(0,\pi/2) is the angle measuring the deviation of the headless vector λ^\widehat{\lambda} from λ^0\widehat{\lambda}_{0} axis. Let us note that in the isotropic limit MAM_{A}\to\infty, cos2θλ^1/3\langle\cos^{2}\theta_{\widehat{\lambda}}\rangle\to 1/3 with respect to an arbitrary axis. In the opposite limit, MA0M_{A}\to 0, 𝒫(θλ^)δD(θλ^)\mathcal{P}(\theta_{\widehat{\lambda}})\to\delta_{D}(\theta_{\widehat{\lambda}}) and λ^λ^0\widehat{\lambda}\to\widehat{\lambda}_{0} with sin2(θλ^)MA2\langle\sin^{2}(\theta_{\widehat{\lambda}})\rangle\sim M_{A}^{2}.

Combining Eq. (39) and Eq. (40) gives the following expression for the angular part of the line-of-sight averaged power spectrum

P(𝐊)¯\displaystyle\overline{P(\mathbf{K})} \displaystyle\propto 12πdΩλ^exp((Linj/Lp)1/3MA4/3|𝐊^λ^|)\displaystyle\frac{1}{2\pi}\int d\Omega_{\widehat{\lambda}}\exp\left(-\frac{(L_{inj}/L_{p})^{1/3}}{M_{A}^{4/3}}|\widehat{\mathbf{K}}\cdot\widehat{\mathbf{\lambda}}|\right) (41)
×\displaystyle\times (1+2(λ^λ^0)2MA2)exp(1(λ^λ^0)2MA2)\displaystyle\left(1+2\frac{(\widehat{\lambda}\cdot\widehat{\lambda}_{0})^{2}}{M_{A}^{2}}\right)\exp\left(-\frac{1-(\widehat{\lambda}\cdot\widehat{\lambda}_{0})^{2}}{M_{A}^{2}}\right)

For MA<1M_{A}<1 and Lp/Linj<MA2L_{p}/L_{inj}<M_{A}^{2} the first exponential term is narrower than the second and can be treated as a Dirac δ\delta-function. The resulting distribution of 𝐊\mathbf{K} directions is then largely determined by the local magnetic field’s direction variations λ^\hat{\lambda} itself. To approximate the integral over the directions of λ^\hat{\lambda} we notice that the maximum contribution comes from λ^\hat{\lambda}’s that are both perpendicular to 𝐊^\widehat{\mathbf{K}} and lie in the plane spanned by 𝐊^\widehat{\mathbf{K}} and λ^0\widehat{\mathbf{\lambda}}_{0} vectors. For such λ^\hat{\lambda}’s we have (λ^λ^0)2=1cos2ψksin2γ\left(\widehat{\mathbf{\lambda}}\cdot\widehat{\mathbf{\lambda}}_{0}\right)^{2}=1-\cos^{2}\psi_{k}\sin^{2}\gamma where ψk\psi_{k} is the angle between 𝐊\mathbf{K} and 2D projection of the mean field direction 𝚲^0\widehat{\mathbf{\Lambda}}_{0}, so that cosψk=𝐊^𝚲^0\cos\psi_{k}=\widehat{\mathbf{K}}\cdot\widehat{\mathbf{\Lambda}}_{0}. Substituting this in Eq. (41) gives

P(𝐊)¯exp((ψk±π/2)2(MA/sinγ)2)\overline{P(\mathbf{K})}\approx\exp\left(-\frac{(\psi_{k}\pm\pi/2)^{2}}{(M_{A}/\sin\gamma)^{2}}\right) (42)

in the approximation of small cosψk\cos\psi_{k} that has two solutions cos2ψk(ψk±π/2)2\cos^{2}\psi_{k}\approx(\psi_{k}\pm\pi/2)^{2}. Our numerical integration suggests that Eq. (42) is an excellent approximation for MA/sinγ<π/8M_{A}/\sin\gamma<\pi/8.

Figure 2: Normalized angular dependence of the 2D spectrum of the gradients as given by Eq. (41) (blue, solid) versus the analytical fit of Eq. (42) (red, dashed). Three sets of curves correspond to MA=0.1,γ=π/2M_{A}=0.1,\gamma=\pi/2 (the most narrow), MA=0.1,γ=π/8M_{A}=0.1,\gamma=\pi/8 and MA=0.4,γ=π/2M_{A}=0.4,\gamma=\pi/2 (the widest, which starts showing some deviations of the fit). Lp=0.01LinjL_{p}=0.01L_{inj} for all cases.

In Fig. 2 we plot the comparison of Eq. (42) with Eq. (41) as a function of MA/sinγM_{A}/\sin\gamma. We see that the approximation of Eq. (42) has not much visible differences from the exact form in Eq. (41). In Fig. 3 we show normalized angular power distribution obtained from the synthetic observational maps from pure Alfven modes extracted in numerical simulations “huge-0” to “huge-4” with different MAM_{A}. We can see that Fig. 2 and Fig. 3 has very similar trend as MAM_{A} grows.

Refer to caption
Figure 3: Angular dependence of the 2D power spectrum P(ψK)P(\psi_{K}) as a function of ψK\psi_{K} (recentred with respect to ψcenter\psi_{center}) in the projected maps from five selected simulation data (huge-0 to huge-4) with only Alfven modes. Due to the noises of the angular spectrum, the presented curves are the Gaussian fits of the angular spectrum instead of the raw data itself.

VI.3 Theoretical approximation for J2J_{2} parameter

To summarize, we have demonstrated that the covariance matrix of projected gradients in a Lp×LpL_{p}\times L_{p} sub-block on a sky is determined by the spectrum that has a concentration of power at wavemodes orthogonal to the mean projected direction 𝚲^0\widehat{\mathbf{\Lambda}}_{0} of the magnetic field within the line-of-sight cube based on the sub-block. Respectively, the eigendirection of the covariance matrix with the largest eigenvalue is orthogonal to 𝚲^0\widehat{\mathbf{\Lambda}}_{0} as well. Following this eigendirection change from sub-block to sub-block, one maps the magnetic field over wider region of the sky.

The variance of the directions of gradients at individual pixels is determined by the J2J_{2} parameter of the covariance matrix. The J2J_{2} parameter is determined by the properties of the turbulence and the LOS angle of the mean magnetic field. In approximation of Eq. (42) for strong turbulence it is easily calculated to be

J2exp(2(MA/sinγ)2)J_{2}\approx\exp\left(-2(M_{A}/\sin\gamma)^{2}\right) (43)

while complete form of the functional dependence of J2J_{2} on MAM_{A} and sinγ\sin\gamma can be determined by numerically integrating the σij\sigma_{ij} components with the power spectrum given in Eq. (41). Fig. 4 shows our result from the numerical calculations as compared to the theoretical expectation in Eq. (43). We can see that the numerical data (from synthetics, blue points) and the theoretical points (red curve) have very similar trends.

Refer to caption
Figure 4: J2J_{2} in centroid maps created from synthetic simulations with equal contributions of Alfven and Slow modes as a function of γ\gamma. The theoretical approximation in Eq. (43) is given by the red dash line. MA0.6M_{A}\approx 0.6 .

VI.4 The susceptibility of our method to noise level

In realistic observations, we will have noise, and the J2J_{2} parameter is naturally smaller since noise introduces more gradient isotropy to the data set. As a result, we would like to evaluate how noise affects our measurement of J2J_{2} in observations. Fig. 5 shows the variation of J2J_{2} of Alfven mode velocity centroid as a function of the noise-to-signal ratio (N/S) for synthetic and realistic numerical data. To mimic observations, we apply an additional 2-pixel Gaussian smoothing kernel to our data. Again, we have to emphasize that synthetic data demonstrates the effect of beam size and dissipation scales in realistic data. We can see from Fig. 5 that the J2J_{2} parameter indeed decreases dramatically as N/SN/S increases for both synthetic (red points in Fig. 5) and realistic MHD data (blue points in Fig. 5).

Refer to caption
Figure 5: Two figures showing how the introduction of noises changes the measured J2J_{2} in both synthetic (red) and the Alfven mode fluctuations of simulation data (blue) at MA=0.09M_{A}=0.09.

VII Estimation of the mean direction of the field and its variance on the sky

In the previous sections, we have shown that measurements of the gradients on the sky give information about the local direction of the magnetic field ΘH\Theta_{H} and the Alfven Mach number via the eigen-directions and the anisotropy J2J_{2} of the gradient covariance tensor, respectively. In this section, we analyze the statistical uncertainties if ΘH\Theta_{H} and J2J_{2} are determined locally in a Lp×LpL_{p}\times L_{p} sub-block. To estimate the errors we assume the Gaussian distribution of the gradients.

VII.1 Distribution of the gradient orientations on the sky

In § V we have developed a theoretical prediction for the one-point covariance tensor σij\sigma_{ij} of the gradient field components. The anisotropy of the gradient map is determined by the J2J_{2} parameter in an invariant coordinate way. At the same time, the two eigen-directions are one aligned and one perpendicular to the local direction of the LOS-averaged magnetic field. Here we present theoretical predictions for more practical statistics in the point of view of variance of the directions of the gradients, that follows from the results of Section V, assuming that 2D gradients can be described as Gaussian distributed, i.e. in low MAM_{A}. Notice that [95] points out that such assumption of Gaussian distribution on gradient orientation histogram is not correct in the case of low polarization percentage (i.e., MA,LOSM_{A,LOS}, the line of sight Alfvén Mach number).

Under Gaussian assumption for gradients, the theoretical expectation of the gradient orientation distribution is given by [95]:

P(θ)=1π×1J21J2cos2(θθH)\displaystyle P(\theta)=\frac{1}{\pi}\times\frac{\sqrt{1-J_{2}}}{1-\sqrt{J_{2}}\cos 2\left(\theta-\theta_{H}\right)} (44)

where θH\theta_{H} is the preferred direction of the distribution that follows the eigen-direction of σij\sigma_{ij} with the largest eigenvalue. This preferred direction is orthogonal to the magnetic fields for the turbulence regime that we are considering in this current section. The distribution is defined and normalized over an arbitrary interval of angles with the span of π\pi radians (i.e., θ[π/2,π/2)\theta\in[-\pi/2,\pi/2)). We see the fundamental role the parameter J2J_{2} plays in this distribution: In maximally anisotropic case J2=1J_{2}=1 the angle distribution given by Equation (44) becomes the Dirac δD\delta_{D}-function around θB\theta_{B} with zero variance of orientation. In the opposite limit where the turbulence is isotropic, J2=0J_{2}=0, i.e. the angle distribution is flat and the rms angle deviation σθ=π/(23)52o\sigma_{\theta}=\pi/(2\sqrt{3})\approx 52^{o}.

VII.2 Statistical uncertainties of the mean field direction and the angle variance from gradients in sub-blocks

Let us first determine the number NN of independent and uncorrelated samples of the gradient directions θi\theta_{i} in a sub-block. We can estimate NN from the following considerations. Since gradients are determined by the short wave side of the spectrum, the correlation length LcorrL_{corr} between gradients at neighboring pixels is determined by the largest experimental or synthetic beam scale of the map and the scale of dissipation that damps shortwave perturbations. We can estimate Lcorrmax(WFWHM,Ldis)L_{corr}\approx\mathrm{max}(W_{FWHM},L_{dis}) where WFWHMW_{FWHM} is a full width at half maximum of the beam window. The resulting number of independent measurements in the patch is then

N(Lp/Lcorr)2.N\approx(L_{p}/L_{corr})^{2}~. (45)

VII.2.1 Uncertainties of the magnetic field direction ΘH\Theta_{H}

The simplest estimator θ~H\widetilde{\theta}_{H} of the mean direction of the gradients in a sub-subblock is the average of individual independent measurements

θ~H=1Ni=1Nθi\widetilde{\theta}_{H}=\frac{1}{N}\sum_{i=1}^{N}\theta_{i} (46)

The uncertainty in determining θ~H\widetilde{\theta}_{H} is given by variance of the estimator over the whole ensemble of gradient realizations

(Δθ~H)2θ~H2θ~H2=1N(θθH)2(\Delta\widetilde{\theta}_{H})^{2}\equiv\left\langle{\widetilde{\theta}_{H}}^{2}\right\rangle-\left\langle\widetilde{\theta}_{H}\right\rangle^{2}=\frac{1}{N}\langle(\theta-\theta_{H})^{2}\rangle (47)

To proceed further, let us have the gradient angle distribution described by Eq. (44) in Gaussian assumption for the gradients. With this distribution, the ensemble variance of the angles can be found in terms of special functions, but for simplicity we will approximate it by the “angle variance” Σ2\Sigma^{2}, defined as

Σ21cos2(θθH)2=J2+1J212J2\Sigma^{2}\equiv\frac{\left\langle 1-\cos 2(\theta-\theta_{H})\right\rangle}{2}=\frac{\sqrt{J_{2}}+\sqrt{1-J_{2}}-1}{2\sqrt{J_{2}}} (48)

Σ2\Sigma^{2} is close to true angle variance (θθH)2\left\langle(\theta-\theta_{H})^{2}\right\rangle if θθH\theta-\theta_{H} is small. Otherwise, it ranges from zero at zero variance to 1/2 if the distribution of directions is isotropic. The estimated mean direction is then, on average, equal to the ensemble mean with the uncertainty that is suppressed by N\sqrt{N}

θ~H=θH±ΣN\widetilde{\theta}_{H}=\theta_{H}\pm\frac{\Sigma}{\sqrt{N}} (49)

It is important to note, that as anisotropy level increases with decreasing MA/sinσM_{A}/\sin\sigma and Σ20\Sigma^{2}\to 0, the rms deviation of the gradient direction decreases only as ΣMA/sinγ\Sigma\sim\sqrt{M_{A}/\sin\gamma}, in contrast to rms fluctuations of the magnetic field direction itself relative to the mean, which are MA\propto M_{A}.

VII.2.2 Uncertainty of the anisotropy level of the gradients

The information on the MAM_{A} is contained in the anisotropy level of the gradient direction distribution, which in turn is determined by the variance of the gradient directions. In line with the previous sections, to treat the periodicity of angles when they are not small, let us consider the quantity Σi2=1cos2(θiθH)2\Sigma_{i}^{2}=\frac{1-\cos 2(\theta_{i}-\theta_{H})}{2} in place of (θiθH)2(\theta_{i}-\theta_{H})^{2}.

Then the estimator (designated by tilde) of Σ2\Sigma^{2} in a sub-block is

Σ2~=1Ni=1NΣi2\widetilde{\Sigma^{2}}=\frac{1}{N}\sum_{i=1}^{N}\Sigma_{i}^{2} (50)

The mean value of this estimator is equal to ensemble-averaged Σ2\Sigma^{2} given by Eq. (48)

Σ2~=1Ni=1NΣi2=Σ2\left\langle\widetilde{\Sigma^{2}}\right\rangle=\frac{1}{N}\sum_{i=1}^{N}\langle\Sigma_{i}^{2}\rangle=\Sigma^{2} (51)

while the variance of this estimator is

(Σ2~)2Σ2~2\displaystyle\left\langle(\widetilde{\Sigma^{2}})^{2}\right\rangle-\left\langle\widetilde{\Sigma^{2}}\right\rangle^{2} =(1Ni=1NΣi2)2Σi22\displaystyle=\left\langle\left(\frac{1}{N}\sum_{i=1}^{N}\Sigma_{i}^{2}\right)^{2}\right\rangle-\left\langle\Sigma_{i}^{2}\right\rangle^{2}
=1N(Σi4Σi22),\displaystyle=\frac{1}{N}\left(\left\langle\Sigma_{i}^{4}\right\rangle-\left\langle\Sigma_{i}^{2}\right\rangle^{2}\right)~, (52)

using the presupposition that θi\theta_{i} are uncorrelated.

With distribution given by Eq. (44) the fourth order cumulant is evaluated to be

Σi4Σi22=J21+1J24J2\langle\Sigma_{i}^{4}\rangle-\left\langle\Sigma_{i}^{2}\right\rangle^{2}=\frac{J_{2}-1+\sqrt{1-J_{2}}}{4J_{2}} (53)

When angle fluctuations within sub-block are small, Σiθ\Sigma_{i}\approx\theta, and J2=1αJ_{2}=1-\alpha with α1\alpha\ll 1, we can use the expansion

Σi2\displaystyle\langle\Sigma_{i}^{2}\rangle 12α(112α)\displaystyle\approx\frac{1}{2}\sqrt{\alpha}\left(1-\frac{1}{2}\sqrt{\alpha}\right) (54)
Σi4Σi22\displaystyle\langle\Sigma_{i}^{4}\rangle-\langle\Sigma_{i}^{2}\rangle^{2} 14α(1α)\displaystyle\approx\frac{1}{4}\sqrt{\alpha}\left(1-\sqrt{\alpha}\right) (55)

Thus we have an estimator Σ2~\widetilde{\Sigma^{2}} for the angle variance with the mean and uncertainty as follows

Σ2~\displaystyle\left\langle\widetilde{\Sigma^{2}}\right\rangle 12α\displaystyle\approx\frac{1}{2}\sqrt{\alpha} (56)
ΔΣ2~=(Σ2~)2Σ2~2\displaystyle\Delta\widetilde{\Sigma^{2}}=\sqrt{\left\langle(\widetilde{\Sigma^{2}})^{2}\right\rangle-\left\langle\widetilde{\Sigma^{2}}\right\rangle^{2}} 12α1/4N1/2\displaystyle\approx\frac{1}{2}\frac{\alpha^{1/4}}{N^{1/2}} (57)

The relative uncertainty, therefore, is

ΔΣ2~Σ2~1α1/4N1/212NΣ2\frac{\Delta\widetilde{\Sigma^{2}}}{\left\langle\widetilde{\Sigma^{2}}\right\rangle}\approx\frac{1}{\alpha^{1/4}N^{1/2}}\approx\sqrt{\frac{1}{2N\Sigma^{2}}} (58)

which demonstrates that the relative error on angle dispersion increases as angle dispersion becomes smaller (i.e., as the mean direction becomes better determined) but decreases with the increase in the number of independent samples of the gradients in the sub-block.

This is illustrated in Fig. 6 where we plot the J2J_{2} and its error bars as a function of block size LblockL_{block} normalized by the injection scale for both synthetic and real MHD data. We can see that the value of J2J_{2} for both synthetic and real data does not change significantly. However, the numerical data has larger errors for smaller block sizes.

Refer to caption
Figure 6: The variation of Σ2\Sigma^{2} and its error-bars as a function of block size for Alfvén mode centroid at γ=π/2,MA=0.13\gamma=\pi/2,M_{A}=0.13.

VII.3 Relation to projected Mach number

From Eq. (43), J2J_{2} is related to Alfv’enic Mach number and the angle between the mean field and the line of sight, J2e2MA2J_{2}\approx e^{-2M_{A\perp}^{2}}, i.e. α=2MA2\alpha=2M_{A\perp}^{2}, thus θ2=12MA\langle\theta^{2}\rangle=\frac{1}{\sqrt{2}}M_{A\perp}. If MAM_{A\perp} is determined from the variance of gradient angle[91], the statistical error on this measurement is

ΔMAMA=12MAN\frac{\Delta M_{A\perp}}{M_{A\perp}}=\sqrt{\frac{1}{\sqrt{2}M_{A\perp}N}} (59)

For instance, for MA=0.1M_{A\perp}=0.1, the statistical error is 10%10\% if we have N=1000N=1000 uncorrelated samples of a gradient in the patch (oversampling of a smoothing scale will not decrease the error). We must remember, of course, that the expansion part of our analysis is valid only when MA=MA/sinγ1M_{A\perp}=M_{A}/\sin\gamma\ll 1, which will not hold for too small γ\gamma.

In Fig. 7, we present theoretical curves for Σ\Sigma as functions of MA/sinγM_{A}/\sin\gamma while varying the mean direction of the magnetic field within the local patch relative to the LOS. We consider two cases of observables, namely gradients of velocity centroids and synchrotron intensity, and two models of turbulence. purely Alfv’enic turbulence, and strong turbulence in high-β\beta regime with equal contribution of Alfv’en and slow modes. Remarkably, in all these cases, the universal approximation J2exp(2(MA/sinγ)2)J_{2}\approx\exp\left(-2(M_{A}/\sin\gamma)^{2}\right) is excellent. One observes that for Alfv’enic turbulence, there is more sensitivity to the mean field angle γ\gamma in the regime of MA/sinγ>0.5M_{A}/\sin\gamma>0.5, with the fit performing best for small γ\gamma where magnetic field is more along LOS. At the same time, for more perpendicular orientation, it is actually the linear expansion of the fit J212(MA/sinγ)2J_{2}\sim 1-2(M_{A}/\sin\gamma)^{2} that gives a better match up to MA/sinγ<0.6M_{A}/\sin\gamma<0.6, i.e., until the angle variance starts reaching its saturation level at Σ=1/2\Sigma=1/\sqrt{2}.

Figure 7: Σ\Sigma parameter for velocity centroids (top row) and synchrotron intensity gradients (bottom row) in strong (left column) and Alfv’enic (right column) turbulence. The functions are plotted versus perpendicular MA=MA/sinγM_{A\perp}=M_{A}/\sin\gamma argument, for several angles γ\gamma between the mean magnetic field and the line of sight, as labeled. Curved thick light blue line corresponds to approximation J2=exp(2MA2/sin2γ)J_{2}=\exp(-2M_{A}^{2}/\sin^{2}\gamma), while straight thick blue line is its expansion J212MA2/sin2γJ_{2}\approx 1-2M_{A}^{2}/\sin^{2}\gamma

VIII Application of gradient theory to observables of MHD turbulence

VIII.1 Alternative measures available from observations

We have developed our theory in terms of J2J_{2}, Eq. (25), which can be obtained from observations by estimating the covariance tensor of the gradients in the sky patch. However, one can measure the anisotropy of the gradient orientations using quantities which, although mathematically related to J2J_{2}, may have own advantages in convenience of the measurement or properties of the uncertainties. They are particularly useful in the regime of high anisotropy, when J2J_{2} is nearly saturated close to unity, J212(Ma/sinγ)2J_{2}\approx 1-2(M_{a}/\sin\gamma)^{2}. We will not study this estimators in detail here, but just enumerate some popular choices and their behavior for sub-Alfvénic regime

  1. 1.

    The “angle variance” Σ2\Sigma^{2}, defined as

    Σ2\displaystyle\Sigma^{2} 1cos2(θθB)2=J2+1J212J2\displaystyle\equiv\frac{\left\langle 1-\cos 2(\theta-\theta_{B})\right\rangle}{2}=\frac{\sqrt{J_{2}}+\sqrt{1-J_{2}}-1}{2\sqrt{J_{2}}} (60)
    Σ2\displaystyle\Sigma^{2} (1/2)(MA/sinγ),MA/sinγ<1\displaystyle\approx(1/\sqrt{2})(M_{A}/\sin\gamma)~,\quad M_{A}/\sin\gamma<1

    Σ2\Sigma^{2} is close to true angle variance (θθB)2\left\langle(\theta-\theta_{B})^{2}\right\rangle if θθB\theta-\theta_{B} is small. Otherwise, it ranges from zero at zero variance to 1/2 if the distribution of directions is isotropic. Determining Σ2\Sigma^{2} requires preliminary determination of the mean direction in the patch, around which the fluctuations are measured.

  2. 2.

    The p2p^{2} function, which is similar to degree of polarization in polarization studies,

    p2cos2θ2+sin2θ2=(11J2)2J2p^{2}\equiv\left\langle\cos 2\theta\right\rangle^{2}+\left\langle\sin 2\theta\right\rangle^{2}=\frac{\left(1-\sqrt{1-J_{2}}\right)^{2}}{J_{2}} (61)

    or, its reciprocal V=1p2V=1-p^{2} with the range from zero (zero variance, i.e. maximal anisotropy) to one (isotropic):

    V\displaystyle V 1p2=2×J2+1J21J2\displaystyle\equiv 1-p^{2}=2\times\frac{J_{2}+\sqrt{1-J_{2}}-1}{J_{2}} (62)
    V\displaystyle V 22(MA/sinγ),MA/sinγ<1\displaystyle\approx 2\sqrt{2}(M_{A}/\sin\gamma)~,\quad M_{A}/\sin\gamma<1
  3. 3.

    The “bottom to top ratio” B/TB/T that we define as the ratio of peak to the lowest value of the distribution function

    BT\displaystyle\frac{B}{T} P(θ=θB+π/2)P(θ=θB)=1J21+J2\displaystyle\equiv\frac{P(\theta=\theta_{B}+\pi/2)}{P(\theta=\theta_{B})}=\frac{1-\sqrt{J_{2}}}{1+\sqrt{J_{2}}} (63)
    BT\displaystyle\frac{B}{T} (1/2)(MA/sinγ)2,MA/sinγ<1\displaystyle\approx(1/2)(M_{A}/\sin\gamma)^{2}~,\quad M_{A}/\sin\gamma<1

    B/TB/T ranges from zero at zero variance to one if distribution is isotropic. [91] presented empirical dependencies between the dispersion of the velocity gradient orientation and inverse T/BT/B (top-to-bottom) ratio with the local plane of sky Alfvénic Mach number MA,M_{A,\perp}. Employing this technique it was possible [63] to estimate the magnetization of a number of molecular clouds on the sky and obtain previously unavailable magnetic information on a high velocity cloud hid behind the galactic arm.

In conclusion, we see that all measures of angle variances of the gradients of any single is determined by a single parameter J2J_{2}, which in turn is given by the quadrupole to monopole ratio of 2D on-sky structure function of the signal at zero separation.

VIII.2 Gradients of Centroids

Velocity Centroid presents the most straightforward case on our application of Eq. (43) as there is no extra caution that we have to take care of as long as density contributions are removed properly [117]. The projection of Alfvén mode velocities follows the formalism of Eq. (42) without any doubt. In this subsection, we will discuss how different modes enter Eq. (43). For simplifications, since MHD theory predicts that the slow modes follow pretty much similar scaling as the Alfvén mode (see, e.g. Lazarian & Pogosyan 81), therefore we will limit our discussion to turbulent media with admixtures of Alfvén and fast modes only.

In Fig. 8 we show how our four observables discussed in §VII derived from the Alfven mode synthetic simulations are varied as a function of MAM_{A}. We plot the variations of these observables against the theoretical expectations that we did in §VII. We can see that in the case of pure Alfven modes, the synthetic data points follow the theoretical expectations very nicely.

Refer to caption
Figure 8: A figure comparing the theoretical expectation (red) to data points from synthetic simulations for velocity centroids with pure Alfven modes for all four observables as a function of MAM_{A}. From top left : J2J_{2}, p2p^{2}, B/TB/T and Σ2\Sigma^{2}.

Furthermore, we show in Fig. (9) on how the four parameters that we described in the current section vary as a function of MAM_{A} in synthetic centroid maps from realistic numerical simulations with all non-Alfvén mode filtered out and with MA<1M_{A}<1 and Ms>1M_{s}>1. This is the condition where most molecular clouds are residing. To compare with the theoretical prediction, we plot the exact theoretical expectations following Eq. (43). We can see that the numerical result (blue points in Fig. 9 follows a very similar trend to the theoretical expectation.

Refer to caption
Figure 9: Four panels showing our theoretical prediction (Eq.43) and its derivatives, red) relative to the actual numerical results (blue). For J2J_{2} we fit the numerical results with exp(CMAn)\exp(-CM_{A}^{n}) with the green curve.

VIII.3 Gradients of Synchrotron Intensity

For completeness, we would also like to discuss how J2J_{2} varies if we consider the gradients of synchrotron intensity [92]. One particular difference between the gradients of centroid and the gradients of synchrotron intensities is that the former is a linear projection of the line of sight velocity fluctuations. At the same time, the latter is the quadratic projection on the plane of sky components. The tensor factor (see 84) is crucial in explaining the orientations of the gradients for the compressible modes. However, for the case of Alfven modes, the crucial factor is still the anisotropy factor we discussed in §V. We therefore expect the J2J_{2} factor for synchrotron intensities to follow similarly to that of centroid.

To verify our idea, we perform the same 4-parameter test as in Fig. 8 by replacing the velocity centroid to synchrotron intensity maps from synthetic simulations. The results are shown in Fig. 10. We can see from this figure that all four parameters follow the theoretical expectations rather nicely, similar to that of the centroid.

Refer to caption
Figure 10: Similar to Eq.8 but with synchrotron intensity gradients. From top left : J2J_{2}, p2p^{2}, B/TB/T and Σ2\Sigma^{2}.

VIII.4 Variation of the J2J_{2}-MAM_{A} relation in numerical data

From Figs. 810, we observe a deviation between theory and observation even in the case of pure Alfvénic modes. It could be questioned whether approximations, in particular a sample form of the power spectrum Eq. (41) that led to Eq. (43) are statistically accurate enough. To quantify the deviation between the analytical J2J_{2} given by approximation of Eq. (43) and numerics (both from synthetic models based on Eq. (39) and actual MHD simulations), let us assume that the actual relation between J2J_{2} and MAM_{A} can be parameterized as:

J2=exp(CMAn)J_{2}=\exp(-CM_{A}^{n}) (64)

for some constants CC and nn. On the top panel of Fig. 11, we plot the J2J_{2} value from analytical (red dash line), synthetic (green dots), and MHD simulation data (blue dots) as a function of MAM_{A}. While theoretical approximation falls faster than synthetic and MHD simulations as MAM_{A} approaches unity, both data resemble the analytical model of Eq. (43).

To quantify statistical correspondence further, we generate 100 samples of synthetic cubes at MA=0.1M_{A}=0.1 using Eq. (30) and then perform an MCMC (Monte-Carlo Markov Chain) calculation on the synthetic data, assuming that Eq. (64) applies. Each synthetic data cube gives a pair of values of C,nC,n. The bottom panel of Fig. 11 shows the distribution of nn from the MCMC experiment, in which we select the number of bins to be the square root of the sample size (namely 1010) to satisfy the statistical criterion. The peak of the distribution is roughly at 2\sim 2, which is consistent with Eq. (43). The dispersion of the values of nn is 0.4\sim 0.4, which provides an estimation of the accuracy of Eq. (43) when applying to observations.

Refer to caption
Refer to caption
Figure 11: (Top) A figure showing how the J2J_{2} parameter computed from both synthetic (green points) and MHD (blue points) simulations are compared to the theoretical prediction in Eq. (43), red dashed line). (Bottom) The Monte Carlo results in estimating the fit on synthetic data on the formula J2=exp(CMn)J_{2}=\exp(-CM^{n}), showing the mean value of nn to be 2\sim 2.

IX Advances of theory and new opportunities

IX.1 The ”kinematic” Alfvénic Mach number under different driving cases

Earlier in the paper, we focused on the Alfvénic component of the MHD turbulence cascade. This treatment is feasible due to the relative independence of the Alfvénic motions from the influence of other types of MHD fluctuations and the dominance of Alfvénic fluctuations in determining the gradient properties. For some other applications, we must consider non-Alfvénic types of turbulent motion. In this situation, the magnetic and velocity fluctuations are not connected through the Alfven relation, and the total injection velocity δvL\delta v_{L} is larger than the VinjV_{inj} that initiates the Alfvénic cascade.

The considerations above mean that the ratio of δvL/VA\delta v_{L}/V_{A} is larger than the Alfven Mach number defined by Eq. (6), and this ratio defines another quantity, which we will term ”kinetic” Mach number:

MA,kδvLVA,M_{A,k}\equiv\frac{\delta v_{L}}{V_{A}}, (65)

A recent study in [78] of sub-Alfvénic turbulence in incompressible limit revealed that the relation between MA,kM_{A,k} and MAM_{A} depends on whether the turbulence was driven by velocity or magnetic perturbation. In the former case, velocity components parallel to the mean field at the injection scale increase the kinetic energy of turbulent motions compared to the case of magnetic driving. The physical effect is the natural consequence of fluid fluctuations along stochastic but stiff magnetic field lines. In the case of velocity-driven incompressible MHD turbulence, [78] derived that

bMA2k,{\cal E}_{b}\approx M_{A}^{2}{\cal E}_{k}~, (66)

where b{\cal E}_{b} is the energy of magnetic turbulence and k{\cal E}_{k} is the kinetic turbulent energy. Therefore,

MA=MA,k2.M_{A}=M_{A,k}^{2}. (67)

Relations similar to Eqs. (66) and (67) were empirically obtained in [4] using MHD compressible simulations, which suggests that the compressibility does not substantially the corresponding physics.88 8 In [4] these expressions were interpreted as the consequence of the compressibility effects. Thus, we expect these relations to hold approximately for various astrophysical conditions.

If magnetic fluctuations drive the turbulence, [78] also showed that MA,k=MAM_{A,k}=M_{A} . The paper outlined a procedure for distinguishing the magnetically and velocity-driven turbulence. In many astrophysical settings, we expect the turbulence to be driven by velocity injection.

The equations for sub-Alfvénic turbulence in 87 and subsequent studies (e.g., 84, Lazarian & Pogosyan 85) assumed that the fluctuations at the injection scale are Alfvénic, i.e., that the MA=MA,kM_{A}=M_{A,k} as in Eq. (6).

IX.2 New technique in obtaining magnetic field strength independent of polarimetry: The MM2 approach

Consider first the idealized setting with pure Alfvénic turbulence observed perpendicular to the mean magnetic field. In this case of magnetic driving of turbulence, the magnetic field fluctuation δϕ\delta\phi is directly related to the velocity Alfven Mach number:

δϕMA\delta\phi\approx M_{A} (68)

Thus, the classical Davis-Chandrasekhar-Fermi (DCF) expression [28, 15] for determining magnetic field from observations can be rewritten as

B04πρδvMA1.B_{0}\approx\sqrt{4\pi\rho}\;\delta vM_{A}^{-1}. (69)

Astrophysical turbulence is a mixture of 3 cascades, fast, slow, and Alfven modes99 9 We use the term “modes” rather than “waves”, since in turbulence, the non-linear interactions are essential. These interactions make Alfvén and slow modes decay within one period., rather than pure Alvenic turbulence [21, 22]. Accounting for different modes was done using the alternative technique of magnetic field strength study, differential measurement analysis (DMA), which can measure the distribution of magnetic field intensity (Lazarian et al. 2021). However, in this paper, we limit ourselves to the constraints of the traditional DCF, where no decomposition into modes is employed.

Let us now eliminate the turbulent velocity term δv\delta v using the expression of sonic Mach number Ms=δv/csM_{s}=\delta v/c_{s}, where csc_{s} is the sound speed, obtaining instead of Eq. (69)

B0cs4πρMsMA1,B_{0}\approx c_{s}\sqrt{4\pi\rho}M_{s}M_{A}^{-1}, (70)

which is the expression obtained in Lazarian et al. (2020) within the approach termed there MM2 to denote the employment of two Mach numbers.

Our present study shows that gradient distribution directly measures from observations MA,mes=MA/sinγM_{A,mes}=M_{A}/\sin\gamma. Using this measure, in case of magnetic driving, one can rewrite Eq. (70) as

Bcs4πρMsMA,mes1,B_{\bot}\approx c_{s}\sqrt{4\pi\rho}M_{s}M_{A,mes}^{-1}, (71)

where BB_{\bot} is the plane of the sky magnetic field component. Eq. (71) can be used to find the perpendicular component of magnetic field for both velocity and magnetic field driving.

At first glance, nothing major has been achieved by substituting MsM_{s} instead of δv\delta v. However, it is important to realize that MsM_{s} can be measured differently. Focusing on gradients, MsM_{s} can be obtained in spectroscopic channel maps measuring the amplitudes of gradients [120]. This way of measuring magnetic field strength was used to obtain the 3D distribution of magnetic field strengths in the Milky Way using HI data, as demonstrated in [53].

For another example, Burkhart et al. [9] showed that MsM_{s} can be obtained by measuring the kurtosis and skewness of the PDFs of the intensity fluctuations within the channel maps. This is important as in the galaxy, a significant line broadening arises from regular motions, e.g., differential rotation, not related to turbulence. The separation of the turbulent and regular motions may be difficult or even not possible. At the same time, the regular differential motion can distinguish the contribution along the line of sight, providing the 3D information.

An approach similar to the one of Burkhart et al. [9] was employed for maps of synchrotron polarization gradients1010 10 These papers did not identify these gradients as the way of magnetic field studies. The latter step was done in [88]. in Gaensler et al. [34] and Burkhart et al. [11] also to constrain MsM_{s}. In the latter case, there is no linewidth information, but one can still obtain the value of MsM_{s}.

Other ways of obtaining MsM_{s} from observational data include using the Tsallis statistics [31, 32], genus [18], with ongoing research opening up new possibilities for MsM_{s} determination. Therefore, the MM2 approach utilizing two Mach numbers in Eq. (70) provides yet another promising way of measuring the magnetic field strength.

As discussed in §IX.1, there are additional degrees of freedom depending on whether the turbulence is driven through magnetic or velocity fluctuations at the injection scale. As shown in Lazarian et al. (2024), one can write a universal relation for magnetic field strength

B04πρδvMA,k1.B_{0}\approx\sqrt{4\pi\rho}\;\delta vM_{A,k}^{-1}. (72)

where the ”kinetic Alfvén Mach” number is employed. DCF Eq. (69) comes from equating MA,kM_{A,k} to MA=δBBM_{A}=\frac{\delta B}{B}, and obtaining the latter from polarization angle distribution. This is valid in case of magnetic driving. In the case of velocity driving, the ”kinetic Alfven Mach number” MA,kM_{A,k} can be determined from MAM_{A} via Eq. (67) and the traditional DCF expression is modified1111 11 The empirical modification of this type was first suggested in Skalidis & Tassis [109]. to

B04πρδvMA1/2.B_{0}\approx\sqrt{4\pi\rho}\;\delta vM_{A}^{-1/2}. (73)

Thus, if we deal with the case of velocity driving, Eq. (67) should be used to relate MA,kM_{A,k} to MA,mesM_{A,mes}. The possibility of observationally determining the type of driving was discussed in [78].

IX.3 MM2 with different types of gradients

Our present analytical study directly addresses two types of gradients: gradients of velocity centroids and gradients of synchrotron intensities. The extension of the theory to other types of gradients is straightforward, but is beyond the scope of our paper. The availability of analytical theory is very synergetic to our earlier attempts to gauge the properties of gradients, e.g. the relation between the statistics of gradients to the media magnetization, with numerical simulations in [91]. Both the analytical theory and the aforementioned gauging can be applied to a variety of data set within the MM2 approach. Several selected benefits of this are listed below.

The Synchrotron Intensity Gradients (SIGs) [92] demonstrate the ability to trace the magnetic field using just the information of synchrotron intensities. Using the latter, the conventional way of obtaining the magnetic field strength is to assume the equipartition of cosmic rays and magnetic field energies. This is a very uncertain assumption, and there are many reasons why it can be violated [108]. Obtaining the magnetic field with the MM2 removes this assumption and provides a unique way to explore the balance between the magnetic field and cosmic rays.

The Synchrotron Polarization Gradients (SPGs) [88] provide significant advantages compared to tracking magnetic fields with polarization directions. For instance, using the polarization measurements, the direction of the magnetic field can be obtained only after correcting for the Faraday rotation. Suppose the polarized radiation comes from an external source with no intrinsic Faraday rotation. In that case, the Faraday rotation can be accounted for using multiple polarization measurements at different wavelengths [5, see]. However, if the same volume is responsible for both the synchrotron emission and Faraday rotation, restoring the line of sight averaged magnetic field is impossible, even with multi-frequency polarization measurements. At the same time, the SPGs provide the ability to establish the POS magnetic field direction with the polarization data taken at a single frequency.1212 12 We note that the polarization data may not sample the entire volume due to the Faraday depolarization effect. Thus, the magnetic field obtained with SIGs and single-frequency SPG measurement may differ. This difference carries the information about the depolarization. If, however, multi-frequency polarization measurements are available, the SPGs provide a way of restoring the 3D structure of a magnetic field, as was demonstrated in [90] and [51]. As a bonus, by comparing the intensity of polarized radiation with the results obtained with MM2, one can estimate the 3D variations of the ratio of the magnetic field to the cosmic ray energies.

The particular advantages of applying the MM2 approach to different data sets include

  • for synchrotron intensity data, it is possible to decouple the contributions of magnetic field intensity and the relativistic electrons.

  • for Faraday rotation data, it is possible to obtain the strength of the POS component of the magnetic field and decoupling the contribution of thermal electrons and a parallel component of the magnetic field to the rotation measures.

  • for synchrotron polarization multifrequency data, it is possible to provide the 3D tomography of magnetic field strength

The combination of the first 2 items allows to explore variations of POS magnetic field in different phases of multiphase media along the line of sight. This is synergetic with the input from item 3 in the list.

X Discussion

X.1 Theoretical understanding of gradients

The first major advance of our study above is the analytical descriptions of gradients. The foundations of the GT are rooted in the theory of MHD turbulence and turbulent reconnection [39, 87] as well as in the analytical description of the statistics of the turbulence parameters available from observations [80, 81, 82, 83, 84, 85, 66, 67]. The GT has already been proven to be a powerful way of tracing magnetic fields (see Yuen & Lazarian 118, Yuen & Lazarian 119, Lazarian & Yuen 89, Lazarian & Yuen 88, Lazarian et al. 91, Hu et al. 56, Hu & Lazarian 53, The analytical theory formulated in this paper provides the solid foundations and justifications for the empirical procedures employed within the technique. It opens avenues for new approaches that increase the reliability of the gradient technique. For instance, the formulated theory allows us to understand how the distribution of the gradients over the sub-block used for obtaining individual gradient ”vectors” depends on the media magnetization. Indeed, while an earlier study [91] empirically finds that the gradient dispersion has a power law relation to MAM_{A}, the power law index was not physically justified. In contrast, the present paper provides analytical predictions for the measures of gradient anisotropy (c.f. Eqs. (43,48,62,63)) that are available from observations.

Our present study deals with Alfven and slow mode fluctuations of sub-Alfvénic at scales less than LMA2LM_{A}^{2}, at which a strong MHD turbulence model is applicable. The anisotropy related to fast modes is significantly weaker compared to Alfven modes, and fast modes’ contribution is frequently subdominant in terms of energy. Thus, we do not consider the effect of fast modes within our present study.

Compared to [91], our study extends the choice of measures that can be used to describe media magnetization. The ratio FF of the quadrupole D2D_{2} and the monopole D0D_{0} moments (see Eq. (26)) was calculated in 84 for synchrotron intensity fluctuations and was generalized for in 66 and 67, respectively, for the intensity fluctuations in channel maps and velocity centroids. This ratio is directly related to the value of J2J_{2} given by Eq. (25) and is directly related to the measures available with gradients (see Eqs. (48), (61), (63)). Our study demonstrates that different measures can have different advantages for practical applications. For instance, it is possible to show that for sufficiently small MAM_{A}, e.g., less than 0.30.3, the changes of FF and J2J_{2} are very weak with the change of MAM_{A}. At the same time, for this range of MAM_{A}, the differences in measures given by Eqs. (48), (61), (63) is easier to detect.

Finally, the GT theory predicts differences in how gradients and polarization are summed up along the line of sight. In the presence of regular and random magnetic field components, the fluctuations in the polarization Stokes parameters add up in the random walk manner. In contrast, the regular magnetic field contribution increases linearly. As a result, the observed amplitude of the variations of the polarization direction decreases if the line of sight extension of the region exceeds the turbulence injection scale. In contrast, this effect is absent for the gradient magnetic field mapping. This difference stems from the fact that the regular field does not induce gradients. This is expected to induce a systematic difference between the magnetic field direction obtained with gradients and dust polarization using gradients [95, 61]. The analytical description of the gradients opens ways to quantitatively account for this difference.

X.2 3D distribution of magnetic field strength

The second advance achieved in the present study is the description of how gradients can provide magnetic field strength, i.e., the advancement of the MM2 technique. One of the important applications of this technique is mapping the 3D distribution of the galactic magnetic field vectors. This approach employs the galactic rotation curve as demonstrated in [53]. The mapping from the velocity space to the galactic coordinate is determined up to the turbulent velocity dispersion. The corresponding δvvturb\delta v\sim v_{turb} is the coarse grading for the line of sight VzV_{z} to zz mapping. In terms of molecular clouds, the galactic rotation curve opens ways of studying magnetic fields of molecular clouds in the galactic disk, i.e., the clouds for which crowding along the line of sight prevents magnetic field studies using traditional polarimetry.

The variety of species that can be used for studying magnetic fields by spectroscopic means must provide a complementary way of exploring the 3D magnetic field distribution. For instance, [62] demonstrated that the magnetic field direction and MAM_{A} can be traced at different distances from the molecular cloud surface using the emission of different molecular species that form at different optical depths. A similar approach is possible for finding MsM_{s} [120]. Different species, molecules, and various ions can be employed to test the magnetic field in the ionized part of the ISM.

Measuring magnetic field with gradients using synchrotron intensity and synchrotron polarised intensity of Faraday measure input (see §IX.3) provides additional synergy for the 3D magnetic field studies. For instance, synchrotron radiation from SIGs and SPGs mainly test magnetic fields in the hot and warm phases of the ISM at high latitudes (see the description of idealized ISM phases in [29]), while Faraday rotation is biased to probing magnetic fields in the regions with higher thermal electron densities, e.g., HII regions. In addition, as described in [89], measuring SPGs at different frequencies makes it possible to sample magnetic fields at different depths from the observer (see also [51]).

The MM2 approach can be applied to other non-spectroscopic data sets. For instance, the Intensity Gradients (IGs) [89, 60] deal with the column density data that is also affected by MHD turbulence. They can be used with emission lines without the required spectroscopic resolution. Due to the good coupling of interstellar gas and dust, they can also be used with the Far Infrared dust emission data. The IGs reflect the properties of density fluctuations in turbulent media. Those deviate significantly from the underlying turbulent velocity field in the case of supersonic MHD turbulence [8, 72, see]. In this case, as first demonstrated by [118], the IGs can trace interstellar shocks. This makes IGs an auxiliary source of information for restoring magnetic field direction and obtaining MAM_{A} in combination with velocity gradients. For subsonic turbulence, IGs can be directly used to study magnetic fields within the MM2 approach.

The advances in the analytical description of turbulent statistics make the gradient approach more versatile. In KLP18, it was shown that in the presence of dust absorption, the sampling of turbulence in the media is limited by the surface layer, the thickness of which is determined by the dust absorption. As this absorption is wavelength-dependent, it provides a way to sample deeper into the cloud using a longer wavelength. The ability to sample magnetic fields on the surface of the clouds using optical emission lines presents an advantage in itself.

X.3 Gradients and polarization studies: advantages and synergy

Polarization and gradient measurements present two major ways of probing POS magnetic fields. The present study illustrates the differencies and the synergy of the two approaches.

Measurement of magnetic fields with gradients and polarization are similar because both trace the direction of the local magnetic field, and neither measure is sensitive to the amplitude of the magnetic field. Casting the gradient measure in terms of pseudo-Stokes parameters accumulated along the LOS [95] highlights the formal similarity. However, there are two important differences. First is that polarization directly reflects the mean magnetic field as well as its fluctuations. Whereas the gradients are not sensitive to constant field being directly affected only by the variable part of the field, so that the mean magnetic field direction is found from gradients only statistically. Second difference is that polarization has a long correlation scale across the sky, similar to magnetic field, while the correlation length of the gradients is much shorter.

These differences affect the determination of MAM_{A} from the data. The way of measuring MAM_{A} with gradients was first explored in [91] and has shown several advantages compared to the corresponding measurements of MAM_{A} using polarization. The most notable is that gradient measurement of MAM_{A} can be achieved within an individual sub-block. Local determination of MAM_{A} from polarization angles is hampered by the presence of long correlations that requires sky coverage exceeding LinjL_{inj} to evaluate the full variance of the angles. Thus, applying the GT returns a spatial distribution of magnetization rather than a single value of MAM_{A} from measuring dust polarization.

Additionaly, the presence of both regular and random magnetic fields along the line-of-sight decreases the dispersion of polarization angle δϕδB𝑑zB¯\delta\phi\sim\frac{\int^{\mathcal{L}}\delta B_{\perp}dz}{\overline{B}_{\perp}\mathcal{L}} by a factor Linj/\sqrt{L_{inj}/{\cal L}} if the thickness of the turbulent cloud along the line of sight {\cal L} is larger than the turbulent injections scale LinjL_{inj}. On one hand this improves the accuracy with which mean field direction is determined by polarization. On the other hand, this effect is not easy to quantify when analyzing the polarization angle variance, and it can significantly distort the value of MAM_{A} obtained with the polarization measurements. On the contrary, the theory presented in this paper demonstrates that the gradients can return the true value of MAM_{A}. A comparison of the dispersion of the polarization and MAM_{A} obtained with gradients can provide an estimate of Linj/L_{inj}/{\cal L}, which can be used to determine the turbulence injection scale LinjL_{inj}.

Compared to dust polarization, the gradient advantage is that they are unaffected by grain alignment efficiency variations and alignment direction variations that can be induced by strong radiation [79, 2]. However, the outflows and gravitational collapse can switch the direction of gradients from the default perpendicular to the magnetic field to parallel to the field [58, 54]. The synergetic combination of polarization and gradients opens ways to decrease the uncertainties relevant to both techniques and get a unique insight into the underlying physical processes.

A serious advantage of gradients compared to synchrotron polarization is that the gradients are unaffected by the Faraday rotation/depolarization [5]. By combining the gradients and synchrotron polarization, one can also get the Faraday rotation measure and, therefore, an estimate of the magnetic field component parallel to the line of sight BB_{\|} without involving troublesome multi-frequency measurements. In addition, by applying a gradient approach to different measures obtained from synchrotron polarization [92, 125, 124], one can reconstruct the magnetic field distribution in 3D space [51].

The synergetic use of gradients and polarization is also possible for the CMB studies. The polarization gradients arising from the synchrotron foreground are aligned parallel to the foreground polarization. The polarization of cosmological origin is not expected to have this property. This can help solve the important problem of distinguishing the polarization of cosmological origin from foreground polarization.

XI Conclusions

This paper presents the theory of the Gradient Technique, which applies to different types of gradients originating in turbulent MHD flows. Our study applies the theory to gradients of velocity centroids and synchrotron intensities. However, this approach can be generalized to Velocity Channel Gradients (VChGs), Synchrotron Polarization Gradients (SPGs), Faraday Rotation Gradients (FRGs), etc.

The universality of the theory stems from the small size of the adopted sub-blocks of data averaging compared to the turbulence injection scale. In this setting, the effect of the correlations of the gradients along the line of sight is negligible, and the dispersion of gradients along the line of sight is determined by the dispersion of magnetic field directions on the injection scale rather than the statistics of emission that we employ to measure the gradients. The MHD turbulence cascade’s Alfvénic component determines the latter dispersion. The dispersion changes only marginally with the extent of the line of sight LL if L>LinjL>L_{inj}. This is very different from the dispersion of the polarization ”vectors,” for which the dispersion gets narrow as LL gets larger compared to LinjL_{inj}.

The theory testifies that the properties of the distribution of gradients reflect the distribution of the POS component of magnetic field for MA/sinγ<1M_{A}/sin\gamma<1, where γ\gamma is the angle between the line of sight and the mean magnetic field. The deviations increase when the aforementioned ratio gets larger than unity as the fluctuating magnetic field gets larger than the POS component of the mean magnetic field.

The observed gradient directions are dominated by the largest spacial frequencies of the image, with the gradients calculated on the smallest resolved scales dominating the resulting directions. The smallest eddies in MHD turbulence closely follow the direction of the magnetic field in their vicinity. Therefore, similar to the polarization from aligned dust, the gradients can provide the image of the magnetic field projected along the line of sight.

In terms of practical tracing of magnetic fields and the distribution of magnetization, the theory demonstrates that

  • It is possible to obtain the detailed distribution of the media magnetization.

  • The obtained magnetization value is robust and changes only marginally with the length of the line of sight LL when LLinjL\gg L_{inj}.

In addition, in the paper, we explored a new way of probing the strength of POS magnetic field by using the ratio of sonic and Alfvén Mach numbers, i.e., MsM_{s} and MA,M_{A,\bot}. This technique can be applied to various data sets, including spectroscopic data, synchrotron intensity, polarization data, etc. When applied to spectroscopic data, MM2 provides

  • a detailed distribution of the plane of sky magnetic field strength;

  • 3D distribution of plane of sky magnetic field galactic disk magnetic fields, if galactic rotation curve is employed;

  • the 3D distribution BB_{\bot} strength in molecular clouds if a combination of emission lines from molecular species formed at different optical depths is used.

Our study ofor extending the MM2 technique for studying magnetic field strength using synchrotron intensity, synchrotron polarization gradients, and gradients, as well as density gradients.

Acknowledgments. We cordially thank Jungyeon Cho, Chris Mckee and Martin Houde and for detailed suggestions that significantly improved the manuscript. A.L. acknowledges the support the NSF AST 1816234, NASA TCAN 144AAG1967 and NASA ATP AAH7546. Flatiron Institute is supported by the Simons Foundation. This research used resources provided by the Los Alamos National Laboratory Institutional Computing Program, which is supported by the U.S. Department of Energy National Nuclear Security Administration under Contract No. 89233218CNA000001. This research also used resources of the National Energy Research Scientific Computing Center (NERSC), a U.S. Department of Energy Office of Science User Facility located at Lawrence Berkeley National Laboratory, operated under Contract No. DE-AC02-05CH11231 using NERSC award FES-ERCAP-m4239 (PI: KHY, LANL). D.P. thanks Theoretical Group at Korea Astronomy and Space Science Institute (KASI) for hospitality. Flatiron Institute is supported by Simons Foundation. Research presented in this article was supported by the Laboratory Directed Research and Development program of Los Alamos National Laboratory under project number(s) 20220700PRD1. This research was supported in part by grant NSF PHY-2309135 to the Kavli Institute for Theoretical Physics (KITP).

Data Availability The data underlying this article will be shared on reasonable request to the corresponding author. The code can be found in https://github.com/kyuen2/MHD_modes

Appendix A Gradient variance and its dependence on MaM_{a} and γ\gamma

A.1 Gradient methods to study magnetic field

Let us briefly summarize the mathematical foundations of the gradient methods in application to study of the direction of the magnetic field. The formalism was developed in Fourier space in [95]. Here we complement the exposition by real space treatment, as well as add more details.

Let us denote by f(𝐗)f(\mathbf{X}) a sky map of observable emission from a turbulent medium. For example, this can be the intensity of the emission in PPV (position-position 𝐗\mathbf{X}-velocity vv) space I(𝐗,v)I(\mathbf{X},v), or the related integrated quantities, such as the total intensity Ic(𝐗)dvI(𝐗,v)I_{c}(\mathbf{X})\propto\int dvI(\mathbf{X},v) or velocity centroids which for optically thin lines are VC(𝐗)v𝑑vI(𝐗,v)VC(\mathbf{X})\propto\int vdvI(\mathbf{X},v).

The simplest local statistical measure for the gradient of a random field f(𝐗)f(\mathbf{X}) is the gradient covariance tensor

σijif(𝐗)jf(𝐗)=ijD(𝐑)|𝐑0\sigma_{ij}\equiv\left\langle\nabla_{i}f(\mathbf{X})\nabla_{j}f(\mathbf{X})\right\rangle=\nabla_{i}\nabla_{j}D(\mathbf{R})|_{\mathbf{R}\to 0} (A1)

which is the zero separation limit of the second derivatives of the field structure function D(𝐑)12(f(𝐗+𝐑)f(𝐗))2D(\mathbf{R})\equiv\frac{1}{2}\left\langle\left(f(\mathbf{X+R})-f(\mathbf{X})\right)^{2}\right\rangle.

For a statistically isotropic field, the covariance of the gradients is isotropic, σij=12δijΔD(R)|R0\sigma_{\nabla_{i}\nabla_{j}}=\frac{1}{2}\delta_{ij}\Delta D(R)|_{R\to 0}. In the presence of the magnetic field, the structure function of the signal becomes orientation dependent, depending on the angle between 𝐑\mathbf{R} and the projected direction of the magnetic field. This anisotropy is retained in the limit 𝐑0\mathbf{R}\to 0 and results in non-vanishing traceless part of the gradient covariance tensor

σij12δijl=1,2σll=12((x2y2)D(𝐑)2xyD(𝐑)2xyD(𝐑)(y2x2)D(𝐑))𝐑00\sigma_{ij}-\frac{1}{2}\delta_{ij}\sum_{l=1,2}\sigma_{ll}=\frac{1}{2}\left(\begin{array}[]{cc}\left(\nabla_{x}^{2}-\nabla_{y}^{2}\right)D(\mathbf{R})&2\nabla_{x}\nabla_{y}D(\mathbf{R})\\ 2\nabla_{x}\nabla_{y}D(\mathbf{R})&\left(\nabla_{y}^{2}-\nabla_{x}^{2}\right)D(\mathbf{R})\\ \end{array}\right)_{\mathbf{R}\to 0}\neq 0 (A2)

As a rank two symmetric tensor, gradient covariance has two rotational invariants, the trace and the determinant, or, correspondingly, the determinant of the traceless part. Thus, in our case we can introduce invariant I0I_{0} and I2I_{2}

σxx+σyy=I0\displaystyle\sigma_{xx}+\sigma_{yy}=I_{0} (A3)
(σxxσyy)2+4σxy2=I22\displaystyle(\sigma_{xx}-\sigma_{yy})^{2}+4\sigma_{xy}^{2}=I_{2}^{2} (A4)

Their dimensionless ratio is important as a measure of anisotropy level

J2(σxxσyy)2+4σxy2(σxx+σyy)2=(I2I0)2J_{2}\equiv\frac{(\sigma_{xx}-\sigma_{yy})^{2}+4\sigma_{xy}^{2}}{(\sigma_{xx}+\sigma_{yy})^{2}}=\left(\frac{I_{2}}{I_{0}}\right)^{2} (A5)

We now study anisotropy by decomposing the structure function in angular harmonics, which can be done either in Fourier space or real space.

A.1.1 Fourier space evaluation of gradient covariance tensor

In Fourier space, where

D(𝐑)=d𝐊P(𝐊)[1ei𝐊𝐑],D(\mathbf{R})=\int d\mathbf{K}\;P(\mathbf{K})\left[1-e^{i\mathbf{K}\cdot\mathbf{R}}\right]~, (A6)

the angular decomposition is over the dependence of the power spectrum P(𝐊)P(\mathbf{K}) on the angle of the 2D wave vector 𝐊\mathbf{K}. Denoting the coordinate angle of 𝐊\mathbf{K} by θK\theta_{K} and that of the projected magnetic field as θH\theta_{H}, we have for the spectrum

P(𝐊)=nPn(K)ein(θHθK)P(\mathbf{K})=\sum_{n}P_{n}(K)e^{in(\theta_{H}-\theta_{K})} (A7)

and for the derivatives of the structure function

ijD(𝐑)=nK3Pn(K)dθKein(θHθK)eiKRcos(θRθK)K^iK^j,\nabla_{i}\nabla_{j}D(\mathbf{R})=\sum_{n}\int K^{3}P_{n}(K)\int d\theta_{K}e^{in(\theta_{H}-\theta_{K})}e^{iKR\cos(\theta_{R}-\theta_{K})}\hat{K}_{i}\hat{K}_{j}~, (A8)

where hat designates unit vectors, namely K^x=cosθK\hat{K}_{x}=\cos\theta_{K} and K^y=sinθK\hat{K}_{y}=\sin\theta_{K}. Performing integration over θK\theta_{K}, we obtain the traceless anisotropic part that involves Bessel functions Jn(KR)J_{n}(KR)

(x2y2)D(𝐑)\displaystyle(\nabla_{x}^{2}-\nabla_{y}^{2})D(\mathbf{R}) =πninein(θHθR)dKK3Jn(kR)(Pn2(K)ei2θH+Pn+2(K)ei2θH)\displaystyle=\pi\sum_{n}i^{n}e^{in(\theta_{H}-\theta_{R})}\int dKK^{3}J_{n}(kR)\left(P_{n-2}(K)e^{-i2\theta_{H}}+P_{n+2}(K)e^{i2\theta_{H}}\right) (A9)
xyD(𝐑)\displaystyle\nabla_{x}\nabla_{y}D(\mathbf{R}) =π2ininein(θHθR)dKK3Jn(kR)(Pn2(K)ei2θH+Pn+2(K)ei2θH)\displaystyle=\frac{\pi}{2i}\sum_{n}i^{n}e^{in(\theta_{H}-\theta_{R})}\int dKK^{3}J_{n}(kR)\left(-P_{n-2}(K)e^{-i2\theta_{H}}+P_{n+2}(K)e^{i2\theta_{H}}\right)

In the limit R0R\to 0, only n=0n=0 term for which J0(0)=1J_{0}(0)=1 survives, θR\theta_{R} dependence drops out, and we have

(x2y2)D(𝐑)\displaystyle(\nabla_{x}^{2}-\nabla_{y}^{2})D(\mathbf{R}) =[2πdKK3P2(K)]cos2θH\displaystyle=\left[2\pi\int dKK^{3}P_{2}(K)\right]\cos 2\theta_{H} (A10)
2xyD(𝐑)\displaystyle 2\nabla_{x}\nabla_{y}D(\mathbf{R}) =[2πdKK3P2(K)]sin2θH\displaystyle=\left[2\pi\int dKK^{3}P_{2}(K)\right]\sin 2\theta_{H}

We can now identify I2I_{2} invariants with the integral over spectrum multipoles

I2=2πdKK3P2(K)I_{2}=2\pi\int dKK^{3}P_{2}(K) (A11)

Notice that anisotropy of the gradient variance is determined by the quadrupole of the power spectrum as expected.

A.1.2 Real space approach to evaluating gradient covariance tensor

Now we demonstrate how gradient convariance tensor can be evaluated in the real space to link it explicitly to the multipole decompositionstructure-functionfunction that can be performed locally.

We need to compute R0R\to 0 limit of the structure function derivatives that we represent in polar coordinates as

(x2y2)\displaystyle(\nabla_{x}^{2}-\nabla_{y}^{2}) D(R,θR)=cos2θR(RR1RR1R22θR2)D(R,θR)sin2θRR(2RθR)D(R,θR)\displaystyle D(R,\theta_{R})=\cos 2\theta_{R}\left(R\frac{\partial}{\partial R}\frac{1}{R}\frac{\partial}{\partial R}-\frac{1}{R^{2}}\frac{\partial^{2}}{\partial\theta_{R}^{2}}\right)D(R,\theta_{R})-\sin 2\theta_{R}\frac{\partial}{\partial R}\left(\frac{2}{R}\frac{\partial}{\partial\theta_{R}}\right)D(R,\theta_{R}) (A12)
2xy\displaystyle 2\nabla_{x}\nabla_{y} D(R,θR)=sin2θR(RR1RR1R22θR2)D(R,θR)+cos2θRR(2RθR)D(R,θR)\displaystyle D(R,\theta_{R})=\sin 2\theta_{R}\left(R\frac{\partial}{\partial R}\frac{1}{R}\frac{\partial}{\partial R}-\frac{1}{R^{2}}\frac{\partial^{2}}{\partial\theta_{R}^{2}}\right)D(R,\theta_{R})+\cos 2\theta_{R}\frac{\partial}{\partial R}\left(\frac{2}{R}\frac{\partial}{\partial\theta_{R}}\right)D(R,\theta_{R})
(x2+y2)\displaystyle(\nabla_{x}^{2}+\nabla_{y}^{2}) D(R,θR)=(1RRRR+1R22θR2)D(R,θR)\displaystyle D(R,\theta_{R})=\left(\frac{1}{R}\frac{\partial}{\partial R}R\frac{\partial}{\partial R}+\frac{1}{R^{2}}\frac{\partial^{2}}{\partial\theta_{R}^{2}}\right)D(R,\theta_{R})

where we added the trace for completeness, but also for the future use.

We present D(R,θR)D(R,\theta_{R}) as an expansion in the eigenfunctions of the Laplace operator, ΔfKn(R,θ)=K2fKn(R,θ)\Delta f_{Kn}(R,\theta)=-K^{2}f_{Kn}(R,\theta), subject to the boundary condition D(0,θR)=0D(0,\theta_{R})=0. Choosing angular directions in respect to symmetry direction θH\theta_{H} we have multipole expansion

D(R,θR)\displaystyle D(R,\theta_{R}) =nDn(R)ein(θRθH)\displaystyle=\sum_{n}D_{n}(R)e^{\mathrm{i}n(\theta_{R}-\theta_{H})} (A13)

with radial functions expanded in the Bessel function series

Dn(R)=Dn(R)\displaystyle D_{n}(R)=D_{-n}(R) =2πK𝑑KPn(K)(δn0inJ|n|(KR))\displaystyle=2\pi\int KdKP_{n}(K)\left(\delta_{n0}-\mathrm{i}^{n}J_{|n|}(KR)\right) (A14)

where δn0\delta_{n0} term enforces the boundary condition. Note, that though it looks very much as a Fourier expansion, here we can have a local expansion of the structure function in the vicinity of some fixed point in space (from which RR separation is measured) instead of global expansion into plane waves. Thus, we can use this expansion in a statistically inhomogeneous situation, one patch at a time, especially that we are interested in R0R\to 0 limit.

We need to determine the action of three differential operators on the multipole coefficients Dn(R)D_{n}(R) which we expect to give

limR0(RR1RR+n2R2)\displaystyle\lim_{R\to 0}\left(R\frac{\partial}{\partial R}\frac{1}{R}\frac{\partial}{\partial R}+\frac{n^{2}}{R^{2}}\right) Dn(R)=12(δn,2+δn,2)I2\displaystyle D_{n}(R)=\frac{1}{2}\left(\delta_{n,2}+\delta_{n,-2}\right)I_{2} (A15)
limR02inR1R\displaystyle\lim_{R\to 0}2\mathrm{i}\;n\frac{\partial}{\partial R}\frac{1}{R} Dn(R)=i2(δn,2δn,2)I2\displaystyle D_{n}(R)=\frac{\mathrm{i}}{2}\left(\delta_{n,2}-\delta_{n,-2}\right)I_{2}
limR0(1RRRRn2R2)\displaystyle\lim_{R\to 0}\left(\frac{1}{R}\frac{\partial}{\partial R}R\frac{\partial}{\partial R}-\frac{n^{2}}{R^{2}}\right) Dn(R)=δn0I0\displaystyle D_{n}(R)=\delta_{n0}I_{0}

To prove these relations and determine I0I_{0} and I2I_{2}, we differentiate the Bessel functions as Jn(x)=Jn+1(x)+nJn(x)/xJ_{n}(x)^{\prime}=-J_{n+1}(x)+nJ_{n}(x)/x and, if needed, use the recurrence relation in the direction of eliminating the divergent terms as we take the limit x0x\to 0. Our first combination is

RJn(KR)R\displaystyle\frac{\partial}{\partial R}\frac{J_{n}(KR)}{R} =K2x(Jn(x)Jn(x)/x)\displaystyle=\frac{K^{2}}{x}\left(J_{n}(x)^{\prime}-J_{n}(x)/x\right)
=K2(Jn+1(x)x+n1x2Jn(x))\displaystyle=K^{2}\left(-\frac{J_{n+1}(x)}{x}+\frac{n-1}{x^{2}}J_{n}(x)\right)
18K2δn,2K2δn0(12+J0x2)\displaystyle\to\frac{1}{8}K^{2}\delta_{n,2}-K^{2}\delta_{n0}\left(\frac{1}{2}+\frac{J_{0}}{x^{2}}\right) (A16)

where divergent at R0R\to 0 n=0n=0 term does not contribute to the final result since we multiply this derivative by nn.

The other combination is

(RR1RR+n2R2)Jn(KR)\displaystyle\left(R\frac{\partial}{\partial R}\frac{1}{R}\frac{\partial}{\partial R}+\frac{n^{2}}{R^{2}}\right)J_{n}(KR) =K2(xx1x(Jn+1(x)+nxJn(x))+n2x2Jn(x))\displaystyle=K^{2}\left(x\frac{\partial}{\partial x}\frac{1}{x}\left(-J_{n+1}(x)+\frac{n}{x}J_{n}(x)\right)+\frac{n^{2}}{x^{2}}J_{n}(x)\right)
=K2(Jn+2(x)2nxJn+1(x)+2n(n1)x2Jn(x))\displaystyle=K^{2}\left(J_{n+2}(x)-\frac{2n}{x}J_{n+1}(x)+\frac{2n(n-1)}{x^{2}}J_{n}(x)\right)
12K2δn,2\displaystyle\to\frac{1}{2}K^{2}\delta_{n,2} (A17)

For the last combination (which is the Laplacian) the answer is already known

(1RRRRn2R2)Jn(KR)=K2Jn(x)K2δn,0\left(\frac{1}{R}\frac{\partial}{\partial R}R\frac{\partial}{\partial R}-\frac{n^{2}}{R^{2}}\right)J_{n}(KR)=-K^{2}J_{n}(x)\to-K^{2}\delta_{n,0} (A18)

Using Eqs. (A16-A18) leads to the result Eq. (A15) with In=2πdKK3Pn(K)I_{n}=2\pi\int dKK^{3}P_{n}(K). Taking R0R\to 0 limit in Eq. (A14) shows that in the real space formulation the invariants are given by

I0\displaystyle I_{0} =4limR0D0(R)/R2\displaystyle=4\lim_{R\to 0}D_{0}(R)/R^{2} (A19)
I2\displaystyle I_{2} =8limR0D2(R)/R2.\displaystyle=8\lim_{R\to 0}D_{2}(R)/R^{2}. (A20)

Finally, substituting Eqs. (A15) into Eq. (A14) and then Eqs. (A12) we confirm that the dependence on the position vector angle cancels in the covariance matrix as it takes the expected form

σxxσyy\displaystyle\sigma_{xx}-\sigma_{yy} =I22(cos2θR(e2i(θRθH)+e2i(θRθH))isin2θR(e2i(θRθH)e2i(θRθH)))=I2cos2θH\displaystyle=\frac{I_{2}}{2}\left(\cos 2\theta_{R}\left(e^{2\mathrm{i}(\theta_{R}-\theta_{H})}+e^{-2\mathrm{i}(\theta_{R}-\theta_{H})}\right)-\mathrm{i}\sin 2\theta_{R}\left(e^{2\mathrm{i}(\theta_{R}-\theta_{H})}-e^{-2\mathrm{i}(\theta_{R}-\theta_{H})}\right)\right)=I_{2}\cos 2\theta_{H} (A21)
2σxy\displaystyle 2\sigma_{xy} =I22(sin2θR(e2i(θRθH)+e2i(θRθH))+icos2θR(e2i(θRθH)e2i(θRθH)))=I2sin2θH\displaystyle=\frac{I_{2}}{2}\left(\sin 2\theta_{R}\left(e^{2\mathrm{i}(\theta_{R}-\theta_{H})}+e^{-2\mathrm{i}(\theta_{R}-\theta_{H})}\right)+\mathrm{i}\cos 2\theta_{R}\left(e^{2\mathrm{i}(\theta_{R}-\theta_{H})}-e^{-2\mathrm{i}(\theta_{R}-\theta_{H})}\right)\right)=I_{2}\sin 2\theta_{H}
σxx+σyy\displaystyle\sigma_{xx}+\sigma_{yy} =I0\displaystyle=I_{0}

A.1.3 Eigendirections of the gradient covariance tensor

The eigendirection of the covariance tensor that corresponds to the largest eigenvalue (“the direction of the gradient”) makes an angle θ\theta with the coordinate x-axis

tanθ=2xyD(x2Dy2D)2+4(xyD)2+(x2y2)D.\tan\theta=\frac{2\nabla_{x}\nabla_{y}D}{\sqrt{\left(\nabla_{x}^{2}D-\nabla_{y}^{2}D\right)^{2}+4\left(\nabla_{x}\nabla_{y}D\right)^{2}}+\left(\nabla_{x}^{2}-\nabla_{y}^{2}\right)D}~. (A22)

Substituting expressions for derivatives into this formula we find that the eigendirection of the gradient variance has the form

tanθ=Asin2θH|A|+Acos2θH={tanθHA>0cotθHA<0\tan\theta=\frac{A\sin 2\theta_{H}}{|A|+A\cos 2\theta_{H}}=\left\{\begin{array}[]{rl}\tan\theta_{H}&A>0\\ -\cot\theta_{H}&A<0\end{array}\right. (A23)

and is either parallel or perpendicular to the direction of the magnetic field, depending on the sign of AdKK3P2(K)A\propto\int dKK^{3}P_{2}(K), i.e the sign of the spectral quadrupole P2P_{2}.

Since the direction of the magnetic field that we aim to track is unsigned, it is appropriate to describe it as an eigendirection of the rank-2 tensor, rather than a vector. This naturally leads to the mathematical formalism of Stokes parameters. We can introduce local pseudo-Stokes parameters built from the field gradients

Q~\displaystyle\widetilde{Q} (xf)2(yf)2\displaystyle\propto(\nabla_{x}f)^{2}-(\nabla_{y}f)^{2} (A24)
U~\displaystyle\widetilde{U} 2xfyf\displaystyle\propto 2\nabla_{x}f\nabla_{y}f (A25)

which averages are directly linked to statistics of the gradients

Q~\displaystyle\langle\widetilde{Q}\rangle σxx2σyy2=I2cos2θH\displaystyle\propto\sigma_{xx}^{2}-\sigma_{yy}^{2}=I_{2}\cos 2\theta_{H} (A26)
U~\displaystyle\langle\widetilde{U}\rangle 2σxy2=I2sin2θH\displaystyle\propto 2\sigma_{xy}^{2}=I_{2}\sin 2\theta_{H} (A27)

and give the estimate of the direction of the magnetic field

U~Q~=tan2θH\frac{\langle\widetilde{U}\rangle}{\langle\widetilde{Q}\rangle}=\tan 2\theta_{H} (A28)

The pseudo Stokes parameters naturally connect the gradient techniques with polarization studies.

A.2 Distribution of gradient angles, J2J_{2} as a measure of anisotropy

As a model distribution of the gradient angle evaluate in the pixel pp, θp=atan[yI/xI]\theta_{p}=\mathrm{atan}\left[\nabla_{y}I/\nabla_{x}I\right], we take the distribution that follows from assuming the gradients to be Gaussian with the covariance matrix σ~ij\widetilde{\sigma}_{ij} of Eq.16. The expression for this distribution can be easily obtained as:

P(θp)\displaystyle P(\theta_{p}) =1π|σij|[(cosθpsinθp)σij1(cosθpsinθp)]1\displaystyle=\frac{1}{\pi\sqrt{|\sigma_{ij}|}}\left[\left(\begin{array}[]{c}\cos\theta_{p}\\ \sin\theta_{p}\end{array}\right){\sigma}_{ij}^{-1}\left(\begin{array}[]{c}\cos\theta_{p}\\ \sin\theta_{p}\end{array}\right)\right]^{-1}
=1π×1J21J2cos2(θHθp)\displaystyle=\frac{1}{\pi}\times\frac{\sqrt{1-J_{2}}}{1-\sqrt{J_{2}}\cos 2\left({\theta}_{H}-\theta_{p}\right)} (A33)

This distribution function has two parameters: J2J_{2} and θH{\theta}_{H}. The first is the rotation invariant ratio of the determinant of the traceless part of the covariance matrix and the (half of) trace of the covariance

J2(σxxσyy)2+4σxy2(σxx+σyy)2=4(limR0D2(R)D0(R))2J_{2}\equiv\frac{\left({\sigma}_{xx}-{\sigma}_{yy}\right)^{2}+4{\sigma}_{xy}^{2}}{\left({\sigma}_{xx}+{\sigma}_{yy}\right)^{2}}=4\left(\lim_{R\to 0}\frac{D_{2}(R)}{D_{0}(R)}\right)^{2} (A34)

and the second is the angle

tan2θH2σxyσxxσyy\tan 2{\theta}_{H}\equiv\frac{2{\sigma}_{xy}}{{\sigma}_{xx}-{\sigma}_{yy}} (A35)

The distribution in Eq.(A.2) is periodic with a period π\pi and is normalized to unity on any angular interval of the length of the period, θpθp+πP(θp)dθp=1\int_{\theta_{p}^{*}}^{\theta_{p}^{*}+\pi}P(\theta_{p})d\theta_{p}=1. Statistically isotropic case corresponds to σxx=σyy{\sigma}_{xx}={\sigma}_{yy} and σxy=0{\sigma}_{xy}=0, i.e J2=0J_{2}=0 when Eq.(A.2) evaluates to uniform distribution. Any anisotropy leads to non-zero J2>0J_{2}>0, which on the other hand is bounded by definition not to exceed unity, J21J_{2}\leq 1. Note that fitting angular distribution does not determine the trace of gradient covariance I0I_{0}.

Appendix B Additional tools complementary to the current paper

Most of the current paper describes how to estimate magnetic field within the framework of the Velocity Gradient Technique (VGT). However, the techniques that are developed in the current paper does not require the prediction from the gradient technique to work. In the following, we discuss the complementary techniques that can help us to construct the 3D distribution of magnetic field.

B.1 Obtaining MsM_{s}, MAM_{A} and the inclination angle γ\gamma

Alfvénic Mach number MAM_{A}: For instance, the ability of various techniques to estimate the values of MAM_{A} and MsM_{s} from observational data were studied in literature prior to the time of GT appeared. For instance, the ability of Tsallis statistics to obtain MAM_{A} was demonstrated in [32] and [111]. In addition, [31] obtained empirical relations between the anisotropy of the structure function and MAM_{A}. In fact, the first demonstration of the effect of magnetic field strength on the anisotropy of correlations in the channel maps was presented in [86]. The analytical relations between MAM_{A} the ratio of the quadropole to monopole moments of the structure functions of intensity was obtained in 84 for synchrotron emission and in 67,[68] and [69] for the spectroscopic data. The ability of obtaining the mean MAM_{A} was demonstrated with polarization data in [91], while the statistics of MAM_{A} was carefully studied in [121].

Sonic Mach number MsM_{s}: It its turn, MsM_{s} was obtained via the analysis of kurtosis and skewness of the emission and polarization observational data (see Burkhart et al. 9, Burkhart & Lazarian 10, Burkhart et al. 13, Burkhart et al. 12). Combining thus found MsM_{s} with the MAM_{A} obtained with the approaches above ,one can successfully obtain the strength of the POS component of the magnetic field. The results of MsM_{s} measurements are very robust, and they are marginally affected either by shear or by large-scale magnetic field curvature. Similarly, the calculation of MAM_{A} is not much influenced by the galactic shear or any other large-scale shear induced by non-turbulent motions.

Inclination Angle γ\gamma: To obtain the full magnetic field strength, an independent way of obtaining γ\gamma is necessary. Different measures depend differently on the aforementioned turbulence parameters and γ\gamma. This provides another avenue for obtaining the 3D vector of the magnetic field. Several approaches for obtaining γ\gamma are suggested and explored in [122, 97, 98] and [57, 55]. If combined with the value of the magnetic field obtained with the DMA approach, the output provides the full 3D magnetic field vector.

B.2 Removing density contributions when computing gradients

As we discussed earlier, MHD turbulence theory is defined in terms of velocity and magnetic field fluctuations (see Beresnyak & Lazarian 7). The density can act either as a passive scalar or show its own non-universal scaling. The former is mostly the case of subsonic turbulence and this, as pointed out in §3.5 results in the density gradient technique. However, in general, one can get more reliable predictions if the density contributions are removed.

Tt is worth emphasizing that the most of the previous predictions on Alfvénic Mach number in both the LP-series or the KLP series assume a constant density and negligible thermal broadening effects. While the authors have discussed qualitatively how these effects change the analytical predictions, it is unavoidable to deal with both the density and thermal effects in regimes such as multiphase HI media. To remove the effects of density and thermal broadening from observed channels, [117] proposes the Velocity Decomposition Algorithm (VDA), an algorithm that is built upon the foundation of 80, that applies to every channel map. The velocity caustics map pvp_{v}, which is the channel map without any density fluctuations, is given by:

pv=p(pIpI)IIσI2p_{v}=p-\left(\langle pI\rangle-\langle p\rangle\langle I\rangle\right)\frac{I-\langle I\rangle}{\sigma_{I}^{2}} (B1)

where pp is the channel map, II is the column density map and ..\langle..\rangle is the averaging operator. [117] shows that the VDA method is extremely accurate reflecting the statistics of velocity fluctuations in sub-sonic media while being fairly accurate in supersonic media. For our current paper’s purpose, we need the velocity centroid map with no density effects. The appendix of [117] gives a formula for the constant density velocity centroid:

Vn(𝐗)=dvvpv(𝐗,v)V_{n}({\bf X})=\int dvvp_{v}({\bf X},v) (B2)

which is exactly the quantity that is investigated in both 66 and 67. Note, that in this paper we use capital symbols to denote the 2D vectors, i.e. 𝐗{\bf X} is the 2D Plane of Sky (POS) vector. In below we are going to investigate the gradients of centroid or channels assuming density being constant. The exact formula in obtaining these observables are given by either Eq.B1 (channels) or Eq.B2 (centroids).

B.3 Obtaining 3D magnetic field structures from divergence free condition

It was discussed in [89] that the 3D distribution of POS magnetic field can be obtained applying velocity gradients to channel maps or reduced centroids and using the galactic rotation curve. This approach was applied in [41] to map the POS magnetic field using gradients of the velocity centroids. The corresponding map of 3D distribution of the POS magnetic field was then successfully tested by comparing the starlight polarization predicted for a number of stars with the known distances with the actual measured polarization.

The ability of obtaining 3D POS B-field maps provide another way of obtaining the actual distribution of 3D magnetic field vectors. Indeed, the magnetic field is a solenoidal vector three components of which are constrained through the divergence free condition: 𝐁=0,\nabla\cdot{\bf B}=0, , meaning that that only 2 components in Fourier space are independent. Therefore if we are given 2 components, we can restore the 3d one. The corresponding procedure was suggested in [16] for restoring the z-component of magnetic field when two POS component are obtained using the [89] synchrotron gradient tomography that can restore the 3D POS magnetic field.

We would like to stress that the same procedure is also applicable to studying magnetic fields using both the POS magnetic fields obtained using the channel maps or reduced centroids in the presence of galactic rotation curve. The caveat for the application of the technique is that the magnetic field is solenoidal in actual 3D space and can lose this property in other coordinates. For instance, the distortions of the 2D slice for which the POS magnetic field is determined can result in errors in determining the LOS component of magnetic field. This means that the POS for the procedure should be sufficiently coarse grained to avoid problems of the mapping.

Appendix C Numerical simulations employed for testing

In Table 1 we describe the set of numerical simulations that we employ to test our analytical results.

Model MSM_{S} MAM_{A} β=2MA2/MS2\beta=2M_{A}^{2}/M_{S}^{2} Resolution Model MSM_{S} MAM_{A} β=2MA2/MS2\beta=2M_{A}^{2}/M_{S}^{2} Resolution
b11 0.41 0.04 0.02 4803480^{3} huge-0 6.17 0.22 0.0025 7923792^{3}
b12 0.92 0.09 0.02 4803480^{3} huge-1 5.65 0.42 0.011 7923792^{3}
b13 1.95 0.18 0.02 4803480^{3} huge-2 5.81 0.61 0.022 7923792^{3}
b14 3.88 0.35 0.02 4803480^{3} huge-3 5.66 0.82 0.042 7923792^{3}
b15 7.14 0.66 0.02 4803480^{3} huge-4 5.62 1.01 0.065 7923792^{3}
b21 0.47 0.15 0.22 4803480^{3} huge-5 5.63 1.19 0.089 7923792^{3}
b22 0.98 0.32 0.22 4803480^{3} huge-6 5.70 1.38 0.12 7923792^{3}
b23 1.92 0.59 0.22 4803480^{3} huge-7 5.56 1.55 0.16 7923792^{3}
b31 0.48 0.48 2.0 4803480^{3} huge-8 5.50 1.67 0.18 7923792^{3}
b32 0.93 0.94 2.0 4803480^{3} huge-9 5.39 1.71 0.20 7923792^{3}
b41 0.16 0.49 18 4803480^{3} h0-1200 6.36 0.22 0.0025 120031200^{3}
b42 0.34 1.11 18 4803480^{3} h9-1200 10.79 2.29 0.098 120031200^{3}
b51 0.05 0.52 200 4803480^{3} e5r2 0.13 5.99 4363 120031200^{3}
b52 0.10 1.08 200 4803480^{3} e5r3 0.61 0.63 2.09 120031200^{3}
Ms0.2Ma0.2 0.2 0.2 2 4803480^{3} e6r3 5.45 0.50 0.017 120031200^{3}
Ms0.4Ma0.2 0.57 0.28 0.48 4803480^{3} e7r3 0.53 3.24 73.64 120031200^{3}
Ms4.0Ma0.2 3.81 0.18 0.00446 4803480^{3} incompressible 0 0.61 \infty 5123512^{3}
Ms20.0Ma0.2 20.59 0.18 0.00015 4803480^{3}
Table 1: Description of MHD simulation cubes which some of them have been used in the series of papers about VGT [118, 119, 89, 88]. MsM_{s} and MAM_{A} are the R.M.S values at each the snapshots are taken. The incompressible simulation is performed by [47].

References