Hints of a Population of Solar System Analog Planets from ALMA

Abstract: The recent ALMA DSHARP survey provided illuminating results on the diversity of substructures in planet forming disks. These substructures trace pebble-sized grains accumulated at local pressure maxima, possibly due to planet-disk interactions or other planet formation processes. DSHARP sources are heavily biased to large and massive disks that only represent the high (dust flux) tail end of the disk population. Thus it is unclear whether similar substructures and corresponding physical processes also occur in the majority of disks which are fainter and more compact. Here we explore the presence and characteristics of features in a compact disk around GQ Lup A, the effective radius of which is 1.5 to 10 times smaller than those of DSHARP disks. We present our analysis of ALMA 1.3mm continuum observations of the GQ Lup system. By fitting visibility profiles of the continuum emission, we find substructures including a gap at ~ 10 au. The compact disk around GQ Lup exhibits similar substructures to those in the DSHARP sample, suggesting that mechanisms of trapping pebble-sized grains are at work in small disks as well. Characteristics of the feature at ~ 10 au, if due to a hidden planet, are evidence of planet formation at Saturnian distances. Our results hint at a rich world of substructures to be identified within the common population of compact disks, and subsequently a population of solar system analogs within these disks. Such study is critical to understanding the formation mechanisms and planet populations in the majority of protoplanetary disks.

\section{Introduction} \label{sec:intro}

Much exciting work has been focused on determining the link between protoplanetary disk properties and the resulting populations of planets \citep{Benz_2014}. As the diverse population of known exoplanets continues to grow, we are compelled to better understand the origins of these worlds as well as those of our own solar system. Planetesimal formation, a critical step in the formation of terrestrial worlds and giant planet cores, remains somewhat of a challenge, as  radial drift could remove disk solids ultimately by accretion of sublimated grain material by the star \citep{whipple_1972, WEIDEN_1997}. However, if there are pressure maxima at specific locations in the disk they might stop radial drift and perhaps foster growth as pebbles accumulate \citep{Lyra_2008, Johansen_2009, Pinilla_2012, Teague_2018}.  These regions could be isolated by searching for substructure, such as gaps and/or rings in submm/mm continuum emission from disk solids \citep[e.g.,][]{Dullemond_2018}.  Thus, searching for these substructures is a crucial component of understanding the formation processes and presence of planets in circumstellar disks \citep{Andrews_2020}.

Beyond grain growth, there is now substantial work on observable features in disks as being induced by forming planets \citep{Wolf_2005, Dodson_Robinson_2011, Zhu_2011, Gonzalez, Pinilla_2012, Ataiee, Bae_2016, Kanagawa_2016, Rosotti_2016, Isella_2018}, and characteristics of these substructures, such as gap width and depth, have been used to infer properties of the potential forming planets \citep{Kanagawa_2015,Kanagawa_2016, Dong_2017}.

The Disk Substructures at High Angular Resolution Project (DSHARP) conducted using ALMA provided high resolution data of 20 large, bright disks. The results of DSHARP reveal a diverse and abundant population of substructures, which have been linked to planet formation through subsequent study \citep{Zhang_2018}. While this initial survey, and others such as the survey of disks in the Taurus star-forming region by \citet{Long_2018}, provides compelling observational results linking circumstellar disk properties to planet formation, it is biased toward large disks with high dust flux- only a small portion of the full disk population. We are left wondering if, and to what extent, substructures and corresponding formation processes also occur in smaller disks.

The majority of disks are faint and exhibit compact (sub)mm continuum emission with effective radii $<$ 20 au \citep{Ansdell_2016, Pascucci, Williams_2019}. Effective radius (R$_\text{eff}$) is defined as the radius at which the cumulative flux encompasses 68 percent of the total disk continuum flux \citep{Andrews_2018}. While R$_\text{eff}$ is not a measure of a disk's outer cut-off, and one does see emission and substructure outside of R$_\text{eff}$, it is used here to demonstrate GQ Lup's disk size relative to those in DSHARP and other studies. Compact disks present a useful population of study in the pursuit of understanding the formation processes of solar system analog planets. High angular resolution observations with ALMA make this study possible, allowing us to resolve substructures in the dust continuum. We utilize 1.3 mm observations from ALMA to study GQ Lup, a source with a compact disk. In Figure \ref{fig:1}, we show that GQ Lup is much more compact than the DSHARP sources, with an effective radius of 19 au as compared to the average DSHARP size of 50 au \citep{Andrews_2018_DS}. It is an important step forward to show that ALMA can be used to accomplish investigations of planet formation in small disks. Using ALMA data of GQ Lup at 1.3mm, we explore the presence of substructures and the potential of hidden planets, including one at Saturnian distances. This work moves toward an ALMA discovery space of solar system analog planets forming in compact disks.

\begin{figure}
\begin{center}
\includegraphics[width=\columnwidth]{solar_analog_beautified_pdf.pdf}
\caption{Size-luminosity relationship for millimeter continuum sources with disk properties from \citet{Andrews_2018}. We show GQ Lup (red diamond) in comparison to Lupus and Taurus sources (grey circles) as well as DSHARP sources (green circles). It shows that GQ Lup moves toward a discovery space of smaller disks. \label{fig:1}}
\end{center}
\end{figure}

\section{Methodology} \label{sec:methods}

\subsection{Observations and Data Reduction}
This work utilizes ALMA observations of the GQ Lup System. Continuum analysis was performed using the $\#$2015.1.00773.S. data set first presented by \citet{Wu_2017}. These observations were taken on UT
2015, November 1 in Cycle 3 with the Band 6 receiver. The observations utilized 41 12-m antennas for a  total on-source time of 11 minutes. The baseline coverage was 84.7\textendash14969.3 meters. The three basebands configured for continuum observations are centered at 233.0, 246.0, and 248.0 GHz respectively, and provide a total continuum bandwidth of 2 GHz. Data were reduced using the CASA package (version 5.0.0-218) \citep{McMullin}. We followed data reduction steps outlined in \citet{Wu_2017}, performing three rounds of phase-only self calibration with the TCLEAN algorithm with natural weighting, giving us a synthesized beam of 0\farcs{057} $\times$ 0\farcs{032}. We ensure that the image is properly centered by fitting a Gaussian to the continuum source and centering the image using \textit{fixvis} in CASA. Our continuum map was produced by imaging the calibrated measurement set with the TCLEAN algorithm, and has an rms of 56 ${\mu}$Jy beam$^{-1}$. From imaging our calibrated data set with all continuum windows, we retrieve an integrated flux of 26 mJy for the GQ Lup A disk, well matching results from \citet{Wu_2017}.

\section{Results \& Analysis} \label{sec:analysis}
\subsection{Deriving the surface brightness profile of the 1.3 mm continuum}
To uncover substructures in the GQ Lup A disk, we employ an empirical model-fitting approach in the visibility domain \citep{Pearson}. This approach has the advantage of using full baseline lengths and thus can recover smaller spatial scale structures than the CLEAN images \citep{Zhang_2016}.

The data are deprojected using an inclination angle $i = 60\degree$ and a position angle $\phi = 346\degree$ \citep{MacGregor_2017}. A source distance of 152 pc \citep{gaia_2018} is used for conversions between angular distance and au. The deprojected visibilities $(u',v')$ and radial brightness profile $(I_{v}(\theta))$ are related by a Hankel transform \citep{Pearson}:

\begin{equation}
    u' = (u\cos{\phi} - v\sin{\phi}) \times \cos{i}
\end{equation}

\begin{equation}
    v' = u\sin{\phi} + v\cos{\phi}
\end{equation}

\begin{equation}
    V(\rho) = 2\pi \int_{0}^{\infty} I_{v}(\theta) \theta J_{0}(2\pi\rho\theta) d\theta
\end{equation}

\noindent where $\rho = \sqrt{u'^{2} + v'^{2}}$ is the deprojected \textit{uv}-distance in units of $\lambda$, $\theta$ is the radial angular scale from the center of the disk, and $J_{0}$ is a Bessel function.

We model $I(\theta)$, the disk surface intensity distribution corresponding to intensity in the image domain, with a parametric function (Equation \ref{eq4}) developed by \citet{Zhang_2016}. The key feature of the model function is that it is a composite of Gaussian functions modulated with sinusoidal amplitudes.

\begin{equation} \label{eq4}
\begin{split}
    I(\theta) = & \frac{a_{0}}{\sqrt{2\pi}\sigma_{0}}\exp \left(-\frac{\theta^{2}}{2\sigma_{0}^{2}}\right) \\ & + \sum_{i} \cos(2\pi\theta\rho_{i}) \times \frac{a_{i}}{\sqrt{2\pi}\sigma_{i}}\exp \left(-\frac{\theta^{2}}{2\sigma_{i}^{2}}\right)
\end{split}
\end{equation}

This parametric model has been tested with ALMA observations of several protoplanetary disks and shown robust matches to long-baseline observations \citep[e.g.][]{ADAM_2018}.

\begin{table*}[]
\centering
    \begin{tabular}{ |P{1.5cm}||P{2.7cm}|P{2.7cm}|P{2.7cm}|}
     \hline
     \multicolumn{4}{|c|}{Best-Fit Parameters} \\
     \hline
    Gaussian & $a$ (Jy/arcsec) & $\sigma$ (arcsec) & $\rho$ (k$\lambda$) \\

     \hline
     1   &  $0.129\pm{0.0012}$  &  $0.0777\pm{0.0006}$ & 0.0 (fixed)  \\
     2 &  $0.0338\pm{0.0029}$  &  $0.0791\pm{0.0061}$ & $1615\pm{28}$  \\

     \hline
     \end{tabular}
    \caption{Optimal values of free parameters and uncertainties from our fitting using MPFIT and the parametric model of disk surface intensity distribution from \citet{Zhang_2016}. These values describe the two Gaussians which are used to model the deprojected visibility profile (Figure \ref{fig:2}).
    \label{table:1}}
\end{table*}

Model-fitting was performed using MPFIT \citep{mpfit}, a Levenberg-Marquardt least-squares minimization algorithm. This routine iteratively fits our parametric model to the real visibilities by searching for optimum values of free parameters $\{a_{0},\sigma_{0}, a_{i}, \sigma_{i}, \rho_{i}\}$. We provide initial guesses for the amplitudes $\{a_{i}\}$ and central locations of Gaussians $\{\rho_{i}\}$ based on peaks in the visibility profile. We use two Gaussians based on the two peaks seen in the visibility profile, though we note that this model underestimates the uv profile at the shortest baseline. A model with three Gaussians provides the best fit at the shortest baseline, as shown in the left panel of Figure \ref{fig:2}, and suggests additional substructures may exist in GQ Lup A. However, given that there are only two clear peaks in the visibility profile, we proceed with a best-fit parametric model using two Gaussians: one for the central peak and one for the peak around 1600\,k$\lambda$. We report best-fit parameters and errors in Table \ref{table:1}. The real visibilities, best-fit model, and model radial intensity profile are shown in Figure \ref{fig:2}.

