No Arabic abstract
The advent of new observational facilities in the last two decades has allowed the rapid discovery and high-resolution optical imaging of many strong lens systems from galaxy to cluster scales, as well as their spectroscopic follow-up. Radio telescopes have played the dominant role in the systematic detection of dozens of new arcsec-scale lens systems. For the future, we expect nothing less! The next major ground- and space-based facilities, especially the Square Kilometer Array can discover tens of thousands of new lens systems in large sky surveys. For optical imaging and spectroscopic follow-up a strong synergy with planned optical facilities is needed. Here, we discuss the field where strong gravitational lensing is expected to play the dominant role and where SKA can have a major impact: The study of the internal mass structure and evolution of galaxies and clusters to z~1. In addition, studies of more exotic phenomena are contemplated. For example, milli- and microlensing can provide a way to measure the mass-functions of stars and CDM substructure at cosmological distances. All-sky radio monitoring will also rapidly develop the field of time-domain lensing.
Strong gravitational lenses provide an important tool to measure masses in the distant Universe, thus testing models for galaxy formation and dark matter; to investigate structure at the Epoch of Reionization; and to measure the Hubble constant and possibly w as a function of redshift. However, the limiting factor in all of these studies has been the currently small samples of known gravitational lenses (~10^2). The era of the SKA will transform our understanding of the Universe with gravitational lensing, particularly at radio wavelengths where the number of known gravitational lenses will increase to ~10^5. Here we discuss the technical requirements, expected outcomes and main scientific goals of a survey for strong gravitational lensing with the SKA. We find that an all-sky (3pi sr) survey carried out with the SKA1-MID array at an angular resolution of 0.25-0.5 arcsec and to a depth of 3 microJy / beam is required for studies of galaxy formation and cosmology with gravitational lensing. In addition, the capability to carryout VLBI with the SKA1 is required for tests of dark matter and studies of supermassive black holes at high redshift to be made using gravitational lensing.
Strong gravitational lensing, which can make a background source galaxy appears multiple times due to its light rays being deflected by the mass of one or more foreground lens galaxies, provides astronomers with a powerful tool to study dark matter, cosmology and the most distant Universe. PyAutoLens is an open-source Python 3.6+ package for strong gravitational lensing, with core features including fully automated strong lens modeling of galaxies and galaxy clusters, support for direct imaging and interferometer datasets and comprehensive tools for simulating samples of strong lenses. The API allows users to perform ray-tracing by using analytic light and mass profiles to build strong lens systems. Accompanying PyAutoLens is the autolens workspace (see https://github.com/Jammy2211/autolens_workspace), which includes example scripts, lens datasets and the HowToLens lectures in Jupyter notebook format which introduce non experts to strong lensing using PyAutoLens. Readers can try PyAutoLens right now by going to the introduction Jupyter notebook on Binder (see https://mybinder.org/v2/gh/Jammy2211/autolens_workspace/master) or checkout the readthedocs (see https://pyautolens.readthedocs.io/en/latest/) for a complete overview of PyAutoLenss features.
Assessing the probability that two or more gravitational waves (GWs) are lensed images of the same source requires an understanding of the image properties, including their relative phase shifts in strong lensing (SL). For non-precessing, circular binaries dominated by quadrupole radiation these phase shifts are degenerate with either a shift in the coalescence phase or a detector and inclination dependent shift in the orientation angle. This degeneracy is broken by the presence of higher harmonic modes with $|m| e 2$ in the former and $|m| e l$ in the latter. Precession or eccentricity will also break this degeneracy. This implies that lensed GWs will not necessarily be consistent with (unlensed) predictions from general relativity (GR). Therefore, unlike EM lensing, GW SL can lead to images with an observable modified phase evolution. However, for a wide parameter space, the lensed waveform is similar enough to an unlensed waveform that detection pipelines will still find it. For present detectors, templates with a shifted detector-dependent orientation angle have SNR differences of less than $1%$ for mass ratios up to 0.1, and less than $5%$ for precession parameters up to 0.5 and eccentricities up to 0.4 at 20Hz. The mismatch is lower than $10%$ with the alternative detector-independent coalescence phase shift. Nonetheless, for a loud enough source, even with one image it may be possible to directly identify it as a SL image from its non-GR waveform. In more extreme cases, lensing may lead to considerable distortions, and the lensed GWs may be undetected with current searches. Nevertheless, an exact template with a phase shift in Fourier space can always be constructed to fit any lensed GW. We conclude that an optimal search strategy would incorporate phase information in all stages, with an exact treatment in the final assessment of the probability of multiple lensed events.
Although general relativity (GR) has been precisely tested at the solar system scale, precise tests at a galactic or cosmological scale are still relatively insufficient. Here, in order to test GR at the galactic scale, we use the newly compiled galaxy-scale strong gravitational lensing (SGL) sample to constrain the parameter $gamma_{PPN}$ in the parametrized post-Newtonian (PPN) formalism. We employ the Pantheon sample of type Ia supernovae observation to calibrate the distances in the SGL systems using the Gaussian Process method, which avoids the logical problem caused by assuming a cosmological model within GR to determine the distances in the SGL sample. Furthermore, we consider three typical lens models in this work to investigate the influences of the lens mass distributions on the fitting results. We find that the choice of the lens models has a significant impact on the constraints on the PPN parameter $gamma_{PPN}$. We use the Bayesian information criterion as an evaluation tool to make a comparison for the fitting results of the three lens models, and we find that the most reliable lens model gives the result of $gamma_{PPN}=1.065^{+0.064}_{-0.074}$, which is in good agreement with the prediction of $gamma_{PPN}=1$ by GR. As far as we know, our 6.4% constraint result is the best result so far among the recent works using the SGL method.
Cosmological numerical simulations of galaxy formation have led to the cuspy density profile of a pure cold dark matter halo toward the center, which is in sharp contradiction with the observations of the rotation curves of cold dark matter-dominated dwarf and low surface brightness disk galaxies, with the latter tending to favor mass profiles with a flat central core. Many efforts have been devoted to resolve this cusp-core problem in recent years, among them, baryon-cold dark matter interactions are considered to be the main physical mechanisms erasing the cold dark matter (CDM) cusp into a flat core in the centers of all CDM halos. Clearly, baryon-cold dark matter interactions are not customized only for CDM-dominated disk galaxies, but for all types, including giant ellipticals. We first fit the most recent high resolution observations of rotation curves with the Burkert profile, then use the constrained core size-halo mass relation to calculate the lensing frequency, and compare the predicted results with strong lensing observations. Unfortunately, it turns out that the core size constrained from rotation curves of disk galaxies cannot be extrapolated to giant ellipticals. We conclude that, in the standard cosmological paradigm, baryon-cold dark matter interactions are not universal mechanisms for galaxy formation, and therefore, they cannot be true solutions to the cusp-core problem.