Showing 1–50 of 176 results for author: Amorim, A

High contrast at short separation with VLTI/GRAVITY: Bringing Gaia companions to light

Authors: N. Pourré, T. O. Winterhalder, J. -B. Le Bouquin, S. Lacour, A. Bidot, M. Nowak, A. -L. Maire, D. Mouillet, C. Babusiaux, J. Woillez, R. Abuter, A. Amorim, R. Asensio-Torres, W. O. Balmer, M. Benisty, J. -P. Berger, H. Beust, S. Blunt, A. Boccaletti, M. Bonnefoy, H. Bonnet, M. S. Bordoni, G. Bourdarot, W. Brandner, F. Cantalloube , et al. (151 additional authors not shown)

Abstract: Since 2019, GRAVITY has provided direct observations of giant planets and brown dwarfs at separations of down to 95 mas from the host star. Some of these observations have provided the first direct confirmation of companions previously detected by indirect techniques (astrometry and radial velocities). We want to improve the observing strategy and data reduction in order to lower the inner working… ▽ More Since 2019, GRAVITY has provided direct observations of giant planets and brown dwarfs at separations of down to 95 mas from the host star. Some of these observations have provided the first direct confirmation of companions previously detected by indirect techniques (astrometry and radial velocities). We want to improve the observing strategy and data reduction in order to lower the inner working angle of GRAVITY in dual-field on-axis mode. We also want to determine the current limitations of the instrument when observing faint companions with separations in the 30-150 mas range. To improve the inner working angle, we propose a fiber off-pointing strategy during the observations to maximize the ratio of companion-light-to-star-light coupling in the science fiber. We also tested a lower-order model for speckles to decouple the companion light from the star light. We then evaluated the detection limits of GRAVITY using planet injection and retrieval in representative archival data. We compare our results to theoretical expectations. We validate our observing and data-reduction strategy with on-sky observations; first in the context of brown dwarf follow-up on the auxiliary telescopes with HD 984 B, and second with the first confirmation of a substellar candidate around the star Gaia DR3 2728129004119806464. With synthetic companion injection, we demonstrate that the instrument can detect companions down to a contrast of $8\times 10^{-4}$ ($Δ\mathrm{K}= 7.7$ mag) at a separation of 35 mas, and a contrast of $3\times 10^{-5}$ ($Δ\mathrm{K}= 11$ mag) at 100 mas from a bright primary (K<6.5), for 30 min exposure time. With its inner working angle and astrometric precision, GRAVITY has a unique reach in direct observation parameter space. This study demonstrates the promising synergies between GRAVITY and Gaia for the confirmation and characterization of substellar companions. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 16 pages, 14 figures. Submitted to A&A

Domain Reasoning in TopKAT

Authors: Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi

Abstract: TopKAT is the algebraic theory of Kleene algebra with tests (KAT) extended with a top element. Compared to KAT, one pleasant feature of TopKAT is that, in relational models, the top element allows us to express the domain and codomain of a relation. This enables several applications in program logics, such as proving under-approximate specifications or reachability properties of imperative program… ▽ More TopKAT is the algebraic theory of Kleene algebra with tests (KAT) extended with a top element. Compared to KAT, one pleasant feature of TopKAT is that, in relational models, the top element allows us to express the domain and codomain of a relation. This enables several applications in program logics, such as proving under-approximate specifications or reachability properties of imperative programs. However, while TopKAT inherits many pleasant features of KATs, such as having a decidable equational theory, it is incomplete with respect to relational models. In other words, there are properties that hold true of all relational TopKATs but cannot be proved with the axioms of TopKAT. This issue is potentially worrisome for program-logic applications, in which relational models play a key role. In this paper, we further investigate the completeness properties of TopKAT with respect to relational models. We show that TopKAT is complete with respect to (co)domain comparison of KAT terms, but incomplete when comparing the (co)domain of arbitrary TopKAT terms. Since the encoding of under-approximate specifications in TopKAT hinges on this type of formula, the aforementioned incompleteness results have a limited impact when using TopKAT to reason about such specifications. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: A version of this article is accepted at ICALP 2024

Astrometric detection of a Neptune-mass candidate planet in the nearest M-dwarf binary system GJ65 with VLTI/GRAVITY

Authors: GRAVITY Collaboration, R. Abuter, A. Amorim, M. Benisty, J-P. Berger, H. Bonnet, G. Bourdarot, P. Bourget, W. Brandner, Y. Clénet, R. Davies, F. Delplancke-Ströbele, R. Dembet, A. Drescher, A. Eckart, F. Eisenhauer, H. Feuchtgruber, G. Finger, N. M. Förster-Schreiber, P. Garcia, R. Garcia-Lopez, F. Gao, E. Gendron, R. Genzel, S. Gillessen , et al. (43 additional authors not shown)

Abstract: The detection of low-mass planets orbiting the nearest stars is a central stake of exoplanetary science, as they can be directly characterized much more easily than their distant counterparts. Here, we present the results of our long-term astrometric observations of the nearest binary M-dwarf Gliese 65 AB (GJ65), located at a distance of only 2.67 pc. We monitored the relative astrometry of the tw… ▽ More The detection of low-mass planets orbiting the nearest stars is a central stake of exoplanetary science, as they can be directly characterized much more easily than their distant counterparts. Here, we present the results of our long-term astrometric observations of the nearest binary M-dwarf Gliese 65 AB (GJ65), located at a distance of only 2.67 pc. We monitored the relative astrometry of the two components from 2016 to 2023 with the VLTI/GRAVITY interferometric instrument. We derived highly accurate orbital parameters for the stellar system, along with the dynamical masses of the two red dwarfs. The GRAVITY measurements exhibit a mean accuracy per epoch of 50-60 microarcseconds in 1.5h of observing time using the 1.8m Auxiliary Telescopes. The residuals of the two-body orbital fit enable us to search for the presence of companions orbiting one of the two stars (S-type orbit) through the reflex motion they imprint on the differential A-B astrometry. We detected a Neptune-mass candidate companion with an orbital period of p = 156 +/- 1 d and a mass of m = 36 +/- 7 Mearth. The best-fit orbit is within the dynamical stability region of the stellar pair. It has a low eccentricity, e = 0.1 - 0.3, and the planetary orbit plane has a moderate-to-high inclination of i > 30° with respect to the stellar pair, with further observations required to confirm these values. These observations demonstrate the capability of interferometric astrometry to reach microarcsecond accuracy in the narrow-angle regime for planet detection by reflex motion from the ground. This capability offers new perspectives and potential synergies with Gaia in the pursuit of low-mass exoplanets in the solar neighborhood. △ Less

Submitted 12 April, 2024; originally announced April 2024.

Comments: Corresponding authors: G.Bourdarot, P.Kervella, O.Pfuhl. Accepted in A&A Letters

Four-of-a-kind? Comprehensive atmospheric characterisation of the HR 8799 planets with VLTI/GRAVITY

Authors: E. Nasedkin, P. Mollière, S. Lacour, M. Nowak, L. Kreidberg, T. Stolker, J. J. Wang, W. O. Balmer, J. Kammerer, J. Shangguan, R. Abuter, A. Amorim, R. Asensio-Torres, M. Benisty, J. -P. Berger, H. Beust, S. Blunt, A. Boccaletti, M. Bonnefoy, H. Bonnet, M. S. Bordoni, G. Bourdarot, W. Brandner, F. Cantalloube, P. Caselli , et al. (73 additional authors not shown)

Abstract: With four companions at separations from 16 to 71 au, HR 8799 is a unique target for direct imaging, presenting an opportunity for the comparative study of exoplanets with a shared formation history. Combining new VLTI/GRAVITY observations obtained within the ExoGRAVITY program with archival data, we perform a systematic atmospheric characterisation of all four planets. We explore different levels… ▽ More With four companions at separations from 16 to 71 au, HR 8799 is a unique target for direct imaging, presenting an opportunity for the comparative study of exoplanets with a shared formation history. Combining new VLTI/GRAVITY observations obtained within the ExoGRAVITY program with archival data, we perform a systematic atmospheric characterisation of all four planets. We explore different levels of model flexibility to understand the temperature structure, chemistry and clouds of each planet using both petitRADTRANS atmospheric retrievals and fits to self-consistent radiative-convective equilibrium models. Using Bayesian Model Averaging to combine multiple retrievals, we find that the HR 8799 planets are highly enriched in metals, with [M/H] $\gtrsim$1, and have stellar to super-stellar C/O ratios. The C/O ratio increases with increasing separation from $0.55^{+0.12}_{-0.10}$ for d to $0.78^{+0.03}_{-0.04}$ for b, with the exception of the innermost planet which has a C/O ratio of $0.87\pm0.03$. By retrieving a quench pressure and using a disequilibrium chemistry model we derive vertical mixing strengths compatible with predictions for high-metallicity, self-luminous atmospheres. Bayesian evidence comparisons strongly favour the presence of HCN in HR 8799 c and e, as well as CH$_{4}$ in HR 8799 c, with detections at $>5σ$ confidence. All of the planets are cloudy, with no evidence for patchiness. The clouds of c, d and e are best fit by silicate clouds lying above a deep iron cloud layer, while the clouds of the cooler HR 8799 b are more likely composed of Na$_{2}$S. With well defined atmospheric properties, future exploration of this system is well positioned to unveil further detail in these planets, extending our understanding of the composition, structure, and formation history of these siblings. △ Less

Submitted 4 April, 2024; originally announced April 2024.

Comments: 45 pages, 25 figures, submitted to Astronomy & Astrophysics

Combining Gaia and GRAVITY: Characterising five new Directly Detected Substellar Companions

Authors: T. O. Winterhalder, S. Lacour, A. Mérand, A. -L. Maire, J. Kammerer, T. Stolker, N. Pourré, C. Babusiaux, R. Abuter, A. Amorim, R. Asensio-Torres, W. O. Balmer, M. Benisty, J. -P. Berger, H. Beust, S. Blunt, A. Boccaletti, M. Bonnefoy, H. Bonnet, M. S. Bordoni, G. Bourdarot, W. Brandner, F. Cantalloube, P. Caselli, B. Charnay , et al. (74 additional authors not shown)

Abstract: Precise mass constraints are vital for the characterisation of brown dwarfs and exoplanets. Here we present how the combination of data obtained by Gaia and GRAVITY can help enlarge the sample of substellar companions with measured dynamical masses. We show how the Non-Single-Star (NSS) two-body orbit catalogue contained in Gaia DR3 can be used to inform high-angular-resolution follow-up observati… ▽ More Precise mass constraints are vital for the characterisation of brown dwarfs and exoplanets. Here we present how the combination of data obtained by Gaia and GRAVITY can help enlarge the sample of substellar companions with measured dynamical masses. We show how the Non-Single-Star (NSS) two-body orbit catalogue contained in Gaia DR3 can be used to inform high-angular-resolution follow-up observations with GRAVITY. Applying the method presented in this work to eight Gaia candidate systems, we detect all eight predicted companions, seven of which were previously unknown and five are of a substellar nature. Among the sample is Gaia DR3 2728129004119806464 B, which - detected at an angular separation of (34.01 $\pm$ 0.15) mas from the host - is the closest substellar companion ever imaged. This translates to a semi-major axis of (0.938 $\pm$ 0.023) AU. WT 766 B, detected at a greater angular separation, was confirmed to be on an orbit exhibiting an even smaller semi-major axis of (0.676 $\pm$ 0.008) AU. The GRAVITY data were then used to break the host-companion mass degeneracy inherent to the Gaia NSS orbit solutions as well as to constrain the orbital solutions of the respective target systems. Knowledge of the companion masses enabled us to further characterise them in terms of their ages, effective temperatures, and radii via the application of evolutionary models. The inferred ages exhibit a distinct bias towards values younger than what is to be expected based on the literature. The results serve as an independent validation of the orbital solutions published in the NSS two-body orbit catalogue and show that the combination of astrometric survey missions and high-angular-resolution direct imaging holds great promise for efficiently increasing the sample of directly imaged companions in the future, especially in the light of Gaia's upcoming DR4 and the advent of GRAVITY+. △ Less

Submitted 24 June, 2024; v1 submitted 19 March, 2024; originally announced March 2024.

Comments: Accepted for publication in Astronomy and Astrophysics

A catalogue of dual-field interferometric binary calibrators

Authors: M. Nowak, S. Lacour, R. Abuter, A. Amorim, R. Asensio-Torres, W. O. Balmer, M. Benisty, J. -P. Berger, H. Beust, S. Blunt, A. Boccaletti, M. Bonnefoy, H. Bonnet, M. S. Bordoni, G. Bourdarot, W. Brandner, F. Cantalloube, B. Charnay, G. Chauvin, A. Chavez, E. Choquet, V. Christiaens, Y. Clénet, V. Coudé du Foresto, A. Cridland , et al. (75 additional authors not shown)

Abstract: Dual-field interferometric observations with VLTI/GRAVITY sometimes require the use of a "binary calibrator", a binary star whose individual components remain unresolved by the interferometer, with a separation between 400 and 2000 mas for observations with the Units Telescopes (UTs), or 1200 to 3000 mas for the Auxiliary Telescopes (ATs). The separation vector also needs to be predictable to with… ▽ More Dual-field interferometric observations with VLTI/GRAVITY sometimes require the use of a "binary calibrator", a binary star whose individual components remain unresolved by the interferometer, with a separation between 400 and 2000 mas for observations with the Units Telescopes (UTs), or 1200 to 3000 mas for the Auxiliary Telescopes (ATs). The separation vector also needs to be predictable to within 10 mas for proper pointing of the instrument. Up until now, no list of properly vetted calibrators was available for dual-field observations with VLTI/GRAVITY on the UTs. Our objective is to compile such a list, and make it available to the community. We identify a list of candidates from the Washington Double Star (WDS) catalogue, all with appropriate separations and brightness, scattered over the Southern sky. We observe them as part of a dedicated calibration programme, and determine whether these objects are true binaries (excluding higher multiplicities resolved interferometrically but unseen by imaging), and extract measurements of the separation vectors. We combine these new measurements with those available in the WDS to determine updated orbital parameters for all our vetted calibrators. We compile a list of 13 vetted binary calibrators for observations with VLTI/GRAVITY on the UTs, and provide orbital estimates and astrometric predictions for each of them. We show that our list guarantees that there are always at least two binary calibrators at airmass < 2 in the sky over the Paranal observatory, at any point in time. Any Principal Investigator wishing to use the dual-field mode of VLTI/GRAVITY with the UTs can now refer to this list to select an appropriate calibrator. We encourage the use of "whereistheplanet" to predict the astrometry of these calibrators, which seamlessly integrates with "p2Gravity" for VLTI/GRAVITY dual-field observing material preparation. △ Less