We produce 2D images based on the best-fitting radial profile and compare directly to the observed continuum image (Figure \ref{fig:3}). In general, the best-fit model does an excellent job in reproducing the observed continuum image. Since our best-fit model is axisymmetric, the most significant residuals are asymmetric features. We find 7$\sigma$ residuals, but the current data do not have sufficient resolutions to identify the detailed shape of these asymmetric features. For following analysis, we focus only on axisymmetric substructures.

\subsection{Characterizing Substructures}

Using our best-fit model of the radial surface brightness profile, we identify substructure features (e.g., gaps and rings) by searching for local maxima and minima. We employ the same method that \citet{Huang_2018} used to identify substructures in the DSHARP sample, labeling dark gap features with the prefix D and bright ring features with the prefix B. Figure 12 in \citet{Huang_2018} shows a schematic for their definition of width, which we employ here.

\begin{figure*}
\begin{center}
\includegraphics[width=\textwidth]{two_panel_plot_bothmodels_newest.png}
\caption{ (left) Visibility profile for continuum emission of GQ Lup. Black dots show the real parts of visibilities. In each panel, the blue curve is our best-fitting model, while the grey curve shows a 3-Gaussian-fit that best fits the data at the shortest baselines but lacks motivation from peaks in the visibility profile. (center) Our model radial intensity profile for GQ Lup A. Dashed lines denote gaps and solid lines denote rings. (right) Azimuthally averaged radial profile of the observed flux density (CLEAN image) compared with the model prediction from visibility-fitting in blue. The visibility-fitting method generally matches the CLEANed method but also reveals smaller-scale structures.
\label{fig:2}}
\end{center}
\end{figure*}

\begin{figure*}
\begin{center}
\includegraphics[width=\textwidth]{GQLup_model_comparison_2gauss.png}
\caption{ Our data image, model image, and residuals. For the data and model image, contour levels are in steps of [5, 10, 20, 30] x $\sigma$ (where $\sigma$ = 56 ${\mu}$Jy beam$^{-1}$, the rms of the image). For our residuals we plot contour levels [-7, -5, -4, -3, 3, 5] x $\sigma$ ($\sigma$ = 52 ${\mu}$Jy beam$^{-1}$). Negative values are dashed contours and positive values are solid. \label{fig:3}}
\end{center}
\end{figure*}

Some substructures do not exhibit a clear minimum or maximum, but rather a ``plateau" shape, while still demonstrating a deviation from the regular disk profile. We see this for the feature centered at $\sim$ 10 au (Figure \ref{fig:2}). \citet{Huang_2018} find similar features in MY Lup and DoAr 33. We numerically compute the gradient of the radial intensity profile in the region of interest and determine where the change in radial intensity becomes significantly small, using the condition that $ \frac{1}{I_{v}(r)} \frac{dI_{v}(r)}{dr}$ be greater than -0.05 \citep{Huang_2018}.

For D1/B1 we lack a robust method for measuring depth, as the intensity $I_{b}$ of the brighter region where the gap ends is inherently lower than the intensity $I_{d}$ where the gap begins. To estimate the depth, we fit a function to the data on either side of the feature, extending 5 au on either side where $ \frac{1}{I_{v}(r)} \frac{dI_{v}(r)}{dr}$ is less than -0.05 and directly compare the intensity in the region of the plateau feature to the intensity in the same region given by the function.

Using these methods we identify and characterize a robust feature at $\sim$ 10 au, as well as a tentative feature at 32 au which is suggested by the 3-Gaussian-fit model. The gap at 32 au (D2\footnote[1]{The gap D2 is presented tentatively because it is only suggested by the 3-Gaussian-fit model and not by the best-fit 2-Gaussian model. Values associated with this tentative feature are reported but are denoted with an asterisk (e.g., D2*).}) has a width of 2.25 au and a depth of 0.957. Its neighboring ring at 35 au (B2*) has a width of 3.15 au. The gap at 8 au (D1) is more broad in shape and its center falls within the range 8-13 au. The center panel of Figure \ref{fig:2} shows the locations of identified substructures, and values associated with the two gaps are listed in Table \ref{table:2}.

\subsection{Masses of Hidden Planets}

Here we interpret gaps in the GQ Lup disk in the context of disk-planet interactions. However, we note that the origins of substructures in disks are still under debate. Other possible origins include changes in dust properties near condensation fronts of dominant ices \citep{zhang_2015, oku_2016}, and magneto-hydrodynamic processes \citep{flock_2015}. Low-contrast structures in the radial profile could also be related to temperature variations rather than gas density variations alone. Breaking the degeneracy between temperature and density requires observations of multiple CO transitions \citep{facchini_17}. Kinematic information from line observations can further confirm the presence of planets \citep{Teague_2018, teague_2019}.

To estimate the masses of inferred planets we begin with a total dust mass of 5.9$M_{\Earth}$ from Model A in \citet{Wu_2017}, one of their best-fit models. We convert this value to total gas mass using a gas-to-dust ratio of 100. We also use a second, lower value of total gas mass that \citet{MacGregor_2017} retrieved using a simple parametric model of disk structure. Given the large difference between values in gas mass for these methods, we use both in order to provide a range of planet mass estimates.

We approximate the total gas mass as the total disk mass and convert from total disk mass to $\Sigma_{0}$, gas surface density at 1 au, using

\begin{equation}
    m_{d} = \frac{2\pi\Sigma_{0}}{2 - \gamma}(r_{out}^{2-\gamma}-r_{in}^{2-\gamma}),
\end{equation}

\noindent with radius values $r_{in}$ = 1.5 au and $r_{out}$ = 23.8 au from Model A in \citet{Wu_2017}. We solve for $\Sigma_{g,0}$, the gas surface density at the location ($r_{planet}$) of a possible planet, using the relation \begin{equation}
  \Sigma{(R)} = \Sigma_{0}\Big(\frac{R}{1 \: au}\Big)^{-\gamma}  .
\end{equation}

We employ the model used by \citet{Wu_2017}, with $\gamma$ = 0.1, which has a fairly flat disk surface density distribution. We also test steeper distributions using $\gamma$ = 1 and $\gamma$ = 1.5, but proceed with $\gamma$ = 0.1 as all of the distributions lead to the same choices moving forward.

An initial disk gas mass of 590 $M_{\Earth}$ gives us a gas surface density of approximately 10 g cm$^{-2}$ at the locations of gaps D1 and D2*, while an initial disk gas mass of 71.3 $M_{\Earth}$ gives us a gas surface density of approximately 1 g cm$^{-2}$ at these locations. Using

\begin{equation}
  St = 1.57\times10^{-3} \frac{\rho_{p}}{1 g cm^{-3}} \frac{s}{1 mm} \frac{100 g cm^{-2}}{\Sigma_{g,0}} ,
\end{equation}

\noindent and assuming a maximum particle size of 0.1 mm (p = 3.5 and s$_{max}$ = 0.1) \citep{Hull_2018, Kataoka_2017}, we calculate Stokes numbers of 1.57$\times$10$^{-3}$ and 1.57$\times$10$^{-2}$, respectively. Using these values we select related models from Tables 1 and 2 in \citet{Zhang_2018} to perform our subsequent calculations of planet-star mass ratios. We use fitting relationships outlined by \citet{Zhang_2018} to relate gap width and depth to the planet-star mass ratio, $q$. \citet{Zhang_2018} use power laws to fit observable quantities, defining a parameter K as being proportional to $q$ and having a power law dependence on scale height. Least squares fitting is used to determine coefficients (A, B, C, and D) for relationships between depth and its optimal degeneracy parameter K, as well as between width and its optimal degeneracy parameter K'.

For width-fitting we use $\Delta$ values determined from the inner and outer radii of the gap features listed in Table \ref{table:2}. $\Delta = (r_{out} - r_{in})/r_{out} $.  We solve for K' and determine the planet mass ratio $q$ using

\begin{equation}
   \Delta = AK'^{B},
\end{equation}

\noindent and

\begin{equation}
    K' = q(h/r)^{-0.18}\alpha^{-0.31}.
\end{equation}

We proceed with depth-fitting using $\delta = I_{b} / I_{d} $, the inverse of the depth values listed in Table \ref{table:2}. We solve for K and determine the planet mass ratio $q$ using

 \begin{equation}
  \delta - 1 = CK^{D},
\end{equation}

\noindent and

 \begin{equation}
K = q(h/r)^{-2.81}\alpha^{-0.38} .
\end{equation}

  To produce their suite of models, \citet{Zhang_2018} used three different scale height values, $(h/r)$ = (0.05, 0.07, 0.1), and three different values for the disk turbulent viscosity coefficient, $\alpha$ = ($10^{-4}, 10^{-3}, 10^{-2}$). We choose the middle values, simulating ``average" conditions. We convert from planet-star mass ratios, $q = M_{p}$/$M_{*}$, to planet mass estimates using the mass of GQ Lup A, 1.05$M_{\odot}$ \citep{Wu_2017} and present our estimates in Table \ref{table:2}.

The upper mass values for a potential planet in feature D1 are large as this feature has a ``plateau" shape. Lacking a robust method for measuring its width, we employ the same definitions as \citet{Zhang_2018}. We further consider that broad, shallow gaps may be a sign of low viscosity (small $\alpha$), as is the case for AS 209 \citep{Fedele_2018}. We repeat the process using $\alpha$ = $10^{-4}$ assuming a lower viscosity disk and include the resulting planet mass values in Table \ref{table:2} for comparison. We note that there is a wide range of mass values for this feature due to difficulties characterizing plateau features.

We ultimately present a range of mass estimates for inferred planets in the gap at 8 au, and tentative gap at 32 au. For a low viscosity disk ($\alpha$ = $10^{-4}$) we present a mass range of 3.07-355 $M_{\Earth}$ for D1 and a range of 0.62-2.44 $M_{\Earth}$ for D2*. For a more viscous disk ($\alpha$ = $10^{-3}$) we present a mass range of 7.37-724 $M_{\Earth}$ for D1 and a range of 1.27-5.86 $M_{\Earth}$ for D2*.

