Search

The study of exoplanets at different evolutionary stages can shed light on their formation, migration, and evolution. The determination of exoplanet properties depends on the properties of their host stars. It is therefore important to characterise the host stars for accurate knowledge on their planets. Our final goal is to derive, in a homogeneous and accurate way, the stellar atmospheric parameters and elemental abundances of ten young TESS transiting planet-hosting GK stars followed up with the HARPS-N at TNG spectrograph within the GAPS programme. We derived stellar kinematic properties, atmospheric parameters, and abundances of 18 elements. Lithium line measurements were used as approximate age estimations. We exploited chemical abundances and their ratios to derive information on planetary composition. Elemental abundances and kinematic properties are consistent with the nearby Galactic thin disk. All targets show C/O<0.8 and 1.0

In Algebraic Vision, the projective reconstruction of the position of each camera and scene point from the knowledge of many enough corresponding points in the views is called the structure from motion problem. It is known that the reconstruction is ambiguous if the scene points are contained in particular algebraic varieties, called critical loci. To be more precise, from the definition of criticality, for the same reconstruction problem, two critical loci arise in a natural way. In the present paper, we investigate the relations between these two critical loci, and we prove that, under some mild smoothness hypotheses, (some of) their irreducible components are birational. To this end, we introduce a unified critical locus that restores the symmetry between the two critical loci, and a natural commutative diagram relating the unified critical locus and the two single critical loci. For technical reasons, but of interest in its own, we also consider how a critical locus change when one increases the number of views.

One of the ultimate goals of the ESA Ariel space mission is to shed light on the formation pathways and evolution of planetary systems in the Solar neighbourhood. Such an endeavour is only possible by performing a large chemical survey of not only the planets, but also their host stars, inasmuch as stellar elemental abundances are the cipher key to decode the planetary compositional signatures. This work aims at providing homogeneous abundances of C, N, and O of a sample of 181 stars belonging to the Tier 1 of the Ariel Mission Candidate Sample. We applied the spectral synthesis and the equivalent width methods to a variety of atomic and molecular indicators (C I lines at 5052 and 5380.3 A, [O I] forbidden line at 6300.3 A, C_2 bands at 5128 and 5165 A, and CN band at 4215 A) using high-resolution and high S/N spectra collected with several spectrographs. We provide carbon abundances for 180 stars, nitrogen abundances for 105 stars, and oxygen abundances for 89 stars. We analyse the results in the light of the Galactic chemical evolution, and in terms of the planetary companions properties. Our sample basically follows the typical trends with metallicity expected for the [C/Fe], [N/Fe], and [O/Fe] abundance ratios. The fraction between C and O abundances, both yields of primary production, is consistent with a constant ratio as [O/H] increases, whereas the abundance of N tends to increase with the increasing of the O abundance, supporting the theoretical assumption of a secondary production of nitrogen. The [C/N], [C/O], and [N/O] ratios are also correlated with [Fe/H], which might introduce biases in the interpretation of the planetary compositions and formation histories if host stars of different metallicity are compared. We provide relations that can be used to qualitatively estimate whether the atmospheric composition of planets is enriched or not with respect to the host stars., Comment: 20 pages, 15 figures, 2 tables, to be published in the Astronomy & Astrophysics journal

We aim to determine the fundamental properties of the $\sim$35 Myr old star TOI-837 and its close-in Saturn-sized planet, and to investigate the system's formation and evolutionary history. We analysed TESS photometry and HARPS spectroscopic data, measured stellar and planetary parameters, and characterised the stellar activity. We performed population synthesis simulations to track the formation history of TOI-837 $b$, and to reconstruct its possible internal structure. We investigated the planetary atmospheric evolution through photo-evaporation, and quantified the prospects for atmospheric characterisation with JWST. TOI-837 $b$ has radius and mass similar to those of Saturn ($r_b$=9.71$^{+0.93}_{-0.60}$ \rearth, $m_b$=116$^{+17}_{-18}$ M$_\odot$, and $\rho_b$=0.68$^{+0.20}_{-0.18}$ gcm$^{-3}$), on a primordial circular orbit. Population synthesis and early migration simulations suggest that the planet could have originated between 2-4 au, and have either a large and massive core, or a smaller Saturn-like core, depending on the opacity of the protoplanetary gas and on the growth rate of the core. We found that photo-evaporation produced negligible effects even at early ages (3-10 Myr). Transmission spectroscopy with JWST is very promising, and expected to provide constraints on atmospheric metallicity, abundance of H$_2$O, CO$_2$, CH$_4$ molecules, and to probe the presence of refractory elements. TOI-837 offers valuable prospects for follow-up observations, which are needed for a thorough characterisation. JWST will help to better constraining the formation and evolution history of the system, and understand whether TOI-837 $b$ is a Saturn-analogue., Comment: Accepted for publication on A&A on June 12 2024

