Showing 1–50 of 57 results for author: Valencia, D

Transmission Spectroscopy of the Habitable Zone Exoplanet LHS 1140 b with JWST/NIRISS

Authors: Charles Cadieux, René Doyon, Ryan J. MacDonald, Martin Turbet, Étienne Artigau, Olivia Lim, Michael Radica, Thomas J. Fauchez, Salma Salhi, Lisa Dang, Loïc Albert, Louis-Philippe Coulombe, Nicolas B. Cowan, David Lafrenière, Alexandrine L'Heureux, Caroline Piaulet, Björn Benneke, Ryan Cloutier, Benjamin Charnay, Neil J. Cook, Marylou Fournier-Tondreau, Mykhaylo Plotnykov, Diana Valencia

Abstract: LHS 1140 b is the second-closest temperate transiting planet to the Earth with an equilibrium temperature low enough to support surface liquid water. At 1.730$\pm$0.025 R$_\oplus$, LHS 1140 b falls within the radius valley separating H$_2$-rich mini-Neptunes from rocky super-Earths. Recent mass and radius revisions indicate a bulk density significantly lower than expected for an Earth-like rocky i… ▽ More LHS 1140 b is the second-closest temperate transiting planet to the Earth with an equilibrium temperature low enough to support surface liquid water. At 1.730$\pm$0.025 R$_\oplus$, LHS 1140 b falls within the radius valley separating H$_2$-rich mini-Neptunes from rocky super-Earths. Recent mass and radius revisions indicate a bulk density significantly lower than expected for an Earth-like rocky interior, suggesting that LHS 1140 b could either be a mini-Neptune with a small envelope of hydrogen ($\sim$0.1% by mass) or a water world (9--19% water by mass). Atmospheric characterization through transmission spectroscopy can readily discern between these two scenarios. Here, we present two JWST/NIRISS transit observations of LHS 1140 b, one of which captures a serendipitous transit of LHS 1140 c. The combined transmission spectrum of LHS 1140 b shows a telltale spectral signature of unocculted faculae (5.8 $σ$), covering $\sim$20% of the visible stellar surface. Besides faculae, our spectral retrieval analysis reveals tentative evidence of residual spectral features, best-fit by Rayleigh scattering from an N$_2$-dominated atmosphere (2.3 $σ$), irrespective of the consideration of atmospheric hazes. We also show through Global Climate Models (GCM) that H$_2$-rich atmospheres of various compositions (100$\times$, 300$\times$, 1000$\times$solar metallicity) are ruled out to $>$10 $σ$. The GCM calculations predict that water clouds form below the transit photosphere, limiting their impact on transmission data. Our observations suggest that LHS 1140 b is either airless or, more likely, surrounded by an atmosphere with a high mean molecular weight. Our tentative evidence of an N$_2$-rich atmosphere provides strong motivation for future transmission spectroscopy observations of LHS 1140 b. △ Less

Submitted 21 June, 2024; originally announced June 2024.

Comments: 26 pages, 14 figures, 3 tables, accepted for publication in ApJL

NIRPS first light and early science: breaking the 1 m/s RV precision barrier at infrared wavelengths

Authors: Étienne Artigau, François Bouchy, René Doyon, Frédérique Baron, Lison Malo, François Wildi, Franceso Pepe, Neil J. Cook, Simon Thibault, Vladimir Reshetov, Xavier Dumusque, Christophe Lovis, Danuta Sosnowska, Bruno L. Canto Martins, Jose Renan De Medeiros, Xavier Delfosse, Nuno Santos, Rafael Rebolo, Manuel Abreu, Guillaume Allain, Romain Allart, Hugues Auger, Susana Barros, Luc Bazinet, Nicolas Blind , et al. (89 additional authors not shown)

Abstract: The Near-InfraRed Planet Searcher or NIRPS is a precision radial velocity spectrograph developed through collaborative efforts among laboratories in Switzerland, Canada, Brazil, France, Portugal and Spain. NIRPS extends to the 0.98-1.8 $μ$m domain of the pioneering HARPS instrument at the La Silla 3.6-m telescope in Chile and it has achieved unparalleled precision, measuring stellar radial velocit… ▽ More The Near-InfraRed Planet Searcher or NIRPS is a precision radial velocity spectrograph developed through collaborative efforts among laboratories in Switzerland, Canada, Brazil, France, Portugal and Spain. NIRPS extends to the 0.98-1.8 $μ$m domain of the pioneering HARPS instrument at the La Silla 3.6-m telescope in Chile and it has achieved unparalleled precision, measuring stellar radial velocities in the infrared with accuracy better than 1 m/s. NIRPS can be used either stand-alone or simultaneously with HARPS. Commissioned in late 2022 and early 2023, NIRPS embarked on a 5-year Guaranteed Time Observation (GTO) program in April 2023, spanning 720 observing nights. This program focuses on planetary systems around M dwarfs, encompassing both the immediate solar vicinity and transit follow-ups, alongside transit and emission spectroscopy observations. We highlight NIRPS's current performances and the insights gained during its deployment at the telescope. The lessons learned and successes achieved contribute to the ongoing advancement of precision radial velocity measurements and high spectral fidelity, further solidifying NIRPS' role in the forefront of the field of exoplanets. △ Less

Submitted 13 June, 2024; v1 submitted 12 June, 2024; originally announced June 2024.

Comments: Proceeding at the SPIE Astronomical Telescopes + Instrumentation conference [Yokohama,Japan; June 2024]

The PLATO Mission

Authors: Heike Rauer, Conny Aerts, Juan Cabrera, Magali Deleuil, Anders Erikson, Laurent Gizon, Mariejo Goupil, Ana Heras, Jose Lorenzo-Alvarez, Filippo Marliani, Cesar Martin-Garcia, J. Miguel Mas-Hesse, Laurence O'Rourke, Hugh Osborn, Isabella Pagano, Giampaolo Piotto, Don Pollacco, Roberto Ragazzoni, Gavin Ramsay, Stéphane Udry, Thierry Appourchaux, Willy Benz, Alexis Brandeker, Manuel Güdel, Eduardo Janot-Pacheco , et al. (801 additional authors not shown)

Abstract: PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati… ▽ More PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution. The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases. △ Less

Submitted 8 June, 2024; originally announced June 2024.

Puffy Venuses: the Mass-Radius Impact of Carbon-Rich Atmospheres on Lava Worlds

Authors: Bo Peng, Diana Valencia

Abstract: The recent advancements in exoplanet observations enable the potential detection of exo-Venuses, rocky planets with carbon-rich atmospheres. How extended these atmospheres can be, given high carbon abundances, has not been studied. To answer this, we present a model for a theoretical class of exoplanets - puffy Venuses - characterized by thick, carbon-dominated atmospheres in equilibrium with glob… ▽ More The recent advancements in exoplanet observations enable the potential detection of exo-Venuses, rocky planets with carbon-rich atmospheres. How extended these atmospheres can be, given high carbon abundances, has not been studied. To answer this, we present a model for a theoretical class of exoplanets - puffy Venuses - characterized by thick, carbon-dominated atmospheres in equilibrium with global magma oceans. Our model accounts for carbon and hydrogen partition between the atmosphere and the magma ocean, as well as the C-H-O equilibrium chemistry throughout a semi-grey, radiative-convective atmosphere. We find that radius inflation by puffy Venus atmospheres is significant on small and irradiated planets: carbon content of 1200 ppm (or that of ordinary chondrites) can generate an atmosphere of ~0.16 - 0.3 $R_{\oplus}$ for an Earth-mass planet with equilibrium temperatures of 1500 to 2000 K. We identify TOI-561 b as an especially promising puffy Venus candidate, whose under-density could be attributed to a thick C-rich atmosphere. We also advocate for a puffy Venus interpretation of 55 Cancri e, where recent JWST observation indicates the presence of a CO/CO2 atmosphere. Puffy Venuses may thus constitute a testable alternative interpretation for the interior structure of underdense low-mass exoplanets. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: V3, under review in ApJL. We welcome & appreciate your comments

Observation uncertainty effects on the precision of interior planetary parameters

Authors: Mykhaylo Plotnykov, Diana Valencia

Abstract: Determining compositions of low-mass exoplanets is essential in understanding their origins. The certainty by which masses and radius are measured affects our ability to discern planets that are rocky or volatile rich. In this study, we aim to determine sound observational strategies to avoid diminishing returns. We quantify how uncertainties in mass, radius and model assumptions propagate into er… ▽ More Determining compositions of low-mass exoplanets is essential in understanding their origins. The certainty by which masses and radius are measured affects our ability to discern planets that are rocky or volatile rich. In this study, we aim to determine sound observational strategies to avoid diminishing returns. We quantify how uncertainties in mass, radius and model assumptions propagate into errors in inferred compositions of rocky and water planets. For a target error in a planet's iron-mass fraction or water content, we calculate the corresponding required accuracies in radius and mass. For instance, a rocky planet with a known radius error of 2% (corresponding to TESS detection best errors) demands mass precision to be at 5-11% to attain a 8 wt% precision in iron-mass fraction, regardless of mass. Similarly, a water world of equal radius precision requires 9-20% mass precision to confine the water content within a 10 wt% margin. Lighter planets are more difficult to constrain, especially water-rich versus water-poor worlds. Studying Earth as an exoplanet, we find a $\sim \pm5$ point "error floor" in iron-mass fraction and $\sim \pm7$ in core-mass fraction from our lack of knowledge on mineralogy. The results presented here can quickly guide observing strategies to maximize insights into small exoplanet compositions while avoiding over-observing. △ Less

Submitted 6 May, 2024; originally announced May 2024.

Comments: 13 pages, 8 figures, published in MNRAS

CTD4 -- A Deep Continuous Distributional Actor-Critic Agent with a Kalman Fusion of Multiple Critics

Authors: David Valencia, Henry Williams, Trevor Gee, Bruce A MacDonald, Minas Liarokapis

Abstract: Categorical Distributional Reinforcement Learning (CDRL) has demonstrated superior sample efficiency in learning complex tasks compared to conventional Reinforcement Learning (RL) approaches. However, the practical application of CDRL is encumbered by challenging projection steps, detailed parameter tuning, and domain knowledge. This paper addresses these challenges by introducing a pioneering Con… ▽ More Categorical Distributional Reinforcement Learning (CDRL) has demonstrated superior sample efficiency in learning complex tasks compared to conventional Reinforcement Learning (RL) approaches. However, the practical application of CDRL is encumbered by challenging projection steps, detailed parameter tuning, and domain knowledge. This paper addresses these challenges by introducing a pioneering Continuous Distributional Model-Free RL algorithm tailored for continuous action spaces. The proposed algorithm simplifies the implementation of distributional RL, adopting an actor-critic architecture wherein the critic outputs a continuous probability distribution. Additionally, we propose an ensemble of multiple critics fused through a Kalman fusion mechanism to mitigate overestimation bias. Through a series of experiments, we validate that our proposed method is easy to train and serves as a sample-efficient solution for executing complex continuous-control tasks. △ Less

Submitted 20 May, 2024; v1 submitted 4 May, 2024; originally announced May 2024.

Forming Mercury from excited initial conditions

Authors: Jennifer Scora, Diana Valencia, Alessandro Morbidelli, Seth Jacobson

