Showing 1–50 of 236 results for author: Marti, J

Monotone Rewritability and the Analysis of Queries, Views, and Rules

Authors: Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja

Abstract: We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views w.r.t. rules, which refers to the ability to recover the query answer from the views via a monotone function. We study the decidability of monotonic determinacy, and compare with variations that require the ``recovery f… ▽ More We study the interaction of views, queries, and background knowledge in the form of existential rules. The motivating questions concern monotonic determinacy of a query using views w.r.t. rules, which refers to the ability to recover the query answer from the views via a monotone function. We study the decidability of monotonic determinacy, and compare with variations that require the ``recovery function'' to be in a well-known monotone query language, such as conjunctive queries or Datalog. Surprisingly, we find that even in the presence of basic existential rules, the borderline between well-behaved and badly-behaved answerability differs radically from the unconstrained case. In order to understand this boundary, we require new results concerning entailment problems involving views and rules. △ Less

Submitted 20 July, 2024; originally announced July 2024.

A detailed study of the very-high-energy Crab pulsar emission with the LST-1

Authors: CTA-LST Project, :, K. Abe, S. Abe, A. Abhishek, F. Acero, A. Aguasca-Cabot, I. Agudo, N. Alvarez Crespo, L. A. Antonelli, C. Aramo, A. Arbet-Engels, C. Arcaro, M. Artero, K. Asano, P. Aubert, A. Baktash, A. Bamba, A. Baquero Larriva, L. Baroncelli, U. Barres de Almeida, J. A. Barrio, I. Batkovic, J. Baxter, J. Becerra González , et al. (272 additional authors not shown)

Abstract: Context: There are currently three pulsars firmly detected by imaging atmospheric Cherenkov telescopes (IACTs), two of them reaching TeV energies, challenging models of very-high-energy (VHE) emission in pulsars. More precise observations are needed to better characterize pulsar emission at these energies. The LST-1 is the prototype of the Large-Sized Telescope, that will be part of the Cherenkov… ▽ More Context: There are currently three pulsars firmly detected by imaging atmospheric Cherenkov telescopes (IACTs), two of them reaching TeV energies, challenging models of very-high-energy (VHE) emission in pulsars. More precise observations are needed to better characterize pulsar emission at these energies. The LST-1 is the prototype of the Large-Sized Telescope, that will be part of the Cherenkov Telescope Array Observatory (CTAO). Its improved performance over previous IACTs makes it well suited for studying pulsars. Aims: To study the Crab pulsar emission with the LST-1, improving and complementing the results from other telescopes. These observations can also be used to characterize the potential of the LST-1 to study other pulsars and detect new ones. Methods: We analyzed a total of $\sim$103 hours of gamma-ray observations of the Crab pulsar conducted with the LST-1 in the period from September 2020 to January 2023. The observations were carried out at zenith angles less than 50 degrees. A new analysis of the Fermi-LAT data was also performed, including $\sim$14 years of observations. Results: The Crab pulsar phaseogram, long-term light-curve, and phase-resolved spectra are reconstructed with the LST-1 from 20 GeV to 450 GeV for P1 and up to 700 GeV for P2. The pulsed emission is detected with a significance of 15.2$σ$. The two characteristic emission peaks of the Crab pulsar are clearly detected (>10$σ$), as well as the so-called bridge emission (5.7$σ$). We find that both peaks are well described by power laws, with spectral indices of $\sim$3.44 and $\sim$3.03 respectively. The joint analysis of Fermi-LAT and LST-1 data shows a good agreement between both instruments in the overlapping energy range. The detailed results obtained in the first observations of the Crab pulsar with LST-1 show the potential that CTAO will have to study this type of sources. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: Accepted by A&A

Size of the accretion disc in the recurrent nova T CrB

Authors: R. K. Zamanov, K. A. Stoyanov, V. Marchev, M. Minev, D. Marchev, M. Moyseev, J. Marti, M. F. Bode, R. Konstantinova-Antova, S. Stefanov

Abstract: We present high resolution (0.06 A/px) spectroscopic observations of the recurrent nova T Coronae Borealis obtained during the last 1.5 years (September 2022 -- January 2024), with the 2.0m RCC telecope of the Rozhen National Astronomical Observatory, Bulgaria. Double-peaked emission is visible in the H-alpha line after the end of the superactive state. We subtract the red giant contribution and m… ▽ More We present high resolution (0.06 A/px) spectroscopic observations of the recurrent nova T Coronae Borealis obtained during the last 1.5 years (September 2022 -- January 2024), with the 2.0m RCC telecope of the Rozhen National Astronomical Observatory, Bulgaria. Double-peaked emission is visible in the H-alpha line after the end of the superactive state. We subtract the red giant contribution and measure the distance between the peaks ($Δv_a$) of the line. For the period July 2023 -- January 2024, we find that $Δv_a$ is in range $90 < Δv_a < 120$ km/s. Assuming that the emission is from the accretion disc around the white dwarf, we find average radius of the accretion disc $R_{disc} = 89 \pm 19$ R$_\odot$, which is approximately equal to the Roche lobe size of the white dwarf. Our results indicate that tidal torque plays an important role but that the disc can extend up to the Roche lobe of the accreting star. △ Less

Submitted 19 May, 2024; originally announced May 2024.

Comments: Astronomische Nachrichten (accepted)

Mean field initialization of the Annealed Importance Sampling algorithm for an efficient evaluation of the Partition Function of Restricted Boltzmann Machines

Authors: A. Prat Pou, E. Romero, J. Martí, F. Mazzanti

Abstract: Probabilistic models in physics often require from the evaluation of normalized Boltzmann factors, which in turn implies the computation of the partition function Z. Getting the exact value of Z, though, becomes a forbiddingly expensive task as the system size increases. This problem is also present in probabilistic learning models such as the Restricted Boltzmann Machine (RBM), where the situatio… ▽ More Probabilistic models in physics often require from the evaluation of normalized Boltzmann factors, which in turn implies the computation of the partition function Z. Getting the exact value of Z, though, becomes a forbiddingly expensive task as the system size increases. This problem is also present in probabilistic learning models such as the Restricted Boltzmann Machine (RBM), where the situation is even worse as the exact learning rules implies the computation of Z at each iteration. A possible way to tackle this problem is to use the Annealed Importance Sampling (AIS) algorithm, which provides a tool to stochastically estimate the partition function of the system. So far, the standard application of the AIS algorithm starts from the uniform probability distribution and uses a large number of Monte Carlo steps to obtain reliable estimations of Z following an annealing process. In this work we show that both the quality of the estimation and the cost of the computation can be significantly improved by using a properly selected mean-field starting probability distribution. We perform a systematic analysis of AIS in both small- and large-sized problems, and compare the results to exact values in problems where these are known. As a result of our systematic analysis, we propose two successful strategies that work well in all the problems analyzed. We conclude that these are good starting points to estimate the partition function with AIS with a relatively low computational cost. △ Less

Submitted 17 April, 2024; originally announced April 2024.

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

Simultaneous NICER and NuSTAR observations of the Ultraluminous source NGC 4190 ULX-1

Authors: Jorge A. Combi, Federico A. Fogantini, Enzo A. Saavedra, Gustavo E. Romero, Leandro Abaroa, Federico García, Pedro Luque-Escamilla, Josep Martí, Nelson Cruz-Sanchez

Abstract: We present an X-ray analysis of three different XMM-Newton observations together with simultaneous NICER and NuSTAR observations of the ultraluminous X-ray source NGC 4190 ULX-1. Our goal is to constrain the structure of the accretion disk and the geometrical properties of the source. We performed a temporal and spectral analyses in the 0.4--30 keV energy range where the source is significantly de… ▽ More We present an X-ray analysis of three different XMM-Newton observations together with simultaneous NICER and NuSTAR observations of the ultraluminous X-ray source NGC 4190 ULX-1. Our goal is to constrain the structure of the accretion disk and the geometrical properties of the source. We performed a temporal and spectral analyses in the 0.4--30 keV energy range where the source is significantly detected in dedicated XMM-Newton, NICER and NuSTAR observations. The temporal analysis shows no flaring activity in the light curves. No pulsation is detected throughout. The source exhibits a typical ULX spectrum, which can be fitted with two thermal blackbody components plus a Comptonization tail at high energies. The luminosity-temperature relation of each thermal spectral component is consistent with the $L \propto T^{2}$ relation expected from an advection-dominated supercritical disk. We interpret these results as a super-Eddington accreting black hole seen almost face-on. A dense wind ejected from the disk obscures the central source, and a hot electron plasma is evacuated through the funnel formed above the hole. Geometric beaming is responsible for the ULX soft emission, whereas the hard tail is the result of Comptonization of soft photons by the electrons ejected through the funnel. △ Less

Submitted 13 April, 2024; v1 submitted 18 March, 2024; originally announced March 2024.

Comments: Accepted for publication in Astronomy & Astrophysics

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

Dark Matter Line Searches with the Cherenkov Telescope Array

Authors: S. Abe, J. Abhir, A. Abhishek, F. Acero, A. Acharyya, R. Adam, A. Aguasca-Cabot, I. Agudo, A. Aguirre-Santaella, J. Alfaro, R. Alfaro, N. Alvarez-Crespo, R. Alves Batista, J. -P. Amans, E. Amato, G. Ambrosi, L. Angel, C. Aramo, C. Arcaro, T. T. H. Arnesen, L. Arrabito, K. Asano, Y. Ascasibar, J. Aschersleben, H. Ashkar , et al. (540 additional authors not shown)

Abstract: Monochromatic gamma-ray signals constitute a potential smoking gun signature for annihilating or decaying dark matter particles that could relatively easily be distinguished from astrophysical or instrumental backgrounds. We provide an updated assessment of the sensitivity of the Cherenkov Telescope Array (CTA) to such signals, based on observations of the Galactic centre region as well as of sele… ▽ More Monochromatic gamma-ray signals constitute a potential smoking gun signature for annihilating or decaying dark matter particles that could relatively easily be distinguished from astrophysical or instrumental backgrounds. We provide an updated assessment of the sensitivity of the Cherenkov Telescope Array (CTA) to such signals, based on observations of the Galactic centre region as well as of selected dwarf spheroidal galaxies. We find that current limits and detection prospects for dark matter masses above 300 GeV will be significantly improved, by up to an order of magnitude in the multi-TeV range. This demonstrates that CTA will set a new standard for gamma-ray astronomy also in this respect, as the world's largest and most sensitive high-energy gamma-ray observatory, in particular due to its exquisite energy resolution at TeV energies and the adopted observational strategy focussing on regions with large dark matter densities. Throughout our analysis, we use up-to-date instrument response functions, and we thoroughly model the effect of instrumental systematic uncertainties in our statistical treatment. We further present results for other potential signatures with sharp spectral features, e.g.~box-shaped spectra, that would likewise very clearly point to a particle dark matter origin. △ Less

Submitted 23 July, 2024; v1 submitted 7 March, 2024; originally announced March 2024.

Comments: 44 pages JCAP style (excluding author list and references), 19 figures; minor changes to match published version

Journal ref: JCAP 07 (2024) 047

Luminosity class of the symbiotic stars 4U1954+319 and ZZ CMi

Authors: R. Zamanov, K. A. Stoyanov, G. Latev, J. Marti, A. Takey, E. G. Elhosseiny, M. D. Christova, M. Minev, V. Vujcic, M. Moyseev, V. Marchev

