arxiv: v1 [astro-ph.ep] 26 Mar 2014

Transcription

1 Mon. Not. R. Astron. Soc. 000, (0000) Printed 27 March 2014 (MN LATEX style file v2.2) arxiv: v1 [astro-ph.ep] 26 Mar 2014 PASTIS: Bayesian extrasolar planet validation. I. General framework, models, and performance. R. F. Díaz, 1,2 J. M. Almenara, 1 A. Santerne, 1,3 C. Moutou, 1 A. Lethuillier, 1 M. Deleuil 1 1 Aix Marseille Université, CNRS, LAM (Laboratoire d Astrophysique de Marseille) UMR 7326, 13388, Marseille, France 2 Observatoire Astronomique de l Université de Genève, 51 chemin des Maillettes, 1290 Versoix, Switzerland 3 Centro de Astrofísica, Universidade do Porto, Rua das Estrelas, Porto, Portugal 27 March INTRODUCTION ABSTRACT Transiting extrasolar planets have provided a wealth of information about planetary interiors and atmospheres, planetary formation and orbital evolution. The most successful method to find them has proven to be the wide-field surveys carried out from the ground (e.g. Pollacco et al. 2006; Bakos et al. 2004) and from space-based observatories like CoRoT (Auvergne et al. 2009) and Kepler (Koch et al. 2010). These surveys monitor thousands of stars in search for periodic small dips in the stellar fluxes that could be produced by the passage of a planet in front of the disk of its star. The detailed strategy varies from survey to survey, but in general, since a large number of stars has to be observed to overcome the low probability of observing well-aligned planetary systems, these surveys target stars that are typically fainter than 10th magnitude. The direct outcome of transiting planet surveys are thousands of transit light curves with depth, duration and shape compatible with a planetary transit (e.g. Batalha et al. 2012). However, only a fraction of these are produced by actual transiting planets. Indeed, c 0000 RAS A large fraction of the smallest transiting planet candidates discovered by the Kepler and CoRoT space missions cannot be confirmed by a dynamical measurement of the mass using currently available observing facilities. To establish their planetary nature, the concept of planet validation has been advanced. This technique compares the probability of the planetary hypothesis against that of all reasonably conceivable alternative false-positive (FP) hypotheses. The candidate is considered as validated if the posterior probability of the planetary hypothesis is sufficiently larger than the sum of the probabilities of all FP scenarios. In this paper, we present PASTIS, the Planet Analysis and Small Transit Investigation Software, a tool designed to perform a rigorous model comparison of the hypotheses involved in the problem of planet validation, and to fully exploit the information available in the candidate light curves. PASTIS self-consistently models the transit light curves and follow-up observations. Its object-oriented structure offers a large flexibility for defining the scenarios to be compared. The performance is explored using artificial transit light curves of planets and FPs with a realistic error distribution obtained from a Kepler light curve. We find that data support for the correct hypothesis is strong only when the signal is high enough (transit signal-to-noise ratio above 50 for the planet case) and remains inconclusive otherwise. PLATO shall provide transits with high enough signal-to-noise ratio, but to establish the true nature of the vast majority of Kepler and CoRoT transit candidates additional data or strong reliance on hypotheses priors is needed. Key words: planetary systems methods: statistical techniques: photometric techniques: radial velocities a planetary transit light curve can be reproduced to a high level of similarity by a number of stellar systems involving binary or triple stellar systems. From isolated low-mass-ratio binary systems to complex hierarchical triple systems, these false positives are able to reproduce not only the transit light curve, but also, in some instances, even the radial velocity curve of a planetary-mass object (e.g. Mandushev et al. 2005). Radial-velocity observations have been traditionally used to establish the planetary nature of the transiting object by a direct measurement of its mass 1. A series of diagnostics such as the study of the bisector velocity span (Queloz et al. 2001), or the comparison of the radial velocity signatures obtained using different correlation masks (Bouchy et al. 2009; Díaz et al. 2012) are used to guarantee 1 As far as the mass of the host star can be estimated, the actual mass of a transiting object can be measured without the inclination degeneracy inherent to radial-velocity measurements, since the light curve provides a measurement of the orbital inclination.

