Showing 1–50 of 235 results for author: Correia, M

Characterisation of the Warm-Jupiter TOI-1130 system with CHEOPS and photo-dynamical approach

Authors: L. Borsato, D. Degen, A. Leleu, M. J. Hooton, J. A. Egger, A. Bekkelien, A. Brandeker, A. Collier Cameron, M. N. Günther, V. Nascimbeni, C. M. Persson, A. Bonfanti, T. G. Wilson, A. C. M. Correia, T. Zingales, T. Guillot, A. H. M. J. Triaud, G. Piotto, D. Gandolfi, L. Abe, Y. Alibert, R. Alonso, T. Bárczy, D. Barrado Navascues, S. C. C. Barros , et al. (71 additional authors not shown)

Abstract: Among the thousands of exoplanets discovered to date, approximately a few hundred gas giants on short-period orbits are classified as "lonely" and only a few are in a multi-planet system with a smaller companion on a close orbit. The processes that formed multi-planet systems hosting gas giants on close orbits are poorly understood, and only a few examples of this kind of system have been observed… ▽ More Among the thousands of exoplanets discovered to date, approximately a few hundred gas giants on short-period orbits are classified as "lonely" and only a few are in a multi-planet system with a smaller companion on a close orbit. The processes that formed multi-planet systems hosting gas giants on close orbits are poorly understood, and only a few examples of this kind of system have been observed and well characterised. Within the contest of multi-planet system hosting gas-giant on short orbits, we characterise TOI-1130 system by measuring masses and orbital parameters. This is a 2-transiting planet system with a Jupiter-like planet (c) on a 8.35 days orbit and a Neptune-like planet (b) on an inner (4.07 days) orbit. Both planets show strong anti-correlated transit timing variations (TTVs). Furthermore, radial velocity (RV) analysis showed an additional linear trend, a possible hint of a non-transiting candidate planet on a far outer orbit. Since 2019, extensive transit and radial velocity observations of the TOI-1130 have been acquired using TESS and various ground-based facilities. We present a new photo-dynamical analysis of all available transit and RV data, with the addition of new CHEOPS and ASTEP+ data that achieve the best precision to date on the planetary radii and masses and on the timings of each transit. We were able to model interior structure of planet b constraining the presence of a gaseous envelope of H/He, while it was not possible to assess the possible water content. Furthermore, we analysed the resonant state of the two transiting planets, and we found that they lie just outside the resonant region. This could be the result of the tidal evolution that the system underwent. We obtained both masses of the planets with a precision less than 1.5%, and radii with a precision of about 1% and 3% for planet b and c, respectively. △ Less

Submitted 8 July, 2024; originally announced July 2024.

Comments: 22 pages, 10 figures, Accepted for publication by Astronomy and Astrophysics

Unveiling the internal structure and formation history of the three planets transiting HIP 29442 (TOI-469) with CHEOPS

Authors: J. A. Egger, H. P. Osborn, D. Kubyshkina, C. Mordasini, Y. Alibert, M. N. Günther, M. Lendl, A. Brandeker, A. Heitzmann, A. Leleu, M. Damasso, A. Bonfanti, T. G. Wilson, S. G. Sousa, J. Haldemann, L. Delrez, M. J. Hooton, T. Zingales, R. Luque, R. Alonso, J. Asquier, T. Bárczy, D. Barrado Navascues, S. C. C. Barros, W. Baumjohann , et al. (69 additional authors not shown)

Abstract: Multiplanetary systems spanning the radius valley are ideal testing grounds for exploring the proposed explanations for the observed bimodality in the radius distribution of close-in exoplanets. One such system is HIP 29442 (TOI-469), an evolved K0V star hosting two super-Earths and a sub-Neptune. We observe HIP 29442 with CHEOPS for a total of 9.6 days, which we model jointly with 2 sectors of TE… ▽ More Multiplanetary systems spanning the radius valley are ideal testing grounds for exploring the proposed explanations for the observed bimodality in the radius distribution of close-in exoplanets. One such system is HIP 29442 (TOI-469), an evolved K0V star hosting two super-Earths and a sub-Neptune. We observe HIP 29442 with CHEOPS for a total of 9.6 days, which we model jointly with 2 sectors of TESS data to derive planetary radii of $3.410\pm0.046$, $1.551\pm0.045$ and $1.538\pm0.049$ R$_\oplus$ for planets b, c and d, which orbit HIP 29442 with periods of 13.6, 3.5 and 6.4 days. For planet d, this value deviates by more than 3 sigma from the median value reported in the discovery paper, leading us to conclude that caution is required when using TESS photometry to determine the radii of small planets with low per-transit S/N and large gaps between observations. Given the high precision of these new radii, combining them with published RVs from ESPRESSO and HIRES provides us with ideal conditions to investigate the internal structure and formation pathways of the planets in the system. We introduce the publicly available code plaNETic, a fast and robust neural network-based Bayesian internal structure modelling framework. We then apply hydrodynamic models to explore the upper atmospheric properties of these inferred structures. Finally, we identify planetary system analogues in a synthetic population generated with the Bern model for planet formation and evolution. Based on this analysis, we find that the planets likely formed on opposing sides of the water iceline from a protoplanetary disk with an intermediate solid mass. We finally report that the observed parameters of the HIP 29442 system are compatible with both a scenario where the second peak in the bimodal radius distribution corresponds to sub-Neptunes with a pure H/He envelope as well as a scenario with water-rich sub-Neptunes. △ Less

Submitted 26 June, 2024; originally announced June 2024.

Comments: 30 pages, 17 figures, accepted for publication in A&A

The Born regime of gravitational amplitudes

Authors: Miguel Correia, Giulia Isabella

Abstract: We study the $2 \to 2$ scattering in the regime where the wavelength of the scattered objects is comparable to their distance but is much larger than any Compton wavelength in the quantum field theory. We observe that in this regime - which differs from the eikonal - the Feynman diagram expansion takes the form of a geometric series, akin to the Born series of quantum mechanics. Conversely, we can… ▽ More We study the $2 \to 2$ scattering in the regime where the wavelength of the scattered objects is comparable to their distance but is much larger than any Compton wavelength in the quantum field theory. We observe that in this regime - which differs from the eikonal - the Feynman diagram expansion takes the form of a geometric series, akin to the Born series of quantum mechanics. Conversely, we can define the Feynman diagram expansion as the Born series of a relativistic effective-one-body (EOB) Schrödinger equation. For a gravitational theory in this regime we observe that the EOB Schrödinger equation reduces to the Regge-Wheeler or Teukolsky wave equations. We make use of this understanding to study the tree-level Compton scattering off a Kerr black hole. We compute the scalar and photon Compton amplitude up to $O(a^{30})$ in the black hole spin $a$ and propose an all-order expression. Remarkably, we find that boundary terms, which are typically neglected, give non-zero contact pieces necessary for restoring crossing symmetry and gauge invariance of the Kerr-Compton amplitude. △ Less

Submitted 25 June, 2024; v1 submitted 19 June, 2024; originally announced June 2024.

Comments: 35 pages + appendices, 6 figures; v2: typos fixed, added references

The PLATO Mission

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

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

Submitted 8 June, 2024; originally announced June 2024.

Recursive Landau Analysis

Authors: Simon Caron-Huot, Miguel Correia, Mathieu Giroux

Abstract: We propose a recursive method that makes use of the basic principle of unitarity to calculate the Landau singularities of n-point scattering amplitudes directly in kinematic space. For a vast class of Feynman diagrams, the method enables rapid analytic computation of Landau singularities beyond current state-of-the-art technology. This includes new predictions relevant for two- and higher-loop pro… ▽ More We propose a recursive method that makes use of the basic principle of unitarity to calculate the Landau singularities of n-point scattering amplitudes directly in kinematic space. For a vast class of Feynman diagrams, the method enables rapid analytic computation of Landau singularities beyond current state-of-the-art technology. This includes new predictions relevant for two- and higher-loop processes in the Standard Model involving both massive quarks and electroweak particles. △ Less

Submitted 7 June, 2024; originally announced June 2024.

Comments: 5 pages + 1 appendix

HIP 41378 observed by CHEOPS: Where is planet d?

Authors: S. Sulis, L. Borsato, S. Grouffal, H. P. Osborn, A. Santerne, A. Brandeker, M. N. Günther, A. Heitzmann, M. Lendl, M. Fridlund, D. Gandolfi, Y. Alibert, R. Alonso, T. Bárczy, D. Barrado Navascues, S. C. Barros, W. Baumjohann, T. Beck, W. Benz, M. Bergomi, N. Billot, A. Bonfanti, C. Broeg, A. Collier Cameron, C. Corral van Damme , et al. (62 additional authors not shown)

Abstract: HIP 41378 d is a long-period planet that has only been observed to transit twice, three years apart, with K2. According to stability considerations and a partial detection of the Rossiter-McLaughlin effect, $P_\mathrm{d} = 278.36$ d has been determined to be the most likely orbital period. We targeted HIP 41378 d with CHEOPS at the predicted transit timing based on $P_\mathrm{d}= 278.36$ d, but th… ▽ More HIP 41378 d is a long-period planet that has only been observed to transit twice, three years apart, with K2. According to stability considerations and a partial detection of the Rossiter-McLaughlin effect, $P_\mathrm{d} = 278.36$ d has been determined to be the most likely orbital period. We targeted HIP 41378 d with CHEOPS at the predicted transit timing based on $P_\mathrm{d}= 278.36$ d, but the observations show no transit. We find that large ($>22.4$ hours) transit timing variations (TTVs) could explain this non-detection during the CHEOPS observation window. We also investigated the possibility of an incorrect orbital solution, which would have major implications for our knowledge of this system. If $P_\mathrm{d} \neq 278.36$ d, the periods that minimize the eccentricity would be $101.22$ d and $371.14$ d. The shortest orbital period will be tested by TESS, which will observe HIP 41378 in Sector 88 starting in January 2025. Our study shows the importance of a mission like CHEOPS, which today is the only mission able to make long observations (i.e., from space) to track the ephemeris of long-period planets possibly affected by large TTVs. △ Less

Submitted 30 May, 2024; originally announced May 2024.

Comments: Accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 686, L18 (2024)

Photo-dynamical characterisation of the TOI-178 resonant chain

Authors: A. Leleu, J. -B. Delisle, L. Delrez, E. M. Bryant, A. Brandeker, H. P. Osborn, N. Hara, T. G. Wilson, N. Billot, M. Lendl, D. Ehrenreich, H. Chakraborty, M. N. Günther, M. J. Hooton, Y. Alibert, R. Alonso, D. R. Alves, D. R. Anderson, I. Apergis, D. Armstrong, T. Bárczy, D. Barrado Navascues, S. C. C. Barros, M. P. Battley, W. Baumjohann , et al. (82 additional authors not shown)

