Showing 101–150 of 176 results for author: Amorim, A

Probabilistic Relational Reasoning via Metrics

Authors: Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata

Abstract: The Fuzz programming language [Reed and Pierce, 2010] uses an elegant linear type system combined with a monad-like type to express and reason about probabilistic sensitivity properties, most notably $ε$-differential privacy. We show how to extend Fuzz to capture more general relational properties of probabilistic programs, with approximate, or $(ε, δ)$-differential privacy serving as a leading ex… ▽ More The Fuzz programming language [Reed and Pierce, 2010] uses an elegant linear type system combined with a monad-like type to express and reason about probabilistic sensitivity properties, most notably $ε$-differential privacy. We show how to extend Fuzz to capture more general relational properties of probabilistic programs, with approximate, or $(ε, δ)$-differential privacy serving as a leading example. Our technical contributions are threefold. First, we introduce the categorical notion of comonadic lifting of a monad to model composition properties of probabilistic divergences. Then, we show how to express relational properties in terms of sensitivity properties via an adjunction we call the path construction. Finally, we instantiate our semantics to model the terminating fragment of Fuzz extended with types carrying information about other divergences between distributions. △ Less

Submitted 18 April, 2019; v1 submitted 13 July, 2018; originally announced July 2018.

Non-minimal coupling contribution to DIS at low $x$ in Holographic QCD

Authors: Artur Amorim, Robert Carcassés Quevedo, Miguel Costa

Abstract: We consider the effect of including a non-minimal coupling between a $U(1)$ vector gauge field and the graviton Regge trajectory in holographic QCD models. This coupling describes the QCD interaction between the quark bilinear electromagnetic current and the Pomeron. We test this new coupling against DIS data at low Bjorken $x$ and obtain an excellent fit with a chi squared of 1.1 over a very larg… ▽ More We consider the effect of including a non-minimal coupling between a $U(1)$ vector gauge field and the graviton Regge trajectory in holographic QCD models. This coupling describes the QCD interaction between the quark bilinear electromagnetic current and the Pomeron. We test this new coupling against DIS data at low Bjorken $x$ and obtain an excellent fit with a chi squared of 1.1 over a very large kinematical range in the photon virtuality $Q^2<400 \ {\rm GeV}^2$ and for $x<10^{-2}$. The scale of the new dimension full coupling, which arises from integrating higher spin fields, is of order $6\ {\rm GeV}$. This value matches precisely the expectations from effective field theory, which indicate that such corrections are controlled by the mass gap between the spin two and spin four glueballs that are described holographically by the graviton and spin four field in the graviton Regge trajectory, respectively △ Less

Submitted 20 April, 2018; originally announced April 2018.

Journal ref: Phys. Rev. D 98, 026016 (2018)

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

Authors: Carmine Abate, Arthur Azevedo de Amorim, Roberto Blanco, Ana Nora Evans, Guglielmo Fachini, Catalin Hritcu, Théo Laurent, Benjamin C. Pierce, Marco Stronati, Jérémy Thibault, Andrew Tolmach

Abstract: We propose a new formal criterion for evaluating secure compilation schemes for unsafe languages, expressing end-to-end security guarantees for software components that may become compromised after encountering undefined behavior---for example, by accessing an array out of bounds. Our criterion is the first to model dynamic compromise in a system of mutually distrustful components with clearly s… ▽ More We propose a new formal criterion for evaluating secure compilation schemes for unsafe languages, expressing end-to-end security guarantees for software components that may become compromised after encountering undefined behavior---for example, by accessing an array out of bounds. Our criterion is the first to model dynamic compromise in a system of mutually distrustful components with clearly specified privileges. It articulates how each component should be protected from all the others---in particular, from components that have encountered undefined behavior and become compromised. Each component receives secure compilation guarantees---in particular, its internal invariants are protected from compromised components---up to the point when this component itself becomes compromised, after which we assume an attacker can take complete control and use this component's privileges to attack other components. More precisely, a secure compilation chain must ensure that a dynamically compromised component cannot break the safety properties of the system at the target level any more than an arbitrary attacker-controlled component (with the same interface and privileges, but without undefined behaviors) already could at the source level. To illustrate the model, we construct a secure compilation chain for a small unsafe language with buffers, procedures, and components, targeting a simple abstract machine with built-in compartmentalization. We give a machine-checked proof in Coq that this compiler satisfies our secure compilation criterion. Finally, we show that the protection guarantees offered by the compartmentalized abstract machine can be achieved at the machine-code level using either software fault isolation or a tag-based reference monitor. △ Less

Submitted 29 November, 2019; v1 submitted 2 February, 2018; originally announced February 2018.

Comments: CCS paper with significant improvement of the proofs, first step towards a journal version

Methods for multiple telescope beam imaging and guiding in the near infrared

Authors: N. Anugu, A. Amorim, P. Gordo, F. Eisenhauer, O. Pfuhl, M. Haug, E. Wiezorrek, J. Lima, G. Perrin, W. Brandner, C. Straubmeier, J. -B. Le Bouquin, P. J. V Garcia

Abstract: Atmospheric turbulence and precise measurement of the astrometric baseline vector between any two telescopes are two major challenges in implementing phase referenced interferometric astrometry and imaging. They limit the performance of a fibre-fed interferometer by degrading the instrument sensitivity and astrometric measurements precision and by introducing image reconstruction errors due to ina… ▽ More Atmospheric turbulence and precise measurement of the astrometric baseline vector between any two telescopes are two major challenges in implementing phase referenced interferometric astrometry and imaging. They limit the performance of a fibre-fed interferometer by degrading the instrument sensitivity and astrometric measurements precision and by introducing image reconstruction errors due to inaccurate phases. A multiple beam acquisition and guiding camera was built to meet these challenges for a recently commissioned four beam combiner instrument, GRAVITY, at the ESO Very Large Telescope Interferometer. For each telescope beam it measures: a) field tip-tilts by imaging stars in the sky; b) telescope pupil shifts by imaging pupil reference laser beacons installed on each telescope using a $2 \times 2$ lenslet; c) higher order aberrations using a $9 \times 9$ Shack-Hartmann. The telescope pupils are imaged for a visual monitoring while observing. These measurements enable active field and pupil guiding by actuating a train of tip-tilt mirrors placed in the pupil and field planes, respectively. The Shack-Hartmann measured quasi-static aberrations are used to focus the Auxiliary Telescopes and allow the possibility of correcting the non-common path errors between the Unit Telescopes adaptive optics systems and GRAVITY. The guiding stabilizes light injection into single-mode fibres, increasing sensitivity and reducing the astrometric and image reconstruction errors. The beam guiding enables to achieve astrometric error less than $50\,μ$as. Here, we report on the data reduction methods and laboratory tests of the multiple beam acquisition and guiding camera and its performance on-sky. △ Less

Submitted 31 January, 2018; originally announced January 2018.

Comments: 12 pages, 20 figures and 7 tables. Accepted for publication in MNRAS

Diffuse ionized gas in galaxies across the Hubble sequence at the CALIFA resolution

Authors: E. A. D. Lacerda, R. Cid Fernandes, G. S. Couto, G. Stasinska, R. Garcia-Benito, N. Vale Asari, E. Perez, R. M. Gonzalez Delgado, S. F. Sanchez, A. L. de Amorim

Abstract: We use spatially resolved spectroscopy from the Calar Alto Legacy Field Area (CALIFA) survey to study the nature of the line emitting gas in galaxies of different Hubble types, focusing on the separation of star-forming (SF) regions from those better characterized as diffuse ionized gas (DIG). The diagnosis is carried out in terms of the equivalent width of ${\rm H}α$ ($W_{{\rm H}α}$). Three nebul… ▽ More We use spatially resolved spectroscopy from the Calar Alto Legacy Field Area (CALIFA) survey to study the nature of the line emitting gas in galaxies of different Hubble types, focusing on the separation of star-forming (SF) regions from those better characterized as diffuse ionized gas (DIG). The diagnosis is carried out in terms of the equivalent width of ${\rm H}α$ ($W_{{\rm H}α}$). Three nebular regimes are identified. Regions where $W_{{\rm H}α} < 3\ Å$ define what we call the hDIG, the component of the DIG where photoionization is dominated by hot, low-mass, evolved stars. Regions where $W_{{\rm H}α} > 14\ Å$ trace SF complexes. $W_{{\rm H}α}$ values in the intermediate 3--14 $Å$ range reflect a mixed regime (mDIG) where more than one process contributes. This three-tier scheme is inspired both by theoretical and empirical considerations. Its application to CALIFA galaxies of different types and inclinations leads to the following results: $\textit{(i)}$ the hDIG component is prevalent throughout ellipticals and S0's as well as in bulges, and explains the strongly bimodal distribution of $W_{{\rm H}α}$ both among and within galaxies. $\textit{(ii)}$ Early-type spirals have some hDIG in their discs, but this component becomes progressively less relevant for later Hubble types. $\textit{(iii)}$ hDIG emission is also present above and below galactic discs, as seen in several edge-on spirals in our sample. $\textit{(iv)}$ The SF/mDIG proportion grows steadily from early- to late-type spirals, and from inner to outer radii. $\textit{(v)}$ Besides circumventing basic inconsistencies in conventional DIG/SF separation criteria based on the ${\rm H}α$ surface brightness, our $W_{{\rm H}α}$-based method produces results in agreement with a classical excitation diagram analysis. △ Less

Submitted 20 December, 2017; v1 submitted 21 November, 2017; originally announced November 2017.

Comments: Accepted for publication in MNRAS, 14 pages, 9 Figures

Formally Secure Compilation of Unsafe Low-Level Components (Extended Abstract)

Authors: Guglielmo Fachini, Catalin Hritcu, Marco Stronati, Ana Nora Evans, Théo Laurent, Arthur Azevedo de Amorim, Benjamin C. Pierce, Andrew Tolmach

Abstract: We propose a new formal criterion for secure compilation, providing strong security guarantees for components written in unsafe, low-level languages with C-style undefined behavior. Our criterion goes beyond recent proposals, which protect the trace properties of a single component against an adversarial context, to model dynamic compromise in a system of mutually distrustful components. Each comp… ▽ More We propose a new formal criterion for secure compilation, providing strong security guarantees for components written in unsafe, low-level languages with C-style undefined behavior. Our criterion goes beyond recent proposals, which protect the trace properties of a single component against an adversarial context, to model dynamic compromise in a system of mutually distrustful components. Each component is protected from all the others until it receives an input that triggers an undefined behavior, causing it to become compromised and attack the remaining uncompromised components. To illustrate this model, we demonstrate a secure compilation chain for an unsafe language with buffers, procedures, and components, compiled to a simple RISC abstract machine with built-in compartmentalization. The protection guarantees offered by this abstract machine can be achieved at the machine-code level using either software fault isolation or tag-based reference monitoring. We are working on machine-checked proofs showing that this compiler satisfies our secure compilation criterion. △ Less

Submitted 31 October, 2017; v1 submitted 19 October, 2017; originally announced October 2017.

Comments: PriSC'18 submission, updated to fix a few things

The wind and the magnetospheric accretion onto the T Tauri star S Coronae Australis at sub-au resolution

Authors: R. Garcia Lopez, K. Perraut, A. Caratti o Garatti, B. Lazareff, J. Sanchez-Bermudez, M. Benisty, C. Dougados, L. Labadie, W. Brandner, P. J. V. Garcia, Th. Henning, T. P. Ray, R. Abuter, A. Amorim, N. Anugu, J. P. Berger, H. Bonnet, A. Buron, P. Caselli, Y. Clénet, V. Coudé du Foresto, W. de Wit, C. Deen, F. Delplancke-Ströbele, J. Dexter , et al. (48 additional authors not shown)

Abstract: To investigate the inner regions of protoplanetary disks, we performed near-infrared interferometric observations of the classical TTauri binary system S CrA. We present the first VLTI-GRAVITY high spectral resolution ($R\sim$4000) observations of a classical TTauri binary, S CrA (composed of S CrA N and S CrA S and separated by $\sim$1.4"), combining the four 8-m telescopes in dual-field mode. Ou… ▽ More To investigate the inner regions of protoplanetary disks, we performed near-infrared interferometric observations of the classical TTauri binary system S CrA. We present the first VLTI-GRAVITY high spectral resolution ($R\sim$4000) observations of a classical TTauri binary, S CrA (composed of S CrA N and S CrA S and separated by $\sim$1.4"), combining the four 8-m telescopes in dual-field mode. Our observations in the near-infrared K-band continuum reveal a disk around each binary component, with similar half-flux radii of about 0.1 au at d$\sim$130 pc, inclinations ($i=$28$\pm$3$^o$\ and $i=$22$\pm$6$^o$), and position angles (PA=0$^o\pm$6$^o$ and PA=-2$^o\pm$12$^o$), suggesting that they formed from the fragmentation of a common disk. The S CrA N spectrum shows bright HeI and Br$γ$ line emission exhibiting inverse P-Cygni profiles, typically associated with infalling gas. The continuum-compensated Br$γ$ line visibilities of S CrA N show the presence of a compact Br$γ$ emitting region the radius of which is about $\sim$0.06 au, which is twice as big as the truncation radius. This component is mostly tracing a wind. Moreover, a slight radius change between the blue- and red-shifted Br$γ$ line components is marginally detected. The presence of an inverse P-Cygni profile in the HeI and Br$γ$ lines, along with the tentative detection of a slightly larger size of the blue-shifted Br$γ$ line component, hint at the simultaneous presence of a wind and magnetospheric accretion in S CrA N. △ Less