2 2 Díaz et al. that the observed radial-velocity signal is not produced by an intricate blended stellar system. In addition, these observations allow measuring the eccentricity of the planetary orbit, a key parameter for constraining formation and evolution models (e.g. Ida, Lin & Nagasawa 2013). Most of the transiting extrasolar planets known to date have been confirmed by means of radial velocity measurements. However, this technique has its limitations: the radial-velocity signature of the smallest transiting companions are beyond the reach of the existing instrumentation. This is particularly true for candidates detected by CoRoT or Kepler, whose photometric precision and practically uninterrupted observations have permitted the detection of objects of size comparable to the Earth and in longer periods than those accessible from the ground 2. Together with the faintness of the typical target of transiting surveys, these facts produce a delicate situation, in which transiting planets are detected, but cannot be confirmed by means of radial velocity measurements. Radial velocity measurements are nevertheless still useful in these cases to discard undiluted binary systems posing as giant planets (e.g. Santerne et al. 2012). Confirmation techniques other than radial velocity measurements can sometimes be used. In multiple transiting systems, the variation in the timing of transits due to the mutual gravitational influence of the planets can be used to measure their masses (for some successful examples of the application of this technique, see Holman et al. 2010; Lissauer et al. 2011; Ford et al. 2012; Steffen et al. 2012; Fabrycky et al. 2012). Although greatly successful, only planets in multiple systems can be confirmed this way and only mutually-resonant orbits produce large enough timing variations (e.g. Agol et al. 2005). Additionally, the obtained constraints on the mass of the transiting objects are usually weak. A more generallyapplicable technique is planet validation. The basic idea behind this technique is that a planetary candidate can be established as a bona fide planet if the Bayesian posterior probability (i.e. after taking into account the available data) of this hypothesis is significantly higher than that of all conceivable false positive scenarios (for an exhaustive list of possible false positives see Santerne et al. 2013). Planet validation is coming of age in the era of the Kepler space mission, which delivered thousands of small-size candidates whose confirmation by classical means in unfeasible. In this paper, we present the Planet Analysis and Small Investigation Software (PASTIS), a software package to validate transiting planet candidates rigorously and efficiently. This is the first paper of a series. We describe here the general framework of PASTIS, the modeling of planetary and false positives scenarios, and test its performances using synthetic data. Upcoming articles will present in detail the modeling and contribution of the radial velocity data (Santerne et al., in preparation), and the study of real transiting planet candidates (Almenara et al., in preparation). The rest of the article is organized as follows. In Section 2 we describe in some detail the technique of planet validation, present previous approaches to this problem and the main characteristics of PASTIS. In Section 3 we introduce the bayesian framework in which this work is inscribed and the method employed to estimate the Bayes factor. In Section 4 we present the details of the MCMC algorithm used to obtain samples from the posterior distribution. In Section 5 we briefly describe the computation of the hypotheses priors, in Sec- 2 The detection efficiency of ground-based surveys quickly falls for orbital periods longer than around 5 days (e.g. von Braun, Kane & Ciardi 2009; Charbonneau 2006). tion 6 we describe the models of the blended stellar systems and planetary objects. We apply our technique to synthetic signals to test its performance and limitations in Sect. 7, we discuss the results in Section 8, and we finally draw our conclusions and outline future work in Section 9. 2 PLANET VALIDATION AND PASTIS The technique of statistical planet validation permits overcoming the impossibility of confirming transiting candidates by a dynamical measurement of their mass. A transiting candidate is validated if the probability of it being an actual transiting planet is much larger than that of being a false positive. To compute these probabilities, the likelihood of the available data given each of the competing hypothesis is needed. Torres et al. (2005) constructed the first model light curves of false positives to constrain the parameters of OGLE- TR-33, a blended eclipsing binary posing as a planetary candidate that was identified as a false positive by means of the changes in the bisector of the spectral line profile. The first models of radial velocity variations and bisector span curves of blended stellar systems were introduced by Santos et al. (2002). In some cases, due in part to the large number of parameters as well as to their great flexibility, the false positive hypothesis cannot be rejected based on the data alone. In this situation, since the planetary hypothesis cannot be rejected either otherwise the candidate would not be considered further, some sort of evaluation of the relative merits of the hypotheses has to be performed, if one of them is to be declared more probable than the other. The concept of the probability of a hypothesis expressed in the form of a logical proposition being completely absent in the frequentist statistical approach, this comparison can only be performed through Bayesian statistics. The BLENDER procedure (Torres et al. 2005, 2011) is the main tool employed by the Kepler team, and it has proven very successful in validating some of the smallest Kepler planet candidates (e.g. Torres et al. 2011; Fressin et al. 2011, 2012; Borucki et al. 2012, 2013; Barclay et al. 2013). The technique employed by BLENDER is to discard regions of the parameter space of false positives by carefully considering the Kepler light curve. Additional observations (either from the preparatory phase of the mission, such as stellar colors, or from follow-up campaigns, like high angular resolution imaging) are also employed to further limit the possible false positive scenarios. This is done a posteriori, and independently of the transit light-curve fitting procedure. One of the main issues of the BLENDER tool is its high computing time (Fressin et al. 2011), which limits the number of parameters of the false positives models that can be explored, as well as the number of candidates that can be studied. Morton (2012) (hereafter M12) presented a validation procedure with improved computational efficiency with respect to BLENDER. This is accomplished by simulating populations of false positives (based on prior knowledge on Galactic populations, multiple stellar system properties, etc.), and computing the model light curve only for those instances of the population that are compatible with all complementary observations. Additionally, the author uses a simple non-physical model for the transit light curve (a trapezoid) independently of the model being analyzed. This is equivalent to reducing the information on the light curve to three parameters: depth, total duration, and the duration of the ingress and egress phases. Although these two features permit an efficient evaluation of the false positive probability of transiting candidates,

