-
Explainable Ponzi Schemes Detection on Ethereum
Authors:
Letterio Galletta,
Fabio Pinelli
Abstract:
Blockchain technology has been successfully exploited for deploying new economic applications. However, it has started arousing the interest of malicious actors who deliver scams to deceive honest users and to gain economic advantages. Ponzi schemes are one of the most common scams. Here, we present a classifier for detecting smart Ponzi contracts on Ethereum, which can be used as the backbone for…
▽ More
Blockchain technology has been successfully exploited for deploying new economic applications. However, it has started arousing the interest of malicious actors who deliver scams to deceive honest users and to gain economic advantages. Ponzi schemes are one of the most common scams. Here, we present a classifier for detecting smart Ponzi contracts on Ethereum, which can be used as the backbone for develo** detection tools. First, we release a labelled data set with 4422 unique real-world smart contracts to address the problem of the unavailability of labelled data. Then, we show that our classifier outperforms the ones proposed in the literature when considering the AUC as a metric. Finally, we identify a small and effective set of features that ensures a good classification quality and investigate their impacts on the classification using eXplainable AI techniques.
△ Less
Submitted 18 April, 2024; v1 submitted 12 January, 2023;
originally announced January 2023.
-
Automatic Fair Exchanges
Authors:
Lorenzo Ceragioli,
Letterio Galletta,
Pierpaolo Degano,
Luca Viganò
Abstract:
In a decentralized environment, exchanging resources requires users to bargain until an agreement is found. Moreover, human agreements involve a combination of collaborative and selfish behavior and often induce circularity, complicating the evaluation of exchange requests. We introduce MuAC, a policy language that allows users to state in isolation under which conditions they are open to grant th…
▽ More
In a decentralized environment, exchanging resources requires users to bargain until an agreement is found. Moreover, human agreements involve a combination of collaborative and selfish behavior and often induce circularity, complicating the evaluation of exchange requests. We introduce MuAC, a policy language that allows users to state in isolation under which conditions they are open to grant their resources and what they require in return. In MuAC, exchange requests are evaluated automatically with the guarantee that the only exchanges that will take place are those that mutually satisfy users' conditions. Moreover, MuAC can be used as an enforcement mechanism to prevent users from cheating. As a proof of concept, we implement a blockchain smart contract that allows users to exchange their non-fungible tokens.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
IFCIL: An Information Flow Configuration Language for SELinux (Extended Version)
Authors:
Lorenzo Ceragioli,
Letterio Galletta,
Pierpaolo Degano,
David Basin
Abstract:
Security Enhanced Linux (SELinux) is a security architecture for Linux implementing mandatory access control. It has been used in numerous security-critical contexts ranging from servers to mobile devices. But this is challenging as SELinux security policies are difficult to write, understand, and maintain. Recently, the intermediate language CIL was introduced to foster the development of high-le…
▽ More
Security Enhanced Linux (SELinux) is a security architecture for Linux implementing mandatory access control. It has been used in numerous security-critical contexts ranging from servers to mobile devices. But this is challenging as SELinux security policies are difficult to write, understand, and maintain. Recently, the intermediate language CIL was introduced to foster the development of high-level policy languages and to write structured configurations. However, CIL lacks mechanisms for ensuring that the resulting configurations obey desired information flow policies. To remedy this, we propose IFCIL, a backward compatible extension of CIL for specifying fine-grained information flow requirements for CIL configurations. Using IFCIL, administrators can express, e.g., confidentiality, integrity, and non-interference properties. We also provide a tool to statically verify these requirements.
△ Less
Submitted 31 May, 2022;
originally announced May 2022.
-
Media Slant is Contagious
Authors:
Philine Widmer,
Sergio Galletta,
Elliott Ash
Abstract:
This paper examines the diffusion of media slant, specifically how partisan content from national cable news affects local newspapers in the U.S., 2005-2008. We use a text-based measure of cable news slant trained on content from Fox News Channel (FNC), CNN, and MSNBC to analyze how local newspapers adopt FNC's slant over CNN/MSNBC's. Our findings show that local news becomes more similar to FNC c…
▽ More
This paper examines the diffusion of media slant, specifically how partisan content from national cable news affects local newspapers in the U.S., 2005-2008. We use a text-based measure of cable news slant trained on content from Fox News Channel (FNC), CNN, and MSNBC to analyze how local newspapers adopt FNC's slant over CNN/MSNBC's. Our findings show that local news becomes more similar to FNC content in response to an exogenous increase in local FNC viewership. This shift is not limited to borrowing from cable news, but rather, local newspapers' own content changes. Further, cable TV slant polarizes local news content.
△ Less
Submitted 20 April, 2023; v1 submitted 15 February, 2022;
originally announced February 2022.
-
A theory of transaction parallelism in blockchains
Authors:
Massimo Bartoletti,
Letterio Galletta,
Maurizio Murgia
Abstract:
Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a peer-to-peer network of byzantine nodes, which collaboratively maintain an append-only ledger of transactions, called blockchain. Transactions represent the actions required by users, e.g. the transfer of some units of cr…
▽ More
Decentralized blockchain platforms have enabled the secure exchange of crypto-assets without the intermediation of trusted authorities. To this purpose, these platforms rely on a peer-to-peer network of byzantine nodes, which collaboratively maintain an append-only ledger of transactions, called blockchain. Transactions represent the actions required by users, e.g. the transfer of some units of crypto-currency to another user, or the execution of a smart contract which distributes crypto-assets according to its internal logic. Part of the nodes of the peer-to-peer network compete to append transactions to the blockchain. To do so, they group the transactions sent by users into blocks, and update their view of the blockchain state by executing these transactions in the chosen order. Once a block of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we develop a theory of transaction parallelism for blockchains, which is based on static analysis of transactions and smart contracts. We illustrate how blockchain nodes can use our theory to parallelize the execution of transactions. Initial experiments on Ethereum show that our technique can improve the performance of nodes.
△ Less
Submitted 17 November, 2021; v1 submitted 27 November, 2020;
originally announced November 2020.
-
Private-Yet-Verifiable Contact Tracing
Authors:
Andrea Canidio,
Gabriele Costa,
Letterio Galletta
Abstract:
We propose PrYVeCT, a private-yet-verifiable contact tracing system. PrYVeCT works also as an authorization framework allowing for the definition of fine-grained policies, which a certain facility can define and apply to better model its own access rules. Users are authorized to access the facility only when they exhibit a contact trace that complies with the policy. The policy evaluation process…
▽ More
We propose PrYVeCT, a private-yet-verifiable contact tracing system. PrYVeCT works also as an authorization framework allowing for the definition of fine-grained policies, which a certain facility can define and apply to better model its own access rules. Users are authorized to access the facility only when they exhibit a contact trace that complies with the policy. The policy evaluation process is carried out without disclosing the personal data of the user. At the same time, each user can prove to a third party (e.g., a public authority) that she received a certain authorization. PrYVeCT takes advantage of oblivious automata evaluation to implement a privacy-preserving policy enforcement mechanism.
△ Less
Submitted 19 October, 2020;
originally announced October 2020.
-
A type language for message passing component-based systems
Authors:
Zorica Savanović,
Letterio Galletta,
Hugo Torres Vieira
Abstract:
Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting interaction among components should follow a well-defined protocol. In this paper we address a model for message passing component-based systems where components are asse…
▽ More
Component-based development is challenging in a distributed setting, for starters considering programming a task may involve the assembly of loosely-coupled remote components. In order for the task to be fulfilled, the supporting interaction among components should follow a well-defined protocol. In this paper we address a model for message passing component-based systems where components are assembled together with the protocol itself. Components can therefore be independent from the protocol, and reactive to messages in a flexible way. Our contribution is at the level of the type language that allows to capture component behaviour so as to check its compatibility with a protocol. We show the correspondence of component and type behaviours, which entails a progress property for components.
△ Less
Submitted 16 September, 2020;
originally announced September 2020.
-
Control-flow Flattening Preserves the Constant-Time Policy (Extended Version)
Authors:
Matteo Busi,
Pierpaolo Degano,
Letterio Galletta
Abstract:
Obfuscating compilers protect a software by obscuring its meaning and impeding the reconstruction of its original source code. The typical concern when defining such compilers is their robustness against reverse engineering and the performance of the produced code. Little work has been done in studying whether the security properties of a program are preserved under obfuscation. In this paper we s…
▽ More
Obfuscating compilers protect a software by obscuring its meaning and impeding the reconstruction of its original source code. The typical concern when defining such compilers is their robustness against reverse engineering and the performance of the produced code. Little work has been done in studying whether the security properties of a program are preserved under obfuscation. In this paper we start addressing this problem: we consider control-flow flattening, a popular obfuscation technique used in industrial compilers, and a specific security policy, namely constant-time. We prove that this obfuscation preserves the policy, i.e., that every program satisfying the policy still does after the transformation.
△ Less
Submitted 12 March, 2020;
originally announced March 2020.
-
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors: Extended Version
Authors:
Matteo Busi,
Job Noorman,
Jo Van Bulck,
Letterio Galletta,
Pierpaolo Degano,
Jan Tobias Mühlberg,
Frank Piessens
Abstract:
Computer systems often provide hardware support for isolation mechanisms like privilege levels, virtual memory, or enclaved execution. Over the past years, several successful software-based side-channel attacks have been developed that break, or at least significantly weaken the isolation that these mechanisms offer. Extending a processor with new architectural or micro-architectural features, bri…
▽ More
Computer systems often provide hardware support for isolation mechanisms like privilege levels, virtual memory, or enclaved execution. Over the past years, several successful software-based side-channel attacks have been developed that break, or at least significantly weaken the isolation that these mechanisms offer. Extending a processor with new architectural or micro-architectural features, brings a risk of introducing new such side-channel attacks.
This paper studies the problem of extending a processor with new features without weakening the security of the isolation mechanisms that the processor offers. We propose to use full abstraction as a formal criterion for the security of a processor extension, and we instantiate that criterion to the concrete case of extending a microprocessor that supports enclaved execution with secure interruptibility of these enclaves. This is a very relevant instantiation as several recent papers have shown that interruptibility of enclaves leads to a variety of software-based side-channel attacks. We propose a design for interruptible enclaves, and prove that it satisfies our security criterion. We also implement the design on an open-source enclave-enabled microprocessor, and evaluate the cost of our design in terms of performance and hardware size.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
A minimal core calculus for Solidity contracts
Authors:
Massimo Bartoletti,
Letterio Galletta,
Maurizio Murgia
Abstract:
The Ethereum platform supports the decentralized execution of smart contracts, i.e. computer programs that transfer digital assets between users. The most common language used to develop these contracts is Solidity, a Javascript-like language which compiles into EVM bytecode, the language actually executed by Ethereum nodes. While much research has addressed the formalisation of the semantics of E…
▽ More
The Ethereum platform supports the decentralized execution of smart contracts, i.e. computer programs that transfer digital assets between users. The most common language used to develop these contracts is Solidity, a Javascript-like language which compiles into EVM bytecode, the language actually executed by Ethereum nodes. While much research has addressed the formalisation of the semantics of EVM bytecode, relatively little attention has been devoted to that of Solidity. In this paper we propose a minimal calculus for Solidity contracts, which extends an imperative core with a single primitive to transfer currency and invoke contract procedures. We build upon this formalisation to give semantics to the Ethereum blockchain. We show our calculus expressive enough to reason about some typical quirks of Solidity, like e.g. re-entrancy.
△ Less
Submitted 6 August, 2019;
originally announced August 2019.
-
A true concurrent model of smart contracts executions
Authors:
Massimo Bartoletti,
Letterio Galletta,
Maurizio Murgia
Abstract:
The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state of smart contracts is collaboratively maintained by a peer-to-peer network of mutually untrusted nodes, which collect from users a set of transactions (represent…
▽ More
The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state of smart contracts is collaboratively maintained by a peer-to-peer network of mutually untrusted nodes, which collect from users a set of transactions (representing the required actions on contracts), and execute them in some order. Once this sequence of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we propose a true concurrent model of smart contract execution. Based on this, we show how static analysis of smart contracts can be exploited to parallelize the execution of transactions.
△ Less
Submitted 27 April, 2020; v1 submitted 10 May, 2019;
originally announced May 2019.
-
Translation Validation for Security Properties
Authors:
Matteo Busi,
Pierpaolo Degano,
Letterio Galletta
Abstract:
Secure compilation aims to build compilation chains that preserve security properties when translating programs from a source to a target language. Recent research led to the definition of secure compilation principles that, if met, guarantee that the compilation chain in hand never violates specific families of security properties. Still, to the best of our knowledge, no effective procedure is av…
▽ More
Secure compilation aims to build compilation chains that preserve security properties when translating programs from a source to a target language. Recent research led to the definition of secure compilation principles that, if met, guarantee that the compilation chain in hand never violates specific families of security properties. Still, to the best of our knowledge, no effective procedure is available to check if a compilation chain meets such requirements. Here, we outline our ongoing research inspired by translation validation, to effectively check one of those principles.
△ Less
Submitted 15 January, 2019;
originally announced January 2019.
-
Using Standard Ty** Algorithms Incrementally
Authors:
Matteo Busi,
Pierpaolo Degano,
Letterio Galletta
Abstract:
Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of programs and their continuous evolution require building fast and efficient analysers. A promising solution is incrementality, so one only re-types those parts of the program that are new, rather than the entire codebase.…
▽ More
Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of programs and their continuous evolution require building fast and efficient analysers. A promising solution is incrementality, so one only re-types those parts of the program that are new, rather than the entire codebase. We propose an algorithmic schema driving the definition of an incremental ty** algorithm that exploits the existing, standard ones with no changes. Ours is a grey-box approach, meaning that just the shape of the input, that of the results and some domain-specific knowledge are needed to instantiate our schema. Here, we present the foundations of our approach and we show it at work to derive three different incremental ty** algorithms. The first two implement type checking and inference for a functional language. The last one type-checks an imperative language to detect information flow and non-interference. We assessed our proposal on a prototypical implementation of an incremental type checker. Our experiments show that using the type checker incrementally is (almost) always rewarding.
△ Less
Submitted 27 November, 2018; v1 submitted 1 August, 2018;
originally announced August 2018.
-
Tool Supported Analysis of IoT
Authors:
Chiara Bodei,
Pierpaolo Degano,
Letterio Galletta,
Emilio Tuosto
Abstract:
The design of IoT systems could benefit from the combination of two different analyses. We perform a first analysis to approximate how data flow across the system components, while the second analysis checks their communication soundness. We show how the combination of these two analyses yields further benefits hardly achievable by separately using each of them. We exploit two independently devel…
▽ More
The design of IoT systems could benefit from the combination of two different analyses. We perform a first analysis to approximate how data flow across the system components, while the second analysis checks their communication soundness. We show how the combination of these two analyses yields further benefits hardly achievable by separately using each of them. We exploit two independently developed tools for the analyses.
Firstly, we specify IoT systems in IoT-LySa, a simple specification language featuring asynchronous multicast communication of tuples. The values carried by the tuples are drawn from a term-algebra obtained by a parametric signature. The analysis of communication soundness is supported by ChorGram, a tool developed to verify the compatibility of communicating finite-state machines. In order to combine the analyses we implement an encoding of IoT-LySa processes into communicating machines. This encoding is not completely straightforward because IoT-LySa has multicast communications with data, while communication machines are based on point-to-point communications where only finitely many symbols can be exchanged. To highlight the benefits of our approach we appeal to a simple yet illustrative example.
△ Less
Submitted 29 November, 2017;
originally announced November 2017.
-
Tracing where IoT data are collected and aggregated
Authors:
Chiara Bodei,
Pierpaolo Degano,
Gian-Luigi Ferrari,
Letterio Galletta
Abstract:
The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technological shifts. We addres…
▽ More
The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly gathered from sensors or generated by aggregations. Suitable coordination primitives and analysis mechanisms are in order to design and reason about IoT systems, and to intercept the implied technological shifts. We address these issues from a foundational point of view. To study them, we define IoT-LySa, a process calculus endowed with a static analysis that tracks the provenance and the manipulation of IoT data, and how they flow in the system. The results of the analysis can be used by a designer to check the behaviour of smart objects, in particular to verify non-functional properties, among which security.
△ Less
Submitted 18 July, 2017; v1 submitted 26 October, 2016;
originally announced October 2016.
-
A Step Towards Checking Security in IoT
Authors:
Chiara Bodei,
Pierpaolo Degano,
Gian-Luigi Ferrari,
Letterio Galletta
Abstract:
The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016. We extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties.
The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be presented at Coordination 2016. We extend the mentioned proposal in order to begin an investigation about security issues, in particular for the static verification of secrecy and some other security properties.
△ Less
Submitted 10 August, 2016;
originally announced August 2016.
-
Event-driven Adaptation in COP
Authors:
Pierpaolo Degano,
Gian-Luigi Ferrari,
Letterio Galletta
Abstract:
Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes an extension of ML…
▽ More
Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes an extension of ML_CoDa to deal with adaptation to unpredictable context changes notified by asynchronous events.
△ Less
Submitted 19 June, 2016;
originally announced June 2016.
-
A Context-Oriented Extension of F#
Authors:
Andrea Canciani,
Pierpaolo Degano,
Gian-Luigi Ferrari,
Letterio Galletta
Abstract:
Context-Oriented programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes the implementation…
▽ More
Context-Oriented programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the context. In previous work we proposed ML_CoDa, a context-oriented language with two-components: a declarative constituent for programming the context and a functional one for computing. This paper describes the implementation of ML_CoDa as an extension of F#.
△ Less
Submitted 23 December, 2015;
originally announced December 2015.
-
UGC 7639: a Dwarf Galaxy in the Canes Venatici I Cloud
Authors:
L. M. Buson,
D. Bettoni,
P. Mazzei,
G. Galletta
Abstract:
We want to get insight into the nature, i.e. the formation mechanism and the evolution, of UGC 7639, a dwarf galaxy in the Canes Venatici I Cloud (CVnIC). We used archival GALEX (FUV and NUV) and SDSS images, as well as Hyperleda and NED databases, to constrain its global properties. GALEX FUV/NUV images show that UGC 7639 inner regions are composed mostly by young stellar populations. In addition…
▽ More
We want to get insight into the nature, i.e. the formation mechanism and the evolution, of UGC 7639, a dwarf galaxy in the Canes Venatici I Cloud (CVnIC). We used archival GALEX (FUV and NUV) and SDSS images, as well as Hyperleda and NED databases, to constrain its global properties. GALEX FUV/NUV images show that UGC 7639 inner regions are composed mostly by young stellar populations. In addition, we used smoothed particle hydrodynamics (SPH) simulations with chemo-photometric implementation to account for its formation and evolution. UGC 7639 is an example of blue dwarf galaxy whose global properties are well matched by our multi-wavelength and multi-technique approach, that is also a suitable approach to highlight the evolution of these galaxies as a class. We found that the global properties of UGC 7639, namely its total absolute B-band magnitude, its whole spectral energy distribution (SED), and its morphology are well-matched by an encounter with a system four times more massive than our target. Moreover, the current star formation rate (SFR) of the simulated dwarf, ~0.03 M_sun yr-1, is in good agreement with our UV-based estimate. For UGC 7639, we estimated a galaxy age of 8.6 Gyr. Following our simulation, the ongoing star formation will extinguish within 1.6 Gyr, thus leaving a red dwarf galaxy.
△ Less
Submitted 8 July, 2015;
originally announced July 2015.
-
The UV window on counter rotating ETGs: insight from SPH simulations with chemo-photometric implementation
Authors:
Daniela Bettoni,
Paola Mazzei,
Roberto Rampazzo,
Antonina Marino,
Giuseppe Galletta,
Lucio M. Buson
Abstract:
The Galaxy Evolution Explorer (GALEX) detected ultraviolet emission in about 50% of multi-spin early-type galaxies (ETGs), suggesting the occurrence of a recent rejuvenation episode connected to the formation of these kinematical features. With the aim at investigating the complex evolutionary scenario leading to the formation of counter rotating ETGs (CR-ETGs) we use our Smooth Particle Hydrodyna…
▽ More
The Galaxy Evolution Explorer (GALEX) detected ultraviolet emission in about 50% of multi-spin early-type galaxies (ETGs), suggesting the occurrence of a recent rejuvenation episode connected to the formation of these kinematical features. With the aim at investigating the complex evolutionary scenario leading to the formation of counter rotating ETGs (CR-ETGs) we use our Smooth Particle Hydrodynamic (SPH) code with chemo-photometric implementation. We discuss here the UV evolutionary path of two CR-ETGs, NGC 3593 and NGC 5173, concurrently best fitting their global observed properties, i.e., morphology, dynamics, as well as their total B-band absolute magnitude and spectral energy distribution (SED) extended over three orders of magnitude in wavelength. These simulations correspond to our predictions about the target evolution which we follow in the color-magnitude diagram (CMD), near-UV (NUV) versus r-band absolute magnitude, as a powerful diagnostic tool to emphasize rejuvenation episodes.
△ Less
Submitted 15 May, 2014;
originally announced May 2014.
-
The UV view of multi spin galaxies: insight from SPH simulations
Authors:
Daniela Bettoni,
Paola Mazzei,
Antonina Marino,
Roberto Rampazzo,
Giuseppe Galletta,
Lucio M. Buson
Abstract:
The UV images of GALEX revealed that ~30% of Early Type Galaxies (ETG) show UV emission indicating a rejuvenation episode. In ETGs with multiple spin components this percentage increases at 50%. We present here the characteristics of this sample and our smooth particle hydrodynamic (SPH) simulations with chemo-photometric implementation that provide dynamical and morphological information together…
▽ More
The UV images of GALEX revealed that ~30% of Early Type Galaxies (ETG) show UV emission indicating a rejuvenation episode. In ETGs with multiple spin components this percentage increases at 50%. We present here the characteristics of this sample and our smooth particle hydrodynamic (SPH) simulations with chemo-photometric implementation that provide dynamical and morphological information together with the spectral energy distribution (SED) at each evolutionary stage. We show our match of the global properties of two ETGs (e.g. NGC 3626 and NGC 5173). For these galaxies we can trace their evolutionary path.
△ Less
Submitted 17 January, 2014;
originally announced January 2014.
-
Galaxy evolution in groups. USGC U268 and USGC U376 in the Leo cloud
Authors:
A. Marino,
L. Bianchi,
P. Mazzei,
R. Rampazzo,
G. Galletta
Abstract:
With the aim of investigating galaxy evolution in nearby galaxy groups, we analysed the spectral energy distribution of 24 galaxies, members of two groups in the Leo cloud, USGC U268 and USGC U376. We estimated the ages and stellar masses of the galaxies by fitting their total apparent magnitudes from far-ultraviolet to near-infrared with population synthesis models. The comparison of the results…
▽ More
With the aim of investigating galaxy evolution in nearby galaxy groups, we analysed the spectral energy distribution of 24 galaxies, members of two groups in the Leo cloud, USGC U268 and USGC U376. We estimated the ages and stellar masses of the galaxies by fitting their total apparent magnitudes from far-ultraviolet to near-infrared with population synthesis models. The comparison of the results for a subsample of galaxies with smooth particle hydrodynamic (SPH) simulations with chemo-photometric implementation, shows that in most cases the estimated stellar masses obtained with the two different approaches are in good agreement. The kinematical and dynamical analysis indicates that USGC U268 is in a pre-virial collapse phase while USGC U376 is likely in a more evolved phase towards virialization.
△ Less
Submitted 19 September, 2013;
originally announced September 2013.
-
Catching Spiral - S0 transition in groups. Insights from SPH simulations with chemo-photometric implementation
Authors:
P. Mazzei,
A. Marino,
R. Rampazzo,
G. Galletta,
D. Bettoni
Abstract:
We are investigating the co-evolution of galaxies within groups combining multi-wavelength photometric and 2D kinematical observations. Here we focus on S0s showing star formation in ring/arm-like structures. We use smooth particle hydrodynamical simulations (SPH) with chemo-photometric implementation which provide dynamical and morphological information together with the spectral energy distribut…
▽ More
We are investigating the co-evolution of galaxies within groups combining multi-wavelength photometric and 2D kinematical observations. Here we focus on S0s showing star formation in ring/arm-like structures. We use smooth particle hydrodynamical simulations (SPH) with chemo-photometric implementation which provide dynamical and morphological information together with the spectral energy distribution (SED) at each evolutionary stage. As test cases, we simulate the evolution of two such S0s: NGC 1533 and NGC 3626. The merging of two halos with mass ratio 2:1, initially just composed of dark matter (DM) and gas, well match their observed SEDs, their surface brightness profiles and their overall kinematics. The residual star formation today "rejuvenating" the ring/arm like structures in these S0s is then a mere consequence of a major merger, i.e. this is a phase during the merger episode. The peculiar kinematical features, e.g. gas-stars counter rotation in NGC 3626, depends on the halos initial impact parameters. Furthermore, our simulations allow to follow, in a fully consistent way, the transition of these S0s through the green valley in the NUV-r vs. Mr colour magnitude diagram, which they cross in about 3-5 Gyr, before reaching their current position in the red sequence. We conclude that a viable mechanism driving the evolution of S0s in groups is of gravitational origin.
△ Less
Submitted 4 June, 2013;
originally announced June 2013.
-
Ty** Context-Dependent Behavioural Variation
Authors:
Pierpaolo Degano,
Gian-Luigi Ferrari,
Letterio Galletta,
Gianluca Mezzetti
Abstract:
Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational issues remain unclear. This paper proposes adopting static analysis techniques to reason on and predict how programs adapt their behaviour. We introduce a core…
▽ More
Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs and features have been developed. However, some foundational issues remain unclear. This paper proposes adopting static analysis techniques to reason on and predict how programs adapt their behaviour. We introduce a core functional language, ContextML, equipped with COP primitives for manipulating contexts and for programming behavioural variations. In particular, we specify the dispatching mechanism, used to select the program fragments to be executed in the current active context. Besides the dynamic semantics we present an annotated type system. It guarantees that the well-typed programs adapt to any context, i.e. the dispatching mechanism always succeeds at run-time.
△ Less
Submitted 26 February, 2013;
originally announced February 2013.
-
Galaxy evolution in nearby groups. II. Galaxy evolution in nearby loose groups. II. Photometric and kinematic characterization of USGC U268 and USGC U376 group members in the Leo cloud
Authors:
A. Marino,
H. Plana,
R. Rampazzo,
L. Bianchi,
M. Rosado,
D. Bettoni,
G. Galletta,
P. Mazzei,
L. Buson,
P. Ambrocio-Cruz,
R. F. Gabbasov
Abstract:
We present the photometric and kinematic characterization of two groups, USGC U268 and USGC U376 located in different regions of the Leo cloud. U268, composed of 10 catalogued members and 11 new added members, has a small fraction (~24%) of early-type galaxies (ETGs). U376 has 16 plus 8 new added members, with ~38% of ETGs. We find the presence of significant substructures in both groups suggestin…
▽ More
We present the photometric and kinematic characterization of two groups, USGC U268 and USGC U376 located in different regions of the Leo cloud. U268, composed of 10 catalogued members and 11 new added members, has a small fraction (~24%) of early-type galaxies (ETGs). U376 has 16 plus 8 new added members, with ~38% of ETGs. We find the presence of significant substructures in both groups suggesting that they are likely accreting galaxies. U268 is located in a more loose environment than U376. For each member galaxy, broad band integrated and surface photometry have been obtained in far-UV and near-UV with GALEX, and in u,g, r, i, z (SDSS) bands. H_alpha imaging and 2D high resolution kinematical data have been obtained using PUMA Scanning Fabry-Perot interferometer at the 2.12 m telescope in San Pedro Mártir, (Baja California, México). We improved the galaxy classification and we detected morphological and kinematical distortions that may be connected to either on-going and/or past interaction/accretion events or environmental induced secular evolution. U268 appears more active than U376, with a large fraction of galaxies showing interaction signatures (60% vs. 13%). The presence of bars among late-type galaxies is ~10% in U268 and ~$29% in U376. The cumulative distribution of (FUV - NUV) colours of galaxies in U268 is significantly different than that in U376 with galaxies in U268 bluer than those in U376. In the (FUV-r vs. M_r) and (NUV-r vs. M_r) planes no members of U268 are found in the `red sequence', even early-type galaxies lie in the `blue sequence' or in the `green valley'. Most (80%) of the early-type members in U376 inhabits the `red sequence, a large fraction of galaxies, of different morphological types, are located in the `green valley', while the `blue sequence' is under-populated with respect to U268.
△ Less
Submitted 19 September, 2012;
originally announced September 2012.
-
New photometric investigation of the double ringed galaxy ESO474-G26. Unveiling the formation scenario
Authors:
M. Spavone,
E. Iodice,
D. Bettoni,
G. Galletta,
P. Mazzei,
V. Reshetnikov
Abstract:
We present a detailed photometric study of the peculiar double ringed galaxy ESO474-G26. Near-Infrared (NIR) and optical data have been used, with the main goal to constrain the formation history of ESO474-G26. NIR photometry is fundamental in this kind of study, because gives better constraints on the Spectral Energy Distribution (SED) and well traces the older stellar population of the galaxy. T…
▽ More
We present a detailed photometric study of the peculiar double ringed galaxy ESO474-G26. Near-Infrared (NIR) and optical data have been used, with the main goal to constrain the formation history of ESO474-G26. NIR photometry is fundamental in this kind of study, because gives better constraints on the Spectral Energy Distribution (SED) and well traces the older stellar population of the galaxy. This galaxy presents a very complex structure, with two almost orthogonal rings, one in the equatorial and another in the polar plane, around an elliptical-like object. Due to the peculiar morphology of ESO474-G26, we used both NIR images (J and K bands) to derive accurate analysis of the stellar light distribution, and optical images (in the B, V and R bands) to derive color profiles and color maps to study the structure of the rings. The observational characteristic of ESO474-G26 are typical of galaxies which have experienced some kind of interactions during their evolution. We investigated two alternatives: a merging process and an accretion event.
△ Less
Submitted 27 July, 2012;
originally announced July 2012.
-
The innermost region of the NGC 1023 Group: Insight into its evolution
Authors:
D. Bettoni,
L. M. Buson,
P. Mazzei,
G. Galletta
Abstract:
The NGC 1023 group is one of the most studied nearby groups. We want to give an insight into the evolution of its innermost region by means of ultraviolet observations and proper models. We used the FUV and NUV GALEX archival data as well as a large set of SPH simulations with chemo-photometric implementation. From the UV observations we found that several, already known, dwarf galaxies very close…
▽ More
The NGC 1023 group is one of the most studied nearby groups. We want to give an insight into the evolution of its innermost region by means of ultraviolet observations and proper models. We used the FUV and NUV GALEX archival data as well as a large set of SPH simulations with chemo-photometric implementation. From the UV observations we found that several, already known, dwarf galaxies very close to NGC 1023 are also detected in UV and two more objects (with no optical counterpart) can be added to the group. Using these data we construct exhaustive models to account for their formation. We find that the whole SED of NGC 1023 and its global properties are well matched by a simulation which provides a minor merger with a companion system 5 times less massive. The strong interaction phase started 7.7 Gyr ago and the final merger 1.8 Gyr ago.
△ Less
Submitted 16 April, 2012;
originally announced April 2012.
-
NGC 3934: a shell galaxy in a compact galaxy environment
Authors:
D. Bettoni,
G. Galletta,
R. Rampazzo,
A. Marino,
P. Mazzei,
L. M. Buson
Abstract:
We investigate the NGC 3933 poor galaxy association, that contains NGC 3934, which is classified as a polar-ring galaxy. The multi-band photometric analysis of NGC 3934 allows us to investigate the nature of this galaxy and to re-define the NGC 3933 group members with the aim to characterize the group dynamical properties and its evolutionary phase. We imaged the group in the far (FUV,lambda = 153…
▽ More
We investigate the NGC 3933 poor galaxy association, that contains NGC 3934, which is classified as a polar-ring galaxy. The multi-band photometric analysis of NGC 3934 allows us to investigate the nature of this galaxy and to re-define the NGC 3933 group members with the aim to characterize the group dynamical properties and its evolutionary phase. We imaged the group in the far (FUV,lambda = 1530A) and near (NUV, lambda=2316A) ultraviolet (UV) bands of the Galaxy Evolution Explorer (GALEX). From the deep optical imaging we determined the fine structure of NGC 3934. We measured the recession velocity of PGC 213894 which shows that it belongs to the NGC 3933 group. We derived the spectral energy distribution (SED) from FUV (GALEX) to far-IR emission of the two brightest members of the group. We compared a grid of smooth particle hydrodynamical (SPH) chemo-photometric simulations with the SED and the integrated properties of NGC 3934 and NGC 3933 to devise their possible formation/evolutionary scenarios. The NGC 3933 group has six bright members: a core composed of five galaxies, which have Hickson's compact group characteristics, and a more distant member, PGC 37112. The group velocity dispersion is relatively low (157+-44 km s-1). The projected mass, from the NUV photometry, is ~7$\times$10^12 M\odot with a crossing time of 0.04 Hubble times, suggesting that at least in the center the group is virialized. We do not find evidence that NGC 3934 is a polar-ring galaxy, as suggested by the literature, but find that it is a disk galaxy with a prominent dust-lane structure and a wide type-II shell structure. NGC 3934 is a quite rare example of a shell galaxy in a likely dense galaxy region. The comparison between physically motivated SPH simulations with multi-band integrated photometry suggests that NGC 3934 is the product of a major merger.
△ Less
Submitted 30 August, 2011;
originally announced August 2011.
-
An Abstract Semantics for Inference of Types and Effects in a Multi-Tier Web Language
Authors:
Letterio Galletta,
Giorgio Levi
Abstract:
Types-and-effects are type systems, which allow one to express general semantic properties and to statically reason about program's execution. They have been widely exploited to specify static analyses, for example to track computational side effects, exceptions and communications in concurrent programs. In this paper we adopt abstract interpretation techniques to reconstruct (following the Couso…
▽ More
Types-and-effects are type systems, which allow one to express general semantic properties and to statically reason about program's execution. They have been widely exploited to specify static analyses, for example to track computational side effects, exceptions and communications in concurrent programs. In this paper we adopt abstract interpretation techniques to reconstruct (following the Cousot's methodology) a types-and-effects system developed to handle security problems of a multi-tier web language. Our reconstruction allows us to show that this types-and-effects system is not sound with respect to the semantics of the language. In addition, we correct the soundness issues in the analysis and systematically construct a correct analyser.
△ Less
Submitted 11 August, 2011;
originally announced August 2011.
-
New approaches to the exploration: planet Mars and bacterial life
Authors:
Giuseppe Galletta,
Giulio Bertoloni,
Maurizio D'Alessandro
Abstract:
Planet Mars past environmental conditions were similar to the early Earth, but nowadays they are similar to those of a very cold desert, irradiated by intense solar UV light. However, some terrestrial lifeform showed the capability to adapt to very harsh environments, similar to the extreme condition of the Red Planet. In addition, recent discoveries of water in the Martian permafrost and of metha…
▽ More
Planet Mars past environmental conditions were similar to the early Earth, but nowadays they are similar to those of a very cold desert, irradiated by intense solar UV light. However, some terrestrial lifeform showed the capability to adapt to very harsh environments, similar to the extreme condition of the Red Planet. In addition, recent discoveries of water in the Martian permafrost and of methane in the Martian atmosphere, have generated optimism regarding a potentially active subsurface Mars' biosphere. These findings increase the possibility of finding traces of life on a planet like Mars. However, before landing on Mars with dedicated biological experiments, it is necessary to understand the possibilities of finding life in the present Martian conditions. Finding a lifeform able to survive in Martian environment conditions may have a double meaning: increasing the hope of discovering extraterrestrial life and defining the limits for a terrestrial contamination of planet Mars. In this paper we present the Martian environment simulators LISA and mini-LISA, operating at the Astronomical Observatory of Padua, Italy. They have been designed to simulate the conditions on the surface of planet Mars (atmospheric pressure,0.6-0.9 kPa; temperature from -120 to 20 °C, Martian-like atmospheric composition and UV radiation). In particular, we describe the mini-LISA simulator, that allows to perform experiments with no time limits, by weekly refueling the liquid nitrogen reservoir. Various kind of experiments may be performed in the simulators, from inorganic chemistry to biological activity. They are offered as experimental facilities to groups interested in studying the processes that happen on the Martian surface or under its dust cover.
△ Less
Submitted 22 February, 2011;
originally announced February 2011.
-
NGC 4262: a Virgo galaxy with an extended ultraviolet ring
Authors:
Bettoni,
D.,
Buson,
L. M.,
Galletta,
G.
Abstract:
The Galaxy Ultraviolet Explorer (GALEX) satellite has recently shown the presence of an extended, outer ring studded with UV-bright knots surrounding the lenticular galaxy NGC 4262. Such a structure---not detected in the optical---is coupled with a ring of atomic (HI) gas. We want to show that both star-forming and HI rings surrounding this SB0 galaxy share the same radial distance from the galaxy…
▽ More
The Galaxy Ultraviolet Explorer (GALEX) satellite has recently shown the presence of an extended, outer ring studded with UV-bright knots surrounding the lenticular galaxy NGC 4262. Such a structure---not detected in the optical---is coupled with a ring of atomic (HI) gas. We want to show that both star-forming and HI rings surrounding this SB0 galaxy share the same radial distance from the galaxy center and spatial orientation. We want also to model the kinematics of the ring(s) and of the galaxy body. We make use of archive FUV and NUV GALEX data plus HI observations from the literature. We confirm that the UV-bright and atomic gas rings of NGC 4262 have the same extent and projected spatial orientation. Their kinematics is not coupled with that of the galaxy stars. It is possible that NGC 4262 has undergone a major gas strip** event in the past which gave origin to the present "necklace" of UV-bright knots.
△ Less
Submitted 24 June, 2010;
originally announced June 2010.
-
Bacterial survival in Martian conditions
Authors:
Giuseppe Galletta,
Giulio Bertoloni,
Maurizio D'Alessandro
Abstract:
We shortly discuss the observable consequences of the two hypotheses about the origin of life on Earth and Mars: the Lithopanspermia (Mars to Earth or viceversa) and the origin from a unique progenitor, that for Earth is called LUCA (the LUCA hypothesis). To test the possibility that some lifeforms similar to the terrestrial ones may survive on Mars, we designed and built two simulators of Martian…
▽ More
We shortly discuss the observable consequences of the two hypotheses about the origin of life on Earth and Mars: the Lithopanspermia (Mars to Earth or viceversa) and the origin from a unique progenitor, that for Earth is called LUCA (the LUCA hypothesis). To test the possibility that some lifeforms similar to the terrestrial ones may survive on Mars, we designed and built two simulators of Martian environments where to perform experiments with different bacterial strains: LISA and mini-LISA. Our LISA environmental chambers can reproduce the conditions of many Martian locations near the surface trough changes of temperature, pressure, UV fluence and atmospheric composition. Both simulators are open to collaboration with other laboratories interested in performing experiments on many kind of samples (biological, minerals, electronic) in situations similar to that of the red planet. Inside LISA we have studied the survival of several bacterial strains and endospores. We verified that the UV light is the major responsible of cell death. Neither the low temperature, nor the pressure, nor the desiccation or the atmospheric changes were effective in this sense. We found that some Bacillus strains have a particular capability to survive for some hours in Martian conditions without being screened by dust or other shields. We also simulated the coverage happening on a planet by dust transported by the winds, blowing on the samples a very small quantity of volcanic ash grains or red iron oxide particles. Samples covered by these dust grains have shown a high percentage of survival, indicating that under the surface dust, if life were to be present on Mars in the past, some bacteria colonies or cells could still be present.
△ Less
Submitted 1 June, 2010; v1 submitted 22 February, 2010;
originally announced February 2010.
-
Surviving on Mars: test with LISA simulator
Authors:
G. Galletta,
M. D'Alessandro,
G. Bertoloni,
F. Castellani,
R. Visentin
Abstract:
We present the biological results of some experiments performed in the Padua simulators of planetary environments, named LISA, used to study the limit of bacterial life on the planet Mars. The survival of Bacillus strains for some hours in Martian environment is shortly discussed.
We present the biological results of some experiments performed in the Padua simulators of planetary environments, named LISA, used to study the limit of bacterial life on the planet Mars. The survival of Bacillus strains for some hours in Martian environment is shortly discussed.
△ Less
Submitted 26 October, 2009;
originally announced October 2009.
-
GALEX UV properties of the polar ring galaxy MCG-05-07-001 and the shell galaxies NGC 1210 and NGC 5329
Authors:
A. Marino,
E. Iodice,
R. Tantalo,
L. Piovan,
D. Bettoni,
L. M. Buson,
C. Chiosi,
G. Galletta,
R. Rampazzo,
R. M. Rich
Abstract:
Systems of shells and polar rings in early-type galaxies are considered "bona fide" tracers of mass accretion and/or mergers. Their high frequency in low density environments suggests that such episodes could drive the evolution of at least a fraction of the early-type galaxy population. Their UV emission is crucial to test whether these galaxies host ongoing/recent star formation. We used far a…
▽ More
Systems of shells and polar rings in early-type galaxies are considered "bona fide" tracers of mass accretion and/or mergers. Their high frequency in low density environments suggests that such episodes could drive the evolution of at least a fraction of the early-type galaxy population. Their UV emission is crucial to test whether these galaxies host ongoing/recent star formation. We used far and near ultraviolet, optical, near infrared images, HI maps, and line strength indices to investigate the nuclear and outer regions of the galaxies as well as the regions where fine structures are present. The GALEX Near (NUV) and Far UV (FUV) images of MCG-05-07-001 and NGC 1210 show complex tidal tails and debris structures. The UV morphology of both galaxies appears so different from the optical one that the early-type classification may not apply. In both GALEX bands the polar ring of MCG-05-07-001 is the dominant feature, whereas an extended tidal tail dominates the FUV bands of NGC 1210. In MCG-05-07-001 and NGC 1210 there is a strong correlation between structures detected in the FUV and NUV bands and in HI. NGC 5329 does not show evidence of shells in the UV. We try to constrain the age of the accretion episode or merger which gave rise to the shells and polar rings with the aid of composite stellar populations that take the presence of dust into account. The presence of HI in both MCG-05-07-001 and NGC 1210 argues in favour of wet mergers. Models suggest the presence of very young stellar populations in MCG-05-07-001: the observations could be explained in the framework of a conspicuous burst of star formation that occurred <=1 Gyr ago and involved a large fraction of the galaxy mass. Our models suggest that also the nuclei of NGC 1210 and NGC 5329 could have been rejuvenated by an accretion episode about 2-4 Gyr ago. (abridged)
△ Less
Submitted 21 December, 2009; v1 submitted 22 September, 2009;
originally announced September 2009.
-
Revisiting the formation History of the minor-axis dust lane galaxy NGC1947
Authors:
M. Spavone,
E. Iodice,
R. Calvi,
D. Bettoni,
G. Galletta,
G. Longo,
P. Mazzei,
G. Minervini
Abstract:
In this paper we present a detailed study of the peculiar early-type galaxy NGC1947. The main goal of this work is to constrain the dynamical status and the formation history of NGC1947 by comparing the observed properties with the predictions derived from different galaxy formation scenarios. To this aim, we derived the photometric and kinematical properties of NGC1947. Due to the presence of a…
▽ More
In this paper we present a detailed study of the peculiar early-type galaxy NGC1947. The main goal of this work is to constrain the dynamical status and the formation history of NGC1947 by comparing the observed properties with the predictions derived from different galaxy formation scenarios. To this aim, we derived the photometric and kinematical properties of NGC1947. Due to the presence of an extended dust-lane, which crosses the galaxy center along the photometric minor axis, we used near-infrared images (J and K bands) to derive an accurate analysis of the stellar light distribution. Optical images (in the V and R bands) are used to derive the color profiles and color maps to study the structure of the dust-lane. The observed kinematics confirm the presence of two components with decoupled angular momentum: gas and dust rotate along the minor axis, while the rotation velocities of the stars are observed along the major axis. The complex structure observed in NGC1947 support the hypothesis that some kind of interactions happened in the evolution of this object. We analyzed two alternatives: a merging process and an accretion event. We discussed how the observed properties strongly suggest that the decoupled ring of gas and dust have been accreted from outside.
△ Less
Submitted 11 November, 2008;
originally announced November 2008.
-
The GALEX UV emission in shell galaxies
Authors:
A. Marino,
R. Rampazzo,
R. Tantalo,
D. Bettoni,
L. M. Buson,
C. Chiosi,
G. Galletta
Abstract:
Shell galaxies are widely considered the debris of recent accretion/merging episodes. Their high frequency in low density environment suggests that such episodes could be among the driver of the early-type galaxy secular evolution. We present far and near UV (FUV and NUV respectively hereafter) GALEX photometric properties of a sample of shell galaxies.
Shell galaxies are widely considered the debris of recent accretion/merging episodes. Their high frequency in low density environment suggests that such episodes could be among the driver of the early-type galaxy secular evolution. We present far and near UV (FUV and NUV respectively hereafter) GALEX photometric properties of a sample of shell galaxies.
△ Less
Submitted 15 January, 2008;
originally announced January 2008.
-
Molecular clouds in the center of M81
Authors:
V. Casasola,
F. Combes,
D. Bettoni,
G. Galletta
Abstract:
We investigate the molecular gas content and the excitation and fragmentation properties in the central region of the spiral galaxy Messier 81 in both the ^{12}CO(1-0) and ^{12}CO(2-1) transitions. We have recently observed the two transitions of CO in the M~81 center with A, B, and HERA receivers of the IRAM 30-m telescope. We find no CO emission in the inner $\sim$ 300 pc and a weak molecular…
▽ More
We investigate the molecular gas content and the excitation and fragmentation properties in the central region of the spiral galaxy Messier 81 in both the ^{12}CO(1-0) and ^{12}CO(2-1) transitions. We have recently observed the two transitions of CO in the M~81 center with A, B, and HERA receivers of the IRAM 30-m telescope. We find no CO emission in the inner $\sim$ 300 pc and a weak molecular gas clump structure at a distance of around 460 pc from the nucleus. Observations of the first two CO transitions allowed us to compute the line ratio, and the average I_{21}/I_{10} ratio is 0.68 for the M~81 center. This low value, atypical both of the galactic nuclei of spiral galaxies and of interacting systems, is probably associated to diffuse gas with molecular hydrogen density that is not high enough to excite the CO molecules. After analyzing the clum** properties of the molecular gas in detail, we identify very massive giant molecular associations (GMAs) in CO(2-1) emission with masses of $\sim$ 10$^{5}$ M$_\odot$ and diameters of $\sim$ 250 pc. The deduced N(H_{2})/I_{CO} ratio for the individually resolved GMAs, assumed to be virialized, is a factor of $\sim$ 15 higher than the \textit{standard} Galactic value, showing - as suspected - that the X ratio departs significantly from the mean for galaxies with an unusual physics of the molecular gas.
△ Less
Submitted 28 July, 2007;
originally announced July 2007.
-
The GALEX UV emission in shell galaxies: tracing galaxy "rejuvenation" episodes
Authors:
R. Rampazzo,
A. Marino,
R. Tantalo,
D. Bettoni,
L. M. Buson,
C. Chiosi,
G. Galletta,
R. Grueztbauch,
R. M. Rich
Abstract:
We present the GALEX far FUV and near NUV ultraviolet imaging of three nearby shell galaxies, namely NGC 2865, NGC 5018 and NGC 7135. The system of shells and fine structures visible in the optical is detected in the NUV image of NGC 2865 and in both NUV and FUV images of NGC 7135. The NUV image of NGC 5018 does not present shell structures. We detect absorption features in the nuclear region of…
▽ More
We present the GALEX far FUV and near NUV ultraviolet imaging of three nearby shell galaxies, namely NGC 2865, NGC 5018 and NGC 7135. The system of shells and fine structures visible in the optical is detected in the NUV image of NGC 2865 and in both NUV and FUV images of NGC 7135. The NUV image of NGC 5018 does not present shell structures. We detect absorption features in the nuclear region of all three galaxies. NGC 2865 has a nearly flat colour profile with (FUV-NUV)~2 throughout the whole galaxy. NGC 7135 is blue in the center (FUV-NUV)~0 and as red as (FUV-NUV)~1.5 in the outskirts, including the faint shell-like feature. We investigate the ability of the nuclear GALEX (FUV-NUV) colour to provide information about rejuvenation phenomena in the stellar populations of the shell galaxies. To this aim, we derive from theory the relationship between the Mg2, Hbeta, HgammaA, HdeltaA Lick line-strength indices and the (FUV-NUV) colour. We extend the study to a sample of early-type galaxies with emission lines in their optical spectra (Annibali et al. 2007). In the index vs.(FUV-NUV) colour diagrams, most of the galaxies are well explained by passively evolving SSPs. On the average, ages and metallicities of the galaxies in our sample estimated from optical line-strength indices are consistent with those inferred from the (FUV-NUV) colour. In general, all the colours but for (FUV-NUV) and (FUV-V), become nearly age insensitive when 1-2 Gyr have elapsed from the last star forming event. Considering composite stellar population models with a recent burst of star formation, we suggest that the position of the NGC 7135 and NGC 2865 nuclei in the (FUV-NUV)-Hbeta plane could be explained in term of a recent rejuvenation episode. (Abridged)
△ Less
Submitted 19 July, 2007;
originally announced July 2007.
-
Molecular gas and star formation in M81
Authors:
V. Casasola,
F. Combes,
G. Galletta,
D. Bettoni
Abstract:
We present IRAM 30m observations of the central 1.6 kpc of the spiral M81 galaxy. The molecular gas appears weak and with an unusual excitation physics. We discuss a possible link between low CO emission and weak FUV surface brightness.
We present IRAM 30m observations of the central 1.6 kpc of the spiral M81 galaxy. The molecular gas appears weak and with an unusual excitation physics. We discuss a possible link between low CO emission and weak FUV surface brightness.
△ Less
Submitted 26 June, 2007;
originally announced June 2007.
-
LISA: Mars and the limits of life
Authors:
G. Galletta,
M. D'Alessandro,
G. Bertoloni,
G. Fanti,
E. Dainese,
M. Pelizzo,
F. Ferri,
D. Pavarin,
C. Bettanini,
G. Bianchini,
S. Debei
Abstract:
We describe the results of the first tests made on LISA, a simulator of planetary environments designed and built in Padua, dedicated to the study of the limit of bacterial life on the planet Mars. Tests on the cryogenic circuit, on the UV illumination and on bacterial coltures at room temperature that shall be used as references are described.
We describe the results of the first tests made on LISA, a simulator of planetary environments designed and built in Padua, dedicated to the study of the limit of bacterial life on the planet Mars. Tests on the cryogenic circuit, on the UV illumination and on bacterial coltures at room temperature that shall be used as references are described.
△ Less
Submitted 5 June, 2007;
originally announced June 2007.
-
Are truncated stellar disks linked to the molecular gas density?
Authors:
V. Casasola,
F. Combes,
D. Bettoni,
M. Pohlen,
G. Galletta,
F. Tenaglia
Abstract:
We know that the slope of the radial, stellar light distribution in galaxies is well described by an exponential decline and this distribution is often truncated at a break radius ($R_{br}$). We don't have a clear understanding for the origin of these outer truncations and several hypotheses have been proposed to explain them. We want to test the various theories with direct observations of the…
▽ More
We know that the slope of the radial, stellar light distribution in galaxies is well described by an exponential decline and this distribution is often truncated at a break radius ($R_{br}$). We don't have a clear understanding for the origin of these outer truncations and several hypotheses have been proposed to explain them. We want to test the various theories with direct observations of the cold molecular gas for a few truncated galaxies in comparison with the non-truncated ones. The answer to the existence of a possible link between truncated stellar disks and the molecular gas density cannot be obtained from CO maps in the literature, because so far there are no galaxies with a clear truncation observed in CO at high resolution.
△ Less
Submitted 1 February, 2007;
originally announced February 2007.
-
Study of ISM tracers in galaxies
Authors:
V. Casasola,
L. Piovan,
G. Galletta,
D. Bettoni,
E. Merlin
Abstract:
We collected data for two samples of normal and interacting galaxies for a total of 2953 galaxies having fluxes in one or more of the following wavebands: FIR, 21 cm line, CO(1-0) lines and soft X-ray. The large set of data obtained allowed us to revisit some of the already known relations between the different tracers of the interstellar medium (ISM), such as the link between the FIR flux and t…
▽ More
We collected data for two samples of normal and interacting galaxies for a total of 2953 galaxies having fluxes in one or more of the following wavebands: FIR, 21 cm line, CO(1-0) lines and soft X-ray. The large set of data obtained allowed us to revisit some of the already known relations between the different tracers of the interstellar medium (ISM), such as the link between the FIR flux and the CO line emission, the relation between X-ray emission and the blue or FIR luminosity. The relation lacking from observations for early-type galaxies has been discussed and explained in detail in the frame of a suitable theoretical model, obtained by coupling chemo-dynamical N-body simulations with a dusty spectrophotometric code of population synthesis.
△ Less
Submitted 5 December, 2006;
originally announced December 2006.
-
Relations between ISM tracers in galaxies
Authors:
G. Galletta,
V. Casasola,
L. Piovan,
E. Merlin,
D. Bettoni
Abstract:
We study the relations existing between fluxes emitted at CO(1-0) line, 60 and 100 micron wavelengths, B and soft X-ray wavebands for galaxies of all morphological types. The large set of data that we created allows to revisit some of known relations existing between the different tracers of the Interstellar Medium (ISM): the link between the FIR flux and the CO line emission, the relation betwe…
▽ More
We study the relations existing between fluxes emitted at CO(1-0) line, 60 and 100 micron wavelengths, B and soft X-ray wavebands for galaxies of all morphological types. The large set of data that we created allows to revisit some of known relations existing between the different tracers of the Interstellar Medium (ISM): the link between the FIR flux and the CO line emission, the relation between X-ray emission in non active galaxies and the blue or FIR luminosity. Using catalogues of galaxies and works presented in the literature, we collected fluxes in FIR, 21 cm, CO(0-1) line and soft X-ray for two samples, consisting of normal and interacting galaxies respectively. Joining together these samples, we have data for a total of 2953 galaxies, not all observed in the four above wavebands. All the relations found are discussed in the frame of the star formation activity that is the link for most of them. We note that when an active star formation is present, it may link the galaxy fluxes at almost all wavelengths, from X to microwaves. On the contrary, in early-type galaxies where the current star formation rate has faded out the X-FIR fluxes link disappears. This result obtained for early-type galaxies is discussed and explained in detail in the frame of a suitable theoretical model, obtained coupling chemo-dynamical N-body simulations with a dusty spectrophotometric code of population synthesis.
△ Less
Submitted 26 September, 2006;
originally announced September 2006.
-
Isolated galaxies: residual of primordial building blocks?
Authors:
G. Galletta,
G. Rodighiero,
D. Bettoni,
M. Moles,
J. Varela
Abstract:
CONTEXT.The mass assembly is believed to be the dominant process of early galaxy formation. This mechanism of galaxy building can proceed either by repeated major mergers with other systems, or by means of accretion of matter from the surrounding regions. AIMS.In this paper we compare the properties of local disk galaxies that appear isolated, i.e. not tidally affected by other galaxies during t…
▽ More
CONTEXT.The mass assembly is believed to be the dominant process of early galaxy formation. This mechanism of galaxy building can proceed either by repeated major mergers with other systems, or by means of accretion of matter from the surrounding regions. AIMS.In this paper we compare the properties of local disk galaxies that appear isolated, i.e. not tidally affected by other galaxies during the last few Gyr within the volume given by cz<= 5000 km/s, with those galaxies at z values from 0.25 to 5.
METHODS.Effective radii for 203 isolated galaxies and 1645 galaxies from the RC3 have been collected and the two samples have been analyzed statistically. A similar comparison has been made with half light radii studied at high z from the literature.
RESULTS.We found that isolated galaxies are in general smaller than other present epoch galaxies from the RC3. We notice the lack of systems larger than 7 kpc among them. Their size distribution appears to be similar to that of galaxies at 1.4 <= z <= 2. The models of the merging history also indicate that the isolated galaxies did stop their merging process at about that redshift, evolving passively since then. The galaxy density seems to have remained unchanged since that epoch.
CONCLUSIONS.Isolated galaxies appears to be the end products of the merging process as proposed in the hierarchical accretion scenario at around z=1.4. For this class of galaxies this was the last significant merging event in their lives and have evolved passively since then. This is confirmed by the analytical estimate of the merging fraction with z and by the comparison with sizes of distant galaxies.
△ Less
Submitted 5 May, 2006; v1 submitted 3 May, 2006;
originally announced May 2006.
-
The gas content of peculiar galaxies: strongly interacting systems
Authors:
V. Casasola,
D. Bettoni,
G. Galletta
Abstract:
A study of the gas content in 1038 interacting galaxies, essentially selected from Arp, Arp and Madore, Vorontsov-Velyaminov catalogues and some of the published literature, is presented here. The data on the interstellar medium have been extracted from a number of sources in the literature and compared with a sample of 1916 normal galaxies. The mean values for each of the different ISM tracers…
▽ More
A study of the gas content in 1038 interacting galaxies, essentially selected from Arp, Arp and Madore, Vorontsov-Velyaminov catalogues and some of the published literature, is presented here. The data on the interstellar medium have been extracted from a number of sources in the literature and compared with a sample of 1916 normal galaxies. The mean values for each of the different ISM tracers (FIR, 21 cm, CO lines, X-ray) have been estimated by means of survival analysis techniques, in order to take into account the presence of upper limits. From the data it appears that interacting galaxies have a higher gas content than normal ones. Galaxies classified as ellipticals have both a dust and gas content one order of magnitude higher than normal. Spirals have in most part a normal dust and HI content but an higher molecular gas mass. The X-ray luminosity also appears higher than that of normal galaxies of same morphological type, both including or excluding AGNs. We considered the alternative possibilities that the molecular gas excess may derive from the existence of tidal torques which produce gas infall from the surrounding regions or from a different metallicity which affects the X conversion factor between the observed CO line luminosity and the H$_2$ calculated mass. According to our tests, it appears that interacting galaxies possess a higher molecular mass than normal galaxies but with a similar star formation efficiency.
△ Less
Submitted 6 May, 2004;
originally announced May 2004.
-
Properties of Isolated Disk Galaxies
Authors:
J. Varela,
M. Moles,
I. Márquez,
G. Galletta,
J. Masegosa,
D. Bettoni
Abstract:
A sample of isolated galaxies (IsG), selected by the ratio, $f$, between inner and tidal forces acting upon a galaxy, is presented. The analysis of the Coma cluster lead us to adopt the criterion $f\leq -4.5$ for IsG. The candidates are from the CfA catalog with cz $\leq$5000 km/s, |b|> 40°, DEC $\ge -$2.5°. The sample contains 203 objects from the initial 1706. We also selected a sample (N=130)…
▽ More
A sample of isolated galaxies (IsG), selected by the ratio, $f$, between inner and tidal forces acting upon a galaxy, is presented. The analysis of the Coma cluster lead us to adopt the criterion $f\leq -4.5$ for IsG. The candidates are from the CfA catalog with cz $\leq$5000 km/s, |b|> 40°, DEC $\ge -$2.5°. The sample contains 203 objects from the initial 1706. We also selected a sample (N=130) of perturbed galaxies, i.e., with companions (with known z, $Δ(cz)\le 500$ km/s), $f\geq-$2. The comparison of both samples shows significant differences in morphology, size, mass, luminosity and colors. Sc spirals are more frequent among IsG, and S0s among perturbed galaxies. IsG appear to be smaller, less luminous and bluer than interacting objects. We also found that bars are twice as frequent among perturbed galaxies in particular for early S and S0. The perturbed galaxies have higher L$_{FIR}$/L$_B$ and M$_{mol}$/L$_B$ ratios, but the atomic gas content is similar for the two samples. The L-size and M-L relations shows similar trends, the main difference being the almost total absence of big, bright and massive galaxies among the IsG, and the almost total absence of small, faint and low mass galaxies among the perturbed systems. The evolution induced by interactions, would therefore proceed from late, small, faint and low mass S to earlier, bigger, more luminous and more massive S and S0 galaxies, producing at the same time a larger fraction of barred galaxies, but preserving the same relations between global parameters. The properties of local IsG are similar to those of high redshift galaxies, suggesting that the present day isolated galaxies could be quietly evolved, unused {\sl building blocks} surviving in low density environments.
△ Less
Submitted 5 March, 2004;
originally announced March 2004.
-
A new catalogue of ISM content of normal galaxies
Authors:
D. Bettoni,
G. Galletta,
S. Garcia-Burillo
Abstract:
We have compiled a catalogue of the gas content for a sample of 1916 galaxies, considered to be a fair representation of `normality'. The definition of 'normal' galaxy adopted in this work implies that we have purposely excluded from the catalogue galaxies having distorted morphology (such as interaction bridges, tails or lopsidedness) and/or any signature of peculiar kinematics (such as polar r…
▽ More
We have compiled a catalogue of the gas content for a sample of 1916 galaxies, considered to be a fair representation of `normality'. The definition of 'normal' galaxy adopted in this work implies that we have purposely excluded from the catalogue galaxies having distorted morphology (such as interaction bridges, tails or lopsidedness) and/or any signature of peculiar kinematics (such as polar rings, counterrotating disks or other decoupled components). In contrast, we have included systems hosting active galactic nuclei (AGN) in the catalogue. This catalogue revises previous compendia on the ISM content of galaxies, and compiles data available in the literature from several small samples of galaxies. Masses for warm dust, atomic and molecular gas, as well as X-ray luminosities have been converted to a uniform distance scale taken from the Catalogue of Principal Galaxies (PGC). We have used two different normalization factors to explore the variation of the gas content along the Hubble sequence: the blue luminosity and the square of linear diameter. Our catalogue significantly improves the statistics of previous reference catalogues and can be used in future studies to define a template ISM content for 'normal' galaxies along the Hubble sequence. The catalogue can be accessed on-line at http://dipastro.pd.astro.it/galletta/ismcat/
△ Less
Submitted 4 April, 2003; v1 submitted 2 April, 2003;
originally announced April 2003.
-
Rotation curves and metallicity gradients from HII regions in spiral galaxies
Authors:
I. Marquez,
J. Masegosa,
M. Moles,
J. Varela,
D. Bettoni,
G. Galletta
Abstract:
In this paper we study long slit spectra in the region of H$α$ emission line of a sample of 111 spiral galaxies with recognizable and well defined spiral morphology and with a well determined environmental status, ranging from isolation to non-disruptive interaction with satellites or companions. The form and properties of the rotation curves are considered as a function of the isolation degree,…
▽ More
In this paper we study long slit spectra in the region of H$α$ emission line of a sample of 111 spiral galaxies with recognizable and well defined spiral morphology and with a well determined environmental status, ranging from isolation to non-disruptive interaction with satellites or companions. The form and properties of the rotation curves are considered as a function of the isolation degree, morphological type and luminosity. The line ratios are used to estimate the metallicity of all the detected HII regions, thus producing a composite metallicity profile for different types of spirals. We have found that isolated galaxies tend to be of later types and lower luminosity than the interacting galaxies. The outer parts of the rotation curves of isolated galaxies tend to be flatter than in interacting galaxies, but they show similar relations between global parameters. The scatter of the Tully-Fisher relation defined by isolated galaxies is significantly lower than that of interacting galaxies. The [NII]/H$α$ ratios, used as metallicity indicator, show a clear trend between Z and morphological type, t, with earlier spirals showing larger ratios; this trend is tighter when instead of t the gradient of the inner rotation curve, G, is used; no trend is found with the interaction status. The Z-gradient of the disks depends on the type, being almost flat for early spirals, and increasing for later types. The [NII]/H$α$ ratios measured for disk HII regions of interacting galaxies are higher than for normal/isolated objects, even if all the galaxy families present similar distributions of H$α$ Equivalent Width.
△ Less
Submitted 1 July, 2002;
originally announced July 2002.
-
The gas content of peculiar galaxies: counterrotators and polar rings
Authors:
D. Bettoni,
G. Galletta,
S. Garcia-Burillo,
A. Rodriguez-Franco
Abstract:
This paper studies the global ISM content in a sample of 104 accreting galaxies, including counterrotators and polar rings, which spans the entire Hubble sequence. The molecular, atomic and hot gas content of accretors is compared to a newly compiled sample of normal galaxies. We present results of a small survey of the J=1--0 line of {12}CO with the 15m SEST telescope on a sample of 11 accretor…
▽ More
This paper studies the global ISM content in a sample of 104 accreting galaxies, including counterrotators and polar rings, which spans the entire Hubble sequence. The molecular, atomic and hot gas content of accretors is compared to a newly compiled sample of normal galaxies. We present results of a small survey of the J=1--0 line of {12}CO with the 15m SEST telescope on a sample of 11 accretors (10 counterrotators and 1 polar ring). The SEST sample is enlarged with published data from 48 galaxies, for which observational evidence of counterrotation in the gas and/or the stars has been found. Furthermore, the available data on a sample of 46 polar ring galaxies has been compiled. It was found that the normalized content of cold gas (M_gas/L_B) in polar rings is ~1 order of magnitude higher than the reference value derived for normal galaxies. The inferred gas masses are sufficient to stabilize polar rings through self-gravity. In contrast, it was found that the cold gas content of counterrotators is close to normal for all galaxy types. Although counterrotators and polar rings probably share a common origin, the gas masses estimated here confirm that light gas rings accreted by future counterrotators may have evolved faster than the self-gravitating structures of polar rings. In this scenario, the transformation of atomic into molecular gas could be enhanced near the transition region between the prograde and the retrograde disks, especially in late-type accretors characterized by a high content of primordial gas. This is tentatively confirmed in this work: the measured H_2/HI ratio seems larger in counterrotators than in normal or polar ring galaxies for types later than S0s.
△ Less
Submitted 24 May, 2001;
originally announced May 2001.
-
The visible environment of galaxies with counterrotation
Authors:
D. Bettoni,
G. Galletta,
F. Prada
Abstract:
In this paper we present a statistical study of the environments of 49 galaxies in which there is gas- or stellar- counterrotation. The number of possible companions in the field (to apparent magnitude 22), their size and concentration were considered. All the statistical parameters were analysed by means of Kolgomorov-Smirnov tests, using a control sample of 43 galaxies without counterrotation.…
▽ More
In this paper we present a statistical study of the environments of 49 galaxies in which there is gas- or stellar- counterrotation. The number of possible companions in the field (to apparent magnitude 22), their size and concentration were considered. All the statistical parameters were analysed by means of Kolgomorov-Smirnov tests, using a control sample of 43 galaxies without counterrotation. From our data, no significant differences between the counter-rotating and control samples appear. This is different to Seyfert or radio-loud galaxies which lie in environments with a higher density of companions. On the contrary, if a weak tendency exists, for galaxies with gas counterrotation only, it is discovered in regions of space where the large scale density of galaxies is smaller. Our results tend to disprove the hypothesis that counterrotation and polar rings derive from a recent interaction with a small satellite or a galaxy of similar size. To a first approximation, they seem to follow the idea that all galaxies are born through a merger process of smaller objects occurring very early in their life, or that they derive from a continuous, non-traumatic infall of gas that formed stars later. Whatever the special machinery is which produces counterrotation or polar rings instead of a co-planar, co-rotating distribution of gas and stars, it seems not to be connected to the present galaxy density of their environments.
△ Less
Submitted 16 May, 2001;
originally announced May 2001.