Planetary systems in mean motion resonances hold a special place among the planetary population. They allow us to study planet formation in great detail as dissipative processes are thought to have played an important role in their existence. Additionally, planetary masses in bright resonant systems may be independently measured both by radial velocities (RVs) and transit timing variations (TTVs). In principle, they also allow us to quickly determine the inclination of all planets in the system, as for the system to be stable, they are likely all in coplanar orbits. To describe the full dynamical state of the system, we also need the stellar obliquity that provides the orbital alignment of a planet with respect to the spin of their host star and can be measured thanks to the Rossiter-McLaughlin effect. It was recently discovered that HD 110067 harbours a system of six sub-Neptunes in resonant chain orbits. We here analyze an ESPRESSO high-resolution spectroscopic time series of HD 110067 during the transit of planet c. We find the orbit of HD 110067 c to be well aligned with sky projected obliquity $\lambda =6^{+24}_{-26}$ deg. This result is indicative that the current architecture of the system has been reached through convergent migration without any major disruptive events. Finally, we report transit-timing variation in this system as we find a significant offset of 19 $\pm$ 4 minutes in the center of the transit compared to the published ephemeris., Comment: Accepted to A&A

Model-checking techniques have been extended to analyze quantum programs and communication protocols represented as quantum Markov chains, an extension of classical Markov chains. To specify qualitative temporal properties, a subspace-based quantum temporal logic is used, which is built on Birkhoff-von Neumann atomic propositions. These propositions determine whether a quantum state is within a subspace of the entire state space. In this paper, we propose the measurement-based linear-time temporal logic MLTL to check quantitative properties. MLTL builds upon classical linear-time temporal logic (LTL) but introduces quantum atomic propositions that reason about the probability distribution after measuring a quantum state. To facilitate verification, we extend the symbolic dynamics-based techniques for stochastic matrices described by Agrawal et al. (JACM 2015) to handle more general quantum linear operators (super-operators) through eigenvalue analysis. This extension enables the development of an efficient algorithm for approximately model checking a quantum Markov chain against an MLTL formula. To demonstrate the utility of our model-checking algorithm, we use it to simultaneously verify linear-time properties of both quantum and classical random walks. Through this verification, we confirm the previously established advantages discovered by Ambainis et al. (STOC 2001) of quantum walks over classical random walks and discover new phenomena unique to quantum walks.

Multi-planet systems exhibit remarkable architectural diversity. However, short-period giant planets are typically isolated. Compact systems like TOI-5398, with an outer close-orbit giant and an inner small-size planet, are rare among systems containing short-period giants. TOI-5398's unusual architecture coupled with its young age (650 $\pm$ 150 Myr) make it a promising system for measuring the original obliquity between the orbital axis of the giant and the stellar spin axis in order to gain insight into its formation and orbital migration. We collected in-transit (plus suitable off-transit) observations of TOI-5398 b with HARPS-N at TNG on March 25, 2023, obtaining high-precision radial velocity time series that allowed us to measure the Rossiter-McLaughlin (RM) effect. By modelling the RM effect, we obtained a sky-projected obliquity of $\lambda = 3.0^{+6.8}_{-4.2}$ deg for TOI-5398 b, consistent with the planet being aligned. With knowledge of the stellar rotation period, we estimated the true 3D obliquity, finding $\psi = (13.2\pm8.2)$ deg. Based on theoretical considerations, the orientation we measure is unaffected by tidal effects, offering a direct diagnostic for understanding the formation path of this planetary system. The orbital characteristics of TOI-5398, with its compact architecture, eccentricity consistent with circular orbits, and hints of orbital alignment, appear more compatible with the disc-driven migration scenario. TOI-5398, with its relative youth (compared with similar compact systems) and exceptional suitability for transmission spectroscopy studies, presents an outstanding opportunity to establish a benchmark for exploring the disc-driven migration model., Comment: Accepted for publication in Astronomy & Astrophysics on 30/03/2024. Electronic material (spectroscopic time series, table A1) will soon be available on the CDS or upon request to the first author. 10 pages, 9 figures, and 3 tables