Abstract: The TOI-178 system consists of a nearby late K-dwarf transited by six planets in the super-Earth to mini-Neptune regime, with radii ranging from 1.2 to 2.9 earth radius and orbital periods between 1.9 and 20.7 days. All planets but the innermost one form a chain of Laplace resonances. The fine-tuning and fragility of such orbital configurations ensure that no significant scattering or collision ev… ▽ More The TOI-178 system consists of a nearby late K-dwarf transited by six planets in the super-Earth to mini-Neptune regime, with radii ranging from 1.2 to 2.9 earth radius and orbital periods between 1.9 and 20.7 days. All planets but the innermost one form a chain of Laplace resonances. The fine-tuning and fragility of such orbital configurations ensure that no significant scattering or collision event has taken place since the formation and migration of the planets in the protoplanetary disc, hence providing important anchors for planet formation models. We aim to improve the characterisation of the architecture of this key system, and in particular the masses and radii of its planets. In addition, since this system is one of the few resonant chains that can be characterised by both photometry and radial velocities, we aim to use it as a test bench for the robustness of the planetary mass determination with each technique. We perform a global analysis of all available photometry and radial velocity. We also try different sets of priors on the masses and eccentricity, as well as different stellar activity models, to study their effects on the masses estimated by each method. We show how stellar activity is preventing us from obtaining a robust mass estimation for the three outer planets using radial velocity data alone. We also show that our joint photo-dynamical and radial velocity analysis resulted in a robust mass determination for planets c to g, with precision of 12% for the mass of planet c, and better than 10% for planets d to g. The new precisions on the radii range from 2 to 3%. The understanding of this synergy between photometric and radial velocity measurements will be valuable during the PLATO mission. We also show that TOI-178 is indeed currently locked in the resonant configuration, librating around an equilibrium of the chain. △ Less

Submitted 22 May, 2024; originally announced May 2024.

PASO -- Astronomy and Space Situational Awareness in a Dark Sky Destination

Authors: Domingos Barbosa, Bruno Coelho, Miguel Bergano, Constança Alves, Alexandre C. M. Correia, Luís Cupido, José Freitas, Luís Gonçalves, Bruce Grossan, Anna Guerman, Allan K. de Almeida Jr., Dalmiro Maia, Bruno Morgado, João Pandeirada, Valério Ribeiro, Gonçalo Rosa, George Smoot, Timothée Vaillant, Thyrso Villela, Carlos Alexandre Wuensche

Abstract: The Pampilhosa da Serra Space Observatory (PASO) is located in the center of the continental Portuguese territory, in the heart of a certified Dark Sky destination by the Starlight Foundation (Aldeias do Xisto) and has been an instrumental asset to advance science, education and astrotourism certifications. PASO hosts astronomy and Space Situational Awareness (SSA) activities including a node of t… ▽ More The Pampilhosa da Serra Space Observatory (PASO) is located in the center of the continental Portuguese territory, in the heart of a certified Dark Sky destination by the Starlight Foundation (Aldeias do Xisto) and has been an instrumental asset to advance science, education and astrotourism certifications. PASO hosts astronomy and Space Situational Awareness (SSA) activities including a node of the Portuguese Space Surveillance \& Tracking (SST) infrastructure network, such as a space radar currently in test phase using GEM radiotelescope, a double Wide Field of View Telescope system, a EUSST optical sensor telescope. These instruments allow surveillance of satellite and space debris in LEO, MEO and GEO orbits. The WFOV telescope offers spectroscopy capabilities enabling light curve analysis and cosmic sources monitoring. Instruments for Space Weather are being considered for installation to monitor solar activities and expand the range of SSA services. △ Less

Submitted 5 April, 2024; originally announced April 2024.

Comments: 9 pages, 2 figures, Keywords: Dark Sky, radioastronomy, space, space debris, space situational awareness; Draft from Talk presented at Astronomy and Satellite Constellations: Pathways Forward, IAU Symposium 385, October 2023, Ed. C. Walker, D.Turnshek, P.Grimley, D.Galadi-Enriquez & M.Aubé, International Astronomical Union Proceedings Series, Cambridge University Press, 2024

Peregrine: ML-based Malicious Traffic Detection for Terabit Networks

Authors: João Romeiras Amado, Francisco Pereira, David Pissarra, Salvatore Signorello, Miguel Correia, Fernando M. V. Ramos

Abstract: Malicious traffic detectors leveraging machine learning (ML), namely those incorporating deep learning techniques, exhibit impressive detection capabilities across multiple attacks. However, their effectiveness becomes compromised when deployed in networks handling Terabit-speed traffic. In practice, these systems require substantial traffic sampling to reconcile the high data plane packet rates w… ▽ More Malicious traffic detectors leveraging machine learning (ML), namely those incorporating deep learning techniques, exhibit impressive detection capabilities across multiple attacks. However, their effectiveness becomes compromised when deployed in networks handling Terabit-speed traffic. In practice, these systems require substantial traffic sampling to reconcile the high data plane packet rates with the comparatively slower processing speeds of ML detection. As sampling significantly reduces traffic observability, it fundamentally undermines their detection capability. We present Peregrine, an ML-based malicious traffic detector for Terabit networks. The key idea is to run the detection process partially in the network data plane. Specifically, we offload the detector's ML feature computation to a commodity switch. The Peregrine switch processes a diversity of features per-packet, at Tbps line rates - three orders of magnitude higher than the fastest detector - to feed the ML-based component in the control plane. Our offloading approach presents a distinct advantage. While, in practice, current systems sample raw traffic, in Peregrine sampling occurs after feature computation. This essential trait enables computing features over all traffic, significantly enhancing detection performance. The Peregrine detector is not only effective for Terabit networks, but it is also energy- and cost-efficient. Further, by shifting a compute-heavy component to the switch, it saves precious CPU cycles and improves detection throughput. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Phasing segmented telescopes via deep learning methods: application to a deployable CubeSat

Authors: Maxime Dumont, Carlos M. Correia, Jean-François Sauvage, Noah Schwartz, Morgan Gray, Jaime Cardoso

Abstract: Capturing high resolution imagery of the Earth's surface often calls for a telescope of considerable size, even from Low Earth Orbits (LEO). A large aperture often requires large and expensive platforms. For instance, achieving a resolution of 1m at visible wavelengths from LEO typically requires an aperture diameter of at least 30cm. Additionally, ensuring high revisit times often prompts the use… ▽ More Capturing high resolution imagery of the Earth's surface often calls for a telescope of considerable size, even from Low Earth Orbits (LEO). A large aperture often requires large and expensive platforms. For instance, achieving a resolution of 1m at visible wavelengths from LEO typically requires an aperture diameter of at least 30cm. Additionally, ensuring high revisit times often prompts the use of multiple satellites. In light of these challenges, a small, segmented, deployable CubeSat telescope was recently proposed creating the additional need of phasing the telescope's mirrors. Phasing methods on compact platforms are constrained by the limited volume and power available, excluding solutions that rely on dedicated hardware or demand substantial computational resources. Neural Network (NN) are known for their computationally efficient inference and reduced on board requirements. Therefore we developed a NN based method to measure co phasing errors inherent to a deployable telescope. The proposed technique demonstrates its ability to detect phasing error at the targeted performance level (typically a wavefront error (WFE) below 15 nm RMS for a visible imager operating at the diffraction limit) using a point source. The robustness of the NN method is verified in presence of high order aberrations or noise and the results are compared against existing state of the art techniques. The developed NN model ensures its feasibility and provides a realistic pathway towards achieving diffraction limited images. △ Less

Submitted 27 March, 2024; originally announced March 2024.

Journal ref: JOSA A 41.3 (2024): 489-499

Dynamical evolution of the Uranian satellite system II. Crossing of the 5/3 Ariel-Umbriel mean motion resonance

Authors: Sérgio R. A. Gomes, Alexandre C. M. Correia

Abstract: At present, the main satellites of Uranus are not involved in any low order mean motion resonance (MMR). However, owing to tides raised in the planet, Ariel and Umbriel most likely crossed the 5/3 MMR in the past. Previous studies on this resonance passage relied on limited time-consuming N-body simulations or simplified models focusing solely on the effects of the eccentricity or the inclination.… ▽ More At present, the main satellites of Uranus are not involved in any low order mean motion resonance (MMR). However, owing to tides raised in the planet, Ariel and Umbriel most likely crossed the 5/3 MMR in the past. Previous studies on this resonance passage relied on limited time-consuming N-body simulations or simplified models focusing solely on the effects of the eccentricity or the inclination. In this paper, we aim to provide a more comprehensive view on how the system evaded capture in the 5/3 MMR. For that purpose, we developed a secular resonant two-satellite model with low eccentricities and low inclinations, including tides using the weak friction model. By performing a large number of numerical simulations, we show that capture in the 5/3 MMR is certain if the initial eccentricities of Ariel, $e_1$, and Umbriel, $e_2$, are related through $(e_1^2 + e_2^2)^{1/2} < 0.007$. Moreover, we observe that the eccentricity of Ariel is the key variable to evade the 5/3 MMR with a high probability. We determine that for $e_1 > 0.015$ and $e_2 < 0.01$, the system avoids capture in at least 60\% of the cases. We also show that, to replicate the currently observed system, the initial inclinations of Ariel and Umbriel must lay within $I_1 \leq 0.05^{\circ}$ and $0.06^{\circ} \leq I_2 \leq 0.11^{\circ}$, respectively. We checked these results using a complete N-body model with the five main satellites and did not observe any significant differences. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: Submitted to Icarus, comments are welcome. arXiv admin note: text overlap with arXiv:2305.08794

Dynamical evolution of the Uranian satellite system I. From the 5/3 Ariel-Umbriel mean motion resonance to the present

Authors: Sérgio R. A. Gomes, Alexandre C. M. Correia

Abstract: Mutual gravitational interactions between the five major Uranian satellites raise small quasi-periodic fluctuations on their orbital elements. At the same time, tidal interactions between the satellites and the planet induce a slow outward drift of the orbits, while dam** the eccentricities and the inclinations. In this paper, we revisit the current and near past evolution of this system using a… ▽ More Mutual gravitational interactions between the five major Uranian satellites raise small quasi-periodic fluctuations on their orbital elements. At the same time, tidal interactions between the satellites and the planet induce a slow outward drift of the orbits, while dam** the eccentricities and the inclinations. In this paper, we revisit the current and near past evolution of this system using a N-body integrator, including spin evolution and tidal dissipation with the weak friction model. We update the secular eigenmodes of the system and show that it is unlikely that any of the main satellites were recently captured into a high obliquity Cassini state. We rather expect that the Uranian satellites are in a low obliquity Cassini state and compute their values. We also show that the current eccentricities of the satellites are not forced, and estimate the free eccentricities and inclinations. We constrain the quality factor of Uranus to be $Q_U = (8.6 \pm 2.9)\times10^3$, and that of the satellites to be $Q_S \sim 500$. We find that the system most likely encountered the 5/3 mean motion resonance between Ariel and Umbriel in the past, at about ($0.7\pm0.2$) Gyr ago. We additionally determine the eccentricities and inclinations of all satellites just after the resonance passage that comply with the current system. We finally show that, from the crossing of the 5/3 MMR to the present, the evolution of the system is mostly peaceful and dominated by tides raised on Uranus by the satellites. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Comments: Submitted to Icarus

The tidal deformation and atmosphere of WASP-12b from its phase curve

