Showing 1–18 of 18 results for author: Morel, R

Contextual Counting: A Mechanistic Study of Transformers on a Quantitative Task

Authors: Siavash Golkar, Alberto Bietti, Mariel Pettee, Michael Eickenberg, Miles Cranmer, Keiya Hirashima, Geraud Krawezik, Nicholas Lourie, Michael McCabe, Rudy Morel, Ruben Ohana, Liam Holden Parker, Bruno Régaldo-Saint Blancard, Kyunghyun Cho, Shirley Ho

Abstract: Transformers have revolutionized machine learning across diverse domains, yet understanding their behavior remains crucial, particularly in high-stakes applications. This paper introduces the contextual counting task, a novel toy problem aimed at enhancing our understanding of Transformers in quantitative and scientific contexts. This task requires precise localization and computation within datas… ▽ More Transformers have revolutionized machine learning across diverse domains, yet understanding their behavior remains crucial, particularly in high-stakes applications. This paper introduces the contextual counting task, a novel toy problem aimed at enhancing our understanding of Transformers in quantitative and scientific contexts. This task requires precise localization and computation within datasets, akin to object detection or region-based scientific analysis. We present theoretical and empirical analysis using both causal and non-causal Transformer architectures, investigating the influence of various positional encodings on performance and interpretability. In particular, we find that causal attention is much better suited for the task, and that no positional embeddings lead to the best accuracy, though rotary embeddings are competitive and easier to train. We also show that out of distribution performance is tightly linked to which tokens it uses as a bias term. △ Less

Submitted 30 May, 2024; originally announced June 2024.

Riding Wavelets: A Method to Discover New Classes of Price Jumps

Authors: Cecilia Aubrun, Rudy Morel, Michael Benzaquen, Jean-Philippe Bouchaud

Abstract: Cascades of events and extreme occurrences have garnered significant attention across diverse domains such as financial markets, seismology, and social physics. Such events can stem either from the internal dynamics inherent to the system (endogenous), or from external shocks (exogenous). The possibility of separating these two classes of events has critical implications for professionals in those… ▽ More Cascades of events and extreme occurrences have garnered significant attention across diverse domains such as financial markets, seismology, and social physics. Such events can stem either from the internal dynamics inherent to the system (endogenous), or from external shocks (exogenous). The possibility of separating these two classes of events has critical implications for professionals in those fields. We introduce an unsupervised framework leveraging a representation of jump time-series based on wavelet coefficients and apply it to stock price jumps. In line with previous work, we recover the fact that the time-asymmetry of volatility is a major feature. Mean-reversion and trend are found to be two additional key features, allowing us to identify new classes of jumps. Furthermore, thanks to our wavelet-based representation, we investigate the reflexive properties of co-jumps, which occur when multiple stocks experience price jumps within the same minute. We argue that a significant fraction of co-jumps results from an endogenous contagion mechanism. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: 12 pages and 11 pages of appendices, 26 figures

Learning big logical rules by joining small rules

Authors: Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper

Abstract: A major challenge in inductive logic programming is learning big rules. To address this challenge, we introduce an approach where we join small rules to learn big rules. We implement our approach in a constraint-driven system and use constraint solvers to efficiently join rules. Our experiments on many domains, including game playing and drug design, show that our approach can (i) learn rules with… ▽ More A major challenge in inductive logic programming is learning big rules. To address this challenge, we introduce an approach where we join small rules to learn big rules. We implement our approach in a constraint-driven system and use constraint solvers to efficiently join rules. Our experiments on many domains, including game playing and drug design, show that our approach can (i) learn rules with more than 100 literals, and (ii) drastically outperform existing approaches in terms of predictive accuracies. △ Less

Submitted 29 January, 2024; originally announced January 2024.

Path Shadowing Monte-Carlo

Authors: Rudy Morel, Stéphane Mallat, Jean-Philippe Bouchaud

Abstract: We introduce a Path Shadowing Monte-Carlo method, which provides prediction of future paths, given any generative model. At any given date, it averages future quantities over generated price paths whose past history matches, or `shadows', the actual (observed) history. We test our approach using paths generated from a maximum entropy model of financial prices, based on a recently proposed multi-sc… ▽ More We introduce a Path Shadowing Monte-Carlo method, which provides prediction of future paths, given any generative model. At any given date, it averages future quantities over generated price paths whose past history matches, or `shadows', the actual (observed) history. We test our approach using paths generated from a maximum entropy model of financial prices, based on a recently proposed multi-scale analogue of the standard skewness and kurtosis called `Scattering Spectra'. This model promotes diversity of generated paths while reproducing the main statistical properties of financial prices, including stylized facts on volatility roughness. Our method yields state-of-the-art predictions for future realized volatility and allows one to determine conditional option smiles for the S\&P500 that outperform both the current version of the Path-Dependent Volatility model and the option market itself. △ Less