The atmospheric characterisation of hot and warm Neptune-size exoplanets is challenging due to their small radius and atmospheric scale height. The warm-Neptune HAT-P-11b is a remarkable target for such characterisation due to the large brightness of its host star (V=9.46 mag; H=7.13 mag). The aims of this work are to review the main physical and architectural properties of the HAT-P-11 planetary system, and to probe the presence of 8 molecular species in the atmosphere of HAT-P-11b at high spectral resolution in the near-infrared. The planetary system was reviewed by analysing transits and occultations of HAT-P-11b from the Kepler data set as well as HIRES at Keck archival radial-velocity (RV) data. We modelled the latter with Gaussian-process regression and a combined quasi-periodic and squared-exponential kernel to account for stellar variations on both (short-term) rotation and (long-term) activity-cycle timescales. In order to probe the atmospheric composition of HAT-P-11b, we observed 4 transits of this target with GIANO-B at TNG. We find that the long-period ($P\sim9.3$ years) RV signal previously attributed to planet HAT-P-11c is more likely due to the stellar magnetic activity cycle. Nonetheless, the Hipparcos-Gaia difference in the proper-motion anomaly suggests that an outer-bound companion might still exist. For HAT-P-11b, we measure a radius $R_{\rm p}=0.4466\pm0.0059\,R_{\rm J}$, a mass $M_{\rm p}=0.0787\pm0.0048\,M_{\rm J}$, and an eccentricity $e=0.2577^{+0.0033}_{-0.0025}$, in accordance with values in the literature. Probing its atmosphere, we detect $NH_3$ (S/N$=5.3$, significance$=5.0\sigma$) and confirm the presence of $H_2O$ (S/N$=5.1$, significance$=3.4\sigma$). We also tentatively detect the signal of $CO_2$ (S/N$=3.0$, significance$=3.2\sigma$) and $CH_4$ (S/N$=4.8$, significance$=2.6\sigma$), whose presence need to be confirmed by further observations., Comment: 25 pages, 19 figures, accepted for publication in Astronomy & Astrophysics (A&A) journal. Version corrected by the language editor, title edited

The article presents a survey of results in algebraic vision and multiview geometry. The starting points is the study of projective algebraic varieties critical for scene reconstruction. Initially studied for reconstructing static scenes in three-dimensional spaces, these critical loci are later investigated for dynamic and segmented scenes in higher-dimensional projective spaces. The formal analysis of the ideals of critical loci employs Grassmann tensors, introduced as crucial tools for determining these ideals and aiding the reconstruction process away from critical loci. A long-term goal of the authors with other co-authors involves two main aspects: firstly studying properties of Grassmann tensors, as rank, multi-rank and core, along with the varieties that parameterize these tensors; concurrently conducting an analysis of families of critical loci in various scenarios.

This white paper outlines a long-term scientific vision for the development of digital-democracy technology. We contend that if digital democracy is to meet the ambition of enabling a participatory renewal in our societies, then a comprehensive multi-methods research effort is required that could, over the years, support its development in a democratically principled, empirically and computationally informed way. The paper is co-authored by an international and interdisciplinary team of researchers and arose from the Lorentz Center Workshop on ``Algorithmic Technology for Democracy'' (Leiden, October 2022).

