Emergent Error Correcting States in Networks of Nonlinear Oscillators
X. **
C. G. Baker
E. Romero
N. P. Mauranyapin
T. M. F. Hirsch
W. P. Bowen
[email protected]G. I. Harris
School of Mathematics and Physics, The University of Queensland, QLD 4072, Australia
Abstract
Networks of nonlinear oscillators can exhibit complex collective behaviour ranging from synchronised states to chaos. Here, we simulate the dynamics of three coupled Duffing oscillators whose multiple equilibrium states can be used for information processing and storage. Our analysis reveals that even for this small network, there is the emergence of an error correcting phase where the system autonomously corrects errors from random impulses. The system has several surprising and attractive features, including dynamic isolation of resonators exposed to extreme impulses and the ability to correct simultaneous errors. The existence of an error correcting phase opens the prospect of fault-tolerant information storage, with particular applications in nanomechanical computing.
Networked nonlinear oscillators often display intricate emergent phenomena that defy prediction from extrapolation of the behaviours of individual oscillators. A prime example is when a network of unsynchronized oscillators spontaneously achieves synchronization once their coupling strength surpasses a critical threshold [1]. Adjusting system parameters can further lead to the formation of chimera states [2], where various subsets of oscillators exhibit distinct dynamic patterns, some of which may even evolve into chaotic behavior. Understanding of these intricate behaviors has yielded valuable insights into a diverse range of physical occurrences, such as the synchronized flashing of fireflies [3], the neurological underpinnings of Parkinson’s disease [4], and the emergence of novel phases of matter in quantum systems [5]. They can also be utilised in technological applications, such as clocks with improved timing uncertainty [6], neuromorphic computing [7], and sensing networks [8].
Many physical systems exhibit nonlinear oscillations, such as superconducting circuits [9], optical parametric oscillators/amplifiers [10], and spin-waves in magnetic materials [11]. One particularly important example is the nanomechanical oscillator, which has played a critical role in the development of modern technologies, with applications ranging from ultra-precise chronometry [12] and sensing [13] to filtering [14] and imaging [15].
Nanomechanical oscillators have also been identified as a promising platform for alternative forms of computation, enabling efficient and robust operation in harsh environments, such as those in medical facilities, nuclear power plants, and outer space [16, 17, 18, 19, 20, 21].
Here, we explore the emergent behaviour of simple networks of three all-to-all coupled oscillators. We include a third-order nonlinearity; the dominant nonlinearity for many oscillators, and of particular relevance in nanomechanical systems where it is referred to as a Duffing nonlinearity. The characteristic bistability of each Duffing oscillator is used to define logical states for information processing [22]. We hypothesise that, in appropriate parameter regimes, the coupling may act as a stabiliser correcting for logical errors in individual oscillators. A computational search over the parameter space of the system confirms this hypothesis, showing that over a wide region, a collective error correcting phase emerges. That is, the proposed system returns to its initial state after being disturbed by an instantaneous perturbation. The system has several striking features that distinguish it from a traditional 3-bit majority-vote error correction scheme, including autonomous operation, enhanced performance for extreme perturbations, and the ability to probabilistically correct simultaneous errors.
Despite their robustness to environmental influence, nanomechanical logic elements are susceptible to transient errors such as those arising from thermal effects, electromagnetic pulses, ionising radiation, or mechanical shock [23]. These types of transient bit-errors, which also occur frequently in conventional computers [24], are often referred to as single-event upsets (SEUs) [25, 26]. For nanomechanical logic, SEUs originate from an instantaneous impulse on the mechanical oscillator that is sufficiently large to shift the oscillator from one logical state to the other. Our discovery of an error-correcting phase, which applies broadly to third-order nonlinear oscillators, provides a means to address these errors, paving the way towards fault-tolerant nanomechanical computing.
The Duffing oscillator is one of the most widely studied nonlinear systems [27, 28], with some common applications illustrated in Fig 1a). It is described by the following equation [29]:
(1)
where, for a mechanical oscillator, is the displacement, the mass, the dissipation, the resonant frequency, the strength of nonlinearity and the amplitude of the sinusoidal drive provided to the system at frequency .
At certain drive amplitudes and frequencies, the steady-state dynamics exhibit bistability [29], with one stable solution corresponding to high displacement and the other corresponding to low displacement [22]. This bistability is shown in Fig. 1b) for the case of spring hardening ( >0), wherein the oscillation amplitude depends on the history of the drive frequency (left) and amplitude (right).
We use numerical methods to simulate the responses of Duffing oscillators to incident impulses, which are modelled as instantaneous changes to the momentum of the oscillators. By convention, we use high (low) displacements to represent binary ‘1’ (‘0’) signals (red/blue shaded regions in Fig. 1b)) [28, 22]. Figure 1c) illustrates the time dynamics of a single Duffing oscillator based on Eq. 1, with an impulse introduced at the time indicated by the dashed line. The oscillator is initially prepared in a ‘0’ state but the impulse causes it to latch onto the ‘1’ state, which corresponds to an erroneous bit-flip.
In conventional computing systems, a common technique to mitigate the effects of SEUs is to use majority voting logic [30]. Within a 3-bit majority voting algorithm, each bit is replicated three times; if one bit is affected by a SEU, then the algorithm corrects this error by assuming that the majority state of the 3 bits is correct. This is traditionally achieved through bit post-processing with a logic circuit. Here, we design a similar scheme in nanomechanical logic, in which the error correction occurs autonomously, without the need for additional comparator circuitry.
We consider three identical, equally forced, Duffing oscillators that are all linearly coupled (see Fig. 2a)). Each individual oscillator is driven into the bistable region and represents a single logical bit. The coupling provides an additional avenue for driving that can be either large or small depending on the amplitude of the neighbouring oscillators. The equations of motion of these coupled oscillators are:
(2)
(3)
(4)
where is the coupling rate between oscillators, and , , and represent the displacement of oscillators , and , respectively.
To determine the collective behaviour of the proposed error correcting network, we simulate its time dynamics for a range of different parameters and initial conditions. We search for emergent phases where the collective dynamics exhibit only two steady states (’111’ and ’000’), irrespective of when impulses occur and insensitive to small deviations in system parameters. We find that for specific sets of parameters, error correcting behaviour is possible. One example is shown in Fig. 2b), where each oscillator is initially prepared in the ‘0’ state, before oscillator 3 is subjected to an impulse of the same magnitude as that in Fig. 1c) (dashed line). We see that the impulse causes the amplitude of oscillator 3 to temporarily reach the ‘1’ state, however, it does not latch to this state. After an equilibration period, all oscillators settle back into the ‘0’ state. Similar error correcting dynamics are seen when the oscillators are initialised in the ’1’ states (see Supplementary Information).
Next, we repeat these simulations varying the drive frequency, drive amplitude and time of impulse. We find the behaviour of the coupled system can be categorized into four distinct phases (see Fig. 2c)). When the drive is strong and near resonance, all oscillators evolve into their ‘1’ states. Conversely, when the oscillators are provided with weak drives, or are driven far away from resonance, they always evolve into their ‘0’ states. We term these two regions ‘1’ bias and ‘0’ bias, respectively. In between the two bias regions, the oscillators can be initialized in either their collective ‘1’ or ‘0’ states, depending on the history of the applied forcing. We call this the initialise region. It should be noted that operating in this region does not guarantee error correction. We find that, for some parameters and impulse timings, it is possible for a single impulse to cause the system to transition between collective states. However, there remains a subspace that is guaranteed to correct all single impulses. This region is labelled error correction in Fig. 2c).
For sufficiently high coupling rates, the error correction region can be made to be large, enabling stable operation. For instance, Fig. 2c) was generated with a coupling rate equal to twice the intrinsic dissipation (i.e. ). Here, near the centre of the error correction region, error correction is maintained even with large deviations in drive force. For instance, at , error correction is predicted to occur for drive forces in the range . The size of the error correction region decreases with decreasing coupling rate, eventually disappearing altogether in the weak-coupling regime where .
.
The error correction of all single impulses can be further understood by considering the instantaneous energy of the system as a function of time. Figure 3a) shows that the energy of the perturbed oscillator (purple line) increases rapidly due to the impulse, as expected.
The two unperturbed oscillators then extract the excess energy and dissipate it to the environment, bringing the perturbed oscillator back into its original state. As the impulse amplitude is increased, the ability of the unperturbed oscillators to dissipate the excess energy is reduced, causing failures in error correction. This is shown in Fig. 3b) where impulses that cause the system momentum to exceed result in failures of error correction (where is the maximum momentum of the equilibrated ‘1’ state).
Unexpectedly, we find that the system also exhibits error correction of extremely large impulses (i.e. impulse energy large enough to transition all oscillators into the error state). This occurs due to an effect we call dynamic decoupling.
An extremely large impulse will temporarily increase the amplitude of the perturbed oscillator, nonlinearly shifting its oscillation frequency away from the remaining oscillators. This decouples the perturbed oscillator from the others and precludes efficient energy exchange between them. The perturbed oscillator then dissipates the excess energy to the environment before reducing its amplitude and re-establishing coupling.
The dashed line in Fig 3a) indicates the approximate energy threshold above which dynamic decoupling starts to occur, defined as the point when the Duffing induced frequency shift exceeds the coupling rate between oscillators (See Supplemental Information). Indeed, dynamic decoupling becomes more pronounced for larger impulse amplitudes. As a result, for our set of parameters, there are two regimes that allow perfect error correction of SEUs; impulse amplitudes in the range and those with . This is shown in Fig. 3b) where the failure probability is zero for both small (main figure) and large (inset) impulse amplitudes.
The error correction protocol can perfectly correct single impulses, but we expect it to be susceptible to multiple simultaneous impulses. To explore this, we run simulations in which each oscillator has a fixed probability, , of experiencing an impulse at a given time. Consequently, there is a finite probability of two or all three oscillators experiencing impulses simultaneously. We define an event as the occurrence of one or more impulses. If an event occurs and causes an error, then it is recorded and the simulation is reinitialised (see Supplementary Information for details). This allows one to determine the probability of failure for a given event probability. When this process is repeated for a range of event probabilities, the probability of failure (normalised by the event probability itself) is obtained.
We compare to equivalent simulations on a single oscillator (red in Fig. 4).
The probability of failure per event for the single oscillator is constant at approximately 91%. The success rate can be attributed to a portion of impulses opposing the momentum of the oscillator and therefore having a reduced effect.
The performance of the system was investigated with respect to an ideal majority voting scheme. Three way majority voting logic should correct all single impulses, but fail if two or more oscillators experience them. One can predict the theoretical failure rate, so defined, from a Binomial distribution for a given impulse probability (see Supplementary Information).
When comparing the three oscillator system (blue dots) to the theoretical performance of a conventional majority voting scheme (blue dashed line), Fig. 4 shows that the coupled system surprisingly exhibits superior error-correcting performance.
Interestingly, the coupled system corrects all single impulses and 65% of the double impulses. We believe that the ability of the coupled oscillators to correct a double impulse is related to non-trivial transients of the system. Quite generally, as the oscillator transitions between its two stable states, it must re-phase its oscillation with respect to the external drive. In this situation, the displacement from an impulse may not have the correct phase to enable latching onto the stable state, causing the impulse energy to be extracted from the system through dissipation and the external drive. In some sense, the state of each oscillator is encoded twice in the dynamics, once in its amplitude and again in its phase. This creates additional redundancy of the logical bit, enabling double errors to be corrected.
In this letter, we have explored the emergence of an error correcting phase in systems of coupled nonlinear oscillators. Using numerical simulations, we identify four distinct regions of behaviour in parameter space. We show that one of these regions enables autonomous error-correction from randomly occurring impulses, removing the need for additional logic operations to perform a majority-vote. Interestingly, error-correction is greatly enhanced for large impulses due to a dynamic decoupling of the perturbed oscillator, enabling error correction for impulses that are over ten times larger than the momentum of the ‘1’ state. Furthermore, the system is capable of correcting two simultaneous errors 65% of the time due to transient effects that de-phase the oscillators with respect to the drive.
Our work shows that the complexity of networks of nonlinear oscillators can be harnessed to perform useful computational tasks, and potentially enable fault-tolerant nanomechanical computing.
This research was primarily funded by the Australian Research Council and Lockheed Martin Corporation through the Australian Research Council Linkage Grant No. LP190101159. Support was also provided by the Australian Research Council Centre of Excellence for Engineered Quantum Systems (No. CE170100009). G.I.H. and C.G.B. acknowledge their Australian Research Council grants (No. DE210100848 and No. DE190100318), respectively.
Kómár et al. [2014]P. Kómár, E. M. Kessler, M. Bishof, L. Jiang, A. S. Sørensen, J. Ye, and M. D. Lukin, Nature Physics 10, 582 (2014).
Torrejon et al. [2017]J. Torrejon, M. Riou, F. A. Araujo, S. Tsunegi, G. Khalsa, D. Querlioz, P. Bortolotti, V. Cros, K. Yakushiji, A. Fukushima, H. Kubota, S. Yuasa, M. D. Stiles, and J. Grollier, Nature 547, 428 (2017).
Xu et al. [2020]L. Xu, S. Wang, Z. Jiang, and X. Wei, Microsystems & Nanoengineering 6, 63 (2020).
Boaknin et al. [2007]E. Boaknin, V. E. Manucharyan, S. Fissette, M. Metcalfe, L. Frunzio, R. Vijay, I. Siddiqi, A. Wallraff, R. J. Schoelkopf, and M. Devoret, Dispersive microwave bifurcation of a superconducting resonator cavity incorporating a josephson junction (2007), arXiv:cond-mat/0702445 [cond-mat.supr-con] .
MOSS and EGGLETON [2008]D. J. MOSS and B. J. EGGLETON, Advances in Information Optics and Photonics, Vol. 6 (SPIE, 2008) pp. 657–686.
Gavartin et al. [2013]E. Gavartin, P. Verlot, and T. J. Kippenberg, Nature communications 4, 1 (2013).
Zhang and Turner [2005]W. Zhang and K. L. Turner, Sensors and Actuators A: Physical 122, 23 (2005).
Delsing et al. [2019]P. Delsing, A. N. Cleland, M. J. Schuetz, J. Knörzer, G. Giedke, J. I. Cirac, K. Srinivasan, M. Wu, K. C. Balram, C. Bäuerle, et al., Journal of Physics D: Applied Physics 52, 353001 (2019).
Rützel et al. [2003]S. Rützel, S. I. Lee, and A. Raman, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 459, 1925 (2003).
Coulombe et al. [2017]J. C. Coulombe, M. C. A. York, and J. Sylvestre, PLOS ONE 12, 1 (2017).
Song et al. [2019]Y. Song, R. M. Panas, S. Chizari, L. A. Shaw, J. A. Jackson, J. B. Hopkins, and A. J. Pascall, Nature communications 10, 882 (2019).
Wenzler et al. [2014]J.-S. Wenzler, T. Dunn, T. Toffoli, and P. Mohanty, Nano Lett. 14, 89 (2014).
Roukes [2004]M. Roukes, in IEDM Technical Digest. IEEE International Electron Devices Meeting, 2004 (IEEE, 2004) pp. 539–542.
Romero et al. [2022]E. Romero, N. P. Mauranyapin, T. M. F. Hirsch, R. Kalra, C. G. Baker, G. I. Harris, and W. P. Bowen, Scalable nanomechanical logic gate (2022), arXiv:cond-mat/2206.11661v2 [cond-mat.mes-hall] .
Lee et al. [2023]Y.-B. Lee, M.-H. Kang, P.-K. Choi, S.-H. Kim, T.-S. Kim, S.-Y. Lee, and J.-B. Yoon, Nature Communications 14, 460 (2023).
Schroeder et al. [2009]B. Schroeder, E. Pinheiro, and W.-D. Weber, ACM SIGMETRICS Performance Evaluation Review 37, 193 (2009).
Schmid et al. [2016]S. Schmid, L. G. Villanueva, and M. L. Roukes, Fundamentals of Nanomechanical Resonators (Springer International Publishing : Imprint: Springer, 2016).
She and McElvain [2009]X. She and K. McElvain, IEEE transactions on nuclear science 56, 2443 (2009).
Supplemental Material
A Strong Coupling Threshold of Three Coupled Harmonic Oscillators
The equations of motion for three coupled harmonic oscillators are given by:
(5)
(6)
(7)
where is the resonant frequency of an uncoupled oscillator and is the coupling strength. Assuming that the solution takes the form of , the equations of motion can be rewritten in matrix form:
The characteristic equation of the matrix is given by:
By solving for , one obtains:
The above expressions describe the frequencies of the three fundamental modes of oscillation of the system.
The mode utilised by the proposed error correction device was determined to be the lowest frequency mode. The frequency shift introduced by coupling for this particular mode is given by:
For the oscillators to be strongly coupled, the frequency shift must be greater than the dissipation rate (, as defined in the main text):
B Decoupling energy of Three Coupled Duffing Oscillators
In comparison, the equations of motion of three damped and driven coupled Duffing oscillators with mass ’’ and dam** rate ’’ are given by:
(8)
(9)
(10)
For a single Duffing oscillator, the shift in resonant frequency as a function of displacement is given by the backbone equation ([1, 2]):
(11)
where is the resonant frequency of a single oscillator and is the Duffing coefficient, which quantifies the degree of non-linearity. We consider the condition of decoupling to be where the frequency shift induced by the kick is greater than that required to sustain strong coupling (as defined in the previous section). This can be written as:
(12)
where is resonance frequency required for decoupling. That is, when comparing to the other oscillators, the shift in resonance frequency of the kicked oscillator is greater or equal to the coupling rate. Assuming all the oscillators are initialised their ‘0’ states with steady state displacement , the displacement required for decoupling, , is then given by:
The energy of each oscillator is given by the sum of its potential and kinetic energy:
Here, is the natural spring constant, given by , and is the steady state displacement required for decoupling. When the oscillator reaches its maximum displacement, it attains its maximum potential energy, but has zero kinetic energy. Therefore, we can calculate the energy required for decoupling by calculating the potential energy at :
C Error correction of ‘111’ state
Choosing system parameters within the error correction regime, the time dynamics of the system exposed to a random impulse is illustrated in Fig. 5b). Each oscillator is initially prepared in the ‘1’ state then oscillator 3 is subjected to an impulse . We see that the impulse causes the amplitude of oscillator 3 to temporarily reach the ‘0’ state, however, it does not latch to this state. After an equilibration period, all oscillators settle back into the ‘1’ state. This represents a successful error correction event.
D Simulation of error correction map
FIG. 2 c) was produced using the following two algorithms:
First, we determined the boundary between the three main regions (‘1’ bias, ‘0’ bias and retention). To achieve this, the following process was performed:
1.
For a given set of parameters (, , and ), choose a particular and .
2.
Initialise the oscillators in the ‘0’ states (low displacement) or ‘1’ states (high displacement).
3.
Let the oscillators come to equilibrium and record their equilibrium displacement.
4.
If the oscillators equilibrate to a steady state that matches the initial conditions (i.e. ’111’ or ’000’), then the system is in the retention region. Otherwise, if the oscillators equilibrate to their ’1’ (‘0’) state regardless of their initial condition, the system is in the ‘1’ (‘0’) bias region.
5.
Repeat steps 1 - 4 for many different choices of and , to produce a base phase map.
The above steps allowed us to divide the phase space into three regions; ‘0’ bias, ‘1’ bias and retention. The second algorithm was then used to locate the error correction region:
1.
For a given set of parameters (, , and ), choose a particular and .
2.
Initialise and equilibrate all the oscillators in the ‘0’ states (low displacement) or in the ‘1’ states (high displacement).
3.
At a chosen time, introduce an instantaneous kick by changing the momentum of one of the oscillators. The new momentum, , is given by , where is the original momentum and is the momentum change from the introduced kick.
4.
Let the oscillators come to equilibrium and observe whether the final states of the oscillators match the initial states.
5.
Repeat steps 2 - 4 for many different phases of oscillation. If the system corrects errors at all tested error times, designate the set of and as error correcting.
6.
Repeat steps 1 - 5 for many different choices of and , to produce an error correction parameter space map.
This produced an error correction map, showing the region where the system can correct for individual single event upsets (SEUs) introduced at any time. Note that within a cycle of oscillation, the momentum of an oscillator varies. As a result, an oscillator is expected to behave differently when a kick of fixed size is introduced at different phases in the oscillation. An error correction system must be able to correct errors introduced at any phase. Therefore, we have designed the algorithm to repeat the error correction tests by introducing kicks at different times, corresponding to different phases. Here, we tested 15 linearly spaced phases in our algorithm, with error correction only designated as achieved if the error was corrected at all phases.
Combining the results from the above two algorithms, the phase map of three coupled Duffing oscillators was determined, as shown in FIG. 2 c).
E Simulation (FIG. 4)
We developed a simulation that is able to repeatedly test whether a system fails to error correct with randomly imposed kicks. Here, we assume that there is an underlying probability of an oscillator experiencing a kick, . We have assumed a kick probability of per time interval. Note that given these values, the chance of two or more kicks occurring simultaneously on a single oscillator is negligible. As a result, we have chosen to implement a maximum of one kick per oscillator area in our simulation.
The algorithm used to test the performance of a given system (FIG. 4) is shown below:
1.
Choose the parameters of the single and coupled oscillators, and the total number of tests. The coupled oscillators should be in the error correction regime. For fair comparison, the single oscillator should be in its retention region.
2.
Initialise and equilibrate both systems in their ‘0’ states, record their equilibrium amplitudes. Similarly, initialise both systems in their ‘1’ states and record their equilibrium amplitudes.
3.
Use random number generators to decide the number of oscillators experiencing kicks and impose them onto the system at a randomly generated time. For a single oscillator, one random number generator is used, whereas three random number generators are used for three coupled oscillators. For each generated number, , a kick is imposed whenever .
4.
Let the system come to equilibrium and record the equilibrium amplitudes. Compare the final and the initial equilibrium amplitudes to determine whether the system has failed. Note that it is considered a failure if either the ‘0’ or ‘1’ states have been altered by the occurrence of kicks.
5.
Repeat steps 3 - 4 for the total number of tests. Record the total number of failures.
F Theoretical distribution of system failure (FIG. 4)
Theoretically, we can predict the cumulative distribution function (CDF) of system failure for both systems. At a given time window, the CDF is given by the converse of the system succeeding up until that time window. This can be written as:
(13)
where is the probability of failure for a given system in a given time window. The subscripts and will be used to denote single and coupled systems, respectively. Now, we will focus on determining for the two systems of interest.
Within our simulation, we assume that all oscillators are of the same area. In addition, we assume that the oscillator areas are sufficiently small such that the probability of an oscillator experiencing multiple kicks is negligible. That is, in a given period of time (time window), each oscillator must experience one of two outcomes; either kicked or not kicked. If we take the probability of a kick per oscillator area per time window as , then the probability of failure for a single oscillator in any given time window is given by:
(14)
This is because we set the kick amplitude such that all kick events result in a single oscillator failure.
In comparison, we expect three coupled oscillators to function as a three way majority voting system when operating in the error correcting regime. As a result, we anticipate this error correction system to fail only when multiple oscillators experience kicks during the same time window. Therefore, to calculate the probability of multiple oscillators experiencing kicks within the same time window, we can apply the Binomial theorem:
(15)
where is the number of oscillators experiencing kicks. Note that is an integer in the range from 0 to 3. Here, the Binomial theorem is used to account for the different combinations of oscillator outcomes (kicked or not kicked). Using equation (15), the predicted probability of failure for three coupled oscillators is given by:
(16)
which is the sum of the probability of the three coupled oscillators experiencing two or three kicks within the same time window.
Using equations (14) and (F), we may calculate the values of for a specific . For instance, when , we calculated:
Finally, by substituting these numbers into equation (13), we obtained the theoretical CDFs for both single and coupled oscillators.
Similarly, the theoretical prediction of probability of failure per event, , as shown in FIG. 4b) can be obtained using equations (14) and (F). Note that the probability of failure presented in FIG. 4b) is normalised to a per event basis. This was achieved by dividing equations (14) and (F) by the probability of an event occurring in each scenario:
When using the above equations, we predict a single oscillator to always fail whenever an event occurs, and the coupled systems to only fail whenever two or more kicks are imposed.
G Difference between theoretical and numerical results (FIG. 4)
From FIG. 4, it can be observed that the theoretical predictions of the system failure rate are not consistent with the simulated data. Therefore, our previous prediction of must not account for all kicks that the systems can correct. To rectify this, we assume that the single system is capable of correcting proportion of single kicks. Similarly, we assume that the coupled system not only corrects for all single kicks, but also corrects proportion of double kicks. With these assumptions, equations (14) and (F) become:
(17)
(18)
Using the above expressions, we have performed a non-linear fit to find the values of and , that give the best agreement with the simulated data. The fitting was done using the MATLAB function. This function performs a non-linear least squares fit of the simulation data over a range of kick probabilities to equations (17) - (18). The results of the non-linear fit (presented in FIG. 4)) are given by:
This suggests that the single system can correct single kicks approximately of the time, and the coupled system can correct approximately of double kicks. With these modified assumptions, the theoretical predictions are observed to agree with the simulated data, as shown in FIG. 4.