J Vidal
email: j.n.vidal@leeds.ac.uk

D Cébron

A Ud-Doula

E Alecian

Fossil field decay due to nonlinear tides in massive binaries

Keywords: hydrodynamics -instabilities -waves -stars, magnetic field -stars, massive

Context. Surface magnetic fields have been detected in 5 to 10% of isolated massive stars, hosting outer radiative envelopes. They are often thought to have a fossil origin, resulting from the stellar formation phase. Yet, magnetic massive stars are scarcer in (close) short-period binaries, as reported by the BinaMIcS (Binarity and Magnetic Interaction in various classes of Stars) collaboration. Aims. Different physical conditions in the molecular clouds giving birth to isolated stars and binaries are commonly invoked. In addition, we propose that the observed lower magnetic incidence in close binaries may be due to nonlinear tides. Indeed, close binaries are probably prone to tidal instability, a fluid instability growing upon the equilibrium tidal flow via nonlinear effects. Yet, stratified effects have hitherto been largely overlooked. Methods. We theoretically and numerically investigate tidal instability in rapidly rotating, stably stratified fluids permeated by magnetic fields. We use the short-wavelength stability method to propose a comprehensive (local) theory of tidal instability at the linear onset, discussing damping effects. Then, we propose a mixing-length theory for the mixing generated by tidal instability in the nonlinear regime. We successfully assess our theoretical predictions against proofof-concept, direct numerical simulations. Finally, we compare our predictions with the observations of short-period, double-lined spectroscopic binary systems. Results. Using new analytical results, cross-validated by a direct integration of the stability equations, we show that tidal instability can be generated by nonlinear couplings of inertia-gravity waves with the equilibrium tidal flow in short-period massive binaries, even against the Joule diffusion. In the nonlinear regime, a fossil magnetic field can be dissipated by the turbulent magnetic diffusion induced by the saturated tidal flows. Conclusions. We predict that the turbulent Joule diffusion of fossil fields would occur in a few million years for several short-period massive binaries. Therefore, turbulent tidal flows could explain the observed dearth of some short-period magnetic binaries.

Introduction

The magnetism of massive stars has sparked the interest of astronomers for a long time (Babcock 1958). More recently, large spectropolarimetric surveys of these stars have been undertaken (Hubrig et al. 2014;Wade et al. 2015;Grunhut et al. 2016). They have detected surface magnetic fields in 5 to 10% of pre-main sequence and main-sequence massive stars (e.g. Alecian et al. 2019;Mathys 2017). In addition, a magnetic dichotomy has been evidenced between the strong magnetism of chemically peculiar A/B stars (e.g. Auriere et al. 2007;Sikora et al. 2018) and the ultra-weak magnetism of Vega-like stars (Lignieres et al. 2009;Petit et al. 2010[START_REF] Petit | [END_REF]Blazère et al. 2016). The origin of these fields is unclear. According to stellar evolution theory, massive stars host thick outer radiative envelopes, which are stably stratified in density. These envelopes are often assumed to be motionless in standard stellar models (e.g. [START_REF] Kippenhahn | Stellar Structure and Evolution[END_REF]). This severely challenges the classical dynamo mechanism [START_REF] Parker | Cosmical Magnetic Fields: Their Origin and Their Activity[END_REF], which requires internal turbulent motions (for instance that is convection in low-mass stars). Some dynamo mechanisms have been proposed, such as re-lying on the convection of the innermost convective core (Brun et al. 2005;Featherstone et al. 2009) generating magnetic flux tubes rising buoyantly towards the surface (Mac-Gregor & Cassinelli 2003;MacDonald & Mullan 2004), on differentially rotating flows (Spruit 1999(Spruit , 2002;;Braithwaite 2006;Jouve et al. 2015) or on baroclinic flows (Simitev & Busse 2017). However, the relevance of these mechanisms remains elusive and debated.

The most accepted assumption is that magnetic fields in massive stars have a fossil origin (Borra et al. 1982;Moss 2001), because they appear relatively stable over the observational period. The fields would be shaped in the stellar formation phase and survive into later stages of stellar evolution. The fossil theory is now well supported by the existence of magnetic configurations stable enough to survive over a stellar lifetime (Braithwaite & Spruit 2004;Braithwaite & Nordlund 2006;Reisenegger 2009;Duez & Mathis 2010;Duez et al. 2010;Akgün et al. 2013). Hence, the fossil theory may provide a unifying explanation for the magnetism of intermediate-mass stars (Braithwaite & Spruit 2017). However, the fossil hypothesis still suffers from sev-eral weaknesses. In particular, we may naively expect all massive stars to exhibit surface magnetic fields. This is not consistent with the observations (e.g. Alecian et al. 2019;Mathys 2017). Moreover, the theory does not convincingly explain the observed magnetic bi-modality (e.g. Auriere et al. 2007). To solve these issues, different physical conditions in the star-forming regions are usually invoked (e.g. Commerçon et al. 2010Commerçon et al. , 2011)).

An efficient way to assess this hypothesis is to survey close binaries. Although the formation of binaries is not well understood, we can reasonably assume that the two binary components were formed together, under similar physical conditions. Then, observing magnetic fields in the two components of a (short-period) binary system would provide constraints to disentangle initial condition effects from other possible physical effects. The BinaMIcS (Binarity and Magnetic Interaction in various classes of Stars) collaboration (Alecian et al. 2014b(Alecian et al. , 2019) surveyed short-period massive binaries, aiming at providing new constraints on the magnetic properties of massive stars. About 170 shortperiod, double-lined spectroscopic binary binary systems on the main-sequence have been analysed by the BinaMIcS collaboration (Alecian et al., in prep). They have typical orbital periods of T orb ≤ 20 days and a separation distance between the two components of D ≤ 1 au.

A magnetic incidence of about 1.5 % has been measured in the BinaMIcS sample. This is much lower than what is typically found in isolated hot stars (see above). Therefore, radiative stars in short-period binary systems are apparently much less frequently magnetic than in isolated systems. This confirms the general trend observed in other studies, dedicated to intermediate-mass A-type stars (e.g. Carrier et al. 2002;Mathys 2017). It also extends it to hotter and more massive stars. Note that magnetic fields have been mostly observed only in one of the two components of the close binaries (Alecian et al. 2019), with a notable exception in the Lupi system (Shultz et al. 2015). If initial conditions were solely responsible for the presence of a fossil field, then we would naively expect fossil fields in the two components of a magnetic binary. This is clearly not a general trend. Thus, these puzzling observations defy the theories that are commonly invoked. They lead to scientific questions such as the following: is it due to formation processes (Commerçon et al. 2011;Schneider et al. 2016), that exclude more magnetic fields in binaries than in single stars? Or is there any other mechanism in close binaries, responsible for relatively quick dissipation of magnetic fields?

An alternative scenario is to invoke mixing in radiative envelopes, that may dynamically dissipate the pervading fossil fields. Identifying mixing sources in radiative stars is a long standing issue (see the review in [START_REF] Zahn | Proc. Int. Astron. Union[END_REF], because mixing also affects the transports of chemical elements and of angular momentum. Shear-driven turbulence, induced by the (expected) differential rotation of radiative envelopes (e.g. Goldreich & Schubert 1967;Rieutord 2006), has been largely investigated (e.g. [START_REF] Zahn | Symposium-International Astronomical Union[END_REF]Mathis et al. 2004Mathis et al. , 2018)).

A more efficient mixing in short-period stellar binaries may be provided by tides. Indeed, short-periods binaries are strongly deformed (e.g. [START_REF] Chandrasekhar | Ellipsoidal Figures of Equilibrium[END_REF]Lai et al. 1993). Tides proceed in two steps. Firstly, they generate a quasi-hydrostatic tidal bulge, known as the equilibrium tidal velocity field (Zahn 1966;Remus et al. 2012). This leads to angular momentum exchange between the orbital and spinning motions. Secondly, they induce dynamical tides (e.g. [START_REF] Zahn | [END_REF]Rieutord & Valdettaro 2010), that is waves propagating here within the radiative regions. Radiative envelopes support the propagation of many waves that are continuously emitted by various mechanisms (e.g. Gastine & Dintrans 2008a,b;Mathis et al. 2014;Edelmann et al. 2019). Among them, internal gravity waves (Dintrans et al. 1999;[START_REF] Mirouh | [END_REF]) do induce mixing processes in radiative regions (Schatzman 1993;Rogers & McElwaine 2017).

However, the aforementioned tidal effects are only linear processes. They are certainly relevant for the weak tides observed in the solar system and in extra-solar planets (Ogilvie 2009). Yet, they may be inefficient to modify fossil fields on their own. Moreover, nonlinear effects can significantly modify the outcome of the tidal response, and thereby the influence of tides on fossil fields. Indeed, the equilibrium tidal flow can be unstable against tidal instability in stars (e.g. Rieutord 2004; Le Bars et al. 2010;Barker & Lithwick 2013a,b;Clausen & Tilgner 2014;Barker et al. 2016;Barker 2016;Vidal & Cébron 2017;Vidal et al. 2018). This fluid instability is the astrophysical version of the generic elliptical instability, which affects all rotating fluids with elliptically deformed streamlines (Bayly 1986;Pierrehumbert 1986;Waleffe 1990;Gledzer & Ponomarev 1992;Le Dizès 2000). The underlying physical mechanism is nonlinear triadic resonances between two waves and the background elliptical velocity (Kerswell 2002). Hence, in stellar interiors, the origin of tidal instability is a resonance between rotational waves and the underlying strain field responsible for the elliptic deformation, that is the equilibrium tidal flow. The nonlinear saturation of tidal instability can exhibit a wide variety of nonlinear states in homogeneous fluids, such as space-filling small-scale turbulence (Le Reun et al. 2017, 2019) or even global mixing (Grannan et al. 2016;Vidal et al. 2018). Interestingly, Clausen & Tilgner (2014) investigated the influence of compressibility on the stability limits of tidal instability in stars or planets. They showed that fluid compressibility has almost no effect on the onset of tidal instability.

Yet, the fate of tidal instability in stratified fluid interiors is poorly known. On the one hand, theoretical studies have shown that an axial density stratification, aligned with the spin angular velocity, has stabilising effects (Miyazaki & Fukumoto 1991, 1992). Moreover, in the equatorial region, radial stratification can either increase or decrease the growth rate of the instability (Kerswell 1993a; Le Bars & Le Dizès 2006;Cébron et al. 2013). On the other hand, three-dimensional numerical simulations suggest that tidal instability is largely unaffected in stratified interiors, for a wide range of stratification (Cébron et al. 2010;Vidal et al. 2018). Therefore, a consistent global picture of tidal instability in stably stratified interiors is highly desirable. Indeed, this is a prerequisite to assess the astrophysical relevance of tidal instability for the stellar mixing in close massive binaries.

The present study has a twofold purpose. Firstly, we aim to propose a predictive global theory of tidal instability in idealised stratified interiors. Such a theory should accurately predict the onset of instability, reconciling within a single framework previous theoretical analyses (Miyazaki & Fukumoto 1992;Miyazaki 1993;Kerswell 1993a; Le Bars & Le Dizès 2006) and numerical studies (Cébron et al. 2010;Le Reun et al. 2018;Vidal et al. 2018). Then, asymptotic predictions for the (nonlinear) tidal mixing, as found numerically in Vidal et al. (2018), must be obtained to carry out the astrophysical extrapolation. Secondly, we aim to propose a new physical scenario of turbulent Joule diffusion of fossil fields, compatible with the observed lower magnetic incidence in short-period massive binaries as analysed by the BinaMIcS collaboration (Alecian et al., in prep.). The paper is organised as follows. In Sect. 2, we present the idealised model. In Sect. 3, we investigate the linear regime of tidal instability in stratified interiors. In Sect. 4, we develop a mixing-length theory of the (turbulent) tidal mixing, which is compared with proof-of-concept simulations. Then, we attempt to propose a novel scenario for close binaries in Sect. 5, which is applied to short-period binary systems analysed by the BinaMIcS collaboration. Finally, we end the paper with a conclusion in Sect. 6 and outline some perspectives.

Formulation of the problem

Assumptions

The full astrophysical problem is rather complex. Hence, we consider an idealised model, for which numerical simulations can be conducted and compared with theory. We describe here the main assumptions, as they will be used throughout the paper. Our model retains the essential features to study tidal instability: rotation, stratification, magnetic fields and a tidally deformed geometry.

We consider a primary self-gravitating body of mass M 1 and volume V, filled with an electrically conducting and rotating fluid. Radiative fluid envelopes are expected to undergo differential rotation (Goldreich & Schubert 1967), for instance provided by the contraction occurring during the pre-main-sequence phase or baroclinic torques (Busse 1981(Busse , 1982;;Rieutord 2006). However, differential rotation tends to be smoothed out by hydromagnetic effects (e.g. Moss 1992). In particular, differential rotation may sustain magneto-rotational instability, ultimately leading a state of solid-body rotation (Arlt et al. 2003;Rüdiger et al. 2013Rüdiger et al. , 2015) ) on a few Alfvén timescales (Jouve et al. 2015). Consequently, we assume that the radiative envelope is uniformly rotating.

Then, the primary is orbited by a companion star of mass M 2 . We investigate here only short-period, noncoalescing binaries. Due to the interplay between rotation and gravitational effects, the shape of each binary component departs from the spherical geometry. We do not seek here the mutual tidal interactions between the primary and the secondary. Indeed, at the leading order, the primary (or the secondary) is a triaxial ellipsoid in solid-body rotation (e.g. [START_REF] Chandrasekhar | Ellipsoidal Figures of Equilibrium[END_REF]Lai et al. 1993), as obtained by modelling the other component by a point-mass companion. Therefore, for the sake of simplicity, we treat the secondary as a point mass for the orbital dynamics (e.g. Hut 1981Hut , 1982)).

The secondary rises an equilibrium tide (Zahn 1966;Remus et al. 2012) on the fluid primary, with a typical equatorial amplitude denoted β 0 . An initially eccentric binary system, with non-synchronised rotating components, evolves towards an orbital configuration characterised by a circular orbit and, ultimately, the system will be synchronised (Hut 1981(Hut , 1982)). For weakly elliptic orbits, Nduka (1971) showed that the ellipsoidal distortion β 0 points to- ward the tidal companion at the leading order. Vidal & Cébron (2017) also showed that weak orbital eccentricities have little effects on the internal fluid dynamics of the primary (at the leading order in the eccentricity). Thus, we assume that the binary system is circularised (or weakly eccentric), with an equatorial bulge aligned with the orbital companion.

Then, we consider only the leading-order component of the tidal potential, associated with the asynchronous tides (Ogilvie 2014). The fluid spin and orbital angular velocities are coplanar and aligned in the inertial frame. Note that this is the expected equilibrium state of the system (e.g. [START_REF] Chandrasekhar | Ellipsoidal Figures of Equilibrium[END_REF]). The other tidal components, for instance obliquity tides, are mainly responsible for additional fluid instabilities that are superimposed on tidal instability (e.g. Kerswell 1993b). They can be neglected in a first attempt.

Within the fluid primary, diffusive effects appear at the second order for tidal instability, in the absence of significant surface diffusive effects at a free boundary (Rieutord 1992;Rieutord & Zahn 1997). Hence, we assume that the fluid has a uniform kinematic viscosity ν, a radiative (thermal) diffusivity κ T [START_REF] Kippenhahn | Stellar Structure and Evolution[END_REF]) and a magnetic diffusivity η = 1/(µ 0 σ), where σ is the electrical conductivity and µ 0 the magnetic permeability of free space. Finally, Clausen & Tilgner (2014) showed that compressibility has almost no effect on tidal instability. Therefore, we model density variations departing from the isentropic profile within the Boussinesq approximation (Spiegel & Veronis 1960).

Governing equations

The radiative star is modelled as a tidally deformed, uniformly rotating and stably stratified fluid domain in the Boussinesq approximation. The fluid domain, of typical density ρ M = M 1 /V, is rotating at the angular velocity Ω s in the inertial frame. The orbital configuration is illustrated in Fig. 1. The orbital angular velocity in the inertial frame is denoted Ω orb 1 z , with Ω orb Ω s for a non-synchronised orbit. In the central frame, in which the boundary shape is stationary, the outer boundary ∂V of the fluid domain describes an ellipsoid (e.g. [START_REF] Chandrasekhar | Ellipsoidal Figures of Equilibrium[END_REF]Lai et al. 1993). Its mathematical expression in Cartesian coordinates

(x, y, z) is x a 2 + y b 2 + z c 2 = 1, (1)
where (a, b, c) are the semi-axes. The equatorial ellipticity is defined by

β 0 = |a 2 -b 2 |/(a 2 + b 2 ).
In the following, we work in dimensionless variables. To do so, we choose a typical radius R of the fluid domain as unit of length, Ω -1 s as a unit of time, Ω 2 s R/(α T g 0 ) as unit of the temperature with g 0 a typical value of the gravity field at the outer boundary and α T the thermal expansion coefficient (at constant pressure). For the magnetic field, we choose Ω s R √ ρ M µ 0 as typical unit. We also introduce the dimensionless orbital frequency Ω 0 = Ω orb /Ω s . The dimensionless variables are the velocity field v, the temperature field T, the magnetic field B and the gravity field g. They are written without * , to distinguish them from their dimensional counterparts

[v * , T * , B * , g * ].
The field variables, at the position r and time t, are governed in the rotating central frame by momentum, energy and induction equations. They read