Social media has become increasingly important in shaping public vaccination views, especially since the COVID-19 outbreak. This paper uses bow-tie structure to analyse a temporal dataset of directed online social networks that represent the information exchange among anti-vaccination, pro-vaccination, and neutral Facebook pages. Bow-tie structure decomposes a network into seven components, with two components "SCC" and "OUT" emphasised in this paper: SCC is the largest strongly connected component, acting as an "information magnifier", and OUT contains all nodes with a directed path from a node in SCC, acting as an "information creator". We consistently observe statistically significant bow-tie structures with different dominant components for each vaccination group over time. In particular, the anti-vaccination group has a large OUT, and the pro-vaccination group has a large SCC. We further investigate changes in opinions over time, as measured by fan count variations, using agent-based simulations and machine learning models. Across both methods, accounting for bow-tie decomposition better reflects information flow differences among vaccination groups and improves our opinion dynamics prediction results. The modelling frameworks we consider can be applied to any multi-stance temporal network and could form a basis for exploring opinion dynamics using bow-tie structure in a wide range of applications., Comment: SM update

Unconventional superconductivity often couples to other electronic orders in a cooperative or competing fashion. Identifying external stimuli that tune between these two limits is of fundamental interest. Here, we show that strain perpendicular to the copper-oxide planes couples directly to the competing interaction between charge stripe order and superconductivity in La$_{1.88}$Sr$_{0.12}$CuO$_4$ (LSCO). Compressive $c$-axis pressure amplifies stripe order within the superconducting state, while having no impact on the normal state. By contrast, strain dramatically diminishes the magnetic field enhancement of stripe order in the superconducting state. These results suggest that $c$-axis strain acts as tuning parameter of the competing interaction between charge stripe order and superconductivity. This interpretation implies a uniaxial pressure-induced ground state in which the competition between charge order and superconductivity is reduced.

Closed formulas for the multilinear rank of trifocal Grassmann tensors are obtained. An alternative process to the standard HOSVD is introduced for the computation of the core of trifocal Grassmann tensors. Both of these results are obtained, under natural genericity conditions, leveraging the canonical form for these tensors, obtained by the same authors in a previous work. A gallery of explicit examples is also included.

Context. Different theories have been developed to explain the origins and properties of close-in giant planets, but none of them alone can explain all of the properties of the warm Jupiters (WJs, Porb = 10 - 200 days). One of the most intriguing characteristics of WJs is that they have a wide range of orbital eccentricities, challenging our understanding of their formation and evolution. Aims. The investigation of these systems is crucial in order to put constraints on formation and evolution theories. TESS is providing a significant sample of transiting WJs around stars bright enough to allow spectroscopic follow-up studies. Methods. We carried out a radial velocity (RV) follow-up study of the TESS candidate TOI-4515 b with the high-resolution spectrograph HARPS-N in the context of the GAPS project, the aim of which is to characterize young giant planets, and the TRES and FEROS spectrographs. We then performed a joint analysis of the HARPS-N, TRES, FEROS, and TESS data in order to fully characterize this planetary system. Results. We find that TOI-4515 b orbits a 1.2 Gyr-old G-star, has an orbital period of Pb = 15.266446 +- 0.000013 days, a mass of Mb = 2.01 +- 0.05 MJ, and a radius of Rb = 1.09 +- 0.04 RJ. We also find an eccentricity of e = 0.46 +- 0.01, placing this planet among the WJs with highly eccentric orbits. As no additional companion has been detected, this high eccentricity might be the consequence of past violent scattering events., Comment: 20 pages, 16 figures

