Source author record

Fabio L. Traversa

Fabio L. Traversa appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

10works
16topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2022arXiv

Global minimization via classical tunneling assisted by collective force field formation

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 mapping 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.

preprint2020arXiv

Memcomputing for Accelerated Optimization

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.

preprint2016arXiv

On the Measurement in Quantum Mechanics: the Consistent Measurement Apparatus

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-overlapping 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.

preprint2015arXiv

Memcomputing NP-complete problems in polynomial time using polynomial resources and collective states

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.

preprint2015arXiv

Memcomputing with membrane memcapacitive systems

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.

preprint2014arXiv

Absorption and Injection Models for Open Time-Dependent Quantum Systems

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 remapping, 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.

preprint2014arXiv

Noise in oscillators: a review of state space decomposition approaches

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.

preprint2014arXiv

Universal Memcomputing Machines

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.

preprint2013arXiv

Application of Floquet theory to dynamical systems with memory

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.

preprint2013arXiv

Generalized Floquet theory: application to dynamical systems with memory and Bloch's theorem for nonlocal potentials

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.