Caravelli-Traversa-Di Ventra equation

Last updated

The Caravelli-Traversa-Di Ventra equation (CTDV) is a closed-form equation to the evolution of networks of memristors. It was derived by F. Caravelli (Los Alamos National Laboratory), F. Traversa (Memcomputing Inc.) and Massimiliano Di Ventra (UC San Diego) to study the exact evolution of complex circuits made of resistances with memory (memristors). [1]

A memristor is a resistive device whose resistance changes as a function of the history of the applied voltage or current. A physical realization of the memristor was introduced in the Nature paper by Strukov and collaborators while studying titanium dioxide junctions, with a resistance experimentally observed to change approximately in accordance to the model [2]

where is a parameter describing the evolution of resistance, is the current across the device and is an effective parameter which characterizes the response of the device to a current flow. If the device decays over time to a high resistance state, one can also add a term to the right-hand side of the evolution for , where is a decay constant. However, such resistive switching has been known since the late 60's. [3] The model above is often called Williams-Strukov or Strukov model. Albeit this model is too simplistic to represent real devices, [4] it still serves as a good model exhibiting a pinched hysteresis loop in the current-voltage diagram. However, because of Kirchhoff's laws, the evolution of networks of these components becomes utterly complicated, in particular for disordered neuromorphic materials such as nanowires. [5] Often, these are called memristive networks. The simplest example of a memristive circuit or network is a memristors crossbar. A memristor crossbar is often used as a way to address single memristors for a variety of applications in artificial intelligence. However, this is a one particular example of memristive network arranged on a two dimensional grid. Memristive networks have also important applications, for instance, in reservoir computing. [6] A network of memristors can serve as a reservoir for nonlinearly transforming an input signal into a high-dimensional feature space. The memristor-based reservoir concept was introduced by Kulkarni and Teuscher in 2012. [7] While this model was initially employed for tasks like wave pattern classification and associative memory, the readout mechanism utilized a genetic algorithm, which inherently operates non-linearly. [8] A memristive network is a circuit that satisfies the Kirchhoff laws, e.g. the conservation of the currents at the nodes, and in which every circuit element is a memristive component. Kirchhoff's laws can be written in terms of the sum of the currents on node n as [9]

where the first equation represents the time evolution of the memristive element's internal memory either in current or voltage, and the second equation represents the conservation of currents at the nodes. Since every element is Ohmic, then,  which is Ohm's law and is the memory parameters. These parameters typically represent the internal memory of the resistive device and are associated to physical properties of the device changing as an effect of current/voltage. These equations become quickly highly nonlinear because the memristive device is typically nonlinear, and moreover Kirchhoff's laws introduce a higher layer of complexity. A silver nanowire connectome [10] can be described using graph theory, and have applications ranging from sensors to information storage.Since memristive devices behave as axons in a neuronal network, the theory of memristive networks is the theory of nanoscale electric physical devices whose behavior parallels the one of real neuronal circuits. [11]

In neuromorphic engineering, the goal is the use of very-large-scale integration (VLSI) systems containing electronic analog circuits to mimic neuro-biological architectures similar to the ones in the nervous system. A neuromorphic computer/chip is any device that uses physical artificial neurons (made from silicon) to do computations. [12] The development of the formalism of memristive networks is used to understand the behavior of memristors for a variety of purposes, including modelling and understand electronic plasticity in real circuits. Side applications of such theory is to understand the role of instances in memcomputers and self-organizing logic gates. [13]

In a typical memristive network simulation one has to solve first for Kirchhoff's laws numerically, obtain voltage drops and currents for each device, and then evolve the parameters of the memristive device and/or junction to obtain the resistance or conductance. [14] This means that effectively, as memristive devices change their resistance or conductance, such devices are interacting. Even for the simple memristor model, such a problem leads to nonlinearities strongly dependent on the circuit realizations. The CTDV equation is a model for the evolution of networks of arbitrary circuits composed of devices such as in eqn. (1), with the inclusion of a decay parameter controlling the volatility. It thus can be considered a generalization of the Strukov et al. model to arbitrary circuits. [15]