Submitted 7 February, 2024; originally announced February 2024.

Comments: 16 pages, 6 figures. Submitted to A&A

Compositional Expected Cost Analysis of Functional Probabilistic Programs

Authors: Pedro H. Azevedo de Amorim

Abstract: Reasoning about resources used during the execution of programs, such as time, is one of the fundamental questions in computer science. When programming with probabilistic primitives, however, different samples may result in different resource usage, making the cost of a program not a single number but a distribution instead. The expected cost is an important metric used to quantify the efficien… ▽ More Reasoning about resources used during the execution of programs, such as time, is one of the fundamental questions in computer science. When programming with probabilistic primitives, however, different samples may result in different resource usage, making the cost of a program not a single number but a distribution instead. The expected cost is an important metric used to quantify the efficiency of probabilistic programs. In this work we introduce $\mathbf{cert}$, a call-by-push-value (CBPV) metalanguage extended with primitives for probability, cost and unbounded recursion, and give it denotational semantics for reasoning about the average cost of programs. We justify the validity of the semantics by presenting case-studies ranging from randomized algorithms to stochastic processes and showing how the semantics captures their intended cost. △ Less

Submitted 1 February, 2024; originally announced February 2024.

The GRAVITY young stellar object survey XIII. Tracing the time-variable asymmetric disk structure in the inner AU of the Herbig star HD98922

Authors: GRAVITY Collaboration, V. Ganci, L. Labadie, K. Perraut, A. Wojtczak, J. Kaufhold, M. Benisty, E. Alecian, G. Bourdarot, W. Brandner, A. Caratti o Garatti, C. Dougados, R. Garcia Lopez, J. Sanchez-Bermudez, A. Soulain, A. Amorim, J. -P. Berger, P. Caselli, Y. Clénet, A. Drescher, A. Eckart, F. Eisenhauer, M. Fabricius, H. Feuchtgruber, P. Garcia , et al. (30 additional authors not shown)

Abstract: Temporal variability in the photometric and spectroscopic properties of protoplanetary disks is common in YSO. However, evidence pointing toward changes in their morphology over short timescales has only been found for a few sources, mainly due to a lack of high cadence observations at mas resolution. We combine GRAVITY multi-epoch observations of HD98922 at mas resolution with PIONIER archival da… ▽ More Temporal variability in the photometric and spectroscopic properties of protoplanetary disks is common in YSO. However, evidence pointing toward changes in their morphology over short timescales has only been found for a few sources, mainly due to a lack of high cadence observations at mas resolution. We combine GRAVITY multi-epoch observations of HD98922 at mas resolution with PIONIER archival data covering a total time span of 11 years. We interpret the interferometric visibilities and spectral energy distribution with geometrical models and through radiative transfer techniques. We investigated high-spectral-resolution quantities to obtain information on the properties of the HI BrG-line-emitting region. The observations are best fitted by a model of a crescent-like asymmetric dust feature located at 1 au and accounting for 70% of the NIR emission. The feature has an almost constant magnitude and orbits the central star with a possible sub-Keplerian period of 12 months, although a 9 month period is another, albeit less probable, solution. The radiative transfer models show that the emission originates from a small amount of carbon-rich (25%) silicates, or quantum-heated particles located in a low-density region. Among different possible scenarios, we favor hydrodynamical instabilities in the inner disk that can create a large vortex. The high spectral resolution differential phases in the BrG-line show that the hot-gas component is offset from the star and in some cases is located between the star and the crescent feature. The scale of the emission does not favor magnetospheric accretion as a driving mechanism. The scenario of an asymmetric disk wind or a massive accreting substellar or planetary companion is discussed. With this unique observational data set for HD98922, we reveal morphological variability in the innermost 2 au of its disk region. △ Less

Submitted 31 January, 2024; originally announced January 2024.

Comments: 45 pages, 20 figures, accepted by and to be published in Astronomy & Astrophysics (A&A)

SECOMP: Formally Secure Compilation of Compartmentalized C Programs

Authors: Jérémy Thibault, Roberto Blanco, Dongjae Lee, Sven Argo, Arthur Azevedo de Amorim, Aïna Linn Georges, Catalin Hritcu, Andrew Tolmach

Abstract: Undefined behavior in C often causes devastating security vulnerabilities. One practical mitigation is compartmentalization, which allows developers to structure large programs into mutually distrustful compartments with clearly specified privileges and interactions. In this paper we introduce SECOMP, a compiler for compartmentalized C code that comes with machine-checked proofs guaranteeing that… ▽ More Undefined behavior in C often causes devastating security vulnerabilities. One practical mitigation is compartmentalization, which allows developers to structure large programs into mutually distrustful compartments with clearly specified privileges and interactions. In this paper we introduce SECOMP, a compiler for compartmentalized C code that comes with machine-checked proofs guaranteeing that the scope of undefined behavior is restricted to the compartments that encounter it and become dynamically compromised. These guarantees are formalized as the preservation of safety properties against adversarial contexts, a secure compilation criterion similar to full abstraction, and this is the first time such a strong criterion is proven for a mainstream programming language. To achieve this we extend the languages of the CompCert verified C compiler with isolated compartments that can only interact via procedure calls and returns, as specified by cross-compartment interfaces. We adapt the passes and optimizations of CompCert as well as their correctness proofs to this compartment-aware setting. We then use compiler correctness as an ingredient in a larger secure compilation proof that involves several proof engineering novelties, needed to scale formally secure compilation up to a C compiler. △ Less

Submitted 1 July, 2024; v1 submitted 29 January, 2024; originally announced January 2024.

Comments: CCS'24 camera ready version, extended with appendices and a few more references

A dynamical measure of the black hole mass in a quasar 11 billion years ago

Authors: R. Abuter, F. Allouche, A. Amorim, C. Bailet, A. Berdeu, J. -P. Berger, P. Berio, A. Bigioli, O. Boebion, M. -L. Bolzer, H. Bonnet, G. Bourdarot, P. Bourget, W. Brandner, Y. Cao, R. Conzelmann, M. Comin, Y. Clénet, B. Courtney-Barrer, R. Davies, D. Defrère, A. Delboulbé, F. Delplancke-Ströbele, R. Dembet, J. Dexter , et al. (102 additional authors not shown)

Abstract: Tight relationships exist in the local universe between the central stellar properties of galaxies and the mass of their supermassive black hole. These suggest galaxies and black holes co-evolve, with the main regulation mechanism being energetic feedback from accretion onto the black hole during its quasar phase. A crucial question is how the relationship between black holes and galaxies evolves… ▽ More Tight relationships exist in the local universe between the central stellar properties of galaxies and the mass of their supermassive black hole. These suggest galaxies and black holes co-evolve, with the main regulation mechanism being energetic feedback from accretion onto the black hole during its quasar phase. A crucial question is how the relationship between black holes and galaxies evolves with time; a key epoch to probe this relationship is at the peaks of star formation and black hole growth 8-12 billion years ago (redshifts 1-3). Here we report a dynamical measurement of the mass of the black hole in a luminous quasar at a redshift of 2, with a look back time of 11 billion years, by spatially resolving the broad line region. We detect a 40 micro-arcsecond (0.31 pc) spatial offset between the red and blue photocenters of the H$α$ line that traces the velocity gradient of a rotating broad line region. The flux and differential phase spectra are well reproduced by a thick, moderately inclined disk of gas clouds within the sphere of influence of a central black hole with a mass of 3.2x10$^{8}$ solar masses. Molecular gas data reveal a dynamical mass for the host galaxy of 6x10$^{11}$ solar masses, which indicates an under-massive black hole accreting at a super-Eddington rate. This suggests a host galaxy that grew faster than the supermassive black hole, indicating a delay between galaxy and black hole formation for some systems. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Comments: 5 pages Main text, 8 figures, 2 tables, to be published in Nature, under embargo until 29 January 2024 16:00 (London)

Single-mode waveguides for GRAVITY II. Single-mode fibers and Fiber Control Unit

Authors: G. Perrin, L. Jocou, K. Perraut, J. Ph. Berger, R. Dembet, P. Fédou, S. Lacour, F. Chapron, C. Collin, S. Poulain, V. Cardin, F. Joulain, F. Eisenhauer, X. Haubois, S. Gillessen, M. Haug, F. Hausmann, P. Kervella, P. Léna, M. Lippa, O. Pfuh, S. Rabien, A. Amorim, W. Brandner, C. Straubmeier

Abstract: The 2nd generation VLTI instrument GRAVITY is a two-field infrared interferometer operating in the K band between 1.97 and 2.43 $μ$m with either the four 8 m or the four 1.8 m telescopes of the Very Large Telescope (VLT). Beams collected by the telescopes are corrected with adaptive optics systems and the fringes are stabilized with a fringe-tracking system. A metrology system allows the measureme… ▽ More The 2nd generation VLTI instrument GRAVITY is a two-field infrared interferometer operating in the K band between 1.97 and 2.43 $μ$m with either the four 8 m or the four 1.8 m telescopes of the Very Large Telescope (VLT). Beams collected by the telescopes are corrected with adaptive optics systems and the fringes are stabilized with a fringe-tracking system. A metrology system allows the measurement of internal path lengths in order to achieve high-accuracy astrometry. High sensitivity and high interferometric accuracy are achieved thanks to (i) correction of the turbulent phase, (ii) the use of low-noise detectors, and (iii) the optimization of photometric and coherence throughput. Beam combination and most of the beam transport are performed with single-mode waveguides in vacuum and at low temperature. In this paper, we present the functions and performance achieved with weakly birefringent standard single-mode fiber systems in GRAVITY. Fibered differential delay lines (FDDLs) are used to dynamically compensate for up to 6 mm of delay between the science and reference targets. Fibered polarization rotators allow us to align polarizations in the instrument and make the single-mode beam combiner close to polarization neutral. The single-mode fiber system exhibits very low birefringence (less than 23°), very low attenuation (3.6-7 dB/km across the K band), and optimized differential dispersion (less than 2.04 $μ$rad cm2 at zero extension of the FDDLs). As a consequence, the typical fringe contrast losses due to the single-mode fibers are 6% to 10% in the lowest-resolution mode and 5% in the medium- and high-resolution modes of the instrument for a photometric throughput of the fiber chain of the order of 90%. There is no equivalent of this fiber system to route and modally filter beams with delay and polarization control in any other K-band beamcombiner. △ Less

Submitted 19 January, 2024; originally announced January 2024.

Comments: 14 pages including 2 appendices, 8 figures in the main text plus 2 figures in the appendices, final version published in A&A

Journal ref: A&A 681, A26 (2024)

The size-luminosity relation of local active galactic nuclei from interferometric observations of the broad-line region

Authors: GRAVITY Collaboration, A. Amorim, G. Bourdarot, W. Brandner, Y. Cao, Y. Clénet, R. Davies, P. T. de Zeeuw, J. Dexter, A. Drescher, A. Eckart, F. Eisenhauer, M. Fabricius, H. Feuchtgruber, N. M. Förster Schreiber, P. J. V. Garcia, R. Genzel, S. Gillessen, D. Gratadour, S. Hönig, M. Kishimoto, S. Lacour, D. Lutz, F. Millour, H. Netzer , et al. (20 additional authors not shown)