∂v ∂t = -(v • ∇) v -2Ω 0 1 z × v -∇(P + P m ) + E k ∇ 2 v (2a) -T g + (B • ∇) B, ∂T ∂t = -(v • ∇) T + E k Pr ∇ 2 T + Q, (2b)
∂B ∂t = ∇ × (v × B) + Em ∇ 2 B, (2c)
∇ • v = ∇ • B = 0, (2d)
with P the hydrostatic pressure (including centrifugal effects), P m = |B| 2 /2 the magnetic pressure, Q a heat source term and g = -∇Φ 0 the (imposed) gravity field in the Boussinesq approximation. In governing equations (2), we have introduced as dimensionless numbers the Ekman number E k = ν/(Ω s R 2 ), the Prandtl number Pr = ν/κ T , the magnetic Prandtl number Pm = ν/η and the magnetic Ekman number Em = E k/Pm. Typical values are given in Table 1 for stellar interiors. The latter are characterised by weakly diffusive conditions (that is E k, E k/Pr, E k/Pm 1). This regime will greatly simplify the analysis of tidal instability.

We do not directly solve full equations (2). Indeed, a reference ellipsoidal state is always first established, on which tidal instability grows upon and nonlinearly saturates. We expand the field variables as perturbations (not necessarily small) around a steady reference ellipsoidal basic state [U 0 , T 0 ](r) (detailed in Section 2.3). Thus, the dimensionless nonlinear governing equations for the perturbations [u, Θ](r, t) and the magnetic field B(r, t) are Notes. Note that N 0 = 0 in convective envelopes. The order of magnitude of the Lehnert number in RZ has been estimated from the typical values for the scarce short-period magnetic binaries given in Table 4.

du dt + (u • ∇) u = -(u • ∇) U 0 -2Ω 0 1 z × u -∇(p + P m ) (3a) + E k ∇ 2 u -Θg + (B • ∇) B, dΘ dt + (u • ∇) Θ = -(u • ∇) T 0 + E k Pr ∇ 2 Θ, (3b)
∂B ∂t + ∇ × (B × u) = ∇ × (U 0 × B) + Em ∇ 2 B, (3c)
∇ • u = ∇ • B = 0, B(r, t = 0) = B 0 (r), (3d)
with d/dt = ∂/∂t + (U 0 • ∇) the material derivative along the basic flow U 0 , p the hydrodynamic pressure and B 0 (r) the (initial) fossil field. For the proof-of-concept simulations introduced in Sect. 4, the equations will be supplemented by appropriate boundary conditions.

Reference ellipsoidal configuration

We consider a steady reference equilibrium state, for which isopycnals coincide with isopotentials of the gravitational potential Φ 0 (including centrifugal force, self-gravity and tides). This assumption is consistent with compressible models (Lai et al. 1993). Hence, we assume that the background temperature profile T 0 (r) and the gravity field g, solutions of equations ( 2a)-(2b), are in barotropic equilibrium (for a well-chosen Q) such that g × (∇T 0 ) = 0. We do not consider the baroclinic part, which is known to increase the growth rate of tidal instability in the equatorial plane (Kerswell 1993a; Le Bars & Le Dizès 2006). In the nonlinear regime, a baroclinic state would certainly sustain tidal turbulence in stellar interiors. However, we focus here on the less favourable configuration for the growth of tidal instability (that is barotropic stratification). This choice is also consistent with the assumed uniform rotation of the fluid. Indeed, baroclinic torques are known to sustain differential rotation (e.g. Busse 1981Busse , 1982;;Rieutord 2006). Moreover, considering barotropic stratification is a relevant assumption when the isopycnals move sufficiently fast to keep track of the rotating tidal potential (Le Reun et al. 2018). This situation is expected when stratification is large enough in amplitude compared with the differential rotation Ω s -Ω orb between the spin and the orbit.

To characterise the strength of stratification, we introduce the dimensional (local) Brunt-Väisälä frequency N in the reference state. In dimensional variables, the latter is defined by

N 2 = -α T g * • ∇T * 0 . (4)
The fluid ellipsoid is assumed to be entirely stably stratified in density (N 2 > 0). The exact profiles in stellar interiors depend on the stellar internal processes. However, we want to compare analytical and numerical computations, which cannot be done for arbitrary profiles. Thus, we assume that the dimensionless total gravitational potential is quadratic, such that

Φ 0 = x a 2 + y b 2 + z c 2 .
(5)

Then, we consider the (dimensionless) reference temperature in barotropic equilibrium T 0 = (N 2 0 /Ω 2 s ) Φ 0 , with N 0 a typical value of the Brunt-Väisälä frequency at the outer boundary. For intermediate-mass stars with M 1 = 3M (where M is the solar mass), a typical value is N 0 ∼ 10 -3 s -1 (e.g. Rieutord 2006), and typical values of Ω -1 s range between 1 and 100 days (Mathys 2017). This give the estimate 0 ≤ N 0 /Ω s ≤ 100 in radiative stars. Hence, a barotropic reference configuration is a reasonable starting assumption.

The ellipsoid is initially permeated by an fossil magnetic field B 0 (r) (in dimensionless form). To measure its relative strength (with respect to rotation), we introduce the (dimensionless) Lehnert number (Lehnert 1954)

Le = B * 0 Ω s R √ ρ M µ 0 , (6)
where B * 0 is the typical (dimensional) strength of the fossil field. The Lehnert number is the ratio of the Alfvén and rotational velocities. When Le 1, the Coriolis force dominates the Lorentz force in momentum equation (2a). The regime Le 1 is encountered in many magnetic stars (Table 1). In the Sun, a typical value is Le ∼ 10 -5 (Charbonneau 2014). For the scarce magnetic binaries which have been observed, the median field strength is B * 0 ∼ 1 kG (see also values in Table 4). This gives the typical values Le ≤ 10 -5 -10 -4 . Hence, we focus on the regime Le 1 in the following.

Finally, the orbital configuration drives the equilibrium tidal flow (e.g. Remus et al. 2012). For non-synchronised orbits (Ω 0 1), its leading-order flow components in the central frame are (e.g. Cébron et al. 2012b;Vidal & Cébron 2017)

U 0 (r) = (1 -Ω 0 ) -(1 + β 0 )y 1 x + (1 -β 0 )x 1 y . (7)
with [1 x , 1 y , 1 z ] the unit Cartesian vectors. This is an exact incompressible solution of hydrodynamic momentum equation (2a) without diffusion. Moreover, it satisfies the nonpenetration condition U 0 • 1 n = 0 at the boundary ∂V, with 1 n the unit outward normal vector. Note that basic flow ( 7) is not rigorously a solution in the presence of an arbitrary magnetic field. Yet, the large-scale poloidal and toroidal components of B 0 (r) are unlikely to modify the equilibrium tidal flow in the weak field regime Le 1 as often assumed (e.g. Kerswell 1993aKerswell , 1994;;Mizerski & Bajer 2011).

Onset of tidal instability

We present the stability analysis of tidal instability at the linear onset. Firstly, we outline the general stability method in Sect. 3.1. In Sect. 3.2, we carry out an asymptotic analysis to get physical insight of the instability mechanism. The latter mechanism is compared and validated with the (numerical) solutions of the full stability equations in Sect. 3.3, without making any prior assumption. Finally, we discuss the (laminar) magnetic diffusive effects in Sect. 3.4.

Short-wavelength perturbations

In the absence of any driving mechanism, a fossil field B 0 slowly decays on the Ohmic diffusive timescale (Ω s E k/Pm) -1 . This time is larger than the typical lifetime of the least massive stars on the main-sequence (e.g. Braithwaite & Spruit 2017). However, equations (3) support the propagation of several waves in rotating radiative interiors, characterised by Le 1 and N 0 /Ω s 1 (see Table 1). They can strongly modify the dynamic evolution of radiative envelopes. These waves are continuously emitted and, in the presence of tides, they can be nonlinearly coupled with the equilibrium tidal velocity field U 0 to sustain tidal instability. Tidal instability is intrinsically a local (small scale) instability (Kerswell 2002;Cébron et al. 2012b;Barker & Lithwick 2013a,b), but it also exists in global models (e.g. Kerswell 1993a;Grannan et al. 2016;Vidal et al. 2018). The global stability analysis is beyond the scope of the present study. However, in the diffusionless regime, threedimensional global perturbations of small enough length scales are excited (e.g. Vidal & Cébron 2017), such that they are not affected by the boundary. Hence, we can advantageously investigate the growth of tidal instability in stellar interiors by performing a local stability analysis. In Appendix A, we have extended the general local stability theory to account for combined magnetic and buoyancy effects within the Boussinesq approximation.

We focus on the subsonic wave spectrum (low Mach number), made of MAC (Magneto-Archimedean-Coriolis) waves. Indeed, high-frequency sonic waves are not involved in tidal (elliptical) instability (Le Duc 2001), though they may be coupled with tides (e.g. in coalescing binary neutron stars, see Weinberg 2016). The properties of MAC waves have already been outlined elsewhere (e.g. Gubbins & Roberts 1987;Mathis & de Brye 2011;Sreenivasan & Narasimhan 2017). Note that they have global bounded counterparts, known as Magneto-Archimedean-Coriolis (MAC) modes. The global modes are briefly discussed in Appendix B. The wave spectrum is bounded from below by slow Magneto-Coriolis (MC) waves, sustained by the Lorentz and Coriolis forces with an angular frequency ω i scaling as |ω i | ∝ Le 2 (e.g. Malkus 1967;Labbé et al. 2015). The spectrum is bounded from above by internal gravity waves (modified by rotation), with an angular frequency |ω i | ≤ N 0 /Ω s for strong stratification (Friedlander & Siegmann 1982a). In-between, the spectrum exhibits Coriolis waves [START_REF] Greenspan | The Theory of Rotating Fluids[END_REF]Backus & Rieutord 2017) and inertial-gravity (or gravito-inertial) waves (e.g. Dintrans et al. 1999;[START_REF] Mirouh | [END_REF]).

In the weak field limit Le 1, magnetic effects are negligible (at the leading order) on inertial waves (Schmitt 2010;Labbé et al. 2015) and gravito-inertial ones, as outlined in Appendix B. Moreover, only nonlinear couplings of inertial and gravito-inertial waves can trigger tidal instability with significant growth rates to overcome the leadingorder diffusive effects (Kerswell 1993a(Kerswell , 1994)), as we confirm in Appendix C. This behaviour is also supported by local simulations (Barker & Lithwick 2013a) and global dynamo numerical simulations in homogeneous (Cébron & Hollerbach 2014;Reddy et al. 2018) and stratified fluids (Vidal et al. 2018). They showed that even a dynamo magnetic field only barely modifies the hydrodynamic tidal flows. Therefore, we can consider only the hydrodynamic Boussinesq stability equations in relevant the weak field regime Le 1. The leading-order magnetic effect is the Joule diffusion. From the values given in Table 1, diffusive effects can be a priori neglected at the first order of the stability theory. We will confirm that this assumption is relevant by reintroducing them in Sect. 3.4.

We seek three-dimensional local perturbations, solution of linearised hydrodynamic equations (3). To do so, we consider short-wavelength (WKB) perturbations (Lifschitz & Hameiri 1991;Friedlander & Vishik 1991). They are local (plane-wave) perturbations, barely sensitive to the ellipsoidal boundary ∂V, advected along the fluid trajectories X(t) of U 0 (r). Given basic tidal flow (7), the Eulerian three-dimensional perturbations are expressed as

[u, Θ](r, t) = [ u, Θ](r, t) exp(ik(t) • r), | k(t)| = | k 0 |, (8)
where k(t) is the local wave vector with the initial value k 0 .

The local stability equations are solved in Lagrangian formulation, yielding the following ordinary differential equations (in dimensionless form)

DX Dt = U 0 (X), X(0) = X 0 , (9a)
Dk Dt = -(∇U 0 ) k, k(0) = k 0 , (9b)
D u Dt = 2 k k T |k | 2 -I ∇U 0 + 2 k k T | k | 2 -I Ω 0 1 z × u -Θ I - k k T | k | 2 g, (9c)
D Θ Dt = -( u • ∇) T 0 , (9d)
with D/Dt the Lagrangian time derivative. The solenoidal condition u • k = 0 is satisfied as long as it holds at the initial time, that is u(0) • k 0 = 0 in the Lagrangian description. Equations (9) do depend on the fluid trajectories X(t), because the gravity field g is spatially varying. Equations ( 9) are ordinary differential equations along the Lagrangian trajectories X(t). They are also independent of the magnitude of k 0 in the diffusionless limit. We follow Le Dizès (2000), by restricting the initial wave vector to the unit spherical surface k 0 = sin(θ 0 ) cos(φ 0 ) 1 x + sin(θ 0 ) sin(φ 0 ) 1 y + cos(θ 0 ) 1 z , (10) where φ 0 ∈ [0, 2π] is the longitude and θ 0 ∈ [0, π] is the colatitude between the spin axis 1 z and the wave vector k 0 . In practice, equations ( 9) are integrated from a range of wave vectors k 0 and initial positions X 0 within the reference ellipsoidal domain. The basic state is unstable against short-wavelength perturbations if

lim t→∞ | u(t, X 0 , k 0 )| + | Θ(t, X 0 , k 0 )| = ∞. (11)
Then, we determine the maximum (diffusionless) growth rate σ as the fastest growing solution for all initial conditions, that is the largest Lyapunov exponent. This gives a sufficient condition for instability.

Asymptotic analysis

Equilibrium tidal flow (7) admits analytical periodic fluid trajectories X(t) and wave vectors k(t), solution of equations (9a)-(9b). To get physical insight of the instability mechanism, we carry out an asymptotic analysis in the limit β 0 ≤ 1. We expand all quantities (X, k, u, Θ) in successive powers of β 0 (see technical details in Le Dizès 2000).

Triadic (nonlinear) couplings

It has been recognised for a long time that tidal instability is a parametric instability in homogeneous (e.g. Bayly 1986;Waleffe 1990) and stratified fluids (e.g. Miyazaki & Fukumoto 1992;Miyazaki 1993). The instability is due to triadic interactions between pairs of waves that are coupled with the underlying tidal flow (7). At the leading asymptotic order (β 0 = 0), a necessary condition for a parametric tidal instability in rotating fluids is given by the resonance condition in the central frame (Kerswell 2002;Vidal & Cébron 2017)

|ω i -ω j + δ| = 2 |1 -Ω 0 |, (12)
where [ω i , ω j ] are the angular frequencies of two free waves and δ a small detuning parameter, allowing for imperfect resonances (Kerswell 1993a;Le Dizès 2000;Lacaze et al. 2004;Vidal & Cébron 2017). The latter are due to either diffusive or topographic effects (δ → 0 for diffusionless fluids and weakly deformed spheres β 0 1). Detuning effects are negligible in the astrophysical regime (almost diffusionless and with β 0 1). Note that the case of synchronised orbits, characterised by Ω 0 = 1 (in average), is forbidden by condition (12). Synchronised orbits must be treated separately (see Appendix D).

Among the aforementioned resonances, sub-harmonic resonances are characterised by ω i = -ω j . Then, resonance condition ( 12) reduces (in the diffusionless regime) to