For the case of the Strukov et al. model, equations (2) can be written explicitly by integrating analytically Kirchhoff's laws. The evolution of a network of memristive devices can be written in a closed form (Caravelli-Traversa-Di Ventra equation): [16]

as a function of the properties of the physical memristive network and the external sources, where is the internal memory parameter of each device. The equation is valid in the case of the Strukov original toy model and it can be considered as a generalization of the single device model; in the case of ideal memristors, , although the hypothesis of the existence of an ideal memristor is debatable. [17] In the equation above, is the "forgetting" time scale constant, typically associated to memory volatility, while is the adimensional ratio between the resistance gap and off resistance value. is the vector of the voltage sources in series to each junction. Instead, is a projection matrix in which the circuit enters directly, by projecting on the fundamental loops of the graph; such matrix enforces Kirchhoff's laws. Interestingly, the equation is valid for any network topology simply by changing the corresponding matrix . The constant has the dimension of a voltage and is associated to the properties of the memristor; its physical origin is the charge mobility in the conductor. The diagonal matrix and vector and respectively, are instead the dynamical internal value of the memristive devices, with values between 0 and 1. This equation thus requires adding extra constraints on the memory values in order to be reliable, but can be used for instance to predict analytically the presence of instantonic transitions in memristive networks. [16]

Related Research Articles

<span class="mw-page-title-main">Electrical network</span> Assemblage of connected electrical elements

An electrical network is an interconnection of electrical components or a model of such an interconnection, consisting of electrical elements. An electrical circuit is a network consisting of a closed loop, giving a return path for the current. Thus all circuits are networks, but not all networks are circuits. Linear electrical networks, a special type consisting only of sources, linear lumped elements, and linear distributed elements, have the property that signals are linearly superimposable. They are thus more easily analyzed, using powerful frequency domain methods such as Laplace transforms, to determine DC response, AC response, and transient response.

<span class="mw-page-title-main">Wheatstone bridge</span> Electric circuit used to measure electrical resistance

A Wheatstone bridge is an electrical circuit used to measure an unknown electrical resistance by balancing two legs of a bridge circuit, one leg of which includes the unknown component. The primary benefit of the circuit is its ability to provide extremely accurate measurements. Its operation is similar to the original potentiometer.

<span class="mw-page-title-main">Transmission line</span> Cable or other structure for carrying radio waves

In electrical engineering, a transmission line is a specialized cable or other structure designed to conduct electromagnetic waves in a contained manner. The term applies when the conductors are long enough that the wave nature of the transmission must be taken into account. This applies especially to radio-frequency engineering because the short wavelengths mean that wave phenomena arise over very short distances. However, the theory of transmission lines was historically developed to explain phenomena on very long telegraph lines, especially submarine telegraph cables.

<span class="mw-page-title-main">Ohm's law</span> Law of electrical current and voltage

Ohm's law states that the electric current through a conductor between two points is directly proportional to the voltage across the two points. Introducing the constant of proportionality, the resistance, one arrives at the three mathematical equations used to describe this relationship:

In electrical engineering, electrical elements are conceptual abstractions representing idealized electrical components, such as resistors, capacitors, and inductors, used in the analysis of electrical networks. All electrical networks can be analyzed as multiple electrical elements interconnected by wires. Where the elements roughly correspond to real components, the representation can be in the form of a schematic diagram or circuit diagram. This is called a lumped-element circuit model. In other cases, infinitesimal elements are used to model the network in a distributed-element model.

An artificial neuron is a mathematical function conceived as a model of biological neurons in a neural network. Artificial neurons are the elementary units of artificial neural networks. The artificial neuron is a function that receives one or more inputs, applies weights to these inputs, and sums them to produce an output.

