-
Asgard/NOTT: Status of laboratory nulling performance
Authors:
T. Mattheussen,
R. Laugier,
D. Defrère,
G. Garreau,
P. Chingaipe,
G. Raskin,
M. Salman,
K. Missiaen,
B. Vandenbussche,
W. Verstraeten,
J. Morren,
A. Kuriakose,
M. Ireland,
M. -A. Martinod,
A. Sanny,
S. Gross,
L. Labadie,
A. Bigioli,
A. Jóo,
S. Madden,
A. Mazzoli,
G. Medgyesi,
S. Ertel,
T. A. Stuber,
J. P. Scott
, et al. (4 additional authors not shown)
Abstract:
Nulling interferometry enables the direct detection of faint companions and circumstellar structures at angular separations unresolvable by classical, diffraction-limited imagers, whilst dramatically improving the measurable contrast. The Asgard/NOTT nulling instrument aims to achieve a contrast performance of 10^-5 in the L' wavelength band (3.5 - 4.0 μm), enabling observation and characterizatio…
▽ More
Nulling interferometry enables the direct detection of faint companions and circumstellar structures at angular separations unresolvable by classical, diffraction-limited imagers, whilst dramatically improving the measurable contrast. The Asgard/NOTT nulling instrument aims to achieve a contrast performance of 10^-5 in the L' wavelength band (3.5 - 4.0 μm), enabling observation and characterization of young giant exoplanets near the snowline and hot exozodiacal dust. Previous studies have verified the nulling capabilities, of the chip in ambient conditions and of the test bench in cryogenic conditions. This work aims to add the first ambient performance assessment of the test bench with spectrally dispersed light. Necessary revisions are made to the data acquisition and calibration pipeline and fringe scans are carried out, modeled and fitted. The splitting ratios of the 4-telescope nulling beam combiner, a photonic Gallium Lanthanum Sulfide (GLS) chip, are moreover characterized on the bench, showing tentative agreement with previous chip characterization. The null performance has worsened, the achieved contrast of ~ 10^-1 being one order of magnitude higher than what earlier characterized performance showed. Multiple future changes to the test bed and to the approach taken promise an improved characterization of performance. In particular, the input beam intensities will be deliberately mismatched to account for the imbalanced splitting ratios of the directional couplers. With the installation of the final cryostat and camera, the developed tools will be leveraged to re-assess the performance in ambient and cryogenic conditions.
△ Less
Submitted 19 August, 2026;
originally announced August 2026.
-
Performance Analysis of the Asgard/NOTT Nulling Interferometer: Optimizing Observing Modes for High-contrast Detection
Authors:
J. P. Scott,
S. Ertel,
T. A. Stuber,
D. Defrère,
R. Laugier,
J. C. Augereau,
P. Chingaipe,
G. Garreau,
X. Haubois,
M. Ireland,
F. Kirchschlager,
S. Kraus,
F. Martinache,
M-A. Martinod,
K. Missiaen,
S. Morel,
J. Morren,
K. Ollmann,
P. Priolet,
G. Raskin,
M. Salman,
N. Schuhler,
W. Verstraeten,
S. Wolf
Abstract:
We evaluate the performance of three beam-combination schemes, single-Bracewell, asymmetric dual-Bracewell, and symmetric dual-Bracewell, for the forthcoming Asgard/NOTT nulling interferometer at the Very Large Telescope Interferometer. Utilizing the SCIFYsim end-to-end simulator, we assess the instrument's performance by deriving the precision of calibrated null measurements as a function of stel…
▽ More
We evaluate the performance of three beam-combination schemes, single-Bracewell, asymmetric dual-Bracewell, and symmetric dual-Bracewell, for the forthcoming Asgard/NOTT nulling interferometer at the Very Large Telescope Interferometer. Utilizing the SCIFYsim end-to-end simulator, we assess the instrument's performance by deriving the precision of calibrated null measurements as a function of stellar magnitude and simulating observations of varying hot exozodiacal dust (HEZD) distributions and a hot Jupiter. The study reveals distinct trade-offs for each observing mode. The single-Bracewell mode provides high throughput and preserves spatial information but suffers from poor error suppression. The asymmetric dual-Bracewell mode offers the strongest error suppression for detecting point-like sources, but it inherently suppresses symmetric astrophysical signals such as expected from HEZD. The symmetric dual-Bracewell mode provides a middle ground with modest error suppression while being sensitive to symmetric emission. We conclude that utilizing a combination of all three observing modes provides a robust strategy for detecting HEZD, constraining the structure of its distribution, and identifying false positives from stellar companions.
△ Less
Submitted 18 August, 2026; v1 submitted 13 August, 2026;
originally announced August 2026.
-
Early Exploration of the Scientific Discovery Space for the Habitable Worlds Observatory
Authors:
Courtney D. Dressing,
Danica Adams,
Evelyne Alecian,
Gagandeep Anand,
Giada Arney,
Sarah Gomes Aroucha Barbosa,
Martin Barstow,
Joanna K. Barstow,
Rachael L. Beaton,
Eduardo Bendek,
Svetlana Berdyugina,
Julie Biedermann,
Sarah Blunt,
Sanchayeeta Borthakur,
Kara Brugman,
Joseph N. Burchett,
Eric Burns,
Jenna M. Cann,
Ludmila Carone,
Cody A. Carr,
Richard Cartwright,
Renyue Cen,
Jean-yves Chaufray,
Pin Chen,
Lígia F Coelho
, et al. (302 additional authors not shown)
Abstract:
The Habitable Worlds Observatory (HWO) is a future NASA flagship mission concept identified by the Astro2020 Decadal Survey as the highest priority for large space missions. HWO should conduct "transformative astrophysics" and search for biosignatures in the atmospheres of approximately 25 potentially Earth-like planets. To further the early-stage development of HWO, NASA formed the Science, Techn…
▽ More
The Habitable Worlds Observatory (HWO) is a future NASA flagship mission concept identified by the Astro2020 Decadal Survey as the highest priority for large space missions. HWO should conduct "transformative astrophysics" and search for biosignatures in the atmospheres of approximately 25 potentially Earth-like planets. To further the early-stage development of HWO, NASA formed the Science, Technology, Architecture Review Team (START). In turn, START invited the scientific community to join working groups to explore the potential discovery space. In this paper, we present 70 science cases that resulted from this process. The cases address four scientific pillars: growth of galaxies (15 cases), evolution of the elements (13 cases), solar systems in context (32 cases), and living worlds (10 cases). Combined, they would address 27 of the 30 science questions and discovery areas identified by Astro2020. The 140 observing programs needed for the 70 investigations encompass a rich variety of spectroscopic (for 87% of science cases) and photometric (for 30%) observations extending from the UV to the NIR. Additionally, high-contrast and polarimetric capabilities would be needed for 34% and 27% of science cases, respectively. Access to UV wavelengths is critical: 83% of science cases need data at wavelengths <400 nm, and 26% extend to <100 nm. In the NIR, 26% of science cases need observations at wavelengths >=2000 nm. Pursuing the full portfolio of science would also necessitate precise astrometry for planet mass measurement, rapid response capabilities, a large instantaneous field of regard, non-sidereal tracking, saturation mitigation strategies, and high dynamic range.
△ Less
Submitted 11 August, 2026;
originally announced August 2026.
-
Spectrally dispersed non-redundant aperture-masking interferometry in the thermal infrared with LBTI/ALES
Authors:
T. A. Stuber,
J. M. Stone,
J. W. Isbell,
T. De Prins,
J. P. Scott,
J. A. Eisner,
J. Carlson,
S. Ertel
Abstract:
Non-redundant aperture-masking interferometry maximizes the angular resolution of a telescope by turning it into an interferometric array using pupil plane masks. If the interference pattern on the detector is spectrally dispersed, deeper contrasts of the astrophysical scenery and an improved coverage of its spatial Fourier modes is achieved. We combined a non-redundant aperture mask with the inte…
▽ More
Non-redundant aperture-masking interferometry maximizes the angular resolution of a telescope by turning it into an interferometric array using pupil plane masks. If the interference pattern on the detector is spectrally dispersed, deeper contrasts of the astrophysical scenery and an improved coverage of its spatial Fourier modes is achieved. We combined a non-redundant aperture mask with the integral field spectrograph ALES of LMIRcam at the Large Binocular Telescope Interferometer (LBTI). With this setup, we recorded spectrally dispersed non-redundant aperture-masking observations in the $L$ band ($\sim$3-4$\,μ$m). We present commissioning data with which we recovered a known binary star and derived contrast detection limits for further point-source components of ${\sim} 5 \times 10^{-3}$ for separations of ${\gtrsim} 80\,$mas. This is the first time that an integral field spectrograph was combined with a non-redundant aperture mask in the $L$ band. Opening up the thermal infrared for this technique, this new capability enables the LBTI to efficiently survey nearby, bright stars for faint companions, which is of great importance for studies on hot exozodiacal dust and target vetting for future exo-Earth imaging missions such as NASA's Habitable Worlds Observatory. A further application is aperture synthesis of extended sources such as active galactic nuclei or evolved stars.
△ Less
Submitted 7 August, 2026;
originally announced August 2026.
-
Upgrading LBTI/NOMIC with a quadruple annular groove phase mask and GeoSnap detector for imaging nearby, habitable-zone exoplanets
Authors:
Kevin Wagner,
Manny Montoya,
Steve Ertel,
Jarron Leisenring,
Pontus Forsberg,
Samuel Ronayette,
Andre Wong,
Mikael Karlsson,
Olivier Absil,
Denis Defrère,
Markus Kasper,
Jordan Stone,
Dániel Apai,
Laird Close,
Jamie Dietrich,
Ewan Douglas,
Jamie Drew,
Olivier Durney,
Marina Fetisova,
Kyran Grattan,
Olivier Guyon,
Jacob Isbell,
Sebastián Jorquera,
Petri Karvinen,
Markku Kuittinen
, et al. (10 additional authors not shown)
Abstract:
The Large Binocular Telescope Interferometer (LBTI)'s Nulling-Optimized Mid-Infrared Camera (NOMIC) is among the most capable thermal-infrared imaging systems available for high-contrast, high-angular-resolution astronomical observations. Here we describe two in-progress upgrades to LBTI/NOMIC: (1) the design, fabrication, and installation of a quadruple annular groove phase mask (Q-AGPM) coronagr…
▽ More
The Large Binocular Telescope Interferometer (LBTI)'s Nulling-Optimized Mid-Infrared Camera (NOMIC) is among the most capable thermal-infrared imaging systems available for high-contrast, high-angular-resolution astronomical observations. Here we describe two in-progress upgrades to LBTI/NOMIC: (1) the design, fabrication, and installation of a quadruple annular groove phase mask (Q-AGPM) coronagraph, and (2) the installation of a 13 micron-cutoff Teledyne GeoSnap array. The Q-AGPM is the first coronagraph to be installed within NOMIC and one of the first optimized for N-band (~11 micron) observations. It places four annular groove phase masks on a single diamond substrate so that, in the LBTI dual-aperture imaging mode, each of the two telescope beams can be chopped between a pair of masks without loss of observing efficiency. The GeoSnap array will replace NOMIC's original AQUARIUS array, delivering higher quantum efficiency, larger well depth, faster and more linear readout, and freedom from the excess low-frequency noise that requires aggressive chopping. Together these upgrades substantially improve the achievable contrast and sensitivity at small angular separations. We also present a high-contrast Fizeau imaging sequence obtained with LBTI's new FFTCam fringe tracker, which confirms the interferometric gain over a single aperture through injection/recovery tests: relative to an equal-time single aperture exposure, the S/N = 3 contrast is a factor of ~2-4 deeper across 0.2-1 arcsec, spanning the contrast- and background-limited regimes. Finally, we describe the role of the upgraded LBTI/NOMIC instrument within the Breakthrough Watch program at the University of Arizona, which aims to perform the deepest observations yet of the habitable zones of the nearest single Sun-like stars.
△ Less
Submitted 30 July, 2026;
originally announced July 2026.
-
Commissioning and on-sky performance verification of iLocater
Authors:
Marshall C. Johnson,
Marcelo Tala Pinto,
Jonathan Crass,
Brian Sands,
Jackson Datkuliak,
Sai Vidyud Senthil Nathan,
Justin R. Crepp,
Michael Engelman,
Daniel Pappalardo,
Julia Brady,
Mark Derwent,
Xavier Lesley-Saldaña,
Andrew Bechter,
Eric Bechter,
Christian Schwab,
David Aikens,
Chad Bender,
Chris Brandon,
Cynthia Brooks,
Matheus J. Castro,
Jeffrey Chilcote,
Al Conrad,
Gregory Delo,
Erin Duell,
Matthew Engstrom
, et al. (37 additional authors not shown)
Abstract:
iLocater is a high-resolution near-infrared extreme precision radial velocity (EPRV) spectrograph that was deployed to the Large Binocular Telescope (LBT) in June 2026. iLocater operates over $λ=966-1312$ nm with a median resolving power of $R=205,000$ as measured in the laboratory. We present the commissioning and initial on-sky verification program using solar and night-time observations at the…
▽ More
iLocater is a high-resolution near-infrared extreme precision radial velocity (EPRV) spectrograph that was deployed to the Large Binocular Telescope (LBT) in June 2026. iLocater operates over $λ=966-1312$ nm with a median resolving power of $R=205,000$ as measured in the laboratory. We present the commissioning and initial on-sky verification program using solar and night-time observations at the LBT. First light was achieved on 27 June 2026, and nearly 150 on-sky spectra have now been recorded. Observations include single stars ranging in spectral type from B5 to M6. iLocater uses the LBT AO system, and we have demonstrated its ability to obtain spatially resolved spectra of close ($θ< 1''$) binary stars.
△ Less
Submitted 29 July, 2026;
originally announced July 2026.
-
Asgard/NOTT: Cryogenic characterization of the mid-infrared chip
Authors:
G. Garreau,
D. Defrère,
R. Laugier,
P. Chingaipe,
M-A. Martinod,
T. Mattheussen,
K. Missiaen,
J. Morren,
G. Raskin,
M. Salman,
W. Verstraeten,
A. Bigioli,
S. Ertel,
S. Gross,
X. Haubois,
M. Ireland,
A. P. Joó,
S. Kraus,
L. Labadie,
S. Madden,
F. Martinache,
A. Mazzoli,
G. Medgyesi,
A. Sanny,
N. Schuhler
, et al. (3 additional authors not shown)
Abstract:
NOTT is part of the new visitor instrument suite Asgard for the Very Large Telescope Interferometer (VLTI), and the first long-baseline nulling interferometer that will be operational in the southern hemisphere. It is an L'-band (3.5-4$\,μ$m) instrument optimized for imaging hot exozodiacal dust and young giant planets orbiting around the snowline of nearby main-sequence stars. For planet imaging,…
▽ More
NOTT is part of the new visitor instrument suite Asgard for the Very Large Telescope Interferometer (VLTI), and the first long-baseline nulling interferometer that will be operational in the southern hemisphere. It is an L'-band (3.5-4$\,μ$m) instrument optimized for imaging hot exozodiacal dust and young giant planets orbiting around the snowline of nearby main-sequence stars. For planet imaging, the L' band has the advantage of relaxing the requirements on the star-planet contrast to $\sim 10^{-5}$ while limiting the level of background noise compared with longer wavelengths. Nulling interferometry in the L'-band was made possible by the development of mid-infrared integrated optics with high throughput. NOTT uses a photonic beam combiner made of Gallium Lanthanum Sulfide (GLS), manufactured at Macquarie University and characterized at ambient temperatures at Universität zu Köln. This first characterization showed that the chip could achieve the broadband contrast requirement for exoplanet imaging. Using the test bench of the NOTT instrument assembled at KU Leuven, and its test cryostat, we successfully cooled the chip down to $\sim 138\,$K and performed its first characterization at cryogenic temperatures. The results show a raw broadband contrast of $\sim1\,\%$, similar to the previous measurements done at ambient temperatures. The splitting ratios of the different couplers are also shown to remain stable at cryogenic temperatures, with less than $\sim 2\,\%$ uncertainty compared to ambient measurements. These results thus show that the beam-combining properties and splitting ratios are behaving as expected at 138$\,$K. The current maximum throughput of the chip is estimated at $\sim37\,\%$. Future work will investigate an anti-reflection coating to reduce its Fresnel losses and increase its throughput to $\sim50\,\%$.
△ Less
Submitted 22 July, 2026;
originally announced July 2026.
-
Harnessing Code Agents for Automatic Software Verification
Authors:
Shuangxiang Kan,
Shuanglong Kan,
Sebastian Ertel
Abstract:
Formal verification offers the strongest guarantee of software correctness, but it does not scale: the proofs demanded by interactive theorem provers such as Coq require enormous expert effort. Large language models (LLMs) promise to generate these proofs automatically, yet existing approaches wire a fixed, human-designed proof strategy into the system and constrain the model to follow it (retriev…
▽ More
Formal verification offers the strongest guarantee of software correctness, but it does not scale: the proofs demanded by interactive theorem provers such as Coq require enormous expert effort. Large language models (LLMs) promise to generate these proofs automatically, yet existing approaches wire a fixed, human-designed proof strategy into the system and constrain the model to follow it (retrieving premises and predicting tactics one step at a time, or splitting goals by divide-and-conquer), and still prove only a fraction of their target theorems.
We show that imposing such a strategy is unnecessary and limiting. Handing the whole lemma to a general LLM code agent (for example, Claude Code), free to choose its own approach, and wrapping it in a verification harness is both simpler and more effective, achieving full coverage: every targeted lemma proved, with no failures and no Coq expert intervention. The agent writes the proofs under feedback and hard constraints from the harness that keep each one sound (accepted only when the prover's kernel closes it), complete (no obligation left unproved or silently dropped), and terminating (no divergent tactics).
We evaluate this harness plus code agent along three dimensions. (1) Core logic: on Iris, the state-of-the-art separation logic for concurrent and memory-manipulating programs, Aria proves all 4,257 lemmas of the four core modules and the 217 lemmas verifying Rust's standard libraries built on it, fully automatically. (2) Comparison with prior LLM provers: on reglang, where prior provers manage barely one in eight, Aria proves all 318. (3) Generality: on iris-lean, the unfinished Lean 4 port of Iris, it proves 72 not-yet-ported lemmas, showing the approach is not specific to Coq. A state-of-the-art model (Claude Opus 4.7) can write proofs for verified software development fully and automatically.
△ Less
Submitted 7 July, 2026;
originally announced July 2026.
-
From Young to Older Disks: JWST/MIRI Evidence for Fading Molecular Emission and Hints for Elevated C/O in Upper Scorpius
Authors:
Chengyan Xie,
Ilaria Pascucci,
Feng Long,
Uma Gorti,
Andrea Banzatti,
Richard Booth,
Klaus Pontoppidan,
Tamara Molyarova,
John Carpenter,
Min Fang,
Yao Liu,
Eshan Raul,
Ke Zhang,
Steve Ertel,
Jordan Stone,
Aaron Empey,
Carlo F. Manara,
Paola Pinilla,
Colette Salyk,
Benoit Tabone,
Miguel Vioque,
Lucas Cieza,
Giovanni Rosotti,
James Miley,
Geoffrey A. Blake
, et al. (1 additional authors not shown)
Abstract:
We present JWST/MIRI spectroscopy of 14 disks in the older (~5-10 Myr) Upper Scorpius (USco) association and use slab of gas in local thermal equilibrium to infer basic gas properties. We find that half of these disks are molecular rich, with detections of H$_2$O, CO$_2$, HCN, C$_2$H$_2$, and H$_2$, while the other half are molecular poor, showing no molecular emission other than H$_2$. We further…
▽ More
We present JWST/MIRI spectroscopy of 14 disks in the older (~5-10 Myr) Upper Scorpius (USco) association and use slab of gas in local thermal equilibrium to infer basic gas properties. We find that half of these disks are molecular rich, with detections of H$_2$O, CO$_2$, HCN, C$_2$H$_2$, and H$_2$, while the other half are molecular poor, showing no molecular emission other than H$_2$. We further combine this sample with 10 other USco disks from the AGE-PRO program and compare the combined older sample to young (~1-3 Myr) JDISCS Cycle~1 systems, which are analyzed in a similar manner. We find that USco disks have lower detection rates of major molecular species but a significantly higher detection rate of rarer C-bearing molecules such as C$_4$H$_2$. At a given accretion luminosity, molecular line luminosities are systematically lower in USco than in young disks, and the scaling relations with accretion luminosity differ between the two populations. Moreover, we find that about half of the older disks, preferentially the millimeter faint, and likely more compact disks, have observable mass ratios of C- to O-bearing molecules that are higher than the maximum values in the young sample. These results point to reduced inner-disk molecular gas masses, cooler emitting layers, and higher inner gas C/O ratios in older disks, the latter being consistent with pebble drift. Taken together, our findings provide evidence for chemical evolution of inner disk gas from young to older systems, with important implications for the accretion of primordial planetary atmospheres.
△ Less
Submitted 25 June, 2026;
originally announced June 2026.
-
Exploring Exoplanets with Interferometry
Authors:
Sascha P. Quanz,
Bertrand Mennesson,
Charles Beichman,
Jonah T. Hansen,
Felix A. Dannert,
Andrea Fortier,
Michael Ireland,
Nicholas Beltsten,
Eleonora Alei,
Leonid Pogorelyuk,
William O. Balmer,
Denis Defrère,
Gautam Vasisht,
Malcolm Fridlund,
Romain Laugier,
Tiffany Kataria,
Eugene Serabyn,
Steve Ertel,
Hélène Rousseau,
Kevin Wagner,
Rhonda Morgan,
Gerard T. van Belle,
Gail H. Schaefer,
Jean-Philippe Berger,
Taro Matsuo
, et al. (5 additional authors not shown)
Abstract:
(Extract from the Executive Summary) Humanity stands at the threshold of answering one of its most profound questions: Does life exist beyond Earth? Ongoing and upcoming space missions, together with powerful ground-based instruments, have prepared the way for a transformational next step - the detailed characterization of Earth analogs orbiting Sun-like and other stars and the search for atmosphe…
▽ More
(Extract from the Executive Summary) Humanity stands at the threshold of answering one of its most profound questions: Does life exist beyond Earth? Ongoing and upcoming space missions, together with powerful ground-based instruments, have prepared the way for a transformational next step - the detailed characterization of Earth analogs orbiting Sun-like and other stars and the search for atmospheric biosignatures that may indicate life. Within this context, the European Space Agency's Voyage 2050 process has identified the direct detection of thermal emission from temperate terrestrial exoplanets in the mid-infrared (mid-IR) as a top scientific priority. The Large Interferometer For Exoplanets (LIFE) - a space-based, mid-IR nulling interferometer - is designed to meet this goal. LIFE will be capable of detecting climate-relevant gases such as CO$_2$ and H$_2$O, identifying classical biosignatures like O$_3$ and CH$_4$, and probing additional, non-classical biosignatures. It will also provide key data for determining planetary radius, albedo, and temperature, which are essential for assessing habitability. In parallel, the U.S. National Academy has recommended a complementary mission now called the Habitable Worlds Observatory (HWO) - a ~6-meter space telescope equipped with advanced coronagraphs to suppress starlight by a factor of ~10$^{10}$ across the visible and possibly into the near-infrared and near-ultraviolet. Together, LIFE and HWO offer synergistic capabilities, enabling a comprehensive and robust assessment of the prevalence of life-bearing exoplanets in our galactic neighbourhood - a first in human history. By uniting an international and interdisciplinary community of scientists and engineers, LIFE offers a credible pathway toward the direct detection and characterization of potentially habitable - and even inhabited - worlds.
△ Less
Submitted 8 June, 2026;
originally announced June 2026.
-
Evidence for Systematically Larger Dust Grains in Upper Scorpius Relative to Taurus Disks
Authors:
Yao Liu,
Ilaria Pascucci,
Fei Gao,
Chengyan Xie,
Feng Long,
John Carpenter,
Klaus M. Pontoppidan,
Andrea Banzatti,
Richard Booth,
Steve Ertel,
Min Fang,
Uma Gorti,
Tamara Molyarova
Abstract:
Infrared spectroscopy provides a powerful diagnostic for probing the mineralogical properties of dust grains in the terrestrial planet-forming regions of protoplanetary disks. The Upper Scorpius association offers an excellent laboratory for studying disk evolution because it represents an evolved stage (5-10 Myr) compared with younger star-forming regions such as the Taurus Molecular Cloud (1-3 M…
▽ More
Infrared spectroscopy provides a powerful diagnostic for probing the mineralogical properties of dust grains in the terrestrial planet-forming regions of protoplanetary disks. The Upper Scorpius association offers an excellent laboratory for studying disk evolution because it represents an evolved stage (5-10 Myr) compared with younger star-forming regions such as the Taurus Molecular Cloud (1-3 Myr). In this work, we present mid-infrared spectra of 11 disks in Upper Scorpius that were obtained with the Mid-Infrared Instrument aboard the James Webb Space Telescope. We derive emission feature indices for crystalline olivine and pyroxene centered at about 9.2 micron and 11.1 micron, as well as perform spectral decomposition to quantify dust crystallinity and characteristic grain size. These results are compared with those measured from Spitzer/IRS spectra of 31 disks in Taurus with similar stellar types. We find no significant difference in dust crystallinity between the two groups, suggesting that crystallization is largely established at early stages of disk evolution. Our analysis indicates that the average grain size in Upper Scorpius disks is systematically larger than that in Taurus disks, aligning with theories of dust evolution. We also observe a trend of increasing grain size towards later-type stars, as well as a correlation between crystallinity, grain size and the flux ratio F24/F8, which serves as a measure of dust settling. These results suggest that dust processing proceeds in tandem with disk evolution.
△ Less
Submitted 26 May, 2026;
originally announced May 2026.
-
Interaction Tree Semantics for RISC-V: Bridging Compiler and Hardware Verification
Authors:
Shuanglong Kan,
Sebastian Ertel
Abstract:
The Instruction Set Architecture (ISA) is the contract between compilers and processors; proving this contract formally demands cross-level connection to existing mechanized compilers and hardware implementations. As an open, modular ISA gaining adoption across embedded, mobile, and cloud platforms, RISC-V makes a formally verified ISA specification particularly valuable. However, existing formal…
▽ More
The Instruction Set Architecture (ISA) is the contract between compilers and processors; proving this contract formally demands cross-level connection to existing mechanized compilers and hardware implementations. As an open, modular ISA gaining adoption across embedded, mobile, and cloud platforms, RISC-V makes a formally verified ISA specification particularly valuable. However, existing formal RISC-V specifications focus on hardware tooling rather than cross-level verification: they provide no machine-checked instruction-level properties and lack support for verifying this contract across levels.
We address these limitations with a formal semantics of the RISC-V ISA in Rocq, built on Interaction Trees (ITrees). By leveraging ITree bisimulation and refinement, our semantics enables cross-level verification from compiler IR to hardware within a single framework. Our formalization covers a wide spectrum of RISC-V extensions. The correctness of individual instruction semantics is backed by machine-checked lemmas in Rocq. We further validate it by extracting an executable simulator that passes all standard RISC-V test suites. Three case studies demonstrate the effectiveness of our semantics for cross-level verification: first, we prove semantic equivalence via bisimulation between LLVM IR and RISC-V code on an array access pattern via Vellvm (LLVM ITree semantics); second, we apply translation validation to a specific instruction reordering for macro-operation fusion, distinguishing safe reorderings from those that break program-counter-relative addressing; third, we prove that a Kôika hardware ALU correctly implements all R-type integer operations (e.g., ADD, SUB, AND) against our ISA contract.
△ Less
Submitted 6 May, 2026;
originally announced May 2026.
-
Shocks, Winds, and a Torus: The Large Binocular Telescope Interferometer (LBTI) Resolves the Active Nucleus of NGC 4151
Authors:
Jacob W. Isbell,
Steve Ertel,
Makoto Kishimoto,
Gerd Weigelt,
Jörg-Uwe Pott,
Jared Carlson,
Qixiang Duan,
Violeta Gámez Rosas,
Walter Jaffe,
James Leftley,
Daniel May,
Romain. G. Petrov,
Jennifer Power,
Hélène Rousseau,
Justin Rupert
Abstract:
We present mid-infrared (MIR) observations of the Seyfert 1 galaxy NGC 4151 using the Large Binocular Telescope Interferometer (LBTI). We took open-loop Fizeau images with 66-104 mas (5.8-9.1 pc) resolution in the N-band (at $8.7$ and $10.5~μm$), using the full resolution of the LBTI -- equivalent to that of a 28.8 m telescope. These images were complemented by AO imaging in the LM-bands ($3.7$ an…
▽ More
We present mid-infrared (MIR) observations of the Seyfert 1 galaxy NGC 4151 using the Large Binocular Telescope Interferometer (LBTI). We took open-loop Fizeau images with 66-104 mas (5.8-9.1 pc) resolution in the N-band (at $8.7$ and $10.5~μm$), using the full resolution of the LBTI -- equivalent to that of a 28.8 m telescope. These images were complemented by AO imaging in the LM-bands ($3.7$ and $4.8~μm$), with 50-62 mas (4.4-5.4 pc) resolution. These images bridge the scales between previous Very Large Telescope Interferometer (VLTI)/MIDI and VLT/VISIR data, delivering ELT-like imaging resolution in the N-band. We resolve a dusty torus, (diameter 32 pc, PA$=125^{\circ}$), and detect dusty clouds within the narrow line region. Matching the resolution across four bands, we measured spatially-resolved SEDs of the central $\sim 100$ pc. Modified blackbody fitting revealed dust temperature and extinction profiles, indicating both heating from the accretion disk and additional shock heating due to the radio jet. The spatial coincidence of ionized emission (e.g., [Fe II] and [O III]), extended MIR structures, and radio features further supports the interpretation of shock heating. Comparison with NGC 1068 tests the Unified Model of Active Galactic Nuclei (Unified Model of AGN): Structures are similar, despite differences in orientation and Eddington ratio. NGC 4151's torus is smaller than NGC 1068's following a $r\propto L^{0.5}$ scaling. These thirty-meter-telescope class observations of NGC 4151 and NGC 1068 highlight the need to revise MIR radiative transfer models of AGN to account for jet-related heating.
△ Less
Submitted 4 February, 2026;
originally announced February 2026.
-
Follow-up of three exocomet-host candidates
Authors:
P. Muñoz-Cutanda,
I. Rebollido,
B. Montesinos,
P. Cruz,
O. Absil,
S. Ertel
Abstract:
Exocomets are small bodies that evaporate when they approach their host star. They are detected through variability of non-photospheric features with spectroscopy and/or asymmetric transits in time-series photometry. In the past four decades ~30 systems have shown such variations, and were therefore classified as exocomet host stars. However, some publications have pointed out mechanisms that migh…
▽ More
Exocomets are small bodies that evaporate when they approach their host star. They are detected through variability of non-photospheric features with spectroscopy and/or asymmetric transits in time-series photometry. In the past four decades ~30 systems have shown such variations, and were therefore classified as exocomet host stars. However, some publications have pointed out mechanisms that might mimic exocometary features, and therefore, careful monitoring is needed to confirm the origin of the observed variability. With this paper we aim to investigate the exocomet nature of the non-photospheric variable features observed in the exocomet candidate stars HD 36546, HD 42111 and HD 85905. All of them have shown some degree of variability, particularly in their Ca II K line. We analysed the non-photospheric Ca II K line features from high-resolution spectra obtained using new NOT/FIES and Mercator/HERMES, and some additional archival spectra of the target stars. The variability was quantified through the changes in the equivalent widths of those features, which are assumed to be of circumstellar origin. Column densities were also estimated for each variable feature. Strong variability was found for HD 85905, consistent with a potential link to exocometary activity. However, the binarity of the system, which we confirmed through interferometric VLTI/PIONIER observations, complicates the interpretation of these signatures and prevents us from drawing definitive conclusions. The remaining two sources do not show any significant variability, but due to the sporadic nature of the exocometary events, we cannot discard the exocomet hypothesis. Further monitoring of the stars will be necessary to carry out a robust determination of the variability patterns and timescales that would completely rule out other scenarios.
△ Less
Submitted 20 January, 2026;
originally announced January 2026.
-
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) II. The radial structure of debris discs
Authors:
Yinuo Han,
Elias Mansell,
Jeff Jennings,
Sebastian Marino,
A. Meredith Hughes,
Brianna Zawadzki,
Anna Fehr,
Jamar Kittling,
Catherine Hou,
Aliya Nurmohamed,
Junu Lee,
Allan Cheruiyot,
Yamani Mpofu,
Mark Booth,
Richard Booth,
Myriam Bonduelle,
Aoife Brennan,
Carlos del Burgo,
John M. Carpenter,
Gianni Cataldi,
Eugene Chiang,
Steve Ertel,
Thomas Henning,
Marija R. Jankovic,
Ágnes Kóspál
, et al. (16 additional authors not shown)
Abstract:
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) was recently completed to cover the lack of high-resolution observations of debris discs and to investigate the prevalence of substructures such as radial gaps and rings in a sample of 24 discs. This study characterises the radial structure of debris discs in the ARKS programme. To identify and quantify the disc substructures, we model…
▽ More
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) was recently completed to cover the lack of high-resolution observations of debris discs and to investigate the prevalence of substructures such as radial gaps and rings in a sample of 24 discs. This study characterises the radial structure of debris discs in the ARKS programme. To identify and quantify the disc substructures, we modelled all discs with a range of non-parametric and parametric approaches. We find that of the 24 discs in the sample, 5 host multiple rings, 7 are single rings that display halos or additional low-amplitude rings, and 12 are single rings with at most tentative evidence of additional substructures. The fractional ring widths that we measured are significantly narrower than previously derived values, and they follow a distribution similar to the fractional widths of individual rings resolved in protoplanetary discs. However, there exists a population of rings in debris discs that are significantly wider than those in protoplanetary discs. We also find that discs with steep inner edges consistent with planet sculpting tend to be found at smaller (<100 au) radii, while more radially extended discs tend to have shallower edges more consistent with collisional evolution. An overwhelming majority of discs have radial profiles well-described by either a double power law or double-Gaussian parametrisation. While our findings suggest that it may be possible for some debris discs to inherit their structures directly from protoplanetary discs, there exists a sizeable population of broad debris discs that cannot be explained in this way. Assuming that the distribution of millimetre dust reflects the distribution of planetesimals, mechanisms that cause rings in protoplanetary discs to migrate or debris discs to broaden soon after formation may be at play, possibly mediated by planetary migration or scattering.
△ Less
Submitted 20 January, 2026;
originally announced January 2026.
-
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) V: Comparison between scattered light and thermal emission
Authors:
J. Milli,
J. Olofsson,
M. Bonduelle,
R. Bendahan-West,
J. P. Marshall,
E. Choquet,
A. A. Sefilian,
Y. Han,
B. Zawadzki,
S. Mac Manamon,
E. Mansell,
C. del Burgo,
J. M. Carpenter,
A. M. Hughes,
M. Booth,
E. Chiang,
S. Ertel,
Th. M. Esposito,
Th. Henning,
J. Hom,
M. R. Jankovic,
A. V. Krivov,
J. B. Lovell,
P. Luppe,
M. A. MacGregor
, et al. (11 additional authors not shown)
Abstract:
Debris discs are analogues to our own Kuiper belt around main-sequence stars and are therefore referred to as exoKuiper belts. They have been resolved at high angular resolution at wavelengths spanning the optical to the submillimetre-millimetre regime. Short wavelengths probe the light scattered by such discs, which is dominated by micron-sized dust particles, while millimetre wavelengths probe t…
▽ More
Debris discs are analogues to our own Kuiper belt around main-sequence stars and are therefore referred to as exoKuiper belts. They have been resolved at high angular resolution at wavelengths spanning the optical to the submillimetre-millimetre regime. Short wavelengths probe the light scattered by such discs, which is dominated by micron-sized dust particles, while millimetre wavelengths probe the thermal emission of millimetre-sized particles. Determining differences in the dust distribution between millimetre- and micron-sized dust is fundamental to revealing the dynamical processes affecting the dust in debris discs. We aim to compare the scattered light from the discs of the ALMA survey to Resolve exoKuiper belt Substructures (ARKS) with the thermal emission probed by ALMA. We focus on the radial distribution of the dust. We used high-contrast scattered light observations obtained with VLT/SPHERE, GPI, and the HST to uniformly study the dust distribution in those systems and compare it to the dust distribution extracted from the ALMA observations carried out in the course of the ARKS project. We also set constraints on the presence of planets by using these high-contrast images combined with exoplanet evolutionary models. 15 of the 24 discs comprising the ARKS sample are detected in scattered light, with TYC9340-437-1 being imaged for the first time at near-infrared wavelengths. For 6 of those 15 discs, the dust surface density seen in scattered light peaks farther out compared to that observed with ALMA. These 6 discs except one are known to also host cold CO gas. Conversely, the systems without significant offsets are not known to host gas, except one. This observational study suggests that the presence of gas in debris discs may affect the small and large grains differently, pushing the small dust to greater distances where the gas is less abundant.
△ Less
Submitted 18 January, 2026;
originally announced January 2026.
-
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) III: The vertical structure of debris disks
Authors:
Brianna Zawadzki,
Anna Fehr,
A. Meredith Hughes,
Elias Mansell,
Jamar Kittling,
Yinuo Han,
Catherine Hou,
Margaret Pan,
Julien Milli,
Johan Olofsson,
Tim D. Pearce,
Antranik A. Sefilian,
Aliya Nurmohamed,
Junu Lee,
Yamani Mpofu,
Myriam Bonduelle,
Mark Booth,
Aoife Brennan,
Carlos del Burgo,
John M. Carpenter,
Gianni Cataldi,
Eugene Chiang,
Steve Ertel,
Thomas Henning,
Marija R. Jankovic
, et al. (15 additional authors not shown)
Abstract:
Debris disks -- collisionally sustained belts of dust and sometimes gas around main sequence stars -- are remnants of planet formation processes and are found in systems ${\gtrsim}10$ Myr old. Millimeter-wavelength observations are particularly important, as the grains probed by these observations are not strongly affected by radiation pressure and stellar winds, allowing them to probe the dynamic…
▽ More
Debris disks -- collisionally sustained belts of dust and sometimes gas around main sequence stars -- are remnants of planet formation processes and are found in systems ${\gtrsim}10$ Myr old. Millimeter-wavelength observations are particularly important, as the grains probed by these observations are not strongly affected by radiation pressure and stellar winds, allowing them to probe the dynamics of large bodies producing dust. The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) is analyzing high-resolution observations of 24 debris disks to enable the characterization of debris disk substructures across a large sample for the first time. For the most highly inclined disks, it is possible to recover the vertical structure of the disk. We aim to model and analyze the most highly inclined systems in the ARKS sample in order to uniformly extract the vertical dust distributions for a sample of well-resolved debris disks. We employed both parametric and nonparametric methods to constrain the vertical dust distributions for the most highly inclined ARKS targets. We find a broad range of aspect ratios, revealing a wide diversity in vertical structure, with a range of best-fit parametric values of $0.0026 \leq h_{\rm HWHM} \leq 0.193$ and a median best-fit value of $h_{\rm HWHM}=0.021$. The results obtained by nonparametric modeling are generally consistent with the parametric modeling results. We find that five of the 13 disks are consistent with having total disk masses less than that of Neptune (17 $M_{\oplus}$), assuming stirring by internal processes (self-stirring and collisional and frictional damping). Furthermore, most systems show a significant preference for a Lorentzian vertical profile rather than a Gaussian.
△ Less
Submitted 17 January, 2026;
originally announced January 2026.
-
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS): VI. Asymmetries and offsets
Authors:
J. B. Lovell,
A. S. Hales,
G. M. Kennedy,
S. Marino,
J. Olofsson,
A. M. Hughes,
E. Mansell,
B. C. Matthews,
T. D. Pearce,
A. A. Sefilian,
D. J. Wilner,
B. Zawadzki,
M. Booth,
M. Bonduelle,
A. Brennan,
C. del Burgo,
J. M. Carpenter,
G. Cataldi,
E. Chiang,
A. Fehr,
Y. Han,
Th. Henning,
A. V. Krivov,
P. Luppe,
J. P. Marshall
, et al. (11 additional authors not shown)
Abstract:
Asymmetries in debris discs provide unique clues to understand the evolution and architecture of planetary systems.** The aim of the ALMA survey to Resolve exoKuiper belt Substructures (ARKS) is to expand our understanding of radial and vertical dust structures, as well as gas distributions and kinematics, in debris discs.** Here, in ARKS~VI, we present a systematic analysis of the asymmetries and…
▽ More
Asymmetries in debris discs provide unique clues to understand the evolution and architecture of planetary systems.** The aim of the ALMA survey to Resolve exoKuiper belt Substructures (ARKS) is to expand our understanding of radial and vertical dust structures, as well as gas distributions and kinematics, in debris discs.** Here, in ARKS~VI, we present a systematic analysis of the asymmetries and stellocentric offsets present in the ALMA continuum data for the ARKS survey. Our aims are to identify asymmetries in debris disc dust distributions, quantify debris disc asymmetry properties, and discuss the potential origins of debris disc asymmetries.** We utilised empirical methods to identify emission asymmetries** and the presence of offset emission between disc centres and the locations of the host stars, via an analysis of their calibration procedures and disc properties. We associated observational asymmetry types** and plausible physical classes** associated with each source. We show that there are ten systems, almost half of the ARKS sample, that host either a continuum emission asymmetry or offset emission. Three systems host offsets (HD15115, HD32297, and HD109573 (HR4796)), four host azimuthal asymmetries (HD9672 (49Ceti), HD92945, HD107146, and HD121617), two host an asymmetry in their major axis (HD10647 (q$^1$ Eri), and HD39060 ($β$ Pic)), and one hosts an asymmetry in their minor axis (HD61005). We attribute the offset asymmetries to non-zero eccentricities, and three of the azimuthal asymmetries to arcs. The presence of an asymmetry or offset in the ARKS sample appears to be correlated with the fractional luminosity of cold dust.** Conclusions: This study demonstrates that debris disc asymmetries in the ARKS sample are common, and plausibly so in the wider population of debris discs at (sub)-millimetre wavelengths.** ** = ABRIDGED FOR ARXIV: FULL ABSTRACT IN PAPER
△ Less
Submitted 16 January, 2026;
originally announced January 2026.
-
The ALMA survey to Resolve exoKuiper belt Substructures (ARKS) I: Motivation, sample, data reduction, and results overview
Authors:
S. Marino,
L. Matrà,
A. M. Hughes,
J. Ehrhardt,
G. M. Kennedy,
C. del Burgo,
A. Brennan,
Y. Han,
M. R. Jankovic,
J. B. Lovell,
S. Mac Manamon,
J. Milli,
P. Weber,
B. Zawadzki,
R. Bendahan-West,
A. Fehr,
E. Mansell,
J. Olofsson,
T. D. Pearce,
A. Bayo,
B. C. Matthews,
T. Löhne,
M. C. Wyatt,
P. Ábrahám,
M. Bonduelle
, et al. (17 additional authors not shown)
Abstract:
The outer regions of planetary systems host dusty debris discs analogous to the Kuiper belt (exoKuiper belts), which provide crucial constraints on planet formation and evolution processes. ALMA dust observations have revealed a great diversity, and that some belts contain CO gas, whose origin and implications are uncertain. Most of this progress, however, has been limited by low-resolution observ…
▽ More
The outer regions of planetary systems host dusty debris discs analogous to the Kuiper belt (exoKuiper belts), which provide crucial constraints on planet formation and evolution processes. ALMA dust observations have revealed a great diversity, and that some belts contain CO gas, whose origin and implications are uncertain. Most of this progress, however, has been limited by low-resolution observations. We conducted the first ALMA large programme dedicated to debris discs: the ALMA survey to Resolve exoKuiper belt Substructures (ARKS). We selected the 24 most promising belts to constrain their detailed radial and vertical structure, and to characterise the gas content. We constrained the radial and vertical distribution of dust, as well as the presence of asymmetries. For a subset of six belts with CO gas, we constrained the gas distribution and kinematics. To interpret these observations, we used a wide range of dynamical models. The first ARKS results are presented as a series of ten papers. We discovered that up to 33% of our sample exhibits multiple dusty rings. For highly inclined belts, we found that non-Gaussian vertical distributions are common and are indicative of multiple dynamical populations. We also found that 10 of the 24 belts present asymmetries. We find that the CO gas is radially broader than the dust, but this could be an effect of optical depth. At least one system shows non-Keplerian kinematics due to strong pressure gradients, which may have triggered a vortex that trapped dust in an arc. Finally, we find evidence that the micron-sized grains may be affected by gas drag in gas rich systems. ARKS has revealed a great diversity of structures in exoKuiper belts that may arise when they are formed in protoplanetary discs or subsequently via interactions with planets and/or gas. We encourage the community to explore the reduced data and data products.
△ Less
Submitted 16 January, 2026;
originally announced January 2026.
-
High-contrast L-band Integral Field Spectroscopy of HD 33632 Ab
Authors:
Jordan M. Stone,
Steve Ertel,
Travis Barman,
Andrew J. I. Skemer,
Jarron M. Leisenring,
Philip M. Hinz,
Charles E. Woodward,
Michael F. Skrutskie
Abstract:
We present LBTI/ALES 3.07-4.08 micron spectroscopic observations of HD~33632~Ab, a ~53 M_Jup directly imaged companion to an F8 star. Spectroscopic measurements of HD 33632 Ab now span 1-4 micron, and we perform the first spectroscopic analysis covering this full range. The data are compared to isolated brown dwarf template spectra, indicating that HD 33632 Ab is similar to L8/9 field brown dwarfs…
▽ More
We present LBTI/ALES 3.07-4.08 micron spectroscopic observations of HD~33632~Ab, a ~53 M_Jup directly imaged companion to an F8 star. Spectroscopic measurements of HD 33632 Ab now span 1-4 micron, and we perform the first spectroscopic analysis covering this full range. The data are compared to isolated brown dwarf template spectra, indicating that HD 33632 Ab is similar to L8/9 field brown dwarfs. Synthetic atmosphere model spectra from multiple model families are fit, with cloudy models providing the best fits, consistent with expectations for an L-dwarf. Evolutionary model predictions for the bulk properties of HD 33632 Ab are highly constrained by the precise dynamical mass found for the object. In particular, predictions for surface gravity are narrowly peaked, log(g)=5.21+/-0.05, and not dependent on the effects of clouds or cloud dispersion. We find significant tension between the surface gravities and object radii inferred from atmosphere model fits and those predicted by evolutionary models. We conclude with a comparison to the spectra of the HR 8799 c, d, and e, and emphasize the case that HD 33632 Ab, and other L/T transition directly imaged companions with constrained masses, will serve an essential role in understanding the complex physical processes governing the appearance of clouds in planetary atmospheres.
△ Less
Submitted 5 December, 2025;
originally announced December 2025.
-
Interferometric Detection and Orbit Modeling of the Subcomponent in the Hot-dust System $κ$ Tuc A: A Low-mass Star on an Eccentric Orbit in a Hierarchical-quintuple System
Authors:
T. A. Stuber,
A. Mérand,
F. Kirchschlager,
S. Wolf,
G. Weible,
O. Absil,
T. D. Pearce,
G. Garreau,
J. -C. Augereau,
W. C. Danchi,
D. Defrère,
V. Faramaz-Gorka,
J. W. Isbell,
J. Kobus,
A. V. Krivov,
R. Laugier,
K. Ollmann,
R. G. Petrov,
P. Priolet,
J. P. Scott,
K. Tsishchankava,
S. Ertel
Abstract:
The system $κ$ Tuc A is part of a hierarchical-quintuple system and is a prime target for studies of hot-exozodiacal dust, because a time-variable near-infrared excess has been detected. We observed the system with the Multi Aperture mid-Infrared Spectroscopic Experiment (MATISSE) and GRAVITY at the Very Large Telescope Interferometer, and detected the stellar companion to the primary $κ$ Tuc Aa t…
▽ More
The system $κ$ Tuc A is part of a hierarchical-quintuple system and is a prime target for studies of hot-exozodiacal dust, because a time-variable near-infrared excess has been detected. We observed the system with the Multi Aperture mid-Infrared Spectroscopic Experiment (MATISSE) and GRAVITY at the Very Large Telescope Interferometer, and detected the stellar companion to the primary $κ$ Tuc Aa that was previously inferred by astrometry, $κ$ Tuc Ab. Its $L$-band flux ratio to the primary is 1.32% and its signature in the MATISSE closure phases is mostly smaller than +/- 2°, which makes $κ$ Tuc Ab the highest-contrast companion ever detected with MATISSE closure phases. We verified with GRAVITY that relative astrometry with milliarcsecond precision can be retrieved from MATISSE closure phases. Using multiple epochs of observations, we obtain a full orbital solution for $κ$ Tuc Ab. Its orbit has an eccentricity of 0.94 and a semi-major axis of 4.8au. The orbit of $κ$ Tuc Ab and the orbit of the wider separation companion $κ$ Tuc B are mutually inclined. Based on the measured flux ratio of $κ$ Tuc Ab to Aa and their dynamical mass, we estimate the spectral type of $κ$ Tuc Ab to be M3.5V to M4.5V. While the then unknown star $κ$ Tuc Ab might have caused the putative detection of hot-exozodiacal dust around $κ$ Tuc Aa in 2012 and 2014, this cannot be for the detection in 2019, giving rise to an intriguing system architecture. This motivates studies investigating the interplay of the low-mass star on an eccentric orbit, the hot-exozodiacal dust, and a possible planetesimal reservoir.
△ Less
Submitted 2 December, 2025;
originally announced December 2025.
-
Chasing the storm: Investigating the application of high-contrast imaging techniques in producing precise exoplanet light curves
Authors:
Ben J. Sutlieff,
David S. Doelman,
Jayne L. Birkby,
Matthew A. Kenworthy,
Jordan M. Stone,
Frans Snik,
Steve Ertel,
Beth A. Biller,
Charles E. Woodward,
Andrew J. Skemer,
Jarron M. Leisenring,
Alexander J. Bohn,
Luke T. Parker
Abstract:
Substellar companions such as exoplanets and brown dwarfs exhibit changes in brightness arising from top-of-atmosphere inhomogeneities, providing insights into their atmospheric structure and dynamics. This variability can be measured in the light curves of high-contrast companions from the ground by combining differential spectrophotometric monitoring techniques with high-contrast imaging. Howeve…
▽ More
Substellar companions such as exoplanets and brown dwarfs exhibit changes in brightness arising from top-of-atmosphere inhomogeneities, providing insights into their atmospheric structure and dynamics. This variability can be measured in the light curves of high-contrast companions from the ground by combining differential spectrophotometric monitoring techniques with high-contrast imaging. However, ground-based observations are sensitive to the effects of turbulence in Earth's atmosphere, and while adaptive optics (AO) systems and bespoke data processing techniques help to mitigate these, residual systematics can limit photometric precision. Here, we inject artificial companions to data obtained with an AO system and a vector Apodizing Phase Plate coronagraph to test the level to which telluric and other systematics contaminate such light curves, and thus how well their known variability signals can be recovered. We find that varying companions are distinguishable from non-varying companions, but that variability amplitudes and periods cannot be accurately recovered when observations cover only a small number of periods. Residual systematics remain above the photon noise in the light curves but have not yet reached a noise floor. We also simulate observations to assess how specific systematic sources, such as non-common path aberrations and AO residuals, can impact aperture photometry as a companion moves through pupil-stabilised data. We show that only the lowest-order aberrations are likely to affect flux measurements, but that thermal background noise is the dominant source of scatter in raw companion photometry. Predictive control and focal-plane wavefront sensing techniques will help to further reduce systematics in data of this type.
△ Less
Submitted 3 November, 2025;
originally announced November 2025.
-
Astrometric Methods for Detecting Exomoons Orbiting Imaged Exoplanets: Prospects for Detecting Moons Orbiting a Giant Planet in $α$ Centauri A's Habitable Zone
Authors:
Kevin Wagner,
Ewan Douglas,
Steve Ertel,
Kyran Grattan,
S. Pete Worden,
Aniket Sanghi,
Billy Quarles,
Charles Beichman
Abstract:
Nearby giant exoplanets offer an opportunity to search for moons (exomoons) orbiting them. Here, we present a simulation framework for investigating the possibilities of detecting exomoons via their astrometric signal in planet-to-star relative astrometry. We focus our simulations on $α$ Centauri A, orbited by a hypothetical giant planet consistent with candidate detections in Very Large Telescope…
▽ More
Nearby giant exoplanets offer an opportunity to search for moons (exomoons) orbiting them. Here, we present a simulation framework for investigating the possibilities of detecting exomoons via their astrometric signal in planet-to-star relative astrometry. We focus our simulations on $α$ Centauri A, orbited by a hypothetical giant planet consistent with candidate detections in Very Large Telescope and James Webb Space Telescope observations. We consider a variety of observatory architectures capable of searching for exomoons, including upcoming facilities and also a hypothetical dedicated facility $-$ e.g., a purpose-built space telescope with diameter = 3m, central observing wavelength of 500 nm, and contrast-limited performance of $\sim$10$^{-9}$ in 1 hr observations. We find that such a facility would be capable of detecting $\sim$Earth-mass moons in a five year campaign, assuming a Saturn-mass planet. More generally, we simulate expected detection limits for a variety of levels of astrometric precision. We find that moons as small as $\sim$0.2 M$_\oplus$ on orbital periods of 4$-$30 days can be detected with astrometric precision of 0.1 mas and observing cadence of 1 hr over a five year campaign. Additionally, we find that a 39m ground-based telescope can detect Earth-sized exomoons orbiting the same hypothetical planet with a more modest observing cadence of one day. We discuss these results as motivation for a dedicated space observatory as well as a more detailed study of the physical parameters of a greater variety of star-planet-moon systems.
△ Less
Submitted 16 September, 2025;
originally announced September 2025.
-
Wide Separation Planets In Time (WISPIT): Discovery of a Gap H$α$ Protoplanet WISPIT 2b with MagAO-X
Authors:
Laird M. Close,
Richelle F. van Capelleveen,
Gabriel Weible,
Kevin Wagner,
Sebastiaan Y. Haffert,
Jared R. Males,
Ilya Ilyin,
Matthew A. Kenworthy,
Jialin Li,
Joseph D. Long,
Steve Ertel,
Christian Ginski,
Alycia J. Weinberger,
Kate Follette,
Joshua Liberman,
Katie Twitchell,
Parker Johnson,
Jay Kueny,
Daniel Apai,
Rene Doyon,
Warren Foster,
Victor Gasho,
Kyle Van Gorkom,
Olivier Guyon,
Maggie Y. Kautz
, et al. (12 additional authors not shown)
Abstract:
Excellent (<25 mas) H$_α$ images of the star TYC 5709-354-1 led to the discovery of a rare H$_α$ protoplanet. This star was discovered by the WISPIT survey to have a large multi-ring transitional disk, and is hereafter WISPIT 2. Our H$_α$ images of 2025, April 13 and April 16 discovered an accreting (H$_α$ in emission) protoplanet: WISPIT 2b (r=309.43$\pm$1.56 mas; (~54 au deprojected), PA=242.21…
▽ More
Excellent (<25 mas) H$_α$ images of the star TYC 5709-354-1 led to the discovery of a rare H$_α$ protoplanet. This star was discovered by the WISPIT survey to have a large multi-ring transitional disk, and is hereafter WISPIT 2. Our H$_α$ images of 2025, April 13 and April 16 discovered an accreting (H$_α$ in emission) protoplanet: WISPIT 2b (r=309.43$\pm$1.56 mas; (~54 au deprojected), PA=242.21$\pm$0.41 degrees) likely clearing a dust-free gap between the two brightest dust rings in the transitional disk. Our SNR=12.5 detection gave an H$_α$ ASDI contrast of (6.5$\pm$0.5)x10$^{-4}$ and a H$_α$ line flux of (1.29$\pm$0.28)x10$^{-15}$ erg/s/cm$^2$. We also present L' photometry from LBT/LMIRcam of the planet (L'=15.30$\pm$0.05 mag) which, when coupled with an age of 5.1$^{+2.4}_{-1.3}$ Myr, yields a planet mass estimate of 5.3$\pm$1.0 Mjup from the DUSTY evolutionary models. WISPIT 2b is accreting at 2.25$^{-0.17}_{+3.75}$x10$^{-12}$ Msun/yr. WISPIT 2b is very similar to the other H$_α$ protoplanets in terms of mass, age, flux, and accretion rate. The inclination of the system (${\it i}$=44 degrees) is also, surprisingly, very similar to the other known H$α$ protoplanet systems which all cluster from 37$\leq{\it i}\leq$52 degrees. We argue this clustering has only a ~1.0% (2.6 sigma) probability of occurring randomly, and so we speculate that magnetospherical accretion might have a preferred inclination range (~37-52 degrees) for the direct (cloud free, low extinction) line of sight to the H-alpha line formation/shock region. We also find at 110mas (~15au deprojected) a close companion candidate (CC1) which may be consistent with an inner dusty 9$\pm$4 Mjup planet.
△ Less
Submitted 26 August, 2025;
originally announced August 2025.
-
Hot exozodiacal dust around Fomalhaut: The MATISSE perspective
Authors:
Kevin Ollmann,
Florian Kirchschlager,
Thomas A. Stuber,
Katsiaryna Tsishchankava,
Alexis Matter,
Steve Ertel,
Tim D. Pearce,
Alexander V. Krivov,
Sebastian Wolf
Abstract:
Excess over the stellar photospheric emission of main-sequence stars has been found in interferometric near-infrared observations, and is attributed to the presence of hot exozodiacal dust (HEZD). As part of our effort to detect and characterize HEZD around the nearby A3 V star Fomalhaut, we carried out the first interferometric observations with the MATISSE instrument at the VLTI in the photometr…
▽ More
Excess over the stellar photospheric emission of main-sequence stars has been found in interferometric near-infrared observations, and is attributed to the presence of hot exozodiacal dust (HEZD). As part of our effort to detect and characterize HEZD around the nearby A3 V star Fomalhaut, we carried out the first interferometric observations with the MATISSE instrument at the VLTI in the photometric bands L and M for the Fomalhaut system. Assuming a dust distribution either as a narrow ring or spherical shell for modeling the HEZD, we aim to constrain the HEZD parameters by generating visibilities and fitting them to the MATISSE data using different approaches. The L band data provide a marginal detection of circumstellar radiation, potentially caused by the presence of HEZD, which is only the second detection of HEZD emission in the L band. An analysis of the data with different fitting approaches showed that the best-fit values for the HEZD parameters are consistent with those of previous Fomalhaut observations, which underlines the functionality of MATISSE. Assuming a dust ring, it would have an inner ring radius of \(0.11\ \mathrm{au}\), an outer ring radius of \(0.12\ \mathrm{au}\), a narrow dust grain size distribution around a dust grain radius constrained by \(0.53\ μ\mathrm{m}\), and a total dust mass of \(3.25\times 10^{-10}\ \rm{M}_{\oplus}\). Finally, the results indicate that the choice of the geometric model has a more significant impact on the derived dust-to-star flux ratio than the specific fitting approach applied. Since different dust-to-star flux ratios can result from the applied fitting approaches, this also has an impact on the parameter values of the HEZD around Fomalhaut and most likely for other HEZD systems. Moreover, further NIR and MIR data are required for a more comprehensive description of the emission originating in the vicinity of Fomalhaut.
△ Less
Submitted 3 June, 2025;
originally announced June 2025.
-
GRIP: a generic data reduction package for nulling interferometry
Authors:
Marc-Antoine Martinod,
Denis Defrere,
Romain Laugier,
Steve Ertel,
Olivier Absil,
Barnaby Norris,
Bertrand Mennesson
Abstract:
Nulling interferometry is a powerful observing technique to study exoplanets and circumstellar dust at separations too small for direct imaging with single-dish telescopes. With recent photonics developments and the near-future ground-based instrumental projects, it bears the potential to detect young giant planets near the snow lines of their host stars. The observable quantity of a nulling inter…
▽ More
Nulling interferometry is a powerful observing technique to study exoplanets and circumstellar dust at separations too small for direct imaging with single-dish telescopes. With recent photonics developments and the near-future ground-based instrumental projects, it bears the potential to detect young giant planets near the snow lines of their host stars. The observable quantity of a nulling interferometer is called the null depth, its precise measurement and calibration remain challenging against instrument and atmospheric noise. Null self-calibration is a method aiming to model the statistical distribution of the nulled signal. It has proven to be more sensitive and accurate than average-based data reduction methods in nulling interferometry. The variety of existing and upcoming of nullers raises the issue of consistency of the calibration process, structure of the data and the ability to reduce archived data on the long term. It has also led to many different implementations of the Null self-calibration method. In this article, we introduce GRIP: the first open-source toolbox to reduce nulling data with enhanced statistical self-calibration methods from any nulling interferometric instrument within a single and consistent framework. Astrophysical results show good consistency with two published GLINT and LBTI datasets and confirm nulling precision down to a few 10$^{-4}$.
△ Less
Submitted 13 May, 2025;
originally announced May 2025.
-
The HOSTS Survey: Suspected variable dust emission and constraints on companions around θ Boo
Authors:
G. Garreau,
D. Defrère,
S. Ertel,
V. Faramaz-Gorka,
G. Bryden,
M. Sommer,
D. Mesa,
K. Wagner,
T. De Prins,
R. Laugier,
A. Weinberger,
J. Farinato,
C. Haniff,
P. M. Hinz,
J. W. Isbell,
G. M. Kennedy,
A. Lorenzetto,
E. R. Maier,
L. Marafatto,
S. Marino,
M. A. Martinod,
B. Mennesson,
H. Rousseau,
E. Spalding,
D. Vassallo
, et al. (1 additional authors not shown)
Abstract:
During the HOSTS survey by the LBTI, an excess emission from the main sequence star θ Boo (F7V spectral type, 14.5pc distance) was observed. This excess indicates the presence of exozodiacal dust near the habitable zone (HZ) of the star. Previous observations from Spitzer and Herschel showed no sign of outer cold dust within their respective detection limits. Additional nulling and high-contrast A…
▽ More
During the HOSTS survey by the LBTI, an excess emission from the main sequence star θ Boo (F7V spectral type, 14.5pc distance) was observed. This excess indicates the presence of exozodiacal dust near the habitable zone (HZ) of the star. Previous observations from Spitzer and Herschel showed no sign of outer cold dust within their respective detection limits. Additional nulling and high-contrast AO observations were taken to spatially constrain the dust distribution, search for variability, and directly image potential companions in the system. This study presents the results of these observations and provides an interpretation of the inner system's architecture. The star was observed using the LBTI's N'-band nulling mode during three epochs in 2017, 2018, and 2023. The dust distribution is modeled and constrained for each epoch using the standard LBTI nulling pipeline, assuming a vertically thin disk with a face-on inclination. In addition, high-contrast AO observations are performed in the L'-band and H-band to constrain the presence of substellar companions around the star. Several solutions are found for the dust distribution, and for each epoch. However, the LBTI nulling observations are not able to discriminate between them. Using the upper limits from previous observations, we constrain the representative size of the dust grains around 3-5$μ$m. A tentative increase in dust brightness is also measured at the Earth-equivalent insolation distance between 2017 and 2023. Several options are considered to explain the origin of the observed dust and its variability, but no clear sources could be identified from the current observations. Partly because our high-contrast AO observations could only constrain the presence of companions down to $11M_\text{Jup}$ at 1.3" separation.
△ Less
Submitted 14 July, 2025; v1 submitted 12 May, 2025;
originally announced May 2025.
-
Review and prospects of hot exozodiacal dust research for future exo-Earth direct imaging missions
Authors:
Steve Ertel,
Tim D. Pearce,
John H. Debes,
Virginie C. Faramaz,
William C. Danchi,
Ramya M. Anche,
Denis Defrère,
Yasuhiro Hasegawa,
Justin Hom,
Florian Kirchschlager,
Isabel Rebollido,
Hélène Rousseau,
Jeremy Scott,
Karl Stapelfeldt,
Thomas A. Stuber
Abstract:
Hot exozodiacal dust is dust in the innermost regions of planetary systems, at temperatures around 1000K to 2000K, and commonly detected by near-infrared interferometry. The phenomenon is poorly understood and has received renewed attention as a potential risk to a planned future space mission to image potentially habitable exoplanets and characterize their atmospheres (exo-Earth imaging) such as…
▽ More
Hot exozodiacal dust is dust in the innermost regions of planetary systems, at temperatures around 1000K to 2000K, and commonly detected by near-infrared interferometry. The phenomenon is poorly understood and has received renewed attention as a potential risk to a planned future space mission to image potentially habitable exoplanets and characterize their atmospheres (exo-Earth imaging) such as the Habitable Worlds Observatory (HWO). In this article, we review the current understanding of hot exozodiacal dust and its implications for HWO. We argue that the observational evidence suggests that the phenomenon is most likely real and indeed caused by hot dust, although conclusive proof in particular of the latter statement is still missing. Furthermore, we find that there exists as of yet no single model that is able to successfully explain the presence of the dust. We find that it is plausible and not unlikely that large amounts of hot exozodiacal dust in a system will critically limit the sensitivity of exo-Earth imaging observations around that star. It is thus crucial to better understood the phenomenon in order to be able to evaluate the actual impact on such a mission, and current and near-future observational opportunities for acquiring the required data exist. At the same time, hot exozodiacal dust (and warm exozodiacal dust closer to a system's habitable zone) has the potential to provide important context for HWO observations of rocky, HZ planets, constraining the environment in which these planets exist and hence to determine why a detected planet may be capable to sustain life or not.
△ Less
Submitted 31 March, 2025;
originally announced April 2025.
-
SPHERE/ZIMPOL insights into discs around evolved stars: arcs, asymmetries and dust properties
Authors:
Kateryna Andrych,
Devika Kamath,
Hans Van Wincke,
Akke Corporaa,
Toon De Prins,
Daniel Price,
Steve Ertel,
Jacques Kluska
Abstract:
Second-generation circumbinary discs around evolved binary stars, such as post-Asymptotic Giant Branch (post-AGB) binaries, provide insights into poorly understood mechanisms of dust processing and disc evolution across diverse stellar environments. We present a multi-wavelength polarimetric survey of five evolved binary systems - AR Pup, HR 4049, HR 4226, U Mon, and V709 Car - using the Very Larg…
▽ More
Second-generation circumbinary discs around evolved binary stars, such as post-Asymptotic Giant Branch (post-AGB) binaries, provide insights into poorly understood mechanisms of dust processing and disc evolution across diverse stellar environments. We present a multi-wavelength polarimetric survey of five evolved binary systems - AR Pup, HR 4049, HR 4226, U Mon, and V709 Car - using the Very Large Telescope SPHERE/ZIMPOL instrument. Post-AGB discs show significant polarimetric brightness at optical and near-IR wavelengths, often exceeding 1% of the system's total intensity. We also measured a maximum fractional polarisation of the scattered light for AR Pup of ~0.7 in the V-band and ~0.55 in the I-band. To investigate wavelength-dependent polarisation, we combine the SPHERE/ZIMPOL dataset with results from previous SPHERE/IRDIS studies. This analysis reveals that post-AGB discs exhibit a grey to blue polarimetric colour in the optical and near-IR. Along with high fractional polarisation of the scattered light and polarised intensity distribution, these findings are consistent with a surface dust composition dominated by porous aggregates, reinforcing independent observational evidence for such grains in post-AGB circumbinary discs. We also find evidence of diverse disc geometries within the post-AGB sample, including arcs, asymmetries and significant variations in disc size across optical and near-IR wavelengths for some systems (U Mon, V709 Car). On comparing post-AGB discs to circumstellar environments around AGB stars and YSOs, we found that post-AGB systems exhibit a higher degree of polarisation than single AGB stars and are comparable to the brightest protoplanetary discs around YSOs.
△ Less
Submitted 13 August, 2025; v1 submitted 30 March, 2025;
originally announced March 2025.
-
Exozodiacal dust as a limitation to exoplanet imaging and spectroscopy
Authors:
Miles H. Currie,
John Debes,
Yasuhiro Hasegawa,
Isabel Rebollido,
Virginie Faramaz,
Steve Ertel,
William Danchi,
Bertrand Mennesson,
Mark Wyatt,
NASA SAG23 Members
Abstract:
In addition to planets and other small bodies, stellar systems will likely also host exozodiacal dust, or exozodi. This warm dust primarily resides in or near the habitable zone of a star, and scatters stellar light in visible to NIR wavelengths, possibly acting as a spatially inhomogeneous fog that can impede our ability to detect and characterize Earth-like exoplanets. By improving our knowledge…
▽ More
In addition to planets and other small bodies, stellar systems will likely also host exozodiacal dust, or exozodi. This warm dust primarily resides in or near the habitable zone of a star, and scatters stellar light in visible to NIR wavelengths, possibly acting as a spatially inhomogeneous fog that can impede our ability to detect and characterize Earth-like exoplanets. By improving our knowledge of exozodi in the near term with strategic precursor observations and model development, we may be able to mitigate these effects to support a future search for signs of habitability and life with a direct imaging mission. This white paper introduces exozodi, summarizes its impact on directly imaging Earth-like exoplanets, and outlines several key knowledge gaps and near-term solutions to maximize the science return of future observations.
△ Less
Submitted 24 March, 2025;
originally announced March 2025.
-
Formally-verified Security against Forgery of Remote Attestation using SSProve
Authors:
Sara Zain,
Jannik Mähn,
Stefan Köpsell,
Sebastian Ertel
Abstract:
Remote attestation (RA) is the foundation for trusted execution environments in the cloud and trusted device driver onboarding in operating systems. However, RA misses a rigorous mechanized definition of its security properties in one of the strongest models, i.e., the semantic model. Such a mechanization requires the concept of StateSeparating Proofs (SSP). However, SSP was only recently implemen…
▽ More
Remote attestation (RA) is the foundation for trusted execution environments in the cloud and trusted device driver onboarding in operating systems. However, RA misses a rigorous mechanized definition of its security properties in one of the strongest models, i.e., the semantic model. Such a mechanization requires the concept of StateSeparating Proofs (SSP). However, SSP was only recently implemented as a foundational framework in the Rocq Prover. Based on this framework, this paper presents the first mechanized formalization of the fundamental security properties of RA. Our Rocq Prover development first defines digital signatures and formally verifies security against forgery in the strong existential attack model. Based on these results, we define RA and reduce the security of RA to the security of digital signatures. Our development provides evidence that the RA protocol is secure against forgery. Additionally, we extend our reasoning to the primitives of RA and reduce their security to the security of the primitives of the digital signatures.
△ Less
Submitted 14 July, 2025; v1 submitted 24 February, 2025;
originally announced February 2025.
-
Direct imaging of AGN outflows and their origin with the 23 m Large Binocular Telescope
Authors:
Jacob W. Isbell,
Steve Ertel,
Jörg-Uwe Pott,
Gerd Weigelt,
Marko Stalevski,
James Leftley,
Walter Jaffe,
Romain G. Petrov,
Niklas Moszczynski,
Pierre Vermot,
Philip Hinz,
Leonard Burtscher,
Violeta Gámez Rosas,
Alexander Becker,
Jared Carlson,
Virginie Faramaz-Gorka,
William F. Hoffmann,
Jarron Leisenring,
Jennifer Power,
Kevin Wagner
Abstract:
Active galactic nuclei (AGNs) are a key component of galaxy evolution due to feedback on the host from its supermassive black hole. The morphology of warm, in- and outflowing dusty material can reveal the nature of the onset of feedback, AGN feeding, and the unified model of AGN. Here we use the Large Binocular Telescope Interferometer (LBTI) to image the dense, obscuring disk and extended dusty o…
▽ More
Active galactic nuclei (AGNs) are a key component of galaxy evolution due to feedback on the host from its supermassive black hole. The morphology of warm, in- and outflowing dusty material can reveal the nature of the onset of feedback, AGN feeding, and the unified model of AGN. Here we use the Large Binocular Telescope Interferometer (LBTI) to image the dense, obscuring disk and extended dusty outflow region of NGC 1068. In Fizeau imaging mode the LBTI synthesizes the equivalent resolution of a 22.8 m telescope. The 8.7 $μ$m Fizeau images of NGC 1068 {have an effective resolution of $47\times90$ mas ($3.3\times6.2$ pc)} in a 5" field of view after performing PSF deconvolution techniques described here. This is the only extragalactic source to be Fizeau imaged using the LBTI, and the images bridge the scales measured with the Very Large Telescope Interferometer (VLTI; 0.5-5 pc) and those of single telescopes such as JWST and Keck ($>15$ pc). The images detect and spatially resolve the low surface brightness mid-infrared (MIR) features in the AGN disk/wind region that are over-resolved by the VLTI. The images show strong correlation between MIR dust emission and near-infrared (NIR) emission of highly excited atomic lines observed by SINFONI. Such LBTI imaging is a precursor to infrared imaging using the upcoming generation of extremely large telescopes, with angular resolutions up to 6x better than JWST, the largest space telescope in orbit.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
Orbital Modeling of HII 1348B: An Eccentric Young Substellar Companion in the Pleiades
Authors:
Gabriel Weible,
Kevin Wagner,
Jordan Stone,
Steve Ertel,
Dániel Apai,
Kaitlin Kratter,
Jarron Leisenring
Abstract:
Brown dwarfs with known physical properties (e.g., age and mass) are essential for constraining models of the formation and evolution of substellar objects. We present new high-contrast imaging observations of the circumbinary brown dwarf HII 1348B $\mathord{-}$ one of the few known substellar companions in the Pleiades cluster. We observed the system in the infrared (IR) $L^\prime$ band with the…
▽ More
Brown dwarfs with known physical properties (e.g., age and mass) are essential for constraining models of the formation and evolution of substellar objects. We present new high-contrast imaging observations of the circumbinary brown dwarf HII 1348B $\mathord{-}$ one of the few known substellar companions in the Pleiades cluster. We observed the system in the infrared (IR) $L^\prime$ band with the Large Binocular Telescope Interferometer (LBTI) in dual-aperture direct imaging mode (i.e., with the two telescope apertures used separately) on 2019 September 18. The observations attained a high signal-to-noise ratio ($\mathrm{SNR} > 150$) photometric detection and relative astrometry with uncertainties of ${\sim}5 \ \mathrm{mas}$. This work presents the first model of the companion's orbital motion using relative astrometry from five epochs across a total baseline of 23 years. Orbital fits to the compiled data show the companion's semimajor axis to be $a = 140 \substack{+130 \\ -30} \ \mathrm{au}$ with an eccentricity of $e = 0.78 \substack{+0.12 \\ -0.29}$. We infer that HII 1348B has a mass of $60\mathord{-}63 \pm 2 \ \mathrm{M_J}$ from comparison to brown dwarf evolutionary models given the well-constrained distance and age of the Pleiades. No other objects were detected in the HII 1348 system, and through synthetic planet injection and retrievals we establish detection limits at a cluster age of $112 \pm 5$ Myr down to ${\sim}10\mathord{-}30 \ \mathrm{M_J}$ for companions with projected separations of $21.5\mathord{-}280 \ \text{au}$. With this work, HII 1348B becomes the second directly imaged substellar companion in the Pleiades with measured orbital motion after HD 23514B.
△ Less
Submitted 27 January, 2025;
originally announced January 2025.
-
REsolved ALMA and SMA Observations of Nearby Stars (REASONS): A population of 74 resolved planetesimal belts at millimetre wavelengths
Authors:
L. Matrà,
S. Marino,
D. J. Wilner,
G. M. Kennedy,
M. Booth,
A. V. Krivov,
J. P. Williams,
A. M. Hughes,
C. del Burgo,
J. Carpenter,
C. L. Davies,
S. Ertel,
Q. Kral,
J. -F. Lestrade,
J. P. Marshall,
J. Milli,
K. I. Öberg,
N. Pawellek,
A. G. Sepulveda,
M. C. Wyatt,
B. C. Matthews,
M. MacGregor
Abstract:
Planetesimal belts are ubiquitous around nearby stars, and their spatial properties hold crucial information for planetesimal and planet formation models. We present resolved dust observations of 74 planetary systems as part of the REsolved ALMA and SMA Observations of Nearby Stars (REASONS) survey and archival reanalysis. We uniformly modelled interferometric visibilities for the entire sample to…
▽ More
Planetesimal belts are ubiquitous around nearby stars, and their spatial properties hold crucial information for planetesimal and planet formation models. We present resolved dust observations of 74 planetary systems as part of the REsolved ALMA and SMA Observations of Nearby Stars (REASONS) survey and archival reanalysis. We uniformly modelled interferometric visibilities for the entire sample to obtain the basic spatial properties of each belt, and combined these with constraints from multi-wavelength photometry. We report key findings from a first exploration of this legacy dataset: (1) Belt dust masses are depleted over time in a radially dependent way, with dust being depleted faster in smaller belts, as predicted by collisional evolution. (2) Most belts are broad discs rather than narrow rings, with much broader fractional widths than rings in protoplanetary discs. We link broad belts to either unresolved substructure or broad planetesimal discs produced if protoplanetary rings migrate. (3) The vertical aspect ratios (h = H/R) of 24 belts indicate orbital inclinations of 1-20 degrees, implying relative particle velocities of 0.1-4 km/s, and no clear evolution of heights with system age. This could be explained by early stirring within the belt by large bodies (with sizes of at least 140 km to the size of the Moon), by inheritance of inclinations from the protoplanetary disc stage, or by a diversity in evolutionary pathways and gravitational stirring mechanisms. We release the REASONS legacy multidimensional sample of millimetre-resolved belts to the community as a valuable tool for follow-up multi-wavelength observations and population modelling studies.
△ Less
Submitted 15 January, 2025;
originally announced January 2025.
-
Resolving the Young 2 Cygni Run-away Star into a Binary using iLocater
Authors:
Justin R. Crepp,
Jonathan Crass,
Andrew J. Bechter,
Brian L. Sands,
Ryan Ketterer,
David King,
Derek Kopon,
Randall Hamper,
Matthew Engstrom,
James E. Smous,
Eric B. Bechter,
Robert Harris,
Marshall C. Johnson,
Nicholas Baggett,
Shannon Dulz,
Michael Vansickle,
Al Conrad,
Steve Ertel,
B. Scott Gaudi,
Philip Hinz,
Marc Kuchner,
Manny Montoya,
Eleanya Onuma,
Melanie Ott,
Richard Pogge
, et al. (8 additional authors not shown)
Abstract:
Precision radial velocity (RV) spectrographs that use adaptive optics (AO) show promise to advance telescope observing capabilities beyond those of seeing-limited designs. We are building a spectrograph for the Large Binocular Telescope (LBT) named iLocater that uses AO to inject starlight directly into single mode fibers (SMF). iLocater's first acquisition camera system (the `SX' camera), which r…
▽ More
Precision radial velocity (RV) spectrographs that use adaptive optics (AO) show promise to advance telescope observing capabilities beyond those of seeing-limited designs. We are building a spectrograph for the Large Binocular Telescope (LBT) named iLocater that uses AO to inject starlight directly into single mode fibers (SMF). iLocater's first acquisition camera system (the `SX' camera), which receives light from one of the 8.4m diameter primary mirrors of the LBT, was initially installed in summer 2019 and has since been used for several commissioning runs. We present results from first-light observations that include on-sky measurements as part of commissioning activities. Imaging measurements of the bright B3IV star 2 Cygni ($V=4.98$) resulted in the direct detection of a candidate companion star at an angular separation of only $θ= 70$ mas. Follow-up AO measurements using Keck/NIRC2 recover the candidate companion in multiple filters. An $R\approx1500$ miniature spectrograph recently installed at the LBT named ``Lili'' provides spatially resolved spectra of each binary component, indicating similar spectral types and strengthening the case for companionship. Studying the multiplicity of young runaway star systems like 2 Cygni ($36.6 \pm 0.5$ Myr) can help to understand formation mechanisms for stars that exhibit anomalous velocities through the galaxy. This on-sky demonstration illustrates the spatial resolution of the iLocater SX acquisition camera working in tandem with the LBT AO system; it further derisks a number of technical hurdles involved in combining AO with Doppler spectroscopy.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Little iLocater: paving the way for iLocater
Authors:
Robert J. Harris,
Jonathan Crass,
Marshall C. Johnson,
Andrew Bechter,
Jennifer Power,
Ariadna Calcines Rosario,
Justin R. Crepp,
Eric Bechter,
Brian Sands,
Derek Kopon,
Steve Ertel,
Santiago Barboza,
Andrea Bianco
Abstract:
Diffraction-limited radial velocity instruments offer a pathway towards improved precision and stability, and the exploration of new parameter spaces at high spatial and spectral resolution. However, achieving the necessary performance requires careful instrument design and considerable on-sky testing. We describe the design and construction of ``Little iLocater'' (Lili), a compact spectrograph th…
▽ More
Diffraction-limited radial velocity instruments offer a pathway towards improved precision and stability, and the exploration of new parameter spaces at high spatial and spectral resolution. However, achieving the necessary performance requires careful instrument design and considerable on-sky testing. We describe the design and construction of ``Little iLocater'' (Lili), a compact spectrograph that has been used to validate the performance of the front-end fibre-injection system of the iLocater spectrograph. We present the design, assembly, and performance using on-sky data obtained at the Large Binocular Telescope (LBT), including extraction of spectra from standard stars, testing of the atmospheric dispersion corrector to elevations of 40 degrees, and spatially resolved spectra from close companion systems. These results show the front-end fibre-injection system is performing as expected and is indicative of iLocater's capabilities once installed at the LBT.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
A multi-technique detection of an eccentric giant planet around accelerating star HD 57625
Authors:
D. Barbato,
D. Mesa,
V. D'Orazi,
S. Desidera,
A. Ruggieri,
J. Farinato,
L. Marafatto,
E. Carolo,
D. Vassallo,
S. Ertel,
J. Hom,
R. M. Anche,
F. Battaini,
A. Becker,
M. Bergomi,
F. Biondi,
A. Cardwell,
P. Cerpelloni,
G. Chauvin,
S. Chinellato,
C. Desgrange,
S. Di Filippo,
M. Dima,
T. S. Gomes Machado,
R. Gratton
, et al. (20 additional authors not shown)
Abstract:
The synergy between different detection methods is a key asset in exoplanetology, allowing for both precise characterization of detected exoplanets and robust constraints even in the case of non-detection. Recently, the interplay between imaging, radial velocities and astrometry has produced significant advancements in exoplanetary science. We report a first result of an ongoing survey performed w…
▽ More
The synergy between different detection methods is a key asset in exoplanetology, allowing for both precise characterization of detected exoplanets and robust constraints even in the case of non-detection. Recently, the interplay between imaging, radial velocities and astrometry has produced significant advancements in exoplanetary science. We report a first result of an ongoing survey performed with SHARK-NIR, the new high-contrast near-infrared imaging camera at the Large Binocular Telescope, in parallel with LBTI/LMIRCam in order to detect planetary companions around stars with significant proper motion anomaly. In this work we focus on HD 57625, a F8 star for which we determine a $4.8^{+3.7}_{-2.9}$Ga age, exhibiting significant astrometric acceleration and for which archival radial velocities hint at the presence of a previously undetected massive long-period companion. We analyse the imaging data we collected with SHARK-NIR and LMIRCam in synergy with the available public SOPHIE radial velocity time series and Hipparcos-Gaia proper motion anomaly. With this joint multi-technique analysis, we aim at characterizing the companion responsible for the astrometric and radial velocity signals. The imaging observations result in a non-detection, indicating the companion to be in the substellar regime. This is confirmed by the synergic analysis of archival radial velocity and astrometric measurements resulting in the detection of HD 57625 b, a ${8.43}_{-0.91}^{+1.10}$M$_{\rm Jup}$ planetary companion with an orbital separation of ${5.70}_{-0.13}^{+0.14}$au and ${0.52}_{-0.03}^{+0.04}$ eccentricity. HD 57625 b joins the small but growing population of giant planets in outer orbits with true mass determination provided by the synergic usage of multiple detection methods, proving once again the importance of multi-technique analysis in providing robust characterization of planetary companions.
△ Less
Submitted 9 December, 2024;
originally announced December 2024.
-
Deep imaging of three accelerating stars using SHARK-NIR and LMIRCam at LBT
Authors:
D. Mesa,
R. Gratton,
V. D'Orazi,
E. Carolo,
D. Vassallo,
J. Farinato,
L. Marafatto,
K. Wagner,
J. Hom,
S. Ertel,
Th. Henning,
C. Desgrange,
D. Barbato,
M. Bergomi,
P. Cerpelloni,
S. Desidera,
S. Di Filippo,
D. Doelman,
T. S. Gomes Machado,
D. Greggio,
P. Grenz,
M. Kenworthy,
F. Laudisio,
C. Lazzoni,
J. Leisenring
, et al. (7 additional authors not shown)
Abstract:
The combination of detection techniques enhances our ability to identify companions orbiting nearby stars. We employed high-contrast imaging to constrain mass and separation of possible companions responsible for the significant proper motion anomalies of the nearby stars HIP 11696, HIP 47110 and HIP 36277. These targets were observed using the LBT's high-contrast camera, SHARK-NIR, in H-band usin…
▽ More
The combination of detection techniques enhances our ability to identify companions orbiting nearby stars. We employed high-contrast imaging to constrain mass and separation of possible companions responsible for the significant proper motion anomalies of the nearby stars HIP 11696, HIP 47110 and HIP 36277. These targets were observed using the LBT's high-contrast camera, SHARK-NIR, in H-band using a Gaussian coronagraph, and with the LMIRCam instrument in the L'-band and using a vAPP coronagraph. Both observations were conducted simultaneously. Additionally, constraints at short separations from the host star are derived analyzing the renormalized unit weight error (RUWE) values from the Gaia catalogue. We find that the companion responsible for the anomaly signal of HIP 11696 is likely positioned at a distance from 2.5 to 28 astronomical units from its host. Its mass is estimated to be between 4 and 16 Jupiter masses, with the greater mass possible only at the upper end of the separation range. Similar limits were obtained for HIP 47110 where the companion should reside between 3 and 30 au with a mass between 3 and 10 MJup. For HIP 36277, we identified a faint stellar companion at large separation, though it might be substellar depending on the assumed age for the star. Considering the older age, this object accounts for the absolute value of the PMa vector but not for its direction. Additionally, we found a substellar candidate companion at a closer separation that could explain the PMa signal, considering a younger age for the system.
△ Less
Submitted 5 December, 2024;
originally announced December 2024.
-
MeerKAT observations of Procyon at 815.5 MHz
Authors:
Ian Heywood,
Andrew P. V. Siemion,
Daniel Czech,
Steve Ertel,
Jamie Drew,
Kyran Grattan,
Kevin Wagner,
S. Pete Worden
Abstract:
We have conducted observations of the nearby (11.46 ly) star system Procyon, using MeerKAT's UHF (544-1087 MHz) receivers. We produce full-Stokes time and frequency integrated continuum images, as well as total intensity time series imaging at 8 s cadence, and full-Stokes vector-averaged dynamic spectra from the visibilities in order to search for transient activity such as flaring events. We dete…
▽ More
We have conducted observations of the nearby (11.46 ly) star system Procyon, using MeerKAT's UHF (544-1087 MHz) receivers. We produce full-Stokes time and frequency integrated continuum images, as well as total intensity time series imaging at 8 s cadence, and full-Stokes vector-averaged dynamic spectra from the visibilities in order to search for transient activity such as flaring events. We detect no significant radio emission from the system, and estimate an upper limit on the circular polarisation fraction of 65 per cent (3$σ$ confidence level). A comparison with previous VLA observations places a 3$σ$ lower limit on the spectral index between 815.5 and 8400 MHz of 0.26, however long-term significant variability over the last 33 years cannot be ruled out without further, regular radio monitoring of the system.
△ Less
Submitted 19 October, 2024;
originally announced October 2024.
-
Large Interferometer For Exoplanets (LIFE). XIV. Finding terrestrial protoplanets in the galactic neighborhood
Authors:
Lorenzo Cesario,
Tim Lichtenberg,
Eleonora Alei,
Óscar Carrión-González,
Felix A. Dannert,
Denis Defrère,
Steve Ertel,
Andrea Fortier,
A. García Muñoz,
Adrian M. Glauser,
Jonah T. Hansen,
Ravit Helled,
Philipp A. Huber,
Michael J. Ireland,
Jens Kammerer,
Romain Laugier,
Jorge Lillo-Box,
Franziska Menti,
Michael R. Meyer,
Lena Noack,
Sascha P. Quanz,
Andreas Quirrenbach,
Sarah Rugheimer,
Floris van der Tak,
Haiyang S. Wang
, et al. (40 additional authors not shown)
Abstract:
The increased brightness temperature of young rocky protoplanets during their magma ocean epoch makes them potentially amenable to atmospheric characterization to distances from the solar system far greater than thermally equilibrated terrestrial exoplanets, offering observational opportunities for unique insights into the origin of secondary atmospheres and the near surface conditions of prebioti…
▽ More
The increased brightness temperature of young rocky protoplanets during their magma ocean epoch makes them potentially amenable to atmospheric characterization to distances from the solar system far greater than thermally equilibrated terrestrial exoplanets, offering observational opportunities for unique insights into the origin of secondary atmospheres and the near surface conditions of prebiotic environments. The Large Interferometer For Exoplanets (LIFE) mission will employ a space-based mid-infrared nulling interferometer to directly measure the thermal emission of terrestrial exoplanets. Here, we seek to assess the capabilities of various instrumental design choices of the LIFE mission concept for the detection of cooling protoplanets with transient high-temperature magma ocean atmospheres, in young stellar associations in particular. Using the LIFE mission instrument simulator (LIFEsim) we assess how specific instrumental parameters and design choices, such as wavelength coverage, aperture diameter, and photon throughput, facilitate or disadvantage the detection of protoplanets. We focus on the observational sensitivities of distance to the observed planetary system, protoplanet brightness temperature using a blackbody assumption, and orbital distance of the potential protoplanets around both G- and M-dwarf stars. Our simulations suggest that LIFE will be able to detect (S/N $\geq$ 7) hot protoplanets in young stellar associations up to distances of $\approx$100 pc from the solar system for reasonable integration times (up to $\sim$hours). Detection of an Earth-sized protoplanet orbiting a solar-sized host star at 1 AU requires less than 30 minutes of integration time. M-dwarfs generally need shorter integration times. The contribution from wavelength regions $<$6 $μ$m is important for decreasing the detection threshold and discriminating emission temperatures.
△ Less
Submitted 17 October, 2024;
originally announced October 2024.
-
The instrumentation program at the Large Binocular Telescope Observatory in 2024
Authors:
Joseph C. Shields,
Jason Chu,
Albert Conrad,
Jonathan Crass,
Justin R. Crepp,
Steve Ertel,
Jacopo Farinato,
Ilya Ilyin,
Olga Kuhn,
Luca Marafatto,
Fernando Pedichini,
Roberto Piazzesi,
Richard W. Pogge,
Jennifer Power,
Sam Ragland,
Robert Reynolds,
James Riedl,
Mark Smithwright,
Klaus G. Strassmeier,
David Thompson
Abstract:
The Large Binocular Telescope, with its expansive collecting area, angular resolving power, and advanced optical design, provides a robust platform for development and operation of advanced instrumentation for astronomical research. The LBT currently hosts a mature suite of instruments for spectroscopy and imaging at optical through mid-infrared wavelengths, supported by sophisticated adaptive opt…
▽ More
The Large Binocular Telescope, with its expansive collecting area, angular resolving power, and advanced optical design, provides a robust platform for development and operation of advanced instrumentation for astronomical research. The LBT currently hosts a mature suite of instruments for spectroscopy and imaging at optical through mid-infrared wavelengths, supported by sophisticated adaptive optics systems. This contribution summarizes the current state of instrumentation, including upgrades to existing instruments and commissioning of second generation instruments now in progress. The LBT is soliciting proposals for next generation instrument concepts, with participation open to consortium members and others interested in participation in the Observatory.
△ Less
Submitted 15 July, 2024;
originally announced July 2024.
-
Generic data reduction for nulling interferometry package: the grip of a single data reduction package on all the nulling interferometers
Authors:
Marc-Antoine Martinod,
Denis Defrère,
Romain Laugier,
Steve Ertel,
Olivier Absil,
Barnaby Norris,
Germain Garreau,
Bertrand Mennesson
Abstract:
Nulling interferometry is a powerful observing technique to reach exoplanets and circumstellar dust at separations too small for direct imaging with single-dish telescopes and too large for indirect methods. With near-future instrumentation, it bears the potential to detect young, hot planets near the snow lines of their host stars. A future space mission could detect and characterize a large numb…
▽ More
Nulling interferometry is a powerful observing technique to reach exoplanets and circumstellar dust at separations too small for direct imaging with single-dish telescopes and too large for indirect methods. With near-future instrumentation, it bears the potential to detect young, hot planets near the snow lines of their host stars. A future space mission could detect and characterize a large number of rocky, habitable-zone planets around nearby stars at thermal-infrared wavelengths. The null self-calibration is a method aiming at modelling the statistical distribution of the nulled signal. It has proven to be more sensitive and accurate than average-based data reduction methods in nulling interferometry. This statistical approach opens the possibility of designing a GPU-based Python package to reduce the data from any of these instruments, by simply providing the data and a simulator of the instrument. GRIP is a toolbox to reduce nulling and interferometric data based on the statistical self-calibration method. In this article, we present the main features of GRIP as well as applications on real data.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Pushing high angular resolution and high contrast observations on the VLTI from Y to L band with the Asgard instrumental suite: integration status and plans
Authors:
Marc-Antoine Martinod,
Denis Defrère,
Michael J. Ireland,
Stefan Kraus,
Frantz Martinache,
Peter G. Tuthill,
Fatmé Allouche,
Emilie Bouzerand,
Julia Bryant,
Josh Carter,
Sorabh Chhabra,
Benjamin Courtney-Barrer,
Fred Crous,
Nick Cvetojevic,
Colin Dandumont,
Steve Ertel,
Tyler Gardner,
Germain Garreau,
Adrian M. Glauser,
Xavier Haubois,
Lucas Labadie,
Stéphane Lagarde,
Daniel Lancaster,
Romain Laugier,
Alexandra Mazzoli
, et al. (13 additional authors not shown)
Abstract:
ESO's Very Large Telescope Interferometer has a history of record-breaking discoveries in astrophysics and significant advances in instrumentation. The next leap forward is its new visitor instrument, called Asgard. It comprises four natively collaborating instruments: HEIMDALLR, an instrument performing both fringe tracking and stellar interferometry simultaneously with the same optics, operating…
▽ More
ESO's Very Large Telescope Interferometer has a history of record-breaking discoveries in astrophysics and significant advances in instrumentation. The next leap forward is its new visitor instrument, called Asgard. It comprises four natively collaborating instruments: HEIMDALLR, an instrument performing both fringe tracking and stellar interferometry simultaneously with the same optics, operating in the K band; Baldr, a Strehl optimizer in the H band; BIFROST, a spectroscopic combiner to study the formation processes and properties of stellar and planetary systems in the Y-J-H bands; and NOTT, a nulling interferometer dedicated to imaging nearby young planetary systems in the L band. The suite is in its integration phase in Europe and should be shipped to Paranal in 2025. In this article, we present details of the alignment and calibration unit, the observing modes, the integration plan, the software architecture, and the roadmap to completion of the project.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
L-band nulling interferometry at the VLTI with Asgard/NOTT: status and plans
Authors:
Denis Defrère,
Romain Laugier,
Marc-Antoine Martinod,
Germain Garreau,
Kwinten Missiaen,
Muhammad Salman,
Gert Raskin,
Colin Dandumont,
Steve Ertel,
Michael J. Ireland,
Stefan Kraus,
Lucas Labadie,
Alexandra Mazzoli,
Gyorgy Medgyesi,
Ahmed Sanny,
Olivier Absil,
Peter Ábráham,
Jean-Philippe Berger,
Myriam Bonduelle,
Azzurra Bigioli,
Emilie Bouzerand,
Josh Carter,
Nick Cvetojevic,
Benjamin Courtney-Barrer,
Adrian M. Glauser
, et al. (21 additional authors not shown)
Abstract:
NOTT (formerly Hi-5) is the L'-band (3.5-4.0~microns) nulling interferometer of Asgard, an instrument suite in preparation for the VLTI visitor focus. The primary scientific objectives of NOTT include characterizing (i) young planetary systems near the snow line, a critical region for giant planet formation, and (ii) nearby main-sequence stars close to the habitable zone, with a focus on detecting…
▽ More
NOTT (formerly Hi-5) is the L'-band (3.5-4.0~microns) nulling interferometer of Asgard, an instrument suite in preparation for the VLTI visitor focus. The primary scientific objectives of NOTT include characterizing (i) young planetary systems near the snow line, a critical region for giant planet formation, and (ii) nearby main-sequence stars close to the habitable zone, with a focus on detecting exozodiacal dust that could obscure Earth-like planets. In 2023-2024, the final warm optics have been procured and assembled in a new laboratory at KU Leuven. First fringes and null measurements were obtained using a Gallium Lanthanum Sulfide (GLS) photonic chip that was also tested at cryogenic temperatures. In this paper, we present an overall update of the NOTT project with a particular focus on the cold mechanical design, the first results in the laboratory with the final NOTT warm optics, and the ongoing Asgard integration activities. We also report on other ongoing activities such as the characterization of the photonic chip (GLS, LiNbO3, SiO), the development of the exoplanet science case, the design of the dispersion control module, and the progress with the self-calibration data reduction software.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Sensitivity and Performance of LBTI/NOMIC Spectroscopy: Prospects for 10- and 30-meter class Mid-IR Exoplanet Science
Authors:
Brittany E. Miles,
Steve Ertel,
Kevin Wagner,
Daniel Apai
Abstract:
Long wavelength infrared (8-13 $μ$m) spectroscopy is invaluable for detecting molecular features in the atmospheres of gas giant and terrestrial exoplanets. The nulling-optimized mid-infrared camera (NOMIC) on the Large Binocular Telescope Interferometer (LBTI) has a low resolution (R$\sim$200) germanium grism that was previously installed but has not been characterized and commissioned for scient…
▽ More
Long wavelength infrared (8-13 $μ$m) spectroscopy is invaluable for detecting molecular features in the atmospheres of gas giant and terrestrial exoplanets. The nulling-optimized mid-infrared camera (NOMIC) on the Large Binocular Telescope Interferometer (LBTI) has a low resolution (R$\sim$200) germanium grism that was previously installed but has not been characterized and commissioned for scientific observations. Using a 1.27 mm slit and broadband filter in combination with the grism, the infrared window between 8-13 $μ$m can be captured. We describe initial on sky testing of the LBTI/NOMIC grism mode with adaptive optics to study standard stars and binaries. We discuss the impact of observational strategy and telluric calibration on the spectral reduction process. We infer the impact of existing mid-infrared detectors on NOMIC's spectroscopic mode and discuss requirements to enable higher resolution 8-13 $μ$m spectroscopy on current and future facilities.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
LBT SHARK-VIS Observes a Major Resurfacing Event on Io
Authors:
Al Conrad,
Fernando Pedichini,
Gianluca Li Causi,
Simone Antoniucci,
Imke de Pater,
Ashley Gerard Davies,
Katherine de Kleer,
Roberto Piazzesi,
Vincenzo Testa,
Piero Vaccari,
Martina Vicinanza,
Jennifer Power,
Steve Ertel,
Joseph C. Shields,
Sam Ragland,
Fabrizio Giorgi,
Stuart M. Jefferies,
Douglas Hope,
Jason Perry,
David A. Williams,
David M. Nelson
Abstract:
Since volcanic activity was first discovered on Io from Voyager images in 1979, changes on Io's surface have been monitored from both spacecraft and ground-based telescopes. Here, we present the highest spatial resolution images of Io ever obtained from a ground-based telescope. These images, acquired by the SHARK-VIS instrument on the Large Binocular Telescope, show evidence of a major resurfacin…
▽ More
Since volcanic activity was first discovered on Io from Voyager images in 1979, changes on Io's surface have been monitored from both spacecraft and ground-based telescopes. Here, we present the highest spatial resolution images of Io ever obtained from a ground-based telescope. These images, acquired by the SHARK-VIS instrument on the Large Binocular Telescope, show evidence of a major resurfacing event on Io's trailing hemisphere. When compared to the most recent spacecraft images, the SHARK-VIS images show that a plume deposit from a powerful eruption at Pillan Patera has covered part of the long-lived Pele plume deposit. Although this type of resurfacing event may be common on Io, few have been detected due to the rarity of spacecraft visits and the previously low spatial resolution available from Earth-based telescopes. The SHARK-VIS instrument ushers in a new era of high resolution imaging of Io's surface using adaptive optics at visible wavelengths.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Improving mid-infrared thermal background subtraction with Principal Component Analysis
Authors:
Hélène Rousseau,
Steve Ertel,
Denis Defrère,
Virginie Faramaz,
Kevin Wagner
Abstract:
Ground-based large-aperture telescopes, interferometers, and future Extremely Large Telescopes equipped with adaptive-optics systems provide angular resolution and high-contrast performance that are superior to space-based telescopes at thermal-infrared wavelengths. Their sensitivity, however, is critically limited by the high thermal background inherent to ground-based observations in this wavele…
▽ More
Ground-based large-aperture telescopes, interferometers, and future Extremely Large Telescopes equipped with adaptive-optics systems provide angular resolution and high-contrast performance that are superior to space-based telescopes at thermal-infrared wavelengths. Their sensitivity, however, is critically limited by the high thermal background inherent to ground-based observations in this wavelength regime. We aim to improve the subtraction quality of the thermal-infrared background from ground-based observations, using Principal Component Analysis (PCA). We use data obtained with the Nulling-Optimized Mid-Infrared Camera on the Large Binocular Telescope Interferometer as a proxy for general high-sensitivity, AO-assisted ground-based data. We apply both a classical background subtraction -- using the mean of dedicated background observations -- and a new background subtraction based on a PCA of the background observations. We compare the performances of these two methods in both high-contrast imaging and aperture photometry. Compared to the classical background subtraction approach, PCA background subtraction delivers up to two times better contrasts down to the diffraction limit of the LBT's primary aperture (i.e., 350 mas in N band), that is, in the case of high-contrast imaging. Improvement factor between two and three are obtained over the mean background retrieval within the diffraction limit in the case of aperture photometry. PCA background subtraction significantly improves the sensitivity of ground-based thermal-infrared imaging observations. When applied to LBTI's nulling interferometry data, we expect the method to improve the sensitivity by a similar factor 2-3. This study paves the way to maximising the potential of future infrared ground-based instruments and facilities, such as the future 30m-class telescopes.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Neural Networks-based Random Vortex Methods for Modelling Incompressible Flows
Authors:
Vladislav Cherepanov,
Sebastian W. Ertel
Abstract:
In this paper we introduce a novel Neural Networks-based approach for approximating solutions to the (2D) incompressible Navier--Stokes equations, which is an extension of so called Deep Random Vortex Methods (DRVM), that does not require the knowledge of the Biot--Savart kernel associated to the computational domain. Our algorithm uses a Neural Network (NN), that approximates the vorticity based…
▽ More
In this paper we introduce a novel Neural Networks-based approach for approximating solutions to the (2D) incompressible Navier--Stokes equations, which is an extension of so called Deep Random Vortex Methods (DRVM), that does not require the knowledge of the Biot--Savart kernel associated to the computational domain. Our algorithm uses a Neural Network (NN), that approximates the vorticity based on a loss function that uses a computationally efficient formulation of the Random Vortex Dynamics. The neural vorticity estimator is then combined with traditional numerical PDE-solvers, which can be considered as a final implicit linear layer of the network, for the Poisson equation to compute the velocity field. The main advantage of our method compared to the standard DRVM and other NN-based numerical algorithms is that it strictly enforces physical properties, such as incompressibility or (no slip) boundary conditions, which might be hard to guarantee otherwise. The approximation abilities of our algorithm, and its capability for incorporating measurement data, are validated by several numerical experiments.
△ Less
Submitted 28 November, 2024; v1 submitted 22 May, 2024;
originally announced May 2024.
-
Exploring the directly imaged HD 1160 system through spectroscopic characterization and high-cadence variability monitoring
Authors:
Ben J. Sutlieff,
Jayne L. Birkby,
Jordan M. Stone,
Annelotte Derkink,
Frank Backs,
David S. Doelman,
Matthew A. Kenworthy,
Alexander J. Bohn,
Steve Ertel,
Frans Snik,
Charles E. Woodward,
Ilya Ilyin,
Andrew J. Skemer,
Jarron M. Leisenring,
Klaus G. Strassmeier,
Ji Wang,
David Charbonneau,
Beth A. Biller
Abstract:
The time variability and spectra of directly imaged companions provide insight into their physical properties and atmospheric dynamics. We present follow-up R~40 spectrophotometric monitoring of red companion HD 1160 B at 2.8-4.2 $μ$m using the double-grating 360° vector Apodizing Phase Plate (dgvAPP360) coronagraph and ALES integral field spectrograph on the Large Binocular Telescope Interferomet…
▽ More
The time variability and spectra of directly imaged companions provide insight into their physical properties and atmospheric dynamics. We present follow-up R~40 spectrophotometric monitoring of red companion HD 1160 B at 2.8-4.2 $μ$m using the double-grating 360° vector Apodizing Phase Plate (dgvAPP360) coronagraph and ALES integral field spectrograph on the Large Binocular Telescope Interferometer. We use the recently developed technique of gvAPP-enabled differential spectrophotometry to produce differential light curves for HD 1160 B. We reproduce the previously reported ~3.2 h periodic variability in archival data, but detect no periodic variability in new observations taken the following night with a similar 3.5% level precision, suggesting rapid evolution in the variability of HD 1160 B. We also extract complementary spectra of HD 1160 B for each night. The two are mostly consistent, but the companion appears fainter on the second night between 3.0-3.2 $μ$m. Fitting models to these spectra produces different values for physical properties depending on the night considered. We find an effective temperature T$_{\text{eff}}$ = 2794$^{+115}_{-133}$ K on the first night, consistent with the literature, but a cooler T$_{\text{eff}}$ = 2279$^{+79}_{-157}$ K on the next. We estimate the mass of HD 1160 B to be 16-81 M$_{\text{Jup}}$, depending on its age. We also present R = 50,000 high-resolution optical spectroscopy of host star HD 1160 A obtained simultaneously with the PEPSI spectrograph. We reclassify its spectral type to A1 IV-V and measure its projected rotational velocity v sin i = 96$^{+6}_{-4}$ km s$^{-1}$. We thus highlight that gvAPP-enabled differential spectrophotometry can achieve repeatable few percent level precision and does not yet reach a systematic noise floor, suggesting greater precision is achievable with additional data or advanced detrending techniques.
△ Less
Submitted 5 June, 2024; v1 submitted 20 May, 2024;
originally announced May 2024.
-
Random vortex dynamics and Monte-Carlo simulations for wall-bounded viscous flows
Authors:
Vladislav Cherepanov,
Sebastian W. Ertel,
Zhongmin Qian,
Jiang-Lun Wu
Abstract:
Functional integral representations for solutions of the motion equations for wall-bounded incompressible viscous flows, expressed (implicitly) in terms of distributions of solutions to stochastic differential equations of McKean-Vlasov type, are established by using a perturbation technique. These representations are used to obtain exact random vortex dynamics for wall-bounded viscous flows. Nume…
▽ More
Functional integral representations for solutions of the motion equations for wall-bounded incompressible viscous flows, expressed (implicitly) in terms of distributions of solutions to stochastic differential equations of McKean-Vlasov type, are established by using a perturbation technique. These representations are used to obtain exact random vortex dynamics for wall-bounded viscous flows. Numerical schemes therefore are proposed and the convergence of the numerical schemes for random vortex dynamics with an additional force term is established. Several numerical experiments are carried out for demonstrating the motion of a viscous flow within a thin layer next to the fluid boundary.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.