Short-period giant planets are frequently found to be solitary compared to other classes of exoplanets. Small inner companions to giant planets with $P \lesssim$ 15 days are known only in five compact systems: WASP-47, Kepler-730, WASP-132, TOI-1130, and TOI-2000. Here, we report the confirmation of TOI-5398, the youngest compact multi-planet system composed of a hot sub-Neptune (TOI-5398 c, $P_{\rm c}$ = 4.77271 days) orbiting interior to a short-period Saturn (TOI-5398 b, $P_{\rm b}$ = 10.590547 days) planet, both transiting around a 650 $\pm$ 150 Myr G-type star. As part of the GAPS Young Object project, we confirmed and characterised this compact system, measuring the radius and mass of both planets, thus constraining their bulk composition. Using multidimensional Gaussian processes, we simultaneously modelled stellar activity and planetary signals from TESS Sector 48 light curve and our HARPS-N radial velocity time series. We have confirmed the planetary nature of both planets, TOI-5398 b and TOI-5398 c, alongside a precise estimation of stellar parameters. Through the use of astrometric, photometric, and spectroscopic observations, our findings indicate that TOI-5398 is a young, active G dwarf star (650 $\pm$ 150 Myr), with a rotational period of $P_{\rm rot}$ = 7.34 days. The transit photometry and radial velocity measurements enabled us to measure both the radius and mass of planets b, $R_b = 10.30\pm0.40 R_{\oplus}$, $M_b = 58.7\pm5.7 M_{\oplus}$, and c, $R_c = 3.52 \pm 0.19 R_{\oplus}$, $M_c = 11.8\pm4.8 M_{\oplus}$. TESS observed TOI-5398 during sector 48 and no further observations are planned in the current Extended Mission, making our ground-based light curves crucial for ephemeris improvement. With a Transmission Spectroscopy Metric value of around 300, TOI-5398 b is the most amenable warm giant (10 < $P$ < 100 days) for JWST atmospheric characterisation., Comment: 29 pages, Paper accepted for publication in Astronomy & Astrophysics

V1298 Tau hosts at least four planets. Since its discovery, this system has been a target of intensive photometric and spectroscopic monitoring. The characterisation of its architecture and planets' fundamental properties turned out to be very challenging so far. The determination of the orbital ephemeris of the outermost planet V1298 Tau $e$ remains an open question. Only two transits have been detected so far by $Kepler/K2$ and TESS, allowing for a grid of reference periods to be tested with new observations, without excluding the possibility of transit timing variations. Observing a third transit would allow to better constrain the orbital period, and would also help determining an accurate radius of V1298 Tau $e$ because the former transits showed different depths. We observed V1298 Tau with the CHEOPS space telescope to search for a third transit of planet $e$ within observing windows that have been selected in order to test three of the shortest predicted orbital periods. We also collected ground-based observations to verify the result found with CHEOPS. We reanalysed $Kepler/K2$ and TESS light curves to test how the results derived from these data are affected by alternative photometric extraction and detrending methods. We report the detection with CHEOPS of a transit that could be attributed to V1298 Tau $e$. If so, that result implies that the orbital period calculated from fitting a linear ephemeris to the three available transits is close to $\sim45$ days. Results from the ground-based follow-up marginally support this possibility. We found that $\textit{i}$) the transit observed by CHEOPS has a longer duration compared to that of the transits observed by $Kepler/K2$ and TESS; $\textit{ii}$) the transit observed by TESS is $>30\%$ deeper than that of $Kepler/K2$ and CHEOPS, and deeper than the measurement previously reported in the literature, according to our reanalysis., Comment: Accepted for publication on A&A. The abstract has been edited to fulfill the arXiv requirements

In safe opponent exploitation players hope to exploit their opponents' potentially sub-optimal strategies while guaranteeing at least the value of the game in expectation for themselves. Safe opponent exploitation algorithms have been successfully applied to small instances of two-player zero-sum imperfect information games, where Nash equilibrium strategies are typically known in advance. Current methods available to compute these strategies are however not scalable to desirable large domains of imperfect information such as No-Limit Texas Hold 'em (NLHE) poker, where successful agents rely on game abstractions in order to compute an equilibrium strategy approximation. This paper will extend the concept of safe opponent exploitation by introducing prime-safe opponent exploitation, in which we redefine the value of the game of a player to be the worst-case payoff their strategy could be susceptible to. This allows weaker epsilon equilibrium strategies to benefit from utilising a form of opponent exploitation with our revised value of the game, still allowing for a practical game-theoretical guaranteed lower-bound. We demonstrate the empirical advantages of our generalisation when applied to the main safe opponent exploitation algorithms.

