-
Optimal Transport-based Domain Alignment as a Preprocessing Step for Federated Learning
Authors:
Luiz Manella Pereira,
M. Hadi Amini
Abstract:
Federated learning (FL) is a subfield of machine learning that avoids sharing local data with a central server, which can enhance privacy and scalability. The inability to consolidate data leads to a unique problem called dataset imbalance, where agents in a network do not have equal representation of the labels one is trying to learn to predict. In FL, fusing locally-trained models with unbalance…
▽ More
Federated learning (FL) is a subfield of machine learning that avoids sharing local data with a central server, which can enhance privacy and scalability. The inability to consolidate data leads to a unique problem called dataset imbalance, where agents in a network do not have equal representation of the labels one is trying to learn to predict. In FL, fusing locally-trained models with unbalanced datasets may deteriorate the performance of global model aggregation, and reduce the quality of updated local models and the accuracy of the distributed agents' decisions. In this work, we introduce an Optimal Transport-based preprocessing algorithm that aligns the datasets by minimizing the distributional discrepancy of data along the edge devices. We accomplish this by leveraging Wasserstein barycenters when computing channel-wise averages. These barycenters are collected in a trusted central server where they collectively generate a target RGB space. By projecting our dataset towards this target space, we minimize the distributional discrepancy on a global level, which facilitates the learning process due to a minimization of variance across the samples. We demonstrate the capabilities of the proposed approach over the CIFAR-10 dataset, where we show its capability of reaching higher degrees of generalization in fewer communication rounds.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Towards Characterizing Cyber Networks with Large Language Models
Authors:
Alaric Hartsock,
Luiz Manella Pereira,
Glenn Fink
Abstract:
Threat hunting analyzes large, noisy, high-dimensional data to find sparse adversarial behavior. We believe adversarial activities, however they are disguised, are extremely difficult to completely obscure in high dimensional space. In this paper, we employ these latent features of cyber data to find anomalies via a prototype tool called Cyber Log Embeddings Model (CLEM). CLEM was trained on Zeek…
▽ More
Threat hunting analyzes large, noisy, high-dimensional data to find sparse adversarial behavior. We believe adversarial activities, however they are disguised, are extremely difficult to completely obscure in high dimensional space. In this paper, we employ these latent features of cyber data to find anomalies via a prototype tool called Cyber Log Embeddings Model (CLEM). CLEM was trained on Zeek network traffic logs from both a real-world production network and an from Internet of Things (IoT) cybersecurity testbed. The model is deliberately overtrained on a sliding window of data to characterize each window closely. We use the Adjusted Rand Index (ARI) to comparing the k-means clustering of CLEM output to expert labeling of the embeddings. Our approach demonstrates that there is promise in using natural language modeling to understand cyber data.
△ Less
Submitted 11 November, 2024;
originally announced November 2024.
-
Radiative Decay of the $^{229m}$Th Nuclear Clock Isomer in Different Host Materials
Authors:
S. V. Pineda,
P. Chhetri,
S. Bara,
Y. Elskens,
S. Casci,
A. N. Alexandrova,
M. Au,
M. Athanasakis-Kaklamanakis,
M. Bartokos,
K. Beeks,
C. Bernerd,
A. Claessens,
K. Chrysalidis,
T. E. Cocolios,
J. G. Correia,
H. De Witte,
R. Elwell,
R. Ferrer,
R. Heinke,
E. R. Hudson,
F. Ivandikov,
Yu. Kudryavtsev,
U. Köster,
S. Kraemer,
M. Laatiaoui
, et al. (20 additional authors not shown)
Abstract:
A comparative vacuum ultraviolet spectroscopy study conducted at ISOLDE-CERN of the radiative decay of the $^{229m}$Th nuclear clock isomer embedded in different host materials is reported. The ratio of the number of radiative decay photons and the number of $^{229m}$Th embedded are determined for single crystalline CaF$_2$, MgF$_2$, LiSrAlF$_6$, AlN, and amorphous SiO$_2$. For the latter two mate…
▽ More
A comparative vacuum ultraviolet spectroscopy study conducted at ISOLDE-CERN of the radiative decay of the $^{229m}$Th nuclear clock isomer embedded in different host materials is reported. The ratio of the number of radiative decay photons and the number of $^{229m}$Th embedded are determined for single crystalline CaF$_2$, MgF$_2$, LiSrAlF$_6$, AlN, and amorphous SiO$_2$. For the latter two materials, no radiative decay signal was observed and an upper limit of the ratio is reported. The radiative decay wavelength was determined in LiSrAlF$_6$ and CaF$_2$, reducing its uncertainty by a factor of 2.5 relative to our previous measurement. This value is in agreement with the recently reported improved values from laser excitation.
△ Less
Submitted 23 August, 2024; v1 submitted 22 August, 2024;
originally announced August 2024.
-
Induced superconducting correlations in the quantum anomalous Hall insulator
Authors:
Anjana Uday,
Gertjan Lippertz,
Kristof Moors,
Henry F. Legg,
Andrea Bliesener,
Lino M. C. Pereira,
A. A. Taskin,
Yoichi Ando
Abstract:
Inducing Cooper pairing in a thin ferromagnetic topological insulator in the quantum anomalous Hall state (called quantum anomalous Hall insulator, QAHI) is a promising way to realize topological superconductivity with associated chiral Majorana edge states. However, finding evidence of superconducting proximity effect in a QAHI has proven to be a considerable challenge due to inherent experimenta…
▽ More
Inducing Cooper pairing in a thin ferromagnetic topological insulator in the quantum anomalous Hall state (called quantum anomalous Hall insulator, QAHI) is a promising way to realize topological superconductivity with associated chiral Majorana edge states. However, finding evidence of superconducting proximity effect in a QAHI has proven to be a considerable challenge due to inherent experimental difficulties. Here we report the observation of crossed Andreev reflection (CAR) across a narrow superconducting Nb electrode contacting the chiral edge state of a QAHI, evinced by a negative nonlocal voltage measured downstream from the grounded Nb electrode. This is an unambiguous signature of induced superconducting pair correlation in the chiral edge state. Our theoretical analysis demonstrates that CAR processes of the chiral edge are not strongly dependent on the nature of the superconductivity that mediates them. Nevertheless, the characteristic length of the CAR process is found to be much longer than the superconducting correlation length in Nb, which suggests that the CAR is in fact mediated by superconductivity induced on the QAHI surface. The approach and results presented here provide a foundation for future studies of topological superconductivity and Majorana physics, as well as for the search for non-Abelian zero modes.
△ Less
Submitted 17 July, 2023;
originally announced July 2023.
-
The evolutionary advantage of guilt: co-evolution of social and non-social guilt in structured populations
Authors:
Theodor Cimpeanu,
Luis Moniz Pereira,
The Anh Han
Abstract:
Building ethical machines may involve bestowing upon them the emotional capacity to self-evaluate and repent on their actions. While apologies represent potential strategic interactions, the explicit evolution of guilt as a behavioural trait remains poorly understood. Our study delves into the co-evolution of two forms of emotional guilt: social guilt entails a cost, requiring agents to exert effo…
▽ More
Building ethical machines may involve bestowing upon them the emotional capacity to self-evaluate and repent on their actions. While apologies represent potential strategic interactions, the explicit evolution of guilt as a behavioural trait remains poorly understood. Our study delves into the co-evolution of two forms of emotional guilt: social guilt entails a cost, requiring agents to exert efforts to understand others' internal states and behaviours; and non-social guilt, which only involves awareness of one's own state, incurs no social cost. Resorting to methods from evolutionary game theory, we study analytically, and through extensive numerical and agent-based simulations, whether and how guilt can evolve and deploy, depending on the underlying structure of the systems of agents. Our findings reveal that in lattice and scale-free networks, strategies favouring emotional guilt dominate a broader range of guilt and social costs compared to non-structured well-mixed populations, so leading to higher levels of cooperation. In structured populations, both social and non-social guilt can thrive through clustering with emotionally inclined strategies, thereby providing protection against exploiters, particularly for less costly non-social strategies. These insights shed light on the complex interplay of guilt and cooperation, enhancing our understanding of ethical artificial intelligence.
△ Less
Submitted 10 May, 2025; v1 submitted 20 February, 2023;
originally announced February 2023.
-
Observation of the radiative decay of the ${}^{229}\mathrm{Th}$ nuclear clock isomer
Authors:
Sandro Kraemer,
Janni Moens,
Michail Athanasakis-Kaklamanakis,
Silvia Bara,
Kjeld Beeks,
Premaditya Chhetri,
Katerina Chrysalidis,
Arno Claessens,
Thomas E. Cocolios,
João M. Correia,
Hilde De Witte,
Rafael Ferrer,
Sarina Geldhof,
Reinhard Heinke,
Niyusha Hosseini,
Mark Huyse,
Ulli Köster,
Yuri Kudryavtsev,
Mustapha Laatiaoui,
Razvan Lica,
Goele Magchiels,
Vladimir Manea,
Clement Merckling,
Lino M. C. Pereira,
Sebastian Raeder
, et al. (10 additional authors not shown)
Abstract:
The nucleus of the radioisotope thorium-229 (${}^{229}$Th) features an isomer with an exceptionally low excitation energy that enables direct laser manipulation of nuclear states. For this reason, it is a leading candidate for use in next-generation optical clocks. This nuclear clock will be a unique tool, amongst others, for tests of fundamental physics. While first indirect experimental evidence…
▽ More
The nucleus of the radioisotope thorium-229 (${}^{229}$Th) features an isomer with an exceptionally low excitation energy that enables direct laser manipulation of nuclear states. For this reason, it is a leading candidate for use in next-generation optical clocks. This nuclear clock will be a unique tool, amongst others, for tests of fundamental physics. While first indirect experimental evidence for the existence of such an extraordinary nuclear state is significantly older, the proof of existence has been delivered only recently by observing the isomer's electron conversion decay and its hyperfine structure in a laser spectroscopy study, revealing information on the isomer's excitation energy, nuclear spin and electromagnetic moments. Further studies reported the electron conversion lifetime and refined the isomer's energy. In spite of recent progress, the isomer's radiative decay, a key ingredient for the development of a nuclear clock, remained unobserved.
In this Letter, we report the detection of the radiative decay of this low-energy isomer in thorium-229 (${}^{229\mathrm{m}}$Th). By performing vacuum-ultraviolet spectroscopy of ${}^{229\mathrm{m}}$Th incorporated into large-bandgap CaF${}_2$ and MgF${}_2$ crystals at the ISOLDE facility at CERN, the photon vacuum wavelength of the isomer's decay is measured as 148.71(42) nm, corresponding to an excitation energy of 8.338(24) eV. This value is in agreement with recent measurements, and decreases the uncertainty by a factor of seven. The half-life of ${}^{229\mathrm{m}}$Th embedded in MgF${}_2$ is determined to be 670(102) s. The observation of the radiative decay in a large-bandgap crystal has important consequences for the design of a future nuclear clock and the improved uncertainty of the energy eases the search for direct laser excitation of the atomic nucleus.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Magnesium-vacancy optical centers in diamond
Authors:
Emilio Corte,
Greta Andrini,
Elena Nieto Hernández,
Vanna Pugliese,
Ângelo Costa,
Goele Magchiels,
Janni Moens,
Shandirai Malven Tunhuma,
Renan Villarreal,
Lino M. C. Pereira,
André Vantomme,
João Guilherme Correia,
Ettore Bernardi,
Paolo Traina,
Ivo Pietro Degiovanni,
Ekaterina Moreva,
Marco Genovese,
Sviatoslav Ditalia Tchernij,
Paolo Olivero,
Ulrich Wahl,
Jacopo Forneris
Abstract:
We provide the first systematic characterization of the structural and photoluminescence properties of optically active defect centers fabricated upon implantation of 30-100 keV Mg+ ions in artificial diamond. The structural configurations of Mg-related defects were studied by the emission channeling technique for 27Mg implantations performed both at room-temperature and 800 °C, which allowed the…
▽ More
We provide the first systematic characterization of the structural and photoluminescence properties of optically active defect centers fabricated upon implantation of 30-100 keV Mg+ ions in artificial diamond. The structural configurations of Mg-related defects were studied by the emission channeling technique for 27Mg implantations performed both at room-temperature and 800 °C, which allowed the identification of a major fraction of Mg atoms (~30-42%) in sites which are compatible with the split-vacancy structure of the MgV complex. A smaller fraction of Mg atoms (~13-17%) was found on substitutional sites. The photoluminescence emission was investigated both at the ensemble and individual defect level in a temperature range comprised between 5 K and 300 K, offering a detailed picture of the MgV-related emission properties and revealing the occurrence of previously unreported spectral features. The optical excitability of the MgV center was also studied as a function of the optical excitation wavelength enabling to identify the optimal conditions for photostable and intense emission. The results are discussed in the context of the preliminary experimental data and the theoretical models available in the literature, with appealing perspectives for the utilization of the tunable properties of the MgV center for quantum information processing applications.
△ Less
Submitted 17 June, 2022;
originally announced June 2022.
-
Hole-doping induced ferromagnetism in 2D materials
Authors:
R. Meng,
L. M. C. Pereira,
J. P. Locquet,
V. V. Afanas'ev,
G. Pourtois,
M. Houssa
Abstract:
Two-dimensional (2D) ferromagnetic materials are considered as promising candidates for the future generations of spintronic devices. Yet, 2D materials with intrinsic ferromagnetism are scarce. High-throughput first-principles simulations are performed in order to screen 2D materials that present a non-magnetic to a ferromagnetic transition upon hole doping. A global evolutionary search is subsequ…
▽ More
Two-dimensional (2D) ferromagnetic materials are considered as promising candidates for the future generations of spintronic devices. Yet, 2D materials with intrinsic ferromagnetism are scarce. High-throughput first-principles simulations are performed in order to screen 2D materials that present a non-magnetic to a ferromagnetic transition upon hole doping. A global evolutionary search is subsequently performed, in order to identify alternative possible atomic structures of the eligible candidates, and 122 materials exhibiting a hole-doping induced ferromagnetism are identified. Their energetic and dynamic stability, as well as their magnetic properties under hole doping are investigated systematically. Half of these 2D materials are metal halides, followed by chalcogenides, oxides and nitrides, some of them having predicted Curie temperatures above 300 K. The exchange interactions responsible for the ferromagnetic order in these 2D materials are also discussed. This work not only provides theoretical insights into hole-doped 2D ferromagnetic materials, but also enriches the family of 2D magnetic materials for possible spintronic applications.
△ Less
Submitted 5 April, 2022; v1 submitted 4 April, 2022;
originally announced April 2022.
-
Current-induced breakdown of the quantum anomalous Hall effect
Authors:
Gertjan Lippertz,
Andrea Bliesener,
Anjana Uday,
Lino M. C. Pereira,
A. A. Taskin,
Yoichi Ando
Abstract:
The quantum anomalous Hall effect (QAHE) realizes dissipationless longitudinal resistivity and quantized Hall resistance without the need of an external magnetic field. However, when reducing the device dimensions or increasing the current density, an abrupt breakdown of the dissipationless state occurs with a relatively small critical current, limiting the applications of the QAHE. We investigate…
▽ More
The quantum anomalous Hall effect (QAHE) realizes dissipationless longitudinal resistivity and quantized Hall resistance without the need of an external magnetic field. However, when reducing the device dimensions or increasing the current density, an abrupt breakdown of the dissipationless state occurs with a relatively small critical current, limiting the applications of the QAHE. We investigate the mechanism of this breakdown by studying multi-terminal devices and identified that the electric field created between opposing chiral edge states lies at the origin. We propose that electric-field-driven percolation of two-dimensional charge puddles in the gapped surface states of compensated topological-insulator films is the most likely cause of the breakdown.
△ Less
Submitted 4 August, 2021;
originally announced August 2021.
-
A Survey on Optimal Transport for Machine Learning: Theory and Applications
Authors:
Luis Caicedo Torres,
Luiz Manella Pereira,
M. Hadi Amini
Abstract:
Optimal Transport (OT) theory has seen an increasing amount of attention from the computer science community due to its potency and relevance in modeling and machine learning. It introduces means that serve as powerful ways to compare probability distributions with each other, as well as producing optimal mappings to minimize cost functions. In this survey, we present a brief introduction and hist…
▽ More
Optimal Transport (OT) theory has seen an increasing amount of attention from the computer science community due to its potency and relevance in modeling and machine learning. It introduces means that serve as powerful ways to compare probability distributions with each other, as well as producing optimal mappings to minimize cost functions. In this survey, we present a brief introduction and history, a survey of previous work and propose directions of future study. We will begin by looking at the history of optimal transport and introducing the founders of this field. We then give a brief glance into the algorithms related to OT. Then, we will follow up with a mathematical formulation and the prerequisites to understand OT. These include Kantorovich duality, entropic regularization, KL Divergence, and Wassertein barycenters. Since OT is a computationally expensive problem, we then introduce the entropy-regularized version of computing optimal mappings, which allowed OT problems to become applicable in a wide range of machine learning problems. In fact, the methods generated from OT theory are competitive with the current state-of-the-art methods. We follow this up by breaking down research papers that focus on image processing, graph learning, neural architecture search, document representation, and domain adaptation. We close the paper with a small section on future research. Of the recommendations presented, three main problems are fundamental to allow OT to become widely applicable but rely strongly on its mathematical formulation and thus are hardest to answer. Since OT is a novel method, there is plenty of space for new research, and with more and more competitive methods (either on an accuracy level or computational speed level) being created, the future of applied optimal transport is bright as it has become pervasive in machine learning.
△ Less
Submitted 3 June, 2021;
originally announced June 2021.
-
Voluntary safety commitments provide an escape from over-regulation in AI development
Authors:
The Anh Han,
Tom Lenaerts,
Francisco C. Santos,
Luis Moniz Pereira
Abstract:
With the introduction of Artificial Intelligence (AI) and related technologies in our daily lives, fear and anxiety about their misuse as well as the hidden biases in their creation have led to a demand for regulation to address such issues. Yet blindly regulating an innovation process that is not well understood, may stifle this process and reduce benefits that society may gain from the generated…
▽ More
With the introduction of Artificial Intelligence (AI) and related technologies in our daily lives, fear and anxiety about their misuse as well as the hidden biases in their creation have led to a demand for regulation to address such issues. Yet blindly regulating an innovation process that is not well understood, may stifle this process and reduce benefits that society may gain from the generated technology, even under the best intentions. In this paper, starting from a baseline model that captures the fundamental dynamics of a race for domain supremacy using AI technology, we demonstrate how socially unwanted outcomes may be produced when sanctioning is applied unconditionally to risk-taking, i.e. potentially unsafe, behaviours. As an alternative to resolve the detrimental effect of over-regulation, we propose a voluntary commitment approach wherein technologists have the freedom of choice between independently pursuing their course of actions or establishing binding agreements to act safely, with sanctioning of those that do not abide to what they pledged. Overall, this work reveals for the first time how voluntary commitments, with sanctions either by peers or an institution, leads to socially beneficial outcomes in all scenarios envisageable in a short-term race towards domain supremacy through AI technology. These results are directly relevant for the design of governance and regulatory policies that aim to ensure an ethical and responsible AI technology development process.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Artificial Intelligence Development Races in Heterogeneous Settings
Authors:
Theodor Cimpeanu,
Francisco C. Santos,
Luis Moniz Pereira,
Tom Lenaerts,
The Anh Han
Abstract:
Regulation of advanced technologies such as Artificial Intelligence (AI) has become increasingly important, given the associated risks and apparent ethical issues. With the great benefits promised from being able to first supply such technologies, safety precautions and societal consequences might be ignored or shortchanged in exchange for speeding up the development, therefore engendering a racin…
▽ More
Regulation of advanced technologies such as Artificial Intelligence (AI) has become increasingly important, given the associated risks and apparent ethical issues. With the great benefits promised from being able to first supply such technologies, safety precautions and societal consequences might be ignored or shortchanged in exchange for speeding up the development, therefore engendering a racing narrative among the developers. Starting from a game-theoretical model describing an idealised technology race in a fully connected world of players, here we investigate how different interaction structures among race participants can alter collective choices and requirements for regulatory actions. Our findings indicate that, when participants portray a strong diversity in terms of connections and peer-influence (e.g., when scale-free networks shape interactions among parties), the conflicts that exist in homogeneous settings are significantly reduced, thereby lessening the need for regulatory actions. Furthermore, our results suggest that technology governance and regulation may profit from the world's patent heterogeneity and inequality among firms and nations, so as to enable the design and implementation of meticulous interventions on a minority of participants, which is capable of influencing an entire population towards an ethical and sustainable use of advanced technologies.
△ Less
Submitted 4 January, 2022; v1 submitted 30 December, 2020;
originally announced December 2020.
-
Mediating Artificial Intelligence Developments through Negative and Positive Incentives
Authors:
The Anh Han,
Luis Moniz Pereira,
Tom Lenaerts,
Francisco C. Santos
Abstract:
The field of Artificial Intelligence (AI) is going through a period of great expectations, introducing a certain level of anxiety in research, business and also policy. This anxiety is further energised by an AI race narrative that makes people believe they might be missing out. Whether real or not, a belief in this narrative may be detrimental as some stake-holders will feel obliged to cut corner…
▽ More
The field of Artificial Intelligence (AI) is going through a period of great expectations, introducing a certain level of anxiety in research, business and also policy. This anxiety is further energised by an AI race narrative that makes people believe they might be missing out. Whether real or not, a belief in this narrative may be detrimental as some stake-holders will feel obliged to cut corners on safety precautions, or ignore societal consequences just to "win". Starting from a baseline model that describes a broad class of technology races where winners draw a significant benefit compared to others (such as AI advances, patent race, pharmaceutical technologies), we investigate here how positive (rewards) and negative (punishments) incentives may beneficially influence the outcomes. We uncover conditions in which punishment is either capable of reducing the development speed of unsafe participants or has the capacity to reduce innovation through over-regulation. Alternatively, we show that, in several scenarios, rewarding those that follow safety measures may increase the development speed while ensuring safe choices. Moreover, in {the latter} regimes, rewards do not suffer from the issue of over-regulation as is the case for punishment. Overall, our findings provide valuable insights into the nature and kinds of regulatory actions most suitable to improve safety compliance in the contexts of both smooth and sudden technological shifts.
△ Less
Submitted 1 October, 2020;
originally announced October 2020.
-
Counterfactual thinking in cooperation dynamics
Authors:
Luis Moniz Pereira,
Francisco C. Santos
Abstract:
Counterfactual Thinking is a human cognitive ability studied in a wide variety of domains. It captures the process of reasoning about a past event that did not occur, namely what would have happened had this event occurred, or, otherwise, to reason about an event that did occur but what would ensue had it not. Given the wide cognitive empowerment of counterfactual reasoning in the human individual…
▽ More
Counterfactual Thinking is a human cognitive ability studied in a wide variety of domains. It captures the process of reasoning about a past event that did not occur, namely what would have happened had this event occurred, or, otherwise, to reason about an event that did occur but what would ensue had it not. Given the wide cognitive empowerment of counterfactual reasoning in the human individual, the question arises of how the presence of individuals with this capability may improve cooperation in populations of self-regarding individuals. Here we propose a mathematical model, grounded on Evolutionary Game Theory, to examine the population dynamics emerging from the interplay between counterfactual thinking and social learning (i.e., individuals that learn from the actions and success of others) whenever the individuals in the population face a collective dilemma. Our results suggest that counterfactual reasoning fosters coordination in collective action problems occurring in large populations, and has a limited impact on cooperation dilemmas in which coordination is not required. Moreover, we show that a small prevalence of individuals resorting to counterfactual thinking is enough to nudge an entire population towards highly cooperative standards.
△ Less
Submitted 18 December, 2019;
originally announced December 2019.
-
Structural and electronic properties of the pure and stable elemental 3D topological Dirac semimetal $α$-Sn
Authors:
Ivan Madarevic,
Umamahesh Thupakula,
Gertjan Lippertz,
Niels Claessens,
Pin-Cheng Lin,
Harsh Bana,
Giovanni Di Santo,
Sara Gonzalez,
Luca Petaccia,
Maya Narayanan Nair,
Lino M. C. Pereira,
Chris Van Haesendonck,
Margriet Van Bael
Abstract:
In-plane compressively strained $α$-Sn films have been theoretically predicted and experimentally proven to possess non-trivial electronic states of a 3D topological Dirac semimetal. The robustness of these states typically strongly depends on purity, homogeneity and stability of the grown material itself. By developing a reliable fabrication process, we were able to grow pure strained $α$-Sn film…
▽ More
In-plane compressively strained $α$-Sn films have been theoretically predicted and experimentally proven to possess non-trivial electronic states of a 3D topological Dirac semimetal. The robustness of these states typically strongly depends on purity, homogeneity and stability of the grown material itself. By developing a reliable fabrication process, we were able to grow pure strained $α$-Sn films on InSb(100), without heating of the substrate during growth, nor using any dopants. The $α$-Sn films were grown by molecular beam epitaxy, followed by experimental verification of the achieved chemical purity and structural properties of the film's surface. Local insight into the surface morphology was provided by scanning tunneling microscopy. We detected the existence of compressive strain using Mössbauer spectroscopy and we observed a remarkable robustness of the grown samples against ambient conditions. The topological character of the samples was confirmed by angle-resolved photoemission spectroscopy, revealing the Dirac cone of the topological surface state. Scanning tunneling spectroscopy, moreover, allowed obtaining an improved insight into the electronic structure of the 3D topological Dirac semimetal $α$-Sn above the Fermi level.
△ Less
Submitted 23 February, 2020; v1 submitted 3 December, 2019;
originally announced December 2019.
-
To regulate or not: a social dynamics analysis of the race for AI supremacy
Authors:
The Anh Han,
Luis Moniz Pereira,
Francisco C. Santos,
Tom Lenaerts
Abstract:
Rapid technological advancements in AI as well as the growing deployment of intelligent technologies in new application domains are currently driving the competition between businesses, nations and regions. This race for technological supremacy creates a complex ecology of choices that may lead to negative consequences, in particular, when ethical and safety procedures are underestimated or even i…
▽ More
Rapid technological advancements in AI as well as the growing deployment of intelligent technologies in new application domains are currently driving the competition between businesses, nations and regions. This race for technological supremacy creates a complex ecology of choices that may lead to negative consequences, in particular, when ethical and safety procedures are underestimated or even ignored. As a consequence, different actors are urging to consider both the normative and social impact of these technological advancements. As there is no easy access to data describing this AI race, theoretical models are necessary to understand its dynamics, allowing for the identification of when, how and which procedures need to be put in place to favour outcomes beneficial for all. We show that, next to the risks of setbacks and being reprimanded for unsafe behaviour, the time-scale in which AI supremacy can be achieved plays a crucial role. When this supremacy can be achieved in a short term, those who completely ignore the safety precautions are bound to win the race but at a cost to society, apparently requiring regulatory actions. Our analysis reveals that blindly imposing regulations may not have anticipated effect as only for specific conditions a dilemma arises between what individually preferred and globally beneficial. Similar observations can be made for the long-term development case. Yet different from the short term situation, certain conditions require the promotion of risk-taking as opposed to compliance to safety regulations in order to improve social welfare. These results remain robust when two or several actors are involved in the race and when collective rather than individual setbacks are produced by risk-taking behaviour. When defining codes of conduct and regulatory policies for AI, a clear understanding about the time-scale of the race is required.
△ Less
Submitted 16 January, 2020; v1 submitted 26 July, 2019;
originally announced July 2019.
-
An alternative approach to populate and study the $^{229}$Th nuclear clock isomer
Authors:
M. Verlinde,
S. Kraemer,
J. Moens,
K. Chrysaldis,
J. G. Correia,
S. Cottenier,
H. De Witte,
D. V. Fedorov,
V. N Fedosseev,
R. Ferrer,
L. M. Fraile,
S. Geldhof,
C. A. Granados,
M. Laatiaoui,
T. A. L. Lima,
P-C Lin,
V. Manea,
B. A. Marsh,
I. Moore,
L. M. C. Pereira,
S. Raeder,
P. Van den Bergh,
P. Van Duppen,
A. Vantomme,
E. Verstraelen
, et al. (2 additional authors not shown)
Abstract:
A new approach to observe the radiative decay of the $^{229}$Th nuclear isomer, and to determine its energy and radiative lifetime, is presented. Situated at a uniquely low excitation energy, this nuclear state might be a key ingredient for the development of a nuclear clock, a nuclear laser and the search for time variations of the fundamental constants. The isomer's $γ$ decay towards the ground…
▽ More
A new approach to observe the radiative decay of the $^{229}$Th nuclear isomer, and to determine its energy and radiative lifetime, is presented. Situated at a uniquely low excitation energy, this nuclear state might be a key ingredient for the development of a nuclear clock, a nuclear laser and the search for time variations of the fundamental constants. The isomer's $γ$ decay towards the ground state will be studied with a high-resolution VUV spectrometer after its production by the $β$ decay of $^{229}$Ac. The novel production method presents a number of advantages asserting its competitive nature with respect to the commonly used $^{233}$U $α$-decay recoil source. In this paper, a feasibility analysis of this new concept, and an experimental investigation of its key ingredients, using a pure $^{229}$Ac ion beam produced at the ISOLDE radioactive beam facility, is reported.
△ Less
Submitted 23 April, 2019;
originally announced April 2019.
-
Probing interacting two-level systems with rare-earth ions
Authors:
Dapeng Ding,
David van Driel,
Lino M. C. Pereira,
Jared F. Bauters,
Martijn J. R. Heck,
Gesa Welker,
Michiel J. A. de Dood,
André Vantomme,
John E. Bowers,
Wolfgang Löffler,
Dirk Bouwmeester
Abstract:
Two-level systems (TLS) in amorphous materials limit coherence times of a number of solid-state quantum devices. Interactions between TLS become prominent below 100 mK, but the coupling mechanism and statistical properties are still unclear. Here we determine the homogeneous linewidth of ytterbium ions (Yb$ ^{3+} $) in silica glass at 10-80 mK by using photon echo techniques as a probe of TLS. Fir…
▽ More
Two-level systems (TLS) in amorphous materials limit coherence times of a number of solid-state quantum devices. Interactions between TLS become prominent below 100 mK, but the coupling mechanism and statistical properties are still unclear. Here we determine the homogeneous linewidth of ytterbium ions (Yb$ ^{3+} $) in silica glass at 10-80 mK by using photon echo techniques as a probe of TLS. First, the homogeneous linewidth can be reduced by applying a magnetic field of 0.3 T. This effect is due to reduced magnetic interactions between adjacent Yb$ ^{3+} $. Secondly, we observe saturation of the linewidth below 50 mK to a level of approximately 30 kHz, which is much larger than the lifetime-limited value of 0.2 kHz. This saturation behavior is in conflict with the coupling to independent TLS. We show that this effect can be explained by coherently coupled TLS.
△ Less
Submitted 29 January, 2020; v1 submitted 13 November, 2018;
originally announced November 2018.
-
Properties of Stable Model Semantics Extensions
Authors:
Mário Abrantes,
Luís Moniz Pereira
Abstract:
The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity. If we prospectively consider the class of conservative extensions of SM semantics (i.e., semantics that for each normal logic program P retrieve a superset of the set of stable models of P), one may wander how do the semantics of this class behave in what concerns the aforementioned properties. That is t…
▽ More
The stable model (SM) semantics lacks the properties of existence, relevance and cumulativity. If we prospectively consider the class of conservative extensions of SM semantics (i.e., semantics that for each normal logic program P retrieve a superset of the set of stable models of P), one may wander how do the semantics of this class behave in what concerns the aforementioned properties. That is the type of issue dealt with in this paper. We define a large class of conservative extensions of the SM semantics, dubbed affix stable model semantics, ASM, and study the above referred properties into two non-disjoint subfamilies of the class ASM, here dubbed ASMh and ASMm. From this study a number of results stem which facilitate the assessment of semantics in the class ASMh U ASMm with respect to the properties of existence, relevance and cumulativity, whilst unveiling relations among these properties. As a result of the approach taken in our work, light is shed on the characterization of the SM semantics, as we show that the properties of (lack of) existence and (lack of) cautious monotony are equivalent, which opposes statements on this issue that may be found in the literature; we also characterize the relevance failure of SM semantics in a more clear way than usually stated in the literature.
△ Less
Submitted 15 May, 2014;
originally announced May 2014.
-
Contextual Abductive Reasoning with Side-Effects
Authors:
Luís Moniz Pereira,
Emmanuelle-Anna Dietz,
Steffen Hölldobler
Abstract:
The belief bias effect is a phenomenon which occurs when we think that we judge an argument based on our reasoning, but are actually influenced by our beliefs and prior knowledge. Evans, Barston and Pollard carried out a psychological syllogistic reasoning task to prove this effect. Participants were asked whether they would accept or reject a given syllogism. We discuss one specific case which is…
▽ More
The belief bias effect is a phenomenon which occurs when we think that we judge an argument based on our reasoning, but are actually influenced by our beliefs and prior knowledge. Evans, Barston and Pollard carried out a psychological syllogistic reasoning task to prove this effect. Participants were asked whether they would accept or reject a given syllogism. We discuss one specific case which is commonly assumed to be believable but which is actually not logically valid. By introducing abnormalities, abduction and background knowledge, we adequately model this case under the weak completion semantics. Our formalization reveals new questions about possible extensions in abductive reasoning. For instance, observations and their explanations might include some relevant prior abductive contextual information concerning some side-effect or leading to a contestable or refutable side-effect. A weaker notion indicates the support of some relevant consequences by a prior abductive context. Yet another definition describes jointly supported relevant consequences, which captures the idea of two observations containing mutually supportive side-effects. Though motivated with and exemplified by the running psychology application, the various new general abductive context definitions are introduced here and given a declarative semantics for the first time, and have a much wider scope of application. Inspection points, a concept introduced by Pereira and Pinto, allows us to express these definitions syntactically and intertwine them into an operational semantics.
△ Less
Submitted 15 May, 2014; v1 submitted 14 May, 2014;
originally announced May 2014.
-
Joint Tabling of Logic Program Abductions and Updates
Authors:
Ari Saptawijaya,
Luís Moniz Pereira
Abstract:
Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc. On the other hand, logic program updates allow us to express knowledge changes, be they internal (or self) and external (or world) changes. Abductive logic programs and logic program updates thus naturally coexist in problem…
▽ More
Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc. On the other hand, logic program updates allow us to express knowledge changes, be they internal (or self) and external (or world) changes. Abductive logic programs and logic program updates thus naturally coexist in problems that are susceptible to hypothetical reasoning about change. Taking this as a motivation, in this paper we integrate abductive logic programs and logic program updates by jointly exploiting tabling features of logic programming. The integration is based on and benefits from the two implementation techniques we separately devised previously, viz., tabled abduction and incremental tabling for query-driven propagation of logic program updates. A prototype of the integrated system is implemented in XSB Prolog.
△ Less
Submitted 8 May, 2014;
originally announced May 2014.
-
Each normal logic program has a 2-valued Minimal Hypotheses semantics
Authors:
Alexandre Miguel Pinto,
Luś Moniz Pereira
Abstract:
In this paper we explore a unifying approach --- that of hypotheses assumption --- as a means to provide a semantics for all Normal Logic Programs (NLPs), the Minimal Hypotheses (MH) semantics. This semantics takes a positive hypotheses assumption approach as a means to guarantee the desirable properties of model existence, relevance and cumulativity, and of generalizing the Stable Models in the p…
▽ More
In this paper we explore a unifying approach --- that of hypotheses assumption --- as a means to provide a semantics for all Normal Logic Programs (NLPs), the Minimal Hypotheses (MH) semantics. This semantics takes a positive hypotheses assumption approach as a means to guarantee the desirable properties of model existence, relevance and cumulativity, and of generalizing the Stable Models in the process. To do so we first introduce the fundamental semantic concept of minimality of assumed positive hypotheses, define the MH semantics, and analyze the semantics' properties and applicability. Indeed, abductive Logic Programming can be conceptually captured by a strategy centered on the assumption of abducibles (or hypotheses). Likewise, the Argumentation perspective of Logic Programs also lends itself to an arguments (or hypotheses) assumption approach. Previous works on Abduction have depicted the atoms of default negated literals in NLPs as abducibles, i.e., assumable hypotheses. We take a complementary and more general view than these works to NLP semantics by employing positive hypotheses instead.
△ Less
Submitted 29 August, 2011;
originally announced August 2011.
-
A Discrete Algorithm to the Calculus of Variations
Authors:
Celia T. L. M. Pereira,
Pedro A. F. Cruz,
Delfim F. M. Torres
Abstract:
A numerical study of an algorithm proposed by Gusein Guseinov, which determines approximations to the optimal solution of problems of calculus of variations using two discretizations and correspondent Euler-Lagrange equations, is investigated. The results we obtain to discretizations of the brachistochrone problem and Mania example with Lavrentiev's phenomenon are compared with the solutions fou…
▽ More
A numerical study of an algorithm proposed by Gusein Guseinov, which determines approximations to the optimal solution of problems of calculus of variations using two discretizations and correspondent Euler-Lagrange equations, is investigated. The results we obtain to discretizations of the brachistochrone problem and Mania example with Lavrentiev's phenomenon are compared with the solutions found by other methods and solvers. We conclude that Guseinov's method presents better solutions in most of the cases studied.
△ Less
Submitted 3 March, 2010;
originally announced March 2010.
-
Abduction in Well-Founded Semantics and Generalized Stable Models
Authors:
José Júlio Alferes,
Luís Moniz Pereira,
Terrance Swift
Abstract:
Abductive logic programming offers a formalism to declaratively express and solve problems in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled logic programming offers a computational mechanism that provides a level of declarativity superior to that of Prolog, and which has supported successful applications in fields such as parsing, program analysis, and mod…
▽ More
Abductive logic programming offers a formalism to declaratively express and solve problems in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled logic programming offers a computational mechanism that provides a level of declarativity superior to that of Prolog, and which has supported successful applications in fields such as parsing, program analysis, and model checking. In this paper we show how to use tabled logic programming to evaluate queries to abductive frameworks with integrity constraints when these frameworks contain both default and explicit negation. The result is the ability to compute abduction over well-founded semantics with explicit negation and answer sets. Our approach consists of a transformation and an evaluation method. The transformation adjoins to each objective literal $O$ in a program, an objective literal $not(O)$ along with rules that ensure that $not(O)$ will be true if and only if $O$ is false. We call the resulting program a {\em dual} program. The evaluation method, \wfsmeth, then operates on the dual program. \wfsmeth{} is sound and complete for evaluating queries to abductive frameworks whose entailment method is based on either the well-founded semantics with explicit negation, or on answer sets. Further, \wfsmeth{} is asymptotically as efficient as any known method for either class of problems. In addition, when abduction is not desired, \wfsmeth{} operating on a dual program provides a novel tabling method for evaluating queries to ground extended programs whose complexity and termination properties are similar to those of the best tabling methods for the well-founded semantics. A publicly available meta-interpreter has been developed for \wfsmeth{} using the XSB system.
△ Less
Submitted 24 December, 2003;
originally announced December 2003.