Neuromorphic computing is an approach to computing that is inspired by the structure and function of the human brain. A neuromorphic computer/chip is any device that uses physical artificial neurons to do computations. In recent times, the term neuromorphic has been used to describe analog, digital, mixed-mode analog/digital VLSI, and software systems that implement models of neural systems. The implementation of neuromorphic computing on the hardware level can be realized by oxide-based memristors, spintronic memories, threshold switches, transistors, among others. Training software-based neuromorphic systems of spiking neural networks can be achieved using error backpropagation, e.g., using Python based frameworks such as snnTorch, or using canonical learning rules from the biological learning literature, e.g., using BindsNet.

<span class="mw-page-title-main">Electromigration</span> Movement of ions in an electrical field

Electromigration is the transport of material caused by the gradual movement of the ions in a conductor due to the momentum transfer between conducting electrons and diffusing metal atoms. The effect is important in applications where high direct current densities are used, such as in microelectronics and related structures. As the structure size in electronics such as integrated circuits (ICs) decreases, the practical significance of this effect increases.

Kirchhoff's circuit laws are two equalities that deal with the current and potential difference in the lumped element model of electrical circuits. They were first described in 1845 by German physicist Gustav Kirchhoff. This generalized the work of Georg Ohm and preceded the work of James Clerk Maxwell. Widely used in electrical engineering, they are also called Kirchhoff's rules or simply Kirchhoff's laws. These laws can be applied in time and frequency domains and form the basis for network analysis.

In electrical engineering and electronics, a network is a collection of interconnected components. Network analysis is the process of finding the voltages across, and the currents through, all network components. There are many techniques for calculating these values; however, for the most part, the techniques assume linear components. Except where stated, the methods described in this article are applicable only to linear network analysis.

<span class="mw-page-title-main">Potentiostat</span> Electronic system controlling a three electrode cell

A potentiostat is the electronic hardware required to control a three electrode cell and run most electroanalytical experiments. A Bipotentiostat and polypotentiostat are potentiostats capable of controlling two working electrodes and more than two working electrodes, respectively.

Harmonic balance is a method used to calculate the steady-state response of nonlinear differential equations, and is mostly applied to nonlinear electrical circuits. It is a frequency domain method for calculating the steady state, as opposed to the various time-domain steady-state methods. The name "harmonic balance" is descriptive of the method, which starts with Kirchhoff's Current Law written in the frequency domain and a chosen number of harmonics. A sinusoidal signal applied to a nonlinear component in a system will generate harmonics of the fundamental frequency. Effectively the method assumes a linear combination of sinusoids can represent the solution, then balances current and voltage sinusoids to satisfy Kirchhoff's law. The method is commonly used to simulate circuits which include nonlinear elements, and is most applicable to systems with feedback in which limit cycles occur.

<span class="mw-page-title-main">Chua's circuit</span> Electronic circuit that behaves chaotically

Chua's circuit is a simple electronic circuit that exhibits classic chaotic behavior. This means roughly that it is a "nonperiodic oscillator"; it produces an oscillating waveform that, unlike an ordinary electronic oscillator, never "repeats". It was invented in 1983 by Leon O. Chua, who was a visitor at Waseda University in Japan at that time. The ease of construction of the circuit has made it a ubiquitous real-world example of a chaotic system, leading some to declare it "a paradigm for chaos".

In electronics, diode modelling refers to the mathematical models used to approximate the actual behaviour of real diodes to enable calculations and circuit analysis. A diode's I-V curve is nonlinear.

In electrical engineering the term flux linkage is used to define the interaction of a multi-turn inductor with the magnetic flux as described by the Faraday's law of induction. Since the contributions of all turns in the coil add up, in the over-simplified situation of the same flux passing through all the turns, the flux linkage is , where is the number of turns. The physical limitations of the coil and the configuration of the magnetic field make some flux to leak between the turns of the coil, forming the leakage flux and reducing the linkage. The flux linkage is measured in webers (Wb), like the flux itself.