Theoretical physical-chemical models for the formation of planetary systems depend on data quality for the Sun's composition, that of stars in the solar neighbourhood, and of the estimated "pristine" compositions for stellar systems. The effective scatter and the observational uncertainties of elements within a few hundred parsecs from the Sun, even for the most abundant metals like carbon, oxygen and silicon, are still controversial. Here we analyse the stellar production and the chemical evolution of key elements that underpin the formation of rocky (C, O, Mg, Si) and gas/ice giant planets (C, N, O, S). We calculate 198 galactic chemical evolution (GCE) models of the solar neighbourhood to analyse the impact of different sets of stellar yields, of the upper mass limit for massive stars contributing to GCE ($M_{\rm up}$) and of supernovae from massive-star progenitors which do not eject the bulk of the iron-peak elements (faint supernovae). Even considering the GCE variation produced via different sets of stellar yields, the observed dispersion of elements reported for stars in the Milky Way disk is not reproduced. Among others, the observed range of super-solar [Mg/Si] ratios, sub-solar [S/N], and the dispersion of up to 0.5 dex for [S/Si] challenge our models. The impact of varying $M_{\rm up}$ depends on the adopted supernova yields. Thus, observations do not provide a constraint on the M$_{\rm up}$ parametrization. When including the impact of faint supernova models in GCE calculations, elemental ratios vary by up to 0.1-0.2 dex in the Milky Way disk; this modification better reproduces observations., Comment: 36 pages, 26 figures, 1 Table, 1 Appendix, Accepted for publication in MNRAS

Observational data from space and ground-based campaigns reveal that the 10-30 Ma old V1298 Tau star hosts a compact and massive system of four planets. Mass estimates for the two outer giant planets point to unexpectedly high densities for their young ages. We investigate the formation of these two outermost giant planets, V1298 Tau b and e, and the present dynamical state of V1298 Tau's global architecture to shed light on the history of this young and peculiar extrasolar system. We perform detailed N-body simulations to explore the link between the densities of V1298 Tau b and e and their migration and accretion of planetesimals within the native circumstellar disk. We combine N-body simulations and the normalized angular momentum deficit (NAMD) analysis to characterize V1298 Tau's dynamical state and connect it to the formation history of the system. We search for outer planetary companions to constrain V1298 Tau's architecture and the extension of its primordial circumstellar disk. The high densities of V1298 Tau b and e suggest they formed quite distant from their host star, likely beyond the CO$_2$ snowline. The higher nominal density of V1298 Tau e suggests it formed farther out than V1298 Tau b. The current architecture of V1298 Tau is not characterized by resonant chains. Planet-planet scattering with an outer giant planet is the most likely cause for the instability, but our search for outer companions using SPHERE and GAIA observations excludes only the presence of planets more massive than 2 M$_\textrm{J}$. The most plausible scenario for V1298 Tau's formation is that the system is formed by convergent migration and resonant trapping of planets born in a compact and plausibly massive disk. The migration of V1298 Tau b and e leaves in its wake a dynamically excited protoplanetary disk and creates the conditions for the resonant chain breaking by planet-planet scattering., Comment: 19 pages, 11 figures, 5 tables. Accepted for publication on Astronomy and Astrophysics

Bose-Einstein condensation (BEC) underpins exotic forms of order ranging from superconductivity to superfluid 4 He. In quantum magnetic materials, ordered phases induced by an applied magnetic field can be described as the BEC of magnon excitations. With sufficiently strong magnetic frustration, exemplified by the system SrCu$_2$(BO$_3$)$_2$ , no clear magnon BEC is observed and the complex spectrum of multi-magnon bound states may allow a different type of condensation, but the high fields required to probe this physics have remained a barrier to detailed investigation. Here we exploit the first purpose-built high-field neutron scattering facility to measure the spin excitations of SrCu$_2$(BO$_3$)$_2$ up to 25.9 T and use cylinder matrix-product-states (MPS) calculations to reproduce the experimental spectra with high accuracy. Multiple unconventional features point to a condensation of $S = 2$ bound states into a spin-nematic phase, including the gradients of the one-magnon branches, the presence of many novel composite two- and three-triplon excitations and the persistence of a one-magnon spin gap. This gap reflects a direct analogy with superconductivity, suggesting that the spin-nematic phase in SrCu$_2$(BO$_3$)$_2$ is best understood as a condensate of bosonic Cooper pairs. Our results underline the wealth of unconventional states yet to be found in frustrated quantum magnetic materials under extreme conditions.

