The formation of the brightest cluster galaxy and intracluster light in cosmological N-body simulations with the Galaxy Replacement Technique

We investigate the formation channels of the intracluster light (ICL) and the brightest cluster galaxy (BCG) in clusters at $z=0$. For this, we perform multi-resolution cosmological N-body simulations using the "Galaxy Replacement Technique" (GRT). We study the formation channels of the ICL and BCG as a function of distance from the cluster center and the dynamical state of the clusters at $z=0$. To do this, we trace back the stars of the ICL and BCG, and identify the stellar components in which they existed when they first fell into the clusters. We find that the progenitors of the ICL and BCG in the central region of the cluster fell earlier and with a higher total mass ratio of the progenitors to the cluster compared to the outer region. This causes a negative radial gradient in the infall time and total mass ratio of the progenitors. Although stellar mass of the progenitors does not show the same radial gradient in all clusters, massive galaxies ($M_{\rm{gal}} > 10^{10}~M_{\odot}~h^{-1}$) are the dominant formation channel of the ICL and BCG for all clusters, except for our most relaxed cluster. For clusters that are dynamically more unrelaxed, we find that the progenitors of the ICL and BCG fall into their clusters more recently, and with a higher mass and mass ratio. Furthermore, we find that the diffuse material of massive galaxies and group-mass halos that is formed by pre-processing contributes significantly to the ICL in the outer region of the unrelaxed clusters.Comment: 18 pages, 8 figures, 4 tables. Accepted for publication in The Astrophysical Journal, December 3rd, 202

vCNN: Verifiable Convolutional Neural Network based on zk-SNARKs

With the development of AI systems, services using them expand to various applications. The widespread adoption of AI systems relies substantially on the ability to trust their output. Therefore, it is becoming important for a client to be able to check whether the AI inference services have been correctly calculated. Since the weight value in a CNN model is an asset of service providers, the client should be able to check the correctness of the result without the weight value. Furthermore, when the result is checked by a third party, it should be possible to verify the correctness even without the user’s input data. Fortunately, zero-knowledge Succinct Non-interactive ARguments of Knowledge (zk-SNARKs) allow to verify the result without input and weight values. However, the proving time in zk-SNARKs is too slow to be applied to real AI applications. This paper proposes a new efficient verifiable convolutional neural network (vCNN) framework which accelerates the proving performance tremendously. To increase the proving performance, we propose a new efficient relation representation for convolution equations. While the proving complexity of convolution is O(ln) in the existing zk-SNARK approaches, it reduces to O(l + n) in the proposed approach where l and n denote the size of kernel and the data in CNNs. Experimental results show that the proposed vCNN improves prove performance by 20 fold for a simple MNIST and 18000 fold for VGG16. The security of the proposed scheme is proven formally

Efficient Verifiable Image Redacting based on zk-SNARKs

Image is a visual representation of a certain fact and can be used as proof of events. As the utilization of the image increases, it is required to prove its authenticity with the protection of its sensitive personal information. In this paper, we propose a new efficient verifiable image redacting scheme based on zk-SNARKs, a commitment, and a digital signature scheme. We adopt a commit-and-prove SNARK scheme which takes commitments as inputs, in which the authenticity can be quickly verified outside the circuit. We also specify relations between the original and redacted images to guarantee the redacting correctness. Our experimental results show that the proposed scheme is superior to the existing works in terms of the key size and proving time without sacrificing the other parameters. The security of the proposed scheme is proven formally

Comparison of spatial distributions of Intracluster light and Dark Matter

In a galaxy cluster, the relative spatial distributions of dark matter, member galaxies, gas, and intracluster light (ICL) may connote their mutual interactions over the cluster evolution. However, it is a challenging problem to provide a quantitative measure for the shape matching between two multi-dimensional scalar distributions. We present a novel methodology, named the {\em Weighted Overlap Coefficient (WOC)}, to quantify the similarity of 2-dimensional spatial distributions. We compare the WOC with a standard method known as the Modified Hausdorff Distance (MHD). We find that our method is robust, and performs well even with the existence of multiple sub-structures. We apply our methodology to search for a visible component whose spatial distribution resembled with that of dark matter. If such a component could be found to trace the dark matter distribution with high fidelity for more relaxed galaxy clusters, then the similarity of the distributions could also be used as a dynamical stage estimator of the cluster. We apply the method to six galaxy clusters at different dynamical stages simulated within the GRT simulation, which is an N-body simulation using the galaxy replacement technique. Among the various components (stellar particles, galaxies, ICL), the ICL+ brightest cluster galaxy (BCG) component most faithfully trace the dark matter distribution. Among the sample galaxy clusters, the relaxed clusters show stronger similarity in the spatial distribution of the dark matter and ICL+BCG than the dynamically young clusters. While the MHD results show weaker trend with the dynamical stages.Comment: 17 pages, 8 figures, accepted in ApJ

AuthCropper: Authenticated Image Cropper for Privacy Preserving Surveillance Systems

