Actions and Events in Concurrent Systems Design

In this work, having in mind the construction of concurrent systems from components, we discuss the difference between actions and events. For this discussion, we propose an(other) architecture description language in which actions and events are made explicit in the description of a component and a system. Our work builds from the ideas set forth by the categorical approach to the construction of software based systems from components advocated by Goguen and Burstall, in the context of institutions, and by Fiadeiro and Maibaum, in the context of temporal logic. In this context, we formalize a notion of a component as an element of an indexed category and we elicit a notion of a morphism between components as morphisms of this category. Moreover, we elaborate on how this formalization captures, in a convenient manner, the underlying structure of a component and the basic interaction mechanisms for putting components together. Further, we advance some ideas on how certain matters related to the openness and the compositionality of a component/system may be described in terms of classes of morphisms, thus potentially supporting a compositional rely/guarantee reasoning.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Can giant radio halos probe the merging rate of galaxy clusters?

Radio and X-ray observations of galaxy clusters probe a direct link between cluster mergers and giant radio halos (RH), suggesting that these sources can be used as probes of the cluster merging rate with cosmic time. In this paper we carry out an explorative study that combines the observed fractions of merging clusters (fm) and RH (fRH) with the merging rate predicted by cosmological simulations and attempt to infer constraints on merger properties of clusters that appear disturbed in X-rays and of clusters with RH. We use morphological parameters to identify merging systems and analyze the currently largest sample of clusters with radio and X-ray data (M500>6d14 Msun, and 0.2<z<0.33, from the Planck SZ cluster catalogue). We found that in this sample fm~62-67% while fRH~44-51%. The comparison of the theoretical f_m with the observed one allows to constrain the combination (xi_m,tau_m), where xi_m and tau_m are the minimum merger mass ratio and the timescale of merger-induced disturbance. Assuming tau_m~ 2-3 Gyr, as constrained by simulations, we find that the observed f_m matches the theoretical one for xi_m~0.1-0.18. This is consistent with optical and near-IR observations of clusters in the sample (xi_m~0.14-0.16). The fact that RH are found only in a fraction of merging clusters may suggest that merger events generating RH are characterized by larger mass ratio; this seems supported by optical/near-IR observations of RH clusters in the sample (xi_min~0.2-0.25). Alternatively, RH may be generated in all mergers but their lifetime is shorter than \tau_m (by ~ fRH/fm). This is an explorative study, however it suggests that follow up studies using the forthcoming radio surveys and adequate numerical simulations have the potential to derive quantitative constraints on the link between cluster merging rate and RH at different cosmic epochs and for different cluster masses.Comment: 10 pages, 3 figures, accepted for publication in A&

The cluster relic source in A521

We present high sensitivity radio observations of the merging cluster A521, at a mean redsfhit z=0.247. The observations were carried out with the GMRT at 610 MHz and cover a region of $\sim$1 square degree, with a sensitivity limit of $1\sigma$ = 35 $\mu$Jy b$^{-1}$. The most relevant result of these observations is the presence of a radio relic at the cluster periphery, at the edge of a region where group infalling into the main cluster is taking place. Thanks to the wealth of information available in the literature in the optical and X-ray bands, a multi--band study of the relic and its surroundings was performed. Our analysis is suggestive of a connection between this source and the complex ongoing merger in the A521 region. The relic might be ``revived' fossil radio plasma through adiabatic compression of the magnetic field or shock re--acceleration due to the merger events. We also briefly discussed the possibility that this source is the result of induced ram pressure stripping of radio lobes associated with the nearby cluster radio galaxy J0454--1016a. Allowing for the large uncertainties due to the small statistics, the number of radio emitting early--type galaxies found in A521 is consistent with the expectations from the standard radio luminosity function for local (z$\le$0.09) cluster ellipticals.Comment: 30 pages 8 figures, 5 tables, accepted by New Astronom

GMRT Radio Halo Survey in galaxy clusters at z = 0.2 -- 0.4. II.The eBCS clusters and analysis of the complete sample