Authors: B. Akinsanmi, S. C. C. Barros, M. Lendl, L. Carone, P. E. Cubillos, A. Bekkelien, A. Fortier, H. -G. Florén, A. Collier Cameron, G. Boué, G. Bruno, B. -O. Demory, A. Brandeker, S. G. Sousa, T. G. Wilson, A. Deline, A. Bonfanti, G. Scandariato, M. J. Hooton, A. C. M. Correia, O. D. S. Demangeon, A. M. S. Smith, V. Singh, Y. Alibert, R. Alonso , et al. (63 additional authors not shown)

Abstract: Ultra-hot Jupiters present a unique opportunity to understand the physics and chemistry of planets at extreme conditions. WASP-12b stands out as an archetype of this class of exoplanets. We performed comprehensive analyses of the transits, occultations, and phase curves of WASP-12b by combining new CHEOPS observations with previous TESS and Spitzer data to measure the planet's tidal deformation, a… ▽ More Ultra-hot Jupiters present a unique opportunity to understand the physics and chemistry of planets at extreme conditions. WASP-12b stands out as an archetype of this class of exoplanets. We performed comprehensive analyses of the transits, occultations, and phase curves of WASP-12b by combining new CHEOPS observations with previous TESS and Spitzer data to measure the planet's tidal deformation, atmospheric properties, and orbital decay rate. The planet was modeled as a triaxial ellipsoid parameterized by the second-order fluid Love number, $h_2$, which quantifies its radial deformation and provides insight into the interior structure. We measured the tidal deformation of WASP-12b and estimated a Love number of $h_2=1.55_{-0.49}^{+0.45}$ (at 3.2$σ$) from its phase curve. We measured occultation depths of $333\pm24$ppm and $493\pm29$ppm in the CHEOPS and TESS bands, respectively, while the dayside emission spectrum indicates that CHEOPS and TESS probe similar pressure levels in the atmosphere at a temperature of 2900K. We also estimated low geometric albedos of $0.086\pm0.017$ and $0.01\pm0.023$ in the CHEOPS and TESS passbands, respectively, suggesting the absence of reflective clouds in the dayside of the WASP-12b. The CHEOPS occultations do not show strong evidence for variability in the dayside atmosphere of the planet. Finally, we refine the orbital decay rate by 12% to a value of -30.23$\pm$0.82 ms/yr. WASP-12b becomes the second exoplanet, after WASP-103b, for which the Love number has been measured (at 3$sigma$) from the effect of tidal deformation in the light curve. However, constraining the core mass fraction of the planet requires measuring $h_2$ with a higher precision. This can be achieved with high signal-to-noise observations with JWST since the phase curve amplitude, and consequently the induced tidal deformation effect, is higher in the infrared. △ Less

Submitted 20 February, 2024; v1 submitted 16 February, 2024; originally announced February 2024.

Comments: accepted for publication in A&A

Blockchain-based Rental Documentation Management with Audit Support

Authors: João F. Santos, Miguel Correia, Tiago R. Dias

Abstract: Document management in the rental market is a critical process to ensure the accuracy of financial transactions and regulatory compliance in the sector. In Portugal, the challenges include the complexity of legislation, particularly GDPR non-compliance, lack of transparency, and bureaucratic process inefficiency. With this in mind, a solution based on Hyperledger Fabric, a blockchain platform, is… ▽ More Document management in the rental market is a critical process to ensure the accuracy of financial transactions and regulatory compliance in the sector. In Portugal, the challenges include the complexity of legislation, particularly GDPR non-compliance, lack of transparency, and bureaucratic process inefficiency. With this in mind, a solution based on Hyperledger Fabric, a blockchain platform, is presented for the implementation of a document management system for the rental process. This system oversees the rental process, which consists of three phases: the application for a property by the prospective tenant through the upload of necessary documents, acceptance/rejection by the landlord of various received applications, and the creation of a report by the system, which only the auditor can request and view. The system smart contract records metadata associated with the documents (hash, owner) and coordinates requests for file access by landlords to prospective tenants. Thus, the system is responsible for creating immutable and traceable records of the entire process. The underlying platform serves as the foundation for conducting future audits. After the landlord verifies the files and accepts the rental proposal, any authorised auditor can request a report for a property by accessing the records through the final report, which includes all events that occurred during the process. △ Less

Submitted 9 February, 2024; originally announced February 2024.

Comments: 10 pages

Hamiltonicity of expanders: optimal bounds and applications

Authors: Nemanja Draganić, Richard Montgomery, David Munhá Correia, Alexey Pokrovskiy, Benny Sudakov

Abstract: An $n$-vertex graph $G$ is a $C$-expander if $|N(X)|\geq C|X|$ for every $X\subseteq V(G)$ with $|X|< n/2C$ and there is an edge between every two disjoint sets of at least $n/2C$ vertices. We show that there is some constant $C>0$ for which every $C$-expander is Hamiltonian. In particular, this implies the well known conjecture of Krivelevich and Sudakov from 2003 on Hamilton cycles in $(n,d,λ)$-… ▽ More An $n$-vertex graph $G$ is a $C$-expander if $|N(X)|\geq C|X|$ for every $X\subseteq V(G)$ with $|X|< n/2C$ and there is an edge between every two disjoint sets of at least $n/2C$ vertices. We show that there is some constant $C>0$ for which every $C$-expander is Hamiltonian. In particular, this implies the well known conjecture of Krivelevich and Sudakov from 2003 on Hamilton cycles in $(n,d,λ)$-graphs. This completes a long line of research on the Hamiltonicity of sparse graphs, and has many applications, including to the Hamiltonicity of random Cayley graphs. △ Less

Submitted 14 April, 2024; v1 submitted 9 February, 2024; originally announced February 2024.

Blockchain Based Residential Smart Rent

Authors: André S. Proença, Tiago R. Dias, Miguel P. Correia

Abstract: The real estate market includes complex and inefficient mediation processes. Renting a property envolves multiple entities with different responsibilities and interests. Therefore it is imperative to establish a trustful relationship between parties through intermediaries such as notaries, banks or real estate agencies to avoid eventual disputes. Although an intermediary ensures trust, the current… ▽ More The real estate market includes complex and inefficient mediation processes. Renting a property envolves multiple entities with different responsibilities and interests. Therefore it is imperative to establish a trustful relationship between parties through intermediaries such as notaries, banks or real estate agencies to avoid eventual disputes. Although an intermediary ensures trust, the current process still has some drawbacks concerning efficiency, costs, transparency, bureaucracy and data security. The blockchain technology aims to reduce this issues by providing transparent and secure real estate transactions. We propose a GDPR compliant blockchain-based residential smart rental platform, designed to allow both landlords and tenants to establish rental contracts and make rental payments securely. △ Less

Submitted 8 February, 2024; originally announced February 2024.

Comments: 10 pages

XAI for Skin Cancer Detection with Prototypes and Non-Expert Supervision

Authors: Miguel Correia, Alceu Bissoto, Carlos Santiago, Catarina Barata

Abstract: Skin cancer detection through dermoscopy image analysis is a critical task. However, existing models used for this purpose often lack interpretability and reliability, raising the concern of physicians due to their black-box nature. In this paper, we propose a novel approach for the diagnosis of melanoma using an interpretable prototypical-part model. We introduce a guided supervision based on non… ▽ More Skin cancer detection through dermoscopy image analysis is a critical task. However, existing models used for this purpose often lack interpretability and reliability, raising the concern of physicians due to their black-box nature. In this paper, we propose a novel approach for the diagnosis of melanoma using an interpretable prototypical-part model. We introduce a guided supervision based on non-expert feedback through the incorporation of: 1) binary masks, obtained automatically using a segmentation network; and 2) user-refined prototypes. These two distinct information pathways aim to ensure that the learned prototypes correspond to relevant areas within the skin lesion, excluding confounding factors beyond its boundaries. Experimental results demonstrate that, even without expert supervision, our approach achieves superior performance and generalization compared to non-interpretable models. △ Less

Submitted 2 February, 2024; originally announced February 2024.

Comments: Accepted in the iMIMIC Workshop @ MICCAI 2023

Signs of magnetic star-planet interactions in HD 118203. TESS detects stellar variability that matches the orbital period of a close-in eccentric Jupiter-sized companion

Authors: A. Castro-González, J. Lillo-Box, A. C. M. Correia, N. C. Santos, D. Barrado, M. Morales-Calderón, E. L. Shkolnik

Abstract: Planetary systems with close-in giant planets can experience magnetic star-planet interactions that modify the activity levels of their host stars. The induced activity is known to strongly depend on the magnetic moment of the interacting planet. Therefore, such planet-induced activity should be more readily observable in systems with planets in eccentric orbits, since those planets are expected t… ▽ More Planetary systems with close-in giant planets can experience magnetic star-planet interactions that modify the activity levels of their host stars. The induced activity is known to strongly depend on the magnetic moment of the interacting planet. Therefore, such planet-induced activity should be more readily observable in systems with planets in eccentric orbits, since those planets are expected to rotate faster than in circular orbits. However, no evidence of magnetic interactions has been reported in eccentric systems to date. We intend to unveil a possible planet-induced activity in the bright ($V$ = 8.05 $\pm$ 0.03 mag) and slightly evolved star HD 118203, which hosts an eccentric ($e$ = 0.32 $\pm$ 0.02) and close-in ($a$ = 0.0864 $\pm$ 0.0006 au) Jupiter-sized planet. We characterized the system by modelling 56 ELODIE radial velocities and four sectors of TESS photometry. We searched for planet-induced and rotation-related activity signals within the TESS, ELODIE, and ASAS-SN public data. We studied the possible origins of the variability found, analysed its persistence and evolution, and searched for links with the eccentric orbital motion of HD 118203 b. We found evidence of an activity signal within the TESS data that matches the orbital period of HD 118203 b, which suggests the existence of magnetic star-planet interactions. We did not find, however, any additional signal that could be interpreted as the rotation of the star, so we cannot discard stellar rotation as the source of the signal found. Nevertheless, the evolved nature of the star and the orbital eccentricity make the synchronous stellar rotation very unlikely. HD 118203 represents the best evidence that magnetic star-planet interactions can be found in eccentric systems, and it opens the door to future dedicated searches that will allow us to better understand the interplay between close-in planets and their hosts. △ Less

Submitted 31 March, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Comments: Accepted for publication in A&A; 20 pages, 14 figures, 4 tables

Small Even Covers, Locally Decodable Codes and Restricted Subgraphs of Edge-Colored Kikuchi Graphs

Authors: Jun-Ting Hsieh, Pravesh K. Kothari, Sidhanth Mohanty, David Munhá Correia, Benny Sudakov