|ω i | = |1 -Ω 0 |, (13)
which is a necessary condition for sub-harmonic tidal instability. Sub-harmonic resonances have been found to be the most unstable in homogeneous fluids (Kerswell 1993a(Kerswell , 1994;;Le Dizès 2000;Vidal & Cébron 2017), that is generating the largest growth rates.

We are now in a position to survey the possible nonlinear couplings of the different types of waves that can trigger tidal instability. The waves can be combined in several ways to satisfy the resonance condition in non-synchronised systems. For instance, from condition (13), tidal instability traditionally exists in the orbital range -1 ≤ Ω 0 ≤ 3 when it involves Coriolis waves (e.g. Craik 1989;Le Dizès 2000;Vidal & Cébron 2017). We investigate in depth the coupling of hydrodynamic waves, postponing the discussion of hydromagnetic waves (unimportant for the present problem) to Appendix C.

Hydrodynamic waves at the parametric resonance

The behaviour of tidal instability is intrinsically associated with the properties of the waves involved in the triadic resonances. The wave-like equation, introduced in Appendix B, is a mixed hyperbolic-elliptic partial differential equation. In the general case, a wave-like hyperbolic domain coexists with an elliptic domain, in which the waves are evanescent. At the leading asymptotic order β 0 = 0, the characteristic curve delimiting the two domains is (Friedlander & Siegmann 1982b) with s the cylindrical radius. The hydrodynamic wave spectrum is divided in two main regimes. On the one hand, we have inertial waves modified by gravity, called inertialgravity waves and denoted H . They have hyperbolic turning surfaces given by equation ( 14). They are sub-divided in two families given by

z 2 + s 2 ω 2 i /(ω 2 i -4) = ω 2 i /(N 0 /Ω s ) 2 , (14)
H 1 : (N 0 /Ω s ) 2 < ω 2 i < 4, (15a)
H 2 : 0 < ω 2 i < min [4, (N 0 /Ω s ) 2 ]. (15b)
On the other hand, we have gravity waves modified by rotation, called gravito-inertial waves and denoted E. They have ellipsoidal turning surfaces given by equation ( 14). They are also divided in two families, characterised by

E 1 : 4 < ω 2 i < (N 0 /Ω s ) 2 , (16a)
E 2 : max [4, (N 0 /Ω s ) 2 ] < ω 2 i < 4 + (N 0 /Ω s ) 2 . ( 16b
)
These properties are quite general, because equation ( 14) depends solely on the reference state. Therefore, both global modes (e.g. Dintrans et al. 1999) and local waves propagating upon this reference configuration exhibit this distinction.

The different families of waves satisfying sub-harmonic resonance condition (13) are illustrated in Fig. 2. This is the main result of the linear theory, as this provides a necessary (and sufficient, see below) condition for the existence of tidal instability (in both global and local models). Two kinds of tidal instability can be obtained, depending on the value of key parameter Ω 0 . At the leading asymptotic order, we have obtained a general expression for sub-harmonic resonance condition (13) in the local theory, which can be written as

cos 2 (θ 0 ) = ω + N 2 0 r 2 0 [( N 2 0 r 2 0 -ω) cos 2 α 0 -cos(2α 0 )] ω 2 + N 2 0 r 2 0 [ N 2 0 r 2 0 -2 ω cos(2α 0 )] + 2 ω 1 [ ω (1 -N 2 0 z 2 0 ) + N 2 0 r 2 0 -1] ω 2 + N 2 0 r 2 0 [ N 2 0 r 2 0 -2 ω cos(2α 0 )] , (17)
with the background rotation

Ω 0 = Ω 0 /(1 -Ω 0 ), N 0 = (N 0 /Ω s )/|1 -Ω 0 |, ω = 4(1 + Ω 0 ) 2 , the initial position X 0 = (x 0 , z 0 ) = r 0 (sin α 0 , cos α 0 )
where r 0 is the initial radius and ω 1 = N 4 0 r 4 0 cos 2 α 0 sin 2 α 0 . The associated wave-like domains and colatitude angles θ 0 are shown in Figures 3 and4.

The classical allowable range of the instability in homogeneous fluids is -1 ≤ Ω 0 ≤ 3 (Craik 1989;Le Dizès 2000). Within this range, the sub-harmonic condition involves only H waves, as shown in Fig. 2. For neutral stratification (N 0 = 0), they are inertial waves H 1 , propagating in the whole fluid cavity (Friedlander & Siegmann 1982b). They have the colatitude angle at the sub-harmonic resonance (Le Dizès 2000)

2 cos(θ 0 ) = 1 1 + Ω 0 = 1 -Ω 0 . ( 18
)
This remains valid in weakly stratified fluids (that is N 0 /Ω s 1). Indeed, H 1 waves are only slightly modified by buoyancy. They still propagate in the whole fluid domain, as shown in Fig. 3 (left panel). In addition, their colatitude angle θ 0 is slightly larger than the value predicted by formula (18) on the polar axis.

When N 0 /Ω s ≥ 1, H 1 waves morph into H 2 waves made of inertia-gravity waves. These waves are strongly modified by buoyancy. Their wave-like domain is confined between hyperboloids, as shown in Fig. 3 (right panel). Outside the hyperboloid volume, these waves at the sub-harmonic resonance are evanescent (in global models). The characteristic curve delimiting the wave-like and evanescent domains, given by equation ( 14), is hyperbolic. Along the rotation axis, local waves at the sub-harmonic resonance do not propagate in the evanescent regions for vertical positions z c satisfying

|z c | ≥ |1 -Ω 0 | N 0 /Ω s . ( 19
)
This shows that axial stratification has a stabilising effect. This behaviour is responsible for an equatorial trapping of the waves in the other directions at the sub-harmonic resonance. Indeed, the hyperbolic wave-like domain, bounded by ( 14), converges towards the conical volume delimited by the asymptotic limit cos(θ c ) = |1 -Ω 0 |/2 (Friedlander & Siegmann 1982b), where θ c is the critical colatitude. This is exactly formula (18). Therefore, expression (18) also defines the position of the critical latitudes at which the waves at the sub-harmonic resonance have a group velocity orthogonal to the gravity field (here the radial direction at the leading order in β 0 ), that is a wave vector k ∝ g. Hence, these specific waves are insensitive to stratification. We emphasise that the presence of stratification does not alter the position of the critical latitudes (Friedlander & Siegmann 1982b,a). When |1 -Ω 0 | → 0, the waves at the sub-harmonic resonance are equatorially trapped according to formula (18).

Ω 0 = 0, N 0 /Ω s = 0.5. Right panel : H 2 wave: Ω 0 = 0, N 0 /Ω s = 2.
Dashed grey hyperbolic curve is given by equation ( 14). Tilted dashed grey line is the asymptotic curve given by cos θ 0 = |1 -Ω 0 |/2. Waves at the sub-harmonic resonance disappear along the polar axis when z ≤ |1 -

Ω 0 |/(N 0 /Ω s ). E 1 E 2
Fig. 4: Wave-like domains and colatitude θ 0 (degrees) for waves with ellipsoidal turning surface E satisfying subharmonic resonance condition (13). Left panel : E 1 wave:

Ω 0 = 3.4, N 0 /Ω s = 2. Right panel : E 2 wave: Ω 0 = 4, N 0 /Ω s = 10.
Dashed grey ellipsoidal curve is given by equation ( 14). Vertical dashed grey line is the asymptotic curve given by s = ( |1 -Ω 0 | 2 -4)/(N 0 /Ω s ), where s is the cylindrical radius from the spin axis. Waves satisfying the sub-harmonic resonance condition disappear along the polar axis when z ≤ |1 -Ω 0 |/(N 0 /Ω s ).

The orbital range Ω 0 ≤ -1 and Ω 0 ≥ 3 is known as the forbidden zone. In this range, tidal instability must involve gravito-inertial waves E for the sub-harmonic mechanism, whatever the strength of stratification. Indeed, Fig. 2 clearly shows that the waves at the sub-harmonic resonance depend only on the value of the orbital frequency Ω 0 . When N 0 /Ω s ≤ 1, the sub-harmonic condition is never satisfied within this orbital range. Hence, no tidal instability is triggered.

However, gravito-inertial waves E can be excited at the sub-harmonic resonance for strong stratification, typically N 0 /Ω s 1 when |Ω 0 | increases. Their critical characteristic surfaces, given by equation ( 14), are ellipsoidal. On the one hand, E 1 gravito-inertial waves are trapped in a region that does not encompass the polar axis, as shown in Fig. 4 (left panel). The minimum distance between the spin axis and the wave-like domain in the equatorial plane is given by (Friedlander & Siegmann 1982b)

x c = |1 -Ω 0 | 2 -4 N 0 /Ω s . ( 20
)
Therefore, the thickness of the wave-like domain increases when the ratio N 0 /Ω s increases. On the other hand, E 2 waves at the sub-harmonic resonance are gravito-inertial waves, trapped in a region that excludes the central part of the fluid (right panel of Fig. 4). Along the polar axis, these waves do not propagate when z is smaller than critical value (19). The size of wave-like domain increases when the ratio N 0 /Ω s increases. In the limit N 0 /Ω s → ∞, these waves become almost pure internal gravity waves, propagating in the whole fluid domain at the sub-harmonic resonance. This situation has been investigated numerically in local models (Le Reun et al. 2018), by assuming Ω s = 0.

Asymptotic growth rate in the equatorial plane

At the next asymptotic order in β 0 , we can obtain a concise explicit formula for the growth rate σ of tidal instability, valid in the equatorial plane z 0 = 0. Dispersion relation ( 17) gives, for α 0 = π/2 (after simplification),

ω + N 2 0 x 2 0 cos(θ 0 ) = ±1 (21)
with x 0 ≤ 1 the position of the initial trajectory X 0 in the equatorial plane. In the particular case Ω 0 = 0, equation ( 21) recovers equation (4.6) of Le Bars & Le Dizès (2006).

Several configurations are possible, depending on the parameters. On the one hand, the LHS of equation ( 21) is purely imaginary when -N 2 0 x 2 0 > ω, when stratification is unstably stratified (with N 2 0 /Ω 2 s ≤ 0). Then, a centrifugal instability grows upon the reference configuration, with a maximum (dimensionless) growth rate (e.g. Le Bars & Le Dizès 2006)

σ |1 -Ω 0 | = -N 2 0 x 2 0 -ω. ( 22
)
On the other hand, tidal instability is triggered when all terms in equation ( 21) are real. Hence, no sub-harmonic instability is possible when N 2 0 x 2 0 < -3 -4 Ω 0 (2 + Ω 0 ). This defines the forbidden zone of tidal instability in stably stratified fluids, at a given position x 0 . For neutral fluids (N 0 = 0), we recover the classical allowable orbital range of tidal instability -1 ≤ Ω 0 ≤ 3. Outside this range, we find that waves can be involved in triadic resonances in stratified fluids. Thus, (sub-harmonic) tidal instability could be triggered in stratified fluids when Ω 0 ≤ -1 and Ω 0 ≥ 3 (range known as the forbidden zone in neutral fluids). Then, the dimensionless growth rate in the equatorial plane is

σ |1 -Ω 0 | = (2 Ω 0 + 3) 2 16 (1 + Ω 0 ) 2 + 4 N 2 0 x 2 0 β 0 . (23)
Hence, the growth rate σ is weakened by stratification when N 2 0 x 2 0 increases. This effect was already discussed in the conclusion of Le Bars & Le Dizès (2006). They found that elliptical equipotentials are stabilising contrary to circular equipotentials. However, in this former case, their equation slightly differs from equation ( 23). Actually, their formula is erroneous because we will confirm the validity of expression (23) by direct numerical integration of the local stability equations (see below). Note also that equation ( 23) does not recover equation ( 24) of Cébron et al. (2013), obtained in the limit of a buoyancy force of order β 0 . In this limit, we recover their approximate formula (24) if we use their value for θ 0 , artificially set to its hydrodynamic value ω cos 2 θ 0 = 1 instead of its exact value given by expression (21).

We show in Fig. 5 the maximum growth rate, computed from formula (23), for different orbital configurations Ω 0 . Several points are worthy of comment. Firstly, tidal instability is excited in the equatorial region when -1 ≤ Ω 0 ≤ 3 (in the diffusionless limit), that is in the classical orbital range of tidal instability (Le Dizès 2000). This mechanism occurs for any realistic value of N 0 /Ω s ≤ 100 (see Table 1). In this orbital range, the maximum growth rate is always obtained for neutral fluids (N 0 = 0), yielding the usual (dimensionless) growth rate (Le Dizès 2000)

σ |1 -Ω 0 | = (2 Ω 0 + 3) 2 16 (1 + Ω 0 ) 2 β 0 . (24)
Secondly, outside the classical orbital range (in the forbidden zone), we unravel new tidal instabilities, triggered for large enough values of the Brunt-Väisälä frequency (N 0 /Ω s 1). Their growth rate can be larger than one in our dimensionless units (not shown), because their typical timescale is N -1 0 (rather than Ω -1 s ). Note that these subharmonic instabilities have been reported in local stratified simulations (Le Reun et al. 2018).

Therefore, in the equatorial region, we have shown that barotropic stratification has (i) a destabilising effect within the usual forbidden zone (Ω 0 ≤ -1 and Ω 0 ≥ 3), and (ii) a stabilising effect when -1 ≤ Ω 0 ≤ 3. However, we emphasise that a baroclinic state (that is g × ∇T 0 0) has the opposite effect when -1 ≤ Ω 0 ≤ 3 (Kerswell 1993a; Le Bars & Le Dizès 2006). This behaviour can be recovered by our asymptotic analysis, by assuming an imposed gravity field with a different equatorial ellipticity β 1 β 0 . For such a reference ellipsoidal configuration, formula (23) becomes

σ |1 -Ω 0 | = (2 Ω 0 + 3) 2 16 (1 + Ω 0 ) 2 + 4 N 2 0 x 2 0 β 0 + N 2 0 x 2 0 β 0 -β 1 2 Ω 0 + 3 . ( 25
)
This corrects misprints in equation (D.1) of Cébron et al. (2012b), obtained with a different unit of time. For circular isopotentials (β 1 = 0), formula (25) clearly shows that the growth rate of tidal instability is enhanced in the equatorial plane. This is the configuration considered by Kerswell (1993a) and Le Bars & Le Dizès (2006). Besides, equation (25) recovers formula (4.7) of Le Bars & Le Dizès (2006) in their particular case Ω 0 = 0.

Along rotation axis

Similarly, we can obtain an analytical formula along the axis of rotation. To do so, we consider initial fluid trajectories close to the spin axis (that is s 0 = β 0 1). Dispersion relation ( 17) simplifies along the polar axis into (with

α 0 = 0) cos 2 (θ 0 ) = 1 -N 2 0 z 2 0 ω -N 2 0 z 2 0 . (26)
Condition ( 26) shows that the forbidden zone of tidal instability coincides with the one for neutral fluid, that is Ω 0 ≤ -1 and Ω 0 ≥ 3. Outside this range, the asymptotic (dimensionless) growth rate is

σ |1 -Ω 0 | = (2 Ω 0 + 3) 2 1 -N 2 0 z 2 0 16 (1 + Ω 0 ) 2 -4 N 2 0 z 2 0 β 0 . (27)
Formula ( 27) is identical to the diffusionless growth rate devised by Miyazaki (1993), denoting N 0 z 0 their local value of stratification. Hence, an axial stratification is uniformly stabilising along the polar axis.

Numerical solutions in the orbital range

-1 ≤ Ω 0 ≤ 3
The previous asymptotic analysis shows that stable stratification (N 0 /Ω s ≥ 0) has indubitably a stabilising behaviour.

In particular, axial stratification is responsible for a trapping of the instability in the equatorial region. These observations agree with existing local analyses (Miyazaki & Fukumoto 1992;Miyazaki 1993;Kerswell 1993a; Le Bars & Le Dizès 2006;Cébron et al. 2012b). However, this is barely consistent with three-dimensional numerical simulations (Vidal et al. 2018), showing that the growth rate at the onset is largely unaffected by stratification. To reconcile these approaches, we investigate the onset of tidal instability in the whole reference fluid domain.

To go beyond the analytical formulas in the equatorial plane and on the polar axis, we solve numerically local stability equations (9). To do so, we have used the local stability code SWAN (Vidal & Cébron 2017). We have updated it to handle the general local stability equations, which are described in Appendix A. Moreover, by solving numerically the full local equations, we do not assume a priori sub-harmonic condition (13). Hence, we emphasise that the numerical solutions will assess the general validity of sub-harmonic condition (13) in stratified fluids, which has already been confirmed in homogeneous fluids (Kerswell 1993a(Kerswell , 1994;;Le Dizès 2000;Vidal & Cébron 2017).

In the astrophysical regime β 0 1, the resonance condition (12) or (13) (if valid), are satisfied numerically for only a few initial wave vectors k 0 . Numerically, this is too expansive to survey all the possible configurations for k 0 . Thus, we set the equatorial ellipticity to the value β 0 = 0.2. This does not change in any way the relevance of the following numerical results, because σ is proportional to β 0 (when β 0 1). However, for large values of β 0 , the general resonance condition (12) can be satisfied for a wider range of initial wave vectors k 0 , due to geometrical detuning effects (Le Dizès 2000; Vidal & Cébron 2017). Hence, the computations are more tractable numerically. In practice, we have considered a large enough number of fluid trajectories X(t) and k 0 , sampling the whole ellipsoidal domain to get representative results.

We have validated the code against analytical formulas ( 23) and ( 27), obtaining a perfect agreement and crossvalidating the asymptotic analysis (not shown). Then, we only investigate the stability of equilibrium tidal flow (7) within the orbital range -1 ≤ Ω 0 ≤ 3, representative of the binary systems considered in Sect. 5. When stratification is neutral (N 0 = 0), the whole domain is unstable as expected (not shown), with a homogeneous growth rate predicted by formula (24). We survey illustrative stably stratified configurations N 0 /Ω 0 ≥ 0 in Fig. 6. Several aspects are worthy of comment. We clearly recover the trapping of the instability due to axial stratification, outlined by the weakening of the growth rate in formula ( 27). In the bulk, the weakening first occurs near the polar regions, and then spreads out towards lower latitudes when N 0 /Ω s increases (from top to bottom panels in Fig. 6). Along the polar axis, it turns out that the transition between unstable and stable areas occurs at position (19). In addition, the equatorial region is still unstable for the range of N 0 /Ω s considered, as observed in Fig. 5. Then, the numerical analysis unravels an unexpected feature compared to the asymptotic analysis. When N 0 /Ω s increases, tidal instability is always triggered in the bulk. Non-vanishing growth rates exist as long as waves can be nonlinearly coupled, according to the resonance condition that is valid when β 0 1 (bounded from below and above by the grey dashed curves). An exception appears here for Ω 0 = -0.5 and N 0 /Ω s = 5 (top panel of Fig. 6). This is due the finite value β 0 = 0.2 used in the numerics, which is responsible for imperfect resonances in condition (12) due to geometric detuning effects (e.g. Le Dizès 2000; Lacaze et al. 2004;Vidal & Cébron 2017). Moreover, the striking feature is that stratification tends to confine tidal instability along critical (conical) latitudes (white dashed lines), tilted from the spin (polar) axis. The tilt angle in the numerics is exactly the colatitude angle θ 0 (given our numerical resolution, not shown), predicted by formula (18) and which maximises the classical tidal instability for neutral fluids (N 0 = 0). This shows that the equatorial trapping does not affect similarly all the orbits. When -1 ≤ Ω 0 ≤ 1, the tilt angle θ 0 given by formula (18) goes from θ 0 = 0 to θ 0 = π/2. Hence, the instability on retrograde orbits (with small values of θ 0 ) is less weakened than on prograde orbits. When N 0 /Ω s 1, tidal instability is equatorially trapped between the conical layers, with growth rates in the equatorial plane predicted by formula (23). However, on these conical layers, it turns out that the largest growth rate σ is unaffected by stratification, for any value of N 0 /Ω s . Hence, the maximum growth rate of tidal instability in stratified fluids is always given by formula (24), for any orbit in the orbital range -1 ≤ Ω 0 ≤ 3.

Therefore, the numerical analysis has confirmed and extended the asymptotic analysis. In stably stratified interiors, resonance condition (13) illustrated in Fig. 2 is a necessary and sufficient condition for tidal instability (when β 0 1). Indeed, we have not found any other resonance yielding larger growth rates than the ones at the subharmonic resonance. In the orbital range -1 ≤ Ω 0 ≤ 3, tidal instability is triggered by sub-harmonic resonances of inertia-gravity waves. Moreover, there is an equatorial trapping of tidal instability between conical latitudes, depending on the orbital configuration according to formula (18).

N 0 /Ω s = 1 (H 1 ) N 0 /Ω s = 2 (H 2 ) N 0 /Ω s = 5 (H 2 ) Ω 0 = -0.5 N 0 /Ω s = 1 (H 1 ) N 0 /Ω s = 2 (H 2 ) N 0 /Ω s = 10 (H 2 ) Ω 0 = 0 N 0 /Ω s = 1 (H 2 ) N 0 /Ω s = 2 (H 2 ) N 0 /Ω s = 5 (H 2 ) Ω 0 = 0.5
Fig. 6: Largest normalised growth rate σ/β 0 for several configurations, computed with SWAN for equatorial ellipticity β 0 = 0.2. Visualisations in a meridional section using the normalised axes x/a and z/c, with a = 1 + β 0 , b = 1 -β 0 and c = 1/(ab). White dashed lines, given by formula (18), show the critical latitudes on which the growth rate is maximum as predicted by ( 24). For each case, the type of waves involved in parametric mechanism is specified between brackets. Dashed (grey) curves illustrate the domain of existence of H 2 waves at the resonance (in the regime β 0 1).

At these latitudes, the wave vector is parallel to the gravity field, such that the maximum growth rate is unaffected by the stable stratification.

Leading-order (laminar) diffusive effects

We reintroduce now the leading-order (laminar) diffusive effects at the onset of tidal instability. In the diffusive regime, tidal instability is triggered if the largest diffusionless growth rate σ overcomes the (negative) laminar damping rates due to viscosity τ ν , radiative diffusivity τ κ and Joule diffusion τ Ω . Hence, the diffusionless growth rate σ ought to be reduced by the laminar damping rates, yielding the diffusive growth rate

σ D = σ + (τ ν + τ κ + τ Ω ) . ( 28
)
We have confirmed in Sect. 3.3 that tidal instability is a parametric instability, involving only inertial and/or gravito-inertial waves in radiative interiors. Consequently, we can simply estimate the laminar damping rates by computing the damping rates of the inertial and gravito-inertial waves involved in the triadic couplings. Indeed, triadic couplings can only give non-vanishing growth rates (28) if the waves individually exist, that is if they are not damped by any diffusive effect before being efficiently nonlinearly coupled. We have shown in Sect. 3.3 that the diffusionless growth rate σ is maximum on critical latitudes, where the wave vector satisfies k 0 × g = 0 (when β 0 1). Then, in the local plane-wave model, the buoyancy term in the local vorticity equation (which is proportional to k 0 × g) vanishes such that vorticity and energy equations are uncoupled (in the local formalism). This means that these waves are locally insensitive to stratification on the critical latitudes, yielding τ κ = 0. Thus, in the absence of background turbulent motions (see the discussion in Sect. 3.5), the waves are individually damped by viscosity and Joule diffusion (in the weak field regime Le 1). For the stability computations, we rewrite here the magnetic field as

B = B 0 + b, (29)
where the fossil field B 0 is assumed to be steady here. The pervading fossil magnetic fields are nearly axisymmetric and dipole-dominated at the leading order, as observed in magnetic binaries (e.g. [START_REF] Alecian | [END_REF]Landstreet et al. 2017;Kochukhov et al. 2018;Shultz et al. 2017Shultz et al. , 2018)). For the stability computations, we assume a fossil field of the form B 0 ∝ 1 z , with a dimensionless strength measured by the Lehnert number Le. The presence of other field components only slightly modifies the frequencies of inertial and inertial-gravity waves at the onset. We also expect the damping rates to have a similar behaviour in the laminar regime. In the weak field regime Le 1, the damping rates have been devised by Sreenivasan & Narasimhan (2017) in the local theory and by Kerswell (1994) in the global one. They depend on the wave properties, that is here the wave vector. Notably, we explain in Appendix C why the mixed couplings between inertial waves and slow MC waves cannot lead to tidal instability in short-period binaries (in the presence of Joule diffusion). Hence, we remind the reader that only parametric resonances of inertial and gravito-inertial waves can generate tidal instability in the presence of magnetic fields.

Then, the viscous and the Joule damping rates in the weak field regime (Le 1) in any z-plane read

τ ν = -|k 0 | 2 E k, (30a)
τ Ω = - cos 2 (θ 0 ) |k 0 | 4 Em Le 2 4 cos 2 (θ 0 ) + |k 0 | 4 Em 2 |1 -Ω 0 |, (30b)
with | k 0 | the norm of the wave vector at the resonance (and at the initial time) and cos(θ 0 ) given by condition (18). Expression (30b) is quantitatively valid when B 0 ∝ 1 z (Sreenivasan & Narasimhan 2017). In the regime Pm 1, laminar Joule diffusion is the leading-order dissipative effect (|τ Ω | |τ ν |). The Joule damping has already been considered for homogeneous fluids (Kerswell 1994;Herreman et al. 2009Herreman et al. , 2010;;Cébron et al. 2012b). Note that formula (30b) is exactly the Joule damping rate of tidal instability in neutral fluids ( N 0 = 0). Besides, formulas of Herreman et al. (2009) and Cébron et al. (2012b) are recovered in the limit |k 0 | 1, by using the resonance condition 2 cos θ 0 = ±1 to set θ 0 for N 0 = 0. Formula (30b) has two asymptotic behaviours, depending on the value of k 0 . They are separated by the condition

| k 0 | = 2 cos(θ 0 )/Em ∼ Em -1/2 . ( 31
)
On the one hand, we obtain a wave-dominated regime when |k 0 | ≤ Em -1/2 , in which the Joule damping rate scales as τ Ω ∝ -Em Le 2 |k 0 | 4 /4. On the other hand, we get a diffusiondominated regime when |k 0 | ≥ Em -1/2 . In the latter regime, the damping rate is independent of the wave vector and scales as τ Ω ∝ -Le 2 /Em. We illustrate in Fig. 7 the evolution of Joule damping rate (30b) in the different regimes. Tidal instability will survive in the presence of magnetic fields if σ |τ Ω |. Typical values of the diffusionless growth rate, given by formula (24), are σ ∼ O(β 0 ) with β 0 ∈ [10 -4 , 10 -2 ] in close binaries. We clearly observe that tidal instability does survive against Joule diffusion, for short-wavelength perturbations with |k 0 | ≤ 10 4 -10 5 . For larger values of the wave number, the Joule damping rate always overcomes the diffusionless growth rate, such that no instability is triggered.

Other dissipative mechanisms

At the linear onset, the laminar diffusive effects discussed in Sect. 3.4 are always present, but we have shown that they are smaller than the largest diffusionless growth rate σ. Hence, these effects can be reasonably neglected at the onset, yielding σ D ∼ σ. However, other diffusive effects do exist in stellar interiors, which may weaken the growth of tidal instability.

Phase mixing is known to provide a significant source of Joule heating, by dissipating Alfvén (and magneto-sonic) waves in stellar atmospheres (e.g. Heyvaerts & Priest 1983) or stellar interiors (Spruit 1999). Yet, phase-mixing is probably irrelevant for tidal instability in the weak field regime (Le 1), notably because Aflvén waves are not involved in tidal instability (see Appendix C). Whether phase-mixing could increase the dissipation of inertial and gravito-inertial waves in stellar interiors remains unknown and is largely beyond the scope of the present study.

In the presence of an innermost convective envelope, inertial and gravito-inertial waves can exhibit singular shear layers, reminiscent of wave attractors (e.g. Dintrans et al. ). These global wave patterns are not directly involved in the parametric mechanism of tidal instability, but they fill the whole fluid domain and may provide an additional bulk damping rate for tidal instability. Indeed, these structures can be destabilised in the nonlinear regime (Jouve & Ogilvie 2014), possibly yielding small-scale instabilities. Brunet et al. (2019) showed that the resulting small-scale turbulence in the bulk could be well modelled by a turbulent eddy diffusion. In particular, anisotropic shear-driven turbulence may be generated (e.g. Zahn 1992). In such a case, Garaud et al. (2017) and Gagnier & Garaud (2018) proposed to model the local shear-driven turbulence by introducing the turbulent viscosity

ν t ∝ 0.08 κ T /J, J = N 2 0 /S 2 , ( 32
)
with κ T the radiative diffusivity, J the local gradient Richardson number and S the local shearing rate (responsible for the shear instabilities). The stability criterion for shear instabilities is apparently JPr 0.007 (Garaud et al. 2017). Then, prediction (32) would yield an upper-bound effective turbulent Ekman number E k t ≤ 10 -10 for speculative stellar values, to use in expression (30a) for the viscous damping rate. For the range of wave numbers |k 0 | given in Fig. 7, we find that the associated turbulent damping rate is smaller than the diffusionless growth rate σ (not shown). Therefore, even in the presence of shear-driven instabilities, the associated turbulent damping can be ignored at the onset of tidal instability for the (strong enough) tidal deformations considered in this work (β 0 ∼ 10 -3 -10 -2 , see Table 2).

Turbulent mixing due to nonlinear tidal flows

At this stage, we have shown that tidal instability can be triggered within stably stratified interiors, even against the stabilising effect of a background (fossil) magnetic field in the weak field regime (Le 1). The next step is to characterise the saturated regime of tidal flows. Modelling turbulent mixing in radiative interiors is one of the enduring problems in stellar dynamics (e.g. [START_REF] Zahn | Symposium-International Astronomical Union[END_REF]). Several studies have examined the turbulence in radiative zones (e.g. Zahn 1992;Mathis et al. 2004;Garaud et al. 2017;Gagnier & Garaud 2018;Mathis et al. 2018). Yet, these models focus on shear-driven turbulence. Hence, tidally driven turbulence in binaries remains to be described. Numerical simulations have shown that small-scale turbulence can be excited by tidal instability (Barker & Lithwick 2013a,b;Le Reun et al. 2017), possibly leading to global tidal mixing (Vidal et al. 2018). Thus, tidal mixing is expected in radiative interiors. We motivate our assumptions in Sect. 4.1. Then, we use dimensional-type arguments in Sect. 4.2 to develop a phenomenological description of the nonlinear tidal mixing in radiative interiors in Sect. 4.3, valid in the orbital range -1 ≤ Ω 0 ≤ 3. Finally, we assess its validity by using proof-of-concept simulations in Sect. 4.4.

Assumptions

As shown in Sect. 3, magnetic effects play a minor role at the onset of instability in the orbital range -1 ≤ Ω 0 ≤ 3. They essentially weaken the growth rate of tidal instability, due to the laminar Joule damping. In the (transient) linear growth, the fossil field B 0 is not much affected by tidal flows, which are not expected to generate significant mixing. It only decays on the slow (laminar) Joule diffusion time, which is much larger than the timescale for the onset of tidal instability for stellar parameters. This phenomenon is well-known in global models of resistive magnetohydrodynamics, also known as free-decay of magnetic fields (e.g. [START_REF] Moffatt | Magnetic Field Generation in Electrically[END_REF]). However, in the saturated regime, the fossil field would interact nonlinearly with the nonlinear tidal flows, as governed by induction equation

∂B ∂t = ∇ × [(U 0 + u) × B] + E k Pm ∇ 2 B, (33a)
∇ • B = 0, B(r, t = 0) = B 0 (r), (33b)
in which the initial time t = 0 refers now to an initial time just after the growth of the instability. In equation (33a), the nonlinear velocity field u is governed by momentum equation (3a). In the relevant weak field regime Le 1, nonlinear numerical simulations of the coupled problems showed that magnetic effects do not weaken the turbulent tidal flows (Barker & Lithwick 2013b;Cébron & Hollerbach 2014;Vidal et al. 2018). These turbulent flows generate mixing, that would ultimately increase the Ohmic diffusion of the fossil field B 0 . Therefore, Ohmic diffusion ought to be increased (a priori). This is often modelled by introducing a turbulent magnetic diffusivity (e.g. Kitchatinov et al. 1994;Yousef et al. 2003;Käpylä et al. 2019). In this configuration, the initial fossil field is expected to decay on somehow faster timescales, due to the presence of mixing generated by tidal instability. This situation strongly differs from the picture of ideal magnetohydrodynamics, in which the laminar decay of the fossil field is small (and so can be sometimes neglected). Note that an initial fossil field may still be in quasi-equilibrium with tidal flows, if the dissipated field is continuously regenerated by some kind of dynamo action. However, dynamo action of tidal flows in strongly stratified interiors remains elusive (Vidal et al. 2018) and will not be investigated here. Consequently, to estimate the fossil field decay due to tidal instability, we must estimate the turbulent magnetic diffusivity generated by the saturation of tidal instability.

Mixing-length theory

Estimating a realistic turbulent magnetic diffusivity is challenging, because no numerical model cannot probe accurately the stellar conditions. This makes the relevance of numerical results sometimes elusive. Therefore, we aim to build asymptotic scaling laws for the tidal mixing, based on dimensional-type arguments that embrace both numerical and stellar conditions. To estimate the local tidal mixing in stratified interiors, we develop a mixing-length theory, by analogy with mixing-length arguments commonly used for shear-driven turbulence in radiative interiors of stars (e.g. Zahn 1992;Mathis et al. 2004Mathis et al. , 2018)).

