-
Towards an Innate Cell-Environment Nanothermometer
Authors:
Cristina Carrizo,
Gianluca D\' Agostino,
Graham Spicer,
Jaime Fernández de Córdoba,
Rubén Ahijado Guzmán,
Clara Maria Garcia-Abad,
Aitor Rivas,
Ruth Matesanz,
Ana Oña,
Sebastian A. Thompson
Abstract:
Based on the PubMed database, there are around 260 manuscripts describing nanothermometers. These research articles detail the synthesis, performance, and application of intracellular nanothermometers. This intracellular prevalence is due to the significant importance, complexity, and utility of the intracellular compartments for understanding cell metabolism and disease treatment. However, in rec…
▽ More
Based on the PubMed database, there are around 260 manuscripts describing nanothermometers. These research articles detail the synthesis, performance, and application of intracellular nanothermometers. This intracellular prevalence is due to the significant importance, complexity, and utility of the intracellular compartments for understanding cell metabolism and disease treatment. However, in recent years, the extracellular environment of the cell has emerged as a crucial factor in medicine, particularly in hyperthermia and immunotherapy. Despite this, we have not seen evidence in the literature describing the utilization or performance of a nanothermometer designed for extracellular temperature measurements. This oversight not only neglects the potential for measuring extracellular temperature but also fails to address the extracellular environment of the cell. Here, we introduce a nanothermometer designed specifically for measuring extracellular temperature by directly converting serum proteins into nanothermometers (either unmodified or labeled with the clinically approved dye Fluorescein). Additionally, leveraging the extracellular localization of these nanothermometers, we demonstrate (1) the enhancement of their temperature sensitivity by combining them with gold nanorods, and (2) their capability to generate damage and disrupt the plasma membrane, thus opening the door to their use as photodynamic therapy agents. We firmly believe that these advancements represent not only a broadening of the applications of nanothermometry but also a pioneering step in showcasing the ability of nanothermometers to induce cell death.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Generalist Multimodal AI: A Review of Architectures, Challenges and Opportunities
Authors:
Sai Munikoti,
Ian Stewart,
Sameera Horawalavithana,
Henry Kvinge,
Tegan Emerson,
Sandra E Thompson,
Karl Pazdernik
Abstract:
Multimodal models are expected to be a critical component to future advances in artificial intelligence. This field is starting to grow rapidly with a surge of new design elements motivated by the success of foundation models in natural language processing (NLP) and vision. It is widely hoped that further extending the foundation models to multiple modalities (e.g., text, image, video, sensor, tim…
▽ More
Multimodal models are expected to be a critical component to future advances in artificial intelligence. This field is starting to grow rapidly with a surge of new design elements motivated by the success of foundation models in natural language processing (NLP) and vision. It is widely hoped that further extending the foundation models to multiple modalities (e.g., text, image, video, sensor, time series, graph, etc.) will ultimately lead to generalist multimodal models, i.e. one model across different data modalities and tasks. However, there is little research that systematically analyzes recent multimodal models (particularly the ones that work beyond text and vision) with respect to the underling architecture proposed. Therefore, this work provides a fresh perspective on generalist multimodal models (GMMs) via a novel architecture and training configuration specific taxonomy. This includes factors such as Unifiability, Modularity, and Adaptability that are pertinent and essential to the wide adoption and application of GMMs. The review further highlights key challenges and prospects for the field and guide the researchers into the new advancements.
△ Less
Submitted 8 June, 2024;
originally announced June 2024.
-
Detection of an Earth-sized exoplanet orbiting the nearby ultracool dwarf star SPECULOOS-3
Authors:
Michaël Gillon,
Peter P. Pedersen,
Benjamin V. Rackham,
Georgina Dransfield,
Elsa Ducrot,
Khalid Barkaoui,
Artem Y. Burdanov,
Urs Schroffenegger,
Yilen Gómez Maqueo Chew,
Susan M. Lederer,
Roi Alonso,
Adam J. Burgasser,
Steve B. Howell,
Norio Narita,
Julien de Wit,
Brice-Olivier Demory,
Didier Queloz,
Amaury H. M. J. Triaud,
Laetitia Delrez,
Emmanuël Jehin,
Matthew J. Hooton,
Lionel J. Garcia,
Clàudia Jano Muñoz,
Catriona A. Murray,
Francisco J. Pozuelos
, et al. (59 additional authors not shown)
Abstract:
Located at the bottom of the main sequence, ultracool dwarf stars are widespread in the solar neighbourhood. Nevertheless, their extremely low luminosity has left their planetary population largely unexplored, and only one of them, TRAPPIST-1, has so far been found to host a transiting planetary system. In this context, we present the SPECULOOS project's detection of an Earth-sized planet in a 17…
▽ More
Located at the bottom of the main sequence, ultracool dwarf stars are widespread in the solar neighbourhood. Nevertheless, their extremely low luminosity has left their planetary population largely unexplored, and only one of them, TRAPPIST-1, has so far been found to host a transiting planetary system. In this context, we present the SPECULOOS project's detection of an Earth-sized planet in a 17 h orbit around an ultracool dwarf of M6.5 spectral type located 16.8 pc away. The planet's high irradiation (16 times that of Earth) combined with the infrared luminosity and Jupiter-like size of its host star make it one of the most promising rocky exoplanet targets for detailed emission spectroscopy characterization with JWST. Indeed, our sensitivity study shows that just ten secondary eclipse observations with the Mid-InfraRed Instrument/Low-Resolution Spectrometer on board JWST should provide strong constraints on its atmospheric composition and/or surface mineralogy.
△ Less
Submitted 2 June, 2024;
originally announced June 2024.
-
Quiver connections and bimodules of basic algebras
Authors:
Sean Thompson
Abstract:
Motivated by the problem of classifying quantum symmetries of non-semisimple, finite-dimensional associative algebras, we define a notion of connection between bounded quivers and build a bicategory of bounded quivers and quiver connections. We prove this bicategory is equivalent to a bicategory of basic algebras, bimodules, and intertwiners with some additional structure.
Motivated by the problem of classifying quantum symmetries of non-semisimple, finite-dimensional associative algebras, we define a notion of connection between bounded quivers and build a bicategory of bounded quivers and quiver connections. We prove this bicategory is equivalent to a bicategory of basic algebras, bimodules, and intertwiners with some additional structure.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
TOI-4336 A b: A temperate sub-Neptune ripe for atmospheric characterization in a nearby triple M-dwarf system
Authors:
M. Timmermans,
G. Dransfield,
M. Gillon,
A. H. M. J. Triaud,
B. V. Rackham,
C. Aganze,
K. Barkaoui,
C. Briceño,
A. J. Burgasser,
K. A. Collins,
M. Cointepas,
M. Dévora-Pajares,
E. Ducrot,
S. Zúñiga-Fernández,
S. B. Howell,
L. Kaltenegger,
C. A. Murray,
E. K. Pass,
S. N. Quinn,
S. N. Raymond,
D. Sebastian,
K. G. Stassun,
C. Ziegler,
J. M. Almenara,
Z. Benkhaldoun
, et al. (32 additional authors not shown)
Abstract:
Small planets transiting bright nearby stars are essential to our understanding of the formation and evolution of exoplanetary systems. However, few constitute prime targets for atmospheric characterization, and even fewer are part of multiple star systems. This work aims to validate TOI-4336 A b, a sub-Neptune-sized exoplanet candidate identified by the TESS space-based transit survey around a ne…
▽ More
Small planets transiting bright nearby stars are essential to our understanding of the formation and evolution of exoplanetary systems. However, few constitute prime targets for atmospheric characterization, and even fewer are part of multiple star systems. This work aims to validate TOI-4336 A b, a sub-Neptune-sized exoplanet candidate identified by the TESS space-based transit survey around a nearby M-dwarf. We validate the planetary nature of TOI-4336 A b through the global analysis of TESS and follow-up multi-band high-precision photometric data from ground-based telescopes, medium- and high-resolution spectroscopy of the host star, high-resolution speckle imaging, and archival images. The newly discovered exoplanet TOI-4336 A b has a radius of 2.1$\pm$0.1R$_{\oplus}$. Its host star is an M3.5-dwarf star of mass 0.33$\pm$0.01M$_{\odot}$ and radius 0.33$\pm$0.02R$_{\odot}$ member of a hierarchical triple M-dwarf system 22 pc away from the Sun. The planet's orbital period of 16.3 days places it at the inner edge of the Habitable Zone of its host star, the brightest of the inner binary pair. The parameters of the system make TOI-4336 A b an extremely promising target for the detailed atmospheric characterization of a temperate sub-Neptune by transit transmission spectroscopy with JWST.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
Asteroid (101955) Bennu in the Laboratory: Properties of the Sample Collected by OSIRIS-REx
Authors:
Dante S. Lauretta,
Harold C. Connolly, Jr.,
Joseph E. Aebersold,
Conel M. O. D. Alexander,
Ronald-L. Ballouz,
Jessica J. Barnes,
Helena C. Bates,
Carina A. Bennett,
Laurinne Blanche,
Erika H. Blumenfeld,
Simon J. Clemett,
George D. Cody,
Daniella N. DellaGiustina,
Jason P. Dworkin,
Scott A. Eckley,
Dionysis I. Foustoukos,
Ian A. Franchi,
Daniel P. Glavin,
Richard C. Greenwood,
Pierre Haenecour,
Victoria E. Hamilton,
Dolores H. Hill,
Takahiro Hiroi,
Kana Ishimaru,
Fred Jourdan
, et al. (28 additional authors not shown)
Abstract:
On 24 September 2023, the NASA OSIRIS-REx mission dropped a capsule to Earth containing approximately 120 g of pristine carbonaceous regolith from Bennu. We describe the delivery and initial allocation of this asteroid sample and introduce its bulk physical, chemical, and mineralogical properties from early analyses. The regolith is very dark overall, with higher-reflectance inclusions and particl…
▽ More
On 24 September 2023, the NASA OSIRIS-REx mission dropped a capsule to Earth containing approximately 120 g of pristine carbonaceous regolith from Bennu. We describe the delivery and initial allocation of this asteroid sample and introduce its bulk physical, chemical, and mineralogical properties from early analyses. The regolith is very dark overall, with higher-reflectance inclusions and particles interspersed. Particle sizes range from sub-micron dust to a stone about 3.5 cm long. Millimeter-scale and larger stones typically have hummocky or angular morphologies. A subset of the stones appears mottled by brighter material that occurs as veins and crusts. Hummocky stones have the lowest densities and mottled stones have the highest. Remote sensing of the surface of Bennu detected hydrated phyllosilicates, magnetite, organic compounds, carbonates, and scarce anhydrous silicates, all of which the sample confirms. We also find sulfides, presolar grains, and, less expectedly, Na-rich phosphates, as well as other trace phases. The sample composition and mineralogy indicate substantial aqueous alteration and resemble those of Ryugu and the most chemically primitive, low-petrologic-type carbonaceous chondrites. Nevertheless, we find distinct hydrogen, nitrogen, and oxygen isotopic compositions, and some of the material we analyzed is enriched in fluid-mobile elements. Our findings underscore the value of sample return, especially for low-density material that may not readily survive atmospheric entry, and lay the groundwork for more comprehensive analyses.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Improved methodology for longitudinal Web analytics using Common Crawl
Authors:
Henry S. Thompson
Abstract:
Common Crawl is a multi-petabyte longitudinal dataset containing over 100 billion web pages which is widely used as a source of language data for sequence model training and in web science research. Each of its constituent archives is on the order of 75TB in size. Using it for research, particularly longitudinal studies, which necessarily involve multiple archives, is therefore very expensive in t…
▽ More
Common Crawl is a multi-petabyte longitudinal dataset containing over 100 billion web pages which is widely used as a source of language data for sequence model training and in web science research. Each of its constituent archives is on the order of 75TB in size. Using it for research, particularly longitudinal studies, which necessarily involve multiple archives, is therefore very expensive in terms of compute time and storage space and/or web bandwidth. Two new methods for mitigating this problem are presented here, based on exploiting and extending the much smaller (<200 gigabytes (GB) compressed) _index_ which is available for each archive. By adding Last-Modified timestamps to the index we enable longitudinal exploration using only a single archive. By comparing the distribution of index features for each of the 100 segments into which archive is divided with their distribution over the whole archive, we have identified the least and most representative segments for a number of recent archives. Using this allows the segment(s) that are most representative of an archive to be used as proxies for the whole. We illustrate this approach in an analysis of changes in URI length over time, leading to an unanticipated insight into the how the creation of Web pages has changed over time.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Towards Goal-Oriented Agents for Evolving Problems Observed via Conversation
Authors:
Michael Free,
Andrew Langworthy,
Mary Dimitropoulaki,
Simon Thompson
Abstract:
The objective of this work is to train a chatbot capable of solving evolving problems through conversing with a user about a problem the chatbot cannot directly observe. The system consists of a virtual problem (in this case a simple game), a simulated user capable of answering natural language questions that can observe and perform actions on the problem, and a Deep Q-Network (DQN)-based chatbot…
▽ More
The objective of this work is to train a chatbot capable of solving evolving problems through conversing with a user about a problem the chatbot cannot directly observe. The system consists of a virtual problem (in this case a simple game), a simulated user capable of answering natural language questions that can observe and perform actions on the problem, and a Deep Q-Network (DQN)-based chatbot architecture. The chatbot is trained with the goal of solving the problem through dialogue with the simulated user using reinforcement learning. The contributions of this paper are as follows: a proposed architecture to apply a conversational DQN-based agent to evolving problems, an exploration of training methods such as curriculum learning on model performance and the effect of modified reward functions in the case of increasing environment complexity.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
The magnetically quiet solar surface dominates HARPS-N solar RVs during low activity
Authors:
Ben S. Lakeland,
Tim Naylor,
Raphaëlle Haywood,
Nadège Meunier,
Federica Rescigno,
Shweta Dalal,
Annelies Mortier,
Samantha J. Thompson,
Andrew Collier Cameron,
Xavier Dumusque,
Mercedes López-Morales,
Francesco Pepe,
Ken Rice,
Alessandro Sozzetti,
Stéphane Udry,
Eric Ford,
Adriano Ghedina,
Marcello Lodi
Abstract:
Using images from the Helioseismic and Magnetic Imager aboard the \textit{Solar Dynamics Observatory} (SDO/HMI), we extract the radial-velocity (RV) signal arising from the suppression of convective blue-shift and from bright faculae and dark sunspots transiting the rotating solar disc. We remove these rotationally modulated magnetic-activity contributions from simultaneous radial velocities obser…
▽ More
Using images from the Helioseismic and Magnetic Imager aboard the \textit{Solar Dynamics Observatory} (SDO/HMI), we extract the radial-velocity (RV) signal arising from the suppression of convective blue-shift and from bright faculae and dark sunspots transiting the rotating solar disc. We remove these rotationally modulated magnetic-activity contributions from simultaneous radial velocities observed by the HARPS-N solar feed to produce a radial-velocity time series arising from the magnetically quiet solar surface (the 'inactive-region radial velocities'). We find that the level of variability in the inactive-region radial velocities remains constant over the almost 7 year baseline and shows no correlation with well-known activity indicators. With an RMS of roughly 1 m/s, the inactive-region radial-velocity time series dominates the total RV variability budget during the decline of solar cycle 24. Finally, we compare the variability amplitude and timescale of the inactive-region radial velocities with simulations of supergranulation. We find consistency between the inactive-region radial-velocity and simulated time series, indicating that supergranulation is a significant contribution to the overall solar radial velocity variability, and may be the main source of variability towards solar minimum. This work highlights supergranulation as a key barrier to detecting Earth twins.
△ Less
Submitted 27 November, 2023;
originally announced November 2023.
-
A Formalisation of Core Erlang, a Concurrent Actor Language
Authors:
Péter Bereczky,
Dániel Horpácsi,
Simon Thompson
Abstract:
In order to reason about the behaviour of programs described in a programming language, a mathematically rigorous definition of that language is needed. In this paper, we present a machine-checked formalisation of concurrent Core Erlang (a subset of Erlang) based on our previous formalisations of its sequential sublanguage. We define a modular, frame stack semantics, show how program evaluation is…
▽ More
In order to reason about the behaviour of programs described in a programming language, a mathematically rigorous definition of that language is needed. In this paper, we present a machine-checked formalisation of concurrent Core Erlang (a subset of Erlang) based on our previous formalisations of its sequential sublanguage. We define a modular, frame stack semantics, show how program evaluation is carried out with it, and prove a number of properties (e.g. determinism, confluence). Finally, we define program equivalence based on bisimulations and prove that side-effect-free evaluation is a bisimulation. This research is part of a wider project that aims to verify refactorings to prove that particular program code transformations preserve program behaviour.
△ Less
Submitted 17 November, 2023;
originally announced November 2023.
-
Continuous variable quantum computation of the $O(3)$ model in 1+1 dimensions
Authors:
Raghav G. Jha,
Felix Ringer,
George Siopsis,
Shane Thompson
Abstract:
We formulate the $O(3)$ non-linear sigma model in 1+1 dimensions as a limit of a three-component scalar field theory restricted to the unit sphere in the large squeezing limit. This allows us to describe the model in terms of the continuous variable (CV) approach to quantum computing. We construct the ground state and excited states using the coupled-cluster Ansatz and find excellent agreement wit…
▽ More
We formulate the $O(3)$ non-linear sigma model in 1+1 dimensions as a limit of a three-component scalar field theory restricted to the unit sphere in the large squeezing limit. This allows us to describe the model in terms of the continuous variable (CV) approach to quantum computing. We construct the ground state and excited states using the coupled-cluster Ansatz and find excellent agreement with the exact diagonalization results for a small number of lattice sites. We then present the simulation protocol for the time evolution of the model using CV gates and obtain numerical results using a photonic quantum simulator. We expect that the methods developed in this work will be useful for exploring interesting dynamics for a wide class of sigma models and gauge theories, as well as for simulating scattering events on quantum hardware in the coming decades.
△ Less
Submitted 14 May, 2024; v1 submitted 19 October, 2023;
originally announced October 2023.
-
A Frame Stack Semantics for Sequential Core Erlang
Authors:
Péter Bereczky,
Dániel Horpácsi,
Simon Thompson
Abstract:
We present a small-step, frame stack style, semantics for sequential Core Erlang, a dynamically typed, impure functional programming language. The semantics and the properties that we prove are machine-checked with the Coq proof assistant. We improve on previous work by including exceptions and exception handling, as well as built-in data types and functions. Based on the semantics, we define mult…
▽ More
We present a small-step, frame stack style, semantics for sequential Core Erlang, a dynamically typed, impure functional programming language. The semantics and the properties that we prove are machine-checked with the Coq proof assistant. We improve on previous work by including exceptions and exception handling, as well as built-in data types and functions. Based on the semantics, we define multiple concepts of program equivalence (contextual, CIU equivalence, and equivalence based on logical relations) and prove that the definitions are all equivalent. Using this we are able to give a correctness criterion for refactorings by means of contextually equivalent symbolic expression pairs, which is one of the main motivations of this work.
△ Less
Submitted 23 August, 2023;
originally announced August 2023.
-
Toward quantum computations of the $O(3)$ model using qumodes
Authors:
Raghav G. Jha,
Felix Ringer,
George Siopsis,
Shane Thompson
Abstract:
We express the discrete 1+1-dimensional $O(3)$ non-linear sigma model (NL$σ$M) in a form well-suited for the continuous variable approach to quantum computing. Within the Schwinger boson formulation, we need two qumodes (quantum-mechanical oscillators) at each lattice site. We envision that it might be possible to reach the scaling regime of this model and observe asymptotic freedom on near-term p…
▽ More
We express the discrete 1+1-dimensional $O(3)$ non-linear sigma model (NL$σ$M) in a form well-suited for the continuous variable approach to quantum computing. Within the Schwinger boson formulation, we need two qumodes (quantum-mechanical oscillators) at each lattice site. We envision that it might be possible to reach the scaling regime of this model and observe asymptotic freedom on near-term photonic quantum devices in the coming decade.
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
An M dwarf accompanied by a close-in giant orbiter with SPECULOOS
Authors:
Amaury H. M. J. Triaud,
Georgina Dransfield,
Taiki Kagetani,
Mathilde Timmermans,
Norio Narita,
Khalid Barkaoui,
Teruyuki Hirano,
Benjamin V. Rackham,
Mayuko Mori,
Thomas Baycroft,
Zouhair Benkhaldoun,
Adam J. Burgasser,
Douglas A. Caldwell,
Karen A. Collins,
Yasmin T. Davis,
Laetitia Delrez,
Brice-Oliver Demory,
Elsa Ducrot,
Akihiko Fukui,
Clàudia Jano Muñoz,
Emmanuël Jehin,
Lionel J. García,
Mourad Ghachoui,
Michaël Gillon,
Yilen Gómez Maqueo Chew
, et al. (18 additional authors not shown)
Abstract:
In the last decade, a dozen close-in giant planets have been discovered orbiting stars with spectral types ranging from M0 to M4, a mystery since known formation pathways do not predict the existence of such systems. Here, we confirm TOI-4860 b, a Jupiter-sized planet orbiting an M4.5 host, a star at the transition between fully and partially convective interiors. First identified with TESS data,…
▽ More
In the last decade, a dozen close-in giant planets have been discovered orbiting stars with spectral types ranging from M0 to M4, a mystery since known formation pathways do not predict the existence of such systems. Here, we confirm TOI-4860 b, a Jupiter-sized planet orbiting an M4.5 host, a star at the transition between fully and partially convective interiors. First identified with TESS data, we validate the transiting companion's planetary nature through multicolour photometry from the TRAPPIST-South/North, SPECULOOS, and MuSCAT3 facilities. Our analysis yields a radius of $0.76 \pm 0.02~ \rm R_{Jup}$ for the planet, a mass of $0.34~\rm M_\odot$ for the star, and an orbital period of 1.52 d. Using the newly commissioned SPIRIT InGaAs camera at the SPECULOOS-South Observatory, we collect infrared photometry in zYJ that spans the time of secondary eclipse. These observations do not detect a secondary eclipse, placing an upper limit on the brightness of the companion. The planetary nature of the companion is further confirmed through high-resolution spectroscopy obtained with the IRD spectrograph at Subaru Telescope, from which we measure a mass of $0.67 \pm 0.14~\rm M_{Jup}$ . Based on its overall density, TOI-4860 b appears to be rich in heavy elements, like its host star.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
Generalized Core Spanner Inexpressibility via Ehrenfeucht-Fraïssé Games for FC
Authors:
Sam M. Thompson,
Dominik D. Freydenberger
Abstract:
Despite considerable research on document spanners, little is known about the expressive power of generalized core spanners. In this paper, we use Ehrenfeucht-Fraïssé games to obtain general inexpressibility lemmas for the logic FC (a finite-model variant of the theory of concatenation). Applying these lemmas give inexpressibility results for FC that we lift to generalized core spanners. In partic…
▽ More
Despite considerable research on document spanners, little is known about the expressive power of generalized core spanners. In this paper, we use Ehrenfeucht-Fraïssé games to obtain general inexpressibility lemmas for the logic FC (a finite-model variant of the theory of concatenation). Applying these lemmas give inexpressibility results for FC that we lift to generalized core spanners. In particular, we give several relations that cannot be selected by generalized core spanners, thus demonstrating the effectiveness of the inexpressibility lemmas. As an immediate consequence, we also gain new insights into the expressive power of core spanners.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
TOI-2084 b and TOI-4184 b: two new sub-Neptunes around M dwarf stars
Authors:
K. Barkaoui,
M. Timmermans,
A. Soubkiou,
B. V. Rackham,
A. J. Burgasser,
J. Chouqar,
F. J. Pozuelos,
K. A. Collins,
S. B. Howell,
R. Simcoe,
C. Melis,
K. G. Stassun,
J. Tregloan-Reed,
M. Cointepas,
M. Gillon,
X. Bonfils,
E. Furlan,
C. L. Gnilka,
J. M. Almenara,
R. Alonso,
Z. Benkhaldoun,
M. Bonavita,
F. Bouchy,
A. Burdanov,
P. Chinchilla
, et al. (45 additional authors not shown)
Abstract:
We present the discovery and validation of two TESS exoplanets orbiting nearby M dwarfs: TOI-2084b, and TOI-4184b. We characterized the host stars by combining spectra from Shane/Kast and Magellan/FIRE, SED (Spectral Energy Distribution) analysis, and stellar evolutionary models. In addition, we used Gemini-South/Zorro & -North/Alopeke high-resolution imaging, archival science images, and statisti…
▽ More
We present the discovery and validation of two TESS exoplanets orbiting nearby M dwarfs: TOI-2084b, and TOI-4184b. We characterized the host stars by combining spectra from Shane/Kast and Magellan/FIRE, SED (Spectral Energy Distribution) analysis, and stellar evolutionary models. In addition, we used Gemini-South/Zorro & -North/Alopeke high-resolution imaging, archival science images, and statistical validation packages to support the planetary interpretation. We performed a global analysis of multi-colour photometric data from TESS and ground-based facilities in order to derive the stellar and planetary physical parameters for each system. We find that TOI-2084b and TOI-4184b are sub-Neptune-sized planets with radii of Rp = 2.47 +/- 0.13R_Earth and Rp = 2.43 +/- 0.21R_Earth, respectively. TOI-2084b completes an orbit around its host star every 6.08 days, has an equilibrium temperature of T_eq = 527 +/- 8K and an irradiation of S_p = 12.8 +/- 0.8 S_Earth. Its host star is a dwarf of spectral M2.0 +/- 0.5 at a distance of 114pc with an effective temperature of T_eff = 3550 +/- 50 K, and has a wide, co-moving M8 companion at a projected separation of 1400 au. TOI-4184b orbits around an M5.0 +/- 0.5 type dwarf star (Kmag = 11.87) each 4.9 days, and has an equilibrium temperature of T_eq = 412 +/- 8 K and an irradiation of S_p = 4.8 +/- 0.4 S_Earth. TOI-4184 is a metal poor star ([Fe/H] = -0.27 +/- 0.09 dex) at a distance of 69 pc with an effective temperature of T_eff = 3225 +/- 75 K. Both planets are located at the edge of the sub-Jovian desert in the radius-period plane. The combination of the small size and the large infrared brightness of their host stars make these new planets promising targets for future atmospheric exploration with JWST.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Continuous Ultraviolet to Blue-Green Astrocomb
Authors:
Yuk Shan Cheng,
Kamalesh Dadi,
Toby Mitchell,
Samantha Thompson,
Nikolai Piskunov,
Lewis D. Wright,
Corin B. E. Gawith,
Richard A. McCracken,
Derryck T. Reid
Abstract:
The characterization of Earth-like exoplanets and precision tests of cosmological models using next-generation telescopes such as the ELT will demand precise calibration of astrophysical spectrographs in the visible region, where stellar absorption lines are most abundant. Astrocombs--lasers providing a broadband sequence of ultra-narrow, drift-free, regularly spaced optical frequencies on a multi…
▽ More
The characterization of Earth-like exoplanets and precision tests of cosmological models using next-generation telescopes such as the ELT will demand precise calibration of astrophysical spectrographs in the visible region, where stellar absorption lines are most abundant. Astrocombs--lasers providing a broadband sequence of ultra-narrow, drift-free, regularly spaced optical frequencies on a multi-GHz grid--promise an atomically-traceable, versatile calibration scale, but their realization is challenging because of the need for ultra-broadband frequency conversion of mode-locked infrared lasers into the blue-green region. Here, we introduce a new concept achieving a broad, continuous spectrum by combining second-harmonic generation and sum-frequency-mixing in an aperiodically-poled MgO:PPLN waveguide to generate gap-free 390-520 nm light from a 1 GHz Ti:sapphire laser frequency comb. We lock a low-dispersion Fabry-Perot etalon to extract a sub-comb of bandwidth from 392-472 nm with a spacing of 30 GHz, visualizing the thousands of resulting comb modes on a high resolution cross-dispersion spectrograph. Complementary experimental data and simulations demonstrate the effectiveness of the approach for eliminating the spectral gaps present in second-harmonic-only conversion, in which weaker fundamental frequencies are suppressed by the quadratic \{chi}^((2)) nonlinearity. Requiring only ~100 pJ pulse energies, our concept establishes a practical new route to broadband UV-visible generation at GHz repetition rates.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
One-shot Imitation Learning via Interaction War**
Authors:
Ondrej Biza,
Skye Thompson,
Kishore Reddy Pagidi,
Abhinav Kumar,
Elise van der Pol,
Robin Walters,
Thomas Kipf,
Jan-Willem van de Meent,
Lawson L. S. Wong,
Robert Platt
Abstract:
Imitation learning of robot policies from few demonstrations is crucial in open-ended applications. We propose a new method, Interaction War**, for learning SE(3) robotic manipulation policies from a single demonstration. We infer the 3D mesh of each object in the environment using shape war**, a technique for aligning point clouds across object instances. Then, we represent manipulation actio…
▽ More
Imitation learning of robot policies from few demonstrations is crucial in open-ended applications. We propose a new method, Interaction War**, for learning SE(3) robotic manipulation policies from a single demonstration. We infer the 3D mesh of each object in the environment using shape war**, a technique for aligning point clouds across object instances. Then, we represent manipulation actions as keypoints on objects, which can be warped with the shape of the object. We show successful one-shot imitation learning on three simulated and real-world object re-arrangement tasks. We also demonstrate the ability of our method to predict object meshes and robot grasps in the wild.
△ Less
Submitted 4 November, 2023; v1 submitted 21 June, 2023;
originally announced June 2023.
-
A super-Earth and a mini-Neptune near the 2:1 MMR straddling the radius valley around the nearby mid-M dwarf TOI-2096
Authors:
F. J. Pozuelos,
M. Timmermans,
B. V. Rackham,
L. J. Garcia,
A. J. Burgasser,
S. R. Kane,
M. N. Günther,
K. G. Stassun,
V. Van Grootel,
M. Dévora-Pajares,
R. Luque,
B. Edwards,
P. Niraula,
N. Schanche,
R. D. Wells,
E. Ducrot,
S. Howell,
D. Sebastian,
K. Barkaoui,
W. Waalkes,
C. Cadieux,
R. Doyon,
R. P. Boyle,
J. Dietrich,
A. Burdanov
, et al. (50 additional authors not shown)
Abstract:
Several planetary formation models have been proposed to explain the observed abundance and variety of compositions of super-Earths and mini-Neptunes. In this context, multitransiting systems orbiting low-mass stars whose planets are close to the radius valley are benchmark systems, which help to elucidate which formation model dominates. We report the discovery, validation, and initial characteri…
▽ More
Several planetary formation models have been proposed to explain the observed abundance and variety of compositions of super-Earths and mini-Neptunes. In this context, multitransiting systems orbiting low-mass stars whose planets are close to the radius valley are benchmark systems, which help to elucidate which formation model dominates. We report the discovery, validation, and initial characterization of one such system, TOI-2096, composed of a super-Earth and a mini-Neptune hosted by a mid-type M dwarf located 48 pc away. We first characterized the host star by combining different methods. Then, we derived the planetary properties by modeling the photometric data from TESS and ground-based facilities. We used archival data, high-resolution imaging, and statistical validation to support our planetary interpretation. We found that TOI-2096 corresponds to a dwarf star of spectral type M4. It harbors a super-Earth (R$\sim1.2 R_{\oplus}$) and a mini-Neptune (R$\sim1.90 R_{\oplus}$) in likely slightly eccentric orbits with orbital periods of 3.12 d and 6.39 d, respectively. These orbital periods are close to the first-order 2:1 mean-motion resonance (MMR), which may lead to measurable transit timing variations (TTVs). We computed the expected TTVs amplitude for each planet and found that they might be measurable with high-precision photometry delivering mid-transit times with accuracies of $\lesssim$2 min. Moreover, measuring the planetary masses via radial velocities (RVs) is also possible. Lastly, we found that these planets are among the best in their class to conduct atmospheric studies using the James Webb Space Telescope (JWST). The properties of this system make it a suitable candidate for further studies, particularly for mass determination using RVs and/or TTVs, decreasing the scarcity of systems that can be used to test planetary formation models around low-mass stars.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Quantum Computation of Phase Transition in Interacting Scalar Quantum Field Theory
Authors:
Shane Thompson,
George Siopsis
Abstract:
It has been demonstrated that the critical point of the phase transition in scalar quantum field theory with a quartic interaction in one space dimension can be approximated via a Gaussian Effective Potential (GEP). We discuss how this critical point can be estimated using quantum hardware. We perform quantum computations with various lattice sizes and obtain evidence of a transition from a symmet…
▽ More
It has been demonstrated that the critical point of the phase transition in scalar quantum field theory with a quartic interaction in one space dimension can be approximated via a Gaussian Effective Potential (GEP). We discuss how this critical point can be estimated using quantum hardware. We perform quantum computations with various lattice sizes and obtain evidence of a transition from a symmetric to a symmetry-broken phase. We use both discrete- and continuous-variable quantum computation. We implement the ten-site case on IBM quantum hardware using the Variational Quantum Eigensolver (VQE) algorithm to minimize the GEP and identify lattice level-crossings. These are extrapolated via simulations to find the continuum critical point.
△ Less
Submitted 4 March, 2023;
originally announced March 2023.
-
On the Road to 6G: Visions, Requirements, Key Technologies and Testbeds
Authors:
Cheng-Xiang Wang,
Xiaohu You,
Xiqi Gao,
Xiuming Zhu,
Zixin Li,
Chuan Zhang,
Haiming Wang,
Yongming Huang,
Yunfei Chen,
Harald Haas,
John S. Thompson,
Erik G. Larsson,
Marco Di Renzo,
Wen Tong,
Peiying Zhu,
Xuemin,
Shen,
H. Vincent Poor,
Lajos Hanzo
Abstract:
Fifth generation (5G) mobile communication systems have entered the stage of commercial development, providing users with new services and improved user experiences as well as offering a host of novel opportunities to various industries. However, 5G still faces many challenges. To address these challenges, international industrial, academic, and standards organizations have commenced research on s…
▽ More
Fifth generation (5G) mobile communication systems have entered the stage of commercial development, providing users with new services and improved user experiences as well as offering a host of novel opportunities to various industries. However, 5G still faces many challenges. To address these challenges, international industrial, academic, and standards organizations have commenced research on sixth generation (6G) wireless communication systems. A series of white papers and survey papers have been published, which aim to define 6G in terms of requirements, application scenarios, key technologies, etc. Although ITU-R has been working on the 6G vision and it is expected to reach a consensus on what 6G will be by mid-2023, the related global discussions are still wide open and the existing literature has identified numerous open issues. This paper first provides a comprehensive portrayal of the 6G vision, technical requirements, and application scenarios, covering the current common understanding of 6G. Then, a critical appraisal of the 6G network architecture and key technologies is presented. Furthermore, existing testbeds and advanced 6G verification platforms are detailed for the first time. In addition, future research directions and open challenges are identified for stimulating the on-going global debate. Finally, lessons learned to date concerning 6G networks are discussed.
△ Less
Submitted 28 February, 2023;
originally announced February 2023.
-
Shutter, the Robot Photographer: Leveraging Behavior Trees for Public, In-the-Wild Human-Robot Interactions
Authors:
Alexander Lew,
Sydney Thompson,
Nathan Tsoi,
Marynel Vázquez
Abstract:
Deploying interactive systems in-the-wild requires adaptability to situations not encountered in lab environments. Our work details our experience about the impact of architecture choice on behavior reusability and reactivity while deploying a public interactive system. In particular, we introduce Shutter, a robot photographer and a platform for public interaction. In designing Shutter's architect…
▽ More
Deploying interactive systems in-the-wild requires adaptability to situations not encountered in lab environments. Our work details our experience about the impact of architecture choice on behavior reusability and reactivity while deploying a public interactive system. In particular, we introduce Shutter, a robot photographer and a platform for public interaction. In designing Shutter's architecture, we focused on adaptability for in-the-wild deployment, while develo** a reusable platform to facilitate future research in public human-robot interaction. We find that behavior trees allow reactivity, especially in group settings, and encourage designing reusable behaviors.
△ Less
Submitted 31 January, 2023;
originally announced February 2023.
-
Red Emission from Copper-Vacancy Color Centers in Zinc Sulfide Colloidal Nanocrystals
Authors:
Sarah M. Thompson,
Cüneyt Şahin,
Shengsong Yang,
Michael E. Flatté,
Christopher B. Murray,
Lee C. Bassett,
Cherie R. Kagan
Abstract:
Copper-doped zinc sulfide (ZnS:Cu) exhibits down-conversion luminescence in the UV, visible, and IR regions of the electromagnetic spectrum; the visible red, green, and blue emission is referred to as R-Cu, G-Cu, and B-Cu, respectively. The sub-bandgap emission arises from optical transitions between localized electronic states created by point defects, making ZnS:Cu a prolific phosphor material a…
▽ More
Copper-doped zinc sulfide (ZnS:Cu) exhibits down-conversion luminescence in the UV, visible, and IR regions of the electromagnetic spectrum; the visible red, green, and blue emission is referred to as R-Cu, G-Cu, and B-Cu, respectively. The sub-bandgap emission arises from optical transitions between localized electronic states created by point defects, making ZnS:Cu a prolific phosphor material and an intriguing candidate material for quantum information science, where point defects excel as single-photon sources and spin qubits. Colloidal nanocrystals (NCs) of ZnS:Cu are particularly interesting as hosts for the creation, isolation, and measurement of quantum defects, since their size, composition, and surface chemistry can be precisely tailored for bio-sensing and opto-electronic applications. Here, we present a method for synthesizing colloidal ZnS:Cu NCs that emit primarily R-Cu, which has been proposed to arise from the Cu$_{Zn}$-V$_S$ complex, an impurity-vacancy point defect structure analogous to well-known quantum defects in other materials that produce favorable optical and spin dynamics. First principles calculations confirm the thermodynamic stability and electronic structure of Cu$_{Zn}$-V$_S$. Temperature- and time-dependent optical properties of ZnS:Cu NCs show blueshifting luminescence and an anomalous plateau in the intensity dependence as temperature is increased from 19 K to 290 K, for which we propose an empirical dynamical model based on thermally-activated coupling between two manifolds of states inside the ZnS bandgap. Understanding of R-Cu emission dynamics, combined with a controlled synthesis method for obtaining R-Cu centers in colloidal NC hosts, will greatly facilitate the development of Cu$_{Zn}$-V$_S$ and related complexes as quantum point defects in ZnS.
△ Less
Submitted 1 March, 2023; v1 submitted 10 January, 2023;
originally announced January 2023.
-
Refactoring = Substitution + Rewriting
Authors:
Simon Thompson,
Dániel Horpácsi
Abstract:
We present an approach to describing refactorings that abstracts away from particular refactorings to classes of similar transformations, and presents an implementation of these that works by substitution and subsequent rewriting. Substitution is language-independent under this approach, while the rewrites embody language-specific aspects. Intriguingly, it also goes back to work on API migration b…
▽ More
We present an approach to describing refactorings that abstracts away from particular refactorings to classes of similar transformations, and presents an implementation of these that works by substitution and subsequent rewriting. Substitution is language-independent under this approach, while the rewrites embody language-specific aspects. Intriguingly, it also goes back to work on API migration by Huiqing Li and the first author, and sets refactoring in that general context.
△ Less
Submitted 3 February, 2023; v1 submitted 21 November, 2022;
originally announced November 2022.
-
Fuzzy Substring Matching: On-device Fuzzy Friend Search at Snapchat
Authors:
Vasyl Pihur,
Scott Thompson
Abstract:
About 50% of all queries on Snapchat app are targeted at finding the right friend to interact with. Since everyone has a unique list of friends and that list is not very large (maximum a few thousand), it makes sense to perform this search locally, on users' devices. In addition, the friend list is already available for other purposes, such as showing the chat feed, and the latency savings can be…
▽ More
About 50% of all queries on Snapchat app are targeted at finding the right friend to interact with. Since everyone has a unique list of friends and that list is not very large (maximum a few thousand), it makes sense to perform this search locally, on users' devices. In addition, the friend list is already available for other purposes, such as showing the chat feed, and the latency savings can be significant by avoiding a server round-trip call. Historically, we resorted to substring matching, ranking prefix matches at the top of the result list. Introducing the ability to perform fuzzy search on a resource-constrained device and in the environment where typo's are prevalent is both prudent and challenging. In this paper, we describe our efficient and accurate two-step approach to fuzzy search, characterized by a skip-bigram retrieval layer and a novel local Levenshtein distance computation used for final ranking.
△ Less
Submitted 8 November, 2022; v1 submitted 4 November, 2022;
originally announced November 2022.
-
Precise near-infrared photometry, accounting for precipitable water vapour at SPECULOOS Southern Observatory
Authors:
Peter P. Pedersen,
C. A. Murray,
D. Queloz,
M. Gillon,
B. O. Demory,
A. H. M. J. Triaud,
J. de Wit,
L. Delrez,
G. Dransfield,
E. Ducrot,
L. J. Garcia,
Y. Gómez Maqueo Chew,
M. N. Günther,
E. Jehin,
J. McCormac,
P. Niraula,
F. J. Pozuelos,
B. V. Rackham,
N. Schanche,
D. Sebastian,
S. J. Thompson,
M. Timmermans,
R. Wells
Abstract:
The variability induced by precipitable water vapour (PWV) can heavily affect the accuracy of time-series photometric measurements gathered from the ground, especially in the near-infrared. We present here a novel method of modelling and mitigating this variability, as well as open-sourcing the developed tool -- Umbrella. In this study, we evaluate the extent to which the photometry in three commo…
▽ More
The variability induced by precipitable water vapour (PWV) can heavily affect the accuracy of time-series photometric measurements gathered from the ground, especially in the near-infrared. We present here a novel method of modelling and mitigating this variability, as well as open-sourcing the developed tool -- Umbrella. In this study, we evaluate the extent to which the photometry in three common bandpasses (r', i', z'), and SPECULOOS' primary bandpass (I+z'), are photometrically affected by PWV variability. In this selection of bandpasses, the I+z' bandpass was found to be most sensitive to PWV variability, followed by z', i', and r'. The correction was evaluated on global light curves of nearby late M- and L-type stars observed by SPECULOOS' Southern Observatory (SSO) with the I+z' bandpass, using PWV measurements from the LHATPRO and local temperature/humidity sensors. A median reduction in RMS of 1.1% was observed for variability shorter than the expected transit duration for SSO's targets. On timescales longer than the expected transit duration, where long-term variability may be induced, a median reduction in RMS of 53.8% was observed for the same method of correction.
△ Less
Submitted 31 October, 2022;
originally announced November 2022.
-
A model of actors and grey failures
Authors:
Laura Bocchi,
Julien Lange,
Simon Thompson,
A. Laura Voinea
Abstract:
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey failures: failures that are latent, possibly transient, and may affect the system in subtle ways that later lead to major issues (such as crashes, limited avai…
▽ More
Existing models for the analysis of concurrent processes tend to focus on fail-stop failures, where processes are either working or permanently stopped, and their state (working/stopped) is known. In fact, systems are often affected by grey failures: failures that are latent, possibly transient, and may affect the system in subtle ways that later lead to major issues (such as crashes, limited availability, overload). We introduce a model of actor-based systems with grey failures, based on two interlinked layers: an actor model, given as an asynchronous process calculus with discrete time, and a failure model that represents failure patterns to inject in the system. Our failure model captures not only fail-stop node and link failures, but also grey failures (e.g., partial, transient). We give a behavioural equivalence relation based on weak barbed bisimulation to compare systems on the basis of their ability to recover from failures, and on this basis we define some desirable properties of reliable systems. By doing so, we reduce the problem of checking reliability properties of systems to the problem of checking bisimulation.
△ Less
Submitted 21 November, 2023; v1 submitted 31 October, 2022;
originally announced October 2022.
-
Sample Efficient Robot Learning with Structured World Models
Authors:
Tuluhan Akbulut,
Max Merlin,
Shane Parr,
Benedict Quartey,
Skye Thompson
Abstract:
Reinforcement learning has been demonstrated as a flexible and effective approach for learning a range of continuous control tasks, such as those used by robots to manipulate objects in their environment. But in robotics particularly, real-world rollouts are costly, and sample efficiency can be a major limiting factor when learning a new skill. In game environments, the use of world models has bee…
▽ More
Reinforcement learning has been demonstrated as a flexible and effective approach for learning a range of continuous control tasks, such as those used by robots to manipulate objects in their environment. But in robotics particularly, real-world rollouts are costly, and sample efficiency can be a major limiting factor when learning a new skill. In game environments, the use of world models has been shown to improve sample efficiency while still achieving good performance, especially when images or other rich observations are provided. In this project, we explore the use of a world model in a deformable robotic manipulation task, evaluating its effect on sample efficiency when learning to fold a cloth in simulation. We compare the use of RGB image observation with a feature space leveraging built-in structure (keypoints representing the cloth configuration), a common approach in robot skill learning, and compare the impact on task performance and learning efficiency with and without the world model. Our experiments showed that the usage of keypoints increased the performance of the best model on the task by 50%, and in general, the use of a learned or constructed reduced feature space improved task performance and sample efficiency. The use of a state transition predictor(MDN-RNN) in our world models did not have a notable effect on task performance.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Two temperate super-Earths transiting a nearby late-type M dwarf
Authors:
L. Delrez,
C. A. Murray,
F. J. Pozuelos,
N. Narita,
E. Ducrot,
M. Timmermans,
N. Watanabe,
A. J. Burgasser,
T. Hirano,
B. V. Rackham,
K. G. Stassun,
V. Van Grootel,
C. Aganze,
M. Cointepas,
S. Howell,
L. Kaltenegger,
P. Niraula,
D. Sebastian,
J. M. Almenara,
K. Barkaoui,
T. A. Baycroft,
X. Bonfils,
F. Bouchy,
A. Burdanov,
D. A. Caldwell
, et al. (60 additional authors not shown)
Abstract:
In the age of JWST, temperate terrestrial exoplanets transiting nearby late-type M dwarfs provide unique opportunities for characterising their atmospheres, as well as searching for biosignature gases. We report here the discovery and validation of two temperate super-Earths transiting LP 890-9 (TOI-4306, SPECULOOS-2), a relatively low-activity nearby (32 pc) M6V star. The inner planet, LP 890-9b,…
▽ More
In the age of JWST, temperate terrestrial exoplanets transiting nearby late-type M dwarfs provide unique opportunities for characterising their atmospheres, as well as searching for biosignature gases. We report here the discovery and validation of two temperate super-Earths transiting LP 890-9 (TOI-4306, SPECULOOS-2), a relatively low-activity nearby (32 pc) M6V star. The inner planet, LP 890-9b, was first detected by TESS (and identified as TOI-4306.01) based on four sectors of data. Intensive photometric monitoring of the system with the SPECULOOS Southern Observatory then led to the discovery of a second outer transiting planet, LP 890-9c (also identified as SPECULOOS-2c), previously undetected by TESS. The orbital period of this second planet was later confirmed by MuSCAT3 follow-up observations. With a mass of 0.118$\pm$0.002 $M_\odot$, a radius of 0.1556$\pm$0.0086 $R_\odot$, and an effective temperature of 2850$\pm$75 K, LP 890-9 is the second-coolest star found to host planets, after TRAPPIST-1. The inner planet has an orbital period of 2.73 d, a radius of $1.320_{-0.027}^{+0.053}$ $R_\oplus$, and receives an incident stellar flux of 4.09$\pm$0.12 $S_\oplus$. The outer planet has a similar size of $1.367_{-0.039}^{+0.055}$ $R_\oplus$ and an orbital period of 8.46 d. With an incident stellar flux of 0.906 $\pm$ 0.026 $S_\oplus$, it is located within the conservative habitable zone, very close to its inner limit. Although the masses of the two planets remain to be measured, we estimated their potential for atmospheric characterisation via transmission spectroscopy using a mass-radius relationship and found that, after the TRAPPIST-1 planets, LP 890-9c is the second-most favourable habitable-zone terrestrial planet known so far. The discovery of this remarkable system offers another rare opportunity to study temperate terrestrial planets around our smallest and coolest neighbours.
△ Less
Submitted 6 September, 2022;
originally announced September 2022.
-
Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions
Authors:
Dániel Horpácsi,
Péter Bereczky,
Simon Thompson
Abstract:
We aim to reason about the correctness of behaviour-preserving transformations of Erlang programs. Behaviour preservation is characterised by semantic equivalence. Based upon our existing formal semantics for Core Erlang, we investigate potential definitions of suitable equivalence relations. In particular we adapt a number of existing approaches of expression equivalence to a simple functional pr…
▽ More
We aim to reason about the correctness of behaviour-preserving transformations of Erlang programs. Behaviour preservation is characterised by semantic equivalence. Based upon our existing formal semantics for Core Erlang, we investigate potential definitions of suitable equivalence relations. In particular we adapt a number of existing approaches of expression equivalence to a simple functional programming language that carries the main features of sequential Core Erlang; we then examine the properties of the equivalence relations and formally establish connections between them. The results presented in this paper, including all theorems and their proofs, have been machine checked using the Coq proof assistant.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Conjunctive Queries for Logic-Based Information Extraction
Authors:
Sam M. Thompson
Abstract:
This thesis offers two logic-based approaches to conjunctive queries in the context of information extraction. The first and main approach is the introduction of conjunctive query fragments of the logics FC and FC[REG], denoted as FC-CQ and FC[REG]-CQ respectively. FC is a first-order logic based on word equations, where the semantics are defined by limiting the universe to the factors of some fin…
▽ More
This thesis offers two logic-based approaches to conjunctive queries in the context of information extraction. The first and main approach is the introduction of conjunctive query fragments of the logics FC and FC[REG], denoted as FC-CQ and FC[REG]-CQ respectively. FC is a first-order logic based on word equations, where the semantics are defined by limiting the universe to the factors of some finite input word. FC[REG] is FC extended with regular constraints. The second approach is to consider the dynamic complexity of FC.
△ Less
Submitted 2 August, 2022;
originally announced August 2022.
-
ABORAS: polarimetric, 10cm/s RV observations of the Sun as a star
Authors:
Casper Farret Jentink,
Annelies Mortier,
Frans Snik,
Patrick Dorval,
Samantha J. Thompson,
Ramon Navarro,
Tim Naylor
Abstract:
We present a description of A dual-Beam pOlarimetric Robotic Aperture for the Sun (ABORAS), to serve as a Solar input with a dedicated Stokes V polarimeter for the HARPS3 high-resolution spectrograph. ABORAS has three main science drivers: trying to understand the physics behind stellar variability, tracking the long-term stability of HARPS3, and serve as a benchmark for Earth-sized exoplanet dete…
▽ More
We present a description of A dual-Beam pOlarimetric Robotic Aperture for the Sun (ABORAS), to serve as a Solar input with a dedicated Stokes V polarimeter for the HARPS3 high-resolution spectrograph. ABORAS has three main science drivers: trying to understand the physics behind stellar variability, tracking the long-term stability of HARPS3, and serve as a benchmark for Earth-sized exoplanet detection with HARPS3 by injecting an Earth RV signal into the data. By design, ABORAS will (together with the HARPS3 instrument) be able to measure 10cm/s variations in RV of the integrated Solar disk and detect integrated magnetic field levels at sub 1 Gauss level through circularly polarized light.
△ Less
Submitted 18 July, 2022; v1 submitted 11 July, 2022;
originally announced July 2022.
-
Crowdsourcing Felt Reports using the MyShake smartphone app
Authors:
Qingkai Kong,
Richard M. Allen,
Steve Allen,
Theron Bair,
Akie Meja,
Sarina Patel,
Jennifer Strauss,
Stephen Thompson
Abstract:
MyShake is a free citizen science smartphone app that provides a range of features related to earthquakes. Features available globally include rapid post-earthquake notifications, live maps of earthquake damage as reported by MyShake users, safety tips and various educational features. The app also uses the accelerometer to detect earthquake shaking and to record and submit waveforms to a central…
▽ More
MyShake is a free citizen science smartphone app that provides a range of features related to earthquakes. Features available globally include rapid post-earthquake notifications, live maps of earthquake damage as reported by MyShake users, safety tips and various educational features. The app also uses the accelerometer to detect earthquake shaking and to record and submit waveforms to a central archive. In addition, MyShake delivers earthquake early warning alerts in California, Oregon and Washington. In this study we compare the felt shaking reports provided by MyShake users in California with the US Geological Survey's "Did You Feel It?" intensity reports. The MyShake app simply asks "What strength of shaking did you feel" and users report on a five-level scale. When the reports are averaged in spatial bins, we find strong correlations with the Modified Mercalli Intensity scale values reported by the USGS based on the much more complex DYFI surveys. The MyShake felt reports can therefore also be used to generate shaking intensity maps.
△ Less
Submitted 25 January, 2023; v1 submitted 26 April, 2022;
originally announced April 2022.
-
A Study of Flares in the Ultra-Cool Regime from SPECULOOS-South
Authors:
C. A. Murray,
D. Queloz,
M. Gillon,
B. O. Demory,
A. H. M. J. Triaud,
J. de Wit,
A. Burdanov,
P. Chinchilla,
L. Delrez,
G. Dransfield,
E. Ducrot,
L. J. Garcia,
Y. Gómez Maqueo Chew,
M. N. Günther,
E. Jehin,
J. McCormac,
P. Niraula,
P. P. Pedersen,
F. J. Pozuelos,
B. V. Rackham,
N. Schanche,
D. Sebastian,
S. J. Thompson,
M. Timmermans,
R. Wells
Abstract:
We present a study of photometric flares on 154 low-mass ($\leq 0.2 \textrm{M}_{\odot}$) objects observed by the SPECULOOS-South Observatory from 1st June 2018 to 23rd March 2020. In this sample we identify 85 flaring objects, ranging in spectral type from M4 to L0. We detect 234 flares in this sample, with energies between $10^{29.2}$ and $10^{32.7}$ erg, using both automated and manual methods.…
▽ More
We present a study of photometric flares on 154 low-mass ($\leq 0.2 \textrm{M}_{\odot}$) objects observed by the SPECULOOS-South Observatory from 1st June 2018 to 23rd March 2020. In this sample we identify 85 flaring objects, ranging in spectral type from M4 to L0. We detect 234 flares in this sample, with energies between $10^{29.2}$ and $10^{32.7}$ erg, using both automated and manual methods. With this work, we present the largest photometric sample of flares on late-M and ultra-cool dwarfs to date. By extending previous M dwarf flare studies into the ultra-cool regime, we find M5-M7 stars are more likely to flare than both earlier, and later, M dwarfs. By performing artificial flare injection-recovery tests we demonstrate that we can detect a significant proportion of flares down to an amplitude of 1 per cent, and we are most sensitive to flares on the coolest stars. Our results reveal an absence of high-energy flares on the reddest dwarfs. To probe the relations between rotation and activity for fully convective stars, we extract rotation periods for fast rotators and lower-bound period estimates of slow rotators. These rotation periods span from 2.2 hours to 65 days, and we find that the proportion of flaring stars increases for the very fastest rotators. Finally, we discuss the impact of our flare sample on planets orbiting ultra-cool stars. As stars become cooler, they flare less frequently; therefore, it is unlikely that planets around the very reddest dwarfs would enter the `abiogenesis' zone or drive visible-light photosynthesis through flares alone.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
TESS discovery of a sub-Neptune orbiting a mid-M dwarf TOI-2136
Authors:
Tianjun Gan,
Abderahmane Soubkiou,
Sharon X. Wang,
Zouhair Benkhaldoun,
Shude Mao,
Étienne Artigau,
Pascal Fouqué,
Steven Giacalone,
Christopher A. Theissen,
Christian Aganze,
Karen A. Collins,
Avi Shporer,
Khalid Barkaoui,
Mourad Ghachoui,
Steve B. Howell,
Claire Lamman,
Olivier D. S. Demangeon,
Artem Burdanov,
Charles Cadieux,
Jamila Chouqar,
Kevin I. Collins,
Neil J. Cook,
Laetitia Delrez,
Brice-Olivier Demory,
René Doyon
, et al. (38 additional authors not shown)
Abstract:
We present the discovery of TOI-2136b, a sub-Neptune planet transiting every 7.85 days a nearby M4.5V-type star, identified through photometric measurements from the TESS mission. The host star is located $33$ pc away with a radius of $R_{\ast} = 0.34\pm0.02\ R_{\odot}$, a mass of $0.34\pm0.02\ M_{\odot}$ and an effective temperature of $\rm 3342\pm100\ K$. We estimate its stellar rotation period…
▽ More
We present the discovery of TOI-2136b, a sub-Neptune planet transiting every 7.85 days a nearby M4.5V-type star, identified through photometric measurements from the TESS mission. The host star is located $33$ pc away with a radius of $R_{\ast} = 0.34\pm0.02\ R_{\odot}$, a mass of $0.34\pm0.02\ M_{\odot}$ and an effective temperature of $\rm 3342\pm100\ K$. We estimate its stellar rotation period to be $75\pm5$ days based on archival long-term photometry. We confirm and characterize the planet based on a series of ground-based multi-wavelength photometry, high-angular-resolution imaging observations, and precise radial velocities from CFHT/SPIRou. Our joint analysis reveals that the planet has a radius of $2.19\pm0.17\ R_{\oplus}$, and a mass measurement of $6.4\pm2.4\ M_{\oplus}$. The mass and radius of TOI2136b is consistent with a broad range of compositions, from water-ice to gas-dominated worlds. TOI-2136b falls close to the radius valley for low-mass stars predicted by the thermally driven atmospheric mass loss models, making it an interesting target for future studies of its interior structure and atmospheric properties.
△ Less
Submitted 21 February, 2022;
originally announced February 2022.
-
The drainage of glacier and ice sheet surface lakes
Authors:
Christian Schoof,
Sue Cook,
Bernd Kulessa,
Sarah Thompson
Abstract:
Supraglacial lakes play a central role in storing melt water, enhancing surface melt, and ultimately in driving ice flow and ice shelf melt through injecting water into the subglacial environment and facilitating fracturing. Here, we develop a model for the drainage of supraglacial lakes through the dissipation-driven incision of a surface channel. The model consists of the St Venant equations for…
▽ More
Supraglacial lakes play a central role in storing melt water, enhancing surface melt, and ultimately in driving ice flow and ice shelf melt through injecting water into the subglacial environment and facilitating fracturing. Here, we develop a model for the drainage of supraglacial lakes through the dissipation-driven incision of a surface channel. The model consists of the St Venant equations for flow in the channel, fed by an upstream lake reservoir, coupled with an equation for the evolution of channel elevation due to advection, uplift, and downward melting. After reduction to a `stream power'-type hyperbolic model, we show that lake drainage occurs above a critical rate of water supply to the lake due to the backward migration of a shock that incises the lake seal. The critical water supply rate depends on advection velocity and uplift (or more precisely, drawdown downstream of the lake) as well as model parameters such as channel wall roughness and the parameters defining the relationship between channel cross-section and wetted perimeter. Once lake drainage does occur, it can either continue until the lake is empty, or terminate early, leading to oscillatory cycles of lake filling and draining, with the latter favoured by large lake volumes and relatively small water supply rates.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
Quantum Computation of Phase Transition in the Massive Schwinger Model
Authors:
Shane Thompson,
George Siopsis
Abstract:
As pointed out by Coleman, physical quantities in the Schwinger model depend on a parameter $θ$ that determines the background electric field. There is a phase transition for $θ= π$ only. We develop a momentum space formalism on a lattice and use it to perform a quantum computation of the critical point of this phase transition on the NISQ device IMB Q Lima. After error mitigation, our results giv…
▽ More
As pointed out by Coleman, physical quantities in the Schwinger model depend on a parameter $θ$ that determines the background electric field. There is a phase transition for $θ= π$ only. We develop a momentum space formalism on a lattice and use it to perform a quantum computation of the critical point of this phase transition on the NISQ device IMB Q Lima. After error mitigation, our results give strong indication of the existence of a critical point at $m/e\simeq 0.32$, where $m$ is the bare fermion mass and $e$ is the coupling strength, in good agreement with the classical numerical result $m/e \simeq 0.3335$.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
NGTS clusters survey -- III: A low-mass eclipsing binary in the Blanco 1 open cluster spanning the fully convective boundary
Authors:
Gareth D. Smith,
Edward Gillen,
Didier Queloz,
Lynne A. Hillenbrand,
Jack S. Acton,
Douglas R. Alves,
David R. Anderson,
Daniel Bayliss,
Joshua T. Briegal,
Matthew R. Burleigh,
Sarah L. Casewell,
Laetitia Delrez,
Georgina Dransfield,
Elsa Ducrot,
Samuel Gill,
Michaël Gillon,
Michael R. Goad,
Maximilian N. Günther,
Beth A. Henderson,
James S. Jenkins,
Emmanuël Jehin,
Maximiliano Moyano,
Catriona A. Murray,
Peter P. Pedersen,
Daniel Sebastian
, et al. (5 additional authors not shown)
Abstract:
We present the discovery and characterisation of an eclipsing binary identified by the Next Generation Transit Survey in the $\sim$115 Myr old Blanco 1 open cluster. NGTS J0002-29 comprises three M dwarfs: a short-period binary and a companion in a wider orbit. This system is the first well-characterised, low-mass eclipsing binary in Blanco 1. With a low mass ratio, a tertiary companion and binary…
▽ More
We present the discovery and characterisation of an eclipsing binary identified by the Next Generation Transit Survey in the $\sim$115 Myr old Blanco 1 open cluster. NGTS J0002-29 comprises three M dwarfs: a short-period binary and a companion in a wider orbit. This system is the first well-characterised, low-mass eclipsing binary in Blanco 1. With a low mass ratio, a tertiary companion and binary components that straddle the fully convective boundary, it is an important benchmark system, and one of only two well-characterised, low-mass eclipsing binaries at this age. We simultaneously model light curves from NGTS, TESS, SPECULOOS and SAAO, radial velocities from VLT/UVES and Keck/HIRES, and the system's spectral energy distribution. We find that the binary components travel on circular orbits around their common centre of mass in $P_{\rm orb} = 1.09800524 \pm 0.00000038$ days, and have masses $M_{\rm pri}=0.3978\pm 0.0033$ M$_{\odot}$ and $M_{\rm sec}=0.2245\pm 0.0018$ M$_{\odot}$, radii $R_{\rm pri}=0.4037\pm 0.0048$ R$_{\odot}$ and $R_{\rm sec}=0.2759\pm 0.0055$ R$_{\odot}$, and effective temperatures $T_{\rm pri}=3372\,^{+44}_{-37}$ K and $T_{\rm sec}=3231\,^{+38}_{-31}$ K. We compare these properties to the predictions of seven stellar evolution models, which typically imply an inflated primary. The system joins a list of 19 well-characterised, low-mass, sub-Gyr, stellar-mass eclipsing binaries, which constitute some of the strongest observational tests of stellar evolution theory at low masses and young ages.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Identification of Vehicle Dynamics Parameters Using Simulation-based Inference
Authors:
Ali Boyali,
Simon Thompson,
David Robert Wong
Abstract:
Identifying tire and vehicle parameters is an essential step in designing control and planning algorithms for autonomous vehicles. This paper proposes a new method: Simulation-Based Inference (SBI), a modern interpretation of Approximate Bayesian Computation methods (ABC) for parameter identification. The simulation-based inference is an emerging method in the machine learning literature and has p…
▽ More
Identifying tire and vehicle parameters is an essential step in designing control and planning algorithms for autonomous vehicles. This paper proposes a new method: Simulation-Based Inference (SBI), a modern interpretation of Approximate Bayesian Computation methods (ABC) for parameter identification. The simulation-based inference is an emerging method in the machine learning literature and has proven to yield accurate results for many parameter sets in complex problems. We demonstrate in this paper that it can handle the identification of highly nonlinear vehicle dynamics parameters and gives accurate estimates of the parameters for the governing equations.
△ Less
Submitted 27 August, 2021;
originally announced August 2021.
-
Extreme Precision Radial Velocity Working Group Final Report
Authors:
Jonathan Crass,
B. Scott Gaudi,
Stephanie Leifer,
Charles Beichman,
Chad Bender,
Gary Blackwood,
Jennifer A. Burt,
John L. Callas,
Heather M. Cegla,
Scott A. Diddams,
Xavier Dumusque,
Jason D. Eastman,
Eric B. Ford,
Benjamin Fulton,
Rose Gibson,
Samuel Halverson,
Raphaëlle D. Haywood,
Fred Hearty,
Andrew W. Howard,
David W. Latham,
Johannes Löhner-Böttcher,
Eric E. Mamajek,
Annelies Mortier,
Patrick Newman,
Peter Plavchan
, et al. (11 additional authors not shown)
Abstract:
Precise mass measurements of exoplanets discovered by the direct imaging or transit technique are required to determine planet bulk properties and potential habitability. Furthermore, it is generally acknowledged that, for the foreseeable future, the Extreme Precision Radial Velocity (EPRV) measurement technique is the only method potentially capable of detecting and measuring the masses and orbit…
▽ More
Precise mass measurements of exoplanets discovered by the direct imaging or transit technique are required to determine planet bulk properties and potential habitability. Furthermore, it is generally acknowledged that, for the foreseeable future, the Extreme Precision Radial Velocity (EPRV) measurement technique is the only method potentially capable of detecting and measuring the masses and orbits of habitable-zone Earths orbiting nearby F, G, and K spectral-type stars from the ground. In particular, EPRV measurements with a precision of better than approximately 10 cm/s (with a few cm/s stability over many years) are required. Unfortunately, for nearly a decade, PRV instruments and surveys have been unable to routinely reach RV accuracies of less than roughly 1 m/s. Making EPRV science and technology development a critical component of both NASA and NSF program plans is crucial for reaching the goal of detecting potentially habitable Earthlike planets and supporting potential future exoplanet direct imaging missions such as the Habitable Exoplanet Observatory (HabEx) or the Large Ultraviolet Optical Infrared Surveyor (LUVOIR). In recognition of these facts, the 2018 National Academy of Sciences (NAS) Exoplanet Science Strategy (ESS) report recommended the development of EPRV measurements as a critical step toward the detection and characterization of habitable, Earth-analog planets. In response to the NAS-ESS recommendation, NASA and NSF commissioned the EPRV Working Group to recommend a ground-based program architecture and implementation plan to achieve the goal intended by the NAS. This report documents the activities, findings, and recommendations of the EPRV Working Group.
△ Less
Submitted 29 July, 2021;
originally announced July 2021.
-
A large sub-Neptune transiting the thick-disk M4V TOI-2406
Authors:
R. D. Wells,
B. V. Rackham,
N. Schanche,
R. Petrucci,
Y. Gomez Maqueo Chew,
B. -O. Demory,
A. J. Burgasser,
R. Burn,
F. J. Pozuelos,
M. N. Gunther,
L. Sabin,
U. Schroffenegger,
M. A. Gomez-Munoz,
K. G. Stassun,
V. Van Grootel,
S. B. Howell,
D. Sebastian,
A. H. M. J. Triaud,
D. Apai,
I. Plauchu-Frayn,
C. A. Guerrero,
P. F. Guillen,
A. Landa,
G. Melgoza,
F. Montalvo
, et al. (49 additional authors not shown)
Abstract:
Large sub-Neptunes are uncommon around the coolest stars in the Galaxy and are rarer still around those that are metal-poor. However, owing to the large planet-to-star radius ratio, these planets are highly suitable for atmospheric study via transmission spectroscopy in the infrared, such as with JWST. Here we report the discovery and validation of a sub-Neptune orbiting the thick-disk, mid-M dwar…
▽ More
Large sub-Neptunes are uncommon around the coolest stars in the Galaxy and are rarer still around those that are metal-poor. However, owing to the large planet-to-star radius ratio, these planets are highly suitable for atmospheric study via transmission spectroscopy in the infrared, such as with JWST. Here we report the discovery and validation of a sub-Neptune orbiting the thick-disk, mid-M dwarf star TOI-2406. We first infer properties of the host star by analysing the star's near-infrared spectrum, spectral energy distribution, and Gaia parallax. We use multi-band photometry to confirm that the transit event is on-target and achromatic, and we statistically validate the TESS signal as a transiting exoplanet. We then determine physical properties of the planet through global transit modelling of the TESS and ground-based time-series data. We determine the host to be a metal-poor M4V star, located at a distance of 56 pc, with a sub-solar metallicity $(\mathrm{[Fe/H] = -0.38 \pm 0.07})$, and a member of the thick disk. The planet is a relatively large sub-Neptune for the M-dwarf planet population, with $\mathrm{R_p = 2.94 \pm 0.17} \mathrm{R_\oplus}$ and $\mathrm{P = 3.077}$ d, producing transits of 2% depth. We note the orbit has a non-zero eccentricity to 3$\mathrmσ$, prompting questions about the dynamical history of the system. This system is an interesting outcome of planet formation and presents a benchmark for large-planet formation around metal-poor, low-mass stars. The system warrants further study, in particular radial velocity follow-up to determine the planet mass and constrain possible bound companions. Furthermore, TOI-2406 b is a good target for future atmospheric study through transmission spectroscopy, particularly in the category of warm sub-Neptunes.
△ Less
Submitted 29 July, 2021;
originally announced July 2021.
-
Learning a Model for Inferring a Spatial Road Lane Network Graph using Self-Supervision
Authors:
Robin Karlsson,
David Robert Wong,
Simon Thompson,
Kazuya Takeda
Abstract:
Interconnected road lanes are a central concept for navigating urban roads. Currently, most autonomous vehicles rely on preconstructed lane maps as designing an algorithmic model is difficult. However, the generation and maintenance of such maps is costly and hinders large-scale adoption of autonomous vehicle technology. This paper presents the first self-supervised learning method to train a mode…
▽ More
Interconnected road lanes are a central concept for navigating urban roads. Currently, most autonomous vehicles rely on preconstructed lane maps as designing an algorithmic model is difficult. However, the generation and maintenance of such maps is costly and hinders large-scale adoption of autonomous vehicle technology. This paper presents the first self-supervised learning method to train a model to infer a spatially grounded lane-level road network graph based on a dense segmented representation of the road scene generated from onboard sensors. A formal road lane network model is presented and proves that any structured road scene can be represented by a directed acyclic graph of at most depth three while retaining the notion of intersection regions, and that this is the most compressed representation. The formal model is implemented by a hybrid neural and search-based model, utilizing a novel barrier function loss formulation for robust learning from partial labels. Experiments are conducted for all common road intersection layouts. Results show that the model can generalize to new road layouts, unlike previous approaches, demonstrating its potential for real-world application as a practical learning-based lane-level map generator.
△ Less
Submitted 5 July, 2021;
originally announced July 2021.
-
Estimating Magnetic Filling Factors From Simultaneous Spectroscopy and Photometry: Disentangling Spots, Plage, and Network
Authors:
T. W. Milbourne,
D. F. Phillips,
N. Langellier,
A. Mortier,
R. D. Haywood,
S. H. Saar,
H. M. Cegla,
A. Collier Cameron,
X. Dumusque,
D. W. Latham,
L. Malavolta,
J. Maldonado,
S. Thompson,
A. Vanderburg,
C. A. Watson,
L. A. Buchhave,
M. Cecconi,
R. Cosentino,
A. Ghedina,
M. Gonzalez,
M. Lodi,
M. López-Morales,
A. Sozzetti,
R. L. Walsworth
Abstract:
State of the art radial velocity (RV) exoplanet searches are limited by the effects of stellar magnetic activity. Magnetically active spots, plage, and network regions each have different impacts on the observed spectral lines, and therefore on the apparent stellar RV. Differentiating the relative coverage, or filling factors, of these active regions is thus necessary to differentiate between acti…
▽ More
State of the art radial velocity (RV) exoplanet searches are limited by the effects of stellar magnetic activity. Magnetically active spots, plage, and network regions each have different impacts on the observed spectral lines, and therefore on the apparent stellar RV. Differentiating the relative coverage, or filling factors, of these active regions is thus necessary to differentiate between activity-driven RV signatures and Doppler shifts due to planetary orbits. In this work, we develop a technique to estimate feature-specific magnetic filling factors on stellar targets using only spectroscopic and photometric observations. We demonstrate linear and neural network implementations of our technique using observations from the solar telescope at HARPS-N, the HK Project at the Mt. Wilson Observatory, and the Total Irradiance Monitor onboard SORCE. We then compare the results of each technique to direct observations by the Solar Dynamics Observatory (SDO). Both implementations yield filling factor estimates that are highly correlated with the observed values. Modeling the solar RVs using these filling factors reproduces the expected contributions of the suppression of convective blueshift and rotational imbalance due to brightness inhomogeneities. Both implementations of this technique reduce the overall activity-driven RMS RVs from 1.64 m/s to 1.02 m/s, corresponding to a 1.28 m/s reduction in the RMS variation. The technique provides an additional 0.41 m/s reduction in the RMS variation compared to traditional activity indicators.
△ Less
Submitted 13 October, 2021; v1 submitted 19 May, 2021;
originally announced May 2021.
-
Probabilistic Rainfall Estimation from Automotive Lidar
Authors:
Robin Karlsson,
David Robert Wong,
Kazunari Kawabata,
Simon Thompson,
Naoki Sakai
Abstract:
Robust sensing and perception in adverse weather conditions remain one of the biggest challenges for realizing reliable autonomous vehicle mobility services. Prior work has established that rainfall rate is a useful measure for the adversity of atmospheric weather conditions. This work presents a probabilistic hierarchical Bayesian model that infers rainfall rate from automotive lidar point cloud…
▽ More
Robust sensing and perception in adverse weather conditions remain one of the biggest challenges for realizing reliable autonomous vehicle mobility services. Prior work has established that rainfall rate is a useful measure for the adversity of atmospheric weather conditions. This work presents a probabilistic hierarchical Bayesian model that infers rainfall rate from automotive lidar point cloud sequences with high accuracy and reliability. The model is a hierarchical mixture of experts model, or a probabilistic decision tree, with gating and expert nodes consisting of variational logistic and linear regression models. Experimental data used to train and evaluate the model is collected in a large-scale rainfall experiment facility from both stationary and moving vehicle platforms. The results show prediction accuracy comparable to the measurement resolution of a disdrometer, and the soundness and usefulness of the uncertainty estimation. The model achieves RMSE 2.42\,mm/h after filtering out uncertain predictions. The error is comparable to the mean rainfall rate change of 3.5\,mm/h between measurements. Model parameter studies show how predictive performance changes with tree depth, sampling duration, and crop box dimension. A second experiment demonstrates the predictability of higher rainfall above 300\,mm/h using a different lidar sensor, demonstrating sensor independence.
△ Less
Submitted 25 April, 2022; v1 submitted 23 April, 2021;
originally announced April 2021.
-
Tryptophan-containing proteins as label-free nanothermometers
Authors:
Graham Spicer,
Clara Maria Garcia-Abad,
Alejo Efeyan,
Sebastian Thompson
Abstract:
There remains a need for techniques to monitor thermal processes at high spatiotemporal resolution, with myriad potential applications in chemistry, biology, and engineering. Measurement of temperature from nanoscale molecular phenomena are particularly promising due to their general compatibility with biological systems. Among these phenomena, fluorescence polarization anisotropy is particularly…
▽ More
There remains a need for techniques to monitor thermal processes at high spatiotemporal resolution, with myriad potential applications in chemistry, biology, and engineering. Measurement of temperature from nanoscale molecular phenomena are particularly promising due to their general compatibility with biological systems. Among these phenomena, fluorescence polarization anisotropy is particularly attractive due to its high sensitivity to thermal and photophysical information, and its general utility with a wide spectrum of fluorophores. In this work, we propose that the measurement of the intrinsic fluorescence polarization anisotropy of tryptophan can be used to measure label-free temperature at the nanoscale in a variety of tryptophan-containing proteins. We present a theoretical model of the temperature sensitivity of fluorescence polarization in free tryptophan and tryptophan-containing proteins, empirically explore these properties, and discuss the potential development of proteins as thermal memory sensors.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
Splitting Spanner Atoms: A Tool for Acyclic Core Spanners
Authors:
Dominik D. Freydenberger,
Sam M. Thompson
Abstract:
This paper investigates regex CQs with string equalities (SERCQs), a subclass of core spanners. As shown by Freydenberger, Kimelfeld, and Peterfreund (PODS 2018), these queries are intractable, even if restricted to acyclic queries. This previous result defines acyclicity by treating regex formulas as atoms. In contrast to this, we propose an alternative definition by converting SERCQs into FC-CQs…
▽ More
This paper investigates regex CQs with string equalities (SERCQs), a subclass of core spanners. As shown by Freydenberger, Kimelfeld, and Peterfreund (PODS 2018), these queries are intractable, even if restricted to acyclic queries. This previous result defines acyclicity by treating regex formulas as atoms. In contrast to this, we propose an alternative definition by converting SERCQs into FC-CQs -- conjunctive queries in FC, a logic that is based on word equations. We introduce a way to decompose word equations of unbounded arity into a conjunction of binary word equations. If the result of the decomposition is acyclic, then evaluation and enumeration of results become tractable. The main result of this work is an algorithm that decides in polynomial time whether an FC-CQ can be decomposed into an acyclic FC-CQ. We also give an efficient conversion from synchronized SERCQs to FC-CQs with regular constraints. As a consequence, tractability results for acyclic relational CQs directly translate to a large class of SERCQs.
△ Less
Submitted 19 January, 2022; v1 submitted 10 April, 2021;
originally announced April 2021.
-
A transit timing variation observed for the long-period extremely low density exoplanet HIP 41378f
Authors:
Edward M. Bryant,
Daniel Bayliss,
Alexandre Santerne,
Peter J. Wheatley,
Valerio Nascimbeni,
Elsa Ducrot,
Artem Burdanov,
Jack S. Acton,
Douglas R. Alves,
David R. Anderson,
David J. Armstrong,
Supachai Awiphan,
Benjamin F. Cooke,
Matthew R. Burleigh,
Sarah L. Casewell,
Laetitia Delrez,
Brice-Olivier Demory,
Philipp Eigmüller,
Akihiko Fukui,
Tianjun Gan,
Samuel Gill,
Michael Gillon,
Michael R. Goad,
Thiam-Guan Tan,
Maximilian N. Günther
, et al. (25 additional authors not shown)
Abstract:
HIP 41378 f is a temperate $9.2\pm0.1 R_{\oplus}$ planet with period of 542.08 days and an extremely low density of $0.09\pm0.02$ g cm$^{-3}$. It transits the bright star HIP 41378 (V=8.93), making it an exciting target for atmospheric characterization including transmission spectroscopy. HIP 41378 was monitored photometrically between the dates of 2019 November 19 and November 28. We detected a t…
▽ More
HIP 41378 f is a temperate $9.2\pm0.1 R_{\oplus}$ planet with period of 542.08 days and an extremely low density of $0.09\pm0.02$ g cm$^{-3}$. It transits the bright star HIP 41378 (V=8.93), making it an exciting target for atmospheric characterization including transmission spectroscopy. HIP 41378 was monitored photometrically between the dates of 2019 November 19 and November 28. We detected a transit of HIP 41378 f with NGTS, just the third transit ever detected for this planet, which confirms the orbital period. This is also the first ground-based detection of a transit of HIP 41378 f. Additional ground-based photometry was also obtained and used to constrain the time of the transit. The transit was measured to occur 1.50 hours earlier than predicted. We use an analytic transit timing variation (TTV) model to show the observed TTV can be explained by interactions between HIP 41378 e and HIP 41378 f. Using our TTV model, we predict the epochs of future transits of HIP 41378 f, with derived transit centres of T$_{C,4} = 2459355.087^{+0.031}_{-0.022}$ (May 2021) and T$_{C,5} = 2459897.078^{+0.114}_{-0.060}$ (Nov 2022).
△ Less
Submitted 8 April, 2021; v1 submitted 7 April, 2021;
originally announced April 2021.
-
The HARPS search for southern extra-solar planets XLV. Two Neptune mass planets orbiting HD 13808: a study of stellar activity modelling's impact on planet detection
Authors:
E. Ahrer,
D. Queloz,
V. M. Rajpaul,
D. Ségransan,
F. Bouchy,
R. Hall,
W. Handley,
C. Lovis,
M. Mayor,
A. Mortier,
F. Pepe,
S. Thompson,
S. Udry,
N. Unger
Abstract:
We present a comprehensive analysis of 10 years of HARPS radial velocities of the K2V dwarf star HD 13808, which has previously been reported to host two unconfirmed planet candidates. We use the state-of-the-art nested sampling algorithm PolyChord to compare a wide variety of stellar activity models, including simple models exploiting linear correlations between RVs and stellar activity indicator…
▽ More
We present a comprehensive analysis of 10 years of HARPS radial velocities of the K2V dwarf star HD 13808, which has previously been reported to host two unconfirmed planet candidates. We use the state-of-the-art nested sampling algorithm PolyChord to compare a wide variety of stellar activity models, including simple models exploiting linear correlations between RVs and stellar activity indicators, harmonic models for the activity signals, and a more sophisticated Gaussian process regression model. We show that the use of overly-simplistic stellar activity models that are not well-motivated physically can lead to spurious `detections' of planetary signals that are almost certainly not real. We also reveal some difficulties inherent in parameter and model inference in cases where multiple planetary signals may be present. Our study thus underlines the importance both of exploring a variety of competing models and of understanding the limitations and precision settings of one's sampling algorithm. We also show that at least in the case of HD 13808, we always arrive at consistent conclusions about two particular signals present in the RV, regardless of the stellar activity model we adopt; these two signals correspond to the previously-reported though unconfirmed planet candidate signals. Given the robustness and precision with which we can characterize these two signals, we deem them secure planet detections. In particular, we find two planets orbiting HD 13808 at distances of 0.11, 0.26 AU with periods of 14.2, 53.8 d, and minimum masses of 11, 10 Earth masses.
△ Less
Submitted 5 February, 2021;
originally announced February 2021.
-
Development of the SPECULOOS exoplanet search project
Authors:
D. Sebastian,
P. P. Pedersen,
C. A. Murray,
E. Ducrot,
L. J. Garcia,
A. Burdanov,
F. J. Pozuelos,
L. Delrez,
R. Wells,
G. Dransfield,
M. Gillon,
B. -O. Demory,
D. Queloz,
A. H. M. J. Triaud,
J. de Wit,
E. Jehin,
Y. Gómez Maqueo Chew,
M. N. Günther,
P. Niraula,
B. V. Rackham,
N. Schanche,
S. Sohy,
S. Thompson
Abstract:
SPECULOOS (Search for habitable Planets EClipsing ULtra-cOOl Stars) aims to perform a transit search on the nearest ($<40$pc) ultracool ($<3000$K) dwarf stars. The project's main motivation is to discover potentially habitable planets well-suited for detailed atmospheric characterisation with upcoming giant telescopes, like the James Webb Space Telescope (JWST) and European Large Telescope (ELT).…
▽ More
SPECULOOS (Search for habitable Planets EClipsing ULtra-cOOl Stars) aims to perform a transit search on the nearest ($<40$pc) ultracool ($<3000$K) dwarf stars. The project's main motivation is to discover potentially habitable planets well-suited for detailed atmospheric characterisation with upcoming giant telescopes, like the James Webb Space Telescope (JWST) and European Large Telescope (ELT). The project is based on a network of 1m robotic telescopes, namely the four ones of the SPECULOOS-Southern Observatory (SSO) in Cerro Paranal, Chile, one telescope of the SPECULOOS-Northern Observatory (SNO) in Tenerife, and the SAINT-Ex telescope in San Pedro Mártir, Mexico. The prototype survey of the SPECULOOS project on the 60~cm TRAPPIST telescope (Chile) discovered the TRAPPIST-1 system, composed of seven temperate Earth-sized planets orbiting a nearby (12~pc) Jupiter-sized star. In this paper, we review the current status of SPECULOOS, its first results, the plans for its development, and its connection to the Transiting Exoplanet Survey Satellite (TESS) and JWST.
△ Less
Submitted 26 January, 2021;
originally announced January 2021.
-
Six transiting planets and a chain of Laplace resonances in TOI-178
Authors:
A. Leleu,
Y. Alibert,
N. C. Hara,
M. J. Hooton,
T. G. Wilson,
P. Robutel,
J. -B. Delisle,
J. Laskar,
S. Hoyer,
C. Lovis,
E. M. Bryant,
E. Ducrot,
J. Cabrera,
L. Delrez,
J. S. Acton,
V. Adibekyan,
R. Allart,
C. Allende Prieto,
R. Alonso,
D. Alves,
D. R. Anderson,
D. Angerhausen,
G. Anglada Escudé,
J. Asquier,
D. Barrado
, et al. (130 additional authors not shown)
Abstract:
Determining the architecture of multi-planetary systems is one of the cornerstones of understanding planet formation and evolution. Resonant systems are especially important as the fragility of their orbital configuration ensures that no significant scattering or collisional event has taken place since the earliest formation phase when the parent protoplanetary disc was still present. In this cont…
▽ More
Determining the architecture of multi-planetary systems is one of the cornerstones of understanding planet formation and evolution. Resonant systems are especially important as the fragility of their orbital configuration ensures that no significant scattering or collisional event has taken place since the earliest formation phase when the parent protoplanetary disc was still present. In this context, TOI-178 has been the subject of particular attention since the first TESS observations hinted at a 2:3:3 resonant chain. Here we report the results of observations from CHEOPS, ESPRESSO, NGTS, and SPECULOOS with the aim of deciphering the peculiar orbital architecture of the system. We show that TOI-178 harbours at least six planets in the super-Earth to mini-Neptune regimes, with radii ranging from 1.152(-0.070/+0.073) to 2.87(-0.13/+0.14) Earth radii and periods of 1.91, 3.24, 6.56, 9.96, 15.23, and 20.71 days. All planets but the innermost one form a 2:4:6:9:12 chain of Laplace resonances, and the planetary densities show important variations from planet to planet, jum** from 1.02(+0.28/-0.23) to 0.177(+0.055/-0.061) times the Earth's density between planets c and d. Using Bayesian interior structure retrieval models, we show that the amount of gas in the planets does not vary in a monotonous way, contrary to what one would expect from simple formation and evolution models and unlike other known systems in a chain of Laplace resonances. The brightness of TOI-178 allows for a precise characterisation of its orbital architecture as well as of the physical nature of the six presently known transiting planets it harbours. The peculiar orbital configuration and the diversity in average density among the planets in the system will enable the study of interior planetary structures and atmospheric evolution, providing important clues on the formation of super-Earths and mini-Neptunes.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.