-
Scaling up prime factorization with self-organizing gates: A memcomputing approach
Authors:
Tristan Sharp,
Rishabh Khare,
Erick Pederson,
Fabio Lorenzo Traversa
Abstract:
We report preliminary results on using the MEMCPU\texttrademark{} Platform to compute the prime factorization of large biprimes. The first approach, the direct model, directly returns the factors of a given biprime. The second approach, the congruence model, returns smooth congruences to address the bottleneck of standard sieve methods. The models have size-dependent structure, and the MEMCPU Plat…
▽ More
We report preliminary results on using the MEMCPU\texttrademark{} Platform to compute the prime factorization of large biprimes. The first approach, the direct model, directly returns the factors of a given biprime. The second approach, the congruence model, returns smooth congruences to address the bottleneck of standard sieve methods. The models have size-dependent structure, and the MEMCPU Platform requires structure-dependent tuning for optimal performance. Therefore, for both models, we tuned the platform on sample problems up to a given size according to available resources. Then we generated RSA-like benchmark biprimes to perform rigorous scaling analysis. The MEMCPU timings over the tuned range followed low degree polynomials in the number of bits, markedly different than other tested methods including general number field sieve. MEMCPU's congruence model was the most promising, which was scaled up to 300-bit factorization problems while following a $2^{nd}$ degree polynomial fit. We also discuss the approach to tuning the MEMCPU Platform for problems beyond the reach of today's most advanced methods. Finally, basic analysis of the acceleration expected from an ASIC implementation is provided and suggests the possibility of real time factorization of large biprimes.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Projective Embedding of Dynamical Systems: uniform mean field equations
Authors:
Francesco Caravelli,
Fabio L. Traversa,
Michele Bonnin,
Fabrizio Bonani
Abstract:
We study embeddings of continuous dynamical systems in larger dimensions via projector operators. We call this technique PEDS, projective embedding of dynamical systems, as the stable fixed point of the dynamics are recovered via projection from the higher dimensional space. In this paper we provide a general definition and prove that for a particular type of projector operator of rank-1, the unif…
▽ More
We study embeddings of continuous dynamical systems in larger dimensions via projector operators. We call this technique PEDS, projective embedding of dynamical systems, as the stable fixed point of the dynamics are recovered via projection from the higher dimensional space. In this paper we provide a general definition and prove that for a particular type of projector operator of rank-1, the uniform mean field projector, the equations of motion become a mean field approximation of the dynamical system. While in general the embedding depends on a specified variable ordering, the same is not true for the uniform mean field projector. In addition, we prove that the original stable fixed points remain stable fixed points of the dynamics, saddle points remain saddle, but unstable fixed points become saddles.
△ Less
Submitted 7 January, 2022;
originally announced January 2022.
-
Global minimization via classical tunneling assisted by collective force field formation
Authors:
Francesco Caravelli,
Forrest C. Sheldon,
Fabio L. Traversa
Abstract:
Simple dynamical models can produce intricate behaviors in large networks. These behaviors can often be observed in a wide variety of physical systems captured by the network of interactions. Here we describe a phenomenon where the increase of dimensions self-consistently generates a force field due to dynamical instabilities. This can be understood as an unstable ("rumbling") tunneling mechanism…
▽ More
Simple dynamical models can produce intricate behaviors in large networks. These behaviors can often be observed in a wide variety of physical systems captured by the network of interactions. Here we describe a phenomenon where the increase of dimensions self-consistently generates a force field due to dynamical instabilities. This can be understood as an unstable ("rumbling") tunneling mechanism between minima in an effective potential. We dub this collective and nonperturbative effect a "Lyapunov force" which steers the system towards the global minimum of the potential function, even if the full system has a constellation of equilibrium points growing exponentially with the system size. The system we study has a simple map** to a flow network, equivalent to current-driven memristors. The mechanism is appealing for its physical relevance in nanoscale physics, and to possible applications in optimization, novel Monte Carlo schemes and machine learning.
△ Less
Submitted 6 January, 2022; v1 submitted 5 February, 2021;
originally announced February 2021.
-
Coupled oscillator networks for von Neumann and non von Neumann computing
Authors:
Michele Bonnin,
Fabio Lorenzo Traversa,
Fabrizio Bonani
Abstract:
The frenetic growth of the need for computation performance and efficiency, along with the intrinsic limitations of the current main solutions, is pushing the scientific community towards unconventional, and sometimes even exotic, alternatives to the standard computing architectures. In this work we provide a panorama of the most relevant alternatives, both according and not the von Neumann archit…
▽ More
The frenetic growth of the need for computation performance and efficiency, along with the intrinsic limitations of the current main solutions, is pushing the scientific community towards unconventional, and sometimes even exotic, alternatives to the standard computing architectures. In this work we provide a panorama of the most relevant alternatives, both according and not the von Neumann architecture, highlighting which of the classical challenges, such as energy efficiency and/or computational complexity, they are trying to tackle. We focus on the alternatives based on networks of weakly coupled oscillators. This unconventional approach, already introduced by Goto and Von Neumann in the 50s, is recently regaining interest with potential applications to both von Neumann and non von Neumann type of computing. In this contribution, we present a general framework based on the phase equation we derive from the description of nonlinear weakly coupled oscillators especially useful for computing applications. We then use this formalism to design and prove the working principle and stability assessment of Boolean gates such as NOT and MAJORITY, that can be potentially employed as building blocks for both von Neumann and non-von Neumann architectures.
△ Less
Submitted 22 December, 2020;
originally announced December 2020.
-
Memcomputing for Accelerated Optimization
Authors:
John Aiken,
Fabio L. Traversa
Abstract:
In this work, we introduce the concept of an entirely new circuit architecture based on the novel, physics-inspired computing paradigm: Memcomputing. In particular, we focus on digital memcomputing machines (DMMs) that can be designed leveraging properties of non-linear dynamical systems; ultimate descriptors of electronic circuits. The working principle of these systems relies on the ability of c…
▽ More
In this work, we introduce the concept of an entirely new circuit architecture based on the novel, physics-inspired computing paradigm: Memcomputing. In particular, we focus on digital memcomputing machines (DMMs) that can be designed leveraging properties of non-linear dynamical systems; ultimate descriptors of electronic circuits. The working principle of these systems relies on the ability of currents and voltages of the circuit to self-organize in order to satisfy mathematical relations. In particular for this work, we discuss self-organizing gates, namely Self-Organizing Algebraic Gates (SOAGs), aimed to solve linear inequalities and therefore used to solve optimization problems in Integer Linear Programming (ILP) format. Unlike conventional IØgates, SOAGs are terminal-agnostic, meaning each terminal handles a superposition of input and output signals. When appropriately assembled to represent a given ILP problem, the corresponding self-organizing circuit converges to the equilibria that express the solutions to the problem at hand. Because DMM's components are non-quantum, the ordinary differential equations describing it can be efficiently simulated on our modern computers in software, as well as be built in hardware with off-of-the-shelf technology. As an example, we show the performance of this novel approach implemented as Software as a Service (MemCPU XPC) to address an ILP problem. Compared to today's best solution found using a world renowned commercial solver, MemCPU XPC brings the time to solution down from 23 hours to less than 2 minutes.
△ Less
Submitted 23 March, 2020;
originally announced March 2020.
-
Aircraft Loading Optimization: MemComputing the 5th Airbus Problem
Authors:
Fabio L. Traversa
Abstract:
On the January 22nd 2019, Airbus launched a quantum computing challenge to solve a set of problems relevant for the aircraft life cycle (https://www.airbus.com/newsroom/press-releases/en/2019/01/airbus-launches-quantum-computing-challenge-to-transform-the-aircraft-lifecycle.html). The challenge consists of a set of 5 problems that ranges from design to deployment of aircraft. This work addresses t…
▽ More
On the January 22nd 2019, Airbus launched a quantum computing challenge to solve a set of problems relevant for the aircraft life cycle (https://www.airbus.com/newsroom/press-releases/en/2019/01/airbus-launches-quantum-computing-challenge-to-transform-the-aircraft-lifecycle.html). The challenge consists of a set of 5 problems that ranges from design to deployment of aircraft. This work addresses the 5th problem. The formulation exploits an Integer programming framework with a linear objective function and the solution relies on the MemComputing paradigm. It is discussed how to use MemCPU$^{\text{TM}}$ software to solve efficiently the proposed problem and assess scaling properties, which turns out to be polynomial for meaningful solutions of the problem at hand. Also discussed are possible formulations of the problem utilizing non-linear objective functions, allowing for different optimization schemes implementable in modified MemCPU software, potentially useful for field operation purposes.
△ Less
Submitted 11 June, 2019; v1 submitted 19 March, 2019;
originally announced March 2019.
-
Taming a non-convex landscape with dynamical long-range order: memcomputing Ising benchmarks
Authors:
Forrest Sheldon,
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
Recent work on quantum annealing has emphasized the role of collective behavior in solving optimization problems. By enabling transitions of clusters of variables, such solvers are able to navigate their state space and locate solutions more efficiently despite having only local connections between elements. However, collective behavior is not exclusive to quantum annealers, and classical solvers…
▽ More
Recent work on quantum annealing has emphasized the role of collective behavior in solving optimization problems. By enabling transitions of clusters of variables, such solvers are able to navigate their state space and locate solutions more efficiently despite having only local connections between elements. However, collective behavior is not exclusive to quantum annealers, and classical solvers that display collective dynamics should also possess an advantage in navigating a non-convex landscape. Here, we give evidence that a benchmark derived from quantum annealing studies is solvable in polynomial time using digital memcomputing machines, which utilize a collection of dynamical components with memory to represent the structure of the underlying optimization problem. To illustrate the role of memory and clarify the structure of these solvers we propose a simple model of these machines that demonstrates the emergence of long-range order. This model, when applied to finding the ground state of the Ising frustrated-loop benchmarks, undergoes a transient phase of avalanches which can span the entire lattice and demonstrates a connection between long-range behavior and their probability of success. These results establish the advantages of computational approaches based on collective dynamics of continuous dynamical systems.
△ Less
Submitted 14 October, 2019; v1 submitted 8 October, 2018;
originally announced October 2018.
-
MemComputing Integer Linear Programming
Authors:
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
Integer linear programming (ILP) encompasses a very important class of optimization problems that are of great interest to both academia and industry. Several algorithms are available that attempt to explore the solution space of this class efficiently, while requiring a reasonable compute time. However, although these algorithms have reached various degrees of success over the years, they still f…
▽ More
Integer linear programming (ILP) encompasses a very important class of optimization problems that are of great interest to both academia and industry. Several algorithms are available that attempt to explore the solution space of this class efficiently, while requiring a reasonable compute time. However, although these algorithms have reached various degrees of success over the years, they still face considerable challenges when confronted with particularly hard problem instances, such as those of the MIPLIB 2010 library. In this work we propose a radically different non-algorithmic approach to ILP based on a novel physics-inspired computing paradigm: Memcomputing. This paradigm is based on digital (hence scalable) machines represented by appropriate electrical circuits with memory. These machines can be either built in hardware or, as we do here, their equations of motion can be efficiently simulated on our traditional computers. We first describe a new circuit architecture of memcomputing machines specifically designed to solve for the linear inequalities representing a general ILP problem. We call these self-organizing algebraic circuits, since they self-organize dynamically to satisfy the correct (algebraic) linear inequalities. We then show simulations of these machines using MATLAB running on a single core of a Xeon processor for several ILP benchmark problems taken from the MIPLIB 2010 library, and compare our results against a renowned commercial solver. We show that our approach is very efficient when dealing with these hard problems. In particular, we find within minutes feasible solutions for one of these hard problems (f2000 from MIPLIB 2010) whose feasibility, to the best of our knowledge, has remained unknown for the past eight years.
△ Less
Submitted 29 August, 2018;
originally announced August 2018.
-
Stress-testing memcomputing on hard combinatorial optimization problems
Authors:
Forrest Sheldon,
Pietro Cicotti,
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
Memcomputing is a novel paradigm of computation that utilizes dynamical elements with memory to both store and process information on the same physical location. Its building blocks can be fabricated in hardware with standard electronic circuits, thus offering a path to its practical realization. In addition, since memcomputing is based on non-quantum elements, the equations of motion describing t…
▽ More
Memcomputing is a novel paradigm of computation that utilizes dynamical elements with memory to both store and process information on the same physical location. Its building blocks can be fabricated in hardware with standard electronic circuits, thus offering a path to its practical realization. In addition, since memcomputing is based on non-quantum elements, the equations of motion describing these machines can be simulated efficiently on standard computers. In fact, it was recently realized that memcomputing, and in particular its digital (hence scalable) version, when simulated on a classical machine provides a significant speed-up over state-of-the-art algorithms on a variety of non-convex problems. Here, we stress-test the capabilities of this approach on finding approximate solutions to hard combinatorial optimization problems. These fall into a class which is known to require exponentially growing resources in the worst cases, even to generate approximations. We recently showed that in a region where state of the art algorithms demonstrate this exponential growth, simulations of digital memcomputing machines performed using the Falcon$^©$ simulator of MemComputing, Inc. only require time and memory resources that scale linearly. These results are extended in a stress-test up to $64\times10^6$ variables (corresponding to about 1 billion literals), namely the largest case that we could fit on a single node with 128 GB of DRAM. Since memcomputing can be applied to a wide variety of optimization problems, this stress test shows the considerable advantage of non-combinatorial, physics-inspired approaches over standard combinatorial ones.
△ Less
Submitted 29 June, 2018;
originally announced July 2018.
-
Memcomputing: Leveraging memory and physics to compute efficiently
Authors:
Massimiliano Di Ventra,
Fabio L. Traversa
Abstract:
It is well known that physical phenomena may be of great help in computing some difficult problems efficiently. A typical example is prime factorization that may be solved in polynomial time by exploiting quantum entanglement on a quantum computer. There are, however, other types of (non-quantum) physical properties that one may leverage to compute efficiently a wide range of hard problems. In thi…
▽ More
It is well known that physical phenomena may be of great help in computing some difficult problems efficiently. A typical example is prime factorization that may be solved in polynomial time by exploiting quantum entanglement on a quantum computer. There are, however, other types of (non-quantum) physical properties that one may leverage to compute efficiently a wide range of hard problems. In this perspective we discuss how to employ one such property, memory (time non-locality), in a novel physics-based approach to computation: Memcomputing. In particular, we focus on digital memcomputing machines (DMMs) that are scalable. DMMs can be realized with non-linear dynamical systems with memory. The latter property allows the realization of a new type of Boolean logic, one that is self-organizing. Self-organizing logic gates are "terminal-agnostic", namely they do not distinguish between input and output terminals. When appropriately assembled to represent a given combinatorial/optimization problem, the corresponding self-organizing circuit converges to the equilibrium points that express the solutions of the problem at hand. In doing so, DMMs take advantage of the long-range order that develops during the transient dynamics. This collective dynamical behavior, reminiscent of a phase transition, or even the "edge of chaos", is mediated by families of classical trajectories (instantons) that connect critical points of increasing stability in the system's phase space. The topological character of the solution search renders DMMs robust against noise and structural disorder. Since DMMs are non-quantum systems described by ordinary differential equations, not only can they be built in hardware with available technology, they can also be simulated efficiently on modern classical computers. As an example, we will show the polynomial-time solution of the subset-sum problem for the worst...
△ Less
Submitted 5 May, 2018; v1 submitted 19 February, 2018;
originally announced February 2018.
-
Accelerating Deep Learning with Memcomputing
Authors:
Haik Manukian,
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
Restricted Boltzmann machines (RBMs) and their extensions, called 'deep-belief networks', are powerful neural networks that have found applications in the fields of machine learning and artificial intelligence. The standard way to training these models resorts to an iterative unsupervised procedure based on Gibbs sampling, called 'contrastive divergence' (CD), and additional supervised tuning via…
▽ More
Restricted Boltzmann machines (RBMs) and their extensions, called 'deep-belief networks', are powerful neural networks that have found applications in the fields of machine learning and artificial intelligence. The standard way to training these models resorts to an iterative unsupervised procedure based on Gibbs sampling, called 'contrastive divergence' (CD), and additional supervised tuning via back-propagation. However, this procedure has been shown not to follow any gradient and can lead to suboptimal solutions. In this paper, we show an efficient alternative to CD by means of simulations of digital memcomputing machines (DMMs). We test our approach on pattern recognition using a modified version of the MNIST data set. DMMs sample effectively the vast phase space given by the model distribution of the RBM, and provide a very good approximation close to the optimum. This efficient search significantly reduces the number of pretraining iterations necessary to achieve a given level of accuracy, as well as a total performance gain over CD. In fact, the acceleration of pretraining achieved by simulating DMMs is comparable to, in number of iterations, the recently reported hardware application of the quantum annealing method on the same network and data set. Notably, however, DMMs perform far better than the reported quantum annealing results in terms of quality of the training. We also compare our method to advances in supervised training, like batch-normalization and rectifiers, that work to reduce the advantage of pretraining. We find that the memcomputing method still maintains a quality advantage ($>1\%$ in accuracy, and a $20\%$ reduction in error rate) over these approaches. Furthermore, our method is agnostic about the connectivity of the network. Therefore, it can be extended to train full Boltzmann machines, and even deep networks at once.
△ Less
Submitted 23 October, 2018; v1 submitted 1 January, 2018;
originally announced January 2018.
-
On the Universality of Memcomputing Machines
Authors:
Yan Ru Pei,
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
Universal memcomputing machines (UMMs) [IEEE Trans. Neural Netw. Learn. Syst. 26, 2702 (2015)] represent a novel computational model in which memory (time non-locality) accomplishes both tasks of storing and processing of information. UMMs have been shown to be Turing-complete, namely they can simulate any Turing machine. In this paper, using set theory and cardinality arguments, we compare them w…
▽ More
Universal memcomputing machines (UMMs) [IEEE Trans. Neural Netw. Learn. Syst. 26, 2702 (2015)] represent a novel computational model in which memory (time non-locality) accomplishes both tasks of storing and processing of information. UMMs have been shown to be Turing-complete, namely they can simulate any Turing machine. In this paper, using set theory and cardinality arguments, we compare them with liquid-state machines (or "reservoir computing") and quantum machines ("quantum computing"). We show that UMMs can simulate both types of machines, hence they are both "liquid-" or "reservoir-complete" and "quantum-complete". Of course, these statements pertain only to the type of problems these machines can solve, and not to the amount of resources required for such simulations. Nonetheless, the method presented here provides a general framework in which to describe the relation between UMMs and any other type of computational model.
△ Less
Submitted 10 May, 2019; v1 submitted 22 December, 2017;
originally announced December 2017.
-
Evidence of an exponential speed-up in the solution of hard optimization problems
Authors:
Fabio L. Traversa,
Pietro Cicotti,
Forrest Sheldon,
Massimiliano Di Ventra
Abstract:
Optimization problems pervade essentially every scientific discipline and industry. Many such problems require finding a solution that maximizes the number of constraints satisfied. Often, these problems are particularly difficult to solve because they belong to the NP-hard class, namely algorithms that always find a solution in polynomial time are not known. Over the past decades, research has fo…
▽ More
Optimization problems pervade essentially every scientific discipline and industry. Many such problems require finding a solution that maximizes the number of constraints satisfied. Often, these problems are particularly difficult to solve because they belong to the NP-hard class, namely algorithms that always find a solution in polynomial time are not known. Over the past decades, research has focused on develo** heuristic approaches that attempt to find an approximation to the solution. However, despite numerous research efforts, in many cases even approximations to the optimal solution are hard to find, as the computational time for further refining a candidate solution grows exponentially with input size. Here, we show a non-combinatorial approach to hard optimization problems that achieves an exponential speed-up and finds better approximations than the current state-of-the-art. First, we map the optimization problem into a boolean circuit made of specially designed, self-organizing logic gates, which can be built with (non-quantum) electronic components; the equilibrium points of the circuit represent the approximation to the problem at hand. Then, we solve its associated non-linear ordinary differential equations numerically, towards the equilibrium points. We demonstrate this exponential gain by comparing a sequential MatLab implementation of our solver with the winners of the 2016 Max-SAT competition on a variety of hard optimization instances. We show empirical evidence that our solver scales linearly with the size of the problem, both in time and memory, and argue that this property derives from the collective behavior of the simulated physical circuit. Our approach can be applied to other types of optimization problems and the results presented here have far-reaching consequences in many fields.
△ Less
Submitted 23 October, 2017;
originally announced October 2017.
-
Instantons in self-organizing logic gates
Authors:
Sean R. B. Bearden,
Haik Manukian,
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
Self-organizing logic is a recently-suggested framework that allows the solution of Boolean truth tables "in reverse," i.e., it is able to satisfy the logical proposition of gates regardless to which terminal(s) the truth value is assigned ("terminal-agnostic logic"). It can be realized if time non-locality (memory) is present. A practical realization of self-organizing logic gates (SOLGs) can be…
▽ More
Self-organizing logic is a recently-suggested framework that allows the solution of Boolean truth tables "in reverse," i.e., it is able to satisfy the logical proposition of gates regardless to which terminal(s) the truth value is assigned ("terminal-agnostic logic"). It can be realized if time non-locality (memory) is present. A practical realization of self-organizing logic gates (SOLGs) can be done by combining circuit elements with and without memory. By employing one such realization, we show, numerically, that SOLGs exploit elementary instantons to reach equilibrium points. Instantons are classical trajectories of the non-linear equations of motion describing SOLGs, and connect topologically distinct critical points in the phase space. By linear analysis at those points, we show that these instantons connect the initial critical point of the dynamics, with at least one unstable direction, directly to the final fixed point. We also show that the memory content of these gates only affects the relaxation time to reach the logically consistent solution. Finally, we demonstrate, by solving the corresponding stochastic differential equations, that since instantons connect critical points, noise and perturbations may change the instanton trajectory in the phase space, but not the initial and final critical points. Therefore, even for extremely large noise levels, the gates self-organize to the correct solution. Our work provides a physical understanding of, and can serve as an inspiration for, new models of bi-directional logic gates that are emerging as important tools in physics-inspired, unconventional computing.
△ Less
Submitted 28 March, 2018; v1 submitted 29 August, 2017;
originally announced August 2017.
-
Absence of chaos in Digital Memcomputing Machines with solutions
Authors:
Massimiliano Di Ventra,
Fabio L. Traversa
Abstract:
Digital memcomputing machines (DMMs) are non-linear dynamical systems designed so that their equilibrium points are solutions of the Boolean problem they solve. In a previous work [Chaos 27, 023107 (2017)] it was argued that when DMMs support solutions of the associated Boolean problem then strange attractors cannot coexist with such equilibria. In this work, we demonstrate such conjecture. In par…
▽ More
Digital memcomputing machines (DMMs) are non-linear dynamical systems designed so that their equilibrium points are solutions of the Boolean problem they solve. In a previous work [Chaos 27, 023107 (2017)] it was argued that when DMMs support solutions of the associated Boolean problem then strange attractors cannot coexist with such equilibria. In this work, we demonstrate such conjecture. In particular, we show that both topological transitivity and the strongest property of topological mixing are inconsistent with the point dissipative property of DMMs when equilibrium points are present. This is true for both the whole phase space and the global attractor. Absence of topological transitivity is enough to imply absence of chaotic behavior. In a similar vein, we prove that if DMMs do not have equilibrium points, the only attractors present are invariant tori/periodic orbits with periods that may possibly increase with system size (quasi-attractors).
△ Less
Submitted 7 March, 2017;
originally announced March 2017.
-
Memcomputing Numerical Inversion with Self-Organizing Logic Gates
Authors:
Haik Manukian,
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
We propose to use Digital Memcomputing Machines (DMMs), implemented with self-organizing logic gates (SOLGs), to solve the problem of numerical inversion. Starting from fixed-point scalar inversion we describe the generalization to solving linear systems and matrix inversion. This method, when realized in hardware, will output the result in only one computational step. As an example, we perform si…
▽ More
We propose to use Digital Memcomputing Machines (DMMs), implemented with self-organizing logic gates (SOLGs), to solve the problem of numerical inversion. Starting from fixed-point scalar inversion we describe the generalization to solving linear systems and matrix inversion. This method, when realized in hardware, will output the result in only one computational step. As an example, we perform simulations of the scalar case using a 5-bit logic circuit made of SOLGs, and show that the circuit successfully performs the inversion. Our method can be extended efficiently to any level of precision, since we prove that producing n-bit precision in the output requires extending the circuit by at most n bits. This type of numerical inversion can be implemented by DMM units in hardware, it is scalable, and thus of great benefit to any real-time computing application.
△ Less
Submitted 8 April, 2017; v1 submitted 13 December, 2016;
originally announced December 2016.
-
Topological field theory and computing with instantons
Authors:
Massimiliano Di Ventra,
Fabio L. Traversa,
Igor V. Ovchinnikov
Abstract:
Chern-Simons topological field theories TFTs are the only TFTs that have already found application in the description of some exotic strongly-correlated electron systems and the corresponding concept of topological quantum computing. Here, we show that TFTs of another type, specifically the gauge-field-less Witten-type TFTs known as topological sigma models, describe the recently proposed digital…
▽ More
Chern-Simons topological field theories TFTs are the only TFTs that have already found application in the description of some exotic strongly-correlated electron systems and the corresponding concept of topological quantum computing. Here, we show that TFTs of another type, specifically the gauge-field-less Witten-type TFTs known as topological sigma models, describe the recently proposed digital memcomputing machines (DMMs) - engineered dynamical systems with point attractors being the solutions of the corresponding logic circuit that solves a specific task. This result derives from the recent finding that any stochastic differential equation possesses a topological supersymmetry, and the realization that the solution search by a DMM proceeds via an instantonic phase. Certain TFT correlators in DMMs then reveal the presence of a transient long-range order both in space and time, associated with the effective breakdown of the topological supersymmetry by instantons. The ensuing non-locality and the low dimensionality of instantons are the physical reasons why DMMs can solve complex problems efficiently, despite their non-quantum character. We exemplify these results with the solution of prime factorization.
△ Less
Submitted 11 September, 2016;
originally announced September 2016.
-
The complex dynamics of memristive circuits: analytical results and universal slow relaxation
Authors:
Francesco Caravelli,
Fabio Lorenzo Traversa,
Massimiliano Di Ventra
Abstract:
Networks with memristive elements (resistors with memory) are being explored for a variety of applications ranging from unconventional computing to models of the brain. However, analytical results that highlight the role of the graph connectivity on the memory dynamics are still a few, thus limiting our understanding of these important dynamical systems. In this paper, we derive an exact matrix eq…
▽ More
Networks with memristive elements (resistors with memory) are being explored for a variety of applications ranging from unconventional computing to models of the brain. However, analytical results that highlight the role of the graph connectivity on the memory dynamics are still a few, thus limiting our understanding of these important dynamical systems. In this paper, we derive an exact matrix equation of motion that takes into account all the network constraints of a purely memristive circuit, and we employ it to derive analytical results regarding its relaxation properties. We are able to describe the memory evolution in terms of orthogonal projection operators onto the subspace of fundamental loop space of the underlying circuit. This orthogonal projection explicitly reveals the coupling between the spatial and temporal sectors of the memristive circuits and compactly describes the circuit topology. For the case of disordered graphs, we are able to explain the emergence of a power law relaxation as a superposition of exponential relaxation times with a broad range of scales using random matrices. This power law is also {\it universal}, namely independent of the topology of the underlying graph but dependent only on the density of loops. In the case of circuits subject to alternating voltage instead, we are able to obtain an approximate solution of the dynamics, which is tested against a specific network topology. These result suggest a much richer dynamics of memristive networks than previously considered.
△ Less
Submitted 2 November, 2016; v1 submitted 30 August, 2016;
originally announced August 2016.
-
On the Measurement in Quantum Mechanics: the Consistent Measurement Apparatus
Authors:
Fabio L. Traversa,
Guillermo Albareda
Abstract:
Measurement in quantum mechanics is generally described as an irreversible process that perturbs the wavefunction describing a quantum system. In this work we establish a formal connection between the measurement description within the Copenhagen interpretation (i.e., through the collapse of the wavefunction) compared versus a picture in which the system and the measurement apparatus are considere…
▽ More
Measurement in quantum mechanics is generally described as an irreversible process that perturbs the wavefunction describing a quantum system. In this work we establish a formal connection between the measurement description within the Copenhagen interpretation (i.e., through the collapse of the wavefunction) compared versus a picture in which the system and the measurement apparatus are considered as a whole. We first consider a projective measurement. In this limiting case, the natural requirements of consistency and equivalence between the two pictures lead to the rigorous definition of consistent measuring apparatus: the orthonormal wavefunctions from the Schmidt decomposition of the system plus apparatus must have non-overlap** supports. This result arises from the comparison of the two pictures (otherwise hidden), and while it seems to be an obvious conclusion in the limit of projective measurements, it has some nontrivial implications as one extends its validity to the domain of weak measurements. In this respect, we argue on the existence of two alternative approaches to mathematically constructing a weak measurement protocol. While the two approaches are equivalent from the system's perspective, they do strongly differ from the apparatus point of view, and hence can be only distinguished one from each other in the picture where system and apparatus are considered as a whole. We show that only one of the two mathematical formulations of the weak measurement fulfills the consistent apparatus condition, while the combination of the two gives rise to a generalized weak measurements framework.
△ Less
Submitted 15 May, 2016; v1 submitted 28 February, 2016;
originally announced February 2016.
-
Sequential measurement of displacement and conduction currents in electronic devices
Authors:
Guillermo Albareda,
Fabio Lorenzo Traversa,
Abdelilah Benali
Abstract:
The extension of the Ramo-Schockley-Pellegrini theorem for quantum systems allows to define a positive-operator valued measure (POVM) for the total conduction plus displacement electrical current. The resulting current operator is characterized by two parameters, viz. the width of the associated Gaussian functions and the lapse of time between consecutive measurements. For large Gaussian dispersio…
▽ More
The extension of the Ramo-Schockley-Pellegrini theorem for quantum systems allows to define a positive-operator valued measure (POVM) for the total conduction plus displacement electrical current. The resulting current operator is characterized by two parameters, viz. the width of the associated Gaussian functions and the lapse of time between consecutive measurements. For large Gaussian dispersions and small time intervals, the operator obeys to a continuous weak-measurement scheme. Contrarily, in the limit of very narrow Gaussian widths and a single-shot measurement, the operator corresponds to a standard von Neumann (projective) measurement. We have implemented the resulting measurement protocol into a quantum electron transport simulator. Numerical results for a resonant tunneling diode show the great sensibility of current-voltage characteristics to different parameter configurations of the total current operator.
△ Less
Submitted 26 February, 2016;
originally announced February 2016.
-
Polynomial-time solution of prime factorization and NP-hard problems with digital memcomputing machines
Authors:
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
We introduce a class of digital machines we name Digital Memcomputing Machines (DMMs) able to solve a wide range of problems including Non-deterministic Polynomial (NP) ones with polynomial resources (in time, space and energy). An abstract DMM with this power must satisfy a set of compatible mathematical constraints underlying its practical realization. We initially prove this by introducing the…
▽ More
We introduce a class of digital machines we name Digital Memcomputing Machines (DMMs) able to solve a wide range of problems including Non-deterministic Polynomial (NP) ones with polynomial resources (in time, space and energy). An abstract DMM with this power must satisfy a set of compatible mathematical constraints underlying its practical realization. We initially prove this by introducing the complexity classes for these machines. We then make a connection with dynamical systems theory. This leads to the set of physical constraints for poly-resource resolvability. Once the mathematical requirements have been assessed, we propose a practical scheme to solve the above class of problems based on the novel concept of self-organizing logic gates and circuits (SOLCs). These are logic gates and circuits able to accept input signals from any terminal, without distinction between conventional input and output terminals. They can solve boolean problems by self-organizing into their solution. They can be fabricated either with circuit elements with memory (such as memristors) and/or standard MOS technology. Using tools of functional analysis, we prove mathematically the following constraints for the poly-resource resolvability: i) SOLCs possess a global attractor; ii) their only equilibrium points are the solutions of the problems to solve; iii) the system converges exponentially fast to the solutions; iv) the equilibrium convergence rate scales at most polynomially with input size. We finally provide arguments that periodic orbits and strange attractors cannot coexist with equilibria. As examples we show how to solve the prime factorization and the NP-hard version of the subset-sum problem. Since DMMs map integers into integers they are robust against noise, and hence scalable. We finally discuss the implications of the DMM realization through SOLCs to the NP=P question related to...
△ Less
Submitted 22 April, 2016; v1 submitted 16 December, 2015;
originally announced December 2015.
-
Local energy and power for many-particle quantum systems driven by an external electrical field
Authors:
Guillermo Albareda,
Fabio Lorenzo Traversa,
Xavier Oriols
Abstract:
We derive expressions for the expectation values of the local energy and the local power transferred by an external electrical field to a many-particle system of interacting spinless electrons. In analogy with the definition of the (local) presence and current probability densities, we construct a local energy operator such that the time-rate of change of its expectation value provides information…
▽ More
We derive expressions for the expectation values of the local energy and the local power transferred by an external electrical field to a many-particle system of interacting spinless electrons. In analogy with the definition of the (local) presence and current probability densities, we construct a local energy operator such that the time-rate of change of its expectation value provides information on the spatial distribution of power. Results are presented as functions of an arbitrarily small volume $Ω$, and physical insights are discussed by means of the quantum hydrodynamical representation of the wavefunction, which is proven to allow for a clear-cut separation into contributions with and without classical correspondence. Quantum features of the local power are mainly manifested through the presence of non-local sources/sinks of power and through the action of forces with no classical counterpart. Many-particle classical-like effects arise in the form of current-force correlations and through the inflow/outflow of energy across the boundaries of the volume $Ω$. Interestingly, such intriguing features are only reflected in the expression for the local power when the volume $Ω$ is finite. Otherwise, for closed systems with $Ω\to \infty$, we recover a classical-like single-particle expression.
△ Less
Submitted 25 January, 2016; v1 submitted 12 November, 2015;
originally announced November 2015.
-
Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states
Authors:
Fabio L. Traversa,
Chiara Ramella,
Fabrizio Bonani,
Massimiliano Di Ventra
Abstract:
Memcomputing is a novel non-Turing paradigm of computation that uses interacting memory cells (memprocessors for short) to store and process information on the same physical platform. It was recently proved mathematically that memcomputing machines have the same computational power of non-deterministic Turing machines. Therefore, they can solve NP-complete problems in polynomial time and, using th…
▽ More
Memcomputing is a novel non-Turing paradigm of computation that uses interacting memory cells (memprocessors for short) to store and process information on the same physical platform. It was recently proved mathematically that memcomputing machines have the same computational power of non-deterministic Turing machines. Therefore, they can solve NP-complete problems in polynomial time and, using the appropriate architecture, with resources that only grow polynomially with the input size. The reason for this computational power stems from properties inspired by the brain and shared by any universal memcomputing machine, in particular intrinsic parallelism and information overhead, namely the capability of compressing information in the collective state of the memprocessor network. Here, we show an experimental demonstration of an actual memcomputing architecture that solves the NP-complete version of the subset-sum problem in only one step and is composed of a number of memprocessors that scales linearly with the size of the problem. We have fabricated this architecture using standard microelectronic technology so that it can be easily realized in any laboratory setting. Even though the particular machine presented here is eventually limited by noise--and will thus require error-correcting codes to scale to an arbitrary number of memprocessors--it represents the first proof-of-concept of a machine capable of working with the collective state of interacting memory cells, unlike the present-day single-state machines built using the von Neumann architecture.
△ Less
Submitted 7 July, 2015; v1 submitted 18 November, 2014;
originally announced November 2014.
-
Memcomputing with membrane memcapacitive systems
Authors:
Yuriy V. Pershin,
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
We show theoretically that networks of membrane memcapacitive systems -- capacitors with memory made out of membrane materials -- can be used to perform a complete set of logic gates in a massively parallel way by simply changing the external input amplitudes, but not the topology of the network. This polymorphism is an important characteristic of memcomputing (computing with memories) that closel…
▽ More
We show theoretically that networks of membrane memcapacitive systems -- capacitors with memory made out of membrane materials -- can be used to perform a complete set of logic gates in a massively parallel way by simply changing the external input amplitudes, but not the topology of the network. This polymorphism is an important characteristic of memcomputing (computing with memories) that closely reproduces one of the main features of the brain. A practical realization of these membrane memcapacitive systems, using, e.g., graphene or other 2D materials, would be a step forward towards a solid-state realization of memcomputing with passive devices.
△ Less
Submitted 7 July, 2015; v1 submitted 13 October, 2014;
originally announced October 2014.
-
Noise in oscillators: a review of state space decomposition approaches
Authors:
Fabio L. Traversa,
Michele Bonnin,
Fernando Corinto,
Fabrizio Bonani
Abstract:
We review the state space decomposition techniques for the assessment of the noise properties of autonomous oscillators, a topic of great practical and theoretical importance for many applications in many different fields, from electronics, to optics, to biology. After presenting a rigorous definition of phase, given in terms of the autonomous system isochrons, we provide a generalized projection…
▽ More
We review the state space decomposition techniques for the assessment of the noise properties of autonomous oscillators, a topic of great practical and theoretical importance for many applications in many different fields, from electronics, to optics, to biology. After presenting a rigorous definition of phase, given in terms of the autonomous system isochrons, we provide a generalized projection technique that allows to decompose the oscillator fluctuations in terms of phase and amplitude noise, pointing out that the very definition of phase (and orbital) deviations depends of the base chosen to define the aforementioned projection. After reviewing the most advanced theories for phase noise, based on the use of the Floquet basis and of the reduction of the projected model by neglecting the orbital fluctuations, we discuss the intricacies of the phase reduction process pointing out the presence of possible variations of the noisy oscillator frequency due to amplitude-related effects.
△ Less
Submitted 3 October, 2014;
originally announced October 2014.
-
Absorption and Injection Models for Open Time-Dependent Quantum Systems
Authors:
Fabio L. Traversa,
Zhen Zhan,
Xavier Oriols
Abstract:
In the time-dependent simulation of pure states dealing with transport in open quantum systems, the initial state is located outside of the active region of interest. Using the superposition principle and the analytical knowledge of the free time-evolution of such state outside the active region, together with absorbing layers and remap**, a model for a very significant reduction of the computat…
▽ More
In the time-dependent simulation of pure states dealing with transport in open quantum systems, the initial state is located outside of the active region of interest. Using the superposition principle and the analytical knowledge of the free time-evolution of such state outside the active region, together with absorbing layers and remap**, a model for a very significant reduction of the computational burden associated to the numerical simulation of open time-dependent quantum systems is presented. The model is specially suited to study (many-particle and high-frequency effects) quantum transport, but it can also be applied to any other research field where the initial time-dependent pure state is located outside of the active region. From numerical simulations of open quantum systems described by the (effective mass) Schrödinger and (atomistic) tight-binding equations, a reduction of the computational burden of about two orders of magnitude for each spatial dimension of the domain with a negligible error is presented.
△ Less
Submitted 21 July, 2014; v1 submitted 27 May, 2014;
originally announced May 2014.
-
Universal Memcomputing Machines
Authors:
Fabio L. Traversa,
Massimiliano Di Ventra
Abstract:
We introduce the notion of universal memcomputing machines (UMMs): a class of brain-inspired general-purpose computing machines based on systems with memory, whereby processing and storing of information occur on the same physical location. We analytically prove that the memory properties of UMMs endow them with universal computing power - they are Turing-complete -, intrinsic parallelism, functio…
▽ More
We introduce the notion of universal memcomputing machines (UMMs): a class of brain-inspired general-purpose computing machines based on systems with memory, whereby processing and storing of information occur on the same physical location. We analytically prove that the memory properties of UMMs endow them with universal computing power - they are Turing-complete -, intrinsic parallelism, functional polymorphism, and information overhead, namely their collective states can support exponential data compression directly in memory. We also demonstrate that a UMM has the same computational power as a non-deterministic Turing machine, namely it can solve NP--complete problems in polynomial time. However, by virtue of its information overhead, a UMM needs only an amount of memory cells (memprocessors) that grows polynomially with the problem size. As an example we provide the polynomial-time solution of the subset-sum problem and a simple hardware implementation of the same. Even though these results do not prove the statement NP=P within the Turing paradigm, the practical realization of these UMMs would represent a paradigm shift from present von Neumann architectures bringing us closer to brain-like neural computation.
△ Less
Submitted 12 November, 2014; v1 submitted 5 May, 2014;
originally announced May 2014.
-
Application of Floquet theory to dynamical systems with memory
Authors:
Fabio L. Traversa,
Massimiliano Di Ventra,
Federica Cappelluti,
Fabrizio Bonani
Abstract:
We extend the recently developed generalized Floquet theory [Phys. Rev. Lett. 110, 170602 (2013)] to systems with infinite memory. In particular, we show that a lower asymptotic bound exists for the Floquet exponents associated to such cases. As examples, we analyze the cases of an ideal 1D system, a Brownian particle, and a circuit resonator with an ideal transmission line. All these examples sho…
▽ More
We extend the recently developed generalized Floquet theory [Phys. Rev. Lett. 110, 170602 (2013)] to systems with infinite memory. In particular, we show that a lower asymptotic bound exists for the Floquet exponents associated to such cases. As examples, we analyze the cases of an ideal 1D system, a Brownian particle, and a circuit resonator with an ideal transmission line. All these examples show the usefulness of this new approach to the study of dynamical systems with memory, which are ubiquitous in science and technology.
△ Less
Submitted 17 August, 2013;
originally announced August 2013.
-
Dynamic Computing Random Access Memory
Authors:
Fabio Lorenzo Traversa,
Fabrizio Bonani,
Yuriy V. Pershin,
Massimiliano Di Ventra
Abstract:
The present von Neumann computing paradigm involves a significant amount of information transfer between a central processing unit (CPU) and memory, with concomitant limitations in the actual execution speed. However, it has been recently argued that a different form of computation, dubbed memcomputing [Nature Physics, 9, 200-202 (2013)] and inspired by the operation of our brain, can resolve the…
▽ More
The present von Neumann computing paradigm involves a significant amount of information transfer between a central processing unit (CPU) and memory, with concomitant limitations in the actual execution speed. However, it has been recently argued that a different form of computation, dubbed memcomputing [Nature Physics, 9, 200-202 (2013)] and inspired by the operation of our brain, can resolve the intrinsic limitations of present day architectures by allowing for computing and storing of information on the same physical platform. Here we show a simple and practical realization of memcomputing that utilizes easy-to-build memcapacitive systems. We name this architecture Dynamic Computing Random Access Memory (DCRAM). We show that DCRAM provides massively-parallel and polymorphic digital logic, namely it allows for different logic operations with the same architecture, by varying only the control signals. In addition, by taking into account realistic parameters, its energy expenditures can be as low as a few fJ per operation. DCRAM is fully compatible with CMOS technology, can be realized with current fabrication facilities, and therefore can really serve as an alternative to the present computing technology.
△ Less
Submitted 17 March, 2014; v1 submitted 26 June, 2013;
originally announced June 2013.
-
Memory models of adaptive behaviour
Authors:
Fabio Lorenzo Traversa,
Yuriy V. Pershin,
Massimiliano Di Ventra
Abstract:
Adaptive response to a varying environment is a common feature of biological organisms. Reproducing such features in electronic systems and circuits is of great importance for a variety of applications. Here, we consider memory models inspired by an intriguing ability of slime molds to both memorize the period of temperature and humidity variations, and anticipate the next variations to come, when…
▽ More
Adaptive response to a varying environment is a common feature of biological organisms. Reproducing such features in electronic systems and circuits is of great importance for a variety of applications. Here, we consider memory models inspired by an intriguing ability of slime molds to both memorize the period of temperature and humidity variations, and anticipate the next variations to come, when appropriately trained. Effective circuit models of such behavior are designed using i) a set of LC-contours with memristive dam**, and ii) a single memcapacitive system-based adaptive contour with memristive dam**. We consider these two approaches in detail by comparing their results and predictions. Finally, possible biological experiments that would discriminate between the models are discussed. In this work, we also introduce an effective description of certain memory circuit elements.
△ Less
Submitted 1 May, 2013; v1 submitted 2 January, 2013;
originally announced January 2013.
-
Generalized Floquet theory: application to dynamical systems with memory and Bloch's theorem for nonlocal potentials
Authors:
Fabio L. Traversa,
Massimiliano Di Ventra,
Fabrizio Bonani
Abstract:
Floquet theory is a powerful tool in the analysis of many physical phenomena, and extended to spatial coordinates provides the basis for Bloch's theorem. However, in its original formulation it is limited to linear systems with periodic coefficients. Here, we extend the theory by proving a theorem for the general class of systems including linear operators commuting with the period-shift operator.…
▽ More
Floquet theory is a powerful tool in the analysis of many physical phenomena, and extended to spatial coordinates provides the basis for Bloch's theorem. However, in its original formulation it is limited to linear systems with periodic coefficients. Here, we extend the theory by proving a theorem for the general class of systems including linear operators commuting with the period-shift operator. The present theorem greatly expands the range of applicability of Floquet theory to a multitude of phenomena that were previously inaccessible with this type of analysis, such as dynamical systems with memory. As an important extension, we also prove Bloch's theorem for nonlocal potentials.
△ Less
Submitted 1 May, 2013; v1 submitted 12 December, 2012;
originally announced December 2012.
-
Robust weak-measurement protocol for Bohmian velocities
Authors:
F. L. Traversa,
G. Albareda,
M. Di Ventra,
X. Oriols
Abstract:
We present a protocol for measuring Bohmian - or the mathematically equivalent hydrodynamic - velocities based on an ensemble of two position measurements, defined from a Positive Operator Valued Measure, separated by a finite time interval. The protocol is very accurate and robust as long as the first measurement uncertainty divided by the finite time interval between measurements is much larger…
▽ More
We present a protocol for measuring Bohmian - or the mathematically equivalent hydrodynamic - velocities based on an ensemble of two position measurements, defined from a Positive Operator Valued Measure, separated by a finite time interval. The protocol is very accurate and robust as long as the first measurement uncertainty divided by the finite time interval between measurements is much larger than the Bohmian velocity, and the system evolves under flat potential between measurements. The difference between the Bohmian velocity of the unperturbed state and the measured one is predicted to be much smaller than 1% in a large range of parameters. Counter-intuitively, the measured velocity is that at the final time and not a time-averaged value between measurements.
△ Less
Submitted 7 May, 2013; v1 submitted 10 November, 2012;
originally announced November 2012.