In turbulent flows, the laminar viscosity is often replaced by an effective eddy (turbulent) viscosity, usually modelled by using mixing-length theory in stellar contexts. In hydromagnetic turbulence, Yousef et al. (2003) and Käpylä et al. (2019) argued that in the weak field regime (Le 1) the turbulent magnetic Prandtl number is not far from unity. Hence, the turbulent magnetic diffusivity can be a priori modelled by mixing-length type predictions. This is supported by local hydromagnetic simulations of the three-dimensional turbulence generated by tidal instability (Barker & Lithwick 2013b). They showed that weak magnetic fields can even favour the small-scale tidal turbulence. Global tidal mixing has also been found in global stratified models (Vidal et al. 2018). Thus, we may replace any laminar diffusivity (denoted D) by an effective eddy diffusivity (denoted D t ), induced by the nonlinear tidal flows. Then, mixing-length theory (e.g. [START_REF] Tennekes | A first course in turbulence[END_REF] predicts in dimensional form (up to a unknown proportional constant)

D t ∝ 1 3 u t l t , (34)
where u t and l t are respectively the typical (dimensional) local velocity and length scale of the turbulent motions. Note that u t is the typical amplitude of the nonlinear tidal flows. This must not be confused with the amplitude u w of the waves that are excited by the forcing mechanism (see the case of internal gravity waves in Rogers & McElwaine 2017). Here, u w is much smaller than u t in amplitude. Hence, the eddy diffusivity D t is a local property of the nonlinear flows, rather than a property of the fluid (or of the wave amplitude). The key point to apply formula (34) is to find accurate predictions for u t and l t in the nonlinear regime of tidal instability.

On the one hand, we have shown in Sect. 3 that tidal instability is generated by sub-harmonic resonances of inertial waves, more or less modified by the gravity field in the orbital range -1 ≤ Ω 0 ≤ 3. This mechanism holds whatever the strength of stratification, measured by the ratio N 0 /Ω s . Therefore, the turbulent velocity scale u t should not depend (strongly) on the local strength of stratification N 0 /Ω s . This is supported by proof-of-concept simulations (see Fig. 2b in Vidal et al. 2018), showing that nonlinear tidal flows exhibit the scaling devised in homogeneous fluids (Barker & Lithwick 2013a;Grannan et al. 2016). This reads

u t ∼ α 1 β 0 r l Ω s (1 -Ω 0 ) (35)
with r l ≤ R the local position and α 1 ∼ 0.3-0.5 a dimensionless pre-factor obtained numerically both in homogeneous (Grannan et al. 2016, estimated from Fig. 4d) and strongly stratified tidal flows (Vidal et al. 2018, estimated from Fig. 2b). Hence, we reasonably estimate the turbulent velocity u t by using prescription (35). On the other hand, l t should depend on the local ratio N 0 /Ω s . Several regimes have been found in forced stratified turbulence (e.g. Brethouwer et al. 2007).

Phenomenological prescriptions

4.3.1. Weakly stratified regime (N 0 /Ω s ≤ 1)

In the weakly stratified regime, characterised by N 0 /Ω s ≤ 1, H 1 waves satisfying the sub-harmonic resonance condition are barely affected by stratification. We estimate l t by balancing the nonlinear term (u • ∇) u with the injection term (u • ∇) U 0 in momentum equation (3a). This yields the typical turbulent length scale in dimensional form l t ∝ α 1 r l . Then, the weakly stratified regime is characterised by the eddy diffusivity (in dimensional form)

D t ∝ 1 3 α 2 1 β 0 r 2 l Ω s (1 -Ω 0 ). (36)
Formula ( 36) predicts a roughly homogeneous mixing in the weakly stratified regime, as found in global models (Grannan et al. 2016;Vidal et al. 2018) in which r l R. This explains why the tidal mixing computed in Vidal et al. (2018) is roughly constant as a function of stratification, when N 0 /Ω s ≤ 1 (see their Fig. 9). However, estimate (36) may be reduced in this regime due to (compressible) density variations (close to the isentropic profile when N 0 /Ω s 1). Finally, formula (36) provides a good estimate of the leading-order term in the eddy diffusivity tensor (e.g. Dubrulle & Frisch 1991;Wirth et al. 1995). In addition, note that rotation would also support small anisotropic diffusion in the axial direction [START_REF] Tilgner | [END_REF]Elstner & Rüdiger 2007).