Submitted 5 September, 2017; originally announced September 2017.

Comments: Accepted by A&A

Journal ref: A&A 608, A78 (2017)

The spatially resolved star formation history of CALIFA galaxies: Cosmic time scales

Authors: R. García-Benito, R. M. González Delgado, E. Pérez, R. Cid Fernandes, C. Cortijo-Ferrero, R. López Fernández, A. L. de Amorim, E. A. D. Lacerda, N. Vale Asari, S. F. Sánchez

Abstract: This paper presents the mass assembly time scales of nearby galaxies observed by CALIFA at the 3.5m telescope in Calar Alto. We apply the fossil record method of the stellar populations to the complete sample of the 3rd CALIFA data release, with a total of 661 galaxies, covering stellar masses from 10$^{8.4}$ to 10$^{12}$ M$_{\odot}$ and a wide range of Hubble types. We apply spectral synthesis te… ▽ More This paper presents the mass assembly time scales of nearby galaxies observed by CALIFA at the 3.5m telescope in Calar Alto. We apply the fossil record method of the stellar populations to the complete sample of the 3rd CALIFA data release, with a total of 661 galaxies, covering stellar masses from 10$^{8.4}$ to 10$^{12}$ M$_{\odot}$ and a wide range of Hubble types. We apply spectral synthesis techniques to the datacubes and process the results to produce the mass growth time scales and mass weighted ages, from which we obtain temporal and spatially resolved information in seven bins of galaxy morphology and six bins of stellar mass (M$_{\star}$) and stellar mass surface density ($Σ_{\star}$). We use three different tracers of the spatially resolved star formation history (mass assembly curves, ratio of half mass to half light radii, and mass-weighted age gradients) to test if galaxies grow inside-out, and its dependence with galaxy stellar mass, $Σ_{\star}$, and morphology. Our main results are as follows: (a) The innermost regions of galaxies assemble their mass at an earlier time than regions located in the outer parts; this happens at any given M$_{\star}$, $Σ_{\star}$, or Hubble type, including the lowest mass systems. (b) Galaxies present a significant diversity in their characteristic formation epochs for lower-mass systems. This diversity shows a strong dependence of the mass assembly time scales on $Σ_{\star}$ and Hubble type in the lower-mass range (10$^{8.4}$ to 10$^{10.4}$), but a very mild dependence in higher-mass bins. (c) All galaxies show negative $\langle$log age$\rangle_{M}$ gradients in the inner 1 HLR. The profile flattens with increasing values of $Σ_{\star}$. There is no significant dependence on M$_{\star}$ within a particular $Σ_{\star}$ bin, except for the lowest bin, where the gradients becomes steeper. △ Less

Submitted 1 September, 2017; originally announced September 2017.

Comments: 15 pages, 13 figures, 3 tables, accepted for publication in Astronomy & Astrophysics. *Abridged abstract*

Journal ref: A&A 608, A27 (2017)

The spatially resolved star formation history of mergers: A comparative study of the LIRGs IC1623, NGC6090, NGC2623, and Mice

Authors: C. Cortijo-Ferrero, R. M. González Delgado, E. Pérez, R. Cid Fernandes, R. García-Benito, P. Di Matteo, S. F. Sánchez, A. L. de Amorim, E. A. D. Lacerda, R. López Fernández, C. Tadhunter

Abstract: This paper presents the spatially resolved star formation history (2D-SFH) of a small sample of four local mergers: the early-stage mergers IC1623, NGC6090, and the Mice, and the more advanced merger NGC2623, by analyzing IFS data from the CALIFA survey and PMAS in LArr mode. Full spectral fitting techniques are applied to the datacubes to obtain the spatially resolved mass growth histories, the t… ▽ More This paper presents the spatially resolved star formation history (2D-SFH) of a small sample of four local mergers: the early-stage mergers IC1623, NGC6090, and the Mice, and the more advanced merger NGC2623, by analyzing IFS data from the CALIFA survey and PMAS in LArr mode. Full spectral fitting techniques are applied to the datacubes to obtain the spatially resolved mass growth histories, the time evolution of the star formation rate intensity ($Σ_{SFR}$), and the local specific star formation rate, over three different timescales (30 Myr, 300 Myr, and 1 Gyr). The results are compared with non-interacting Sbc--Sc galaxies, to quantify if there is an enhancement of the star formation and to trace its time scale and spatial extent. Our results for the three LIRGs (IC1623W, NGC6090, and NGC2623) show that a major phase of star formation is occurring in time scales of 10$^{7}$ yr to few 10$^{8}$ yr, with global SFR enhancements of $\sim$2--6 with respect to main-sequence star forming (MSSF) galaxies. In the two early-stage mergers IC1623W and NGC6090, which are between first pericenter passage and coalescence, the most remarkable increase of the SFR with respect to non-interacting spirals occurred in the last 30 Myr, and it is spatially extended, with enhancements of factors 2--7 both in the centres ($r <$ 0.5 half light radius, HLR), and in the disks ($r >$ 1 HLR). In the more advanced merger NGC 2623 an extended phase of star formation occurred on a longer time-scale of $\sim$1 Gyr, with a SFR enhancement of a factor $\sim$2--3 larger than the one in Sbc--Sc MSSF galaxies over the same period, probably relic of the first pericenter passage epoch. A SFR enhancement in the last 30 Myr is also present, but only in NGC2623 centre, by a factor 3. In general, the spatially resolved SFHs of the LIRG-mergers are consistent with the predictions from high spatial resolution simulations. △ Less

Submitted 17 July, 2017; originally announced July 2017.

Comments: 17 pages, 7 figures, 2 tables, accepted for publication in Astronomy & Astrophysics, abstract abridged for arXiv submission

Journal ref: A&A 607, A70 (2017)

The PyCASSO database: Spatially resolved stellar population properties for CALIFA galaxies

Authors: A. L. de Amorim, R. García-Benito, R. Cid Fernandes, C. Cortijo-Ferrero, R. M. González Delgado, E. A. D. Lacerda, R. López Fernández, E. Pérez, N. Vale Asari

Abstract: The Calar Alto Legacy Integral Field Area (CALIFA) survey, a pioneer in integral field spectroscopy legacy projects, has fostered many studies exploring the information encoded on the spatially resolved data on gaseous and stellar features in the optical range of galaxies. We describe a value-added catalogue of stellar population properties for CALIFA galaxies analysed with the spectral synthesis… ▽ More The Calar Alto Legacy Integral Field Area (CALIFA) survey, a pioneer in integral field spectroscopy legacy projects, has fostered many studies exploring the information encoded on the spatially resolved data on gaseous and stellar features in the optical range of galaxies. We describe a value-added catalogue of stellar population properties for CALIFA galaxies analysed with the spectral synthesis code STARLIGHT and processed with the PyCASSO platform. Our public data base (http://pycasso.ufsc.br/, mirror at http://pycasso.iaa.es/) comprises 445 galaxies from the CALIFA Data Release 3 with COMBO data. The catalogue provides maps for the stellar mass surface density, mean stellar ages and metallicities, stellar dust attenuation, star formation rates, and kinematics. Example applications both for individual galaxies and for statistical studies are presented to illustrate the power of this data set. We revisit and update a few of our own results on mass density radial profiles and on the local mass-metallicity relation. We also show how to employ the catalogue for new investigations, and show a pseudo Schmidt-Kennicutt relation entirely made with information extracted from the stellar continuum. Combinations to other databases are also illustrated. Among other results, we find a very good agreement between star formation rate surface densities derived from the stellar continuum and the $\mathrm{H}α$ emission. This public catalogue joins the scientific community's effort towards transparency and reproducibility, and will be useful for researchers focusing on (or complementing their studies with) stellar properties of CALIFA galaxies. △ Less

Submitted 17 July, 2017; originally announced July 2017.

Comments: 28 pages, 22 figures, accepted by MNRAS, access database at http://www.pycasso.ufsc.br/ and http://www.pycasso.iaa.es/

Theia: Faint objects in motion or the new astrometry frontier

Authors: The Theia Collaboration, Celine Boehm, Alberto Krone-Martins, Antonio Amorim, Guillem Anglada-Escude, Alexis Brandeker, Frederic Courbin, Torsten Ensslin, Antonio Falcao, Katherine Freese, Berry Holl, Lucas Labadie, Alain Leger, Fabien Malbet, Gary Mamon, Barbara McArthur, Alcione Mora, Michael Shao, Alessandro Sozzetti, Douglas Spolyar, Eva Villaver, Conrado Albertus, Stefano Bertone, Herve Bouy, Michael Boylan-Kolchin , et al. (74 additional authors not shown)

Abstract: In the context of the ESA M5 (medium mission) call we proposed a new satellite mission, Theia, based on relative astrometry and extreme precision to study the motion of very faint objects in the Universe. Theia is primarily designed to study the local dark matter properties, the existence of Earth-like exoplanets in our nearest star systems and the physics of compact objects. Furthermore, about 15… ▽ More In the context of the ESA M5 (medium mission) call we proposed a new satellite mission, Theia, based on relative astrometry and extreme precision to study the motion of very faint objects in the Universe. Theia is primarily designed to study the local dark matter properties, the existence of Earth-like exoplanets in our nearest star systems and the physics of compact objects. Furthermore, about 15 $\%$ of the mission time was dedicated to an open observatory for the wider community to propose complementary science cases. With its unique metrology system and "point and stare" strategy, Theia's precision would have reached the sub micro-arcsecond level. This is about 1000 times better than ESA/Gaia's accuracy for the brightest objects and represents a factor 10-30 improvement for the faintest stars (depending on the exact observational program). In the version submitted to ESA, we proposed an optical (350-1000nm) on-axis TMA telescope. Due to ESA Technology readiness level, the camera's focal plane would have been made of CCD detectors but we anticipated an upgrade with CMOS detectors. Photometric measurements would have been performed during slew time and stabilisation phases needed for reaching the required astrometric precision. △ Less

Submitted 2 July, 2017; originally announced July 2017.

Comments: http://theia.phyip3.dur.ac.uk

The spatially-resolved star formation histories of CALIFA galaxies: Implications for galaxy formation

Authors: R. M. González Delgado, E. Pérez, R. Cid Fernandes, R. García-Benito, R. López Fernández, N. Vale Asari, C. Cortijo-Ferrero, A. L. de Amorim, E. A. D. Lacerda, S. F. Sánchez, M. D. Lehnert, C. J. Walcher

Abstract: This paper presents the spatially resolved star formation history (SFH) of nearby galaxies with the aim of furthering our understanding of the different processes involved in the formation and evolution of galaxies. To this end, we apply the fossil record method of stellar population synthesis to a rich and diverse data set of 436 galaxies observed with integral field spectroscopy in the CALIFA su… ▽ More This paper presents the spatially resolved star formation history (SFH) of nearby galaxies with the aim of furthering our understanding of the different processes involved in the formation and evolution of galaxies. To this end, we apply the fossil record method of stellar population synthesis to a rich and diverse data set of 436 galaxies observed with integral field spectroscopy in the CALIFA survey. The sample covers a wide range of Hubble types, with stellar masses ranging from $M_\star \sim 10^9$ to $7 \times 10^{11} M_\odot$. Spectral synthesis techniques are applied to the datacubes to retrieve the spatially resolved time evolution of the star formation rate (SFR), its intensity ($Σ_{\rm SFR}$), and other descriptors of the 2D-SFH in seven bins of galaxy morphology (E, S0, Sa, Sb, Sbc, Sc, and Sd), and five bins of stellar mass. Our main results are: a) Galaxies form very fast independently of their current stellar mass, with the peak of star formation at high redshift ($z > 2$). Subsequent star formation is driven by $M_\star$ and morphology, with less massive and later type spirals showing more prolonged periods of star formation. b) At any epoch in the past the SFR is proportional to $M_\star$, with most massive galaxies having the highest absolute (but lowest specific) SFRs. c) While nowadays $Σ_{\rm SFR}$ is similar for all spirals, and significantly lower in early type galaxies (ETG), in the past $Σ_{\rm SFR}$ scales well with morphology. The central regions of today's ETGs are where $Σ_{\rm SFR}$ reached the highest values ($> 10^3 \,M_\odot\,$Gyr$^{-1}\,$pc$^{-2}$), similar to those measured in high redshift star forming galaxies. d) The evolution of $Σ_{\rm SFR}$ in Sbc systems matches that of models for Milky-Way-like galaxies, suggesting that the formation of a thick disk may be a common phase in spirals at early epochs. △ Less

Submitted 19 June, 2017; originally announced June 2017.

Comments: 21 pages, 11 figures, 1 table, accepted for publication in Astronomy & Astrophysics, abstract abridged for arXiv submission

Journal ref: A&A 607, A128 (2017)

The spatially resolved stellar population and ionized gas properties in the merger LIRG NGC 2623

Authors: C. Cortijo-Ferrero, R. M. González Delgado, E. Pérez, S. F. Sánchez, R. Cid Fernandes, A. L. de Amorim, P. Di Matteo, R. García-Benito, E. A. D. Lacerda, R. López Fernández, C. Tadhunter, M. Villar-Martín, M. M. Roth

