-
Q-S5: Towards Quantized State Space Models
Authors:
Steven Abreu,
Jens E. Pedersen,
Kade M. Heckel,
Alessandro Pierro
Abstract:
In the quest for next-generation sequence modeling architectures, State Space Models (SSMs) have emerged as a potent alternative to transformers, particularly for their computational efficiency and suitability for dynamical systems. This paper investigates the effect of quantization on the S5 model to understand its impact on model performance and to facilitate its deployment to edge and resource-…
▽ More
In the quest for next-generation sequence modeling architectures, State Space Models (SSMs) have emerged as a potent alternative to transformers, particularly for their computational efficiency and suitability for dynamical systems. This paper investigates the effect of quantization on the S5 model to understand its impact on model performance and to facilitate its deployment to edge and resource-constrained platforms. Using quantization-aware training (QAT) and post-training quantization (PTQ), we systematically evaluate the quantization sensitivity of SSMs across different tasks like dynamical systems modeling, Sequential MNIST (sMNIST) and most of the Long Range Arena (LRA). We present fully quantized S5 models whose test accuracy drops less than 1% on sMNIST and most of the LRA. We find that performance on most tasks degrades significantly for recurrent weights below 8-bit precision, but that other components can be compressed further without significant loss of performance. Our results further show that PTQ only performs well on language-based LRA tasks whereas all others require QAT. Our investigation provides necessary insights for the continued development of efficient and hardware-optimized SSMs.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Higher-order topological kernels via quantum computation
Authors:
Massimiliano Incudini,
Francesco Martini,
Alessandra Di Pierro
Abstract:
Topological data analysis (TDA) has emerged as a powerful tool for extracting meaningful insights from complex data. TDA enhances the analysis of objects by embedding them into a simplicial complex and extracting useful global properties such as the Betti numbers, i.e. the number of multidimensional holes, which can be used to define kernel methods that are easily integrated with existing machine-…
▽ More
Topological data analysis (TDA) has emerged as a powerful tool for extracting meaningful insights from complex data. TDA enhances the analysis of objects by embedding them into a simplicial complex and extracting useful global properties such as the Betti numbers, i.e. the number of multidimensional holes, which can be used to define kernel methods that are easily integrated with existing machine-learning algorithms. These kernel methods have found broad applications, as they rely on powerful mathematical frameworks which provide theoretical guarantees on their performance. However, the computation of higher-dimensional Betti numbers can be prohibitively expensive on classical hardware, while quantum algorithms can approximate them in polynomial time in the instance size. In this work, we propose a quantum approach to defining topological kernels, which is based on constructing Betti curves, i.e. topological fingerprint of filtrations with increasing order. We exhibit a working prototype of our approach implemented on a noiseless simulator and show its robustness by means of some empirical results suggesting that topological approaches may offer an advantage in quantum machine learning.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Optimization of a Hydrodynamic Computational Reservoir through Evolution
Authors:
Alessandro Pierro,
Kristine Heiney,
Shamit Shrivastava,
Giulia Marcucci,
Stefano Nichele
Abstract:
As demand for computational resources reaches unprecedented levels, research is expanding into the use of complex material substrates for computing. In this study, we interface with a model of a hydrodynamic system, under development by a startup, as a computational reservoir and optimize its properties using an evolution in materio approach. Input data are encoded as waves applied to our shallow…
▽ More
As demand for computational resources reaches unprecedented levels, research is expanding into the use of complex material substrates for computing. In this study, we interface with a model of a hydrodynamic system, under development by a startup, as a computational reservoir and optimize its properties using an evolution in materio approach. Input data are encoded as waves applied to our shallow water reservoir, and the readout wave height is obtained at a fixed detection point. We optimized the readout times and how inputs are mapped to the wave amplitude or frequency using an evolutionary search algorithm, with the objective of maximizing the system's ability to linearly separate observations in the training data by maximizing the readout matrix determinant. Applying evolutionary methods to this reservoir system substantially improved separability on an XNOR task, in comparison to implementations with hand-selected parameters. We also applied our approach to a regression task and show that our approach improves out-of-sample accuracy. Results from this study will inform how we interface with the physical reservoir in future work, and we will use these methods to continue to optimize other aspects of the physical implementation of this system as a computational reservoir.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
NeuroBench: A Framework for Benchmarking Neuromorphic Computing Algorithms and Systems
Authors:
Jason Yik,
Korneel Van den Berghe,
Douwe den Blanken,
Younes Bouhadjar,
Maxime Fabre,
Paul Hueber,
Denis Kleyko,
Noah Pacik-Nelson,
Pao-Sheng Vincent Sun,
Guangzhi Tang,
Shenqi Wang,
Biyan Zhou,
Soikat Hasan Ahmed,
George Vathakkattil Joseph,
Benedetto Leto,
Aurora Micheli,
Anurag Kumar Mishra,
Gregor Lenz,
Tao Sun,
Zergham Ahmed,
Mahmoud Akl,
Brian Anderson,
Andreas G. Andreou,
Chiara Bartolozzi,
Arindam Basu
, et al. (73 additional authors not shown)
Abstract:
Neuromorphic computing shows promise for advancing computing efficiency and capabilities of AI applications using brain-inspired principles. However, the neuromorphic research field currently lacks standardized benchmarks, making it difficult to accurately measure technological advancements, compare performance with conventional methods, and identify promising future research directions. Prior neu…
▽ More
Neuromorphic computing shows promise for advancing computing efficiency and capabilities of AI applications using brain-inspired principles. However, the neuromorphic research field currently lacks standardized benchmarks, making it difficult to accurately measure technological advancements, compare performance with conventional methods, and identify promising future research directions. Prior neuromorphic computing benchmark efforts have not seen widespread adoption due to a lack of inclusive, actionable, and iterative benchmark design and guidelines. To address these shortcomings, we present NeuroBench: a benchmark framework for neuromorphic computing algorithms and systems. NeuroBench is a collaboratively-designed effort from an open community of nearly 100 co-authors across over 50 institutions in industry and academia, aiming to provide a representative structure for standardizing the evaluation of neuromorphic approaches. The NeuroBench framework introduces a common set of tools and systematic methodology for inclusive benchmark measurement, delivering an objective reference framework for quantifying neuromorphic approaches in both hardware-independent (algorithm track) and hardware-dependent (system track) settings. In this article, we present initial performance baselines across various model architectures on the algorithm track and outline the system track benchmark tasks and guidelines. NeuroBench is intended to continually expand its benchmarks and features to foster and track the progress made by the research community.
△ Less
Submitted 17 January, 2024; v1 submitted 10 April, 2023;
originally announced April 2023.
-
The Quantum Path Kernel: a Generalized Quantum Neural Tangent Kernel for Deep Quantum Machine Learning
Authors:
Massimiliano Incudini,
Michele Grossi,
Antonio Mandarino,
Sofia Vallecorsa,
Alessandra Di Pierro,
David Windridge
Abstract:
Building a quantum analog of classical deep neural networks represents a fundamental challenge in quantum computing. A key issue is how to address the inherent non-linearity of classical deep learning, a problem in the quantum domain due to the fact that the composition of an arbitrary number of quantum gates, consisting of a series of sequential unitary transformations, is intrinsically linear. T…
▽ More
Building a quantum analog of classical deep neural networks represents a fundamental challenge in quantum computing. A key issue is how to address the inherent non-linearity of classical deep learning, a problem in the quantum domain due to the fact that the composition of an arbitrary number of quantum gates, consisting of a series of sequential unitary transformations, is intrinsically linear. This problem has been variously approached in the literature, principally via the introduction of measurements between layers of unitary transformations. In this paper, we introduce the Quantum Path Kernel, a formulation of quantum machine learning capable of replicating those aspects of deep machine learning typically associated with superior generalization performance in the classical domain, specifically, hierarchical feature learning. Our approach generalizes the notion of Quantum Neural Tangent Kernel, which has been used to study the dynamics of classical and quantum machine learning models. The Quantum Path Kernel exploits the parameter trajectory, i.e. the curve delineated by model parameters as they evolve during training, enabling the representation of differential layer-wise convergence behaviors, or the formation of hierarchical parametric dependencies, in terms of their manifestation in the gradient space of the predictor function. We evaluate our approach with respect to variants of the classification of Gaussian XOR mixtures - an artificial but emblematic problem that intrinsically requires multilevel learning in order to achieve optimal class separation.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
Automatic and effective discovery of quantum kernels
Authors:
Massimiliano Incudini,
Daniele Lizzio Bosco,
Francesco Martini,
Michele Grossi,
Giuseppe Serra,
Alessandra Di Pierro
Abstract:
Quantum computing can empower machine learning models by enabling kernel machines to leverage quantum kernels for representing similarity measures between data. Quantum kernels are able to capture relationships in the data that are not efficiently computable on classical devices. However, there is no straightforward method to engineer the optimal quantum kernel for each specific use case. While re…
▽ More
Quantum computing can empower machine learning models by enabling kernel machines to leverage quantum kernels for representing similarity measures between data. Quantum kernels are able to capture relationships in the data that are not efficiently computable on classical devices. However, there is no straightforward method to engineer the optimal quantum kernel for each specific use case. While recent literature has focused on exploiting the potential offered by the presence of symmetries in the data to guide the construction of quantum kernels, we adopt here a different approach, which employs optimization techniques, similar to those used in neural architecture search and AutoML, to automatically find an optimal kernel in a heuristic manner. The algorithm we present constructs a quantum circuit implementing the similarity measure as a combinatorial object, which is evaluated based on a cost function and is then iteratively modified using a meta-heuristic optimization technique. The cost function can encode many criteria ensuring favorable statistical properties of the candidate solution, such as the rank of the Dynamical Lie Algebra. Importantly, our approach is independent of the optimization technique employed. The results obtained by testing our approach on a high-energy physics problem demonstrate that, in the best-case scenario, we can either match or improve testing accuracy with respect to the manual design approach, showing the potential of our technique to deliver superior results with reduced effort.
△ Less
Submitted 20 December, 2023; v1 submitted 22 September, 2022;
originally announced September 2022.
-
Computing Graph Edit Distance with Algorithms on Quantum Devices
Authors:
Massimiliano Incudini,
Fabio Tarocco,
Riccardo Mengoni,
Alessandra Di Pierro,
Antonio Mandarino
Abstract:
Distance measures provide the foundation for many popular algorithms in Machine Learning and Pattern Recognition. Different notions of distance can be used depending on the types of the data the algorithm is working on. For graph-shaped data, an important notion is the Graph Edit Distance (GED) that measures the degree of (dis)similarity between two graphs in terms of the operations needed to make…
▽ More
Distance measures provide the foundation for many popular algorithms in Machine Learning and Pattern Recognition. Different notions of distance can be used depending on the types of the data the algorithm is working on. For graph-shaped data, an important notion is the Graph Edit Distance (GED) that measures the degree of (dis)similarity between two graphs in terms of the operations needed to make them identical. As the complexity of computing GED is the same as NP-hard problems, it is reasonable to consider approximate solutions. In this paper we present a QUBO formulation of the GED problem. This allows us to implement two different approaches, namely quantum annealing and variational quantum algorithms that run on the two types of quantum hardware currently available: quantum annealer and gate-based quantum computer, respectively. Considering the current state of noisy intermediate-scale quantum computers, we base our study on proof-of-principle tests of their performance.
△ Less
Submitted 17 February, 2022; v1 submitted 19 November, 2021;
originally announced November 2021.
-
Facial Expression Recognition on a Quantum Computer
Authors:
Riccardo Mengoni,
Massimiliano Incudini,
Alessandra Di Pierro
Abstract:
We address the problem of facial expression recognition and show a possible solution using a quantum machine learning approach. In order to define an efficient classifier for a given dataset, our approach substantially exploits quantum interference. By representing face expressions via graphs, we define a classifier as a quantum circuit that manipulates the graphs adjacency matrices encoded into t…
▽ More
We address the problem of facial expression recognition and show a possible solution using a quantum machine learning approach. In order to define an efficient classifier for a given dataset, our approach substantially exploits quantum interference. By representing face expressions via graphs, we define a classifier as a quantum circuit that manipulates the graphs adjacency matrices encoded into the amplitudes of some appropriately defined quantum states. We discuss the accuracy of the quantum classifier evaluated on the quantum simulator available on the IBM Quantum Experience cloud platform, and compare it with the accuracy of one of the best classical classifier.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Polymer-embedded molecular junctions between graphene sheets: A Molecular Dynamics study
Authors:
Alessandro di Pierro,
Alberto Fina
Abstract:
Thermal conduction in polymer nanocomposites depends on several parameters including the thermal conductivity and geometrical features of the nanoparticles, the particle loading, their degree of dispersion and formation of a percolating networks. To enhance efficiency of thermal contact between free-standing conductive nanoparticles were previously proposed. This work report for the first time the…
▽ More
Thermal conduction in polymer nanocomposites depends on several parameters including the thermal conductivity and geometrical features of the nanoparticles, the particle loading, their degree of dispersion and formation of a percolating networks. To enhance efficiency of thermal contact between free-standing conductive nanoparticles were previously proposed. This work report for the first time the investigation of molecular junctions within a graphene polymer nanocomposite. Molecular dynamics simulations were conducted to investigate the thermal transport efficiency of molecular junctions in polymer tight contact, to quantify the contribution of molecular junctions when graphene and the molecular junctions are surrounded by polydimethylsiloxane (PDMS). A strong dependence of the thermal conductance in PDMS/graphene model was found, with best performances obtained with short and conformationally rigid molecular junctions.
△ Less
Submitted 22 January, 2021;
originally announced January 2021.
-
Smart-Corpus: an Organized Repository of Ethereum Smart Contracts Source Code and Metrics
Authors:
Giuseppe Antonio Pierro,
Roberto Tonelli,
Michele Marchesi
Abstract:
Many empirical software engineering studies show that there is a great need for repositories where source code is acquired, filtered and classified. During the last few years, Ethereum block explorer services have emerged as a popular project to explore and search Ethereum blockchain data such as transactions, addresses, tokens, smart-contracts' source code, prices and other activities taking plac…
▽ More
Many empirical software engineering studies show that there is a great need for repositories where source code is acquired, filtered and classified. During the last few years, Ethereum block explorer services have emerged as a popular project to explore and search Ethereum blockchain data such as transactions, addresses, tokens, smart-contracts' source code, prices and other activities taking place on the Ethereum blockchain. Despite the availability of this kind of services, retrieving specific information useful to empirical software engineering studies, such as the study of smart-contracts' software metrics might require many sub-tasks, such as searching specific transactions in a block, parsing files in HTML format and filtering the smart-contracts to remove duplicated code or unused smart-contracts. In this paper we afford this problem creating Smart Corpus', a Corpus of Smart Contracts in an organized reasoned and up to date repository where Solidity source code and other metadata about Ethereum smart contracts can easily and systematically be retrieved. We present the Smart Corpus' design and its initial implementation and we show how the data-set of smart contracts' source code in a variety of programming languages can be queried and processed, get useful information on smart contracts and their software metrics. The Smart Corpus aims to create a smart-contracts' repository where smart contracts data (source code, ABI and byte-code) are freely and immediately available and also classified based on the main software metrics identified in the scientific literature. Smart-contracts source code has been validated by EtherScan and each contract comes with its own associated software metrics as computed by the freely available software PASO. Moreover, Smart Corpus can be easily extended, as the number of new smart-contracts increases day by day.
△ Less
Submitted 3 November, 2020;
originally announced November 2020.
-
Note on filtered colimits of Hilbert spaces
Authors:
Branko Nikolić,
Alessandra Di Pierro
Abstract:
The category of Hilbert spaces and contractions has filtered colimits, and tensoring preserves them. We also discuss (problems with) bounded maps.
The category of Hilbert spaces and contractions has filtered colimits, and tensoring preserves them. We also discuss (problems with) bounded maps.
△ Less
Submitted 2 December, 2019; v1 submitted 22 November, 2019;
originally announced November 2019.
-
Aromatic molecular junctions between graphene sheets: a molecular dynamics screening for enhanced thermal conductance
Authors:
Alessandro Di Pierro,
Maria Mar Bernal,
Diego Martinez,
Bohayra Mortazavi,
Guido Saracco,
Alberto Fina
Abstract:
The proper design and synthesis of molecular junctions for the purpose of establishing percolative networks of conductive nanoparticles represent an opportunity to develop more efficient thermally-conductive nanocomposites, with several potential applications in heat management. In this work, theoretical classical molecular dynamics simulations were conducted to design and evaluate thermal conduct…
▽ More
The proper design and synthesis of molecular junctions for the purpose of establishing percolative networks of conductive nanoparticles represent an opportunity to develop more efficient thermally-conductive nanocomposites, with several potential applications in heat management. In this work, theoretical classical molecular dynamics simulations were conducted to design and evaluate thermal conductance of various molecules serving as thermal bridges between graphene nanosheets. A wide range of molecular junctions was studied, with a focus on the chemical structures that are viable to synthesize at laboratory scale. Thermal conductances were correlated with the length and mechanical stiffness of the chemical junctions. The simulated tensile deformation of the molecular junction revealed that the mechanical response is very sensitive to small differences in the chemical structure. The analysis of the vibrational density of states provided insights into the interfacial vibrational properties. A knowledgedriven design of the molecular junction structures is proposed, aiming at controlling interfacial thermal transport in nanomaterials. This approach may allow for the design of more efficient heat management in nanodevices, including flexible heat spreaders, bulk heat exchangers and heat storage devices.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
Persistent homology analysis of multiqubit entanglement
Authors:
Riccardo Mengoni,
Alessandra DI Pierro,
Laleh Memarzadeh,
Stefano Mancini
Abstract:
We introduce a homology-based technique for the analysis of multiqubit state vectors. In our approach, we associate state vectors to data sets by introducing a metric-like measure in terms of bipartite entanglement, and investigate the persistence of homologies at different scales. This leads to a novel classification of multiqubit entanglement. The relative occurrence frequency of various classes…
▽ More
We introduce a homology-based technique for the analysis of multiqubit state vectors. In our approach, we associate state vectors to data sets by introducing a metric-like measure in terms of bipartite entanglement, and investigate the persistence of homologies at different scales. This leads to a novel classification of multiqubit entanglement. The relative occurrence frequency of various classes of entangled states is also shown.
△ Less
Submitted 16 July, 2019;
originally announced July 2019.
-
Stability of the optimal values under small perturbations of the constraint set
Authors:
Daniel Reem,
Simeon Reich,
Alvaro De Pierro
Abstract:
This paper discusses a general and useful stability principle which, roughly speaking, says that given a uniformly continuous function defined on an arbitrary metric space, if the function is bounded on the constraint set and we slightly change this set, then its optimal (extreme) values on this set vary slightly, and, moreover, they are actually uniformly continuous as a function of the constrain…
▽ More
This paper discusses a general and useful stability principle which, roughly speaking, says that given a uniformly continuous function defined on an arbitrary metric space, if the function is bounded on the constraint set and we slightly change this set, then its optimal (extreme) values on this set vary slightly, and, moreover, they are actually uniformly continuous as a function of the constraint set. The principle holds in a much more general setting than a metric space, since the distance function may be asymmetric, may attain negative and even infinite values, and so on. This stability principle leads to applications in parametric optimization, mixed linear-nonlinear programming and analysis of Lipschitz continuity, as well as to a general scheme for tackling a wide class of non-convex and non-smooth optimization problems. We also discuss the issue of stability when the objective function is merely continuous. As a byproduct of our analysis we obtain a significant generalization of the concept of a generalized inverse of a linear operator and a very general variant of the so-called "Hoffman's Lemma".
△ Less
Submitted 29 March, 2020; v1 submitted 6 February, 2019;
originally announced February 2019.
-
Thermal bridging of graphene nanosheets via covalent molecular junctions. a Non-Equilibrium Green Functions Density Functional Tight-Binding study
Authors:
Diego Martinez,
Alessandro di Pierro,
Alessandro Pecchia,
Leonardo Medrano Sandonas,
Rafael Gutierrez,
Mar Bernal,
Bohayra Mortazavi,
Gianaurelio Cuniberti,
Guido Saracco,
Alberto Fina
Abstract:
Despite the uniquely high thermal conductivity of graphene is well known, the exploitation of graphene into thermally conductive nanomaterials and devices is limited by the inefficiency of thermal contacts between the individual nanosheets. A fascinating yet experimentally challenging route to enhance thermal conductance at contacts between graphene nanosheets is through molecular junctions, allow…
▽ More
Despite the uniquely high thermal conductivity of graphene is well known, the exploitation of graphene into thermally conductive nanomaterials and devices is limited by the inefficiency of thermal contacts between the individual nanosheets. A fascinating yet experimentally challenging route to enhance thermal conductance at contacts between graphene nanosheets is through molecular junctions, allowing covalently connecting nanosheets otherwise interacting only via weak Van der Waals forces. Beside the bare existence of covalent connections, the choice of molecular structures to be used as thermal junctions should be guided by their vibrational properties, in terms of phonon transfer through the molecular junction. In this paper, density functional tight-binding combined with Green functions formalism was applied for the calculation of thermal conductance and phonon spectra of several different aliphatic and aromatic molecular junctions between graphene nanosheets. Effect of molecular junction length, conformation, and aromaticity were studied in detail and correlated with phonon tunnelling spectra. The theoretical insight provided by this work can guide future experimental studies to select suitable molecular junctions in order to enhance the thermal transport by suppressing the interfacial thermal resistances, particularly attractive for various systems, including graphene nanopapers and graphene polymer nanocomposites, as well as related devices. In a broader view, the possibility to design molecular junctions to control phonon transport currently appears as an efficient way to produce phononic devices and controlling heat management in nanostructures.
△ Less
Submitted 25 February, 2019; v1 submitted 8 January, 2019;
originally announced January 2019.
-
A telesco** Bregmanian proximal gradient method without the global Lipschitz continuity assumption
Authors:
Daniel Reem,
Simeon Reich,
Alvaro De Pierro
Abstract:
The problem of minimization of the sum of two convex functions has various theoretical and real-world applications. One of the popular methods for solving this problem is the proximal gradient method (proximal forward-backward algorithm). A very common assumption in the use of this method is that the gradient of the smooth term is globally Lipschitz continuous. However, this assumption is not alwa…
▽ More
The problem of minimization of the sum of two convex functions has various theoretical and real-world applications. One of the popular methods for solving this problem is the proximal gradient method (proximal forward-backward algorithm). A very common assumption in the use of this method is that the gradient of the smooth term is globally Lipschitz continuous. However, this assumption is not always satisfied in practice, thus casting a limitation on the method. In this paper, we discuss, in a wide class of finite and infinite-dimensional spaces, a new variant of the proximal gradient method which does not impose the above-mentioned global Lipschitz continuity assumption. A key contribution of the method is the dependence of the iterative steps on a certain telescopic decomposition of the constraint set into subsets. Moreover, we use a Bregman divergence in the proximal forward-backward operation. Under certain practical conditions, a non-asymptotic rate of convergence (that is, in the function values) is established, as well as the weak convergence of the whole sequence to a minimizer. We also obtain a few auxiliary results of independent interest.
△ Less
Submitted 19 March, 2019; v1 submitted 19 April, 2018;
originally announced April 2018.
-
Re-examination of Bregman functions and new properties of their divergences
Authors:
Daniel Reem,
Simeon Reich,
Alvaro De Pierro
Abstract:
The Bregman divergence (Bregman distance, Bregman measure of distance) is a certain useful substitute for a distance, obtained from a well-chosen function (the "Bregman function"). Bregman functions and divergences have been extensively investigated during the last decades and have found applications in optimization, operations research, information theory, nonlinear analysis, machine learning and…
▽ More
The Bregman divergence (Bregman distance, Bregman measure of distance) is a certain useful substitute for a distance, obtained from a well-chosen function (the "Bregman function"). Bregman functions and divergences have been extensively investigated during the last decades and have found applications in optimization, operations research, information theory, nonlinear analysis, machine learning and more. This paper re-examines various aspects related to the theory of Bregman functions and divergences. In particular, it presents many sufficient conditions which allow the construction of Bregman functions in a general setting and introduces new Bregman functions (such as a negative iterated log entropy). Moreover, it sheds new light on several known Bregman functions such as quadratic entropies, the negative Havrda-Charvát-Tsallis entropy, and the negative Boltzmann-Gibbs-Shannon entropy, and it shows that the negative Burg entropy, which is not a Bregman function according to the classical theory but nevertheless is known to have "Bregmanian properties", can, by our re-examination of the theory, be considered as a Bregman function. Our analysis yields several by-products of independent interest such as the introduction of the concept of relative uniform convexity (a certain generalization of uniform convexity), new properties of uniformly and strongly convex functions, and results in Banach space theory.
△ Less
Submitted 8 April, 2019; v1 submitted 1 March, 2018;
originally announced March 2018.
-
Homological analysis of multi-qubit entanglement
Authors:
Alessandra Di Pierro,
Stefano Mancini,
Laleh Memarzadeh,
Riccardo Mengoni
Abstract:
We propose the usage of persistent homologies to characterize multipartite entanglement. On a multi-qubit data set we introduce metric-like measures defined only in terms of bipartite entanglement and then we derive barcodes. We show that they are able to provide a good classification of entangled states, at least for a small number of qubit.
We propose the usage of persistent homologies to characterize multipartite entanglement. On a multi-qubit data set we introduce metric-like measures defined only in terms of bipartite entanglement and then we derive barcodes. We show that they are able to provide a good classification of entangled states, at least for a small number of qubit.
△ Less
Submitted 27 August, 2018; v1 submitted 13 February, 2018;
originally announced February 2018.
-
Edge-Grafted Molecular Junctions between Graphene Nanoplatelets: Applied Chemistry to Enhance Heat Transfer in Nanomaterials
Authors:
M. Mar Bernal,
Alessandro Di Pierro,
Chiara Novara,
Fabrizio Giorgis,
Bohayra Mortazavi,
Guido Saracco,
Alberto Fina
Abstract:
The edge-functionalization of graphene nanoplatelets (GnP) was carried out exploiting diazonium chemistry, aiming at the synthesis of edge decorated nanoparticles to be used as building blocks in the preparation of engineered nanostructured materials for enhanced heat transfer. Indeed, both phenol functionalized and dianiline-bridged GnP (GnP-OH and E-GnP, respectively) were assembled in nanopaper…
▽ More
The edge-functionalization of graphene nanoplatelets (GnP) was carried out exploiting diazonium chemistry, aiming at the synthesis of edge decorated nanoparticles to be used as building blocks in the preparation of engineered nanostructured materials for enhanced heat transfer. Indeed, both phenol functionalized and dianiline-bridged GnP (GnP-OH and E-GnP, respectively) were assembled in nanopapers exploiting the formation of non-covalent and covalent molecular junctions, respectively. Molecular dynamics allowed to estimate the thermal conductance for the two different types of molecular junction, suggesting a factor 6 between conductance of covalent vs. non-covalent junctions. Furthermore, the chemical functionalization was observed to drive the self-organization of the nanoflakes into the nanopapers, leading to a 20% enhancement of the thermal conductivity for GnP-OH and E-GnP while the cross plane thermal conductivity was boosted by 150% in the case of E-GnP. The application of chemical functionalization to the engineering of contact resistance in nanoparticles network was therefore validated as a fascinating route for the enhancement of heat exchange efficiency on nanoparticle networks, with great potential impact in low-temperature heat exchange and recovery applications
△ Less
Submitted 2 January, 2018;
originally announced January 2018.
-
Molecular junctions for thermal transport between graphene nanoribbons: covalent bonding vs. interdigitated chains
Authors:
Alessandro Di Pierro,
Guido Saracco,
Alberto Fina
Abstract:
Proper design and manufacturing thermal bridges based on molecular junctions at the contact between graphene platelets or other thermally conductive nanoparticles would provide a fascinating way to produce efficient heat transport networks for the exploitation in heat management applications. In this work, using Non Equilibrium Molecular Dynamics, we calculated thermal conductance of alkyl chains…
▽ More
Proper design and manufacturing thermal bridges based on molecular junctions at the contact between graphene platelets or other thermally conductive nanoparticles would provide a fascinating way to produce efficient heat transport networks for the exploitation in heat management applications. In this work, using Non Equilibrium Molecular Dynamics, we calculated thermal conductance of alkyl chains used as molecular junctions between two graphene nanoribbons, both as covalently bound and Van der Waals interdigitated chains. Effect of chain length, grafting density, temperature and chain interdigitation were systematically studied. A clear reduction of conductivity was found with increasing chain length and decreasing grafting density, while lower conductivity was observed for Van der Waals interdigitated chains compared to covalently bound ones. The importance of molecular junctions in enhancing thermal conductance at graphene nanoribbons contacts was further evidenced by calculating the conductance equivalence between a single chain and an overlap** of un-functionalized graphene sheets. As an example, one single pentyl covalently bound chain was found to have a conductance equivalent to the overlap** of an area corresponding to about 152 carbon atoms. These results contribute to the understanding of thermal phenomena occurring within networks of thermally conductive nanoparticles, including graphene nanopapers and graphene-based polymer nanocomposites, which are or high interest for the heat management application in electronics and generally in low-temperature heat exchange and recovery.
△ Less
Submitted 26 October, 2017; v1 submitted 10 October, 2017;
originally announced October 2017.
-
A new convergence analysis and perturbation resilience of some accelerated proximal forward-backward algorithms with errors
Authors:
Daniel Reem,
Alvaro De Pierro
Abstract:
Many problems in science and engineering involve, as part of their solution process, the consideration of a separable function which is the sum of two convex functions, one of them possibly non-smooth. Recently a few works have discussed inexact versions of several accelerated proximal methods aiming at solving this minimization problem. This paper shows that inexact versions of a method of Beck a…
▽ More
Many problems in science and engineering involve, as part of their solution process, the consideration of a separable function which is the sum of two convex functions, one of them possibly non-smooth. Recently a few works have discussed inexact versions of several accelerated proximal methods aiming at solving this minimization problem. This paper shows that inexact versions of a method of Beck and Teboulle (FISTA) preserve, in a Hilbert space setting, the same (non-asymptotic) rate of convergence under some assumptions on the decay rate of the error terms. The notion of inexactness discussed here seems to be rather simple, but, interestingly, when comparing to related works, closely related decay rates of the errors terms yield closely related convergence rates. The derivation sheds some light on the somewhat mysterious origin of some parameters which appear in various accelerated methods. A consequence of the analysis is that the accelerated method is perturbation resilient, making it suitable, in principle, for the superiorization methodology. By taking this into account, we re-examine the superiorization methodology and significantly extend its scope.
△ Less
Submitted 29 June, 2016; v1 submitted 23 August, 2015;
originally announced August 2015.
-
Observation of the rare $B^0_s\toμ^+μ^-$ decay from the combined analysis of CMS and LHCb data
Authors:
The CMS,
LHCb Collaborations,
:,
V. Khachatryan,
A. M. Sirunyan,
A. Tumasyan,
W. Adam,
T. Bergauer,
M. Dragicevic,
J. Erö,
M. Friedl,
R. Frühwirth,
V. M. Ghete,
C. Hartl,
N. Hörmann,
J. Hrubec,
M. Jeitler,
W. Kiesenhofer,
V. Knünz,
M. Krammer,
I. Krätschmer,
D. Liko,
I. Mikulec,
D. Rabady,
B. Rahbaran
, et al. (2807 additional authors not shown)
Abstract:
A joint measurement is presented of the branching fractions $B^0_s\toμ^+μ^-$ and $B^0\toμ^+μ^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\toμ^+μ^-$ decay, with a statistical significance exceeding six sta…
▽ More
A joint measurement is presented of the branching fractions $B^0_s\toμ^+μ^-$ and $B^0\toμ^+μ^-$ in proton-proton collisions at the LHC by the CMS and LHCb experiments. The data samples were collected in 2011 at a centre-of-mass energy of 7 TeV, and in 2012 at 8 TeV. The combined analysis produces the first observation of the $B^0_s\toμ^+μ^-$ decay, with a statistical significance exceeding six standard deviations, and the best measurement of its branching fraction so far. Furthermore, evidence for the $B^0\toμ^+μ^-$ decay is obtained with a statistical significance of three standard deviations. The branching fraction measurements are statistically compatible with SM predictions and impose stringent constraints on several theories beyond the SM.
△ Less
Submitted 17 August, 2015; v1 submitted 17 November, 2014;
originally announced November 2014.
-
String-Averaging Expectation-Maximization for Maximum Likelihood Estimation in Emission Tomography
Authors:
E. S. Helou,
Y. Censor,
T. -B. Chen,
I-L. Chern,
Á. R. De Pierro,
M. Jiang,
H. H. -S. Lu
Abstract:
We study the maximum likelihood model in emission tomography and propose a new family of algorithms for its solution, called String-Averaging Expectation-Maximization (SAEM). In the String-Averaging algorithmic regime, the index set of all underlying equations is split into subsets, called "strings," and the algorithm separately proceeds along each string, possibly in parallel. Then, the end-point…
▽ More
We study the maximum likelihood model in emission tomography and propose a new family of algorithms for its solution, called String-Averaging Expectation-Maximization (SAEM). In the String-Averaging algorithmic regime, the index set of all underlying equations is split into subsets, called "strings," and the algorithm separately proceeds along each string, possibly in parallel. Then, the end-points of all strings are averaged to form the next iterate. SAEM algorithms with several strings presents better practical merits than the classical Row-Action Maximum-Likelihood Algorithm (RAMLA). We present numerical experiments showing the effectiveness of the algorithmic scheme in realistic situations. Performance is evaluated from the computational cost and reconstruction quality viewpoints. A complete convergence theory is also provided.
△ Less
Submitted 11 February, 2014;
originally announced February 2014.
-
Probabilistic data flow analysis: a linear equational approach
Authors:
Alessandra Di Pierro,
Herbert Wiklicky
Abstract:
Speculative optimisation relies on the estimation of the probabilities that certain properties of the control flow are fulfilled. Concrete or estimated branch probabilities can be used for searching and constructing advantageous speculative and bookkee** transformations.
We present a probabilistic extension of the classical equational approach to data-flow analysis that can be used to this pur…
▽ More
Speculative optimisation relies on the estimation of the probabilities that certain properties of the control flow are fulfilled. Concrete or estimated branch probabilities can be used for searching and constructing advantageous speculative and bookkee** transformations.
We present a probabilistic extension of the classical equational approach to data-flow analysis that can be used to this purpose. More precisely, we show how the probabilistic information introduced in a control flow graph by branch prediction can be used to extract a system of linear equations from a program and present a method for calculating correct (numerical) solutions.
△ Less
Submitted 16 July, 2013;
originally announced July 2013.
-
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages
Authors:
Alessandra Di Pierro,
Gethin Norman
Abstract:
This volume contains the proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), held in Paphos, Cyprus, on March 27-28, 2010. QAPL 2010 is a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2010).
The workshop theme is on quantitative aspects of computation. These aspects are related to the use of physical quant…
▽ More
This volume contains the proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), held in Paphos, Cyprus, on March 27-28, 2010. QAPL 2010 is a satellite event of the European Joint Conferences on Theory and Practice of Software (ETAPS 2010).
The workshop theme is on quantitative aspects of computation. These aspects are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust), and play an important (sometimes essential) role in characterising the behavior and determining the properties of systems. Such quantities are central to the definition of both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of the systems properties.
The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems.
△ Less
Submitted 25 June, 2010;
originally announced June 2010.
-
First experience in operating the population of the condition databases for the CMS experiment
Authors:
M. De Gruttola,
S. Di Guida,
D. Futyan,
F. Glege,
G. Govi,
V. Innocente,
P. Paolucci,
A. Pierro,
D. Schlatter
Abstract:
Reliable population of the condition databases is critical for the correct operation of the online selection as well as of the offline reconstruction and analysis of data. We will describe here the system put in place in the CMS experiment to populate the database and make condition data promptly available both online for the high-level trigger and offline for reconstruction. The system, designe…
▽ More
Reliable population of the condition databases is critical for the correct operation of the online selection as well as of the offline reconstruction and analysis of data. We will describe here the system put in place in the CMS experiment to populate the database and make condition data promptly available both online for the high-level trigger and offline for reconstruction. The system, designed for high flexibility to cope with very different data sources, uses POOL-ORA technology in order to store data in an object format that best matches the object oriented paradigm for \texttt{C++} programming language used in the CMS offline software. In order to ensure consistency among the various subdetectors, a dedicated package, PopCon (Populator of Condition Objects), is used to store data online. The data are then automatically streamed to the offline database hence immediately accessible offline worldwide. This mechanism was intensively used during 2008 in the test-runs with cosmic rays. The experience of this first months of operation will be discussed in detail.
△ Less
Submitted 8 March, 2010; v1 submitted 11 January, 2010;
originally announced January 2010.
-
Persistent storage of non-event data in the CMS databases
Authors:
M. De Gruttola,
S. Di Guida,
D. Futyan,
F. Glege,
G. Govi,
V. Innocente,
P. Paolucci,
P. Picca,
A. Pierro,
D. Schlatter,
Z. Xie
Abstract:
In the CMS experiment, the non event data needed to set up the detector, or being produced by it, and needed to calibrate the physical responses of the detector itself are stored in ORACLE databases. The large amount of data to be stored, the number of clients involved and the performance requirements make the database system an essential service for the experiment to run. This note describes the…
▽ More
In the CMS experiment, the non event data needed to set up the detector, or being produced by it, and needed to calibrate the physical responses of the detector itself are stored in ORACLE databases. The large amount of data to be stored, the number of clients involved and the performance requirements make the database system an essential service for the experiment to run. This note describes the CMS condition database architecture, the data-flow and PopCon, the tool built in order to populate the offline databases. Finally, the first experience obtained during the 2008 and 2009 cosmic data taking are presented.
△ Less
Submitted 8 March, 2010; v1 submitted 11 January, 2010;
originally announced January 2010.
-
Quantifying Timing Leaks and Cost Optimisation
Authors:
Alessandra Di Pierro,
Chris Hankin,
Herbert Wiklicky
Abstract:
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of low variables. We then show how to measure the security of a program with respect to this notion via a computable estimate of the timing leakage and use this estimate for cost optimisation.
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of low variables. We then show how to measure the security of a program with respect to this notion via a computable estimate of the timing leakage and use this estimate for cost optimisation.
△ Less
Submitted 24 July, 2008;
originally announced July 2008.