Structural causal models provide a formalism to express causal relations between variables of interest. Models and variables can represent a system at different levels of abstraction, whereby relations may be coarsened and refined according to the need of a modeller. However, switching between different levels of abstraction requires evaluating a trade-off between the consistency and the information loss among different models. In this paper we introduce a family of interventional measures that an agent may use to evaluate such a trade-off. We consider four measures suited for different tasks, analyze their properties, and propose algorithms to evaluate and learn causal abstractions. Finally, we illustrate the flexibility of our setup by empirically showing how different measures and algorithmic choices may lead to different abstractions., Comment: 9 pages, 9 pages appendix, 2 figures, IJCAI 2023

Most living organisms show highly conserved physiological changes following a 24-hour cycle which goes by the name of circadian rhythm. Among experimental models, the effects of light-dark cycle have been recently investigated in the larval zebrafish. Owing to its small size and transparency, this vertebrate enables optical access to the entire brain. Indeed, the combination of this organism with light-sheet imaging grants high spatio-temporal resolution volumetric recording of neuronal activity. This imaging technique, in its multiphoton variant, allows functional investigations without unwanted visual stimulation. Here, we employed a custom two-photon light-sheet microscope to study brain-wide differences in neuronal activity between diurnal and nocturnal periods in larval zebrafish assessed at the transition between day and night. We describe for the first time an activity increase in the low frequency domain of the pretectum and a frequency-localized activity decrease of the anterior rhombencephalic turning region during the nocturnal period. Moreover, our data confirm a nocturnal reduction in habenular activity. Furthermore, brain-wide detrended fluctuation analysis revealed a nocturnal decrease in the self-affinity of the neuronal signals in parts of the dorsal thalamus and the medulla oblongata and an increase in the pretectum. Our data show that brain-wide nonlinear light-sheet imaging represents a useful tool to investigate circadian rhythm effects on neuronal activity., Comment: 22 pages, 8 figures

The evolution of binaries that become double white dwarf (DWD) can cause the ejection of high amounts of dust and gas. Such material can give rise to circumbinary discs and become the cradle of new planets, yet no studies so far have focused on the formation of circumbinary planets around DWDs. These binaries will be the main sources of gravitational waves (GWs) detectable by the ESA Laser Interferometer Space Antenna (LISA) mission, opening the possibility to detect circumbinary planets around short-period DWDs everywhere in the Milky Way. We investigate the formation of Magrathea planets by simulating multiple planet formation tracks to explore how seeds growing first by pebble accretion, and then by gas accretion, are affected by the disc environments surrounding DWDs. We present both planetary formation tracks taking place in steady-state discs, and formation tracks taking place in discs evolving with time. The time-dependent tracks account for both the disc accretion rate onto the central binary and the disc photoevaporation rate caused by stellar irradiation. Our results show that planetary formation in circumbinary discs around DWDs can be possible. In particular, the extreme planetary formation environment implies three main significant results: (i) the accretion rate and the metallicity of the disc should be high in order to form sub-stellar objects with masses up to 31 M$_J$, this is achieved only if planet formation starts soon after the onset of the disc and if first generation seeds are present in the disc; (ii) seeds formed within 0.1 Myr, or within 1 Myr, from the onset of the disc can only produce sub-Neptune and Neptunian planets, unless the disc accommodates first generation seeds with mass 10 M$_{\oplus}$; (iii) most of the planets are finally located within 1 au from the disc centre, while they are still undergoing the gas accretion phase., Comment: Accepted for publication in A&A on 05/04/2023, abstract shortened, 28 pages, 11 figures, 14 tables

In this paper, we propose an approximating framework for analyzing parametric Markov models. Instead of computing complex rational functions encoding the reachability probability and the reward values of the parametric model, we exploit the scenario approach to synthesize a relatively simple polynomial approximation. The approximation is probably approximately correct (PAC), meaning that with high confidence, the approximating function is close to the actual function with an allowable error. With the PAC approximations, one can check properties of the parametric Markov models. We show that the scenario approach can also be used to check PRCTL properties directly, without synthesizing the polynomial at first hand. We have implemented our algorithm in a prototype tool and conducted thorough experiments. The experimental results demonstrate that our tool is able to compute polynomials for more benchmarks than state of the art tools such as PRISM and Storm, confirming the efficacy of our PAC-based synthesis., Comment: 24 pages, 8 figures; updated to add acknowledgements and data availability