Abstract: Given a $k$-uniform hypergraph $H$ on $n$ vertices, an even cover in $H$ is a collection of hyperedges that touch each vertex an even number of times. Even covers are a generalization of cycles in graphs and are equivalent to linearly dependent subsets of a system of linear equations modulo $2$. As a result, they arise naturally in the context of well-studied questions in coding theory and refutin… ▽ More Given a $k$-uniform hypergraph $H$ on $n$ vertices, an even cover in $H$ is a collection of hyperedges that touch each vertex an even number of times. Even covers are a generalization of cycles in graphs and are equivalent to linearly dependent subsets of a system of linear equations modulo $2$. As a result, they arise naturally in the context of well-studied questions in coding theory and refuting unsatisfiable $k$-SAT formulas. Analogous to the irregular Moore bound of Alon, Hoory, and Linial (2002), in 2008, Feige conjectured an extremal trade-off between the number of hyperedges and the length of the smallest even cover in a $k$-uniform hypergraph. This conjecture was recently settled up to a multiplicative logarithmic factor in the number of hyperedges (Guruswami, Kothari, and 1Manohar 2022 and Hsieh, Kothari, and Mohanty 2023). These works introduce the new technique that relates hypergraph even covers to cycles in the associated \emph{Kikuchi} graphs. Their analysis of these Kikuchi graphs, especially for odd $k$, is rather involved and relies on matrix concentration inequalities. In this work, we give a simple and purely combinatorial argument that recovers the best-known bound for Feige's conjecture for even $k$. We also introduce a novel variant of a Kikuchi graph which together with this argument improves the logarithmic factor in the best-known bounds for odd $k$. As an application of our ideas, we also give a purely combinatorial proof of the improved lower bounds (Alrabiah, Guruswami, Kothari and Manohar, 2023) on 3-query binary linear locally decodable codes. △ Less

Submitted 21 January, 2024; originally announced January 2024.

Comments: 19 pages

Tangent Velocity constraint for orbital maneuvers with Theory of Functional Connections

Authors: A. K. de Almeida Jr., T. Vaillant, V. M. de Oliveira, D. Barbosa, D. Maia, S. Aljbaae, B. Coelho, M. Bergano, J. Pandeirada, A. F. B. A. Prado, A. Guerman, A. C. M. Correia

Abstract: Maneuvering a spacecraft in the cislunar space is a complex problem, since it is highly perturbed by the gravitational influence of both the Earth and the Moon, and possibly also the Sun. Trajectories minimizing the needed fuel are generally preferred in order to decrease the mass of the payload. A classical method to constrain maneuvers is mathematically modelling them using the Two Point Boundar… ▽ More Maneuvering a spacecraft in the cislunar space is a complex problem, since it is highly perturbed by the gravitational influence of both the Earth and the Moon, and possibly also the Sun. Trajectories minimizing the needed fuel are generally preferred in order to decrease the mass of the payload. A classical method to constrain maneuvers is mathematically modelling them using the Two Point Boundary Value Problem (TPBVP), defining spacecraft positions at the start and end of the trajectory. Solutions to this problem can then be obtained with optimization techniques like the nonlinear least squares conjugated with the Theory of Functional Connections (TFC) to embed the constraints, which recently became an effective method for deducing orbit transfers. In this paper, we propose a tangential velocity (TV) type of constraints to design orbital maneuvers. We show that the technique presented in this paper can be used to transfer a spacecraft (e.g. from the Earth to the Moon) and perform rendezvous maneuvers (e.g. a swing-by with the Moon). In comparison with the TPBVP, solving the TV constraints via TFC offers several advantages, leading to a significant reduction in computational time. Hence, it proves to be an efficient technique to design these maneuvers. △ Less

Submitted 8 January, 2024; originally announced January 2024.

Comments: Submitted to Scientific Reports

Journal ref: Scientific Reports 14, 7479 (2024)

High-statistics measurement of Collins and Sivers asymmetries for transversely polarised deuterons

Authors: G. D. Alexeev, M. G. Alexeev, C. Alice, A. Amoroso, V. Andrieux, V. Anosov, S. Asatryan, K. Augsten, W. Augustyniak, C. D. R. Azevedo, B. Badelek, J. Barth, R. Beck, J. Beckers, Y. Bedfer, J. Bernhard, M. Bodlak, F. Bradamante, A. Bressan, W. -C. Chang, C. Chatterjee, M. Chiosso, A. G. Chumakov, S. -U. Chung, A. Cicuttin , et al. (162 additional authors not shown)

Abstract: New results are presented on a high-statistics measurement of Collins and Sivers asymmetries of charged hadrons produced in deep inelastic scattering of muons on a transversely polarised $^6$LiD target. The data were taken in 2022 with the COMPASS spectrometer using the 160 \gevv\ muon beam at CERN, balancing the existing data on transversely polarised proton targets. The first results from about… ▽ More New results are presented on a high-statistics measurement of Collins and Sivers asymmetries of charged hadrons produced in deep inelastic scattering of muons on a transversely polarised $^6$LiD target. The data were taken in 2022 with the COMPASS spectrometer using the 160 \gevv\ muon beam at CERN, balancing the existing data on transversely polarised proton targets. The first results from about two-thirds of the new data have total uncertainties smaller by up to a factor of three compared to the previous deuteron measurements. Using all the COMPASS proton and deuteron results, both the transversity and the Sivers distribution functions of the $u$ and $d$ quark, as well as the tensor charge in the measured $x$-range are extracted. In particular, the accuracy of the $d$ quark results is significantly improved. △ Less

Submitted 30 December, 2023; originally announced January 2024.

Report number: CERN-EP-2023-308

Final COMPASS results on the transverse-spin-dependent azimuthal asymmetries in the pion-induced Drell-Yan process

Authors: G. D. Alexeev, M. G. Alexeev, C. Alice, A. Amoroso, V. Andrieux, V. Anosov, K. Augsten, W. Augustyniak, C. D. R. Azevedo, B. Badelek, J. Barth, R. Beck, J. Beckers, Y. Bedfer, J. Bernhard, M. Bodlak, F. Bradamante, A. Bressan, W. -C. Chang, C. Chatterjee, M. Chiosso, A. G. Chumakov, S. -U. Chung, A. Cicuttin, P. M. M. Correia , et al. (159 additional authors not shown)

Abstract: The COMPASS Collaboration performed measurements of the Drell-Yan process in 2015 and 2018 using a 190 GeV/c $π^{-}$ beam im**ing on a transversely polarised ammonia target. Combining the data of both years, we present final results on the amplitudes of the five azimuthal modulations in the dimuon production cross section. Three of these transverse-spin-dependent azimuthal asymmetries (TSAs) pro… ▽ More The COMPASS Collaboration performed measurements of the Drell-Yan process in 2015 and 2018 using a 190 GeV/c $π^{-}$ beam im**ing on a transversely polarised ammonia target. Combining the data of both years, we present final results on the amplitudes of the five azimuthal modulations in the dimuon production cross section. Three of these transverse-spin-dependent azimuthal asymmetries (TSAs) probe the nucleon leading-twist Sivers, transversity, and pretzelosity transverse-momentum dependent (TMD) parton distribution functions (PDFs). The other two are induced by subleading effects. These TSAs provide unique new inputs for the study of the nucleon TMD PDFs and their universality properties. In particular, the Sivers TSA observed in this measurement is consistent with the fundamental QCD prediction of a sign change of naive time-reversal-odd TMD PDFs when comparing the Drell-Yan process with semi-inclusive measurements of deep inelastic scattering. Also, within the context of model predictions, the observed transversity TSA is consistent with the expectation of a sign change for the Boer-Mulders function. △ Less

Submitted 28 December, 2023; originally announced December 2023.

Report number: CERN-EP-2023-307

Adaptive Optics Telemetry Standard: Design and specification of a novel data exchange format

Authors: Tiago Gomes, Carlos M. Correia, Lisa Bardou, Sylvain Cetre, Johann Kolb, Caroline Kulcsár, François Leroux, Timothy Morris, Nuno Morujão, Benoît Neichel, Jean-Luc Beuzit, Paulo Garcia

Abstract: The amount of Adaptive Optics (AO) telemetry generated by VIS/NIR ground-based observatories is ever greater, leading to a growing need for a standardised data exchange format to support performance analysis and AO research and development activities that involve large-scale telemetry mining, processing, and curation. This paper introduces the Adaptive Optics Telemetry (AOT) data exchange format a… ▽ More The amount of Adaptive Optics (AO) telemetry generated by VIS/NIR ground-based observatories is ever greater, leading to a growing need for a standardised data exchange format to support performance analysis and AO research and development activities that involve large-scale telemetry mining, processing, and curation. This paper introduces the Adaptive Optics Telemetry (AOT) data exchange format as a standard for sharing AO telemetry from visible/infrared ground-based observatories. AOT is based on the Flexible Image Transport System (FITS) and aims to provide unambiguous and consistent data access across various systems and configurations, including natural and single/multiple laser guide-star AO systems. We designed AOT focused on two key use cases: atmospheric turbulence parameter estimation and point-spread function reconstruction (PSF-R). We prototyped and tested the design using existing AO telemetry datasets from multiple systems: single conjugate with natural and laser guide stars, tomographic systems with multi-channel wavefront sensors, single and multi wavefront correctors in systems featuring either a Shack-Hartmann or Pyramid as main wavefront sensors. The AOT file structure has been thoroughly defined, specifying data fields, descriptions, data types, units, and expected dimensions. To support this format, we have developed a Python package that enables data conversion, reading, writing and exploration of AOT files, which has been made publicly available and compatible with a general-purpose Python package manager. We demonstrate the flexibility of the AOT format by packaging data from five different instruments, installed on different telescopes. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Spin and orbital dynamics of planets undergoing thermal atmospheric tides using a vectorial approach

Authors: Ema F. S. Valente, Alexandre C. M. Correia

Abstract: Earth-mass planets are expected to have atmospheres and experience thermal tides raised by the host star. These tides transfer energy to the planet that can counter the dissipation from bodily tides. Indeed, even a relatively thin atmosphere can drive the rotation of these planets away from the synchronous state. Here we revisit the dynamical evolution of planets undergoing thermal atmospheric tid… ▽ More Earth-mass planets are expected to have atmospheres and experience thermal tides raised by the host star. These tides transfer energy to the planet that can counter the dissipation from bodily tides. Indeed, even a relatively thin atmosphere can drive the rotation of these planets away from the synchronous state. Here we revisit the dynamical evolution of planets undergoing thermal atmospheric tides. We use a novel approach based on a vectorial formalism, which is frame independent and valid for any configuration of the system, including any eccentricity and obliquity values. We provide the secular equations of motion after averaging over the mean anomaly and the argument of the pericenter, which are suitable to model the long-term spin and orbital evolution of the planet. △ Less

Submitted 7 December, 2023; originally announced December 2023.

Comments: 15 pages, 1 figure, 2 tables

Journal ref: Astronomy and Astrophysics, vol. 679, A153 (2023)

Vivisecting the Dissection: On the Role of Trusted Components in BFT Protocols

Authors: Alysson Bessani, Miguel Correia, Tobias Distler, Rüdiger Kapitza, Paulo Esteves-Verissimo, Jiangshan Yu

Abstract: A recent paper by Gupta et al. (EuroSys'23) challenged the usefulness of trusted component (TC) based Byzantine fault-tolerant (BFT) protocols to lower the replica group size from $3f+1$ to $2f+1$, identifying three limitations of such protocols and proposing that TCs should be used instead to improve the performance of BFT protocols. Here, we point out flaws in both arguments and advocate that th… ▽ More A recent paper by Gupta et al. (EuroSys'23) challenged the usefulness of trusted component (TC) based Byzantine fault-tolerant (BFT) protocols to lower the replica group size from $3f+1$ to $2f+1$, identifying three limitations of such protocols and proposing that TCs should be used instead to improve the performance of BFT protocols. Here, we point out flaws in both arguments and advocate that the most worthwhile use of TCs in BFT protocols is indeed to make them as resilient as crash fault-tolerant (CFT) protocols, which can tolerate up to $f$ faulty replicas using $2f+1$ replicas. △ Less