Abstract: By using the GRAVITY instrument with the near-infrared (NIR) Very Large Telescope Interferometer (VLTI), the structure of the broad (emission-)line region (BLR) in active galactic nuclei (AGNs) can be spatially resolved, allowing the central black hole (BH) mass to be determined. This work reports new NIR VLTI/GRAVITY interferometric spectra for four type 1 AGNs (Mrk 509, PDS 456, Mrk 1239, and IC… ▽ More By using the GRAVITY instrument with the near-infrared (NIR) Very Large Telescope Interferometer (VLTI), the structure of the broad (emission-)line region (BLR) in active galactic nuclei (AGNs) can be spatially resolved, allowing the central black hole (BH) mass to be determined. This work reports new NIR VLTI/GRAVITY interferometric spectra for four type 1 AGNs (Mrk 509, PDS 456, Mrk 1239, and IC 4329A) with resolved broad-line emission. Dynamical modelling of interferometric data constrains the BLR radius and central BH mass measurements for our targets and reveals outflow-dominated BLRs for Mrk 509 and PDS 456. We present an updated radius-luminosity (R-L) relation independent of that derived with reverberation map** (RM) measurements using all the GRAVITY-observed AGNs. We find our R-L relation to be largely consistent with that derived from RM measurements except at high luminosity, where BLR radii seem to be smaller than predicted. This is consistent with RM-based claims that high Eddington ratio AGNs show consistently smaller BLR sizes. The BH masses of our targets are also consistent with the standard $M_\mathrm{BH}$-$σ_*$ relation. Model-independent photocentre fitting shows spatial offsets between the hot dust continuum and the BLR photocentres (ranging from $\sim$17 $μ$as to 140 $μ$as) that are generally perpendicular to the alignment of the red- and blueshifted BLR photocentres. These offsets are found to be related to the AGN luminosity and could be caused by asymmetric K-band emission of the hot dust, shifting the dust photocentre. We discuss various possible scenarios that can explain this phenomenon. △ Less

Submitted 15 January, 2024; originally announced January 2024.

Comments: Accepted for publication at A&A

The GRAVITY young stellar object survey: XI. Imaging the hot gas emission around the Herbig Ae star HD 58647

Authors: Y. -I. Bouarour, R. Garcia Lopez, J. Sanchez-Bermudez, A. Caratti o Garatti, K. Perraut, N. Aimar, A. Amorim, J. -P. Berger, G. Bourdarot, W. Brandner, Y. Clénet, P. T. de Zeeuw, C. Dougados, A. Drescher, A. Eckart, F. Eisenhauer, M. Flock, P. Garcia, E. Gendron, R. Genzel, S. Gillessen, S. Grant, G. Heißel, Th. Henning, L. Jocou , et al. (23 additional authors not shown)

Abstract: We aim to investigate the origin of the HI Br$γ$ emission in young stars by using GRAVITY to image the innermost region of circumstellar disks, where important physical processes such as accretion and winds occur. With high spectral and angular resolution, we focus on studying the continuum and the HI Br$γ$-emitting area of the Herbig star HD58647. Using VLTI-GRAVITY, we conducted observations of… ▽ More We aim to investigate the origin of the HI Br$γ$ emission in young stars by using GRAVITY to image the innermost region of circumstellar disks, where important physical processes such as accretion and winds occur. With high spectral and angular resolution, we focus on studying the continuum and the HI Br$γ$-emitting area of the Herbig star HD58647. Using VLTI-GRAVITY, we conducted observations of HD58647 with both high spectral and high angular resolution. Thanks to the extensive $uv$ coverage, we were able to obtain detailed images of the circumstellar environment at a sub-au scale, specifically capturing the continuum and the Br$γ$-emitting region. Through the analysis of velocity-dispersed images and photocentre shifts, we were able to investigate the kinematics of the HI Br$γ$-emitting region. The recovered continuum images show extended emission where the disk major axis is oriented along a position angle of 14\degr. The size of the continuum emission at 5-sigma levels is $\sim$ 1.5 times more extended than the sizes reported from geometrical fitting (3.69 mas $\pm$ 0.02 mas). This result supports the existence of dust particles close to the stellar surface, screened from the stellar radiation by an optically thick gaseous disk. Moreover, for the first time with GRAVITY, the hot gas component of HD58647 traced by the Br$γ$ ,has been imaged. This allowed us to constrain the size of the Br$γ$-emitting region and study the kinematics of the hot gas; we find its velocity field to be roughly consistent with gas that obeys Keplerian motion. The velocity-dispersed images show that the size of the hot gas emission is from a more compact region than the continuum (2.3 mas $\pm$ 0.2 mas). Finally, the line phases show that the emission is not entirely consistent with Keplerian rotation, hinting at a more complex structure in the hot gaseous disk. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: accepted in A&A on 20/11/2023

VLTI/GRAVITY Provides Evidence the Young, Substellar Companion HD 136164 Ab formed like a "Failed Star"

Authors: William O. Balmer, L. Pueyo, S. Lacour, J. J. Wang, T. Stolker, J. Kammerer, N. Pourré, M. Nowak, E. Rickman, S. Blunt, A. Sivaramakrishnan, D. Sing, K. Wagner, G. -D. Marleau, A. -M. Lagrange, R. Abuter, A. Amorim, R. Asensio-Torres, J. -P. Berger, H. Beust, A. Boccaletti, A. Bohn, M. Bonnefoy, H. Bonnet, M. S. Bordoni , et al. (71 additional authors not shown)

Abstract: Young, low-mass Brown Dwarfs orbiting early-type stars, with low mass ratios ($q\lesssim0.01$), appear intrinsically rare and present a formation dilemma: could a handful of these objects be the highest mass outcomes of ``planetary" formation channels (bottom up within a protoplanetary disk), or are they more representative of the lowest mass ``failed binaries" (formed via disk fragmentation, or c… ▽ More Young, low-mass Brown Dwarfs orbiting early-type stars, with low mass ratios ($q\lesssim0.01$), appear intrinsically rare and present a formation dilemma: could a handful of these objects be the highest mass outcomes of ``planetary" formation channels (bottom up within a protoplanetary disk), or are they more representative of the lowest mass ``failed binaries" (formed via disk fragmentation, or core fragmentation)? Additionally, their orbits can yield model-independent dynamical masses, and when paired with wide wavelength coverage and accurate system age estimates, can constrain evolutionary models in a regime where the models have a wide dispersion depending on initial conditions. We present new interferometric observations of the $16\,\mathrm{Myr}$ substellar companion HD~136164~Ab (HIP~75056~Ab) with VLTI/GRAVITY and an updated orbit fit including proper motion measurements from the Hipparcos-Gaia Catalogue of Accelerations. We estimate a dynamical mass of $35\pm10\,\mathrm{M_J}$ ($q\sim0.02$), making HD~136164~Ab the youngest substellar companion with a dynamical mass estimate. The new mass and newly constrained orbital eccentricity ($e=0.44\pm0.03$) and separation ($22.5\pm1\,\mathrm{au}$) could indicate that the companion formed via the low-mass tail of the Initial Mass Function. Our atmospheric fit to the \texttt{SPHINX} M-dwarf model grid suggests a sub-solar C/O ratio of $0.45$, and $3\times$ solar metallicity, which could indicate formation in the circumstellar disk via disk fragmentation. Either way, the revised mass estimate likely excludes ``bottom-up" formation via core accretion in the circumstellar disk. HD~136164~Ab joins a select group of young substellar objects with dynamical mass estimates; epoch astrometry from future \textit{Gaia} data releases will constrain the dynamical mass of this crucial object further. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: Accepted for publication in The Astronomical Journal. 9 figures, 3 tables

Using the motion of S2 to constrain vector clouds around SgrA*

Authors: GRAVITY Collaboration, A. Foschi, R. Abuter, K. Abd El Dayem, N. Aimar, P. Amaro Seoane, A. Amorim, J. P. Berger, H. Bonnet, G. Bourdarot, W. Brandner, R. Davies, P. T. de Zeeuw, D. Defrère, J. Dexter, A. Drescher, A. Eckart, F. Eisenhauer, N. M. Förster Schreiber, P. J. V. Garcia, R. Genzel, S. Gillessen, T. Gomes, X. Haubois, G. Heißel , et al. (31 additional authors not shown)

Abstract: The dark compact object at the centre of the Milky Way is well established to be a supermassive black hole with mass $M_{\bullet} \sim 4.3 \cdot 10^6 \, M_{\odot}$, but the nature of its environment is still under debate. In this work, we used astrometric and spectroscopic measurements of the motion of the star S2, one of the closest stars to the massive black hole, to determine an upper limit on… ▽ More The dark compact object at the centre of the Milky Way is well established to be a supermassive black hole with mass $M_{\bullet} \sim 4.3 \cdot 10^6 \, M_{\odot}$, but the nature of its environment is still under debate. In this work, we used astrometric and spectroscopic measurements of the motion of the star S2, one of the closest stars to the massive black hole, to determine an upper limit on an extended mass composed of a massive vector field around Sagittarius A*. For a vector with effective mass $10^{-19} \, \rm eV \lesssim m_s \lesssim 10^{-18} \, \rm eV$, our Markov Chain Monte Carlo analysis shows no evidence for such a cloud, placing an upper bound $M_{\rm cloud} \lesssim 0.1\% M_{\bullet}$ at $3σ$ confidence level. We show that dynamical friction exerted by the medium on S2 motion plays no role in the analysis performed in this and previous works, and can be neglected thus. △ Less

Submitted 8 February, 2024; v1 submitted 5 December, 2023; originally announced December 2023.

Comments: 9 pages, 5 figures, accepted to MNRAS

Pipelines and Beyond: Graph Types for ADTs with Futures

Authors: Francis Rinaldi, june wunder, Arthur Aevedo De Amorim, Stefan K. Muller

Abstract: Parallel programs are frequently modeled as dependency or cost graphs, which can be used to detect various bugs, or simply to visualize the parallel structure of the code. However, such graphs reflect just one particular execution and are typically constructed in a post-hoc manner. Graph types, which were introduced recently to mitigate this problem, can be assigned statically to a program by a ty… ▽ More Parallel programs are frequently modeled as dependency or cost graphs, which can be used to detect various bugs, or simply to visualize the parallel structure of the code. However, such graphs reflect just one particular execution and are typically constructed in a post-hoc manner. Graph types, which were introduced recently to mitigate this problem, can be assigned statically to a program by a type system and compactly represent the family of all graphs that could result from the program. Unfortunately, prior work is restricted in its treatment of futures, an increasingly common and especially dynamic form of parallelism. In short, each instance of a future must be statically paired with a vertex name. Previously, this led to the restriction that futures could not be placed in collections or be used to construct data structures. Doing so is not a niche exercise: such structures form the basis of numerous algorithms that use forms of pipelining to achieve performance not attainable without futures. All but the most limited of these examples are out of reach of prior graph type systems. In this paper, we propose a graph type system that allows for almost arbitrary combinations of futures and recursive data types. We do so by indexing datatypes with a type-level vertex structure, a codata structure that supplies unique vertex names to the futures in a data structure. We prove the soundness of the system in a parallel core calculus annotated with vertex structures and associated operations. Although the calculus is annotated, this is merely for convenience in defining the type system. We prove that it is possible to annotate arbitrary recursive types with vertex structures, and show using a prototype inference engine that these annotations can be inferred from OCaml-like source code for several complex parallel algorithms. △ Less

Submitted 12 November, 2023; originally announced November 2023.

Comments: 65 pages, 41 figures, submitted to POPL 2024

Polarization analysis of the VLTI and GRAVITY

Authors: GRAVITY Collaboration, F. Widmann, X. Haubois N. Schuhler, O. Pfuhl, F. Eisenhauer, S. Gillessen, N. Aimar, A. Amorim, M. Bauböck, J. B. Berger, H. Bonnet, G. Bourdarot, W. Brandner, Y. Clénet, R. Davies, P. T. de Zeeuw, J. Dexter, A. Drescher, A. Eckart, H. Feuchtgruber, N. M. Förster Schreiber, P. Garcia, E. Gendron, R. Genzel, M. Hartl , et al. (37 additional authors not shown)

Abstract: The goal of this work is to characterize the polarization effects of the VLTI and GRAVITY. This is needed to calibrate polarimetric observations with GRAVITY for instrumental effects and to understand the systematic error introduced to the astrometry due to birefringence when observing targets with a significant intrinsic polarization. By combining a model of the VLTI light path and its mirrors an… ▽ More The goal of this work is to characterize the polarization effects of the VLTI and GRAVITY. This is needed to calibrate polarimetric observations with GRAVITY for instrumental effects and to understand the systematic error introduced to the astrometry due to birefringence when observing targets with a significant intrinsic polarization. By combining a model of the VLTI light path and its mirrors and dedicated experimental data, we construct a full polarization model of the VLTI UTs and the GRAVITY instrument. We first characterize all telescopes together to construct a UT calibration model for polarized targets. We then expand the model to include the differential birefringence. With this, we can constrain the systematic errors for highly polarized targets. Together with this paper, we publish a standalone Python package to calibrate the instrumental effects on polarimetric observations. This enables the community to use GRAVITY to observe targets in a polarimetric observing mode. We demonstrate the calibration model with the galactic center star IRS 16C. For this source, we can constrain the polarization degree to within 0.4 % and the polarization angle within 5 deg while being consistent with the literature. Furthermore, we show that there is no significant contrast loss, even if the science and fringe-tracker targets have significantly different polarization, and we determine that the phase error in such an observation is smaller than 1 deg, corresponding to an astrometric error of 10 μas. With this work, we enable the use of the polarimetric mode with GRAVITY/UTs and outline the steps necessary to observe and calibrate polarized targets. We demonstrate that it is possible to measure the intrinsic polarization of astrophysical sources with high precision and that polarization effects do not limit astrometric observations of polarized targets. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: Accepted by A&A

First VLTI/GRAVITY Observations of HIP 65426 b: Evidence for a Low or Moderate Orbital Eccentricity

Authors: S. Blunt, W. O. Balmer, J. J. Wang, S. Lacour, S. Petrus, G. Bourdarot, J. Kammerer, N. Pourré, E. Rickman, J. Shangguan, T. Winterhalder, R. Abuter, A. Amorim, R. Asensio-Torres, M. Benisty, J. -P. Berger, H. Beust, A. Boccaletti, A. Bohn, M. Bonnefoy, H. Bonnet, W. Brandner, F. Cantalloube, P. Caselli, B. Charnay , et al. (73 additional authors not shown)

Abstract: Giant exoplanets have been directly imaged over orders of magnitude of orbital separations, prompting theoretical and observational investigations of their formation pathways. In this paper, we present new VLTI/GRAVITY astrometric data of HIP 65426 b, a cold, giant exoplanet which is a particular challenge for most formation theories at a projected separation of 92 au from its primary. Leveraging… ▽ More Giant exoplanets have been directly imaged over orders of magnitude of orbital separations, prompting theoretical and observational investigations of their formation pathways. In this paper, we present new VLTI/GRAVITY astrometric data of HIP 65426 b, a cold, giant exoplanet which is a particular challenge for most formation theories at a projected separation of 92 au from its primary. Leveraging GRAVITY's astrometric precision, we present an updated eccentricity posterior that disfavors large eccentricities. The eccentricity posterior is still prior-dependent, and we extensively interpret and discuss the limits of the posterior constraints presented here. We also perform updated spectral comparisons with self-consistent forward-modeled spectra, finding a best fit ExoREM model with solar metallicity and C/O=0.6. An important caveat is that it is difficult to estimate robust errors on these values, which are subject to interpolation errors as well as potentially missing model physics. Taken together, the orbital and atmospheric constraints paint a preliminary picture of formation inconsistent with scattering after disk dispersal. Further work is needed to validate this interpretation. Analysis code used to perform this work is available at https://github.com/sblunt/hip65426. △ Less

Submitted 6 October, 2023; v1 submitted 29 September, 2023; originally announced October 2023.

Comments: 28 pages, 14 figures. Revised and resubmitted to AJ

VLTI/GRAVITY Observations and Characterization of the Brown Dwarf Companion HD 72946 B

Authors: W. O. Balmer, L. Pueyo, T. Stolker, H. Reggiani, S. Lacour, A. -L. Maire, P. Mollière, M. Nowak, D. Sing, N. Pourré, S. Blunt, J. J. Wang, E. Rickman, Th. Henning, K. Ward-Duong, R. Abuter, A. Amorim, R. Asensio-Torres, M. Benisty, J. -P. Berger, H. Beust, A. Boccaletti, A. Bohn, M. Bonnefoy, H. Bonnet , et al. (74 additional authors not shown)

Abstract: Tension remains between the observed and modeled properties of substellar objects, but objects in binary orbits, with known dynamical masses can provide a way forward. HD 72946 B is a recently imaged brown dwarf companion to the nearby, solar type star. We achieve $\sim100~μ\mathrm{as}$ relative astrometry of HD 72946 B in the K-band using VLTI/GRAVITY, unprecedented for a benchmark brown dwarf. W… ▽ More Tension remains between the observed and modeled properties of substellar objects, but objects in binary orbits, with known dynamical masses can provide a way forward. HD 72946 B is a recently imaged brown dwarf companion to the nearby, solar type star. We achieve $\sim100~μ\mathrm{as}$ relative astrometry of HD 72946 B in the K-band using VLTI/GRAVITY, unprecedented for a benchmark brown dwarf. We fit an ensemble of measurements of the orbit using orbitize! and derive a strong dynamical mass constraint $\mathrm{M_B}=69.5\pm0.5~\mathrm{M_{Jup}}$ assuming a strong prior on the host star mass $\mathrm{M_A}=0.97\pm0.01~\mathrm{M_\odot}$ from an updated stellar analysis. We fit the spectrum of the companion to a grid of self-consistent BT-Settl-CIFIST model atmospheres, and perform atmospheric retrievals using petitRADTRANS. A dynamical mass prior only marginally influences the sampled distribution on effective temperature, but has a large influence on the surface gravity and radius, as expected. The dynamical mass alone does not strongly influence retrieved pressure-temperature or cloud parameters within our current retrieval setup. Independent of cloud prescription and prior assumptions, we find agreement within $\pm2\,σ$ between the C/O ratio of the host ($0.52\pm0.05)$ and brown dwarf ($0.43$ to $0.63$), as expected from a molecular cloud collapse formation scenario, but our retrieved metallicities are implausibly high ($0.6-0.8$) in light of an excellent agreement of the data with the solar abundance model grid. Future work on our retrieval framework will seek to resolve this tension. Additional study of low surface-gravity objects is necessary to assess the influence of a dynamical mass prior on atmospheric analysis. △ Less

Submitted 15 September, 2023; v1 submitted 8 September, 2023; originally announced September 2023.

Comments: Accepted for publication in the Astrophysical Journal. 32 pages, 14 figures, 7 tables. v2&3 correct errors in co-author's affiliations, figure rendering, and some grant acknowledgements

Polarimetry and Astrometry of NIR Flares as Event Horizon Scale, Dynamical Probes for the Mass of Sgr A*

Authors: The GRAVITY Collaboration, R. Abuter, N. Aimar, P. Amaro Seoane, A. Amorim, M. Bauböck, J. P. Berger, H. Bonnet, G. Bourdarot, W. Brandner, V. Cardoso, Y. Clénet, R. Davies, P. T. de Zeeuw, J. Dexter, A. Drescher, A. Eckart, F. Eisenhauer, H. Feuchtgruber, G. Finger, N. M. Förster Schreiber, A. Foschi, P. Garcia, F. Gao, Z. Gelles , et al. (44 additional authors not shown)

Abstract: We present new astrometric and polarimetric observations of flares from Sgr A* obtained with GRAVITY, the near-infrared interferometer at ESO's Very Large Telescope Interferometer (VLTI), bringing the total sample of well-covered astrometric flares to four and polarimetric ones to six, where we have for two flares good coverage in both domains. All astrometric flares show clockwise motion in the p… ▽ More We present new astrometric and polarimetric observations of flares from Sgr A* obtained with GRAVITY, the near-infrared interferometer at ESO's Very Large Telescope Interferometer (VLTI), bringing the total sample of well-covered astrometric flares to four and polarimetric ones to six, where we have for two flares good coverage in both domains. All astrometric flares show clockwise motion in the plane of the sky with a period of around an hour, and the polarization vector rotates by one full loop in the same time. Given the apparent similarities of the flares, we present a common fit, taking into account the absence of strong Doppler boosting peaks in the light curves and the EHT-measured geometry. Our results are consistent with and significantly strengthen our model from 2018: We find that a) the combination of polarization period and measured flare radius of around nine gravitational radii ($9 R_g \approx 1.5 R_{ISCO}$, innermost stable circular orbit) is consistent with Keplerian orbital motion of hot spots in the innermost accretion zone. The mass inside the flares' radius is consistent with the $4.297 \times 10^6 \; \text{M}_\odot$ measured from stellar orbits at several thousand $R_g$. This finding and the diameter of the millimeter shadow of Sgr A* thus support a single black hole model. Further, b) the magnetic field configuration is predominantly poloidal (vertical), and the flares' orbital plane has a moderate inclination with respect to the plane of the sky, as shown by the non-detection of Doppler-boosting and the fact that we observe one polarization loop per astrometric loop. Moreover, c) both the position angle on sky and the required magnetic field strength suggest that the accretion flow is fueled and controlled by the winds of the massive, young stars of the clockwise stellar disk 1-5 arcsec from Sgr A*, in agreement with recent simulations. △ Less