<span class="mw-page-title-main">Memristor</span> Nonlinear two-terminal fundamental circuit element

A memristor is a non-linear two-terminal electrical component relating electric charge and magnetic flux linkage. It was described and named in 1971 by Leon Chua, completing a theoretical quartet of fundamental electrical components which also comprises the resistor, capacitor and inductor.

A physical neural network is a type of artificial neural network in which an electrically adjustable material is used to emulate the function of a neural synapse or a higher-order (dendritic) neuron model. "Physical" neural network is used to emphasize the reliance on physical hardware used to emulate neurons as opposed to software-based approaches. More generally the term is applicable to other artificial neural networks in which a memristor or other electrically adjustable resistance material is used to emulate a neural synapse.

<span class="mw-page-title-main">Theory of solar cells</span>

The theory of solar cells explains the process by which light energy in photons is converted into electric current when the photons strike a suitable semiconductor device. The theoretical studies are of practical use because they predict the fundamental limits of a solar cell, and give guidance on the phenomena that contribute to losses and solar cell efficiency.

<span class="mw-page-title-main">Memistor</span>

A memistor is a nanoelectric circuitry element used in parallel computing memory technology. Essentially, a resistor with memory able to perform logic operations and store information, it is a three-terminal implementation of the memristor.

<span class="mw-page-title-main">Massimiliano Di Ventra</span>

Massimiliano Di Ventra is an American-Italian theoretical physicist. Specializing in condensed-matter physics, he is the co-founder of MemComputing, Inc.