Submitted 9 December, 2023; originally announced December 2023.

Experimental apparatus for non-contact resistivity measurements of the rock core plug based on magnetic induction

Authors: Pablo Diniz Batista, Leduc Hermeto de Almeida Fauth, Bernardo Coutinho Camilo dos Santos, Willian Andrighetto Trevizan, Maury Duarte Correia, Jorlandio Francisco Felix

Abstract: A new apparatus has been developed to measure the conductivity of rock samples. The probe, which consists of multi-coil transmitters and receivers doesn't require physical contact with the samples. The measurement is based on the induction principle. The measurement system is validated by using saline solutions and water-saturated sands of known conductivity. This work presents details of the deve… ▽ More A new apparatus has been developed to measure the conductivity of rock samples. The probe, which consists of multi-coil transmitters and receivers doesn't require physical contact with the samples. The measurement is based on the induction principle. The measurement system is validated by using saline solutions and water-saturated sands of known conductivity. This work presents details of the development of a system of magnetic resistivity measurements by magnetic induction for petrophysical applications. The first application consists of measuring the resistivity of the core plug which is 0.038 m in diameter. Currently the system is operating properly at a frequency of 50 kHz with a current of up to 500 mA at 20 °C. During the study two types of samples were investigated: aqueous solutions with conductivities between 1 to 100 mS/cm and rocks. Several tests were carried out with the objective of investigating the performance of the instrument, such as the experiment to obtain sensitivity for the measurement system as a function of the current applied to the transmitter coil. △ Less

Submitted 3 December, 2023; originally announced December 2023.

Comments: 14 pages, 5 figures

HAL 9000: Skynet's Risk Manager

Authors: Tadeu Freitas, Mário Neto, Inês Dutra, João Soares, Manuel Correia, Rolando Martins

Abstract: Intrusion Tolerant Systems (ITSs) are a necessary component for cyber-services/infrastructures. Additionally, as cyberattacks follow a multi-domain attack surface, a similar defensive approach should be applied, namely, the use of an evolving multi-disciplinary solution that combines ITS, cybersecurity and Artificial Intelligence (AI). With the increased popularity of AI solutions, due to Big Data… ▽ More Intrusion Tolerant Systems (ITSs) are a necessary component for cyber-services/infrastructures. Additionally, as cyberattacks follow a multi-domain attack surface, a similar defensive approach should be applied, namely, the use of an evolving multi-disciplinary solution that combines ITS, cybersecurity and Artificial Intelligence (AI). With the increased popularity of AI solutions, due to Big Data use-case scenarios and decision support and automation scenarios, new opportunities to apply Machine Learning (ML) algorithms have emerged, namely ITS empowerment. Using ML algorithms, an ITS can augment its intrusion tolerance capability, by learning from previous attacks and from known vulnerabilities. As such, this work's contribution is twofold: (1) an ITS architecture (Skynet) based on the state-of-the-art and incorporates new components to increase its intrusion tolerance capability and its adaptability to new adversaries; (2) an improved Risk Manager design that leverages AI to improve ITSs by automatically assessing OS risks to intrusions, and advise with safer configurations. One of the reasons that intrusions are successful is due to bad configurations or slow adaptability to new threats. This can be caused by the dependency that systems have for human intervention. One of the characteristics in Skynet and HAL 9000 design is the removal of human intervention. Being fully automatized lowers the chance of successful intrusions caused by human error. Our experiments using Skynet, shows that HAL is able to choose 15% safer configurations than the state-of-the-art risk manager. △ Less

Submitted 15 November, 2023; originally announced November 2023.

Comments: 18 pages, 9 figures

The O(N) Monolith reloaded: Sum rules and Form Factor Bootstrap

Authors: Lucia Cordova, Miguel Correia, Alessandro Georgoudis, Antoine Vuignier

Abstract: We revisit the space of gapped quantum field theories with a global O(N) symmetry in two spacetime dimensions. Previous works using S-matrix bootstrap revealed a rich space in which integrable theories such as the non-linear sigma model appear at special points on the boundary, along with an abundance of unknown models hinting at a non conventional UV behaviour. We extend the S-matrix set-up by in… ▽ More We revisit the space of gapped quantum field theories with a global O(N) symmetry in two spacetime dimensions. Previous works using S-matrix bootstrap revealed a rich space in which integrable theories such as the non-linear sigma model appear at special points on the boundary, along with an abundance of unknown models hinting at a non conventional UV behaviour. We extend the S-matrix set-up by including into the bootstrap form factors and spectral functions for the stress-energy tensor and conserved O(N) currents. Sum rules allow us to put bounds on the central charges of the conformal field theory (CFT) in the UV. We find that a big portion of the boundary can only flow from CFTs with infinite central charges. We track this result down to a particular behaviour of the amplitudes in physical kinematics and discuss its physical implications. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 31 pages + appendices, 13 figures

A roadmap to the efficient and robust characterization of temperate terrestrial planet atmospheres with JWST

Authors: TRAPPIST-1 JWST Community Initiative, :, Julien de Wit, René Doyon, Benjamin V. Rackham, Olivia Lim, Elsa Ducrot, Laura Kreidberg, Björn Benneke, Ignasi Ribas, David Berardo, Prajwal Niraula, Aishwarya Iyer, Alexander Shapiro, Nadiia Kostogryz, Veronika Witzke, Michaël Gillon, Eric Agol, Victoria Meadows, Adam J. Burgasser, James E. Owen, Jonathan J. Fortney, Franck Selsis, Aaron Bello-Arufe, Emeline Bolmont , et al. (57 additional authors not shown)

Abstract: Ultra-cool dwarf stars are abundant, long-lived, and uniquely suited to enable the atmospheric study of transiting terrestrial companions with JWST. Amongst them, the most prominent is the M8.5V star TRAPPIST-1 and its seven planets, which have been the favored targets of eight JWST Cycle 1 programs. While Cycle 1 observations have started to yield preliminary insights into the planets, they have… ▽ More Ultra-cool dwarf stars are abundant, long-lived, and uniquely suited to enable the atmospheric study of transiting terrestrial companions with JWST. Amongst them, the most prominent is the M8.5V star TRAPPIST-1 and its seven planets, which have been the favored targets of eight JWST Cycle 1 programs. While Cycle 1 observations have started to yield preliminary insights into the planets, they have also revealed that their atmospheric exploration requires a better understanding of their host star. Here, we propose a roadmap to characterize the TRAPPIST-1 system -- and others like it -- in an efficient and robust manner. We notably recommend that -- although more challenging to schedule -- multi-transit windows be prioritized to constrain stellar heterogeneities and gather up to 2$\times$ more transits per JWST hour spent. We conclude that in such systems planets cannot be studied in isolation by small programs, thus large-scale community-supported programs should be supported to enable the efficient and robust exploration of terrestrial exoplanets in the JWST era. △ Less

Submitted 24 October, 2023; v1 submitted 24 October, 2023; originally announced October 2023.

Optimal Hamilton covers and linear arboricity for random graphs

Authors: Nemanja Draganić, Stefan Glock, David Munhá Correia, Benny Sudakov

Abstract: In his seminal 1976 paper, Pósa showed that for all $p\geq C\log n/n$, the binomial random graph $G(n,p)$ is with high probability Hamiltonian. This leads to the following natural questions, which have been extensively studied: How well is it typically possible to cover all edges of $G(n,p)$ with Hamilton cycles? How many cycles are necessary? In this paper we show that for $ p\geq C\log n/n$, we… ▽ More In his seminal 1976 paper, Pósa showed that for all $p\geq C\log n/n$, the binomial random graph $G(n,p)$ is with high probability Hamiltonian. This leads to the following natural questions, which have been extensively studied: How well is it typically possible to cover all edges of $G(n,p)$ with Hamilton cycles? How many cycles are necessary? In this paper we show that for $ p\geq C\log n/n$, we can cover $G\sim G(n,p)$ with precisely $\lceilΔ(G)/2\rceil$ Hamilton cycles. Our result is clearly best possible both in terms of the number of required cycles, and the asymptotics of the edge probability $p$, since it starts working at the weak threshold needed for Hamiltonicity. This resolves a problem of Glebov, Krivelevich and Szabó, and improves upon previous work of Hefetz, Kühn, Lapinskas and Osthus, and of Ferber, Kronenberg and Long, essentially closing a long line of research on Hamiltonian packing and covering problems in random graphs. △ Less

Submitted 17 October, 2023; originally announced October 2023.

Comments: 13 pages

Stability maps for the 5/3 mean motion resonance between Ariel and Umbriel with inclination

Authors: Sérgio R. A. Gomes, Alexandre C. M. Correia

Abstract: The evolution of the five largest satellites of Uranus during the crossing of the 5/3 mean motion resonance between Ariel and Umbriel is strongly affected by chaotic motion. Studies with numerical integrations of the equations of motion and analysis of Poincaré surface sections provided helpful insights to the role of chaos on the system. However, they lack of a quantification of this chaos in the… ▽ More The evolution of the five largest satellites of Uranus during the crossing of the 5/3 mean motion resonance between Ariel and Umbriel is strongly affected by chaotic motion. Studies with numerical integrations of the equations of motion and analysis of Poincaré surface sections provided helpful insights to the role of chaos on the system. However, they lack of a quantification of this chaos in the phase-space. Here, we construct stability maps using the frequency analysis method. We determine that for low energies (small eccentricity and/or inclinations), the phase-space is mainly stable. As the energy increases, the chaotic regions replace the stable motion, until only small, localized libration regions remain stable. △ Less

Submitted 9 September, 2023; originally announced September 2023.

Comments: arXiv admin note: text overlap with arXiv:2305.08794

Dynamics of trans-Neptunian objects near the 3/1 mean-motion resonance with Neptune

Authors: Alan J. Alves-Carmo, Timothée Vaillant, Alexandre C. M. Correia

Abstract: The complex classification of trans-Neptunian objects (TNOs) that are captured in mean-motion resonances (MMRs) and the constraint of their multiple origins are two significant open problems concerning the Solar System. The case-by-case study of the different MMRs and their characteristics provide information about their origin and dynamics, which helps us to understand the early stages of the Sol… ▽ More The complex classification of trans-Neptunian objects (TNOs) that are captured in mean-motion resonances (MMRs) and the constraint of their multiple origins are two significant open problems concerning the Solar System. The case-by-case study of the different MMRs and their characteristics provide information about their origin and dynamics, which helps us to understand the early stages of the Solar System evolution. In this paper, we study the dynamics of the detected TNOs close to a 3/1 MMR with Neptune. We initially use a semi-analytic three-body model to investigate the coplanar secular dynamics of these objects and find the stationary points. We then use surface sections and stability maps to analyse the non-averaged dynamics. These methods allow us to isolate the different stability regions and determine the extent of the chaotic regions. We show that stability maps are an extremely powerful tool for studying the resonant dynamics when they are computed in terms of the resonant angle. We then use these maps to study the non-planar three-body problem and the full dynamics in the presence of planetary perturbations. We confirm that TNOs near the 3/1 MMR regions can exist at very high inclinations. In the framework of the three-body problem, many of these objects can also be stable outside the 3/1 MMR owing to a Kozai secular resonance. However, when we take into account the perturbations of the four giant planets, the Kozai regions disappear and only the 3/1 MMR region remains, with eccentricities $e \lesssim 0.5$. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: 17 pages, 17 figures, 1 table

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

