-
Non-equilibrium dynamics of long-range interacting Fermions
Authors:
Timo Zwettler,
Giulia del Pace,
Filip Marijanovic,
Sambuddha Chattopadhyay,
Tabea Bühler,
Catalin-Mihai Halati,
Luka Skolc,
Luisa Tolle,
Victor Helson,
Gaia Bolognini,
Aurélien Fabre,
Shun Uchino,
Thierry Giamarchi,
Eugene Demler,
Jean-Philippe Brantut
Abstract:
A fundamental problem of out-of-equilibrium physics is the speed at which the order parameter grows upon crossing a phase transition. Here, we investigate the dynamics of ordering in a Fermi gas undergoing a density-wave phase transition induced by quenching of long-range, cavity-mediated interactions. We observe in real-time the exponential rise of the order parameter and track its growth over se…
▽ More
A fundamental problem of out-of-equilibrium physics is the speed at which the order parameter grows upon crossing a phase transition. Here, we investigate the dynamics of ordering in a Fermi gas undergoing a density-wave phase transition induced by quenching of long-range, cavity-mediated interactions. We observe in real-time the exponential rise of the order parameter and track its growth over several orders of magnitude. Remarkably, the growth rate is insensitive to the contact interaction strength from the ideal gas up to the unitary limit and can exceed the Fermi energy by an order of magnitude, in quantitative agreement with a linearized instability analysis. We then generalize our results to linear interaction ramps, where deviations from the adiabatic behaviour are captured by a simple dynamical ansatz. Our study offers a paradigmatic example of the interplay between non-locality and non-equilibrium dynamics, where universal scaling behaviour emerges despite strong interactions at the microscopic level.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Stabilizing persistent currents in an atomtronic Josephson junction necklace
Authors:
Luca Pezzè,
Klejdja Xhani,
Cyprien Daix,
Nicola Grani,
Beatrice Donelli,
Francesco Scazza,
Diego Hernandez-Rajkov,
Woo ** Kwon,
Giulia Del Pace,
Giacomo Roati
Abstract:
Arrays of Josephson junctions are at the forefront of research on quantum circuitry for quantum computing, simulation and metrology. They provide a testing bed for exploring a variety of fundamental physical effects where macroscopic phase coherence, nonlinearities and dissipative mechanisms compete. Here we realize finite-circulation states in an atomtronic Josephson junction necklace, consisting…
▽ More
Arrays of Josephson junctions are at the forefront of research on quantum circuitry for quantum computing, simulation and metrology. They provide a testing bed for exploring a variety of fundamental physical effects where macroscopic phase coherence, nonlinearities and dissipative mechanisms compete. Here we realize finite-circulation states in an atomtronic Josephson junction necklace, consisting of a tunable array of tunneling links in a ring-shaped superfluid. We study the stability diagram of the atomic flow by tuning both the circulation and the number of junctions. We predict theoretically and demonstrate experimentally that the atomic circuit withstands higher circulations (corresponding to higher critical currents) by increasing the number of Josephson links. The increased stability contrasts with the trend of the superfluid fraction -- quantified by Leggett's criterion -- which instead decreases with the number of junctions and the corresponding density depletion. Our results demonstrate atomic superfluids in mesoscopic structured ring potentials as excellent candidates for atomtronics applications, with prospects towards the observation of non-trivial macroscopic superpositions of current states.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Decay of persistent currents in annular atomic superfluids
Authors:
Klejdja Xhani,
Giulia Del Pace,
Francesco Scazza,
Giacomo Roati
Abstract:
We investigate the role of vortices in the decay of persistent current states of annular atomic superfluids by solving numerically the Gross-Pitaevskii equation, and we directly compare our results with experimental data from Ref. [1]. We theoretically model the optical phase-imprinting technique employed to experimentally excite finite-circulation states in Ref. [1] in the Bose-Einstein condensat…
▽ More
We investigate the role of vortices in the decay of persistent current states of annular atomic superfluids by solving numerically the Gross-Pitaevskii equation, and we directly compare our results with experimental data from Ref. [1]. We theoretically model the optical phase-imprinting technique employed to experimentally excite finite-circulation states in Ref. [1] in the Bose-Einstein condensation regime, accounting for imperfections of the optical gradient imprinting profile. By comparing simulations of this realistic protocol to an ideal imprinting, we show that the introduced density excitations arising from imperfect imprinting are mainly responsible for limiting the maximum reachable winding number $w_\mathrm{max}$ in the superfluid ring. We also investigate the effect of a point-like obstacle with variable potential height $V_0$ onto the decay of circulating supercurrents. For a given obstacle height, a critical circulation $w_c$ exists, such that for an initial circulation $w_0$ larger than $w_c$ the supercurrent decays through the emission of vortices, which cross the superflow and thus induce phase slippage. Higher values of the obstacle height $V_0$ further favour the entrance of vortices, thus leading to lower values of $w_c$. Furthermore, the stronger vortex-defect interaction at higher $V_0$ leads to vortices that propagate closer to the center of the ring condensate. The combination of both these effects leads to an increase of the supercurrent decay rate for increasing $w_0$, in agreement with experimental observations.
[1]: G. Del Pace, et al., Phys. Rev. X 12, 041037 (2022)
△ Less
Submitted 5 July, 2023; v1 submitted 20 June, 2023;
originally announced June 2023.
-
Connecting shear-flow and vortex array instabilities in annular atomic superfluids
Authors:
D. Hernandez-Rajkov,
N. Grani,
F. Scazza,
G. Del Pace,
W. J. Kwon,
M. Inguscio,
K. Xhani,
C. Fort,
M. Modugno,
F. Marino,
G. Roati
Abstract:
At the interface between two fluid layers in relative motion, infinitesimal fluctuations can be exponentially amplified, inducing vorticity and the breakdown of the laminar flow. This process, known as the Kelvin-Helmholtz instability, is responsible for many familiar phenomena observed in the atmosphere and in the oceans, as well as in astrophysical objects, being known as one of the paradigmatic…
▽ More
At the interface between two fluid layers in relative motion, infinitesimal fluctuations can be exponentially amplified, inducing vorticity and the breakdown of the laminar flow. This process, known as the Kelvin-Helmholtz instability, is responsible for many familiar phenomena observed in the atmosphere and in the oceans, as well as in astrophysical objects, being known as one of the paradigmatic routes to turbulence in fluid mechanics. While shear-flow instabilities in classical fluids have been extensively observed in various contexts, controlled experiments in the presence of quantized circulation are comparatively very few. Here, we engineer two counter-rotating atomic superflows, a configuration that in classical inviscid fluids is unstable via the Kelvin-Helmholtz instability. We observe how the contact interface, i.e. the shear layer, develops into an ordered circular array of quantized vortices, which loses stability and rolls up into vortex clusters. We extract the instability growth rates and find that they obey the same scaling relations across different superfluid regimes, ranging from weakly-interacting bosonic to strongly-correlated fermionic pair condensates. The measured scalings, reproduced by numerical simulations and well described by a microscopic point-vortex model, are consistent with the classical hydrodynamic Kelvin-Helmholtz instability of a finite-width shear layer. Our results establish interesting connections between vortex arrays and shear-flow instabilities, suggesting a possible interpretation of the observed quantized vortex dynamics as a manifestation of the underlying unstable flow. Moreover, they open the way for exploring a wealth of out-of-equilibrium phenomena, from vortex-matter phase transitions to the spontaneous emergence and decay of two-dimensional quantum turbulence.
△ Less
Submitted 15 April, 2024; v1 submitted 22 March, 2023;
originally announced March 2023.
-
Active External Calls for Blockchain and Distributed Ledger Technologies: Debunking cited inability of Blockchain and DLT to make external calls
Authors:
Joshua Ellul,
Gordon J Pace
Abstract:
Blockchain and other distributed ledger technologies have enabled peer-to-peer networks to maintain ledgers with an immutable history and guaranteed computation, all carried out without the need of trusted parties. In practice, few applications of blockchain are closed i.e. do not interact with the world outside the blockchain, and various techniques have been proposed and used to handle such inte…
▽ More
Blockchain and other distributed ledger technologies have enabled peer-to-peer networks to maintain ledgers with an immutable history and guaranteed computation, all carried out without the need of trusted parties. In practice, few applications of blockchain are closed i.e. do not interact with the world outside the blockchain, and various techniques have been proposed and used to handle such interaction. One problem is that it is widely accepted that, due to the decentralised nature of blockchain networks and constraints to ensure trust and determinism, such communication can only flow into the blockchain, and that blockchain systems cannot initiate and execute calls to external systems or services. In this paper we show that this misconception is preconceived by building on our previously presented solution to demonstrate that such calls can be directly initiated from the blockchain itself in a feasible and efficient manner.
△ Less
Submitted 10 January, 2023;
originally announced February 2023.
-
Imprinting persistent currents in tunable fermionic rings
Authors:
G. Del Pace,
K. Xhani,
A. Muzi Falconi,
M. Fedrizzi,
N. Grani,
D. Hernandez Rajkov,
M. Inguscio,
F. Scazza,
W. J. Kwon,
G. Roati
Abstract:
Persistent currents in annular geometries have played an important role in disclosing the quantum phase coherence of superconductors and mesoscopic electronic systems. Ultracold atomic gases in multiply connected traps also exhibit long-lived supercurrents, and have attracted much interest both for fundamental studies of superfluid dynamics and as prototypes for atomtronic circuits. Here, we repor…
▽ More
Persistent currents in annular geometries have played an important role in disclosing the quantum phase coherence of superconductors and mesoscopic electronic systems. Ultracold atomic gases in multiply connected traps also exhibit long-lived supercurrents, and have attracted much interest both for fundamental studies of superfluid dynamics and as prototypes for atomtronic circuits. Here, we report on the realization of supercurrents in homogeneous, tunable fermionic rings. We gain exquisite, rapid control over quantized persistent currents in all regimes of the BCS-BEC crossover through a universal phase-imprinting technique, attaining on-demand circulations $w$ as high as 9. High-fidelity read-out of the superfluid circulation state is achieved by exploiting an interferometric protocol, which also yields local information about the superfluid phase around the ring. In the absence of externally introduced perturbations, we find the induced metastable supercurrents to be as long-lived as the atomic sample. Conversely, we trigger and inspect the supercurrent decay by inserting a single small obstacle within the ring. For circulations higher than a critical value, the quantized current is observed to dissipate via the emission of vortices, i.e., quantized phase slips, which we directly image, in good agreement with numerical simulations. The critical circulation at which the superflow becomes unstable is found to depend starkly on the interaction strength, taking its maximum value for the unitary Fermi gas. Our results demonstrate fast and accurate control of quantized collective excitations in a macroscopic quantum system, and establish strongly interacting fermionic superfluids as excellent candidates for atomtronic applications.
△ Less
Submitted 12 January, 2023; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Nitrogen-doped graphene based triboelectric nanogenerators
Authors:
Giuseppina Pace,
Michele Serri,
Antonio Esau del Rio Castillo,
Alberto Ansaldo,
Simone Lauciello,
Mirko Prato,
Lea Pasquale,
Jan Luxa,
Vlastimil Mazánek,
Zdenek Sofer,
Francesco Bonaccorso
Abstract:
Harvesting all sources of available clean energy is an essential strategy to contribute to healing current dependence on non-sustainable energy sources. Recently, triboelectric nanogenerators (TENGs) have gained visibility as new mechanical energy harvester offering a valid alternative to batteries, being particularly suitable for portable devices. Here, the increased capacitance of a few-layer gr…
▽ More
Harvesting all sources of available clean energy is an essential strategy to contribute to healing current dependence on non-sustainable energy sources. Recently, triboelectric nanogenerators (TENGs) have gained visibility as new mechanical energy harvester offering a valid alternative to batteries, being particularly suitable for portable devices. Here, the increased capacitance of a few-layer graphene-based electrode is obtained by incorporating nitrogen-doped graphene (N_graphene), enabling a 3_fold enhancement in TENGs power output. The dependence of TENGs performance on the electronic properties of different N_graphene types, varying in the do** concentration and in the relative content of N-pyridinic and N-graphitic sites is investigated. These sites have different electron affinities, and synergistically contribute to the variation of the capacitive and resistive properties of N-graphene and consequently, TENG performance. It is demonstrated that the power enhancement of the TENG occurs when the N_graphene, an n-semiconductor, is interfaced between the positive triboelectric material and the electrode, while a deterioration of the electrical performance is observed when it is placed at the interface with the negative triboelectric material. This behavior is explained in terms of the dependence of N_graphene quantum capacitance on the electrode chemical potential which shifts according to the opposite polarization induced at the two electrodes upon triboelectrification.
△ Less
Submitted 26 July, 2021;
originally announced July 2021.
-
Sound emission and annihilations in a programmable quantum vortex collider
Authors:
W. J. Kwon,
G. Del Pace,
K. Xhani,
L. Galantucci,
A. Muzi Falconi,
M. Inguscio,
F. Scazza,
G. Roati
Abstract:
In quantum fluids, the quantisation of circulation forbids the diffusion of a vortex swirling flow seen in classical viscous fluids. Yet, a quantum vortex accelerating in a superfluid may lose its energy into acoustic radiation, in a similar way an electric charge decelerates upon emitting photons. The dissipation of vortex energy underlies central problems in quantum hydrodynamics, such as the de…
▽ More
In quantum fluids, the quantisation of circulation forbids the diffusion of a vortex swirling flow seen in classical viscous fluids. Yet, a quantum vortex accelerating in a superfluid may lose its energy into acoustic radiation, in a similar way an electric charge decelerates upon emitting photons. The dissipation of vortex energy underlies central problems in quantum hydrodynamics, such as the decay of quantum turbulence, highly relevant to systems as varied as neutron stars, superfluid helium and atomic condensates. A deep understanding of the elementary mechanisms behind irreversible vortex dynamics has been a goal for decades, but it is complicated by the shortage of conclusive experimental signatures. Here, we address this challenge by realising a programmable quantum vortex collider in a planar, homogeneous atomic Fermi superfluid with tunable inter-particle interactions. We create on-demand vortex configurations and monitor their evolution, taking advantage of the accessible time and length scales of our ultracold Fermi gas. Engineering collisions within and between vortex-antivortex pairs allows us to decouple relaxation of the vortex energy due to sound emission and interactions with normal fluid, i.e. mutual friction. We directly visualise how the annihilation of vortex dipoles radiates a sound pulse in the superfluid. Further, our few-vortex experiments extending across different superfluid regimes suggest that fermionic quasiparticles localised inside the vortex core contribute significantly to dissipation, opening the route to exploring new pathways for quantum turbulence decay, vortex by vortex.
△ Less
Submitted 10 June, 2021; v1 submitted 31 May, 2021;
originally announced May 2021.
-
Towards External Calls for Blockchain and Distributed Ledger Technology
Authors:
Joshua Ellul,
Gordon J. Pace
Abstract:
It is widely accepted that blockchain systems cannot execute calls to external systems or services due to each node having to reach a deterministic state. However, in this paper we show that this belief is preconceived by demonstrating a method that enables blockchain and distributed ledger technologies to perform calls to external systems initiated from the blockchain/DLT itself.
It is widely accepted that blockchain systems cannot execute calls to external systems or services due to each node having to reach a deterministic state. However, in this paper we show that this belief is preconceived by demonstrating a method that enables blockchain and distributed ledger technologies to perform calls to external systems initiated from the blockchain/DLT itself.
△ Less
Submitted 24 May, 2021; v1 submitted 13 May, 2021;
originally announced May 2021.
-
A Pragmatic Approach to Regulating Artificial Intelligence: A Technology Regulator's Perspective
Authors:
Joshua Ellul,
Stephen McCarthy,
Trevor Sammut,
Juanita Brockdorff,
Matthew Scerri,
Gordon J. Pace
Abstract:
Artificial Intelligence (AI) and the regulation thereof is a topic that is increasingly being discussed within various fora. Various proposals have been made in literature for defining regulatory bodies and/or related regulation. In this paper, we present a pragmatic approach for providing a technology assurance regulatory framework. To the best knowledge of the authors this work presents the firs…
▽ More
Artificial Intelligence (AI) and the regulation thereof is a topic that is increasingly being discussed within various fora. Various proposals have been made in literature for defining regulatory bodies and/or related regulation. In this paper, we present a pragmatic approach for providing a technology assurance regulatory framework. To the best knowledge of the authors this work presents the first national AI technology assurance legal and regulatory framework that has been implemented by a national authority empowered through law to do so. In aim of both providing assurances where required and not stifling innovation yet supporting it, herein it is proposed that such regulation should not be mandated for all AI-based systems and that rather it should primarily provide a voluntary framework and only be mandated in sectors and activities where required and as deemed necessary by other authorities for regulated and critical areas.
△ Less
Submitted 15 April, 2021;
originally announced May 2021.
-
An efficient high-current circuit for fast radio-frequency spectroscopy in cold atomic gases
Authors:
F. Scazza,
G. Del Pace,
L. Pieri,
R. Concas,
W. J. Kwon,
G. Roati
Abstract:
We design and implement an efficient high-current radio-frequency (RF) circuit, enabling fast and coherent coupling between magnetic levels in cold alkali atomic samples. It is based on a compact shape-optimized coil that maximizes the RF field coupling with the atomic magnetic dipole, and on coaxial transmission-line transformers that step up the field-generating current flowing in the coil to ab…
▽ More
We design and implement an efficient high-current radio-frequency (RF) circuit, enabling fast and coherent coupling between magnetic levels in cold alkali atomic samples. It is based on a compact shape-optimized coil that maximizes the RF field coupling with the atomic magnetic dipole, and on coaxial transmission-line transformers that step up the field-generating current flowing in the coil to about 8 A for 100 W of RF power. The system is robust and versatile, as it generates a large RF field without compromising on the available optical access, and its central resonant frequency can be adjusted in situ. Our approach provides a cost-effective, reliable solution, featuring a low level of interference with surrounding electronic equipment thanks to its symmetric layout. We test the circuit performance using a maximum RF power of 80 W at a frequency around 82 MHz, which corresponds to a measured Rabi frequency $Ω_R/2π\simeq 18.5$ kHz, i.e. a $π$-pulse duration of about 27 $μ$s, between two of the lowest states of ${}^6$Li at an offset magnetic field of 770 G. Our solution can be readily adapted to other atomic species and vacuum chamber designs, in view of increasing modularity of ultracold atom experiments.
△ Less
Submitted 26 April, 2021;
originally announced April 2021.
-
Enhancing triboelectric nanogenerators power conversion efficiency with few-layers graphene flexible electrodes
Authors:
Giuseppina Pace,
A. Ansaldo,
M. Serri,
S. Lauciello,
F. Bonaccorso
Abstract:
The development of portable and wearable electronics requiring only few tens of microwatts to operate fosters the search for low power energy sources. Moreover, the fast-growing demand for new sustainable energy has raised the interest in energy harvesters able to convert mechanical energy into electrical power. Triboelectric nanogenerators (TENGs) can provide such green power supply. Recent devel…
▽ More
The development of portable and wearable electronics requiring only few tens of microwatts to operate fosters the search for low power energy sources. Moreover, the fast-growing demand for new sustainable energy has raised the interest in energy harvesters able to convert mechanical energy into electrical power. Triboelectric nanogenerators (TENGs) can provide such green power supply. Recent developments in TENGs technology show that they can be used in different applications ranging from wearable self-powered sensors to wind and sea wave energy harvesting. In spite of the wide number of TENGs developed so far, an in depth understanding of their working principle is still missing. In this work, we highlight the fundamental role played by the interface between the triboelectric material and the electrode collector in contributing to the TENG's power generation. We show that by simply replacing the 'standard' gold electrodes with flexible few layer graphene electrodes in TENGs operating in vertical contact mode, a 26-fold increase in power density is achieved. Here, we elucidate the main mechanism at the base of such boost in power output, describing guidelines for the combination of electrode and triboelectric materials to optimize the mechanical energy conversion efficiency in TENGs.
△ Less
Submitted 10 December, 2020;
originally announced December 2020.
-
Tunneling transport of unitary fermions across the superfluid transition
Authors:
G. Del Pace,
W. J. Kwon,
M. Zaccanti,
G. Roati,
F. Scazza
Abstract:
We investigate the transport of a Fermi gas with unitarity-limited interactions across the superfluid phase transition, probing its response to a direct current (dc) drive through a tunnel junction. As the superfluid critical temperature is crossed from below, we observe the evolution from a highly nonlinear to an Ohmic conduction characteristics, associated with the critical breakdown of the Jose…
▽ More
We investigate the transport of a Fermi gas with unitarity-limited interactions across the superfluid phase transition, probing its response to a direct current (dc) drive through a tunnel junction. As the superfluid critical temperature is crossed from below, we observe the evolution from a highly nonlinear to an Ohmic conduction characteristics, associated with the critical breakdown of the Josephson dc current induced by pair condensate depletion. Moreover, we reveal a large and dominant anomalous contribution to resistive currents, which reaches its maximum at the lowest attained temperature, fostered by the tunnel coupling between the condensate and phononic Bogoliubov-Anderson excitations. Increasing the temperature, while the zeroing of supercurrents marks the transition to the normal phase, the conductance drops considerably but remains much larger than that of a normal, uncorrelated Fermi gas tunneling through the same junction. We attribute such enhanced transport to incoherent tunneling of sound modes, which remain weakly damped in the collisional hydrodynamic fluid of unpaired fermions at unitarity.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Intrinsically distinct hole and electron transport in conjugated polymers controlled by intra and intermolecular interactions
Authors:
Giuseppina Pace,
Ilaria Bargigia,
Yong-Young Noh,
Carlos Silva,
Mario Caironi
Abstract:
It is still a matter of controversy whether the relative difference in hole and electron transport in solution-processed organic semiconductors is either due to intrinsic properties linked to chemical and solid-state structure or to extrinsic factors, as device architecture. We here isolate the intrinsic factors affecting either electron or hole transport within the same film microstructure of a m…
▽ More
It is still a matter of controversy whether the relative difference in hole and electron transport in solution-processed organic semiconductors is either due to intrinsic properties linked to chemical and solid-state structure or to extrinsic factors, as device architecture. We here isolate the intrinsic factors affecting either electron or hole transport within the same film microstructure of a model copolymer semiconductor. Relatively, holes predominantly bleach inter-chain interactions with H-type electronic coupling character, while electrons' relaxation more strongly involves intra-chain interactions with J-type character. Holes and electrons mobility correlates with the presence of a charge transfer state, while their ratio is a function of the relative content of intra- and inter-molecular interactions. Such fundamental observation, revealing the specific role of the ground-state intra- and inter-molecular coupling in selectively assisting charge transport, allows predicting a more favorable hole or electron transport already from screening the polymer film ground state optical properties.
△ Less
Submitted 29 November, 2019;
originally announced November 2019.
-
Blockchain and the Common Good Reimagined
Authors:
Joshua Ellul,
Gordon Pace
Abstract:
Blockchain, Smart Contracts and Distributed Ledger Technology (DLT) are being touted to revolutionise digital services - through decentralisation. Cryptocurrencies, self-sovereign identities, decentralised certificate registries, and transparent voting systems are but a few applications which promise to empower endusers and provide assurances that neither data nor the associated computational logi…
▽ More
Blockchain, Smart Contracts and Distributed Ledger Technology (DLT) are being touted to revolutionise digital services - through decentralisation. Cryptocurrencies, self-sovereign identities, decentralised certificate registries, and transparent voting systems are but a few applications which promise to empower endusers and provide assurances that neither data nor the associated computational logic have been tampered with.
Decentralisation, disintermediation, transparency, verifiability, auditability, openness, inclusion, tamper-proof, immutability are just some of the buzz words that continue to be swung around in the promotion of the benefits brought about by Blockchain-based systems to the users. The rhetoric used creates parallels between the features brought about through blockchains and values that many try to uphold, for example honesty, openness, transparency, teamwork and unchanging truth.
In this paper a number of blockchain applications aimed at supporting initiatives for common good are highlighted. This is followed by a discussion on technology de/centralisation and a thought experiment used to raise questions regarding the use of decentralised technology in terms of social implications.
△ Less
Submitted 31 October, 2019;
originally announced October 2019.
-
Strongly correlated superfluid order parameters from dc Josephson supercurrents
Authors:
W. J. Kwon,
G. Del Pace,
R. Panza,
M. Inguscio,
W. Zwerger,
M. Zaccanti,
F. Scazza,
G. Roati
Abstract:
The dc Josephson effect provides a powerful phase-sensitive tool for investigating superfluid order parameters. We report on the observation of dc Josephson supercurrents in strongly interacting fermionic superfluids across a tunnelling barrier in the absence of any applied potential difference. For sufficiently strong barriers, we observe a sinusoidal current-phase relation, in agreement with Jos…
▽ More
The dc Josephson effect provides a powerful phase-sensitive tool for investigating superfluid order parameters. We report on the observation of dc Josephson supercurrents in strongly interacting fermionic superfluids across a tunnelling barrier in the absence of any applied potential difference. For sufficiently strong barriers, we observe a sinusoidal current-phase relation, in agreement with Josephson's seminal prediction. We map out the zero-resistance state and its breakdown as a function of junction parameters, extracting the Josephson critical current behaviour. By comparing our results with an analytic model, we determine the pair condensate fraction throughout the Bardeen-Cooper-Schrieffer - Bose-Einstein Condensation crossover. Our work suggests that coherent Josephson transport may be used to pin down superfluid order parameters in diverse atomic systems, even in the presence of strong correlations.
△ Less
Submitted 9 November, 2021; v1 submitted 26 August, 2019;
originally announced August 2019.
-
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution
Authors:
Davide Ancona,
Gordon Pace
Abstract:
This volume contains the post-proceedings of the second Workshop on Verification of Objects at RunTime EXecution (VORTEX 2018) that was held in Amsterdam, co-located with the European Conference on Object-Oriented Programming (ECOOP 2018) and the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018).
Runtime verification is an approach to software verification which i…
▽ More
This volume contains the post-proceedings of the second Workshop on Verification of Objects at RunTime EXecution (VORTEX 2018) that was held in Amsterdam, co-located with the European Conference on Object-Oriented Programming (ECOOP 2018) and the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2018).
Runtime verification is an approach to software verification which is concerned with monitoring and analysis of software and hardware system executions. Recently, it has gained more consensus as an effective and promising approach to ensure software reliability, bridging a gap between formal verification, and conventional testing; monitoring a system during runtime execution offers additional opportunities for addressing error recovery, self-adaptation, and other issues that go beyond software reliability. The goal of VORTEX is to bring together researchers working on runtime verification for topics covering either theoretical, or practical aspects, or, preferably, both, with emphasis on object-oriented languages, and systems.
△ Less
Submitted 25 August, 2019;
originally announced August 2019.
-
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Authors:
César Sánchez,
Gerardo Schneider,
Wolfgang Ahrendt,
Ezio Bartocci,
Domenico Bianculli,
Christian Colombo,
Yliés Falcone,
Adrian Francalanza,
Srđan Krstić,
JoHao M. Lourenço,
Dejan Nickovic,
Gordon J. Pace,
Jose Rufino,
Julien Signoles,
Dmitriy Traytel,
Alexander Weiss
Abstract:
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system t…
▽ More
Runtime verification is an area of formal methods that studies the dynamic analysis of execution traces against formal specifications. Typically, the two main activities in runtime verification efforts are the process of creating monitors from specifications, and the algorithms for the evaluation of traces against the generated monitors. Other activities involve the instrumentation of the system to generate the trace and the communication between the system under analysis and the monitor. Most of the applications in runtime verification have been focused on the dynamic analysis of software, even though there are many more potential applications to other computational devices and target systems. In this paper we present a collection of challenges for runtime verification extracted from concrete application domains, focusing on the difficulties that must be overcome to tackle these specific challenges. The computational models that characterize these domains require to devise new techniques beyond the current state of the art in runtime verification.
△ Less
Submitted 16 November, 2018;
originally announced November 2018.
-
Latent Pigments Strategy for Robust Active Layers in Solution-Processed, Complementary Organic Field-Effect Transistors
Authors:
Isis Maqueira-Albo,
Giorgio Ernesto Bonacchini,
Giorgio DellErba,
Giuseppina Pace,
Mauro Sassi,
Myles Rooney,
Roland Resel,
Luca Beverina,
Mario Caironi
Abstract:
Solution-processed organic semiconductors enable the fabrication of large-area and flexible electronics by means of cost-effective, solution-based mass manufacturing techniques. However, for many applications an insoluble active layer can offer technological advantages in terms of robustness to processing solvents. This is particularly relevant in field-effect transistors (FET), where processing o…
▽ More
Solution-processed organic semiconductors enable the fabrication of large-area and flexible electronics by means of cost-effective, solution-based mass manufacturing techniques. However, for many applications an insoluble active layer can offer technological advantages in terms of robustness to processing solvents. This is particularly relevant in field-effect transistors (FET), where processing of dielectrics or barriers from solution on top of the semiconductor layer typically imposes the use of orthogonal solvents in order not to interfere with the nanometer thick accumulation channel. To this end, the use of latent pigments, highly soluble molecules which can produce insoluble films after a post-deposition thermal cleavage of solubilizing groups, is a very promising strategy. In this contribution, we demonstrate the use of tert-Butyloxycarbonyl (t-Boc) functionalized diketopyrrolopyrrole and perylene-diimide small molecules for good hole and electron transporting films. t-Boc thermal cleavage produces a densification of the films, along with a strong structural rearrangement of the deprotected molecules, strongly improving charge mobility in both p- and n-type FET. We also highlight the robustness of these highly insoluble semiconducting layers to typical and aggressive processing solvents. These results can greatly enhance the degree of freedom in the manufacturing of multi-layered organic electronic devices, offering enhanced stability to harsh processing steps.
△ Less
Submitted 12 October, 2017;
originally announced October 2017.
-
Control-Flow Residual Analysis for Symbolic Automata
Authors:
Shaun Azzopardi,
Christian Colombo,
Gordon J. Pace
Abstract:
Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code instrumented. To address this issue, various approaches have been proposed in the literature to use static analysis in order to reduce monitoring overhe…
▽ More
Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, runtime overheads which are induced by the additional monitoring code instrumented. To address this issue, various approaches have been proposed in the literature to use static analysis in order to reduce monitoring overhead. In this paper we generalise existing work which uses control-flow static analysis to optimise properties specified as automata, and prove how similar analysis can be applied to more expressive symbolic automata - enabling reduction of monitoring instrumentation in the system, and also monitoring logic. We also present empirical evidence of the effectiveness of this approach through an analysis of the effect of monitoring overheads in a financial transaction system.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques
Authors:
Adrian Francalanza,
Gordon J. Pace
Abstract:
This volume contains the proceedings of PrePost 2017 (the Second International Workshop on Pre- and Post-Deployment Verification Techniques), taking place on 19th September 2017 in Torino, Italy, as a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017).
PrePost aims to bridge two areas of research and academic communities: on one hand techniques for analy…
▽ More
This volume contains the proceedings of PrePost 2017 (the Second International Workshop on Pre- and Post-Deployment Verification Techniques), taking place on 19th September 2017 in Torino, Italy, as a satellite event of the 13th International Conference on integrated Formal Methods (iFM 2017).
PrePost aims to bridge two areas of research and academic communities: on one hand techniques for analysis of systems prior to deployment, on the other techniques for the analysis of systems once they have already been deployed. The workshop brings together researchers working in the field of computer-aided validation, programming languages and verification to discuss the connections and interplay between pre- and post-deployment verification techniques. This includes exploring relationships between techniques such as classic model checking and testing, with ones such as runtime verification and statistical model checking, between type systems that may be checked either statically or dynamically through techniques such as runtime monitoring, gradual ty** and contracts.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Mass effect on the lithium abundance evolution of open clusters: Hyades, NGC 752, and M67
Authors:
Matthieu Castro,
Tharcísyo Duarte,
Giancarlo Pace,
José Dias do Nascimento Jr
Abstract:
Lithium abundances in open clusters provide an effective way of probing mixing processes in the interior of solar-type stars and convection is not the only mixing mechanism at work. To understand which mixing mechanisms are occurring in low-mass stars, we test non-standard models, which were calibrated using the Sun, with observations of three open clusters of different ages, the Hyades, NGC 752,…
▽ More
Lithium abundances in open clusters provide an effective way of probing mixing processes in the interior of solar-type stars and convection is not the only mixing mechanism at work. To understand which mixing mechanisms are occurring in low-mass stars, we test non-standard models, which were calibrated using the Sun, with observations of three open clusters of different ages, the Hyades, NGC 752, and M67. We collected all available data, and for the open cluster NGC 752, we redetermine the equivalent widths and the lithium abundances. Two sets of evolutionary models were computed, one grid of only standard models with microscopic diffusion and one grid with rotation-induced mixing, at metallicity [Fe/H] = 0.13, 0.0, and 0.01 dex, respectively, using the Toulouse-Geneva evolution code. We compare observations with models in a color-magnitude diagram for each cluster to infer a cluster age and a stellar mass for each cluster member. Then, for each cluster we analyze the lithium abundance of each star as a function of mass. The data for the open clusters Hyades, NGC 752, and M67, are compatible with lithium abundance being a function of both age and mass for stars in these clusters. Our models with meridional circulation qualitatively reproduce the general trend of lithium abundance evolution as a function of stellar mass in all three clusters. This study points out the importance of mass dependence in the evolution of lithium abundance as a function of age. Comparison between models with and without rotation-induced mixing shows that the inclusion of meridional circulation is essential to account for lithium depletion in low-mass stars. However, our results suggest that other mechanisms should be included to explain the Li-dip and the lithium dispersion in low-mass stars.
△ Less
Submitted 29 March, 2016;
originally announced March 2016.
-
Device-Centric Monitoring for Mobile Device Management
Authors:
Luke Chircop,
Christian Colombo,
Gordon J. Pace
Abstract:
The ubiquity of computing devices has led to an increased need to ensure not only that the applications deployed on them are correct with respect to their specifications, but also that the devices are used in an appropriate manner, especially in situations where the device is provided by a party other than the actual user. Much work which has been done on runtime verification for mobile devices an…
▽ More
The ubiquity of computing devices has led to an increased need to ensure not only that the applications deployed on them are correct with respect to their specifications, but also that the devices are used in an appropriate manner, especially in situations where the device is provided by a party other than the actual user. Much work which has been done on runtime verification for mobile devices and operating systems is mostly application-centric, resulting in global, device-centric properties (e.g. the user may not send more than 100 messages per day across all applications) being difficult or impossible to verify. In this paper we present a device-centric approach to runtime verify the device behaviour against a device policy with the different applications acting as independent components contributing to the overall behaviour of the device. We also present an implementation for Android devices, and evaluate it on a number of device-centric policies, reporting the empirical results obtained.
△ Less
Submitted 29 March, 2016;
originally announced March 2016.
-
The Gaia-ESO Survey: Chromospheric Emission, Accretion Properties, and Rotation in $γ$ Velorum and Chamaeleon I
Authors:
A. Frasca,
K. Biazzo,
A. C. Lanzafame,
J. M. Alcalá,
E. Brugaletta,
A. Klutsch,
B. Stelzer,
G. G. Sacco,
L. Spina,
R. D. Jeffries,
D. Montes,
E. J. Alfaro,
G. Barentsen,
R. Bonito,
J. F. Gameiro,
J. Lopez-Santiago,
G. Pace,
L. Pasquini,
L. Prisinzano,
S. G. Sousa,
G. Gilmore,
S. Randich,
G. Micela,
A. Bragaglia,
E. Flaccomio
, et al. (11 additional authors not shown)
Abstract:
We use the fundamental parameters delivered by the GES consortium in the first internal data release to select the members of $γ$ Vel and Cha I among the UVES and GIRAFFE spectroscopic observations. A total of 140 $γ$ Vel members and 74 Cha I members were studied. We calculated stellar luminosities through spectral energy distributions, while stellar masses were derived by comparison with evolutio…
▽ More
We use the fundamental parameters delivered by the GES consortium in the first internal data release to select the members of $γ$ Vel and Cha I among the UVES and GIRAFFE spectroscopic observations. A total of 140 $γ$ Vel members and 74 Cha I members were studied. We calculated stellar luminosities through spectral energy distributions, while stellar masses were derived by comparison with evolutionary tracks. The spectral subtraction of low-activity and slowly rotating templates, which are rotationally broadened to match the $v\sin i$ of the targets, enabled us to measure the equivalent widths (EWs) and the fluxes in the H$α$ and H$β$ lines. The H$α$ line was also used for identifying accreting objects and for evaluating the mass accretion rate ($\dot M_{\rm acc}$). The distribution of $v\sin i$ for the members of $γ$ Vel displays a peak at about 10 km s$^{-1}$ with a tail toward faster rotators. There is also some indication of a different $v\sin i$ distribution for the members of its two kinematical populations. Only a handful of stars in $γ$ Vel display signatures of accretion, while many more accretors were detected in the younger Cha~I. Accreting and active stars occupy two different regions in a $T_{\rm eff}$-flux diagram and we propose a criterion for distinguishing them. We derive $\dot M_{\rm acc}$ in the ranges $10^{-11}$-$10^{-9} M_\odot$yr$^{-1}$ and $10^{-10}$-$10^{-7} M_\odot$yr$^{-1}$ for $γ$ Vel and Cha I accretors, respectively. We find less scatter in the $\dot M_{\rm acc}-M_\star$ relation derived through the H$α$ EWs, when compared to the H$α$ $10\%W$ diagnostics, in agreement with other authors.
△ Less
Submitted 12 December, 2014;
originally announced December 2014.
-
Explaining Violation Traces with Finite State Natural Language Generation Models
Authors:
Gordon J. Pace,
Michael Rosner
Abstract:
An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In th…
▽ More
An essential element of any verification technique is that of identifying and communicating to the user, system behaviour which leads to a deviation from the expected behaviour. Such behaviours are typically made available as long traces of system actions which would benefit from a natural language explanation of the trace and especially in the context of business logic level specifications. In this paper we present a natural language generation model which can be used to explain such traces. A key idea is that the explanation language is a CNL that is, formally speaking, regular language susceptible transformations that can be expressed with finite state machinery. At the same time it admits various forms of abstraction and simplification which contribute to the naturalness of explanations that are communicated to the user.
△ Less
Submitted 9 June, 2014;
originally announced June 2014.
-
Comprehensive Monitor-Oriented Compensation Programming
Authors:
Christian Colombo,
Gordon J. Pace
Abstract:
Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activities such as financial transactions. While traditional exception handling depends on the state of the system at the moment of failure, compensation programming is significantly more challenging and dynamic because it is d…
▽ More
Compensation programming is typically used in the programming of web service compositions whose correct implementation is crucial due to their handling of security-critical activities such as financial transactions. While traditional exception handling depends on the state of the system at the moment of failure, compensation programming is significantly more challenging and dynamic because it is dependent on the runtime execution flow - with the history of behaviour of the system at the moment of failure affecting how to apply compensation. To address this dynamic element, we propose the use of runtime monitors to facilitate compensation programming, with monitors enabling the modeller to be able to implicitly reason in terms of the runtime control flow, thus separating the concerns of system building and compensation modelling. Our approach is instantiated into an architecture and shown to be applicable to a case study.
△ Less
Submitted 3 April, 2014;
originally announced April 2014.
-
Lithium abundance evolution in open clusters: Hyades, NGC752, and M67
Authors:
Matthieu Castro,
Giancarlo Pace,
José Dias do Nascimento Jr
Abstract:
Mixing mechanisms bring the Li from the base of the convective zone to deeper and warmer layers where it is destroyed. These mechanisms are investigated by comparing observations of Li abundances in stellar atmospheres to models of stellar evolution. Observations in open cluster are especially suitable for this comparison, since their age and metallicity are homogeneous among their members and bet…
▽ More
Mixing mechanisms bring the Li from the base of the convective zone to deeper and warmer layers where it is destroyed. These mechanisms are investigated by comparing observations of Li abundances in stellar atmospheres to models of stellar evolution. Observations in open cluster are especially suitable for this comparison, since their age and metallicity are homogeneous among their members and better determined than in field stars. In this work, we compare the evolution of Li abundances in three different clusters: the Hyades, NGC752, and M67. Our models are calculated with microscopic diffusion and transport of chemicals by meridional circulation, and calibrated on the Sun. These comparisons allow us to follow the evolution of Li abundance as a function of stellar mass in each cluster and as a function of the age by comparing this evolution in each cluster. We evaluate the efficiency of the mixing mechanisms used in the models, and we try to identify the lacking mechanisms to reproduce the observed evolution of Li abundance.
△ Less
Submitted 30 September, 2013;
originally announced September 2013.
-
The ionizing sources of luminous compact HII regions in the RCW106 and RCW122 clouds
Authors:
J. M. C. Grave,
M. S. N. Kumar,
D. K. Ojha,
G. Teixeira,
G. Pace
Abstract:
Given the rarity of young O star candidates, compact HII regions embedded in dense molecular cores continue to serve as potential sites to peer into the details of high-mass star formation. To uncover the ionizing sources of the most luminous and compact HII regions embedded in the RCW106 and RCW122 giant molecular clouds, known to be relatively nearby (2-4 kpc) and isolated, thus providing an opp…
▽ More
Given the rarity of young O star candidates, compact HII regions embedded in dense molecular cores continue to serve as potential sites to peer into the details of high-mass star formation. To uncover the ionizing sources of the most luminous and compact HII regions embedded in the RCW106 and RCW122 giant molecular clouds, known to be relatively nearby (2-4 kpc) and isolated, thus providing an opportunity to examine spatial scales of a few hundred to a thousand AU in size. High spatial resolution (0.3"), mid-infrared spectra (R=350), including the fine structure lines [ArIII] and [NeII], were obtained for four luminous compact HII regions, embedded inside the dense cores within the RCW106 and RCW122 molecular cloud complexes. At this resolution, these targets reveal point-like sources surrounded by nebulosity of different morphologies, uncovering details at spatial dimensions of <1000AU. The point-like sources display [ArIII] and [NeII] lines - the ratios of which are used to estimate the temperature of the embedded sources. The derived temperatures are indicative of mid-late O type objects for all the sources with [ArIII] emission. Previously known characteristics of these targets from the literature, including evidence of disk or accretion suggest that the identified sources may grow more to become early-type O stars by the end of the star formation process.
△ Less
Submitted 6 February, 2014; v1 submitted 1 July, 2013;
originally announced July 2013.
-
Kinematics and chemical properties of the Galactic stellar populations. The HARPS FGK dwarfs sample
Authors:
V. Zh. Adibekyan,
P. Figueira,
N. C. Santos,
A. A. Hakobyan,
S. G. Sousa,
G. Pace,
E. Delgado Mena,
A. C. Robin,
G. Israelian,
J. I. Gonzalez Hernandez
Abstract:
(Abridged) We analyze chemical and kinematical properties of about 850 FGK solar neighborhood long-lived dwarfs observed with the HARPS high-resolution spectrograph. The stars in the sample have logg > 4 dex, 5000 < Teff < 6500 K, and -1.39 < [Fe/H] < 0.55 dex. We apply a purely chemical analysis approach based on the [alpha/Fe] vs. [Fe/H] plot to separate Galactic stellar populations into the thi…
▽ More
(Abridged) We analyze chemical and kinematical properties of about 850 FGK solar neighborhood long-lived dwarfs observed with the HARPS high-resolution spectrograph. The stars in the sample have logg > 4 dex, 5000 < Teff < 6500 K, and -1.39 < [Fe/H] < 0.55 dex. We apply a purely chemical analysis approach based on the [alpha/Fe] vs. [Fe/H] plot to separate Galactic stellar populations into the thin disk, thick disk and high-alpha metal-rich (hamr). Our analysis shows a negative gradient of the rotational velocity of the thin disk stars with [Fe/H] (-17 km s^-1 dex^-1), and a steep positive gradient for both the thick disk and hamr stars with the same magnitude of about +42 km s^-1 dex^-1. For the thin disk stars we observed no correlation between orbital eccentricities and metallicity, but observed a steep negative gradient for the thick disk and hamr stars with practically the same magnitude (about -0.18 dex^-1). Our results suggest that radial migration played an important role in the formation and evolution of the thin disk. For the thick disk stars it is not possible to reach a firm conclusion about their origin. Based on the eccentricity distribution of the thick disk stars only their accretion origin can be ruled out, and the heating and migration scenario could explain the positive steep gradient of V_phi with [Fe/H]. Analyzing the hamr stellar population we found that they share properties of both the thin and thick disk population. A comparison of the properties of the hamr stars with that of the subsample of stars from the N-body/SPH simulation using radial migration suggest that they may have originated from the inner Galaxy. Further detailed investigations would help to clarify their exact nature and origin.
△ Less
Submitted 10 April, 2013; v1 submitted 9 April, 2013;
originally announced April 2013.
-
Extensible Technology-Agnostic Runtime Verification
Authors:
Christian Colombo,
Adrian Francalanza,
Ruth Mizzi,
Gordon J. Pace
Abstract:
With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and using, different technologies and languages. While this enables developers to use the appropriate technologies for specific contexts, it becomes more challenging to ensure the correctness of the overall system. In this pap…
▽ More
With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and using, different technologies and languages. While this enables developers to use the appropriate technologies for specific contexts, it becomes more challenging to ensure the correctness of the overall system. In this paper we propose a framework to enable extensible technology agnostic runtime verification and we present an extension of polyLarva, a runtime-verification tool able to handle the monitoring of heterogeneous-component systems. The approach is then applied to a case study of a component-based artefact using different technologies, namely C and Java.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
Chromospheric activity as age indicator
Authors:
Giancarlo Pace
Abstract:
Chromospheric activity has been calibrated and widely used as an age indicator. However, it has been suggested that the viability of this age indicator is, in the best case, limited to stars younger than about 1.5 Gyr. I aim to define the age range for which chromospheric activity is a robust astrophysical clock. I collected literature measurements of the S-index in field stars, which is a measure…
▽ More
Chromospheric activity has been calibrated and widely used as an age indicator. However, it has been suggested that the viability of this age indicator is, in the best case, limited to stars younger than about 1.5 Gyr. I aim to define the age range for which chromospheric activity is a robust astrophysical clock. I collected literature measurements of the S-index in field stars, which is a measure of the strength of the H and K lines of the Ca II and a proxy for chromospheric activity, and exploited the homogeneous database of temperature and age determinations for field stars provided by the Geneva-Copenhagen survey of the solar neighbourhood. Field data, inclusive data previously used to calibrate chromospheric ages, confirm the result found using open cluster data, i.e. there is no decay of chromospheric activity after about 2 Gyr. The only existing indication supporting the viability of chromospheric ages older than 2 Gyr is the similarity of chromospheric activity levels in the components of 35 dwarf binaries. However, even in the most optimistic scenario, uncertainty in age determination for field stars and lack of sufficient data in open clusters make any attempt of calibrating an age activity relationship for old stars premature. The hypothesis that chromospheric activity follows the Skumanich law, i.e. that it is proportional to the inverse square root of the age, should be relaxed.
△ Less
Submitted 30 January, 2013; v1 submitted 23 January, 2013;
originally announced January 2013.
-
Contracts for Interacting Two-Party Systems
Authors:
Gordon J. Pace,
Fernando Schapachnik
Abstract:
This article deals with the interrelation of deontic operators in contracts -- an aspect often neglected when considering only one of the involved parties. On top of an automata-based semantics we formalise the onuses that obligations, permissions and prohibitions on one party impose on the other. Such formalisation allows for a clean notion of contract strictness and a derived notion of contract…
▽ More
This article deals with the interrelation of deontic operators in contracts -- an aspect often neglected when considering only one of the involved parties. On top of an automata-based semantics we formalise the onuses that obligations, permissions and prohibitions on one party impose on the other. Such formalisation allows for a clean notion of contract strictness and a derived notion of contract conflict that is enriched with issues arising from party interdependence.
△ Less
Submitted 11 September, 2012;
originally announced September 2012.
-
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Authors:
Gordon J. Pace,
Anders P. Ravn
Abstract:
The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level models of contracts are making their way into the area, but application developers are still left to their own devices when it comes to writing code that will comply with a contract concluded before service provision. At the…
▽ More
The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level models of contracts are making their way into the area, but application developers are still left to their own devices when it comes to writing code that will comply with a contract concluded before service provision. At the programming language level, contracts appear as separate concerns that crosscut through application logic. Therefore there is a need for contract analysis tools that extract abstracted models from applications so they become amenable to formal reasoning using formal language techniques.
Since its inception, the aim of of FLACOS has been that of bringing together researchers and practitioners working on language- or application-based solutions to these problems through the formalization of contracts, the design of appropriate abstraction mechanisms, and tools and techniques for analysis of contracts, and analysis, testing and monitoring of conformance to contracts by applications.
△ Less
Submitted 8 September, 2012;
originally announced September 2012.
-
Lithium in M67: From the main sequence to the red giant branch
Authors:
Giancarlo Pace,
Matthieu Castro,
Jorge Melendez,
Sylvie Theado,
Jose-Dias do Nascimento Jr
Abstract:
Lithium abundances in open clusters are a very effective probe of mixing processes, and their study can help to understand the large depletion of lithium in the Sun. Due to its age and metallicity, the open cluster M67 is especially interesting on this regard. Many studies on lithium abundances in M67 have already been performed, but a homogeneous global analysis of lithium in stars from subsolar…
▽ More
Lithium abundances in open clusters are a very effective probe of mixing processes, and their study can help to understand the large depletion of lithium in the Sun. Due to its age and metallicity, the open cluster M67 is especially interesting on this regard. Many studies on lithium abundances in M67 have already been performed, but a homogeneous global analysis of lithium in stars from subsolar up to the most massive members, was never accomplished for a large sample based on high-quality spectra. We tested our non-standard models, which were calibrated using the Sun with observational data. We collected literature data to follow, for the first time in a homogeneous way, NLTE lithium abundances of all observed single stars in M67 more massive than about 0.9 solar masses. Our grid of evolutionary models were computed with non-standard mixing at metallicity [Fe/H] = 0.01, using the Toulouse-Geneva evolution code. The analysis is started from the entrance in the ZAMS. Lithium in M67 is a tight function of mass for stars more massive than the Sun, apart of a few outliers. A plateau in lithium abundances is observed for turn-off stars. Both less massive and more massive stars are more depleted than those in the plateau. There is a significant scatter in lithium abundances for any given mass lower than M <= 1.1 solar masses. Our models qualitatively reproduce most of the features described above, although the predicted depletion of lithium is 0.45 dex smaller than observed for masses in the plateau region, i.e. between 1.1 and 1.28 solar masses. Clearly, more work is needed to throughly match the observations. Despite hints that chromospheric activity and rotation play a role in lithium depletion, no firm conclusion can be drawn with the presently available data.
△ Less
Submitted 18 April, 2012; v1 submitted 20 March, 2012;
originally announced March 2012.
-
Metallicities for 6 nearby open clusters from high-resolution spectra of giant stars. [Fe/H] values for a planet search sample
Authors:
N. C. Santos,
C. Lovis,
J. Melendez,
M. Montalto,
D. Naef,
G. Pace
Abstract:
We present a study of the stellar parameters and iron abundances of 18 giant stars in 6 open clusters. The analysis was based on high-resolution and high-S/N spectra obtained with the UVES spectrograph (VLT-UT2). The results complement our previous study where 13 clusters were already analyzed. The total sample of 18 clusters is part of a program to search for planets around giant stars. The resul…
▽ More
We present a study of the stellar parameters and iron abundances of 18 giant stars in 6 open clusters. The analysis was based on high-resolution and high-S/N spectra obtained with the UVES spectrograph (VLT-UT2). The results complement our previous study where 13 clusters were already analyzed. The total sample of 18 clusters is part of a program to search for planets around giant stars. The results show that the 18 clusters cover a metallicity range between -0.23 and +0.23 dex. Together with the derivation of the stellar masses, these metallicities will allow the metallicity and mass effects to be disentangled when analyzing the frequency of planets as a function of these stellar parameters.
△ Less
Submitted 5 January, 2012;
originally announced January 2012.
-
The discontinuous nature of chromospheric activity evolution
Authors:
G. Pace
Abstract:
Chromospheric activity has been thought to decay smoothly with time and, hence, to be a viable age indicator. Measurements in solar type stars in open clusters seem to point to a different conclusion: chromospheric activity undergoes a fast transition from Hyades level to that of the Sun after about 1 Gyr of main--sequence lifetime and any decaying trend before or after this transition must be m…
▽ More
Chromospheric activity has been thought to decay smoothly with time and, hence, to be a viable age indicator. Measurements in solar type stars in open clusters seem to point to a different conclusion: chromospheric activity undergoes a fast transition from Hyades level to that of the Sun after about 1 Gyr of main--sequence lifetime and any decaying trend before or after this transition must be much less significant than the short term variations.
△ Less
Submitted 15 February, 2010; v1 submitted 12 February, 2010;
originally announced February 2010.
-
Abundances and physical parameters for stars in the open clusters NGC 5822 and IC 4756
Authors:
G. Pace,
J. Danziger,
G. Carraro,
J. Melendez,
P. Francois,
F. Matteucci,
N. C. Santos,
;
Abstract:
Classical chemical analyses may be affected by systematic errors that would cause observed abundance differences between dwarfs and giants. For some elements, however, the abundance difference could be real. We address the issue by observing 2 solar--type dwarfs in NGC 5822 and 3 in IC 4756, and comparing their composition with that of 3 giants in either of the aforementioned clusters. We…
▽ More
Classical chemical analyses may be affected by systematic errors that would cause observed abundance differences between dwarfs and giants. For some elements, however, the abundance difference could be real. We address the issue by observing 2 solar--type dwarfs in NGC 5822 and 3 in IC 4756, and comparing their composition with that of 3 giants in either of the aforementioned clusters. We determine iron abundance and stellar parameters of the dwarf stars, and the abundances of calcium, sodium, nickel, titanium, aluminium, chromium, silicon and oxygen for both the giants and dwarfs. We acquired UVES high-resolution, of high signal--to--noise ratio (S/N) spectra. The width of the cross correlation profiles was used to measure rotation velocities. For abundance determinations, the standard equivalent width analysis was performed differentially with respect to the Sun. For lithium and oxygen, we derived abundances by comparing synthetic spectra with observed line features. We find an iron abundance for dwarf stars equal to solar to within the margins of error for IC 4756, and slightly above for NGC 5822 ([Fe/H]= 0.01 and 0.05 dex respectively). The 3 stars in NG 4756 have lithium abundances between Log N(Li) 2.6 and 2.8 dex, the two stars in NGC 5822 have Log N(Li) ~ 2.8 and 2.5, respectively. For sodium, silicon, and titanium, we show that abundances of giants are significantly higher than those of the dwarfs of the same cluster (about 0.15, 0.15, and 0.35 dex).
△ Less
Submitted 8 March, 2010; v1 submitted 12 February, 2010;
originally announced February 2010.
-
An investigation of chromospheric activity spanning the Vaughan--Preston gap: impact on stellar ages
Authors:
G. Pace,
J. Melendez,
L. Pasquini,
G. Carraro,
J. Danziger,
P. Francois,
F. Matteucci,
N. C. Santos
Abstract:
Chromospheric activity is widely used as an age indicator for solar-type stars based on the early evidence that there is a smooth evolution from young and active to old and inactive stars. We analysed chromospheric activity in five solar-type stars in two open clusters, in order to study how chromospheric activity evolves with time. We took UVES high-resolution, high S/N ratio spectra of 3 stars…
▽ More
Chromospheric activity is widely used as an age indicator for solar-type stars based on the early evidence that there is a smooth evolution from young and active to old and inactive stars. We analysed chromospheric activity in five solar-type stars in two open clusters, in order to study how chromospheric activity evolves with time. We took UVES high-resolution, high S/N ratio spectra of 3 stars in IC 4756 and 2 in NGC 5822, which were combined with a previously studied data-set and reanalysed here. The emission core of the deep, photospheric Ca II K line was used as a probe of the chromospheric activity. All of the 5 stars in the new sample, including those in the 1.2 Gyr-old NGC 5822, have activity levels comparable to those of Hyades and Praesepe. A likely interpretation of our data is that solar-type-star chromospheric activity, from the age of the Hyades until that of the Sun, does not evolve smoothly. Stars change from active to inactive on a short timescale. Evolution before and after such a transition is much less significant than cyclical and long-term variations. We show that data presented in the literature to support a correlation between age and activity could be also interpreted differently in the light of our results.
△ Less
Submitted 3 May, 2010; v1 submitted 21 April, 2009;
originally announced April 2009.
-
Membership and lithium in the old, metal-poor open cluster Berkeley 32
Authors:
S. Randich,
G. Pace,
L. Pastori,
A. Bragaglia
Abstract:
Measurements of lithium (Li) abundances in open clusters provide a unique tool for following the evolution of this element with age, metallicity, and stellar mass. Using FLAMES/Giraffe on the VLT, we obtained spectra of 157 candidate members of the old, metal-poor cluster Berkeley 32, to determine membership and to study the Li behavior of confirmed members. Radial velocities were measured, allo…
▽ More
Measurements of lithium (Li) abundances in open clusters provide a unique tool for following the evolution of this element with age, metallicity, and stellar mass. Using FLAMES/Giraffe on the VLT, we obtained spectra of 157 candidate members of the old, metal-poor cluster Berkeley 32, to determine membership and to study the Li behavior of confirmed members. Radial velocities were measured, allowing us to derive both the cluster velocity and membership information for the sample stars. The Li abundances were obtained from the equivalent width of the Li I 670.8 nm feature, using curves of growth.We obtained an average radial velocity of 105.2 +/- 0.86 km/s; 53 % of the stars are confirmed as members.The Li - effective temperature distribution of unevolved members matches the upper envelope of M 67, as well as that of the slightly older and more metal-rich NGC 188.No major dispersion in Li is detected. When considering the Li distribution as a function of mass, however, Be 32 members with solar-like temperature are less massive and less Li-depleted than their counterparts in the other clusters. The mean Li of stars in the temperature interval 5750 < Teff < 6050 K is log n(Li)=2.47 +/- 0.16, less than a factor of two below the average Li of the 600 Myr old Hyades, and slightly above the average of intermediate age (1-2 Gyr) clusters, the upper envelope of M67, and NGC 188. This value is comparable to or slightly higher than the plateau of Pop. II stars. The similarity of the average Li abundance of clusters of different age and metallicity, along with its closeness to the halo dwarf plateau, is very intriguing and suggests that, whatever the initial Li abundance and the Li depletion histories, old stars converge to almost the same final Li abundance.
△ Less
Submitted 11 March, 2009;
originally announced March 2009.
-
Metallicities for 13 nearby open clusters from high-resolution spectroscopy of dwarf and giant stars. Stellar metallicity, stellar mass, and giant planets
Authors:
N. C. Santos,
C. Lovis,
G. Pace,
J. Melendez,
D. Naef
Abstract:
We present a study of accurate stellar parameters and iron abundances for 39 giants and 16 dwarfs in the 13 open clusters IC2714, IC4651, IC4756, NGC2360, NGC2423, NGC2447 (M93), NGC2539, NGC2682 (M67), NGC3114, NGC3680, NGC4349, NGC5822, NGC6633. The analysis was done using a set of high-resolution and high-S/N spectra obtained with the UVES spectrograph (VLT). These clusters are currently bein…
▽ More
We present a study of accurate stellar parameters and iron abundances for 39 giants and 16 dwarfs in the 13 open clusters IC2714, IC4651, IC4756, NGC2360, NGC2423, NGC2447 (M93), NGC2539, NGC2682 (M67), NGC3114, NGC3680, NGC4349, NGC5822, NGC6633. The analysis was done using a set of high-resolution and high-S/N spectra obtained with the UVES spectrograph (VLT). These clusters are currently being searched for planets using precise radial velocities. For all the clusters, the derived average metallicities are close to solar. Interestingly, the values derived seem to depend on the line-list used. This dependence and its implications for the study of chemical abundances in giants stars are discussed. We show that a careful choice of the lines may be crucial for the derivation of metallicities for giant stars on the same metallicity scale as those derived for dwarfs. Finally, we discuss the implications of the derived abundances for the metallicity- and mass-giant planet correlation. We conclude that a good knowledge of the two parameters is necessary to correctly disentangle their influence on the formation of giant planets.
△ Less
Submitted 14 November, 2008;
originally announced November 2008.
-
Abundances of four open clusters from solar stars
Authors:
G. Pace,
L. Pasquini,
P. François
Abstract:
We present the abundance measurements of several elements (Fe, Ca, Na, Ni, Ti, Al, Cr, Si) for 20 solar--type stars belonging to four Galactic open clusters: NGC 3680, IC 4651, Praesepe, and M 67. Oxygen abundances were in addition measured for most of the stars in each cluster apart from IC 4651. For NGC 3680 accurate abundance determinations using high--resolution spectra covering a large spec…
▽ More
We present the abundance measurements of several elements (Fe, Ca, Na, Ni, Ti, Al, Cr, Si) for 20 solar--type stars belonging to four Galactic open clusters: NGC 3680, IC 4651, Praesepe, and M 67. Oxygen abundances were in addition measured for most of the stars in each cluster apart from IC 4651. For NGC 3680 accurate abundance determinations using high--resolution spectra covering a large spectral domain are computed for the first time. We used UVES high--resolution, high signal to noise ratio spectra and performed a differential analysis with respect to the sun, by measuring equivalent widths and assuming LTE. The most surprising result is a significant supersolar metallicity for Praesepe ([Fe/H]=0.27+-0.10). As for the other clusters, we confirm a supersolar metallicity for IC 4651 ([Fe/H]=0.12+-0.05), a solar metallicity for M 67 ([Fe/H]=0.03+-0.04) and a slight subsolar metallicity for NGC 3680 ([Fe/H]=-0.04+-0.03). We find that the abundance ratios of almost all elements are solar, with the notable exception of oxygen in NGC 3680 and Praesepe, supersolar in the former cluster ([O/Fe]=0.2+-0.05) and as low as [O/Fe]=-0.4+-0.1 in the latter. Observations of several objects per cluster is required to obtain robust results, especially for those elements with a limited number of suitable lines.
△ Less
Submitted 2 September, 2008; v1 submitted 13 June, 2008;
originally announced June 2008.
-
Abundance anomalies in NGC 2808
Authors:
G. Pace,
A. Recio-Blanco,
G. Piotto,
Y. Momany
Abstract:
We present metallicity measurements of 25 stars in the blue horizontal branch of the Galactic globular cluster NGC 2808. Our measurements are based on moderate-resolution spectra taken with the multi-object fiber facility FLAMES-UVES, mounted on Kueyen at the Very Large Telescope. We confirm that stars hotter than a threshold temperature have super-solar abundance, while the cooler ones respect…
▽ More
We present metallicity measurements of 25 stars in the blue horizontal branch of the Galactic globular cluster NGC 2808. Our measurements are based on moderate-resolution spectra taken with the multi-object fiber facility FLAMES-UVES, mounted on Kueyen at the Very Large Telescope. We confirm that stars hotter than a threshold temperature have super-solar abundance, while the cooler ones respect the nominal metallicity of the cluster, i.e. [Fe/H] ~ -1.1. The threshold temperature is estimated to be about 12000 K, corresponding to the so called u-jump, and coincides with the sudden departure of the cluster horizontal branch from the models. The metallicity increases with temperature for star hotter than the jump, confirming the hypothesis that the process responsible for this abrupt metallic enhancement is the levitation due to the strong radiation field in absence of a significative convective envelope. A metallicity dependence of the abundance enhancement is also suggested, with more metal poor clusters having a higher increase in metal content. The slope in the temperature vs. abundance diagram is higher than the errors involved, and the metal content of the cluster plays possibly a role in determining the amplitude of the jump (more metal poor clusters show more enhancement after the jump), although other parameters, such as clusters' characteristics and even the atomic species involved, may also someway contribute.
△ Less
Submitted 1 March, 2006; v1 submitted 28 February, 2006;
originally announced February 2006.
-
The Age-Activity-Rotation Relationship in Solar-Type Stars
Authors:
Giancarlo Pace,
Luca Pasquini
Abstract:
Measured from high-resolution spectra, we present Ca II K line chromospheric fluxes in 35 G dwarf stars of 5 open clusters to determine the age-activity-rotation relationship from the young Hyades and Praesepe (0.6 Gyr) to the old M 67 (~ 4.5 Gyr) through the two intermediate age clusters IC 4651 and NGC 3680 (~ 1.7 Gyr). Our data show that a dramatic decrease in chromospheric activity takes pla…
▽ More
Measured from high-resolution spectra, we present Ca II K line chromospheric fluxes in 35 G dwarf stars of 5 open clusters to determine the age-activity-rotation relationship from the young Hyades and Praesepe (0.6 Gyr) to the old M 67 (~ 4.5 Gyr) through the two intermediate age clusters IC 4651 and NGC 3680 (~ 1.7 Gyr). Our data show that a dramatic decrease in chromospheric activity takes place among solar stars between the Hyades and the IC4651 age, in about 1 Gyr. Afterwards, activity remains virtually constant for more than 3 Gyr. We briefly investigate the impact of this result on the age determinations of field G dwarfs in the solar neighborhood; the two main conclusions are that a consistent group of 'young' stars (i.e. as active as Hyades stars) is present, and that it is virtually impossible to give accurate chromospheric ages for stars older than ~ 2 Gyr. The observed abrupt decline in activity explains very well the Vaughan-Preston gap.
△ Less
Submitted 29 June, 2004;
originally announced June 2004.
-
The Wilson--Bappu Effect: a tool to determine stellar distances
Authors:
Giancarlo Pace,
Luca Pasquini,
Sergio Ortolani
Abstract:
Wilson and Bappu (1957) have shown the existence of a remarkable correlation between the width of the emission in the core of the K line of Ca II and the absolute visual magnitude of late--type stars. Here we present a new calibration of the Wilson--Bappu effect based on a sample of 119 nearby stars. We use, for the first time, width measurements based on high resolution and high signal to noise…
▽ More
Wilson and Bappu (1957) have shown the existence of a remarkable correlation between the width of the emission in the core of the K line of Ca II and the absolute visual magnitude of late--type stars. Here we present a new calibration of the Wilson--Bappu effect based on a sample of 119 nearby stars. We use, for the first time, width measurements based on high resolution and high signal to noise ratio CCD spectra and absolute visual magnitudes from the Hipparcos database. Our primary goal is to investigate the possibility of using the Wilson--Bappu effect to determine accurate distances to single stars and groups. The result of our calibration fitting of the Wilson--Bappu relationship is M_V=33.2-18.0*log W_0, and the determination seems free of systematic effects. The root mean square error of the fitting is 0.6 magnitudes. This error is mostly accounted for by measurement errors and intrinsic variability of W_0, but in addition a possible dependence on the metallicity is found, which becomes clearly noticeable for metallicities below [Fe/H]=-0.4. This detection is possible because in our sample [Fe/H] ranges from -1.5 to 0.4. The Wilson--Bappu effect can be used confidently for all metallicities not lower than -0.4, including the LMC. While it does not provide accurate distances to single stars, it is a useful tool to determine accurate distances to clusters and aggregates, where a sufficient number of stars can be observed. We apply the Wilson--Bappu effect to published data of the open cluster M67; the retrieved distance modulus is of 9.65 magnitude, in very good agreement with the best distance estimations for this cluster, based on main sequence fitting.
△ Less
Submitted 5 February, 2003; v1 submitted 31 January, 2003;
originally announced January 2003.