Showing 1–50 of 81 results for author: Abadi, M

Distributed Anomaly Detection in Modern Power Systems: A Penalty-based Mitigation Approach

Authors: Erfan Mehdipour Abadi, Masoud H. Nazari

Abstract: The evolving landscape of electric power networks, influenced by the integration of distributed energy resources require the development of novel power system monitoring and control architectures. This paper develops algorithm to monitor and detect anomalies of different parts of a power system that cannot be measured directly, by applying neighboring measurements and a dynamic probing technique i… ▽ More The evolving landscape of electric power networks, influenced by the integration of distributed energy resources require the development of novel power system monitoring and control architectures. This paper develops algorithm to monitor and detect anomalies of different parts of a power system that cannot be measured directly, by applying neighboring measurements and a dynamic probing technique in a distributed fashion. Additionally, the proposed method accurately assesses the severity of the anomaly. A decision-making algorithm is introduced to effectively penalize anomalous agents, ensuring vigilant oversight of the entire power system's functioning. Simulation results show the efficacy of algorithms in distributed anomaly detection and mitigation. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: Accepted in 2024 IEEE PES General Meeting, Seattle, Washington (PES GM 2024)

One size fits all: Insights on Extrinsic Thermal Absorption from Similarity of Supernova Remnant Radio Continuum Spectra

Authors: M. G. Abadi, G. Castelletti, L. Supan, N. E. Kassim, J. W. Lazio

Abstract: Typically, integrated radio frequency continuum spectra of supernova remnants (SNRs) exhibit a power-law form due to their synchrotron emission. In numerous cases, these spectra show an exponential turnover, long assumed due to thermal free-free absorption in the interstellar medium. We use a compilation of Galactic radio continuum SNR spectra, with and without turnovers, to constrain the distribu… ▽ More Typically, integrated radio frequency continuum spectra of supernova remnants (SNRs) exhibit a power-law form due to their synchrotron emission. In numerous cases, these spectra show an exponential turnover, long assumed due to thermal free-free absorption in the interstellar medium. We use a compilation of Galactic radio continuum SNR spectra, with and without turnovers, to constrain the distribution of the absorbing ionized gas. We introduce a novel parameterization of SNR spectra in terms of a characteristic frequency v_*, which depends both on the absorption turnover frequency and the power-law slope. Normalizing to v_* and to the corresponding flux density, S_*, we demonstrate that the stacked spectra of our sample reveal a similarity in behavior with low scatter (r.m.s. ~15%), and a unique exponential drop-off fully consistent with the predictions of a free-free absorption process. Observed SNRs, whether exhibiting spectral turnovers or not, appear to be spatially well mixed in the Galaxy without any evident segregation between them. Moreover, their Galactic distribution does not show a correlation with general properties such as heliocentric distance or Galactic longitude, as might have been expected if the absorption were due to a continuous distribution of ionized gas. However, it naturally arises if the absorbers are discretely distributed, as suggested by early low-frequency observations. Modeling based on HII regions tracking Galactic spiral arms successfully reproduces the patchy absorption observed to date. While more extensive statistical datasets should yield more precise spatial models of the absorbing gas distribution, our present conclusion regarding its inhomogeneity will remain robust. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: Accepted for A&A. Comments welcome. 11 pages, 11 figures, 1 table

Modeling Insurance Claims using Bayesian Nonparametric Regression

Authors: Mostafa Shams Esfand Abadi, Kaushik Ghosh

Abstract: The prediction of future insurance claims based on observed risk factors, or covariates, help the actuary set insurance premiums. Typically, actuaries use parametric regression models to predict claims based on the covariate information. Such models assume the same functional form tying the response to the covariates for each data point. These models are not flexible enough and can fail to accurat… ▽ More The prediction of future insurance claims based on observed risk factors, or covariates, help the actuary set insurance premiums. Typically, actuaries use parametric regression models to predict claims based on the covariate information. Such models assume the same functional form tying the response to the covariates for each data point. These models are not flexible enough and can fail to accurately capture at the individual level, the relationship between the covariates and the claims frequency and severity, which are often multimodal, highly skewed, and heavy-tailed. In this article, we explore the use of Bayesian nonparametric (BNP) regression models to predict claims frequency and severity based on covariates. In particular, we model claims frequency as a mixture of Poisson regression, and the logarithm of claims severity as a mixture of normal regression. We use the Dirichlet process (DP) and Pitman-Yor process (PY) as a prior for the mixing distribution over the regression parameters. Unlike parametric regression, such models allow each data point to have its individual parameters, making them highly flexible, resulting in improved prediction accuracy. We describe model fitting using MCMC and illustrate their applicability using French motor insurance claims data. △ Less

Submitted 19 November, 2023; originally announced November 2023.

Joint RIS Phase Profile Design and Power Allocation for Parameter Estimation in Presence of Eavesdrop**

Authors: Erfan Mehdipour Abadi, Ayda Nodel Hokmabadi, Sinan Gezici

Abstract: We consider secure transmission of a deterministic complex-valued parameter vector from a transmitter to an intended receiver in the presence of an eavesdropper in a reconfigurable intelligent surface (RIS)-integrated environment. We aim to jointly optimize the RIS phase profile and the power allocation matrix at the transmitter to enhance the estimation accuracy at the intended receiver while lim… ▽ More We consider secure transmission of a deterministic complex-valued parameter vector from a transmitter to an intended receiver in the presence of an eavesdropper in a reconfigurable intelligent surface (RIS)-integrated environment. We aim to jointly optimize the RIS phase profile and the power allocation matrix at the transmitter to enhance the estimation accuracy at the intended receiver while limiting that at the eavesdropper. We utilize the trace of the Fisher information matrix (FIM), equivalently, the average Fisher information, as the estimation accuracy metric, and obtain its closed form expression for the intended receiver and the eavesdropper. Accordingly, the joint RIS phase profile and power allocation problem is formulated, and it is solved via alternating optimization. When the power allocation matrix is fixed during alternating optimization, the optimal RIS phase profile design problem is formulated as a non-convex problem and it is solved via semidefinite relaxation and rank reduction. When the RIS phase profile is fixed, a linear programming formulation is obtained for optimal power allocation. Via simulations, the effects of RIS phase design and power allocation are illustrated individually and jointly. Moreover, extensions are provided by considering the presence of line of sight paths in the environment and the availability of RIS elements with adjustable magnitudes. △ Less

Submitted 25 September, 2023; originally announced September 2023.

Environmental effects on associations of dwarf galaxies

Authors: C. Yamila Yaryura, Mario G. Abadi, Stefan Gottlöber, Noam I. Libeskind, Sofía A. Cora, Andrés N. Ruiz, Cristian A. Vega-Martínez, Gustavo Yepes

Abstract: We study the properties of associations of dwarf galaxies and their dependence on the environment. Associations of dwarf galaxies are extended systems composed exclusively of dwarf galaxies, considering as dwarf galaxies those galaxies less massive than $M_{\star, \rm max} = 10^{9.0}$ ${\rm M}_{\odot}\,h^{-1}$. We identify these particular systems using a semi-analytical model of galaxy formation… ▽ More We study the properties of associations of dwarf galaxies and their dependence on the environment. Associations of dwarf galaxies are extended systems composed exclusively of dwarf galaxies, considering as dwarf galaxies those galaxies less massive than $M_{\star, \rm max} = 10^{9.0}$ ${\rm M}_{\odot}\,h^{-1}$. We identify these particular systems using a semi-analytical model of galaxy formation coupled to a dark matter only simulation in the $Λ$ Cold Dark Matter cosmological model. To classify the environment, we estimate eigenvalues from the tidal field of the dark matter particle distribution of the simulation. We find that the majority, two thirds, of associations are located in filaments ($ \sim 67$ per cent), followed by walls ($ \sim 26 $ per cent), while only a small fraction of them are in knots ($ \sim 6 $ per cent) and voids ($ \sim 1 $ per cent). Associations located in more dense environments present significantly higher velocity dispersion than those located in less dense environments, evidencing that the environment plays a fundamental role in their dynamical properties. However, this connection between velocity dispersion and the environment depends exclusively on whether the systems are gravitational bound or unbound, given that it disappears when we consider associations of dwarf galaxies that are gravitationally bound. Although less than a dozen observationally detected associations of dwarf galaxies are currently known, our results are predictions on the eve of forthcoming large surveys of galaxies, which will enable these very particular systems to be identified and studied. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Comments: 13 pages, 9 figures. Accepted for publication in MNRAS

DS+: a method for the identification of cluster substructures

Authors: Jose A. Benavides, Andrea Biviano, Mario G. Abadi

Abstract: The study of cluster substructures is important for the determination of the cluster dynamical status, assembly history, and the evolution of cluster galaxies, and it allows to set of constraints on the nature of dark matter and cosmological parameters. We present and test DS+, a new method for the identification and characterization of group-sized substructures in clusters. Our new method is base… ▽ More The study of cluster substructures is important for the determination of the cluster dynamical status, assembly history, and the evolution of cluster galaxies, and it allows to set of constraints on the nature of dark matter and cosmological parameters. We present and test DS+, a new method for the identification and characterization of group-sized substructures in clusters. Our new method is based on the projected positions and line-of-sight velocities of cluster galaxies, and it is an improvement and extension of the traditional method of Dressler & Shectman (1988). We test it on cluster-size cosmological halos extracted from the IllustrisTNG simulations, with virial masses $\rm{14 \lesssim \log (M_{200}/M_{\odot}) \lesssim 14.6}$, that contain on average $\sim 190$ galaxies. We also present an application of our method on a real data set, the Bullet cluster. DS+ is able to identify $\sim 80\%$ of real group galaxies as members of substructures, and at least 60\% of the galaxies assigned to substructures belong to real groups. The physical properties of the real groups are significantly correlated with those of the corresponding detected substructures, albeit with significant scatter, and overestimated on average. Application of the DS+ method to the Bullet cluster confirms the presence and main properties of the high-speed collision and identifies other substructures along the main cluster axis. DS+ proves to be a reliable method for the identification of substructures in clusters. The method is made freely available to the community as a Python code. △ Less

Submitted 30 November, 2022; originally announced December 2022.

Comments: 13 pages, 8 figures, accepted for publication in A&A

Journal ref: A&A 669, A147 (2023)

Modeling globular clusters in the TNG50 simulation: predictions from dwarfs to giants

Authors: Jessica E. Doppel, Laura V. Sales, Dylan Nelson, Annalisa Pillepich, Mario G. Abadi, Eric W. Peng, Federico Marinacci, Jill Naiman, Paul Torrey, Mark Vogelsberger, Rainer Weinberger, Lars Hernquist