Using Range-Revocable Pseudonyms to Provide Backward Unlinkability in the Edge (Extended Version)

Authors: Cláudio Correia, Miguel Correia, Luís Rodrigues

Abstract: In this paper we propose a novel abstraction that we have named Range-Revocable Pseudonyms (RRPs). RRPs are a new class of pseudonyms whose validity can be revoked for any time-range within its original validity period. The key feature of RRPs is that the information provided to revoke a pseudonym for a given timerange cannot be linked with the information provided when using the pseudonym outside… ▽ More In this paper we propose a novel abstraction that we have named Range-Revocable Pseudonyms (RRPs). RRPs are a new class of pseudonyms whose validity can be revoked for any time-range within its original validity period. The key feature of RRPs is that the information provided to revoke a pseudonym for a given timerange cannot be linked with the information provided when using the pseudonym outside the revoked range. We provide an algorithm to implement RRPs using efficient cryptographic primitives where the space complexity of the pseudonym is constant, regardless of the granularity of the revocation range, and the space complexity of the revocation information only grows logarithmically with the granularity; this makes the use of RRPs far more efficient than the use of many short-lived pseudonyms. We have used RRPs to design EDGAR, an access control system for VANET scenarios that offers backward unlinkability. The experimental evaluation of EDGAR shows that, when using RRPs, the revocation can be performed efficiently (even when using time slots as small as 1 second) and that users can authenticate with low latency ($0.5-3.5$ ms). △ Less

Submitted 7 August, 2023; originally announced August 2023.

Comments: 19 pages. Extended version of the paper accepted in CCS 2023

TOI-4860 b, a short-period giant planet transiting an M3.5 dwarf

Authors: J. M. Almenara, X. Bonfils, E. M. Bryant, A. Jordán, G. Hébrard, E. Martioli, A. C. M. Correia, N. Astudillo-Defru, C. Cadieux, L. Arnold, É. Artigau, G. Á. Bakos, S. C. C. Barros, D. Bayliss, F. Bouchy, G. Boué, R. Brahm, A. Carmona, D. Charbonneau, D. R. Ciardi, R. Cloutier, M. Cointepas, N. J. Cook, N. B. Cowan, X. Delfosse , et al. (25 additional authors not shown)

Abstract: We report the discovery and characterisation of a giant transiting planet orbiting a nearby M3.5V dwarf (d = 80.4 pc, $G$ = 15.1 mag, $K$=11.2 mag, R$_\star$ = 0.358 $\pm$ 0.015 R$_\odot$, M$_\star$ = 0.340 $\pm$ 0.009 M$_\odot$). Using the photometric time series from TESS sectors 10, 36, 46, and 63 and near-infrared spectrophotometry from ExTrA, we measured a planetary radius of 0.77 $\pm$ 0.03… ▽ More We report the discovery and characterisation of a giant transiting planet orbiting a nearby M3.5V dwarf (d = 80.4 pc, $G$ = 15.1 mag, $K$=11.2 mag, R$_\star$ = 0.358 $\pm$ 0.015 R$_\odot$, M$_\star$ = 0.340 $\pm$ 0.009 M$_\odot$). Using the photometric time series from TESS sectors 10, 36, 46, and 63 and near-infrared spectrophotometry from ExTrA, we measured a planetary radius of 0.77 $\pm$ 0.03 R$_J$ and an orbital period of 1.52 days. With high-resolution spectroscopy taken by the CFHT/SPIRou and ESO/ESPRESSO spectrographs, we refined the host star parameters ([Fe/H] = 0.27 $\pm$ 0.12) and measured the mass of the planet (0.273 $\pm$ 0.006 M$_J$). Based on these measurements, TOI-4860 b joins the small set of massive planets ($>$80 M$_E$) found around mid to late M dwarfs ($<$0.4 R$_\odot$), providing both an interesting challenge to planet formation theory and a favourable target for further atmospheric studies with transmission spectroscopy. We identified an additional signal in the radial velocity data that we attribute to an eccentric planet candidate ($e=0.66\pm0.09$) with an orbital period of $427\pm7$~days and a minimum mass of $1.66\pm 0.26$ M$_J$, but additional data would be needed to confirm this. △ Less

Submitted 12 January, 2024; v1 submitted 2 August, 2023; originally announced August 2023.

Comments: 16 pages, 14 figures, accepted for publication in A&A

Size-Ramsey numbers of structurally sparse graphs

Authors: Nemanja Draganić, Marc Kaufmann, David Munhá Correia, Kalina Petrova, Raphael Steiner

Abstract: Size-Ramsey numbers are a central notion in combinatorics and have been widely studied since their introduction by Erdős, Faudree, Rousseau and Schelp in 1978. Research has mainly focused on the size-Ramsey numbers of $n$-vertex graphs with constant maximum degree $Δ$. For example, graphs which also have constant treewidth are known to have linear size-Ramsey numbers. On the other extreme, the can… ▽ More Size-Ramsey numbers are a central notion in combinatorics and have been widely studied since their introduction by Erdős, Faudree, Rousseau and Schelp in 1978. Research has mainly focused on the size-Ramsey numbers of $n$-vertex graphs with constant maximum degree $Δ$. For example, graphs which also have constant treewidth are known to have linear size-Ramsey numbers. On the other extreme, the canonical examples of graphs of unbounded treewidth are the grid graphs, for which the best known bound has only very recently been improved from $O(n^{3/2})$ to $O(n^{5/4})$ by Conlon, Nenadov and Trujić. In this paper, we prove a common generalization of these results by establishing new bounds on the size-Ramsey numbers in terms of treewidth (which may grow as a function of $n$). As a special case, this yields a bound of $\tilde{O}(n^{3/2 - 1/2Δ})$ for proper minor-closed classes of graphs. In particular, this bound applies to planar graphs, addressing a question of Kamcev, Liebenau, Wood and Yepremyan. Our proof combines methods from structural graph theory and classic Ramsey-theoretic embedding techniques, taking advantage of the product structure exhibited by graphs with bounded treewidth. △ Less

Submitted 2 September, 2023; v1 submitted 22 July, 2023; originally announced July 2023.

Comments: 21 pages

MSC Class: 05D10; 05C35; 05C55

Theory of Functional Connections and Nelder-Mead optimization methods applied in satellite characterization

Authors: Allan Kardec de Almeida Junior, Safwan Aljbaae, Timothée Vaillant, Jhonathan M. Piñeros, Bruno Coelho, Domingos Barbosa, Miguel Bergano, João Pandeirada, Francisco C. Carvalho, Leonardo B. T. Santos, Antonio F. B. A. Prado, Anna Guerman, Alexandre C. M. Correia

Abstract: The growing population of man-made objects with the build up of mega-constellations not only increases the potential danger to all space vehicles and in-space infrastructures (including space observatories), but above all poses a serious threat to astronomy and dark skies. Monitoring of this population requires precise satellite characterization, which is is a challenging task that involves analyz… ▽ More The growing population of man-made objects with the build up of mega-constellations not only increases the potential danger to all space vehicles and in-space infrastructures (including space observatories), but above all poses a serious threat to astronomy and dark skies. Monitoring of this population requires precise satellite characterization, which is is a challenging task that involves analyzing observational data such as position, velocity, and light curves using optimization methods. In this study, we propose and analyze the application of two optimization procedures to determine the parameters associated with the dynamics of a satellite: one based on the Theory of Functional Connections (TFC) and another one based on the Nelder-Mead heuristic optimization algorithm. The TFC performs linear functional interpolation to embed the constraints of the problem into a functional. In this paper, we propose to use this functional to analytically embed the observational data of a satellite into its equations of dynamics. After that, any solution will always satisfy the observational data. The second procedure proposed in this research takes advantage of the Nealder-Mead algorithm, that does not require the gradient of the objective function, as alternative solution. The accuracy, efficiency, and dependency on the initial guess of each method is investigated, analyzed, and compared for several dynamical models. These methods can be used to obtain the physical parameters of a satellite from available observational data and for space debris characterization contributing to follow-up monitoring activities in space and astronomical observatories. △ Less

Submitted 21 July, 2023; originally announced July 2023.

Comments: Submitted to Acta Astronautica

Tidal excitation of the obliquity of Earth-like planets in the habitable zone of M-dwarf stars

Authors: Ema F. S. Valente, Alexandre C. M. Correia

Abstract: Close-in planets undergo strong tidal interactions with the parent star that modify their spins and orbits. In the two-body problem, the final stage for tidal evolution is the synchronisation of the rotation and orbital periods, and the alignment of the planet spin axis with the normal to the orbit (zero planet obliquity). The orbital eccentricity is also damped to zero, but over a much longer tim… ▽ More Close-in planets undergo strong tidal interactions with the parent star that modify their spins and orbits. In the two-body problem, the final stage for tidal evolution is the synchronisation of the rotation and orbital periods, and the alignment of the planet spin axis with the normal to the orbit (zero planet obliquity). The orbital eccentricity is also damped to zero, but over a much longer timescale, that may exceed the lifetime of the system. For non-zero eccentricities, the rotation rate can be trapped in spin-orbit resonances that delay the evolution towards the synchronous state. Here we show that capture in some spin-orbit resonances may also excite the obliquity to high values rather than damp it to zero. Depending on the system parameters, obliquities of 60 to 80 degrees can be maintained throughout the entire lifetime of the planet. This unexpected behaviour is particularly important for Earth-like planets in the habitable zone of M-dwarf stars, as it may help to sustain temperate environments and thus more favourable conditions for life. △ Less

Submitted 17 July, 2023; originally announced July 2023.

Comments: 12 pages, 9 figures, 2 tables

Journal ref: Astronomy and Astrophysics, vol. 665, A130 (2022)

Unique information from common diffusion MRI models about white-matter differences across the human adult lifespan

Authors: Rafael Neto Henriques1, Richard Henson, Cam-CAN, Marta Morgado Correia

