Diffuse radio emission in the complex merging galaxy cluster Abell 2069

Galaxy clusters with signs for a recent merger show in many cases extended diffuse radio features. This emission originates from relativistic electrons which suffer synchrotron losses due to the intra-cluster magnetic field. The mechanisms of the particle acceleration and the properties of the magnetic field are still poorly understood. We search for diffuse radio emission in galaxy clusters. Here, we study the complex galaxy cluster Abell 2069, for which X-ray observations indicate a recent merger. We investigate the cluster's radio continuum emission by deep Westerbork Synthesis Radio Telescope (WSRT) observations at 346 MHz and a Giant Metrewave Radio Telescope (GMRT) observation at 322 MHz. We find an extended diffuse radio feature roughly coinciding with the main component of the cluster. We classify this emission as a radio halo and estimate its lower limit flux density to 25 +/- 9 mJy. Moreover, we find a second extended diffuse source located at the cluster's companion and estimate its flux density to 15 +/- 2 mJy. We speculate that this is a small halo or a mini-halo. If true, this cluster is the first example of a double-halo in a single galaxy cluster.Comment: 6 pages, 3 figures, accepted for publication in A&

Hybrid Rules with Well-Founded Semantics

A general framework is proposed for integration of rules and external first order theories. It is based on the well-founded semantics of normal logic programs and inspired by ideas of Constraint Logic Programming (CLP) and constructive negation for logic programs. Hybrid rules are normal clauses extended with constraints in the bodies; constraints are certain formulae in the language of the external theory. A hybrid program is a pair of a set of hybrid rules and an external theory. Instances of the framework are obtained by specifying the class of external theories, and the class of constraints. An example instance is integration of (non-disjunctive) Datalog with ontologies formalized as description logics. The paper defines a declarative semantics of hybrid programs and a goal-driven formal operational semantics. The latter can be seen as a generalization of SLS-resolution. It provides a basis for hybrid implementations combining Prolog with constraint solvers. Soundness of the operational semantics is proven. Sufficient conditions for decidability of the declarative semantics, and for completeness of the operational semantics are given

Using global analysis, partial specifications, and an extensible assertion language for program validation and debugging

We discuss a framework for the application of abstract interpretation as an aid during program development, rather than in the more traditional application of program optimization. Program validation and detection of errors is first performed statically by comparing (partial) specifications written in terms of assertions against information obtained from (global) static analysis of the program. The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests. The framework allows the use of assertions to be optional. It also allows using very general properties in assertions, beyond the predefined set understandable by the static analyzer and including properties defined by user programs. We also report briefly on an implementation of the framework. The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way. The tool allows using properties such as types, modes, non-failure, determinacy, and computational cost, and can treat modules separately, performing incremental analysis

Optimizing the computation of overriding

We introduce optimization techniques for reasoning in DLN---a recently introduced family of nonmonotonic description logics whose characterizing features appear well-suited to model the applicative examples naturally arising in biomedical domains and semantic web access control policies. Such optimizations are validated experimentally on large KBs with more than 30K axioms. Speedups exceed 1 order of magnitude. For the first time, response times compatible with real-time reasoning are obtained with nonmonotonic KBs of this size

An assertion language for constraint logic programs

In an advanced program development environment, such as that discussed in the introduction of this book, several tools may coexist which handle both the program and information on the program in different ways. Also, these tools may interact among themselves and with the user. Thus, the different tools and the user need some way to communicate. It is our design principie that such communication be performed in terms of assertions. Assertions are syntactic objects which allow expressing properties of programs. Several assertion languages have been used in the past in different contexts, mainly related to program debugging. In this chapter we propose a general language of assertions which is used in different tools for validation and debugging of constraint logic programs in the context of the DiSCiPl project. The assertion language proposed is parametric w.r.t. the particular constraint domain and properties of interest being used in each different tool. The language proposed is quite general in that it poses few restrictions on the kind of properties which may be expressed. We believe the assertion language we propose is of practical relevance and appropriate for the different uses required in the tools considered

Hard X-ray selected giant radio galaxies -- III. The LOFAR view

Giant radio galaxies (GRGs), with extended structures reaching hundreds of kpc, are among the most spectacular examples of ejection of relativistic plasma from super-massive black holes. In this work, third of a series, we present LOw Frequency ARray (LOFAR) images at 144 MHz, collected in the framework of the LOFAR Two-metre Sky Survey Data Release 2 (LoTSS DR2), for nine sources extracted from our sample of hard X-ray selected GRGs (HXGRG, i.e. from INTEGRAL/IBIS and Swift/BAT catalogues at >20 keV). Thanks to the resolution and sensitivity of LoTSS, we could probe the complex morphology of these GRGs, unveiling cases with diffuse (Mpc-scale) remnant emission, presence of faint off-axis wings, or a misaligned inner jet. In particular, for one source (B21144+35B), we could clearly detect a $\sim$300 kpc wide off-axis emission, in addition to an inner jet which orientation is not aligned with the lobes axis. For another source (J1153.9+5848) a structure consistent with jet precession was revealed, appearing as an X-shaped morphology with relic lobes having an extension larger than the present ones, and with a different axis orientation. From an environment analysis, we found 2 sources showing an overdensity of cosmological neighbours, and a correspondent association with a galaxy cluster from catalogues. Finally, a comparison with radio-selected GRGs from LoTSS DR1 suggested that, on average, HXGRG can grow to larger extents. These results highlight the importance of deep low-frequency observations to probe the evolution of radio galaxies, and ultimately estimate the duty cycle of their jets.Comment: Accepted for publication in MNRA

A LOFAR study of non-merging massive galaxy clusters

Centrally located diffuse radio emission has been observed in both merging and non-merging galaxy clusters. Depending on their morphology and size, we distinguish between giant radio haloes, which occur predominantly in merging clusters, and mini haloes, which are found in non-merging, cool-core clusters. In recent years, cluster-scale radio emission has also been observed in clusters with no sign of major mergers, showing that our knowledge of the mechanisms that lead to particle acceleration in the intra-cluster medium (ICM) is still incomplete. Low-frequency sensitive observations are required to assess whether the emission discovered in these few cases is common in galaxy clusters or not. With this aim, we carried out a campaign of observations with the LOw Frequency ARay (LOFAR) in the frequency range 120-168 MHz of nine massive clusters selected from the Planck SZ catalogue, which had no sign of major mergers. In this paper, we discuss the results of the observations that have led to the largest cluster sample studied within the LOFAR Two-metre Sky Survey, and we present Chandra X-ray data used to investigate the dynamical state of the clusters, verifying that the clusters are currently not undergoing major mergers, and to search for traces of minor or off-axis mergers. We discover large-scale steep-spectrum emission around mini haloes in the cool-core clusters PSZ1G139.61+24 and RXJ1720.1+2638, which is not observed around the mini halo in the non-cool-core cluster A1413. We also discover a new 570 kpc-halo in the non-cool-core cluster RXCJ0142.0+2131. We derived new upper limits to the radio power for clusters in which no diffuse radio emission was found, and we discuss the implication of our results to constrain the cosmic-ray energy budget in the ICM. We conclude that radio emission in non-merging massive clusters is not common at the sensitivity level reached by our observations and that no clear connection with the cluster dynamical state is observed. Our results might indicate that the sloshing of a dense cool core could trigger particle acceleration on larger scales and generate steep-spectrum radio emission