Abstract: We performed optical photometry and spectral observations of the symbiotic stars 4U1954+319 and ZZ CMi. For 4U1954+319 using high-resolution spectra we measure the equivalent widths of diffuse interstellar bands and estimate the interstellar reddening E(B-V)=0.83 +/- 0.09. Using GAIA distances and our photometry, we find (1) absolute V band magnitude of 4U1954+319 M_V=-5.23 +/- 0.08 and that the m… ▽ More We performed optical photometry and spectral observations of the symbiotic stars 4U1954+319 and ZZ CMi. For 4U1954+319 using high-resolution spectra we measure the equivalent widths of diffuse interstellar bands and estimate the interstellar reddening E(B-V)=0.83 +/- 0.09. Using GAIA distances and our photometry, we find (1) absolute V band magnitude of 4U1954+319 M_V=-5.23 +/- 0.08 and that the mass donor is a supergiant of luminosity class Ib, and (2) for ZZ CMi M_V=-0.27 +/- 0.2 and that the mass donor is a giant of luminosity class III. △ Less

Submitted 22 February, 2024; originally announced February 2024.

Comments: submitted to Serbian Astronomical Journal

Subsidence and current strain patterns on Tenerife Island (Canary Archipelago, Spain) derived from continuous GNSS time series (2008-2015)

Authors: A. Sánchez-Alzola, J. Martí, A. García-Yeguas, A. J. Gil

Abstract: In this paper we present the current crustal deformation model of Tenerife Island derived from daily CGPS time series processing (2008 to 2015). Our results include the position time series, a global velocity estimation and the current crustal deformation on the island in terms of strain tensors. We detect a measurable subsidence of 1.5 to 2 mm/yr. in the proximities of the Cañadas-Teide-Pico Viej… ▽ More In this paper we present the current crustal deformation model of Tenerife Island derived from daily CGPS time series processing (2008 to 2015). Our results include the position time series, a global velocity estimation and the current crustal deformation on the island in terms of strain tensors. We detect a measurable subsidence of 1.5 to 2 mm/yr. in the proximities of the Cañadas-Teide-Pico Viejo (CTPV) complex. These values are higher in the central part of the complex and could be explained by a lateral spreading of the elastic lithosphere combined with the effect of the drastic descent of the water table in the island experienced during recent decades. The results show that the Anaga massif is stable in both its horizontal and vertical components. The strain tensor analysis shows a 70 nstrain/yr. E-W compression in the central complex, perpendicular to the 2004 sismo-volcanic area, and 50 nstrain/yr. SW-NE extension towards the Northeast ridge. The residual velocity and strain patterns coincide with a decline in volcanic activity since the 2004 unrest. △ Less

Submitted 4 February, 2024; originally announced February 2024.

Journal ref: Journal of Volcanology and Geothermal Research 327 (2016) 240 - 248

Magnetic and thermal acceleration in extragalactic jets: An application to NGC 315

Authors: L. Ricci, M. Perucho, J. López-Miralles, J. M. Martí, B. Boccardi

Abstract: Aims. Relativistic jets launched from active galactic nuclei accelerate up to highly relativistic velocities within a few parsecs to tens of parsecs. The precise way in which this process takes place is still under study. While magnetic acceleration is known to be able to accelerate relativistic outflows, little attention has been paid to the role of thermal acceleration. The latter has been assum… ▽ More Aims. Relativistic jets launched from active galactic nuclei accelerate up to highly relativistic velocities within a few parsecs to tens of parsecs. The precise way in which this process takes place is still under study. While magnetic acceleration is known to be able to accelerate relativistic outflows, little attention has been paid to the role of thermal acceleration. The latter has been assumed to act only on compact regions, very close to the central engine, and to become negligible on parsec scales. However, this holds under the assumption of small internal energies as compared to the magnetic ones, and whether this is true or what happens when we drop this assumption is currently uncertain. Methods. We use a 2D relativistic magnetohydrodynamical code to explore jet acceleration from sub-parsec to parsec scales. As initial conditions for our models, we use observational constraints on jet properties derived by means of very long baseline interferometry observations for a Fanaroff Riley I radio galaxy, NGC\,315. We investigate the parameter space established for this source and perform a number of simulations of magnetically, thermally or kinetically dominated jets at injection, and compare our results with the observed ones. Results. Our simulated jets show that when thermal energy is comparable to or exceeds magnetic energy, thermal acceleration becomes significant at parsec scales. This result has important consequences, potentially extending the acceleration region far beyond the collimation scales, as thermal acceleration can effectively operate within a conically expanding jet. In all the models, we observe acceleration to be driven by expansion, as expected. A number of our models allow us to reproduce the acceleration and opening angles observed in NGC\,315. Finally, our results indicate that disk-launched winds might play an important role in the jet propagation. △ Less

Submitted 11 December, 2023; originally announced December 2023.

Comments: 25 pages, 16 figures. Accepted for publication in A&A

Filamentary structures as the origin of blazar jet radio variability

Authors: Antonio Fuentes, José L. Gómez, José M. Martí, Manel Perucho, Guang-Yao Zhao, Rocco Lico, Andrei P. Lobanov, Gabriele Bruni, Yuri Y. Kovalev, Andrew Chael, Kazunori Akiyama, Katherine L. Bouman, He Sun, Ilje Cho, Efthalia Traianou, Teresa Toscano, Rohan Dahale, Marianna Foschi, Leonid I. Gurvits, Svetlana Jorstad, Jae-Young Kim, Alan P. Marscher, Yosuke Mizuno, Eduardo Ros, Tuomas Savolainen

Abstract: Supermassive black holes at the centre of active galactic nuclei power some of the most luminous objects in the Universe. Typically, very long baseline interferometric (VLBI) observations of blazars have revealed only funnel-like morphologies with little information of the ejected plasma internal structure, or lacked the sufficient dynamic range to reconstruct the extended jet emission. Here we sh… ▽ More Supermassive black holes at the centre of active galactic nuclei power some of the most luminous objects in the Universe. Typically, very long baseline interferometric (VLBI) observations of blazars have revealed only funnel-like morphologies with little information of the ejected plasma internal structure, or lacked the sufficient dynamic range to reconstruct the extended jet emission. Here we show microarcsecond-scale angular resolution images of the blazar 3C 279 obtained at 22 GHz with the space VLBI mission RadioAstron, which allowed us to resolve the jet transversely and reveal several filaments produced by plasma instabilities in a kinetically dominated flow. Our high angular resolution and dynamic range image suggests that emission features traveling down the jet may manifest as a result of differential Doppler-boosting within the filaments, as opposed to the standard shock-in-jet model invoked to explain blazar jet radio variability. Moreover, we infer that the filaments in 3C 279 are possibly threaded by a helical magnetic field rotating clockwise, as seen in the direction of the flow motion, with an intrinsic helix pitch angle of ~45 degrees in a jet with a Lorentz factor of ~13 at the time of observation. △ Less

Submitted 3 November, 2023; originally announced November 2023.

Comments: 15 pages, 7 figures. Initial version of an article published in Nature Astronomy

Journal ref: Nature Astronomy 7 (2023) 1359

Chasing Gravitational Waves with the Cherenkov Telescope Array

Authors: Jarred Gershon Green, Alessandro Carosi, Lara Nava, Barbara Patricelli, Fabian Schüssler, Monica Seglar-Arroyo, Cta Consortium, :, Kazuki Abe, Shotaro Abe, Atreya Acharyya, Remi Adam, Arnau Aguasca-Cabot, Ivan Agudo, Jorge Alfaro, Nuria Alvarez-Crespo, Rafael Alves Batista, Jean-Philippe Amans, Elena Amato, Filippo Ambrosino, Ekrem Oguzhan Angüner, Lucio Angelo Antonelli, Carla Aramo, Cornelia Arcaro, Luisa Arrabito , et al. (545 additional authors not shown)

Abstract: The detection of gravitational waves from a binary neutron star merger by Advanced LIGO and Advanced Virgo (GW170817), along with the discovery of the electromagnetic counterparts of this gravitational wave event, ushered in a new era of multimessenger astronomy, providing the first direct evidence that BNS mergers are progenitors of short gamma-ray bursts (GRBs). Such events may also produce very… ▽ More The detection of gravitational waves from a binary neutron star merger by Advanced LIGO and Advanced Virgo (GW170817), along with the discovery of the electromagnetic counterparts of this gravitational wave event, ushered in a new era of multimessenger astronomy, providing the first direct evidence that BNS mergers are progenitors of short gamma-ray bursts (GRBs). Such events may also produce very-high-energy (VHE, > 100GeV) photons which have yet to be detected in coincidence with a gravitational wave signal. The Cherenkov Telescope Array (CTA) is a next-generation VHE observatory which aims to be indispensable in this search, with an unparalleled sensitivity and ability to slew anywhere on the sky within a few tens of seconds. New observing modes and follow-up strategies are being developed for CTA to rapidly cover localization areas of gravitational wave events that are typically larger than the CTA field of view. This work will evaluate and provide estimations on the expected number of of gravitational wave events that will be observable with CTA, considering both on- and off-axis emission. In addition, we will present and discuss the prospects of potential follow-up strategies with CTA. △ Less

Submitted 5 February, 2024; v1 submitted 11 October, 2023; originally announced October 2023.

Comments: Presented at the 38th International Cosmic Ray Conference (ICRC 2023), 2023 (arXiv:2309.08219)

Report number: CTA-ICRC/2023/30

Performance of the joint LST-1 and MAGIC observations evaluated with Crab Nebula data

Authors: H. Abe, K. Abe, S. Abe, V. A. Acciari, A. Aguasca-Cabot, I. Agudo, N. Alvarez Crespo, T. Aniello, S. Ansoldi, L. A. Antonelli, C. Aramo, A. Arbet-Engels, C. Arcaro, M. Artero, K. Asano, P. Aubert, D. Baack, A. Babić, A. Baktash, A. Bamba, A. Baquero Larriva, L. Baroncelli, U. Barres de Almeida, J. A. Barrio, I. Batković , et al. (344 additional authors not shown)

Abstract: Aims. LST-1, the prototype of the Large-Sized Telescope for the upcoming Cherenkov Telescope Array Observatory, is concluding its commissioning in Observatorio del Roque de los Muchachos on the island of La Palma. The proximity of LST-1 (Large-Sized Telescope 1) to the two MAGIC (Major Atmospheric Gamma Imaging Cherenkov) telescopes permits observations of the same gamma-ray events with both syste… ▽ More Aims. LST-1, the prototype of the Large-Sized Telescope for the upcoming Cherenkov Telescope Array Observatory, is concluding its commissioning in Observatorio del Roque de los Muchachos on the island of La Palma. The proximity of LST-1 (Large-Sized Telescope 1) to the two MAGIC (Major Atmospheric Gamma Imaging Cherenkov) telescopes permits observations of the same gamma-ray events with both systems. Methods. We describe the joint LST-1+MAGIC analysis pipeline and use simultaneous Crab Nebula observations and Monte Carlo simulations to assess the performance of the three-telescope system. The addition of the LST-1 telescope allows the recovery of events in which one of the MAGIC images is too dim to survive analysis quality cuts. Results. Thanks to the resulting increase in the collection area and stronger background rejection, we find a significant improvement in sensitivity, allowing the detection of 30% weaker fluxes in the energy range between 200 GeV and 3 TeV. The spectrum of the Crab Nebula, reconstructed in the energy range ~60 GeV to ~10 TeV, is in agreement with previous measurements. △ Less

Submitted 3 October, 2023; originally announced October 2023.

Comments: Accepted for publication in Astronomy & Astrophysics

Journal ref: A&A 680, A66 (2023)

The stellar occultation by (319) Leona on 13 September 2023 in preparation for the occultation of Betelgeuse