\begin{table*}[t]
\centering
    \begin{tabular}{ |p{1.0cm}|p{1.0cm}|p{1.5cm}|p{1.5cm}|| p{2cm}|p{1.5cm}|p{1.7cm} | p{1.5cm}|p{1.5cm}|}
     \hline
     \multicolumn{9}{|c|}{Gaps and Inferred Planet Masses} \\
     \hline
    \multirow{2}{*}{Feature}& \multirow{2}{*}{$r_{0}$ (au)} & \multirow{2}{*}{Width (au)}& \multirow{2}{*}{Depth}  & \multirow{2}{*}{Fitting Method} & \multirow{2}{*}{ $m_{d}$ ($M_{\Earth}$)} & \multirow{2}{*}{q ($M_{p}$/$M_{*}$)} & \multicolumn{2}{c|}{Planet Mass $M_{\Earth}$ }\\
    \cline{8-9}
      &  &  & & & & & $\alpha$ = $10^{-3}$ & $\alpha$ = $10^{-4}$  \\
           \hline
        \multirow{4}{*}{D1} & \multirow{4}{*}{8} & \multirow{4}{*}{5.85} & \multirow{4}{*}{0.940} & \multirow{2}{*}{Width} & 590 & 2.08 x $10^{-3}$ & 724 & 355 \\
                            &                    &                   &                      &                   &71.3 &  9.59 x $10^{-4}$ & 334 & 164\\ \cline{5-9}
                            &                    &                   &                      &  \multirow{2}{*}{Depth} & 590 &  2.12 x $10^{-5}$  &  7.37 & 3.22\\
                            &                    &                   &                      &                   & 71.3  & 2.22 x $10^{-5}$  & 7.73 &  3.07  \\ \hline

        \multirow{4}{*}{D2*} & \multirow{4}{*}{32} & \multirow{4}{*}{2.25} & \multirow{4}{*}{0.957} & \multirow{2}{*}{Width} & 590 & 5.00 x $10^{-5}$ & 1.27 & 0.62\\
                            &                    &                   &                      &                   & 71.3 &  5.76 x $10^{-6}$ & 2.01 & 0.98\\ \cline{5-9}
                            &                    &                   &                      & \multirow{2}{*}{Depth} & 590 &   1.66 x $10^{-5} $ &  5.77 & 2.40 \\
                            &                    &                   &                      &                   & 71.3  & 1.68 x $10^{-5}$  & 5.86  & 2.44  \\
     \hline
     \end{tabular}
    \caption{Radial locations and characteristics of gaps and corresponding mass estimates for inferred planets. We report mass estimates for features D1 and D2*, which show the most promise of containing a hidden planet. We present values for both width and depth fitting techniques \citep{Zhang_2018}, which are broken down further  based on initial disk mass ($m_{d}$) and $\alpha$. Our scaled mass value of 590 $M_{\Earth}$ is based on gas-to-dust ratio of 100 and a dust mass of 5.9 $M_{\Earth}$ \citep{Wu_2017}, and 71.3 $M_{\Earth}$ is the gas mass value given by \citet{MacGregor_2017}.
    \label{table:2}}
\end{table*}

\section{Discussion and Conclusions} \label{sec:discussion}

This work presents the detection of dust substructures in mm emission of a faint, compact disk. Using high resolution ALMA 1.3mm observations and modeling in the visibility domain, we detect substructures in the GQ Lup disk. Our study of GQ Lup contributes to an effort to build a comprehensive understanding of disk evolution and planetary formation, which balances the rich high-resolution observations of bright disks with equally rich studies of faint disks.

\subsection{Origins of Compact Disks}

The study of substructures in compact disks has implications for our understandings of disk formation and evolution. In their ALMA study of compact disks in the Taurus star-forming region, \citet{Long_2019} did not see significant substructures in continuum images for compact disks ($<$ 50 au) at 0.1" resolution. Such compact disks may have lost their outer dust disk over time due to rapid radial drift, with no trapping mechanisms at work to stop it. This effect is seen in the case of CX Tau, where the large difference in extent between continuum emission and molecular emission indicates strong radial drift \citep{Facchini}.

Alternatively, compact disks might simply be born small or may be truncated due to tidal effects of companions in multiple systems. \citet{Manara} find that the majority of disks around primary stars in multiple systems have dust radii that are significantly smaller than disks around single objects. Since GQ Lup A has a companion at a projected separation of $\sim$ 110 au, its disk evolution may have been affected by interactions with its companion. High resolution observations of CO emission in GQ Lup and additional compact sources will be necessary to understand the affects of truncation and build a larger picture of the physical mechanisms occurring in compact sources.

Our detection of substructures in a compact disk suggest that pressure gradients and dust traps are present within smaller disks. We argue that low-contrast or narrow unresolved substructures are present in many compact disks, perhaps including those in the Taurus sample studied by \citet{Long_2019}. These pressure gradients likely prevent rapid inward radial drift from depleting the reservoir of pre-planetary solids. Further study of substructures in compact disks in both multiple and single systems will provide important insights and constraints to the evolution and planet-forming abilities of the larger population of compact disks.

\subsection{Origins of Substructures}

Understanding how disk environments contribute to planet formation offers insight to the diversity of planet properties we observe, as well as the formation of our own solar system. There is a growing interest in inferring the properties of young forming planets from the dust substructures in a given disk. The substructures we detect in the GQ Lup disk may be induced by young forming planets. If induced by a forming planet, the feature centered at $\sim$ 10 au is evidence of planet formation at Saturnian distances. The compact disk therefore represents an environment in which we may study the formation of solar system analogs.

 We provide mass ranges for planets which may be forming in the GQ Lup disk. Planets inferred to be forming in the larger DSHARP disks \citep{Zhang_2018} are generally Neptune mass planets past 10 au. The planets we infer in the GQ Lup disk are possibly smaller, particularly in the tentative gap D2* at radius 32 au which has a planet mass range 0.62-5.86 $M_{\Earth}$. As for the broader feature D1, we present a wider and higher planet mass range than that of D2*. We find that planet mass is higher at smaller radii, though cannot make generalizations as we are limited to one source. Our findings are consistent with understandings of giant planet formation which show that it is rare to find giant planets on wide orbits \citep{Zhang_2018, Bowler_2018}.

 We note again that GQ Lup has a substellar companion. It has been suggested that substructures in binary systems may be caused by tidal interactions with a companion. \citet{Wagner_2018} show that the spiral arm features in the disk around HD 100453A may be related to companion interaction rather than embedded planets or other causes. We must therefore consider that substructures in the GQ Lup disk may be related to tidal interactions with GQ Lup b. We do not yet see clear spiral structure in the disk, and rich information about the system configuration and binary orbit would be necessary to either confirm or rule out tidal interactions as a cause of substructures in the GQ Lup disk. Thus we currently present embedded planets as a possible cause for the gap features identified in this work.

 Our preliminary study of GQ Lup hints that a rich world of substructures are present in small disks, which may be related to young forming planets. We present the detection of substructures and hints of planet formation at Saturnian distances in the disk of GQ Lup and conclude that compact disks may represent a space in which to probe the formation of solar system analogs. Further high resolution study of disk substructures in compact disks is necessary in order to infer the broader population of young forming planets in these environments.

\vspace{1em}

We thank the anonymous referee for their insightful comments, which improved the quality of this paper. This work makes use of the following ALMA data:  ADS/JAO.ALMA $\#$2015.1.00773.S. ALMA is a partnership of ESO (representing its member states), NSF (USA) and NINS (Japan), together with NRC (Canada), NSC and ASIAA (Taiwan), and KASI (Republic of Korea), in cooperation with the Republic of Chile. The Joint ALMA Observatory is operated by ESO, AUI/NRAO and NAOJ. The National Radio Astronomy Observatory is a facility of the National Science Foundation operated under cooperative agreement by Associated Universities, Inc. Results from distributed computing were obtained using the Chameleon testbed
supported by the National Science Foundation. We acknowledge that ALMA operates on indigenous Atacame\~no (Likan-antai) land. K.Z. acknowledges the support of NASA through Hubble Fellowship grant HST-HF2-51401.001 awarded by the Space Telescope Science Institute, which is operated by the Association of Universities for Research in Astronomy, Inc., for NASA, under contract NAS5-26555.

\bibliographystyle{aasjournal}

Solar and Stellar Astrophysics (astro-ph.SR); Earth and Planetary Astrophysics (astro-ph.EP); Astrophysics of Galaxies (astro-ph.GA)


Understanding and Monitoring Human Trafficking via Social Sensors: A Sociological Approach

Abstract: Human trafficking is a serious social problem, and it is challenging mainly because of its difficulty in collecting and organizing related information. With the increasing popularity of social media platforms, it provides us a novel channel to tackle the problem of human trafficking through detecting and analyzing a large amount of human trafficking related information. Existing supervised learning methods cannot be directly applied to this problem due to the distinct characteristics of the social media data. First, the short, noisy, and unstructured textual information makes traditional learning algorithms less effective in detecting human trafficking related tweets. Second, complex social interactions lead to a high-dimensional feature space and thus present great computational challenges. In the meanwhile, social sciences theories such as homophily have been well established and achieved success in various social media mining applications. Motivated by the sociological findings, in this paper, we propose to investigate whether the Network Structure Information (NSI) could be potentially helpful for the human trafficking problem. In particular, a novel mathematical optimization framework is proposed to integrate the network structure into content modeling. Experimental results on a real-world dataset demonstrate the effectiveness of our proposed framework in detecting human trafficking related information.

\section{Introduction}
Human trafficking \cite{mcgill2003human} is the trade in humans, and it is a crime because of the violation of the victims' rights of movement through coercion. For example, it includes the forced labor, extraction of organs or tissues and forced marriage, etc. It is also the fastest growing crime all over the world and one of the largest sources of income for organized crime. For each year, 600,000-800,000 adults and children are trafficked across international borders \cite{andrijasevic2007beautiful}. In addition, human trafficking not only happens in many developing countries but also in many developed countries, such as the USA and European countries.

Though many International-Governmental Organizations (IGO) and Non-Governmental Organizations (NGO) spent a lot of time and efforts to tackle this problem, human trafficking is still very challenging because of the following reasons.
First, many organizations lack sufficient and timely data. The human trafficking related data posted by these organizations is mainly manually collected from various sources, such as calls, emails and web applications. Also, while many organizations are collecting data by themselves, it is hard to share data between each other in a timely manner. Second, the data collected from multiple resources are unstructured and heterogeneous, and it presents great challenges to existing computational methods.
Thus we propose to examine this problem from a novel perspective in our study.

The increasing popularity of social media platforms provides a great opportunity to develop new approaches to help address human trafficking problem from the data perspective. The social networks have the data from both the victims of the human trafficking and their family members. For example, 1) some people are looking for their missing daughters through posting information online. 2) many victims of the human trafficking grow up, and they post the tweet on the social network to find their parents. There are also many children beggars, and they are the victims of human trafficking. The social network users upload information of the children beggars on social networks. Hence, social networks bridge the gap from both sides. It's meaningful to collect the tweets first and then match them to help people find their family members. However, useful information could be easily buried in the extremely large amount of social media posts. This motivates our study of identifying human trafficking related information on social networks, which could enable a number of related applications in the future.