Abstract: We report on a detailed study of the stellar populations and ionized gas properties in the merger LIRG NGC 2623, analysing optical Integral Field Spectroscopy from the CALIFA survey and PMAS LArr, multiwavelength HST imaging, and OSIRIS narrow band H$α$ and [NII]$λ$6584 imaging. The spectra were processed with the STARLIGHT full spectral fitting code, and the results compared with those for two ea… ▽ More We report on a detailed study of the stellar populations and ionized gas properties in the merger LIRG NGC 2623, analysing optical Integral Field Spectroscopy from the CALIFA survey and PMAS LArr, multiwavelength HST imaging, and OSIRIS narrow band H$α$ and [NII]$λ$6584 imaging. The spectra were processed with the STARLIGHT full spectral fitting code, and the results compared with those for two early-stage merger LIRGs (IC 1623 W and NGC 6090), together with CALIFA Sbc/Sc galaxies. We find that NGC 2623 went through two periods of increased star formation (SF), a first and widespread episode, traced by intermediate-age stellar populations ISP (140 Myr-1.4 Gyr), and a second one, traced by young stellar populations YSP ($<$140 Myr), which is concentrated in the central regions ($<$1.4 kpc). Our results are in agreement with the epochs of the first peri-center passage ($\sim$200 Myr ago) and coalescence ($<$100 Myr ago) predicted by dynamical models, and with high resolution merger simulations in the literature, consistent with NGC 2623 representing an evolved version of the early-stage mergers. Most ionized gas is concentrated within $<$2.8 kpc, where LINER-like ionization and high velocity dispersion ($\sim$220 km/s) are found, consistent with the previously reported outflow. As revealed by the highest resolution OSIRIS and HST data, a collection of HII regions is also present in the plane of the galaxy, which explains the mixture of ionization mechanisms in this system. It is unlikely that the outflow in NGC 2623 will escape from the galaxy, given the low SFR intensity ($\sim$0.5 M$_{\odot}$yr$^{-1}$kpc$^{-2}$), the fact that the outflow rate is 3 times lower than the current SFR, and the escape velocity in the central areas higher than the outflow velocity. △ Less

Submitted 6 June, 2017; originally announced June 2017.

Comments: 22 pages, 24 figures, accepted for publication in A&A

Journal ref: A&A 606, A95 (2017)

The Meaning of Memory Safety

Authors: Arthur Azevedo de Amorim, Catalin Hritcu, Benjamin C. Pierce

Abstract: We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. First, we show how a small memory-safe language validates a noninterference property: a program can neither affect nor be affected by unreachable parts of the state. Second, we ex… ▽ More We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. First, we show how a small memory-safe language validates a noninterference property: a program can neither affect nor be affected by unreachable parts of the state. Second, we extend separation logic, a proof system for heap-manipulating programs, with a memory-safe variant of its frame rule. The new rule is stronger because it applies even when parts of the program are buggy or malicious, but also weaker because it demands a stricter form of separation between parts of the program state. We also consider a number of pragmatically motivated variations on memory safety and the reasoning principles they support. As an application of our characterization, we evaluate the security of a previously proposed dynamic monitor for memory safety of heap-allocated data. △ Less

Submitted 6 April, 2018; v1 submitted 20 May, 2017; originally announced May 2017.

Comments: POST'18 final version

Accretion-ejection morphology of the microquasar SS433 resolved at sub-au scale

Authors: GRAVITY Collaboration, P. -O. Petrucci, I. Waisberg, J. -B. Le Bouquin, J. Dexter, G. Dubus, K. Perraut, P. Kervella, R. Abuter, A. Amorim, N. Anugu, J. P. Berger, N. Blind, H. Bonnet, W. Brandner, A. Buron, É. Choquet, Y. Clénet, W. de Wit, C. Deen, A. Eckart, F. Eisenhauer, G. Finger, P. Garcia, R. Garcia Lopez , et al. (45 additional authors not shown)

Abstract: We present the first optical observation at sub-milliarcsecond (mas) scale of the microquasar SS 433 obtained with the GRAVITY instrument on the VLT interferometer. The 3.5 hour exposure reveals a rich K-band spectrum dominated by hydrogen Br$γ $ and \ion{He}{i} lines, as well as (red-shifted) emission lines coming from the jets. The K-band continuum emitting region is dominated by a marginally re… ▽ More We present the first optical observation at sub-milliarcsecond (mas) scale of the microquasar SS 433 obtained with the GRAVITY instrument on the VLT interferometer. The 3.5 hour exposure reveals a rich K-band spectrum dominated by hydrogen Br$γ $ and \ion{He}{i} lines, as well as (red-shifted) emission lines coming from the jets. The K-band continuum emitting region is dominated by a marginally resolved point source ($<$ 1 mas) embedded inside a diffuse background accounting for 10\% of the total flux. The jet line positions agree well with the ones expected from the jet kinematic model, an interpretation also supported by the consistent sign (i.e. negative/positive for the receding/approaching jet component) of the phase shifts observed in the lines. The significant visibility drop across the jet lines, together with the small and nearly identical phases for all baselines, point toward a jet that is offset by less than 0.5 mas from the continuum source and resolved in the direction of propagation, with a typical size of 2 mas. The jet position angle of $\sim$80$^{\circ}$ is consistent with the expected one at the observation date. Jet emission so close to the central binary system would suggest that line locking, if relevant to explain the amplitude and stability of the 0.26c jet velocity, operates on elements heavier than hydrogen. The Br$γ $ profile is broad and double peaked. It is better resolved than the continuum and the change of the phase signal sign across the line on all baselines suggests an East-West oriented geometry alike the jet direction and supporting a (polar) disk wind origin. △ Less

Submitted 5 May, 2017; originally announced May 2017.

Comments: Submitted for publication in A&A Letters, 4 pages + appendix, 4 figures. Comments welcome

Journal ref: A&A 602, L11 (2017)

First Light for GRAVITY: Phase Referencing Optical Interferometry for the Very Large Telescope Interferometer

Authors: GRAVITY Collaboration, R. Abuter, M. Accardo, A. Amorim, N. Anugu, G. Ávila, N. Azouaoui, M. Benisty, J. P. Berger, N. Blind, H. Bonnet, P. Bourget, W. Brandner, R. Brast, A. Buron, L. Burtscher, F. Cassaing, F. Chapron, É. Choquet, Y. Clénet, C. Collin, V. Coudé du Foresto, W. de Wit, P. T. de Zeeuw, C. Deen , et al. (108 additional authors not shown)

Abstract: GRAVITY is a new instrument to coherently combine the light of the European Southern Observatory Very Large Telescope Interferometer to form a telescope with an equivalent 130 m diameter angular resolution and a collecting area of 200 m$^2$. The instrument comprises fiber fed integrated optics beam combination, high resolution spectroscopy, built-in beam analysis and control, near-infrared wavefro… ▽ More GRAVITY is a new instrument to coherently combine the light of the European Southern Observatory Very Large Telescope Interferometer to form a telescope with an equivalent 130 m diameter angular resolution and a collecting area of 200 m$^2$. The instrument comprises fiber fed integrated optics beam combination, high resolution spectroscopy, built-in beam analysis and control, near-infrared wavefront sensing, phase-tracking, dual beam operation and laser metrology [...]. This article gives an overview of GRAVITY and reports on the performance and the first astronomical observations during commissioning in 2015/16. We demonstrate phase tracking on stars as faint as m$_K$ ~ 10 mag, phase-referenced interferometry of objects fainter than m$_K$ ~ 15 mag with a limiting magnitude of m$_K$ ~ 17 mag, minute long coherent integrations, a visibility accuracy of better than 0.25 %, and spectro-differential phase and closure phase accuracy better than 0.5°, corresponding to a differential astrometric precision of better than 10 microarcseconds (μas). The dual-beam astrometry, measuring the phase difference of two objects with laser metrology, is still under commissioning. First observations show residuals as low as 50 μas when following objects over several months. We illustrate the instrument performance with the observations of archetypical objects for the different instrument modes. Examples include the Galactic Center supermassive black hole and its fast orbiting star S2 for phase referenced dual beam observations and infrared wavefront sensing, the High Mass X-Ray Binary BP Cru and the Active Galactic Nucleus of PDS 456 for few μas spectro-differential astrometry, the T Tauri star S CrA for a spectro-differential visibility analysis, ξ Tel and 24 Cap for high accuracy visibility observations, and η Car for interferometric imaging with GRAVITY. △ Less

Submitted 5 May, 2017; originally announced May 2017.

Comments: Accepted for publication in A&A, 23 pages, 23 figures, corresponding author: F. Eisenhauer <[email protected]>

Journal ref: A&A 602, A94 (2017)

Gaia Data Release 1. Testing the parallaxes with local Cepheids and RR Lyrae stars

Authors: Gaia Collaboration, G. Clementini, L. Eyer, V. Ripepi, M. Marconi, T. Muraveva, A. Garofalo, L. M. Sarro, M. Palmer, X. Luri, R. Molinaro, L. Rimoldini, L. Szabados, I. Musella, R. I. Anderson, T. Prusti, J. H. J. de Bruijne, A. G. A. Brown, A. Vallenari, C. Babusiaux, C. A. L. Bailer-Jones, U. Bastian, M. Biermann, D. W. Evans, F. Jansen , et al. (566 additional authors not shown)

Abstract: Parallaxes for 331 classical Cepheids, 31 Type II Cepheids and 364 RR Lyrae stars in common between Gaia and the Hipparcos and Tycho-2 catalogues are published in Gaia Data Release 1 (DR1) as part of the Tycho-Gaia Astrometric Solution (TGAS). In order to test these first parallax measurements of the primary standard candles of the cosmological distance ladder, that involve astrometry collected by… ▽ More Parallaxes for 331 classical Cepheids, 31 Type II Cepheids and 364 RR Lyrae stars in common between Gaia and the Hipparcos and Tycho-2 catalogues are published in Gaia Data Release 1 (DR1) as part of the Tycho-Gaia Astrometric Solution (TGAS). In order to test these first parallax measurements of the primary standard candles of the cosmological distance ladder, that involve astrometry collected by Gaia during the initial 14 months of science operation, we compared them with literature estimates and derived new period-luminosity ($PL$), period-Wesenheit ($PW$) relations for classical and Type II Cepheids and infrared $PL$, $PL$-metallicity ($PLZ$) and optical luminosity-metallicity ($M_V$-[Fe/H]) relations for the RR Lyrae stars, with zero points based on TGAS. The new relations were computed using multi-band ($V,I,J,K_{\mathrm{s}},W_{1}$) photometry and spectroscopic metal abundances available in the literature, and applying three alternative approaches: (i) by linear least squares fitting the absolute magnitudes inferred from direct transformation of the TGAS parallaxes, (ii) by adopting astrometric-based luminosities, and (iii) using a Bayesian fitting approach. TGAS parallaxes bring a significant added value to the previous Hipparcos estimates. The relations presented in this paper represent first Gaia-calibrated relations and form a "work-in-progress" milestone report in the wait for Gaia-only parallaxes of which a first solution will become available with Gaia's Data Release 2 (DR2) in 2018. △ Less

Submitted 1 May, 2017; originally announced May 2017.

Comments: 29 pages, 25 figures. Accepted for publication by A&A

Journal ref: A&A 605, A79 (2017)

Gaia Data Release 1. Open cluster astrometry: performance, limitations, and future prospects

Authors: Gaia Collaboration, F. van Leeuwen, A. Vallenari, C. Jordi, L. Lindegren, U. Bastian, T. Prusti, J. H. J. de Bruijne, A. G. A. Brown, C. Babusiaux, C. A. L. Bailer-Jones, M. Biermann, D. W. Evans, L. Eyer, F. Jansen, S. A. Klioner, U. Lammers, X. Luri, F. Mignard, C. Panem, D. Pourbaix, S. Randich, P. Sartoretti, H. I. Siddiqui, C. Soubiran , et al. (567 additional authors not shown)

Abstract: Context. The first Gaia Data Release contains the Tycho-Gaia Astrometric Solution (TGAS). This is a subset of about 2 million stars for which, besides the position and photometry, the proper motion and parallax are calculated using Hipparcos and Tycho-2 positions in 1991.25 as prior information. Aims. We investigate the scientific potential and limitations of the TGAS component by means of the ast… ▽ More Context. The first Gaia Data Release contains the Tycho-Gaia Astrometric Solution (TGAS). This is a subset of about 2 million stars for which, besides the position and photometry, the proper motion and parallax are calculated using Hipparcos and Tycho-2 positions in 1991.25 as prior information. Aims. We investigate the scientific potential and limitations of the TGAS component by means of the astrometric data for open clusters. Methods. Mean cluster parallax and proper motion values are derived taking into account the error correlations within the astrometric solutions for individual stars, an estimate of the internal velocity dispersion in the cluster, and, where relevant, the effects of the depth of the cluster along the line of sight. Internal consistency of the TGAS data is assessed. Results. Values given for standard uncertainties are still inaccurate and may lead to unrealistic unit-weight standard deviations of least squares solutions for cluster parameters. Reconstructed mean cluster parallax and proper motion values are generally in very good agreement with earlier Hipparcos-based determination, although the Gaia mean parallax for the Pleiades is a significant exception. We have no current explanation for that discrepancy. Most clusters are observed to extend to nearly 15 pc from the cluster centre, and it will be up to future Gaia releases to establish whether those potential cluster-member stars are still dynamically bound to the clusters. Conclusions. The Gaia DR1 provides the means to examine open clusters far beyond their more easily visible cores, and can provide membership assessments based on proper motions and parallaxes. A combined HR diagram shows the same features as observed before using the Hipparcos data, with clearly increased luminosities for older A and F dwarfs. △ Less