Submitted 2 August, 2023; originally announced August 2023.

Scattering Spectra Models for Physics

Authors: Sihao Cheng, Rudy Morel, Erwan Allys, Brice Ménard, Stéphane Mallat

Abstract: Physicists routinely need probabilistic models for a number of tasks such as parameter inference or the generation of new realizations of a field. Establishing such models for highly non-Gaussian fields is a challenge, especially when the number of samples is limited. In this paper, we introduce scattering spectra models for stationary fields and we show that they provide accurate and robust stati… ▽ More Physicists routinely need probabilistic models for a number of tasks such as parameter inference or the generation of new realizations of a field. Establishing such models for highly non-Gaussian fields is a challenge, especially when the number of samples is limited. In this paper, we introduce scattering spectra models for stationary fields and we show that they provide accurate and robust statistical descriptions of a wide range of fields encountered in physics. These models are based on covariances of scattering coefficients, i.e. wavelet decomposition of a field coupled with a point-wise modulus. After introducing useful dimension reductions taking advantage of the regularity of a field under rotation and scaling, we validate these models on various multi-scale physical fields and demonstrate that they reproduce standard statistics, including spatial moments up to 4th order. These scattering spectra provide us with a low-dimensional structured representation that captures key properties encountered in a wide range of physical fields. These generic models can be used for data exploration, classification, parameter inference, symmetry detection, and component separation. △ Less

Submitted 4 October, 2024; v1 submitted 29 June, 2023; originally announced June 2023.

Comments: 11 pages, 6 figures, plus appendices, updated to published version

Journal ref: PNAS Nexus, Volume 3, Issue 4, April 2024, pgae103

Martian time-series unraveled: A multi-scale nested approach with factorial variational autoencoders

Authors: Ali Siahkoohi, Rudy Morel, Randall Balestriero, Erwan Allys, Grégory Sainton, Taichi Kawamura, Maarten V. de Hoop

Abstract: Unsupervised source separation involves unraveling an unknown set of source signals recorded through a mixing operator, with limited prior knowledge about the sources, and only access to a dataset of signal mixtures. This problem is inherently ill-posed and is further challenged by the variety of timescales exhibited by sources in time series data from planetary space missions. As such, a systemat… ▽ More Unsupervised source separation involves unraveling an unknown set of source signals recorded through a mixing operator, with limited prior knowledge about the sources, and only access to a dataset of signal mixtures. This problem is inherently ill-posed and is further challenged by the variety of timescales exhibited by sources in time series data from planetary space missions. As such, a systematic multi-scale unsupervised approach is needed to identify and separate sources at different timescales. Existing methods typically rely on a preselected window size that determines their operating timescale, limiting their capacity to handle multi-scale sources. To address this issue, we propose an unsupervised multi-scale clustering and source separation framework by leveraging wavelet scattering spectra that provide a low-dimensional representation of stochastic processes, capable of distinguishing between different non-Gaussian stochastic processes. Nested within this representation space, we develop a factorial variational autoencoder that is trained to probabilistically cluster sources at different timescales. To perform source separation, we use samples from clusters at multiple timescales obtained via the factorial variational autoencoder as prior information and formulate an optimization problem in the wavelet scattering spectra representation space. When applied to the entire seismic dataset recorded during the NASA InSight mission on Mars, containing sources varying greatly in timescale, our approach disentangles such different sources, e.g., minute-long transient one-sided pulses (known as "glitches") and structured ambient noises resulting from atmospheric activities that typically last for tens of minutes, and provides an opportunity to conduct further investigations into the isolated sources. △ Less

Submitted 30 July, 2024; v1 submitted 25 May, 2023; originally announced May 2023.

Unearthing InSights into Mars: Unsupervised Source Separation with Limited Data

Authors: Ali Siahkoohi, Rudy Morel, Maarten V. de Hoop, Erwan Allys, Grégory Sainton, Taichi Kawamura