Identification of human trafficking related information can be simply modeled as a classification problem based on the content information or network interactions. However, existing supervised learning methods cannot be directly applied because of the following reasons.
First, texts in social media are very short. Twitter allows users to post tweets with no more than 140 characters. Because of the short length, the performance of existing learning methods depending on similarity measurement between texts will be significantly affected.
Second, textual features are unstructured in social media. Many short texts are concise with many misspellings. Users describe the same thing in different and non-standard ways. For instance, some social network users use terms like ``gotta'', ``luv'' and ``wot''.
Third, it consists of complicated users interactions. In addition to content information, the interactions among users are essential but difficult to be used for our study. Thus it is challenging for existing learning methods to accurately identify the human trafficking information in social media data, which are short, unstructured and containing complex user interactions.

In the meanwhile, intensive efforts have been made to study the nontrivial properties of social networks \cite{newman2010networks,zhou2005learning}. It has been well established that, on social networks, users and features are correlated with each other and no longer independent. Users and tweets always form a complex assortative network with strong community structure. Based on the network theory, ``homophily", i.e. assortativity concept \cite{zhou2005learning,chung2005laplacians}, defines the extent for a network's vertices to attach to others that are similar in some way. As shown in Figure \ref{fig:ass}, the vertices in a community may have similar labels, and vertices that connect with each other probably have the same labels, which are helpful for vertices classification. Motivated by the above studies, we propose to investigate how assortativity could help identify human trafficking related information.

\begin{figure}
\centering
   \includegraphics[width=0.4\textwidth,angle=0]{111-eps-converted-to.pdf}
  \caption{Assortative network and the corresponding community structure. Vertices in a community may have similar labels, and vertices that connect with each other probably have the same labels
  \label{fig:ass}
\end{figure}

In this paper, we study the problem of identifying and understanding human trafficking on social media. Essentially, through our study, we want to answer the following questions.
1) How to define the problem of human trafficking text identification?
2) How to extract and select the content/network structure information?
3) How to handle the curse of dimensionality of text and structure features?
4) How to integrate network structure and content information in a model?
By answering the above questions, the main contributions of this paper can be summarized as follows:
\begin{itemize}
  \item Formally define the problem of human trafficking text identification with network structure and content features.
  \item Employ sparse learning methods to automatically select features and learn a simple model.

  \item Propose a unified model to effectively integrate network structure and content information, and a novel optimization framework is introduced.

  \item Evaluate the proposed NSI model on social network data and demonstrate the effectiveness of NSI.

\end{itemize}

\vspace{-3mm}
\section{Problem Description}
The notations are introduced in this section, and then we define the problem we study.
$||\textbf{A}||_{F}$ denotes the Frobenius norm of the matrix $\textbf{A}\in \mathbb{R}^{m\times n}$, where $n$ is the number of tweets and $m$ is the number of features, and $||\textbf{A}||_{F}$ is defined as $|| \textbf{A} ||_{F}= \sqrt{\sum_{i=1}^{m}\sum_{j=1}^{n}|a_{ij}|^{2}} =\sqrt{trace(\textbf{A}^{T}\textbf{A}))}$.
$||\textbf{W}||_{1}$ is the $\ell_{1}$ norm of the weights vector $\textbf{W}\in \mathbb{R}^{m\times c}$, where $c$ is the number of categories, and the $||\textbf{W}||_{2,1}=\sum_{i=1}^{m}{\sqrt{\sum_{j=1}^{c}{W^{2}_{i,j}}}}$ is the $\ell_{2,1}$ norm of the weight matrix $\textbf{W}$.
The trace of a matrix $\textbf{B}$ is $tr(\textbf{B})$, and the transpose of matrix $\mathbf{B}$ denotes as $\textbf{B}^{T}$.

Graph $G=(B,F)$ denotes the reply and retweet relationship among users, in which vertices $u$ and $v$ represent users in social media, while the edges in $F$ represent the reply or retweet relationships among the users. To classify the tweets into two classes, i.e. the tweets are about human trafficking or not, the task is to classify the edges in graphs into two classes (positive or negative) --- an edge classification problem. However, the methods that classify edges into two classes are not common. Hence, we convert node adjacency matrix of $G=(B,F)$ to the edge adjacency matrix of $H=(U,V)$, as shown in Figure \ref{fig:matrix}. The main idea of the conversion algorithm is that if two edges have the same start or end node, there is a link between them.
\vspace{-2mm}
\begin{figure}[htbp]
  \centering

    \includegraphics[width=0.4\textwidth,angle=0]{222.pdf}

  \caption{Reformulation of the user behavior network. The original network is represented as a user-user matrix. The converted network is represented as a tweet-tweet matrix. We convert the original network into a new network.}
  \label{fig:matrix}
  \vspace{-2mm}
\end{figure}
\\\emph{Here we formally define the problem we study as follows.
Given a set of microblogging tweets $U$ with network information $H=(U,V)$, content information $\mathbf{X}\in \mathbb{R}^{m\times n}$, and identity label information $\mathbf{Y}\in \mathbb{R}^{n\times c}$, our aim is to learn a classifier $\mathbf{W}\in \mathbb{R}^{m\times c}$ to automatically identify human trafficking related tweets from unknown tweets.}
\vspace{-3mm}
\section{A Sociological Approach---NSI}
In this section, we firstly model the social network structure information for tweet classification. Then we discuss the methods in modeling the content information. At last, we integrate the social network structure information and the content information into a unified model and propose an optimization algorithm to solve the human trafficking tweets recognition problem.
\vspace{-2mm}
\subsection{Modeling Network Information}
Network information plays an important role in solving practical problems, as it contains much useful information which cannot be mined in pure content information. In addition to pure content information, many studies have employed network information in solving real-world problems: sentiment analysis, influential users \cite{rabade2014survey}, recommendation \cite{tang2013social} and topic detection \cite{Chenetal12}. The concepts ``homophily" and ``community structure" in social sciences indicate that the vertices in each community and the vertices connected with each other probably have similar labels. Motivated by these theories, we employ homophily and community structure to help identify human trafficking tweets.

Existing work \cite{platt1999large,hansen1996classification} has been done to classify the vertices in networks into two classes. These methods are all on directed networks. Hence, we see the edge in our undirected network as a bidirectional edge. Similarly, the vertice $u$'s in-degree is defined as $d^{in}_{u}=\sum_{[v,u]}{H(v,u)}$, and the vertice $u$'s out-degree is defined as $d^{out}_{u}=\sum_{[u,v]}{H(u,v)}$. $\mathbf{P}$ is defined as the transition probability matrix of random walk in a graph with $P(u,v)=H(u,v)/d^{out}_{u}$. The stationary distribution $\pi$ of the random walk satisfies: $\sum_{u\in V}{\pi(u)}=1,~ \pi(v)=\sum_{[u,v]}{\pi(u)P(u,v)}.$
The network information is used to smooth the unified model.
The classification problem can be formulated as minimizing
\begin{align}
    R(f):=\frac{1}{2}\sum_{[u,v]\in E}{\pi(u)P(u,v)||\hat{Y_{u}}-\hat{Y_{v}}||^{2}},
    \label{equ:rs}
\end{align}
where $\hat{Y_{u}}=\frac{f(u)}{\sqrt{\pi{(u)}}}$ is the predicted label of user $u$, and $\hat{Y_{v}}=\frac{f(v)}{\sqrt{\pi{(v)}}}$ is the predicted label of user $v$. $\mathcal{H}(V)$ is the function space, and $f\in \mathcal{H}(V)$ is the classification function, which assigns a label sign $f(v)$ to each vertex $v\in V$. If two tweets $u$ and $v$ are close to each other and have different predicted labels, the above loss function will have a penalty. For solving the Equation (\ref{equ:rs}), we introduce an operator $\Theta: \mathcal{H}(V)\rightarrow \mathcal{H}(V)$.
\begin{align}
\begin{split}
(\Theta f)(v) = &\frac{1}{2}\bigg(\sum_{u\rightarrow v}{\frac{\pi(u)P(u,v)f(u)}{\sqrt{\pi(u)\pi(v)}}}\\
&+\sum_{u\leftarrow v}{\frac{\pi(v)P(v,u)f(u)}{\sqrt{\pi(v)\pi(u)}}}\bigg).
\end{split}
\end{align}
It has been shown \cite{hansen1996classification} that the objective function can be interpreted as $R(f) = tr(\hat{Y}\mathcal{L}\hat{Y}^{T})$,
where the $\mathcal{L}=I-\Theta$.
\begin{align}
    \Theta = \frac{\mathbf{\Pi}^{1/2}\mathbf{P}\mathbf{\Pi}^{-1/2}+\mathbf{\Pi}^{-1/2}\mathbf{P}^{T}\mathbf{\Pi}^{1/2}}{2},
\end{align}
where $\mathbf{\Pi}$ is a diagonal matrix with entries $\mathbf{\Pi}(v,v)=\pi(v)$. $\pi$ denotes the eigenvector of the transition probability $\mathbf{P}$, and $\mathbf{P}^{T}$ is the transpose of $\mathbf{P}$.
If the original network is an undirected network, the $\mathcal{L}$ is reduced to $\mathbf{D}-\mathbf{A}$. $\mathcal{L}$ is symmetric and positive-semidefinite. $\mathbf{D}$ is the degree matrix and $\mathbf{A}$ is the adjacency matrix of the graph.

\subsection{Modeling Content Information}
The most important task is to distinguish the human trafficking tweets from other social media posts. The text information \cite{hu2012text} is necessary for the task.

One of the most widely used methods is the Least Squares \cite{lawson1974solving}, which is an efficient and interpretable model. The classifiers can be learned by solving the following equation:
\begin{eqnarray}
    \underset{\mathbf{W}}{min} ~\frac{1}{2} ||\mathbf{X}^{T}\mathbf{W}-\mathbf{Y}||_{F}^{2},

\end{eqnarray}
where $\mathbf{X}$ is the content feature matrix of the training data, and $\mathbf{Y}$ is the label matrix. This formulation is to minimize the learning error between the predicted value $\mathbf{\hat{Y}} = \mathbf{X}^{T}\mathbf{W}$ and the true
value $\mathbf{Y}$ in the training data.

However, high-dimensional feature space makes the computational task extremely difficult. As we know, sparse learning method has shown its effectiveness in many real-world applications such as \cite{pu2006short} and \cite{tibshirani1996regression} to handle the high-dimensional feature space. Hence, we propose to make use of the sparse learning for selecting the most effective features. Sparse learning methods \cite{liu2009slep,chen2009accelerated} are widely used in many areas, such as the sparse latent semantic analysis and image retrieval. The sparse learning methods can generate a more efficient and interpretable model. A widely used regularized version of least squares is the lasso (least absolute shrinkage and selection operator) \cite{tibshirani1996regression}. Hence, we can get a text classifier through solving the $\ell_{1}$-norm penalization on least squares:
\begin{eqnarray}
    \underset{\mathbf{W}}{min} ~\frac{1}{2}||\mathbf{X}^{T}\mathbf{W}-\mathbf{Y}||_{F}^{2}+\lambda_{1}||\mathbf{W}||_{1}.