Submitted 3 March, 2017; originally announced March 2017.

Comments: Accepted for publication by A&A. 21 pages main text plus 46 pages appendices. 34 figures main text, 38 figures appendices. 8 table in main text, 19 tables in appendices

Journal ref: A&A 601, A19 (2017)

Star formation histories in mergers: The spatially resolved properties of the early-stage merger LIRGs IC 1623 and NGC 6090

Authors: C. Cortijo-Ferrero, R. M. González Delgado, E. Pérez, R. Cid Fernandes, S. F. Sánchez, A. L. de Amorim, P. Di Matteo, R. García-Benito, E. A. D. Lacerda, R. López Fernández, C. Tadhunter

Abstract: The role of major mergers in galaxy evolution is investigated through a detailed characterization of the stellar populations, ionized gas properties, and star formation rates (SFR) in the early-stage merger LIRGs IC 1623 W and NGC 6090, by analysing optical Integral Field Spectroscopy (IFS) and high resolution HST imaging. The spectra were processed with the Starlight full spectral fitting code, a… ▽ More The role of major mergers in galaxy evolution is investigated through a detailed characterization of the stellar populations, ionized gas properties, and star formation rates (SFR) in the early-stage merger LIRGs IC 1623 W and NGC 6090, by analysing optical Integral Field Spectroscopy (IFS) and high resolution HST imaging. The spectra were processed with the Starlight full spectral fitting code, and the emission lines measured in the residual spectra. The results are compared with control non-interacting spiral galaxies from the CALIFA survey. Merger-induced star formation is extended and recent, as revealed by the young ages (50-80 Myr) and high contributions to light of young stellar populations (50-90$\%$), in agreement with merger simulations in the literature. These early-stage mergers have positive central gradients of the stellar metallicity, with an average $\sim$0.6 Z$_{\odot}$. Compared to non-interacting spirals, they have lower central nebular metallicity, and flatter profiles, in agreement with the gas inflow scenario. We find that they are dominated by star formation, although shock excitation cannot be discarded in some regions, where high velocity dispersion is found (170-200 km s$^{-1}$). The average SFR in these early-stage mergers ($\sim$23-32 M$_{\odot}$ yr$^{-1}$) is enhanced with respect to main-sequence Sbc galaxies by factors of 6-9, slightly above the predictions from classical merger simulations, but still possible in about 15$\%$ of major galaxy mergers, where U/LIRGs belong. △ Less

Submitted 21 February, 2017; originally announced February 2017.

Journal ref: MNRAS, 467, 3898-3919 (2017)

A Semantic Account of Metric Preservation

Authors: Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata, Ikram Cherigui

Abstract: Program sensitivity measures how robust a program is to small changes in its input, and is a fundamental notion in domains ranging from differential privacy to cyber-physical systems. A natural way to formalize program sensitivity is in terms of metrics on the input and output spaces, requiring that an $r$-sensitive function map inputs that are at distance $d$ to outputs that are at distance at mo… ▽ More Program sensitivity measures how robust a program is to small changes in its input, and is a fundamental notion in domains ranging from differential privacy to cyber-physical systems. A natural way to formalize program sensitivity is in terms of metrics on the input and output spaces, requiring that an $r$-sensitive function map inputs that are at distance $d$ to outputs that are at distance at most $r \cdot d$. Program sensitivity is thus an analogue of Lipschitz continuity for programs. Reed and Pierce introduced Fuzz, a functional language with a linear type system that can express program sensitivity. They show soundness operationally, in the form of a metric preservation property. Inspired by their work, we study program sensitivity and metric preservation from a denotational point of view. In particular, we introduce metric CPOs, a novel semantic structure for reasoning about computation on metric spaces, by endowing CPOs with a compatible notion of distance. This structure is useful for reasoning about metric properties of programs, and specifically about program sensitivity. We demonstrate metric CPOs by giving a model for the deterministic fragment of Fuzz. △ Less

Submitted 23 October, 2022; v1 submitted 1 February, 2017; originally announced February 2017.

The metrology system of the VLTI instrument GRAVITY

Authors: Magdalena Lippa, Stefan Gillessen, Nicolas Blind, Yipting Kok, Senol Yazici, Johannes Weber, Oliver Pfuhl, Marcus Haug, Stefan Kellner, Ekkehard Wieprecht, Frank Eisenhauer, Reinhard Genzel, Oliver Hans, Frank Haussmann, David Huber, Tobias Kratschmann, Thomas Ott, Markus Plattner, Christian Rau, Eckhard Sturm, Idel Waisberg, Erich Wiezorrek, Guy Perrin, Karine Perraut, Wolfgang Brandner , et al. (2 additional authors not shown)

Abstract: The VLTI instrument GRAVITY combines the beams from four telescopes and provides phase-referenced imaging as well as precision-astrometry of order 10 microarcseconds by observing two celestial objects in dual-field mode. Their angular separation can be determined from their differential OPD (dOPD) when the internal dOPDs in the interferometer are known. Here, we present the general overview of the… ▽ More The VLTI instrument GRAVITY combines the beams from four telescopes and provides phase-referenced imaging as well as precision-astrometry of order 10 microarcseconds by observing two celestial objects in dual-field mode. Their angular separation can be determined from their differential OPD (dOPD) when the internal dOPDs in the interferometer are known. Here, we present the general overview of the novel metrology system which performs these measurements. The metrology consists of a three-beam laser system and a homodyne detection scheme for three-beam interference using phase-shifting interferometry in combination with lock-in amplifiers. Via this approach the metrology system measures dOPDs on a nanometer-level. △ Less

Submitted 17 August, 2016; originally announced August 2016.

Comments: 9 pages, 5 figures

Journal ref: Proc. SPIE 9907, Optical and Infrared Interferometry and Imaging V, 990722 (August 4, 2016)

CALIFA, the Calar Alto Legacy Integral Field Area survey: IV. Third Public data release

Authors: S. F. Sánchez, R. García-Benito, S. Zibetti, C. J. Walcher, B. Husemann, M. A. Mendoza, L. Galbany, J. Falcón-Barroso, D. Mast, J. Aceituno, J. A. L. Aguerri, J. Alves, A. L. Amorim, Y. Ascasibar, D. Barrado-Navascues, J. Barrera-Ballesteros, S. Bekeraitè, J. Bland-Hawthorn, M. Cano Díaz, R. Cid Fernandes, O. Cavichia, C. Cortijo, H. Dannerbauer, M. Demleitner, A. Díaz , et al. (38 additional authors not shown)

Abstract: This paper describes the Third Public Data Release (DR3) of the Calar Alto Legacy Integral Field Area (CALIFA) survey. Science-grade quality data for 667 galaxies are made public, including the 200 galaxies of the Second Public Data Release (DR2). Data were obtained with the integral-field spectrograph PMAS/PPak mounted on the 3.5m telescope at the Calar Alto Observatory. Three different spectral… ▽ More This paper describes the Third Public Data Release (DR3) of the Calar Alto Legacy Integral Field Area (CALIFA) survey. Science-grade quality data for 667 galaxies are made public, including the 200 galaxies of the Second Public Data Release (DR2). Data were obtained with the integral-field spectrograph PMAS/PPak mounted on the 3.5m telescope at the Calar Alto Observatory. Three different spectral setups are available, i) a low-resolution V500 setup covering the wavelength range 3749-7500 AA (4240-7140 AA unvignetted) with a spectral resolution of 6.0 AA (FWHM), for 646 galaxies, ii) a medium-resolution V1200 setup covering the wavelength range 3650-4840 AA (3650-4620 AA unvignetted) with a spectral resolution of 2.3 AA (FWHM), for 484 galaxies, and iii) the combination of the cubes from both setups (called COMBO), with a spectral resolution of 6.0 AA and a wavelength range between 3700-7500 AA (3700-7140 AA unvignetted), for 446 galaxies. The Main Sample, selected and observed according to the CALIFA survey strategy covers a redshift range between 0.005 and 0.03, spans the color-magnitude diagram and probes a wide range of stellar mass, ionization conditions, and morphological types. The Extension Sample covers several types of galaxies that are rare in the overall galaxy population and therefore not numerous or absent in the CALIFA Main Sample. All the cubes in the data release were processed using the latest pipeline, which includes improved versions of the calibration frames and an even further improved im- age reconstruction quality. In total, the third data release contains 1576 datacubes, including ~1.5 million independent spectra. It is available at http://califa.caha.es/DR3. △ Less

Submitted 20 June, 2016; v1 submitted 8 April, 2016; originally announced April 2016.

Comments: 23 pages, 15 figures, accepted to be published in A&A

Journal ref: A&A 594, A36 (2016)

Star formation along the Hubble sequence: Radial structure of the star formation of CALIFA galaxies

Authors: R. M. González Delgado, R. Cid Fernandes, E. Pérez, R. García-Benito, R. López Fernández, E. A. D. Lacerda, C. Cortijo-Ferrero, A. L. de Amorim, N. Vale Asari, S. F. Sánchez, C. J. Walcher, L. Wisotzki, D. Mast, J. Alves, Y. Ascasibar, J. Bland-Hawthorn, L. Galbany, R. C. Kennicutt Jr., I. Márquez, J. Masegosa, M. Mollá, P. Sánchez-Blázquez, J. M. Vílchez, CALIFA collaboration

Abstract: The aim of this paper is to characterize the radial structure of the star formation rate (SFR) in galaxies in the nearby Universe as represented by the CALIFA survey. The sample under study contains 416 galaxies observed with IFS, covering a wide range of Hubble types and stellar masses. Spectral synthesis techniques are applied to obtain radial profiles of the intensity of the star formation rate… ▽ More The aim of this paper is to characterize the radial structure of the star formation rate (SFR) in galaxies in the nearby Universe as represented by the CALIFA survey. The sample under study contains 416 galaxies observed with IFS, covering a wide range of Hubble types and stellar masses. Spectral synthesis techniques are applied to obtain radial profiles of the intensity of the star formation rate in the recent past, and the local sSFR. To emphasize the behavior of these properties for galaxies that are on and off the main sequence of star formation (MSSF) we stack the individual radial profiles in bins of galaxy morphology and stellar masses. Our main results are: a) The intensity of SFR shows declining profiles that exhibit very little differences between spirals. The dispersion between the profiles is significantly smaller in late type spirals. This confirms that the MSSF is a sequence of galaxies with nearly constant intensity of SFR b) sSFR values scale with Hubble type and increase radially outwards, with a steeper slope in the inner 1 HLR. This behavior suggests that galaxies are quenched inside-out, and that this process is faster in the central, bulge-dominated part than in the disks. c) As a whole, and at all radii, E and S0 are off the MSSF. d) Applying the volume-corrections for the CALIFA sample, we obtain a density of star formation in the local Universe of 0.0105 Msun/yr/Mpc^{-3}. Most of the star formation is occurring in the disks of spirals. e) The volume averaged birthrate parameter, b'=0.39, suggests that the present day Universe is forming stars at 1/3 of its past average rate. E, S0, and the bulge of early type spirals contribute little to the recent SFR of the Universe, which is dominated by the disks of later spirals. f) There is a tight relation between the intensity of the SFR and stellar mass, defining a local MSSF relation with a logarithmic slope of 0.8. △ Less

Submitted 2 March, 2016; originally announced March 2016.

Comments: 17 pages, 11 figures, accepted for publication in Astronomy & Astrophysics. Abridged abstract

Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

Authors: Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Boris Eng, Benjamin C. Pierce

Abstract: Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting their interactions to conform to well-defined interfaces, we can limit the damage caused by low-level attacks such as control-flow hijacking. When used to defend against such attacks, compartmentalization is often impleme… ▽ More Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting their interactions to conform to well-defined interfaces, we can limit the damage caused by low-level attacks such as control-flow hijacking. When used to defend against such attacks, compartmentalization is often implemented cooperatively by a compiler and a low-level compartmentalization mechanism. However, the formal guarantees provided by such compartmentalizing compilation have seen surprisingly little investigation. We propose a new security property, secure compartmentalizing compilation (SCC), that formally characterizes the guarantees provided by compartmentalizing compilation and clarifies its attacker model. We reconstruct our property by starting from the well-established notion of fully abstract compilation, then identifying and lifting three important limitations that make standard full abstraction unsuitable for compartmentalization. The connection to full abstraction allows us to prove SCC by adapting established proof techniques; we illustrate this with a compiler from a simple unsafe imperative language with procedures to a compartmentalized abstract machine. △ Less

Submitted 15 April, 2017; v1 submitted 14 February, 2016; originally announced February 2016.

Comments: Nits

Simultaneous spectroscopic and photometric analysis of galaxies with STARLIGHT: CALIFA $+$ GALEX

Authors: R. López Fernández, R. Cid Fernandes, R. M. González Delgado, N. Vale Asari, E. Pérez, R. García-Benito, A. L. de Amorim, E. A. D. Lacerda, C. Cortijo-Ferrero, S. F. Sánchez