Abstract: We present a post-processing catalog of globular clusters (GCs) for the $39$ most massive groups and clusters in the TNG50 simulation of the IlllustrisTNG project (virial masses $M_{200} =[5\times 10^{12} \rm - 2 \times 10^{14}$] M$_{\odot}$). We tag GC particles to all galaxies with stellar mass $M_* \geq 5\times10^6$ M$_{\odot}$, and we calibrate their masses to reproduce the observed power-law… ▽ More We present a post-processing catalog of globular clusters (GCs) for the $39$ most massive groups and clusters in the TNG50 simulation of the IlllustrisTNG project (virial masses $M_{200} =[5\times 10^{12} \rm - 2 \times 10^{14}$] M$_{\odot}$). We tag GC particles to all galaxies with stellar mass $M_* \geq 5\times10^6$ M$_{\odot}$, and we calibrate their masses to reproduce the observed power-law relation between GC mass and halo mass for galaxies with $M_{200} \geq 10^{11}$ M$_{\odot}$ (corresponding to $M_* \sim 10^9$ $M_{\odot}$). Here we explore whether an extrapolation of this $M_{\rm GC}$-$M_{200}$ relation to lower-mass dwarfs is consistent with current observations. We find a good agreement between our predicted number and specific frequency of GCs in dwarfs with $\rm M_*=[5 \times 10^6 \rm - 10^9]$ M$_{\odot}$ and observations. Moreover, we predict a steep decline in the GC occupation fraction for dwarfs with $M_*<10^9$ M$_{\odot}$ which agrees well with current observational constraints. This declining occupation fraction is due to a combination of tidal strip** in all dwarfs plus a stochastic sampling of the GC mass function for dwarfs with $M_* < 10^{7.5}$ M$_{\odot}$. Our simulations also reproduce available constraints on the abundance of intra-cluster GCs in Virgo and Centaurus A. These successes provide support to the hypothesis that the $M_{\rm GC}$-$M_{200}$ relation holds, albeit with more scatter, all the way down to the regime of classical dwarf spheroidals in these environments. Our GC catalogs are publicly available as part of the IllustrisTNG data release. △ Less

Submitted 23 September, 2022; originally announced September 2022.

Comments: 16 pages, 8 figures (main body of paper). Resubmitted to MNRAS after positive referee report. The globular cluster catalogs for the 39 most massive groups and clusters in TNG50 are available for download from the IllustrisTNG public data release at www.tng-project.org/doppel22

Origin and evolution of ultra-diffuse galaxies in different environments

Authors: Jose A. Benavides, Laura V. Sales, Mario. G. Abadi, Federico Marinacci, Mark Vogelsberger, Lars Hernquist

Abstract: We study the formation of ultra-diffuse galaxies (UDGs) using the cosmological hydrodynamical simulation TNG50 of the Illustris-TNG suite. We define UDGs as dwarf galaxies in the stellar mass range $\rm{7.5 \leq log (M_{\star} / M_{\odot}) \leq 9 }$ that are in the $5\%$ most extended tail of the simulated mass-size relation. This results in a sample of UDGs with half-mass radii… ▽ More We study the formation of ultra-diffuse galaxies (UDGs) using the cosmological hydrodynamical simulation TNG50 of the Illustris-TNG suite. We define UDGs as dwarf galaxies in the stellar mass range $\rm{7.5 \leq log (M_{\star} / M_{\odot}) \leq 9 }$ that are in the $5\%$ most extended tail of the simulated mass-size relation. This results in a sample of UDGs with half-mass radii $\rm{r_{h \star } \gtrsim 2 \ kpc}$ and surface brightness between $\rm{24.5}$ and $\rm{28 \ mag \ arcsec^{-2}}$, similar to definitions of UDGs in observations. The large cosmological volume in TNG50 allows for a comparison of UDGs properties in different environments, from the field to galaxy clusters with virial mass $\rm{M_{200} \sim 2 \times 10^{14} ~ M_{\odot}}$. All UDGs in our sample have dwarf-mass haloes ($\rm{M_{200}\sim 10^{11} ~ M_{\odot} }$) and show the same environmental trends as normal dwarfs: field UDGs are star-forming and blue while satellite UDGs are typically quiescent and red. The TNG50 simulation predicts UDGs that populate preferentially higher spin haloes and more massive haloes at fixed $\rm{M_{\star}}$ compared to non-UDG dwarfs. This applies also to most satellite UDGs, which are actually ``born" UDGs in the field and infall into groups and clusters without significant changes to their size. We find, however, a small subset of satellite UDGs ($\lesssim 10 \%$) with present-day stellar size a factor $\geq 1.5$ larger than at infall, confirming that tidal effects, particularly in the lower mass dwarfs, are also a viable formation mechanism for some of these dwarfs, although subdominant in this simulation. △ Less

Submitted 12 April, 2023; v1 submitted 15 September, 2022; originally announced September 2022.

Comments: 17 pages, 14 figures, accepted to MNRAS

The Next Generation Virgo Cluster Survey. XXXIII. Stellar Population Gradients in the Virgo Cluster Core Globular Cluster System

Authors: Youkyung Ko, Eric W. Peng, Patrick Côté, Laura Ferrarese, Chengze Liu, Alessia Longobardi, Ariane Lançon, Roberto P. Muñoz, Thomas H. Puzia, Karla A. Alamo-Martínez, Laura V. Sales, Felipe Ramos-Almendares, Mario G. Abadi, Myung Gyoon Lee, Ho Seong Hwang, Nelson Caldwell, John P. Blakeslee, Alessandro Boselli, Jean-Charles Cuillandre, Pierre-Alain Duc, Susana Eyheramendy, Puragra Guhathakurta, Stephen Gwyn, Andrés Jordán, Sungsoon Lim , et al. (2 additional authors not shown)

Abstract: We present a study of the stellar populations of globular clusters (GCs) in the Virgo Cluster core with a homogeneous spectroscopic catalog of 692 GCs within a major axis distance $R_{\rm maj} = $ 840 kpc from M87. We investigate radial and azimuthal variations in the mean age, total metallicity, [Fe/H], and $α$-element abundance, of blue (metal-poor) and red (metal-rich) GCs using their co-added… ▽ More We present a study of the stellar populations of globular clusters (GCs) in the Virgo Cluster core with a homogeneous spectroscopic catalog of 692 GCs within a major axis distance $R_{\rm maj} = $ 840 kpc from M87. We investigate radial and azimuthal variations in the mean age, total metallicity, [Fe/H], and $α$-element abundance, of blue (metal-poor) and red (metal-rich) GCs using their co-added spectra. We find that the blue GCs have a steep radial gradient in [Z/H] within $R_{\rm maj} =$ 165 kpc, with roughly equal contributions from [Fe/H] and [$α$/Fe], and flat gradients beyond. By contrast, the red GCs show a much shallower gradient in [Z/H], which is entirely driven by [Fe/H]. We use GC-tagged Illustris simulations to demonstrate an accretion scenario where more massive satellites (with more metal- and $α$-rich GCs) sink further into the central galaxy than less massive ones, and where the gradient flattening occurs because of the low GC occupation fraction of low-mass dwarfs disrupted at larger distances. The dense environment around M87 may also cause the steep [$α$/Fe] gradient of the blue GCs, mirroring what is seen in the dwarf galaxy population. The progenitors of red GCs have a narrower mass range than those of blue GCs, which makes their gradients shallower. We also explore spatial inhomogeneity in GC abundances, finding that the red GCs to the northwest of M87 are slightly more metal-rich. Future observations of GC stellar population gradients will be useful diagnostics of halo merger histories. △ Less

Submitted 11 April, 2022; originally announced April 2022.

Comments: 22 pages, 8 figures, 4 tables, accepted for publication in ApJ

Numerical simulations of bar formation in the Local Group

Authors: Ornela F. Marioni, Mario G. Abadi, Stefan Gottlöber, Gustavo Yepes

Abstract: More than 50 per cent of present-day massive disc galaxies show a rotating stellar bar. Their formation and dynamics have been widely studied both numerically and observationally. Although numerical simulations in the $Λ$CDM cosmological framework predict the formation of such stellar components, there seems to be a tension between theoretical and observational results. Simulated bars are typicall… ▽ More More than 50 per cent of present-day massive disc galaxies show a rotating stellar bar. Their formation and dynamics have been widely studied both numerically and observationally. Although numerical simulations in the $Λ$CDM cosmological framework predict the formation of such stellar components, there seems to be a tension between theoretical and observational results. Simulated bars are typically larger in size and have slower pattern speed than observed ones. We study the formation and evolution of barred galaxies, using two $Λ$CDM zoom-in hydrodynamical simulations of the CLUES project that follow the evolution of a cosmological Local Group-like volume. We found that our simulated bars, at $z = 0$, are both shorter and faster rotators than previous ones found in other studies on cosmological simulations alleviating the tension mentioned above. These bars match the short tail-end of the observed bar length distribution. In agreement with previous numerical works, we find that bars form in those systems where the disc self-gravity is dominant over the dark matter halo, making them unstable against bar formation. Our bars developed in the last 3-4 Gyr until they achieve their current length and strength; as bars grow, their lengths increase while their rotation speeds decrease. Despite this slowdown, at redshift $z = 0$ their rotation speeds and size match well the observational data. △ Less

Submitted 13 January, 2022; originally announced January 2022.

Comments: 11 pages, 9 figures. Accepted for publication in MNRAS

Quiescent Ultra-diffuse galaxies in the field originating from backsplash orbits

Authors: José A. Benavides, Laura V. Sales, Mario. G. Abadi, Annalisa Pillepich, Dylan Nelson, Federico Marinacci, Michael Cooper, Ruediger Pakmor, Paul Torrey, Mark Vogelsberger, Lars Hernquist

Abstract: Ultra-diffuse galaxies (UDGs) are the lowest-surface brightness galaxies known, with typical stellar masses of dwarf galaxies but sizes similar to larger galaxies like the Milky Way. The reason for their extended sizes is debated, with suggested internal processes like angular momentum, feedback or mergers versus external mechanisms or a combination of both. Observationally, we know that UDGs are… ▽ More Ultra-diffuse galaxies (UDGs) are the lowest-surface brightness galaxies known, with typical stellar masses of dwarf galaxies but sizes similar to larger galaxies like the Milky Way. The reason for their extended sizes is debated, with suggested internal processes like angular momentum, feedback or mergers versus external mechanisms or a combination of both. Observationally, we know that UDGs are red and quiescent in groups and clusters while their counterparts in the field are blue and star-forming. This dichotomy suggests environmental effects as main culprit. However, this scenario is challenged by recent observations of isolated quiescent UDGs in the field. Here we use $Λ$CDM cosmological hydrodynamical simulation to show that isolated quenched UDGs are formed as backsplash galaxies that were once satellites of another galactic, group or cluster halo but are today a few Mpc away from them. These interactions, albeit brief, remove the gas and tidally strip the outskirts of the dark matter haloes of the now quenched seemingly-isolated UDGs, which are born as star-forming field UDGs occupying dwarf-mass dark matter haloes. Quiescent UDGs may therefore be found in non-negligible numbers in filaments and voids, bearing the mark of past interactions as stripped outer haloes devoid of dark matter and gas compared to dwarfs with similar stellar content. △ Less

Submitted 3 September, 2021; originally announced September 2021.

Comments: Author's version for the main article and supplementary information (13 pages, 10 figures). Accepted for publication in Nature Astronomy