\end{eqnarray}

In many real world applications, the features are not independent. In our task, the features are related with each other according to the same POS tagging. These relations among features may have a positive effect on the classification. Hence, to analyze the complex features, we introduce the regularization $\ell_{2,1}$-norm to the model, which is considered as one of the most popular ones due to its effectiveness, robustness, and efficiency. It is defined as $||\mathbf{W}||_{2,1}=\sum_{i=1}^{m}||w_{g_{i}}||_{2}$, where $g_{i}$ is a group of features. Another appealing feature of the $\ell_{2,1}$-norm regularization is that it encourages multiple predictors to share similar sparsity patterns \cite{liu2010fast}. And the $\ell_{2,1}$-norm regularization can automatically select variables, do continuous shrinkage and select groups of correlated variables \cite{friedman2010note,eksioglu2014group,chen2010regularized,bengio2009group}. Hence, we get a more stable model by solving the equation:
\begin{eqnarray}
    \underset{\mathbf{W}}{min}~\frac{1}{2}||\mathbf{X}^{T}\mathbf{W}-\mathbf{Y}||_{F}^{2}+\lambda_{1}||\mathbf{W}||_{1}+\frac{\lambda_{2}}{2}||\mathbf{W}||_{2,1},

\end{eqnarray}
where $\lambda_{1}$ and $\lambda_{2}$ are positive regularization parameters to control the sparsity and robustness of the learned model.
\vspace{-2mm}

\subsection{The Objective Function}
Traditional text classification methods \cite{Liu2011Partially,Oren2005A} intend to add new features or propose effective classifiers to successfully solve the problem.
On the one hand, the dimension of the text feature is always high. Traditional methods are not able to handle high dimension features. These methods have to select features first, and then learn a model to classify the texts.
Sparse learning method, which can automatically select features and learn a model, is a good choice to solve the problem.
On the other hand, one assumption of many traditional methods is that the features of texts are independent. However, some features of the texts are correlated with others.
It is of great importance if we can consider networked or grouped features in the learning task. Hence, we employ the sparse group lasso to analyze the relationships among different features.

Furthermore, network structure information plays an important role in identifying the human trafficking tweets. The assortativity and community structure are used to formulate the behaviors among users. The behavior information contains much useful information that text information doesn't have. Hence, we further integrate the two kinds of features.

We propose to consider both network and content information in a unified model.
By considering both network and content information, the human trafficking tweets recognition problem can be formulated as the optimization problem:
\begin{align}
    \underset{\mathbf{W}}{min}~\quad&O(\mathbf{W})=\frac{1}{2}||\mathbf{X}^{T}\mathbf{W}-\mathbf{Y}||_{F}^{2}+\lambda_{1}||\mathbf{W}||_{1}+\frac{\lambda_{2}}{2}||\mathbf{W}||_{2,1}\notag\\
    &+\frac{\lambda_{s}}{2}tr(\mathbf{W}^{T}\mathbf{X}\mathbf{L}\mathbf{X}^{T}\mathbf{W}).
    \label{equ:objective}
\end{align}

\emph{The $\mathbf{W}$ can be derived from solving the above equation. Then, we can use the following equation to predict the label of an unknown tweet}:
\begin{align}
\underset{i\in \{0, 1\}}{arg~~max}~~x^{T}w_{i}.
\end{align}
\subsection{An Optimization Algorithm}
The optimization problem in Equation (\ref{equ:objective}) is convex and nonsmooth. We intend to reformulate the non-smooth optimization problem, and get an equivalent smooth convex optimization problem, according to the main idea of \cite{liu2010fast,nesterov2004introductory}.\\
\textbf{}By converting the $\ell_{1}$-norm as the constrained condition, we can reformulate the Equation (\ref{equ:objective}) as a constrained nonsmooth convex optimization problem:
\begin{align}
\begin{split}
    \underset{\mathbf{W}\in \mathbf{Z}}{min}\quad O(\mathbf{W})=&||\mathbf{X}^{T}\mathbf{W}-\mathbf{Y}||_{F}^{2}+\lambda_{2}||\mathbf{W}||_{2,1}\notag\\
    &+\lambda_{s}tr(\mathbf{W}^{T}\mathbf{X}\mathbf{L}\mathbf{X}^{T}\mathbf{W}),
\end{split}
\end{align}
where
\begin{align}
\begin{split}
  Z=\{\mathbf{W}|~||\mathbf{W}||_{1}\leqslant z\}.
\end{split}
\label{equ:final}
\end{align}
The $||\mathbf{W}||_{1}$ defines a closed and convex set $Z$. The objective function $O(\mathbf{W})$ is a convex but not differentiable, as the function $||\mathbf{W}||_{2,1}$ is differentiable everywhere, except when $||w_{g_{i}}||_{2}=0$ or equivalently when $\mathbf{W}$ is the all zero vector $0\in \mathbb{R}^{n}$ \cite{liu2010fast,eksioglu2014group}. At the point $w_{g_{i}}=0$, the subdifferential includes the all zero vector as a legitimate subgradient, that is, $0\in{\partial ||w_{g_{i}}||_{2}}$ when $w_{g_{i}}=0$.
Motivated by the work \cite{nie2010efficient,chen2010regularized}, we propose an iterative algorithm. Through denoting $\mathbf{D}$ as a diagonal matrix $D_{ii}=\frac{1}{2||w_{g_{i}}||_{2}}$, Equation (\ref{equ:final}) can be formulated as a convex and smooth optimization:
\begin{align}
  \underset{\mathbf{W}\in Z}{min}\quad O(\mathbf{W})=&||\mathbf{X}^{T}\mathbf{W}-\mathbf{Y}||_{F}^{2}+\lambda_{2}tr(\mathbf{W}^{T}\mathbf{D}\mathbf{W})\notag\\
    &+\lambda_{s}tr(\mathbf{W}^{T}\mathbf{X}\mathbf{L}\mathbf{X}^{T}\mathbf{W}).
\end{align}
The derivative of $O(\mathbf{W})$ is as follows.
\begin{align}
\frac{\partial O(\mathbf{W})}{\partial \mathbf{W}}=\mathbf{X}\mathbf{X}^{T}\mathbf{W}-\mathbf{X}\mathbf{Y}+\lambda_{2}\mathbf{D}\mathbf{W}+\lambda_{s}\mathbf{X}\mathbf{L}\mathbf{X}^{T}\mathbf{W}.
\end{align}
\vspace{-2mm}
Let the derivative of $O(\mathbf{W})$ be equal to zero.
\begin{align}
&\mathbf{X}\mathbf{X}^{T}\mathbf{W}-\mathbf{X}\mathbf{Y}+\lambda_{2}\mathbf{D}\mathbf{W}+\lambda_{s}\mathbf{X}\mathbf{L}\mathbf{X}^{T}\mathbf{W}=0\notag\\
&\Leftrightarrow (\mathbf{X}\mathbf{X}^{T}+\lambda_{2}\mathbf{D}+\lambda_{s}\mathbf{X}\mathbf{L}\mathbf{X}^{T})\mathbf{W}=\mathbf{X}\mathbf{Y}\notag\\
&\Leftrightarrow \mathbf{W}=(\mathbf{X}\mathbf{X}^{T}+\lambda_{2}\mathbf{D}+\lambda_{s}\mathbf{X}\mathbf{L}\mathbf{X}^{T})^{-1}\mathbf{X}\mathbf{Y}.
\end{align}

The solution of $\mathbf{W}$ is correlated with the input of $\mathbf{D}$ which is also related to $\mathbf{W}$. Therefore, the $\mathbf{W}$ cannot be obtained directly. Instead we propose an algorithm to optimize the parameters in Algorithm \ref{alg_lirnn}, according to \cite{nesterov2004introductory,liu2009multi}.
\begin{algorithm}[ht]
\caption{\small Identifying the Human Traf{f}icking Information Problem}
\textbf{Input:} $\mathbf{X},\mathbf{Y},\mathbf{L},\mathbf{W_{0}},\lambda_{1},\lambda_{2},\lambda_{s}$. \\
\textbf{Output:} $\mathbf{W}$.
\begin{enumerate}[1:]

\item $\tau=1$; Initialize the \textbf{W} as an identity matrix;
\item \textbf{repeat}
\item      ~~~~~~Update the diagonal matrix \textbf{D} as
\item
~~~~~~$\mathbf{D}_{\tau+1}=$$\begin{bmatrix}
\frac{1}{2||{w^{\tau}_{g_{i}}}||_{2}} &  & \\
 &.....  & \\
 &  & \frac{1}{2||{w^{\tau}_{g_{m}}}||_{2}}
\end{bmatrix}$\\
\item ~~~~~~Update the metric \textbf{W}:\\
  $~~~~~ ~~~~~ \mathbf{W}_{\tau+1}=(\mathbf{X}\mathbf{X}^{T}+\lambda_{2}\mathbf{D_{\tau}}+\lambda_{s}\mathbf{X}\mathbf{L}\mathbf{X}^{T})^{-1}\mathbf{X}\mathbf{Y}$;

\item \textbf{until} convergence

\item $\mathbf{W}=\mathbf{W}_{\tau+1}$
\item $PSD$ projection: $\mathbf{W}=PSD(\mathbf{W})$