Authors: J. L. Ortiz, M. Kretlow, C. Schnabel, N. Morales, J. Flores-Martín, M. Sánchez González, F. Casarramona, A. Selva, C. Perelló, A. Román-Reche, S. Alonso, J. L. Rizos, R. Gonçalves, A. Castillo, J. M. Madiedo, P. Martínez Sánchez, J. M. Fernández andújar, J. L. Maestre, E. Smith, M. Gil, V. Pelenjow, S. Moral Soriano, J. Martí, P. L. Luque-Escamilla, R. Casas , et al. (14 additional authors not shown)

Abstract: On 12 December 2023, the star $α$ Orionis (Betelgeuse) will be occulted by the asteroid (319) Leona. This represents an extraordinary and unique opportunity to analyze the diameter and brightness distribution of Betelgeuse's photosphere with extreme angular resolution by studying the light curve as the asteroid occults the star from different points on Earth and at different wavelengths. Here we p… ▽ More On 12 December 2023, the star $α$ Orionis (Betelgeuse) will be occulted by the asteroid (319) Leona. This represents an extraordinary and unique opportunity to analyze the diameter and brightness distribution of Betelgeuse's photosphere with extreme angular resolution by studying the light curve as the asteroid occults the star from different points on Earth and at different wavelengths. Here we present observations of another occultation by Leona on 13 September 2023 to determine its projected shape and size in preparation for the December 12th event. The occultation observation campaign was highly successful. The effective diameter in projected area derived from the positive detections at 17 sites turned out to be 66 km $\pm$ 2 km using an elliptical fit to the instantaneous limb. The body is highly elongated, with dimensions of 79.6 $\pm$ 2.2 km x 54.8 $\pm$ 1.3 km in its long and short axis, respectively, at the occultation time. Also, an accurate position coming from the occultation, to improve the orbit determination of Leona for December 12 is provided. △ Less

Submitted 21 September, 2023; originally announced September 2023.

Comments: Two figures. Letter submitted to A&A

Pre-outburst signal in the light curves of the recurrent novae RS Oph and T CrB

Authors: R. K. Zamanov, V. Marchev, J. Marti, G. Y. Latev