Abstract: We present an extended version of the spectral synthesis code STARLIGHT designed to incorporate both $λ$-by-$λ$ spectra and photometric fluxes in the estimation of stellar population properties of galaxies. The code is tested with simulations and data for 260 galaxies culled from the CALIFA survey, spatially matching the 3700--7000 Å optical datacubes to GALEX near and far UV images. The sample sp… ▽ More We present an extended version of the spectral synthesis code STARLIGHT designed to incorporate both $λ$-by-$λ$ spectra and photometric fluxes in the estimation of stellar population properties of galaxies. The code is tested with simulations and data for 260 galaxies culled from the CALIFA survey, spatially matching the 3700--7000 Å optical datacubes to GALEX near and far UV images. The sample spans E--Sd galaxies with masses from $10^9$ to $10^{12} M_\odot$ and stellar populations all the way from star-forming to old, passive systems. Comparing results derived from purely optical fits with those which also consider the NUV and FUV data we find that: (1) The new code is capable of matching the input UV data within the errors while kee** the quality of the optical fit essentially unchanged. (2) Despite being unreliable predictors of the UV fluxes, purely optical fits yield stellar population properties which agree well with those obtained in optical+UV fits for nearly 90% of our sample. (3) The addition of UV constraints has little impact on properties such as stellar mass and dust optical depth. Mean stellar ages and metallicities also remain nearly the same for most galaxies, the exception being low-mass, late-type galaxies, which become older and less enriched due to rearrangements of their youngest populations. (4) The revised ages are better correlated with observables such as the 4000 Å break index, and the $NUV - r$ and $u - r$ colours, an empirical indication that the addition of UV constraints helps mitigating the effects of age-metallicity-extinction degeneracies. △ Less

Submitted 2 February, 2016; originally announced February 2016.

Comments: Accepted for publication in MNRAS 2016 January 28, 18 pages, 14 figures, 3 tables

Production of t$γ$, tZ and tH via Flavour Changing Neutral Currents

Authors: Artur Amorim, Juan Pedro Araque, Nuno Filipe Castro, Jose Santiago, Rui Santos

Abstract: A UFO model describing general top quark Flavour Changing Neutral Currents is presented. We use it to study t$γ$, tH and tZ production via FCNCs anomalous couplings at the Large Hadron Collider, in particular how the distributions of physical observables depend on the anomalous couplings. A sensitivity study of the Large Hadron Collider experiments to tZ production via FCNC in its second stage of… ▽ More A UFO model describing general top quark Flavour Changing Neutral Currents is presented. We use it to study t$γ$, tH and tZ production via FCNCs anomalous couplings at the Large Hadron Collider, in particular how the distributions of physical observables depend on the anomalous couplings. A sensitivity study of the Large Hadron Collider experiments to tZ production via FCNC in its second stage of operation is also performed. △ Less

Submitted 30 November, 2015; originally announced November 2015.

Comments: 4 pages, 2 figures. Prepared for the Proceedings of TOP 2015, 8th International Workshop on Top Quark Physics, 14-18 September 2015, Ischia, Italy

Towards a Fully Abstract Compiler Using Micro-Policies: Secure Compilation for Mutually Distrustful Components

Authors: Yannis Juglaret, Catalin Hritcu, Arthur Azevedo de Amorim, Benjamin C. Pierce, Antal Spector-Zabusky, Andrew Tolmach

Abstract: Secure compilation prevents all low-level attacks on compiled code and allows for sound reasoning about security in the source language. In this work we propose a new attacker model for secure compilation that extends the well-known notion of full abstraction to ensure protection for mutually distrustful components. We devise a compiler chain (compiler, linker, and loader) and a novel security mon… ▽ More Secure compilation prevents all low-level attacks on compiled code and allows for sound reasoning about security in the source language. In this work we propose a new attacker model for secure compilation that extends the well-known notion of full abstraction to ensure protection for mutually distrustful components. We devise a compiler chain (compiler, linker, and loader) and a novel security monitor that together defend against this strong attacker model. The monitor is implemented using a recently proposed, generic tag-based protection framework called micro-policies, which comes with hardware support for efficient caching and with a formal verification methodology. Our monitor protects the abstractions of a simple object-oriented language---class isolation, the method call discipline, and type safety---against arbitrary low-level attackers. △ Less

Submitted 2 October, 2015; originally announced October 2015.

A Verified Information-Flow Architecture

Authors: Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach

Abstract: SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supports fine-grained programmable tags, with efficient and flexible propagation and combination of tags as instructions are executed. The operating system virtualizes these generic facilities to present an information-flow… ▽ More SAFE is a clean-slate design for a highly secure computer system, with pervasive mechanisms for tracking and limiting information flows. At the lowest level, the SAFE hardware supports fine-grained programmable tags, with efficient and flexible propagation and combination of tags as instructions are executed. The operating system virtualizes these generic facilities to present an information-flow abstract machine that allows user programs to label sensitive data with rich confidentiality policies. We present a formal, machine-checked model of the key hardware and software mechanisms used to dynamically control information flow in SAFE and an end-to-end proof of noninterference for this model. We use a refinement proof methodology to propagate the noninterference property of the abstract machine down to the concrete machine level. We use an intermediate layer in the refinement chain that factors out the details of the information-flow control policy and devise a code generator for compiling such information-flow policies into low-level monitor code. Finally, we verify the correctness of this generator using a dedicated Hoare logic that abstracts from low-level machine instructions into a reusable set of verified structured code generators. △ Less

Submitted 6 March, 2016; v1 submitted 22 September, 2015; originally announced September 2015.

Neutral molecular cluster formation of sulfuric acid dimethylamine observed in real time under atmospheric conditions

Authors: Andreas Kürten, Tuija Jokinen, Mario Simon, Mikko Sipilä, Nina Sarnela, Heikki Junninen, Alexey Adamov, João Almeida, Antonio Amorim, Federico Bianchi, Martin Breitenlechner, Josef Dommen, Neil M. Donahue, Jonathan Duplissy, Sebastian Ehrharta, Richard C. Flagan, Alessandro Franchin, Jani Hakala, Armin Hansel, Martin Heinritzia, Manuel Hutterli, Juha Kangasluoma, Jasper Kirkby, Ari Laaksonen, Katrianne Lehtipalo , et al. (23 additional authors not shown)

Abstract: For atmospheric sulfuric acid (SA) concentrations the presence of dimethylamine (DMA) at mixing ratios of several parts per trillion by volume can explain observed boundary layer new particle formation rates. However, the concentration and molecular composition of the neutral (uncharged) clusters have not been reported so far due to the lack of suitable instrumentation. Here we report on experimen… ▽ More For atmospheric sulfuric acid (SA) concentrations the presence of dimethylamine (DMA) at mixing ratios of several parts per trillion by volume can explain observed boundary layer new particle formation rates. However, the concentration and molecular composition of the neutral (uncharged) clusters have not been reported so far due to the lack of suitable instrumentation. Here we report on experiments from the Cosmics Leaving Outdoor Droplets chamber at the European Organization for Nuclear Research revealing the formation of neutral particles containing up to 14 SA and 16 DMA molecules, corresponding to a mobility diameter of about 2 nm, under atmospherically relevant conditions. These measurements bridge the gap between the molecular and particle perspectives of nucleation, revealing the fundamental processes involved in particle formation and growth. The neutral clusters are found to form at or close to the kinetic limit where particle formation is limited only by the collision rate of SA molecules. Even though the neutral particles are stable against evaporation from the SA dimer onward, the formation rates of particles at 1.7-nm size, which contain about 10 SA molecules, are up to 4 orders of magnitude smaller comparedwith those of the dimer due to coagulation and wall loss of particles before they reach 1.7 nm in diameter. This demonstrates that neither the atmospheric particle formation rate nor its dependence on SA can simply be interpreted in terms of cluster evaporation or the molecular composition of a critical nucleus. △ Less

Submitted 11 September, 2015; originally announced September 2015.

Comments: Main text plus SI

Journal ref: Proceedings of the National Academy of Sciences of United State of America, 2014

The CALIFA survey across the Hubble sequence: Spatially resolved stellar population properties in galaxies

Authors: R. M. González Delgado, R. García-Benito, E. Pérez, R. Cid Fernandes, A. L. de Amorim, C. Cortijo-Ferrero, E. A. D. Lacerda, R. López Fernández, N. Vale-Asari, S. F. Sánchez, M. Mollá, T. Ruiz-Lara, P. Sánchez-Blázquez, C. J. Walcher, J. Alves, J. A. L. Aguerri, S. Bekeraité, J. Bland-Hawthorn, L. Galbany, A. Gallazzi, B. Husemann, J. Iglesias-Páramo, V. Kalinova, A. R. López-Sánchez, R. A. Marino , et al. (10 additional authors not shown)

Abstract: This paper characterizes the radial structure of stellar population properties of galaxies in the nearby universe, based on 300 galaxies from the CALIFA survey. The sample covers a wide range of Hubble types, and galaxy stellar mass. We apply the spectral synthesis techniques to recover the stellar mass surface density, stellar extinction, light and mass-weighted ages, and mass-weighted metallicit… ▽ More This paper characterizes the radial structure of stellar population properties of galaxies in the nearby universe, based on 300 galaxies from the CALIFA survey. The sample covers a wide range of Hubble types, and galaxy stellar mass. We apply the spectral synthesis techniques to recover the stellar mass surface density, stellar extinction, light and mass-weighted ages, and mass-weighted metallicity, for each spatial resolution element in our target galaxies. To study mean trends with overall galaxy properties, the individual radial profiles are stacked in seven bins of galaxy morphology. We confirm that more massive galaxies are more compact, older, more metal rich, and less reddened by dust. Additionally, we find that these trends are preserved spatially with the radial distance to the nucleus. Deviations from these relations appear correlated with Hubble type: earlier types are more compact, older, and more metal rich for a given mass, which evidences that quenching is related to morphology, but not driven by mass. Negative gradients of ages are consistent with an inside-out growth of galaxies, with the largest ages gradients in Sb-Sbc galaxies. Further, the mean stellar ages of disks and bulges are correlated, with disks covering a wider range of ages, and late type spirals hosting younger disks. The gradients in stellar mass surface density depend mostly on stellar mass, in the sense that more massive galaxies are more centrally concentrated. There is a secondary correlation in the sense that at the same mass early type galaxies have steeper gradients. We find mildly negative metallicity gradients, shallower than predicted from models of galaxy evolution in isolation. The largest gradients occur in Sb galaxies. Overall we conclude that quenching processes act in manners that are independent of mass, while metallicity and galaxy structure are influenced by mass-dependent processes. △ Less

Submitted 16 June, 2015; v1 submitted 12 June, 2015; originally announced June 2015.

Comments: 42 pages, 27 figures, 3 tables. Abridged abstract for arXiv. Accepted for publication in A&A

The CALIFA survey across the Hubble sequence: How galaxies grow their bulges and disks

Authors: R. M. González Delgado, R. García-Benito, E. Pérez, R. Cid Fernandes, A. L. de Amorim, C. Cortijo-Ferrero, E. A. D. Lacerda, R. López Fernández, N. Vale-Asari, S. Sánchez, CALIFA collaboration

