No Arabic abstract
Context. Galaxies in the Universe form chains (filaments) that connect groups and clusters of galaxies. The filamentary network includes nearly half of the galaxies and is visually the most striking feature in cosmological maps. Aims. We study the distribution of galaxies along the filamentary network, trying to find specific patterns and regularities. Methods. Galaxy filaments are defined by the Bisous model, a marked point process with interactions. We use the two-point correlation function and the Rayleigh Z-squared statistic to study how galaxies and galaxy groups are distributed along the filaments. Results. We show that galaxies and groups are not uniformly distributed along filaments, but tend to form a regular pattern. The characteristic length of the pattern is around 7 Mpc/h. A slightly smaller characteristic length 4 Mpc/h can also be found, using the Z-squared statistic. Conclusions. We find that galaxy filaments in the Universe are like pearl necklaces, where the pearls are galaxy groups distributed more or less regularly along the filaments. We propose that this well defined characteristic scale could be used to test various cosmological models and to probe environmental effects on the formation and evolution of galaxies.
Context. Gravitational collapse theory and numerical simulations suggest that the velocity field within large-scale galaxy filaments is dominated by motions along the filaments. Aims. Our aim is to check whether observational data reveal any preferred orientation of galaxy pairs with respect to the underlying filaments as a result of the expectedly anisotropic velocity field. Methods. We use galaxy pairs and galaxy filaments identified from the Sloan Digital Sky Survey data. For filament extraction, we use the Bisous model that is based the marked point process technique. During the filament detection, we use the centre point of each pair instead of the positions of galaxies to avoid a built-in influence of pair orientation on the filament construction. For pairs lying within filaments (3012 cases), we calculate the angle between the line connecting galaxies of each pair and their host filament. To avoid redshift-space distortions, the angle is measured in the plain of the sky. Results. The alignment analysis shows that the orientation of galaxy pairs correlates strongly with their host filaments. The alignment signal is stronger for loose pairs, with at least 25% excess of aligned pairs compared to a random distribution. The alignment of galaxy pairs and filaments measured from the observational data is in good concordance with the alignment in the Millennium simulation and thus provides support to the {Lambda}CDM formalism.
The orientations of the red galaxies in a filament are aligned with the orientation of the filament. We thus develop a location-alignment-method (LAM) of detecting filaments around clusters of galaxies, which uses both the alignments of red galaxies and their distributions in two-dimensional images. For the first time, the orientations of red galaxies are used as probes of filaments. We apply LAM to the environment of Coma cluster, and find four filaments (two filaments are located in sheets) in two selected regions, which are compared with the filaments detected with the method of cite{Falco14}. We find that LAM can effectively detect the filaments around a cluster, even with $3sigma$ confidence level, and clearly reveal the number and overall orientations of the detected filaments. LAM is independent of the redshifts of galaxies, and thus can be applied at relatively high redshifts and to the samples of red galaxies without the information of redshifts. We also find that the images of background galaxies (interlopers) which are lensed by the gravity of foreground filaments are amplifiers to probe the filaments.
Separation logic adds two connectives to assertion languages: separating conjunction * (star) and its adjoint, separating implication -* (magic wand). Comparatively, separating implication is less widely used. This paper demonstrates that by using magic wand to express frames that relate mutable local portions of data structures to global portions, we can exploit its power while proofs are still easily understandable. Many useful separation logic theorems about partial data structures can now be proved by simple automated tactics, which were usually proved by induction. This magic-wand-as-frame technique is especially useful when formalizing the proofs by a high order logic. We verify binary search tree insert in Coq as an example to demonstrate this proof technique.
We report on the possibility of studying the proprieties of cosmic diffuse baryons by studying self-gravitating clumps and filaments connected to galaxy clusters. While filaments are challenging to detect with X-ray observations, the higher density of clumps makes them visible and a viable tracer to study the thermodynamical proprieties of baryons undergoing accretion along cosmic web filaments onto galaxy clusters. We developed new algorithms to identify these structures and applied them to a set of non-radiative cosmological simulations of galaxy clusters at high resolution. We find that in those simulated clusters, the density and temperature of clumps are independent of the mass of the cluster where they reside. We detected a positive correlation between the filament temperature and the host cluster mass. The density and temperature of clumps and filaments also tended to correlate. Both the temperature and density decrease moving outward. We observed that clumps are hotter, more massive, and more luminous if identified closer to the cluster center. Especially in the outermost cluster regions (~3*R500,c or beyond), X-ray observations might already have the potential to locate cosmic filaments based on the distribution of clumps and to allow one to study the thermodynamics of diffuse baryons before they are processed by the intracluster medium.
Models of symmetry breaking in the early universe can produce networks of cosmic strings threading t Hooft-Polyakov monopoles. In certain cases there is a larger global symmetry group and the monopoles split into so-called semipoles. These networks are all known as cosmic necklaces. We carry out large-scale field theory simulations of the simplest model containing these objects, confirming that the energy density of networks of cosmic necklaces approaches scaling, i.e. that it remains a constant fraction of the background energy density. The number of monopoles per unit comoving string length is constant, meaning that the density fraction of monopoles decreases with time. Where the necklaces carry semipoles rather than monopoles, we perform the first simulations large enough to demonstrate that they also maintain a constant number per unit comoving string length. We also compare our results to a number of analytical models of cosmic necklaces, finding that none explains our results. We put forward evidence that annihilation of poles on the strings is controlled by a diffusive process, a possibility not considered before. The observational constraints derived in our previous work for necklaces with monopoles can now be safely applied to those with semipoles as well.