Abstract: Mercury is notoriously difficult to form in solar system simulations, due to its small mass and iron-rich composition. Smooth particle hydrodynamics simulations of collisions have found that a Mercury-like body could be formed by one or multiple giant impacts, but due to the chaotic nature of collisions it is difficult to create a scenario where such impacts will take place. Recent work has found… ▽ More Mercury is notoriously difficult to form in solar system simulations, due to its small mass and iron-rich composition. Smooth particle hydrodynamics simulations of collisions have found that a Mercury-like body could be formed by one or multiple giant impacts, but due to the chaotic nature of collisions it is difficult to create a scenario where such impacts will take place. Recent work has found more success forming Mercury analogues by adding additional embryos near Mercury's orbit. In this work, we aim to form Mercury by simulating the formation of the solar system in the presence of the giant planets Jupiter and Saturn. We test out the effect of an inner disk of embryos added on to the commonly-used narrow annulus of initial material. We form Mercury analogues with core-mass fractions (CMF) $> 0.4$ in $\sim 10\%$ of our simulations, and twice that number of Mercury analogues form during the formation process, but are unstable and do not last to the end of the simulations. Mercury analogues form at similar rates for both disks with and without an inner component, and most of our Mercury analogues have lower CMF than that of Mercury, $\sim 0.7$, due to significant accretion of debris material. We suggest that a more in-depth understanding of the fraction of debris mass that is lost to collisional grinding is necessary to understand Mercury's formation, or some additional mechanism is required to stop this debris from accreting. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Comments: 15 pages, accepted for publication in ApJ

High-resolution Spectroscopic Reconnaissance of a Temperate Sub-Neptune

Authors: Samuel H. C. Cabot, Nikku Madhusudhan, Savvas Constantinou, Diana Valencia, Johanna M. Vos, Thomas Masseron, Connor J. Cheverall

Abstract: The study of temperate sub-Neptunes is the new frontier in exoplanetary science. A major development in the past year has been the first detection of carbon-bearing molecules in the atmosphere of a temperate sub-Neptune, K2-18 b, a possible Hycean world, with the James Webb Space Telescope (JWST). The JWST is poised to characterise the atmospheres of several other such planets with important impli… ▽ More The study of temperate sub-Neptunes is the new frontier in exoplanetary science. A major development in the past year has been the first detection of carbon-bearing molecules in the atmosphere of a temperate sub-Neptune, K2-18 b, a possible Hycean world, with the James Webb Space Telescope (JWST). The JWST is poised to characterise the atmospheres of several other such planets with important implications for planetary processes in the temperate regime. Meanwhile, ground-based high-resolution spectroscopy has been highly successful in detecting chemical signatures of giant exoplanets, though low-mass planets have remained elusive. In the present work, we report the atmospheric reconnaissance of a temperate sub-Neptune using ground-based high-resolution transmission spectroscopy. The long orbital period and the low systemic velocity results in a low planetary radial velocity during transit, making this system a valuable testbed for high-resolution spectroscopy of temperate sub-Neptunes. We observe high-resolution time-series spectroscopy in the H- and K-bands during the planetary transit with the IGRINS instrument (R$\sim$45,000) on Gemini-South. Using observations from a single transit we find marginal evidence (2.2$σ$) for the presence of methane (CH$_4$) in the atmosphere and no evidence for ammonia (NH$_3$) despite its strong detectability for a cloud-free H$_2$-rich atmosphere. We assess our findings using injection tests with different atmospheric scenarios, and find them to be consistent with a high CH$_4$/NH$_3$ ratio and/or the presence of high-altitude clouds. Our results demonstrate the capability of Gemini-S/IGRINS for atmospheric characterization of temperate sub-Neptunes, and the complementarity between space- and ground-based facilities in this planetary regime. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Comments: Accepted for publication in ApJ Letters

Cohesion and Shear Strength of Compacted Lunar and Martian Regolith Simulants

Authors: B. Dotson, D. Sanchez Valencia, C. Millwater, P. Easter, J. Long-Fox, D. Britt, P. Metzger

Abstract: Shear strength and cohesion of granular materials are important geotechnical properties that play a crucial role in the stability and behavior of lunar and Martian regolith, as well as their terrestrial analog materials. To characterize and predict shear strength and cohesion for future space missions, it is also important to understand the effects of particle size distribution and density on thes… ▽ More Shear strength and cohesion of granular materials are important geotechnical properties that play a crucial role in the stability and behavior of lunar and Martian regolith, as well as their terrestrial analog materials. To characterize and predict shear strength and cohesion for future space missions, it is also important to understand the effects of particle size distribution and density on these fundamental geotechnical properties. Generalized equations have been established using empirical data from direct shear measurements of lunar and Martian regolith simulants to quantify the effects of particle size distribution and density on cohesion and shear strength. Preliminary results are also presented highlighting the effects of atmospheric absorbed water on shear strength and cohesion when conducting experiments in atmospheric conditions on Earth. The results of this study show that cohesion increases exponentially with bulk density, while the exponential growth constant is also dependent on particle size distribution. △ Less

Submitted 16 March, 2024; originally announced March 2024.

New Mass and Radius Constraints on the LHS 1140 Planets -- LHS 1140 b is Either a Temperate Mini-Neptune or a Water World

Authors: Charles Cadieux, Mykhaylo Plotnykov, René Doyon, Diana Valencia, Farbod Jahandar, Lisa Dang, Martin Turbet, Thomas J. Fauchez, Ryan Cloutier, Collin Cherubim, Étienne Artigau, Neil J. Cook, Billy Edwards, Tim Hallatt, Benjamin Charnay, François Bouchy, Romain Allart, Lucile Mignon, Frédérique Baron, Susana C. C. Barros, Björn Benneke, B. L. Canto Martins, Nicolas B. Cowan, J. R. De Medeiros, Xavier Delfosse , et al. (21 additional authors not shown)

Abstract: The two-planet transiting system LHS 1140 has been extensively observed since its discovery in 2017, notably with $Spitzer$, HST, TESS, and ESPRESSO, placing strong constraints on the parameters of the M4.5 host star and its small temperate exoplanets, LHS 1140 b and c. Here, we reanalyse the ESPRESSO observations of LHS 1140 with the novel line-by-line framework designed to fully exploit the radi… ▽ More The two-planet transiting system LHS 1140 has been extensively observed since its discovery in 2017, notably with $Spitzer$, HST, TESS, and ESPRESSO, placing strong constraints on the parameters of the M4.5 host star and its small temperate exoplanets, LHS 1140 b and c. Here, we reanalyse the ESPRESSO observations of LHS 1140 with the novel line-by-line framework designed to fully exploit the radial velocity content of a stellar spectrum while being resilient to outlier measurements. The improved radial velocities, combined with updated stellar parameters, consolidate our knowledge on the mass of LHS 1140 b (5.60$\pm$0.19 M$_{\oplus}$) and LHS 1140 c (1.91$\pm$0.06 M$_{\oplus}$) with unprecedented precision of 3%. Transits from $Spitzer$, HST, and TESS are jointly analysed for the first time, allowing us to refine the planetary radii of b (1.730$\pm$0.025 R$_{\oplus}$) and c (1.272$\pm$0.026 R$_{\oplus}$). Stellar abundance measurements of refractory elements (Fe, Mg and Si) obtained with NIRPS are used to constrain the internal structure of LHS 1140 b. This planet is unlikely to be a rocky super-Earth as previously reported, but rather a mini-Neptune with a $\sim$0.1% H/He envelope by mass or a water world with a water-mass fraction between 9 and 19% depending on the atmospheric composition and relative abundance of Fe and Mg. While the mini-Neptune case would not be habitable, a water-abundant LHS 1140 b potentially has habitable surface conditions according to 3D global climate models, suggesting liquid water at the substellar point for atmospheres with relatively low CO$_2$ concentration, from Earth-like to a few bars. △ Less

Submitted 18 December, 2023; v1 submitted 23 October, 2023; originally announced October 2023.

Comments: 31 pages, 18 figures, accepted for publication in ApJL

Racing Towards Reinforcement Learning based control of an Autonomous Formula SAE Car

Authors: Aakaash Salvaji, Harry Taylor, David Valencia, Trevor Gee, Henry Williams

Abstract: With the rising popularity of autonomous navigation research, Formula Student (FS) events are introducing a Driverless Vehicle (DV) category to their event list. This paper presents the initial investigation into utilising Deep Reinforcement Learning (RL) for end-to-end control of an autonomous FS race car for these competitions. We train two state-of-the-art RL algorithms in simulation on tracks… ▽ More With the rising popularity of autonomous navigation research, Formula Student (FS) events are introducing a Driverless Vehicle (DV) category to their event list. This paper presents the initial investigation into utilising Deep Reinforcement Learning (RL) for end-to-end control of an autonomous FS race car for these competitions. We train two state-of-the-art RL algorithms in simulation on tracks analogous to the full-scale design on a Turtlebot2 platform. The results demonstrate that our approach can successfully learn to race in simulation and then transfer to a real-world racetrack on the physical platform. Finally, we provide insights into the limitations of the presented approach and guidance into the future directions for applying RL toward full-scale autonomous FS racing. △ Less

Submitted 24 August, 2023; originally announced August 2023.

Comments: Accepted at the Australasian Conference on Robotics and Automation (ACRA 2022)

Rocky histories: The effect of high excitations on the formation of rocky planets

Authors: Jennifer Scora, Diana Valencia, Alessandro Morbidelli, Seth Jacobson

Abstract: Rocky planets both in and outside of our solar system are observed to have a range of core-mass fractions (CMFs). Imperfect collisions can preferentially strip mantle material from a planet, changing its CMF, and are therefore thought to be the most likely cause of this observed CMF variation. However, previous work that implements these collisions into N-body simulations of planet formation has s… ▽ More Rocky planets both in and outside of our solar system are observed to have a range of core-mass fractions (CMFs). Imperfect collisions can preferentially strip mantle material from a planet, changing its CMF, and are therefore thought to be the most likely cause of this observed CMF variation. However, previous work that implements these collisions into N-body simulations of planet formation has struggled to reliably form high CMF super-Earths. In this work, we specify our initial conditions and simulation parameters to maximize the prevalence of high-energy, CMF-changing collisions in order to form planets with highly diverse CMFs. High-energy collisions have a large $v_{imp}/v_{esc}$ ratio, so we maximize this ratio by starting simulations with high-eccentricity and inclination disks to increase the difference in their orbital velocities, maximizing $v_{imp}$. Additionally, we minimize $v_{esc}$ by starting with small embryos. The final planets undergo more high-energy, debris-producing collisions, and experience significant CMF change over their formation. However, we find that a number of processes work together to average out the CMF of a planet over time, therefore we do not consistently form high-CMF, high mass planets. We do form high-CMF planets below 0.5 $M_{\oplus}$. Additionally, we find in these highly eccentric environments, loss of debris mass due to collisional grinding has a significant effect on final planet masses and CMFs, resulting in smaller planets and a higher average planet CMF. This work highlights the importance of improving measurements of high-density planets to better constrain their CMFs. △ Less

Submitted 2 December, 2022; v1 submitted 18 November, 2022; originally announced November 2022.

Comments: 19 pages. This paper has been accepted to ApJ

TOI-561 b: A Low Density Ultra-Short Period "Rocky" Planet around a Metal-Poor Star