We present the results of the GMRT cluster radio halo survey. The main purposes of our observational project are to measure which fraction of massive galaxy clusters in the redshift range z=0.2--0.4 hosts a radio halo, and to constrain the expectations of the particle re--acceleration model for the origin of the non--thermal radio emission. We selected a complete sample of 50 clusters in the X-ray band from the REFLEX (27) and the eBCS (23) catalogues. In this paper we present Giant Metrewave Radio Telescope (GMRT) observations at 610 MHz for all clusters still lacking high sensitivity radio information, i.e. 16 eBCS and 7 REFLEX clusters, thus completing the radio information for the whole sample. The typical sensitivity in our images is in the range 1$\sigma \sim 35-100 \mu$Jy b$^{-1}$. We found a radio halo in A697, a diffuse peripheral source of unclear nature in A781, a core--halo source in Z7160, a candidate radio halo in A1682 and ``suspect'' central emission in Z2661. Including the literature information, a total of 10 clusters in the sample host a radio halo. A very important result of our work is that 25 out of the 34 clusters observed with the GMRT do not host extended central emission at the sensitivity level of our observations, and for 20 of them firm upper limits to the radio power of a giant radio halo were derived. The GMRT Radio Halo Survey shows that radio halos are not common, and our findings on the fraction of giant radio halos in massive clusters are consistent with the statistical expectations based on the re--acceleration model. Our results favour primary to secondary electron models.Comment: A&A in press, 17 pages, 12 figures, 4 tables Version with high quality figures available on web at http://www.ira.inaf.it/~tventuri/pap/Venturi_web.pd

An unlikely radio halo in the low X-ray luminosity galaxy cluster RXC J1514.9-1523

We report the discovery of a giant radio halo in the galaxy cluster RXC J1514.9-1523 at z=0.22 with a relatively low X-ray luminosity, $L_{X \, [0.1-2.4 \rm \, kev]} \sim 7 \times 10^{44}$ erg s$^{-1}$. This faint, diffuse radio source is detected with the Giant Metrewave Radio Telescope at 327 MHz. The source is barely detected at 1.4 GHz in a NVSS pointing that we have reanalyzed. The integrated radio spectrum of the halo is quite steep, with a slope \alpha = 1.6 between 327 MHz and 1.4 GHz. While giant radio halos are common in more X-ray luminous cluster mergers, there is a less than 10% probability to detect a halo in systems with L_X \ltsim 8 \times 10^{44} erg s$^{-1}$. The detection of a new giant halo in this borderline luminosity regime can be particularly useful for discriminating between the competing theories for the origin of ultrarelativistic electrons in clusters. Furthermore, if our steep radio spectral index is confirmed by future deeper radio observations, this cluster would provide another example of the recently discovered population of ultra-steep spectrum radio halos, predicted by the model in which the cluster cosmic ray electrons are produced by turbulent reacceleration.Comment: 4 pages, 2 figures - Accepted for publication on A&A Research Note

A giant radio halo in the massive and merging cluster Abell 1351

We report on the detection of diffuse radio emission in the X-ray luminous and massive galaxy cluster A1351 (z=0.322) using archival Very Large Array data at 1.4 GHz. Given its central location, morphology, and Mpc-scale extent, we classify the diffuse source as a giant radio halo. X-ray and weak lensing studies show A1351 to be a system undergoing a major merger. The halo is associated with the most massive substructure. The presence of this source is explained assuming that merger-driven turbulence may re-accelerate high-energy particles in the intracluster medium and generate diffuse radio emission on the cluster scale. The position of A1351 in the logP$_{1.4 GHz}$ - logL$_{X}$ plane is consistent with that of all other radio-halo clusters known to date, supporting a causal connection between the unrelaxed dynamical state of massive ($>10^{15} M_{\odot}$) clusters and the presence of giant radio halos.Comment: 4 pages, 3 figures, proof corrections include

Shock acceleration as origin of the radio relic in A521?

We present new high sensitivity observations of the radio relic in A521 carried out with the Giant Metrewave Radio Telescope at 327 MHz and with the Very Large Array at 4.9 and 8.5 GHz. We imaged the relic at these frequencies and carried out a detailed spectral analysis, based on the integrated radio spectrum between 235 MHz and 4.9 GHz, and on the spectral index image in the frequency range 327-610 MHz. To this aim we used the new GMRT observations and other proprietary as well as archival data. We also searched for a possible shock front co-located with the relic on a short archival Chandra X-ray observation of the cluster. The integrated spectrum of the relic is consistent with a single power law; the spectral index image shows a clear trend of steepening going from the outer portion of the relic toward the cluster centre. We discuss the origin of the source in the light of the theoretical models for the formation of cluster radio relics. Our results on the spectral properties of the relic are consistent with acceleration of relativistic electrons by a shock in the intracluster medium. This scenario is further supported by our finding of an X-ray surface brightness edge coincident with the outer border of the radio relic. This edge is likely a shock front.Comment: 13 pages, 12 figures, accepted for publication in A&