Case split is a core proof rule in current decision procedures for the theory of string constraints. Its use is the primary cause of the state space explosion in string constraint solving, since it is the only rule that creates branches in the proof tree. Moreover, explicit handling of the case split rule may cause recomputation of the same tasks in multiple branches of the proof tree. In this paper, we propose a symbolic algorithm that significantly reduces such a redundancy. In particular, we encode a string constraint as a regular language and proof rules as rational transducers. This allows us to perform similar steps in the proof tree only once, alleviating the state space explosion. We also extend the encoding to handle arbitrary Boolean combinations of string constraints, length constraints, and regular constraints. In our experimental results, we validate that our technique works in many practical cases where other state-of-the-art solvers fail to provide an answer; our Python prototype implementation solved over 50 % of string constraints that could not be solved by the other tools., Comment: An extended version of a paper from APLAS'20, accepted to Journal of Systems and Software

The great diversity of the thousands of planets known to date is proof of the multitude of ways in which formation and evolution processes can shape the life of planetary systems. Multiple formation and evolution paths, however, can result in the same planetary architecture. Because of this, unveiling the individual histories of planetary systems and their planets can prove a challenging task. The chemical composition of planets provides us with a guiding light for navigate this challenge, but to understand the information it carries we need to properly link it to the chemical composition and characteristics of the environments in which the planets formed. To achieve this goal it is necessary to combine the information and perspectives provided by a growing number of different fields of study, spanning the whole lifecycle of stars and their planetary systems. The aim of this chapter is to provide the unifying perspective needed to understand and connect such diverse information, and illustrate the process through which we can decode the message contained into the composition of planetary bodies., Comment: 45 pages, 7 figures, 4 tables; accepted as a chapter in the book "Planetary systems now", eds. Luisa M. Lara and David Jewitt, World Scientific Publishing Co Pte Ltd

The atmospheric C/O ratio of exoplanets is widely used to constrain their formation. To guarantee that the C/O ratio provides robust information, we need to accurately quantify the amount of C and O in exoplanetary atmospheres. In the case of O, water and carbon monoxide are generally studied as the two key carriers. However, oxygen is a very reactive element and does not bind with carbon; depending on the temperature, it also binds to refractory elements. Estimating the amount of oxygen bound to refractory elements is therefore critical for unbiased estimates of the C/O ratio. In this work, we investigate the oxygen deficit due to refractory elements and its effects on the atmospheric C/O ratio of giant exoplanets as a function of their metallicity and equilibrium temperature. We model the composition of planetary atmospheres assuming chemical equilibrium and using as input physically justified elemental mixtures arising from detailed planet formation simulations. Our results show how the interplay between the atmospheric temperature and non-solar abundances of oxygen and refractory elements can sequester large fractions of oxygen, introducing significant biases in evaluating the C/O ratio when this effect is not accounted for. We apply our results to the case of Jupiter in the Solar System and show how the currently estimated water abundance points to a true oxygen abundance that is four times the solar one., Comment: 13 pages, 10 figures, accepted for publication on the journal MNRAS

Complementation of nondeterministic B\"uchi automata (BAs) is an important problem in automata theory with numerous applications in formal verification, such as termination analysis of programs, model checking, or in decision procedures of some logics. We build on ideas from a recent work on BA determinization by Li et al. and propose a new modular algorithm for BA complementation. Our algorithm allows to combine several BA complementation procedures together, with one procedure for a subset of the BA's strongly connected components (SCCs). In this way, one can exploit the structure of particular SCCs (such as when they are inherently weak or deterministic) and use more efficient specialized algorithms, regardless of the structure of the whole BA. We give a general framework into which partial complementation procedures can be plugged in, and its instantiation with several algorithms. The framework can, in general, produce a complement with an Emerson-Lei acceptance condition, which can often be more compact. Using the algorithm, we were able to establish an exponentially better new upper bound of $O(4n)$ for complementation of the recently introduced class of elevator automata. We implemented the algorithm in a prototype and performed a comprehensive set of experiments on a large set of benchmarks, showing that our framework complements well the state of the art and that it can serve as a basis for future efficient BA complementation and inclusion checking algorithms., Comment: To appear in Proc. of TACAS'23