Abstract: Diffusion Magnetic Resonance Imaging (dMRI) is sensitive to white matter (WM) changes across the human lifespan. Several models have been proposed to provide more specific metrics than those provided by the conventional Diffusion Tensor Imaging (DTI) analysis. However, previous results using different metrics have led to contradictory conclusions regarding the effect of age on fibre demyelination… ▽ More Diffusion Magnetic Resonance Imaging (dMRI) is sensitive to white matter (WM) changes across the human lifespan. Several models have been proposed to provide more specific metrics than those provided by the conventional Diffusion Tensor Imaging (DTI) analysis. However, previous results using different metrics have led to contradictory conclusions regarding the effect of age on fibre demyelination and axonal loss in adults. Moreover, it remains unclear whether these metrics provide distinct information about the effects of age. To address this, we analysed dMRI data from 651 adults uniformly aged from 18 to 88 years in the Cam-CAN cohort, using six dMRI metrics: Fractional Anisotropy (FA) from DTI; Mean Signal Diffusion (MSD) and Mean Signal Kurtosis (MSK) from Diffusional Kurtosis Imaging (DKI); and Neurite Density Index (NDI), Orientation Dispersion Index (ODI) and isotropic Free water volume fraction (Fiso) estimated from Neurite Orientation Dispersion and Density Imaging (NODDI). Averaging across WM ROIs, 2nd order polynomial fits revealed that MSD, MSK and Fiso showed the strongest effects of age, with significant quadratic components. Analysing the data in different age subgroups revealed that some apparent discrepancies in previous studies may be explained by cohorts with different age ranges. Factor analysis of the six metrics across all ROIs revealed three independent factors that can be associated to 1) tissue non-Gaussian diffusion effects, 2) free-water contamination, and 3) tissue configuration complexity. While FA captures a combination of different factors, other dMRI metrics are strongly aligned to specific factors (NDI/MSK with Factor 1, Fiso with Factor 2, and ODI with Factor 3). In sum, our study explains previous discrepancies in dMRI ageing studies and provides further insights on the interpretation of dMRI metrics in the context of WM microstructural properties. △ Less

Submitted 16 June, 2023; originally announced June 2023.

Comments: 54 pages, 11 figures (8 main + 3 supplementary figures)

Cycles with many chords

Authors: Nemanja Draganić, Abhishek Methuku, David Munhá Correia, Benny Sudakov

Abstract: How many edges in an $n$-vertex graph will force the existence of a cycle with as many chords as it has vertices? Almost 30 years ago, Chen, Erdős and Staton considered this question and showed that any $n$-vertex graph with $2n^{3/2}$ edges contains such a cycle. We significantly improve this old bound by showing that $Ω(n\log^8n)$ edges are enough to guarantee the existence of such a cycle. Ou… ▽ More How many edges in an $n$-vertex graph will force the existence of a cycle with as many chords as it has vertices? Almost 30 years ago, Chen, Erdős and Staton considered this question and showed that any $n$-vertex graph with $2n^{3/2}$ edges contains such a cycle. We significantly improve this old bound by showing that $Ω(n\log^8n)$ edges are enough to guarantee the existence of such a cycle. Our proof exploits a delicate interplay between certain properties of random walks in almost regular expanders. We argue that while the probability that a random walk of certain length in an almost regular expander is self-avoiding is very small, one can still guarantee that it spans many edges (and that it can be closed into a cycle) with large enough probability to ensure that these two events happen simultaneously. △ Less

Submitted 10 July, 2023; v1 submitted 15 June, 2023; originally announced June 2023.

Comments: 12 pages

Tidal evolution for any rheological model using a vectorial approach expressed in Hansen coefficients

Authors: Alexandre C. M. Correia, Ema F. S. Valente

Abstract: We revisit the two body problem, where one body can be deformed under the action of tides raised by the companion. Tidal deformation and consequent dissipation result in spin and orbital evolution of the system. In general, the equations of motion are derived from the tidal potential developed in Fourier series expressed in terms of Keplerian elliptical elements, so that the variation of dissipati… ▽ More We revisit the two body problem, where one body can be deformed under the action of tides raised by the companion. Tidal deformation and consequent dissipation result in spin and orbital evolution of the system. In general, the equations of motion are derived from the tidal potential developed in Fourier series expressed in terms of Keplerian elliptical elements, so that the variation of dissipation with amplitude and frequency can be examined. However, this method introduces multiple index summations and some orbital elements depend on the chosen frame, which is prone to confusion and errors. Here, we develop the quadrupole tidal potential solely in a series of Hansen coefficients, which are widely used in celestial mechanics and depend just on the eccentricity. We derive the secular equations of motion in a vectorial formalism, which is frame independent and valid for any rheological model. We provide expressions for a single average over the mean anomaly and for an additional average over the argument of the pericentre. These equations are suitable to model the long-term evolution of a large variety of systems and configurations, from planet satellite to stellar binaries. We also compute the tidal energy released inside the body for an arbitrary configuration of the system. △ Less

Submitted 6 June, 2023; originally announced June 2023.

Comments: 33 pages, 1 figure, 2 tables

Journal ref: Celestial Mechanics and Dynamical Astronomy, vol. 134, article 24 (2022)

Effect of the inclination in the passage through the 5/3 mean motion resonance between Ariel and Umbriel

Authors: Sérgio R. A. Gomes, Alexandre C. M. Correia

Abstract: The orbits of the main satellites of Uranus are expected to slowly drift away owing to tides raised in the planet. As a result, the 5/3 mean motion resonance between Ariel and Umbriel was likely encountered in the past. Previous studies have shown that, in order to prevent entrapment in this resonance, the eccentricities of the satellites must be larger than $\sim 0.01$ at the epoch, which is hard… ▽ More The orbits of the main satellites of Uranus are expected to slowly drift away owing to tides raised in the planet. As a result, the 5/3 mean motion resonance between Ariel and Umbriel was likely encountered in the past. Previous studies have shown that, in order to prevent entrapment in this resonance, the eccentricities of the satellites must be larger than $\sim 0.01$ at the epoch, which is hard to explain. On the other hand, if the satellites experience some temporary capture and then escape, the inclinations rise to high values that are not observed today. We have revisited this problem both analytically and numerically focussing on the inclination, using a secular two-satellite model with circular orbits. We show that if the inclination of Umbriel was around $0.15^{\circ}$ at the time of the 5/3 resonance encounter, capture can be avoided in about $60\%$ of the cases. Moreover, after the resonance crossing, the inclination of Umbriel drops to a mean value around $0.08^{\circ}$, which is close to the presently observed one. The final inclination of Ariel is distributed between $0.01^{\circ}$ and $0.25^{\circ}$ with a nearly equal probability, which includes the present mean value of $0.02^{\circ}$. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: 19 pages, 10 figures

Journal ref: A&A 674, A111 (2023)

The magnetic field and multiple planets of the young dwarf AU~Mic

Authors: J. -F. Donati, P. I. Cristofari, B. Finociety, B. Klein, C. Moutou, E. Gaidos, C. Cadieux, E. Artigau, A. C. M. Correia, G. Boué, N. J. Cook, A. Carmona, L. T. Lehmann, J. Bouvier, E. Martioli, J. Morin, P. Fouqué, X. Delfosse, R. Royon, G. Hébrard, S. H. P. Alencar, J. Laskar, L. Arnold, P. Petit, A. Kospal , et al. (3 additional authors not shown)

Abstract: In this paper we present an analysis of near-infrared spectropolarimetric and velocimetric data of the young M dwarf AU Mic, collected with SPIRou at the Canada-France-Hawaii telescope from 2019 to 2022, mostly within the SPIRou Legacy Survey. With these data, we study the large- and small-scale magnetic field of AU Mic, detected through the unpolarized and circularly-polarized Zeeman signatures o… ▽ More In this paper we present an analysis of near-infrared spectropolarimetric and velocimetric data of the young M dwarf AU Mic, collected with SPIRou at the Canada-France-Hawaii telescope from 2019 to 2022, mostly within the SPIRou Legacy Survey. With these data, we study the large- and small-scale magnetic field of AU Mic, detected through the unpolarized and circularly-polarized Zeeman signatures of spectral lines. We find that both are modulated with the stellar rotation period (4.86 d), and evolve on a timescale of months under differential rotation and intrinsic variability. The small-scale field, estimated from the broadening of spectral lines, reaches $2.61\pm0.05$ kG. The large-scale field, inferred with Zeeman-Doppler imaging from Least-Squares Deconvolved profiles of circularly-polarized and unpolarized spectral lines, is mostly poloidal and axisymmetric, with an average intensity of $550\pm30$ G. We also find that surface differential rotation, as derived from the large-scale field, is $\simeq$30% weaker than that of the Sun. We detect the radial velocity (RV) signatures of transiting planets b and c, although dwarfed by activity, and put an upper limit on that of candidate planet d, putatively causing the transit-timing variations of b and c. We also report the detection of the RV signature of a new candidate planet (e) orbiting further out with a period of $33.39\pm0.10$ d, i.e., near the 4:1 resonance with b. The RV signature of e is detected at 6.5$σ$ while those of b and c show up at $\simeq$4$σ$, yielding masses of $10.2^{+3.9}_{-2.7}$ and $14.2^{+4.8}_{-3.5}$ Earth masses for b and c, and a minimum mass of $35.2^{+6.7}_{-5.4}$ Earth masses for e. △ Less

Submitted 24 April, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

Comments: MNRAS, in press (20 pages and 12 figures + 9 pages of supplementary material)

The James Webb Space Telescope Mission

Authors: Jonathan P. Gardner, John C. Mather, Randy Abbott, James S. Abell, Mark Abernathy, Faith E. Abney, John G. Abraham, Roberto Abraham, Yasin M. Abul-Huda, Scott Acton, Cynthia K. Adams, Evan Adams, David S. Adler, Maarten Adriaensen, Jonathan Albert Aguilar, Mansoor Ahmed, Nasif S. Ahmed, Tanjira Ahmed, Rüdeger Albat, Loïc Albert, Stacey Alberts, David Aldridge, Mary Marsha Allen, Shaune S. Allen, Martin Altenburg , et al. (983 additional authors not shown)

Abstract: Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astrono… ▽ More Twenty-six years ago a small committee report, building on earlier studies, expounded a compelling and poetic vision for the future of astronomy, calling for an infrared-optimized space telescope with an aperture of at least $4m$. With the support of their governments in the US, Europe, and Canada, 20,000 people realized that vision as the $6.5m$ James Webb Space Telescope. A generation of astronomers will celebrate their accomplishments for the life of the mission, potentially as long as 20 years, and beyond. This report and the scientific discoveries that follow are extended thank-you notes to the 20,000 team members. The telescope is working perfectly, with much better image quality than expected. In this and accompanying papers, we give a brief history, describe the observatory, outline its objectives and current observing program, and discuss the inventions and people who made it possible. We cite detailed reports on the design and the measured performance on orbit. △ Less

Submitted 10 April, 2023; originally announced April 2023.

Comments: Accepted by PASP for the special issue on The James Webb Space Telescope Overview, 29 pages, 4 figures

Hamilton cycles in pseudorandom graphs

Authors: Stefan Glock, David Munhá Correia, Benny Sudakov

Abstract: Finding general conditions which ensure that a graph is Hamiltonian is a central topic in graph theory. An old and well known conjecture in the area states that any $d$-regular $n$-vertex graph $G$ whose second largest eigenvalue in absolute value $λ(G)$ is at most $\frac{d}{C}$, for some universal constant $C>0$, has a Hamilton cycle. In this paper, we obtain two main results which make substanti… ▽ More Finding general conditions which ensure that a graph is Hamiltonian is a central topic in graph theory. An old and well known conjecture in the area states that any $d$-regular $n$-vertex graph $G$ whose second largest eigenvalue in absolute value $λ(G)$ is at most $\frac{d}{C}$, for some universal constant $C>0$, has a Hamilton cycle. In this paper, we obtain two main results which make substantial progress towards this problem. Firstly, we settle this conjecture in full when the degree $d$ is at least a small power of $n$. Secondly, in the general case we show that $λ(G) \leq \frac{d}{C(\log n)^{1/3}}$ implies the existence of a Hamilton cycle, improving the 20-year old bound of $\frac{d}{ \log^{1-o(1)} n}$ of Krivelevich and Sudakov. We use in a novel way a variety of methods, such as a robust Pósa rotation-extension technique, the Friedman-Pippenger tree embedding with rollbacks and the absorbing method, combined with additional tools and ideas. Our results have several interesting applications, giving best bounds on the number of generators which guarantee the Hamiltonicity of random Cayley graphs, which is an important partial case of the well known Hamiltonicity conjecture of Lovász. They can also be used to improve a result of Alon and Bourgain on additive patterns in multiplicative subgroups. △ Less