\end{enumerate}
\label{alg_lirnn}
\vspace{-2mm}
\end{algorithm}
The basic idea of the proposed algorithm is to reformulate the nonsmooth optimization problem as an equivalent smooth convex optimization problem. In the algorithm, we use the $\mathbf{D}_{\tau}$ to continually update the $\mathbf{W}_{\tau}$ from lines 1 to 6. The positive semi-definite (PSD) constraint of $\mathbf{W}$ is not necessary for each iterative step. We perform the PSD projection for the final weights matrix $\mathbf{W}$ for efficiency at lines 7-8. The $\lambda_{1}$ is set in projection function.\\
\vspace{-6mm}
\subsection{Time complexity analysis}
It takes $O(n^{2})$ to calculate the laplacian matrix $\mathbf{L}$ before the iterative procedure, where $n$ is the number of samples in the Laplacian Matrix. The procedure of updating $\mathbf{D}$ and the inverse of the matrix $\mathbf{X}\mathbf{X}^{T}+\mathbf{D}+\lambda \mathbf{X}\mathbf{L}\mathbf{X}^{T}$ need $O(m^{3})$.
The item $\mathbf{D}$ which is a diagonal matrix makes the inverse of $\mathbf{X}\mathbf{X}^{T}+\mathbf{D}+\lambda \mathbf{X}\mathbf{L}\mathbf{X}^{T}$ more stable. We need $O(m^{2})$ to obtain W. Hence, each iterative step costs $O(m^{3}+m^{2})$. Suppose the optimization algorithm takes $T$ iterations, the overall time complexity is $O(Tm^{3}+Tm^{2})$.
\vspace{-4mm}
\section{Experiments}
We intend to evaluate the effectiveness of the proposed method in this paper and analyze the effectiveness of the network structure and content information. The experiments in this section focus on solving the following questions:
\begin{enumerate
\item  How effective is the proposed method compared with the baseline methods?
\item  What are the effects of the network structure and content information?
\end{enumerate}

We begin by introducing data set and experimental setup, and then
compare the performance of different traditional machine learning methods. Finally, we study the effects of network and content features on the proposed method.
\vspace{-3mm}
\subsection{Data set}
The real-world weibo data set is firstly crawled from September 2014 to October 2014. Weibo is a Chinese microblogging website that is akin to the Twitter.
We generally sample 14151 tweets which contain the keywords ``Human trafficking" and ``missing people". Then, 5 students annotate 14151 tweets with 1,404 positive samples. All the tweets are marked as positive and negative according to whether the weibo is related to human trafficking.
Each tweet is retweeted or replied by 16.8 times on average. The retweet/reply frequencies follow the power law distribution, which indicates that few of the tweets draw much attentio
, and most of the tweets are neglected.

We investigate these tweets and propose general and domain specific features：
\begin{itemize}
\item Word based features: unigrams, unigrams+bigrams, and Pos colored unigrams+bigrams. Pos tagging is done by the Jieba package. When the corpus is large, the dimensions of the unigrams and unigram+bigrams features are too high for a PC to handle. Hence, we pick up the Pos colored unigrams+bigrams feature.
\item Tag based features: Most of the human trafficking tweets have tags. Having a tag in the tweet may promote more users to reach the information.
\item Morphological feature: These include each feature for the frequencies of
    \begin{itemize}
    \item the number in the sentence
    \item the question mark in the sentence
    \item the exclamation mark in the sentence
    \item the quantifiers in the sentence
    \end{itemize}

\item NER features Most of the human trafficking related tweets contain a name, location, organization and time.
\item Tweet features: the length of tweets

\end{itemize}

\vspace{-4mm}

\subsection{Performance Evaluation}
Precision, recall and F1-measure are used as the performance metrics. The F1 measure is the harmonic mean of precision and recall.
To answer the first question, we compare our proposed method with the baseline methods: SVM \cite{suykens1999least}, Logistic Regression (LR) \cite{hosmer2004applied}, Gaussian Naive Bayes (GNB) \cite{john1995estimating}, SGD \cite{xiao2009dual}, Decision Tree (DT) \cite{friedl1997decision} and Random Forests (RF) \cite{liaw2002classification}. All the methods utilize both social network structure and content information. The combined feature is the linear combination of the social network structure feature and content feature.

(1) According to the results in Table \ref{tab:contentandnetwork} and Figure \ref{fig:yy}, we can draw a conclusion that our model NSI outperforms other methods in precision and F1-measure. Two-sample one tail t-tests are applied to compare NSI with other methods in Section \uppercase\expandafter{\romannumeral4}, which indicates the effectiveness of our model.

(2) As shown in Figure \ref{fig:yy}, the NSI model, decision tree and random forests have relatively balanced precision and recall.
Most of the baseline methods have a high recall with small precision.
The performance of SGD is not as good as that of SVM. The reason is that the poor performance of L2 regularization is linked to rotational invariance.
\begin{table}[htbp]
  \centering
  \caption{Classify tweets with network and content features}
    \begin{tabular}{lccc}
    \toprule
    Methods & \multicolumn{1}{c}{F1} & \multicolumn{1}{c}{Precision} & \multicolumn{1}{c}{Recall} \\
            \midrule
    SVM   & 0.783 & 0.729 & 0.845 \\
    LR    & 0.815 & 0.758 & 0.880 \\
    GNB   & 0.581 & 0.706 & 0.493 \\
    SGD   & 0.719 & 0.681 & 0.761 \\
    DT    & 0.797 & 0.807 & 0.788 \\
    RF    & 0.785 & 0.786 & 0.784 \\
    NSI   & 0.871 & 0.872 & 0.870 \\
                \bottomrule
    \end{tabular}%
  \label{tab:contentandnetwork}%
\end{table}%

The performance of all the methods cannot solve the classification problem perfectly. The reason is as follows:\\
1) Though we provide some instructions for every annotator, some tweets are so ambiguous that they cannot distinguish the class of the tweet. \\
2) Some tweets search for an unfamiliar charming boy/girl that the user met by accident in the real world. It's a ``searching'' people tweet. And the feature of this kind of tweet is similar to the human trafficking related tweets
\vspace{-4mm}

    %

\subsection{Case study}
Table \ref{tab:case-study} shows the examples of human trafficking tweets. The first column is the label of the tweet. The second column is the tweet content. The name of missing people and HTTP link are replaced with hashtag \#Name\# and \#http\#, respectively. The 1st tweet in Table \ref{tab:case-study} is a typical human trafficking tweet. It contains detailed information of the missing people: name, age, height, and clothing. The 3rd tweet is also a human trafficking tweet posted by the victim of the human trafficking. We intend to identify these tweets first and then match them. Almost all machine learning methods could correctly label the 1st, 3rd, 4th and 5th tweet, while traditional machine learning methods label the 2nd tweet as a negative sample. The reason is that this tweet doesn't contain any detailed information. However, our model could correctly classify the tweet, as this tweet is retweeted by many users who ever retweeted many human trafficking tweets. These retweet/reply behaviors are incorporated into the Laplacian matrix in our model. By introducing the matrix, the model smooths the weight of $W$. It leads to increase the precision of the model but decrease the recall to some extent. That's the reason why our model gets a good performance with a relative balanced precision and recall.

\begin{table}[]
\centering
\caption{A case study of human trafficking tweets}
\label{tab:case-study}
\resizebox{\columnwidth}{!}{%
\begin{tabular}{|c|l|}
\hline
Label &  \multicolumn{1}{c|}{Tweet}                                                                                \\ \hline
1     & \begin{tabular}[c]{@{}l@{}}\#NAME\# is a missing people, 21 yrs old. She was last seen on Sep \\19 in the downtown. 5'6" in height. Last seen wearing a green top\\with a red striped Adidas jacket over top and carrying a white purse.\end{tabular} \\ \hline
1     & \#Name\# from Hubei was last seen at 10am \#http\#                                                                                \\ \hline
1 & \begin{tabular} [c]{@{}l@{}}I was trafficked from ShanXi to Hebei in 1983. Type B blood.\\ Height 164cm. Weight 70kg. I was born in Datong or Taiyuan.\\ The trafficker is from Hebei. I want to find my parents.\end{tabular}
\\ \hline
0     & \begin{tabular}[c]{@{}l@{}}Baby dead, 3 people missing, 3 others injured after \\ extra-alarm fire in South.\end{tabular}                                                                                \\ \hline
0     & Missing people that don't miss me.
\\ \hline
\end{tabular}
}
\end{table}

\vspace{-3mm}
\subsection{Effects of Network and Content Information}
In this subsection, we study the performance of network structure and content information, and compare our proposed method with the following two groups methods: 1) content feature: the traditional methods are employed for classifying human trafficking tweets based on content information only. 2) network feature: the traditional methods are applied on the network information

(1) Considering the content feature only, most of the methods cannot balance the precision and recall, as shown in Table \ref{tab:contentornetwork}. The precision of SGD reaches 97\%, while its recall is 34.8\%.
SVM, logistic regression, and Gaussian have the higher recall, while other methods can achieve high precision.
Our NSI model which archives relatively balanced precision and recall has the highest F1-value.

(2) Considering the network feature only, almost all methods fail to classify the tweets into the right category. The precision of GNB is 79.3\%, which is the highest among other methods, while its recall is just 29.6\%. Different from GNB, the recall of the SVM is 93.8\%, however the precision of the SVM is only 56.9\%.

(3) In conclusion, considering the integrated features, the recall of all the methods rise except SVM, Gaussian naive Bayes, and SGD, while the precision of all the methods rises except SVM, logistic regression and SGD. All the methods have relatively balanced precisions and recalls. The reason is that the network structure  features successfully smooth the weight of the content feature. Hence, these features play an important role in predict the true label of a new tweet.
\vspace{-4mm}

\begin{table}[htbp]
  \centering
  \caption{Classify tweets with network or content features}
\resizebox{\columnwidth}{!}{%
    \begin{tabular}{c|cccccc}
    \toprule
    \multirow{2}[4]{*}{Methods} & \multicolumn{3}{c}{Content feature} & \multicolumn{3}{c}{Network feature} \\
\cmidrule{2-7}          & F1    & Precision & Recall & F1    & Precision & Recall \\
    \midrule
    SVM   & 0.834 & 0.744 & 0.948 & 0.708 & 0.569 & 0.938 \\
    LR    & 0.823 & 0.780  & 0.871 & 0.694 & 0.571 & 0.885 \\
    GNB   & 0.755 & 0.705 & 0.812 & 0.431 & 0.793 & 0.296 \\
    SGD   & 0.512 & 0.970  & 0.348 & 0.512 & 0.538 & 0.489 \\
    DT    & 0.764 & 0.793 & 0.738 & 0.427 & 0.648 & 0.318 \\
    RF    & 0.769 & 0.769 & 0.770  & 0.331 & 0.348 & 0.315 \\
    NSI   & 0.855 & 0.856 & 0.854 & 0.409 & 0.695 & 0.290 \\
    \bottomrule
    \end{tabular}%
    }

  \label{tab:contentornetwork}%
\end{table}%

\vspace{-2mm}

\begin{figure}[htbp]
\centering
  \includegraphics[width=0.45\textwidth,angle=0]{comp-eps-converted-to.pdf}
  \vspace{-2mm}
 \caption{The performance of baseline methods and NSI model. We classify the tweets with social network and content information.}
 \label{fig:yy}
 \vspace{-4mm}
\end{figure}

\vspace{-4mm}
\subsection{Parameter Analysis}
There are three positive parameters involved in the experiments, including $\lambda_{1}$, $\lambda_{2}$, and $\lambda{s}$, as shown in Algorithm \ref{alg_lirnn}. $\lambda_{1}$ is to control the sparsity of the learned model, $\lambda_{2}$ is the parameter to control the group sparsity, and $\lambda{s}$ is to control the contribution of network information. As a common practice, all the parameters can be tuned via cross-validation with validation data. In the experiments, we empirically set $\lambda_{1} = 0.01$,$\lambda_{2} = 0.5$, and $\lambda_{s} = 0.4$ for general experiment purposes.
In this section, we will further explore the relation between the two parameters.