References

  1. Caravelli; et al. (2017). "The complex dynamics of memristive circuits: analytical results and universal slow relaxation". Physical Review E. 95 (2): 022140. arXiv: 1608.08651 . Bibcode:2017PhRvE..95b2140C. doi:10.1103/PhysRevE.95.022140. PMID   28297937. S2CID   6758362.
  2. Strukov, Dmitri B.; Snider, Gregory S.; Stewart, Duncan R.; Williams, R. Stanley (May 2008). "The missing memristor found". Nature. 453 (7191): 80–83. Bibcode:2008Natur.453...80S. doi:10.1038/nature06932. ISSN   1476-4687. PMID   18451858. S2CID   4367148.
  3. Argall, F. (1968), "Switching Phenomena in Titanium Oxide Thin Films", Solid-State Electronics , 11 (5): 535–541, Bibcode:1968SSEle..11..535A, doi:10.1016/0038-1101(68)90092-0
  4. Ascoli, A.; Corinto, F.; Senger, V.; Tetzlaff, R. (22 May 2013). "Memristor Model Comparison". IEEE Circuits and Systems Magazine. 13 (2): 89–105. doi:10.1109/MCAS.2013.2256272. ISSN   1531-636X. S2CID   26077752.
  5. Kuncic, Zdenka; Nakayama, Tomonobu (2021-01-01). "Neuromorphic nanowire networks: principles, progress and future prospects for neuro-inspired information processing". Advances in Physics: X. 6 (1). Bibcode:2021AdPhX...694234K. doi: 10.1080/23746149.2021.1894234 . ISSN   2374-6149. S2CID   233636661.
  6. Tanaka, Gouhei; Yamane, Toshiyuki; Héroux, Jean Benoit; Nakane, Ryosho; Kanazawa, Naoki; Takeda, Seiji; Numata, Hidetoshi; Nakano, Daiju; Hirose, Akira (2019-07-01). "Recent advances in physical reservoir computing: A review". Neural Networks. 115: 100–123. arXiv: 1808.04962 . doi:10.1016/j.neunet.2019.03.005. ISSN   0893-6080. PMID   30981085.
  7. Kulkarni, Manjari S.; Teuscher, Christof (2012-07-04). "Memristor-based reservoir computing". Proceedings of the 2012 IEEE/ACM International Symposium on Nanoscale Architectures. ACM. pp. 226–232. doi:10.1145/2765491.2765531. ISBN   978-1-4503-1671-2. S2CID   14350758.
  8. Zhang, Yang; Wang, Zhongrui; Zhu, Jiadi; Yang, Yuchao; Rao, Mingyi; Song, Wenhao; Zhuo, Ye; Zhang, Xumeng; Cui, Menglin; Shen, Linlin; Huang, Ru; Yang, J. Joshua (2020). "Brain-inspired computing with memristors: Challenges in devices, circuits, and systems". Appl. Phys. Rev. 7 (1): 011308. Bibcode:2020ApPRv...7a1308Z. doi: 10.1063/1.5124027 .
  9. Zhu, Ruomin; Hochstetter, Joel; Loeffler, Alon; Diaz-Alvarez, Adrian; Nakayama, Tomonobu; Lizier, Joseph T.; Kuncic, Zdenka (2021). "Information dynamics in neuromorphic nanowire networks". Scientific Reports. 11 (1): 13047. Bibcode:2021NatSR..1113047Z. doi:10.1038/s41598-021-92170-7. PMC   8219687 . PMID   34158521.
  10. Milano, Gianluca; Miranda, Enrique; Ricciardi, Carlo (2022-06-01). "Connectome of memristive nanowire networks through graph theory". Neural Networks. 150: 137–148. doi:10.1016/j.neunet.2022.02.022. hdl: 11696/73972 . ISSN   0893-6080. PMID   35313246.
  11. Caravelli, Francesco; Milano, Gianluca; Ricciardi, Carlo; Kuncic, Zdenka (2023). "Mean Field Theory of Self-Organizing Memristive Connectomes". Annalen der Physik. 535 (8). arXiv: 2301.10145 . Bibcode:2023AnP...53500090C. doi:10.1002/andp.202300090.
  12. "002.08 N.I.C.E. Workshop 2014: Towards Intelligent Computing with Neuromemristive Circuits and Systems – Feb. 2014". digitalops.sandia.gov. Retrieved 2019-08-26.
  13. Bearden, S. R. B.; Manukian, H.; Traversa, F. L.; Di Ventra, M. (27 March 2018). "Instantons in Self-Organizing Logic Gates". Physical Review Applied. 9 (34029): 034029. arXiv: 1708.08949 . Bibcode:2018PhRvP...9c4029B. doi:10.1103/PhysRevApplied.9.034029.
  14. Milano, Gianluca; Miranda, Enrique; Ricciardi, Carlo (June 2022). "Connectome of memristive nanowire networks through graph theory". Neural Networks. 150: 137–148. doi:10.1016/j.neunet.2022.02.022. hdl: 11696/73972 . PMID   35313246.
  15. Wang, Wei; Song, Wenhao; Yao, Peng; Li, Yang; Van Nostrand, Joseph; Qiu, Qinru; Ielmini, Daniele; Yang, J. Joshua (18 December 2020). "Integration and Co-design of Memristive Devices and Algorithms for Artificial Intelligence". iScience. 23 (12). Bibcode:2020iSci...23j1809W. doi:10.1016/j.isci.2020.101809. PMC   7718163 . PMID   33305176.
  16. 1 2 Caravelli; et al. (2021). "Global minimization via classical tunneling assisted by collective force field formation". Science Advances. 7 (52): 022140. arXiv: 1608.08651 . Bibcode:2021SciA....7.1542C. doi:10.1126/sciadv.abh1542. PMID   28297937. S2CID   231847346.
  17. Abraham, Isaac (2018-07-20). "The case for rejecting the memristor as a fundamental circuit element". Scientific Reports. 8 (1): 10972. Bibcode:2018NatSR...810972A. doi:10.1038/s41598-018-29394-7. ISSN   2045-2322. PMC   6054652 . PMID   30030498.