{'fraction_non_alphanumeric': 0.03686382393397524, 'fraction_numerical': 0.016706264849318496, 'mean_word_length': 4.752553589411596, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 3, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 11, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Sparse identification of multiphase turbulence closures for coupled fluid–particle flows

Abstract In this work, model closures of the multiphase Reynolds-averaged Navier–Stokes (RANS) equations are developed for homogeneous, fully developed gas–particle flows. To date, the majority of RANS closures are based on extensions of single-phase turbulence models, which fail to capture complex two-phase flow dynamics across dilute and dense regimes, especially when two-way coupling between the phases is important. In the present study, particles settle under gravity in an unbounded viscous fluid. At sufficient mass loadings, interphase momentum exchange between the phases results in the spontaneous generation of particle clusters that sustain velocity fluctuations in the fluid. Data generated from Eulerian–Lagrangian simulations are used in a sparse regression method for model closure that ensures form invariance. Particular attention is paid to modelling the unclosed terms unique to the multiphase RANS equations (drag production, drag exchange, pressure strain and viscous dissipation). A minimal set of tensors is presented that serve as the basis for modelling. It is found that sparse regression identifies compact, algebraic models that are accurate across flow conditions and robust to sparse training data.


Introduction
Many natural and industrial processes involve the flow of solid particles, liquid droplets or gaseous bubbles whose dynamical evolution and morphology are intimately coupled with a carrier fluid. A peculiar behaviour of disperse multiphase flows is their ability to give rise to large-scale structures (hundreds to thousands of times the size of individual particles), from dense clusters to nearly particle-free voids (see figure 1). The emergence of spatial segregation in particles can be attributed to a number of factors, e.g. due to dissipation during inelastic collisions (Hopkins & Louge 1991;Goldhirsch & Zanetti 1993), viscous damping by the fluid (Wylie & Koch 2000), preferential concentration of particles by the background turbulence (Eaton & Fessler 1994) and instabilities that arise due to interphase coupling (Glasser, Sundaresan & Kevrekidis 1998;Agrawal et al. 2001;Capecelatro, Desjardins & Fox 2014. Such large-scale heterogeneity can effectively 'demix' the underlying flow, reducing contact between the phases and resulting in enormous consequences at scales much larger than the size of individual particles, such as hindered heat and mass transfer (Agrawal et al. 2013;Miller et al. 2014;Pouransari & Mani 2017;Beetham & Capecelatro 2019;Guo & Capecelatro 2019). The focus of the present work is on modelling disperse multiphase turbulence at length scales much larger than the particle diameter. Such flows can be categorized into two broad classes: (i) flows where the turbulence originates in the continuous phase with the discrete phase modulating the small scales of the turbulence (see e.g. Balachandar & Eaton (2010), and references therein); and (ii) flows where the turbulence arises due to the coupling between the discrete and continuous phases. The former is mainly focused on how the discrete phase modifies the classical turbulence structures seen in single-phase flows. The latter is the focus of the present work and can be observed in gas-particle flows when the mass of the particles is of the same order or greater than that of the gas phase, or in bubbly flows when the bubble volume fraction is high enough to lead to buoyancy-driven instabilities (e.g. Besnard, Harlow & Rauenzhan 1987;Rzehak & Krepper 2013;Ma, Lucas & Bragg 2020).
To date, turbulent particle-laden flows are most often discussed in the dilute limit where the fluid-phase turbulence interacts with inertial particles without significant feedback from the particles. It is well established that dilute suspensions of heavy particles in isotropic turbulence will preferentially concentrate in regions of high strain rate and low vorticity (Eaton & Fessler 1994). In the presence of a mean body force (e.g. gravity), particles have been observed to experience enhanced settling as a result of preferential sweeping, by which the particles tend toward regions of downward fluid motion when encountering vortical structures in the flow (e.g. Wang & Maxey 1993;Aliseda et al. 2002;Ferrante & Elghobashi 2003;Yang & Shy 2003;Bosse, Kleiser & Meiburg 2006).
When the particle concentration is sufficiently high, the background flow is largely controlled by interphase coupling. Under these conditions, particles tend to accumulate in regions of low vorticity, resembling preferential concentration that typically occurs in dilute particle-laden turbulence. However, in the dense limit the vorticity is generated in shear layers between highly concentration regions (clusters), unlike in classical preferential concentration where vorticity would exist even in the absence of the disperse phase (Capecelatro et al. 2015). Additional effects contribute to the settling velocity and spatial segregation of particles in denser suspensions when two-way coupling between the phases is non-negligible.
Seminal works by G. K. Batchelor have provided theoretical estimates describing the motion of collections of solid particles suspended in viscous flows (Batchelor 1972(Batchelor , 1982, in addition to important insights into the instabilities present in such systems. For example, Batchelor (1988) demonstrated that small rigid spheres falling under gravity will give rise to long-range hydrodynamic interactions that result in hindered settling (Batchelor 1972). In more recent studies, it was demonstrated that, at higher Reynolds numbers and particle concentrations, momentum exchange between the phases results in enhanced settling when the mean mass loading, ϕ, defined by the ratio of the specific masses of the particle and fluid phases, is of order one or larger (Capecelatro et al. 2015). In statistically homogeneous gravity-driven gas-solid flows, the average particle settling speed, V, can be approximated as for Stokes flow (Capecelatro et al. 2015), where V 0 = τ p g is the terminal Stokes settling velocity of an isolated particle with τ p the particle response time and g gravity. In this expression, the phase-averaged fluid velocity, u f p = α p u f / α p , is sometimes referred to as the velocity seen by the particles, where u f is the local fluid velocity aligned with gravity, α p is the local particle volume fraction and angled brackets denote a spatial and temporal average. At sufficient mass loading, fluctuations in particle concentration can generate and sustain fluid-phase turbulence (as shown in figure 1), referred to here as cluster-induced turbulence (CIT). Because clusters entrain the carrier phase, u f and α p are often highly correlated, resulting in V > V 0 . Due to the breadth of length and time scales present in turbulent fluid-particle mixtures, accurate modelling of industrial and environmental flows remains challenging. Thus, the Reynolds-averaged Navier-Stokes (RANS) equations are the workhorse of industry to inform engineering designs and decisions. Because of the importance of the multiphase physics present in large-scale systems, developing multiphase RANS closures that are accurate under relevant conditions is critically important.
To date, multiphase turbulence models have largely relied upon extensions to single-phase models (e.g. Sinclair & Jackson 1989;Dasgupta, Jackson & Sundaresan 1994;Sundaram & Collins 1994;Cao & Ahmadi 1995;Dasgupta, Jackson & Sundaresan 1998;Cheng et al. 1999;Zeng & Zhou 2006;Jiang & Zhang 2012;Rao et al. 2012) that were derived directly from the Navier-Stokes equations. It should be noted, however, that multiphase turbulence does share some commonalities with single-phase flows, especially with variable-density turbulence. For example, multiphase flows subject to mean shear can develop velocity fluctuations that strongly modify the mean velocity profiles and transport properties of the flow (Capecelatro, Desjardins & Fox 2018). Single-phase, variable-density flows subject to Rayleigh-Taylor instabilities (see, e.g. Johnson & Schilling 2011;Zhou 2017) develop velocity and density fluctuations similar to those observed in heterogeneous bubbly flows (Mudde 2005). However, the main difference between disperse multiphase and variable-density flows is that the former has a separate velocity for each phase while the latter has a single fluid velocity. Moreover, momentum coupling by particles introduces velocity fluctuations at small scales that further complicates the energy budget of turbulence. By introducing the slip velocity, i.e. the velocity difference between the discrete and continuous phases, additional dimensionless parameters, such as the Stokes number and mass loading, are needed to describe multiphase turbulence.
In contrast to modelling by analogy with single-phase flow, Fox (2014) developed the exact Reynolds-averaged equations for collisional fluid-particle flows. In that work, it was demonstrated that directly averaging the Navier-Stokes equations fails to capture important two-phase interactions. Instead, it was demonstrated that phase averaging the mesoscale (locally averaged) equations results in a set of equations that explicitly account for two-way coupling contributions. Capecelatro et al. (2015) further developed the Reynolds-averaged formulation of Fox (2014) to include transport equations for the volume-fraction variance, drift velocity and the separate components of the Reynolds stresses of each phase and particle-phase pressure tensor. While exact, it does lead to a large number of unclosed terms that require modelling, which is the focus of the present study.
Accurate modelling of the unclosed terms that remain predictive from dilute to dense regimes remains an outstanding challenge. Fox (2014) proposed closures of the phase-averaged (PA) terms based largely on single-phase turbulence models without extensive validation. Capecelatro, Desjardins & Fox (2016b) extended these models to account for near-wall effects in particle-laden channel flows. Agreement with the turbulence statistics obtained from simulation data was found to be satisfactory at first order (e.g. PA velocities) but less so at second order (e.g. PA turbulent kinetic energy). Innocenti et al. (2019) drew upon a probability-density-function approach, along with extensions from single-phase turbulence modelling (particularly in the fluid phase), showing satisfactory agreement for statistics up to second order. However, the model was restricted to relatively dilute flows. Due to the large parameter space associated with turbulent multiphase flows, a reliable modelling approach valid across two-phase flow regimes (e.g. dilute to dense limit) remains elusive.
Broadly speaking, extracting new models and understanding of physics from data has a long history in many diverse areas of science and engineering (see e.g. Jordan & Mitchell 2015). In the last decade, these data-driven techniques have been applied to turbulence modelling in several ways, including uncertainty prediction and quantification, model Neural networks have shown relatively exceptional performance outside the region in which they were trained. As a departure from more traditional modelling techniques, these methods are inserted modularly, as a 'black box', into an existing flow solver. Thus, while they have displayed a high level of performance on a wide range of flow conditions, the closure does not satisfy the interpretability condition necessary for making physical inferences. Further, a large number of neural network approaches attempt to augment or correct existing models. However, as discussed above, in the context of multiphase flows appropriate existing models in which to augment do not exist.
Rather than relying on a best-fit strategy, as done in neural networks, Brunton, Proctor & Kutz (2016) developed a strategy based on sparse regression that identifies the underlying functional form of the nonlinear physics by optimizing a coefficient matrix that acts upon a matrix of trial functions. While this method requires knowledge about the physics of the system under configuration (in order to make informed selections of the trial functions), it can be reasonably assumed that the modeller is not entirely naive. In fact, traditional modelling techniques have relied nearly exclusively on this notion. Schmelzer, Dwight & Cinnella (2020) and Beetham & Capecelatro (2020) recently extended the sparse identification framework of Brunton et al. (2016) to infer algebraic stress models for the closure of RANS equations. In Schmelzer et al. (2020) the models are written as tensor polynomials and built from a library of candidate functions. In Beetham & Capecelatro (2020) Galilean invariance of the resulting models are guaranteed through thoughtful tailoring of the feature space.
In this work, the sparse identification modelling framework of Beetham & Capecelatro (2020) is employed to develop multiphase closure models for homogeneous, gravity-driven gas-solid flows. Eulerian-Lagrangian simulations are performed across a range of Archimedes numbers and volume fractions to provide training data. The terms appearing in the multiphase RANS equations recently derived in Capecelatro et al. (2015) are extracted. We then build a minimally invariant basis set of tensors (i.e. a set of functional groups that serve as candidate terms in the desired model). Such basis sets are well established for single-phase turbulent flows (Pope 1975;Speziale, Sarkar & Gatski 1991;Gatski & Speziale 1993); however, an analogous basis has not yet been determined for multiphase flows. Using this basis and the sparse regression methodology, the compact functional form of the physics-based closures are inferred. As we consider exclusively statistically stationary and homogeneous systems, model realizability (Pope 2000) is left for future work.

Configuration under study
In the present study, rigid spherical particles of diameter d p and density ρ p are suspended in an unbounded (triply periodic) domain containing an initially quiescent gas of density ρ f and viscosity ν f . Gravity g acts in the negative x-direction. As particles settle, they spontaneously form clusters. Due to two-way coupling between phases, particles entrain the fluid, generating turbulence therein. A frame of reference with the fluid phase is considered, such that the mean streamwise fluid velocity is null. Given the relative simplicity of the configuration, only a few non-dimensional groups arise. An important non-dimensional number is the Archimedes number, defined as Alternatively, a Froude number can be introduced to characterize the balance between gravitational and inertial forces, defined as Fr = τ 2 p g/d p , where τ p = ρ p d 2 p /(18ρ f ν f ) is the particle response time. The Stokes settling velocity for an isolated particle is given by V 0 = τ p g. From this a characteristic cluster length can also be estimated a priori as L = τ 2 p g. To ensure the hydrodynamics is independent of the domain size, the simulation configurations are equal or larger than Case 4 reported in Capecelatro, Desjardins & Fox (2016a).
To sample the parameter space typical of turbulent fluidized bed reactors (Sun & Zhu 2019), the mean particle-phase volume fraction is varied in the range 0.001 ≤ α p ≤ 0.05 and the Archimedes number is varied in the range 1.8 ≤ Ar ≤ 18.0 by adjusting gravity. Due to the large density ratios under consideration, the mean mass loading ranges from O(10) to O(10 2 ), and consequently two-way coupling between the phases is expected to be important. Here, angled brackets denote both a spatial and a temporal average (since the flow under consideration is triply periodic and statistically stationary in time). A list of relevant non-dimensional numbers and other important simulation parameters are summarized in table 1.

Volume-filtered equations
In this section, we present the volume-filtered Eulerian-Lagrangian equations used to formulate the Reynolds-averaged equations in § 3 and generate the simulation data that will be applied to the sparse regression methodology in § 4. The position and velocity of the ith particle is calculated according to Newton's second law p is the centre position of particle i and v (i) p is its velocity at time t and g = (−g, 0, 0) T is the acceleration due to gravity. The force due to inter-particle collisions, F c , is accounted for using a soft-sphere collision model originally proposed by Cundall & Strack (1979). Particles are treated as inelastic and frictional with a coefficient of restitution of 0.85 and coefficient of friction of 0.1 (Capecelatro & Desjardins 2013). Momentum exchange between the phases is given by where u f , p f and σ f are the fluid-phase velocity, pressure, and viscous-stress tensor evaluated at the particle location, respectively, and F d is the non-dimensional drag correction of Tenneti & Subramaniam (2011) that takes into account local volume fraction and Reynolds number effects given by where the particle Reynolds number is defined as The remaining two terms in (2.4) are given by To account for the presence of particles in the fluid phase without resolving the boundary layers around individual particles, a volume filter is applied to the incompressible Navier-Stokes equations (Anderson & Jackson 1967). This procedure replaces the point variables with smooth, locally filtered fields. These volume-filtered equations are given by and where A is the locally averaged momentum exchange term, evaluated at each Lagrangian particle and projected to the Eulerian mesh. The fluid-phase viscous-stress tensor is defined as where I is the identity matrix. The Eulerian-Lagrangian equations are solved using NGA (Desjardins et al. 2008), a fully conservative, low-Mach-number finite volume solver. A pressure Poisson equation is solved to enforce continuity via fast Fourier transforms in all three periodic directions. The fluid equations are solved on a staggered grid with second-order spatial accuracy and advanced in time with second-order accuracy using the semi-implicit Crank-Nicolson scheme of Pierce (2001). Lagrangian particles are integrated using a second-order Runge-Kutta method. Fluid quantities appearing in (2.2a,b) are evaluated at the position of each particle via trilinear interpolation. Particle data are projected onto the Eulerian mesh using the two-step filtering process described in Capecelatro & Desjardins (2013).

Eulerian-Lagrangian training data
The Eulerian-Lagrangian simulations were initialized with a random distribution of particles and run for approximately 100τ p until the flow reached a statistically St η Re λ stationary state. At this point, statistics are accumulated over 50τ p . Instantaneous snapshots of the streamwise fluid velocity and particle position of each case at steady state are shown in figure 1. It can immediately be seen that clusters of particles are generated and entrain the fluid downward. As a consequence of the frame of reference under consideration, the fluid flows upward in regions void of particles. Clusters are seen to become more distinct with increasing α p . The effect of Ar on the flow field is less noticeable. As shown in table 2, the standard deviation in volume-fraction fluctuations α p 2 1/2 increases with increasing Ar, with α p = α p − α p , indicating enhanced clustering. Perhaps less obvious, the volume-fraction fluctuations normalized by α p are maximum for the intermediate volume-fraction case ( α p = 0.025). Because turbulence in CIT is driven by two-way coupling with the particle phase, there exist few characteristic scales that can be calculated a priori. However, the Taylor Reynolds number Re λ = u rms λ/ν f and the Stokes number St η = τ p /τ η , both of which must be computed a posteriori, provide insight on the resulting turbulence. Here, u rms is the average root-mean-square velocity, λ = 15ν f /ε f u rms is the Taylor micro-scale with ε f the viscous dissipation rate and τ η = ν f /ε f the Kolmogorov time scale. The values of these quantities for all nine cases are reported in table 2. It can be seen that high volume fractions correspond to larger Stokes numbers and lower values of Re λ . Both St η and Re λ tend to increase when larger body forces are applied (i.e. larger Ar). Because fluid velocity fluctuations are generated by two-way coupling, Re λ > 0 only when α p > 0. That said, Re λ is seen to decrease with increasing α p for Ar = 1.8 and 5.4. This is likely due to increased dissipation through drag exchange (see table 3). However, this reduction is less dramatic as Ar increases, and Re λ is seen to be approximately constant at Ar = 18.

PA equations
In this section, we present the PA flow equations in which we seek to model the unclosed terms that arise. This system of equations has been previously derived (Capecelatro et al. 2015) and is extended here to take into account nonlinear drag effects due to F d in (2.3).
The PA is analogous to Favre averaging of variable-density flows and is denoted by (·) p = α p (·) / α p . Fluctuations about the PA particle velocity are expressed as u p = u p (x, t) − u p p , with u p p = 0. This gives rise to the PA particle-phase turbulent kinetic energy (TKE), k p = u p · u p p /2. Here, u p is the particle-phase velocity in an Eulerian frame of reference. It should be noted that u p p is equivalent to the average particle velocity v p (with angled brackets here used to represent a particle average). Thus, u p p will be used throughout to characterize the mean settling velocity of the particle phase. In a similar fashion, the PA operator in the fluid phase is defined as (·) f = α f (·) / α f . Fluctuations about the PA fluid velocity are given by u f = u f (x, t) − u f f . With this, the fluid-phase TKE is given by For the statistically stationary and homogeneous flows considered herein, continuity implies α f is constant and the fluid-phase momentum equation reduces to u f f = 0. In the particle phase, the only non-zero component of the averaged momentum equation is in the gravity-aligned direction (the x-direction in this case) noting that for gas-solid flows, the terms involving σ f ,xi and p f are small enough to be neglected (Capecelatro et al. 2015). This implies that at steady state, u p p ≈ u f p + τ p g.
Here, we incorporate the nonlinearities associated with drag in The transport equations for the fluid-phase Reynolds stresses can be reduced to two unique, non-zero components. In the streamwise direction this equation is given as .
(3.2) Similarly, both cross-stream equations are given as 1 2 ∂ where the drag production term no longer appears, since it is a gravity-driven phenomenon. Due to the homogeneity of the flow and symmetry in the directions perpendicular to gravity (y and z directions in this configuration), the unique, non-zero PA Reynolds-stress transport equations in the particle phase are given as (3.4) Similarly, the cross-gravity equations are both (due to symmetry and homogeneity) given as where Θ and σ p are the granular temperature and the particle-phase viscous stress tensor, respectively (Capecelatro et al. 2015).
Due to the high density ratio in gas-solid flows, PE and VE are often negligible (Capecelatro et al. 2015). Therefore, the overall kinetic energy balance for CIT includes DP, PS, VD and DE. As in single-phase turbulence, VD results from the resolved small-scale velocity fluctuations in the fluid phase. In contrast, the drag exchange terms involve (i) DE 2 : viscous dissipation of unresolved fluid velocity fluctuations (in the viscous boundary layers around individual particles) and (ii) DE 1 : energy transferred to the particles at the fluid-particle interface. Sundaram & Collins (1999) showed that the unresolved dissipation arises in the point-particle model due to the difference between the fluid velocity at the particle location and the particle velocity. Our previous work (Capecelatro et al. 2015) showed that the relative contribution of the interphase energy exchange (DE 1 /(DE 1 +DE 2 )) is approximately 22 %. Further, the ratio of resolved to unresolved viscous dissipation was found to be less than 6 % and decreases with increasing Ar. Therefore we do not expect the unresolved viscous dissipation not captured in the Eulerian-Lagrangian model to impact the overall balance.

Sparse regression with embedded invariance
The focus of this section is modelling the unclosed terms that appear in the fluid-phase Reynolds-stress equations (3.2) and (3.3). The data used to inform these closures, as discussed in § 2.3, are averaged after the flow has become statistically stationary in time. These values are summarized in table 3. In the streamwise direction, DP is mostly balanced by DE. The PS and VD contain fluid-phase residual contributions, while PE and VE contain contributions from both phases. These terms are small compared to DP and DE, but are not negligible in general. In the cross-stream direction, DE is mostly balanced by PS.
Each unclosed term is considered individually and models are learned using the sparse regression methodology described in Beetham & Capecelatro (2020) and summarized here. In this method, it is postulated that any tensor quantity D can be modelled using an invariant tensor basis, T, and a set of ideal, sparse coefficients,β, D = Tβ. (4.1) The ideal coefficients are determined by solving the optimization problem where β is a vector of coefficients that varies depending upon the choice of a user-specified sparsity parameter, λ and || · || 2 2 and || · || 1 represent the L-2 and L-1 norms, respectively. In the case of single-phase turbulence, this methodology can be used readily with previously derived minimally invariant basis sets (Hastie, Tibshirani & Friedman 2009). It is helpful to note that sparse regression is openly available in several software packages, including PySINDy (de Silva et al. 2020). However, to date an analogous basis has not yet been identified for multiphase flows. Due to the relative simplicity of the system under study (i.e. symmetry, homogeneity and stationarity), the parameters that may contribute to such a basis are limited to three tensors: the fluid-phase Reynolds-stress anisotropy tensor, R f , the particle-phase Reynolds-stress anisotropy tensor,R p , and the mean slip tensor,Û r (see table 4). The mean slip tensor is defined as U r = u r ⊗ u r , where u r = u p p − u f f is the slip velocity vector. An important property of this vector is that in fully developed CIT it is always aligned with the direction of the body forcing (in this case gravity).  Table 4. Second-order, symmetric, deviatoric tensors available to the multiphase RANS equations for modelling. Table 5. Minimally invariant set of basis tensors and associated scalar invariants. Here, (·) † = (·) + (·) T denotes the tensor quantity added with its transpose.
Because the sparse regression methodology postulates the model to be a linear combination of the basis tensors, this implies that the basis tensors must take on the same properties as the quantity to be modelled. The four terms under consideration here are all symmetric and thus the basis tensors must also be symmetric. The three tensor quantities shown in table 4 are used in order to formulate a minimally invariant basis by following the procedure described in Spencer & Rivlin (1958). This set of tensors, along with six scalar invariants, denoted S (i) , by definition can exactly describe the Eulerian-Lagrangian data as shown in table 5. In the context of the sparse regression methodology, the ideal coefficientsβ may be constants or nonlinear functions of the scalar invariants, S (i) .

Results and discussion
Using the set of basis tensors defined in § 4.1, the sparse regression methodology is employed to identify closures for the terms appearing in the fluid-phase Reynolds-stress equations (3.2) and (3.3), based upon the Eulerian-Lagrangian data described in § 2.3. Since flow data are homogeneous in all three spatial directions and we consider time-averaged data, each case is zero-dimensional (i.e. a single value).
As seen in table 3, the contributions from VE and PE are either null, or relatively small even as mass loading is increased. For this reason, modelling efforts are directed toward the four remaining terms: DP, PS, VD and DE. Each is modelled separately, beginning with DP as it is the sole source of fluid-phase TKE in the absence of mean shear. As seen in (3.2), it is proportional to u f p , which is zero in the absence of particle clusters.

Drag production
As input to the sparse regression algorithm, drag production is non-dimensionalized using the square of the PA particle velocity, u p 2 p and the drag time, τ p . Because drag production is symmetric and also contains zero off-diagonal components, the basis set was restricted to only include terms that are functions ofÛ r and I, which also exhibit this property. While the Reynolds stresses have null off-diagonal components for this particular configuration, this does not hold in a general sense.
During optimization, as λ is decreased, additional terms are added to the learned model and model error decreases (see figure 2), where model error is defined as In examining the relationship between model error and model complexity, we observe that a significant reduction in error is achieved with three model terms and the error is drastically reduced when considering a six-term model. It is also notable that the most important terms to overall model performance appear in the models with lesser complexity and remain dominant as subsequent terms are added. This is indicated by the behaviour of the normalized coefficientsβ, given asβ ( p) / maxβ (1) , where p denotes the number of terms in the model. The resultant learned models with three terms and six terms are given, respectively, as (4.5) To illustrate the interplay between model complexity and interaction, we consider the highly accurate, six-term model (see figures 3(d)-3( f ) and (4.5)) and the simpler, three-term model (see figures 3(a)-3(c) and (4.4)). In comparing the performance of these models, we observe that the general scaling and spread of the data are captured reasonably well with the three-term model, but that the complexity added in the six-term model makes smaller adjustments that drive down model error. As shown in figure 4, the accuracy of the three-term model is primarily centred on the streamwise component of drag production (see figure 4(a)); however, it over predicts the cross-stream components (see figure 4c).
The six-term model, in turn, reduces overall model error by more accurately describing both components; however, this is most pronounced in the cross-stream direction (see figures 4(b) and 4(d)).
In addition to discovering compact, algebraic models, sparse regression is also robust to sparse training data (Beetham & Capecelatro 2020). To illustrate this, a model was discovered using a sparse training dataset corresponding to (Ar, α p ) = [(1.8, 0.05), (5.4, 0.001), (18.0, 2.55)] and then tested using the remaining six cases. The resultant model is given as τ p 0.36ϕ −1 + 0.05ϕ 2 − 4 × 10 −4 ϕ 3 Û r + 0.01ϕ 2 + 0.21ϕ −1 I (4.6) and shown compared with the trusted Eulerian-Lagrangian data in figures 5(a)-5(c). It is notable that the sparsely trained model achieves reasonable accuracy using a subset of the  available training points. While additional more challenging tests of the model are required and reserved for future work, this preliminary result may suggest model robustness to variations in Ar and particle volume fraction. The remaining terms, PS, VD and DE exhibit similar performance as DP and are summarized here. All three terms are normalized by k f /τ p in order to ensure realizability in the Reynolds stresses. The sparse regression algorithm was given access to constant coefficients as well as coefficients dependent upon the invariants, S (i) , up to order three. It is notable that while complex nonlinear coefficients were accessible to the algorithm, they were ultimately not chosen.

Pressure strain and viscous diffusion
Pressure strain and viscous diffusion both redistribute TKE throughout the fluid phase and are present in single-phase flows. The learned models are given as and (4.8) respectively (see figures 6 and 7, respectively). The dominant terms important for capturing the behaviour of PS across flow parameters are ϕ α p Û r and ϕ α p R p and inclusion of only these two terms results in model error of = 0.15. In the case of VD, a four-term model is learned in which the three terms that persist into the six-term model are ϕ α p Û r , ϕ α p R fRp andR fRpRp . The fourth term, ϕ α p R p , is replaced by the three remaining terms that appear in (4.8). This reduces model error from 0.29 to 0.07, in a similar manner as described for DP.

Drag exchange
Drag exchange describes the mechanism by which TKE is partitioned between the phases. For this case, all terms in the model are of nearly equal importance. A four-term model is learned which excludes ArÛ r with an error of = 0.16 as compared with the model error of = 0.15 in the case of the five-term model (see figure 8). This is due to the minimal dependence of the data on Archimedes number (4.9) For all of the terms considered, sparse regression is capable of uncovering models with model error to machine precision of zero (associated with λ = 0); however, these resultant models are substantially more complex and likely would not perform well outside the scope of training due to overfitting subtle nonlinearities. These models, for comparison, contain 18 terms for PS, VD and DE, respectively, and 8 terms for DP.

Particle-phase closures
The same procedure as described above was used to formulate closures for each of the terms appearing in the particle-phase Reynolds stress equations. The resultant closures are given as R PS p = ε p 1.89R p + 2.12R fRp − 6.52R 2 fR p (4.10) R VD p = ε p −1.91R p + 10.5Û rRp − 11.78R fRp + 12.30R 2 fR p (4.11) (4.12) Here, the particle-phase terms are normalized by the dissipation of TKE in order to achieve appropriate scaling behaviour with respect to time. The associated values of λ and model error for the PS, VD and DE are given as λ = (0.3, 0.3, 1) and = (0.08, 0.10, 0.03), respectively.

Summary of the multiphase RANS equations
In this section, we propose a complete set of transport equations for strongly coupled gas-particle homogeneous flows, with a simpler set of equations for the transport of the total Reynolds Stresses. This allows for improved stability and robustness. The closures for individual balance terms are then useful to algebraically decompose the full Reynolds stresses into individual contributions. This system, along with the particle momentum in (3.1), is given by (4.16) Here, the coefficients, C ε f , C ε p , C 1 , C 2 , C 3 and C 4 , depend upon flow parameters. These dependencies were learned using the sparse regression algorithm described previously and are all nonlinearly parameterized by the mass loading according to (4.17)  The fluid drift velocity, defined as u d = u f p − u f f , requires modelling for the fluid velocity seen by the particles, u f p , as does the particle-phase momentum equation (3.1). The learned model for u d is given as using λ = 1, resulting in a model error of 0.06. Here, we impose that the model be scaled by the variance of the particle volume fraction, α 2 p , in order to ensure this quantity approaches zero in the dilute limit.
Finally, since the variance of particle volume fraction is not known a priori, an additional model was formulated for this quantity, using the same method described previously, given by 4.3. Application to transient flow To assess model realizability, it is imperative to evaluate the transient behaviour that precedes the stationary state. To this end, we generate transient data by using the statistically stationary solution from the cases described in § 2 as an initial condition and instantaneously reverse the direction of gravity, i.e. (4.25) This strategy generates temporally evolving data and allows us to apply our models to a homogeneous flow, while relaxing the assumption of stationarity. Three cases corresponding to Ar, α p = [(1.8, 0.0255), (5.4, 0.05), (18, 0.001)] were simulated in order to probe the entire parameter space. The performance of the drag production model, in particular, is highlighted in figure 9 and compared against the transient EL data for all three cases considered. Finally, the forward solution of the system of model equations presented is solved for these cases, and the predicted mean particle velocities are compared with the EL data (see figure 10). The models described herein are successful for the parameter space studied and perform exceptionally well on transient data, despite being trained using stationary data. While care has been taken to ensure asymptotic agreement with the dilute limit, the robustness of the models applied to denser systems or non-homogeneous flows is left for future investigation.

Conclusions
In this work, the multiphase RANS equations are presented for two-way coupled gas-solid flows. In this class of flows, the coupling between the phases spontaneously gives rise to coherent particle structures, which in turn generate and sustain turbulence in the carrier phase. This phenomenon has important engineering implications (Shaffer et al. 2013;Miller et al. 2014;Beetham & Capecelatro 2019;Guo & Capecelatro 2019) and makes the formulation of closure models that are predictive across scales and flow conditions challenging.
We apply a newly formulated modelling methodology, sparse regression with embedded form invariance (Beetham & Capecelatro 2020), to highly resolved Eulerian-Lagrangian data for fully developed CIT. The benefits of this methodology as compared with Neural Networks, which have become increasingly popular, are (i) interpretability of the resultant closures, since they are in a closed algebraic formulation, (ii) ease of dissemination to existing RANS solvers and (iii) robustness to very sparse training sets. The dataset used for model development spans a range of flow parameters, specifically Ar = (1. 8, 5.4, 18.0) and α p = (0.001, 0.0255, 0.05), in order to formulate models across a range of typical conditions. Particular attention is paid to the closures for the four dominant unclosed terms that appear in the fluid-phase Reynolds-stress equations -PS, VD, DP and DE. In applying the sparse regression method to each of these terms individually, we discover compact closures containing between four and six terms that are accurate across the scope of training (model error ranges from 0.01 to 0.15). Because of the compact nature of the models developed and the nature of the sparse regression algorithm, we are able to assess the relative importance of each term and its role in reducing model error. Further, we demonstrate that even when training on a subset of the Eulerian-Lagrangian data, the methodology learns a model that remains accurate outside the scope of its training. Additionally, because of the compact, algebraic formulation of the method, resultant models are accessible for interpretation and terms of greater physical significance are easily identified. These findings suggest that the sparse regression methodology holds promise for developing closures for more complicated multiphase flows, such as channel, duct or bubbly flows. Further, since nearly all flows of practical importance involve both walls and strong shear, future modelling work will focus on near-wall treatments and adaptation of the tensor basis to account for shear and other flow conditions which result in turbulence.