3 PASTIS: Bayesian exoplanet analysis and validation. 3 neglecting the differences between the light curve models of competing hypotheses undermines the validation capabilities of the method in the cases where the the light curve alone clearly favours one hypothesis over the other. Although these are, for the moment, the minority of cases (Sect. 8.1), future space missions such as the PLAnetary Transits and Oscillations of stars (PLATO) mission will certainly change the landscape. The approach taken in PASTIS is to obtain the Bayesian odds ratio between the planet and all false positive hypotheses, which contains all the information the data provide, as well as all the available prior information. This is the rigorous way to compare competing hypotheses. The process includes modeling the available data for the candidate system, defining the priors of the model parameters, sampling from the posterior parameter distribution, and computing the Bayesian evidence of the models. The sampling from the posterior is done using a Markov Chain Monte Carlo (MCMC) algorithm. The global likelihood or evidence of each hypothesis is computed using the importance sampling technique (e.g. Kass & Raftery 1995). Once all odds ratios have been computed, the posterior distribution for the planet hypothesis can be obtained. We describe all these steps in the following sections. In Sect. 8.4 we perform a detailed comparison between PASTIS and the other two techniques mentioned here. By using a MCMC algorithm to explore the parameter space of false positives, we ensure that no computing time is spent in regions of poor fit, which makes our algorithm efficient in the same sense as the M12 method. However, the much higher complexity of the models involved in PASTIS hinders our code from being as fast as M12. A typical PASTIS run such as the ones described in Sect. 7 requires between a few hours to a few tens of hours per Markov Chain, depending on the model being used. However, these models only contain light curve data, and the modeling of followup observations usually requires considerable additional computing time. In its present state, PASTIS can model transit light curves in any arbitrary bandpass (including the CoRoT colored light curves), the absolute photometric measurements and radial velocity data for any type of relevant false positive scenario (see Sect. 6). The models, described in Sect. 6, are as complete and as realistic as possible, to fully take advantage of the available data. A difference of our tool with respect to BLENDER and M12 is the modeling of the radial velocity data, which includes the radial velocity itself, but also the bisector velocity span of the cross-correlation function, its width and contrast. These data are very efficient in discarding false positives (see 8.2). Other datasets usually available like high angular resolution images are, for the moment, treated as done in BLENDER or by M12. 3 BAYESIAN MODEL COMPARISON The Bayesian probability theory can be understood as an extended theory of logic, where the propositions have a degree of plausibility ranging between the two extremes corresponding to the classical categories false and true (see, e.g. Jaynes 2003, chapter 1). With this definition, and unlike the frequentist approach, the Bayesian plausibility of any proposition or hypothesis 3, such as 3 Throughout the paper, we will use the terms hypotheses and models. The former designate mutually-exclusive physical scenarios that can explain the observations, such as blended eclipsing binary or planetary system. Hypotheses will be presented as logical prepositions for which Bayesian anal- the transit events in OGLE-TR-33 are produced by a blended stellar binary can be precisely computed. To do this one employes the Bayes theorem: p(h i D, I) = p(h i I) p(d H i, I) p(d I), (1) where p(x Y) is a continuous monotonic increasing function of the plausibility of preposition X, given that Y is true (see Jaynes 2003, chapter 2). It ranges from 0 to 1, corresponding to impossibility and certainty of X Y, respectively. We will refer to this function as the probability of X given Y. In principle, H i, D, and I are arbitrary propositions, but the notation was not chosen arbitrarily. Following Gregory (2005b), we designate with H i a proposition asserting that hypothesis i is true, I will represent the prior information, and D will designate a proposition representing the data. The probability p(h i I) is called the hypothesis prior, and p(d H i, I) is known as the evidence, or global likelihood, of hypothesis H i. The objective is to compute p(h i D, I), the posterior probability of hypothesis H i, for a set of mutually-exclusive competing hypotheses H i (i = 1,..., N). To proceed, it is useful to compute the odds ratio for all pairs of hypotheses 4 : O i j = p(h i D, I) p(h j D, I) = p(h i I) p(h j I) p(d H i, I) p(d H j, I). (2) The odds ratio O i j can therefore be expressed as a the product of two factors: the first term on the right-hand side of the above equation is known as the prior odds, and the second as the Bayes factor, B i j. The former will be discussed in Sect. 5, the latter is defined through: p(d H i, I) = π(θ i H i, I) p(d θ i, H i, I) dθ i, (3) where θ i is the parameter vector of the model associated with hypothesis H i, π(θ i H i, I) is the prior distribution of the parameters, and p(d θ i, H i, I) is the likelihood for a given dataset D. The value of the odds ratio at which one model can be clearly preferred over the other needs to be specified. Discussions exist concerning the interpretation of the Bayes factor which are directly applicable to the odds ratio as well. Following the seminal work by Jeffreys (1961), Kass & Raftery (1995) suggest interpreting the Bayes factor using a scale based on twice its natural logarithm. Thus, a Bayes factor B i j below 3 is considered as inconclusive support for hypothesis i over hypothesis j, a value between 3 and 20 represents positive evidence for hypothesis i, between 20 and 150 the evidence is considered strong, and above 150 it is considered very strong. Because Bayesian model comparison can also provide support for the null hypothesis (i.e. model j over model i), the inverse of these values are used to interpret the level of support for hypothesis j: values of B i j below 1/150 indicate very strong support for hypothesis j. The value of 150 has been used in the literature (e.g. Tuomi 2012), but Kass & Raftery (1995) mention that the interpretation may depend on the context. Therefore, we will use the ysis is able to assign a probability. The term model is used to designate the mathematical expressions that describe the observations. Although the two terms refer to conceptually different things, given that in our case each hypothesis will be accompanied by a precise mathematical model, we will use both terms quite freely whenever the context is sufficient to understand what is being meant. 4 The individual probabilities can be computed from the odds ratios, given that a complete set of hypotheses has been considered, i.e. if Ni=0 p(h i D, I) = 1 (Gregory 2005b, chapter 3).