Stratified regimes (N

0 /Ω s ≥ 1)
We now investigate the stratified regimes N 0 /Ω s ≥ 1. Stratified turbulence is highly anisotropic. Indeed, a commonly observed feature of strongly stratified flows is the formation of quasi-horizontal layers, often described as pancake structures (e.g. Billant & Chomaz 2001). Such layers are conspicuous in simulations of tidal flows in strongly stratified fluids, both in non-rotating (Le Reun et al. 2018) and rotating fluids (Vidal et al. 2018). Hence, l t depends on both the direction and the strength of stratification. We introduce two turbulent length scales, respectively l t in the normal direction (that is along the gravity field) and l ⊥ t in the other horizontal directions.

Several regimes of stratified turbulence have been devised in fundamental fluid mechanics (Billant & Chomaz 2001;Brethouwer et al. 2007). They are characterised by the buoyancy Reynolds number

R ∼ u 3 t l ⊥ t N 2 0 ν . ( 37
)
Le Reun et al. ( 2018) investigated the small-scale turbulence sustained by tides in the regime R ≤ 1, in which vertical viscous shearing is significant. However, radiative interiors are in the opposite regime R 1 (Mathis et al. 2018). Moreover, they neglected rotation, by setting Ω s = 0. In such a configuration, the subspaces of waves [H 1 , H 2 ] at the sub-harmonic resonance are empty, according to dispersion relations (15). Hence, tidal instability can only involve sub-harmonic resonances of internal waves H 2 in the limit N 0 /Ω s → ∞ and |Ω 0 | → ∞. Therefore, their results do not apply for our astrophysical problem, for any orbit in the range -1 ≤ Ω 0 ≤ 3. In the relevant strongly stratified regime (R 1), diffusion is unimportant and the turbulence is three-dimensional (Brethouwer et al. 2007). The general scalings of this regime have been confirmed by turbulence simulations (e.g. Godeferd & Staquet 2003;Maffioli & Davidson 2016). Thus, they can be applied to the tidal problem. In addition, rotational effects are also significant within the orbital range -1 ≤ Ω 0 ≤ 3, even for large values of N 0 /Ω s ≥ 10. Hence, the resulting turbulence undergoes the combined action of stratification and rotation.

In rotating stratified turbulence, the two turbulent length scales are related by (Billant & Chomaz 2001)

l ⊥ t ∼ α 2 N 0 Ω s l t . ( 38
)
with α 2 ∼ 0.6 a (numerical) pre-factor constrainted from local turbulent simulations in rapidly rotating and strongly stratified turbulent regime (Reinaud et al. 2003;Waite & Bartello 2006). This regime is expected to be valid for radiative interiors, notably to describe shear-driven turbulence (Mathis et al. 2018). For strong stratification (N 0 /Ω s ≥ 10), we combine the two balances obtained by equating (i) the nonlinear term with the buoyancy force in momentum equation (3a) and (ii) the injection term (u • ∇) T 0 and the nonlinear term (u •∇) Θ in energy equation (3b). These balances yield respectively

u 2 t l t ∼ α T g 0 Θ t and α T g 0 Θ t ∼ N 2 0 l t , (39)
where Θ t is the typical dimensional turbulent buoyancy perturbation. We recover from balances (39) the classical scaling for the turbulent length scale in the normal direction, that is u t ∼ l t N 0 (e.g. Billant & Chomaz 2001;Brethouwer et al. 2007). Hence, the turbulent length scale along the gravity direction is

l t ∼ α 1 β 0 r l (1 -Ω 0 ) Ω s N 0 (with α 1 ∼ 0.3 -0.5). ( 40
)
Scaling (40) shows that tidal mixing falls in the asymptotic regime of strongly stratified turbulence (Brethouwer et al. 2007). Then, we obtain two prescriptions for the eddy diffusivity, the first one D t valid in the gravity direction and the second one D t in the perpendicular (horizontal) directions. They yield

D t ∝ 1 3 α 2 1 β 2 0 r 2 l Ω s (1 -Ω 0 ) 2 Ω s N 0 , ( 41a
)
D ⊥ t ∝ 1 3 α 2 1 α 2 β 2 0 r 2 l Ω s (1 -Ω 0 ) 2 , ( 41b
)
with α 1 ∼ 0.3 -0.5 and α 2 ∼ 0.6 (see above). Prescriptions (41) show that the eddy diffusivity should have a quadratic dependence with the equatorial ellipticity, in any spatial direction. Another interesting prediction in this regime is that the turbulent potential and kinetic energies, defined by (in dimensional variables)

E t (Θ * ) ∼ 1 2 α 2 T g 2 0 N 2 0 Θ t , E t (u * ) ∼ 1 2 u 2 t , (42)
are comparable in magnitude (Billant & Chomaz 2001). This can be checked in the numerical simulations (see below).

In-between the two aforementioned stratified regimes, when 1 ≤ N 0 /Ω s ≤ 10, the situation is unclear. Indeed, Vidal et al. (2018) found that u • g, which is responsible for tidal mixing in the normal direction, is largely unaffected by stratification when N 0 /Ω s ≤ 10 (see their Fig. 4). Hence, we may extend prescription (36) for the turbulent mixing up to N 0 /Ω s ≤ 10. Yet, this behaviour is not conspicuous in the numerics (see Fig. 9b in Vidal et al. 2018). This may be due to the rather specific numerical method, which inaccurately probed the intermediate regime 1 ≤ N 0 /Ω s 10. Thus, a transition may be also expected between the two regimes ( 36) and ( 41) when 1 ≤ N 0 /Ω s ≤ 10.

Validation against numerical simulations

We assess the relevance of predictions ( 36) and (41) by using direct numerical simulations. To do so, we solve nonlinear and diffusive equations ( 3) in a global model. We supplement the governing equations by considering the stress-free conditions

u • 1 n = 0, 1 n × (∇u + (∇u) ) 1 n = 0, (43)
and assuming a fixed temperature Θ = 0 at the boundary. Stress-free conditions ( 43) are known to lead to spurious numerical behaviours, associated with the evolution of angular momentum in weakly deformed spheres (Guermond et al. 2013). To circumvent this numerical problem, we follow Cébron & Hollerbach (2014) and Vidal et al. (2018) by imposing a zero-angular momentum for the velocity perturbation. Moreover, the external region is assumed to be electrically insulating, such that the magnetic field b matches a potential field at the boundary.

For the computations, we use the proof-of-concept global numerical model introduced in Vidal et al. (2018). Briefly, the reference ellipsoidal configuration (described in Sect. 2.3) is approximated in spherical geometry by an spatially varying equatorial ellipticity profile (r, β 0 ), depending of the ellipticity β 0 of the ellipsoidal configuration. This profile is chosen such that the reference configuration satisfies all the aforementioned boundary conditions in the spherical geometry. The simulations have been performed with the open-source nonlinear code XSHELLS (https://nschaeff.bitbucket.io/xshells/), described in Schaeffer et al. (2017) and validated against standard spherical benchmarks (Marti et al. 2014;Matsui et al. 2016). A second-order finite difference scheme is used in the radial direction. The angular directions are discretised using a pseudo-spectral spherical harmonic expansion, provided by the SHTns library (Schaeffer 2013). The time-stepping scheme is of second order in time and treats the diffusive terms implicitly, while the nonlinear and Coriolis terms are handled explicitly. We refer the reader to Vidal et al. (2018) for additional methodological details of the tidal problem.

To estimate the turbulent magnetic diffusivity in a global model, we measure the decay of an initial large-scale magnetic field (Yousef et al. 2003;Käpylä et al. 2019) in the presence of nonlinear tides, to compare it with the free decay rate of the same magnetic configuration in laminar diffusive models (e.g. [START_REF] Moffatt | Magnetic Field Generation in Electrically[END_REF]). We compute the (dimensionless) decay rate σ η ≤ 0 of the volume average of the magnetic energy over the computational integration time T as

σ η = lim T →∞ 1 T log ∫ V 1 2 |B| 2 dV . ( 44
)
Decay rate ( 44) is a global estimate in the simulations of the effective diffusivity D t . Käpylä et al. (2019) measured in a similar way the turbulent diffusivity, obtaining a good quantitative agreement with mean-field analyses. Then, global decay rate (44) should have the same scaling law in β 0 for all the initial magnetic fields B 0 , even if the (numerical) pre-factors will be different. Indeed, all the magnetic components will not obey the same scaling law in the strongly stratified regime (due to the anisotropic mixing). Notably, we expect toroidal magnetic fields, satisfying B 0 • 1 n = 0 (at any position), to be preferentially dissipated in the normal direction. Thus, scaling (41a) should apply predominantly for toroidal fields. On the contrary, we expect the dissipation of poloidal magnetic fields (with predominant components in the normal direction) to obey scaling (41b) in the horizontal directions. However, we emphasise that the pre-factors obtained from numerical simulations, performed for conditions far-removed from the astrophysical regimes, are often irrelevant for astrophysical problems (compared to mixing-length predictions). We only focus on the dependence in β 0 , which should be generic whatever the topology of the initial magnetic field in the numerics. Thus, we aim at recovering (i) σ η ∝ β 0 for weakly stratified regime ( 36) and (ii) σ η ∝ β 2 0 for strongly stratified regime (41). In magnetic radiative stars, the initial fossil field is unlikely force-free (e.g. Duez & Mathis 2010;Duez et al. 2010), except possibly close to the stellar surface. The exact topology of the field does depend on the Lorentz force, and only magnetic equilibria involving poloidal and toroidal components have been found (e.g. Braithwaite & Spruit 2017). Then, in addition to the slow laminar Joule diffusion, Braithwaite & Cantiello (2012) showed that an initial fossil field can decay due to the propagation of (slow) Magneto-Coriolis waves (see Appendix B) in the presence of rotation. Such a magnetic decay occurs on the (rather slow) dynamic timescale

τ MC ∼ (Ω s Le 2 ) -1 . ( 45
)
Moreover, the field can be also dissipated by the turbulent mixing generated by nonlinear tidal flows. Thus, the initial field can be dissipated simultaneously by several mechanisms if we neglect in-situ dynamo mechanisms, that would regenerate the field against laminar and turbulent diffusion but are highly debated. However, we would like the magnetic decay to be insensitive to dynamic evolution (45) in the numerics, to investigate only the turbulent effects in a well controlled set-up.

Hence, we aim to find a magnetic configuration in which the initial field would decay solely by laminar Joule diffusion in the absence of tides. To do so, we can reasonably switch-off the Lorentz force in momentum equation, to estimate turbulent magnetic diffusivity (44) for a given initial magnetic field. Without magnetic forces, MC waves are no longer sustained in the system. Moreover, as explained above, the Lorentz force surprisingly plays a negligible role1 on the turbulent mixing generated by nonlinear tidal flows in the (relevant) weak field regime Le 1 (Barker & Lithwick 2013b; Cébron & Hollerbach 2014;Vidal et al. 2018). Consequently, for this particular problem of tidal instability, neglecting the Lorentz force is advisable in the numerics.

As a reference configuration, we have assumed Ω 0 = 0. Indeed, we have shown theoretically in Sect. 3 that the underlying mechanism of tidal instability does not change in the range -1 ≤ Ω 0 ≤ 3, and similarly the turbulent scalings (e.g. Grannan et al. 2016;Vidal et al. 2018). Hence, investigating only one orbital configuration is necessary. Then, problem (33) reduces here to a kinematic (linear) initial value problem for the initial field. We emphasise that the exact topology of the initial field will not be essential here for the numerical model. Indeed, without the Lorentz force, induction equation ( 33a) is uncoupled to the momentum equation. To mimic the slow magnetic decay on the laminar Joule diffusion (in the absence of tides), we have chosen for the initial fossil field the least-damped, poloidal free decay magnetic mode of the sphere (see Moffatt 1978, p. 36-40). This particular magnetic field is an exact solution of the purely diffusive induction equation. It has the smallest laminar Ohmic free decay rate σ Ω (in dimensionless form), given by

σ Ω = π 2 E k/Pm. (46)
Thus, this is the most suited initial magnetic field to assess the validity of the turbulent scaling laws. Indeed, slow laminar Joule diffusion (46) should not be coupled with the expected faster turbulent diffusion in the numerics to get robust results. In practice, we conducted the simulations at the fixed dimensionless numbers E k = 10 -4 , Pr = 1 and Pm = 0.1. The latter value ensures that no dynamo magnetic field can grow exponentially. Our spatial discretisation is N r = 224 radial points, l max = 128 spherical harmonic degrees and m max = 100 azimuthal wave numbers. We have integrated the equations on one (dimensionless) Ohmic diffusive time (E k/Pm) -1 , to determine accurately the turbulent decay rate σ η . Figure 8 shows the representative results for the two stratified regimes. We observe that the decay rate σ η is always larger than the free decay rate σ Ω of the initial fossil field. Then, the striking feature is that we recover the two scalings as a function of the ellipticity, as predicted by our mixing-length theory. In the weakly stratified regime (top panel), numerical decay (44) agrees well with the linear scaling σ η ∝ β 0 , consistent with mixing-length formula (36). The agreement is even much better in the strongly stratified regime (bottom panel), obtaining the quadratic scaling σ η ∝ β 2 0 expected from (41). We note that the observed enhancement generated by tidal instability is rather weak in the simulations. This is not due to the tidal amplitude, which is already two orders of magnitude larger than the typical values for binaries (β 0 10 -1 in the numerics and β 0 10 -3 -10 -2 , see Table 2 below). This simply comes from the over-estimated value of the laminar Joule diffusion in the simulations (that is E k/Pm = 10 -3 ). This makes the laminar and turbulent decay rates roughly comparable in amplitude. Simulations in the astrophysical regime (that is E k/Pm ≤ 10 -10 ) would show a stronger tidal effect. Yet, our simulations already support the trend predicted by mixing-length theory (41).

For stellar conditions, the latter predicts that the tidal decay rate would be much stronger than the laminar Joule decay rate (see the discussion in Sect. 5).

Finally, the typical ratio of the volume averaged thermal and kinetic (dimensionless) energies, for the simulations in the strongly stratified regime (bottom panel of Fig. 8), is E(Θ)/E(u) = 8.1 ± 3.5. This numerical value agrees very well with the theoretical scaling (42) in the strongly stratified regime (Billant & Chomaz 2001), yielding E(Θ)/E(u) ∼ N 0 /Ω s = 10 in dimensionless variables. This is another evidence of the validity of the mixing-length theory.

Astrophysical discussion

We have obtained a consistent picture of tidal instability in an idealised set-up of radiative interiors. This predicts the linear onset (Sect. 3) and the nonlinear mixing induced by the saturated flows (Sect. 4). For the sake of theoretical and numerical validations, we have only considered rather idealised stellar models, described in Sect. 2. Then, the predictions have been successfully compared with proof-ofconcept numerical simulations, paving the way for astrophysical applications.

Indeed, we emphasise that the theory can a priori embrace more realistic stellar conditions. In particular, the mixing-length theory is only based on local dimensional arguments, that should remain valid for more realistic conditions. Therefore, we discuss now our findings in the context of tidally deformed and stably stratified (radiative) interiors. Notably, we are in the position to build a new physical scenario, that may explain the lower incidence of fossil fields in some short-period and non-synchronised binaries (Alecian et al., in prep.).

A new scenario?

We consider a close binary system with a radiative primary of mass M 1 and a secondary of mass M 2 . The primary is pervaded by an initial fossil field B 0 . Note that distinction between the primary and secondary is only made for convenience, such that the situation can be reversed in the scenario (if we are interested in the secondary). The orbital and spin angular velocities are respectively Ω orb and Ω s . We focus on non-synchronised binaries in the orbital range -1 ≤ Ω 0 ≤ 3, where Ω 0 = Ω orb /Ω s is the dimensionless orbital frequency. The orbits are almost circularised, but small orbital eccentricities e 1 do not strongly modify the fate of tidal flows (Vidal & Cébron 2017). We also focus on binaries with short-period systems, with typical periods of T s = 2π/Ω s ≤ 10 days. Due to the combined action of the tides and the spin, the star is deformed into an triaxial ellipsoid [START_REF] Chandrasekhar | Ellipsoidal Figures of Equilibrium[END_REF]Lai et al. 1993;Barker et al. 2016). The latter is characterised by a typical equatorial ellipticity β 0 , estimated from the static bulge theory (Cébron et al. 2012b;Vidal et al. 2018). For the bulge generated onto the primary, this reads

β 0 ∼ 3 2 M 2 M 1 R D 3 , ( 47
)
where R is the typical radius of the primary and D is the typical distance separating the two bodies. The density stratification of the radiative envelope is measured by the typical dimensionless ratio N 0 /Ω s , where N 0 is the typical Brunt-Väisälä frequency. A representative value for intermediate-mass stars is N 0 ∼ 10 -3 s -1 (e.g. Rieutord 2006), yielding a typical ratio N 0 /Ω s 10. The tidal forcing sustains an equilibrium tidal velocity field (Remus et al. 2012;Vidal & Cébron 2017) in the Fig. 9: Anisotropic turbulent diffusion, generated by tidal instability, of poloidal (dotted) and toroidal (dashed) field lines of fossil field B 0 . A possible innermost convective core is represented. primary fluid body. This equilibrium tidal flow can be nonlinearly coupled with inertial-gravity waves, triggering tidal instability. The dimensional growth rate σ * of tidal instability, which does not depend on stratification, is given by

