-
LeapFrog: Getting the Jump on Multi-Scale Materials Simulations Using Machine Learning
Authors:
Damien Pinto,
Michael Greenwood,
Nikolas Provatas
Abstract:
The development of novel materials in recent years has been accelerated greatly by the use of computational modelling techniques aimed at elucidating the complex physics controlling microstructure formation in materials, the properties of which control material function. One such technique is the phase field method, a field theoretic approach that couples various thermophysical fields to microscop…
▽ More
The development of novel materials in recent years has been accelerated greatly by the use of computational modelling techniques aimed at elucidating the complex physics controlling microstructure formation in materials, the properties of which control material function. One such technique is the phase field method, a field theoretic approach that couples various thermophysical fields to microscopic order parameter fields that track the phases of microstructure. Phase field models are framed as multiple, non-linear, partial differential equations, which are extremely challenging to compute efficiently. Recent years have seen an explosion of computational algorithms aimed at enhancing the efficiency of phase field simulations. One such technique, adaptive mesh refinement (AMR), dynamically adapts numerical meshes to be highly refined around steep spatial gradients of the PDE fields and coarser where the fields are smooth. This reduces the number of computations per time step significantly, thus reducing the total time of computation. What AMR doesn't do is allow for adaptive time step**. This work combines AMR with a neural network algorithm that uses a U-Net with a Convolutional Long-Short Term Memory (CLSTM) base to accelerate phase field simulations. Our neural network algorithm is described in detail and tested in on simulations of directional solidification of a dilute binary alloy, a paradigm that is highly practical for its relevance to the solidification of alloys.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Towards a Unified Framework for Evaluating Explanations
Authors:
Juan D. Pinto,
Luc Paquette
Abstract:
The challenge of creating interpretable models has been taken up by two main research communities: ML researchers primarily focused on lower-level explainability methods that suit the needs of engineers, and HCI researchers who have more heavily emphasized user-centered approaches often based on participatory design methods. This paper reviews how these communities have evaluated interpretability,…
▽ More
The challenge of creating interpretable models has been taken up by two main research communities: ML researchers primarily focused on lower-level explainability methods that suit the needs of engineers, and HCI researchers who have more heavily emphasized user-centered approaches often based on participatory design methods. This paper reviews how these communities have evaluated interpretability, identifying overlaps and semantic misalignments. We propose moving towards a unified framework of evaluation criteria and lay the groundwork for such a framework by articulating the relationships between existing criteria. We argue that explanations serve as mediators between models and stakeholders, whether for intrinsically interpretable models or opaque black-box models analyzed via post-hoc techniques. We further argue that useful explanations require both faithfulness and intelligibility. Explanation plausibility is a prerequisite for intelligibility, while stability is a prerequisite for explanation faithfulness. We illustrate these criteria, as well as specific evaluation methods, using examples from an ongoing study of an interpretable neural network for predicting a particular learner behavior.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Deep Learning for Educational Data Science
Authors:
Juan D. Pinto,
Luc Paquette
Abstract:
With the ever-growing presence of deep artificial neural networks in every facet of modern life, a growing body of researchers in educational data science -- a field consisting of various interrelated research communities -- have turned their attention to leveraging these powerful algorithms within the domain of education. Use cases range from advanced knowledge tracing models that can leverage op…
▽ More
With the ever-growing presence of deep artificial neural networks in every facet of modern life, a growing body of researchers in educational data science -- a field consisting of various interrelated research communities -- have turned their attention to leveraging these powerful algorithms within the domain of education. Use cases range from advanced knowledge tracing models that can leverage open-ended student essays or snippets of code to automatic affect and behavior detectors that can identify when a student is frustrated or aimlessly trying to solve problems unproductively -- and much more. This chapter provides a brief introduction to deep learning, describes some of its advantages and limitations, presents a survey of its many uses in education, and discusses how it may further come to shape the field of educational data science.
△ Less
Submitted 12 April, 2024;
originally announced April 2024.
-
Preparing general mixed quantum states on quantum computers
Authors:
Douglas F. Pinto,
Lucas Friedrich,
Jonas Maziero
Abstract:
The preparation of quantum states serves as a pivotal subroutine across various domains, including quantum communication protocols, quantum computing, and the exploration of quantum correlations and other resources within physical systems. Building upon the protocols introduced in previous works [M. B. Pozzobom and J. Maziero, Quantum Inf. Process. 18, 142 (2019)] and [E. R. Gårding et al., Entrop…
▽ More
The preparation of quantum states serves as a pivotal subroutine across various domains, including quantum communication protocols, quantum computing, and the exploration of quantum correlations and other resources within physical systems. Building upon the protocols introduced in previous works [M. B. Pozzobom and J. Maziero, Quantum Inf. Process. 18, 142 (2019)] and [E. R. Gårding et al., Entropy 23, 797 (2021)], the authors of [F. Shahbeigi, M. Karimi and V. Karimipour, Phys. Scr. 97, 025101 (2022)] demonstrated the capability to prepare mixed two-qubit X-real states on quantum computers by extending the methodology initially devised for mixed two-qubit Bell-diagonal states. In this article, we delve into an overlooked pattern within these quantum circuits, allowing us to generalize the approach to encompass a broader scope. Presenting an algorithm tailored for the preparation of $d$-dimensional mixed quantum states using quantum information processors, we offer a significant advancement in mixed state preparation methodologies. To validate the efficacy of our algorithm, we conducted comprehensive tests utilizing both X and non-X mixed two-qubit states, as well as arbitrary random density matrices spanning one, two, and three qubits.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
High-speed stars. II. An unbound star, young stars, bulge metal-poor stars, and Aurora candidates
Authors:
P. Bonifacio,
E. Caffau,
L. Monaco,
L. Sbordone,
M. Spite,
A. Mucciarelli,
P. François,
L. Lombardo,
A. D. M. Matas Pinto
Abstract:
The data from the Gaia satellite led us to revise our conception of the Galaxy structure and history. Hitherto unknown components have been discovered and a deep re-thinking of what the Galactic halo is is in progress. We selected from the Gaia catalogue stars with extreme transverse velocities with respect to the Sun ($|V_T| > 500 $ and observed them with FORS2 at the ESO VLT, to classify them us…
▽ More
The data from the Gaia satellite led us to revise our conception of the Galaxy structure and history. Hitherto unknown components have been discovered and a deep re-thinking of what the Galactic halo is is in progress. We selected from the Gaia catalogue stars with extreme transverse velocities with respect to the Sun ($|V_T| > 500 $ and observed them with FORS2 at the ESO VLT, to classify them using both their chemical and dynamical properties. Two apparently young stars, identified in paper\,I, were observed with UVES. We derived abundances for Na, Mg, Ca, Ti, Mn, and Fe, analysing the spectra with while for Ba we used line profile fitting. We computed actions from parallaxes and kinematical data. The stars span the metallicity range $ Fe/H -0.5$ with $ Fe/H = -1.6$. Star GHS143 has a total speed of about 1440 which is almost three times faster than the local escape velocity of 522 strongly implying this star is unbound to the Galaxy. Remarkably, this star is not esca** from the Galaxy, but it is falling into it. Ten stars are apparently young with masses in excess of 1.3M. Their interpretation as evolved blue stragglers is doubtful. The existence of a young metal-poor population is possible. The two stars observed with UVES show no lithium, suggesting they are blue stragglers. We detected a metal-poor population, confined to the bulge, that we call SpiteF, and argue that it is the result of a recent accretion event. We detect 102 candidates of the Aurora population that should have formed prior to the formation of the disc. Our sample is non-homogeneous and mainly retrograde. The stars are metal poor, and 23<!PCT!> have Fe/H -2.0$. Our selection is efficient at finding very metal-poor stars, but it selects peculiar populations.
△ Less
Submitted 5 February, 2024;
originally announced February 2024.
-
Using Zero-shot Prompting in the Automatic Creation and Expansion of Topic Taxonomies for Tagging Retail Banking Transactions
Authors:
Daniel de S. Moraes,
Pedro T. C. Santos,
Polyana B. da Costa,
Matheus A. S. Pinto,
Ivan de J. P. Pinto,
Álvaro M. G. da Veiga,
Sergio Colcher,
Antonio J. G. Busson,
Rafael H. Rocha,
Rennan Gaio,
Rafael Miceli,
Gabriela Tourinho,
Marcos Rabaioli,
Leandro Santos,
Fellipe Marques,
David Favaro
Abstract:
This work presents an unsupervised method for automatically constructing and expanding topic taxonomies using instruction-based fine-tuned LLMs (Large Language Models). We apply topic modeling and keyword extraction techniques to create initial topic taxonomies and LLMs to post-process the resulting terms and create a hierarchy. To expand an existing taxonomy with new terms, we use zero-shot promp…
▽ More
This work presents an unsupervised method for automatically constructing and expanding topic taxonomies using instruction-based fine-tuned LLMs (Large Language Models). We apply topic modeling and keyword extraction techniques to create initial topic taxonomies and LLMs to post-process the resulting terms and create a hierarchy. To expand an existing taxonomy with new terms, we use zero-shot prompting to find out where to add new nodes, which, to our knowledge, is the first work to present such an approach to taxonomy tasks. We use the resulting taxonomies to assign tags that characterize merchants from a retail bank dataset. To evaluate our work, we asked 12 volunteers to answer a two-part form in which we first assessed the quality of the taxonomies created and then the tags assigned to merchants based on that taxonomy. The evaluation revealed a coherence rate exceeding 90% for the chosen taxonomies. The taxonomies' expansion with LLMs also showed exciting results for parent node prediction, with an f1-score above 70% in our taxonomies.
△ Less
Submitted 11 February, 2024; v1 submitted 7 January, 2024;
originally announced January 2024.
-
Bubble wall velocities with an extended fluid Ansatz
Authors:
Glauber C. Dorsch,
Daniel A. Pinto
Abstract:
We compute the terminal bubble wall velocity during a cosmological phase transition by modelling non-equilibrium effects in the plasma with the so-called "extended fluid Ansatz". A $φ^6$ operator is included in the Standard Model effective potential to mimic effects of new physics. Hydrodynamical heating of the plasma ahead of the bubble is taken into account. We find that the inclusion of higher…
▽ More
We compute the terminal bubble wall velocity during a cosmological phase transition by modelling non-equilibrium effects in the plasma with the so-called "extended fluid Ansatz". A $φ^6$ operator is included in the Standard Model effective potential to mimic effects of new physics. Hydrodynamical heating of the plasma ahead of the bubble is taken into account. We find that the inclusion of higher order terms in the fluid Ansatz is typically relevant, and may even turn detonation solutions into deflagrations. Our results also corroborate recent findings in the literature that, for a Standard Model particle content in the plasma, only deflagration solutions are viable. However, we also show that this outcome may be altered in a theory with a different particle content.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
On anti-quasi-Sasakian manifolds of maximal rank
Authors:
Dario Di Pinto
Abstract:
We discuss the existence of invariant anti-quasi-Sasakian (aqS) structures of maximal rank on compact homogeneous Riemannian manifolds and on nilpotent Lie groups. In the former case we obtain a non-existence result, while in the latter case we provide a complete classification. We also show that every compact aqS manifold has nonvanishing second Betti number.
We discuss the existence of invariant anti-quasi-Sasakian (aqS) structures of maximal rank on compact homogeneous Riemannian manifolds and on nilpotent Lie groups. In the former case we obtain a non-existence result, while in the latter case we provide a complete classification. We also show that every compact aqS manifold has nonvanishing second Betti number.
△ Less
Submitted 18 November, 2023;
originally announced November 2023.
-
Inverse design of self-folding 3D shells
Authors:
Diogo E. P. Pinto,
Nuno A. M. Araújo,
Petr Šulc,
John Russo
Abstract:
Inverse design aims at the development of elementary building blocks that organize spontaneously into target shapes. In self-assembly, the blocks diffuse to their target position. Alternatively, recent experiments point to a more robust process in which the shape is formed from the self-folding of a planar template. To control the folding of templates with competing folded structures, we propose t…
▽ More
Inverse design aims at the development of elementary building blocks that organize spontaneously into target shapes. In self-assembly, the blocks diffuse to their target position. Alternatively, recent experiments point to a more robust process in which the shape is formed from the self-folding of a planar template. To control the folding of templates with competing folded structures, we propose the inclusion of bond specificity. We consider a template that can fold into an octahedron or a boat shell and find the minimal design capable of targeting either shell or switching between the two through an external stimulus, adding a new dimension to the design of shape-changing materials.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Optimizing parameter search for community detection in time evolving networks of complex systems
Authors:
ItaloIvo Lima Dias Pinto,
Javier Omar Garcia,
Kanika Bansal
Abstract:
Network representations have been effectively employed to analyze complex systems across various areas and applications, leading to the development of network science as a core tool to study systems with multiple components and complex interactions. There is a growing interest in understanding the temporal dynamics of complex networks to decode the underlying dynamic processes through the temporal…
▽ More
Network representations have been effectively employed to analyze complex systems across various areas and applications, leading to the development of network science as a core tool to study systems with multiple components and complex interactions. There is a growing interest in understanding the temporal dynamics of complex networks to decode the underlying dynamic processes through the temporal changes in network structure. Community detection algorithms, which are specialized clustering algorithms, have been instrumental in studying these temporal changes. They work by grou** nodes into communities based on the structure and intensity of network connections over time aiming to maximize modularity of the network partition. However, the performance of these algorithms is highly influenced by the selection of resolution parameters of the modularity function used, which dictate the scale of the represented network, both in size of communities and the temporal resolution of dynamic structure. The selection of these parameters has often been subjective and heavily reliant on the characteristics of the data used to create the network structure. Here, we introduce a method to objectively determine the values of the resolution parameters based on the elements of self-organization. We propose two key approaches: (1) minimization of the biases in spatial scale network characterization and (2) maximization of temporal scale-freeness. We demonstrate the effectiveness of these approaches using benchmark network structures as well as real-world datasets. To implement our method, we also provide an automated parameter selection software package that can be applied to a wide range of complex systems.
△ Less
Submitted 23 July, 2023;
originally announced July 2023.
-
Design strategies for the self-assembly of polyhedral shells
Authors:
Diogo E. P. Pinto,
Petr Sulc,
Francesco Sciortino,
John Russo
Abstract:
The control over the self-assembly of complex structures is a long-standing challenge of material science, especially at the colloidal scale, as the desired assembly pathway is often kinetically derailed by the formation of amorphous aggregates. Here we investigate in detail the problem of the self-assembly of the three Archimedean shells with five contact points per vertex, i.e. the icosahedron,…
▽ More
The control over the self-assembly of complex structures is a long-standing challenge of material science, especially at the colloidal scale, as the desired assembly pathway is often kinetically derailed by the formation of amorphous aggregates. Here we investigate in detail the problem of the self-assembly of the three Archimedean shells with five contact points per vertex, i.e. the icosahedron, the snub cube, and the snub dodecahedron. We use patchy particles with five interaction sites (or patches) as model for the building blocks, and recast the assembly problem as a Boolean satisfiability problem (SAT) for the patch-patch interactions. This allows us to find effective designs for all targets, and to selectively suppress unwanted structures. By tuning the geometrical arrangement and the specific interactions of the patches, we demonstrate that lowering the symmetry of the building blocks reduces the number of competing structures, which in turn can considerably increase the yield of the target structure. These results cement SAT-assembly as an invaluable tool to solve inverse design problems.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
Two-step nucleation in a binary mixture of Patchy Particles
Authors:
Camilla Beneduce,
Diogo E. P. Pinto,
Petr Sulc,
Francesco Sciortino,
John Russo
Abstract:
Nucleation in systems with a metastable liquid-gas critical point is the prototypical example of a two-step nucleation process, in which the appearance of the critical nucleus is preceded by the formation of a liquid-like density fluctuation. So far, the majority of studies on colloidal and protein crystallization have focused on one-component systems, and we are lacking a clear description of two…
▽ More
Nucleation in systems with a metastable liquid-gas critical point is the prototypical example of a two-step nucleation process, in which the appearance of the critical nucleus is preceded by the formation of a liquid-like density fluctuation. So far, the majority of studies on colloidal and protein crystallization have focused on one-component systems, and we are lacking a clear description of two-step nucleation processes in multicomponent systems, where critical fluctuations involve coupled density and concentrations inhomogeneities. Here, we examine the nucleation process of a binary mixture of patchy particles designed to nucleate into a diamond lattice. By combining Gibbs-ensemble simulations and direct nucleation simulations over a wide range of thermodynamic conditions, we are able to pin down the role of the liquid-gas metastable phase diagram on the nucleation process. In particular, we show that the strongest enhancement of crystallization occurs at an azeotropic point with the same stoichiometric composition of the crystal.
△ Less
Submitted 6 April, 2023;
originally announced April 2023.
-
GPT-4 Technical Report
Authors:
OpenAI,
Josh Achiam,
Steven Adler,
Sandhini Agarwal,
Lama Ahmad,
Ilge Akkaya,
Florencia Leoni Aleman,
Diogo Almeida,
Janko Altenschmidt,
Sam Altman,
Shyamal Anadkat,
Red Avila,
Igor Babuschkin,
Suchir Balaji,
Valerie Balcom,
Paul Baltescu,
Haiming Bao,
Mohammad Bavarian,
Jeff Belgum,
Irwan Bello,
Jake Berdine,
Gabriel Bernadett-Shapiro,
Christopher Berner,
Lenny Bogdonoff,
Oleg Boiko
, et al. (256 additional authors not shown)
Abstract:
We report the development of GPT-4, a large-scale, multimodal model which can accept image and text inputs and produce text outputs. While less capable than humans in many real-world scenarios, GPT-4 exhibits human-level performance on various professional and academic benchmarks, including passing a simulated bar exam with a score around the top 10% of test takers. GPT-4 is a Transformer-based mo…
▽ More
We report the development of GPT-4, a large-scale, multimodal model which can accept image and text inputs and produce text outputs. While less capable than humans in many real-world scenarios, GPT-4 exhibits human-level performance on various professional and academic benchmarks, including passing a simulated bar exam with a score around the top 10% of test takers. GPT-4 is a Transformer-based model pre-trained to predict the next token in a document. The post-training alignment process results in improved performance on measures of factuality and adherence to desired behavior. A core component of this project was develo** infrastructure and optimization methods that behave predictably across a wide range of scales. This allowed us to accurately predict some aspects of GPT-4's performance based on models trained with no more than 1/1,000th the compute of GPT-4.
△ Less
Submitted 4 March, 2024; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Simulating noisy quantum channels via quantum state preparation algorithms
Authors:
Marcelo S. Zanetti,
Douglas F. Pinto,
Marcos L. W. Basso,
Jonas Maziero
Abstract:
In Refs. [Phys. Rev. A 96, 062303 (2017)] and [Sci. China Phys. Mech. Astron. 61, 70311 (2018)], the authors reported an algorithm to simulate, in a circuit-based quantum computer, a general quantum channel (QC). However, the application of their algorithm is limited because it entails the solution of intricate non-linear systems of equations in order to obtain the quantum circuit to be implemente…
▽ More
In Refs. [Phys. Rev. A 96, 062303 (2017)] and [Sci. China Phys. Mech. Astron. 61, 70311 (2018)], the authors reported an algorithm to simulate, in a circuit-based quantum computer, a general quantum channel (QC). However, the application of their algorithm is limited because it entails the solution of intricate non-linear systems of equations in order to obtain the quantum circuit to be implemented for the simulation. Motivated by this issue, in this article we identify and discuss a simple way to implement the simulation of QCs on any $d$-level quantum system through quantum state preparation algorithms, that have received much attention in the quantum information science literature lately. We exemplify the versatility of our protocol applying it to most well known qubit QCs, to some qudit QCs, and to simulate the effect of Lorentz transformations on spin states. We also regard the application of our protocol for initial mixed states. Most of the given application examples are demonstrated using IBM's quantum computers.
△ Less
Submitted 2 May, 2023; v1 submitted 28 December, 2022;
originally announced December 2022.
-
Anti-quasi-Sasakian manifolds
Authors:
Dario Di Pinto,
Giulia Dileo
Abstract:
We introduce and study a special class of almost contact metric manifolds, which we call anti-quasi-Sasakian (aqS). Among the class of transversely Kähler almost contact metric manifolds $(M,\varphi, ξ,η,g)$, quasi-Sasakian and anti-quasi-Sasakian manifolds are characterized, respectively, by the $\varphi$-invariance and the $\varphi$-anti-invariance of the $2$-form $dη$. A Boothby-Wang type theor…
▽ More
We introduce and study a special class of almost contact metric manifolds, which we call anti-quasi-Sasakian (aqS). Among the class of transversely Kähler almost contact metric manifolds $(M,\varphi, ξ,η,g)$, quasi-Sasakian and anti-quasi-Sasakian manifolds are characterized, respectively, by the $\varphi$-invariance and the $\varphi$-anti-invariance of the $2$-form $dη$. A Boothby-Wang type theorem allows to obtain aqS structures on principal circle bundles over Kähler manifolds endowed with a closed $(2,0)$-form. We characterize aqS manifolds with constant $ξ$-sectional curvature equal to $1$: they admit an $Sp(n)\times 1$-reduction of the frame bundle such that the manifold is transversely hyperkähler, carrying a second aqS structure and a null Sasakian $η$-Einstein structure. We show that aqS manifolds with constant sectional curvature are necessarily flat and cokähler. Finally, by using a metric connection with torsion, we provide a sufficient condition for an aqS manifold to be locally decomposable as the Riemannian product of a Kähler manifold and an aqS manifold with structure of maximal rank. Under the same hypothesis, $(M,g)$ cannot be locally symmetric.
△ Less
Submitted 17 May, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Simulation of positive operator-valued measures and quantum instruments via quantum state preparation algorithms
Authors:
Douglas F. Pinto,
Marcelo S. Zanetti,
Marcos L. W. Basso,
Jonas Maziero
Abstract:
In Ref. [Phys. Rev. A 100, 062317 (2019)], the authors reported an algorithm to implement, in a circuit-based quantum computer, a general quantum measurement (GQM) of a two-level quantum system, a qubit. Even though their algorithm seems right, its application involves the solution of an intricate non-linear system of equations in order to obtain the angles determining the quantum circuit to be im…
▽ More
In Ref. [Phys. Rev. A 100, 062317 (2019)], the authors reported an algorithm to implement, in a circuit-based quantum computer, a general quantum measurement (GQM) of a two-level quantum system, a qubit. Even though their algorithm seems right, its application involves the solution of an intricate non-linear system of equations in order to obtain the angles determining the quantum circuit to be implemented for the simulation. In this article, we identify and discuss a simple way to circumvent this issue and implement GQMs on any $d$-level quantum system through quantum state preparation algorithms. Using some examples for one qubit, one qutrit and two qubits, we illustrate the easy of application of our protocol. Besides, we show how one can utilize our protocol for simulating quantum instruments, for which we also give an example. All our examples are demonstrated using IBM's quantum processors.
△ Less
Submitted 9 February, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Mixture-of-Rookies: Saving DNN Computations by Predicting ReLU Outputs
Authors:
Dennis Pinto,
Jose-María Arnau,
Antonio González
Abstract:
Deep Neural Networks (DNNs) are widely used in many applications domains. However, they require a vast amount of computations and memory accesses to deliver outstanding accuracy. In this paper, we propose a scheme to predict whether the output of each ReLu activated neuron will be a zero or a positive number in order to skip the computation of those neurons that will likely output a zero. Our pred…
▽ More
Deep Neural Networks (DNNs) are widely used in many applications domains. However, they require a vast amount of computations and memory accesses to deliver outstanding accuracy. In this paper, we propose a scheme to predict whether the output of each ReLu activated neuron will be a zero or a positive number in order to skip the computation of those neurons that will likely output a zero. Our predictor, named Mixture-of-Rookies, combines two inexpensive components. The first one exploits the high linear correlation between binarized (1-bit) and full-precision (8-bit) dot products, whereas the second component clusters together neurons that tend to output zero at the same time. We propose a novel clustering scheme based on the analysis of angles, as the sign of the dot product of two vectors depends on the cosine of the angle between them. We implement our hybrid zero output predictor on top of a state-of-the-art DNN accelerator. Experimental results show that our scheme introduces a small area overhead of 5.3% while achieving a speedup of 1.2x and reducing energy consumption by 16.5% on average for a set of diverse DNNs.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
ASRPU: A Programmable Accelerator for Low-Power Automatic Speech Recognition
Authors:
Dennis Pinto,
Jose-María Arnau,
Antonio González
Abstract:
The outstanding accuracy achieved by modern Automatic Speech Recognition (ASR) systems is enabling them to quickly become a mainstream technology. ASR is essential for many applications, such as speech-based assistants, dictation systems and real-time language translation. However, highly accurate ASR systems are computationally expensive, requiring on the order of billions of arithmetic operation…
▽ More
The outstanding accuracy achieved by modern Automatic Speech Recognition (ASR) systems is enabling them to quickly become a mainstream technology. ASR is essential for many applications, such as speech-based assistants, dictation systems and real-time language translation. However, highly accurate ASR systems are computationally expensive, requiring on the order of billions of arithmetic operations to decode each second of audio, which conflicts with a growing interest in deploying ASR on edge devices. On these devices, hardware acceleration is key for achieving acceptable performance. However, ASR is a rich and fast-changing field, and thus, any overly specialized hardware accelerator may quickly become obsolete.
In this paper, we tackle those challenges by proposing ASRPU, a programmable accelerator for on-edge ASR. ASRPU contains a pool of general-purpose cores that execute small pieces of parallel code. Each of these programs computes one part of the overall decoder (e.g. a layer in a neural network). The accelerator automates some carefully chosen parts of the decoder to simplify the programming without sacrificing generality. We provide an analysis of a modern ASR system implemented on ASRPU and show that this architecture can achieve real-time decoding with a very low power budget.
△ Less
Submitted 10 February, 2022;
originally announced February 2022.
-
Weighted Connected Matchings
Authors:
Guilherme C. M. Gomes,
Bruno P. Masquio,
Paulo E. D. Pinto,
Vinicius F. dos Santos,
Jayme L. Szwarcfiter
Abstract:
A matching $M$ is a $\mathscr{P}$-matching if the subgraph induced by the endpoints of the edges of $M$ satisfies property $\mathscr{P}$. As examples, for appropriate choices of $\mathscr{P}$, the problems Induced Matching, Uniquely Restricted Matching, Connected Matching and Disconnected Matching arise. For many of these problems, finding a maximum $\mathscr{P}$-matching is a knowingly NP-Hard pr…
▽ More
A matching $M$ is a $\mathscr{P}$-matching if the subgraph induced by the endpoints of the edges of $M$ satisfies property $\mathscr{P}$. As examples, for appropriate choices of $\mathscr{P}$, the problems Induced Matching, Uniquely Restricted Matching, Connected Matching and Disconnected Matching arise. For many of these problems, finding a maximum $\mathscr{P}$-matching is a knowingly NP-Hard problem, with few exceptions, such as connected matchings, which has the same time complexity as usual Maximum Matching problem. The weighted variant of Maximum Matching has been studied for decades, with many applications, including the well-known Assignment problem. Motivated by this fact, in addition to some recent researches in weighted versions of acyclic and induced matchings, we study the Maximum Weight Connected Matching. In this problem, we want to find a matching $M$ such that the endpoint vertices of its edges induce a connected subgraph and the sum of the edge weights of $M$ is maximum. Unlike the unweighted Connected Matching problem, which is in P for general graphs, we show that Maximum Weight Connected Matching is NP-Hard even for bounded diameter bipartite graphs, starlike graphs, planar bipartite, and bounded degree planar graphs, while solvable in linear time for trees and subcubic graphs. When we restrict edge weights to be non negative only, we show that the problem turns to be polynomially solvable for chordal graphs, while it remains NP-Hard for most of the cases when weights can be negative. Our final contributions are on parameterized complexity. On the positive side, we present a single exponential time algorithm when parameterized by treewidth. In terms of kernelization, we show that, even when restricted to binary weights, Weighted Connected Matching does not admit a polynomial kernel when parameterized by vertex cover under standard complexity-theoretical hypotheses.
△ Less
Submitted 9 February, 2022;
originally announced February 2022.
-
Disconnected Matchings
Authors:
Guilherme C. M. Gomes,
Bruno P. Masquio,
Paulo E. D. Pinto,
Vinicius F. dos Santos,
Jayme L. Szwarcfiter
Abstract:
In 2005, Goddard, Hedetniemi, Hedetniemi and Laskar [Generalized subgraph-restricted matchings in graphs, Discrete Mathematics, 293 (2005) 129 - 138] asked the computational complexity of determining the maximum cardinality of a matching whose vertex set induces a disconnected graph. In this paper we answer this question. In fact, we consider the generalized problem of finding $c$-disconnected mat…
▽ More
In 2005, Goddard, Hedetniemi, Hedetniemi and Laskar [Generalized subgraph-restricted matchings in graphs, Discrete Mathematics, 293 (2005) 129 - 138] asked the computational complexity of determining the maximum cardinality of a matching whose vertex set induces a disconnected graph. In this paper we answer this question. In fact, we consider the generalized problem of finding $c$-disconnected matchings; such matchings are ones whose vertex sets induce subgraphs with at least $c$ connected components. We show that, for every fixed $c \geq 2$, this problem is NP-complete even if we restrict the input to bounded diameter bipartite graphs, while can be solved in polynomial time if $c = 1$. For the case when $c$ is part of the input, we show that the problem is NP-complete for chordal graphs, while being solvable in polynomial time for interval graphs. Finally, we explore the parameterized complexity of the problem. We present an FPT algorithm under the treewidth parameterization, and an XP algorithm for graphs with a polynomial number of minimal separators when parameterized by $c$. We complement these results by showing that, unless NP $\subseteq$ coNP/poly, the related Induced Matching problem does not admit a polynomial kernel when parameterized by vertex cover and size of the matching nor when parameterized by vertex deletion distance to clique and size of the matching. As for Connected Matching, we show how to obtain a maximum connected matching in linear time given an arbitrary maximum matching in the input.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
Finding the Minimum Norm and Center Density of Cyclic Lattices via Nonlinear Systems
Authors:
William Lima da Silva Pinto,
Carina Alves
Abstract:
Lattices with a circulant generator matrix represent a subclass of cyclic lattices. This subclass can be described by a basis containing a vector and its circular shifts. In this paper, we present certain conditions under which the norm expression of an arbitrary vector of this type of lattice is substantially simplified, and then investigate some of the lattices obtained under these conditions. W…
▽ More
Lattices with a circulant generator matrix represent a subclass of cyclic lattices. This subclass can be described by a basis containing a vector and its circular shifts. In this paper, we present certain conditions under which the norm expression of an arbitrary vector of this type of lattice is substantially simplified, and then investigate some of the lattices obtained under these conditions. We exhibit systems of nonlinear equations whose solutions yield lattices as dense as $D_n$ in odd dimensions. As far as even dimensions, we obtain lattices denser than $A_n$ as long as $n \in 2\mathbb{Z} \backslash 4\mathbb{Z}$.
△ Less
Submitted 5 July, 2023; v1 submitted 15 November, 2021;
originally announced November 2021.
-
Substrate disorder promotes cell motility in confluent tissues
Authors:
Diogo E. P. Pinto,
Margarida M. Telo da Gama,
Nuno A. M. Araujo
Abstract:
In vivo and in vitro cells rely on the support of an underlying biocompatible substrate, such as the extracellular matrix or a culture substrate, to spread and proliferate. The mechanical and chemical properties of such structures play a central role in the dynamical and statistical properties of the tissue. At the cell scale, these substrates are highly disordered. Here, we investigate how spatia…
▽ More
In vivo and in vitro cells rely on the support of an underlying biocompatible substrate, such as the extracellular matrix or a culture substrate, to spread and proliferate. The mechanical and chemical properties of such structures play a central role in the dynamical and statistical properties of the tissue. At the cell scale, these substrates are highly disordered. Here, we investigate how spatial heterogeneities of the cell-substrate interaction influence the motility of the cells in a model confluent tissue. We use the Self-Propelled Voronoi model and describe the disorder as a spatially dependent preferred geometry of the individual cells. We found that when the characteristic length scale of the preferred geometry is smaller than the cell size, the tissue is less rigid than its homogeneous counterpart, with a consequent increase in cell motility. This result is in sharp contrast to what has been reported for tissues with heterogeneity in the mechanical properties of the individual cells, where the disorder favors rigidity. Using the fraction of rigid cells, we observe a collapse of the motility data for different model parameters and provide evidence that the rigidity transition in the model tissue is accompanied by the emergence of a spanning cluster of rigid cells.
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
Hierarchical structure of the energy landscape in the Voronoi model of dense tissue
Authors:
D. E. P. Pinto,
D. M. Sussman,
M. M. Telo da Gama,
N. A. M. Araujo
Abstract:
The Voronoi model is a popular tool for studying confluent living tissues. It exhibits an anomalous glassy behavior even at very low temperatures or weak active self-propulsion, and at zero temperature the model exhibits a disordered solid structure with no evidence of a rigidity transition. Here we investigate the properties of the energy landscape in this limit. We find two disordered solid phas…
▽ More
The Voronoi model is a popular tool for studying confluent living tissues. It exhibits an anomalous glassy behavior even at very low temperatures or weak active self-propulsion, and at zero temperature the model exhibits a disordered solid structure with no evidence of a rigidity transition. Here we investigate the properties of the energy landscape in this limit. We find two disordered solid phases that have similar structural features but that differ in the ultrametricity of their energy landscapes; the crossover between these two states shares phenomenological properties with a Gardner transition. We further highlight how the metric used to calculate distances between configurations influences the ability to detect hierarchical arrangements of basins in the energy landscape.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
Congruence Filter Pairs, Adjoints and Leibniz Hierarchy
Authors:
Peter Arndt,
Hugo Luiz Mariano,
Darllan Conceição Pinto
Abstract:
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with certain properties ensuring that the resulting logic is finitary and substitution invariant. Every finitary, substitution invariant logic arises from a filter pair…
▽ More
We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice of theories as the image of a lattice homomorphism, with certain properties ensuring that the resulting logic is finitary and substitution invariant. Every finitary, substitution invariant logic arises from a filter pair. Particular classes of logics can be characterized as arising from special classes of filter pairs. We consider so-called congruence filter pairs, i.e. filter pairs for which the domain of the lattice homomorphism is a lattice of congruences for some quasivariety. We show that the class of logics admitting a presentation by such a filter pair is exactly the class of logics having an algebraic semantics. We study the properties of a certain Galois connection coming with such filter pairs. We give criteria for a congruence filter pair to present a logic in some classes of the Leibniz hierarchy by means of this Galois connection, and its interplay with the Leibniz operator. As an application, we show a bridge theorem, stating that the amalgamation property implies the Craig interpolation property, for a certain class of logics including non-protoalgebraic logics.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Evaluating Large Language Models Trained on Code
Authors:
Mark Chen,
Jerry Tworek,
Heewoo Jun,
Qiming Yuan,
Henrique Ponde de Oliveira Pinto,
Jared Kaplan,
Harri Edwards,
Yuri Burda,
Nicholas Joseph,
Greg Brockman,
Alex Ray,
Raul Puri,
Gretchen Krueger,
Michael Petrov,
Heidy Khlaaf,
Girish Sastry,
Pamela Mishkin,
Brooke Chan,
Scott Gray,
Nick Ryder,
Mikhail Pavlov,
Alethea Power,
Lukasz Kaiser,
Mohammad Bavarian,
Clemens Winter
, et al. (33 additional authors not shown)
Abstract:
We introduce Codex, a GPT language model fine-tuned on publicly available code from GitHub, and study its Python code-writing capabilities. A distinct production version of Codex powers GitHub Copilot. On HumanEval, a new evaluation set we release to measure functional correctness for synthesizing programs from docstrings, our model solves 28.8% of the problems, while GPT-3 solves 0% and GPT-J sol…
▽ More
We introduce Codex, a GPT language model fine-tuned on publicly available code from GitHub, and study its Python code-writing capabilities. A distinct production version of Codex powers GitHub Copilot. On HumanEval, a new evaluation set we release to measure functional correctness for synthesizing programs from docstrings, our model solves 28.8% of the problems, while GPT-3 solves 0% and GPT-J solves 11.4%. Furthermore, we find that repeated sampling from the model is a surprisingly effective strategy for producing working solutions to difficult prompts. Using this method, we solve 70.2% of our problems with 100 samples per problem. Careful investigation of our model reveals its limitations, including difficulty with docstrings describing long chains of operations and with binding operations to variables. Finally, we discuss the potential broader impacts of deploying powerful code generation technologies, covering safety, security, and economics.
△ Less
Submitted 14 July, 2021; v1 submitted 7 July, 2021;
originally announced July 2021.
-
The use of hyaluronic acid in individuals with cleft lip and palate: Literature review
Authors:
Kelly Fernanda Molena,
Lidiane de Castro Pinto,
Gisele da Silva Dalben
Abstract:
Since the Resolution 198/2019 of Brazilian Dental Council, which regulates orofacial harmonization as a dental specialty, and the advent of various uses of facial fillers, such as hyaluronic acid (HA), it is possible to perform both esthetic and functional corrections in individuals. Individuals with cleft lip and palate (CLP) present lip irregularities even after orofacial rehabilitation with an…
▽ More
Since the Resolution 198/2019 of Brazilian Dental Council, which regulates orofacial harmonization as a dental specialty, and the advent of various uses of facial fillers, such as hyaluronic acid (HA), it is possible to perform both esthetic and functional corrections in individuals. Individuals with cleft lip and palate (CLP) present lip irregularities even after orofacial rehabilitation with an interdisciplinary team with several corrective surgeries, interfering with the esthetics, which can cause problems in self-esteem and social insertion. Thus, facial filling is an innovation that, together with dentistry, contributes to the individual's esthetics and well-being. Considering the patient safety and health, more research is progressively being conducted to make such procedures less invasive. This work conducted a literature review on the use of HA as a facial filler to correct lip scars in patients with CLP. By a literature and transverse search in Scientific Electronic Library Online and PubMed databases using specific descriptors, the studies that met the inclusion criteria were selected, from 1990 to 2020. It can be concluded that the use of HA as a facial filling material in the correction of lip scars from reparative surgeries related to CLP has been shown to be effective both for correction of facial asymmetry and to improve the quality of life of patients who used the procedure.
△ Less
Submitted 7 June, 2021;
originally announced June 2021.
-
On Einstein hypersurfaces of a remarkable class of Sasakian manifolds
Authors:
D. Di Pinto,
A. Lotta
Abstract:
We present a non existence result of complete, Einstein hypersurfaces tangent to the Reeb vector field of a regular Sasakian manifold which fibers onto a complex Stein manifold.
We present a non existence result of complete, Einstein hypersurfaces tangent to the Reeb vector field of a regular Sasakian manifold which fibers onto a complex Stein manifold.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Exploiting Beam Search Confidence for Energy-Efficient Speech Recognition
Authors:
Dennis Pinto,
Jose-María Arnau,
Antonio González
Abstract:
With computers getting more and more powerful and integrated in our daily lives, the focus is increasingly shifting towards more human-friendly interfaces, making Automatic Speech Recognition (ASR) a central player as the ideal means of interaction with machines. Consequently, interest in speech technology has grown in the last few years, with more systems being proposed and higher accuracy levels…
▽ More
With computers getting more and more powerful and integrated in our daily lives, the focus is increasingly shifting towards more human-friendly interfaces, making Automatic Speech Recognition (ASR) a central player as the ideal means of interaction with machines. Consequently, interest in speech technology has grown in the last few years, with more systems being proposed and higher accuracy levels being achieved, even surpassing \textit{Human Accuracy}. While ASR systems become increasingly powerful, the computational complexity also increases, and the hardware support have to keep pace. In this paper, we propose a technique to improve the energy-efficiency and performance of ASR systems, focusing on low-power hardware for edge devices. We focus on optimizing the DNN-based Acoustic Model evaluation, as we have observed it to be the main bottleneck in state-of-the-art ASR systems, by leveraging run-time information from the Beam Search. By doing so, we reduce energy and execution time of the acoustic model evaluation by 25.6% and 25.9%, respectively, with negligible accuracy loss.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Asymmetric self-play for automatic goal discovery in robotic manipulation
Authors:
OpenAI OpenAI,
Matthias Plappert,
Raul Sampedro,
Tao Xu,
Ilge Akkaya,
Vineet Kosaraju,
Peter Welinder,
Ruben D'Sa,
Arthur Petron,
Henrique P. d. O. Pinto,
Alex Paino,
Hyeonwoo Noh,
Lilian Weng,
Qiming Yuan,
Casey Chu,
Wojciech Zaremba
Abstract:
We train a single, goal-conditioned policy that can solve many robotic manipulation tasks, including tasks with previously unseen goals and objects. We rely on asymmetric self-play for goal discovery, where two agents, Alice and Bob, play a game. Alice is asked to propose challenging goals and Bob aims to solve them. We show that this method can discover highly diverse and complex goals without an…
▽ More
We train a single, goal-conditioned policy that can solve many robotic manipulation tasks, including tasks with previously unseen goals and objects. We rely on asymmetric self-play for goal discovery, where two agents, Alice and Bob, play a game. Alice is asked to propose challenging goals and Bob aims to solve them. We show that this method can discover highly diverse and complex goals without any human priors. Bob can be trained with only sparse rewards, because the interaction between Alice and Bob results in a natural curriculum and Bob can learn from Alice's trajectory when relabeled as a goal-conditioned demonstration. Finally, our method scales, resulting in a single policy that can generalize to many unseen tasks such as setting a table, stacking blocks, and solving simple puzzles. Videos of a learned policy is available at https://robotics-self-play.github.io.
△ Less
Submitted 13 January, 2021;
originally announced January 2021.
-
All-Optical and Microwave-Free Detection of Meissner Screening using Nitrogen-Vacancy Centers in Diamond
Authors:
D. Paone,
D. Pinto,
G. Kim,
L. Feng,
M-J. Kim,
R. Stöhr,
A. Singha,
S. Kaiser,
G. Logvenov,
B. Keimer,
J. Wrachtrup,
K. Kern
Abstract:
Microscopic studies on thin film superconductors play an important role for probing non-equilibrium phase transitions and revealing dynamics at the nanoscale. However, magnetic sensors with nanometer scale spatial and picosecond temporal resolution are essential for exploring these. Here, we present an all-optical, microwave-free method, that utilizes the negatively charged nitrogen-vacancy (NV) c…
▽ More
Microscopic studies on thin film superconductors play an important role for probing non-equilibrium phase transitions and revealing dynamics at the nanoscale. However, magnetic sensors with nanometer scale spatial and picosecond temporal resolution are essential for exploring these. Here, we present an all-optical, microwave-free method, that utilizes the negatively charged nitrogen-vacancy (NV) center in diamond as a non-invasive quantum sensor and enables the spatial detection of the Meissner state in a superconducting thin film. We place an NV implanted diamond membrane on a superconducting LSCO thin film. The strong B-field dependence of the NV photoluminescence (PL) allows us to investigate the Meissner screening in LSCO under an externally applied magnetic field in a non-resonant manner.
△ Less
Submitted 12 January, 2021;
originally announced January 2021.
-
Aspects of quantum states asymmetry for the magnetic dipolar interaction dynamics
Authors:
Douglas F. Pinto,
Jonas Maziero
Abstract:
We investigate the asymmetry properties of quantum states in relation to the Hamiltonian responsible for the magnetic dipolar interaction (MDI) dynamics, and we evaluate its relationship to entanglement production. We consider some classes of pure and mixed quantum states of two qubits evolved under MDI and, using the asymmetry measure defined via the Wigner-Yanase skew information, we describe th…
▽ More
We investigate the asymmetry properties of quantum states in relation to the Hamiltonian responsible for the magnetic dipolar interaction (MDI) dynamics, and we evaluate its relationship to entanglement production. We consider some classes of pure and mixed quantum states of two qubits evolved under MDI and, using the asymmetry measure defined via the Wigner-Yanase skew information, we describe the asymmetry dependence on the Hamiltonian parameters and initial conditions of the system. In addition, we define and calculate the dynamics of the asymmetry of local states, characterizing their temporal and interaction parameters dependence. Finally, because the MDI Hamiltonian has a null eigenvalue, the group generator-based asymmetry measure does not adequately quantify the state susceptibility with respect to the action of the subspace generated by the eigenvectors associated with this eigenvalue. For this reason, we also define and study the group element-based asymmetry measure with relation to the unitary operator associated with the MDI Hamiltonian.
△ Less
Submitted 2 January, 2021;
originally announced January 2021.
-
Filter pairs and natural extensions of logics
Authors:
Peter Arndt,
Hugo Luiz Mariano,
Darllan Conceição Pinto
Abstract:
We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality $κ$, where $κ$ is a regular cardinal. The corresponding new notion is called $κ$-filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different $κ$-filter pairs give rise to a fixed logic of cardinality $κ$.…
▽ More
We adjust the notion of finitary filter pair, which was coined for creating and analyzing finitary logics, in such a way that we can treat logics of cardinality $κ$, where $κ$ is a regular cardinal. The corresponding new notion is called $κ$-filter pair. A filter pair can be seen as a presentation of a logic, and we ask what different $κ$-filter pairs give rise to a fixed logic of cardinality $κ$. To make the question well-defined we restrict to a subcollection of filter pairs and establish a bijection from that collection to the set of natural extensions of that logic by a set of variables of cardinality $κ$.
Along the way we use $κ$-filter pairs to construct natural extensions for a given logic, work out the relationships between this construction and several others proposed in the literature, and show that the collection of natural extensions forms a complete lattice.
In an optional section we introduce and motivate the concept of a general filter pair.
△ Less
Submitted 24 February, 2022; v1 submitted 9 September, 2020;
originally announced September 2020.
-
Formation of disks with long-lived spiral arms from violent gravitational dynamics
Authors:
Francesco Sylos Labini,
Luis Diego Pinto,
Roberto Capuzzo-Dolcetta
Abstract:
By means of simple dynamical experiments we study the combined effect of gravitational and gas dynamics in the evolution of an initially out-of-equilibrium, uniform and rotating massive over-density thought of as in isolation. The rapid variation of the system mean-field potential makes the point like particles (PPs), which interact only via Newtonian gravity, form a quasistationary thick disk dom…
▽ More
By means of simple dynamical experiments we study the combined effect of gravitational and gas dynamics in the evolution of an initially out-of-equilibrium, uniform and rotating massive over-density thought of as in isolation. The rapid variation of the system mean-field potential makes the point like particles (PPs), which interact only via Newtonian gravity, form a quasistationary thick disk dominated by rotational motions surrounded by far out-of-equilibrium spiral arms. On the other side, the gas component is subjected to compression shocks and radiative cooling so as to develop a much flatter disk, where rotational motions are coherent and the velocity dispersion is smaller than that of PPs. Around such gaseous disk long-lived, but nonstationary, spiral arms form: these are made of gaseous particles that move coherently because have acquired a specific phase-space correlation during the gravitational collapse phase. Such a phase-space correlation represents a signature of the violent origin of the arms and implies both the motion of matter and the transfer of energy. On larger scales, where the radial velocity component is significantly larger than the rotational one, the gas follows the same out-of-equilibrium spiral arms traced by PPs. We finally outline the astrophysical and cosmological implications of our results.
△ Less
Submitted 28 August, 2020; v1 submitted 6 August, 2020;
originally announced August 2020.
-
A Frankel type theorem for generic submanifolds of Sasakian manifolds
Authors:
Dario Di Pinto,
Antonio Lotta
Abstract:
We introduce a weaker notion of generic submanifold of a Sasakian manifold and we prove a Frankel type theorem for this kind of submanifolds under suitable hypotesis on the index of the scalar Levi forms determined by normal directions. It concerns the intersection between a generic and an invariant submanifold and the intersection between two generic submanifolds. From this theorem we derive some…
▽ More
We introduce a weaker notion of generic submanifold of a Sasakian manifold and we prove a Frankel type theorem for this kind of submanifolds under suitable hypotesis on the index of the scalar Levi forms determined by normal directions. It concerns the intersection between a generic and an invariant submanifold and the intersection between two generic submanifolds. From this theorem we derive some topological information about generic submanifolds of Sasakian space forms.
△ Less
Submitted 14 June, 2020;
originally announced June 2020.
-
The cell adaptation time sets a minimum length scale for patterned substrates
Authors:
Diogo E. P. Pinto,
Gonca Erdemci-Tandogan,
M. Lisa Manning,
Nuno A. M. Araujo
Abstract:
The structure and dynamics of tissue cultures depend strongly on the physical and chemical properties of the underlying substrate. Inspired by previous advances in the context of inorganic materials, the use of patterned culture surfaces has been proposed as an effective way to induce space-dependent properties in cell tissues. However, cells move and diffuse and the transduction of external stimu…
▽ More
The structure and dynamics of tissue cultures depend strongly on the physical and chemical properties of the underlying substrate. Inspired by previous advances in the context of inorganic materials, the use of patterned culture surfaces has been proposed as an effective way to induce space-dependent properties in cell tissues. However, cells move and diffuse and the transduction of external stimuli to biological signals is not instantaneous. Here, we show that the fidelity of patterns depends on the relation between the diffusion ($τ_D$) and adaptation ($τ$) times. Numerical results for the self-propelled Voronoi model reveal that the fidelity decreases with $τ/τ_D$, a result that is reproduced by a continuum reaction-diffusion model. We derive a minimum length scale for the patterns that depends on $τ/τ_D$ and can be much larger than the cell size.
△ Less
Submitted 1 May, 2020;
originally announced May 2020.
-
Connecting abstract logics and adjunctions in the theory of ($π$-)institutions: some theoretical remarks and applications
Authors:
Gabriel Bittencourt Rios,
Daniel de Almeida Souza,
Darllan Conceição Pinto,
Hugo Luiz Mariano
Abstract:
In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $π$-institutions. This is done at both a foundational and an applied level. Firstly, we reformulate and conceptually clarify such adjunctions in terms of the $2$-categorical data involved in the construction of categories of institution-like structures. M…
▽ More
In the present work, a natural sequel to \cite{MaPi1}, we further discuss the existence of adjunctions between categories of institutions and of $π$-institutions. This is done at both a foundational and an applied level. Firstly, we reformulate and conceptually clarify such adjunctions in terms of the $2$-categorical data involved in the construction of categories of institution-like structures. More precisely, we remark that the process used for passing from rooms to institutions (\cite{Diac2}) can be extended, due to its $2$-functoriality, to more general room-like and institution-like structures in such a way that the aforementioned adjunctions are all seen to arise from simpler adjunctions at the room-like level. Secondly, and mostly independently, we provide some applications of such adjunctions to abstract logics, mainly to the setting of propositional logics and filter pairs (\cite{AMP1}); we also generalize the process of skolemization, a classical device from predicate logic, to the institutional setting.
△ Less
Submitted 29 December, 2020; v1 submitted 1 February, 2020;
originally announced February 2020.
-
Dota 2 with Large Scale Deep Reinforcement Learning
Authors:
OpenAI,
:,
Christopher Berner,
Greg Brockman,
Brooke Chan,
Vicki Cheung,
Przemysław Dębiak,
Christy Dennison,
David Farhi,
Quirin Fischer,
Shariq Hashme,
Chris Hesse,
Rafal Józefowicz,
Scott Gray,
Catherine Olsson,
Jakub Pachocki,
Michael Petrov,
Henrique P. d. O. Pinto,
Jonathan Raiman,
Tim Salimans,
Jeremy Schlatter,
Jonas Schneider,
Szymon Sidor,
Ilya Sutskever,
Jie Tang
, et al. (2 additional authors not shown)
Abstract:
On April 13th, 2019, OpenAI Five became the first AI system to defeat the world champions at an esports game. The game of Dota 2 presents novel challenges for AI systems such as long time horizons, imperfect information, and complex, continuous state-action spaces, all challenges which will become increasingly central to more capable AI systems. OpenAI Five leveraged existing reinforcement learnin…
▽ More
On April 13th, 2019, OpenAI Five became the first AI system to defeat the world champions at an esports game. The game of Dota 2 presents novel challenges for AI systems such as long time horizons, imperfect information, and complex, continuous state-action spaces, all challenges which will become increasingly central to more capable AI systems. OpenAI Five leveraged existing reinforcement learning techniques, scaled to learn from batches of approximately 2 million frames every 2 seconds. We developed a distributed training system and tools for continual training which allowed us to train OpenAI Five for 10 months. By defeating the Dota 2 world champion (Team OG), OpenAI Five demonstrates that self-play reinforcement learning can achieve superhuman performance on a difficult task.
△ Less
Submitted 13 December, 2019;
originally announced December 2019.
-
Selfgravitating disks in binary systems: an SPH approach -- I. Implementation of the code and reliability tests
Authors:
Luis Diego Pinto,
Roberto Capuzzo-Dolcetta,
Gianfranco Magni
Abstract:
The study of the stability of massive gaseous disks around a star in a non-isolated context is not a trivial issue and becomes a more complicated task for disks hosted by binary systems. The role of self-gravity is thought to be significant, whenever the ratio of the disk to the star mass is non-negligible. To tackle these issues we implemented, tested and applied our own Smoothed Particle Hydrody…
▽ More
The study of the stability of massive gaseous disks around a star in a non-isolated context is not a trivial issue and becomes a more complicated task for disks hosted by binary systems. The role of self-gravity is thought to be significant, whenever the ratio of the disk to the star mass is non-negligible. To tackle these issues we implemented, tested and applied our own Smoothed Particle Hydrodynamics (SPH) algorithm. The code (named GaSPH) passed various quality tests and shows good performances, so to be reliably applied to the study of disks around stars accounting for self-gravity. This work aims to introduce and describe the algorithm, making some performance and stability tests. It constitutes the first part of a series of studies in which self-gravitating disks in binary systems will be let evolve in larger environments such as Open Clusters.
△ Less
Submitted 30 June, 2019;
originally announced July 2019.
-
Well-Rounded Lattices via Polynomials
Authors:
Carina Alves,
William Lima da Silva Pinto,
Antonio Aparecido de Andrade
Abstract:
Well-rounded lattices have been a topic of recent studies with applications in wiretap channels and in cryptography. A lattice of full rank in Euclidean space is called well-rounded if its set of minimal vectors spans the whole space. In this paper, we investigate when lattices coming from polynomials with integer coefficients are well-rounded.
Well-rounded lattices have been a topic of recent studies with applications in wiretap channels and in cryptography. A lattice of full rank in Euclidean space is called well-rounded if its set of minimal vectors spans the whole space. In this paper, we investigate when lattices coming from polynomials with integer coefficients are well-rounded.
△ Less
Submitted 6 April, 2019;
originally announced April 2019.
-
End-point corrections for the midpoint rule
Authors:
Ricardo Luiz Utsch de Freitas Pinto,
Bernardo Bahia Monteiro
Abstract:
In this paper we present a new family of rules for numerical integration. This family has up to half the error of the widely used Newton-Cotes rules when a sufficient number of points is evaluated and also much better numerical stability for high orders. These rules can be written as the midpoint rule with a correction term, providing a straightforward and computationally cheap way to obtain error…
▽ More
In this paper we present a new family of rules for numerical integration. This family has up to half the error of the widely used Newton-Cotes rules when a sufficient number of points is evaluated and also much better numerical stability for high orders. These rules can be written as the midpoint rule with a correction term, providing a straightforward and computationally cheap way to obtain error estimations. The rules are interpolatory and use evenly spaced points, which makes them well suited for many practical applications. Their major potential disadvantage is the use of points outside the integration interval.
△ Less
Submitted 1 December, 2018;
originally announced December 2018.
-
Semiparametrically efficient estimation of the average linear regression function
Authors:
Bryan S. Graham,
Cristine Campos de Xavier Pinto
Abstract:
Let Y be an outcome of interest, X a vector of treatment measures, and W a vector of pre-treatment control variables. Here X may include (combinations of) continuous, discrete, and/or non-mutually exclusive "treatments". Consider the linear regression of Y onto X in a subpopulation homogenous in W = w (formally a conditional linear predictor). Let b0(w) be the coefficient vector on X in this regre…
▽ More
Let Y be an outcome of interest, X a vector of treatment measures, and W a vector of pre-treatment control variables. Here X may include (combinations of) continuous, discrete, and/or non-mutually exclusive "treatments". Consider the linear regression of Y onto X in a subpopulation homogenous in W = w (formally a conditional linear predictor). Let b0(w) be the coefficient vector on X in this regression. We introduce a semiparametrically efficient estimate of the average beta0 = E[b0(W)]. When X is binary-valued (multi-valued) our procedure recovers the (a vector of) average treatment effect(s). When X is continuously-valued, or consists of multiple non-exclusive treatments, our estimand coincides with the average partial effect (APE) of X on Y when the underlying potential response function is linear in X, but otherwise heterogenous across agents. When the potential response function takes a general nonlinear/heterogenous form, and X is continuously-valued, our procedure recovers a weighted average of the gradient of this response across individuals and values of X. We provide a simple, and semiparametrically efficient, method of covariate adjustment for settings with complicated treatment regimes. Our method generalizes familiar methods of covariate adjustment used for program evaluation as well as methods of semiparametric regression (e.g., the partially linear regression model).
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Comparison of FaaS Orchestration Systems
Authors:
Pedro García López,
Marc Sánchez-Artigas,
Gerard París,
Daniel Barcelona Pons,
Álvaro Ruiz Ollobarren,
David Arroyo Pinto
Abstract:
Since the appearance of Amazon Lambda in 2014, all major cloud providers have embraced the Function as a Service (FaaS) model, because of its enormous potential for a wide variety of applications. As expected (and also desired), the competition is fierce in the serverless world, and includes aspects such as the run-time support for the orchestration of serverless functions. In this regard, the thr…
▽ More
Since the appearance of Amazon Lambda in 2014, all major cloud providers have embraced the Function as a Service (FaaS) model, because of its enormous potential for a wide variety of applications. As expected (and also desired), the competition is fierce in the serverless world, and includes aspects such as the run-time support for the orchestration of serverless functions. In this regard, the three major production services are currently Amazon Step Functions (December 2016), Azure Durable Functions (June 2017), and IBM Composer (October 2017), still young and experimental projects with a long way ahead. In this article, we will compare and analyze these three serverless orchestration systems under a common evaluation framework. We will study their architectures, programming and billing models, and their effective support for parallel execution, among others. Through a series of experiments, we will also evaluate the run-time overhead of the different infrastructures for different types of workflows.
△ Less
Submitted 25 January, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Dynamic Allocation of Serverless Functions in IoT Environments
Authors:
Duarte Pinto,
João Pedro Dias,
Hugo Sereno Ferreira
Abstract:
The IoT area has grown significantly in the last few years and is expected to reach a gigantic amount of 50 billion devices by 2020. The appearance of serverless architectures, specifically highlighting FaaS, raises the question of the of using such in IoT environments. Combining IoT with a serverless architectural design can be effective when trying to make use of the local processing power that…
▽ More
The IoT area has grown significantly in the last few years and is expected to reach a gigantic amount of 50 billion devices by 2020. The appearance of serverless architectures, specifically highlighting FaaS, raises the question of the of using such in IoT environments. Combining IoT with a serverless architectural design can be effective when trying to make use of the local processing power that exists in a local network of IoT devices and creating a fog layer that leverages computational capabilities that are closer to the end-user. In this approach, which is placed between the device and the serverless function, when a device requests for the execution of a serverless function will decide based on previous metrics of execution if the serverless function should be executed locally, in the fog layer of a local network of IoT devices, or if it should be executed remotely, in one of the available cloud servers. Therefore, this approach allows to dynamically allocating functions to the most suitable layer.
△ Less
Submitted 13 January, 2019; v1 submitted 10 July, 2018;
originally announced July 2018.
-
Simulating Modulated X-ray calibration Sources for future X-ray missions, using GEANT4
Authors:
C. P. de Vries,
V. Fioretti,
J. W. den Herder,
E Schyns,
S. D. Pinto
Abstract:
The XIFU X-ray spectrometer instrument on the future Athena mission needs X-ray calibration sources to calibrate the gains of the individual detector pixels. For this purpose, electronically controlled Modulated X-ray Sources (MXS) are proposed, similar to the calibrations sources used on the Hitomi spacecraft and which will also fly on its successor, XARM. Here we present a simulation package bas…
▽ More
The XIFU X-ray spectrometer instrument on the future Athena mission needs X-ray calibration sources to calibrate the gains of the individual detector pixels. For this purpose, electronically controlled Modulated X-ray Sources (MXS) are proposed, similar to the calibrations sources used on the Hitomi spacecraft and which will also fly on its successor, XARM. Here we present a simulation package based on the particle transport GEANT4 toolkit. Using this package, we compute the results for different targets and window configurations for the MXS's. The simulations expose the trade-offs to be made to select the optimum source configuration for the Athena/XIFU and XARM/Resolve spectrometer instruments.
△ Less
Submitted 20 June, 2018;
originally announced June 2018.
-
Expansion Dynamics After Laser-Induced Cavitation in Liquid Tin Microdroplets
Authors:
Dmitry Kurilovich,
Tiago de Faria Pinto,
Francesco Torretti,
Ruben Schupp,
Joris Scheers,
Aneta S. Stodolna,
Hanneke Gelderblom,
Kjeld S. E. Eikema,
Stefan Witte,
Wim Ubachs,
Ronnie Hoekstra,
Oscar O. Versolato
Abstract:
The cavitation-driven expansion dynamics of liquid tin microdroplets is investigated, set in motion by the ablative impact of a 15-ps laser pulse. We combine high-resolution stroboscopic shadowgraphy with an intuitive fluid dynamic model that includes the onset of fragmentation, and find good agreement between model and experimental data for two different droplet sizes over a wide range of laser p…
▽ More
The cavitation-driven expansion dynamics of liquid tin microdroplets is investigated, set in motion by the ablative impact of a 15-ps laser pulse. We combine high-resolution stroboscopic shadowgraphy with an intuitive fluid dynamic model that includes the onset of fragmentation, and find good agreement between model and experimental data for two different droplet sizes over a wide range of laser pulse energies. The dependence of the initial expansion velocity on these experimental parameters is heuristically captured in a single power law. Further, the obtained late-time mass distributions are shown to be governed by a single parameter. These studies are performed under conditions relevant for plasma light sources for extreme-ultraviolet nanolithography.
△ Less
Submitted 18 May, 2018;
originally announced May 2018.
-
Entanglement production by the magnetic dipolar interaction dynamics
Authors:
Douglas F. Pinto,
Jonas Maziero
Abstract:
We consider two qubits prepared in a product state and evolved under the magnetic dipolar interaction (MDI). We describe the dependence of the entanglement generated by the MDI with time, with the interaction parameters, and with the system's initial state, identifying the symmetry and coherence aspects of those initial configurations that yield the maximal entanglement. We also show how one can o…
▽ More
We consider two qubits prepared in a product state and evolved under the magnetic dipolar interaction (MDI). We describe the dependence of the entanglement generated by the MDI with time, with the interaction parameters, and with the system's initial state, identifying the symmetry and coherence aspects of those initial configurations that yield the maximal entanglement. We also show how one can obtain maximum entanglement from the MDI applied to some families of partially entangled initial states.
△ Less
Submitted 19 August, 2018; v1 submitted 3 May, 2018;
originally announced May 2018.
-
Random Sequential Adsorption on mobile patches
Authors:
Diogo E. P. Pinto,
Nuno A. M. Araujo
Abstract:
An extension of the Random Sequential Adsorption (RSA) model has been proposed recently, motivated by the coverage of oil droplets by DNA-functionalized colloidal particles. Particles arrive to a flat substrate with a uniform flux F but they can only adsorb on patches. Patches diffuse on the substrate with a diffusion coefficient D if they are free and they remain immobile when attached to an adso…
▽ More
An extension of the Random Sequential Adsorption (RSA) model has been proposed recently, motivated by the coverage of oil droplets by DNA-functionalized colloidal particles. Particles arrive to a flat substrate with a uniform flux F but they can only adsorb on patches. Patches diffuse on the substrate with a diffusion coefficient D if they are free and they remain immobile when attached to an adsorbed particle. The adsorption is considered irreversible and particles cannot adsorb on top of each other. Thus, the system reaches a jammed state, consisting of a monolayer where no more particles can adsorb. We performed Monte Carlo simulations to study the adsorption kinetics and jammed-state morphology on a one-dimensional lattice. We show that, while the time-dependence of the coverage depends on F and D, the jammed-state coverage depends solely on the ratio F/D. This result is grasped by a simple mean-field calculation. We also report two different regimes for the functional dependence of the jammed-state coverage on the size of the particles, for low and high density of patches.
△ Less
Submitted 18 April, 2018;
originally announced April 2018.
-
Controlling ion kinetic energy distributions in laser produced plasma sources by means of a picosecond pulse pair
Authors:
Aneta S. Stodolna,
Tiago de Faria Pinto,
Faisal Ali,
Alex Bayerle,
Dmitry Kurilovich,
Jan Mathijssen,
Ronnie Hoekstra,
Oscar O. Versolato,
Kjeld S. E. Eikema,
Stefan Witte
Abstract:
The next generation of lithography machines uses extreme ultraviolet (EUV) light originating from laser-produced plasma (LPP) sources, where a small tin droplet is ionized by an intense laser pulse to emit the requested light at 13.5 nm. Numerous irradiation schemes have been explored to increase conversion efficiency (CE), out of which a double-pulse approach comprising a weak picosecond Nd:YAG p…
▽ More
The next generation of lithography machines uses extreme ultraviolet (EUV) light originating from laser-produced plasma (LPP) sources, where a small tin droplet is ionized by an intense laser pulse to emit the requested light at 13.5 nm. Numerous irradiation schemes have been explored to increase conversion efficiency (CE), out of which a double-pulse approach comprising a weak picosecond Nd:YAG pre-pulse followed by a powerful pulse is considered to be very promising [1]. Nevertheless, even for such CE-optimized schemes, ion debris ejected from the plasma with kinetic energies up to several keV remain a factor that hampers the maximum performance of LPP sources. In this letter we propose a novel pre-pulse scheme consisting of a picosecond pulse pair at 1064 nm, which decreases the amount of undesirable fast ions, avoids back-reflections to the lasers and enables one to tailor the target shape.
△ Less
Submitted 4 April, 2018;
originally announced April 2018.
-
High collection efficiency MCPs for photon counting detectors
Authors:
D. A. Orlov,
T. Ruardij,
S. Duarte Pinto,
R. Glazenborg,
E. Kernen
Abstract:
Multi Micro-Channel-Plate Photomultiplier tubes (MCP-PMT) with High Collection Efficiency (Hi-CE) MCPs are developed and characterised. With these Hi-CE MCPs more than 90% of photoelectrons emitted from the photocathode can be detected; this is in contrast to conventional MCPs where about 50% of photoelectrons are lost at the MCP stage. The drawback of the Hi-CE MCPs is a small degradation of the…
▽ More
Multi Micro-Channel-Plate Photomultiplier tubes (MCP-PMT) with High Collection Efficiency (Hi-CE) MCPs are developed and characterised. With these Hi-CE MCPs more than 90% of photoelectrons emitted from the photocathode can be detected; this is in contrast to conventional MCPs where about 50% of photoelectrons are lost at the MCP stage. The drawback of the Hi-CE MCPs is a small degradation of the transfer time spread (TTS). However for applications where no sub-ns time resolution is required the implementation of Hi-CE MCPs is extremely beneficial, as it improves the detection efficiency of the MCP-PMT almost by a factor of two.
△ Less
Submitted 15 December, 2017; v1 submitted 10 November, 2017;
originally announced November 2017.
-
Sn ion energy distributions of ns- and ps-laser produced plasmas
Authors:
Alex Bayerle,
Mart Johan Deuzeman,
Sjoerd van der Heijden,
Dmitry Kurilovich,
Tiago de Faria Pinto,
Aneta Stodolna,
Stefan Witte,
Kjeld S. E. Eikema,
Wim Ubachs,
Ronnie Hoekstra,
Oscar. O. Versolato
Abstract:
Ion energy distributions arising from laser-produced plasmas of Sn are measured over a wide laser parameter space. Planar-solid as well as liquid-droplet targets are exposed to infrared laser pulses with energy densities between 1J/cm$^2$ and 4kJ/cm$^2$ and durations spanning 0.5ps to 6ns. The measured ion energy distributions are compared to two self-similar solutions of a hydrodynamic approach a…
▽ More
Ion energy distributions arising from laser-produced plasmas of Sn are measured over a wide laser parameter space. Planar-solid as well as liquid-droplet targets are exposed to infrared laser pulses with energy densities between 1J/cm$^2$ and 4kJ/cm$^2$ and durations spanning 0.5ps to 6ns. The measured ion energy distributions are compared to two self-similar solutions of a hydrodynamic approach assuming isothermal expansion of the plasma plume into vacuum. For planar and droplet targets exposed to ps-long pulses we find a good agreement between the experimental results and the self-similar solution of a semi-infinite simple planar plasma configuration with an exponential density profile. The ion energy distributions resulting from solid Sn exposed to ns-pulses agrees with solutions of a limited-mass model that assumes a Gaussian-shaped initial density profile.
△ Less
Submitted 8 March, 2018; v1 submitted 7 November, 2017;
originally announced November 2017.