Abstract: We characterize in detail the radial structure of the stellar population properties of 300 galaxies in the nearby universe, observed with integral field spectroscopy in the CALIFA survey. The sample covers a wide range of Hubble types, from spheroidal to spiral galaxies, ranging in stellar masses from $M_\star \sim 10^9$ to $7 \times 10^{11}$ $M_\odot$. We derive the stellar mass surface density (… ▽ More We characterize in detail the radial structure of the stellar population properties of 300 galaxies in the nearby universe, observed with integral field spectroscopy in the CALIFA survey. The sample covers a wide range of Hubble types, from spheroidal to spiral galaxies, ranging in stellar masses from $M_\star \sim 10^9$ to $7 \times 10^{11}$ $M_\odot$. We derive the stellar mass surface density ($μ_\star$), light-weighted and mass-weighted ages ($\langle {\rm log}\,age\rangle _L$, $\langle {\rm log}\,age\rangle _M$), and mass-weighted metallicity ($\langle {\rm log}\,Z_\star\rangle _M$), applying the spectral synthesis technique. We study the mean trends with galaxy stellar mass, $M_\star$, and morphology (E, S0, Sa, Sb, Sbc, Sc and Sd). We confirm that more massive galaxies are more compact, older, more metal rich, and less reddened by dust. Additionally, we find that these trends are preserved spatially with the radial distance to the nucleus. Deviations from these relations appear correlated with Hubble type: earlier types are more compact, older, and more metal rich for a given M$_\star$, which evidences that quenching is related to morphology, but not driven by mass. △ Less

Submitted 9 June, 2015; originally announced June 2015.

Comments: 5 pages, 3 figures, Proceedings for "Multi-Object Spectroscopy in the Next Decade: Big Questions, Large Surveys and Wide Fields", Santa Cruz de La Palma, Canary Islands, 2nd to 6th March 2015

GRAVITY: the VLTI 4-beam combiner for narrow-angle astrometry and interferometric imaging

Authors: N. Blind, F. Eisenhauer, S. Gillessen, Y. Kok, M. Lippa, G. Perrin, R. Dembet, P. Fedou, S. Lacour, K. Perraut, L. Jocou, L. Burtscher, O. Hans, M. Haug, F. Haussmann, S. Huber, A. Janssen, S. Kellner, T. Ott, O. Pfuhl, E. Sturm, J. Weber, E. Wieprecht, A. Amorim, W. Brandner , et al. (1 additional authors not shown)

Abstract: GRAVITY is the second generation Very Large Telescope Interferometer instrument for precision narrow-angle astrometry and interferometric imaging in the Near Infra-Red (NIR). It shall provide precision astrometry of order 10 microarcseconds, and imaging capability at a few milliarcsecond resolution, and hence will revolutionise dynamical measurements of celestial objects. GRAVITY is currently in t… ▽ More GRAVITY is the second generation Very Large Telescope Interferometer instrument for precision narrow-angle astrometry and interferometric imaging in the Near Infra-Red (NIR). It shall provide precision astrometry of order 10 microarcseconds, and imaging capability at a few milliarcsecond resolution, and hence will revolutionise dynamical measurements of celestial objects. GRAVITY is currently in the last stages of its integration and tests in Garching at MPE, and will be delivered to the VLT Interferometer (VLTI) in 2015. We present here the instrument, with a particular focus on the components making use of fibres: integrated optics beam combiners, polarisation rotators, fibre differential delay lines, and the metrology. △ Less

Submitted 25 March, 2015; originally announced March 2015.

Comments: 8 pages, 3 figures. Proceeding of the conference "Fiber optics in astronomy IV". The follwoing authors made significant contribution regarding the work on fibers reported in this paper (ordered by institute and alphabetical order): IPAG: L. Jocou, K. Perraut; LESIA: R. Dembet, P. Fedou, S. Lacour, G. Perrin; MPE: N. Blind, F. Eisenhauer, S. Gillessen,, Y. Kok, M. Lippa

Really Natural Linear Indexed Type Checking

Authors: Arthur Azevedo de Amorim, Emilio Jesús Gallego Arias, Marco Gaboardi, Justin Hsu

Abstract: Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices, allowing more fine-grained analyses. Such systems have been fruitfully applied in diverse domains, including implicit complexity and differential privacy. A natural way to enhance the expressiveness of this approach is… ▽ More Recent works have shown the power of linear indexed type systems for enforcing complex program properties. These systems combine linear types with a language of type-level indices, allowing more fine-grained analyses. Such systems have been fruitfully applied in diverse domains, including implicit complexity and differential privacy. A natural way to enhance the expressiveness of this approach is by allowing the indices to depend on runtime information, in the spirit of dependent types. This approach is used in DFuzz, a language for differential privacy. The DFuzz type system relies on an index language supporting real and natural number arithmetic over constants and variables. Moreover, DFuzz uses a subty** mechanism to make types more flexible. By themselves, linearity, dependency, and subty** each require delicate handling when performing type checking or type inference; their combination increases this challenge substantially, as the features can interact in non-trivial ways. In this paper, we study the type-checking problem for DFuzz. We show how we can reduce type checking for (a simple extension of) DFuzz to constraint solving over a first-order theory of naturals and real numbers which, although undecidable, can often be handled in practice by standard numeric solvers. △ Less

Submitted 16 March, 2015; originally announced March 2015.

The GRAVITY instrument software / High-level software

Authors: Leonard Burtscher, Ekkehard Wieprecht, Thomas Ott, Yit** Kok, Senol Yazici, Narsireddy Anugu, Roderick Dembet, Pierre Fedou, Sylvestre Lacour, Juergen Ott, Thibaut Paumard, Vincent Lapeyrere, Pierre Kervella, Roberto Abuter, Eszter Pozna, Frank Eisenhauer, Nicolas Blind, Reinhard Genzel, Stefan Gillessen, Oliver Hans, Marcus Haug, Frank Haussmann, Stefan Kellner, Magdalena Lippa, Oliver Pfuhl , et al. (8 additional authors not shown)

Abstract: GRAVITY is the four-beam, near- infrared, AO-assisted, fringe tracking, astrometric and imaging instrument for the Very Large Telescope Interferometer (VLTI). It is requiring the development of one of the most complex instrument software systems ever built for an ESO instrument. Apart from its many interfaces and interdependencies, one of the most challenging aspects is the overall performance and… ▽ More GRAVITY is the four-beam, near- infrared, AO-assisted, fringe tracking, astrometric and imaging instrument for the Very Large Telescope Interferometer (VLTI). It is requiring the development of one of the most complex instrument software systems ever built for an ESO instrument. Apart from its many interfaces and interdependencies, one of the most challenging aspects is the overall performance and stability of this complex system. The three infrared detectors and the fast reflective memory network (RMN) recorder contribute a total data rate of up to 20 MiB/s accumulating to a maximum of 250 GiB of data per night. The detectors, the two instrument Local Control Units (LCUs) as well as the five LCUs running applications under TAC (Tools for Advanced Control) architecture, are interconnected with fast Ethernet, RMN fibers and dedicated fiber connections as well as signals for the time synchronization. Here we give a simplified overview of all subsystems of GRAVITY and their interfaces and discuss two examples of high-level applications during observations: the acquisition procedure and the gathering and merging of data to the final FITS file. △ Less

Submitted 23 January, 2015; originally announced January 2015.

Comments: 8 pages, 7 figures, published in Proc. SPIE 9146, Optical and Infrared Interferometry IV, 91462B

The GRAVITY metrology system: narrow-angle astrometry via phase-shifting interferometry

Authors: M. Lippa, N. Blind, S. Gillessen, Y. Kok, J. Weber, F. Eisenhauer, O. Pfuhl, A. Janssen, M. Haug, F. Haußmann, S. Kellner, O. Hans, E. Wieprecht, T. Ott, L. Burtscher, R. Genzel, E. Sturm, R. Hofmann, S. Huber, D. Huber, S. Senftleben, A. Pflüger, R. Greßmann, G. Perrin, K. Perraut , et al. (4 additional authors not shown)

Abstract: The VLTI instrument GRAVITY will provide very powerful astrometry by combining the light from four telescopes for two objects simultaneously. It will measure the angular separation between the two astronomical objects to a precision of 10 microarcseconds. This corresponds to a differential optical path difference (dOPD) between the targets of few nanometers and the paths within the interferometer… ▽ More The VLTI instrument GRAVITY will provide very powerful astrometry by combining the light from four telescopes for two objects simultaneously. It will measure the angular separation between the two astronomical objects to a precision of 10 microarcseconds. This corresponds to a differential optical path difference (dOPD) between the targets of few nanometers and the paths within the interferometer have to be maintained stable to that level. For this purpose, the novel metrology system of GRAVITY will monitor the internal dOPDs by means of phase-shifting interferometry. We present the four-step phase-shifting concept of the metrology with emphasis on the method used for calibrating the phase shifts. The latter is based on a phase-step insensitive algorithm which unambiguously extracts phases in contrast to other methods that are strongly limited by non-linearities of the phase-shifting device. The main constraint of this algorithm is to introduce a robust ellipse fitting routine. Via this approach we are able to measure phase shifts in the laboratory with a typical accuracy of lambda/2000 or 1 nanometer of the metrology wavelength. △ Less

Submitted 20 January, 2015; originally announced January 2015.

Comments: 11 pages, 7 figures

Journal ref: Proc. SPIE 9146, Optical and Infrared Interferometry IV, 914622 (2014)

CALIFA across the Hubble types: Spatially resolved properties of the stellar populations

Authors: R. M. González Delgado, R. García-Benito, E. Pérez, R. Cid Fernandes, A. L. de Amorim, C. Cortijo-Ferrero, E. A. D. Lacerda, R. López Fernández, S. F. Sánchez, N. Vale Asari, CALIFA collaboration

Abstract: We analyze the spatially resolved star formation history of 300 nearby galaxies from the CALIFA integral field spectroscopic survey to investigate the radial structure and gradients of the present day stellar populations properties as a function of Hubble type and galaxy stellar mass. A fossil record method based on spectral synthesis techniques is used to recover spatially and temporally resolved… ▽ More We analyze the spatially resolved star formation history of 300 nearby galaxies from the CALIFA integral field spectroscopic survey to investigate the radial structure and gradients of the present day stellar populations properties as a function of Hubble type and galaxy stellar mass. A fossil record method based on spectral synthesis techniques is used to recover spatially and temporally resolved maps of stellar population properties of spheroidal and spiral galaxies with masses $10^9$ to $7 \times 10^{11}$ M$_\odot$. The results show that galaxy-wide spatially averaged stellar population properties (stellar mass, mass surface density, age, metallicity, and extinction) match those obtained from the integrated spectrum, and that these spatially averaged properties match those at $R = 1$ HLR (half light radius), proving that the effective radii are really effective. Further, the individual radial profiles of the stellar mass surface density ($μ_\star$), luminosity weighted ages ($< {\rm log}\,age>_L$), and mass weighted metallicity ($< \log Z_\star >_M$) are stacked in bins of galaxy morphology (E, S0, Sa, Sb, Sbc, Sc and Sd). All these properties show negative gradients as a sign of the inside-out growth of massive galaxies. However, the gradients depend on the Hubble type in different ways. For the same galaxy mass, E and S0 galaxies show the largest inner gradients in $μ_\star$; while MW-like galaxies (Sb with $M_\star \sim 10^{11} M_\odot$) show the largest inner age and metallicity gradients. The age and metallicity gradients suggest that major mergers have a relevant role in growing the center (within 3 HLR) of massive early type galaxies; and radial mixing may play a role flattening the radial metallicity gradient in MW-like disks. △ Less

Submitted 8 December, 2014; originally announced December 2014.

Comments: 8 pages, 5 figures. Highlights of Spanish Astrophysics VIII, Proceedings of the XI Scientific Meeting of the Spanish Astronomical Society held on September 8 - 12, 2014, in Teruel, Spain. A. J. Cenarro, F. Figueras, C. Hernaández-Monteagudo, J. Trujillo, and L. Valdivielso (eds.)

The fiber coupler and beam stabilization system of the GRAVITY interferometer

Authors: O. Pfuhl, M. Haug, F. Eisenhauer, S. Kellner, F. Haussmann, G. Perrin, S. Gillessen, C. Straubmeier, T. Ott, K. Rousselet-Perraut, A. Amorim, M. Lippa, A. Janssen, W. Brandner, Y. Kok, N. Blind, L. Burtscher, E. Sturm, E. Wieprecht, M. Schoeller, J. Weber, O. Hans, S. Huber

Abstract: We present the installed and fully operational beam stabilization and fiber injection subsystem feeding the 2nd generation VLTI instrument GRAVITY. The interferometer GRAVITY requires an unprecedented stability of the VLTI optical train to achieve micro-arcsecond astrometry. For this purpose, GRAVITY contains four fiber coupler units, one per telescope. Each unit is equipped with actuators to stab… ▽ More We present the installed and fully operational beam stabilization and fiber injection subsystem feeding the 2nd generation VLTI instrument GRAVITY. The interferometer GRAVITY requires an unprecedented stability of the VLTI optical train to achieve micro-arcsecond astrometry. For this purpose, GRAVITY contains four fiber coupler units, one per telescope. Each unit is equipped with actuators to stabilize the telescope beam in terms of tilt and lateral pupil displacement, to rotate the field, to adjust the polarization and to compensate atmospheric piston. A special roof-prism offers the possibility of on-axis as well as off-axis fringe tracking without changing the optical train. We describe the assembly, integration and alignment and the resulting optical quality and performance of the individual units. Finally, we present the closed-loop performance of the tip-tilt and pupil tracking achieved with the final systems in the lab. △ Less

Submitted 4 December, 2014; originally announced December 2014.

Comments: 14 pages, 13 figures. Proceedings of the SPIE 9146 "Optical and Infrared Interferometry IV"

Journal ref: Proc. SPIE 9146, Optical and Infrared Interferometry IV, 914623, 2014

CALIFA, the Calar Alto Legacy Integral Field Area survey. III. Second public data release

Authors: R. García-Benito, S. Zibetti, S. F. Sánchez, B. Husemann, A. L. de Amorim, A. Castillo-Morales, R. Cid Fernandes, S. C . Ellis, J. Falcón-Barroso, L. Galbany, A. Gil de Paz, R. M. González Delgado, E. A. D. Lacerda, R. López-Fernandez, A. de Lorenzo-Cáceres, M. Lyubenova, R. A. Marino, D. Mast, M. A. Mendoza, E. Pérez, N. Vale Asari, J. A. L. Aguerri, Y. Ascasibar, S. Bekeraitė, J. Bland-Hawthorn , et al. (46 additional authors not shown)

Abstract: This paper describes the Second Public Data Release (DR2) of the Calar Alto Legacy Integral Field Area (CALIFA) survey. The data for 200 objects are made public, including the 100 galaxies of the First Public Data Release (DR1). Data were obtained with the integral-field spectrograph PMAS/PPak mounted on the 3.5 m telescope at the Calar Alto observatory. Two different spectral setups are available… ▽ More This paper describes the Second Public Data Release (DR2) of the Calar Alto Legacy Integral Field Area (CALIFA) survey. The data for 200 objects are made public, including the 100 galaxies of the First Public Data Release (DR1). Data were obtained with the integral-field spectrograph PMAS/PPak mounted on the 3.5 m telescope at the Calar Alto observatory. Two different spectral setups are available for each galaxy, (i) a low-resolution V500 setup covering the wavelength range 3745-7500 Å with a spectral resolution of 6.0 Å (FWHM), and (ii) a medium-resolution V1200 setup covering the wavelength range 3650-4840 Å with a spectral resolution of 2.3 Å (FWHM). The sample covers a redshift range between 0.005 and 0.03, with a wide range of properties in the Color-Magnitude diagram, stellar mass, ionization conditions, and morphological types. All released cubes were reduced with the latest pipeline, including improved spectrophotometric calibration, spatial registration and spatial resolution. The spectrophotometric calibration is better than 6% and the median spatial resolution is 2.5". Altogether the second data release contains over 1.5 million spectra. It is available at http://califa.caha.es/DR2. △ Less

Submitted 29 September, 2014; originally announced September 2014.

Comments: 33 pages, 20 figures, 7 tables, submitted to A&A. The CALIFA DR2 homepage http://califa.caha.es/DR2 is open for the public

Journal ref: A&A 576, A135 (2015)

Spectral synthesis of stellar populations in the 3D era: The CALIFA experience

Authors: R. Cid Fernandes, E. A. D. Lacerda, R. M. González Delgado, N. Vale Asari, R. García-Benito, E. Pérez, A. L. de Amorim, C. Cortijo-Ferrero, R. López Fernández, S. F. Sánchez, the CALIFA collaboration

Abstract: Methods to recover the fossil record of galaxy evolution encoded in their optical spectra have been instrumental in processing the avalanche of data from mega-surveys along the last decade, effectively transforming observed spectra onto a long and rich list of physical properties: from stellar masses and mean ages to full star formation histories. This promoted progress in our understanding of gal… ▽ More Methods to recover the fossil record of galaxy evolution encoded in their optical spectra have been instrumental in processing the avalanche of data from mega-surveys along the last decade, effectively transforming observed spectra onto a long and rich list of physical properties: from stellar masses and mean ages to full star formation histories. This promoted progress in our understanding of galaxies as a whole. Yet, the lack of spatial resolution introduces undesirable aperture effects, and hampers advances on the internal physics of galaxies. This is now changing with 3D surveys. The map** of stellar populations in data-cubes allows us to figure what comes from where, unscrambling information previously available only in integrated form. This contribution uses our starlight-based analysis of 300 CALIFA galaxies to illustrate the power of spectral synthesis applied to data-cubes. The selected results highlighted here include: (a) The evolution of the mass-metallicity and mass-density-metallicity relations, as traced by the mean stellar metallicity. (b) A comparison of star formation rates obtained from Hα to those derived from full spectral fits. (c) The relation between star formation rate and dust optical depth within galaxies, which turns out to mimic the Schmidt-Kennicutt law. (d) PCA tomography experiments. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 6 pages, 4 figures. Galaxies in 3D across the Universe. Proceedings IAU Symposium No. 309, 2014

The star formation history of galaxies in 3D: CALIFA perspective

Authors: R. M. González Delgado, R. Cid Fernandes, R. García-Benito, E. Pérez, A. L. de Amorim, C. Cortijo-Ferrero, E. A. D. Lacerda, R. López Fernandez, S. F. Sanchez, N. Vale Asari, CALIFA collaboration

Abstract: We resolve spatially the star formation history of 300 nearby galaxies from the CALIFA integral field survey to investigate: a) the radial structure and gradients of the present stellar populations properties as a function of the Hubble type; and b) the role that plays the galaxy stellar mass and stellar mass surface density in governing the star formation history and metallicity enrichment of sph… ▽ More We resolve spatially the star formation history of 300 nearby galaxies from the CALIFA integral field survey to investigate: a) the radial structure and gradients of the present stellar populations properties as a function of the Hubble type; and b) the role that plays the galaxy stellar mass and stellar mass surface density in governing the star formation history and metallicity enrichment of spheroids and the disks of galaxies. We apply the fossil record method based on spectral synthesis techniques to recover spatially and temporally resolved maps of stellar population properties of spheroids and spirals with galaxy mass from 10$^9$ to 7$\times$10$^{11}$ M$_{\odot}$. The individual radial profiles of the stellar mass surface density ($μ_{*}$), stellar extinction (A$_{V}$), luminosity weighted ages ($\langle$ log age $\rangle_{L}$), and mass weighted metallicity ($\langle$ log Z/Z$_{\odot}$$\rangle_{M}$) are stacked in seven bins of galaxy morphology (E, S0, Sa, Sb, Sbc, Sc and Sd). All these properties show negative gradients as a sight of the inside-out growth of massive galaxies. However, the gradients depend on the Hubble type in different ways. For the same galaxy mass, E and S0 galaxies show the largest inner gradients in $μ_{*}$; and Andromeda-like galaxies (Sb with log M$_{*}$(M$_{\odot}$) $\sim$ 11) show the largest inner age and metallicity gradients. In average, spiral galaxies have a stellar metallicity gradient $\sim$ -0.1 dex per half-light radius, in agreement with the value estimated for the ionized gas oxygen abundance gradient by CALIFA. A global (M$_{*}$-driven) and local ($μ_{*}$- driven) stellar metallicity relation are derived. We find that in disks, the stellar mass surface density regulates the stellar metallicity; in spheroids, the galaxy stellar mass dominates the physics of star formation and chemical enrichment. △ Less