Submitted 31 August, 2023; v1 submitted 21 July, 2023; originally announced July 2023.

Comments: 10 pages, 12 figures. Accepted for publication in A&A

Journal ref: A&A 677, L10 (2023)

Using the motion of S2 to constrain scalar clouds around SgrA*

Authors: GRAVITY Collaboration, A. Foschi, R. Abuter, N. Aimar, P. Amaro Seoane, A. Amorim, M. Bauböck, J. P. Berger, H. Bonnet, G. Bourdarot, W. Brandner, V. Cardoso, Y. Clénet, Y. Dallilar, R. Davies, P. T. de Zeeuw, D. Defrère, J. Dexter, A. Drescher, A. Eckart, F. Eisenhauer, M. C. Ferreira, N. M. Förster Schreiber, P. J. V. Garcia, F. Gao , et al. (45 additional authors not shown)

Abstract: The motion of S2, one of the stars closest to the Galactic Centre, has been measured accurately and used to study the compact object at the centre of the Milky Way. It is commonly accepted that this object is a supermassive black hole but the nature of its environment is open to discussion. Here, we investigate the possibility that dark matter in the form of an ultralight scalar field ``cloud'' cl… ▽ More The motion of S2, one of the stars closest to the Galactic Centre, has been measured accurately and used to study the compact object at the centre of the Milky Way. It is commonly accepted that this object is a supermassive black hole but the nature of its environment is open to discussion. Here, we investigate the possibility that dark matter in the form of an ultralight scalar field ``cloud'' clusters around Sgr~A*. We use the available data for S2 to perform a Markov Chain Monte Carlo analysis and find the best-fit estimates for a scalar cloud structure. Our results show no substantial evidence for such structures. When the cloud size is of the order of the size of the orbit of S2, we are able to constrain its mass to be smaller than $0.1\%$ of the central mass, setting a strong bound on the presence of new fields in the galactic centre. △ Less

Submitted 2 September, 2023; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: Published on MNRAS. References added

Modular Hardware Design with Timeline Types

Authors: Rachit Nigam, Pedro Henrique Azevedo De Amorim, Adrian Sampson

Abstract: Modular design is a key challenge for enabling large-scale reuse of hardware modules. Unlike software, however, hardware designs correspond to physical circuits and inherit constraints from them. Timing constraints -- which cycle a signal arrives, when an input is read -- and structural constraints -- how often a multiplier accepts new inputs -- are fundamental to hardware interfaces. Existing har… ▽ More Modular design is a key challenge for enabling large-scale reuse of hardware modules. Unlike software, however, hardware designs correspond to physical circuits and inherit constraints from them. Timing constraints -- which cycle a signal arrives, when an input is read -- and structural constraints -- how often a multiplier accepts new inputs -- are fundamental to hardware interfaces. Existing hardware design languages do not provide a way to encode these constraints; a user must read documentation, build scripts, or in the worst case, a module's implementation to understand how to use it. We present Filament, a language for modular hardware design that supports the specification and enforcement of timing and structural constraints for statically scheduled pipelines. Filament uses timeline types, which describe the intervals of clock-cycle time when a given signal is available or required. Filament enables safe composition of hardware modules, ensures that the resulting designs are correctly pipelined, and predictably lowers them to efficient hardware. △ Less

Submitted 20 April, 2023; originally announced April 2023.

Comments: Extended version of PLDI '23 paper

Robust human position estimation in cooperative robotic cells

Authors: António Amorim, Diana Guimarães, Tiago Mendonça, Pedro Neto, Paulo Costa, António Paulo Moreira

Abstract: Robots are increasingly present in our lives, sharing the workspace and tasks with human co-workers. However, existing interfaces for human-robot interaction / cooperation (HRI/C) have limited levels of intuitiveness to use and safety is a major concern when humans and robots share the same workspace. Many times, this is due to the lack of a reliable estimation of the human pose in space which is… ▽ More Robots are increasingly present in our lives, sharing the workspace and tasks with human co-workers. However, existing interfaces for human-robot interaction / cooperation (HRI/C) have limited levels of intuitiveness to use and safety is a major concern when humans and robots share the same workspace. Many times, this is due to the lack of a reliable estimation of the human pose in space which is the primary input to calculate the human-robot minimum distance (required for safety and collision avoidance) and HRI/C featuring machine learning algorithms classifying human behaviours / gestures. Each sensor type has its own characteristics resulting in problems such as occlusions (vision) and drift (inertial) when used in an isolated fashion. In this paper, it is proposed a combined system that merges the human tracking provided by a 3D vision sensor with the pose estimation provided by a set of inertial measurement units (IMUs) placed in human body limbs. The IMUs compensate the gaps in occluded areas to have tracking continuity. To mitigate the lingering effects of the IMU offset we propose a continuous online calculation of the offset value. Experimental tests were designed to simulate human motion in a human-robot collaborative environment where the robot moves away to avoid unexpected collisions with de human. Results indicate that our approach is able to capture the human\textsc's position, for example the forearm, with a precision in the millimetre range and robustness to occlusions. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Journal ref: Robotics and Computer-Integrated Manufacturing, 67, 102035 (2021)

Where intermediate-mass black holes could hide in the Galactic Centre: A full parameter study with the S2 orbit

Authors: The GRAVITY Collaboration, O. Straub, M. Bauböck, R. Abuter, N. Aimar, P. Amaro Seoane, A. Amorim, J. P. Berger, H. Bonnet, G. Bourdarot, W. Brandner, V. Cardoso, Y. Clénet, Y. Dallilar, R. Davies, P. T. de Zeeuw, J. Dexter, A. Drescher, F. Eisenhauer, N. M. Förster Schreiber, A. Foschi, P. Garcia, F. Gao, E. Gendron, R. Genzel , et al. (37 additional authors not shown)

Abstract: In the Milky Way the central massive black hole, SgrA*, coexists with a compact nuclear star cluster that contains a sub-parsec concentration of fast-moving young stars called S-stars. Their location and age are not easily explained by current star formation models, and in several scenarios the presence of an intermediate-mass black hole (IMBH) has been invoked. We use GRAVITY astrometric and SINF… ▽ More In the Milky Way the central massive black hole, SgrA*, coexists with a compact nuclear star cluster that contains a sub-parsec concentration of fast-moving young stars called S-stars. Their location and age are not easily explained by current star formation models, and in several scenarios the presence of an intermediate-mass black hole (IMBH) has been invoked. We use GRAVITY astrometric and SINFONI, KECK, and GNIRS spectroscopic data of S2 to investigate whether a second massive object could be present deep in the Galactic Centre (GC) in the form of an IMBH binary companion to SgrA*. To solve the three-body problem, we used a post-Newtonian framework and consider two types of settings: (i) a hierarchical set-up where the star S2 orbits the SgrA* - IMBH binary and (ii) a non-hierarchical set-up where the IMBH trajectory lies outside the S2 orbit. In both cases we explore the full 20-dimensional parameter space by employing a Bayesian dynamic nested sampling method. For the hierarchical case we find: IMBH masses > 2000 Msun on orbits with smaller semi-major axes than S2 are largely excluded. For the non-hierarchical case the parameter space contains several pockets of valid IMBH solutions. However, a closer analysis of their impact on the resident stars reveals that IMBHs on semi-major axes larger than S2 tend to disrupt the S-star cluster in less than a million years. This makes the existence of an IMBH among the S-stars highly unlikely. The current S2 data do not formally require the presence of an IMBH. If an IMBH hides in the GC, it has to be either a low-mass IMBH inside the S2 orbit that moves on a short and significantly inclined trajectory or an IMBH with a semi-major axis >1". We provide the parameter maps of valid IMBH solutions in the GC and discuss the general structure of our results. (abridged) △ Less

Submitted 13 July, 2023; v1 submitted 7 March, 2023; originally announced March 2023.

Comments: 11 pages, 6 figures, published in A $\&$ A

Journal ref: A&A 672, A63 (2023)

Separated and Shared Effects in Higher-Order Languages

Authors: Pedro H. Azevedo de Amorim, Justin Hsu

Abstract: Effectful programs interact in ways that go beyond simple input-output, making compositional reasoning challenging. Existing work has shown that when such programs are ``separate'', i.e., when programs do not interfere with each other, it can be easier to reason about them. While reasoning about separated resources has been well-studied, there has been little work on reasoning about separated effe… ▽ More Effectful programs interact in ways that go beyond simple input-output, making compositional reasoning challenging. Existing work has shown that when such programs are ``separate'', i.e., when programs do not interfere with each other, it can be easier to reason about them. While reasoning about separated resources has been well-studied, there has been little work on reasoning about separated effects, especially for functional, higher-order programming languages. We propose two higher-order languages that can reason about sharing and separation in effectful programs. Our first language $λ_{\text{INI}}$ has a linear type system and probabilistic semantics, where the two product types capture independent and possibly-dependent pairs. Our second language $λ_{\text{INI}}^2$ is two-level, stratified language, inspired by Benton's linear-non-linear (LNL) calculus. We motivate this language with a probabilistic model, but we also provide a general categorical semantics and exhibit a range of concrete models beyond probabilistic programming. We prove soundness theorems for all of our languages; our general soundness theorem for our categorical models of $λ_{\text{INI}}^2$ uses a categorical gluing construction. △ Less