A radio minihalo in the extreme cool-core galaxy cluster RXCJ1504.1-0248

Aims. We report the discovery of a radio minihalo in RXCJ1504.1-0248, a massive galaxy cluster that has an extremely luminous cool core. To date, only 9 radio minihalos are known, thus the discovery of a new one, in one of the most luminous cool-core clusters, provides important information on this peculiar class of sources and sheds light on their origin. Methods. The diffuse radio source is detected using GMRT at 327 MHz and confirmed by pointed VLA data at 1.46 GHz. The minihalo has a radius of $\sim$140 kpc. A Chandra gas temperature map shows that the minihalo emission fills the cluster cool core and has some morphological similarities to it, as has been previously observed for other minihalos. Results. The Chandra data reveal two subtle cold fronts in the cool core, likely created by sloshing of the core gas, as observed in most cool-core clusters. Following previous work, we speculate that the origin of the minihalo is related to sloshing. Sloshing may result in particle acceleration by generating turbulence and/or amplifying the magnetic field in the cool core, leading to the formation of a minihalo.Comment: 4 pages, 1 table, 3 color figures. Accepted for publication in A&A Letter

The Extended GMRT Radio Halo Survey II: Further results and analysis of the full sample

The intra-cluster medium contains cosmic rays and magnetic fields that are manifested through the large scale synchrotron sources, termed as radio halos, relics and mini-halos. The Extended Giant Metrewave Radio Telescope (GMRT) Radio Halo Survey (EGRHS) is an extension of the GMRT Radio Halo Survey (GRHS) designed to search for radio halos using GMRT 610/235 MHz observations. The GRHS+EGRHS consists of 64 clusters in the redshift range 0.2 -- 0.4 that have an X-ray luminosity larger than 5x10^44 erg/s in the 0.1 -- 2.4 keV band and with declinations > -31 deg in the REFLEX and eBCS X-ray cluster catalogues. In this second paper in the series, GMRT 610/235 MHz data on the last batch of 11 galaxy clusters and the statistical analysis of the full sample are presented. A new mini-halo in RXJ2129.6+0005 and candidate diffuse sources in Z5247, A2552 and Z1953 are discovered. A unique feature of this survey are the upper limits on the detections of 1 Mpc sized radio halos; 4 new are presented here making a total of 31 in the survey. Of the sample, 58 clusters that have adequately sensitive radio information were used to obtain the most accurate occurrence fractions so far. The occurrence of radio halos in our X-ray selected sample is ~22%, that of mini-halos is 13% and that of relics is ~5%. The radio power - X-ray luminosity diagrams for the radio halos and mini-halos with the detections and upper limits are presented. The morphological estimators namely, centroid shift (w), concentration parameter (c) and power ratios (P_3/P_0) derived from the Chandra X-ray images are used as proxies for the dynamical states of the GRHS+EGRHS clusters. The clusters with radio halos and mini-halos occupy distinct quadrants in the c-w, c-P_3/P_0 and w - P_3/P_0 planes, corresponding to the more and less morphological disturbance, respectively. The non-detections span both the quadrants.Comment: 24 pages, 5 tables, 25 figures, accepted for publication in A&

Deep 1.4 GHZ Follow Up of the Steep Spectrum Radio Halo in Abell 521

In a recent paper we reported on the discovery of a radio halo with very steep spectrum in the merging galaxy cluster Abell 521 through observations with the Giant Metrewave Radio Telescope (GMRT). We showed that the steep spectrum of the halo is inconsistent with a secondary origin of the relativistic electrons and supports a turbulent acceleration scenario. At that time, due to the steep spectrum, the available observations at 1.4 GHz (archival NRAO - Very Large Array - VLA CnB-configuration data) were not adequate to accurately determine the flux density associated with the radio halo. In this paper we report the detection at 1.4 GHz of the radio halo in Abell 521 using deep VLA observations in the D-configuration. We use these new data to confirm the steep-spectrum of the object. We consider Abell 521 the prototype of a population of very-steep spectrum halos. This population is predicted assuming that turbulence plays an important role in the acceleration of relativistic particles in galaxy clusters, and we expect it will be unveiled by future surveys at low frequencies with the LOFAR and LWA radio telescopes.Comment: 11 pages, 3 figures (figure 1 available in gif format only). Requires aastex.cls - Accepted by Ap.