Journal ref: Nature Astronomy 2021

Potential well in Poincaré recurrence

Authors: Miguel Abadi, Vitor G. de Amorim, Sandro Gallo

Abstract: From a physical/dynamical system perspective, the potential well represents the proportional mass of points that escape the neighbourhood of a given point. In the last 20 years, several works have shown the importance of this quantity to obtain precise approximations for several recurrence time distributions in mixing stochastic processes and dynamical systems. Besides providing a review of the di… ▽ More From a physical/dynamical system perspective, the potential well represents the proportional mass of points that escape the neighbourhood of a given point. In the last 20 years, several works have shown the importance of this quantity to obtain precise approximations for several recurrence time distributions in mixing stochastic processes and dynamical systems. Besides providing a review of the different scaling factors used in the literature in recurrence times, the present work contributes with two new results: (1) for $φ$-mixing and $ψ$-mixing processes, we give a new exponential approximation for hitting and return times using the potential well as scaling parameter. The error terms are explicit and sharp. (2) We analyse the uniform positivity of the potential well. △ Less

Submitted 28 January, 2021; originally announced January 2021.

MSC Class: 60F05; 60G70; 60G10; 37A05; 37A25; 37A50

Globular clusters as tracers of the dark matter content of dwarfs in galaxy clusters

Authors: Jessica E. Doppel, Laura V. Sales, Julio F. Navarro, Mario G. Abadi, Eric W. Peng, Elisa Toloba

Abstract: Globular clusters (GCs) are often used to estimate the dark matter content of galaxies, especially dwarfs, where other kinematic tracers are lacking. These estimates typically assume spherical symmetry and dynamical equilibrium, assumptions that may not hold for the sparse GC population of dwarfs in galaxy clusters. We use a catalog of GCs tagged onto the Illustris simulation to study the accuracy… ▽ More Globular clusters (GCs) are often used to estimate the dark matter content of galaxies, especially dwarfs, where other kinematic tracers are lacking. These estimates typically assume spherical symmetry and dynamical equilibrium, assumptions that may not hold for the sparse GC population of dwarfs in galaxy clusters. We use a catalog of GCs tagged onto the Illustris simulation to study the accuracy of GC-based mass estimates. We focus on galaxies in the stellar mass range 10$^{8} - 10^{11.8}$ M$_{\odot}$ identified in $9$ simulated Virgo-like clusters. Our results indicate that mass estimates are, on average, quite accurate in systems with GC numbers $N_{\rm GC} \geq 10$ and where the uncertainty of individual GC line-of-sight velocities is smaller than the inferred velocity dispersion, $σ_{\rm GC}$. In cases where $N_{\rm GC} \leq 10$, however, biases may result depending on how $σ_{\rm GC}$ is computed. We provide calibrations that may help alleviate these biases in methods widely used in the literature. As an application, we find a number of dwarfs with $M_{*} \sim 10^{8.5}\, M_{\odot}$ (comparable to the ultradiffuse galaxy DF2, notable for the low $σ_{GC}$ of its $10$ GCs) with $σ_{\rm GC} \sim 7$ - $15\; \rm km \rm s^{-1}$. These DF2 analogs correspond to relatively massive systems at their infall time ($M_{200} \sim 1$ - $3 \times 10^{11}$ $M_{\odot}$) which have retained only $3$-$17$ GCs and have been stripped of more than 95$\%$ of their dark matter. Our results suggest that extreme tidal mass loss in otherwise normal dwarf galaxies may be a possible formation channel for ultradiffuse objects like DF2. △ Less

Submitted 10 February, 2021; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 19 pages, 15 figures. Accepted to MNRAS Dec. 11 2020

Associations of dwarf galaxies in a $Λ$CDM Universe

Authors: C. Y. Yaryura, M. G. Abadi, S. Gottlober, N. I. Libeskind, S. A. Cora, A. N. Ruiz, C. A. Vega-Martínez, Gustavo Yepes, Peter Behroozi

Abstract: Associations of dwarf galaxies are loose systems composed exclusively of dwarf galaxies. These systems were identified in the Local Volume for the first time more than thirty years ago. We study these systems in the cosmological framework of the $Λ$ Cold Dark Matter ($Λ$CDM) model. We consider the Small MultiDark Planck simulation and populate its dark matter haloes by applying the semi-analytic m… ▽ More Associations of dwarf galaxies are loose systems composed exclusively of dwarf galaxies. These systems were identified in the Local Volume for the first time more than thirty years ago. We study these systems in the cosmological framework of the $Λ$ Cold Dark Matter ($Λ$CDM) model. We consider the Small MultiDark Planck simulation and populate its dark matter haloes by applying the semi-analytic model of galaxy formation SAG. We identify galaxy systems using a friends of friends algorithm with a linking length equal to $b=0.4 \,{\rm Mpc}\,h^{-1}$, to reproduce the size of dwarf galaxy associations detected in the Local Volume. Our samples of dwarf systems are built up removing those systems that have one (or more) galaxies with stellar mass larger than a maximum threshold $M_{\rm max}$. We analyse three different samples defined by ${\rm log}_{10}(M_{\rm max}[{\rm M}_{\odot}\,h^{-1}]) = 8.5, 9.0$ and $9.5$. On average, our systems have typical sizes of $\sim 0.2\,{\rm Mpc}\,h^{-1}$, velocity dispersion of $\sim 30 {\rm km\,s^{-1}} $ and estimated total mass of $\sim 10^{11} {\rm M}_{\odot}\,h^{-1}$. Such large typical sizes suggest that individual members of a given dwarf association reside in different dark matter haloes and are generally not substructures of any other halo. Indeed, in more than 90 per cent of our dwarf systems their individual members inhabit different dark matter haloes, while only in the remaining 10 per cent members do reside in the same halo. Our results indicate that the $Λ$CDM model can naturally reproduce the existence and properties of dwarf galaxies associations without much difficulty. △ Less

Submitted 12 October, 2020; originally announced October 2020.

Comments: 9 pages, 7 figures. Accepted for publication in MNRAS

A unified scenario for the origin of spiral and elliptical galaxy structural scaling laws

Authors: I. Ferrero, J. F. Navarro, M. G. Abadi, J. A. Benavides, D. Mast