Submitted 2 March, 2023; originally announced March 2023.

The GRAVITY+ Project: Towards All-sky, Faint-Science, High-Contrast Near-Infrared Interferometry at the VLTI

Authors: GRAVITY+ Collaboration, :, Roberto Abuter, Patricio Alarcon, Fatme Allouche, Antonio Amorim, Christophe Bailet, Helen Bedigan, Anthony Berdeu, Jean-Philippe Berger, Philippe Berio, Azzurra Bigioli, Richard Blaho, Olivier Boebion, Marie-Lena Bolzer, Henri Bonnet, Guillaume Bourdarot, Pierre Bourget, Wolfgang Brandner, Cesar Cardenas, Ralf Conzelmann, Mauro Comin, Yann Clénet, Benjamin Courtney-Barrer, Yigit Dallilar , et al. (112 additional authors not shown)

Abstract: The GRAVITY instrument has been revolutionary for near-infrared interferometry by pushing sensitivity and precision to previously unknown limits. With the upgrade of GRAVITY and the Very Large Telescope Interferometer (VLTI) in GRAVITY+, these limits will be pushed even further, with vastly improved sky coverage, as well as faint-science and high-contrast capabilities. This upgrade includes the im… ▽ More The GRAVITY instrument has been revolutionary for near-infrared interferometry by pushing sensitivity and precision to previously unknown limits. With the upgrade of GRAVITY and the Very Large Telescope Interferometer (VLTI) in GRAVITY+, these limits will be pushed even further, with vastly improved sky coverage, as well as faint-science and high-contrast capabilities. This upgrade includes the implementation of wide-field off-axis fringe-tracking, new adaptive optics systems on all Unit Telescopes, and laser guide stars in an upgraded facility. GRAVITY+ will open up the sky to the measurement of black hole masses across cosmic time in hundreds of active galactic nuclei, use the faint stars in the Galactic centre to probe General Relativity, and enable the characterisation of dozens of young exoplanets to study their formation, bearing the promise of another scientific revolution to come at the VLTI. △ Less

Submitted 19 January, 2023; originally announced January 2023.

Comments: Published in the ESO Messenger

The GRAVITY Young Stellar Object survey -- IX. Spatially resolved kinematics of hot hydrogen gas in the star/disk interaction region of T Tauri stars

Authors: GRAVITY Collaboration, J. A. Wojtczak, L. Labadie, K. Perraut, B. Tessore, A. Soulain, V. Ganci, J. Bouvier, C. Dougados, E. Alécian, H. Nowacki, G. Cozzo, W. Brandner, A. Caratti o Garatti, P. Garcia, R. Garcia Lopez, J. Sanchez-Bermudez, A. Amorim, M. Benisty, J. -P. Berger, G. Bourdarot, P. Caselli, Y. Clénet, P. T. de Zeeuw, R. Davies , et al. (36 additional authors not shown)

Abstract: Aims: We aim to spatially and spectrally resolve the Br-gamma hydrogen emission line with the methods of interferometry in order to examine the kinematics of the hydrogen gas emission region in the inner accretion disk of a sample of solar-like young stellar objects. The goal is to identify trends and categories among the sources of our sample and to discuss whether or not they can be tied to diff… ▽ More Aims: We aim to spatially and spectrally resolve the Br-gamma hydrogen emission line with the methods of interferometry in order to examine the kinematics of the hydrogen gas emission region in the inner accretion disk of a sample of solar-like young stellar objects. The goal is to identify trends and categories among the sources of our sample and to discuss whether or not they can be tied to different origin mechanisms associated with Br-gamma emission in T Tauri stars, chiefly and most prominently magnetospheric accretion. Methods: We observed a sample of seven T Tauri stars for the first time with VLTI GRAVITY, recording spectra and spectrally dispersed interferometric quantities across the Br-gamma line in the NIR K-band. We use them to extract the size of the Br-gamma emission region and the photocenter shifts. To assist in the interpretation, we also make use of radiative transfer models of magnetospheric accretion to establish a baseline of expected interferometric signatures if accretion is the primary driver of Br-gamma emission. Results: From among our sample, we find that five of the seven T~Tauri stars show an emission region with a half-flux radius in the range broadly expected for magnetospheric truncation. Two of the five objects also show Br-gamma emission primarily originating from within the corotation radius, while two other objects exhibit extended emission on a scale beyond 10 R$_*$, one of them even beyond the K~band continuum half-flux radius of 11.3 R$_*$. Conclusions: We find strong evidence to suggest that for the two weakest accretors in the sample, magnetospheric accretion is the primary driver of Br-gamma radiation. The results for the remaining sources imply either partial or strong contributions coming from spatially extended emission components in the form of outflows, such as stellar or disk winds. △ Less

Submitted 23 November, 2022; v1 submitted 24 October, 2022; originally announced October 2022.

Comments: Version corresponds to the one in A&A production. The author list has been amended with "GRAVITY Collaboration" as first entry in kee** with the convention established for papers published by the GRAVITY consortium in recent years

Journal ref: A&A 669, A59 (2023)

Comparative analysis of deep learning approaches for AgNOR-stained cytology samples interpretation

Authors: João Gustavo Atkinson Amorim, André Victória Matias, Allan Cerentini, Luiz Antonio Buschetto Macarini, Alexandre Sherlley Onofre, Fabiana Botelho Onofre, Aldo von Wangenheim

Abstract: Cervical cancer is a public health problem, where the treatment has a better chance of success if detected early. The analysis is a manual process which is subject to a human error, so this paper provides a way to analyze argyrophilic nucleolar organizer regions (AgNOR) stained slide using deep learning approaches. Also, this paper compares models for instance and semantic detection approaches. Ou… ▽ More Cervical cancer is a public health problem, where the treatment has a better chance of success if detected early. The analysis is a manual process which is subject to a human error, so this paper provides a way to analyze argyrophilic nucleolar organizer regions (AgNOR) stained slide using deep learning approaches. Also, this paper compares models for instance and semantic detection approaches. Our results show that the semantic segmentation using U-Net with ResNet-18 or ResNet-34 as the backbone have similar results, and the best model shows an IoU for nucleus, cluster, and satellites of 0.83, 0.92, and 0.99 respectively. For instance segmentation, the Mask R-CNN using ResNet-50 performs better in the visual inspection and has a 0.61 of the IoU metric. We conclude that the instance segmentation and semantic segmentation models can be used in combination to make a cascade model able to select a nucleus and subsequently segment the nucleus and its respective nucleolar organizer regions (NORs). △ Less

Submitted 19 October, 2022; originally announced October 2022.

MSC Class: 68T45; 68T07; ACM Class: I.4; I.2

Towards measuring supermassive black hole masses with interferometric observations of the dust continuum

Authors: GRAVITY Collaboration, A. Amorim, G. Bourdarot, W. Brandner, Y. Cao, Y. Clénet, R. Davies, P. T. de Zeeuw, J. Dexter, A. Drescher, A. Eckart, F. Eisenhauer, M. Fabricius, N. M. Förster Schreiber, P. J. V. Garcia, R. Genzel, S. Gillessen, D. Gratadour, S. Hönig, M. Kishimoto, S. Lacour, D. Lutz, F. Millour, H. Netzer, T. Ott , et al. (18 additional authors not shown)

Abstract: This work focuses on active galactic nuclei (AGNs), and the relation between the sizes of the hot dust continuum and the broad-line region (BLR). We find that the continuum size measured using optical/near-infrared interferometry (OI) is roughly twice that measured by reverberation map** (RM). Both OI and RM continuum sizes show a tight relation with the H$β$ BLR size with only an intrinsic scat… ▽ More This work focuses on active galactic nuclei (AGNs), and the relation between the sizes of the hot dust continuum and the broad-line region (BLR). We find that the continuum size measured using optical/near-infrared interferometry (OI) is roughly twice that measured by reverberation map** (RM). Both OI and RM continuum sizes show a tight relation with the H$β$ BLR size with only an intrinsic scatter of 0.25 dex. The masses of supermassive black holes (BHs) can hence be simply derived from a dust size in combination with a broad line width and virial factor. Since the primary uncertainty of these BH masses comes from the virial factor, the accuracy of the continuum-based BH masses is close to those based on the RM measurement of the broad emission line. Moreover, the necessary continuum measurements can be obtained on a much shorter timescale than those required monitoring for RM, and are also more time efficient than those needed to resolve the BLR with OI. The primary goal of this work is to demonstrate measuring the BH mass based on the dust continuum size with our first calibration of the $R_\mathrm{BLR}$-$R_\mathrm{d}$ relation. The current limitation and caveats are discussed in detail. Future GRAVITY observations are expected to improve the continuum-based method and have the potential to measure BH masses for a large sample of AGNs in the low-redshift Universe. △ Less

Submitted 28 September, 2022; originally announced September 2022.

Comments: Accepted for publication in A&A; 11 pages, 5 figures, 3 tables

Journal ref: A&A 669, A14 (2023)

Direct discovery of the inner exoplanet in the HD206893 system. Evidence for deuterium burning in a planetary-mass companion

Authors: S. Hinkley, S. Lacour, G. -D. Marleau, A. M. Lagrange, J. J. Wang, J. Kammerer, A. Cumming, M. Nowak, L. Rodet, T. Stolker, W. -O. Balmer, S. Ray, M. Bonnefoy, P. Mollière, C. Lazzoni, G. Kennedy, C. Mordasini, R. Abuter, S. Aigrain, A. Amorim, R. Asensio-Torres, C. Babusiaux, M. Benisty, J. -P. Berger, H. Beust , et al. (89 additional authors not shown)

Abstract: Long term precise radial velocity (RV) monitoring of the nearby star HD206893, as well as anomalies in the system proper motion, have suggested the presence of an additional, inner companion in the system. Here we describe the results of a multi-epoch search for the companion responsible for this RV drift and proper motion anomaly using the VLTI/GRAVITY instrument. Utilizing information from ongoi… ▽ More Long term precise radial velocity (RV) monitoring of the nearby star HD206893, as well as anomalies in the system proper motion, have suggested the presence of an additional, inner companion in the system. Here we describe the results of a multi-epoch search for the companion responsible for this RV drift and proper motion anomaly using the VLTI/GRAVITY instrument. Utilizing information from ongoing precision RV measurements with the HARPS spectrograph, as well as Gaia host star astrometry, we report a high significance detection of the companion HD206893c over three epochs, with clear evidence for Keplerian orbital motion. Our astrometry with $\sim$50-100 $μ$arcsec precision afforded by GRAVITY allows us to derive a dynamical mass of 12.7$^{+1.2}_{-1.0}$ M$_{\rm Jup}$ and an orbital separation of 3.53$^{+0.08}_{-0.06}$ au for HD206893c. Our fits to the orbits of both companions in the system utilize both Gaia astrometry and RVs to also provide a precise dynamical estimate of the previously uncertain mass of the B component, and therefore derive an age of $155\pm15$ Myr. We find that theoretical atmospheric/evolutionary models incorporating deuterium burning for HD206893c, parameterized by cloudy atmospheres provide a good simultaneous fit to the luminosity of both HD206893B and c. In addition to utilizing long-term RV information, this effort is an early example of a direct imaging discovery of a bona fide exoplanet that was guided in part with Gaia astrometry. Utilizing Gaia astrometry is expected to be one of the primary techniques going forward to identify and characterize additional directly imaged planets. Lastly, this discovery is another example of the power of optical interferometry to directly detect and characterize extrasolar planets where they form at ice-line orbital separations of 2-4\,au. △ Less

Submitted 3 April, 2023; v1 submitted 9 August, 2022; originally announced August 2022.

Comments: Accepted to A&A

The miniJPAS survey: The galaxy populations in the most massive cluster in miniJPAS, mJPC2470-1771

Authors: J. E. Rodríguez Martín, R. M. González Delgado, G. Martínez-Solaeche, L. A. Díaz-García, A. de Amorim, R. García-Benito, E. Pérez, R. Cid Fernandes, E. R. Carrasco, M. Maturi, A. Finoguenov, P. A. A. Lopes, A. Cortesi, G. Lucatelli, J. M. Diego, A. L. Chies-Santos, R. A. Dupke, Y. Jiménez-Teja, J. M. Vílchez, L. R. Abramo, J. Alcaniz, N. Benítez, S. Bonoli, A. J. Cenarro, D. Cristóbal-Hornillos , et al. (11 additional authors not shown)

Abstract: The miniJPAS is a 1 deg$^2$ survey that uses the Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) filter system (54 narrow-band filters) with the Pathfinder camera. We study mJPC2470-1771, the most massive cluster detected in miniJPAS. We study the stellar population properties of the members, their star formation rates (SFR), star formation histories (SFH), the emissio… ▽ More The miniJPAS is a 1 deg$^2$ survey that uses the Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) filter system (54 narrow-band filters) with the Pathfinder camera. We study mJPC2470-1771, the most massive cluster detected in miniJPAS. We study the stellar population properties of the members, their star formation rates (SFR), star formation histories (SFH), the emission line galaxy (ELG) population, their spatial distribution, and the effect of the environment on them, showing the power of J-PAS to study the role of environment in galaxy evolution. We use a spectral energy distribution (SED) fitting code to derive the stellar population properties of the galaxy members: stellar mass, extinction, metallicity, colours, ages, SFH (a delayed-$τ$ model), and SFRs. Artificial Neural Networks are used for the identification of the ELG population through the detection of H$α$, [NII], H$β$, and [OIII] nebular emission. We use the WHAN and BPT diagrams to separate them into star-forming galaxies and AGNs. We find that the fraction of red galaxies increases with the cluster-centric radius. We select 49 ELG, 65.3\% of the them are probably star forming galaxies, and they are dominated by blue galaxies. 24% are likely to host an AGN (Seyfert or LINER galaxies). The rest are difficult to classify and are most likely composite galaxies. Our results are compatible with an scenario where galaxy members were formed roughly at the same epoch, but blue galaxies have had more recent star formation episodes, and they are quenching from inside-out of the cluster centre. The spatial distribution of red galaxies and their properties suggest that they were quenched prior to the cluster accretion or an earlier cluster accretion epoch. AGN feedback and/or mass might also be intervening in the quenching of these galaxies. △ Less

