• We summarize the outcome of the 10th meeting of the International Astronomical Consortium for High Energy Calibration (IACHEC), held in Beijing (People's Republic of China) in April 2015. Over 80 scientists directly involved in the calibration of operational and future high-energy missions gathered during 3.5 days to discuss the status of the X-ray payload inter-calibration, as well as possible ways to improve it. A recent study on a large sample of galaxy clusters confirmed that the calibration of the effective area shape above 2 keV between XMM-Newton/EPIC and Chandra/ACIS is consistent, but showed a significant discrepancy at lower energies. Temperatures measured by EPIC are therefore smaller, the difference being largest for the highest temperatures, up to ~20% at kT=10 keV (Schellenberger et al. 2015). The latest multi-mission study of the Crab Nebula above 10 keV shows a +/-13% agreement in the relative normalization of the INTEGRAL, NuSTAR, RXTE, and {\it Suzaku} hard X-ray instruments.
  • The four-year X-ray all-sky survey (eRASS) of the eROSITA telescope aboard the Spektrum-Roentgen-Gamma satellite will detect ~3 million active galactic nuclei (AGN) with a median redshift of z~1 and a typical luminosity of L_(0.5-2.0 keV) ~ 10^(44) erg/s. We show that this unprecedented AGN sample, complemented with redshift information, will supply us with outstanding opportunities for large-scale structure research. For the first time, detailed redshift- and luminosity-resolved studies of the bias factor for X-ray selected AGN will become possible. The eRASS AGN sample will not only improve the redshift- and luminosity-resolution of these studies, but will also expand their luminosity range beyond L_(0.5-2.0 keV) ~ 10^(44) erg/s, thus enabling a direct comparison of the clustering properties of luminous X-ray AGN and optical quasars. These studies will dramatically improve our understanding of the AGN environment, triggering mechanisms, the growth of supermassive black holes and their co-evolution with dark matter halos. The eRASS AGN sample will become a powerful cosmological probe. It will enable detecting baryonic acoustic oscillations (BAOs) for the first time with X-ray selected AGN. With the data from the entire extragalactic sky, BAO will be detected at a >~10sigma confidence level in the full redshift range and with ~8sigma confidence in the 0.8 < z < 2.0 range, which is currently not covered by any existing BAO surveys. To exploit the full potential of the eRASS AGN sample, photometric and spectroscopic surveys of large areas and a sufficient depth will be needed.
  • We look at the operational semantics of languages with interactive I/O through the glasses of constructive type theory. Following on from our earlier work on coinductive trace-based semantics for While, we define several big-step semantics for While with interactive I/O, based on resumptions and termination-sensitive weak bisimilarity. These require nesting inductive definitions in coinductive definitions, which is interesting both mathematically and from the point-of-view of implementation in a proof assistant. After first defining a basic semantics of statements in terms of resumptions with explicit internal actions (delays), we introduce a semantics in terms of delay-free resumptions that essentially removes finite sequences of delays on the fly from those resumptions that are responsive. Finally, we also look at a semantics in terms of delay-free resumptions supplemented with a silent divergence option. This semantics hinges on decisions between convergence and divergence and is only equivalent to the basic one classically. We have fully formalized our development in Coq.
  • We look at the operational semantics of languages with interactive I/O through the glasses of constructive type theory. Following on from our earlier work on coinductive trace-based semantics for While, we define several big-step semantics for While with interactive I/O, based on resumptions and termination-sensitive weak bisimilarity. These require nesting inductive definitions in coinductive definitions, which is interesting both mathematically and from the point-of-view of implementation in a proof assistant. After first defining a basic semantics of statements in terms of resumptions with explicit internal actions (delays), we introduce a semantics in terms of delay-free resumptions that essentially removes finite sequences of delays on the fly from those resumptions that are responsive. Finally, we also look at a semantics in terms of delay-free resumptions supplemented with a silent divergence option. This semantics hinges on decisions between convergence and divergence and is only equivalent to the basic one classically. We have fully formalized our development in Coq.
  • A large sample of Abell clusters of galaxies, selected for the likely presence of a dominant galaxy, is used to study the dynamical properties of brightest cluster members (BCMs). From visual inspection of Digitized Sky Survey images combined with redshift data we identify 1426 candidate BCMs in 1221 redshift components in 1169 different Abell clusters, the largest such sample published so far. By our own morphological classification we find ~92% of these BCMs to be early-type galaxies, and 48% of cD type. We confirm previous findings based on much smaller samples, namely that a large fraction of BCMs have significant peculiar velocities. For a subsample of 452 clusters with at least 10 measured radial velocities, we find a median BCM peculiar velocity of 32% of their host clusters' radial velocity dispersion. This suggests that most BCMs are not at rest in the potential well of their clusters, and that the phenomenon is thus not a special trait of clusters hosting cD galaxies. We show that the peculiar velocity of the BCM is independent of cluster richness and only slightly dependent on the Bautz-Morgan type. We also find a weak trend for the peculiar velocity to rise with the cluster velocity dispersion. The strongest dependence is with the morphological type of the BCM: cD galaxies tend to have lower relative peculiar velocities than elliptical galaxies. This result points to a connection between the formation of the BCMs and that of their clusters. Our data are qualitatively consistent with the merging-groups scenario, where BCMs in clusters formed first in smaller subsystems comparable to compact groups of galaxies. In this scenario, clusters would have formed recently from the mergers of many such groups and would still be in a dynamically unrelaxed state.
  • The paper is devoted to vector fields on the spaces R^2 and R^3, their flow and invariants. Attention is plaid on the tensor representations of the group GL(2,R) and on fundamental vector fields. The rotation group on R^3 is generalized to rotation groups with arbitrary quadrics as orbits.
  • We identified Brightest Cluster Members (BCM) on DSS images of 1083 Abell clusters, derived their individual and host cluster redshifts from literature and determined the BCM ellipticity. Half the BCMs move at a speed higher than 37 % of the cluster velocity dispersion sigma_{cl}, suggesting that most BCMs are part of substructures falling into the main cluster. Both, the BCM's velocity offset in units of sigma_{cl}, and BCM ellipticity, weakly decrease with cluster richness.