As surveillance systems are popular, the privacy of the recorded video becomes more important. On the other hand, the authenticity of video images should be guaranteed when used as evidence in court. It is challenging to satisfy both (personal) privacy and authenticity of a video simultaneously, since the privacy requires modifications (e.g., partial deletions) of an original video image while the authenticity does not allow any modifications of the original image. This paper proposes a novel method to convert an encryption scheme to support partial decryption with a constant number of keys and construct a privacy-aware authentication scheme by combining with a signature scheme. The security of our proposed scheme is implied by the security of the underlying encryption and signature schemes. Experimental results show that the proposed scheme can handle the UHD video stream with more than 17 fps on a real embedded system, which validates the practicality of the proposed scheme

BCG alignment with the Locations of Cluster Members and the Large Scale Structure out to 10 R200_{200}

Using a sample of $>200$ clusters, each with typically $100-200$ spectroscopically confirmed cluster members, we search for a signal of alignment between the Position Angle (PA) of the Brightest Cluster Galaxy (BCG) and the distribution of cluster members on the sky about the cluster centre out to projected distances of 3~R$_{200}$. The deep spectroscopy, combined with corrections for spectroscopic incompleteness, makes our sample ideal to determine alignment signal strengths. We also use an SDSS based skeleton of the filamentary Large Scale Structure (LSS), and measure BCG alignment with the location of the LSS skeleton segments on the sky out to projected distances of 10~R$_{200}$. The alignment signal is measured using three separate statistical measures; Rao's spacing test (U), Kuiper's V parameter (V), and the Binomial probability test (P). The significance of the BCG alignment signal with both cluster members and LSS segments is extremely high (1 in a million chance or less to be drawn randomly from a uniform distribution). We investigate a wide set of parameters that may influence the strength of the alignment signal. Clusters with more elliptical-shaped BCGs show stronger alignment with both their cluster members and LSS segments. Also, selecting clusters with closely connected filaments, or using a luminosity-weighted LSS skeleton, increases the alignment signal significantly. Alignment strength decreases with increasing projected distance. Combined, these results provide strong evidence for the growth of clusters and their BCGs by preferential feeding along the direction of the filaments in which they are embedded.Comment: 21 pages, 5 tables, 5 figures ,Accepted to MNRAS, August 202

Low-Dose Recombinant Adeno-Associated Virus-Mediated Inhibition of Vascular Endothelial Growth Factor Can Treat Neovascular Pathologies Without Inducing Retinal Vasculitis

The wet form of age-related macular degeneration is characterized by neovascular pathologies that, if untreated, can result in edemas followed by rapid vision loss. Inhibition of vascular endothelial growth factor (VEGF) has been used to successfully treat neovascular pathologies of the eye. Nonetheless, some patients require frequent intravitreal injections of anti-VEGF drugs, increasing the burden and risk of complications from the procedure to affected individuals. Recombinant adeno-associated virus (rAAV)-mediated expression of anti-VEGF proteins is an attractive alternative to reduce risk and burden to patients. However, controversy remains as to the safety of prolonged VEGF inhibition in the eye. Here, we show that two out of four rAAV serotypes tested by intravitreal delivery to express the anti-VEGF drug conbercept lead to a dose-dependent vascular sheathing pathology that is characterized by immune cell infiltrates, reminiscent of vasculitis in humans. We show that this pathology is accompanied by increased expression in vascular cell adhesion molecule 1 (VCAM1) and intercellular adhesion molecule 1 (ICAM1), both of which promote extravasation of immune cells from the vasculature. While formation of the vascular sheathing pathology is prevented in immunodeficient Rag-1 mice that lack B and T cells, increased expression of VACM1 and ICAM1 still occurs, indicating that inhibition of VEGF function leads to expression changes in cell adhesion molecules that promote extravasation of immune cells. Importantly, a 10-fold lower dose of one of the vectors that cause a vascular sheathing pathology is still able to reduce edemas resulting from choroidal neovascularization without causing any vascular sheathing pathology and only a minimal increase in VCAM1 expression. The data suggest that treatments of neovascular eye pathologies with rAAV-mediated expression of anti VEGF drugs can be developed safely. However, viral load needs to be adjusted to the tropisms of the serotype and the expression pattern of the promoter

Coagulation factor IX gene transfer to non-human primates using engineered AAV3 capsid and hepatic optimized expression cassette

Hepatic gene transfer with adeno-associated viral (AAV) vectors shows much promise for the treatment of the X-linked bleeding disorder hemophilia B in multiple clinical trials. In an effort to further innovate this approach and to introduce alternative vector designs with potentially superior features into clinical development, we recently built a vector platform based on AAV serotype 3 because of its superior tropism for human hepatocytes. A vector genome with serotype-matched inverted terminal repeats expressing hyperactive human coagulation factor IX (FIX)-Padua was designed for clinical use that is optimized for translation using hepatocyte-specific codon-usage bias and is depleted of immune stimulatory CpG motifs. Here, this vector genome was packaged into AAV3 (T492V + S663V) capsid for hepatic gene transfer in non-human primates. FIX activity within or near the normal range was obtained at a low vector dose of 5 x 10(11) vector genomes/kg. Pre-existing neutralizing antibodies, however, completely or partially blocked hepatic gene transfer at that dose. No CD8(+) T cell response against capsid was observed. Antibodies against the human FIX transgene product formed at a 10-fold higher vector dose, albeit hepatic gene transfer was remarkably consistent, and sustained FIX activity in the normal range was nonetheless achieved in two of three animals for the 3-month duration of the study. These results support the use of this vector at low vector doses for gene therapy of hemophilia B in humans