Authors: Casey Brinkman, Lauren M. Weiss, Fei Dai, Daniel Huber, Edwin S. Kite, Diana Valencia, Jacob L. Bean, Corey Beard, Aida Behmard, Sarah Blunt, Madison Brady, Benjamin Fulton, Steven Giacalone, Andrew W. Howard, Howard Isaacson, David Kasper, Jack Lubin, Mason MacDougall, Joseph M. Akana Murphy, Mykhalo Plotnykov, Alex S. Polanski, Malena Rice, Andreas Seifahrt, Gudmundur Stefansson, Julian Sturmer

Abstract: TOI-561 is a galactic thick disk star hosting an ultra-short period (0.45 day orbit) planet with a radius of 1.37 R$_{\oplus}$, making it one of the most metal-poor ([Fe/H] = -0.41) and oldest ($\sim$10 Gyr) sites where an Earth-sized planet has been found. We present new simultaneous radial velocity measurements (RVs) from Gemini-N/MAROON-X and Keck/HIRES, which we combined with literature RVs to… ▽ More TOI-561 is a galactic thick disk star hosting an ultra-short period (0.45 day orbit) planet with a radius of 1.37 R$_{\oplus}$, making it one of the most metal-poor ([Fe/H] = -0.41) and oldest ($\sim$10 Gyr) sites where an Earth-sized planet has been found. We present new simultaneous radial velocity measurements (RVs) from Gemini-N/MAROON-X and Keck/HIRES, which we combined with literature RVs to derive a mass of M$_{b}$=2.24 $\pm$ 0.20 M$_{\oplus}$. We also used two new Sectors of TESS photometry to improve the radius determination, finding R$_{b}$=$1.37 \pm 0.04 R_\oplus$, and confirming that TOI-561 b is one of the lowest-density super-Earths measured to date ($ρ_b$= 4.8 $\pm$ 0.5 g/cm$^{3}$). This density is consistent with an iron-poor rocky composition reflective of the host star's iron and rock-building element abundances; however, it is also consistent with a low-density planet with a volatile envelope. The equilibrium temperature of the planet ($\sim$2300 K) suggests that this envelope would likely be composed of high mean molecular weight species, such as water vapor, carbon dioxide, or silicate vapor, and is likely not primordial. We also demonstrate that the composition determination is sensitive to the choice of stellar parameters, and that further measurements are needed to determine if TOI-561 b is a bare rocky planet, a rocky planet with an optically thin atmosphere, or a rare example of a non-primordial envelope on a planet with a radius smaller than 1.5 R$_{\oplus}$. △ Less

Submitted 10 January, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: Accepted to AJ on 11/28/2022

TOI-1452 b: SPIRou and TESS reveal a super-Earth in a temperate orbit transiting an M4 dwarf

Authors: Charles Cadieux, René Doyon, Mykhaylo Plotnykov, Guillaume Hébrard, Farbod Jahandar, Étienne Artigau, Diana Valencia, Neil J. Cook, Eder Martioli, Thomas Vandal, Jean-François Donati, Ryan Cloutier, Norio Narita, Akihiko Fukui, Teruyuki Hirano, François Bouchy, Nicolas B. Cowan, Erica J. Gonzales, David R. Ciardi, Keivan G. Stassun, Luc Arnold, Björn Benneke, Isabelle Boisse, Xavier Bonfils, Andrés Carmona , et al. (31 additional authors not shown)