σ * = (2 Ω 0 + 3) 2 16(1 + Ω 0 ) 2 |Ω s -Ω orb | β 0 , (48)
with Ω 0 = Ω 0 /(1 -Ω 0 ). In the saturated regime, tidal instability increases the internal mixing (due to turbulence). In strongly stratified radiative interiors (N 0 /Ω s 10), the turbulent mixing generated by tidal instability is anisotropic, characterised by an eddy turbulent diffusivity D t in the direction of the self-gravity and by D ⊥ t ( D t ) in the other (horizontal) directions.

Then, the turbulent mixing will dynamically increase the Joule decay of the fossil field B 0 . However, the latter field, containing both poloidal and toroidal components (to be in quasi-static magnetic equilibrium in the initial stage), will undergo an enhanced anisotropic turbulent Joule diffusion. The mechanism is illustrated in Fig. 9. On the one hand, the poloidal components, which are mainly along the normal direction, would be preferentially dissipated by the (large) eddy diffusivity D ⊥ t in the horizontal directions. On the other hand, the toroidal components, trapped in the stellar interior because they have only horizontal components, are preferentially mixed by the (small) eddy diffusivity D t in the normal direction. Thus, poloidal and toroidal field lines are dissipated on different turbulent timescales. For the poloidal components which can be observed at the stellar surface, tidal instability would yield a global magnetic dissipation within the stellar interior on a few turbulent timescales τ t (at the position r l ≤ R), given by

τ t ∝ r 2 l D ⊥ t ∼ K α β 2 0 Ω s (1 -Ω 0 ) 2 (49)
with the pre-factor K α ∼ 30-50 estimated from the numerical pre-factors in formulas (41). Timescale (49) is the (fast) turbulent timescale in the perpendicular (horizontal) directions. In addition, the magnetic field would also die out in the presence of rotation on dynamic timescale (45) of the (slow) Magneto-Coriolis waves, as shown by Braithwaite & Cantiello (2012).

Non-magnetic binaries

We assess here the relevance of the tidal scenario for shortperiod massive binary systems. Non-magnetic and nonsynchronised (Ω 0 1) binaries are given in Table 2. They have been surveyed by the BinaMIcS collaboration (Alecian et al., in prep.). The predictions of the tidal scenario for these binary systems are given in Table 3. All these close-binaries are rapidly rotating and undergo strong tidal effects (in the two bodies), as measured by the large values of the ellipticity β 0 ∼ 10 -3 -10 -2 . The strong tides should trigger quickly tidal instability, growing on the typical timescale (σ * ) -1 O(10 3 ) years. This is much shorter than the lifetime of these stars, about τ MS ∼ 10 9 years for a star of mass M 1 = 2M on the main sequence. Hence, tidal instability is likely to be present in these non-synchronised binaries.

Then, typical values for turbulent timescale (49) are τ t ∈ [10 3 , 10 7 ] years, except for HD 23642 and HD 32964 which are less affected by tidal instability (smaller β 0 ). Thus, the turbulent Joule diffusion of the initial fossil fields may occur on timescales much shorter than the stellar lifetime, typically τ t /τ MS 10 -3 for the most favourable systems. Turbulent timescale ( 49) is also often smaller that the timescale for the laminar Ohmic diffusion of the magnetic field in the absence of turbulence τ Ω ∝ (Ω s E k/Pm) -1 . As illustrated in Fig. 10, we get τ t /τ Ω ≤ 10 -2 (except for HD 23642 and HD 32964). Similarly, for several systems, τ t is smaller than the dynamic timescale τ MC proposed by Braithwaite & Cantiello (2012), given by expression (45).

Therefore, nonlinear tidal flows generated by tidal instability in non-synchronised close binaries may sustain an enhanced turbulent Joule diffusion of the fossil fields, occurring on timescales that are often shorter than the stellar lifetime. This may explain the scarcity of significant magnetic fields at the surface of some massive stars in shortperiod binaries.

Magnetic binaries

We give in Table 4 the orbital properties of some scarce magnetic binaries, analysed by the BinaMIcS collaboration. They were already known to be magnetic, such as HD 98088 (Babcock 1958;Abt et al. 1968;Carrier et al. 2002), Lupi (Shultz et al. 2015) and HD 156324 (Alecian et al. 2014a). The aforementioned tidal scenario would suggest that (strong) magnetic fields may be anomalies in shortperiod massive binaries. However, their existence does not necessarily challenge the tidal scenario.

We note that HD 156324 and HD 98088 are synchronised. The fate of tidal instability in synchronised orbits (Ω 0 = 1) is discussed in Appendix D. On the one hand, system HD 156324 is nearly circularised (Shultz et al. 2017), whereas non-circular orbits are required for the tidal mechanism to operate in synchronised systems (e.g. Vidal & Table 2: Physical and orbital characteristics of non-synchronised and non-magnetic binary systems, surveyed by the BinaMIcS collaboration (Alecian et al., in prep.). 1.03 × 10 -2 5.07 × 10 -3 1.58 × 10 7 6.88 × 10 7 1.46 × 10 -2 6.44 × 10 -2 1.5 × 10 +0 6.4 × 10 +0 HD 24133

System M 1 M 2 R (M 1 ) R (M 2 ) D T s (M 1 ) T s (M 2 ) T orb e β 0 (M ) (M ) (R ) (R ) (R ) (
1.46 × 10 +0 6.11 × 10 -1 2.26 × 10 3 1.53 × 10 4 6.26 × 10 -6 4.48 × 10 -5 6.3 × 10 -4 4.5 × 10 -3 HD 24909

9.25 × 10 -2 9.26 × 10 -2 2.61 × 10 5 2.61 × 10 5 3.33 × 10 -4 3.32 × 10 -4 3.3 × 10 -2 3.3 × 10 -2 HD 25638

1.12 × 10 +0 2.03 × 10 -1 8.91 × 10 2 3.60 × 10 4 6.79 × 10 -7 2.99 × 10 -5 6.8 × 10 -5 3.0 × 10 -3 HD 25833

4.78 × 10 -2 5.83 × 10 -1 9.68 × 10 5 1.02 × 10 4 1.11 × 10 -3 1.37 × 10 -5 1.1 × 10 -1 1.4 × 10 -3 HD 32964

7.89 × 10 -4 4.61 × 10 -4 1.22 × 10 9 3.61 × 10 9 5.01 × 10 -1 1.49 × 10 +0 5.0 × 10 +1 1.5 × 10 +2 HD 34364

1.14 × 10 -2 7.12 × 10 -3 9.53 × 10 6 2.25 × 10 7 5.60 × 10 -3 1.28 × 10 -2 5.6 × 10 -1 1.3 × 10 +0 HD 36486

2.20 × 10 -1 4.32 × 10 +0 1.18 × 10 4 3.22 × 10 2 4.35 × 10 -6 3.47 × 10 -7 4.3 × 10 -4 3.5 × 10 -5 HD 150136 5.98 × 10 -1 7.53 × 10 -2 3.49 × 10 3 7.37 × 10 2 2.76 × 10 -6 6.26 × 10 -7 2.8 × 10 -4 6.3 × 10 -5

Notes. We have taken as representative value for the dimensional Brunt-Väisälä frequency N 0 = 10 -3 s -1 (e.g. Rieutord 2006). The equatorial ellipticity β 0 is given by expression (47). The dimensional growth rate σ * is given by formula (48). The timescale of turbulent Joule diffusion τ t is given by formula (49) with K α = 30. The laminar Ohmic diffusive timescale is τ Ω ∼ (Ω s E k/Pm) -1 (in dimensional units of Ω s ) with E k/Pm ∼ 10 -12 . The dynamic timescale associated with the propagation of (slow) Magneto-Coriolis waves is τ MC ∼ (Ω s Le 2 ) -1 (Braithwaite & Cantiello 2012), with Le ∼ 10 -5 .

Cébron 2017). Hence, the tidal mechanism is not currently relevant for HD 156324. This may explain why the fossil field is still observed. On the other hand, HD 98088 is not circularised such that nonlinear tidal mixing would be expected. However, as shown in Appendix D, formula (49) for the typical turbulent timescale ought to be reduced in synchronised systems, such that (1 -Ω 0 ) 2 ∼ 2 l where l 2e is the dimensionless amplitude of differential rotation due to the elliptical orbit (Cébron et al. 2012b;Vidal & Cébron 2017). Based on the accuracy of the measured periods in Table 4, we may assume l ≤ 10 -3 , such that the turbulent timescale τ t , given by formula (D.9), is expected to be much larger in HD 98088 than for the systems of Table 3 (for similar values of the equatorial ellipticity β 0 ∼ 10 -3 ). Therefore, the existence of the (synchronised) magnetic binaries HD 156324 and HD 98088 appears to be consistent with the tidal scenario. However, the tidal mechanism may have occurred before the synchronisation and/or the circularisation of the systems. Indeed, observations show that circularisation and synchronisation processes are effective for radiative stars (e.g. Giuricin et al. 1984b,a;Zimmerman et al. 2017). On the one hand, the radiative damping of the dynamical tide has received attention in radiative stars (e.g. [START_REF] Zahn | [END_REF]Zahn , 1977)). On the other hand, synchronisation mechanisms have been much less studied in radiative interiors (e.g. Rocca 1989Rocca , 1987;;Witte & Savonije 1999, 2001), and the comparison with the observations is less satisfactory (e.g. [START_REF] Mazeh | Tidal effects in stars, planets and disks[END_REF]Zimmerman et al. 2017). Understanding these two processes in radiative stars still deserves further work, notably to consider the overlooked effects of tidal instability in short-period binaries.

Finally, the case of Lupi system (e.g. Uytterhoeven et al. 2005;Shultz et al. 2015) is more intricate. Nonlinear tidal mixing should occur within these stars, with a typical turbulent timescale τ t ∼ 10 3 years. The fossil field may be currently dissipated by the tidal turbulence, but the process may have not last long enough to yield vanishing observable fields. Another possibility is that these magnetic fields are internally regenerated by dynamo action, to balance the decay due to the nonlinear tidal flows. Such a (currently speculative) mechanism may be particularly relevant for the rapidly rotating component of Lupi Table 4: Physical and orbital characteristics of magnetic binary systems surveyed by the BinaMIcS collaboration (Folsom et al. 2013;Shultz et al. 2015Shultz et al. , 2017Shultz et al. , 2018)). 2. Large (white) symbols refer to body 1 of the considered binary, whereas small (cyan) symbols refer to body 2. Computations at E k/Pm = 10 -12 and K α = 30.