Submitted 25 September, 2014; originally announced September 2014.

Comments: 6 pages, 4 figures. Proceedings IAU Symposium No. 309, 2014 (Galaxies in 3D across the Universe)

Testing Noninterference, Quickly

Authors: Catalin Hritcu, Leonidas Lampropoulos, Antal Spector-Zabusky, Arthur Azevedo de Amorim, Maxime Dénès, John Hughes, Benjamin C. Pierce, Dimitrios Vytiniotis

Abstract: Information-flow control mechanisms are difficult both to design and to prove correct. To reduce the time wasted on doomed proof attempts due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the design process. We show how to use QuickCheck, a property-based random-testing tool, to guide the design of increasingly complex information-flow abstr… ▽ More Information-flow control mechanisms are difficult both to design and to prove correct. To reduce the time wasted on doomed proof attempts due to broken definitions, we advocate modern random testing techniques for finding counterexamples during the design process. We show how to use QuickCheck, a property-based random-testing tool, to guide the design of increasingly complex information-flow abstract machines, leading up to a sophisticated register machine with a novel and highly permissive flow-sensitive dynamic enforcement mechanism that is sound in the presence of first-class public labels. We find that both sophisticated strategies for generating well-distributed random programs and readily falsifiable formulations of noninterference properties are critically important for efficient testing. We propose several approaches and evaluate their effectiveness on a collection of injected bugs of varying subtlety. We also present an effective technique for shrinking large counterexamples to minimal, easily comprehensible ones. Taken together, our best methods enable us to quickly and automatically generate simple counterexamples for more than 45 bugs. Moreover, we show how testing guides the discovery of the sophisticated invariants needed for the noninterference proof of our most complex machine. △ Less

Submitted 25 July, 2015; v1 submitted 1 September, 2014; originally announced September 2014.

Journal ref: J. Funct. Prog. 26 (2016) e4

The GRAVITY metrology system: modeling a metrology in optical fibers

Authors: N. Blind, H. Huber, F. Eisenhauer, J. Weber, S. Gillessen, M. Lippa, L. Burtscher, O. Hans, M. Haug, F. Haussmann, S. Huber, A. Janssen, S. Kellner, Y. Kok, T. Ott, O. Pfuhl, E. Sturm, E. Wieprecht, A. Amorim, W. Brandner, G. Perrin, K. Perraut, C. Straubmeier

Abstract: GRAVITY is the second generation VLT Interferometer (VLTI) instrument for high-precision narrow-angle astrometry and phase-referenced interferometric imaging. The laser metrology system of GRAVITY is at the heart of its astrometric mode, which must measure the distance of 2 stars with a precision of 10 micro-arcseconds. This means the metrology has to measure the optical path difference between th… ▽ More GRAVITY is the second generation VLT Interferometer (VLTI) instrument for high-precision narrow-angle astrometry and phase-referenced interferometric imaging. The laser metrology system of GRAVITY is at the heart of its astrometric mode, which must measure the distance of 2 stars with a precision of 10 micro-arcseconds. This means the metrology has to measure the optical path difference between the two beam combiners of GRAVITY to a level of 5 nm. The metrology design presents some non-common paths that have consequently to be stable at a level of 1 nm. Otherwise they would impact the performance of GRAVITY. The various tests we made in the past on the prototype give us hints on the components responsible for this error, and on their respective contribution to the total error. It is however difficult to assess their exact origin from only OPD measurements, and therefore, to propose a solution to this problem. In this paper, we present the results of a semi-empirical modeling of the fibered metrology system, relying on theoretical basis, as well as on characterisations of key components. The modeling of the metrology system regarding various effects, e.g., temperature, waveguide heating or mechanical stress, will help us to understand how the metrology behave. The goals of this modeling are to 1) model the test set-ups and reproduce the measurements (as a validation of the modeling), 2) determine the origin of the non-common path errors, and 3) propose modifications to the current metrology design to reach the required 1nm stability. △ Less

Submitted 24 July, 2014; originally announced July 2014.

Comments: 20 pages, 19 figures. Proceeding of SPIE 9146 "Optical and Infrared Interferometry IV"

GRAVITY: the Calibration Unit

Authors: N. Blind, F. Eisenhauer, M. Haug, S. Gillessen, M. Lippa, L. Burtscher, O. Hans, F. Haussmann, S. Huber, A. Janssen, S. Kellner, Y. Kok, T. Ott, O. Pfuhl, E. Sturm, J. Weber, E. Wieprecht, A. Amorim, W. Brandner, G. Perrin, K. Perraut, C. Straubmeier

Abstract: We present in this paper the design and characterisation of a new sub-system of the VLTI 2nd generation instrument GRAVITY: the Calibration Unit. The Calibration Unit provides all functions to test and calibrate the beam combiner instrument: it creates two artificial stars on four beams, and dispose of four delay lines with an internal metrology. It also includes artificial stars for the tip-tilt… ▽ More We present in this paper the design and characterisation of a new sub-system of the VLTI 2nd generation instrument GRAVITY: the Calibration Unit. The Calibration Unit provides all functions to test and calibrate the beam combiner instrument: it creates two artificial stars on four beams, and dispose of four delay lines with an internal metrology. It also includes artificial stars for the tip-tilt and pupil guiding systems, as well as four metrology pick-up diodes, for tests and calibration of the corresponding sub-systems. The calibration unit also hosts the reference targets to align GRAVITY to the VLTI, and the safety shutters to avoid the metrology light to propagate in the VLTI-lab. We present the results of the characterisation and validtion of these differrent sub-units. △ Less

Submitted 24 July, 2014; originally announced July 2014.

Comments: 12 pages, 11 figures. Proceeding of SPIE 9146 "Optical and Infrared Interferometry IV"

The interferometric baselines and GRAVITY astrometric error budget

Authors: S. Lacour, F. Eisenhauer, S. Gillessen, O. Pfuhl, Y. Kok, G. Perrin, K. Rousselet-Perraut, C. Straubmeier, W. Brandner, A. Amorim, J. Woillez, H. Bonnet

Abstract: GRAVITY is a new generation beam combination instrument for the VLTI. Its goal is to achieve microarsecond astrometric accuracy between objects separated by a few arcsec. This $10^6$ accuracy on astrometric measurements is the most important challenge of the instrument, and careful error budget have been paramount during the technical design of the instrument. In this poster, we will focus on base… ▽ More GRAVITY is a new generation beam combination instrument for the VLTI. Its goal is to achieve microarsecond astrometric accuracy between objects separated by a few arcsec. This $10^6$ accuracy on astrometric measurements is the most important challenge of the instrument, and careful error budget have been paramount during the technical design of the instrument. In this poster, we will focus on baselines induced errors, which is part of a larger error budget. △ Less

Submitted 16 July, 2014; originally announced July 2014.

Comments: SPIE Meeting 2014 -- Montreal

Insights on the stellar mass-metallicity relation from the CALIFA survey

Authors: R. M. González Delgado, R. Cid Fernandes, R. García-Benito, E. Pérez, A. L. de Amorim, C. Cortijo-Ferrero, E. A. D. Lacerda, R. López Fernández, S. F. Sánchez, N. Vale Asari, J. Alves, J. Bland-Hawthorn, L. Galbany, A. Gallazzi, B. Husemann, S. Bekeraite, B. Jungwiert, A. R. López-Sánchez, A. de Lorenzo-Cáceres, R. A. Marino, D. Mast, M. Mollá, A. del Olmo, P. Sánchez-Blázquez, G. van de Ven , et al. (5 additional authors not shown)

Abstract: We use spatially and temporally resolved maps of stellar population properties of 300 galaxies from the CALIFA integral field survey to investigate how the stellar metallicity (Z*) relates to the total stellar mass (M*) and the local mass surface density ($μ$*) in both spheroidal and disk dominated galaxies. The galaxies are shown to follow a clear stellar mass-metallicity relation (MZR) over the… ▽ More We use spatially and temporally resolved maps of stellar population properties of 300 galaxies from the CALIFA integral field survey to investigate how the stellar metallicity (Z*) relates to the total stellar mass (M*) and the local mass surface density ($μ$*) in both spheroidal and disk dominated galaxies. The galaxies are shown to follow a clear stellar mass-metallicity relation (MZR) over the whole 10$^9$ to 10$^{12}$ M$_{\odot}$ range. This relation is steeper than the one derived from nebular abundances, which is similar to the flatter stellar MZR derived when we consider only young stars. We also find a strong relation between the local values of $μ$* and Z* (the $μ$ZR), betraying the influence of local factors in determining Z*. This shows that both local ($μ$*-driven) and global (M*-driven) processes are important in determining the metallicity in galaxies. We find that the overall balance between local and global effects varies with the location within a galaxy. In disks, $μ$* regulates Z*, producing a strong $μ$ZR whose amplitude is modulated by M*. In spheroids it is M* who dominates the physics of star formation and chemical enrichment, with $μ$* playing a minor, secondary role. These findings agree with our previous analysis of the star formation histories of CALIFA galaxies, which showed that mean stellar ages are mainly governed by surface density in galaxy disks and by total mass in spheroids. △ Less