Abstract: Elliptical (E) and spiral (S) galaxies follow tight, but different, scaling laws that link their stellar masses, radii, and characteristic velocities. Mass and velocity, for example, scale tightly in spirals with little dependence on galaxy radius (the "Tully-Fisher relation"; TFR). On the other hand, ellipticals appear to trace a 2D surface in size-mass-velocity space (the "Fundamental Plane"; FP… ▽ More Elliptical (E) and spiral (S) galaxies follow tight, but different, scaling laws that link their stellar masses, radii, and characteristic velocities. Mass and velocity, for example, scale tightly in spirals with little dependence on galaxy radius (the "Tully-Fisher relation"; TFR). On the other hand, ellipticals appear to trace a 2D surface in size-mass-velocity space (the "Fundamental Plane"; FP). Over the years, a number of studies have attempted to understand these empirical relations, usually in terms of variations of the virial theorem for E galaxies and in terms of the scaling relations of dark matter halos for spirals. We use Lambda cold dark matter (LCDM) cosmological hydrodynamical simulations to show that the scaling relations of both ellipticals and spirals arise as the result of (i) a tight galaxy mass-dark halo mass relation and (ii) the self-similar mass profile of cold dark matter halos. In this interpretation, E and S galaxies of a given stellar mass inhabit halos of similar masses, and their different scaling laws result from the varying amounts of dark matter enclosed within their luminous radii. This scenario suggests a new galaxy distance indicator applicable to galaxies of all morphologies and provides simple and intuitive explanations for long-standing puzzles, such as why the TFR is independent of surface brightness, or what causes the "tilt" in the FP. Our results provide strong support for the predictions of LCDM in the strongly non-linear regime, as well as guidance for further improvements to cosmological simulations of galaxy formation. △ Less

Submitted 3 March, 2021; v1 submitted 8 September, 2020; originally announced September 2020.

Comments: 17 pages, 13 figures. Accepted for publication in A&A

Journal ref: A&A 648, A124 (2021)

Smart Choices and the Selection Monad

Authors: Martin Abadi, Gordon Plotkin

Abstract: Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by optimization techniques and, increasingly, by machine-learning methods. We study this approach from a programming-language perspective. We define two small… ▽ More Describing systems in terms of choices and their resulting costs and rewards offers the promise of freeing algorithm designers and programmers from specifying how those choices should be made; in implementations, the choices can be realized by optimization techniques and, increasingly, by machine-learning methods. We study this approach from a programming-language perspective. We define two small languages that support decision-making abstractions: one with choices and rewards, and the other additionally with probabilities. We give both operational and denotational semantics. In the case of the second language we consider three denotational semantics, with varying degrees of correlation between possible program values and expected rewards. The operational semantics combine the usual semantics of standard constructs with optimization over spaces of possible execution strategies. The denotational semantics, which are compositional, rely on the selection monad, to handle choice, augmented with an auxiliary monad to handle other effects, such as rewards or probability. We establish adequacy theorems that the two semantics coincide in all cases. We also prove full abstraction at base types, with varying notions of observation in the probabilistic case corresponding to the various degrees of correlation. We present axioms for choice combined with rewards and probability, establishing completeness at base types for the case of rewards without probability. △ Less

Submitted 19 April, 2023; v1 submitted 17 July, 2020; originally announced July 2020.

Journal ref: Logical Methods in Computer Science, Volume 19, Issue 2 (April 20, 2023) lmcs:8372

Accretion of Galaxy Groups into Galaxy Clusters

Authors: José. A. Benavides, Laura. V. Sales, Mario. G. Abadi

Abstract: We study the role of group infall in the assembly and dynamics of galaxy clusters in $Λ$CDM. We select $10$ clusters with virial mass $M_{\rm 200} \sim 10^{14} \, M_{\odot}$ from the cosmological hydrodynamical simulation Illustris and follow their galaxies with stellar mass $M_{\star} \geq 1.5 \times 10^8 \, M_{\odot}$. A median of $\sim 38\%$ of surviving galaxies at $z=0$ are accreted as part o… ▽ More We study the role of group infall in the assembly and dynamics of galaxy clusters in $Λ$CDM. We select $10$ clusters with virial mass $M_{\rm 200} \sim 10^{14} \, M_{\odot}$ from the cosmological hydrodynamical simulation Illustris and follow their galaxies with stellar mass $M_{\star} \geq 1.5 \times 10^8 \, M_{\odot}$. A median of $\sim 38\%$ of surviving galaxies at $z=0$ are accreted as part of groups and did not infall directly from the field, albeit with significant cluster-to-cluster scatter. The evolution of these galaxy associations is quick, with observational signatures of their common origin eroding rapidly in $1$-$3$ Gyr after infall. Substructure plays a dominant role in fostering the conditions for galaxy mergers to happen, even within the cluster environment. Integrated over time, we identify (per cluster) an average of $17 \pm 6$ mergers that occur in infalling galaxy associations, of which $7 \pm 3$ occur well within the virial radius of their cluster hosts. The number of mergers show large dispersion from cluster to cluster, with our most massive system having $42$ mergers above our mass cut-off. These mergers, which are typically gas rich for dwarfs and a combination of gas rich and gas poor for $M_{\star} \sim 10^{11} \, M_{\odot}$, may contribute significantly within $Λ$CDM to the formation of specific morphologies, such as lenticulars (S0) and blue compact dwarfs in groups and clusters. △ Less

Submitted 2 September, 2020; v1 submitted 11 May, 2020; originally announced May 2020.

Comments: 12 pages, 11 figures. Accepted for publication in MNRAS

A Simple Differentiable Programming Language

Authors: Martin Abadi, Gordon D. Plotkin

Abstract: Automatic differentiation plays a prominent role in scientific computing and in modern machine learning, often in the context of powerful programming systems. The relation of the various embodiments of automatic differentiation to the mathematical notion of derivative is not always entirely clear---discrepancies can arise, sometimes inadvertently. In order to study automatic differentiation in suc… ▽ More Automatic differentiation plays a prominent role in scientific computing and in modern machine learning, often in the context of powerful programming systems. The relation of the various embodiments of automatic differentiation to the mathematical notion of derivative is not always entirely clear---discrepancies can arise, sometimes inadvertently. In order to study automatic differentiation in such programming contexts, we define a small but expressive programming language that includes a construct for reverse-mode differentiation. We give operational and denotational semantics for this language. The operational semantics employs popular implementation techniques, while the denotational semantics employs notions of differentiation familiar from real analysis. We establish that these semantics coincide. △ Less

Submitted 1 February, 2020; v1 submitted 11 November, 2019; originally announced November 2019.

Comments: In POPL2020

Numerical solution of the Schrodinger equation for types of Woods-Saxon potential

Authors: Vahid Mirzaei Mahmoud Abadi, Abbas Hosseini Ranjbar, Javad Mohammadi, Rahim Khabaz Kharame

Abstract: In this study, the Schrodinger equation for the Woods-Saxon potential, the general Woods-Saxon potential, and D-dimensional Woods-Saxon potential is numerically investigated. In this study, the Schrodinger equation for the Woods-Saxon potential, the general Woods-Saxon potential, and D-dimensional Woods-Saxon potential is numerically investigated. △ Less

Submitted 25 December, 2020; v1 submitted 9 October, 2019; originally announced October 2019.

Numerical and Fitting Approach for Investigation of the Schrödinger Equation for Flat Potentials

Authors: Vahid Mirzaei Mahmoud Abadi, Javad Mohammadi

Abstract: In this study, the Schrodinger equation for flat potentials through the pseudo-perspective method is investigated. In this study, the Schrodinger equation for flat potentials through the pseudo-perspective method is investigated. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Properties of subhalos in the interacting dark matter scenario

Authors: Ángeles Moliné, Jascha A. Schewtschenko, Miguel A. Sánchez-Conde, Alejandra Aguirre-Santaella, Sofía A. Cora, Mario G. Abadi

Abstract: One possible and natural derivation from the collisionless cold dark matter (CDM) standard cosmological framework is the assumption of the existence of interactions between dark matter (DM) and photons or neutrinos. Such possible interacting dark matter (IDM) model would imply a suppression of small-scale structures due to a large collisional dam** effect, even though the weakly interacting mass… ▽ More One possible and natural derivation from the collisionless cold dark matter (CDM) standard cosmological framework is the assumption of the existence of interactions between dark matter (DM) and photons or neutrinos. Such possible interacting dark matter (IDM) model would imply a suppression of small-scale structures due to a large collisional dam** effect, even though the weakly interacting massive particle (WIMP) can still be the DM candidate. Because of this, IDM models can help alleviate alleged tensions between standard CDM predictions and observations at small mass scales. In this work, we investigate the properties of DM halo substructure or subhalos formed in a high-resolution cosmological N-body simulation specifically run within these alternative models. We also run its CDM counterpart, which allowed us to compare subhalo properties in both cosmologies. We show that, in the lower mass range covered by our simulation runs, both subhalo concentrations and abundances are systematically lower in IDM compared to the CDM scenario. Yet, as in CDM, we find that median IDM subhalo concentration values increase towards the innermost regions of their hosts for same mass subhalos. Also similarly to CDM, we find IDM subhalos to be more concentrated than field halos of the same mass. Our work has a direct application on studies aimed at the indirect detection of DM where subhalos are expected to boost the DM signal of their host halos significantly. From our results, we conclude that the role of halo substructure in DM searches will be less important in interacting scenarios than in CDM, but is nevertheless far from being negligible. △ Less

Submitted 9 October, 2019; v1 submitted 29 July, 2019; originally announced July 2019.

Comments: 16 pages, 6 figures and 2 tables. Invited contribution submitted to Galaxies, Special Issue "The Role of Halo Substructure in Gamma-Ray Dark Matter Searches" v2: minor changes, matches the published version

Report number: HALO-SPECIAL_ISSUE/2020/09

Journal ref: Galaxies 2019, 7(4), 80

Simulating the Spatial Distribution and Kinematics of Globular Clusters within Galaxy Clusters in Illustris

Authors: Felipe Ramos-Almendares, Laura V. Sales, Mario G. Abadi, Jessica E. Doppel, Hernan Muriel, Eric W. Peng

Abstract: We study the assembly of globular clusters (GCs) in 9 galaxy clusters using the cosmological simulation Illustris. GCs are tagged to individual galaxies at their infall time. The tidal removal of GCs from their galaxies and the distribution of the GCs within the cluster is later followed self-consistently by the simulation. The method relies on the simple assumption of a single power-law relation… ▽ More We study the assembly of globular clusters (GCs) in 9 galaxy clusters using the cosmological simulation Illustris. GCs are tagged to individual galaxies at their infall time. The tidal removal of GCs from their galaxies and the distribution of the GCs within the cluster is later followed self-consistently by the simulation. The method relies on the simple assumption of a single power-law relation between halo mass (M_vir) and mass in GCs (M_GC) as found in observations. We find that the GCs specific frequency $S_N$ as a function of V-band magnitude naturally reproduces the observed "U"-shape, due to the combination of a power law M_GC-M_vir relation and the non-linear M_*-M_vir relation from the simulation. Additional scatter in the $S_N$ values are traced back to galaxies with early infall times due to the evolution in the M_*-M_vir relation with redshift. GCs that have been tidally removed from their galaxies form today the intra-cluster component from which about ~60% were brought in by galaxies that orbit today within the cluster potential. The remaining "orphan" GCs are contributed by satellite galaxies with a wide range of stellar masses that are fully tidally disrupted at z=0. This intra-cluster component is a good dynamical tracer of the dark matter potential. As a consequence of the accreted nature of most intra-cluster GCs, their orbits are fairly radial with a predicted orbital anisotropy β>= 0.5. However, local tangential motions may appear as a consequence of localized substructure, providing a possible interpretation to the β<0 values suggested in observations of M87. △ Less

Submitted 21 February, 2020; v1 submitted 27 June, 2019; originally announced June 2019.

Comments: 13 pages, 10 figures, accepted in MNRAS

The complete $L^q$-spectrum and large deviations for return times for equilibrium states with summable potentials

Authors: M. Abadi, V. Amorim, J. -R. Chazottes, S. Gallo

Abstract: Let $(X_k)_{k\geq 0}$ be a stationary and ergodic process with joint distribution $μ$ where the random variables $X_k$ take values in a finite set $\mathcal{A}$. Let $R_n$ be the first time this process repeats its first $n$ symbols of output. It is well-known that $\frac{1}{n}\log R_n$ converges almost surely to the entropy of the process. Refined properties of $R_n$ (large deviations, multifract… ▽ More Let $(X_k)_{k\geq 0}$ be a stationary and ergodic process with joint distribution $μ$ where the random variables $X_k$ take values in a finite set $\mathcal{A}$. Let $R_n$ be the first time this process repeats its first $n$ symbols of output. It is well-known that $\frac{1}{n}\log R_n$ converges almost surely to the entropy of the process. Refined properties of $R_n$ (large deviations, multifractality, etc) are encoded in the return-time $L^q$-spectrum defined as \[ \mathcal{R}(q)=\lim_n\frac{1}{n}\log\int R_n^q \,dμ\quad (q\in\mathbb{R}) \] provided the limit exists. We consider the case where $(X_k)_{k\geq 0}$ is distributed according to the equilibrium state of a potential $\varphi:\mathcal{A}^{\mathbb{N}}\to\mathbb{R}$ with summable variation, and we prove that \[ \mathcal{R}(q) = \begin{cases} P((1-q)\varphi) & \text{for}\;\; q\geq q_\varphi^*\\ \sup_η\int \varphi \, dη& \text{for}\;\; q<q_\varphi^{*} \end{cases} \] where $P((1-q)\varphi)$ is the topological pressure of $(1-q)\varphi$, the supremum is taken over all shift-invariant measures, and $q_\varphi^*$ is the unique solution of $P((1-q)\varphi) =\sup_η\int \varphi \, dη$. Unexpectedly, this spectrum does not coincide with the $L^q$-spectrum of $μ_\varphi$, which is $P((1-q)\varphi)$, and does not coincide with the waiting-time $L^q$-spectrum in general. In fact, the return-time $L^q$-spectrum coincides with the waiting-time $L^q$-spectrum if and only if the equilibrium state of $\varphi$ is the measure of maximal entropy. As a by-product, we also improve the large deviation asymptotics of $\frac{1}{n}\log R_n$. △ Less

Submitted 30 March, 2022; v1 submitted 9 February, 2019; originally announced February 2019.

Comments: 29 pages, 1 figure, submitted. This is a completely new version. All statements in the previous version are correct, but the proof of the main result relied on a result which turned out to be false. This is now fixed and gave rise to a companion paper by three of the present authors, see arXiv:2101.12381

Metastability and Multiscale Extinction Time on a Finite System of Interacting Stochastic Chains

Authors: L. Brochini, M. Abadi

Abstract: We studied metastability and extinction time of a finite system with a large number of interacting components in discrete time by means of analytical and numerical investigation. The system is markovian with respect to the potential profile of the components, which are subject to leakage and gain effects simultaneously. We show that the only invariant measure is the null configuration, that the sy… ▽ More We studied metastability and extinction time of a finite system with a large number of interacting components in discrete time by means of analytical and numerical investigation. The system is markovian with respect to the potential profile of the components, which are subject to leakage and gain effects simultaneously. We show that the only invariant measure is the null configuration, that the system ceases activity almost surely in a finite time and that extinction time presents a cutoff behavior. Moreover, there is a critical parameter determined by leakage and gain below which the extinction time does not depend on the system size. Above such critical ratio, the extinction time depends on the number of components and the system tends to stabilize around a unique metastable state. Furthermore, the extinction time presents infinitely many scales with respect to the system size. △ Less

Submitted 21 December, 2018; originally announced December 2018.

Clustering indices and decay of correlations in non-Markovian models

Authors: Miguel Abadi, Ana Cristina Moreira Freitas, Jorge Milhazes Freitas

Abstract: When there is no independence, abnormal observations may have a tendency to appear in clusters instead of scattered along the time frame. Identifying clusters and estimating their size are important problems arising in statistics of extremes or in the study of quantitative recurrence for dynamical systems. In the classical literature, the Extremal Index appears associated to the cluster size and,… ▽ More When there is no independence, abnormal observations may have a tendency to appear in clusters instead of scattered along the time frame. Identifying clusters and estimating their size are important problems arising in statistics of extremes or in the study of quantitative recurrence for dynamical systems. In the classical literature, the Extremal Index appears associated to the cluster size and, in fact, it is usually interpreted as the reciprocal of the mean cluster size. This quantity involves a passage to the limit and in some special cases this interpretation fails due to an escape of mass when computing the limiting point processes. Smith \cite{S88} introduced a regenerative process exhibiting such disagreement. Very recently, in \cite{AFF18} the authors used a dynamical mechanism to emulate the same inadequacy of the usual interpretation of the Extremal Index. Here, we consider a general regenerative process that includes Smith's model and show that it is important to consider finite time quantities instead of asymptotic ones and compare their different behaviours in relation to the cluster size. We consider other indicators such as what we call the sojourn time, which corresponds to the size of groups of abnormal observations, when there is some uncertainty regarding where the cluster containing that group was actually initiated. We also study the decay of correlations of the non-Markovian models considered. △ Less

Submitted 7 October, 2018; originally announced October 2018.

Dynamical counterexamples regarding the Extremal Index and the mean of the limiting cluster size distribution

Authors: Miguel Abadi, Ana Cristina Moreira Freitas, Jorge Milhazes Freitas

Abstract: The Extremal Index is a parameter that measures the intensity of clustering of rare events and is usually equal to the reciprocal of the mean of the limiting cluster size distribution. We show how to build dynamically generated stochastic processes with an Extremal Index for which that equality does not hold. The mechanism used to build such counterexamples is based on considering observable funct… ▽ More The Extremal Index is a parameter that measures the intensity of clustering of rare events and is usually equal to the reciprocal of the mean of the limiting cluster size distribution. We show how to build dynamically generated stochastic processes with an Extremal Index for which that equality does not hold. The mechanism used to build such counterexamples is based on considering observable functions maximised at at least two points of the phase space, where one of them is an indifferent periodic point and another one is either a repelling periodic point or a non periodic point. The occurrence of extreme events is then tied to the entrance and recurrence to the vicinities of those points. This enables to mix the behaviour of an Extremal Index equal to $0$ with that of an Extremal Index larger than $0$. Using bi-dimensional point processes we explain how mass escapes in order to destroy the usual relation. We also perform a study about the formulae to compute the limiting cluster size distribution introduced in \cite{FFT13,AFV15} and prove that ergodicity is enough to establish that the reciprocal of the Extremal Index is equal to the limit of the mean of the finite time cluster size distribution, which, in the case of the counterexamples given, does not coincide with the mean of the limit of the cluster size distribution. △ Less

Submitted 28 November, 2019; v1 submitted 8 August, 2018; originally announced August 2018.

Ring Galaxies in the EAGLE Hydrodynamical Simulations

Authors: Ahmed Elagali, Claudia D. P. Lagos, O. Ivy Wong, Lister Staveley-Smith, James W. Trayford, Matthieu Schaller, Tiantian Yuan, Mario G. Abadi

Abstract: We study the formation and evolution of ring galaxies in the Evolution and Assembly of GaLaxies and their Environments (EAGLE) simulations. We use the largest reference model Ref-L100N1504, a cubic cosmological volume of 100 comoving megaparsecs on a side, to identify and characterise these systems through cosmic time. The number density of ring galaxies in EAGLE is in broad agreement with the obs… ▽ More We study the formation and evolution of ring galaxies in the Evolution and Assembly of GaLaxies and their Environments (EAGLE) simulations. We use the largest reference model Ref-L100N1504, a cubic cosmological volume of 100 comoving megaparsecs on a side, to identify and characterise these systems through cosmic time. The number density of ring galaxies in EAGLE is in broad agreement with the observations. The vast majority of ring galaxies identified in EAGLE (83 per cent) have an interaction origin, i.e., form when one or more companion galaxies drop-through a disk galaxy. The remainder (17 per cent) have very long-lived ring morphologies (> 2 Gyr) and host strong bars. Ring galaxies are HI rich galaxies, yet display inefficient star formation activity and tend to reside in the green valley particularly at z > 0.5. This inefficiency is mainly due to the low pressure and metallicity of their interstellar medium (ISM) compared with the ISM of similar star-forming galaxies. We find that the interaction(s) is responsible for decreasing the ISM pressure by causing the ISM gas to flow from the inner regions to the outer disk, where the ring feature forms. At a fixed radius, the star formation efficiency of ring galaxies is indistinguishable from their star-forming counterparts, and thus the main reason for their integrated lower efficiency is the different gas surface density profiles. Since galaxy morphologies are not used to tune the parameters in hydrodynamical simulations, the experiment performed here demonstrates the success of the current numerical models in EAGLE. △ Less

Submitted 7 September, 2018; v1 submitted 22 July, 2018; originally announced July 2018.

Comments: Accepted for publication in MNRAS!

Dynamic Control Flow in Large-Scale Machine Learning

Authors: Yuan Yu, Martín Abadi, Paul Barham, Eugene Brevdo, Mike Burrows, Andy Davis, Jeff Dean, Sanjay Ghemawat, Tim Harley, Peter Hawkins, Michael Isard, Manjunath Kudlur, Rajat Monga, Derek Murray, Xiaoqiang Zheng

Abstract: Many recent machine learning models rely on fine-grained dynamic control flow for training and inference. In particular, models based on recurrent neural networks and on reinforcement learning depend on recurrence relations, data-dependent conditional execution, and other features that call for dynamic control flow. These applications benefit from the ability to make rapid control-flow decisions a… ▽ More Many recent machine learning models rely on fine-grained dynamic control flow for training and inference. In particular, models based on recurrent neural networks and on reinforcement learning depend on recurrence relations, data-dependent conditional execution, and other features that call for dynamic control flow. These applications benefit from the ability to make rapid control-flow decisions across a set of computing devices in a distributed system. For performance, scalability, and expressiveness, a machine learning system must support dynamic control flow in distributed and heterogeneous environments. This paper presents a programming model for distributed machine learning that supports dynamic control flow. We describe the design of the programming model, and its implementation in TensorFlow, a distributed machine learning system. Our approach extends the use of dataflow graphs to represent machine learning models, offering several distinctive features. First, the branches of conditionals and bodies of loops can be partitioned across many machines to run on a set of heterogeneous devices, including CPUs, GPUs, and custom ASICs. Second, programs written in our model support automatic differentiation and distributed gradient computations, which are necessary for training machine learning models that use control flow. Third, our choice of non-strict semantics enables multiple loop iterations to execute in parallel across machines, and to overlap compute and I/O operations. We have done our work in the context of TensorFlow, and it has been used extensively in research and production. We evaluate it using several real-world applications, and demonstrate its performance and scalability. △ Less

Submitted 4 May, 2018; originally announced May 2018.

Comments: Appeared in EuroSys 2018. 14 pages, 16 figures

Journal ref: EuroSys 2018: Thirteenth EuroSys Conference, April 23-26, 2018, Porto, Portugal. ACM, New York, NY, USA

Adversarial Patch

Authors: Tom B. Brown, Dandelion Mané, Aurko Roy, Martín Abadi, Justin Gilmer

Abstract: We present a method to create universal, robust, targeted adversarial image patches in the real world. The patches are universal because they can be used to attack any scene, robust because they work under a wide variety of transformations, and targeted because they can cause a classifier to output any target class. These adversarial patches can be printed, added to any scene, photographed, and pr… ▽ More We present a method to create universal, robust, targeted adversarial image patches in the real world. The patches are universal because they can be used to attack any scene, robust because they work under a wide variety of transformations, and targeted because they can cause a classifier to output any target class. These adversarial patches can be printed, added to any scene, photographed, and presented to image classifiers; even when the patches are small, they cause the classifiers to ignore the other items in the scene and report a chosen target class. To reproduce the results from the paper, our code is available at https://github.com/tensorflow/cleverhans/tree/master/examples/adversarial_patch △ Less

Submitted 16 May, 2018; v1 submitted 27 December, 2017; originally announced December 2017.

Intra-cluster Globular Clusters in a Simulated Galaxy Cluster

Authors: Felipe Ramos-Almendares, Mario G. Abadi, Hernán Muriel, Valeria Coenda

Abstract: Using a cosmological dark matter simulation of a galaxy-cluster halo, we follow the temporal evolution of its globular cluster population. To mimic the red and blue globular cluster populations, we select at high redshift $(z\sim 1)$ two sets of particles from individual galactic halos constrained by the fact that, at redshift $z=0$, they have density profiles similar to observed ones. At redshift… ▽ More Using a cosmological dark matter simulation of a galaxy-cluster halo, we follow the temporal evolution of its globular cluster population. To mimic the red and blue globular cluster populations, we select at high redshift $(z\sim 1)$ two sets of particles from individual galactic halos constrained by the fact that, at redshift $z=0$, they have density profiles similar to observed ones. At redshift $z=0$, approximately 60\% of our selected globular clusters were removed from their original halos building up the intra-cluster globular cluster population, while the remaining 40\% are still gravitationally bound to their original galactic halos. Since the blue population is more extended than the red one, the intra-cluster globular cluster population is dominated by blue globular clusters, with a relative fraction that grows from 60\% at redshift $z=0$ up to 83\% for redshift $z\sim 2$. In agreement with observational results for the Virgo galaxy cluster, the blue intra-cluster globular cluster population is more spatially extended than the red one, pointing to a tidally disrupted origin. △ Less

Submitted 14 December, 2017; originally announced December 2017.

Comments: accepted for publication in ApJ

On the Protection of Private Information in Machine Learning Systems: Two Recent Approaches

Authors: Martín Abadi, Úlfar Erlingsson, Ian Goodfellow, H. Brendan McMahan, Ilya Mironov, Nicolas Papernot, Kunal Talwar, Li Zhang

Abstract: The recent, remarkable growth of machine learning has led to intense interest in the privacy of the data on which machine learning relies, and to new techniques for preserving privacy. However, older ideas about privacy may well remain valid and useful. This note reviews two recent works on privacy in the light of the wisdom of some of the early literature, in particular the principles distilled b… ▽ More The recent, remarkable growth of machine learning has led to intense interest in the privacy of the data on which machine learning relies, and to new techniques for preserving privacy. However, older ideas about privacy may well remain valid and useful. This note reviews two recent works on privacy in the light of the wisdom of some of the early literature, in particular the principles distilled by Saltzer and Schroeder in the 1970s. △ Less

Submitted 26 August, 2017; originally announced August 2017.

Journal ref: IEEE 30th Computer Security Foundations Symposium (CSF), pages 1--6, 2017

AMIGOS: A Dataset for Affect, Personality and Mood Research on Individuals and Groups

Authors: Juan Abdon Miranda-Correa, Mojtaba Khomami Abadi, Nicu Sebe, Ioannis Patras

Abstract: We present AMIGOS-- A dataset for Multimodal research of affect, personality traits and mood on Individuals and GrOupS. Different to other databases, we elicited affect using both short and long videos in two social contexts, one with individual viewers and one with groups of viewers. The database allows the multimodal study of the affective responses, by means of neuro-physiological signals of in… ▽ More We present AMIGOS-- A dataset for Multimodal research of affect, personality traits and mood on Individuals and GrOupS. Different to other databases, we elicited affect using both short and long videos in two social contexts, one with individual viewers and one with groups of viewers. The database allows the multimodal study of the affective responses, by means of neuro-physiological signals of individuals in relation to their personality and mood, and with respect to the social context and videos' duration. The data is collected in two experimental settings. In the first one, 40 participants watched 16 short emotional videos. In the second one, the participants watched 4 long videos, some of them alone and the rest in groups. The participants' signals, namely, Electroencephalogram (EEG), Electrocardiogram (ECG) and Galvanic Skin Response (GSR), were recorded using wearable sensors. Participants' frontal HD video and both RGB and depth full body videos were also recorded. Participants emotions have been annotated with both self-assessment of affective levels (valence, arousal, control, familiarity, liking and basic emotions) felt during the videos as well as external-assessment of levels of valence and arousal. We present a detailed correlation analysis of the different dimensions as well as baseline methods and results for single-trial classification of valence and arousal, personality traits, mood and social context. The database is made publicly available. △ Less

Submitted 13 April, 2017; v1 submitted 2 February, 2017; originally announced February 2017.

Comments: 14 pages, Transaction on Affective Computing

Learning a Natural Language Interface with Neural Programmer

Authors: Arvind Neelakantan, Quoc V. Le, Martin Abadi, Andrew McCallum, Dario Amodei

Abstract: Learning a natural language interface for database tables is a challenging task that involves deep language understanding and multi-step reasoning. The task is often approached by map** natural language queries to logical forms or programs that provide the desired response when executed on the database. To our knowledge, this paper presents the first weakly supervised, end-to-end neural network… ▽ More Learning a natural language interface for database tables is a challenging task that involves deep language understanding and multi-step reasoning. The task is often approached by map** natural language queries to logical forms or programs that provide the desired response when executed on the database. To our knowledge, this paper presents the first weakly supervised, end-to-end neural network model to induce such programs on a real-world dataset. We enhance the objective function of Neural Programmer, a neural network with built-in discrete operations, and apply it on WikiTableQuestions, a natural language question-answering dataset. The model is trained end-to-end with weak supervision of question-answer pairs, and does not require domain-specific grammars, rules, or annotations that are key elements in previous approaches to program induction. The main experimental result in this paper is that a single Neural Programmer model achieves 34.2% accuracy using only 10,000 examples with weak supervision. An ensemble of 15 models, with a trivial combination technique, achieves 37.7% accuracy, which is competitive to the current state-of-the-art accuracy of 37.1% obtained by a traditional natural language semantic parser. △ Less

Submitted 2 March, 2017; v1 submitted 27 November, 2016; originally announced November 2016.

Comments: Published as a conference paper at ICLR 2017

From the divergence between two measures to the shortest path between two observables

Authors: Miguel Abadi, Rodrigo Lambert

Abstract: We consider two independent and stationary measures over $χ^\mathbb{N}$, where $χ$ finite or countable alphabet. For each pair of $n$-strings in the product space we define $T_n^{(2)}$ as the length of the shortest path connecting one string to the other where the paths are generating by the underlying dynamics of the measure. For ergodic measures with positive entropy we prove that, for almost ev… ▽ More We consider two independent and stationary measures over $χ^\mathbb{N}$, where $χ$ finite or countable alphabet. For each pair of $n$-strings in the product space we define $T_n^{(2)}$ as the length of the shortest path connecting one string to the other where the paths are generating by the underlying dynamics of the measure. For ergodic measures with positive entropy we prove that, for almost every pair of realizations $(x,y)$, $T^{(2)}_n/n$ concentrates in one, as $n$ diverges. Under mild extra conditions we prove a large deviation principle. This principle is linked to a quantity that compute the similarity between the two measures that we also introduce. We further prove its existence and other properties. We also show that the fluctuations of $T_n^{(2)}$ converge (only) in distribution to a non-degenerated distribution. Several examples are provided for all results. △ Less

Submitted 27 December, 2017; v1 submitted 4 November, 2016; originally announced November 2016.

Comments: 19 pages, 1 figure

MSC Class: 37xx; 41A25; 60Axx; 60C05; 60Fxx; 60-XX

Learning to Protect Communications with Adversarial Neural Cryptography

Authors: Martín Abadi, David G. Andersen

Abstract: We ask whether neural networks can learn to use secret keys to protect information from other neural networks. Specifically, we focus on ensuring confidentiality properties in a multiagent system, and we specify those properties in terms of an adversary. Thus, a system may consist of neural networks named Alice and Bob, and we aim to limit what a third neural network named Eve learns from eavesdro… ▽ More We ask whether neural networks can learn to use secret keys to protect information from other neural networks. Specifically, we focus on ensuring confidentiality properties in a multiagent system, and we specify those properties in terms of an adversary. Thus, a system may consist of neural networks named Alice and Bob, and we aim to limit what a third neural network named Eve learns from eavesdrop** on the communication between Alice and Bob. We do not prescribe specific cryptographic algorithms to these neural networks; instead, we train end-to-end, adversarially. We demonstrate that the neural networks can learn how to perform forms of encryption and decryption, and also how to apply these operations selectively in order to meet confidentiality goals. △ Less

Submitted 21 October, 2016; originally announced October 2016.

Comments: 15 pages

Semi-supervised Knowledge Transfer for Deep Learning from Private Training Data

Authors: Nicolas Papernot, Martín Abadi, Úlfar Erlingsson, Ian Goodfellow, Kunal Talwar

Abstract: Some machine learning applications involve training data that is sensitive, such as the medical histories of patients in a clinical trial. A model may inadvertently and implicitly store some of its training data; careful analysis of the model may therefore reveal sensitive information. To address this problem, we demonstrate a generally applicable approach to providing strong privacy guarantees… ▽ More Some machine learning applications involve training data that is sensitive, such as the medical histories of patients in a clinical trial. A model may inadvertently and implicitly store some of its training data; careful analysis of the model may therefore reveal sensitive information. To address this problem, we demonstrate a generally applicable approach to providing strong privacy guarantees for training data: Private Aggregation of Teacher Ensembles (PATE). The approach combines, in a black-box fashion, multiple models trained with disjoint datasets, such as records from different subsets of users. Because they rely directly on sensitive data, these models are not published, but instead used as "teachers" for a "student" model. The student learns to predict an output chosen by noisy voting among all of the teachers, and cannot directly access an individual teacher or the underlying data or parameters. The student's privacy properties can be understood both intuitively (since no single teacher and thus no single dataset dictates the student's training) and formally, in terms of differential privacy. These properties hold even if an adversary can not only query the student but also inspect its internal workings. Compared with previous work, the approach imposes only weak assumptions on how teachers are trained: it applies to any model, including non-convex models like DNNs. We achieve state-of-the-art privacy/utility trade-offs on MNIST and SVHN thanks to an improved privacy analysis and semi-supervised learning. △ Less

Submitted 3 March, 2017; v1 submitted 18 October, 2016; originally announced October 2016.

Comments: Accepted to ICLR 17 as an oral

Barred galaxies in the EAGLE cosmological hydrodynamical simulation

Authors: David G. Algorry, Julio F. Navarro, Mario G. Abadi, Laura V. Sales, Richard G. Bower, Robert A. Crain, Claudio Dalla Vecchia, Carlos S. Frenk, Matthieu Schaller, Joop Schaye, Tom Theuns

Abstract: We examine the properties of barred disc galaxies in a LCDM cosmological hydrodynamical simulation from the EAGLE project. Our study follows the formation of 269 discs identified at z = 0 in the stellar mass range 10.6 < log Mstr /M < 11. These discs show a wide range of bar strengths, from unbarred discs to weak bars to strongly barred systems (= 20%). Bars in these systems develop after redshift… ▽ More We examine the properties of barred disc galaxies in a LCDM cosmological hydrodynamical simulation from the EAGLE project. Our study follows the formation of 269 discs identified at z = 0 in the stellar mass range 10.6 < log Mstr /M < 11. These discs show a wide range of bar strengths, from unbarred discs to weak bars to strongly barred systems (= 20%). Bars in these systems develop after redshift = 1.3, on timescales that depend sen- sitively on the strength of the pattern. Strong bars develop relatively quickly (in a few Gyr, = 10 disc rotation periods) in systems that are disc dominated, gas poor, and have declining rotation curves. Weak bars develop more slowly in systems where the disc is less gravitation- ally important, and are still growing at z = 0. Unbarred galaxies are comparatively gas-rich discs whose rotation speeds do not exceed the maximum circular velocity of the halos they inhabit. Bar lengths compare favourably with observations, ranging from 0.2 to 0.8 times the radius containing 90% of the stars. Bars slow down remarkably quickly as they grow, causing the inner regions of the surrounding dark halo to expand. At z = 0 strong bars have corota- tion radii roughly ten times the bar length. Such slow bars are inconsistent with the few cases where pattern speeds have been measured or inferred observationally, a discrepancy that, if confirmed, might prove a challenge for disc galaxy formation in LCDM. △ Less

Submitted 19 September, 2016; originally announced September 2016.

Comments: 11 pages, 10 figures

The Applied Pi Calculus: Mobile Values, New Names, and Secure Communication

Authors: Martín Abadi, Bruno Blanchet, Cédric Fournet

Abstract: We study the interaction of the programming construct "new", which generates statically scoped names, with communication via messages on channels. This interaction is crucial in security protocols, which are the main motivating examples for our work, it also appears in other programming-language contexts. We define the applied pi calculus, a simple, general extension of the pi calculus in which… ▽ More We study the interaction of the programming construct "new", which generates statically scoped names, with communication via messages on channels. This interaction is crucial in security protocols, which are the main motivating examples for our work, it also appears in other programming-language contexts. We define the applied pi calculus, a simple, general extension of the pi calculus in which values can be formed from names via the application of built-in functions, subject to equations, and be sent as messages. (In contrast, the pure pi calculus lacks built-in functions, its only messages are atomic names.) We develop semantics and proof techniques for this extended language and apply them in reasoning about security protocols. This paper essentially subsumes the conference paper that introduced the applied pi calculus in 2001. It fills gaps, incorporates improvements, and further explains and studies the applied pi calculus. Since 2001, the applied pi calculus has been the basis for much further work, described in many research publications and sometimes embodied in useful software, such as the tool ProVerif, which relies on the applied pi calculus to support the specification and automatic analysis of security protocols. Although this paper does not aim to be a complete review of the subject, it benefits from that further work and provides better foundations for some of it. In particular, the applied pi calculus has evolved through its implementation in ProVerif, and the present definition reflects that evolution. △ Less

Submitted 28 July, 2017; v1 submitted 10 September, 2016; originally announced September 2016.

Comments: 104 pages

Size matters: abundance matching, galaxy sizes, and the Tully-Fisher relation in EAGLE

Authors: Ismael Ferrero, Julio F. Navarro, Mario G. Abadi, Laura V. Sales, Richard G. Bower, Robert A. Crain, Carlos S. Frenk, Matthieu Schaller, Joop Schaye, Tom Theuns

Abstract: The Tully-Fisher relation (TFR) links the stellar mass of a disk galaxy, $M_{\rm str}$, to its rotation speed: it is well approximated by a power law, shows little scatter, and evolves weakly with redshift. The relation has been interpreted as reflecting the mass-velocity scaling ($M\propto V^3$) of dark matter halos, but this interpretation has been called into question by abundance-matching (AM)… ▽ More The Tully-Fisher relation (TFR) links the stellar mass of a disk galaxy, $M_{\rm str}$, to its rotation speed: it is well approximated by a power law, shows little scatter, and evolves weakly with redshift. The relation has been interpreted as reflecting the mass-velocity scaling ($M\propto V^3$) of dark matter halos, but this interpretation has been called into question by abundance-matching (AM) models, which predict the galaxy-halo mass relation to be non-monotonic and rapidy evolving. We study the TFR of luminous spirals and its relation to AM using the EAGLE set of $Λ$CDM cosmological simulations. Matching both relations requires disk sizes to satisfy constraints given by the concentration of halos and their response to galaxy assembly. EAGLE galaxies approximately match these constraints and show a tight mass-velocity scaling that compares favourably with the observed TFR. The TFR is degenerate to changes in galaxy formation efficiency and the mass-size relation; simulations that fail to match the galaxy stellar mass function may fit the observed TFR if galaxies follow a different mass-size relation. The small scatter in the simulated TFR results because, at fixed halo mass, galaxy mass and rotation speed correlate strongly, scattering galaxies along the main relation. EAGLE galaxies evolve with lookback time following approximately the prescriptions of AM models and the observed mass-size relation of bright spirals, leading to a weak TFR evolution consistent with observation out to $z=1$. $Λ$CDM models that match both the abundance and size of galaxies as a function of stellar mass have no difficulty reproducing the observed TFR and its evolution. △ Less

Submitted 11 July, 2016; originally announced July 2016.

Comments: 12 pages, 7 figures, 1 table, submitted to MNRAS

Deep Learning with Differential Privacy

Authors: Martín Abadi, Andy Chu, Ian Goodfellow, H. Brendan McMahan, Ilya Mironov, Kunal Talwar, Li Zhang

Abstract: Machine learning techniques based on neural networks are achieving remarkable results in a wide variety of domains. Often, the training of models requires large, representative datasets, which may be crowdsourced and contain sensitive information. The models should not expose private information in these datasets. Addressing this goal, we develop new algorithmic techniques for learning and a refin… ▽ More Machine learning techniques based on neural networks are achieving remarkable results in a wide variety of domains. Often, the training of models requires large, representative datasets, which may be crowdsourced and contain sensitive information. The models should not expose private information in these datasets. Addressing this goal, we develop new algorithmic techniques for learning and a refined analysis of privacy costs within the framework of differential privacy. Our implementation and experiments demonstrate that we can train deep neural networks with non-convex objectives, under a modest privacy budget, and at a manageable cost in software complexity, training efficiency, and model quality. △ Less

Submitted 24 October, 2016; v1 submitted 1 July, 2016; originally announced July 2016.

Journal ref: Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security (ACM CCS), pp. 308-318, 2016

Phase transitions and self-organized criticality in networks of stochastic spiking neurons

Authors: L. Brochini, A. A. Costa, M. Abadi, A. C. Roque, J. Stolfi, O. Kinouchi

Abstract: Phase transitions and critical behavior are crucial issues both in theoretical and experimental neuroscience. We report analytic and computational results about phase transitions and self-organized criticality (SOC) in networks with general stochastic neurons. The stochastic neuron has a firing probability given by a smooth monotonic function $Φ(V)$ of the membrane potential $V$, rather than a sha… ▽ More Phase transitions and critical behavior are crucial issues both in theoretical and experimental neuroscience. We report analytic and computational results about phase transitions and self-organized criticality (SOC) in networks with general stochastic neurons. The stochastic neuron has a firing probability given by a smooth monotonic function $Φ(V)$ of the membrane potential $V$, rather than a sharp firing threshold. We find that such networks can operate in several dynamic regimes (phases) depending on the average synaptic weight and the shape of the firing function $Φ$. In particular, we encounter both continuous and discontinuous phase transitions to absorbing states. At the continuous transition critical boundary, neuronal avalanches occur whose distributions of size and duration are given by power laws, as observed in biological neural networks. We also propose and test a new mechanism to produce SOC: the use of dynamic neuronal gains -- a form of short-term plasticity probably in the axon initial segment (AIS) -- instead of depressing synapses at the dendrites (as previously studied in the literature). The new self-organization mechanism produces a slightly supercritical state, that we called SOSC, in accord to some intuitions of Alan Turing. △ Less

Submitted 5 October, 2016; v1 submitted 20 June, 2016; originally announced June 2016.

TensorFlow: A system for large-scale machine learning

Authors: Martín Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geoffrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, Xiaoqiang Zheng

Abstract: TensorFlow is a machine learning system that operates at large scale and in heterogeneous environments. TensorFlow uses dataflow graphs to represent computation, shared state, and the operations that mutate that state. It maps the nodes of a dataflow graph across many machines in a cluster, and within a machine across multiple computational devices, including multicore CPUs, general-purpose GPUs,… ▽ More TensorFlow is a machine learning system that operates at large scale and in heterogeneous environments. TensorFlow uses dataflow graphs to represent computation, shared state, and the operations that mutate that state. It maps the nodes of a dataflow graph across many machines in a cluster, and within a machine across multiple computational devices, including multicore CPUs, general-purpose GPUs, and custom designed ASICs known as Tensor Processing Units (TPUs). This architecture gives flexibility to the application developer: whereas in previous "parameter server" designs the management of shared state is built into the system, TensorFlow enables developers to experiment with novel optimizations and training algorithms. TensorFlow supports a variety of applications, with particularly strong support for training and inference on deep neural networks. Several Google services use TensorFlow in production, we have released it as an open-source project, and it has become widely used for machine learning research. In this paper, we describe the TensorFlow dataflow model in contrast to existing systems, and demonstrate the compelling performance that TensorFlow achieves for several real-world applications. △ Less

Submitted 31 May, 2016; v1 submitted 27 May, 2016; originally announced May 2016.

Comments: 18 pages, 9 figures; v2 has a spelling correction in the metadata

TensorFlow: Large-Scale Machine Learning on Heterogeneous Distributed Systems

Authors: Martín Abadi, Ashish Agarwal, Paul Barham, Eugene Brevdo, Zhifeng Chen, Craig Citro, Greg S. Corrado, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Ian Goodfellow, Andrew Harp, Geoffrey Irving, Michael Isard, Yangqing Jia, Rafal Jozefowicz, Lukasz Kaiser, Manjunath Kudlur, Josh Levenberg, Dan Mane, Rajat Monga, Sherry Moore, Derek Murray, Chris Olah , et al. (15 additional authors not shown)

Abstract: TensorFlow is an interface for expressing machine learning algorithms, and an implementation for executing such algorithms. A computation expressed using TensorFlow can be executed with little or no change on a wide variety of heterogeneous systems, ranging from mobile devices such as phones and tablets up to large-scale distributed systems of hundreds of machines and thousands of computational de… ▽ More TensorFlow is an interface for expressing machine learning algorithms, and an implementation for executing such algorithms. A computation expressed using TensorFlow can be executed with little or no change on a wide variety of heterogeneous systems, ranging from mobile devices such as phones and tablets up to large-scale distributed systems of hundreds of machines and thousands of computational devices such as GPU cards. The system is flexible and can be used to express a wide variety of algorithms, including training and inference algorithms for deep neural network models, and it has been used for conducting research and for deploying machine learning systems into production across more than a dozen areas of computer science and other fields, including speech recognition, computer vision, robotics, information retrieval, natural language processing, geographic information extraction, and computational drug discovery. This paper describes the TensorFlow interface and an implementation of that interface that we have built at Google. The TensorFlow API and a reference implementation were released as an open-source package under the Apache 2.0 license in November, 2015 and are available at www.tensorflow.org. △ Less

Submitted 16 March, 2016; v1 submitted 14 March, 2016; originally announced March 2016.

Comments: Version 2 updates only the metadata, to correct the formatting of Martín Abadi's name

The low-mass end of the baryonic Tully-Fisher relation

Authors: Laura V. Sales, Julio F. Navarro, Kyle Oman, Azadeh Fattahi, Ismael Ferrero, Mario G. Abadi, Richard Bower, Robert A. Crain, Carlos S. Frenk, Till Sawala, Matthieu Schaller, Joop Schaye, Tom Theuns, Simon D. M. White

Abstract: The scaling of disk galaxy rotation velocity with baryonic mass (the "Baryonic Tully-Fisher" relation, BTF) has long confounded galaxy formation models. It is steeper than the M ~ V^3 scaling relating halo virial masses and circular velocities and its zero point implies that galaxies comprise a very small fraction of available baryons. Such low galaxy formation efficiencies may in principle be exp… ▽ More The scaling of disk galaxy rotation velocity with baryonic mass (the "Baryonic Tully-Fisher" relation, BTF) has long confounded galaxy formation models. It is steeper than the M ~ V^3 scaling relating halo virial masses and circular velocities and its zero point implies that galaxies comprise a very small fraction of available baryons. Such low galaxy formation efficiencies may in principle be explained by winds driven by evolving stars, but the tightness of the BTF relation argues against the substantial scatter expected from such vigorous feedback mechanism. We use the APOSTLE/EAGLE simulations to show that the BTF relation is well reproduced in LCDM simulations that match the size and number of galaxies as a function of stellar mass. In such models, galaxy rotation velocities are proportional to halo virial velocity and the steep velocity-mass dependence results from the decline in galaxy formation efficiency with decreasing halo mass needed to reconcile the CDM halo mass function with the galaxy luminosity function. Despite the strong feedback, the scatter in the simulated BTF is smaller than observed, even when considering all simulated galaxies and not just rotationally-supported ones. The simulations predict that the BTF should become increasingly steep at the faint end, although the velocity scatter at fixed mass should remain small. Observed galaxies with rotation speeds below ~40 km/s seem to deviate from this prediction. We discuss observational biases and modeling uncertainties that may help to explain this disagreement in the context of LCDM models of dwarf galaxy formation. △ Less

Submitted 5 February, 2016; originally announced February 2016.

Comments: 10 pages, 7 figures, submitted to MNRAS

The low mass end of the neutral gas mass and velocity width functions of galaxies in $Λ$CDM

Authors: C. Y. Yaryura, A. Helmi, M. G. Abadi, E. Starkenburg

Abstract: We use the high-resolution Aquarius cosmological dark matter simulations coupled to the semi-analytic model by Starkenburg et al. (2013) to study the HI content and velocity width properties of field galaxies at the low mass end in the context of $Λ$CDM. We compare our predictions to the observed ALFALFA survey HI mass and velocity width functions, and find very good agreement without fine-tuning,… ▽ More We use the high-resolution Aquarius cosmological dark matter simulations coupled to the semi-analytic model by Starkenburg et al. (2013) to study the HI content and velocity width properties of field galaxies at the low mass end in the context of $Λ$CDM. We compare our predictions to the observed ALFALFA survey HI mass and velocity width functions, and find very good agreement without fine-tuning, when considering central galaxies. Furthermore, the properties of the dark matter halos hosting galaxies, characterised by their peak velocity and circular velocity at 2 radial disk scalelengths overlap perfectly with the inferred values from observations. This suggests that our galaxies are placed in the right dark matter halos, and consequently at face value, we do not find any discrepancy with the predictions from the $Λ$CDM model. Our analysis indicates that previous tensions, apparent when using abundance matching models, arise because this technique cannot be straightforwardly applied for objects with masses $M_{vir} < 10^{10} M_{\odot}$. △ Less

Submitted 27 January, 2016; originally announced January 2016.

Comments: Accepted for publication in MNRAS, 9 pages, 8 figures

Mergers and the outside-in formation of dwarf spheroidals

Authors: Alejandro Benítez-Llambay, Julio F. Navarro, Mario G. Abadi, Stefan Gottloeber, Gustavo Yepes, Yehuda Hoffman, Matthias Steinmetz

Abstract: We use a cosmological simulation of the formation of the Local Group to explore the origin of age and metallicity gradients in dwarf spheroidal galaxies. We find that a number of simulated dwarfs form "outside-in", with an old, metal-poor population that surrounds a younger, more concentrated metal-rich component, reminiscent of dwarf spheroidals like Sculptor or Sextans. We focus on a few example… ▽ More We use a cosmological simulation of the formation of the Local Group to explore the origin of age and metallicity gradients in dwarf spheroidal galaxies. We find that a number of simulated dwarfs form "outside-in", with an old, metal-poor population that surrounds a younger, more concentrated metal-rich component, reminiscent of dwarf spheroidals like Sculptor or Sextans. We focus on a few examples where stars form in two populations distinct in age in order to elucidate the origin of these gradients. The spatial distributions of the two components reflect their diverse origin; the old stellar component is assembled through mergers, but the young population forms largely in situ. The older component results from a first episode of star formation that begins early but is quickly shut off by the combined effects of stellar feedback and reionization. The younger component forms when a late accretion event adds gas and reignites star formation. The effect of mergers is to disperse the old stellar population, increasing their radius and decreasing their central density relative to the young population. We argue that dwarf-dwarf mergers offer a plausible scenario for the formation of systems with multiple distinct populations and, more generally, for the origin of age and metallicity gradients in dwarf spheroidals. △ Less

Submitted 19 November, 2015; originally announced November 2015.

Comments: 10 pages, 8 figures, Accepted for publication in MNRAS

Tidal strip** of globular clusters in a simulated galaxy cluster

Authors: Felipe Ramos, Valeria Coenda, Hernán Muriel, Mario Abadi

Abstract: Using a cosmological N-body numerical simulation of the formation of a galaxy cluster- sized halo, we analyze the temporal evolution of its globular cluster population. We follow the dynamical evolution of 38 galactic dark matter halos orbiting in a galaxy cluster that at redshift z=0 has a virial mass of 1.71 * 10 ^14 Msol h^-1. In order to mimic both "blue" and "red" populations of globular clus… ▽ More Using a cosmological N-body numerical simulation of the formation of a galaxy cluster- sized halo, we analyze the temporal evolution of its globular cluster population. We follow the dynamical evolution of 38 galactic dark matter halos orbiting in a galaxy cluster that at redshift z=0 has a virial mass of 1.71 * 10 ^14 Msol h^-1. In order to mimic both "blue" and "red" populations of globular clusters, for each galactic halo we select two different sets of particles at high redshift (z ~ 1), constrained by the condition that, at redshift z=0, their average radial density profiles are similar to the observed profiles. As expected, the general galaxy cluster tidal field removes a significant fraction of the globular cluster populations to feed the intracluster population. On average, halos lost approximately 16% and 29% of their initial red and blue globular cluster populations, respectively. Our results suggest that these fractions strongly depend on the orbital trajectory of the galactic halo, specifically on the number of orbits and on the minimum pericentric distance to the galaxy cluster center that the halo has had. At a given time, these fractions also depend on the current clustercentric distance, just as observations show that the specific frequencyof globular clusters S_N depends on their clustercentric distance. △ Less

Submitted 20 May, 2015; originally announced May 2015.

Comments: 11 pages, 8 figures. Accepted for publication in ApJ

Falkirk Wheel: Rollback Recovery for Dataflow Systems

Authors: Michael Isard, Martín Abadi

Abstract: We present a new model for rollback recovery in distributed dataflow systems. We explain existing rollback schemes by assigning a logical time to each event such as a message delivery. If some processors fail during an execution, the system rolls back by selecting a set of logical times for each processor. The effect of events at times within the set is retained or restored from saved state, while… ▽ More We present a new model for rollback recovery in distributed dataflow systems. We explain existing rollback schemes by assigning a logical time to each event such as a message delivery. If some processors fail during an execution, the system rolls back by selecting a set of logical times for each processor. The effect of events at times within the set is retained or restored from saved state, while the effect of other events is undone and re-executed. We show that, by adopting different logical time "domains" at different processors, an application can adopt appropriate checkpointing schemes for different parts of its computation. We illustrate with an example of an application that combines batch processing with low-latency streaming updates. We show rules, and an algorithm, to determine a globally consistent state for rollback in a system that uses multiple logical time domains. We also introduce selective rollback at a processor, which can selectively preserve the effect of events at some logical times and not others, independent of the original order of execution of those events. Selective rollback permits new checkpointing policies that are particularly well suited to iterative streaming algorithms. We report on an implementation of our new framework in the context of the Naiad system. △ Less

Submitted 30 March, 2015; originally announced March 2015.

Comments: DRAFT work in progress

The Imprint of Reionization on the Star Formation Histories of Dwarf Galaxies

Authors: Alejandro Benítez-Llambay, Julio F. Navarro, Mario G. Abadi, Stefan Gottloeber, Gustavo Yepes, Yehuda Hoffman, Matthias Steinmetz

Abstract: We explore the impact of cosmic reionization on nearby isolated dwarf galaxies using a compilation of SFHs estimated from deep HST data and a cosmological hydrodynamical simulation of the Local Group. The nearby dwarfs show a wide diversity of star formation histories; from ancient systems that have largely completed their star formation $\sim 10$ Gyr ago to young dwarfs that have formed the major… ▽ More We explore the impact of cosmic reionization on nearby isolated dwarf galaxies using a compilation of SFHs estimated from deep HST data and a cosmological hydrodynamical simulation of the Local Group. The nearby dwarfs show a wide diversity of star formation histories; from ancient systems that have largely completed their star formation $\sim 10$ Gyr ago to young dwarfs that have formed the majority of their stars in the past $\sim 5$ Gyr to two-component systems characterized by the overlap of comparable numbers of old and young stars. Taken as an ensemble, star formation in nearby dwarfs dips to lower-than-average rates at intermediate times ($4<t$/Gyr $<8$), a feature that we trace in the simulation to the effects of cosmic reionization. Reionization heats the gas and drives it out of the shallow potential wells of low mass halos, affecting especially those below a sharp mass threshold that corresponds to a virial temperature of $\sim 2 \times 10^4 $ $\mathrm{K}$ at $z_{\rm reion}$. The loss of baryons leads to a sharp decline in the star forming activity of early-collapsing systems, which, compounded by feedback from early star formation, empties halos of gas and leaves behind systems where a single old stellar component prevails. In halos below the threshold at $z_{\rm reion}$, reionization heating leads to a delay in the onset of star formation that lasts until the halo grows massive enough to allow some of the remaining gas to cool and form stars. Young stellar components therefore dominate in dwarfs whose halos assemble late and thus form few stars before reionization. Two-component systems may be traced to late mergers of individual examples of the two aforementioned cases. The relative dearth of intermediate-age stars in nearby dwarfs might thus be the clearest signature yet identified of the imprint of cosmic reionization on the star formation history of dwarf galaxies. △ Less

Submitted 28 May, 2014; v1 submitted 21 May, 2014; originally announced May 2014.

Comments: 13 pages, 1 table, 10 figures. Submitted to MNRAS. Find supplementary movies at http://www.iate.oac.uncor.edu/~alejandro/sfrreion-web/ or at http://www.astro.uvic.ca/~abll/sfrreion-web/ ; Dwarf galaxy sample updated to remove possible satellites of M81, M82, and NGC 2403. Main results and conclusions unchanged

The effect of radial migration on galactic disks

Authors: Carlos Vera-Ciro, Elena D'Onghia, Julio Navarro, Mario Abadi

Abstract: We study the radial migration of stars driven by recurring multi-arm spiral features in an exponential disk embedded in a dark matter halo. The spiral perturbations redistribute angular momentum within the disk and lead to substantial radial displacements of individual stars, in a manner that largely preserves the circularity of their orbits and that results, after 5 Gyr (~40 full rotations at the… ▽ More We study the radial migration of stars driven by recurring multi-arm spiral features in an exponential disk embedded in a dark matter halo. The spiral perturbations redistribute angular momentum within the disk and lead to substantial radial displacements of individual stars, in a manner that largely preserves the circularity of their orbits and that results, after 5 Gyr (~40 full rotations at the disk scalelength), in little radial heating and no appreciable changes to the vertical or radial structure of the disk. Our results clarify a number of issues related to the spatial distribution and kinematics of migrators. In particular, we find that migrators are a heavily biased subset of stars with preferentially low vertical velocity dispersions. This "provenance bias" for migrators is not surprising in hindsight, for stars with small vertical excursions spend more time near the disk plane and thus respond more readily to non-axisymmetric perturbations. We also find that the vertical velocity dispersion of outward migrators always decreases, whereas the opposite holds for inward migrators. To first order, newly arrived migrators simply replace stars that have migrated off to other radii, thus inheriting the vertical bias of the latter. Extreme migrators might therefore be recognized, if present, by the unexpectedly small amplitude of their vertical excursions. Our results show that migration, understood as changes in angular momentum that preserve circularity, can affect strongly the thin disk, but cast doubts on models that envision the Galactic thick disk as a relic of radial migration. △ Less

Submitted 6 October, 2014; v1 submitted 13 May, 2014; originally announced May 2014.

Comments: 10 pages, 12 figures. ApJ in press