Abstract: Source separation involves the ill-posed problem of retrieving a set of source signals that have been observed through a mixing operator. Solving this problem requires prior knowledge, which is commonly incorporated by imposing regularity conditions on the source signals, or implicitly learned through supervised or unsupervised methods from existing data. While data-driven methods have shown great… ▽ More Source separation involves the ill-posed problem of retrieving a set of source signals that have been observed through a mixing operator. Solving this problem requires prior knowledge, which is commonly incorporated by imposing regularity conditions on the source signals, or implicitly learned through supervised or unsupervised methods from existing data. While data-driven methods have shown great promise in source separation, they often require large amounts of data, which rarely exists in planetary space missions. To address this challenge, we propose an unsupervised source separation scheme for domains with limited data access that involves solving an optimization problem in the wavelet scattering covariance representation space$\unicode{x2014}$an interpretable, low-dimensional representation of stationary processes. We present a real-data example in which we remove transient, thermally-induced microtilts$\unicode{x2014}$known as glitches$\unicode{x2014}$from data recorded by a seismometer during NASA's InSight mission on Mars. Thanks to the wavelet scattering covariances' ability to capture non-Gaussian properties of stochastic processes, we are able to separate glitches using only a few glitch-free data snippets. △ Less

Submitted 31 May, 2023; v1 submitted 27 January, 2023; originally announced January 2023.

Comments: ICML 2023

Scale Dependencies and Self-Similar Models with Wavelet Scattering Spectra

Authors: Rudy Morel, Gaspar Rochette, Roberto Leonarduzzi, Jean-Philippe Bouchaud, Stéphane Mallat

Abstract: We introduce the wavelet scattering spectra which provide non-Gaussian models of time-series having stationary increments. A complex wavelet transform computes signal variations at each scale. Dependencies across scales are captured by the joint correlation across time and scales of wavelet coefficients and their modulus. This correlation matrix is nearly diagonalized by a second wavelet transform… ▽ More We introduce the wavelet scattering spectra which provide non-Gaussian models of time-series having stationary increments. A complex wavelet transform computes signal variations at each scale. Dependencies across scales are captured by the joint correlation across time and scales of wavelet coefficients and their modulus. This correlation matrix is nearly diagonalized by a second wavelet transform, which defines the scattering spectra. We show that this vector of moments characterizes a wide range of non-Gaussian properties of multi-scale processes. We prove that self-similar processes have scattering spectra which are scale invariant. This property can be tested statistically on a single realization and defines a class of wide-sense self-similar processes. We build maximum entropy models conditioned by scattering spectra coefficients, and generate new time-series with a microcanonical sampling algorithm. Applications are shown for highly non-Gaussian financial and turbulence time-series. △ Less

Submitted 19 June, 2023; v1 submitted 19 April, 2022; originally announced April 2022.

Parallel Constraint-Driven Inductive Logic Programming

Authors: Andrew Cropper, Oghenejokpeme Orhobor, Cristian Dinu, Rolf Morel