4 4 Díaz et al. value of 150 as a guideline to the interpretation of the odds ratio, but we will remain flexible and will require stronger evidence if the context seems to demand it 5. An appealing feature of the Bayesian approach to model comparison is the natural treatment of models with different numbers of parameters and of non-nested models. In this respect, Bayesian analysis has a bult-in Occam s razor that penalizes models according to the number of free parameters they have. The so-called Occam factor is included in the evidence ratio, and penalizes the models according to the fraction of the prior probability distribution that is discarded by the data (see Gregory 2005b, 3.5, for a clear exposition on the subject). 3.1 Computation of the Bayes factor The evidence (equation 3) is a k-dimensional integral, with k equal to the number of free parameters of model H i, which is in general impossible to compute analytically. We therefore approximate this integral to compute the Bayes factor using importance sampling (e.g. Kass & Raftery 1995). Importance sampling is a technique to compute moments of a distribution using samples from another distribution. Noting that equation 3 is the first moment of the likelihood function over the prior distribution π(θ I), then the evidence can be approximated as m j=1 w j p(d θ, H, I) p(d H, I) m, (4) j=1 w j where we have dropped the hypothesis index for clarity, and the sum is done over samples of the importance sampling function π (θ), and w j = π(θ (j) I)/π (θ ( j) I). An appropriate choice of π (θ) can lead to precise and efficient estimations of the evidence. In particular, PASTIS employs the truncated posterior-mixture estimation (TPM; Tuomi & Jones 2012). The importance sampling function of TPM is approximately the posterior distribution, but a small term is added to avoid the instability of the harmonic mean estimator, which uses exactly the posterior distribution as the importance sampling function (see Kass & Raftery 1995). As far as this term is small enough, samples from the posterior obtained with an MCMC algorithm (see Sect. 4) can be used to estimate the evidence. Tuomi & Jones (2012) show that the TPM estimator is not sensitive to the choice and size of parameter priors, a property they find convenient when comparing RV models with different number of planets, as it allows them to use very large uninformative priors (even improper priors) without penalizing their alternative models excessively. For our purposes this characteristic guarantees that the validation of a planet candidate is not a result of the choice of priors in the parameters, but rather that actual support from the data exists. As all the false positive scenarios have a larger number of degrees of freedom than the planet hypothesis, they will be severely punished by the Occam s factor. We discuss this issue further in Sect The TPM estimator is supposed to verify a Gaussian central limit theorem (Kass & Raftery 1995). Therefore, as the number of independent samples (n) used to compute it increases, convergence to the correct value is guaranteed, and the standard deviation of the 5 For example, the validation of an Earth-like planet in the habitable zone of a Sun-like star naturally produces a special interest, and should therefore be treated with special care. In this case, for example, it would not be unreasonable to ask for an odds ratio above 1,000, as suggested for forensic evidence (see references in Kass & Raftery 1995). In other words, extraordinary claims require extraordinary evidence. Standard deviation [dex] HM TPM Number of samples Figure 1. Convergence of the truncated posterior-mixture estimator (TPM). In blue, the standard deviation of the TPM estimator as a function of sample size. The black curve is the standard deviation of the sample divided by the number of points, and the red curve is the scatter of the harmonic mean estimator (HM). It can be seen that the scatter of the TPM estimator follows approximately the black curve. For a sample size of 1000, the scatter is slightly smaller than dex. estimator must decrease as n. In figure 1 the standard deviation of the TPM estimator is plotted as a function of sample size, for a simple one-dimensional case for which a large number of independent samples is available. For each value of n, we compute the TPM and harmonic mean (HM; Newton & Raftery 1994) estimators on a randomly drawn subsample. This is repeated 500 times per sample size, and in the end the standard deviation of the estimator is computed. The HM estimator (red curve) is known not to verify a central limit theorem (e.g. Kass & Raftery 1995), and indeed we see its standard deviation decreases more slowly than that of TPM. The black curve shows the mean standard deviation of the integrand of equation 3 over the selected subsample of size n, divided by n. It can be seen that the TPM estimator roughly follows this curve. For our method, we require at least a thousand independent samples for each studied model, which implies a precision of around dex in the logarithm of the Bayes factor. Given that significant support for one hypothesis over the other is given by Bayes factors of the order of 150, this precision is largely sufficient for our purposes. Alternative methods to evaluate the Bayes factor are found in the literature. All of them are approximations to the actual computation designed to render it simpler. As such, they have their limitations. For example, the Bayesian Information Criterion (BIC), which has been widely used in the literature on extrasolar planets (e.g. Husnoo et al. 2011), is an asymptotic estimation of the evidence which is valid under a series of conditions. Besides requiring that all data points be independent and that the error distribution belong to the exponential family, the BIC is derived assuming the Gaussianity or near-gaussianity of the posterior distribution (Liddle 2007). This means that its utility is reduced when comparing large and/or non-nested models (see discussion by Stevenson et al. 2012), as the ones we are dealing with here. Most of these approximations penalize models based on the number of parameters, and not on the size or shape of the prior distributions. Therefore, even parameters that are not constrained by the data are penalized. The computation of the evidence (eq. 3), on the other hand, does not penalize these parameters, the Occam s factor being close to 1. Our aim is to develop a general method that will not depend on the data sets studied. We also want to use models with an arbitrary number