Submitted 4 July, 2014; originally announced July 2014.

Comments: 6 pages, 3 figures, accepted for publication in ApJL

Stellar Population gradients in galaxy discs from the CALIFA survey

Authors: P. Sanchez-Blazquez, F. Rosales-Ortega, J. Mendez-Abreu, I. Perez, S. F. Sanchez, S. Zibetti, A. Aguerri, J. Bland-Hawthorn, C. Catalan, R. Cid Fernandes, A. de Amorim, A. de Lorenzo-Caceres, J. Falcon-Barroso, A. Galazzi, R. Garcia Benito, A. Gil de Paz, R. Gonzalez Delgado, B. Husemann, Jorge Iglesias-Paramo, B. Jungwiert, R. A. Marino, I. Marquez, D. Mast, M. A. Mendoza, M. Molla , et al. (5 additional authors not shown)

Abstract: While studies of gas-phase metallicity gradients in disc galaxies are common, very little has been done in the acquisition of stellar abundance gradients in the same regions. We present here a comparative study of the stellar metallicity and age distributions in a sample of 62 nearly face-on, spiral galaxies with and without bars, using data from the CALIFA survey. We measure the slopes of the gra… ▽ More While studies of gas-phase metallicity gradients in disc galaxies are common, very little has been done in the acquisition of stellar abundance gradients in the same regions. We present here a comparative study of the stellar metallicity and age distributions in a sample of 62 nearly face-on, spiral galaxies with and without bars, using data from the CALIFA survey. We measure the slopes of the gradients and study their relation with other properties of the galaxies. We find that the mean stellar age and metallicity gradients in the disc are shallow and negative. Furthermore, when normalized to the effective radius of the disc, the slope of the stellar population gradients does not correlate with the mass or with the morphological type of the galaxies. Contrary to this, the values of both age and metallicity at $\sim$2.5 scale-lengths correlate with the central velocity dispersion in a similar manner to the central values of the bulges, although bulges show, on average, older ages and higher metallicities than the discs. One of the goals of the present paper is to test the theoretical prediction that non-linear coupling between the bar and the spiral arms is an efficient mechanism for producing radial migrations across significant distances within discs. The process of radial migration should flatten the stellar metallicity gradient with time and, therefore, we would expect flatter stellar metallicity gradients in barred galaxies. However, we do not find any difference in the metallicity or age gradients in galaxies with without bars. We discuss possible scenarios that can lead to this absence of difference. △ Less

Submitted 15 March, 2015; v1 submitted 28 June, 2014; originally announced July 2014.

Comments: 24 pages, 17 figures, accepted for publication in A&A

Journal ref: A&A 570, A6 (2014)

J-PAS: The Javalambre-Physics of the Accelerated Universe Astrophysical Survey

Authors: N. Benitez, R. Dupke, M. Moles, L. Sodre, J. Cenarro, A. Marin-Franch, K. Taylor, D. Cristobal, A. Fernandez-Soto, C. Mendes de Oliveira, J. Cepa-Nogue, L. R. Abramo, J. S. Alcaniz, R. Overzier, C. Hernandez-Monteagudo, E. J. Alfaro, A. Kanaan, J. M. Carvano, R. R. R. Reis, E. Martinez Gonzalez, B. Ascaso, F. Ballesteros, H. S. Xavier, J. Varela, A. Ederoclite , et al. (127 additional authors not shown)

Abstract: The Javalambre-Physics of the Accelerated Universe Astrophysical Survey (J-PAS) is a narrow band, very wide field Cosmological Survey to be carried out from the Javalambre Observatory in Spain with a purpose-built, dedicated 2.5m telescope and a 4.7 sq.deg. camera with 1.2Gpix. Starting in late 2015, J-PAS will observe 8500sq.deg. of Northern Sky and measure $0.003(1+z)$ photo-z for $9\times10^7$… ▽ More The Javalambre-Physics of the Accelerated Universe Astrophysical Survey (J-PAS) is a narrow band, very wide field Cosmological Survey to be carried out from the Javalambre Observatory in Spain with a purpose-built, dedicated 2.5m telescope and a 4.7 sq.deg. camera with 1.2Gpix. Starting in late 2015, J-PAS will observe 8500sq.deg. of Northern Sky and measure $0.003(1+z)$ photo-z for $9\times10^7$ LRG and ELG galaxies plus several million QSOs, sampling an effective volume of $\sim 14$ Gpc$^3$ up to $z=1.3$ and becoming the first radial BAO experiment to reach Stage IV. J-PAS will detect $7\times 10^5$ galaxy clusters and groups, setting constrains on Dark Energy which rival those obtained from its BAO measurements. Thanks to the superb characteristics of the site (seeing ~0.7 arcsec), J-PAS is expected to obtain a deep, sub-arcsec image of the Northern sky, which combined with its unique photo-z precision will produce one of the most powerful cosmological lensing surveys before the arrival of Euclid. J-PAS unprecedented spectral time domain information will enable a self-contained SN survey that, without the need for external spectroscopic follow-up, will detect, classify and measure $σ_z\sim 0.5\%$ redshifts for $\sim 4000$ SNeIa and $\sim 900$ core-collapse SNe. The key to the J-PAS potential is its innovative approach: a contiguous system of 54 filters with $145Å$ width, placed $100Å$ apart over a multi-degree FoV is a powerful "redshift machine", with the survey speed of a 4000 multiplexing low resolution spectrograph, but many times cheaper and much faster to build. The J-PAS camera is equivalent to a 4.7 sq.deg. "IFU" and it will produce a time-resolved, 3D image of the Northern Sky with a very wide range of Astrophysical applications in Galaxy Evolution, the nearby Universe and the study of resolved stellar populations. △ Less

Submitted 20 March, 2014; originally announced March 2014.

Comments: 215 pages, 70 figures. J-PAS "Red Book", containing a description of the technical aspects of the Survey and its main scientific goals

The star formation history of CALIFA galaxies: Radial structures

Authors: R. M. González Delgado, E. Pérez, R. Cid Fernandes, R. García-Benito, A. L. de Amorim, S. F. Sánchez, B. Husemann, C. Cortijo-Ferrero, R. López Fernández, P. Sánchez-Blázquez, S. Bekeraite, C. J. Walcher, J. Falcón-Barroso, A. Gallazzi, G. van de Ven, J. Alves, J. Bland-Hawthorn, R. C. Kennicutt Jr., D. Kupko, M. Lyubenova, D. Mast, M. Mollá, R. A. Marino, A. Quirrenbach, J. M. Vílchez , et al. (2 additional authors not shown)

Abstract: We study the radial structure of the stellar mass surface density ($μ$) and stellar population age as a function of the total stellar mass and morphology for a sample of 107 galaxies from the CALIFA survey. We use the fossil record to recover the star formation history (SFH) in spheroidal and disk dominated galaxies with masses from 10$^9$ to 10$^{12}$ M$_\odot$. We derive the half mass radius, an… ▽ More We study the radial structure of the stellar mass surface density ($μ$) and stellar population age as a function of the total stellar mass and morphology for a sample of 107 galaxies from the CALIFA survey. We use the fossil record to recover the star formation history (SFH) in spheroidal and disk dominated galaxies with masses from 10$^9$ to 10$^{12}$ M$_\odot$. We derive the half mass radius, and we find that galaxies are on average 15% more compact in mass than in light. HMR/HLR decreases with increasing mass for disk galaxies, but is almost constant in spheroidal galaxies. We find that the galaxy-averaged stellar population age, stellar extinction, and $μ$ are well represented by their values at 1 HLR. Negative radial gradients of the stellar population ages support an inside-out formation. The larger inner age gradients occur in the most massive disk galaxies that have the most prominent bulges; shallower age gradients are obtained in spheroids of similar mass. Disk and spheroidal galaxies show negative $μ$ gradients that steepen with stellar mass. In spheroidal galaxies $μ$ saturates at a critical value that is independent of the galaxy mass. Thus, all the massive spheroidal galaxies have similar local $μ$ at the same radius (in HLR units). The SFH of the regions beyond 1 HLR are well correlated with their local $μ$, and follow the same relation as the galaxy-averaged age and $μ$; suggesting that local stellar mass surface density preserves the SFH of disks. The SFH of bulges are, however, more fundamentally related to the total stellar mass, since the radial structure of the stellar age changes with galaxy mass even though all the spheroid dominated galaxies have similar radial structure in $μ$. Thus, galaxy mass is a more fundamental property in spheroidal systems while the local stellar mass surface density is more important in disks. △ Less

Submitted 21 October, 2013; originally announced October 2013.

Comments: Accepted to be published in A&A

Resolving galaxies in time and space: II: Uncertainties in the spectral synthesis of datacubes

Authors: R. Cid Fernandes, R. M. Gonzalez Delgado, R. Garcia Benito, E. Perez, A. L. de Amorim, S. F. Sanchez, B. Husemann, J. Falcon Barroso, R. Lopez-Fernandez, P. Sanchez-Blazquez, N. Vale Asari, A. Vazdekis, C. J. Walcher, D. Mast

Abstract: In a companion paper we have presented many products derived from the application of the spectral synthesis code STARLIGHT to datacubes from the CALIFA survey, including 2D maps of stellar population properties and 1D averages in the temporal and spatial dimensions. Here we evaluate the uncertainties in these products. Uncertainties due to noise and spectral shape calibration errors and to the syn… ▽ More In a companion paper we have presented many products derived from the application of the spectral synthesis code STARLIGHT to datacubes from the CALIFA survey, including 2D maps of stellar population properties and 1D averages in the temporal and spatial dimensions. Here we evaluate the uncertainties in these products. Uncertainties due to noise and spectral shape calibration errors and to the synthesis method are investigated by means of a suite of simulations based on 1638 CALIFA spectra for NGC 2916, with perturbations amplitudes gauged in terms of the expected errors. A separate study was conducted to assess uncertainties related to the choice of evolutionary synthesis models. We compare results obtained with the Bruzual & Charlot models, a preliminary update of them, and a combination of spectra derived from the Granada and MILES models. About 100k CALIFA spectra are used in this comparison. Noise and shape-related errors at the level expected for CALIFA propagate to 0.10-0.15 dex uncertainties in stellar masses, mean ages and metallicities. Uncertainties in A_V increase from 0.06 mag in the case of random noise to 0.16 mag for shape errors. Higher order products such as SFHs are more uncertain, but still relatively stable. Due to the large number statistics of datacubes, spatial averaging reduces uncertainties while preserving information on the history and structure of stellar populations. Radial profiles of global properties, as well as SFHs averaged over different regions are much more stable than for individual spaxels. Uncertainties related to the choice of base models are larger than those associated with data and method. Differences in mean age, mass and metallicity are ~ 0.15 to 0.25 dex, and 0.1 mag in A_V. Spectral residuals are ~ 1% on average, but with systematic features of up to 4%. The origin of these features is discussed. (Abridged) △ Less

Submitted 1 July, 2013; originally announced July 2013.

Comments: A&A, accepted

Resolving galaxies in time and space: I: Applying STARLIGHT to CALIFA data cubes

Authors: R. Cid Fernandes, E. Perez, R. Garcia Benito, R. M. Gonzalez Delgado, A. L. de Amorim, S. F. Sanchez, B. Husemann, J. Falcon Barroso, P. Sanchez-Blazquez, C. J. Walcher, D. Mast

Abstract: Fossil record methods based on spectral synthesis techniques have matured over the past decade, and their application to integrated galaxy spectra fostered substantial advances on the understanding of galaxies and their evolution. Yet, because of the lack of spatial resolution, these studies are limited to a global view, providing no information about the internal physics of galaxies. Motivated by… ▽ More Fossil record methods based on spectral synthesis techniques have matured over the past decade, and their application to integrated galaxy spectra fostered substantial advances on the understanding of galaxies and their evolution. Yet, because of the lack of spatial resolution, these studies are limited to a global view, providing no information about the internal physics of galaxies. Motivated by the CALIFA survey, which is gathering Integral Field Spectroscopy over the full optical extent of 600 galaxies, we have developed an end-to-end pipeline which: (i) partitions the observed data cube into Voronoi zones in order to, when necessary and taking due account of correlated errors, increase the S/N, (ii) extracts spectra, including propagated errors and bad-pixel flags, (iii) feeds the spectra into the STARLIGHT spectral synthesis code, (iv) packs the results for all galaxy zones into a single file, (v) performs a series of post-processing operations, including zone-to-pixel image reconstruction and unpacking the spectral and stellar population properties into multi-dimensional time, metallicity, and spatial coordinates. This paper provides an illustrated description of this whole pipeline and its products. Using data for the nearby spiral NGC 2916 as a show case, we go through each of the steps involved, presenting ways of visualizing and analyzing this manifold. These include 2D maps of properties such as the v-field, stellar extinction, mean ages and metallicities, mass surface densities, star formation rates on different time scales and normalized in different ways, 1D averages in the temporal and spatial dimensions, projections of the stellar light and mass growth (x,y,t) cubes onto radius-age diagrams, etc. The results illustrate the richness of the combination of IFS data with spectral synthesis, providing a glimpse of what is to come from CALIFA and future surveys. (Abridged) △ Less

Submitted 21 April, 2013; originally announced April 2013.

Comments: A&A, accepted