Submitted 20 July, 2022; originally announced July 2022.

Comments: 24 pages, 17 figures, 4 tables, accepted in Astronomy & Astrophysics

Journal ref: A&A 666, A160 (2022)

On Pitts' Relational Properties of Domains

Authors: Arthur Azevedo de Amorim

Abstract: Andrew Pitts' framework of relational properties of domains is a powerful method for defining predicates or relations on domains, with applications ranging from reasoning principles for program equivalence to proofs of adequacy connecting denotational and operational semantics. Its main appeal is handling recursive definitions that are not obviously well-founded: as long as the corresponding domai… ▽ More Andrew Pitts' framework of relational properties of domains is a powerful method for defining predicates or relations on domains, with applications ranging from reasoning principles for program equivalence to proofs of adequacy connecting denotational and operational semantics. Its main appeal is handling recursive definitions that are not obviously well-founded: as long as the corresponding domain is also defined recursively, and its recursion pattern lines up appropriately with the definition of the relations, the framework can guarantee their existence. Pitts' original development used the Knaster-Tarski fixed-point theorem as a key ingredient. In these notes, I show how his construction can be seen as an instance of other key fixed-point theorems: the inverse limit construction, the Banach fixed-point theorem and the Kleene fixed-point theorem. The connection underscores how Pitts' construction is intimately tied to the methods for constructing the base recursive domains themselves, and also to techniques based on guarded recursion, or step-indexing, that have become popular in the last two decades. △ Less

Submitted 14 July, 2022; originally announced July 2022.

Distribution Theoretic Semantics for Non-Smooth Differentiable Programming

Authors: Pedro H. Azevedo de Amorim, Christopher Lam

Abstract: With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Nowadays it has found applications in many different areas as well, such as scientific computing, robotics, computer graphics and others. One of its notoriously difficult problems consists in interpreting programs that are not differentiable everywhere. In… ▽ More With the wide spread of deep learning and gradient descent inspired optimization algorithms, differentiable programming has gained traction. Nowadays it has found applications in many different areas as well, such as scientific computing, robotics, computer graphics and others. One of its notoriously difficult problems consists in interpreting programs that are not differentiable everywhere. In this work we define $λ_δ$, a core calculus for non-smooth differentiable programs and define its semantics using concepts from distribution theory, a well-established area of functional analysis. We also show how $λ_δ$ presents better equational properties than other existing semantics and use our semantics to reason about a simplified ray tracing algorithm. Further, we relate our semantics to existing differentiable languages by providing translations to and from other existing differentiable semantic models. Finally, we provide a proof-of-concept implementation in PyTorch of the novel constructions in this paper. △ Less

Submitted 12 July, 2022; originally announced July 2022.

The miniJPAS survey: The role of group environment in quenching the star formation

Authors: R. M. González Delgado, J. E. Rodríguez-Martín, L. A. Díaz-García, A. de Amorim, R. García-Benito, G. Martínez-Solaeche, P. A. A. Lopes, M. Maturi, E. Pérez, R. Cid Fernandes, A. Cortesi, A. Finoguenov, E. R. Carrasco, A. Hernán-Caballero, L. R. Abramo, J. Alcaniz, N. Benítez, S. Bonoli, A. J. Cenarro, D. Cristóbal-Hornillos, J. M. Diego, R. A. Dupke, A. Ederoclite, J. A. Fernández-Ontiveros, C. López-Sanjuan , et al. (10 additional authors not shown)

Abstract: The miniJPAS survey has observed $\sim 1$ deg$^2$ on the AEGIS field with 60 bands (spectral resolution of $R \sim 60$) in order to demonstrate the capabilities of the Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) that will map $\sim 8000$ deg$^2$ of the northern sky in the next years. This paper shows the power of J-PAS to detect low mass groups and characterise the… ▽ More The miniJPAS survey has observed $\sim 1$ deg$^2$ on the AEGIS field with 60 bands (spectral resolution of $R \sim 60$) in order to demonstrate the capabilities of the Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) that will map $\sim 8000$ deg$^2$ of the northern sky in the next years. This paper shows the power of J-PAS to detect low mass groups and characterise their galaxy populations up to $z \sim 1$. We use the spectral energy distribution fitting code BaySeAGal to derive the stellar population properties of the galaxy members in 80 groups at $z \leq 0.8$ previously detected by the AMICO code, as well as for a galaxy field sample retrieved from the whole miniJPAS sample. We identify blue, red, quiescent, and transition galaxy populations through their rest-frame (extinction corrected) colour, stellar mass ($M_\star$) and specific star formation rate. We measure their abundance as a function of $M_\star$ and environment. We find: (i) The fraction of red and quiescent galaxies in groups increases with $M_\star$ and it is always higher in groups than in the field. (ii) The quenched fraction excess (QFE) in groups strongly increases with $M_\star$, (from a few percent to higher than 60% in the mass range $10^{10} - 3 \times 10 ^{11}$ $M_\odot$. (iii) The abundance excess of transition galaxies in groups shows a modest dependence with $M_\star$ (iv) The fading time scale is very short ($<1.5$ Gyr), indicating that the star formation declines very rapidly in groups. (v) The evolution of the galaxy quenching rate in groups shows a modest but significant evolution since $z\sim0.8$, compatible with an evolution with constant $QFE=0.4$, previously measured for satellites in the nearby Universe, and consistent with a scenario where the low-mass star-forming galaxies in clusters at $z= 1-1.4$ are environmentally quenched. △ Less

Submitted 12 July, 2022; originally announced July 2022.

Comments: 21 pages, 20 figures, accepted for publication in Astronomy & Astrophysics

First Light for GRAVITY Wide: Large Separation Fringe Tracking for the Very Large Telescope Interferometer

Authors: GRAVITY+ Collaboration, :, R. Abuter, F. Allouche, A. Amorim, C. Bailet, M. Bauböck, J. -P. Berger, P. Berio, A. Bigioli, O. Boebion, M. L. Bolzer, H. Bonnet, G. Bourdarot, P. Bourget, W. Brandner, Y. Clénet, B. Courtney-Barrer, Y. Dallilar, R. Davies, D. Defrère, A. Delboulbé, F. Delplancke, R. Dembet, P. T. de Zeeuw , et al. (92 additional authors not shown)

Abstract: GRAVITY+ is the upgrade of GRAVITY and the Very Large Telescope Interferometer (VLTI) with wide-separation fringe tracking, new adaptive optics, and laser guide stars on all four 8~m Unit Telescopes (UTs), for ever fainter, all-sky, high contrast, milliarcsecond interferometry. Here we present the design and first results of the first phase of GRAVITY+, called GRAVITY Wide. GRAVITY Wide combines t… ▽ More GRAVITY+ is the upgrade of GRAVITY and the Very Large Telescope Interferometer (VLTI) with wide-separation fringe tracking, new adaptive optics, and laser guide stars on all four 8~m Unit Telescopes (UTs), for ever fainter, all-sky, high contrast, milliarcsecond interferometry. Here we present the design and first results of the first phase of GRAVITY+, called GRAVITY Wide. GRAVITY Wide combines the dual-beam capabilities of the VLTI and the GRAVITY instrument to increase the maximum separation between the science target and the reference star from 2 arcseconds with the 8 m UTs up to several 10 arcseconds, limited only by the Earth's turbulent atmosphere. This increases the sky-coverage of GRAVITY by two orders of magnitude, opening up milliarcsecond resolution observations of faint objects, and in particular the extragalactic sky. The first observations in 2019 - 2022 include first infrared interferometry of two redshift $z\sim2$ quasars, interferometric imaging on the binary system HD 105913A, and repeated observations of multiple star systems in the Orion Trapezium Cluster. We find the coherence loss between the science object and fringe-tracking reference star well described by the turbulence of the Earth's atmosphere. We confirm that the larger apertures of the UTs result in higher visibilities for a given separation due to larger overlap of the projected pupils on sky and give predictions for visibility loss as a function of separation to be used for future planning. △ Less

Submitted 23 August, 2022; v1 submitted 1 June, 2022; originally announced June 2022.

Comments: 15 pages, 12 figures, 5 tables. Accepted by A&A

Journal ref: A&A 665, A75 (2022)

The miniJPAS survey: Identification and characterization of the emission line galaxies down to $z < 0.35$ in the AEGIS field

Authors: G. Martínez-Solaeche, R. M. González Delgado, R. García-Benito, L. A. Díaz-García, J. E. Rodríguez-Martín, E. Pérez, A. de Amorim, S. Duarte Puertas, Laerte Sodré Jr., David Sobral, Jonás Chaves-Montero, J. M. Vílchez, A. Hernán-Caballero, C. López-Sanjuan, A. Cortesi, S. Bonoli, A. J. Cenarro, R. A. Dupke, A. Marín-Franch, J. Varela, H. Vázquez Ramió, L. R. Abramo, D. Cristóbal-Hornillos, M. Moles, J. Alcaniz , et al. (6 additional authors not shown)

Abstract: The Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) is expected to map thousands of square degrees of the northern sky with 56 narrowband filters in the upcoming years. This will make J-PAS a very competitive and unbiased emission line survey compared to spectroscopic or narrowband surveys with fewer filters. The miniJPAS survey covered 1 deg$^2$, and it used the same… ▽ More The Javalambre-Physics of the Accelerating Universe Astrophysical Survey (J-PAS) is expected to map thousands of square degrees of the northern sky with 56 narrowband filters in the upcoming years. This will make J-PAS a very competitive and unbiased emission line survey compared to spectroscopic or narrowband surveys with fewer filters. The miniJPAS survey covered 1 deg$^2$, and it used the same photometric system as J-PAS, but the observations were carried out with the pathfinder J-PAS camera. In this work, we identify and characterize the sample of emission line galaxies (ELGs) from miniJPAS with a redshift lower than $0.35$. Using a method based on artificial neural networks, we detect the ELG population and measure the equivalent width and flux of the $Hα$, $Hβ$, [OIII], and [NII] emission lines. We explore the ionization mechanism using the diagrams [OIII]/H$β$ versus [NII]/H$α$ (BPT) and EW(H$α$) versus [NII]/H$α$ (WHAN). We identify 1787 ELGs ($83$%) from the parent sample (2154 galaxies) in the AEGIS field. For the galaxies with reliable EW values that can be placed in the WHAN diagram (2000 galaxies in total), we obtained that $72.8 \pm 0.4$%, $17.7 \pm 0.4$% , and $9.4 \pm 0.2$% are star-forming (SF), active galactic nucleus (Seyfert), and quiescent galaxies, respectively. Based on the flux of $Hα$ we find that the star formation main sequence is described as $\log$ SFR $[M_\mathrm{\odot} \mathrm{yr}^{-1}] = 0.90^{+ 0.02}_{-0.02} \log M_{\star} [M_\mathrm{\odot}] -8.85^{+ 0.19}_{-0.20}$ and has an intrinsic scatter of $0.20^{+ 0.01}_{-0.01}$. The cosmic evolution of the SFR density ($ρ_{\text{SFR}}$) is derived at three redshift bins: $0 < z \leq 0.15$, $0.15 < z \leq 0.25$, and $0.25 < z \leq 0.35$, which agrees with previous results that were based on measurements of the $Hα$ emission line. △ Less

Submitted 4 April, 2022; originally announced April 2022.

Comments: 22 pages, 19 figures

Journal ref: A&A 661, A99 (2022)

Bunched Fuzz: Sensitivity for Vector Metrics

Authors: june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi

Abstract: Program sensitivity measures the distance between the outputs of a program when run on two related inputs. This notion, which plays a key role in areas such as data privacy and optimization, has been the focus of several program analysis techniques introduced in recent years. Among the most successful ones, we can highlight type systems inspired by linear logic, as pioneered by Reed and Pierce in… ▽ More Program sensitivity measures the distance between the outputs of a program when run on two related inputs. This notion, which plays a key role in areas such as data privacy and optimization, has been the focus of several program analysis techniques introduced in recent years. Among the most successful ones, we can highlight type systems inspired by linear logic, as pioneered by Reed and Pierce in the Fuzz programming language. In Fuzz, each type is equipped with its own distance, and sensitivity analysis boils down to type checking. In particular, Fuzz features two product types, corresponding to two different notions of distance: the tensor product combines the distances of each component by adding them, while the with product takes their maximum. In this work, we show that these products can be generalized to arbitrary $L^p$ distances, metrics that are often used in privacy and optimization. The original Fuzz products, tensor and with, correspond to the special cases $L^1$ and $L^\infty$. To ease the handling of such products, we extend the Fuzz type system with bunches -- as in the logic of bunched implications -- where the distances of different groups of variables can be combined using different $L^p$ distances. We show that our extension can be used to reason about quantitative properties of probabilistic programs. △ Less

Submitted 1 February, 2023; v1 submitted 3 February, 2022; originally announced February 2022.

The DIVING$^{3D}$ Survey -- Deep IFS View of Nuclei of Galaxies -- I. Definition and Sample Presentation

Authors: J. E. Steiner, R. B. Menezes, T. V. Ricci, Patrícia da Silva, R. Cid Fernandes, N. Vale Asari, M. S. Carvalho, D. May, Paula R. T. Coelho, A. L. de Amorim

Abstract: We present the Deep Integral Field Spectrograph View of Nuclei of Galaxies (DIVING$^{3D}$) survey, a seeing-limited optical 3D spectroscopy study of the central regions of all 170 galaxies in the Southern hemisphere with B < 12.0 and |b| > 15 degrees. Most of the observations were taken with the Integral Field Unit of the Gemini Multi-Object Spectrograph, at the Gemini South telescope, but some ar… ▽ More We present the Deep Integral Field Spectrograph View of Nuclei of Galaxies (DIVING$^{3D}$) survey, a seeing-limited optical 3D spectroscopy study of the central regions of all 170 galaxies in the Southern hemisphere with B < 12.0 and |b| > 15 degrees. Most of the observations were taken with the Integral Field Unit of the Gemini Multi-Object Spectrograph, at the Gemini South telescope, but some are also being taken with the Southern Astrophysical Research Telescope (SOAR) Integral Field Spectrograph. The DIVING$^{3D}$ survey was designed for the study of nuclear emission-line properties, circumnuclear (within scales of hundreds of pc) emission-line properties, stellar and gas kinematics and stellar archaeology. The data have a combination of high spatial and spectral resolution not matched by previous surveys and will result in significant contributions for studies related to, for example, the statistics of low-luminosity active galactic nuclei, the ionization mechanisms in Low-Ionization Nuclear Emission-Line Regions, the nature of transition objects, among other topics. △ Less