Submitted 9 March, 2023; originally announced March 2023.

A generalization of Bondy's pancyclicity theorem

Authors: Nemanja Draganić, David Munhá Correia, Benny Sudakov

Abstract: The bipartite independence number of a graph $G$, denoted as $\tildeα(G)$, is the minimal number $k$ such that there exist positive integers $a$ and $b$ with $a+b=k+1$ with the property that for any two sets $A,B\subseteq V(G)$ with $|A|=a$ and $|B|=b$, there is an edge between $A$ and $B$. McDiarmid and Yolov showed that if $δ(G)\geq\tilde α(G)$ then $G$ is Hamiltonian, extending the famous theor… ▽ More The bipartite independence number of a graph $G$, denoted as $\tildeα(G)$, is the minimal number $k$ such that there exist positive integers $a$ and $b$ with $a+b=k+1$ with the property that for any two sets $A,B\subseteq V(G)$ with $|A|=a$ and $|B|=b$, there is an edge between $A$ and $B$. McDiarmid and Yolov showed that if $δ(G)\geq\tilde α(G)$ then $G$ is Hamiltonian, extending the famous theorem of Dirac which states that if $δ(G)\geq |G|/2$ then $G$ is Hamiltonian. In 1973, Bondy showed that, unless $G$ is a complete bipartite graph, Dirac's Hamiltonicity condition also implies pancyclicity, i.e., existence of cycles of all the lengths from $3$ up to $n$. In this paper we show that $δ(G)\geq\tilde α(G)$ implies that $G$ is pancyclic or that $G=K_{\frac{n}{2},\frac{n}{2}}$, thus extending the result of McDiarmid and Yolov, and generalizing the classic theorem of Bondy. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Improving circumbinary planet detections by fitting their binary's apsidal precession

Authors: Thomas A. Baycroft, Amaury H. M. J. Triaud, João Faria, Alexandre C. M. Correia, Matthew R. Standing

Abstract: Apsidal precession in stellar binaries is the main non-Keplerian dynamical effect impacting the radial-velocities of a binary star system. Its presence can notably hide the presence of orbiting circumbinary planets because many fitting algorithms assume perfectly Keplerian motion. To first order, apsidal precession ($\dotω$) can be accounted for by adding a linear term to the usual Keplerian model… ▽ More Apsidal precession in stellar binaries is the main non-Keplerian dynamical effect impacting the radial-velocities of a binary star system. Its presence can notably hide the presence of orbiting circumbinary planets because many fitting algorithms assume perfectly Keplerian motion. To first order, apsidal precession ($\dotω$) can be accounted for by adding a linear term to the usual Keplerian model. We include apsidal precession in the kima package, an orbital fitter designed to detect and characterise planets from radial velocity data. In this paper, we detail this and other additions to kima that improve fitting for stellar binaries and circumbinary planets including corrections from general relativity. We then demonstrate that fitting for $\dotω$ can improve the detection sensitivity to circumbinary exoplanets by up to an order of magnitude in some circumstances, particularly in the case of multi-planetary systems. In addition, we apply the algorithm to several real systems, producing a new measurement of aspidal precession in KOI-126 (a tight triple system), and a detection of $\dotω$ in the Kepler-16 circumbinary system. Although apsidal precession is detected for Kepler-16, it does not have a large effect on the detection limit or the planetary parameters. We also derive an expression for the precession an outer planet would induce on the inner binary and compare the value this predicts with the one we detect. △ Less

Submitted 6 April, 2023; v1 submitted 26 January, 2023; originally announced January 2023.

Comments: 10 pages, 5 figures Re-submitted to MNRAS after reviewer comments

Radial-velocity discovery of a second planet in the TOI-1338/BEBOP-1 circumbinary system

Authors: Matthew R. Standing, Lalitha Sairam, David V. Martin, Amaury H. M. J. Triaud, Alexandre C. M. Correia, Gavin A. L. Coleman, Thomas A. Baycroft, Vedad Kunovac, Isabelle Boisse, Andrew Collier Cameron, Georgina Dransfield, João P. Faria, Michaël Gillon, Nathan C. Hara, Coel Hellier, Jonathan Howard, Ellie Lane, Rosemary Mardling, Pierre F. L. Maxted, Nicola J. Miller, Richard P. Nelson, Jerome A. Orosz, Franscesco Pepe, Alexandre Santerne, Daniel Sebastian , et al. (2 additional authors not shown)

Abstract: We report the detection of a gas-giant planet in orbit around both stars of an eclipsing binary star system that also contains the smaller, inner transiting planet TOI-1338b. The new planet, called TOI-1338/BEBOP-1c, was discovered using radial-velocity data collected with the HARPS and ESPRESSO spectrographs. Our analysis reveals it is a $65.2~\rm{M_{\oplus}}$ circumbinary planet with a period of… ▽ More We report the detection of a gas-giant planet in orbit around both stars of an eclipsing binary star system that also contains the smaller, inner transiting planet TOI-1338b. The new planet, called TOI-1338/BEBOP-1c, was discovered using radial-velocity data collected with the HARPS and ESPRESSO spectrographs. Our analysis reveals it is a $65.2~\rm{M_{\oplus}}$ circumbinary planet with a period of $215.5~$days. This is the first detection of a circumbinary planet using radial-velocity observations alone, and makes TOI-1338/BEBOP-1 only the second confirmed multiplanet circumbinary system to date. We do not detect the smaller inner transiting planet with radial-velocity data, and can place an upper limit on the inner planet's mass at $21.8~\mathrm{M}_\oplus$ with $99\%$ confidence. The inner planet is the first circumbinary planet amenable for atmospheric characterisation, using the James Webb Space Telescope. △ Less

Submitted 12 June, 2023; v1 submitted 25 January, 2023; originally announced January 2023.

Comments: The Version of Record of this article is published in Nature Astronomy, and is available online at https://doi.org/10.1038/s41550-023-01948-4 Main: 14-pages, 4-Figures, 1-table. Supporting material: 48-pages, 12-figures, 4-tables

Chvátal-Erdős condition for pancyclicity

Authors: Nemanja Draganić, David Munhá Correia, Benny Sudakov

Abstract: An $n$-vertex graph is Hamiltonian if it contains a cycle that covers all of its vertices and it is pancyclic if it contains cycles of all lengths from $3$ up to $n$. A celebrated meta-conjecture of Bondy states that every non-trivial condition implying Hamiltonicity also implies pancyclicity (up to possibly a few exceptional graphs). We show that every graph $G$ with $κ(G) > (1+o(1)) α(G)$ is pan… ▽ More An $n$-vertex graph is Hamiltonian if it contains a cycle that covers all of its vertices and it is pancyclic if it contains cycles of all lengths from $3$ up to $n$. A celebrated meta-conjecture of Bondy states that every non-trivial condition implying Hamiltonicity also implies pancyclicity (up to possibly a few exceptional graphs). We show that every graph $G$ with $κ(G) > (1+o(1)) α(G)$ is pancyclic. This extends the famous Chvátal-Erdős condition for Hamiltonicity and proves asymptotically a $30$-year old conjecture of Jackson and Ordaz. △ Less

Submitted 24 January, 2023; originally announced January 2023.

Physics-informed self-supervised deep learning reconstruction for accelerated first-pass perfusion cardiac MRI

Authors: Elena Martín-González, Ebraham Alskaf, Amedeo Chiribiri, Pablo Casaseca-de-la-Higuera, Carlos Alberola-López, Rita G Nunes, Teresa M Correia

Abstract: First-pass perfusion cardiac magnetic resonance (FPP-CMR) is becoming an essential non-invasive imaging method for detecting deficits of myocardial blood flow, allowing the assessment of coronary heart disease. Nevertheless, acquisitions suffer from relatively low spatial resolution and limited heart coverage. Compressed sensing (CS) methods have been proposed to accelerate FPP-CMR and achieve hig… ▽ More First-pass perfusion cardiac magnetic resonance (FPP-CMR) is becoming an essential non-invasive imaging method for detecting deficits of myocardial blood flow, allowing the assessment of coronary heart disease. Nevertheless, acquisitions suffer from relatively low spatial resolution and limited heart coverage. Compressed sensing (CS) methods have been proposed to accelerate FPP-CMR and achieve higher spatial resolution. However, the long reconstruction times have limited the widespread clinical use of CS in FPP-CMR. Deep learning techniques based on supervised learning have emerged as alternatives for speeding up reconstructions. However, these approaches require fully sampled data for training, which is not possible to obtain, particularly high-resolution FPP-CMR images. Here, we propose a physics-informed self-supervised deep learning FPP-CMR reconstruction approach for accelerating FPP-CMR scans and hence facilitate high spatial resolution imaging. The proposed method provides high-quality FPP-CMR images from 10x undersampled data without using fully sampled reference data. △ Less

Submitted 5 January, 2023; originally announced January 2023.

Comments: Workshop on Machine Learning for Medical Image Reconstruction, MLMIR 2021, held in Conjunction with MICCAI 2021

Journal ref: In: Machine Learning for Medical Image Reconstruction. MLMIR 2021. Lecture Notes in Computer Science, vol 12964. Springer, Cham (2021)

Reversible time-step adaptation for the integration of few-body systems

Authors: Tjarda C. N. Boekholt, Timothee Vaillant, Alexandre C. M. Correia

Abstract: The time step criterion plays a crucial role in direct N-body codes. If not chosen carefully, it will cause a secular drift in the energy error. Shared, adaptive time step criteria commonly adopt the minimum pairwise time step, which suffers from discontinuities in the time evolution of the time step. This has a large impact on the functioning of time step symmetrisation algorithms. We provide new… ▽ More The time step criterion plays a crucial role in direct N-body codes. If not chosen carefully, it will cause a secular drift in the energy error. Shared, adaptive time step criteria commonly adopt the minimum pairwise time step, which suffers from discontinuities in the time evolution of the time step. This has a large impact on the functioning of time step symmetrisation algorithms. We provide new demonstrations of previous findings that a smooth and weighted average over all pairwise time steps in the N-body system, improves the level of energy conservation. Furthermore, we compare the performance of 27 different time step criteria, by considering 3 methods for weighting time steps and 9 symmetrisation methods. We present performance tests for strongly chaotic few-body systems, including unstable triples, giant planets in a resonant chain, and the current Solar System. We find that the harmonic symmetrisation methods (methods A3 and B3 in our notation) are the most robust, in the sense that the symmetrised time step remains close to the time step function. Furthermore, based on our Solar System experiment, we find that our new weighting method based on direct pairwise averaging (method W2 in our notation), is slightly preferred over the other methods. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: Accepted by MNRAS. 13 pages, 6 figures