Abstract: Pre-outburst signal (a decrease of the optical brightness) just before the outburst is clearly detected in the observations of the T CrB obtained before and during the 1946 outburst. A similar decrease is also visible in the light curve of RS Oph during the 2021 outburst. We suppose that this is due to formation of a thick, dense envelope around the white dwarf, and we estimate its size (1000 - 20… ▽ More Pre-outburst signal (a decrease of the optical brightness) just before the outburst is clearly detected in the observations of the T CrB obtained before and during the 1946 outburst. A similar decrease is also visible in the light curve of RS Oph during the 2021 outburst. We suppose that this is due to formation of a thick, dense envelope around the white dwarf, and we estimate its size (1000 - 2000 km), mass (5.10$^{-8}$ - 6.10$^{-7}$ M$_\odot$) and average density (5 - 16 g cm$^{-3}$). △ Less

Submitted 8 August, 2023; originally announced August 2023.

Comments: preliminary version

Proof Systems for the Modal $μ$-Calculus Obtained by Determinizing Automata

Authors: Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema

Abstract: Automata operating on infinite objects feature prominently in the theory of the modal $μ$-calculus. One such application concerns the tableau games introduced by Niwiński & Walukiewicz, of which the winning condition for infinite plays can be naturally checked by a nondeterministic parity stream automaton. Inspired by work of Jungteerapanich and Stirling we show how determinization constructions o… ▽ More Automata operating on infinite objects feature prominently in the theory of the modal $μ$-calculus. One such application concerns the tableau games introduced by Niwiński & Walukiewicz, of which the winning condition for infinite plays can be naturally checked by a nondeterministic parity stream automaton. Inspired by work of Jungteerapanich and Stirling we show how determinization constructions of this automaton may be used to directly obtain proof systems for the $μ$-calculus. More concretely, we introduce a binary tree construction for determinizing nondeterministic parity stream automata. Using this construction we define the annotated cyclic proof system $\mathsf{BT}$, where formulas are annotated by tuples of binary strings. Soundness and Completeness of this system follow almost immediately from the correctness of the determinization method. △ Less

Submitted 14 July, 2023; v1 submitted 13 July, 2023; originally announced July 2023.

Observations of the Crab Nebula and Pulsar with the Large-Sized Telescope Prototype of the Cherenkov Telescope Array

Authors: CTA-LST Project, :, H. Abe, K. Abe, S. Abe, A. Aguasca-Cabot, I. Agudo, N. Alvarez Crespo, L. A. Antonelli, C. Aramo, A. Arbet-Engels, C. Arcaro, M. Artero, K. Asano, P. Aubert, A. Baktash, A. Bamba, A. Baquero Larriva, L. Baroncelli, U. Barres de Almeida, J. A. Barrio, I. Batkovic, J. Baxter, J. Becerra González, E. Bernardini , et al. (467 additional authors not shown)

Abstract: CTA (Cherenkov Telescope Array) is the next generation ground-based observatory for gamma-ray astronomy at very-high energies. The Large-Sized Telescope prototype (LST-1) is located at the Northern site of CTA, on the Canary Island of La Palma. LSTs are designed to provide optimal performance in the lowest part of the energy range covered by CTA, down to $\simeq 20$ GeV. LST-1 started performing a… ▽ More CTA (Cherenkov Telescope Array) is the next generation ground-based observatory for gamma-ray astronomy at very-high energies. The Large-Sized Telescope prototype (LST-1) is located at the Northern site of CTA, on the Canary Island of La Palma. LSTs are designed to provide optimal performance in the lowest part of the energy range covered by CTA, down to $\simeq 20$ GeV. LST-1 started performing astronomical observations in November 2019, during its commissioning phase, and it has been taking data since then. We present the first LST-1 observations of the Crab Nebula, the standard candle of very-high energy gamma-ray astronomy, and use them, together with simulations, to assess the basic performance parameters of the telescope. The data sample consists of around 36 hours of observations at low zenith angles collected between November 2020 and March 2022. LST-1 has reached the expected performance during its commissioning period - only a minor adjustment of the preexisting simulations was needed to match the telescope behavior. The energy threshold at trigger level is estimated to be around 20 GeV, rising to $\simeq 30$ GeV after data analysis. Performance parameters depend strongly on energy, and on the strength of the gamma-ray selection cuts in the analysis: angular resolution ranges from 0.12 to 0.40 degrees, and energy resolution from 15 to 50%. Flux sensitivity is around 1.1% of the Crab Nebula flux above 250 GeV for a 50-h observation (12% for 30 minutes). The spectral energy distribution (in the 0.03 - 30 TeV range) and the light curve obtained for the Crab Nebula agree with previous measurements, considering statistical and systematic uncertainties. A clear periodic signal is also detected from the pulsar at the center of the Nebula. △ Less

Submitted 19 July, 2023; v1 submitted 22 June, 2023; originally announced June 2023.

Comments: Accepted in ApJ. v3: updated author list and acknowledgements, fixed typos and other minor issues

On the large scale morphology of Hercules A: destabilized hot jets?

Authors: Manel Perucho, Jose López-Miralles, Nectaria A. B. Gizani, José-María Martí, Bia Boccardi

Abstract: Extragalactic jets are generated as bipolar outflows at the nuclei of active galaxies. Depending on their morphology, they are classified as Fanaroff-Riley type I (centre-brightened) and Fanaroff-Riley type II (edge-brightened) radio jets. However, this division is not sharp and observations of these sources at large scales often show intermediate jet morphologies or even hybrid jet morphologies w… ▽ More Extragalactic jets are generated as bipolar outflows at the nuclei of active galaxies. Depending on their morphology, they are classified as Fanaroff-Riley type I (centre-brightened) and Fanaroff-Riley type II (edge-brightened) radio jets. However, this division is not sharp and observations of these sources at large scales often show intermediate jet morphologies or even hybrid jet morphologies with a FRI type jet on one side and a FRII type jet on the other. A good example of a radio galaxy that is difficult to classify as FRI or FRII is Hercules~A. This source shows jets with bright radio lobes (a common feature of FRII type jets) albeit without the hotspots indicative of the violent interaction between the jet and the ambient medium at the impact region, because the jets seem to be disrupted inside the lobes at a distance from the bow shocks surrounding the lobes. In this paper, we explore the jet physics that could trigger this peculiar morphology by means of three-dimensional relativisitic hydrodynamical simulations. Our results show that the large-scale morphological features of Hercules A jets and lobes can be reproduced by the propagation of a relativistically hot plasma outflow that is disrupted by helical instability modes, and generates a hot lobe that expands isotropically against the pressure-decreasing intergalactic medium. We also discuss the implications that this result may have for the host active nucleus in terms of a possible transition from high-excitation to low-excitation galaxy modes. △ Less

Submitted 23 May, 2023; originally announced May 2023.

Comments: To be published in Monthly Notices of the Royal Astronomical Society

A runaway T-Tauri star leaving an extended trail

Authors: Josep Martí, Pedro L. Luque-Escamilla, Estrella Sánchez-Ayaso

Abstract: Aims. We address the problem of young stellar objects that are found too far away from possible star formation sites. Different mechanisms have been proposed before to explain this unexpected circumstance. The idea of high-velocity protostars is one of these mechanisms, although observational support is not always easy to obtain. We aim to shed light on this issue after the serendipitous discovery… ▽ More Aims. We address the problem of young stellar objects that are found too far away from possible star formation sites. Different mechanisms have been proposed before to explain this unexpected circumstance. The idea of high-velocity protostars is one of these mechanisms, although observational support is not always easy to obtain. We aim to shed light on this issue after the serendipitous discovery of a related stellar system. Methods. Following the inspection of archival infrared data, a peculiar anonymous star was found that apparently heads a long tail that resembles a wake-like feature. We conducted a multiwavelength analysis including photometry, astrometry, and spectroscopy. Together with theoretical physical considerations, this approach provided a reasonable knowledge of the stellar age and kinematic properties, together with compelling indications that the extended feature is indeed the signature of a high-velocity, or runaway, newborn star. Results. Our main result is the discovery of a low-mass young stellar object that fits the concept of a runaway T-Tauri star that was hypothesized several decades ago. In this peculiar star, nicknamed UJT-1, the interaction of the stellar wind with the surrounding medium becomes extreme. Under reasonable assumptions, this unusual degree of interaction has the potential to encode the mass-loss history of the star on timescales of several $10^5$ years △ Less

Submitted 28 April, 2023; originally announced April 2023.

Comments: Accepted for publication in Astronomy and Astrophysics

Choice Structures in Games

Authors: Paolo Galeazzi, Johannes Marti

Abstract: Following the decision-theoretic approach to game theory, we extend the analysis of Epstein & Wang and of Di Tillio from hierarchies of preference relations to hierarchies of choice functions. We then construct the universal choice structure containing all these choice hierarchies, and show how the universal preference structure of Di Tillio is embedded in it. Following the decision-theoretic approach to game theory, we extend the analysis of Epstein & Wang and of Di Tillio from hierarchies of preference relations to hierarchies of choice functions. We then construct the universal choice structure containing all these choice hierarchies, and show how the universal preference structure of Di Tillio is embedded in it. △ Less

Submitted 23 April, 2023; originally announced April 2023.

Relativistic X-Ray Reflection and Photoionised Absorption in the Neutron-Star Low-Mass X-ray Binary GX 13+1

Authors: Enzo A. Saavedra, Federico García, Federico A. Fogantini, Mariano Méndez, Jorge A. Combi, Pedro L. Luque-Escamilla, Josep Martí

Abstract: We analysed a dedicated NuSTAR observation of the neutron-star low-mass X-ray binary Z-source GX 13+1 to study the timing and spectral properties of the source. From the colour-colour diagram, we conclude that during that observation the source transitioned from the normal branch to the flaring branch. We fitted the spectra of the source in each branch with a model consisting of an accretion disc,… ▽ More We analysed a dedicated NuSTAR observation of the neutron-star low-mass X-ray binary Z-source GX 13+1 to study the timing and spectral properties of the source. From the colour-colour diagram, we conclude that during that observation the source transitioned from the normal branch to the flaring branch. We fitted the spectra of the source in each branch with a model consisting of an accretion disc, a Comptonised blackbody, relativistic reflection (relxillNS), and photo-ionised absorption (warmabs). Thanks to the combination of the large effective area and good energy resolution of NuSTAR at high energies, we found evidence of relativistic reflection in both the Fe K line profile, and the Compton hump present in the 10--25 keV energy range. The inner disc radius is $R_{\rm in} \lesssim 9.6~r_g$, which allowed us to further constrain the magnetic field strength to $B \lesssim 1.8 \times 10^8$ G. We also found evidence for the presence of a hot wind leading to photo-ionised absorption of Fe and Ni, with a Ni overabundance of $\sim$6 times solar. From the spectral fits, we find that the distance between the ionising source and the slab of ionised absorbing material is $\sim 4-40 \times 10^5$ km. We also found that the width of the boundary layer extends $\sim$3 km above the surface of a neutron star, which yielded a neutron-star radius $R_{\rm NS}\lesssim 16$ km. The scenario inferred from the spectral modelling becomes self-consistent only for high electron densities in the accretion disk, $n_e \sim 10^{22}-10^{23}$ cm$^{-3}$, as expected for a Shakura-Sunyaev disc, and significantly above the densities provided by relxillNS models. These results have implications for our understanding of the physical conditions in GX 13+1. △ Less

Submitted 7 April, 2023; v1 submitted 6 April, 2023; originally announced April 2023.

Comments: Accepted for publication in MNRAS. 11 pages, 4 figures

Helium bubbles in liquid lithium: a potential issue for ITER

Authors: Edgar Alvarez-Galera, Jordi Marti, Ferran Mazzanti, Lluis Batet

Abstract: Future fusion nuclear reactors will produce sustainable energy form the fusion of deuterium and tritium. In order to do so, the reactors will need to produce their own tritium through the neutron bombardment of lithium. Such reaction will produce tritium and helium inside the breeding blanket of the reactor. Helium can trigger nucleation mechanisms due to its very low solubility inside liquid meta… ▽ More Future fusion nuclear reactors will produce sustainable energy form the fusion of deuterium and tritium. In order to do so, the reactors will need to produce their own tritium through the neutron bombardment of lithium. Such reaction will produce tritium and helium inside the breeding blanket of the reactor. Helium can trigger nucleation mechanisms due to its very low solubility inside liquid metals. Consequently, the knowledge and understanding of the microscopic processes of helium nucleation is crucial to improve the efficiency, sustainability and safety of the fusion energy production. The formation of helium bubbles inside the liquid metal used as breeding material may be a serious issue that has yet to be fully understood. We provide further insight on the behavior of lithium and helium mixtures at experimentally corresponding operating conditions (800~K and pressures between 1 and 100 bar) using a suitable microscopic model able to describe the helium and lithium atomic interactions, in excellent agreement with available experimental data. The simulations predict the formation of helium bubbles with radii around 10 Angstroem at ambient pressure and with surface tension values between 0.6-1.0 N/m, with a dependency of the concentration of helium. We also report cohesive energies of helium as well as a quantitative estimation of the Hildebrand and Kumar cohesion parameters. △ Less

Submitted 1 April, 2023; originally announced April 2023.

Comments: 32 pages, 10 figures

Sensitivity of the Cherenkov Telescope Array to spectral signatures of hadronic PeVatrons with application to Galactic Supernova Remnants

Authors: The Cherenkov Telescope Array Consortium, F. Acero, A. Acharyya, R. Adam, A. Aguasca-Cabot, I. Agudo, A. Aguirre-Santaella, J. Alfaro, R. Aloisio, N. Álvarez Crespo, R. Alves Batista, L. Amati, E. Amato, G. Ambrosi, E. O. Angüner, C. Aramo, C. Arcaro, T. Armstrong, K. Asano, Y. Ascasibar, J. Aschersleben, M. Backes, A. Baktash, C. Balazs, M. Balbo , et al. (334 additional authors not shown)

Abstract: The local Cosmic Ray (CR) energy spectrum exhibits a spectral softening at energies around 3~PeV. Sources which are capable of accelerating hadrons to such energies are called hadronic PeVatrons. However, hadronic PeVatrons have not yet been firmly identified within the Galaxy. Several source classes, including Galactic Supernova Remnants (SNRs), have been proposed as PeVatron candidates. The pote… ▽ More The local Cosmic Ray (CR) energy spectrum exhibits a spectral softening at energies around 3~PeV. Sources which are capable of accelerating hadrons to such energies are called hadronic PeVatrons. However, hadronic PeVatrons have not yet been firmly identified within the Galaxy. Several source classes, including Galactic Supernova Remnants (SNRs), have been proposed as PeVatron candidates. The potential to search for hadronic PeVatrons with the Cherenkov Telescope Array (CTA) is assessed. The focus is on the usage of very high energy $γ$-ray spectral signatures for the identification of PeVatrons. Assuming that SNRs can accelerate CRs up to knee energies, the number of Galactic SNRs which can be identified as PeVatrons with CTA is estimated within a model for the evolution of SNRs. Additionally, the potential of a follow-up observation strategy under moonlight conditions for PeVatron searches is investigated. Statistical methods for the identification of PeVatrons are introduced, and realistic Monte--Carlo simulations of the response of the CTA observatory to the emission spectra from hadronic PeVatrons are performed. Based on simulations of a simplified model for the evolution for SNRs, the detection of a $γ$-ray signal from in average 9 Galactic PeVatron SNRs is expected to result from the scan of the Galactic plane with CTA after 10 hours of exposure. CTA is also shown to have excellent potential to confirm these sources as PeVatrons in deep observations with $\mathcal{O}(100)$ hours of exposure per source. △ Less

Submitted 27 March, 2023; originally announced March 2023.

Comments: 34 pages, 16 figures, Accepted for publication in Astroparticle Physics

The Co-Ordinated Radio and Infrared Survey for High-Mass Star Formation. V. The CORNISH-South Survey and Catalogue

Authors: T. Irabor, M. G. Hoare, M. Burton, W. D. Cotton, P. Diamond, S. Dougherty, S. P. Ellingsen, R. Fender, G. A. Fuller, S. Garrington, P. F. Goldsmith, J. Green, A. G. Gunn, J. Jackson, S. Kurtz, S. L. Lumsden, J. Marti, I. McDonald, S. Molinari, T. J. Moore, M. Mutale, T. Muxlow, T. OBrien, R. D. Oudmaijer, R. Paladini , et al. (10 additional authors not shown)

Abstract: We present the first high spatial resolution radio continuum survey of the southern Galactic plane. The CORNISH project has mapped the region defined by $295^{\circ} < l < 350^{\circ}$; $|b| < 1^{\circ}$ at 5.5-GHz, with a resolution of 2.5$^{''}$ (FWHM). As with the CORNISH-North survey, this is designed to primarily provide matching radio data to the Spitzer GLIMPSE survey region. The CORNISH-So… ▽ More We present the first high spatial resolution radio continuum survey of the southern Galactic plane. The CORNISH project has mapped the region defined by $295^{\circ} < l < 350^{\circ}$; $|b| < 1^{\circ}$ at 5.5-GHz, with a resolution of 2.5$^{''}$ (FWHM). As with the CORNISH-North survey, this is designed to primarily provide matching radio data to the Spitzer GLIMPSE survey region. The CORNISH-South survey achieved a root mean square noise level of $\sim$ 0.11 mJy beam$^{-1}$, using the 6A configuration of the Australia Telescope Compact Array (ATCA). In this paper, we discuss the observations, data processing and measurements of the source properties. Above a 7$σ$ detection limit, 4701 sources were detected, and their ensemble properties show similar distributions with their northern counterparts. The catalogue is highly reliable and is complete to 90 per cent at a flux density level of 1.1 mJy. We developed a new way of measuring the integrated flux densities and angular sizes of non-Gaussian sources. The catalogue primarily provides positions, flux density measurements and angular sizes. All sources with IR counterparts at 8$μm$ have been visually classified, utilizing additional imaging data from optical, near-IR, mid-IR, far-IR and sub-millimetre galactic plane surveys. This has resulted in the detection of 524 H II regions of which 255 are ultra-compact H II regions, 287 planetary nebulae, 79 radio stars and 6 massive young stellar objects. The rest of the sources are likely to be extra-galactic. These data are particularly important in the characterization and population studies of compact ionized sources such as UCHII regions and PNe towards the Galactic mid-plane. △ Less

Submitted 5 January, 2023; originally announced January 2023.

On the application of Jacobian-free Riemann solvers for relativistic radiation magnetohydrodynamics under M1 closure

Authors: Jose López-Miralles, Jose María Martí, Manel Perucho

Abstract: Radiative transfer plays a major role in high-energy astrophysics. In multiple scenarios and in a broad range of energy scales, the coupling between matter and radiation is essential to understand the interplay between theory, observations and numerical simulations. In this paper, we present a novel scheme for solving the equations of radiation relativistic magnetohydrodynamics within the parallel… ▽ More Radiative transfer plays a major role in high-energy astrophysics. In multiple scenarios and in a broad range of energy scales, the coupling between matter and radiation is essential to understand the interplay between theory, observations and numerical simulations. In this paper, we present a novel scheme for solving the equations of radiation relativistic magnetohydrodynamics within the parallel code Lóstrego. These equations, which are formulated taking successive moments of the Boltzmann radiative transfer equation, are solved under the gray-body approximation and the M1 closure using an IMEX time integration scheme. The main novelty of our scheme is that we introduce for the first time in the context of radiation magnetohydrodynamics a family of Jacobian-free Riemann solvers based on internal approximations to the Polynomial Viscosity Matrix, which were demonstrated to be robust and accurate for non-radiative applications. The robustness and the limitations of the new algorithms are tested by solving a collection of one-dimensional and multi-dimensional test problems, both in the free-streaming and in the diffusion radiation transport limits. Due to its stable performance, the applicability of the scheme presented in this paper to real astrophysical scenarios in high-energy astrophysics is promising. In future simulations, we expect to be able to explore the dynamical relevance of photon-matter interactions in the context of relativistic jets and accretion discs, from microquasars and AGN to gamma-ray bursts. △ Less

Submitted 1 December, 2022; originally announced December 2022.

Comments: 21 pages, 13 figures. Accepted for publication in Computer Physics Communications

A blazar candidate for the Fermi source 4FGL J1848.7-0129

Authors: Pedro L. Luque-Escamilla, Josep Martí, Enrique Mestre, Jorge A. Combi, Juan F. Albacete-Colombo

Abstract: The Fermi source 4FGL J1848.7-0129 has been historically related to the globular cluster GLIMPSE-C01 since its very first detection. Although this association is widely accepted, as it appears in the most recent Fermi catalog, it deserves to be revisited given the multi-wavelength evidences and the recent discovery of variable X-ray sources in the Fermi source region. In particular, low frequency… ▽ More The Fermi source 4FGL J1848.7-0129 has been historically related to the globular cluster GLIMPSE-C01 since its very first detection. Although this association is widely accepted, as it appears in the most recent Fermi catalog, it deserves to be revisited given the multi-wavelength evidences and the recent discovery of variable X-ray sources in the Fermi source region. In particular, low frequency radio maps from the Giant Metre Radio Telescope in Pune (India) have been carefully inspected which, together with X-ray data re-analysis from Chandra, lead us to get a deep insight into the candidates to be associated to 4FGL J1848.7-0129. This results in the discovery of a new X-ray variable point source coincident with an unreported non-thermal radio emitter, both of them well inside the 4FGL J1848.7-0129 error ellipse. We analyze and discuss all these observational facts, and we propose now a newly discovered blazar candidate as the most promising responsible for the gamma ray emission in the Fermi source. If confirmed, this result would set constrains on the number of millisecond pulsars in GLIMPSE-C01 or their gamma-ray emission properties. △ Less

Submitted 28 November, 2022; originally announced November 2022.

Comments: 6 pages - 5 figures - 1 table - To appear in MNRAS

A NuSTAR view of SS433: Precessional evolution of the jet-disk system

Authors: Federico A. Fogantini, Federico García, Jorge A. Combi, Sylvain Chaty, Josep Martí, Pedro L. Luque Escamilla

Abstract: SS433 is a Galactic microquasar with powerful outflows (double jet, accretion disk and winds) with well known orbital, precessional and nutational period. In this work we characterise different outflow parameters throughout the precessional cycle of the system. We analyse 10 NuSTAR ($3-70$ keV) observations of $\sim$30~ks that span $\sim$1.5 precessional cycles. We extract averaged spectra and mod… ▽ More SS433 is a Galactic microquasar with powerful outflows (double jet, accretion disk and winds) with well known orbital, precessional and nutational period. In this work we characterise different outflow parameters throughout the precessional cycle of the system. We analyse 10 NuSTAR ($3-70$ keV) observations of $\sim$30~ks that span $\sim$1.5 precessional cycles. We extract averaged spectra and model them using a combination of a double thermal jet model (bjet) and pure neutral and relativistic reflection (xillverCp and relxilllpCp) over an accretion disk. We find an average jet bulk velocity of $β= v/c \sim0.29$ with an opening angle of $\lesssim$6~degrees. Eastern jet kinetic power ranges from 1 to $10^{39}$~erg/s, with base "coronal" temperatures $T_o$ ranging between 14 and 18 keV. Nickel to iron abundances remain constant at $\sim$9 (within 1$σ$). The western to eastern jet flux ratio becomes $\sim1$ on intermediate phases, about 35% of the total precessional orbit. The $3-70$ keV total unabsorbed luminosity of the jet and disk ranges from 2 to 20 $\times$10$^{37}$~erg/s, with the disk reflection component contributing mainly to the hard $20-30$ keV excess and the stationary 6.7 keV ionized Fe line complex. At low opening angles $Θ$ we find that the jet expands sideways following an adiabatic expansion of a gas with temperature $T_o$. Finally, the central source and lower parts of the jet could be hidden by an optically thick region of $τ> 0.1$ and size $R\sim N_H/n_{e0}\sim1.5\times10^9$~cm$\sim$1700~$r_g$ for $M_{BH}=3~M_{\odot}$ △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 12 pages, 7 figures, 2 tables. To be published in A&A

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

Perspectives for self-driving labs in synthetic biology

Authors: Hector Garcia Martin, Tijana Radivojevic, Jeremy Zucker, Kristofer Bouchard, Jess Sustarich, Sean Peisert, Dan Arnold, Nathan Hillson, Gyorgy Babnigg, Jose Manuel Marti, Christopher J. Mungall, Gregg T. Beckham, Lucas Waldburger, James Carothers, ShivShankar Sundaram, Deb Agarwal, Blake A. Simmons, Tyler Backman, Deepanwita Banerjee, Deepti Tanjore, Lavanya Ramakrishnan, Anup Singh

Abstract: Self-driving labs (SDLs) combine fully automated experiments with artificial intelligence (AI) that decides the next set of experiments. Taken to their ultimate expression, SDLs could usher a new paradigm of scientific research, where the world is probed, interpreted, and explained by machines for human benefit. While there are functioning SDLs in the fields of chemistry and materials science, we… ▽ More Self-driving labs (SDLs) combine fully automated experiments with artificial intelligence (AI) that decides the next set of experiments. Taken to their ultimate expression, SDLs could usher a new paradigm of scientific research, where the world is probed, interpreted, and explained by machines for human benefit. While there are functioning SDLs in the fields of chemistry and materials science, we contend that synthetic biology provides a unique opportunity since the genome provides a single target for affecting the incredibly wide repertoire of biological cell behavior. However, the level of investment required for the creation of biological SDLs is only warranted if directed towards solving difficult and enabling biological questions. Here, we discuss challenges and opportunities in creating SDLs for synthetic biology. △ Less

Submitted 1 November, 2022; v1 submitted 14 October, 2022; originally announced October 2022.

Comments: 17 pages, 3 figures. Submitted for publication in Current Opinion in Biotechnology. Updated figure 3 in this version

Testing source confusion and identification capability in Cherenkov Telescope Array data

Authors: Enrique Mestre, Diego F. Torres, Emma de Oña Wilhelmi, Josep Martí

Abstract: The Cherenkov Telescope Array will provide the deepest survey of the Galactic Plane performed at very-high-energy gamma-rays. Consequently, this survey will unavoidably face the challenge of source confusion, i.e., the non-unique attribution of signal to a source due to multiple overlapping sources. Among the known populations of Galactic gamma-ray sources and given their extension and number, pul… ▽ More The Cherenkov Telescope Array will provide the deepest survey of the Galactic Plane performed at very-high-energy gamma-rays. Consequently, this survey will unavoidably face the challenge of source confusion, i.e., the non-unique attribution of signal to a source due to multiple overlapping sources. Among the known populations of Galactic gamma-ray sources and given their extension and number, pulsar wind nebulae (PWNe, and PWN TeV halos) will be the most affected. We aim to probe source confusion of TeV PWNe in forthcoming CTA data. For this purpose, we performed and analyzed simulations of artificially confused PWNe with CTA. As a basis for our simulations, we applied our study to TeV data collected from the H.E.S.S. Galactic Plane Survey for ten extended and two point-like firmly identified PWNe, probing various configurations of source confusion involving different projected separations, relative orientations, flux levels, and extensions among sources. Source confusion, defined here to appear when the sum of the Gaussian width of two sources is larger than the separation between their centroids, occurred in $\sim$30% of the simulations. For this sample and 0.5$°$ of average separation between sources, we found that CTA can likely resolve up to 60% of those confused sources above 500 GeV. Finally, we also considered simulations of isolated extended sources to see how well they could be matched to a library of morphological templates. The outcome of the simulations indicates a remarkable capability (more than 95% of the cases studied) to match a simulation with the correct input template in its proper orientation. △ Less

Submitted 9 October, 2022; originally announced October 2022.

Comments: In press in MNRAS

Multi-wavelength study of the galactic PeVatron candidate LHAASO J2108+5157

Authors: S. Abe, A. Aguasca-Cabot, I. Agudo, N. Alvarez Crespo, L. A. Antonelli, C. Aramo, A. Arbet-Engels, M. Artero, K. Asano, P. Aubert, A. Baktash, A. Bamba, A. Baquero Larriva, L. Baroncelli, U. Barres de Almeida, J. A. Barrio, I. Batkovic, J. Baxter, J. Becerra González, E. Bernardini, M. I. Bernardos, J. Bernete Medrano, A. Berti, P. Bhattacharjee, N. Biederbeck , et al. (245 additional authors not shown)

Abstract: LHAASO J2108+5157 is one of the few known unidentified Ultra-High-Energy (UHE) gamma-ray sources with no Very-High-Energy (VHE) counterpart, recently discovered by the LHAASO collaboration. We observed LHAASO J2108+5157 in the X-ray band with XMM-Newton in 2021 for a total of 3.8 hours and at TeV energies with the Large-Sized Telescope prototype (LST-1), yielding 49 hours of good quality data. In… ▽ More LHAASO J2108+5157 is one of the few known unidentified Ultra-High-Energy (UHE) gamma-ray sources with no Very-High-Energy (VHE) counterpart, recently discovered by the LHAASO collaboration. We observed LHAASO J2108+5157 in the X-ray band with XMM-Newton in 2021 for a total of 3.8 hours and at TeV energies with the Large-Sized Telescope prototype (LST-1), yielding 49 hours of good quality data. In addition, we analyzed 12 years of Fermi-LAT data, to better constrain emission of its High-Energy (HE) counterpart 4FGL J2108.0+5155. We found an excess (3.7 sigma) in the LST-1 data at energies E > 3 TeV. Further analysis in the whole LST-1 energy range assuming a point-like source, resulted in a hint (2.2 sigma) of hard emission which can be described with a single power law with photon index Gamma = 1.6 +- 0.2 between 0.3 - 100 TeV. We did not find any significant extended emission which could be related to a Supernova Remnant (SNR) or Pulsar Wind Nebula (PWN) in the XMM-Newton data, which puts strong constraints on possible synchrotron emission of relativistic electrons. The LST-1 and LHAASO observations can be explained as inverse Compton-dominated leptonic emission of relativistic electrons with a cutoff energy of $100^{+70}_{-30}$ TeV. The low magnetic field in the source imposed by the X-ray upper limits on synchrotron emission is compatible with a hypothesis of a PWN or a TeV halo. The lack of a pulsar in the neighborhood of the UHE source is a challenge to the PWN/TeV-halo scenario. The UHE gamma rays can also be explained as $π^0$ decay-dominated hadronic emission due to interaction of relativistic protons with one of the two known molecular clouds in the direction of the source. The hard spectrum in the LST-1 band is compatible with protons escaping a shock around a middle-aged SNR because of their high low-energy cut-off. △ Less

Submitted 16 March, 2023; v1 submitted 3 October, 2022; originally announced October 2022.

Comments: 26 pages, 9 figures, 5 tables; Astronomy and Astrophysics (accepted on 6 March 2023)

Journal ref: A&A 673, A75 (2023)

The hidden symbiotic star SU Lyn -- detection of flickering in U band

Authors: R. K. Zamanov, A. Kostov, M. Moyseev, N. Petrov, Y. M. Nikolov, G. Y. Latev, D. Marchev, S. Boeva, K. A. Stoyanov, M. S. Minev, J. Marti, V. Radeva, E. Sanchez-Ayaso, M. F. Bode, K. Ilkiewicz, G. Nikolov, P. L. Luque-Escamilla, B. Spassov, B. Borisov, V. D. Marchev, A. Kurtenkov

Abstract: We report photometric observations of the hidden symbiotic star SU Lyn in the optical bands. In five nights we detect a weak flickering in U band with amplitude of about 0.05 magnitudes. No intranight variations are found in B, V, g' and r' bands. This is one more indication that the secondary component is a white dwarf accreting at low accretion rate. We also searched for intranight variability o… ▽ More We report photometric observations of the hidden symbiotic star SU Lyn in the optical bands. In five nights we detect a weak flickering in U band with amplitude of about 0.05 magnitudes. No intranight variations are found in B, V, g' and r' bands. This is one more indication that the secondary component is a white dwarf accreting at low accretion rate. We also searched for intranight variability of a dozen related object (RR Boo, RT Boo, AM Cyg, AG Peg, BF Cyg, NQ Gem, StHa190, V627 Cas, XX Oph, FS Cet and Y Gem) in which no variability above the observational errors is detected. △ Less

Submitted 12 August, 2022; v1 submitted 21 June, 2022; originally announced June 2022.

Comments: 8 pages, to appear in Bulgarian Astron. Journal

Optical microflares in LS I +61 303 and the search for their multiwavelength counterpart

Authors: Enrique Mestre, Estrella Sánchez-Ayaso, Pedro L. Luque-Escamilla, Josep Martí, Josep M. Paredes, Daniel del Ser, Jorge Núñez

Abstract: Stellar sources of gamma rays are one of the front lines in modern astrophysics whose understanding can benefit from observational tools not originally designed for their study. We take advantage of the high precision photometric capabilities of present-day space facilities to obtain a new perspective on the optical behavior of the X-ray and gamma-ray binary LS I +61 303. Previously unknown phenom… ▽ More Stellar sources of gamma rays are one of the front lines in modern astrophysics whose understanding can benefit from observational tools not originally designed for their study. We take advantage of the high precision photometric capabilities of present-day space facilities to obtain a new perspective on the optical behavior of the X-ray and gamma-ray binary LS I +61 303. Previously unknown phenomena whose effects manifest with amplitudes below 0.01 magnitude can now be clearly observed and studied. Our work is mainly based on the analysis of optical and gamma-ray archival data and uses the tools recommended by the different collaborations that provide these valuable observational resources (in particular, the TESS and Fermi orbiting observatories). In addition, complementary ground-based optical spectroscopy has also been conducted. We report the discovery of small-amplitude optical flares on timescales of a day in the LS I +61 303 light curve. Different alternative scenarios to explain their origin are tentatively proposed. △ Less

Submitted 11 May, 2022; originally announced May 2022.

Comments: In press in Astronomy & Astrophysics. 6 pages, 5 figures

Journal ref: A&A 662, A27 (2022)

Magnetization of Relativistic Current-Carrying Jets with Radial Velocity Shear

Authors: Dominika Ł. Król, Łukasz Stawarz, Mitchell C. Begelman, José-María Martí, Manel Perucho, Bohdan A. Petrenko

Abstract: Astrophysical jets, launched from the immediate vicinity of accreting black holes, carry away large amounts of power in a form of bulk kinetic energy of jet particles and electromagnetic flux. Here we consider a simple analytical model for relativistic jets at larger distances from their launching sites, assuming a cylindrical axisymmetric geometry with a radial velocity shear, and purely toroidal… ▽ More Astrophysical jets, launched from the immediate vicinity of accreting black holes, carry away large amounts of power in a form of bulk kinetic energy of jet particles and electromagnetic flux. Here we consider a simple analytical model for relativistic jets at larger distances from their launching sites, assuming a cylindrical axisymmetric geometry with a radial velocity shear, and purely toroidal magnetic field. We argue that, as long as the jet plasma is in magnetohydrostatic equilibrium, such outflows tend to be particle dominated, i.e. the ratio of the electromagnetic to particle energy flux, integrated over the jet cross-sectional area, is typically below unity, $σ< 1$. At the same time, for particular magnetic and radial velocity profiles, magnetic pressure may still dominate over particle pressure for certain ranges of the jet radius, i.e. the local jet plasma parameter $β_{pl} < 1$, and this may be relevant in the context of particle acceleration and production of high-energy emission in such systems. The jet magnetization parameter can be elevated up to the modest values $σ\lesssim \mathcal{O}(10)$ only in the case of extreme gradients or discontinuities in the gaseous pressure, and a significantly suppressed velocity shear. Such configurations, which consist of a narrow, unmagnetized jet spine surrounded by an extended, force-free layer, may require an additional poloidal field component to stabilize them against current-driven oscillations, but even this will not elevate substantially their $σ$ parameter. △ Less

Submitted 29 March, 2022; v1 submitted 25 February, 2022; originally announced February 2022.

Comments: The Astrophysical Journal, in press

3D RMHD simulations of jet-wind interactions in High Mass X-ray Binaries

Authors: J. López-Miralles, M. Perucho, J. M. Martí, S. Migliari, V. Bosch-Ramon

Abstract: The interaction of jets in High-Mass X-ray Binaries (HMXBs) with the strong winds driven by the hot companion star in the vicinity of the compact object is fundamental to understand the jet dynamics, non-thermal emission and long-term stability. However, the role of the jet magnetic field in this process is unclear. We study the dynamical role of weak and moderate-to-strong toroidal magnetic field… ▽ More The interaction of jets in High-Mass X-ray Binaries (HMXBs) with the strong winds driven by the hot companion star in the vicinity of the compact object is fundamental to understand the jet dynamics, non-thermal emission and long-term stability. However, the role of the jet magnetic field in this process is unclear. We study the dynamical role of weak and moderate-to-strong toroidal magnetic fields during the first hundreds of seconds of jet propagation, focusing on the magnetized flow dynamics and the mechanisms of energy conversion. We have developed the code Lóstrego v1.0, a new 3D RMHD code to simulate astrophysical plasmas in Cartesian coordinates. Using this tool, we performed the first 3D RMHD numerical simulations of relativistic magnetized jets propagating through the clumpy stellar wind in a HMXB. The overall morphology and dynamics of weakly magnetized jet models is similar to previous hydrodynamical simulations, where the jet head generates a strong shock in the ambient medium and the initial over-pressure with respect to the stellar wind drives one or more recollimation shocks. In the time scales of our simulations, these jets are ballistic and seem to be more stable against internal instabilities than jets with the same power in the absence of fields. However, moderate-to-strong toroidal magnetic fields favour the development of current-driven instabilities and the disruption of the jet within the binary. A detailed analysis of the energy distribution in the relativistic outflow and the ambient medium reveals that both magnetic and internal energies can contribute to the effective acceleration of the jet. We certify that the jet feedback into the ambient medium is highly dependent on the jet energy distribution at injection, where hotter, more dilute and/or more magnetized jets are more efficient, as anticipated by feedback studies in the case of jets in active galaxies. △ Less

Submitted 22 February, 2022; originally announced February 2022.

Comments: 28 pages, 23 figures. Abstract shortened for arXiv. Accepted for publication in A&A

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

Imaging cloaked objects: diffraction tomography of realistic invisibility devices

Authors: Francisco J. Díaz-Fernández, Javier Martí, Carlos García-Meca

Abstract: Invisibility cloaks have become one of the most outstanding developments among the wide range of applications in the field of metamaterials. So far, most efforts in invisibility science have been devoted to achieving practically realizable cloak designs and to improving the effectiveness of these devices in reducing their scattering cross-section (SCS), a scalar quantity accounting for the total e… ▽ More Invisibility cloaks have become one of the most outstanding developments among the wide range of applications in the field of metamaterials. So far, most efforts in invisibility science have been devoted to achieving practically realizable cloak designs and to improving the effectiveness of these devices in reducing their scattering cross-section (SCS), a scalar quantity accounting for the total electromagnetic energy scattered by an object. In contrast, little attention has been paid to the opposite side of the technology: the development of more efficient techniques for the detection of invisibility devices. For instance, the SCS ignores the phase change introduced by the cloak, as well as the angular dependence of the incident and scattered waves. Here, we propose to take advantage of the smarter way in which diffraction tomography processes all this overlooked information to improve the efficiency in unveiling the presence of invisibility devices. We show that this approach not only results in a considerable sensitivity enhancement in the detection of different kinds of cloaks based on both scattering cancellation and transformation optics, but also enables us to even obtain images depicting the approximate shape and size of the cloak. As a side result, we find that scattering cancellation coatings may be used to enhance the contrast of tomographic images of closely-packed particles. Our work could be easily extended to the detection of sound cloaks. △ Less

Submitted 24 January, 2022; originally announced January 2022.

Comments: 10 pages, 11 figures

Reading M87's DNA: A Double Helix revealing a large scale Helical Magnetic Field

Authors: Alice Pasetto, Carlos Carrasco-Gonzalez, Jose L. Gomez, Jose M. Marti, Manel Perucho, Shane P. O'Sullivan, Craig Anderson, Daniel Jacobo Diaz-Gonzalez, Antonio Fuentes, John Wardle

Abstract: We present unprecedented high fidelity radio images of the M87 jet. We analyzed Jansky Very Large Array (VLA) broadband, full polarization, radio data from 4 to 18 GHz. The observations were taken with the most extended configuration (A configuration), which allow the study of the emission of the jet up to kpc scales with a linear resolution $\sim$10 pc. The high sensitivity and resolution of our… ▽ More We present unprecedented high fidelity radio images of the M87 jet. We analyzed Jansky Very Large Array (VLA) broadband, full polarization, radio data from 4 to 18 GHz. The observations were taken with the most extended configuration (A configuration), which allow the study of the emission of the jet up to kpc scales with a linear resolution $\sim$10 pc. The high sensitivity and resolution of our data allow to resolve the jet width. We confirm a double-helix morphology of the jet material between $\sim$300 pc and $\sim$1 kpc. We found a gradient of the polarization degree with a minimum at the projected axis and maxima at the jet edges, and a gradient in the Faraday depth with opposite signs at the jet edges. We also found that the behavior of the polarization properties along the wide range of frequencies is consistent with internal Faraday depolarization. All these characteristics strongly support the presence of a helical magnetic field in the M87 jet up to 1 kpc from the central black hole although the jet is most likely particle dominated at these large scales. Therefore, we propose a plausible scenario in which the helical configuration of the magnetic field has been maintained to large scales thanks to the presence of Kelvin-Helmholtz instabilities. △ Less

Submitted 13 December, 2021; originally announced December 2021.

Comments: Published on ApJL

Long-term FRII jet evolution in dense environments

Authors: Manel Perucho, José María Martí, Vicent Quilis

Abstract: We present long-term numerical three-dimensional simulations of a relativistic outflow propagating through a galactic ambient medium and environment, up to distances $\sim 100$~kpc. Our aim is to study the role of dense media in the global dynamics of the radio source. We use a relativistic gas equation of state, and a basic description of thermal cooling terms. In previous work, we showed that a… ▽ More We present long-term numerical three-dimensional simulations of a relativistic outflow propagating through a galactic ambient medium and environment, up to distances $\sim 100$~kpc. Our aim is to study the role of dense media in the global dynamics of the radio source. We use a relativistic gas equation of state, and a basic description of thermal cooling terms. In previous work, we showed that a linear perturbation could enhance the jet propagation during the early phases of evolution, by introducing obliquity to the jet reverse shock. Here, we show that this effect is reduced in denser media. We find that the dentist-drill effect acts earlier, due to slower jet propagation and an increased growth of the helical instability. The global morphology of the jet is less elongated, with more prominent lobes. The fundamental physical parameters of the jet generated structure derived from our simulations fall within the estimated values derived for FRII jets in the 3C sample. In agreement with previous axisymmetric and three dimensional simulations in lower density media, we conclude that shock heating of the interstellar and intergalactic media is very efficient in the case of powerful, relativistic jets. △ Less

Submitted 7 December, 2021; v1 submitted 6 December, 2021; originally announced December 2021.

Comments: Accepted for publication in Monthly Notices of the Royal Astronomical Society

On the size of disjunctive formulas in the $μ$-calculus

Authors: Clemens Kupke, Johannes Marti, Yde Venema

Abstract: A key result in the theory of the modal mu-calculus is the disjunctive normal form theorem by Janin & Walukiewicz, stating that every mu-calculus formula is semantically equivalent to a so-called disjunctive formula. These disjunctive formulas have good computational properties and play a pivotal role in the theory of the modal mu-calculus. It is therefore an interesting question what the best nor… ▽ More A key result in the theory of the modal mu-calculus is the disjunctive normal form theorem by Janin & Walukiewicz, stating that every mu-calculus formula is semantically equivalent to a so-called disjunctive formula. These disjunctive formulas have good computational properties and play a pivotal role in the theory of the modal mu-calculus. It is therefore an interesting question what the best normalisation procedure is for rewriting a formula into an equivalent disjunctive formula of minimal size. The best constructions that are known from the literature are automata-theoretic in nature and consist of a guarded transformation, i.e., the constructing of an equivalent guarded alternating automaton from a mu-calculus formula, followed by a Simulation Theorem stating that any such alternating automaton can be transformed into an equivalent non-deterministic one. Both of these transformations are exponential constructions, making the best normalisation procedure doubly exponential. Our key contribution presented here shows that the two parts of the normalisation procedure can be integrated, leading to a procedure that is single-exponential in the closure size of the formula. △ Less

Submitted 16 September, 2021; originally announced September 2021.

Comments: In Proceedings GandALF 2021, arXiv:2109.07798

ACM Class: F.4.1; F.1.1; I.2.4

Journal ref: EPTCS 346, 2021, pp. 291-307

Structure of benzothiadiazine at zwitterionic phospholipid cell membranes

Authors: Zheyao Hu, Jordi Marti, Huixia Lu

Abstract: The use of drugs derived from benzothiadiazine, which is a bicyclic heterocyclic benzene derivative, has become a widespread treatment for diseases such as hypertension (treated with diuretics such as bendroflumethiazide or chlorothiazide), low blood sugar (treated with non-diuretic diazoxide) or the human immunodeficiency virus, among others. In this work we have investigated the interactions of… ▽ More The use of drugs derived from benzothiadiazine, which is a bicyclic heterocyclic benzene derivative, has become a widespread treatment for diseases such as hypertension (treated with diuretics such as bendroflumethiazide or chlorothiazide), low blood sugar (treated with non-diuretic diazoxide) or the human immunodeficiency virus, among others. In this work we have investigated the interactions of benzothiadiazine with the basic components of cell membranes and solvents such as phospholipids, cholesterol, ions and water. The analysis of the mutual microscopic interactions is of central importance to elucidate the local structure of benzothiadiazine as well as the mechanisms responsible for the access of benzothiadiazine to the interior of the cell. We have performed molecular dynamics simulations of benzothiadiazine embedded in three different model zwitterionic bilayer membranes made by dimyristoilphosphatidylcholine, dioleoylphosphatidylcholine, 1,2- dioleoyl-sn-glycero-3-phosphoserine and cholesterol inside aqueous sodium-chloride solution in order to systematically examine microscopic interactions of benzothiadiazine with the cell membrane at liquid-crystalline phase conditions. From data obtained through radial distribution functions, hydrogen-bonding lengths and potentials of mean force based on reversible work calculations, we have observed that benzothiadiazine has a strong affinity to stay at the cell membrane interface although it can be fully solvated by water in short periods of time. Furthermore, benzothiadiazine is able to bind lipids and cholesterol chains by means of single and double hydrogen-bonds of different characteristic lengths. △ Less

Submitted 30 July, 2021; originally announced July 2021.

Comments: 10 pages, 8 figures, 3 tables

Nucleation of helium in liquid lithium

Authors: J. Martí, F. Mazzanti, G. E. Astrakharchik, L. Batet, L. Portos-Amill, B. Pedreño

Abstract: Fusion energy stands out as a promising alternative for a future decarbonised energy system. To be sustainable, future fusion nuclear reactors will have to produce their own tritium. In the so-called breeding blanket of a reactor, the neutron bombardment of lithium will produce the desired tritium, but also helium, which can trigger nucleation mechanisms owing to the very low solubility of helium… ▽ More Fusion energy stands out as a promising alternative for a future decarbonised energy system. To be sustainable, future fusion nuclear reactors will have to produce their own tritium. In the so-called breeding blanket of a reactor, the neutron bombardment of lithium will produce the desired tritium, but also helium, which can trigger nucleation mechanisms owing to the very low solubility of helium in liquid metals. An understanding of the underlying microscopic processes is important for improving the efficiency, sustainability and reliability of the fusion energy conversion process. A spontaneous creation of helium drops or bubbles in the liquid metal used as breeding material in some designs may be a serious issue for the performance of the breeding blankets. This phenomenon has yet to be fully studied and understood. This work aims to provide some insight on the behavior of lithium and helium mixtures at experimentally corresponding operating conditions (843 K and pressures between 0.1 and 7 GPa). We report a microscopic study of the thermodynamic, structural and dynamical properties of lithium-helium mixtures, as a first step to the simulation of the environment in a nuclear fusion power plant. We introduce a microscopic model devised to describe the formation of helium drops in the thermodynamic range considered. A transition from a miscible homogeneous mixture to a phase-separated one, in which helium drops are nucleated, is observed as the pressure is increased above 0.175 GPa. The diffusion coefficient of lithium (2 Å 2 /ps) is in excellent agreement with reference experimental data, whereas the diffusion coefficient of helium is in the range of 1 Å 2 /ps and tends to decrease as pressure increases. The radii of helium drops have been found to be between 1 and 2 Å. △ Less

Submitted 19 July, 2021; originally announced July 2021.

Probing extreme environments with the Cherenkov Telescope Array

Authors: C. Boisson, A. M. Brown, A. Burtovoi, M. Cerruti, M. Chernyakova, T. Hassan, J. -P. Lenain, M. Manganaro, P. Romano, H. Sol, F. Tavecchio, S. Vercellone, L. Zampieri, R. Zanin, A. Zech, I. Agudo, R. Alves Batista, E. O. Anguner, L. A. Antonelli, M. Backes, C. Balazs, J. Becerra González, C. Bigongiari, E. Bissaldi, J. Bolmont , et al. (105 additional authors not shown)

Abstract: The physics of the non-thermal Universe provides information on the acceleration mechanisms in extreme environments, such as black holes and relativistic jets, neutron stars, supernovae or clusters of galaxies. In the presence of magnetic fields, particles can be accelerated towards relativistic energies. As a consequence, radiation along the entire electromagnetic spectrum can be observed, and ex… ▽ More The physics of the non-thermal Universe provides information on the acceleration mechanisms in extreme environments, such as black holes and relativistic jets, neutron stars, supernovae or clusters of galaxies. In the presence of magnetic fields, particles can be accelerated towards relativistic energies. As a consequence, radiation along the entire electromagnetic spectrum can be observed, and extreme environments are also the most likely sources of multi-messenger emission. The most energetic part of the electromagnetic spectrum corresponds to the very-high-energy (VHE, E>100 GeV) gamma-ray regime, which can be extensively studied with ground based Imaging Atmospheric Cherenkov Telescopes (IACTs). The results obtained by the current generation of IACTs, such as H.E.S.S., MAGIC, and VERITAS, demonstrate the crucial importance of the VHE band in understanding the non-thermal emission of extreme environments in our Universe. In some objects, the energy output in gamma rays can even outshine the rest of the broadband spectrum. The Cherenkov Telescope Array (CTA) is the next generation of IACTs, which, with cutting edge technology and a strategic configuration of ~100 telescopes distributed in two observing sites, in the northern and southern hemispheres, will reach better sensitivity, angular and energy resolution, and broader energy coverage than currently operational IACTs. With CTA we can probe the most extreme environments and considerably boost our knowledge of the non-thermal Universe. △ Less

Submitted 7 June, 2021; originally announced June 2021.

Comments: Submitted as input to ASTRONET Science Vision and Infrastructure roadmap on behalf of the CTA consortium

Multi-messenger and transient astrophysics with the Cherenkov Telescope Array

Authors: Ž. Bošnjak, A. M. Brown, A. Carosi, M. Chernyakova, P. Cristofari, F. Longo, A. López-Oramas, M. Santander, K. Satalecka, F. Schüssler, O. Sergijenko, A. Stamerra, I. Agudo, R. Alves Batista, E. Amato, E. O. Anguner, L. A. Antonelli, M. Backes, Csaba Balazs, L. Baroncelli, J. Becker Tjus, C. Bigongiari, E. Bissaldi, C. Boisson, J. Bolmont , et al. (120 additional authors not shown)

Abstract: The discovery of gravitational waves, high-energy neutrinos or the very-high-energy counterpart of gamma-ray bursts has revolutionized the high-energy and transient astrophysics community. The development of new instruments and analysis techniques will allow the discovery and/or follow-up of new transient sources. We describe the prospects for the Cherenkov Telescope Array (CTA), the next-generati… ▽ More The discovery of gravitational waves, high-energy neutrinos or the very-high-energy counterpart of gamma-ray bursts has revolutionized the high-energy and transient astrophysics community. The development of new instruments and analysis techniques will allow the discovery and/or follow-up of new transient sources. We describe the prospects for the Cherenkov Telescope Array (CTA), the next-generation ground-based gamma-ray observatory, for multi-messenger and transient astrophysics in the decade ahead. CTA will explore the most extreme environments via very-high-energy observations of compact objects, stellar collapse events, mergers and cosmic-ray accelerators. △ Less

Submitted 7 June, 2021; originally announced June 2021.

Comments: Submitted to ASTRONET roadmap on behalf of the CTA consortium

Origin and role of relativistic cosmic particles

Authors: A. Araudo, G. Morlino, B. Olmi, F. Acero, I. Agudo, R. Adam, R. Alves Batista, E. Amato, E. O. Anguner, L. A. Antonelli, Y. Ascasibar, C. Balazs, J. Becker Tjus, C. Bigongiari, E. Bissaldi, J. Bolmont, C. Boisson, P. Bordas, Ž. Bošnjak, A. M. Brown, M. Burton, N. Bucciantini, F. Cangemi, P. Caraveo, M. Cardillo , et al. (99 additional authors not shown)

Abstract: This white paper briefly summarizes the importance of the study of relativistic cosmic rays, both as a constituent of our Universe, and through their impact on stellar and galactic evolution. The focus is on what can be learned over the coming decade through ground-based gamma-ray observations over the 20 GeV to 300 TeV range. The majority of the material is drawn directly from "Science with the C… ▽ More This white paper briefly summarizes the importance of the study of relativistic cosmic rays, both as a constituent of our Universe, and through their impact on stellar and galactic evolution. The focus is on what can be learned over the coming decade through ground-based gamma-ray observations over the 20 GeV to 300 TeV range. The majority of the material is drawn directly from "Science with the Cherenkov Telescope Array", which describes the overall science case for CTA. We request that authors wishing to cite results contained in this white paper cite the original work. △ Less

Submitted 15 June, 2021; v1 submitted 7 June, 2021; originally announced June 2021.

Comments: Submitted as input to ASTRONET Science Vision and Infrastructure roadmap on behalf of the CTA consortium. arXiv admin note: text overlap with arXiv:1709.07997

Orbital and sub-orbital period determination of the candidate high-mass X-ray binary HD 3191

Authors: Josep Martí, Pedro L. Luque-Escamilla, Estrella Sánchez-Ayaso, Josep M. Paredes

Abstract: The final aim of this paper is to expand the sparse group of X-ray binaries with gamma-ray counterparts as laboratories to study high-energy processes under physical conditions that periodically repeat. A follow-up of a candidate system has been carried out. We applied both photometric and spectroscopic techniques in the optical domain together with a period analysis using the phase dispersion min… ▽ More The final aim of this paper is to expand the sparse group of X-ray binaries with gamma-ray counterparts as laboratories to study high-energy processes under physical conditions that periodically repeat. A follow-up of a candidate system has been carried out. We applied both photometric and spectroscopic techniques in the optical domain together with a period analysis using the phase dispersion minimization and CLEAN methods. A tentative period search was also conducted in the gamma-ray domain. Our main result is having established the binary nature of the optical star and X-ray emitter HD 3191 towards the Fermi gamma-ray source 4FGL J0035.8+6131, the last one proposed to be associated with a blazar of an unknown type. An orbital period close to 16 days is reported for HD 3191 together with a likely rotation, or pulsation, period of about 0.6 d. Although no convincing evidence for the orbital cycle has been found in the Fermi light curve up to now, the confirmed presence of a high-mass X-ray binary towards 4FGL J0035.8+6131 now strengthens the need for caution about its true nature. △ Less

Submitted 7 May, 2021; originally announced May 2021.

Comments: Accepted for publication in Astronomy & Astrophysics

Journal ref: A&A 651, A1 (2021)

The symbiotic binary ZZ CMi: intranight variability and suggested outbursting nature

Authors: R. K. Zamanov, K. A. Stoyanov, A. Kostov, A. Kurtenkov, G. Nikolov, G. Latev, M. F. Bode, J. Marti, P. L. Luque-Escamilla, N. Tomov, Y. M. Nikolov, S. S. Boeva

Abstract: We present photometric and spectral observations of the symbiotic star ZZ CMi. We detect intranight variability - flickering and smooth variations in U band. The amplitude of the flickering is about 0.10-0.20 mag in U band. In the B band the variability is lower, with amplitude less than 0.03 mag. We also detect variability in the H-alpha and H-beta emission lines, and find an indication for outfl… ▽ More We present photometric and spectral observations of the symbiotic star ZZ CMi. We detect intranight variability - flickering and smooth variations in U band. The amplitude of the flickering is about 0.10-0.20 mag in U band. In the B band the variability is lower, with amplitude less than 0.03 mag. We also detect variability in the H-alpha and H-beta emission lines, and find an indication for outflow with velocity of about 120-150 km/s. The results indicate that ZZ CMi is an accretion powered symbiotic containing an M4-M6 III cool component with an white dwarf resembling recurrent novae and jet-ejecting symbiotic stars. [The data are available on www.astro.bas.bg/~rz/ZZCMi/ZZCMi.tar.gz] △ Less

Submitted 1 October, 2021; v1 submitted 11 March, 2021; originally announced March 2021.

Comments: accepted in Astronomische Nachrichten / Astronomical Notes

Focus-style proof systems and interpolation for the alternation-free $μ$-calculus

Authors: Johannes Marti, Yde Venema

Abstract: In this paper we introduce a cut-free sequent calculus for the alternation-free fragment of the modal $μ$-calculus. This system allows for cyclic proofs and uses a simple focus mechanism to control the unravelling of fixpoints along infinite branches. We show that the proof system is sound and complete and apply it to prove that the alternation-free fragment has the Craig interpolation property. In this paper we introduce a cut-free sequent calculus for the alternation-free fragment of the modal $μ$-calculus. This system allows for cyclic proofs and uses a simple focus mechanism to control the unravelling of fixpoints along infinite branches. We show that the proof system is sound and complete and apply it to prove that the alternation-free fragment has the Craig interpolation property. △ Less

Submitted 30 April, 2021; v1 submitted 2 March, 2021; originally announced March 2021.

Radius, rotational period and inclination of the Be stars in the Be/gamma-ray binaries MWC 148 and MWC 656

Authors: R. K. Zamanov, K. A. Stoyanov, J. Marti, V. D. Marchev, Y. M. Nikolov

Abstract: Using TESS photometry and Rozhen spectra of the Be/gamma-ray binaries MWC 148 and MWC 656, we estimate the projected rotational velocity ($ {v} \sin i$), the rotational period (P$_{\rm rot}$), radius (R$_{\rm 1}$), and inclination ($i$) of the mass donor. For MWC 148 we derive P$_{\rm rot} = 1.10 \pm 0.03$~d, R$_{\rm 1}= 9.2 \pm 0.5$~R$_\odot$, $i = 40^\circ \pm 2^\circ$, and… ▽ More Using TESS photometry and Rozhen spectra of the Be/gamma-ray binaries MWC 148 and MWC 656, we estimate the projected rotational velocity ($ {v} \sin i$), the rotational period (P$_{\rm rot}$), radius (R$_{\rm 1}$), and inclination ($i$) of the mass donor. For MWC 148 we derive P$_{\rm rot} = 1.10 \pm 0.03$~d, R$_{\rm 1}= 9.2 \pm 0.5$~R$_\odot$, $i = 40^\circ \pm 2^\circ$, and $ {v} \sin i =272 \pm 5$~km~s$^{-1}$. For MWC 656 we obtain P$_{\rm rot} = 1.12 \pm 0.03$~d, R$_{\rm 1}= 8.8 \pm 0.5$~R$_\odot$, $i = 52^\circ \pm 3^\circ$, and $ {v} \sin i =313 \pm 3$~km~s$^{-1}$. For MWC 656 we also find that the rotation of the mass donor is coplanar with the orbital plane. △ Less

Submitted 3 February, 2021; originally announced February 2021.

Comments: 6 pages, Accepted by Astronomische Nachrichten / Astronomical Notes

RadioAstron reveals a spine-sheath jet structure in 3C 273

Authors: G. Bruni, J. L. Gómez, L. Vega-García, A. P. Lobanov, A. Fuentes, T. Savolainen, Y. Y. Kovalev, M. Perucho, J. -M. Martí, J. M. Anderson, P. G. Edwards, L. I. Gurvits, M. M. Lisakov, A. B. Pushkarev, K. V. Sokolovsky, J. A. Zensus

Abstract: We present Space-VLBI RadioAstron observations at 1.6 GHz and 4.8 GHz of the flat spectrum radio quasar 3C 273, with detections on baselines up to 4.5 and 3.3 Earth Diameters, respectively. Achieving the best angular resolution at 1.6 GHz to date, we have imaged limb-brightening in the jet, not previously detected in this source. In contrast, at 4.8 GHz, we detected emission from a central stream… ▽ More We present Space-VLBI RadioAstron observations at 1.6 GHz and 4.8 GHz of the flat spectrum radio quasar 3C 273, with detections on baselines up to 4.5 and 3.3 Earth Diameters, respectively. Achieving the best angular resolution at 1.6 GHz to date, we have imaged limb-brightening in the jet, not previously detected in this source. In contrast, at 4.8 GHz, we detected emission from a central stream of plasma, with a spatial distribution complementary to the limb-brightened emission, indicating an origin in the spine of the jet. While a stratification across the jet width in the flow density, internal energy, magnetic field, or bulk flow velocity are usually invoked to explain the limb-brightening, the different jet structure detected at the two frequencies probably requires a stratification in the emitting electron energy distribution. Future dedicated numerical simulations will allow the determination of which combination of physical parameters are needed to reproduce the spine/sheath structure observed by Space-VLBI with RadioAstron in 3C 273 △ Less

Submitted 15 July, 2021; v1 submitted 18 January, 2021; originally announced January 2021.

Comments: Accepted by A&A

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

Query Expressibility and Verification in Ontology-Based Data Access

Authors: Carsten Lutz, Johannes Marti, Leif Sabellek

Abstract: In ontology-based data access, multiple data sources are integrated using an ontology and mappings. In practice, this is often achieved by a bootstrapping process, that is, the ontology and mappings are first designed to support only the most important queries over the sources and then gradually extended to enable additional queries. In this paper, we study two reasoning problems that support such… ▽ More In ontology-based data access, multiple data sources are integrated using an ontology and mappings. In practice, this is often achieved by a bootstrapping process, that is, the ontology and mappings are first designed to support only the most important queries over the sources and then gradually extended to enable additional queries. In this paper, we study two reasoning problems that support such an approach. The expressibility problem asks whether a given source query $q_s$ is expressible as a target query (that is, over the ontology's vocabulary) and the verification problem asks, additionally given a candidate target query $q_t$, whether $q_t$ expresses $q_s$. We consider (U)CQs as source and target queries and GAV mappings, showing that both problems are $Π^p_2$-complete in DL-Lite, coNExpTime-complete between EL and ELHI when source queries are rooted, and 2ExpTime-complete for unrestricted source queries. △ Less

Submitted 18 November, 2020; originally announced November 2020.

Journal ref: Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, pages 389--398, AAAI Press, 2018

Size matters in the modal $μ$-calculus

Authors: Clemens Kupke, Johannes Marti, Yde Venema

Abstract: We discuss and compare complexity measures for the modal $μ$-calculus, focusing on size and alternation depth. As a yardstick we take Wilke's alternating tree automata, which we shall call parity formulas in the text. Building on work by Bruse, Friedmann & Lange, we compare two size measures for $μ$-calculus formulas: subformula-size,i.e. , the number of subformulas of the given formula, and closu… ▽ More We discuss and compare complexity measures for the modal $μ$-calculus, focusing on size and alternation depth. As a yardstick we take Wilke's alternating tree automata, which we shall call parity formulas in the text. Building on work by Bruse, Friedmann & Lange, we compare two size measures for $μ$-calculus formulas: subformula-size,i.e. , the number of subformulas of the given formula, and closure-size. These notions correspond to the representation of a formula as a parity formula based on, respectively, its subformula dag, and its closure graph. What distinguishes our approach is that we are explicit about the role of alpha-equivalence, as naively renaming bound variables can lead to an exponential blow-up. In addition, we match the formula's alternation depth with the index of the parity formula. We start in a setting without alpha-equivalence. We define subformula-size and closure-size and recall that a $μ$-calculus formula can be transformed into a parity formula of size linear wrt subformula size, and give a construction that transforms a $μ$-calculus formula into an equivalent parity formula linear wrt closure-size. Conversely, there is a standard transformation producing a $μ$-calculus formula of exponential subformula -- but linear closure-size in terms of the size of the original parity formula. We identify so-called untwisted parity formulas for which a transformation linear in subformula-size exists. We then introduce size notions that are completely invariant under alpha equivalence. We transfer the result of Bruse et alii, showing that also in our setting closure-size can be exponentially smaller than subformula-size. We also show how to rename bound variables so that alpha-equivalence becomes syntactic identity on the closure set. Finally, we review the complexity of guarded transformations. △ Less

Submitted 27 October, 2020; originally announced October 2020.

MSC Class: 03B70; 03B44; 03B45

Effects of precession versus instabilities on the jets of GRS 1758-258

Authors: Pedro L. Luque-Escamilla, Josep Martí, José Martínez-Aroza

Abstract: Aims. The prototypical microquasar GRS 1758-258 exhibits large-scale morphological changes in radio maps over time which have been attributed to the rise of instabilities. Here, we investigate whether these effects could be attributed to jet precession instead. Methods.We used new and archival radio maps to fit a kinematic jet precession model. The value of the parameters thus obtained were analys… ▽ More Aims. The prototypical microquasar GRS 1758-258 exhibits large-scale morphological changes in radio maps over time which have been attributed to the rise of instabilities. Here, we investigate whether these effects could be attributed to jet precession instead. Methods.We used new and archival radio maps to fit a kinematic jet precession model. The value of the parameters thus obtained were analysed in order to get constraints on the physical properties of the GRS 1758-258 system. Their consistency with different theories of the origins for the jet precession, such as Lense-Thirring effect and tidal torques induced by the secondary star, has previously been studied. Alternatively, we also assessed the possibility that observations are compatible with eventual jet instabilities. Results. The new radio data presented here confirm that the large-scale radio morphology of GRS 1758-258 is changing over time. Our study shows that the 18.48 day period could plausibly be ascribed to precession, thus implying a reinterpretation of assumptions made for the orbital period to date. However, the observed structural changes in radio jets cannot be easily attributed to jet precession according to our analysis. In contrast, the growth of instabilities certainly appears to be a more realistic explanation of these effects. △ Less

Submitted 19 October, 2020; originally announced October 2020.

Comments: Accepted for publication in Astronomy and Astrophysics

Journal ref: A&A 643, A150 (2020)