Abstract: Multi-core machines are ubiquitous. However, most inductive logic programming (ILP) approaches use only a single core, which severely limits their scalability. To address this limitation, we introduce parallel techniques based on constraint-driven ILP where the goal is to accumulate constraints to restrict the hypothesis space. Our experiments on two domains (program synthesis and inductive genera… ▽ More Multi-core machines are ubiquitous. However, most inductive logic programming (ILP) approaches use only a single core, which severely limits their scalability. To address this limitation, we introduce parallel techniques based on constraint-driven ILP where the goal is to accumulate constraints to restrict the hypothesis space. Our experiments on two domains (program synthesis and inductive general game playing) show that (i) parallelisation can substantially reduce learning times, and (ii) worker communication (i.e. sharing constraints) is important for good performance. △ Less

Submitted 15 September, 2021; originally announced September 2021.

Comments: Paper under review

Predicate Invention by Learning From Failures

Authors: Andrew Cropper, Rolf Morel

Abstract: Discovering novel high-level concepts is one of the most important steps needed for human-level AI. In inductive logic programming (ILP), discovering novel high-level concepts is known as predicate invention (PI). Although seen as crucial since the founding of ILP, PI is notoriously difficult and most ILP systems do not support it. In this paper, we introduce POPPI, an ILP system that formulates t… ▽ More Discovering novel high-level concepts is one of the most important steps needed for human-level AI. In inductive logic programming (ILP), discovering novel high-level concepts is known as predicate invention (PI). Although seen as crucial since the founding of ILP, PI is notoriously difficult and most ILP systems do not support it. In this paper, we introduce POPPI, an ILP system that formulates the PI problem as an answer set programming problem. Our experiments show that (i) PI can drastically improve learning performance when useful, (ii) PI is not too costly when unnecessary, and (iii) POPPI can substantially outperform existing ILP systems. △ Less

Submitted 29 April, 2021; originally announced April 2021.

Comments: Rejected manuscript for IJCAI21

Target domains in nanometric Permalloy disks with columnar structure

Authors: Svetlana Ponomareva, Robert Morel, Hélène Joisten, Philippe Sabon, Bernard Dieny

Abstract: We conducted a thorough experimental and numerical study of the micromagnetic properties of Permalloy (Ni$_{80}$Fe$_{20}$) microdisks exhibiting target domain structures at remanence. Vortex configurations are quite common in such microdisks and correspond to an in-plane flux closure configuration of cylindrical symmetry with an out-of-plane magnetized core. In contrast, target domain configuratio… ▽ More We conducted a thorough experimental and numerical study of the micromagnetic properties of Permalloy (Ni$_{80}$Fe$_{20}$) microdisks exhibiting target domain structures at remanence. Vortex configurations are quite common in such microdisks and correspond to an in-plane flux closure configuration of cylindrical symmetry with an out-of-plane magnetized core. In contrast, target domain configuration are observed in thicker microdisks and are characterized by a vortex configuration of the in-plane component of the magnetization superposed to an out-of-plane component of magnetization which oscillates as a function of the distance to the microdisk center resulting in the formation of concentric domains. The ratio of the out-of-plane oscillatory component of the magnetization to the in-plane vortex one increases with the thickness of the microdisk. Hysteresis loops were measured under in-plane and out-of-plane field. The results at remanence and under magnetic field could be interpreted by micromagnetic simulations in which the microdisks were described as an assembly of partially coupled columns representing the granular nanostructure of the films from which the microdisks were patterned. Quite original magnetization processes take place in these microdisks exhibiting target domain remanent configuration. These include in particular entire flipping of the domain configuration and annihilation/creation of ring domains. △ Less

Submitted 16 April, 2021; originally announced April 2021.

Comments: 17 pages, 11 figures

Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs

Authors: Rolf Morel

Abstract: The program synthesis problem within the Inductive Logic Programming (ILP) community has typically been seen as untyped. We consider the benefits of user provided types on background knowledge. Building on the Meta-Interpretive Learning (MIL) framework, we show that type checking is able to prune large parts of the hypothesis space of programs. The introduction of polymorphic type checking to the… ▽ More The program synthesis problem within the Inductive Logic Programming (ILP) community has typically been seen as untyped. We consider the benefits of user provided types on background knowledge. Building on the Meta-Interpretive Learning (MIL) framework, we show that type checking is able to prune large parts of the hypothesis space of programs. The introduction of polymorphic type checking to the MIL approach to logic program synthesis is validated by strong theoretical and experimental results, showing a cubic reduction in the size of the search space and synthesis time, in terms of the number of typed background predicates. Additionally we are able to infer polymorphic types of synthesized clauses and of entire programs. The other advancement is in developing an approach to leveraging refinement types in ILP. Here we show that further pruning of the search space can be achieved, though the SMT solving used for refinement type checking comes △ Less

Submitted 18 February, 2021; originally announced February 2021.

Comments: Oxford 2018 MSc thesis; 82 pages

Learning logic programs by explaining their failures

Authors: Rolf Morel, Andrew Cropper

Abstract: Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to explain the failure to eliminate other hypotheses. The more precise the failure analysis the more hypotheses can be eliminated. Thus inspired, we introduce failure explanation techniques for inductive logic programming. Given a hypothesis represented as a logic program, we test it on exam… ▽ More Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to explain the failure to eliminate other hypotheses. The more precise the failure analysis the more hypotheses can be eliminated. Thus inspired, we introduce failure explanation techniques for inductive logic programming. Given a hypothesis represented as a logic program, we test it on examples. If a hypothesis fails, we explain the failure in terms of failing sub-programs. In case a positive example fails, we identify failing sub-programs at the granularity of literals. We introduce a failure explanation algorithm based on analysing branches of SLD-trees. We integrate a meta-interpreter based implementation of this algorithm with the test-stage of the Popper ILP system. We show that fine-grained failure analysis allows for learning fine-grained constraints on the hypothesis space. Our experimental results show that explaining failures can drastically reduce hypothesis space exploration and learning times. △ Less

Submitted 24 May, 2023; v1 submitted 18 February, 2021; originally announced February 2021.

Comments: 26 pages; under review at the Machine Learning journal since February 2022

Learning programs by learning from failures

Authors: Andrew Cropper, Rolf Morel

Abstract: We describe an inductive logic programming (ILP) approach called learning from failures. In this approach, an ILP system (the learner) decomposes the learning problem into three separate stages: generate, test, and constrain. In the generate stage, the learner generates a hypothesis (a logic program) that satisfies a set of hypothesis constraints (constraints on the syntactic form of hypotheses).… ▽ More We describe an inductive logic programming (ILP) approach called learning from failures. In this approach, an ILP system (the learner) decomposes the learning problem into three separate stages: generate, test, and constrain. In the generate stage, the learner generates a hypothesis (a logic program) that satisfies a set of hypothesis constraints (constraints on the syntactic form of hypotheses). In the test stage, the learner tests the hypothesis against training examples. A hypothesis fails when it does not entail all the positive examples or entails a negative example. If a hypothesis fails, then, in the constrain stage, the learner learns constraints from the failed hypothesis to prune the hypothesis space, i.e. to constrain subsequent hypothesis generation. For instance, if a hypothesis is too general (entails a negative example), the constraints prune generalisations of the hypothesis. If a hypothesis is too specific (does not entail all the positive examples), the constraints prune specialisations of the hypothesis. This loop repeats until either (i) the learner finds a hypothesis that entails all the positive and none of the negative examples, or (ii) there are no more hypotheses to test. We introduce Popper, an ILP system that implements this approach by combining answer set programming and Prolog. Popper supports infinite problem domains, reasoning about lists and numbers, learning textually minimal programs, and learning recursive programs. Our experimental results on three domains (toy game problems, robot strategies, and list transformations) show that (i) constraints drastically improve learning performance, and (ii) Popper can outperform existing ILP systems, both in terms of predictive accuracies and learning times. △ Less

Submitted 25 November, 2020; v1 submitted 5 May, 2020; originally announced May 2020.

Comments: Accepted for the machine learning journal

Learning higher-order logic programs

Authors: Andrew Cropper, Rolf Morel, Stephen H. Muggleton

Abstract: A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher-order programs by allowing for \emph{higher-order definitions} to be used as ba… ▽ More A key feature of inductive logic programming (ILP) is its ability to learn first-order programs, which are intrinsically more expressive than propositional programs. In this paper, we introduce techniques to learn higher-order programs. Specifically, we extend meta-interpretive learning (MIL) to support learning higher-order programs by allowing for \emph{higher-order definitions} to be used as background knowledge. Our theoretical results show that learning higher-order programs, rather than first-order programs, can reduce the textual complexity required to express programs which in turn reduces the size of the hypothesis space and sample complexity. We implement our idea in two new MIL systems: the Prolog system \namea{} and the ASP system \nameb{}. Both systems support learning higher-order programs and higher-order predicate invention, such as inventing functions for \tw{map/3} and conditions for \tw{filter/3}. We conduct experiments on four domains (robot strategies, chess playing, list transformations, and string decryption) that compare learning first-order and higher-order programs. Our experimental results support our theoretical claims and show that, compared to learning first-order programs, learning higher-order programs can significantly improve predictive accuracies and reduce learning times. △ Less

Submitted 25 July, 2019; originally announced July 2019.

Comments: Submitted to the MLJ

Lower Bounds for Dynamic Programming on Planar Graphs of Bounded Cutwidth

Authors: Bas A. M. van Geffen, Bart M. P. Jansen, Arnoud A. W. M. de Kroon, Rolf Morel

Abstract: Many combinatorial problems can be solved in time $O^*(c^{tw})$ on graphs of treewidth $tw$, for a problem-specific constant $c$. In several cases, matching upper and lower bounds on $c$ are known based on the Strong Exponential Time Hypothesis (SETH). In this paper we investigate the complexity of solving problems on graphs of bounded cutwidth, a graph parameter that takes larger values than tree… ▽ More Many combinatorial problems can be solved in time $O^*(c^{tw})$ on graphs of treewidth $tw$, for a problem-specific constant $c$. In several cases, matching upper and lower bounds on $c$ are known based on the Strong Exponential Time Hypothesis (SETH). In this paper we investigate the complexity of solving problems on graphs of bounded cutwidth, a graph parameter that takes larger values than treewidth. We strengthen earlier treewidth-based lower bounds to show that, assuming SETH, Independent Set cannot be solved in $O^*((2-\varepsilon)^{cutw})$ time, and Dominating Set cannot be solved in $O^*((3-\varepsilon)^{cutw})$ time. By designing a new crossover gadget, we extend these lower bounds even to planar graphs of bounded cutwidth or treewidth. Hence planarity does not help when solving Independent Set or Dominating Set on graphs of bounded width. This sharply contrasts the fact that in many settings, planarity allows problems to be solved much more efficiently. △ Less

Submitted 27 June, 2018; originally announced June 2018.

MSC Class: 68R10; 05C10; 05C69; 05C85 ACM Class: F.2.2; G.2.2

Single-particle Mass Spectrometry with arrays of frequency-addressed nanomechanical resonators

Authors: Eric Sage, Marc Sansa, Shawn Fostner, Martial Defoort, Marc Gély, Akshay K. Naik, Robert Morel, Laurent Duraffourg, Michael L. Roukes, Thomas Alava, Guillaume Jourdan, Eric Colinet, Christophe Masselon, Ariel Brenac, Sébastien Hentz

Abstract: One of the main challenges to overcome to perform nanomechanical Mass Spectrometry (NEMS-MS) analysis in a practical time frame stems from the size mismatch between the analyte beam and the extremely small nanomechanical detector area. We report here the demonstration of NEMS-MS with arrays of 20 individually addressed nanomechanical resonators where the number of inputs-outputs for the whole arra… ▽ More One of the main challenges to overcome to perform nanomechanical Mass Spectrometry (NEMS-MS) analysis in a practical time frame stems from the size mismatch between the analyte beam and the extremely small nanomechanical detector area. We report here the demonstration of NEMS-MS with arrays of 20 individually addressed nanomechanical resonators where the number of inputs-outputs for the whole array is the same as that of a single resonator. While all resonators within an array are interconnected via two metal levels, each resonator is designed with a distinct resonance frequency which becomes its individual address. In order to perform single-particle Mass Spectrometry, the resonance frequencies of the two first modes of each NEMS within an array are monitored simultaneously. Using such an array, mass spectra of metallic aggregates in the MDa range are acquired with more than one order of magnitude improvement in analysis time due to the increase in capture cross section compared to individual resonators. A 20 NEMS array is probed in 150ms with the same mass limit of detection as a single resonator. Spectra acquired with a conventional Time- of-Flight (TOF) mass spectrometer in the same system show excellent agreement. As individual information for each resonator within the array is retained, the array becomes a particle imager, each resonator acting as a pixel. With this technique, we demonstrate how Mass Spectrometry Imaging (MSI) at the single particle level becomes possible by mapping a 4cm-particle beam in the MDa range and above. △ Less

Submitted 12 December, 2017; originally announced December 2017.

Neutral particle Mass Spectrometry with Nanomechanical Systems

Authors: Eric Sage, Ariel Brenac, Thomas Alava, Robert Morel, Cécilia Dupré, Mehmet Selim Hanay, Michael L. Roukes, Laurent Duraffourg, Christophe Masselon, Sébastien Hentz

Abstract: Current approaches to Mass Spectrometry (MS) require ionization of the analytes of interest. For high-mass species, the resulting charge state distribution can be complex and difficult to interpret correctly. In this article, using a setup comprising both conventional time-of-flight MS (TOF-MS) and Nano-Electro-Mechanical-Systems-based MS (NEMS-MS) in situ, we show directly that NEMS-MS analysis i… ▽ More Current approaches to Mass Spectrometry (MS) require ionization of the analytes of interest. For high-mass species, the resulting charge state distribution can be complex and difficult to interpret correctly. In this article, using a setup comprising both conventional time-of-flight MS (TOF-MS) and Nano-Electro-Mechanical-Systems-based MS (NEMS-MS) in situ, we show directly that NEMS-MS analysis is insensitive to charge state: the spectrum consists of a single peak whatever the species charge state, making it significantly clearer than existing MS analysis. In subsequent tests, all charged particles are electrostatically removed from the beam, and unlike TOF-MS, NEMS-MS can still measure masses. This demonstrates the possibility to measure mass spectra for neutral particles. Thus, it is possible to envisage MS-based studies of analytes that are incompatible with current ionization techniques and the way is now open for the development of cutting edge system architectures with unique analytical capability. △ Less

Submitted 2 February, 2015; v1 submitted 28 May, 2014; originally announced May 2014.