Submitted 31 January, 2022; originally announced February 2022.

Comments: 17 pages, 10 figures, 1 table, published in MNRAS

Journal ref: MNRAS, 510, 5780 (2022)

A Higher-Order Language for Markov Kernels and Linear Operators

Authors: Pedro H. Azevedo de Amorim

Abstract: Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics based on linear operators. Both styles of semantics have found numerous applications in reasoning about probabilistic programs, but they each have their strength… ▽ More Much work has been done to give semantics to probabilistic programming languages. In recent years, most of the semantics used to reason about probabilistic programs fall in two categories: semantics based on Markov kernels and semantics based on linear operators. Both styles of semantics have found numerous applications in reasoning about probabilistic programs, but they each have their strengths and weaknesses. Though it is believed that there is a connection between them there are no languages that can handle both styles of programming. In this work we address these questions by defining a two-level calculus and its categorical semantics which makes it possible to program with both kinds of semantics. From the logical side of things we see this language as an alternative resource interpretation of linear logic, where the resource being kept track of is sampling instead of variable use. △ Less

Submitted 2 March, 2023; v1 submitted 31 January, 2022; originally announced February 2022.

Comments: Updated title. Accepted at FoSSaCS 2023

The mass distribution in the Galactic Centre from interferometric astrometry of multiple stellar orbits

Authors: GRAVITY Collaboration, R. Abuter, N. Aimar, A. Amorim, J. Ball, M. Bauböck, J. P. Berger, H. Bonnet, G. Bourdarot, W. Brandner, V. Cardoso, Y. Clénet, Y. Dallilar, R. Davies, P. T. de Zeeuw, J. Dexter, A. Drescher, F. Eisenhauer, N. M. Förster Schreiber, A. Foschi, P. Garcia, F. Gao, E. Gendron, R. Genzel, S. Gillessen , et al. (40 additional authors not shown)

Abstract: The stars orbiting the compact radio source Sgr A* in the Galactic Centre are precision probes of the gravitational field around the closest massive black hole. In addition to adaptive optics assisted astrometry (with NACO / VLT) and spectroscopy (with SINFONI / VLT, NIRC2 / Keck and GNIRS / Gemini) over three decades, since 2016/2017 we have obtained 30-100 mu-as astrometry with the four-telescop… ▽ More The stars orbiting the compact radio source Sgr A* in the Galactic Centre are precision probes of the gravitational field around the closest massive black hole. In addition to adaptive optics assisted astrometry (with NACO / VLT) and spectroscopy (with SINFONI / VLT, NIRC2 / Keck and GNIRS / Gemini) over three decades, since 2016/2017 we have obtained 30-100 mu-as astrometry with the four-telescope interferometric beam combiner GRAVITY / VLTI reaching a sensitivity of mK = 20 when combining data from one night. We present the simultaneous detection of several stars within the diffraction limit of a single telescope, illustrating the power of interferometry. The new data for the stars S2, S29, S38 and S55 yield significant accelerations between March and July 2021, as these stars pass the pericenters of their orbits between 2018 and 2023. This allows for a high-precision determination of the gravitational potential around Sgr A*. Our data are in excellent agreement with general relativity orbits around a single central point mass, M = 4.30 x 10^6 M_sun with a precision of about +-0.25%. We improve the significance of our detection of the Schwarzschild precession in the S2 orbit to 7 sigma. Assuming plausible density profiles, an extended mass component inside S2's apocentre (= 0.23" or 2.4 x 10^4 R_S) must be 3000 M_sun (1 sigma), or 0.1% of M. Adding the enclosed mass determinations from 13 stars orbiting Sgr A* at larger radii, the innermost radius at which the excess mass beyond Sgr A* tentatively is seen is r = 2.5" >= 10x the apocentre of S2. This is in full harmony with the stellar mass distribution (including stellar-mass black holes) obtained from the spatially resolved luminosity function. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: published in A&A

Journal ref: A&A, 2021,

Deep Images of the Galactic Center with GRAVITY

Authors: GRAVITY Collaboration, R. Abuter, N. Aimar, A. Amorim, P. Arras, M. Bauböck, J. P. Berger, H. Bonnet, W. Brandner, G. Bourdarot, V. Cardoso, Y. Clénet, R. Davies, P. T. de Zeeuw, J. Dexter, Y. Dallilar, A. Drescher, F. Eisenhauer, T. Enßlin, N. M. Förster Schreiber, P. Garcia, F. Gao, E. Gendron, R. Genzel, S. Gillessen , et al. (43 additional authors not shown)

Abstract: Stellar orbits at the Galactic Center provide a very clean probe of the gravitational potential of the supermassive black hole. They can be studied with unique precision, beyond the confusion limit of a single telescope, with the near-infrared interferometer GRAVITY. Imaging is essential to search the field for faint, unknown stars on short orbits which potentially could constrain the black hole s… ▽ More Stellar orbits at the Galactic Center provide a very clean probe of the gravitational potential of the supermassive black hole. They can be studied with unique precision, beyond the confusion limit of a single telescope, with the near-infrared interferometer GRAVITY. Imaging is essential to search the field for faint, unknown stars on short orbits which potentially could constrain the black hole spin. Furthermore, it provides the starting point for astrometric fitting to derive highly accurate stellar positions. Here, we present $\mathrm{G^R}$, a new imaging tool specifically designed for Galactic Center observations with GRAVITY. The algorithm is based on a Bayesian interpretation of the imaging problem, formulated in the framework of information field theory and building upon existing works in radio-interferometric imaging. Its application to GRAVITY observations from 2021 yields the deepest images to date of the Galactic Center on scales of a few milliarcseconds. The images reveal the complicated source structure within the central $100\,\mathrm{mas}$ around Sgr A*, where we detected the stars S29 and S55 and confirm S62 on its trajectory, slowly approaching Sgr A*. Furthermore, we were able to detect S38, S42, S60, and S63 in a series of exposures for which we offset the fiber from Sgr A*. We provide an update on the orbits of all aforementioned stars. In addition to these known sources, the images also reveal a faint star moving to the west at a high angular velocity. We cannot find any coincidence with any known source and, thus, we refer to the new star as S300. From the flux ratio with S29, we estimate its K-band magnitude as $m_\mathrm{K}\left(\mathrm{S300}\right)\simeq 19.0 - 19.3$. Images obtained with CLEAN confirm the detection. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Comments: 24 pages, 14 figures

Journal ref: A&A 657, A82 (2022)

Faint objects in motion: the new frontier of high precision astrometry

Authors: Fabien Malbet, Céline Boehm, Alberto Krone-Martins, Antonio Amorim, Guillem Anglada-Escudé, Alexis Brandeker, Frédéric Courbin, Torsten Enßlin, Antonio Falcão, Katherine Freese, Berry Holl, Lucas Labadie, Alain Léger, Gary Mamon, Barbara Mcarthur, Alcione Mora, Mike Shao, Alessandro Sozzetti, Douglas Spolyar, Eva Villaver, Ummi Abbas, Conrado Albertus, João Alves, Rory Barnes, Aldo Stefano Bonomo , et al. (61 additional authors not shown)

Abstract: Sky survey telescopes and powerful targeted telescopes play complementary roles in astronomy. In order to investigate the nature and characteristics of the motions of very faint objects, a flexibly-pointed instrument capable of high astrometric accuracy is an ideal complement to current astrometric surveys and a unique tool for precision astrophysics. Such a space-based mission will push the front… ▽ More Sky survey telescopes and powerful targeted telescopes play complementary roles in astronomy. In order to investigate the nature and characteristics of the motions of very faint objects, a flexibly-pointed instrument capable of high astrometric accuracy is an ideal complement to current astrometric surveys and a unique tool for precision astrophysics. Such a space-based mission will push the frontier of precision astrometry from evidence of Earth-mass habitable worlds around the nearest stars, to distant Milky Way objects, and out to the Local Group of galaxies. As we enter the era of the James Webb Space Telescope and the new ground-based, adaptive-optics-enabled giant telescopes, by obtaining these high precision measurements on key objects that Gaia could not reach, a mission that focuses on high precision astrometry science can consolidate our theoretical understanding of the local Universe, enable extrapolation of physical processes to remote redshifts, and derive a much more consistent picture of cosmological evolution and the likely fate of our cosmos. Already several missions have been proposed to address the science case of faint objects in motion using high precision astrometry missions: NEAT proposed for the ESA M3 opportunity, micro-NEAT for the S1 opportunity, and Theia for the M4 and M5 opportunities. Additional new mission configurations adapted with technological innovations could be envisioned to pursue accurate measurements of these extremely small motions. The goal of this White Paper is to address the fundamental science questions that are at stake when we focus on the motions of faint sky objects and to briefly review instrumentation and mission profiles. △ Less

Submitted 16 November, 2021; originally announced November 2021.

Comments: arXiv admin note: substantial text overlap with arXiv:1910.08028, arXiv:1707.01348

Journal ref: Experimental Astronomy, Springer Link, 2021, 51 (3), pp.845-886

The GRAVITY Young Stellar Object survey. VII. The inner dusty disks of T Tauri stars

Authors: The GRAVITY Collaboration, K. Perraut, L. Labadie, J. Bouvier, F. Ménard, L. Klarmann, C. Dougados, M. Benisty, J. -P. Berger, Y. -I. Bouarour, W. Brandner, A. Caratti o Garatti, P. Caselli, P. T. de Zeeuw, R. Garcia-Lopez, T. Henning, J. Sanchez-Bermudez, A. Sousa, E. van Dishoeck, E. Alécian, A. Amorim, Y. Clénet, R. Davies, A. Drescher, G. Duvert , et al. (33 additional authors not shown)

Abstract: These protoplanetary disks in T Tauri stars play a central role in star and planet formation. We spatially resolve at sub-au scales the innermost regions of a sample of T Tauri's disks to better understand their morphology and composition. We extended our homogeneous data set of 27 Herbig stars and collected near-IR K-band observations of 17 T Tauri stars, spanning effective temperatures and lumin… ▽ More These protoplanetary disks in T Tauri stars play a central role in star and planet formation. We spatially resolve at sub-au scales the innermost regions of a sample of T Tauri's disks to better understand their morphology and composition. We extended our homogeneous data set of 27 Herbig stars and collected near-IR K-band observations of 17 T Tauri stars, spanning effective temperatures and luminosities in the ranges of ~4000-6000 K and ~0.4-10 Lsun. We focus on the continuum emission and develop semi-physical geometrical models to fit the interferometric data and search for trends between the properties of the disk and the central star. The best-fit models of the disk's inner rim correspond to wide rings. We extend the Radius-luminosity relation toward the smallest luminosities (0.4-10 Lsun) and find the R~L^(1/2) trend is no longer valid, since the K-band sizes measured with GRAVITY are larger than the predicted sizes from sublimation radius computation. No clear correlation between the K-band half-flux radius and the mass accretion rate is seen. Having magnetic truncation radii in agreement with the K-band GRAVITY sizes would require magnetic fields as strong as a few kG, which should have been detected, suggesting that accretion is not the main process governing the location of the half-flux radius of the inner dusty disk. Our measurements agree with models that take into account the scattered light. The N-to-K band size ratio may be a proxy for disentangling disks with silicate features in emission from disks with weak and/or in absorption silicate features. When comparing inclinations and PA of the inner disks to those of the outer disks (ALMA) in nine objects of our sample, we detect misalignments for four objects. △ Less

Submitted 24 September, 2021; originally announced September 2021.

Comments: Accepted for publication in A&A; 20 pages, 15 figures, 9 tables

Journal ref: A&A 655, A73 (2021)

The mass of Beta Pictoris c from Beta Pictoris b orbital motion

Authors: S. Lacour, J. J. Wang, L. Rodet, M. Nowak, J. Shangguan, H. Beust, A. -M. Lagrange, R. Abuter, A. Amorim, R. Asensio-Torres, M. Benisty, J. -P. Berger, S. Blunt, A. Boccaletti, A. Bohn, M. -L. Bolzer, M. Bonnefoy, H. Bonnet, G. Bourdarot, W. Brandner, F. Cantalloube, P. Caselli, B. Charnay, G. Chauvin, E. Choquet , et al. (74 additional authors not shown)

Abstract: We aim to demonstrate that the presence and mass of an exoplanet can now be effectively derived from the astrometry of another exoplanet. We combined previous astrometry of $β$ Pictoris b with a new set of observations from the GRAVITY interferometer. The orbital motion of $β$ Pictoris b is fit using Markov chain Monte Carlo simulations in Jacobi coordinates. The inner planet, $β$ Pictoris c, was… ▽ More We aim to demonstrate that the presence and mass of an exoplanet can now be effectively derived from the astrometry of another exoplanet. We combined previous astrometry of $β$ Pictoris b with a new set of observations from the GRAVITY interferometer. The orbital motion of $β$ Pictoris b is fit using Markov chain Monte Carlo simulations in Jacobi coordinates. The inner planet, $β$ Pictoris c, was also reobserved at a separation of 96\,mas, confirming the previous orbital estimations. From the astrometry of planet b only, we can (i) detect the presence of $β$ Pictoris c and (ii) constrain its mass to $10.04^{+4.53}_{-3.10}\,M_{\rm Jup}$. If one adds the astrometry of $β$ Pictoris c, the mass is narrowed down to $9.15^{+1.08}_{-1.06}\,M_{\rm Jup}$. The inclusion of radial velocity measurements does not affect the orbital parameters significantly, but it does slightly decrease the mass estimate to $8.89^{+0.75}_{-0.75}\,M_{\rm Jup}$. With a semimajor axis of $2.68\pm0.02$\,au, a period of $1221\pm15$ days, and an eccentricity of $0.32\pm0.02$, the orbital parameters of $β$ Pictoris c are now constrained as precisely as those of $β$ Pictoris b. The orbital configuration is compatible with a high-order mean-motion resonance (7:1). The impact of the resonance on the planets' dynamics would then be negligible with respect to the secular perturbations, which might have played an important role in the eccentricity excitation of the outer planet. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Comments: Accepted in A&A Letter