5 PASTIS: Bayesian exoplanet analysis and validation. 5 of parameters, some of which will not be constrained by data but whose variations will probably contribute to the error budgets of other parameters. Furthermore, we will not be interested only in a simple ranking of hypotheses, but we will seek rather to quantify how much probable one hypothesis is over the other. Because all of this, these approximations are not useful for our purposes. 4 MARKOV CHAIN MONTE CARLO ALGORITHM Markov Chain Monte Carlo (MCMC) algorithms allow sampling from an unknown probability distribution, p(θ D, I), given that it can be computed at any point of the parameter space of interest up to a constant factor. They have been widely used to estimate the posterior distributions of model parameters (see Bonfils et al. 2012, for a recent example), and hence their uncertainty intervals. Here, we employ a MCMC algorithm to obtain samples of the posterior distribution that we will use to compute the evidence of different hypotheses (eq. 3) using the method described above. The details and many of the caveats of the application of MCMC algorithms to astrophysical problems, and to extrasolar planet research in particular, have already been presented in the literature (e.g. Tegmark et al. 2004; Ford 2005, 2006) and will not be repeated here. We do mention, on the other hand, the characteristics of our MCMC algorithm, for the sake of transparency and reproducibility. We use a Metropolis-Hastings algorithm (Metropolis et al. 1953; Hastings 1970), with a Gaussian transition probability for all parameters. An adaptive step size prescription closely following Ford (2006) was implemented, and the target acceptance rate is set to 25%, since the problems dealt with here are usually multidimensional (see Roberts, Gelman & Gilks 1997, and references therein). 4.1 Parameter correlations The parametrization of the models employed is described later, but in the most general case the parameters will present correlations that could greatly reduce the efficiency of the MCMC algorithm. To deal with this problem, we employ a Principal Component Analysis (PCA) to re-parametrize the problem in terms of uncorrelated variables. We have found that this improves significantly the mixing of our chains, rendering them more efficient. However, as already mentioned by Ford (2006), only linear correlations can be fully dealt with in this way, while nonlinear ones remain a problem 6. To mitigate this problem, we use PCA repeatedly, i.e. we update the covariance matrix of the problem regularly, as described in detail at the end of this section. By doing this, the chain manages to explore banana-shaped correlations, as those typically existing between the inclination angle of the orbital plane and the semi-major axis, in a reasonable number of steps. This significantly reduces the correlation length (Tegmark et al. 2004) of the chains, producing more independent samples of the posterior for a given number of chain steps. In any case, the chains are thinned using the longest correlation length among all parameters (i.e., only one step per correlation length is kept). 6 We note that this is a typical problem in MCMC algorithms which have not been solved yet and is the subject of current research (e.g. Solonen et al. 2012). 4.2 Multiple chains and non-convergence tests Another issue in MCMC is the existence of disjoint local maxima that can hinder the chains from exploring the posterior distribution entirely, a problem most non-linear minimization techniques share. To explore the existence of these local maxima, a number of chains (usually more than 20, depending on the dimensionality of the problem) are started at different points in parameter space, randomly drawn from the prior distributions of the parameters. Although it cannot be guaranteed that all regions of parameter space with significant posterior probability are explored, the fact that all chains converge to the same distribution is usually seen as a sign that no significant region is left unexplored. Inversely, if chains converge to different distributions, then the contribution of the identified maxima to the evidence (eq. 3) can be properly accounted for (Gregory 2005a). To test quantitatively if our chains have converged, we employ mainly the Gelman-Rubin statistics (Gelman & Rubin 1992), which compares the intra-chain and inter-chain variance. The chains that do not show signs of non-convergence, once thinned as explained above, are merged into a single chain that is used for parameter inference (i.e. the computation of the median value and confidence intervals), and to estimate the hypothesis evidence using the TPM method (Tuomi & Jones 2012). 4.3 Summary of the algorithm To summarize, our computation of the Bayes factor is done using a MCMC algorithm to sample the posterior distribution efficiently in a given a priori parameter space. Our MCMC algorithm was compared with the emcee code (Foreman-Mackey et al. 2013) and shown to produce identical results (S. Rodionov, priv. comm.), with a roughly similar efficiency. The MCMC algorithm and subsequent analysis can be summarized as follows: (i) Start N c chains at random points in the prior distributions. This allows exploring different regions of parameter space, and eventually find disjoint maxima of the likelihood. (ii) After N PCA steps, the PCA analysis is started. The covariance matrix of the parameter traces is computed for each chain, and the PCA coefficients are obtained. For all successive steps, the proposal jumps are performed in the rotated PCA space, where the parameters are uncorrelated. The value of N PCA is chosen so as to have around 1,000 samples of the posterior for each dimension of parameter space (i.e. to have around 1,000 different values of each parameter. (iii) The covariance matrix is updated every N up steps, taking only the values of the trace since the last update. This allows the chain to explore the posterior distribution even in the presence of non-linear correlations. (iv) The burn-in interval of each of the N c chains is computed by comparing the mean and standard deviation of the last 10% of the chain to preceding fractions of the chain until a significant difference is found. (v) The correlation length (CL) is computed for each of the parameters, and the maximum value is retained (maxcl). The chain is thinned by keeping only one sample every maxcl. This assures that the samples in the chain are independent. (vi) The Gelman & Rubin statistics is used on the thinned chains to test their non-convergence. If the chains show no signs of not being converged, then they are merged into a single chain.

6 6 Díaz et al. (vii) The TPM estimate of the evidence is computed over the samples of the merged chain. The whole process is repeated for all hypotheses H i of interest, such as transiting planet or background eclipsing binary. The computation of the Bayes factor between any given pair of models is simply the ratio of the evidences computed in step 7. 5 PRIOR ODDS The Bayes factor is only half of the story. To obtain the odds ratio between model i and j, O i j, the prior odds p(h i D, I)/p(H j D, I) in equation 2 needs also to be computed. In the case of transiting planet validation, this is the ratio between the a priori probability of the planet hypothesis and that of a given kind of false positive. To compute the prior probability of model H i one needs to specify what is the a priori information I that is available. Note that the preposition I appears as well in the parameter prior distribution, π(θ I) in equation 3. Therefore, to be consistent both the parameter priors and the hypotheses priors must be specified under the same information I. This should be done on a case-by-case basis, but in a typical case of planet validation we usually know a few basic pieces of information about the transiting candidate: the galactic coordinates of the host star and its magnitude in at least one bandpass, and the period and depth of the transits. It is also often the case that we have information about the close environment of the target. In particular, we usually know the confusion radius about its position, i.e. the maximum distance from the target at which a star of a given magnitude can be located without being detected. This radius is usually given by the PSF of ground-based seeing-limited photometry (usually the case of CoRoT candidates; see Deeg et al. 2009) or by sensitivity curves obtained using adaptive optics (e.g. Borucki et al. 2012; Guenther et al. 2013), or by the minimum distance from the star that the analysis of the centroid motion can discard (mainly in the case of Kepler candidates; see Batalha et al. 2010; Bryson et al. 2013). The specific information about the target being studied is combined with the global prior knowledge on planet occurrence rate and statistics for different types of host star (e.g. Mayor et al. 2011; Bonfils et al. 2013; Howard et al. 2010, 2012; Fressin et al. 2013), and stellar multiple system (Raghavan et al. 2010). For false positives involving chance alignments of foreground or background objects with the observed star we employ, additionally, the Besançon (Robin et al. 2003) or TRILEGAL (Girardi et al. 2005) galactic models to estimate the probability of such an alignment. As a test, we have verified that the Besançon galactic model (Robin et al. 2003), combined with the three-dimensional Galactic extinction model of Amôres & Lépine (2005) reproduces the stellar counts obtained from the EXODAT catalogue (Deleuil et al. 2009) in a CoRoT Galactic-center field. 6 DESCRIPTION OF THE MODELS All the computations described in the previous sections require comparing the data to some theoretical model. The model is constructed by combining modeled stars and planets to produce virtually any configuration of false positives and planetary systems. The symbols used to designate the different parameters of the models are listed in Table 1. Table 1. List of model parameters. Symbol Parameter Stellar Parameters T eff Effective temperature z Stellar atmospheric metallicity g Surface gravity M init Zero-age main sequence mass τ Stellar age ρ Bulk stellar density v sin i projected stellar rotational velocity ua, ub Quadratic-law limb darkening coefficients β Gravity darkening coefficient d Distance to host star Planet Parameters M p Mass R p Radius albedo Geometric Albedo System Parameters k r secondary-to-primary (or planet-to-star) radius ratio, R 2 /R 1 a R semi-major axis of the orbit, normalized to the radius of the primary (host) star, a/r 1 q mass ratio, M 2 /M 1 Orbital Parameters P orbital period T p time of passage through the periastron T c time of inferior conjunction e orbital the eccentricity ω argument of periastron i orbital inclination v 0 center-of-mass radial velocity 6.1 Modeling stellar and planetary objects Planetary objects are modeled as non-emitting bodies of a given mass and radius, and with a given geometric albedo. To model stellar objects we use theoretical stellar evolutionary tracks to obtain the relation between the stellar mass, radius, effective temperature, luminosity, metallicity, and age. The theoretical tracks implemented in PASTIS are listed in Table 2, together with their basic properties. Depending on the prior knowledge on the modeled star, the input parameter set can be either [T eff, log g, z], [T eff, ρ, z], or [M init, Age, z]. In any case, the remaining parameters are obtained by trilinear interpolation of the evolution tracks. Given the stellar atmospheric parameters T eff, log g, and z, the output spectrum of the star is obtained by linear interpolation of synthetic stellar spectra (see Table 3). The spectrum is scaled to the correct distance and corrected from interstellar extinction: F λ = F λ d R λ E(B V), (5) where F λ is the flux at the stellar surface of the star and F λ is the flux outside Earth s atmosphere. R λ = A λ /E(B V) is the extinction law from Fitzpatrick (1999) with R V = 3.1, and E(B V) is the color excess, which depends on the distance d to the star and on its galactic coordinates. In PASTIS, E(B V) can be either fitted with the rest of the parameters or modeled using the three-dimensional extinction model of Amôres & Lépine (2005). The choice to implement different sets of stellar tracks and atmospheric models allows us to study how our results change depending on the employed set of models, and therefore to estimate the systematic errors of our method.

7 PASTIS: Bayesian exoplanet analysis and validation. 7 Table 2. Theoretical stellar evolutionary tracks and ranges of their basic parameters. Model M init step z Ref. Dartmouth [0.1, 5.0] M 0.05 M [-2.5, 0.5] Dotter et al. (2008) Geneva [0.5, 3.5] M 0.1 M [-0.5, 0.32] Mowlavi et al. (2012) PARSEC [0.1, 12] M 0.05 M [-2.2, 0.7] Bressan et al. (2012) StarEvol [0.6, 2.1] M 0.1 M [-0.5, 0.5] Palacios (priv. comm.) Grid step is not constant thorough grid range. Typical size is reported. Table 3. Theoretical stellar spectra. Model z T eff log g Ref. ATLAS/Castelli & Kurucz [-2.5, 0.5] [3500, 50000] K [0.0, 5.0] cgs Castelli & Kurucz (2004) PHOENIX/BT-Settl [-4.0, 0.5] [400, 70000] K [-0.5, 6.0] cgs Allard, Homeier & Freytag (2012) The spectra of all the stellar objects modeled for a given hypothesis are integrated in the bandpasses of interest to obtain their relative flux contributions (Bayo et al. 2008). They are then added together to obtain the total observed spectrum outside Earth s atmosphere, from which the model of the observed magnitudes is likewise computed. Note that by going through the synthetic spectral models rather than using the tabulated magnitudes from the stellar tracks (as is done in BLENDER), any arbitrary photometric bandpass can be used, as long as its transmission curve and its flux at zero magnitude are provided. In particular, this allows us to consider the different color CoRoT light curves (Rouan et al. 2000, 1998) that should prove a powerful tool to constrain false positive scenarios (Moutou et al. submitted). Additional parameters of the star model are the limbdarkening coefficients, and the gravity-darkening coefficient β, defined so that T 4 eff g β. The limb-darkening coefficients are obtained from the tables by Claret & Bloemen (2011) by interpolation of the atmospheric parameters T eff, log g, and z. Following Espinosa Lara & Rieutord (2012), the gravity-darkening coefficient is fixed to 1.0 for all stars. Of course, these coefficients can also be included as free parameters of the model at the cost of potential inconsistencies, such as limb-darkening coefficients values that are incompatible with the remaining stellar parameters. 6.2 Modeling the light curve and radial velocity data The light curves of planets and false positives are modeled using a modified version of EBOP code (Nelson & Davis 1972; Etzel 1981; Popper & Etzel 1981) which was extracted from the JKTEBOP package (Southworth 2011, and references therein). The model parameters can be divided in achromatic parameters, which do not depend on the bandpass of the light curve, and chromatic ones. The set of achromatic parameters chosen are: [k r, a R, i, P, T p, e, ω, q]. In some cases, we use the time of inferior conjunction T c instead of T p, because it is usually much better constrained by observations in eclipsing (transiting) systems. The mass ratio q is among these parameters because EBOP models ellipsoidal modulation, which allows us to use the full-orbit light curve to constrain the false positive models. Additionally, we included the Doopler boosting effect (e.g. Faigler et al. 2012) in EBOP. The chromatic parameters are the coefficients of a quadratic limb-darkening law (ua and ub), the geometric albedo, the surface brightness ratio (in the case of planetary systems, this is fixed to 0), and the contamination factor due to the flux contribution of nearby stars inside the photometric mask employed. The model light curves are binned to the sampling rate of the data when this is expected to produce an effect on the adjusted parameters (Kipping 2010). For blended stellar systems, the light curves of all stars are obtained, they are normalized using the fluxes computed from the synthetic spectra as described above, and added together to obtain the final light curve of the blend. The model for radial velocity data is fully described in Santerne et al. (in preparation). Briefly, the model constructs synthetic cross-correlation functions (CCFs) for each modeled star using the instrument-dependent empirical relations between stellar parameters (z and B V color index) and CCF contrast and width obtained by Santos et al. (2002), Boisse et al. (2010), and additional relations described in Santerne et al. (in prep.). Our model assumes that each stellar component of the modeled system contributes to the observed CCF with a Gaussian profile located at the corresponding radial velocity, and scaled using the relative flux of the corresponding star. The resulting CCF is fitted with a Gaussian function to obtain the observed position, contrast and full-width at half-maximum. The CCF bisector is also computed (Queloz et al. 2001). As planetary objects are modeled as non-emitting bodies, their CCF is not considered. 6.3 Modeling of systematic effects in the data In addition, we use a simple model of any potential systematic errors in the data not accounted for in the formal uncertainties. We follow in the steps of Gregory (2005a), and model the additional noise of our data as a Gaussian-distributed variable with variance s 2. The distribution of the total error in our data is then the convolution of the distribution of the known errors with a Gaussian curve of width s. When the known error of the measurements can be assumed to have a Gaussian distribution 7 of width σ i, then the distribution of the total error is also a Gaussian with a variance equal to σ 2 i + s 2. 7 The method being described is not limited to treat gaussian-distributed error bars. In fact, any arbitrary distribution can be used without altering the algorithm and models described so far. Only the computation of the likelihood has to be modified accordingly.

8 8 Díaz et al. In principle, the additional parameter s is uninteresting and will be marginalized. Gregory (2005b) claims that this is a robust way to obtain conservative estimates of the posterior of the parameters. Indeed, we have found that in general, adding this additional noise term in the MCMC algorithm produces wider posterior distributions. 6.4 The false positive scenarios The modeled stellar and planetary objects can be combined arbitrarily to produce virtually any false positive scenario. For singletransit candidates, the relevant models that are constructed are: Diluted eclipsing binary. The combination of a target star, for which prior information on its parameters [T eff, log g, z] is usually available, and a couple of blended stars in an eclipsing binary (EB) system with the same period as the studied candidate. Usually, no a priori information exists on the blended stars because they are much fainter than the target star. Therefore they are parametrized using their initial masses M init, and the age and metallicity of the system (the stars are assumed to be co-eval). The diluted EB can be located either in the foreground or in the background of the target star. Hierarchical triple system. Similar to the previous case, but the EB is gravitationally bound to the target star. As a consequence, all stars share the same age and metallicity, obtained from the prior information on the target star. Diluted transiting planet. Similar to the diluted eclipsing binary scenario, but the secondary star of the EB is replaced by a planetary object. Planet in Binary. Similar to the hierarchical triple system scenario, but the secondary star of the EB is replaced by a planetary object. In addition, the models involving a diluted eclipsing binary should also be constructed using a period twice the nominal transit period, but these scenarios are generally easily discarded by the data (e.g. Torres et al. 2011). Undiluted eclipsing binaries may also constitute false positives, in particular those exhibiting only a secondary eclipse (Santerne et al. 2013), and are also naturally modeled by PASTIS. However, since they can be promptly discarded by means radial velocity measurements, they are not listed here and are not considered in Sect. 7. Finally, the transiting planet scenario consists of a target star orbited by a planetary object. In this case, it is generally more practical to parametrize the target star using the parameter set [T eff, ρ, z], where the stellar density ρ replaces the surface gravity log g, since it can be constrained from the transit curve much better. For candidates exhibiting multiple transits, the number of possible models is multiplied because any given set of transits can in principle be of planetary or stellar origin. PASTIS offers a great flexibility to model false positives scenarios by simply assembling the basic building blocks constituted by stars and planets. 7 APPLICATION TO SYNTHETIC LIGHT CURVES This section explores the capabilities and limitations of our method. We inject synthetic signals of planets and background eclipsing binaries (BEBs) in real Kepler data, and use it to run the validation procedure. In each case, both the correct and incorrect model are tested, and the odds ratio for these two scenarios is computed. We Table 4. Parameters for synthetic light curves Transiting Planet Planet Radius [R ] {1.0; 4.4; 7.8; 11.2} Impact Parameter b {0.0; 0.5; 0.75} Transit S/N {10; 20; 50; 100; 150; 500} Background Eclipsing Binary Mass Ratio {0.1; 0.3; 0.5} Impact Parameter b {0.0; 0.5; 0.75} Secondary S/N {2; 5; 7} will refer to the models used to fit the data as the PLANET and BEB models. For the sake of simplicity, we did not include radial velocity or absolute photometric data, although they are important in the planet validation process of real cases (Ollivier et al. 2012, and Sect. 8.2). Only light curve data is modeled in this Section. We describe the synthetic data and models in Sect In Sections 7.2 and 7.3, we study what type of support is given to the correct hypothesis by the data, independently of the hypotheses prior odds. To do this, we compute the Bayes factor i.e. the second term in righthand side of Eq. 2. Finally, in Sect. 7.4 we compute the odds ratio by assuming the target environment and follow-up observations of a typical Kepler candidate. In Sect. 7.5 we study the remaining false positive scenarios described in Sect Synthetic light curves and models Photometric data from the Kepler mission have the best precision available to date. More relevant for our tests, the instrument is extremely stable. Indeed, by design, instrumental effects do not vary significantly in the timescale of planetary transits (Koch et al. 2010). As a consequence, Kepler data is well suited for planet validation, because systematic effects are not expected to reproduce small transit features that could unfairly favor false-positive scenarios. By choosing to use a Kepler light curve as a model for the error distribution of our synthetic data we are considering the best-case scenario for planet validation. However, we shall see in Sect. 7.2 that a small systematic effect in the light curve has a significant effect on the results. To test our method in different conditions of signal-to-noise (S/N), transit shape, and dilution, the light curves of transiting planets and BEBs were generated with different parameter sets using the models described above. The parameters sets are presented in Table 4. In all cases, the period of the signal is 3 days, and the orbit is circular. The synthetic signals were injected in the Kepler shortcadence data of star KIC This target has a magnitude of 14.3 in the Kepler passband, which is typical for the transiting candidates that can be followed-up spectroscopically from the ground (e.g. Santerne et al. 2012). Its noise level, measured with the rms of the Combined Differential Photometric Precision (CDPP) statistics over 12 hours, is near the median of the distribution for stars in the same magnitude bin (i.e. K p between 13.8 and 14.8) observed in Short Cadence mode in Quarter 4. These two conditions make it a typical star in the Kepler target list. On the other hand, it is located in the 82nd percentile of the noise level distribution of all Long Candence Kepler target stars in this magnitude bin, demonstrating a bias towards active stars in the Short Cadence target list. Additionally, KIC exhibits planetary-like transits every