System M 1 M 2 R (M 1 ) R (M 2 ) D T s (M 1 ) T s (M 2 ) T orb Eccentricity B * 0 (M 1 ) B * 0 (M 2 ) (M ) (M ) (R ) (R ) (R ) (
in Table 4. Several dynamo mechanisms may be advocated, for instance driven by differentially rotating flows (Braithwaite 2006), baroclinic flows (Simitev & Busse 2017) or even tidal instability (Vidal et al. 2018). Though the dynamo action of tides in strongly stratified interiors remains elusive, the scaling law for the magnetic field strength at the stellar surface, proposed by Vidal et al. (2018), would yield |B 0 | ∼ 0.1 -1 kG. This is the order of magnitude of the observed surface fields. Thus, understanding the origin of the magnetic fields in the Lupi system deserves future studies.

Conclusion

Summary

In this work, we have investigated nonlinear tides in shortperiod massive binaries, motivated by the puzzling lower magnetic incidence of close binaries compared to isolated stars (Alecian et al. 2019). To do so, we have adopted an idealised model for rapidly rotating stratified fluids within the Boussinesq approximation. This model consistently takes into account the ingredients encountered in massive binaries, namely the combination of rotation and non-isentropic stratification, the tidal distortion (on coplanar and aligned orbits) and the leading-order magnetic effects. We have revisited the fluid instabilities triggered by the nonlinear tides in the system (Vidal et al. 2018), by combining analytical computations and proof-of-concept simulations.

Firstly, we have studied the linear onset of tidal instability in non-synchronised, stratified fluid masses. Within a single framework, we have unified all the previous existing stability analyses and we have unravelled new phenomena. We have shown that tidal instability in radiative stratified interiors is due to parametric resonances between inertialgravity waves and the underlying equilibrium tidal flow, for any orbit in the range -1 ≤ Ω 0 ≤ 3. Within this orbital range, tidal instability is weakened by barotropic stratification on the polar axis (Miyazaki & Fukumoto 1991;Miyazaki 1993) and in the equatorial plane. On the contrary, baroclinic stratification does increase the growth rate of tidal instability (Kerswell 1993a;Le Bars & Le Dizès 2006). However, the striking feature is that tidal instability onsets with a maximum growth rate which is unaffected by stratification. The instability is triggered in volume along three-dimensional conical layers, whose position depends solely on the orbital parameter Ω 0 . In the other orbital range Ω 0 ≤ -1 and Ω 0 ≥ 3, that is in the forbidden zone of tidal instability in homogeneous fluids (e.g. Le Dizès 2000), tidal instability can be generated by parametric resonances of gravito-inertial waves, provided that stratification is strong enough for the considered orbital configuration. This provides a theoretical explanation of the instability mechanism investigated numerically in Le Reun et al. (2018).

Secondly, we have developed a mixing-length theory (e.g. [START_REF] Tennekes | A first course in turbulence[END_REF] of the anisotropic turbulent mixing, sustained by tidal instability in the orbital regime -1 ≤ Ω 0 ≤ 3. For strongly stratified interiors, we have modelled the anisotropic turbulent mixing by introducing two turbulent eddy diffusivities, one describing the mixing in the direction of the gravity field and the second in the other (horizontal) directions. We have shown that these two turbulent diffusivities should scale as β 2 0 , where β 0 is the equatorial ellipticity of the equilibrium tide. We have assessed these scalings against proof-of-concept simulations, by using the numerical method introduced in Vidal et al. (2018).

Finally, we have used the mixing-length theory to extrapolate the numerical results towards more realistic stellar conditions. We have built a new physical scenario, predicting an enhanced Joule diffusion of the fossil fields due to the turbulent mixing induced by tidal instability in shortperiod (non-coalescing) massive binaries. We have applied it to a subset of short-period binaries, analysed by the Bi-naMIcS collaboration (Alecian et al., in prep.). This scenario may (partially) explain the lower incidence of surface magnetic fields in some short-period binaries (compared to isolated stars). Indeed, we predict a turbulent Joule diffusion of the fossil fields occurring in a few million years for the most favourable systems. This is much shorter than the (laminar) Joule diffusion timescale of the fossil fields, and similarly than the typical lifetime of these stars. Therefore, we cannot rule out a priori the tidal mechanism to explain the scarcity of massive magnetic stars in close binary systems.

Perspectives

We have shown that the tidal mechanism is plausible, because close binaries are known to be strongly deformed by tides. Then, future studies should strive to assess the likelihood of this new mechanism with more realistic physical models. Indeed, we have only handled the key physical ingredients. Many improvements are worth doing on the numerical and theoretical fronts.

Firstly, the validity of mixing-length predictions for the magnetic diffusivity is questionable. Though they are commonly used in hyromagnetic turbulence (e.g. Yousef et al. 2003;Käpylä et al. 2019), Vainshtein & Rosner (1991) proposed that even weak large-scale magnetic fields may suppress the turbulent magnetic diffusion. This behaviour has been obtained in simulations of non-rotating, twodimensional turbulence (e.g. Cattaneo & Vainshtein 1991;Cattaneo 1994;Kondić et al. 2016). However, the relevance of this inhibiting mechanism for three-dimensional, rotating and tidally driven turbulence remains unclear, notably because Alfvén waves do not play (a priori) a significant role in the tidal turbulent mixing (contrary to inertial waves). Indeed, this seems in contradiction with the turbulent hydromagnetic simulations of Barker & Lithwick (2013b), who showed that a weak magnetic field can instead sustain small-scale tidal turbulence. Thus, investigating this effect in tidally forced turbulence seems necessary, by performing demanding simulations of the consistent rotating hydromagnetic set-up.

Secondly, it would be interesting to examine if (secondary) shear instabilities are sustained by nonlinear tides in the strongly stratified regime. Shear instabilities are common in radiative interiors (e.g. Mathis et al. 2004Mathis et al. , 2018)), which undergo differential rotation (Goldreich & Schubert 1967). To do so, the usual diffusionless instability condi-tion for shear instabilities ought to be modified in radiative interiors, to take the thermal diffusivity into account (Townsend 1958;[START_REF] Zahn | Symposium-International Astronomical Union[END_REF]). In the presence of turbulent tidal flows, secondary shear instabilities may exist if

Ri t Pe t ≤ 1, (50)
with Ri t = N 2 0 /(u t /l t ) 2 the turbulent Richardson number and Pe t = u t l t /D t the turbulent Péclet number. By using our mixing-length predictions, a typical estimate would be Ri t Pe t ∼ 1 in the strongly stratified regime. Thus, such secondary shear instabilities might be triggered by the nonlinear tidal flows. This may increase the turbulent diffusion coefficients.

Then, a natural extension would be to investigate consistently the interplay between tidal instability and differential rotation, which would result from in-situ baroclinic torques (e.g. Busse 1981Busse , 1982;;Rieutord 2006). Whether differential rotation is important for the tidal mixing is elusive, for instance because differential rotation is damped by several hydromagnetic effects (Moss 1992;Spruit 1999;Arlt et al. 2003;Rüdiger et al. 2013Rüdiger et al. , 2015;;Jouve et al. 2015). Nonetheless, elliptical (tidal) instability does exist in differentially rotating elliptical flows, as shown in fundamental fluid mechanics (Eloy & Le Dizès 1999;Lacaze et al. 2007). The properties of the waves for more astrophysically relevant profiles of differential rotation can be investigated in global models (Friedlander 1989;[START_REF] Mirouh | [END_REF], such that extending the present theory seems achievable. Closely related to the study of differential rotation is the study of baroclinic flows (e.g. Kitchatinov 2014;Caleo & Balbus 2016;Simitev & Busse 2017). We have shown that baroclinic stratification does enhance tidal instability, as first noticed by Kerswell (1993a) and Le Bars & Le Dizès (2006). Thus, we may even expect a stronger turbulent tidal mixing in baroclinic radiative interiors.

Radiative stars also host innermost convective cores. Thus, the outcome of tidal instability in shells should be considered. The tidal (elliptical) instability does exist in shells, as confirmed experimentally and numerically for homogeneous fluids (Aldridge et al. 1997;Seyed-Mahmoud et al. 2000;Lacaze et al. 2005;Seyed-Mahmoud et al. 2004;Lemasquerier et al. 2017). Indeed, the local stability theory we have presented remains formally valid in shells. Hence, we do not expect any significant difference for stratified fluids at the onset. Yet, boundary effects on the turbulent tidal mixing remain to be determined.

Another daunting perspective is to account for compressibility. Using the Boussinesq approximation seems exaggerated in global models of stellar interiors (Spiegel & Veronis 1960). However, the influence of compressibility is apparently negligible at the onset of tidal instability (Clausen & Tilgner 2014). This is one of the reasons why we have adopted the Boussinesq approximation. Moreover, our mixing-length theory only invokes local estimates. In particular, we may naively expect radial turbulent diffusion (41a) to be only governed by the local value of stratification (rather independently of its origin). Moreover, compressibility would barely modify the (strongest) horizontal mixing (41b), because horizontal motions are less inhibited by compressibility. Therefore, our typical turbulent timescale (49) may still be relevant in compressible interiors. Clarifying the effects of compressibility deserves future works, both in the linear and nonlinear regimes.

Finally, the scarce non-synchronised magnetic binaries (Carrier et al. 2002;Shultz et al. 2015;Alecian et al. 2019;Kochukhov et al. 2018) seem to challenge the general trend of the tidal scenario, predicting a lack of magnetic massive stars in short-period binaries. These fields do not appear to be strongly dissipated by the nonlinear tidal flows. If the tidal mechanism remains valid by including the aforementioned proposed improvements, they might be dynamically regenerated in situ by dynamo action. For instance, tides do sustain dynamo action at small-scale (Barker & Lithwick 2013b) and large-scale (Cébron & Hollerbach 2014;Reddy et al. 2018) in homogeneous fluids, and also in weakly stratified interiors (Vidal et al. 2018). Yet, the dynamo capability of tides remains elusive in strongly stratified interiors (Vidal et al. 2018). Baroclinic flows are another possible candidate, because they are dynamo capable (Simitev & Busse 2017). They may also favour the radial mixing generated by tidal instability, which is a necessary ingredient for dynamo action (Kaiser & Busse 2017). This certainly deserves future works to investigate dynamo magnetic fields in more realistic models of radiative stars. 3) Note that equations (B.1) cannot be recast into a single equation for the velocity perturbation u * in the presence of a basic flow U * 0 . In this case, the problem must be formulated for the displacement vector (e.g. [START_REF] Chandrasekhar | Ellipsoidal Figures of Equilibrium[END_REF]Lebovitz 1989).

Finally, equation (B.2) is supplemented by the nonpenetration boundary conditions

u * • 1 n = 0, B * 0 • 1 n = 0, (B.4)
with 1 n the unit outward vector normal to the ellipsoidal boundary. We emphasise that alternative boundary conditions for the background magnetic field cannot be considered with the polynomial Galerkin description, at least to investigate consistently all the hydromagnetic modes. Allowing a non-zero normal magnetic field at the boundary would create a surface electrical density current, generating a Lorentz force f * m in the form of a discontinuous Dirac function distributed on the boundary (Friedlander & Vishik 1990). This would lead to spurious diffusionless solutions for the slow hydromagnetic modes. However, we would expect the fast hydromagnetic modes (that is Coriolis modes) to be only barely affected by the magnetic boundary condition, because the Lorentz force in momentum equation (B.2) has only second-order effects on the fast modes. the low frequency branch represents slow Magneto-Coriolis (MC) modes. Their typical (dimensionless) frequency scales according to |ω i | ∝ Le 2 . In addition, the third intermediate branch represents torsional Alfvén modes (Labbé et al. 2015), scaling as |ω i | ∝ Le. They are usually filtered out in reduced models, such as in local models considering uniform fields. They exist when the current direction ∇ × B 0 of the basic state is misaligned with the spin rotation axis.

Then, we show the spectrum of MAC modes in stratified fluids in the bottom panel of Fig. B.1. The aforementioned hydromagnetic modes still exist in stably stratified interiors, yielding fast and slow MAC waves. However, their properties in the presence of buoyancy and magnetic fields are rather complex in spherical-like domains (Friedlander 1987). On the one hand, fast MAC modes and gravitoinertial modes are barely modified by magnetic fields, as illustrated in Fig. B.1 (bottom panel) when Le 1. However, they strongly depend on stratification (Friedlander & Siegmann 1982b). On the other hand, slow MC modes can be strongly affected by the magnetic field and stratification (Friedlander 1987). Finally, the buoyancy force also sustains high frequency internal gravity modes. They can be affected by rotation, yielding gravito-inertial modes (Friedlander & Siegmann 1982b).

ing results are also relevant for (stratified) moons or gaseous planets orbiting around a massive central body (e.g. Kerswell & Malkus 1998;Cébron et al. 2012b;Lemasquerier et al. 2017). We consider a diffusionless tidal model of the tidally deformed fluid body, characterised by an equatorial ellipticity β 0 . The fluid body is rotating at the uniform angular velocity Ω s , aligned in the inertial frame with the orbital angular velocity of the companion along 1 z . We use the dimensionless variables introduced in Sect. 2, that is taking (Ω s ) -1 as the relevant timescale. Due to the weak orbital eccentricity e 1, the orbital angular velocity has periodic time variations. For the sake of generality, we assume that the tidal forcing has the following (dimensionless) expression, at the leading order in the eccentricity The classical allowable range of LDEI is 0 ≤ f ≤ 4 (e.g. Cébron et al. 2012c), in which only triadic couplings of inertia-gravity waves [H 1 , H 2 , ] are involved. In this frequency range, the instability is trapped along critical latitudes for strong enough stratification when N 0 /Ω s 1. Similar to the non-synchronised configurations, it turns out that the largest growth rate is unaffected by the ratio N 0 /Ω s on these critical latitudes. Thus, they are predicted by the diffusionless formula obtained in neutral fluids (see formula 4 in Cébron et al. 2012c).

In the other frequency range f > 4, LDEI is only due to triadic couplings of internal-gravity waves [E 1 , E 2 ] modified by rotation. Moreover, the instability only exists for strong enough stratification (N 0 /Ω s 1).

Appendix D.3: Asymptotic growth rates of the LDEI As in Sect. 3.2.3 and Sect. 3.2.4, the local stability analysis provides analytical expressions of the diffusionless growth rates in the equatorial plane and on the rotation (polar) Then, the diffusionless growth rate in the equatorial plane is

σ = 1 + f 2 16 | β 0 -N 2 0 x 2 0 (β 0 -β 1 )| 4 + N 2 0 x 2 0 l (D.6)
for a general baroclinic background state β 0 β 1 . On the rotation axis, the diffusionless growth rate is given by

σ = (16 + f 2 )(1 -4 N 2 0 x 2 0 f -2 ) 16 (4 -N 2 0 x 2 0 ) β 0 l . (D.7)
Naturally, we recover equation (4) of Cébron et al. (2012c), obtained for neutral fluids ( N 0 = 0). Note that equation (25) of Cébron et al. (2013), obtained in the equatorial plane for a buoyancy force of the order β 0 , is not recovered by equation (D.6). Indeed, their equation ( 25) is approximate because they artificially set θ 0 to its hydrodynamic value 2 cos θ 0 = ± f /2, instead of using its exact value given by equation (D.4). Finally, by analogy with the arguments given in the main text for non-synchronised systems, the largest diffusionless growth rate in the stellar interior will be insensitive to the strength of stratification, yielding the value for neutral fluids (Cébron et al. 2012c(Cébron et al. , 2013;;Vidal & Cébron 2017) recovered in formula (D.6) when N 0 = 0.

Fig. 1 :

 1 Fig. 1: Sketch of idealised orbital configuration between primary body of mass M 1 and secondary one of mass M 2 . View from above in the inertial frame. Coplanar and aligned spin and orbital angular velocities [Ω s , Ω orb ].

Fig. 2 :

 2 Fig. 2: Domains of existence of sub-harmonic resonances (13), as a function of Ω 0 = Ω orb /Ω s and N 0 /Ω s . In white regions, no waves can satisfy sub-harmonic resonance condition (13). Stars (yellow area): hyperbolic waves H 1 . Right slash (purple area): hyperbolic waves H 2 . Dots (green area): elliptic waves E 1 . Back slash (blue area): elliptic waves E 2 . The classical allowable region of tidal instability (for neutral fluids) is -1 ≤ Ω 0 < 3. wave-like domains [H 1 , H 2 ] are illustrated in Fig. 3. Similarly, wave-like domains [E 1 , E 2 ] are illustrated in Fig. 4.

Fig. 3 :

 3 Fig. 3: Wave-like domains and colatitude θ 0 (degrees) for waves with hyperbolic turning surfaces H satisfying subharmonic resonance condition (13). Left panel : H 1 wave: Ω 0 = 0, N 0 /Ω s = 0.5. Right panel : H 2 wave:Ω 0 = 0, N 0 /Ω s = 2.Dashed grey hyperbolic curve is given by equation (14). Tilted dashed grey line is the asymptotic curve given by cos θ 0 = |1 -Ω 0 |/2. Waves at the sub-harmonic resonance disappear along the polar axis when z ≤ |1 -Ω 0 |/(N 0 /Ω s ).

Fig. 5 :

 5 Fig.5: Growth rate σ of tidal instability, predicted by formula (23) in equatorial plane (x 0 = 0.5, z 0 = 0), as a function of N 0 /Ω s and Ω 0 . Colour bar shows the normalised ratio log 10 (σ/β 0 ). White areas correspond to marginally stable areas. For neutral fluids, tidal instability is restricted to the allowable range -1 ≤ Ω 0 ≤ 3 when β 0 1. When Ω 0 = 1 (horizontal white line), the basic state is synchronised (see Appendix D).

Fig. 7 :

 7 Fig. 7: Dimensionless Joule damping -τ Ω /|1 -Ω 0 | of tidal instability (solid blue line), as a function of magnitude |k 0 |. Dashed magenta line is given by formula (31), delimiting the two hydromagnetic regimes. Red shaded areas show the typical strength of the diffusionless growth rate of tidal instability σ ∼ O(β 0 ), with β 0 ∈ [10 -4 , 10 -2 ] for close binaries. Computations at Le = 10 -5 and E k/Pm = 10 -12 for the dimensionless fossil field B 0 = 1 z aligned with the spin axis.

Fig. 8 :

 8 Fig. 8: Turbulent diffusion of magnetic field by tidal instability, as a function of equatorial ellipticity β 0 . Ratio σ η /|σ Ω |, with σ η the global decay rate (44) and σ Ω the free decay rate (46) without tides. Simulations at Ω 0 = 0, E k = 10 -4 , Pr = 1 and Pm = 0.1. Solid lines are the least-squares fits. Top panel : Weakly stratified regime (N 0 /Ω s = 0), with σ η /|σ Ω | = -3.09 β 0 -1.00. Bottom panel : Strongly stratified regime (N 0 /Ω s = 10) with σ η /|σ Ω | = -3.13 β 2 0 -1.21.

  Notes. Masses [M 1 , M 2 ] of primary and secondary bodies are given in Sun mass unit M . The typical stellar radius R and the typical distance D between the two bodies is given in Sun radius unit R . The spin and orbital periods [T s , T orb ] are expressed in days. They yield the spin and angular velocities [Ω s = 2π/T s , Ω orb = 2π/T orb ]. The typical surface magnetic field B * 0 , believed to be of fossil origin, is given in kiloGauss (kG) for the two components. HD 156324 and HD 98088 are synchronised systems (see Appendix D), whereas Lupi system is not synchronised.

Fig. 10 :

 10 Fig. 10: Turbulent magnetic decay τ t (49) of fossil fields , normalised by laminar Ohmic timescale τ Ω ∼ (Ω s E k/Pm) -1 , as a function of equatorial ellipticity β 0 and dimensionless orbital angular frequency Ω 0 = Ω orb /Ω s . Non-magnetic close binaries are illustrated by the symbols given in Table2. Large (white) symbols refer to body 1 of the considered binary, whereas small (cyan) symbols refer to body 2. Computations at E k/Pm = 10 -12 and K α = 30.

  with α B = (ρ M µ 0 ) -1 and p * the hydrodynamic pressure. By taking the time derivative of equations (B.1), we can obtain a single wave-like equation of second order in time for the velocity perturbation u * . This reads∂ 2 u * ∂t 2 + 2Ω × ∂ u * ∂t = -∂∇p * ∂t + α T (u * • ∇) T * 0 g * + f * m , (B.2)with the Lorentz forcef * m = α B (∇ × B * 0 ) × ∇ × (u * × B * 0 ) + α B ∇ × (∇ × (u * × B * 0 )) × B * 0 . (B.

Fig

  Fig. B.1: frequency |ω i | of MAC modes, as a function of Le in spheres (β 0 = 0), stratified under gravitational potential (5). The background (toroidal) magnetic field is B 0 = 0.1 -z 1 y + y 1 z + -y 1 x + x 1 y in dimensionless form. From bottom to top: green circles are slow MC and torsional modes (respectively ω i ∝ Le 2 and ω i ∝ Le), blue squares represent fast MC modes and red stars are gravito-inertial modes. The truncation polynomial degree is n = 5. Top panel : Neutral fluid (N 0 /Ω s = 0). Bottom panel : Stratified fluid (N 0 /Ω s = 10).

Ω 0

 0 (t) = 1 + l cos ( f t) , (D.1)where f is the dimensionless frequency of the forcing and l ≤ 2e the dimensionless amplitude. Forcing (D.1) is known as longitudinal librations. For this tidal forcing, the equilibrium tidal velocity field has the following form in the central frameU 0 (r, t) =l cos( f t) -(1 + β 0 )y 1 x + (1 -β 0 )x 1 y . (D.2) Tidal flow (D.2) is prone to libration-driven elliptical instability (LDEI), which is quite similar to tidal instability in non-synchronised systems (e.g. Kerswell & Malkus 1998; Cébron et al. 2012b; Vidal & Cébron 2017; Le Reun et al. 2019). Appendix D.2: Resonance condition of the LDEI LDEI is a fluid instability due to sub-harmonic resonances between two waves of angular frequency |ω i | interacting with basic flow (D.2). By analogy with formula (13) in nonsynchronised systems, the sub-harmonic resonance condition becomes |ω i | = f /2. (D.3) The four kinds of waves [H 1 , H 2 , E 1 , E 2 ], introduced Sect. 3.2, can be nonlinearly coupled in the instability mechanism. We show the nature of the waves satisfying condition (D.3) in Fig. D.1.

Fig. D. 1 :

 1 Fig. D.1: Waves at sub-harmonic resonance condition (D.3) for synchronised systems, as a function of (dimensionless) forcing frequency f and N 0 /Ω s . The other notations are identical to the ones introduced in the main text. White regions: no compatible waves satisfying (D.3). Stars (yellow area): hyperbolic waves H 1 . Right slash (purple area): hyperbolic waves H 2 . Dots (green area): elliptic waves E 1 . Back slash (blue area): elliptic waves E 2 . The classical allowable region of the instability is 0 ≤ f ≤ 4 in neutral fluids.

Table 1 :

 1 Typical values of dimensionless numbers for stellar interiors. CZ: stellar convective zones, e.g. in the Sun[START_REF] Charbonneau | [END_REF]. RZ: (rapidly) rotating radiative zones (e.g.Rieutord 2006).

	Number	Symbol	CZ	RZ
	Ekman	E k	10 -16	10 -18
	Prandtl	Pr	10 -6	10 -6
	Magnetic Prandtl	Pm	10 -6	10 -6
	Magnetic Ekman	Em	10 -10	10 -12
	Brunt-Väisälä	N 0 /Ω s	0	0 -100
	Lehnert	Le	10 -5	≤ 10 -4

  Notes. The masses [M 1 , M 2 ] of the primary and the secondary bodies are given in Sun mass unit M . The typical stellar radius R and the typical distance D between the two bodies is given in Sun radius unit R . Spin and orbital periods [T s , T orb ] are expressed in days. Spin and angular velocities are defined as Ω s = 2π/T s and Ω orb = 2π/T orb . Note that T s has been estimated by assuming aligned spin-orbit systems. Symbols refer to Fig.10. HD 23642:[START_REF] Groenewegen | [END_REF]; HD 24133: Clausen et al.

								days)	(days)	(days)	Body 1	Body 2
	•	HD 23642	2.22	1.57	1.84	1.57	11.96	2.49	2.45	2.46	0.00 3.9 × 10 -3 4.8 × 10 -3
		HD 24133	1.39	1.31	1.78	1.49	5.042	0.827	0.783	0.80	0.00 6.2 × 10 -2 4.1 × 10 -2
		HD 24909	3.53	1.72	2.47	1.53	10.59	1.8	1.8	1.74	0.07 9.3 × 10 -3 9.3 × 10 -3
		HD 25638	14.3	10.7	8.91	6.70	23.97	3.01	2.76	2.70	0.00 5.8 × 10 -2 4.4 × 10 -2
		HD 25833	5.36	4.90	2.99	2.60	14.67	2.0	1.7	2.03	0.07 1.2 × 10 -2 9.1 × 10 -3
		HD 32964	2.63	2.57	1.95	1.92	22.90	5.57	5.55	5.52	0.08 9.0 × 10 -4 9.0 × 10 -4
		HD 34364	2.48	2.29	1.78	1.82	18.24	3.90	4.01	4.13	0.00 1.3 × 10 -3 1.6 × 10 -3
		HD 36486	24.0	8.40	16.5	6.50	43.00	6.24	2.13	5.73	0.11 3.0 × 10 -2 1.5 × 10 -3
		HD 150136	62.6	39.5	13.1	9.54	38.00	2.9	2.7	2.67	0.00 3.9 × 10 -2 3.8 × 10 -2
												(2010); HD
	24909: Degirmenci (1997); HD 25638: Tamajo et al. (2012); HD 25833: Giménez & Clausen (1994); HD 32964: Makaganiuk et al.
	(2011); HD 34364: Nordstrom & Johansen (1994); HD 36486: Shenar et al. (2015); HD 150136: Mahy et al. (2012).

Table 3 :

 3 Predictions of tidal scenario for (non-magnetic) close binaries described in Table2.

	System	σ * (1/year)	τ t (years)	τ t /τ Ω		τ t /τ MC
		Body 1	Body 2	Body 1	Body 2	Body 1	Body 2	Body 1	Body 2
	HD 23642

Even though it is essential for the self-sustained generation of dynamo magnetic fields.

Acknowledgements. JV was initially supported by a Ph.D grant from the French Ministère de l'Enseignement Supérieur et de la Recherche and later partly by STFC Grant ST/R00059X/1. DC was funded by the French Agence Nationale de la Recherche under grant ANR-14-CE33-0012 (MagLune) and by the 2017 TelluS program from CNRS-INSU (PNP) AO2017-1040353. AuD acknowledges support from NASA through Chandra Award number TM7-18001X issued by the Chandra X-ray Observatory Center, which is operated by the Smithsonian Astrophysical Observatory for and on behalf of NASA under contract NAS8-03060. EA and the BinaMIcS collaboration acknowledges financial support from "Programme National de Physique Stellaire" (PNPS) of CNRS/INSU (France). JV and DC kindly aknowledges Dr N. Schaeffer (ISTerre, UGA) for several suggestions improving the quality of the paper and for fruitful discussions on the mixing observed in the numerical simulations performed with the XSHELLS code. XSHELLS is developed and maintained by Dr N. Schaeffer at https://bitbucket.org/nschaeff/xshells. JV aknowledges EA for the invitation to the BinaMIcS Workshop #5, where came the idea to explain the lack of magnetic binaries by using tidal instability. AuD and EA aknowledge Dr S. Mathis (CEA, Paris Saclay) and the BinaMIcS collaboration for fruitful discussions. The authors acknowledge Dr F. Gallet (IPAG, UGA), who validated the typical estimate of the Brunt-Väisälä frequency in massive stars by using a stellar evolution code. The XSHELLS code is freely available at https: //bitbucket.org/nschaeff/. Computations were performed on the Froggy platform of CIMENT (https://ciment.ujf-grenoble.fr), supported by the Rhône-Alpes region (CPER0713 CIRA), OSUG2020 LabEx (ANR10 LABX56) and EquipMeso (ANR10 EQPX-29-01). IS-Terre is also part of Labex OSUG@2020 (ANR10 LABX56). SWAN is described at https://bitbucket.org/vidalje/, and most figures were produced using matplotlib (http://matplotlib.org/).

Appendix A: Local (WKB) stability equations

We present the local Wentzel-Kramers-Brillouin (WKB) stability method. In the local analysis, the unbounded growth of the perturbations gives sufficient conditions for local instability (Friedlander & Vishik 1991;Lifschitz & Hameiri 1991). The original WKB hydrodynamic stability theory has been extended by several authors, for instance to take buoyancy effects into account within the Boussinesq approximation [START_REF] Kirillov | [END_REF].

In the following, we derive the coupled (WKB) stability equations for arbitrary, spatially varying Boussinesq and magnetic background states. We emphasise that their derivation is intrinsically different from the one of Kelvin wave stability equations (Craik & Criminale 1986;Craik 1989), also accounting for magnetic fields (Craik 1988;Fabijonas 2002;Lebovitz & Zweibel 2004;Herreman et al. 2009;Mizerski & Bajer 2011;Cébron et al. 2012b;Mizerski et al. 2012;Mizerski & Lyra 2012;Bajer & Mizerski 2013) and buoyancy effects (Cébron et al. 2012b). Indeed, the Kelvin wave method cannot investigate the stability of arbitrary background states, contrary to the WKB method.

Appendix A.1: Linearised stability equations

We use in the following dimensional variables to devise the general stability equations in the diffusionless limit. Contrary to the main text, the dimensional variables are written here without * , to keep concise mathematical expressions. We consider a fluid rotating at the angular velocity Ω and stratified in density under the arbitrary gravity field g. The fluid has a typical density ρ M and is pervaded by an imposed magnetic field B 0 (r, t). We expand the velocity, the magnetic field and the temperature as small Eulerian perturbations [u, b, Θ](r, t) around a spatially varying and time-dependent background state [U 0 , B 0 , T 0 ](r, t). In unbounded fluids, the perturbations are governed by the linearised hydromagnetic, Boussinesq equations

Appendix A.2: Short-wavelength perturbations

We seek short-wavelength perturbations in Eulerian description, with respect to the small asymptotic parameter 0 < ε 1. We introduce the formal asymptotic series

where Φ is a real-valued scalar function that represents the rapidly varying phase of oscillations and [u (i) , Θ (i) , p (i) ] are slowly varying complex-valued amplitudes. Note that we have omitted in expansions (A.2) the reminder terms, assumed to be uniformly bounded in ε on any fixed time interval (Lifschitz & Hameiri 1991;Lebovitz & Lifschitz 1992;Lifschitz & Lebovitz 1993). We further introduce the local wave vector, defined by k = ∇Φ. The small asymptotic parameter ε 1 is actually related to the typical scale of the instability l, which must be much smaller to the typical length scale of the large-scale background flow L 0 . This requires ε = l/L 0 1 (Nazarenko et al. 1999). In the hydrodynamic and diffusionless case, its value is arbitrary small. However, in hydromagnetics, ε does affect the magnetic field because the Lorentz force depends on the length scale. The general magnetic configuration leads to a set of partial differential equations (Friedlander & Vishik 1995;Kirillov et al. 2014), which must be solved locally in Eulerian description. However, by assuming (see also for uniform fields Mizerski & Bajer 2011)

the partial differential equations simplify into ordinary differential equations (even for spatially varying magnetic fields). This is the central approximation of the hydromagnetic stability theory, which is not required in the nonmagnetic case. For tidal studies, we usually set ε = β 0 (Le Dizès 2000).

Appendix A.3: Eulerian stability equations

We closely follow the mathematical derivation of [START_REF] Kirillov | [END_REF], extending it to the hydromagnetic case. Substituting expansions (A.2) in incompressible condition (A.1d) and collecting terms of order i/ε and ε 0 gives i/ε :

The same procedure applied to governing equations (A.1a)-(A.1c). Firstly, we have at the order i/ε

The dot product of the first equation (A.5) with ∇Φ, under constraint (A.4a), gives p (0) = 0. Then, we obtain the Hamilton-Jacobi equation dΦ/dt = 0. Finally, taking the spatial gradient of the previous equation gives the eikonal equation and its initial condition (Lifschitz & Hameiri 1991)

Now, by using the Hamilton-Jacobi equation and (A.6), equations (A.1a)-(A.1c) give at the next asymptotic order

Equations (A.7b)-(A.7c) are transport equations for the magnetic field and the temperature amplitudes. Applying the dot product of k with equation (A.7a) gives the first order pressure variable

Then, we differentiate equation (A.4a) to get the identity (Lifschitz & Hameiri 1991)

Finally, we use identity (A.9) to simplify equation (A.8), then we substitute the resulting expression into equation (A.7a). After some algebra, we get the transport equation for the velocity amplitude

The stability equations, given by equations (A.10) and (A.7b)-(A.7c), are dominant for the stability behaviour of WKB expansions (A.2) for long enough times in the limit ε 1 (Lifschitz & Hameiri 1991;Friedlander & Vishik 1991;Lebovitz & Lifschitz 1992;Lifschitz & Lebovitz 1993). The next order terms are only responsible for transient behaviours (Rodrigues 2017). Thus, sufficient conditions for local instability are obtained by solving transport equations (A.10) and (A.7b)-(A.7c).

Appendix A.4: Lagrangian equations along fluid trajectories WKB stability equations are partial differential equations in Eulerian description. However, they are generally solved in Lagrangian description. The WKB perturbations are advected along the fluid trajectories X(t) of the background flow U 0 , passing through the initial point X 0 at initial time t = 0. In Lagrangian formalism, the WKB stability equations are

with D/Dt the Lagrangian derivative. Therefore, equations (A.11) are interpreted as ordinary differential equations along the fluid trajectories of the background flow U 0 for the amplitudes (u (0) , Θ (0) , ξ (0) ). In addition, the initial conditions satisfy

such the solenoidal conditions for the velocity and the magnetic field hold at any time. Sufficient conditions for instability are obtained when (e.g. Lifschitz & Hameiri 1991;Lebovitz & Lifschitz 1992;Lifschitz & Lebovitz 1993)

for given [X 0 , k 0 ] and with suitable initial conditions for [u (0) , b (0) , Θ (0) ].

Appendix B: MAC modes in triaxial ellipsoids

We present a method to compute the three-dimensional hydromagnetic eigenmodes of stratified Boussinesq fluids contained within rigid triaxial ellipsoids. This approach relies on a fully global, explicit spectral method in ellipsoids, in which the velocity field is described by polynomial finitedimensional Galerkin bases (Vidal & Cébron 2017). The algorithm has been benchmarked successfully against the Coriolis modes in ellipsoids (Vantieghem 2014), while the fast and slow hydromagnetic solutions have been validated for the Malkus field in spheres (Malkus 1967;[START_REF] Zhang | [END_REF] and spheroids (Kerswell 1994).

Appendix B.1: Assumptions

We work in dimensional variables for the sake of generality, and use the notations introduced in the main text. We consider a diffusionless, incompressible electrically conducting fluid, contained within a triaxial ellipsoid of semi-axes (a, b, c). The fluid is stratified under the gravity field g * in the Boussinesq approximation. The fluid is contained within an ellipsoidal container, which is rotating at the angular velocity Ω in the inertial frame. We expand the velocity, the temperature and the magnetic field as small perturbations [u * , Θ * , b * ](r, t) around an equilibrium state of rest [0, T * 0 , B * 0 ](r). In the linear approximation, the dimensional governing equations are

Appendix B.2: Galerkin method

We employ a Galerkin method to describe the velocity field. We seek a Galerkin expansion of the modes in the form

where ω i is the angular frequency, {γ l } modal complex coefficients and { u * l (r)} are real-valued basis Galerkin elements. Firstly, we rewrite equation (B.2) in the symbolic form

where [A 1 , A 0 ] are two linear operators. The basis elements { u * l (r)} are made of linear combinations of Cartesian monomials {x i y j z k } i+j+k<∞ , satisfying

Several Cartesian expansions have been proposed (see a comparison in Vidal & Cébron 2017). Expansion (B.5) is similar to expansions used in the finite-element method (FEM). However, compared to the traditional FEM, our basis elements { u * l (r)} are global polynomials, infinitely differentiable in ellipsoids. The mathematical completeness of the polynomial expansion for incompressible fluids is then ensured by using the Weierstrass approximation theorem (Backus & Rieutord 2017;Ivers 2017). Hence, this method is a rigorous spectral method in ellipsoids.

Then, we truncate series (B.5) at a given polynomial degree n (such that i + j + k ≤ n). In the absence of any stratified or magnetic effect, the Coriolis operator is exactly closed within the considered polynomial bases (e.g. Kerswell 1993b;Backus & Rieutord 2017). Thus, the Coriolis modes are exactly described by the polynomial description (Vantieghem 2014;Backus & Rieutord 2017). Note that fast and slow MC modes also admit exact polynomial descriptions for some background magnetic fields that are linear in the Cartesian space coordinates (Malkus 1967;[START_REF] Zhang | [END_REF]Kerswell 1994). For any other practical configuration, we have to choose a maximum polynomial degree n to ensure a good convergence of the desired modes (higherorder bases are excited by the buoyancy and Lorentz forces). We substitute the truncated expansion into equation (B.6), yielding the quadratic eigenvalue problem

where γ = (γ 1 , γ 2 , . . . ) is the eigenvector and [A 2 , A 1 , A 0 ] are three real-valued matrices. Their elements are given by the Galerkin projections over the ellipsoidal domain

The projection of the pressure term in equation (B.8) vanishes by virtue of the divergence theorem, such that an explicit decomposition for the pressure is not required. If the background state can be written by using Cartesian monomials x i y j z k , then volume integrals (B.9) can be computed analytically (see formula 50 in Lebovitz 1989).

Appendix B.3: Hydromagnetic modes

We show in Fig. B.1 the dimensionless eigenfrequency ω i of MAC modes, for the relevant weak field regime Le ≤ 10 -1 . We have considered an arbitrary reference configuration to illustrate several representative properties of the modes. We identify three families of waves in neutrally stratified fluids (top panel of Fig. B.1), in agreement with investigations in spherical geometries (e.g. Schmitt 2010;Labbé et al. 2015). Firstly, the high frequency branch represents fast Magneto-Coriolis (MC) modes (Malkus 1967;Labbé et al. 2015). They are similar to pure Coriolis (or inertial) modes [START_REF] Greenspan | The Theory of Rotating Fluids[END_REF]Vantieghem 2014;Backus & Rieutord 2017), with a dimensionless spectrum bounded by |ω i | ≤ 2 in the weak field regime Le 1. These modes are regular in space and only weakly affected by large-scale magnetic fields in weakly deformed spheres (e.g. Schmitt 2010;Labbé et al. 2015). This is consistent with the weak frequency dependence on Le observed in Fig. B.1. Note that they have a different behaviour compared to the singular modes localised on attractors (e.g. Rieutord & Valdettaro 1997, 2018), which only exist in shells because the mathematical problem is ill-posed (Rieutord et al. 2000). Secondly,

Appendix C: Mixed resonances of MAC waves

We investigate the possible nonlinear couplings of hydromagnetic waves for tidal instability. We use the same dimensionless variables as in the main text. Resonance condition (12) can only be satisfied if tidal instability involves fast MAC waves (that is inertial or gravito-inertial waves), coupled with either fast or Magneto-Coriolis (slow MC) waves (Kerswell 1993a(Kerswell , 1994)). Indeed, in the astrophysical regime Le 1, the illustrative spectrum in Fig. B.1 clearly shows that no triadic couplings are effective in ellipsoids between two slow MC waves when 1 ≤ Ω 0 ≤ 3. Thus, the couplings of slow MC waves with the equilibrium tidal flow cannot be advocated in stellar interiors.

Secondly, the mixed couplings between slow and fast hydromagnetic waves is not forbidden in diffusionless fluids. In the weak field regime Le 1, Kerswell (1993aKerswell ( , 1994) ) showed that the typical diffusionless growth rate of tidal instability involving mixed couplings scales as (in dimensionless form) σ ∝ Le 4 β 0 .

(C.1) However, this diffusionless growth rate must be larger than the (laminar) Joule damping rate of the slow MC waves, that is τ Ω ∝ -Em | k 0 | 2 in the local theory (Rincon & Rieutord 2003;Sreenivasan & Narasimhan 2017). This gives the typical upper bound on the wave vector

In short-period binaries, the typical value for the equatorial ellipticity is β 0 ∼ 10 -3 -10 -2 (see Table 2). As given in Table 1, we have also the typical numbers Em ≤ 10 -10 and Le ≤ 10 -4 . Then, condition (C.2) gives the upper bound |k 0 | 1. This is incompatible with the short-wavelength stability theory, which requires | k 0 | 1. Physically, this shows that the (laminar) Joule damping rate is always larger than the diffusionless growth rate in non-ideal fluids, for any resonance involving slow MC waves in the regime Le 1. Therefore, mixed couplings of fast/slow waves can be discarded for tidal instability in realistic stellar interiors.

Appendix D: Weakly eccentric synchronised orbits Appendix D.1: Libration forcing We consider synchronous stratified binary systems moving on weakly eccentric coplanar orbits. Note that the follow-Note finally that formula (30b) also provides exactly the Joule damping rate of the LDEI in neutral fluids ( N 0 = 0). Besides, formulas of Cébron et al. (2012a,b) are recovered in the limit | k 0 | 1 by using the LDEI resonance condition to set θ 0 , that is cos θ 0 = ± f /4 when N 0 = 0.

Appendix D.4: Mixing-length theory

We can build a mixing-length theory to get a phenomenological prescription of the turbulent mixing in weakly eccentric synchronised orbits, by analogy with non-synchronised orbits. The main difference with non-synchronised systems is that the typical turbulent velocity u t should scale as (Favier et al. 2015;Grannan et al. 2016) u t ∝ α 1 l β 0 r l Ω s .

(D.8)

Then, the turbulent prescription becomes

with the numerical pre-factor K α ∼ 30 -50 as in expression (49), which is based on the numerical pre-factors of formulas (41). Hence, the timescale for the turbulent Ohmic diffusion of the fossil field ought to be reduced in synchronised systems (compared to non-synchronised ones) by using formula (D.9).