The performance of NSI model gets better when the $\lambda_{2}$ and $\lambda_{s}$ increase. The F1-value reaches the peak at $\lambda_{s}=0.4$ and $\lambda_{2}=0.5$. As the further increase of $\lambda_{2}$ and $\lambda_{s}$, the F1-value begins to drop. It indicates that the NSI model can achieve good performance when $\lambda_{s}\in[0.45,0.55]$ and $\lambda_{2}\in[0.5,0.6]$.

\begin{comment}

\begin{figure}[htbp]
  \centering

  \includegraphics[width=0.4\textwidth,angle=0]{f1_test.eps}
  \label{fig:begger}
    \vspace{-3mm}

  \caption{Thermodynamic chart of F1-measure and parameters. The red parts indicate that the F1-value reaches a high value. In contrast, the blue part represents low F1-value. The scale of the parameters are chosen empirically.}
  \label{fig:hot}
    \vspace{-6mm}
\end{figure}
\end{comment}

    \vspace{-6mm}
\section{Conclusion and Future Work}
The emergence of social networks provides a great opportunity to recognize and understand the human trafficking tweets. In this paper, we exploit the social network structure information to perform effective human trafficking tweets recognition. In particular, the proposed NSI models the network and content information in a unified way. An efficient algorithm is proposed to solve the non-smooth convex optimization problem. Experimental results on a real weibo data set indicate that our model NSI can effectively detect human trafficking tweets, and outperform alternative supervised learning methods.

There still exists open questions in tackling the problem of human trafficking. The extensions of this work are as follows. Other sparse learning methods can be introduced to analyze the complex structure of textual features. Many human trafficking tweets contain images. Hence, face/gender/age detection algorithms on the images are of great importance. It is meaningful to utilize the semantic analysis across social media sites to better understand the characteristics of the victims of the human trafficking with text features. How to utilize the distributed system to analyze the large data and solve the optimization problem is a promising direction.
\bibliographystyle{aaai}

Social and Information Networks (cs.SI); Computers and Society (cs.CY)


Probing Massive Star Nucleosynthesis with Data on Metal-Poor Stars and the Solar System

Abstract: Metal-poor stars were formed during the early epochs when only massive stars had time to evolve and contribute to the chemical enrichment. Low-mass metal-poor stars survive until the present and provide fossil records of the nucleosynthesis of early massive stars. On the other hand, short-lived radionuclides (SLRs) in the early solar system (ESS) reflect the nucleosynthesis of sources that occurred close to the proto-solar cloud in both space and time. Both the ubiquity of Sr and Ba and the diversity of heavy-element abundance patterns observed in single metal-poor stars suggest that some neutron-capture mechanisms other than the r-process might have operated in early massive stars. Three such mechanisms are discussed: the weak s-process in non-rotating models with initial carbon enhancement, a new s-process induced by rapid rotation in models with normal initial composition, and neutron-capture processes induced by proton ingestion in non-rotating models. In addition, meteoritic data are discussed to constrain the core-collapse supernova (CCSN) that might have triggered the formation of the solar system and provided some of the SLRs in the ESS. If there was a CCSN trigger, the data point to a low-mass CCSN as the most likely candidate. An 11.8 solar mass CCSN trigger is discussed. Its nucleosynthesis, the evolution of its remnant, and the interaction of the remnant with the proto-solar cloud appear to satisfy the meteoritic constraints and can account for the abundances of the SLRs 41Ca, 53Mn, and 60Fe in the ESS.

\section{Data on Metal-Poor Stars}
\label{mpdata}
Observations show that heavy elements such as Sr (with mass numbers $A\sim 86$--88) and Ba ($A\sim 134$--138)
are prevalent in metal-poor stars \cite{roderer}. At the early times when these stars were formed, low-mass stars would
not have had time to evolve and produce such elements through the slow ($s$) neutron-capture process.
Massive stars evolve quickly to end in core-collapse supernovae (CCSNe) and the neutrino-driven winds from the
proto-neutron stars created in these events can produce Sr. Typical winds, however, do not have the appropriate conditions
to make Ba (e.g., \cite{qian1,hoffman}). While the rapid ($r$) neutron-capture process in rare CCSNe (e.g., \cite{fischer})
or neutron star mergers (e.g., \cite{thielemann}) can produce Ba, it is difficult for such rare events to account for the
wide-ranging enrichment at early times as indicated by the ubiquity of Ba in metal-poor stars (e.g., \cite{qian2,argast}).
Therefore, some other neutron-capture processes associated with massive stars are required.

Observations also show diverse abundance patterns of heavy elements in metal-poor stars. For example, there are
substantial deviations of the abundance ratio La/Eu ($A=139$ for La and $A=151$, 153 for Eu) from the solar
$r$-process value for stars with metallicities as low as $[{\rm Fe/H}]=\log({\rm Fe/H})-\log({\rm Fe/H})_\odot\sim -2.6$
\cite{simmerer}. This diversity also calls for massive stellar sources for neutron-capture processes other than the
$r$-process.

All of the above observations concern
single metal-poor stars. So both the ubiquity of Ba and the diversity of La/Eu in these stars reflect enrichment of the
general interstellar medium (ISM) by massive stellar sources, not some localized surface contamination through
mass transfer of e.g., the $s$-process products from binary companions.

\section{Neutron-Capture Processes in Early Massive Stars}
\label{ncap}
We focus on three types of neutron-capture processes in early massive stars to address the above observations.

\subsection{Enhanced Weak $s$-Process}
\label{weaks}
Observations (e.g., \cite{aoki}) show that there exist carbon-enhanced metal-poor (CEMP) stars with [C/Fe]~$\geq 0.7$,
some of which do not have any enhancements of neutron-capture elements. These so-called CEMP-no stars constitute
$\sim 20\%$, 40\%, and 80\% of all the metal-poor stars with [Fe/H]~$\leq -2$, $-3$, and $-4$, respectively.
Such stars were most likely formed out of the general ISM that had been enriched by very early CCSNe with elevated
abundances of C (and presumably also N and O) relative to Fe.
While such stars have low masses in order to survive until the present, they must have been formed along with massive
CEMP stars that already exploded as CCSNe.

During core H burning of a massive star, the initial CNO nuclei are converted into $^{14}$N,
which produces $^{22}$Ne through $^{14}{\rm N}(\alpha,\gamma)^{18}{\rm F}(e^+\nu_e)^{18}{\rm O}(\alpha,\gamma)^{22}{\rm Ne}$
during core He burning. The activation of $^{22}{\rm Ne}(\alpha,n)^{25}{\rm Mg}$ during core He burning and subsequent evolution
provides neutrons for the weak $s$-process that produces heavy elements typically up to Sr. For massive CEMP stars with
initial abundances of ${\rm [CNO/H]}\gtrsim-0.5$, even heavier elements up to Ba can be produced \cite{banerjee2018a}.
In general, the efficiency of the $s$-process in massive CEMP stars is sensitive to the initial enhancement of CNO
and mass of the star while the yield increases approximately linearly with the initial Fe abundance. These results were obtained
for non-rotating stars, and therefore, differ from similar results for fast-rotating massive metal-poor stars without C enhancement
(e.g., \cite{pignatari,frischknecht}) in that the former are independent of the uncertain rotation-induced mixing processes.
The enhanced weak $s$-process in non-rotating CEMP stars of $\gtrsim 20\,M_\odot$ with ${\rm [CNO/H]}\gtrsim -1.5$ can be
an important source for heavy elements in the early Galaxy \cite{banerjee2018a}.

\subsection{New $s$-Process Induced by Rapid Rotation}
\label{news}
Massive metal-poor stars rotating above a critical speed can reach the so-called quasi-chemically homogeneous
(QCH) state following core H burning (e.g., \cite{yoon,woosley}). Rotation-induced mixing results in primary production of
$^{13}$C. The subsequent occurrence of $^{13}{\rm C}(\alpha,n)^{16}{\rm O}$ during core He burning provides neutrons
for a prolific $s$-process. Depending on the rotation speed and the mass loss rate, elements up to Bi ($A=209$) can be produced
for progenitors with initial metallicities of ${\rm [Fe/H]}\lesssim -1.5$ \cite{banerjee2019}. This model of the $s$-process
in rotating massive metal-poor stars differs from other studies of the $s$-process in such stars (e.g., \cite{frischknecht})
because the QCH state was not reached for the latter.

The above model suggests that rapidly-rotating massive metal-poor stars are likely the first sites of the main $s$-process,
which is usually associated with slowly-evolving low-mass stars. With the above massive stellar sources, the observed
early onset of the $s$-process can be explained. In addition, the $s$-process contributions of these sources can account
for at least some of the CEMP-$s$ and CEMP-$r/s$ stars with strong enrichments that are attributed to the $s$-process
and a mixture of the $r$-process and the $s$-process, respectively \cite{banerjee2019}.

\subsection{Neutron-Capture Processes Induced by Proton Ingestion}
\label{pingest}
During the last few years of the life of a metal-free or metal-poor star of $\sim 20$--$30\,M_\odot$, the He shell becomes
convective following the depletion of C at the center. Some of the protons present at low levels in the outer He shell
can be ingested into the inner He shell by convective boundary mixing. Subsequent transport to the hotter region initiates
the reaction sequence $^{12}{\rm C}(p,\gamma)^{13}{\rm N}(e^+\nu_e)^{13}{\rm C}(\alpha,n)^{16}{\rm O}$, which provides
neutron densities appropriate for driving a nuclear flow intermediate ($i$) between the $s$-process and the $r$-process,
the so-called $i$-process \cite{cowan}. As a result, elements up to Bi are produced \cite{banerjee2018b}.
Depending on the time available before core collapse, $^{17}{\rm O}(\alpha,n)^{20}{\rm Ne}$ may occur to provide much
lower neutron densities typical of the $s$-process to facilitate further neutron capture on the products of the preceding
$i$-process. Consequently, the final yield pattern can vary from $s$-like to $r/s$-like \cite{banerjee2018b}.

The above model of neutron-capture processes induced by proton ingestion in early non-rotating massive stars
have important implications for the abundances of heavy elements in metal-poor stars. First of all, it provides
a rapidly-evolving source that occurred frequently to enrich the early ISM with heavy neutron-capture elements.
Therefore, it can account for the observed ubiquity of Ba in metal-poor stars (see Sect.~\ref{mpdata}). Further,
because its yield pattern can vary from $s$-like to $r/s$-like, it can also explain the diversity of heavy-element
abundance patterns in metal-poor stars (see Sect.~\ref{mpdata}). Finally, mass transfer of $s$-process and
$i$-process products from an intermediate-mass binary companion is commonly invoked to account for CEMP-$s$
and CEMP-$r/s$ stars, respectively. For some CEMP-$s$ and CEMP-$r/s$ stars, however, there are no clear
indications that they are in binaries. In fact, some CEMP-$s$ stars are observed to be single \cite{hansen}, which
is difficult for the binary mass transfer scenario to explain. Single CEMP-$s$ and CEMP-$r/s$ stars, however,
can be accounted for by the above model because they could have been formed directly from the early ISM
that had already been enriched by massive stars with neutron-capture processes induced by proton ingestion.