Journal ref: A&A 654, L2 (2021)

The GRAVITY Young Stellar Object survey VIII. Gas and dust faint inner rings in the hybrid disk of HD141569

Authors: GRAVITY Collaboration, V. Ganci, L. Labadie, L. Klarmann, A. de Valon, K. Perraut, M. Benisty, W. Brandner, A. Caratti o Garatti, C. Dougados, F. Eupen, R. Garcia Lopez, R. Grellmann, J. Sanchez-Bermudez, A. Wojtczak, P. Garcia, A. Amorim, M. Bauböck, J. -P. Berger, P. Caselli, Y. Clénet, V. Coudé du Foresto, P. T. de Zeeuw, A. Drescher, G. Duvert , et al. (38 additional authors not shown)

Abstract: The formation and evolution of planetary systems impact the primordial accretion disk. HD141569 is the only known pre-main sequence star characterized by a hybrid disk. Observations probed the outer-disk structure showing a complex system of rings and interferometric observations attempted to characterize its inner 5 au region, but derived limited constraints. The goal of this work was to explore… ▽ More The formation and evolution of planetary systems impact the primordial accretion disk. HD141569 is the only known pre-main sequence star characterized by a hybrid disk. Observations probed the outer-disk structure showing a complex system of rings and interferometric observations attempted to characterize its inner 5 au region, but derived limited constraints. The goal of this work was to explore with new high-resolution interferometric observations the properties of the dust and gas in the internal regions of HD141569. We observed HD141569 on mas scales with GRAVITY/VLTI in the near-infrared at low and high spectral resolution. We interpreted the visibilities and spectral energy distribution with geometrical models and radiative transfer techniques to constrain the dust emission. We analyzed the high spectral resolution quantities to investigate the properties of the Br-Gamma line emitting region. Thanks to the combination of three different epochs, GRAVITY resolves the inner dusty disk in the K band. Data modeling shows that an IR excess of about 6% is spatially resolved and that the origin of this emission is confined in a ring of material located at a radius of 1 au from the star with a width smaller than 0.3 au. The MCMax modeling suggests that this emission could originate from a small amount of QHPs, while large silicate grain models cannot reproduce at the same time the observational constraints on the properties of near-IR and mid-IR fluxes. The differential phases in the Br-Gamma line clearly show an S-shape that can be best reproduced witha gas disk in Keplerian rotation, confined within 0.09 au. This is also hinted at by the double-peaked Br-Gamma emission line shape. The modeling of the continuum and gas emission shows that the inclination and position angle of these two components are consistent with a system showing relatively coplanar rings on all scales. △ Less

Submitted 22 September, 2021; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: Accepted for publication in A&A; 25 pages, 15 figures, 5 tables

Journal ref: A&A 655, A112 (2021)

On Incorrectness Logic and Kleene Algebra with Top and Tests

Authors: Cheng Zhang, Arthur Azevedo de Amorim, Marco Gaboardi

Abstract: Kleene algebra with tests (KAT) is a foundational equational framework for reasoning about programs, which has found applications in program transformations, networking and compiler optimizations, among many other areas. In his seminal work, Kozen proved that KAT subsumes propositional Hoare logic, showing that one can reason about the (partial) correctness of while programs by means of the equati… ▽ More Kleene algebra with tests (KAT) is a foundational equational framework for reasoning about programs, which has found applications in program transformations, networking and compiler optimizations, among many other areas. In his seminal work, Kozen proved that KAT subsumes propositional Hoare logic, showing that one can reason about the (partial) correctness of while programs by means of the equational theory of KAT. In this work, we investigate the support that KAT provides for reasoning about incorrectness, instead, as embodied by Ohearn's recently proposed incorrectness logic. We show that KAT cannot directly express incorrectness logic. The main reason for this limitation can be traced to the fact that KAT cannot express explicitly the notion of codomain, which is essential to express incorrectness triples. To address this issue, we study Kleene Algebra with Top and Tests (TopKAT), an extension of KAT with a top element. We show that TopKAT is powerful enough to express a codomain operation, to express incorrectness triples, and to prove all the rules of incorrectness logic sound. This shows that one can reason about the incorrectness of while-like programs by means of the equational theory of TopKAT. △ Less

Submitted 4 August, 2022; v1 submitted 17 August, 2021; originally announced August 2021.

Journal ref: Proc. ACM Program. Lang. 6, POPL, Article 29 (January 2022), 30 pages (2022)

A geometric distance to the supermassive black Hole of NGC 3783

Authors: GRAVITY Collaboration, A. Amorim, M. Bauböck, M. C. Bentz, W. Brandner, M. Bolzer, Y. Clénet, R. Davies, P. T. de Zeeuw, J. Dexter, A. Drescher, A. Eckart, F. Eisenhauer, N. M. Förster Schreiber, P. J. V. Garcia, R. Genzel, S. Gillessen, D. Gratadour, S. Hönig, D. Kaltenbrunner, M. Kishimoto, S. Lacour, D. Lutz, F. Millour, H. Netzer , et al. (23 additional authors not shown)

Abstract: The angular size of the broad line region (BLR) of the nearby active galactic nucleus (AGN) NGC 3783 has been spatially resolved by recent observations with VLTI/GRAVITY. A reverberation map** (RM) campaign has also recently obtained high quality light curves and measured the linear size of the BLR in a way that is complementary to the GRAVITY measurement. The size and kinematics of the BLR can… ▽ More The angular size of the broad line region (BLR) of the nearby active galactic nucleus (AGN) NGC 3783 has been spatially resolved by recent observations with VLTI/GRAVITY. A reverberation map** (RM) campaign has also recently obtained high quality light curves and measured the linear size of the BLR in a way that is complementary to the GRAVITY measurement. The size and kinematics of the BLR can be better constrained by a joint analysis that combines both GRAVITY and RM data. This, in turn, allows us to obtain the mass of the supermassive black hole in NGC3783 with an accuracy that is about a factor of two better than that inferred from GRAVITY data alone. We derive $M_\mathrm{BH}=2.54_{-0.72}^{+0.90}\times 10^7\,M_\odot$. Finally, and perhaps most notably, we are able to measure a geometric distance to NGC 3783 of $39.9^{+14.5}_{-11.9}$ Mpc. We are able to test the robustness of the BLR-based geometric distance with measurements based on the Tully-Fisher relation and other indirect methods. We find the geometric distance is consistent with other methods within their scatter. We explore the potential of BLR-based geometric distances to directly constrain the Hubble constant, $H_0$, and identify differential phase uncertainties as the current dominant limitation to the $H_0$ measurement precision for individual sources. △ Less

Submitted 29 July, 2021; originally announced July 2021.

Comments: 9 pages and 5 figures in main text, Accepted for publication in A&A

Journal ref: A&A 654, A85 (2021)

The GRAVITY Young Stellar Object Survey. VI. Map** the variable inner disk of HD 163296 at sub-au scales

Authors: J. Sanchez-Bermudez, A. Caratti o Garatti, R. Garcia Lopez, K. Perraut, L. Labadie, M. Benisty, W. Brandner, C. Dougados, P. J. V. Garcia, Th. Henning, L. Klarmann, A. Amorim, M. Bauböck, J. P. Berger, J. B. Le Bouquin, P. Caselli, Y. Clénet, V. Coudé du Foresto, P. T. de Zeeuw, A. Drescher, G. Duvert, A. Eckart, F. Eisenhauer, M. Filho, F. Gao , et al. (31 additional authors not shown)

Abstract: Protoplanetary disks drive some of the formation process (e.g., accretion, gas dissipation, formation of structures, etc.) of stars and planets. Understanding such physical processes is one of the main astrophysical questions. HD 163296 is an interesting young stellar object for which infrared and sub-millimeter observations have shown a prominent circumstellar disk with gaps plausibly created by… ▽ More Protoplanetary disks drive some of the formation process (e.g., accretion, gas dissipation, formation of structures, etc.) of stars and planets. Understanding such physical processes is one of the main astrophysical questions. HD 163296 is an interesting young stellar object for which infrared and sub-millimeter observations have shown a prominent circumstellar disk with gaps plausibly created by forming planets. This study aims at characterizing the morphology of the inner disk in HD 163296 with multi-epoch near-infrared interferometric observations performed with GRAVITY at the Very Large Telescope Interferometer (VLTI). Our goal is to depict the K-band (lambda_0 ~ 2.2 um) structure of the inner rim with milliarcsecond (sub-au) angular resolution. Our data is complemented with archival PIONIER (H-band; lambda_0 ~ 1.65 um) data of the source. We performed a Gradient Descent parametric model fitting to recover the sub-au morphology of our source. Our analysis shows the existence of an asymmetry in the disk surrounding the central star of HD 163296. We confirm variability of the disk structure in the inner ~2 mas (0.2 au). While variability of the inner disk structure in this source has been suggested by previous interferometric studies, this is the first time that it is confirmed in the H- and K-bands by using a complete analysis of the closure phases and squared visibilities over several epochs. Because of the separation from the star, position changes, and persistence of this asymmetric structure on timescales of several years, we argue that it is a dusty feature (e.g., a vortex or dust clouds), probably, made by a mixing of sillicate and carbon dust and/or refractory grains, inhomogeneously distributed above the mid-plane of the disk. △ Less

Submitted 6 July, 2021; originally announced July 2021.

Comments: Accepted to be published in Astronomy and Astrophysics; main-body: 11 pages, 3 figures and 3 tables

Journal ref: A&A 654, A97 (2021)

Constraining particle acceleration in Sgr A* with simultaneous GRAVITY, Spitzer, NuSTAR and Chandra observations

Authors: R. Abuter, A. Amorim, M. Bauböck, F. Baganoff, J. P. Berge, H. Boyce, H. Bonnet, W. Brandner, Y. Clénet, R. Davies, P. T. de Zeeuw, J. Dexter, Y. Dallilar, A. Drescher, A. Eckart, F. Eisenhauer, G. G. Fazio, N. M. Förster Schreiber, K. Foster, C. Gammie, P. Garcia, F. Gao, E. Gendron, R. Genzel, G. Ghisellini , et al. (59 additional authors not shown)

Abstract: We report the time-resolved spectral analysis of a bright near-infrared and moderate X-ray flare of Sgr A*. We obtained light curves in the $M$-, $K$-, and $H$-bands in the mid- and near-infrared and in the $2-8~\mathrm{keV}$ and $2-70~\mathrm{keV}$ bands in the X-ray. The observed spectral slope in the near-infrared band is $νL_ν\propto ν^{0.5\pm0.2}$; the spectral slope observed in the X-ray ban… ▽ More We report the time-resolved spectral analysis of a bright near-infrared and moderate X-ray flare of Sgr A*. We obtained light curves in the $M$-, $K$-, and $H$-bands in the mid- and near-infrared and in the $2-8~\mathrm{keV}$ and $2-70~\mathrm{keV}$ bands in the X-ray. The observed spectral slope in the near-infrared band is $νL_ν\propto ν^{0.5\pm0.2}$; the spectral slope observed in the X-ray band is $νL_ν\propto ν^{-0.7\pm0.5}$. We tested synchrotron and synchrotron self-Compton (SSC) scenarios. The observed near-infrared brightness and X-ray faintness, together with the observed spectral slopes, pose challenges for all models explored. We rule out a scenario in which the near-infrared emission is synchrotron emission and the X-ray emission is SSC. A one-zone model in which both the near-infrared and X-ray luminosity are produced by SSC and a model in which the luminosity stems from a cooled synchrotron spectrum can explain the flare. In order to describe the mean SED, both models require specific values of the maximum Lorentz factor $γ_{max}$, which however differ by roughly two orders of magnitude: the SSC model suggests that electrons are accelerated to $γ_{max}\sim 500$, while cooled synchrotron model requires acceleration up to $γ_{max}\sim5\times 10^{4}$. The SSC scenario requires electron densities of $10^{10}~\mathrm{cm^{-3}}$ much larger than typical ambient densities in the accretion flow, and thus require in an extraordinary accretion event. In contrast, assuming a source size of $1R_s$, the cooled synchrotron scenario can be realized with densities and magnetic fields comparable with the ambient accretion flow. For both models, the temporal evolution is regulated through the maximum acceleration factor $γ_{max}$, implying that sustained particle acceleration is required to explain at least a part of the temporal evolution of the flare. △ Less

Submitted 2 July, 2021; originally announced July 2021.

Comments: accepted for publication in Astronomy & Astrophysics; preview abstract shortened due to arXiv requirements

Journal ref: A&A 654, A22 (2021)

Deeply Virtual Compton Scattering in Improved Holographic QCD

Authors: Artur Amorim, Miguel S. Costa, Robert C. Quevedo

Abstract: We present our current progress in the holographic computation of the scattering amplitude for Deeply Virtual Compton Scattering (DVCS) processe, as a function of the Mandelstam invariant $t$. We show that it is possible to describe simultaneously the differential cross-section and total cross-section of DVCS data with a single holographic model for the pomeron. Using data from H1-ZEUS we obtained… ▽ More We present our current progress in the holographic computation of the scattering amplitude for Deeply Virtual Compton Scattering (DVCS) processe, as a function of the Mandelstam invariant $t$. We show that it is possible to describe simultaneously the differential cross-section and total cross-section of DVCS data with a single holographic model for the pomeron. Using data from H1-ZEUS we obtained a $χ^2_{dof} \sim 1.5$ for the best fit to the data. △ Less

Submitted 17 June, 2021; originally announced June 2021.

Comments: 12 pages, 5 figures, accepted in Physics Letters B

Journal ref: Physics Letters B, Volume 819, 10 August 2021, 136451