Abstract: Exploring the properties of exoplanets near or inside the radius valley provides insights on the transition from the rocky super-Earths to the larger, hydrogen-rich atmosphere mini-Neptunes. Here, we report the discovery of TOI-1452 b, a transiting super-Earth ($R_{\rm p} = 1.67 \pm 0.07$ R$_{\oplus}$) in an 11.1--day temperate orbit ($T_{\rm eq} = 326 \pm 7$ K) around the primary member (… ▽ More Exploring the properties of exoplanets near or inside the radius valley provides insights on the transition from the rocky super-Earths to the larger, hydrogen-rich atmosphere mini-Neptunes. Here, we report the discovery of TOI-1452 b, a transiting super-Earth ($R_{\rm p} = 1.67 \pm 0.07$ R$_{\oplus}$) in an 11.1--day temperate orbit ($T_{\rm eq} = 326 \pm 7$ K) around the primary member ($H = 10.0$, $T_{\rm eff} = 3185 \pm 50$ K) of a nearby visual binary M dwarf. The transits were first detected by TESS, then successfully isolated between the two $3.2^{\prime\prime}$ companions with ground-based photometry from OMM and MuSCAT3. The planetary nature of TOI-1452 b was established through high-precision velocimetry with the near-infrared SPIRou spectropolarimeter as part of the ongoing SPIRou Legacy Survey. The measured planetary mass ($4.8 \pm 1.3$ M$_{\oplus}$) and inferred bulk density ($5.6^{+1.8}_{-1.6}$ g/cm$^3$) is suggestive of a rocky core surrounded by a volatile-rich envelope. More quantitatively, the mass and radius of TOI-1452 b, combined with the stellar abundance of refractory elements (Fe, Mg and Si) measured by SPIRou, is consistent with a core mass fraction of $18\pm6$ % and a water mass fraction of $22^{+21}_{-13}$%. The water world candidate TOI-1452 b is a prime target for future atmospheric characterization with JWST, featuring a Transmission Spectroscopy Metric similar to other well-known temperate small planets such as LHS 1140 b and K2-18 b. The system is located near Webb's northern Continuous Viewing Zone, implying that is can be followed at almost any moment of the year. △ Less

Submitted 12 August, 2022; originally announced August 2022.

Comments: Published in The Astronomical Journal

Journal ref: AJ, 164, 96 (2022)

Exoplanetary Interiors

Authors: Nadine Nettelmann, Diana Valencia

Abstract: The first mass-estimate of an exoplanet around a Sun-like star, 51 Peg b and the first radius measurement of an exoplanet, HD209458b pointed to the challenges of understanding the atmosphere, interior, and evolution of exoplanets including the possibility of mass loss of planets on close-orbits that are exposed to strong irradiation. These discoveries raised the question of heating and inflation m… ▽ More The first mass-estimate of an exoplanet around a Sun-like star, 51 Peg b and the first radius measurement of an exoplanet, HD209458b pointed to the challenges of understanding the atmosphere, interior, and evolution of exoplanets including the possibility of mass loss of planets on close-orbits that are exposed to strong irradiation. These discoveries raised the question of heating and inflation mechanisms, and of the nature of these objects in terms of composition compared to the known planets in the Solar system. The field of exoplanet interior modeling was born. Here, we outline and discuss current big science questions: (i) What is the amount of heavy elements in a planet and do all planets possess an iron-rock core? We suggest that a promising and novel approach for exoplanets can be measuring their tidal response in form of the Love numbers h2 and k2. (ii) How much and through what mechanisms are the interiors of planets heated or delayed from cooling? Many strongly irradiated gaseous planets require an additional heat source to explain their large radii. (iii) What is the origin of the observed populations in the radius-period diagram? Objects in and along the radius valley are excellent targets to study planetary formation and evaporation. (iv) What does the composition of rocky planets tell us about their formation? Planets more iron-rich than Mercury are found, as well as planets that if rocky, are depleted in iron with respect to Earth. We do not have yet a reliable formation theory that would explain their existence. △ Less

Submitted 17 November, 2021; originally announced November 2021.

Comments: To appear as a book chapter in "ExoFrontiers: Big questions in exoplanetary science", Ed. N Madhusudhan (Bristol: IOP Publishing Ltd) AAS-IOP ebooks https://iopscience.iop.org/bookListInfo/aas-iop-astronomy

Trials and Tribulations of Develo** Hybrid Quantum-Classical Microservices Systems

Authors: Javier Rojo, David Valencia, Javier Berrocal, Enrique Moguel, Jose Garcia-Alonso, Juan Manuel Murillo Rodriguez

Abstract: Quantum computing holds great promise to solve to problems where classical computers cannot reach. To the point where it already arouses the interest of both scientific and industrial communities. Thus, it is expected that hybrid systems will start to appear where quantum software interacts with classical systems. Such coexistence can be fostered by service computing. Unfortunately, the way in whi… ▽ More Quantum computing holds great promise to solve to problems where classical computers cannot reach. To the point where it already arouses the interest of both scientific and industrial communities. Thus, it is expected that hybrid systems will start to appear where quantum software interacts with classical systems. Such coexistence can be fostered by service computing. Unfortunately, the way in which quantum code can be offered as a service still misses out on many of the potential benefits of service computing. This paper takes the traveling salesman problem, and tackles the challenge of giving it an implementation in the form of a quantum microservice. Then it is used to detect which of the benefits of service computing are lost in the process. The conclusions help to measure the distance between the current state of technology and the state that would be desirable in order to have a real quantum service engineering. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Comments: 11 pages, 7 figures, 2 tables

Report number: https://ceur-ws.org/Vol-3008/paper2.pdf

Journal ref: International Workshop on Software Engineering & Technology 2021 (Q-SET 2021)

Ariel: Enabling planetary science across light-years

Authors: Giovanna Tinetti, Paul Eccleston, Carole Haswell, Pierre-Olivier Lagage, Jérémy Leconte, Theresa Lüftinger, Giusi Micela, Michel Min, Göran Pilbratt, Ludovic Puig, Mark Swain, Leonardo Testi, Diego Turrini, Bart Vandenbussche, Maria Rosa Zapatero Osorio, Anna Aret, Jean-Philippe Beaulieu, Lars Buchhave, Martin Ferus, Matt Griffin, Manuel Guedel, Paul Hartogh, Pedro Machado, Giuseppe Malaguti, Enric Pallé , et al. (293 additional authors not shown)

Abstract: Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths.… ▽ More Ariel, the Atmospheric Remote-sensing Infrared Exoplanet Large-survey, was adopted as the fourth medium-class mission in ESA's Cosmic Vision programme to be launched in 2029. During its 4-year mission, Ariel will study what exoplanets are made of, how they formed and how they evolve, by surveying a diverse sample of about 1000 extrasolar planets, simultaneously in visible and infrared wavelengths. It is the first mission dedicated to measuring the chemical composition and thermal structures of hundreds of transiting exoplanets, enabling planetary science far beyond the boundaries of the Solar System. The payload consists of an off-axis Cassegrain telescope (primary mirror 1100 mm x 730 mm ellipse) and two separate instruments (FGS and AIRS) covering simultaneously 0.5-7.8 micron spectral range. The satellite is best placed into an L2 orbit to maximise the thermal stability and the field of regard. The payload module is passively cooled via a series of V-Groove radiators; the detectors for the AIRS are the only items that require active cooling via an active Ne JT cooler. The Ariel payload is developed by a consortium of more than 50 institutes from 16 ESA countries, which include the UK, France, Italy, Belgium, Poland, Spain, Austria, Denmark, Ireland, Portugal, Czech Republic, Hungary, the Netherlands, Sweden, Norway, Estonia, and a NASA contribution. △ Less

Submitted 10 April, 2021; originally announced April 2021.

Comments: Ariel Definition Study Report, 147 pages. Reviewed by ESA Science Advisory Structure in November 2020. Original document available at: https://www.cosmos.esa.int/documents/1783156/3267291/Ariel_RedBook_Nov2020.pdf/

Report number: ESA/SCI(2020)1

Ariel Planetary Interiors White Paper

Authors: Ravit Helled, Stephanie Werner, Caroline Dorn, Tristan Guillot, Masahiro Ikoma, Yuichi Ito, Mihkel Kama, Tim Lichtenberg, Yamila Miguel, Oliver Shorttle, Paul J. Tackley, Diana Valencia, Allona Vazan

Abstract: The recently adopted Ariel ESA mission will measure the atmospheric composition of a large number of exoplanets. This information will then be used to better constrain planetary bulk compositions. While the connection between the composition of a planetary atmosphere and the bulk interior is still being investigated, the combination of the atmospheric composition with the measured mass and radius… ▽ More The recently adopted Ariel ESA mission will measure the atmospheric composition of a large number of exoplanets. This information will then be used to better constrain planetary bulk compositions. While the connection between the composition of a planetary atmosphere and the bulk interior is still being investigated, the combination of the atmospheric composition with the measured mass and radius of exoplanets will push the field of exoplanet characterisation to the next level, and provide new insights of the nature of planets in our galaxy. In this white paper, we outline the ongoing activities of the interior working group of the {\it Ariel} mission, and list the desirable theoretical developments as well as the challenges in linking planetary atmospheres, bulk composition and interior structure. △ Less

Submitted 15 March, 2021; originally announced March 2021.

Comments: Accepted for publication in Experimental Astronomy

Keys of a Mission to Uranus or Neptune, the Closest Ice Giants

Authors: Tristan Guillot, Jonathan Fortney, Emily Rauscher, Mark S. Marley, Vivien Parmentier, Mike Line, Hannah Wakeford, Yohai Kaspi, Ravit Helled, Masahiro Ikoma, Heather Knutson, Kristen Menou, Diana Valencia, Daniele Durante, Shigeru Ida, Scott J. Bolton, Cheng Li, Kevin B. Stevenson, Jacob Bean, Nicolas B. Cowan, Mark D. Hofstadter, Ricardo Hueso, Jeremy Leconte, Liming Li, Christoph Mordasini , et al. (4 additional authors not shown)

Abstract: Uranus and Neptune are the archetypes of "ice giants", a class of planets that may be among the most common in the Galaxy. They hold the keys to understand the atmospheric dynamics and structure of planets with hydrogen atmospheres inside and outside the solar system; however, they are also the last unexplored planets of the Solar System. Their atmospheres are active and storms are believed to be… ▽ More Uranus and Neptune are the archetypes of "ice giants", a class of planets that may be among the most common in the Galaxy. They hold the keys to understand the atmospheric dynamics and structure of planets with hydrogen atmospheres inside and outside the solar system; however, they are also the last unexplored planets of the Solar System. Their atmospheres are active and storms are believed to be fueled by methane condensation which is both extremely abundant and occurs at low optical depth. This means that map** temperature and methane abundance as a function of position and depth will inform us on how convection organizes in an atmosphere with no surface and condensates that are heavier than the surrounding air, a general feature of giant planets. Owing to the spatial and temporal variability of these atmospheres, an orbiter is required. A probe would provide a reference atmospheric profile to lift ambiguities inherent to remote observations. It would also measure the abundances of noble gases which can be used to reconstruct the history of planet formation in the Solar System. Finally, map** the planets' gravity and magnetic fields will be essential to constrain their global composition, atmospheric dynamics, structure and evolution. An exploration of Uranus or Neptune will be essential to understand these planets and will also be key to constrain and analyze data obtained at Jupiter, Saturn, and for numerous exoplanets with hydrogen atmospheres. △ Less

Submitted 17 December, 2020; originally announced December 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1908.02092

The Magellan-TESS Survey I: Survey Description and Mid-Survey Results

Authors: Johanna Teske, Sharon Xuesong Wang, Angie Wolfgang, Tianjun Gan, Mykhaylo Plotnykov, David J. Armstrong, R. Paul Butler, Bryson Cale, Jeffrey D. Crane, Ward Howard, Eric L. N. Jensen, Nicholas Law, Stephen A. Shectman, Peter Plavchan, Diana Valencia, Andrew Vanderburg, George Ricker, Roland Vanderspek, Dave W. Latham, Sara Seager, Joshua W. Winn, Jon M. Jenkins, Vardan Adibekyan, David Barrado, Susana C. C. Barros , et al. (44 additional authors not shown)

Abstract: $Kepler… ▽ More $Kepler$ revealed that roughly one-third of Sun-like stars host planets orbiting within 100 days and between the size of Earth and Neptune. How do these planets form, what are they made of, and do they represent a continuous population or multiple populations? To help address these questions, we began the Magellan-TESS Survey (MTS), which uses Magellan II/PFS to obtain radial velocity (RV) masses of 30 TESS-detected exoplanets and develops an analysis framework that connects observed planet distributions to underlying populations. In the past, small planet RV measurements have been challenging to obtain due to host star faintness and low RV semi-amplitudes, and challenging to interpret due to the potential biases in target selection and observation planning decisions. The MTS attempts to minimize these biases by focusing on bright TESS targets and employing a quantitative selection function and observing strategy. In this paper, we (1) describe our motivation and survey strategy, (2) present our first catalog of planet density constraints for 27 TESS Objects of Interest (TOIs; 22 in our population analysis sample, 12 that are members of the same systems), and (3) employ a hierarchical Bayesian model to produce preliminary constraints on the mass-radius (M-R) relation. We find that the biases causing previous M-R relations to predict fairly high masses at $1~R_\oplus$ have been reduced. This work can inform more detailed studies of individual systems and offer a framework that can be applied to future RV surveys with the goal of population inferences. △ Less

Submitted 5 August, 2021; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: Minor updates to some masses, and new exploration of broken power law M-R relation. 66 pages (now some figures moved to figure sets, will be in HTML published version). Accepted to ApJS on June 22, 2021

Chemical Fingerprints of Formation in Rocky Super-Earths' Data

Authors: Mykhaylo Plotnykov, Diana Valencia

Abstract: The composition of rocky exoplanets in the context of stars' composition provides important constraints to formation theories. In this study, we select a sample of exoplanets with mass and radius measurements with an uncertainty <25% and obtain their interior structure. We calculate compositional markers, ratios of iron to magnesium and silicon, as well as core-mass fractions (cmf) that fit the pl… ▽ More The composition of rocky exoplanets in the context of stars' composition provides important constraints to formation theories. In this study, we select a sample of exoplanets with mass and radius measurements with an uncertainty <25% and obtain their interior structure. We calculate compositional markers, ratios of iron to magnesium and silicon, as well as core-mass fractions (cmf) that fit the planetary parameters, and compare them to the stars'. We find four key results that successful planet formation theories need to predict: (1) In a population sense, the composition of rocky planets spans a wider range than stars. The stars' Fe/Si distribution is close to a Gaussian distribution $1.63^{+0.91}_{-0.85}$, while the planets' distribution peaks at lower values and has a longer tail, $1.15^{+1.43}_{-0.76}$. It is easier to see the discrepancy in cmf space, where primordial stellar composition is $0.32^{+0.14}_{-0.12}$, while rocky planets' follow a broader distribution $0.24^{+0.33}_{-0.18}$. (2) We introduce uncompressed density ($\overline{ρ_0}$ at reference pressure/temperature) as a metric to compare compositions. With this, we find what seems to be the maximum iron enrichment that rocky planets attain during formation ($\overline{ρ_0}$ ~ 6 and cmf ~ 0.8). (3) Highly irradiated planets exhibit a large range of compositions. If these planets are the result of atmospheric evaporation, iron enrichment and perhaps depletion must happen before gas dispersal. And (4), we identify a group of highly-irradiated planets that, if rocky, would be 2-fold depleted in Fe/Si with respect to the stars. Without a reliable theory for forming iron-depleted planets, these are interesting targets for follow up. △ Less

Submitted 13 October, 2020; originally announced October 2020.

Comments: 19 pages, 13 figures, 4 tables, accepted by MNRAS

On the plane Lamé-Navier system in fractal domains

Authors: Diego Esteban Gutierrez Valencia, Ricardo Abreu Blaya, Martín Patricio Árciga Alejandre, Arsenio Moreno García

Abstract: This paper is devoted to study a fundamental system of equations in plane Linear Elasticity Theory, the two-dimensional Lamé-Navier system. We rewrite them in a compressed form in terms of the Cauchy-Riemann operators and it allows us to solve a kind of Riemann problem for this system. A generalized Teodorescu operator, to be introduced here, provides the means for obtaining the explicit solution… ▽ More This paper is devoted to study a fundamental system of equations in plane Linear Elasticity Theory, the two-dimensional Lamé-Navier system. We rewrite them in a compressed form in terms of the Cauchy-Riemann operators and it allows us to solve a kind of Riemann problem for this system. A generalized Teodorescu operator, to be introduced here, provides the means for obtaining the explicit solution of this problem for a very wide classes of regions, including those with a fractal boundary. △ Less

Submitted 15 May, 2020; originally announced May 2020.

Comments: 16 pages, no figures

MSC Class: 30G35 (Primary)

Chemical Diversity of Super-Earths As a Consequence of Formation

Authors: Jennifer Scora, Diana Valencia, Alessandro Morbidelli, Seth A. Jacobson

Abstract: Recent observations of rocky super-Earths have revealed an apparent wider distribution of Fe/Mg ratios, or core to mantle ratios, than the planets in our Solar System. This study aims to understand how much of the chemical diversity in the super-Earth population can arise from giant impacts during planetary formation. Planet formation simulations have only recently begun to treat collisions more r… ▽ More Recent observations of rocky super-Earths have revealed an apparent wider distribution of Fe/Mg ratios, or core to mantle ratios, than the planets in our Solar System. This study aims to understand how much of the chemical diversity in the super-Earth population can arise from giant impacts during planetary formation. Planet formation simulations have only recently begun to treat collisions more realistically in an attempt to replicate the planets in our Solar System. We investigate planet formation more generally by simulating the formation of rocky super-Earths with varying initial conditions using a version of SyMBA, a gravitational N-body code, that incorporates realistic collisions. We track the maximum plausible change in composition after each impact. The final planets span a range of Fe/Mg ratios similar to the Solar System planets, but do not completely match the distribution in super-Earth data. We only form a few planets with minor iron-depletion, suggesting other mechanisms are at work. The most iron-rich planets have a lower Fe/Mg ratio than Mercury, and are less enriched than planets such as Kepler-100b. This indicates that further work on our understanding of planet formation and further improvement of precision of mass and radius measurements are required to explain planets at the extremes of this Fe/Mg distribution. △ Less

Submitted 20 February, 2020; originally announced February 2020.

Comments: 15 pages, 14 figures. Accepted for publication in MNRAS

Can a machine learn the outcome of planetary collisions?

Authors: Diana Valencia, Emaad Paracha, Alan P. Jackson

Abstract: Planetary-scale collisions are common during the last stages of formation of solid planets, including the Solar system terrestrial planets. The problem of growing planets has been divided into studying the gravitational interaction of embryos relevant in million year timescales and treated with N-body codes and the collision between objects with a timescale of hours to days and treated with smooth… ▽ More Planetary-scale collisions are common during the last stages of formation of solid planets, including the Solar system terrestrial planets. The problem of growing planets has been divided into studying the gravitational interaction of embryos relevant in million year timescales and treated with N-body codes and the collision between objects with a timescale of hours to days and treated with smoothed-particle hydrodynamics. These are now being coupled with simple parameterized models. We set out to investigate if machine learning techniques can offer a better solution by predicting the outcome of collisions which can then be used in N-body simulations. We considered three different supervised machine learning approaches: gradient boosting regression trees, nested models, and gaussian processes. We found that the former produced the best results, and that it was slightly surpassed by ensembling different algorithms. With gaussian processes, we found the regions of parameter space that may yield the most information to machine learning algorithms. Thus, we suggest SPH calculations to focus first on mass ratios above 0.5. △ Less

Submitted 11 February, 2019; originally announced February 2019.

Comments: 13 pages, 11 figure, 2 tables. Submitted to ApJ

Studies of two-dimensional MoS2 on enhancing the electrical performance of ultrathin copper films

Authors: Tingting Shen, Daniel Valencia, Qingxiao Wang, Kuang-Chung Wang, Michael Povolotskyi, Moon J. Kim, Gerhard Klimeck, Zhihong Chen, Joerg Appenzeller

Abstract: Copper nanowires are widely used as on-chip interconnects due to superior conductivity. However, with aggressive Cu interconnect scaling, the diffusive surface scattering of electrons drastically increases the electrical resistivity. In this work, we studied the electrical performance of Cu thin films on different materials. By comparing the thickness dependence of Cu films resistivity on MoS2 and… ▽ More Copper nanowires are widely used as on-chip interconnects due to superior conductivity. However, with aggressive Cu interconnect scaling, the diffusive surface scattering of electrons drastically increases the electrical resistivity. In this work, we studied the electrical performance of Cu thin films on different materials. By comparing the thickness dependence of Cu films resistivity on MoS2 and SiO2, we demonstrated that two-dimensional MoS2 can be used to enhance the electrical performance of ultrathin Cu films due to a partial specular surface scattering. By fitting the experimental data with the theoretical Fuchs Sondheimer model, we obtained the specularity parameter at the Cu MoS2 interface in the temperature range 2K to 300K. Furthermore, first principle calculations based on the density functional theory indicates that there are more localized states at the Cu amorphous SiO2 interface than the Cu MoS2 interface which is responsible for the higher resistivity in the Cu SiO2 heterostructure due to more severe electron scattering. Our results suggest that Cu MoS2 hybrid is a promising candidate structure for the future generations of CMOS interconnects. △ Less

Submitted 15 October, 2018; originally announced October 2018.

Habitability from Tidally-Induced Tectonics

Authors: Diana Valencia, Vivian Yun Yan Tan, Zachary Zajac

Abstract: The stability of Earth's climate on geological timescales is enabled by the carbon-silicate cycle that acts as a negative feedback mechanism stabilizing surface temperatures via the intake and outgas of atmospheric carbon. On Earth, this thermostat is enabled by plate tectonics that sequesters outgassed CO2 back into the mantle via weathering and subduction at convergent margins. Here we propose a… ▽ More The stability of Earth's climate on geological timescales is enabled by the carbon-silicate cycle that acts as a negative feedback mechanism stabilizing surface temperatures via the intake and outgas of atmospheric carbon. On Earth, this thermostat is enabled by plate tectonics that sequesters outgassed CO2 back into the mantle via weathering and subduction at convergent margins. Here we propose a separate tectonic mechanism -- vertical recycling -- that can serve as the vehicle for CO2 outgassing and sequestration over long timescales. The mechanism requires continuous tidal heating, which makes it particularly relevant to planets in the habitable zone of M stars. Dynamical models of this vertical recycling scenario and stability analysis show that temperate climates stable over Gy timescales are realized for a variety of initial conditions, even as the M star dims over time. The magnitude of equilibrium surface temperatures depends on the interplay of sea weathering and outgassing, which in turn depends on planetary carbon content, so that planets with lower carbon budgets are favoured for temperate conditions. Habitability of planets such as found in the Trappist-1 may be rooted in tidally-driven tectonics. △ Less

Submitted 19 March, 2018; originally announced March 2018.

Comments: 14 pages, 10 figures, Accepted in Astrophysical Journal

Lunar Crater Identification via Deep Learning

Authors: Ari Silburt, Mohamad Ali-Dib, Chenchong Zhu, Alan Jackson, Diana Valencia, Yevgeni Kissin, Daniel Tamayo, Kristen Menou

Abstract: Crater counting on the Moon and other bodies is crucial to constrain the dynamical history of the Solar System. This has traditionally been done by visual inspection of images, thus limiting the scope, efficiency, and/or accuracy of retrieval. In this paper we demonstrate the viability of using convolutional neural networks (CNNs) to determine the positions and sizes of craters from Lunar digital… ▽ More Crater counting on the Moon and other bodies is crucial to constrain the dynamical history of the Solar System. This has traditionally been done by visual inspection of images, thus limiting the scope, efficiency, and/or accuracy of retrieval. In this paper we demonstrate the viability of using convolutional neural networks (CNNs) to determine the positions and sizes of craters from Lunar digital elevation maps (DEMs). We recover 92% of craters from the human-generated test set and almost double the total number of crater detections. Of these new craters, 15% are smaller in diameter than the minimum crater size in the ground-truth dataset. Our median fractional longitude, latitude and radius errors are 11% or less, representing good agreement with the human-generated datasets. From a manual inspection of 361 new craters we estimate the false positive rate of new craters to be 11%. Moreover, our Moon-trained CNN performs well when tested on DEM images of Mercury, detecting a large fraction of craters in each map. Our results suggest that deep learning will be a useful tool for rapidly and automatically extracting craters on various Solar System bodies. We make our code and data publicly available at https://github.com/silburt/DeepMoon.git and https://doi.org/10.5281/zenodo.1133969 . △ Less

Submitted 12 November, 2018; v1 submitted 6 March, 2018; originally announced March 2018.

Comments: 41 pages, 5 figures, Accepted for publication in Icarus. Comments and requests are welcomed

Habitable Snowballs: Temperate Land Conditions, Liquid Water, and Implications for CO$_2$ Weathering

Authors: Adiv Paradise, Kristen Menou, Diana Valencia, Christopher Lee

Abstract: Habitable planets are commonly imagined to be temperate planets like Earth, with areas of open ocean and warm land. In contrast, planets in snowball states, where oceans are entirely ice-covered, are believed to be inhospitable. However, we show using a general circulation model that terrestrial planets in the inner habitable zone are able to support large unfrozen areas of land while in a snowbal… ▽ More Habitable planets are commonly imagined to be temperate planets like Earth, with areas of open ocean and warm land. In contrast, planets in snowball states, where oceans are entirely ice-covered, are believed to be inhospitable. However, we show using a general circulation model that terrestrial planets in the inner habitable zone are able to support large unfrozen areas of land while in a snowball state. Due to their lower albedo, these unfrozen regions reach summer temperatures in excess of 10 $^\circ$Celsius. Such conditions permit CO$_2$ weathering, suggesting that continental weathering can provide a mechanism for trap** planets in stable snowball states. The presence of land areas with warm temperatures and liquid surface water motivates a more-nuanced understanding of habitability during these snowball events. △ Less

Submitted 14 July, 2019; v1 submitted 1 March, 2018; originally announced March 2018.

Comments: 22 pages, 11 figures; significant revisions after peer review (including changed title and abstract); accepted for publication in Journal of Geophysical Research: Planets

Ohmic Dissipation in Mini-Neptunes

Authors: Bonan Pu, Diana Valencia

Abstract: In the presence of a magnetic field and weakly ionizing winds, ohmic dissipation is expected to take place in the envelopes of Jovian and lower-mass planets alike. While the process has been investigated on the former, there have been no studies done on mini-Neptunes so far. From structure and thermal evolution models, we determine that the required energy deposition for halting the contraction of… ▽ More In the presence of a magnetic field and weakly ionizing winds, ohmic dissipation is expected to take place in the envelopes of Jovian and lower-mass planets alike. While the process has been investigated on the former, there have been no studies done on mini-Neptunes so far. From structure and thermal evolution models, we determine that the required energy deposition for halting the contraction of mini-Neptunes increases with planetary mass and envelope fraction. Scaled to the insolation power, the ohmic heating needed is small $\sim10^{-5}$ -- orders of magnitude lower than for exo-Jupiters $\sim 10^{-2}$. Conversely, from solving the magnetic induction equation, we find that ohmic energy is dissipated more readily for lower-mass planets and those with larger envelope fractions. Combining these two trends, we find that ohmic dissipation in hot mini-Neptunes is strong enough to inflate their radii ($\sim 10^{15}$ W for $T_{eq}=1400K$). The implication is that the radii of hot mini-Neptunes may be attributed in part to ohmic heating. Thus, there is a trade-off between ohmic dissipation and H/He content for hot mini-Neptunes, adding a new degeneracy for the interpretation of the composition of such planets. In addition, ohmic dissipation would make mini-Neptunes more vulnerable to atmospheric evaporation. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Comments: Published in ApJ

Journal ref: 2017 ApJ 846 47

Control of interlayer delocalization in 2H transition metal dichalcogenides

Authors: Kuang-Chung Wang, Teodor K. Stanev, Daniel Valencia, James Charles, Alex Henning, Vinod K. Sangwan, Aritra Lahiri, Daniel Mejia, Prasad Sarangapani, Michael Povolotskyi, Aryan Afzalian, Jesse Maassen, Gerhard Klimeck, Mark C. Hersam, Lincoln J. Lauhon, Nathaniel P. Stern, Tillmann Kubis

Abstract: It is assessed in detail both experimentally and theoretically how the interlayer coupling of transition metal dichalcogenides controls the electronic properties of the respective devices. Gated transition metal dichalcogenide structures show electrons and holes to either localize in individual monolayers, or delocalize beyond multiple layers - depending on the balance between spin-orbit inter- ac… ▽ More It is assessed in detail both experimentally and theoretically how the interlayer coupling of transition metal dichalcogenides controls the electronic properties of the respective devices. Gated transition metal dichalcogenide structures show electrons and holes to either localize in individual monolayers, or delocalize beyond multiple layers - depending on the balance between spin-orbit inter- action and interlayer hop**. This balance depends on layer thickness, momentum space symmetry points and applied gate fields. A good quantitative agreement of predictions and measurements of the quantum confined Stark effect in gated MoS2 systems unveils intralayer excitons as major source for the observed photoluminesence. △ Less

Submitted 15 September, 2017; v1 submitted 6 March, 2017; originally announced March 2017.

Comments: 11 pages, 15 figures

Grain Boundary Resistance in Copper Interconnects from an Atomistic Model to a Neural Network

Authors: Daniel Valencia, Evan Wilson, Zheng** Jiang, Gustavo A. Valencia-Zapata, Gerhard Klimeck, Michael Povolotskyi

Abstract: Orientation effects on the resistivity of copper grain boundaries are studied systematically with two different atomistic tight binding methods. A methodology is developed to model the resistivity of grain boundaries using the Embedded Atom Model, tight binding methods and non-equilibrum Green's functions (NEGF). The methodology is validated against first principles calculations for small, ultra-t… ▽ More Orientation effects on the resistivity of copper grain boundaries are studied systematically with two different atomistic tight binding methods. A methodology is developed to model the resistivity of grain boundaries using the Embedded Atom Model, tight binding methods and non-equilibrum Green's functions (NEGF). The methodology is validated against first principles calculations for small, ultra-thin body grain boundaries (<5nm) with 6.4% deviation in the resistivity. A statistical ensemble of 600 large, random structures with grains is studied. For structures with three grains, it is found that the distribution of resistivities is close to normal. Finally, a compact model for grain boundary resistivity is constructed based on a neural network. △ Less

Submitted 8 October, 2017; v1 submitted 17 January, 2017; originally announced January 2017.

Comments: 18 pages, 12 figures

Journal ref: Phys. Rev. Applied 9, 044005 (2018)

A Machine Learns to Predict the Stability of Tightly Packed Planetary Systems

Authors: Daniel Tamayo, Ari Silburt, Diana Valencia, Kristen Menou, Mohamad Ali-Dib, Cristobal Petrovich, Chelsea X. Huang, Hanno Rein, Christa van Laerhoven, Adiv Paradise, Alysa Obertas, Norman Murray

Abstract: The requirement that planetary systems be dynamically stable is often used to vet new discoveries or set limits on unconstrained masses or orbital elements. This is typically carried out via computationally expensive N-body simulations. We show that characterizing the complicated and multi-dimensional stability boundary of tightly packed systems is amenable to machine learning methods. We find tha… ▽ More The requirement that planetary systems be dynamically stable is often used to vet new discoveries or set limits on unconstrained masses or orbital elements. This is typically carried out via computationally expensive N-body simulations. We show that characterizing the complicated and multi-dimensional stability boundary of tightly packed systems is amenable to machine learning methods. We find that training an XGBoost machine learning algorithm on physically motivated features yields an accurate classifier of stability in packed systems. On the stability timescale investigated ($10^7$ orbits), it is 3 orders of magnitude faster than direct N-body simulations. Optimized machine learning classifiers for dynamical stability may thus prove useful across the discipline, e.g., to characterize the exoplanet sample discovered by the upcoming Transiting Exoplanet Survey Satellite (TESS). This proof of concept motivates investing computational resources to train algorithms capable of predicting stability over longer timescales and over broader regions of phase space. △ Less

Submitted 21 November, 2016; v1 submitted 17 October, 2016; originally announced October 2016.

Comments: Accepted in ApJ letters. 7 pages, 3 figures

Transport in vertically stacked hetero-structures from 2D materials

Authors: Fan Chen, Hesameddin Ilatikhameneh, Yaohua Tan, Daniel Valencia, Gerhard Klimeck, Rajib Rahman

Abstract: In this work, the transport of tunnel field-effect transistor (TFET) based on vertically stacked hereto-structures from 2D transition metal dichalcogenide (TMD) materials is investigated by atomistic quantum transport simulations. WTe2-MoS2 combination was chosen due to the formation of a broken gap hetero-junction which is desirable for TFETs. There are two assumptions behind the MoS2-WTe2 hetero… ▽ More In this work, the transport of tunnel field-effect transistor (TFET) based on vertically stacked hereto-structures from 2D transition metal dichalcogenide (TMD) materials is investigated by atomistic quantum transport simulations. WTe2-MoS2 combination was chosen due to the formation of a broken gap hetero-junction which is desirable for TFETs. There are two assumptions behind the MoS2-WTe2 hetero-junction tight binding (TB) model: 1) lattice registry. 2) The $S-Te$ parameters being the average of the $S-S$ and $Te-Te$ parameters of bilayer MoS2 and WTe2. The computed TB bandstructure of the hetero-junction agrees well with the bandstructure obtained from density functional theory (DFT) in the energy range of interest for transport. NEGF (Non-Equilibrium Green$'$s Function) equations within the tight binding description is then utilized for device transfer characteristic calculation. Results show 1) energy filtering is the switching mechanism; 2) the length of the extension region is critical for device to turn off; 3) MoS2-WTe2 interlayer TFET can achieve a large on-current of $1000 μA/μm$ with $V_{DD} = 0.3V$, which suggests interlayer TFET can solve the low ON current problem of TFETs and can be a promising candidate for low power applications. △ Less

Submitted 11 September, 2016; v1 submitted 17 August, 2016; originally announced August 2016.

Comments: 2016 ICPS proceeding

Could Jupiter or Saturn Have Ejected a Fifth Giant Planet?

Authors: Ryan Cloutier, Daniel Tamayo, Diana Valencia

Abstract: Models of the dynamical evolution of the early solar system following the dispersal of the gaseous protoplanetary disk have been widely successful in reconstructing the current orbital configuration of the giant planets. Statistically, some of the most successful dynamical evolution simulations have initially included a hypothetical fifth giant planet, of ice giant mass, which gets ejected by a ga… ▽ More Models of the dynamical evolution of the early solar system following the dispersal of the gaseous protoplanetary disk have been widely successful in reconstructing the current orbital configuration of the giant planets. Statistically, some of the most successful dynamical evolution simulations have initially included a hypothetical fifth giant planet, of ice giant mass, which gets ejected by a gas giant during the early solar system's proposed instability phase. We investigate the likelihood of an ice giant ejection event by either Jupiter or Saturn through constraints imposed by the current orbits of their wide-separation regular satellites Callisto and Iapetus respectively. We show that planetary encounters that are sufficient to eject an ice giant, often provide excessive perturbations to the orbits of Callisto and Iapetus making it difficult to reconcile a planet ejection event with the current orbit of either satellite. Quantitatively, we compute the likelihood of reconciling a regular Jovian satellite orbit with the current orbit of Callisto following an ice giant ejection by Jupiter of ~ 42% and conclude that such a large likelihood supports the hypothesis of a fifth giant planet's existence. A similar calculation for Iapetus reveals that it is much more difficult for Saturn to have ejected an ice giant and reconcile a Kronian satellite orbit with that of Iapetus (likelihood ~ 1%), although uncertainties regarding the formation of Iapetus, on its unusual orbit, complicates the interpretation of this result. △ Less

Submitted 17 September, 2015; originally announced September 2015.

Comments: 12 pages, 10 figures, 2 tables. Accepted for publication in The Astrophysical Journal

Environmental bias and elastic curves on surfaces

Authors: Jemal Guven, Dulce María Valencia, Pablo Vázquez-Montejo

Abstract: The behavior of an elastic curve bound to a surface will reflect the geometry of its environment. This may occur in an obvious way: the curve may deform freely along directions tangent to the surface, but not along the surface normal. However, even if the energy itself is symmetric in the curve's geodesic and normal curvatures, which control these modes, very distinct roles are played by the two.… ▽ More The behavior of an elastic curve bound to a surface will reflect the geometry of its environment. This may occur in an obvious way: the curve may deform freely along directions tangent to the surface, but not along the surface normal. However, even if the energy itself is symmetric in the curve's geodesic and normal curvatures, which control these modes, very distinct roles are played by the two. If the elastic curve binds preferentially on one side, or is itself assembled on the surface, not only would one expect the bending moduli associated with the two modes to differ, binding along specific directions, reflected in spontaneous values of these curvatures, may be favored. The shape equations describing the equilibrium states of a surface curve described by an elastic energy accommodating environmental factors will be identified by adapting the method of Lagrange multipliers to the Darboux frame associated with the curve. The forces transmitted to the surface along the surface normal will be determined. Features associated with a number of different energies, both of physical relevance and of mathematical interest, are described. The conservation laws associated with trajectories on surface geometries exhibiting continuous symmetries are also examined. △ Less

Submitted 14 August, 2014; v1 submitted 28 May, 2014; originally announced May 2014.

Comments: 30 pages, 3 figures

Journal ref: J. Phys. A: Math. Theor. 47 (2014) 355201

Transit confirmation and improved stellar and planet parameters for the super-Earth HD 97658 b and its host star

Authors: V. Van Grootel, M. Gillon, D. Valencia, N. Madhusudhan, D. Dragomir, A. R. Howe, A. S. Burrows, B. -O. Demory, D. Deming, D. Ehrenreich, C. Lovis, M. Mayor, F. Pepe, D. Queloz, R. Scuflaire, S. Seager, D. Segransan, S. Udry

Abstract: Super-Earths transiting nearby bright stars are key objects that simultaneously allow for accurate measurements of both their mass and radius, providing essential constraints on their internal composition. We present here the confirmation, based on Spitzer transit observations, that the super-Earth HD 97658 b transits its host star. HD 97658 is a low-mass ($M_*=0.77\pm0.05\,M_{\odot}$) K1 dwarf, a… ▽ More Super-Earths transiting nearby bright stars are key objects that simultaneously allow for accurate measurements of both their mass and radius, providing essential constraints on their internal composition. We present here the confirmation, based on Spitzer transit observations, that the super-Earth HD 97658 b transits its host star. HD 97658 is a low-mass ($M_*=0.77\pm0.05\,M_{\odot}$) K1 dwarf, as determined from the Hipparcos parallax and stellar evolution modeling. To constrain the planet parameters, we carry out Bayesian global analyses of Keck-HIRES radial velocities, and MOST and Spitzer photometry. HD 97658 b is a massive ($M_P=7.55^{+0.83}_{-0.79} M_{\oplus}$) and large ($R_{P} = 2.247^{+0.098}_{-0.095} R_{\oplus}$ at 4.5 $μ$m) super-Earth. We investigate the possible internal compositions for HD 97658 b. Our results indicate a large rocky component, by at least 60% by mass, and very little H-He components, at most 2% by mass. We also discuss how future asteroseismic observations can improve the knowledge of the HD 97658 system, in particular by constraining its age. Orbiting a bright host star, HD 97658 b will be a key target for coming space missions TESS, CHEOPS, PLATO, and also JWST, to characterize thoroughly its structure and atmosphere. △ Less

Submitted 26 February, 2014; v1 submitted 24 February, 2014; originally announced February 2014.

Comments: 8 figures, accepted to ApJ

The PLATO 2.0 Mission

Authors: H. Rauer, C. Catala, C. Aerts, T. Appourchaux, W. Benz, A. Brandeker, J. Christensen-Dalsgaard, M. Deleuil, L. Gizon, M. -J. Goupil, M. Güdel, E. Janot-Pacheco, M. Mas-Hesse, I. Pagano, G. Piotto, D. Pollacco, N. C. Santos, A. Smith, J. -C., Suárez, R. Szabó, S. Udry, V. Adibekyan, Y. Alibert, J. -M. Almenara , et al. (137 additional authors not shown)

Abstract: PLATO 2.0 has recently been selected for ESA's M3 launch opportunity (2022/24). Providing accurate key planet parameters (radius, mass, density and age) in statistical numbers, it addresses fundamental questions such as: How do planetary systems form and evolve? Are there other systems with planets like ours, including potentially habitable planets? The PLATO 2.0 instrument consists of 34 small ap… ▽ More PLATO 2.0 has recently been selected for ESA's M3 launch opportunity (2022/24). Providing accurate key planet parameters (radius, mass, density and age) in statistical numbers, it addresses fundamental questions such as: How do planetary systems form and evolve? Are there other systems with planets like ours, including potentially habitable planets? The PLATO 2.0 instrument consists of 34 small aperture telescopes (32 with 25 sec readout cadence and 2 with 2.5 sec candence) providing a wide field-of-view (2232 deg2) and a large photometric magnitude range (4-16 mag). It focusses on bright (4-11 mag) stars in wide fields to detect and characterize planets down to Earth-size by photometric transits, whose masses can then be determined by ground-based radial-velocity follow-up measurements. Asteroseismology will be performed for these bright stars to obtain highly accurate stellar parameters, including masses and ages. The combination of bright targets and asteroseismology results in high accuracy for the bulk planet parameters: 2%, 4-10% and 10% for planet radii, masses and ages, respectively. The planned baseline observing strategy includes two long pointings (2-3 years) to detect and bulk characterize planets reaching into the habitable zone (HZ) of solar-like stars and an additional step-and-stare phase to cover in total about 50% of the sky. PLATO 2.0 will observe up to 1,000,000 stars and detect and characterize hundreds of small planets, and thousands of planets in the Neptune to gas giant regime out to the HZ. It will therefore provide the first large-scale catalogue of bulk characterized planets with accurate radii, masses, mean densities and ages. This catalogue will include terrestrial planets at intermediate orbital distances, where surface temperatures are moderate. Coverage of this parameter range with statistical numbers of bulk characterized planets is unique to PLATO 2.0. △ Less

Submitted 4 March, 2014; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: 63 pages, 17 figures, submitted to Experimental Astronomy (ExA)

Electronic transmission in Graphene suppressed by interlayer interference

Authors: Daniel Valencia, Jun-Qiang Lu, Jian Wu, Feng Liu, Feng Zhai, Yong-** Jiang

Abstract: We investigate electronic transport property of a graphene monolayer covered by a graphene nanoribbon. We demonstrate that electronic transmission of a monolayer can be reduced when covered by a nanoribbon. The transmission reduction occurs at different energies determined by the width of nanoribbon. We explain the transmission reduction by using interference between wavefunctions in the monolayer… ▽ More We investigate electronic transport property of a graphene monolayer covered by a graphene nanoribbon. We demonstrate that electronic transmission of a monolayer can be reduced when covered by a nanoribbon. The transmission reduction occurs at different energies determined by the width of nanoribbon. We explain the transmission reduction by using interference between wavefunctions in the monolayer and the nanoribbon. Furthermore, we show the transmission reduction of a monolayer is combinable when covered by more than one nanoribbon and propose a concept of "combination of control" for nano-application design. △ Less

Submitted 13 October, 2013; v1 submitted 5 August, 2013; originally announced August 2013.

Comments: 11 pages, 6 figures

Journal ref: AIP Advances 3, 102125 (2013)

Bulk Composition of GJ 1214b and other sub-Neptune exoplanets

Authors: Diana Valencia, Tristan Guillot, Vivien Parmentier, Richard S. Freedman

Abstract: GJ1214b stands out among the detected low-mass exoplanets, because it is, so far, the only one amenable to transmission spectroscopy. Up to date there is no consensus about the composition of its envelope although most studies suggest a high molecular weight atmosphere. In particular, it is unclear if hydrogen and helium are present or if the atmosphere is water dominated. Here, we present results… ▽ More GJ1214b stands out among the detected low-mass exoplanets, because it is, so far, the only one amenable to transmission spectroscopy. Up to date there is no consensus about the composition of its envelope although most studies suggest a high molecular weight atmosphere. In particular, it is unclear if hydrogen and helium are present or if the atmosphere is water dominated. Here, we present results on the composition of the envelope obtained by using an internal structure and evolutionary model to fit the mass and radius data. By examining all possible mixtures of water and H/He, with the corresponding opacities, we find that the bulk amount of H/He of GJ1214b is at most 7% by mass. In general, we find the radius of warm sub-Neptunes to be most sensitive to the amount of H/He. We note that all (Kepler-11b,c,d,f, Kepler-18b, Kepler-20b, 55Cnc-e, Kepler-36c and Kepler-68b) but two (Kepler-11e and Kepler-30b) of the discovered low-mass planets so far have less than 10% H/He. In fact, Kepler-11e and Kepler-30b have 10-18% and 5-15% bulk H/He. Conversely, little can be determined about the H2O or rocky content of sub-Neptune planets. We find that although a 100% water composition fits the data for GJ1214b, based on formation constraints the presence of heavier refractory material on this planet is expected, and hence, so is a component lighter than water required. A robust determination by transmission spectroscopy of the composition of the upper atmosphere of GJ1214b will help determine the extent of compositional segregation between the atmosphere and envelope. △ Less

Submitted 14 June, 2013; v1 submitted 12 May, 2013; originally announced May 2013.

Comments: Updated the masses and radii of the Kepler-11 system, added Kepler-30b as well in the analysis. Accepted in ApJ, 39 pages, 9 figures

Partition Refinement for Bisimilarity in CCP

Authors: Andrés Aristizábal, Filippo Bonchi, Luis Pino, Frank D. Valencia

Abstract: Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by telling and asking constraints in a global medium, called the store. Bisimilarity is a standard behavioural equivalence in concurrency theory, but a well-behaved notion of bisimilarity for ccp has been proposed only recently. When the state space of a system is finite, the… ▽ More Saraswat's concurrent constraint programming (ccp) is a mature formalism for modeling processes (or programs) that interact by telling and asking constraints in a global medium, called the store. Bisimilarity is a standard behavioural equivalence in concurrency theory, but a well-behaved notion of bisimilarity for ccp has been proposed only recently. When the state space of a system is finite, the ordinary notion of bisimilarity can be computed via the well-known partition refinement algorithm, but unfortunately, this algorithm does not work for ccp bisimilarity. In this paper, we propose a variation of the partition refinement algorithm for verifying ccp bisimilarity. To the best of our knowledge this is the first work providing for the automatic verification of program equivalence for ccp △ Less

Submitted 7 December, 2012; originally announced December 2012.

Comments: 27th ACM Symposium On Applied Computing, Trento : Italy (2012)

Hide and New in the Pi-Calculus

Authors: Marco Giunti, Catuscia Palamidessi, Frank D. Valencia

Abstract: In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus representing confidentiality in a natural way. The hide operator is meant for local communication, and it differs from new in that it forbids the extrusion of the name and hence has a static scope. Consequently, a communication c… ▽ More In this paper, we enrich the pi-calculus with an operator for confidentiality (hide), whose main effect is to restrict the access to the object of the communication, thus representing confidentiality in a natural way. The hide operator is meant for local communication, and it differs from new in that it forbids the extrusion of the name and hence has a static scope. Consequently, a communication channel in the scope of a hide can be implemented as a dedicated channel, and it is more secure than one in the scope of a new. To emphasize the difference, we introduce a spy context that represents a side-channel attack and breaks some of the standard security equations for new. To formally reason on the security guarantees provided by the hide construct, we introduce an observational theory and establish stronger equivalences by relying on a proof technique based on bisimulation semantics. △ Less

Submitted 13 August, 2012; originally announced August 2012.

Comments: In Proceedings EXPRESS/SOS 2012, arXiv:1208.2440

ACM Class: D.3.2; D.3.3

Journal ref: EPTCS 89, 2012, pp. 65-79

Mantle Dynamics in Super-Earths: Post-Perovskite Rheology and Self-Regulation of Viscosity

Authors: Paul J. Tackley, Michael Ammann, John P. Brodholt, David P. Dobson, Diana Valencia

Abstract: Simple scalings suggest that super-Earths are more likely than an equivalent Earth-sized planet to be undergoing plate tectonics. Generally, viscosity and thermal conductivity increase with pressure while thermal expansivity decreases, resulting in lower convective vigor in the deep mantle. According to conventional thinking, this might result in no convection in a super-Earth's deep mantle. Here… ▽ More Simple scalings suggest that super-Earths are more likely than an equivalent Earth-sized planet to be undergoing plate tectonics. Generally, viscosity and thermal conductivity increase with pressure while thermal expansivity decreases, resulting in lower convective vigor in the deep mantle. According to conventional thinking, this might result in no convection in a super-Earth's deep mantle. Here we evaluate this. First, we here extend the density functional theory (DFT) calculations of post-perovskite activation enthalpy of to a pressure of 1 TPa. The activation volume for diffusion creep becomes very low at very high pressure, but nevertheless for the largest super-Earths the viscosity along an adiabat may approach 1030 Pa s in the deep mantle. Second, we use these calculated values in numerical simulations of mantle convection and lithosphere dynamics of planets with up to ten Earth masses. The models assume a compressible mantle including depth-dependence of material properties and plastic yielding induced plate tectonics. Results confirm the likelihood of plate tectonics and show a novel self-regulation of deep mantle temperature. The deep mantle is not adiabatic; instead internal heating raises the temperature until the viscosity is low enough to facilitate convective loss of the radiogenic heat, which results in a super-adiabatic temperature profile and a viscosity increase with depth of no more than ~3 orders of magnitude, regardless of the viscosity increase that is calculated for an adiabat. Convection in large super-Earths is characterised by large upwellings and small, time-dependent downwellings. If a super-Earth was extremely hot/molten after its formation, it is thus likely that even after billions of years its deep interior is still extremely hot and possibly substantially molten with a "super basal magma ocean" - a larger version of (Labrosse et al., 2007). △ Less

Submitted 10 January, 2013; v1 submitted 16 April, 2012; originally announced April 2012.

Comments: 25 pages, 5 figures

Improved precision on the radius of the nearby super-Earth 55 Cnc e

Authors: M. Gillon, B. -O. Demory, B. Benneke, D. Valencia, D. Deming, S. Seager, C. Lovis, M. Mayor, F. Pepe, D. Queloz, Damien Segransan, S. Udry

Abstract: We report on new transit photometry for the super-Earth 55 Cnc e obtained with Warm Spitzer/IRAC at 4.5 microns. An individual analysis of these new data leads to a planet radius of 2.21-0.16+0.15 Rearth, in good agreement with the values previously derived from the MOST and Spitzer transit discovery data. A global analysis of both Spitzer transit time-series improves the precision on the radius o… ▽ More We report on new transit photometry for the super-Earth 55 Cnc e obtained with Warm Spitzer/IRAC at 4.5 microns. An individual analysis of these new data leads to a planet radius of 2.21-0.16+0.15 Rearth, in good agreement with the values previously derived from the MOST and Spitzer transit discovery data. A global analysis of both Spitzer transit time-series improves the precision on the radius of the planet at 4.5 microns to 2.20+-0.12 Rearth. We also performed an independent analysis of the MOST data, paying particular attention to the influence of the systematic effects of instrumental origin on the derived parameters and errors by including them in a global model instead of performing a preliminary detrending-filtering processing. We deduce an optical planet radius of 2.04+0.15 Rearth from this reanalysis of MOST data, which is consistent with the previous MOST result and with our Spitzer infrared radius. Assuming the achromaticity of the transit depth, we performed a global analysis combining Spitzer and MOST data that results in a planet radius of 2.17+-0.10 Rearth (13,820+-620 km). These results point to 55 Cnc e having a gaseous envelope overlying a rocky nucleus, in agreement with previous works. A plausible composition for the envelope is water which would be in super-critical form given the equilibrium temperature of the planet. △ Less

Submitted 13 January, 2012; v1 submitted 21 October, 2011; originally announced October 2011.

Comments: 7 pages, 7 figures. Submitted to A&A on 21/10/2011. Accepted for publication in A&A on . 28/12/2011. Accepted version uploaded

Annular wave packets at Dirac points and probability oscillation in graphene

Authors: Ji Luo, Junqiang Lu, Daniel Valencia

Abstract: Wave packets in graphene whose central wave vector is at Dirac points are investigated by numerical calculations. Starting from an initial Gaussian function, these wave packets form into annular peaks that propagate to all directions like ripple-rings on water surface. At the beginning, electronic probability alternates between the central peak and the ripple-rings and transient oscillation occurs… ▽ More Wave packets in graphene whose central wave vector is at Dirac points are investigated by numerical calculations. Starting from an initial Gaussian function, these wave packets form into annular peaks that propagate to all directions like ripple-rings on water surface. At the beginning, electronic probability alternates between the central peak and the ripple-rings and transient oscillation occurs at the center. As time increases, the ripple-rings propagate at the fixed Fermi speed, and their widths remain unchanged. The axial symmetry of the energy dispersion leads to the circular symmetry of the wave packets. The fixed speed and widths, however, are attributed to the linearity of the energy dispersion. Interference between states that respectively belong to two branches of the energy dispersion leads to multiple ripple-rings and the probability-density oscillation. In a magnetic field, annular wave packets become confined and no longer propagate to infinity. If the initial Gaussian width differs greatly from the magnetic length, expanding and shrinking ripple-rings form and disappear alternatively in a limited spread, and the wave packet resumes the Gaussian form frequently. The probability thus oscillates persistently between the central peak and the ripple-rings. If the initial Gaussian width is close to the magnetic length, the wave packet retains the Gaussian form and its height and width oscillate with a period determined by the first Landau energy. The wave-packet evolution is determined jointly by the initial state and the magnetic field, through the electronic structure of graphene in a magnetic field. △ Less

Submitted 12 August, 2011; originally announced August 2011.

Comments: 23 pages, 4 figures

Journal ref: J. Chem. Phys. 135, 224707 (2011)

On the Mass of CoRoT-7b

Authors: Artie P. Hatzes, Malcolm Fridlund, Gil Nachmani, Tsevi Mazeh, Diana Valencia, Guillaume Hebrard, Ludmila Carone, Martin Paetzold, Stephane Udry, Francois Bouchy, Pascal Borde, Hans Deeg, Brandon Tingley, Rudolf Dvorak, Davide Gandolfi, Sylvio Ferraz-Mello, Guenther Wuchterl, Eike Guenther, Heike Rauer, Anders Erikson, Juan Cabrera, Szilard Csizmadia, Alain Leger, Helmut Lammer, Joerg Weingrill , et al. (3 additional authors not shown)

Abstract: The mass of CoRoT-7b, the first transiting superearth exoplanet, is still a subject of debate. A wide range of masses have been reported in the literature ranging from as high as 8 M_Earth to as low as 2.3 M_Earth. Although most mass determinations give a density consistent with a rocky planet, the lower value permits a bulk composition that can be up to 50% water. We present an analysis of the Co… ▽ More The mass of CoRoT-7b, the first transiting superearth exoplanet, is still a subject of debate. A wide range of masses have been reported in the literature ranging from as high as 8 M_Earth to as low as 2.3 M_Earth. Although most mass determinations give a density consistent with a rocky planet, the lower value permits a bulk composition that can be up to 50% water. We present an analysis of the CoRoT-7b radial velocity measurements that uses very few and simple assumptions in treating the activity signal. By only analyzing those radial velocity data for which multiple measurements were made in a given night we remove the activity related radial velocity contribution without any a priori model. We demonstrate that the contribution of activity to the final radial velocity curve is negligible and that the K-amplitude due to the planet is well constrained. This yields a mass of 7.42 +/- 1.21 M_Earth and a mean density of rho = 10.4 +/- 1.8 gm cm^-3. CoRoT-7b is similar in mass and radius to the second rocky planet to be discovered, Kepler-10b, and within the errors they have identical bulk densities - they are virtual twins. These bulk densities lie close to the density - radius relationship for terrestrial planets similar to what is seen for Mercury. CoRoT-7b and Kepler-10b may have an internal structure more like Mercury than the Earth. △ Less

Submitted 17 May, 2011; originally announced May 2011.

Comments: Submitted to ApJ

Detection of a transit of the super-Earth 55 Cnc e with Warm Spitzer

Authors: B. -O. Demory, M. Gillon, D. Deming, D. Valencia, S. Seager, B. Benneke, C. Lovis, P. Cubillos, J. Harrington, K. B. Stevenson, M. Mayor, F. Pepe, D. Queloz, D. Segransan, S. Udry

Abstract: We report on the detection of a transit of the super-Earth 55 Cnc e with warm Spitzer in IRAC's 4.5-micron band. Our MCMC analysis includes an extensive modeling of the systematic effects affecting warm Spitzer photometry, and yields a transit depth of 410 +- 63 ppm, which translates to a planetary radius of 2.08 +- 0.16 R_Earth as measured in IRAC 4.5-micron channel. A planetary mass of 7.81 +- 0… ▽ More We report on the detection of a transit of the super-Earth 55 Cnc e with warm Spitzer in IRAC's 4.5-micron band. Our MCMC analysis includes an extensive modeling of the systematic effects affecting warm Spitzer photometry, and yields a transit depth of 410 +- 63 ppm, which translates to a planetary radius of 2.08 +- 0.16 R_Earth as measured in IRAC 4.5-micron channel. A planetary mass of 7.81 +- 0.58 M_Earth is derived from an extensive set of radial-velocity data, yielding a mean planetary density of 4.8 +- 1.3 g cm-3. Thanks to the brightness of its host star (V = 6, K = 4), 55 Cnc e is a unique target for the thorough characterization of a super-Earth orbiting around a solar-type star. △ Less

Submitted 5 September, 2011; v1 submitted 2 May, 2011; originally announced May 2011.

Comments: Accepted for publication in A&A on 31 July 2011. 9 pages, 7 figures and 3 tables. Minor changes. The revised version includes a baseline models comparison and a new figure presenting the spatially- and time-dependent terms of the model function used in Eq.2

High-Velocity Estimates and Inverse Scattering for Quantum N-Body Systems with Stark Effect

Authors: Gerardo Daniel Valencia, Ricardo Weder

Abstract: In an N-body quantum system with a constant electric field, by inverse scattering, we uniquely reconstruct pair potentials, belonging to the optimal class of short-range potentials and long-range potentials, from the high-velocity limit of the Dollard scattering operator. We give a reconstruction formula with an error term. In an N-body quantum system with a constant electric field, by inverse scattering, we uniquely reconstruct pair potentials, belonging to the optimal class of short-range potentials and long-range potentials, from the high-velocity limit of the Dollard scattering operator. We give a reconstruction formula with an error term. △ Less

Submitted 29 November, 2012; v1 submitted 31 March, 2011; originally announced March 2011.

Comments: In this published version we have added remarks and we have edited the paper

MSC Class: 81U40; 35P25; 35Q40; 35R30

Journal ref: J. Math. Phys. volumen 53 (2012)102105

The multiple planets transiting Kepler-9 I. Inferring stellar properties and planetary compositions

Authors: Mathieu Havel, Tristan Guillot, Diana Valencia, Aurélien Crida

Abstract: The discovery of multiple transiting planetary systems offers new possibilities for characterising exoplanets and understanding their formation. The Kepler-9 system contains two Saturn-mass planets, Kepler-9b and 9c. Using evolution models of gas giants that reproduce the sizes of known transiting planets and accounting for all sources of uncertainties, we show that Kepler-9b (respectively 9c) con… ▽ More The discovery of multiple transiting planetary systems offers new possibilities for characterising exoplanets and understanding their formation. The Kepler-9 system contains two Saturn-mass planets, Kepler-9b and 9c. Using evolution models of gas giants that reproduce the sizes of known transiting planets and accounting for all sources of uncertainties, we show that Kepler-9b (respectively 9c) contains $45^{+17}_{-12}$\,\mearth\ (resp. $31^{+13}_{-10}$\,\mearth) of hydrogen and helium and $35^{+10}_{-15}$\,\mearth (resp. $24^{+10}_{-12}$\,\mearth) of heavy elements. More accurate constraints are obtained when comparing planets 9b and 9c: the ratio of the total mass fractions of heavy elements are $Z_{\rm b}/Z_{\rm c}=1.02\pm 0.14$, indicating that, although the masses of the planets differ, their global composition is very similar, an unexpected result for formation models. Using evolution models for super-Earths, we find that Kepler-9d must contain less than 0.1% of its mass in hydrogen and helium and predict a mostly rocky structure with a total mass between 4 and 16\,\mearth. △ Less

Submitted 5 April, 2011; v1 submitted 30 March, 2011; originally announced March 2011.

Comments: 5 pages + 7 pages of online material ; revised article submitted to A\&A and accepted on March 30

Journal ref: Astronomy and Astrophysics (2011) Kepler-9 paper I

Composition of Transiting and Transiting-only super-Earths

Authors: Diana Valencia

Abstract: The relatively recent detections of the first three transiting super-Earths mark the beginning of a subfield within exoplanets that is both fruitful and challenging. The first step into characterizing these objects is to infer their composition given the degenerate character of the problem. The calculations show that Kepler-10b has a composition between an Earth-like and a Mercury-like (enriched i… ▽ More The relatively recent detections of the first three transiting super-Earths mark the beginning of a subfield within exoplanets that is both fruitful and challenging. The first step into characterizing these objects is to infer their composition given the degenerate character of the problem. The calculations show that Kepler-10b has a composition between an Earth-like and a Mercury-like (enriched in iron) composition. In contrast, GJ 1214b is too large to be solid, and has to have a volatile envelope. Lastly, while three of the four reported mass estimates of CoRoT-7b allow for a rocky composition, one forbids it and can only be reconciled with significant amounts of water vapor. In addition to these three transiting low-mass planets, there are now more than one thousand Kepler planets with only measured radius. Even without a mass measurement ("transiting-only") it is still possible to place constraints on the amount of volatile content of the highly-irradiated planets, as their envelopes, if present, are flared. Using Kepler-9d as an example, we estimate its water vapor, or hydrogen and helium content to be less than 50% or 0.1% by mass respectively. △ Less

Submitted 18 March, 2011; originally announced March 2011.

Comments: 8 pages, 4 figures. IAU 276 Proceedings

Journal ref: IAU 276 Proceedings: The Astrophysics of Planetary Systems: Formation, Structure, and Dynamical Evolution, 2011

Proceedings 17th International Workshop on Expressiveness in Concurrency

Authors: Sibylle Fröschle, Frank D. Valencia

Abstract: This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this also includes… ▽ More This volume contains the proceedings of the 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10), which took place on 30th August 2010 in Paris, co-located with CONCUR'10. The EXPRESS workshop series aim at bringing together researchers who are interested in the expressiveness and comparison of formal models that broadly relate to concurrency. In particular, this also includes emergent fields such as logic and interaction, game-theoretic models, and service-oriented computing. △ Less

Submitted 27 November, 2010; originally announced November 2010.

ACM Class: F.1.1; F.1.2; F.3.0; F.4.0

Journal ref: EPTCS 41, 2010