\section{CCSN Contributions to the Solar System}
\label{ess}
In contrast to metal-poor stars formed at early times, both low-mass and massive stars contributed to the
elemental abundances in the solar system, which was formed $\sim 9$~Gyr after the big bang.
The number of CCSNe among these contributing sources can be estimated as follows. A CCSN can enrich
$\sim 3\times 10^4\,M_\odot$ of ISM (e.g., \cite{thornton}). For a Galactic CCSN rate of $\sim(30\ {\rm yr})^{-1}$
associated with $\sim 10^{10}\,M_\odot$ of gas, an average ISM would receive CCSN contributions once
every $\sim 10$~Myr. So the ISM out of which the solar system was formed, the proto-solar cloud, received
contributions from $\sim 900$ CCSNe over $\sim 9$~Gyr.

Many short-lived radionuclides (SLRs) with lifetimes of $\sim 0.1$--10 Myr are produced by CCSNe.
Based on the above estimated interval of $\sim 10$~Myr between successive CCSN contributions,
the last few CCSNe contributing to the abundances in the solar system might have provided a significant
amount of SLRs to the early solar system (ESS). Any SLRs from those CCSNe would have been incorporated
into the meteorites formed in the ESS. Studies of such meteoritic samples indeed found a number of SLRs
(e.g., \cite{davis}). These meteoritic data provide a strong constraint on the scenario that the last contributing
CCSN also triggered the formation of the solar system because the SLRs contributed by that CCSN
cannot exceed the corresponding abundances in the ESS.

For a fraction $f$ of the ejecta from the triggering CCSN injected into the proto-solar cloud
and a time $\Delta$ between the CCSN and incorporation of SLRs into the ESS solids,
the resulting number ratio of an SLR ($R$) to its stable isotope ($I$) would be
\begin{equation}
\left(\frac{N_R}{N_I}\right)_{\rm ESS}=\frac{fY_R/A_R}{X_{I,\odot}M_\odot/A_I}\exp\left(-\frac{\Delta}{\tau_R}\right),
\label{nri}
\end{equation}
where $Y_R$ is the CCSN yield of $R$, $\tau_R$ and $A_R$ are its lifetime and mass number, respectively,
and $X_{I,\odot}$ and $A_I$ are the solar abundance and mass number of $I$, respectively.
The necessary condition for the triggering CCSN is that $(N_R/N_I)_{\rm ESS}$ match the data on some SLRs
without exceeding the data on all the other SLRs.

An additional meteoritic constraint on the triggering CCSN comes from the lack of large deviations in the number
ratios of stable isotopes of such major elements as Mg, Si, Ca, and Fe \cite{jerry}. Both this constraint and the
necessary condition regarding SLRs render it difficult for a high-mass CCSN to be the trigger because
the large yields of such a source would have exceeded the data on some SLRs and caused large deviations
in the number ratios of stable isotopes of some major elements \cite{banerjee2016}. Consequently, if a CCSN
triggered the formation of the solar system, it was most likely at the lower end of the relevant mass range
\cite{banerjee2016,andre}.

\section{Low-Mass CCSN Trigger for Solar System Formation}
\label{ccsn}
The nucleosynthesis of an $11.8\,M_\odot$ CCSN was studied in \cite{banerjee2016,andre}.
Using a 3D model of the explosion, \cite{andre} found that the SLRs $^{41}$Ca, $^{53}$Mn, and $^{60}$Fe
in the ESS can be accounted for by such a CCSN (see Table~\ref{slr}) with $f=3.6\times10^{-6}$ and
$\Delta=0.675$~Myr [see Eq.~(\ref{nri})]. Because only a very small fraction of the CCSN ejecta needs
to have been injected into the proto-solar cloud, the contributions to the other SLRs and the stable
isotopes were negligible.

\begin{table}
\centering
\caption{Example results on SLRs in the ESS.}
\label{slr}
\begin{tabular}{lccccr}
\hline
$R/I$ & $\tau_R$ (Myr) & $Y_R\ (M_\odot)$ & $X_{I,\odot}$ &  $(N_R/N_I)_{\rm ESS}$ & Data\\\hline
$^{41}{\rm Ca}/^{40}{\rm Ca}$ & 0.147 & $7.11\times10^{-6}$ & $5.88\times10^{-5}$ & $4.31\times10^{-9}$ &
$(4.6\pm1.9)\times10^{-9}$\\
$^{53}{\rm Mn}/^{55}{\rm Mn}$ & 5.40 & $2.73\times10^{-5}$ & $1.29\times10^{-5}$ & $6.97\times10^{-6}$ &
$(7\pm1)\times10^{-6}$\\
$^{60}{\rm Fe}/^{56}{\rm Fe}$ & 3.78 & $4.17\times10^{-6}$ & $1.12\times10^{-3}$ & $1.04\times10^{-8}$ &
$(1.01\pm0.27)\times10^{-8}$\\\hline
\end{tabular}
\end{table}

The parameters $f$ and $\Delta$ for the above low-mass CCSN trigger are consistent with the evolution
of a CCSN remnant in an ISM and with the interaction between the associated shock and the proto-solar cloud.
Simulations showed that a fraction $\epsilon_{\rm in}\sim 0.05$ of the CCSN ejecta impacting the cloud
would be injected into the cloud \cite{boss2014,boss2015}. The fraction $f$ of the net CCSN ejecta injected into
a cloud of radius $r_c\sim 0.1$~pc \cite{bergin} can be estimated as
\begin{equation}
f\sim\epsilon_{\rm in}\left(\frac{\delta\Omega_c}{4\pi}\right)\sim\frac{\epsilon_{\rm in}}{4}\left(\frac{r_c}{R_s}\right)^2
\sim 1.25\times10^{-4}\left(\frac{\epsilon_{\rm in}}{0.05}\right)\left(\frac{r_c}{0.1\ {\rm pc}}\right)^2\left(\frac{\rm pc}{R_s}\right)^2,
\end{equation}
where $\delta\Omega_c$ is the solid angle subtended by the cloud from the center of the CCSN and $R_s$ is the
shock radius upon impact. To obtain $f\sim3.6\times10^{-6}$ requires $R_s\sim 5.9$~pc. In addition, to trigger
the collapse of the cloud requires a shock velocity $v_s\sim20$--40~km~s$^{-1}$ \cite{boss2014,boss2015}.

The evolution of $R_s$ and $v_s$ for a CCSN remnant \cite{cioffi} can be estimated as
\begin{eqnarray}
R_s&=&14.0\left(\frac{E}{10^{51}\ {\rm erg}}\right)^{2/7}\left(\frac{{\rm cm}^{-3}}{n_0}\right)^{3/7}
\left(\frac{4}{3}t_*-\frac{1}{3}\right)^{3/10}\ {\rm pc},\\
v_s&=&413\left(\frac{E}{10^{51}\ {\rm erg}}\right)^{1/14}\left(\frac{n_0}{{\rm cm}^{-3}}\right)^{1/7}
\left(\frac{4}{3}t_*-\frac{1}{3}\right)^{-7/10}\ {\rm km\ s}^{-1},
\end{eqnarray}
where $E$ is the CCSN explosion energy, $n_0$ is the hydrogen number density of the ISM, and
$t_*=t/t_{\rm unit}$ is the time $t$ since the explosion in units of
\begin{equation}
t_{\rm unit}=1.33\times10^4\left(\frac{E}{10^{51}\ {\rm erg}}\right)^{3/14}\left(\frac{{\rm cm}^{-3}}{n_0}\right)^{4/7}\ {\rm yr}.
\end{equation}
For $E=2\times 10^{50}$~erg \cite{muller} and $n_0\sim 50$~cm$^{-3}$ \cite{bergin},
$R_s\sim 5.9$~pc is reached for $t\sim5.3\times10^4$~yr with an impact velocity $v_s\sim 33$~km~s$^{-1}$.
Because the above evolution time is far less than $\Delta$, the latter would be essentially
the time needed for condensation of solids in the ESS.

\section{Discussion and Conclusions}
\label{concl}
Observations of single metal-poor stars reveal both the ubiquity of Sr and Ba and the diversity of heavy-element
abundance patterns, which appear to require some neutron-capture mechanisms other than the $r$-process to
have operated in early massive stars. Among various possibilities, perhaps the weak $s$-process in non-rotating
massive CEMP stars is the best understood. Its contributions might have been significant at low metallicities
if a substantial fraction of the stars of $\gtrsim 20\,M_\odot$ had been formed with ${\rm [CNO/H]}\gtrsim -1.5$
\cite{banerjee2018a}. The new $s$-process induced by rapid rotation can potentially account for the observed
early onset of the $s$-process and at least some of the CEMP-$s$ and CEMP-$r/s$ stars \cite{banerjee2019}.
The modeling of this process depends on our understanding of the evolution of rapidly-rotating metal-poor stars
and the associated mixing. Likewise, the neutron-capture processes induced by proton ingestion in
early non-rotating massive stars depend on the treatment of mixing during the evolution of such stars. These
processes can potentially account for both the observed ubiquity of Ba and the diversity of heavy-element
abundance patterns in metal-poor stars \cite{banerjee2018b}. In addition, their relatively frequent contributions
to the ISM may have resulted in the formation of a significant fraction of the CEMP-$s$ and CEMP-$r/s$ stars
by birth, which could have been the dominant channel to form such stars in single configuration
\cite{banerjee2018b}.

Meteoric data demonstrate the presence of SLRs in the ESS. They also show a lack of large deviations in the
number ratios of stable isotopes of such major elements as Mg, Si, Ca, and Fe. These data render it difficult
for a high-mass CCSN to be the trigger for the formation of the solar system because the large yields of such
a source would have exceeded the data on some SLRs and caused large deviations in the number ratios of
stable isotopes of some major elements \cite{banerjee2016}. Consequently, if there was a CCSN trigger,
a low-mass CCSN would be the most likely candidate \cite{banerjee2016,andre}.
The nucleosynthesis of an $11.8\,M_\odot$ CCSN, the evolution of its remnant, and the interaction of
the remnant with the proto-solar cloud appear to satisfy the meteoritic constraints and can account for the
abundances of the SLRs $^{41}$Ca, $^{53}$Mn, and $^{60}$Fe in the ESS.

\section*{Acknowledgments}
I thank Projjwal Banerjee, Wick Haxton, Alexander Heger, Bernhard M\"uller, and Andre Sieverding for
collaboration. This work was supported in part by the U.S. Department of Energy under Grant No.
DE-FG02-87ER40328.