Synaptic learning rules for sequence learning

Abstract
Introduction
Results
Discussion
Materials and methods
Appendix 1
Appendix 2
Data availability
References
Article and author information
Metrics

Abstract

Remembering the temporal order of a sequence of events is a task easily performed by humans in everyday life, but the underlying neuronal mechanisms are unclear. This problem is particularly intriguing as human behavior often proceeds on a time scale of seconds, which is in stark contrast to the much faster millisecond time-scale of neuronal processing in our brains. One long-held hypothesis in sequence learning suggests that a particular temporal fine-structure of neuronal activity — termed ‘phase precession’ — enables the compression of slow behavioral sequences down to the fast time scale of the induction of synaptic plasticity. Using mathematical analysis and computer simulations, we find that — for short enough synaptic learning windows — phase precession can improve temporal-order learning tremendously and that the asymmetric part of the synaptic learning window is essential for temporal-order learning. To test these predictions, we suggest experiments that selectively alter phase precession or the learning window and evaluate memory of temporal order.

Introduction

It is a pivotal quality for animals to be able to store and recall the order of events (‘temporal-order learning’, Kahana, 1996; Fortin et al., 2002; Lehn et al., 2009; Bellmund et al., 2020) but there is only little work on the neural mechanisms generating asymmetric memory associations across behavioral time intervals (Drew and Abbott, 2006). Putative mechanisms need to bridge the gap between the faster time scale of the induction of synaptic plasticity (typically milliseconds) and the slower time scale of behavioral events (seconds or slower). The slower time scale of behavioral events is mirrored, for example, in the time course of firing rates of hippocampal place cells (O'Keefe and Dostrovsky, 1971), which signal when an animal visits certain locations (‘place fields’) in the environment. The faster time scale is given by the temporal properties of the induction of synaptic plasticity (Markram et al., 1997; Bi and Poo, 1998) — and spike-timing-dependent plasticity (STDP) is a common form of synaptic plasticity that depends on the millisecond timing and temporal order of presynaptic and postsynaptic spiking. For STDP, the so-called ‘learning window’ describes the temporal intervals at which presynaptic and postsynaptic activity induce synaptic plasticity. Such precisely timed neural activity can be generated by phase precession, which is the successive across-cycle shift of spike phases from late to early with respect to a background oscillation (Figure 1). As an animal explores an environment, phase precession can be observed in the activity of hippocampal place cells with respect to the theta oscillation (O'Keefe and Recce, 1993; Buzsáki, 2002; Qasim et al., 2021). Phase precession is highly significant in single trials (Schmidt et al., 2009; Reifenstein et al., 2012) and occurs even in first traversals of a place field in a novel environment (Cheng and Frank, 2008). Interestingly, phase precession allows for a temporal compression of a sequence of behavioral events from the time scale of seconds down to milliseconds (Figure 1; Skaggs et al., 1996; Tsodyks et al., 1996; Cheng and Frank, 2008), which matches the widths of generic STDP learning windows (Abbott and Nelson, 2000; Bi and Poo, 2001; Froemke et al., 2005; Wittenberg and Wang, 2006). This putative advantage of phase precession for temporal-order learning, however, has not yet been quantified. To assess the benefit of phase precession for temporal-order learning, we determine the synaptic weight change between pairs of cells whose activity represents two events of a sequence. Using both analytical methods and numerical simulations, we find that phase precession can dramatically facilitate temporal-order learning by increasing the synaptic weight change and the signal-to-noise ratio by up to an order of magnitude. We thus provide a mechanistic description of associative chaining models (Lewandowsky and Murdock, 1989) and extend these models to explain how to store serial order.

Figure 1

Download asset Open asset

Rationale for temporal-order learning via phase precession.

Top: Behavioral events (A to D) happen on a time scale of seconds. Middle: These events are represented by different cells (**a–d**), which fire a burst of stochastic action potentials in response to the onset of their respective event. We assume that each cell shows phase precession with respect to the LFP’s theta oscillation (every second cycle is marked by a greay box). When the activities of multiple cells overlap, the sequence of behavioral events is compressed in time to within one theta cycle (two examples highlighted in the dashed, shaded boxes). Bottom: This faster time scale can be picked up by STDP and strengthen the connections between the cells of the sequence. Figure adapted from Korte and Schmitz, 2016.

Results

To address the question of how behavioral sequences could be encoded in the brain, we study the change of synapses between neurons that represent events in a sequence. We assume that the temporal order of two events is encoded in the asymmetry of the efficacies of synapses that connect neurons representing the two events (Figure 1). After the successful encoding of a sequence, a neuron that was activated earlier in the sequence has a strengthened connection to a neuron that was activated later in the sequence, whereas the connection in the reverse direction may be unchanged or is even weakened. As a result, when the first event is encountered and/or the first neuron is activated, the neuron representing the second event is activated. Consequently, the behavioral sequence could be replayed (as illustrated by simulations for example in Tsodyks et al., 1996; Sato and Yamaguchi, 2003; Leibold and Kempter, 2006; Shen et al., 2007; Cheng, 2013; Chenkov et al., 2017; Malerba and Bazhenov, 2019; Gillett et al., 2020) and the memory of the temporal order of events is recalled (Diba and Buzsáki, 2007; Schuck and Niv, 2019). We note, however, that in what follows we do not simulate such a replay of sequences, which would depend also on a vast number of parameters that define the network; instead, we rather focus on the underlying change in connectivity, which is the very basis of replay, and draw connections to ‘replay’ in the Discussion.

Let us now illustrate key features of the encoding of the temporal order of sequences. To do so, we consider the weight change induced by the activity of two sequentially activated cells $i$ and $j$ that represent two behavioral events (dashed lines in Figure 2A). Classical Hebbian learning (Hebb, 1949), where weight changes $Δ w_{i j}$ depend on the product of the firing rates f_i and f_j, is not suited for temporal-order learning because the weight change is independent of the order of cells:

Δ w_{i j} \propto f_{i} \cdot f_{j} = f_{j} \cdot f_{i} \propto Δ w_{j i} .

Figure 2

Download asset Open asset

Model of two sequentially activated phase-precessing cells.

(A) Oscillatory firing-rate profiles for two cells (solid blue and cyan lines). The black curve depicts the population theta oscillation. For easier comparison of the two different frequencies, the population activity’s troughs are continued by thin gray lines, and the peaks of the cell-intrinsic theta oscillation are marked by dots. Dashed lines depict the underlying Gaussian firing fields without theta modulation. (B) Phase precession of the two cells (same colors as in A). The compression factor $c$ describes the phase shift per theta cycle for an individual cell ( $2 π c$ ). For the temporal separation $T_{i j}$ of the firing fields and the theta frequency $ω$ , the phase difference between the cells is $ω c T_{i j}$ . The dots depict the times of the maxima in (A). (C) Resulting cross-correlation for the two firing rates from (A). The solid red curve shows the full cross-correlation. The dashed line depicts the cross-correlation without theta-modulation. The gray region indicates small ( $t < 20$ ms) time lags. (D) Same as in (C), but zoomed in. Note that the first peak of the theta modulation is at a positive non-zero time lag, reflecting phase precession. The dashed black curve shows the approximation of the cross-correlation for the analytical treatment (Materials and methods, Equation 17). (E) Synaptic learning window. The gray region indicates the region in which the learning window is large, and this region is also indicated in (C) and (D). Positive time lags correspond to postsynaptic activity following presynaptic activity. Parameters for all plots: $T_{i j} = 0.3$ s, $ω = 2 π \cdot 10$ Hz, $σ = 0.3$ s, $τ = 10$ ms, $μ = 1$ , $c = 0.042$ , $A = 10$ .

Therefore, a classical Hebbian weight change is symmetric, that is, $Δ w_{i j} - Δ w_{j i} = 0$ . This result can be generalized to learning rules that are based on the product of two arbitrary functions of the firing rates. We note that, although not suited for temporal-order learning, Hebbian rules are able to achieve more general ‘sequence learning’, where an association between sequence elements is created — independent of the order of events. To become sensitive to temporal order, we use spike-timing dependent plasticity (STDP; Markram et al., 1997; Bi and Poo, 1998). For STDP, average weight changes depend on the cross-correlation function of the firing rates (example in Figure 2C,D),

C_{i j} (t) := \int_{- \infty}^{\infty} d t^{'} f_{i} (t^{'}) f_{j} (t^{'} + t),

which is anti-symmetric: $C_{i j} (t) = C_{j i} (- t)$ . Assuming additive STDP, that is, weight changes resulting from pairs of pre- and postsynaptic action potentials are added, the average synaptic weight change $Δ w_{i j}$ between the two cells in a sequence can then be calculated explicitly (Kempter et al., 1999):

Δ w_{i j} = \int_{- \infty}^{+ \infty} d t W (t) C_{i j} (t)

where $W$ is the STDP learning window (example in Figure 2E). We aim solve Equation 1 for given firing rates f_i and f_j. To do so, we assume that the synaptic weight $w_{i j}$ is generally small and thus only has a weak impact on the cross-correlation of the cells during encoding, that is, for the ‘encoding’ of a sequence the cross-correlation function is dominated by feedforward input, whereas the recurrent inputs are neglected.

Next, let us show that the symmetry of $W$ is essential for temporal-order learning. Any learning window $W$ can be split up into an even part $W^{even}$ , with $W^{even} (t) = W^{even} (- t)$ , and an odd part $W^{odd}$ , with $W^{odd} (t) = - W^{odd} (- t)$ , such that $W = W^{even} + W^{odd}$ . For even learning windows, one can derive from Equation 1 and the anti-symmetry of $C_{i j}$ that weight changes are symmetric, that is, $Δ w_{i j} = Δ w_{j i}$ ; therefore, only the odd part $W^{odd}$ of $W$ is useful for learning temporal order.

To further explore requirements for encoding the temporal order of a sequence of events, we restrict our analysis to odd learning windows. We then can relate the weight change $Δ w_{i j}$ to the essential features of $C_{i j} (t)$ . To do so, we integrate Equation 1 by parts (with $W$ replaced by $W^{odd}$ ),

Δ w_{i j} = \underset{= 0}{\underset{⏟}{{[\bar{W^{odd}} (t) \cdot C_{i j} (t)]}_{- \infty}^{+ \infty}}} + \int_{- \infty}^{+ \infty} d t [- \bar{W^{odd}} (t)] C_{i j}^{'} (t),

with the primitive $\bar{W^{odd}} (t) := \int_{- \infty}^{t} d t^{'} W^{odd} (t^{'})$ and the derivative $C_{i j}^{'} (t) := \frac{d}{d t} C_{i j} (t)$ . Because $\bar{W^{odd}} (t)$ can be assumed to have finite support (note that $\int_{- \infty}^{+ \infty} d t W^{odd} (t) = 0$ ), the first term in Equation 2 vanishes. Also the learning window has finite support, and therefore we can restrict the integral in the second term in Equation 2 to a finite region of width $K$ around zero:

Δ w_{i j} = \int_{| t | < K} d t [- \bar{W^{odd}} (t)] C_{i j}^{'} (t)

where $K$ describes the width of the learning window $W$ (gray region in Figure 2E). The integral in Equation 3 can be interpreted as the cross-correlation’s slope around zero, weighted by the symmetric function $- \bar{W^{odd}} (t)$ ; interestingly, features of $C_{i j}$ for $| t | ≫ K$ , for example whether side lobes of the correlation function are decreasing or not, are irrelevant.

As a generic example of sequence learning, let us consider the activities of two cells $i$ and $j$ that encode two behavioral events, for example the traversal of two place fields of two hippocampal place cells. In general, the cells’ responses to these events are called ‘firing fields’. We model these firing fields as two Gaussian functions $G_{0, σ}$ and $G_{T_{i j}, σ}$ that have the same width $σ$ but different mean values 0 and $T_{i j}$ (we note that $T_{i j}$ and $σ$ are measured in units of time, that is, seconds; Figure 2A, dashed curves). In this case of identical Gaussian shapes of the two firing fields, the cross-correlation $C_{i j} (t)$ is also a Gaussian function, denoted by $G_{T_{i j}, \sqrt{2} σ}$ , but with mean $T_{i j}$ and width $\sqrt{2} σ$ (dashed curve in Figure 2C). The value $σ = 0.3$ s, which we use in the example of Figure 2, matches experimental findings on place cells (O'Keefe and Recce, 1993; Geisler et al., 2010).

It is widely assumed that phase precession facilitates temporal-order learning (Skaggs et al., 1996; Dragoi and Buzsáki, 2006; Schmidt et al., 2009), but it has never been quantitatively shown. To test this hypothesis and to calculate how much phase precession contributes to temporal-order learning, we consider Gaussian firing fields that exhibit oscillatory modulations with theta frequency $ω$ (Figure 2A, solid curves). The time-dependent firing rate of cell $i$ is described by $f_{i} (t) \propto G_{μ_{i}, σ} (t) {1 + \cos [ω (t - c μ_{i})]}$ , that is, a Gaussian that is multiplied by a sinusoidal oscillation; see also Equation 11 in Materials and methods. Phase precession occurs with respect to the population theta, which oscillates at a frequency of $(1 - c) ω$ that is slightly smaller than $ω$ , with a ‘compression factor’ $c$ that is usually small: $0 \leq c ≪ 1$ (Dragoi and Buzsáki, 2006; Geisler et al., 2010). This compression factor $c$ describes the average advance of the firing phase — from theta cycle to theta cycle — in units of the fraction of a theta cycle; $c$ thus determines the slope $ω c$ of phase precession (Figure 2B). A typical value is $c \approx π / (4 σ ω)$ , which accounts for ‘slope-size matching’ of phase precession (Geisler et al., 2010); that is, $c$ is inversely proportional to the field size $L := 4 σ$ of the firing field, and the total range of phase precession within the firing field is constant and equals $π \equiv 180^{\circ}$ . If there are multiple theta oscillation cycles within a firing field ( $ω σ ≫ 1$ ), which is typical for place cells, the cross-correlation $C_{i j} (t)$ is a theta modulated Gaussian (solid curve in Figure 2C; see also Equation 15 in Materials and methods).

The generic shape of the cross-correlation $C_{i j}$ in Figure 2C allows for an advanced interpretation of Equation 3, which critically depends on the width $K$ of the learning window $W$ . We distinguish here two limiting cases: narrow learning windows ( $K ≪ 1 / ω ≪ σ$ ), that is, the width $K$ of the learning window is much smaller than a theta cycle and the width of a firing field, and wide learning windows ( $K ≫ σ$ ), that is, the width $K$ of the learning window exceeds the width of a firing field. Let us first consider narrow learning windows. Only later in this manuscript, we will turn to the case of wide learning windows.

Dependence of temporal-order learning on the overlap of firing fields for narrow learning windows ( $K ≪ 1 / ω ≪ σ$ )

We first show formally that sequence learning with narrow learning windows requires that the two firing fields do overlap, that is, their separation $T_{i j}$ should be less than or at least similar to the width $σ$ of the firing fields. In Equation 3, which was derived for odd learning windows, the weight change $Δ w_{i j}$ is determined by $C_{i j}^{'} (t)$ around $t = 0$ in a region of width $K$ . For narrow learning windows ( $K ≪ 1 / ω$ ), this region is small compared to a theta oscillation cycle and much smaller than the width $σ$ of a firing field. Because the envelope of the cross-correlation $C_{i j} (t)$ is a Gaussian with mean $T_{i j}$ and width $\sqrt{2} σ$ , the slope $C_{i j}^{'} (t = 0)$ scales with the Gaussian factor $G_{T_{i j}, \sqrt{2} σ} (0) \propto \exp [- T_{i j}^{2} / (4 σ^{2})]$ . The weight change $Δ w_{i j}$ therefore strongly depends on the separation $T_{i j}$ of the firing fields. When the two firing fields do not overlap ( $T_{i j} ≫ σ$ ), the factor $\exp [- T_{i j}^{2} / (4 σ^{2})]$ quickly tends to zero, and sequence learning is not possible. On the other hand, when the two firing fields do have considerable overlap ( $T_{i j} ≲ σ$ ) we have $\exp [- T_{i j}^{2} / (4 σ^{2})] ≲ 1$ . In this case, sequence learning may be feasible with narrow learning windows. In this section, we will proceed with the mathematical analysis for overlapping fields, which allows us to assume $\exp [- T_{i j}^{2} / (4 σ^{2})] \approx 1$ .

For overlapping firing fields ( $T_{i j} ≲ σ$ ), let us now consider the fine structure of the cross-correlation $C_{i j} (t)$ for $| t | < K$ , as illustrated in Figure 2D. Importantly, phase precession causes the first positive peak (i.e. for $t > 0$ ) of $C_{i j}$ to occur at time $c T_{i j}$ with $c ≪ 1$ (Dragoi and Buzsáki, 2006; Geisler et al., 2010); phase precession also increases the slope $C_{i j}^{'} (t)$ around $t = 0$ , which could be beneficial for temporal-order learning according to Equation 3. To quantify this effect, we calculated the cross-correlation’s slope at $t = 0$ (see also Equation 18 in Materials and methods):

C_{i j}^{'} (0) \propto G_{T_{i j}, \sqrt{2} σ} (0) [\frac{T_{i j}}{σ} + ω σ \sin (ω c T_{i j}) + \frac{T_{i j}}{2 σ} \cos (ω c T_{i j})] .

How does $C_{i j}^{'} (0)$ depend on the temporal separation $T_{i j}$ of the firing fields? If the two fields overlap entirely ( $T_{i j} = 0$ ) the sequence has no defined temporal order, and thus $C_{i j}^{'} (0)$ is zero. For at least partly overlapping firing fields ( $T_{i j} ≲ σ$ ) and typical phase precession where $c = π / (4 ω σ) ≪ 1$ , we will show in the next paragraph (and explain in Materials and methods in the text below Equation 18) that the second addend in Equation 4 dominates the other two. In this case, $C_{i j}^{'} (0)$ is much higher as compared to the cross-correlation slope in the absence of phase precession ( $c = 0$ ), leading to a clearly larger synaptic weight change for phase precession. The maximum of $C_{i j}^{'} (0)$ is mainly determined by this second addend (multiplied by $G_{T_{i j}, \sqrt{2} σ} (0)$ ) and it can be shown (see Materials and methods) that this maximum is located near $T_{i j} \approx \sqrt{2} σ$ .

The increase of $C_{i j}^{'} (0)$ induced by phase precession can be exploited by learning windows $W$ that are narrower than a theta cycle (e.g. gray regions in Figure 2C,D,E). To quantify this effect, let us consider a simple but generic shape of a learning window, for example, the odd STDP window $W (t) = μ sign (t) \exp (- | t | / τ)$ with time constant $τ$ and learning rate $μ > 0$ (Figure 2E); this STDP window is narrow for $τ ≪ 1 / ω$ . Equations 3 and 4 then lead to (see Materials and methods, Equation 19) the average weight change

Δ w_{i j} = A^{2} μ τ^{2} \frac{G_{T_{i j}, \sqrt{2} σ} (0)}{σ} [\frac{T_{i j}}{σ} + \frac{ω σ \sin (ω c T_{i j})}{1 + ω^{2} τ^{2}} + \frac{T_{i j}}{2 σ} \cos (ω c T_{i j}) \cdot \frac{1 - ω^{2} τ^{2}}{(1 + ω^{2} τ^{2})^{2}}]

where $A$ depicts the number of spikes per field traversal. Note that, according to Equation 3, the weight change $Δ w_{i j}$ in Equation 5 can be interpreted as a time-averaged version of $C_{i j}^{'} (t)$ near $t = 0$ from Equation 4. Thus, Equations 4 and 5 have a similar structure, but Equation 5 includes multiple incidences of the term $ω^{2} τ^{2}$ that account for this averaging. This term is small for narrow learning windows ( $τ ≪ 1 / ω$ ) and can thus be neglected ( $ω^{2} τ^{2} ≪ 1$ ) in this limiting case; however, for typical biological values of $τ \geq 10$ ms and $ω = 2 π \cdot 10$ Hz, the peculiar structure of the $ω^{2} τ^{2}$ -containing factor in the third addend in the square brackets is the reason why this addend can be neglected compared to the first one; as a result, the cases of ‘phase locking’ ( $c = 0$ ) and ‘no theta’ (only the first addend remains) are basically indistinguishable. Moreover, for narrow odd learning windows, $Δ w_{i j}$ in Equation 5 inherits a number of properties from $C_{i j}^{'} (0)$ in Equation 4: the second addend still remains the dominant one for $T_{i j} ≲ σ$ ; inherited are also the absence of a weight change for fully overlapping fields ( $Δ w_{i j} = 0$ for $T_{i j} = 0$ ), the maximum weight change for $T_{i j} \approx \sqrt{2} σ$ , and $Δ w_{i j} \to 0$ for $T_{i j} \to \infty$ (Figure 3A). Furthermore, the prefactor $A^{2} μ τ^{2}$ in Equation 5 suggests that the average weight change increases with increasing width $τ$ of the learning window, but we emphasize that this increase is restricted to $τ ≪ 1 / ω$ (as we assumed for the derivation), which prohibits a generalization of the quadratic scaling to large $τ$ ; the exact dependence on $τ$ will be explained later.

Figure 3

Download asset Open asset

Temporal-order learning for narrow learning windows ( $τ ≪ \frac{1}{ω}$ ).

(A) The average synaptic weight change $Δ w_{i j}$ depends on the temporal separation $T_{i j}$ between the firing fields. Phase precession (blue) yields higher weight changes than phase locking (red). Simulation results (circles, averaged across 10⁴ repetitions) and analytical results (lines, Equation 5) match well. The vertical lines mark time lags of $σ$ and $4 σ$ , respectively, where $4 σ$ approximates the total field width. (B) The benefit $B$ of phase precession is determined by the ratio of the average weight changes of two scenarios from (A). The solid and dashed lines depict the analytical expression for the benefit (Equation 20) and its approximation for small $T_{i j}$ (Equation 7), respectively. (C) Signal-to-noise ratio (SNR) of the weight change as a function of the firing-field separation $T_{i j}$ . The SNR is defined as the mean weight change divided by the standard deviation across trials in the simulation. Colors as in (A). Parameters for all plots: $ω = 2 π \cdot 10$ Hz, $σ = 0.3$ s, $τ = 10$ ms, $μ = 1$ , $c = 0.042$ , $A = 10$ .

To quantify how much better a sequence can be learned with phase precession as compared to phase locking, we use the ratio of the weight change $Δ w_{i j}$ with phase precession ( $c > 0$ ) and the weight change $Δ w_{i j} (c = 0)$ without phase precession (Figure 3A), and define the benefit $B$ of phase precession as

B := \frac{Δ w_{i j}}{Δ w_{i j} (c = 0)} - 1 .

By inserting Equation 5 in Equation 6, we can explicitly calculate the benefit $B$ of phase precession (see Equation 20 in Materials and methods and solid line in Figure 3B). For $T_{i j} ≲ σ$ and $ω^{4} τ^{4} ≪ 1$ (see Materials and methods) the benefit $B$ is well approximated by a Taylor expansion up to third order in $T_{i j}$ (dashed line in Figure 3B),

B \approx \frac{2}{3} ω^{2} σ^{2} c [1 - (\frac{c}{4 σ^{2}} \cdot \frac{1 - ω^{2} τ^{2}}{1 + ω^{2} τ^{2}} + \frac{1}{6} ω^{2} c^{2}) T_{i j}^{2}] .

The maximum of $B$ as a function of $T_{i j}$ is obtained for $T_{i j} = 0$ (fully overlapping fields), but the average weight change $Δ w_{i j}$ is zero at this point. We note, however, that $B$ decays slowly with increasing $T_{i j}$ , so $B (T_{i j} = 0)$ can be used to approximate the benefit for small field separations $T_{i j}$ (i.e. largely overlapping fields). For narrow ( $ω τ ≪ 1$ ) odd STDP windows and slope-size matching ( $ω σ c = π / 4$ ), we find the maximum $B_{max} \approx ω σ / 2$ , which has an interesting interpretation: If we relate $σ$ to the field size $L$ of a Gaussian firing field through $L = 4 σ$ and if we relate the frequency $ω$ to the period $T_{θ}$ of a theta oscillation cycle through $T_{θ} = 2 π / ω$ , we obtain $B_{max} \approx 0.82 L / T_{θ}$ , that is, the maximum benefit of phase precession is about the number of theta oscillation cycles in a firing field. The example in Figure 3B (with firing fields in Figure 2A) has the maximum benefit $B_{max} \approx 10$ and the benefit remains in this range for partly overlapping firing fields ( $0 < T_{i j} ≲ σ$ ). We thus conclude that phase precession can boost temporal-order learning by about an order of magnitude for typical cases in which learning windows are narrower than a theta oscillation cycle and overlapping firing fields are an order of magnitude wider than a theta oscillation cycle.

So far, we have considered ‘average’ weight changes that resulted from neural activity that was described by a deterministic firing rate. However, neural activity often shows large variability, that is, different traversals of the same firing field typically lead to very different spike trains. To account for such variability, we have simulated neural activity as inhomogeneous Poisson processes (see Materials and methods for details). As a result, the change of the weight of a synapse, which depends on the correlation between spikes of the presynaptic and the postsynaptic cells, is a stochastic variable. It is important to consider the variability of the weight change (‘noise’) in order to assess the significance of the average weight change. For this reason, we utilize the signal-to-noise ratio (SNR), that is, the mean weight change divided by its standard deviation (see Materials and methods for details). To do so, we perform stochastic simulations of spiking neurons and calculate the average weight change and its variability across trials. This is done for phase-precessing as well as phase-locked activity. To connect this approach to our previous results, we confirm that the average weight changes estimated from many fields traversals matches well the analytical predictions (Figure 3A and B, see Materials and methods for details).

The SNR shown in Figure 3C summarizes how reliable is the learning signal in a single traversal of the two firing fields — for the assumed odd learning window. The SNR further depends on $T_{i j}$ and follows a similar shape as the weight changes in Figure 3A. For phase precession, there is a maximum SNR that is slightly shifted to larger $T_{i j}$ ; for phase locking, SNR is always much lower. For the synapse connecting two cells with firing fields as in Figure 2A where $T_{i j} = σ$ , we find an SNR of 0.27, which is insufficient for a reliable representation of a sequence.

To allow reliable temporal-order learning, one possible solution is to increase the number of spikes per field traversal $A$ ( $SNR \propto \sqrt{A}$ , as shown in Appendix 1). Another possibility is to increase the number of synapses. In Materials and methods we show that $SNR \propto \sqrt{M}$ where $M$ is the number of identical and uncorrelated synapses. Therefore, to achieve $SNR ≳ 1$ for $A = 10$ , one needs $M ≳ 14$ synapses.

In summary, for narrow, odd learning windows ( $τ ≪ 1 / ω ≪ σ$ ), temporal-order learning could benefit tremendously from phase precession as long as firing fields have some overlap. Average weight changes and the SNR are highest, however, for clearly distinct but still overlapping firing fields. It should be noted that any even component of the learning window would increase the noise and thus further decrease the SNR.

Dependence of temporal-order learning on the width of the learning window for overlapping firing fields

To investigate how temporal-order learning for an odd learning window depends on its width, we vary the parameter $τ$ and quantify the average synaptic weight change $Δ w_{i j}$ and the SNR both analytically and numerically. We first study overlapping firing fields (Figure 4) and later consider non-overlapping firing fields (Figure 5).

Figure 4

Download asset Open asset

Effect of the learning-window width on temporal-order learning for overlapping fields (here: $T_{i j} = σ$ ).

(A) Average weight change $Δ w_{i j}$ as a function of width $τ$ (for the asymmetric window $W$ in Equation 14) for phase precession and phase locking (colored curves). The solid black line depicts the theoretical maximum for large $τ$ ( $Δ w_{i j} \approx 52$ , Equation 8). The dashed curves show the analytical small-tau approximations (Equation 5). The dotted curve depicts the analytical approximation for the ’no theta’ case (Equation A2-46 in Appendix 2). The vertical dashed lines mark $1 / ω \approx 0.016$ s and the value of $σ = T_{i j} = 0.3 s$ , respectively. (B) The benefit $B$ of phase precession is largest for narrow learning windows, and it approaches 0 for wide windows. Simulations (gray line) and analytical result (black line, small-tau approximation from Equation 20) match well. (C) The signal-to-noise ratio (SNR; phase precession: blue, phase locking: red, no theta: cyan) takes into account that only the asymmetric part of the learning window is helpful for temporal-order learning. For large $τ$ , all three coding scenarios induce the same SNR. The horizontal dashed black line depicts the analytical limit of the SNR for large $τ$ and overlapping firing fields ( $SNR \approx 1.6$ , Equation A1-17 of Appendix 1). The dotted black line depicts the analytical expression for the ’no theta’ case (Equation A2-48 in Appendix 2, the curve could not be plotted for $τ ≲ 0.1$ s due to numerical instabilities). Dots represent the SNR for experimentally observed learning windows. The learning windows were taken from ‘B&P’, Bi and Poo, 2001: their Figure 1, ‘F’, Froemke et al., 2005: their Figure 1D bottom, ‘W&W’, Wittenberg and Wang, 2006: their Figure 3, ‘P&G’, Pfister and Gerstner, 2006: their Table 4, ‘All to All’, ‘minimal model’, and ‘B’, Bittner et al., 2017: their Figure 3D. For ‘B&P’, ‘F’, and ‘B’, the position of the dots on the horizontal axis was estimated as the average time constants for positive and negative lobes of the learning windows. Wittenberg and Wang modeled their learning rule by a difference of Gaussians — we approximated the corresponding time constant as 30 ms. For the triplet rule by Pfister and Gerstner, we used the average of three time constants: the two pairwise-interaction time constants (as in Bi and Poo) and the triplet-potentiation time constant. Parameters for all plots: $T_{i j} = 0.3$ s, $ω = 2 π \cdot 10$ Hz, $σ = 0.3$ s, $c = 0.042$ , $A = 10$ , $μ = 1$ . Colored/gray curves and dots are obtained from stochastic simulations; see Materials and methods for details.

Figure 5

Download asset Open asset

Temporal-order learning for non-overlapping firing fields using wide, asymmetric learning windows.

(A) Firing rates of two example cells with non-overlapping firing fields. (B) Cross-correlation $C_{i j}$ of the two cells from (A). (C) Asymmetric learning window with large width ( $τ = 5$ s). (D) Resulting weight change $Δ w_{i j}$ for wide learning window and non-overlapping firing fields. The solid gray line depicts the average weight change. The dashed gray lines represent ±1 standard deviation across 1000 repetitions of stochastic spiking simulations. The analytical curve (dashed black line, Equation 9) matches the simulation results. (E) SNR of the weight change. Results of the stochastic simulations are shown by the gray curve. The SNR saturates for larger $T_{i j}$ , which fits the analytical expectation (dashed black line, Equation 10). Parameters, unless varied in a plot: $T_{i j} = 6$ s, $σ = 0.3$ s, $τ = 5$ s, $μ = 1$ , $A = 10$ .

For partly overlapping firing fields (e.g. $T_{i j} = σ$ ), we find numerically that the average synaptic weight change $Δ w_{i j}$ (the ‘learning signal’) increases monotonically for increasing $τ$ and saturates (colored curves in Figure 4A). This is because for increasing $τ$ the overlap between the learning window and the cross-correlation function grows, and this overlap begins to saturate as soon as the learning window is wider than $T_{i j}$ , that is, the value at which the cross-correlation assumes its maximum (cmp. dashed curve in Figure 2C). To analytically calculate the saturation value of $Δ w_{i j}$ for large learning-window widths ( $τ ≫ σ$ ), we can approximate the learning window as a step function (see Materials and methods for details) and find the maximum

Δ w_{i j}^{\max} \approx A^{2} μ erf (\frac{T_{i j}}{2 σ})

that provides an upper bound to the weight change for overlapping firing fields (solid line in Figure 4A). For $τ ≲ 1 / ω$ (and actually well beyond this region), the analytical small-tau approximation of $Δ w_{i j}$ (Equation 5, dashed curves in Figure 4A) matches the numerical results well.

The results in Figure 4A confirm that $Δ w_{i j}$ is increased by phase precession for narrow learning windows but is independent of phase precession for $τ ≫ 1 / ω$ . Thus, the benefit $B$ becomes small for large $τ$ (Figure 4B) because, for large enough $τ$ , the theta oscillation completes multiple cycles within the width of the learning window. To better understand this behavior, let us return to Equation 1: if the product of a wide learning window and the cross-correlation $C_{i j}$ is integrated to obtain the weight change, the oscillatory modulation of the cross-correlation (e.g. as in Figure 2C) becomes irrelevant; similarly, according to Equation 3, the particular value of the derivative $C_{i j}^{'} (t)$ near $t = 0$ can be neglected. Consequently, for $τ ≫ 1 / ω$ phase precession and phase locking as well as the scenario of firing fields that are not theta modulated yield the same weight change (Figure 4A), and the benefit approaches 0 (Figure 4B). Wide learning windows thus ignore the temporal (theta) fine-structure of the cross-correlation.

How noisy is this learning signal $Δ w_{i j}$ across trials? Figure 4C shows that for odd learning windows the SNR increases with increasing $τ$ and, for $τ ≫ \frac{1}{ω}$ , approaches a constant value. This constant value is the same for phase precession, phase locking, or no theta oscillations at all. Taken together, for large enough $τ$ , the advantage of phase precession vanishes. For small enough $τ$ , phase precession increases the SNR, which confirms and generalizes the results in Figure 3C. Remarkably, the SNR for ‘phase locking’ is lower than the one for ‘no theta’, which means that theta oscillations without phase precession degrade temporal-order learning, even though theta oscillations as such were emphasized to improve the modification of synaptic strength in many other cases (e.g. Buzsáki, 2002; D'Albis et al., 2015).

Figure 4C predicts that a large $τ$ yields the biggest SNR, and thus wide learning windows are the best choice for temporal-order learning; however, we note that this conclusion is restricted to odd (i.e. asymmetric) learning windows. An additional even (i.e. symmetric) component of a learning window would increase the noise without affecting the signal, and thus would decrease the SNR (dots in Figure 4C). It is remarkable that the only experimentally observed instance of a wide window (with $τ \approx 1$ s in Bittner et al., 2017) has a strong symmetric component, which leads to a low SNR (dot marked ‘B’ in Figure 4C).

Taken together, we predict that temporal-order learning would strongly benefit from wide, asymmetric windows. However, to date, all experimentally observed (predominantly) asymmetric windows are narrow (e.g. Bi and Poo, 2001; Froemke et al., 2005; Wittenberg and Wang, 2006; see Abbott and Nelson, 2000; Bi and Poo, 2001 for reviews).

Temporal-order learning for wide learning windows ( $K ≫ σ$ )

We finally restrict our analysis to wide learning windows, which allows us then to also consider non-overlapping firing fields (Figure 5A, we again use two Gaussians with widths $σ$ and separation $T_{i j}$ ). To allow for temporal-order learning in this case, the spikes of two non-overlapping fields can only be ‘paired’ by a wide enough learning window. As already indicated in Figure 4, phase precession does not affect the weight change for such wide learning windows where the width $τ$ of the learning window obeys $τ ≫ 1 / ω$ (note that we always assumed many theta oscillation cycles within a firing field, that is, $1 / ω ≫ σ$ ). Furthermore, Figure 4 indicated that only the asymmetric part of the learning window contributes to temporal-order learning. For the analysis of temporal-order learning with non-overlapping firing fields and wide learning windows, we thus ignore any theta modulation and phase precession and evaluate, again, only the odd STDP window $W (t) = μ sign (t) \exp (- | t | / τ)$ . In this case, the weight change (Equation 1) is still determined by the cross-correlation function and the learning window (examples in Figure 5B,C). The resulting weight change $Δ w_{i j}$ as a function of the temporal separation $T_{i j}$ of firing fields is shown in Figure 5D: with increasing $T_{i j}$ , the weight $Δ w_{i j}$ quickly increases, reaches a maximum, and slowly decreases. The initial increase is due to the increasing overlap of the Gaussian bump in $C_{i j}$ with the positive lobe of the learning window. The decrease, on the other hand, is dictated by the time course of the learning window. For $τ ≫ σ$ , these two effects can be approximated by

Δ w_{i j} \approx A^{2} μ erf (\frac{T_{i j}}{2 σ}) \exp (- \frac{T_{i j}}{τ})

in which the error function describes the overlap of the cross-correlation with the learning window and the exponential term describes the decay of the learning window (dashed black curve in Figure 5D, see also Equation 25 in Materials and methods for details).

How does the SNR of the weight change depend on the separation $T_{i j}$ of firing fields? For $T_{i j} = 0$ , the signal is zero and thus also the SNR. As $T_{i j}$ increases, both signal and noise increase, but quickly settle on a constant ratio. The value of the SNR height of this plateau can be approximated by

SNR \approx \frac{A}{\sqrt{2 A + 1}}

(dashed line in Figure 5E), where $A$ is the number of spikes within a firing field (Equation 11). For $A = 10$ , we find $SNR \approx 2.2$ , allowing for temporal-order learning with a single synapse. We note that this conclusion is limited to asymmetric STDP windows. A symmetric component (like in Bittner et al., 2017) decreases the SNR and makes temporal-order learning less efficient.

Taken together, temporal-order learning can be performed with wide STDP windows, and phase precession does not provide any benefit; but temporal-order learning requires a purely asymmetric plasticity window. For non-overlapping firing fields, wide learning windows are essential to bridge a temporal gap between the fields.

Discussion

In this report, we show that phase precession facilitates the learning of the temporal order of behavioral sequences for asymmetric learning windows that are shorter than a theta cycle. To quantify this improvement, we use additive, pairwise STDP and calculate the expected weight change for synapses between two activated cells in a sequence. We confirm the long-held hypothesis (Skaggs et al., 1996) that phase precession bridges the vastly different time scales of the slow sequence of behavioral events and the fast STDP rule. Synaptic weight changes can be an order of magnitude higher when phase precession organizes the spiking of multiple cells at the theta time scale as compared to phase-locking cells.

Other mechanisms and models for sequence learning

As an alternative mechanism to bridge the time scales of behavioral events and the induction of synaptic plasticity, Drew and Abbott, 2006 suggested STDP and persistent activity of neurons that code for such events. The authors assume regularly firing neurons that slowly decrease their firing rate after the event and show that this leads to a temporal compression of the sequence of behavioral events. For stochastically firing neurons, this approach is similar to ours with two overlapping, unmodulated Gaussian firing fields. In this case, sequence learning is possible, but the efficiency can be improved considerably by phase precession.

Sato and Yamaguchi, 2003 as well as Shen et al., 2007 investigated the memory storage of behavioral sequences using phase precession and STDP in a network model. In computer simulations, they find that phase precession facilitates sequence learning, which is in line with our results. In contrast to these approaches, our study focuses on a minimal network (two cells), but this simplification allows us to (i) consider a biologically plausible implementation of STDP, firing fields, and phase precession and (ii) derive analytical results. These mathematical results predict parameter dependencies, which is difficult to achieve with only computer simulations.

Related to our work is also the approach by Masquelier and colleagues Masquelier et al., 2009 who showed that pattern detection can be performed by single neurons using STDP and phase coding, yet they did not include phase precession. They consider patterns in the input whereas, in our framework, it might be argued that patterns between input and output are detected instead.

Noisy activity of neurons and prediction of the minimum number of synapses for temporal-order learning

To account for stochastic spiking, we use Poisson neurons. We find that a single synapse is not sufficient to reliably encode a minimal two-neuron sequence in a single trial because the fluctuations of the weight change are too large. Fortunately, the SNR scales with $\sqrt{M A}$ , that is, the square root of the number $M$ of identical, but independent synapses and the number $A$ of spikes per field traversal of the neurons. For generic hippocampal place fields and typical STDP, we predict that about 14 synapses are sufficient to reliably encode temporal order in a single traversal. Interestingly, peak firing rates of place fields are remarkably high (up to 50 spikes/s; e.g. O'Keefe and Recce, 1993, Huxter et al., 2003). Taken together, in hippocampal networks, reliable encoding of the temporal order of a sequence is possible with a low number of synapses, which matches simulation results on memory replay (Chenkov et al., 2017).

Width, shape, and symmetry of the STDP window are critical for temporal-order learning

Various widths have been observed for STDP learning windows (Abbott and Nelson, 2000; Bi and Poo, 2001). We show that for all experimentally found STDP time constants phase precession can improve temporal-order learning. However, for learning windows much wider than a theta oscillation cycle, the benefit of phase precession for temporal-order learning is small. Wide learning windows, where the width can be even on a behavioral time scale of $\approx 1$ s (Bittner et al., 2017) or larger, could, on the other hand, enable the association of non-overlapping firing fields. Alternatively, non-overlapping firing fields might also be associated by narrow learning windows if additional cells (with firing fields that fill the temporal gap) help to bridge a large temporal difference, much like 'time cells' in the hippocampal formation (reviewed in Eichenbaum, 2014).

STDP windows typically have symmetric and asymmetric components (Abbott and Nelson, 2000; Mishra et al., 2016). We find that only the asymmetric component supports the learning of temporal order. In contrast, the symmetric component strengthens both forward and backward synapses by the same amount and thus contributes to the association of behavioral events independent of their temporal order. For example, the learning window reported by Bittner et al., 2017 shows only a mild asymmetry and is thus unfavorable to store the temporal order of behavioral events. Only long, predominantly asymmetric STDP windows would allow for effective temporal-order learning (Figure 4).

Generally, the shape of STDP windows is subject to neuromodulation; for example, cholinergic and adrenergic modulation can alter its polarity and symmetry (Hasselmo, 1999). Also dopamine can change the symmetry of the learning window (Zhang et al., 2009). Therefore, sequence learning could be modulated by the behavioral state (attention, reward, etc.) of the animal.

Key features of phase precession for temporal order-learning: generalization to non-periodic modulation of activity

For STDP windows narrower ( $≲ 10$ ms) than a theta cycle ( $≳ 100$ ms), we argue that the slope of the cross-correlation function at zero offset controls the change of the weight of the synapse connecting two neurons; and we show that phase precession can substantially increase this slope. This result predicts that features of the cross-correlation at temporal offsets that are larger than the width of the learning window are irrelevant for temporal-order learning. It is thus conceivable to boost temporal-order learning even without phase precession, which is weak if theta oscillations are weak, as for example in bats (Ulanovsky and Moss, 2007) and humans (Herweg and Kahana, 2018; Qasim et al., 2021). In this case, temporal-order learning may instead benefit from two other phenomena that could create an appropriate shape of the cross-correlation: (i) Spiking of cells is locked to common (aperiodic) fluctuations of excitability. (ii) Each cell responds the faster to an increase in its excitability the longer ago its firing field has been entered, which may be mediated by a progressive facilitation mechanism. Together, these phenomena can make the cross-correlation exhibit a steeper slope around zero and could even give rise to a local maximum at a positive offset. This temporal fine structure is superimposed on a slower modulation, which is related to the widths of the firing fields. In summary, a progressively decreasing delay of spiking with respect to non-rhythmic fluctuations in excitation generalizes the notion of phase precession. Interestingly, synaptic short-term facilitation, which could generate the described fine structure of the cross-correlation, has also been proposed as mechanism underlying phase precession (Leibold et al., 2008).

Model assumptions

In our model, we assumed that recurrent synapses (e.g. between neurons representing a sequence) are plastic but weak during encoding, such that they have a negligible influence on the postsynaptic firing rate; and that the feedforward input dominates neuronal activity. These assumptions seem justified as Hasselmo, 1999 indicated that excitatory feedback connections may be suppressed during encoding to avoid interference from previously stored information (see also Haam et al., 2018). Furthermore, neuromodulators facilitate long-term plasticity (reviewed, e.g. by Rebola et al., 2017), which also supports our assumptions.

The assumption of weak recurrent connections implies that these connections do not affect the dynamics. Consequently (and in contrast to Tsodyks et al., 1996), we thus hypothesize that phase precession is not generated by the local, recurrent network (see also, e.g. Chadwick et al., 2016); instead, we assume that phase precession is inherited from upstream feedforward inputs (Chance, 2012; Jaramillo et al., 2014) or generated locally by a cellular/synaptic mechanism (Magee, 2001; Harris et al., 2002; Mehta et al., 2002; Thurley et al., 2008). After temporal-order learning was successful, the resulting asymmetric connections could indeed also generate phase precession (as demonstrated by the simulations in Tsodyks et al., 1996), and this phase precession could then even be similar to the one that has initially helped to shape synaptic connections. Finally, inherited or local cellularly/synaptically generated phase precession and locally network-generated phase precession could interact (as reviewed, for example in Jaramillo and Kempter, 2017).

We assumed in our model that the widths of the two firing fields that represent two events in a sequence are identical (see, e.g. Figure 2A). But firing fields may have different widths, and in this case a slope-size matched phase precession would fail to reproduce the timing of spikes required for the learning of the correct temporal order of the two events. For example, the learned temporal order of events (timed according to field entry) would even be reversed if two fields with different sizes are aligned at their ends. How could the correct temporal order nevertheless be learned in our framework? In the hippocampus, theta oscillations are a traveling wave (Lubenov and Siapas, 2009; Patel et al., 2012) such that there is a positive phase offset of theta oscillations for the wider firing fields in the more ventral parts of the hippocampus. This traveling-wave phenomenon could preserve the temporal order in the phase-precession-induced compressed spike timing, as also pointed out earlier (Leibold and Monsalve-Mercado, 2017; Muller et al., 2018).

Our results on learning rules for sequence learning rely on pairwise STDP in which pairs of presynaptic and postsynaptic spikes are considered. Conversely, triplet STDP considers also motifs of three spikes (either 2 presynaptic - 1 postsynaptic or 2 postsynaptic - 1 presynaptic) (Pfister and Gerstner, 2006). Triplets STDP models can reproduce a number of experimental findings that pairwise STDP could not, for example the dependence on the repetition frequency of spike pairs (Sjöström et al., 2001). To investigate the influence of triplet interactions on sequence learning, we implemented the generic triplet rule by Pfister and Gerstner, 2006. We used their ‘minimal’ model, which was regarded as the best model in terms of number of free parameters and fitting error; for the parameters they obtained from fitting the triplet STDP model to hippocampal data, we found only mild differences to our results (see, e.g. Figure 4C). Differences are small because the fitted time constant of the triplet term (40 ms) is smaller than typical inter-spike intervals ( $≳ 50$ ms, minimum in field centers) in our simulations.

Replay of sequences and storage of multiple and overlapping sequences

A sequence imprinted in recurrent synaptic weights can be replayed during rest or sleep (Wilson and McNaughton, 1994; Nádasdy et al., 1999; Diba and Buzsáki, 2007; Peyrache et al., 2009; Davidson et al., 2009), which was also observed in network-simulation studies (Matheus Gauy et al., 2020; Malerba and Bazhenov, 2019; Gillett et al., 2020). Replay could thus be a possible readout of the temporal-order learning mechanism. However, replay depends on the many parameters of the network, and a thorough investigation of is beyond the scope of this manuscript. Therefore, we focus on synaptic weight changes that represent the formation of sequences in the network, which underlies replay, and we do not simulate replay.

We have considered the minimal example of a sequence of two neurons. Sequences can contain many more neurons, and the question arises how two different sequences can be told apart if they both contain a certain neuron, but proceed in different directions — as they might do for sequences of spatial or non-spatial events (Wood et al., 2000). In this case, it may be beneficial to not only strengthen synapses that connect direct successors in the sequence but also synapses that connect the second-to-next neuron. In this way, the two crossing sequences could be disambiguated, and the wider context in which an event is embedded becomes associated, which is in line with retrieved-context theories of serial-order memory (Long and Kahana, 2019). More generally, it is an interesting question of how many sequences can be stored in a network of a given size. Gillett et al., 2020 were able to analytically calculate the storage capacity for the storage of sequences in a Hebbian network.

In conclusion, our model predicts that phase precession enables efficient and robust temporal-order learning. To test this hypothesis, we suggest experiments that modulate the shape of the STDP window or selectively manipulate phase precession and evaluate memory of temporal order.

Materials and methods

Experimental design: model description

Request a detailed protocol

We model the time-dependent firing rate of a phase precessing cell $i$ (two examples in Figure 2A) as

f_{i} (t) = A \cdot G_{μ_{i}, σ} (t) \cdot {1 + \cos [ω (t - c μ_{i})]},

where the scaling factor $A$ determines the number of spikes per field traversal and $G_{μ_{i}, σ} (t) = 1 / (\sqrt{2 π} σ) \cdot \exp [- {(t - μ_{i})}^{2} / (2 σ^{2})]$ is a Gaussian function that describes a firing field with center at $μ_{i}$ and width $σ$ . The firing field is sinusoidally modulated with theta frequency $ω$ (but the sinusoidal modulation is not a critical assumption, see Discussion), with typically many oscillation cycles in a firing field ( $ω σ ≫ 1$ ). The compression factor $c$ can be used to vary between phase precession ( $c > 0$ ), phase locking ( $c = 0$ ), and phase recession ( $c < 0$ ) because the average population activity of many such cells oscillates at frequency of $(1 - c) ω$ (Geisler et al., 2010; D'Albis et al., 2015), which provides a reference frame to assign theta phases (Figure 2A). Usually, $| c | ≪ 1$ with typical values $c ≲ 1 / (σ ω)$ (Geisler et al., 2010); for a pair of cells with overlapping firing fields (centers separated by $T_{i j} := μ_{j} - μ_{i}$ ) the phase delay is $ω c T_{i j}$ (Figure 2B).

To quantify temporal-order learning, we consider the average weight change $Δ w_{i j}$ of the synapse from cell $i$ to cell $j$ , which is (Kempter et al., 1999)

Δ w_{i j} = \int_{- \infty}^{\infty} d t W (t) C_{i j} (t)

where $C_{i j} (t)$ is the cross-correlation between the firing rates f_i and f_j of cells $i$ and $j$ , respectively (Figure 2C,D):

C_{i j} (t) = \int_{- \infty}^{\infty} d t^{'} f_{i} (t^{'}) f_{j} (t + t^{'}) .

$W (t)$ denotes the synaptic learning window, for example the asymmetric window

W (t) = μ {\begin{cases} + \exp (- t / τ), & t \geq 0 \\ - \exp (+ t / τ), & t < 0, \end{cases}

where $τ$ is the time constant and $μ > 0$ is the learning rate (Figure 2E).

For the following calculations, we make two assumptions that are reasonable in the hippocampal formation (O'Keefe and Recce, 1993; Bi and Poo, 2001; Geisler et al., 2010) :

The theta oscillation has multiple cycles within the Gaussian envelope of the firing field in Equation 11 ( $1 / ω ≪ σ$ ).
The window $W$ is short compared to the theta period ( $τ ≪ 1 / ω$ ).

Analytical approximation of the cross-correlation function

Request a detailed protocol

To explicitly calculate the cross-correlation $C_{i j} (t)$ as defined in Equation 13, we plug in the firing-rate functions (Equation 11) for the two neurons:

\begin{array}{ll} C_{i j} (t) & = \int_{- \infty}^{\infty} d t^{'} A \cdot G_{0, σ} (t^{'}) \cdot [1 + \cos (ω t^{'})] \cdot A \cdot G_{T_{i j}, σ} (t + t^{'}) \cdot {1 + \cos [ω (t + t^{'} - c T_{i j})]} \\ = A^{2} \int_{- \infty}^{\infty} d t^{'} {G_{0, σ} (t^{'}) G_{T_{i j}, σ} (t + t^{'}) \\ + G_{0, σ} (t^{'}) G_{T_{i j}, σ} (t + t^{'}) \cos (ω t^{'}) \\ + G_{0, σ} (t^{'}) G_{T_{i j}, σ} (t + t^{'}) \cos [ω (t + t^{'} - c T_{i j})] \\ + G_{0, σ} (t^{'}) G_{T_{i j}, σ} (t + t^{'}) \cos (ω t^{'}) \cos [ω (t + t^{'} - c T_{i j})]} . \end{array}

The first term (out of four) describes the cross-correlation of two Gaussians, which results in a Gaussian function centered at $T_{i j}$ and with width $σ \sqrt{2}$ . For the second term, we note that the product of two Gaussians yields a function proportional to a Gaussian with width $σ / \sqrt{2}$ , and then use assumption (i). When integrated, the second term’s contribution to $C_{i j} (t)$ is negligible because the cosine function oscillates multiple times within the Gaussian bump, that is, positive and negative contributions to the integral approximately cancel. The same argument applies to the third term. For the fourth term, we use the trigonometric property $\cos (α) \cdot \cos (β) = \frac{1}{2} (\cos (α + β) + \cos (α - β))$ . We set $α = ω t^{'}$ , $β = ω (t + t^{'} - c T_{i j})$ and find

\begin{array}{ll} G_{0, σ} (t^{'}) G_{T_{i j}, σ} (t + t^{'}) \cos (ω t^{'}) \cos [ω (t + t^{'} - c T_{i j})] \\ = & \frac{1}{2} G_{0, σ} (t^{'}) G_{T_{i j}, σ} (t + t^{'}) \cos [ω (t + 2 t^{'} - c T_{i j})] + \frac{1}{2} G_{0, σ} (t^{'}) G_{T_{i j}, σ} (t + t^{'}) \cos [ω (t - c T_{i j})] . \end{array}

Again, we use assumption (i) and neglect the first addend on the right-hand side. Notably, the cosine function in the second addend is independent of the integration variable $t^{'}$ . Taken together, we find

C_{i j} (t) \approx A^{2} G_{T_{i j}, σ \sqrt{2}} (t) {1 + \frac{1}{2} \cos [ω (t - c T_{i j})]} .

Thus, the cross-correlation can be approximated by a Gaussian function (center at $T_{i j}$ , width $σ \sqrt{2}$ ) that is theta modulated with an amplitude scaled by the factor $\frac{1}{2}$ .

To further simplify Equation 15, we note that the time constant $τ$ of the STDP window is usually small compared to the theta period (assumption (ii), Figure 2C,D,E). Structures in $C_{i j} (t)$ for $| t | ≫ τ$ thus have a negligible effect on the synaptic weight change. Therefore, we can focus on the cross-correlation for small temporal lags. In this range, we approximate the (slow) Gaussian modulation of $C_{i j} (t)$ (Figure 2C,D, dashed red line) by a linear function, that is,

\begin{array}{ll} G_{T_{i j}, \sqrt{2} σ} (t) & \approx \frac{d}{d t} G_{T_{i j}, \sqrt{2} σ} (t) |_{t = 0} \cdot t + G_{T_{i j}, \sqrt{2} σ} (0) \\ = G_{T_{i j}, \sqrt{2} σ} (0) (\frac{T_{i j}}{2 σ^{2}} \cdot t + 1) . \end{array}

Inserting this result in Equation 15, we approximate the cross-correlation function $C_{i j} (t)$ for $| t | ≲ τ$ as (Figure 2D, dashed black line)

C_{i j} (t) \approx A^{2} G_{T_{i j}, \sqrt{2} σ} (0) (\frac{T_{i j}}{2 σ^{2}} \cdot t + 1) [1 + \frac{1}{2} \cos (ω (t - c T_{i j}))] .

In the Results, we show that the slope of the cross-correlation function at $t = 0$ is important for temporal-order learning. From Equation 17 we find

C_{i j}^{'} (0) \approx \frac{A^{2} T_{i j}}{2 σ^{2}} G_{T_{i j}, \sqrt{2} σ} (0) [1 + ω σ ω c σ \frac{\sin (ω c T_{i j})}{ω c T_{i j}} + \frac{\cos (ω c T_{i j})}{2}],

which has three addends within the square brackets. Let us estimate the relative size of the second and third terms with respect to the first one. The third term is at most of the order of 0.5 because $| \cos (ω c T_{i j}) | \leq 1$ . For the second addend, we note that $\sin (ω c T_{i j}) / (ω c T_{i j})$ approaches 1 for $T_{i j} \to 0$ and remains in this range for $| ω c T_{i j} | ≲ π / 4$ . This condition is fulfilled for $| T_{i j} | ≲ σ$ if we assume slope-size matching of phase precession (Geisler et al., 2010), that is, $ω c σ \approx \frac{π}{4} \approx 0.79$ . Then, the size of the second addend is dictated by the factor $ω σ$ , which is large according to assumption (i). In other words, for typical phase precession and $| T_{i j} | ≲ σ$ , the second addend is much larger than the other two.

To further understand the structure of $C_{i j}^{'} (0)$ , which is also shaped by the prefactors in front of the square brackets, we first note that $C_{i j}^{'} (0)$ is zero for fully overlapping firing fields ( $T_{i j} \overset{}{\to} 0$ ). On the other hand, for very large field separations ( $T_{i j} ≫ σ$ ), the Gaussian term $G$ causes $C_{i j}^{'} (0)$ to become zero. The prefactors have a maximum at $| T_{i j} | = \sqrt{2} σ$ . The maximum’s exact location is slightly shifted by the second addend but remains near $\sqrt{2} σ$ . This peak will be important because it is inherited by the average weight change (Equation 3).

Average weight change

Request a detailed protocol

Having approximated the cross-correlation function and its slope at zero (Equations 17,18), we are now ready to calculate the average synaptic weight change (Equation 3) for the assumed STDP window (Equation 14). Standard integration methods yield

Δ w_{i j} = \frac{A^{2} μ τ^{2} T_{i j}}{σ^{2}} G_{T_{i j}, \sqrt{2} σ} (0) [1 + \frac{ω^{2} σ^{2} c}{ω^{2} τ^{2} + 1} \frac{\sin (ω c T_{i j})}{ω c T_{i j}} + \frac{(1 - ω^{2} τ^{2}) \cos (ω c T_{i j})}{2 (1 + ω^{2} τ^{2})^{2}}] .

Because $Δ w_{i j}$ is a temporal average of $C_{i j}^{'} (t)$ for small $t$ (see interpretation of Equation 3), the weight change’s structure resembles the previously discussed structure of $C_{i j}^{'} (0)$ . The averaging introduces additional factors proportional to $1 \pm ω^{2} τ^{2}$ , but for $ω τ ≪ 1$ [assumption (ii)] those have only minor effects on the relative size of the three addends. The second term still dominates. Importantly, $Δ w_{i j} = 0$ for $T_{i j} = 0$ and the position of the peak at $T_{i j} ≲ \sqrt{2} σ$ is inherited from $C_{i j}^{'} (0)$ (Figure 3A).

The benefit of phase precession

Request a detailed protocol

To quantify the benefit $B$ of phase precession, we consider the expression $Δ w_{i j} / Δ w_{i j} (c = 0) - 1$ , because $Δ w_{i j}$ describes the overall weight change (including phase precession), and $Δ w_{i j} (c = 0)$ serves as the baseline weight change due to the temporal separation of the firing fields (without phase precession). We subtract 1 to obtain $B = 0$ when the weight changes are the same with and without phase precession. From Equation 19 we find

B = \frac{2}{3} ω^{2} σ^{2} c \cdot \frac{\sin (ω c T_{i j})}{ω c T_{i j}} \cdot \frac{1 + ω^{2} τ^{2}}{1 + ω^{2} τ^{2} + \frac{2}{3} ω^{4} τ^{4}} + \frac{\cos (ω c T_{i j}) - 1}{3} \cdot \frac{1 - ω^{2} τ^{2}}{1 + ω^{2} τ^{2} + \frac{2}{3} ω^{4} τ^{4}} .

To better understand the structure of $B$ , we Taylor-expand it in $T_{i j}$ up to the third order and assume $ω^{4} τ^{4} ≪ 1$ [assumption (ii)]. The result is

B \approx \frac{2}{3} ω^{2} σ^{2} c [1 - (\frac{1}{6} ω^{2} c^{2} + \frac{c}{4 σ^{2}} \cdot \frac{1 - ω^{2} τ^{2}}{1 + ω^{2} τ^{2}}) T_{i j}^{2}] .

Thus, $B$ assumes a maximum for $T_{i j} = 0$ and slowly decays for small $T_{i j}$ (Figure 3B). Using slope-size matching ( $ω σ c = π / 4$ ), the maximal benefit is

B_{max} \approx \frac{π}{6} ω σ = \frac{π^{2}}{12} \frac{L}{T_{θ}} \approx 0.82 \frac{L}{T_{θ}},

where $L = 4 σ$ depicts the total field size and $T_{θ} = \frac{2 π}{ω}$ is the period of the theta oscillation. Thus, the number of theta cycles per firing field determines the benefit for small separations of the firing fields.

Average weight change for wide learning windows

Request a detailed protocol

In this paragraph we relax assumption (ii), that is, we consider wide asymmetric learning windows $W$ (Equation 14 with $τ ≫ σ$ ). Furthermore, we neglect any theta-oscillatory modulation of the firing fields in Equation 11 and, thus, $C_{i j}$ in Equation 15.

First, for non-overlapping fields ( $T_{i j} ≫ σ$ ), the learning window can be approximated to be constant near the peak of the Gaussian bump of $C_{i j}$ . We can thus rewrite Equation 1 as

Δ w_{i j} \approx W (T_{i j}) \int_{- \infty}^{\infty} C_{i j} (t) d t = A^{2} μ \exp (- \frac{T_{i j}}{τ}) .

Second, for overlapping fields ( $0 < T_{i j} ≲ σ$ ), the Gaussian bump of $C_{i j}$ partly lies on the negative lobe of $W$ . We can approximate $W (t) = sign (t)$ , and the average weight change in Equation 1 then reads

Δ w_{i j} \approx A^{2} μ erf (\frac{T_{i j}}{2 σ}) .

Combining the two limiting cases in Equations 23 and 24 yields

Δ w_{i j} \approx A^{2} μ erf (\frac{T_{i j}}{2 σ}) \exp (- \frac{T_{i j}}{τ}) .

Signal-to-noise ratio

Request a detailed protocol

To correctly encode the temporal order of behavioral events, the average weight change $Δ w_{i j}$ of a forward synapse needs to be larger than the average weight change $Δ w_{j i}$ of the corresponding backward synapse. We thus define the signal-to-noise ratio as

SNR = \frac{Δ w_{i j} - Δ w_{j i}}{std (Δ w_{i j}^{k}) + std (Δ w_{j i}^{k})},

where std() denotes the standard deviation and $Δ w_{i j}^{k}$ , $Δ w_{j i}^{k}$ are the weight changes for trial $k \in [1, N]$ , the averages across trials being $Δ w_{i j} = {⟨ Δ w_{i j}^{k} ⟩}_{k}$ and $Δ w_{j i} = {⟨ Δ w_{j i}^{k} ⟩}_{k}$ . This expression for the SNR ‘punishes’ the non-sequence-specific strengthening of backward synapses. Specifically, $SNR = 0$ for a symmetric (even) learning window, because the numerator (which represents the ‘signal’) is zero. On the other hand, a perfectly asymmetric learning window, like the one used throughout this study (Equation 14), yields $SNR = \frac{Δ w_{i j}}{std (Δ w_{i j}^{k})}$ , because $Δ w_{i j}^{k} = - Δ w_{j i}^{k}$ . Asymmetric learning windows thus recover the classical definition of the SNR as the ratio between the average weight change and the standard deviation of the weight change.

We note that the generalized definition above can be used to calculate the SNR for arbitrary windows, such as the learning window from Bittner et al., 2017, Figure 4C.

Assuming an asymmetric window and $M$ uncorrelated synapses with the same mean and variance of the weight change, we can write the signal-to-noise ratio as

SNR = \frac{M \cdot Δ w_{i j}}{\sqrt{var (\sum_{k = 1}^{M} Δ w_{i j}^{k})}} = \sqrt{M} \frac{Δ w_{i j}}{std (Δ w_{i j}^{k})},

because the variance of the sum can be decomposed into the sum of variances and covariances. All covariances are zero because synapses are uncorrelated. This leaves a sum of $M$ variances, which are identical. Therefore, the standard deviation, and consequently also the SNR, scale with $\sqrt{M}$ .

Numerical simulations

Request a detailed protocol

To numerically simulate the synaptic weight change, spikes were generated by inhomogeneous Poisson processes with rate functions according to Equation 11. For every spike pair, the contribution to the weight change was calculated according to Equation 14. We repeated the simulations for $N = 10^{4}$ trials, and the mean weight change as well as the standard deviation across trials and the SNR were estimated. All simulations were implemented in Python 3.8 using the packages NumPy (RRID:SCR_008633) and SciPy (RRID:SCR_008058). Matplotlib (RRID:SCR_008624) was used for plotting; Inkscape (RRID:SCR_014479) was used for final adjustments to the Figures. The Python code is available at https://gitlab.com/e.reifenstein/synaptic-learning-rules-for-sequence-learning (Reifenstein and Kempter, 2021; copy archived at swh:1:rev:157c347a735a090f591a2b77a71b90d7de65bca5).

Appendix 1

The signal-to-noise ratio of $Δ w_{i j}$

A synapse with weight $w_{i j}$ is assumed to connect neuron $i$ to neuron $j$ . Here, we aim to derive the signal-to-noise ratio (SNR) of the weight changes $Δ w_{i j}$ , which is defined as (Materials and methods)

SNR = \frac{⟨ Δ w_{i j} ⟩ - ⟨ Δ w_{j i} ⟩}{std (Δ w_{i j}) + std (Δ w_{j i})} .

where $⟨ Δ w_{i j} ⟩$ is the average signal. The noise is described by the standard deviation of the weight change,

std (Δ w_{i j}) = \sqrt{var (Δ w_{i j})} = \sqrt{⟨ Δ w_{i j}^{2} ⟩ - {⟨ Δ w_{i j} ⟩}^{2}} .

Signal and noise are generated by additive STDP and spiking activity that is modeled by two inhomogeneous Poisson processes with rates $f_{i} (t)$ and $f_{j} (t)$ that have finite support. The average weight change is calculated by $⟨ Δ w_{i j} ⟩ = \int d t W (t) C_{i j} (t)$ where $W (t)$ is the synaptic learning window and $C_{i j} (t)$ depicts the cross-correlation function $C_{i j} (t) = \int d t^{'} f_{i} (t^{'}) f_{j} (t^{'} + t)$ . From Kempter et al., 1999, we use

\begin{array}{ll} ⟨ Δ w_{i j}^{2} ⟩ (t) = - Δ w_{i j} (t_{0})^{2} + 2 Δ w_{i j} (t_{0}) ⟨ Δ w_{i j} ⟩ (t) + \int_{t_{0}}^{t} d t^{'} \int_{t_{0}}^{t} d u \\ {⟨ S_{i} (t^{'}) S_{i} (u) ⟩ (w^{in})^{2} + ⟨ S_{j} (t^{'}) S_{j} (u) ⟩ (w^{out})^{2} + ⟨ S_{i} (t^{'}) S_{j} (u) ⟩ 2 w^{in} w^{out} \\ + 2 \int d s W (s) (⟨ S_{i} (t^{'}) S_{i} (u + s) S_{j} (u) ⟩ w^{in} + ⟨ S_{j} (t^{'}) S_{i} (u + s) S_{j} (u) ⟩ w^{out}) \\ + \int d s \int d v W (s) W (v) ⟨ S_{i} (t^{'} + s) S_{i} (u + v) S_{j} (t^{'}) S_{j} (u) ⟩}, \end{array}

where $S_{i} (t) = \sum_{n} δ (t - t_{i}^{(n)})$ and $S_{j} (t) = \sum_{n} δ (t - t_{j}^{(n)})$ are the presynaptic and postsynaptic spike trains, respectively. To simplify, we set $t_{0} = - \infty$ and $Δ w_{i j} (t_{0}) = 0$ . Furthermore, we are interested in paired STDP and thus set $w^{in} = w^{out} = 0$ . For $⟨ Δ w_{i j}^{2} ⟩ = {lim}_{t \to \infty} ⟨ Δ w_{i j}^{2} ⟩ (t)$ , Equation A1-2 reduces to

⟨ Δ w_{i j}^{2} ⟩ = \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int d s \int d v W (s) W (v) ⟨ S_{i} (t^{'} + s) S_{i} (u + v) S_{j} (t^{'}) S_{j} (u) ⟩ .

Because both spike trains are drawn from different Poisson processes, $S_{i}$ and $S_{j}$ are statistically independent, and therefore we can simplify

⟨ S_{i} (t^{'} + s) S_{i} (u + v) S_{j} (t^{'}) S_{j} (u) ⟩ = ⟨ S_{i} (t^{'} + s) S_{i} (u + v) ⟩ ⟨ S_{j} (t^{'}) S_{j} (u) ⟩ .

Moreover, in a spike train the spikes at different times are uncorrelated,

⟨ S_{i} (t^{'} + s) S_{i} (u + v) ⟩ = ⟨ S_{i} (t^{'} + s) ⟩ ⟨ S_{i} (u + v) ⟩ + ⟨ S_{i} (t^{'} + s) ⟩ δ (t^{'} + s - u - v)

and

⟨ S_{j} (t^{'}) S_{j} (u) ⟩ = ⟨ S_{j} (t^{'}) ⟩ ⟨ S_{j} (u) ⟩ + ⟨ S_{j} (t^{'}) ⟩ δ (t^{'} - u) .

As $S_{i}$ and $S_{j}$ are realizations of inhomogeneous Poisson processes with rates $f_{i} (t)$ and $f_{j} (t)$ , respectively, we find

⟨ S_{i} (t^{'} + s) S_{i} (u + v) ⟩ = f_{i} (t^{'} + s) f_{i} (u + v) + f_{i} (t^{'} + s) δ (t^{'} + s - u - v)

and

⟨ S_{j} (t^{'}) S_{j} (u) ⟩ = f_{j} (t^{'}) f_{j} (u) + f_{j} (t^{'}) δ (t^{'} - u) .

We insert these expressions into Equation A1-3:

⟨ Δ w_{i j}^{2} ⟩ = \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int d s \int d v W (s) W (v) F (t^{'}, s, u, v)

where

F (t^{'}, s, u, v) = [f_{i} (t^{'} + s) f_{i} (u + v) + f_{i} (t^{'} + s) δ (t^{'} + s - u - v)] \cdot [f_{j} (t^{'}) f_{j} (u) + f_{j} (t^{'}) δ (t^{'} - u)] .

To explicitly calculate the SNR, we parameterize the firing rates as

f_{i} (t) = \frac{A}{\sqrt{2 π} σ} \exp (- \frac{t^{2}}{2 σ^{2}}) \cdot [1 + \cos (ω t)]

and

f_{j} (t) = \frac{A}{\sqrt{2 π} σ} \exp (- \frac{{(t - T_{i j})}^{2}}{2 σ^{2}}) \cdot [1 + \cos (ω (t - c T_{i j}))] .

See main text for definitions of symbols. Furthermore, we assume $W (s) = W^{odd} (s) + W^{even} (s)$ with

W^{odd} (s) = μ {\begin{cases} + \exp (- s / τ), & s \geq 0 \\ - \exp (+ s / τ), & s < 0, \end{cases}

(see Equation 14 in Materials and methods) and

W^{even} = λ \exp (- | s | / κ) .

In what follows we consider a limiting case of wide learning windows, for which we can explicitly calculate the SNR. The results obtained in this case match well to the numerical simulations for wide learning windows (Figures 4 and 5 in the main text).

Wide learning windows

For wide windows (formally: $τ \to \infty$ , $κ \to \infty$ ), we can approximate $W^{even} = λ$ and $W^{odd} (t) = μ sgn (t)$ and neglect the sinusoidal modulations of f_i and f_j in Equation A1-5 and A1-6; phase precession does not affect the SNR in this case.

The following calculations are similar for odd and even windows. We elaborate the calculations in detail for odd windows and use ‘±’ and ‘ $\mp$ ’ to include the similar calculations for even windows. The top symbol (‘+’ and ‘—’, respectively) corresponds to odd windows; the bottom symbol corresponds to even windows.

To start, we split the third and fourth integral in Equation A1-4 into positive and negative time lags $s$ and $v$ , respectively:

\begin{array}{ll} \frac{1}{μ^{2}} ⟨ Δ w_{i j}^{2} ⟩ (t) & = \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int d s \int d v s g n (s) s g n (v) F (t^{'}, s, u, v) \\ = \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u {\int_{0}^{\infty} d s \int_{0}^{\infty} d v F (t^{'}, s, u, v) \\ \mp \int_{0}^{\infty} d s \int_{- \infty}^{0} d v F (t^{'}, s, u, v) \\ \mp \int_{- \infty}^{0} d s \int_{0}^{\infty} d v F (t^{'}, s, u, v) \\ + \int_{- \infty}^{0} d s \int_{- \infty}^{0} d v F (t^{'}, s, u, v)} \end{array}

We rewrite $F$ as

\begin{array}{ll} F (t^{'}, s, u, v) = & \overset{(i)}{\overset{⏞}{f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) f_{j} (u)}} + \overset{(ii)}{\overset{⏞}{f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) δ (t^{'} - u)}} + \\ \underset{(iii)}{\underset{⏟}{f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) f_{j} (u)}} + \underset{(iv)}{\underset{⏟}{f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) δ (t^{'} - u)}}, \end{array}

which has four addends and occurs in four integrals in Equation A1-7. Thus, there are 16 terms we need to evaluate. We label these terms (1.i) to (1.iv) for the first integral, (2.i) to (2.iv) for the second integral and so on until (4.iv).

For the term (1.i) we find

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{0}^{\infty} d v f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) f_{j} (u) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{\infty} d u f_{j} (u) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{0}^{\infty} d v f_{i} (u + v) \\ = & \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] \int_{- \infty}^{\infty} d u f_{j} (u) [1 - e r f (\frac{u}{\sqrt{2} σ})] \\ = & \frac{A^{2}}{4} {\int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})]}^{2} \\ = & \frac{A^{2}}{4} {\int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) - \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) e r f (\frac{t^{'}}{\sqrt{2} σ})}^{2} . \end{array}

The first integral is $\int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) = A$ . The second integral can be solved by taking the derivative with respect to $T_{i j}$ :

\begin{aligned} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) e r f (\frac{t^{'}}{\sqrt{2} σ}) \\ = & \int d T_{i j} \int_{- \infty}^{\infty} d t^{'} \frac{d}{d T_{i j}} f_{j} (t^{'}) e r f (\frac{t^{'}}{\sqrt{2} σ}) \\ = & \int d T_{i j} \int_{- \infty}^{\infty} d t^{'} [- f_{j}^{'} (t^{'})] e r f (\frac{t^{'}}{\sqrt{2} σ}) \\ (A1-9) & (because \frac{d}{d T_{i j}} f_{j} (t^{'}) = - \frac{d}{d t^{'}} f_{j} (t^{'}) \equiv - f_{j}^{'} (t^{'})) \\ = & \int d T_{i j} {{[e r f (\frac{t^{'}}{\sqrt{2} σ}) [- f_{j} (t^{'})]]}_{- \infty}^{\infty} - \int_{- \infty}^{\infty} d t^{'} \frac{2}{A} f_{i} (t^{'}) [- f_{j} (t^{'})]} \\ (i n t e g r a t i o n b y p a r t s) \\ = & \int d T_{i j} {[1 \cdot 0 - (- 1) \cdot 0] + \frac{2}{A} \cdot \frac{A^{2}}{2 \sqrt{π} σ} \exp (- \frac{T_{i j}^{2}}{4 σ^{2}})} \\ = & \frac{A}{\sqrt{π} σ} \int d T_{i j} \exp (- \frac{T_{i j}^{2}}{4 σ^{2}}) \\ (A1-10) & = & A e r f (\frac{T_{i j}}{2 σ}) \end{aligned}

Term (1.i) (Equation A1-8) thus reads:

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{0}^{\infty} d v f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) f_{j} (u) \\ = & \frac{A^{2}}{4} {[A - A e r f (\frac{T_{i j}}{2 σ})]}^{2} = \frac{A^{4}}{4} {[1 - e r f (\frac{T_{i j}}{2 σ})]}^{2} \end{array}

For (2.i) we find

\begin{array}{ll} \mp \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{- \infty}^{0} d v f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) f_{j} (u) \\ = & \mp \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{\infty} d u f_{j} (u) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{- \infty}^{0} d v f_{i} (u + v) \\ = & \mp \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] \int_{- \infty}^{\infty} d u f_{j} (u) [1 + e r f (\frac{u}{\sqrt{2} σ})] \\ = & \mp \frac{A^{2}}{4} [A - A e r f (\frac{T_{i j}}{2 σ})] [A + A e r f (\frac{T_{i j}}{2 σ})] (u s i n g E q u a t i o n A 1 - 10) \\ = & \mp \frac{A^{4}}{4} [1 - {e r f}^{2} (\frac{T_{i j}}{2 σ})] \end{array}

Term (3.i) is symmetric to (2.i) and thus yields the same result. For (4.i) we find (in analogy to the term (1.i)):

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{- \infty}^{0} d s \int_{- \infty}^{0} d v f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) f_{j} (u) \\ = & \frac{A^{2}}{4} {(\int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 + e r f (\frac{t^{'}}{\sqrt{2} σ})])}^{2} \\ = & \frac{A^{4}}{4} {[1 + e r f (\frac{T_{i j}}{2 σ})]}^{2} \end{array}

We sum the contributions (1.i) to (4.i) for the odd learning window:

\begin{array}{ll} \frac{A^{4}}{4} {[1 - e r f (\frac{T_{i j}}{2 σ})]}^{2} - 2 \cdot \frac{A^{4}}{4} [1 - {e r f}^{2} (\frac{T_{i j}}{2 σ})] + \frac{A^{4}}{4} {[1 + e r f (\frac{T_{i j}}{2 σ})]}^{2} \\ = & \frac{A^{4}}{4} [1 - 2 e r f (\frac{T_{i j}}{2 σ}) + {e r f}^{2} (\frac{T_{i j}}{2 σ}) - 2 + 2 {e r f}^{2} (\frac{T_{i j}}{2 σ}) + 1 + 2 e r f (\frac{T_{i j}}{2 σ}) + {e r f}^{2} (\frac{T_{i j}}{2 σ})] \\ = & A^{4} {e r f}^{2} (\frac{T_{i j}}{2 σ}) \end{array}

Let us continue with the second term of $F$ , which is labeled by ‘(ii)’, and consider the first (of four) integrals in Equation A1-7, that is, we continue with contribution (1.ii):

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{0}^{\infty} d v f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) δ (t^{'} - u) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{\infty} d u δ (t^{'} - u) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{0}^{\infty} d v f_{i} (u + v) \\ = & \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] \int_{- \infty}^{\infty} d u δ (t^{'} - u) [1 - e r f (\frac{u}{\sqrt{2} σ})] \\ = & \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - 2 e r f (\frac{t^{'}}{\sqrt{2} σ}) + {e r f}^{2} (\frac{t^{'}}{\sqrt{2} σ})] \\ = & \frac{A^{3}}{4} [1 - 2 e r f (\frac{T_{i j}}{2 σ}) + \frac{C}{A}] (u s i n g E q u a t i o n A 1 - 10), \end{array}

with

C = \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \erf^{2} (\frac{t^{'}}{\sqrt{2} σ}),

which will be solved later for special cases. Note that $C$ depends on $T_{i j}$ because $f_{j} (t^{'})$ depends on $T_{i j}$ . For (2.ii) we find:

\begin{array}{ll} \mp \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{- \infty}^{0} d v f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) δ (t^{'} - u) \\ = & \mp \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] [1 + e r f (\frac{t^{'}}{\sqrt{2} σ})] \\ = & \mp \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - {e r f}^{2} (\frac{t^{'}}{\sqrt{2} σ})] \\ = & \mp \frac{A^{3}}{4} (1 - \frac{C}{A}) . \end{array}

For (3.ii) we find the same:

\begin{array}{ll} \mp \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{- \infty}^{0} d s \int_{0}^{\infty} d v f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) δ (t^{'} - u) \\ = & \mp \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 + e r f (\frac{t^{'}}{\sqrt{2} σ})] [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] \\ = & \mp \frac{A^{3}}{4} (1 - \frac{C}{A}) . \end{array}

For (4.ii) we find:

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{- \infty}^{0} d s \int_{- \infty}^{0} d v f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) δ (t^{'} - u) \\ = & \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) {[1 + e r f (\frac{t^{'}}{\sqrt{2} σ})]}^{2} \\ = & \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 + 2 e r f (\frac{t^{'}}{\sqrt{2} σ}) + {e r f}^{2} (\frac{t^{'}}{\sqrt{2} σ})] \\ = & \frac{A^{3}}{4} [1 + 2 e r f (\frac{T_{i j}}{2 σ}) + \frac{C}{A}] . \end{array}

Summing contributions (1.ii) to (4.ii) for the odd window yields:

\begin{array}{ll} \frac{A^{3}}{4} [1 - 2 e r f (\frac{T_{i j}}{2 σ}) + \frac{C}{A}] - 2 \cdot \frac{A^{3}}{4} (1 - \frac{C}{A}) + \frac{A^{3}}{4} [1 + 2 e r f (\frac{T_{i j}}{2 σ}) + \frac{C}{A}] \\ = & \frac{A^{3}}{4} \cdot \frac{4 C}{A} = C A^{2} \end{array}

We continue with contribution (1.iii):

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{0}^{\infty} d v f_{j} (t^{'}) f_{j} (u) f_{i} (t^{'} + s) δ (t^{'} + s - u - v) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{\infty} d u f_{j} (u) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{0}^{\infty} d v δ (t^{'} + s - u - v) \end{array}

Contribution (1.iii) is non-zero if the argument $t^{'} + s - u - v$ of the delta function in the last integral (across $v$ ) is zero for some $v$ , which varies from 0 to $\infty$ . The argument of the delta function is thus zero for some $v$ if $0 \leq t^{'} + s - u < \infty$ , which we can rewrite as $u \leq t^{'} + s$ and then use it in the integral across $u$ , which leads to

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{- \infty}^{t^{'} + s} d u f_{j} (u) \\ = & \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) [1 + e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ})] \\ = & \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [\int_{0}^{\infty} d s f_{i} (t^{'} + s) + \int_{0}^{\infty} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ})] \\ = & \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [\frac{A}{2} (1 - e r f (\frac{t^{'}}{\sqrt{2} σ})) + \int_{0}^{\infty} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ})] \\ = & \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] + \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ}) \\ = & \frac{A^{3}}{4} [1 - e r f (\frac{T_{i j}}{2 σ})] + \frac{D \cdot A}{2} (u s i n g E q u a t i o n A 1 - 10) \end{array}

with $D := \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ})$ . D will be evaluated later for special cases.

Similarly to (1.iii), we treat (2.iii):

\begin{array}{ll} \mp \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{- \infty}^{0} d v f_{j} (t^{'}) f_{j} (u) f_{i} (t^{'} + s) δ (t^{'} + s - u - v) \\ = & \mp \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{t^{'} + s}^{\infty} d u f_{j} (u) \\ = & \mp \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) [1 - e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ})] \\ = & \mp \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \pm \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ}) \\ = & \mp \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] \pm \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ}) \\ = & \mp \frac{A^{3}}{4} [1 - e r f (\frac{T_{i j}}{2 σ})] \pm \frac{D \cdot A}{2} \end{array}

For (3.iii) we find:

\begin{array}{ll} \mp \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{- \infty}^{0} d s \int_{0}^{\infty} d v f_{j} (t^{'}) f_{j} (u) f_{i} (t^{'} + s) δ (t^{'} + s - u - v) \\ = & \mp \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) \int_{- \infty}^{t^{'} + s} d u f_{j} (u) \\ = & \mp \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) [1 + e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ})] \\ = & \mp \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 + e r f (\frac{t^{'}}{\sqrt{2} σ})] \mp \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ}) \\ = & \mp \frac{A^{3}}{4} [1 + e r f (\frac{T_{i j}}{2 σ})] \mp \frac{D^{'} \cdot A}{2} . \end{array}

with $D^{'} := \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ})$ , which we will evaluate later for special cases.

Finally, for (4.iii) we find

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{- \infty}^{0} d s \int_{- \infty}^{0} d v f_{j} (t^{'}) f_{j} (u) f_{i} (t^{'} + s) δ (t^{'} + s - u - v) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) \int_{t^{'} + s}^{\infty} d u f_{j} (u) \\ = & \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) [1 - e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ})] \\ = & \frac{A^{2}}{4} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 + e r f (\frac{t^{'}}{\sqrt{2} σ})] - \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) e r f (\frac{s + t^{'} - T_{i j}}{\sqrt{2} σ}) \\ = & \frac{A^{3}}{4} [1 + e r f (\frac{T_{i j}}{2 σ})] - \frac{D^{'} \cdot A}{2} . \end{array}

To sum the four contributions (1.iii) to (4.iii) for the odd window, we note that the first terms (square brackets) of (1.iii) and (2.iii) cancel, as well as the first terms of (3.iii) and (4.iii). We thus obtain:

\frac{D \cdot A}{2} + \frac{D \cdot A}{2} - \frac{D^{'} \cdot A}{2} - \frac{D^{'} \cdot A}{2} = A (D - D^{'}) .

We continue with contribution (1.iv):

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{0}^{\infty} d v f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) δ (t^{'} - u) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{\infty} d u δ (t^{'} - u) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{0}^{\infty} d v δ (t^{'} + s - u - v) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{- \infty}^{t^{'} + s} d u δ (t^{'} - u) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{- \infty}^{s} d u^{'} δ (u^{'}) (with u^{'} = u - t^{'}) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \cdot {\begin{cases} 1, & f o r s > 0 \\ 0, & e l s e \end{cases} \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \\ = & \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] \\ = & \frac{A^{2}}{2} [1 - e r f (\frac{T_{i j}}{2 σ})] (u s i n g E q u a t i o n A 1 - 10) \end{array}

By similar arguments, (2.iv) yields:

\begin{array}{ll} \mp \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{- \infty}^{0} d v f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) δ (t^{'} - u) \\ = & \mp \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{t^{'} + s}^{\infty} d u δ (t^{'} - u) \\ = & \mp \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \int_{s}^{\infty} d u^{'} δ (u^{'}) \\ = & \mp \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) \cdot {\begin{cases} 1, & f o r s > 0 \\ 0, & e l s e \end{cases} \\ = & 0 . \end{array}

(3.iv) yields

\begin{array}{ll} \mp \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{- \infty}^{0} d s \int_{0}^{\infty} d v f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) δ (t^{'} - u) \\ = & \mp \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) \int_{- \infty}^{t^{'} + s} d u δ (t^{'} - u) \\ = & \mp \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) \cdot {\begin{matrix} 1, & f o r s > 0 \\ 0, & e l s e \end{matrix} \\ = & 0 . \end{array}

(4.iv) yields

\begin{array}{ll} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{- \infty}^{0} d s \int_{- \infty}^{0} d v f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) δ (t^{'} - u) \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) \int_{t^{'} + s}^{\infty} d u δ (t^{'} - u) \\ = & \int_{- \infty}^{\infty} {d t}^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) \cdot {\begin{matrix} 1, & f o r s > 0 \\ 0, & e l s e \end{matrix} \\ = & \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) \\ = & \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 + e r f (\frac{t^{'}}{\sqrt{2} σ})] \\ = & \frac{A^{2}}{2} [1 + e r f (\frac{T_{i j}}{2 σ})] (u s i n g E q u a t i o n A 1 - 10) . \end{array}

We sum the contributions (1.iv) and (4.iv) and obtain $A^{2}$ . We now collect all terms for the odd window:

\frac{1}{μ^{2}} ⟨ Δ w_{i j}^{2} ⟩ = A^{4} \erf^{2} (\frac{T_{i j}}{2 σ}) + C A^{2} + A (D - D^{'}) + A^{2} .

So far, we have calculated the second moment of $Δ w_{i j}$ . In order to determine the variance, we need to calculate the average weight change for the odd window:

\begin{array}{ll} ⟨ Δ w_{i j} ⟩ & = \int_{- \infty}^{\infty} d t W (t) C_{i j} (t) \\ = μ \int_{- \infty}^{\infty} d t s g n (t) C_{i j} (t) \\ = μ \int_{- \infty}^{\infty} d t s g n (t) \int_{- \infty}^{\infty} d t^{'} f_{i} (t^{'}) f_{j} (t^{'} + t) \\ = \frac{A^{2} μ}{2 \sqrt{π} σ} \int_{- \infty}^{\infty} d t s g n (t) \exp (- \frac{(t - T_{i j})^{2}}{4 σ^{2}}) (u s i n g E q u a t i o n 15 o f t h e m a i n t e x t) \\ = \frac{A^{2} μ}{2 \sqrt{π} σ} [\int_{0}^{\infty} d t \exp (- \frac{(t - T_{i j})^{2}}{4 σ^{2}}) - \int_{- \infty}^{0} d t \exp (- \frac{(t - T_{i j})^{2}}{4 σ^{2}})] \\ = \frac{A^{2} μ}{2} [1 + e r f (\frac{T_{i j}}{2 σ}) - (1 - e r f (\frac{T_{i j}}{2 σ}))] \\ = A^{2} μ e r f (\frac{T_{i j}}{2 σ}) . \end{array}

The variance thus reads:

\begin{array}{ll} \frac{1}{μ^{2}} var (Δ w_{i j}) & = ⟨ Δ w_{i j}^{2} ⟩ - ⟨ Δ w_{i j} ⟩^{2} \\ = A^{4} {e r f}^{2} (\frac{T_{i j}}{2 σ}) + C A^{2} + A (D - D^{'}) + A^{2} - A^{4} {e r f}^{2} (\frac{T_{i j}}{2 σ}) \\ = (C + 1) A^{2} + A (D - D^{'}) . \end{array}

For the signal-to-noise ratio, we note that the definition from Equation A1-1, for odd learning windows, simplifies to

SNR = \frac{⟨ Δ w_{i j} ⟩ - ⟨ Δ w_{j i} ⟩}{std (Δ w_{i j}) + std (Δ w_{j i})} = \frac{⟨ Δ w_{i j} ⟩}{std (Δ w_{i j})},

because $Δ w_{i j} = - Δ w_{j i}$ for odd learning windows.

We insert Equation A1-13 and A1-14 and find

SNR = \frac{A^{2} \erf (\frac{T_{i j}}{2 σ})}{\sqrt{(C + 1) A^{2} + A (D - D^{'})}} .

To obtain the final result, we have to evaluate $C$ , $D$ , and $D^{'}$ . We distinguish the two cases $T_{i j} ≫ σ$ and $T_{i j} = σ$ to approximate these three terms:

1. $T_{i j} ≫ σ$ :

\erf (\frac{T_{i j}}{2 σ}) \approx 1

C = \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \erf^{2} (\frac{t^{'}}{\sqrt{2} σ}) \approx A,

because the Gaussian function f_j is shifted far into the positive lobe of the error function.

\begin{array}{ll} D & = \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s f_{i} (t^{'} + s) e r f (\frac{t^{'} + s - T_{i j}}{\sqrt{2} σ}) \\ \approx \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{0}^{\infty} d s [- f_{i} (t^{'} + s)] \\ = - \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 - e r f (\frac{t^{'}}{\sqrt{2} σ})] \\ = - \frac{A}{2} [A - A e r f (\frac{T_{i j}}{2 σ})] (u s i n g E q u a t i o n A 1 - 10) \\ \approx - \frac{A}{2} [A - A] (u s i n g E q u a t i o n A 1 - 15) \\ = 0 . \end{array}

\begin{array}{ll} D^{'} & = \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) \int_{- \infty}^{0} d s f_{i} (t^{'} + s) e r f (\frac{t^{'} + s - T_{i j}}{\sqrt{2} σ}) \\ = - \frac{A}{2} \int_{- \infty}^{\infty} d t^{'} f_{j} (t^{'}) [1 + e r f (\frac{t^{'}}{\sqrt{2} σ})] \\ \approx - \frac{A}{2} [A + A] (u s i n g E q u a t i o n s A 1 - 10 a n d A 1 - 15) \\ = - A^{2} . \end{array}

Thus,

SNR \approx \frac{A^{2} \cdot 1}{\sqrt{(A + 1) A^{2} + A (0 + A^{2})}} = \frac{A^{2}}{\sqrt{2 A^{3} + A^{2}}} = \frac{A}{\sqrt{2 A + 1}} .

This number (for $A = 10$ ) is indicated as the analytical comparison in Figure 5E. For large A, the SNR (Equation A1-16) approaches $\sqrt{A / 2}$ .

2. $T_{i j} = σ$ :

\erf (\frac{T_{i j}}{2 σ}) = \erf (\frac{1}{2}) \approx 0.52

C \approx 0.494 A,

D \approx - 0.013 A^{2},

D^{'} \approx - 0.507 A^{2},

all of which we calculated numerically.

It follows:

\begin{array}{ll} SNR & \approx \frac{A^{2} e r f (\frac{1}{2})}{\sqrt{(C + 1) A^{2} + A (D - D^{'})}} \\ \approx \frac{0.52 A^{2}}{\sqrt{0.494 A^{3} + A^{2} + 0.494 A^{3}}} \\ \approx \frac{0.52 A^{2}}{\sqrt{0.99 A^{3} + A^{2}}} \\ \overset{A = 10}{\approx} 1.58 \end{array}

This number is plotted as the large-tau approximation in Figure 4C. For large $A$ , we find $SNR \propto \sqrt{A}$ .

Even windows

As argued in the main text, for even windows, the weight change $Δ w_{i j}$ contains no information about the order of events because $Δ w_{i j} = Δ w_{j i}$ . This can be seen from Equation A1-1 of Appendix 1. The SNR is zero for purely even windows because the signal is zero. Nonetheless, we can calculate the variance of the weight change. To do so, we collect all terms of $⟨ Δ w_{i j}^{2} ⟩$ for even windows (indicated by the bottom symbol of all occurences of ‘±’ and ‘ $\mp$ ’ in the previous section). Again, we assume wide windows ( $κ \to \infty$ ).

Collecting the terms (1.i) to (4.i) yields

\frac{A^{4}}{4} {[1 - \erf (\frac{T_{i j}}{2 σ})]}^{2} + 2 \cdot \frac{A^{4}}{4} [1 - \erf^{2} (\frac{T_{i j}}{2 σ})] + \frac{A^{4}}{4} {[1 + \erf (\frac{T_{i j}}{2 σ})]}^{2} = A^{4} .

Similarly, we sum the terms (1.ii) to (4.ii):

\frac{A^{3}}{4} [1 - 2 \erf (\frac{T_{i j}}{2 σ}) + \frac{C}{A}] + 2 \cdot \frac{A^{3}}{4} (1 - \frac{C}{A}) + \frac{A^{3}}{4} [1 + 2 \erf (\frac{T_{i j}}{2 σ}) + \frac{C}{A}] = A^{3} .

We continue to collect the contributions (1.iii) to (4.iii):

\begin{array}{ll} \frac{A^{3}}{4} [1 - e r f (\frac{T_{i j}}{2 σ})] + \frac{D \cdot A}{2} \\ + & \frac{A^{3}}{4} [1 - e r f (\frac{T_{i j}}{2 σ})] - \frac{D \cdot A}{2} \\ + & \frac{A^{3}}{4} [1 + e r f (\frac{T_{i j}}{2 σ})] + \frac{D^{'} \cdot A}{2} \\ + & \frac{A^{3}}{4} [1 + e r f (\frac{T_{i j}}{2 σ})] - \frac{D^{'} \cdot A}{2} \\ = & A^{3} \end{array}

Finally, summing (1.iv) to (4.iv) yields the same result as for the odd window: $A^{2}$ .

Overall,

\frac{1}{λ^{2}} ⟨ Δ w_{i j}^{2} ⟩ = \frac{1}{λ^{2}} ⟨ Δ w_{j i}^{2} ⟩ = A^{4} + 2 A^{3} + A^{2} .

Together with

\frac{1}{λ} ⟨ Δ w_{i j} ⟩ = \frac{1}{λ} ⟨ Δ w_{j i} ⟩ = A^{2},

the variance reads:

\frac{1}{λ^{2}} var (Δ w_{i j}) = \frac{1}{λ^{2}} var (Δ w_{j i}) = 2 A^{3} + A^{2} .

We now insert these variances in the denominator of Equation A1-1:

\frac{1}{λ} [std (Δ w_{i j}) + std (Δ w_{j i})] = 2 \sqrt{2 A^{3} + A^{2}},

which, assuming $μ = λ$ , is twice the noise as for odd windows ( $\sqrt{2 A^{3} + A^{2}}$ , Equation A1-16).

In summary, for a complex learning window with even and odd contributions, the signal solely depends on the odd part, whereas both parts, even and odd, contribute to the noise. Any even contribution thus only decreases the SNR.

Appendix 2

Calculating SNR for learning windows of arbitrary width

We again consider odd learning windows of the shape

W^{odd} (s) = μ {\begin{cases} + \exp (- s / τ), s \geq 0 \\ - \exp (+ s / τ), s < 0 . \end{cases}

As in the case of wide learning windows, we again consider the second moment of the weight change (similar to Equation A1-4 of Appendix 1):

\begin{array}{ll} \frac{⟨ Δ w_{i j}^{2} ⟩ (t)}{μ^{2}} & = \frac{1}{μ^{2}} \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int d s \int d v W^{o d d} (s) W^{o d d} (v) F (t^{'}, s, u, v) \\ = \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u {\int_{0}^{\infty} d s \int_{0}^{\infty} d v \exp (- s / τ) \exp (- v / τ) F (t^{'}, s, u, v) \\ - \int_{0}^{\infty} d s \int_{- \infty}^{0} d v \exp (- s / τ) \exp (v / τ) F (t^{'}, s, u, v) \\ - \int_{- \infty}^{0} d s \int_{0}^{\infty} d v \exp (s / τ) \exp (- v / τ) F (t^{'}, s, u, v) \\ + \int_{- \infty}^{0} d s \int_{- \infty}^{0} d v \exp (s / τ) \exp (v / τ) F (t^{'}, s, u, v)} \end{array}

We write F similarly as before, neglecting the theta modulation of the firing rate:

\begin{array}{ll} F (t^{'}, s, u, v) = & f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) f_{j} (u) + f_{i} (t^{'} + s) f_{i} (u + v) f_{j} (t^{'}) δ (t^{'} - u) + \\ f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) f_{j} (u) + f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) δ (t^{'} - u) \end{array}

with

f_{i} (t) = \frac{A}{\sqrt{2 π} σ} \exp (- \frac{t^{2}}{2 σ^{2}})

and

f_{j} (t) = \frac{A}{\sqrt{2 π} σ} \exp (- \frac{{(t - T_{i j})}^{2}}{2 σ^{2}}) .

We label the addends of Equation A2-2 as ${1, 2, 3, 4}$ and the addends of Equation A2-3 as ${i, i i, i i i, i v}$ . In evaluating the second moment of the weight change, we realize that many integrands have similar forms, that is, products of exponentials, error functions, and delta functions. Consequently, we will first state the integral identities we use, and will then explicitly derive the term $(2 . i i i)$ as an example. The other terms can be evaluated in a similar manner.

Integral identities

For the evaluation of the second moment of the weight change, many integrands consist of exponential functions containing linear and squared terms. To tackle these integrals, we use Albano et al., 2011

\int_{a}^{\infty} \exp [- q^{2} x^{2} - p x] d x = \frac{\sqrt{π}}{2 q} \exp [\frac{p^{2}}{4 q^{2}}] [1 - erf (\frac{p + 2 a q^{2}}{2 q})] with q > 0, a > 0, p > 0 .

The second recurring form of integrals is

\int_{- \infty}^{\infty} d t \exp [- a^{2} (t^{2} + b t)] erf (- a {t + c}) with a > 0 and b, c \in R .

Substituting

\begin{array}{ll} x := - a (t + c) & d x = - a d t \\ t := - c - \frac{x}{a} & t^{2} = c^{2} + 2 \frac{c}{a} x + \frac{x^{2}}{a^{2}}, \end{array}

we can rewrite

\int_{- \infty}^{\infty} d t \exp [- a^{2} (t^{2} + b t)] erf (- a {t + c}) = \frac{1}{a} \exp [\frac{a^{2} b^{2}}{4}] \int_{- \infty}^{\infty} d x \exp [- {(x + a {c - \frac{b}{2}})}^{2}] erf [x] .

We now use an integral identity by Ng and Geller, 1969 (their section 4.3, eq. 13):

\int_{- \infty}^{\infty} d x erf (x) \exp [- (p x + q)^{2}] d x = - \frac{\sqrt{π}}{p} erf [\frac{q}{\sqrt{p^{2} + 1}}],

which yields the desired solution ( $p = 1, q = a {c - b / 2}$ ):

\int_{- \infty}^{\infty} d t \exp [- a^{2} (t^{2} + b t)] erf (- a {t + c}) = - \frac{\sqrt{π}}{a} \exp [\frac{a^{2} b^{2}}{4}] erf [\frac{a}{\sqrt{2}} (c - \frac{b}{2})] .

Example: deriving the term (2.iii)

For the term ( $2 . i i i$ ), we have

\begin{array}{ll} (2. i i i) & = - \int_{- \infty}^{\infty} d t^{'} \int_{- \infty}^{\infty} d u \int_{0}^{\infty} d s \int_{- \infty}^{0} d v \exp [- \frac{s}{τ}] \exp [\frac{v}{τ}] f_{i} (t^{'} + s) δ (t^{'} + s - u - v) f_{j} (t^{'}) f_{j} (u) \\ = - {(\frac{A}{\sqrt{2 π} σ})}^{3} \int_{- \infty}^{\infty} d t^{'} \exp [- \frac{(t^{'} - T_{i j})^{2}}{2 σ^{2}}] \exp [- \frac{t^{' 2}}{2 σ^{2}}] \int_{- \infty}^{\infty} d u \exp [- \frac{(u - T_{i j})^{2}}{2 σ^{2}}] \\ \int_{0}^{\infty} d s \exp [- \frac{1}{2 σ^{2}} (s^{2} + 2 s {t^{'} + \frac{σ^{2}}{τ}})] \int_{- \infty}^{0} d v \exp [\frac{v}{τ}] δ (t^{'} + s - u - v) \end{array}

When applying the sifting property of the Dirac delta function, we note that the integral over $v$ is nonzero for $- \infty < t^{'} + s - u \leq 0$ , that is, for $t^{'} + s \leq u$ . Thus we have:

\begin{array}{ll} (2. i i i) & = - {(\frac{A}{\sqrt{2 π} σ})}^{3} \int_{- \infty}^{\infty} d t^{'} \exp [- \frac{(t^{'} - T_{i j})^{2}}{2 σ^{2}}] \exp [- \frac{t^{' 2}}{2 σ^{2}}] \int_{0}^{\infty} d s \int_{t^{'} + s}^{\infty} d u \exp [- \frac{(u - T_{i j})^{2}}{2 σ^{2}}] \\ \exp [- \frac{1}{2 σ^{2}} (s^{2} + 2 s {t^{'} + \frac{σ^{2}}{τ}})] \exp [\frac{t^{'} + s - u}{τ}] \\ = - {(\frac{A}{\sqrt{2 π} σ})}^{3} \exp [- \frac{T_{i j}^{2}}{σ^{2}}] \int_{- \infty}^{\infty} d t^{'} \exp [- \frac{1}{2 σ^{2}} (2 t^{' 2} - 2 t^{'} {T_{i j} + \frac{σ^{2}}{τ}})] \\ \int_{0}^{\infty} d s \exp [- \frac{1}{2 σ^{2}} (s^{2} + 2 t^{'} s)] \int_{t^{'} + s}^{\infty} d u \exp [- \frac{1}{2 σ^{2}} (u^{2} - 2 u {T_{i j} - \frac{σ^{2}}{τ}})] \end{array}

The integral over $u$ can be evaluated by using Equation A2-6, which yields:

\begin{array}{ll} (2. i i i) = - \frac{A^{3}}{4 π σ^{2}} \exp [\frac{σ^{2}}{2 τ^{2}} - \frac{T_{i j}^{2}}{2 σ^{2}} - \frac{T_{i j}}{τ}] \int_{- \infty}^{\infty} d t^{'} \exp [- \frac{1}{2 σ^{2}} (2 t^{' 2} - 2 t^{'} {T_{i j} + \frac{σ^{2}}{τ}})] \\ \int_{0}^{\infty} d s \exp [- \frac{1}{2 σ^{2}} (s^{2} + 2 t^{'} s)] [1 - erf (\frac{1}{\sqrt{2} σ} {t^{'} + s - T_{i j} + \frac{σ^{2}}{τ}})] \end{array}

The second part of the integral over $s$ (involving the error function) will be solved numerically. For this purpose, we define $D_{2}^{'}$ as:

\begin{array}{ll} D_{2}^{'} := \frac{1}{π σ^{2}} \int_{- \infty}^{\infty} d t^{'} \exp [- \frac{1}{2 σ^{2}} (2 t^{' 2} - 2 t^{'} {T_{i j} + \frac{σ^{2}}{τ}})] \\ \int_{0}^{\infty} d s \exp [- \frac{1}{2 σ^{2}} (s^{2} + 2 t^{'} s)] erf (\frac{1}{\sqrt{2} σ} {t^{'} + s - T_{i j} + \frac{σ^{2}}{τ}}) \end{array}

For the first part of the integral over $s$ in Equation A2-13, we again use Equation A2-6, which results in:

\begin{array}{ll} (2. i i i) = - \frac{A^{3}}{4 \sqrt{2 π} σ} \exp [\frac{σ^{2}}{2 τ^{2}} - \frac{T_{i j}^{2}}{2 σ^{2}} - \frac{T_{i j}}{τ}] \int_{- \infty}^{\infty} d t^{'} \exp [- \frac{1}{2 σ^{2}} (t^{' 2} - 2 t^{'} {T_{i j} + \frac{σ^{2}}{τ}})] \\ [1 + erf (- \frac{t^{'}}{\sqrt{2} σ})] + \frac{A^{3}}{4} \exp [\frac{σ^{2}}{2 τ^{2}} - \frac{T_{i j}^{2}}{2 σ^{2}} - \frac{T_{i j}}{τ}] D_{2}^{'} \end{array}

The first part of the integral over $t$ can be solved by applying Equation A2-6 in the limit of $a \to - \infty$ . For the second part we use Equation A2-10.

\begin{array}{ll} (2. i i i) = - \frac{A^{3}}{4} \exp [\frac{σ^{2}}{τ^{2}}] [1 - erf (\frac{1}{2 σ} {T_{i j} + \frac{σ^{2}}{τ}})] + \frac{A^{3}}{4} \exp [\frac{σ^{2}}{2 τ^{2}} - \frac{T_{i j}^{2}}{2 σ^{2}} - \frac{T_{i j}}{τ}] D_{2}^{'} \end{array}

We now observe that defining D₂ in the following way:

\begin{array}{ll} D_{2} = \frac{1}{π σ^{2}} \int_{- \infty}^{\infty} d t^{'} \exp [- \frac{1}{2 σ^{2}} {(t^{'} - {T_{i j} + \frac{σ^{2}}{τ}})}^{2}] \\ \int_{0}^{\infty} d s \exp [- \frac{1}{2 σ^{2}} {(s + t^{'})}^{2}] erf [\frac{1}{\sqrt{2} σ} (t^{'} + s - {T_{i j} - \frac{σ^{2}}{τ}})] \end{array}

allows us to write $(2 . i i i)$ as:

(2. i i i) = - \frac{A^{3}}{4} \exp [\frac{σ^{2}}{τ^{2}}] [1 - erf (\frac{1}{2 σ} {T_{i j} + \frac{σ^{2}}{τ}}) - D_{2}]

Addends of the second moment

By similar logic, all four addends of Equation A2-2 (with four parts each) can be obtained. We list the results here:

First Addend

\begin{aligned} (A2-19) & (1. i) & = \frac{A^{4}}{4} \exp [2 (\frac{σ^{2}}{τ^{2}} + \frac{T_{i j}}{τ})] {[1 - erf (\frac{1}{2 σ} {T_{i j} + 2 \frac{σ^{2}}{τ}})]}^{2} \\ (A2-20) & (2. i) & = - \frac{A^{4}}{4} \exp [2 \frac{σ^{2}}{τ^{2}}] [1 - erf (\frac{1}{2 σ} {T_{i j} + 2 \frac{σ^{2}}{τ}})] [1 + erf (\frac{1}{2 σ} {T_{i j} - 2 \frac{σ^{2}}{τ}})] \end{aligned}

(3 . i) = - \frac{A^{4}}{4} \exp [2 \frac{σ^{2}}{τ^{2}}] [1 - erf (\frac{1}{2 σ} {T_{i j} + 2 \frac{σ^{2}}{τ}})] [1 + erf (\frac{1}{2 σ} {T_{i j} - 2 \frac{σ^{2}}{τ}})]

(4 . i) = \frac{A^{4}}{4} \exp [2 (\frac{σ^{2}}{τ^{2}} - \frac{T_{i j}}{τ})] {[1 + erf (\frac{1}{2 σ} {T_{i j} - 2 \frac{σ^{2}}{τ}})]}^{2}

Second Addend

\begin{aligned} (A2-23) & (1. i i) & = \frac{A^{3}}{4} \exp [3 \frac{σ^{2}}{τ^{2}} + 2 \frac{T_{i j}}{τ}] [1 - 2 erf (\frac{1}{2 σ} {T_{i j} + 3 \frac{σ^{2}}{τ}}) + C_{1}] \\ (A2-24) & (2. i i) & = - \frac{A^{3}}{4} \exp [\frac{σ^{2}}{τ^{2}}] [1 - erf (\frac{1}{2 σ} {T_{i j} + \frac{σ^{2}}{τ}}) + erf (\frac{1}{2 σ} {T_{i j} - \frac{σ^{2}}{τ}}) - C_{2}] \end{aligned}

\begin{aligned} (A2-25) & (3. i i) & = - \frac{A^{3}}{4} \exp [\frac{σ^{2}}{τ^{2}}] [1 - erf (\frac{1}{2 σ} {T_{i j} + \frac{σ^{2}}{τ}}) + erf (\frac{1}{2 σ} {T_{i j} - \frac{σ^{2}}{τ}}) - C_{2}] \\ (A2-26) & (4. i i) & = \frac{A^{3}}{4} \exp [3 \frac{σ^{2}}{τ^{2}} - 2 \frac{T_{i j}}{τ}] [1 + 2 erf (\frac{1}{2 σ} {T_{i j} - 3 \frac{σ^{2}}{τ}}) + C_{4}] \end{aligned}

with the integral terms:

\begin{array}{ll} C_{1} = \frac{1}{\sqrt{2 π} σ} \int d t^{'} \exp [- \frac{1}{2 σ^{2}} {(t^{'} - {T_{i j} + 2 \frac{σ^{2}}{τ}})}^{2}] \\ \cdot {erf}^{2} [\frac{1}{\sqrt{2} σ} {t^{'} + \frac{σ^{2}}{τ}}] \end{array}

\begin{array}{ll} C_{2} = \frac{1}{\sqrt{2 π} σ} \int d t^{'} \exp [- \frac{1}{2 σ^{2}} {(t^{'} - T_{i j})}^{2}] \\ \cdot erf [\frac{1}{\sqrt{2} σ} {t^{'} + \frac{σ^{2}}{τ}}] erf [\frac{1}{\sqrt{2} σ} {t^{'} - \frac{σ^{2}}{τ}}] \end{array}

\begin{array}{ll} C_{4} = \frac{1}{\sqrt{2 π} σ} \int d t^{'} \exp [- \frac{1}{2 σ^{2}} {(t^{'} - {T_{i j} - 2 \frac{σ^{2}}{τ}})}^{2}] \\ \cdot {erf}^{2} [\frac{1}{\sqrt{2} σ} {t^{'} - \frac{σ^{2}}{τ}}] \end{array}

Third Addend

\begin{aligned} (A2-30) & (1. i i i) & = \frac{A^{3}}{4} \exp [3 \frac{σ^{2}}{τ^{2}} + 2 \frac{T_{i j}}{τ}] [1 - erf (\frac{1}{2 σ} {T_{i j} + 3 \frac{σ^{2}}{τ}}) + D_{1}] \\ (A2-31) & (2. i i i) & = - \frac{A^{3}}{4} \exp [\frac{σ^{2}}{τ^{2}}] [1 - erf (\frac{1}{2 σ} {T_{i j} + \frac{σ^{2}}{τ}}) - D_{2}] \end{aligned}

\begin{aligned} (A2-32) & (3. i i i) & = - \frac{A^{3}}{4} \exp [\frac{σ^{2}}{τ^{2}}] [1 + erf (\frac{1}{2 σ} {T_{i j} - \frac{σ^{2}}{τ}}) + D_{3}] \\ (A2-33) & (4. i i i) & = \frac{A^{3}}{4} \exp [3 \frac{σ^{2}}{τ^{2}} - 2 \frac{T_{i j}}{τ}] [1 + erf (\frac{1}{2 σ} {T_{i j} - 3 \frac{σ^{2}}{τ}}) - D_{4}] \end{aligned}

with the integral terms:

\begin{array}{ll} D_{1} = \frac{1}{π σ^{2}} \int d t^{'} \exp [- \frac{1}{2 σ^{2}} {(t^{'} - {T_{i j} + \frac{σ^{2}}{τ}})}^{2}] \\ \cdot \int_{0}^{\infty} d s \exp [- \frac{1}{2 σ^{2}} {(s + {t^{'} + 2 \frac{σ^{2}}{τ}})}^{2}] \\ \cdot erf [\frac{1}{\sqrt{2} σ} (t^{'} + s - {T_{i j} + \frac{σ^{2}}{τ}})] \end{array}

\begin{array}{ll} D_{2} = \frac{1}{π σ^{2}} \int d t^{'} \exp [- \frac{1}{2 σ^{2}} {(t^{'} - {T_{i j} + \frac{σ^{2}}{τ}})}^{2}] \\ \cdot \int_{0}^{\infty} d s \exp [- \frac{1}{2 σ^{2}} {(s + t^{'})}^{2}] \\ \cdot erf [\frac{1}{\sqrt{2} σ} (t^{'} + s - {T_{i j} - \frac{σ^{2}}{τ}})] \end{array}

\begin{array}{ll} D_{3} = \frac{1}{π σ^{2}} \int d t^{'} \exp [- \frac{1}{2 σ^{2}} {(t^{'} - {T_{i j} - \frac{σ^{2}}{τ}})}^{2}] \\ \cdot \int_{- \infty}^{0} d s \exp [- \frac{1}{2 σ^{2}} {(s + t^{'})}^{2}] \\ \cdot erf [\frac{1}{\sqrt{2} σ} (t^{'} + s - {T_{i j} + \frac{σ^{2}}{τ}})] \end{array}

\begin{array}{ll} D_{4} = \frac{1}{π σ^{2}} \int d t^{'} \exp [- \frac{1}{2 σ^{2}} {(t^{'} - {T_{i j} - \frac{σ^{2}}{τ}})}^{2}] \\ \cdot \int_{- \infty}^{0} d s \exp [- \frac{1}{2 σ^{2}} {(s + {t^{'} - 2 \frac{σ^{2}}{τ}})}^{2}] \\ \cdot erf [\frac{1}{\sqrt{2} σ} (t^{'} + s - {T_{i j} - \frac{σ^{2}}{τ}})] \end{array}

Fourth Addend

(1. i v) = \frac{A^{2}}{2} \exp [4 \frac{σ^{2}}{τ^{2}} + 2 \frac{T_{i j}}{τ}] [1 - erf (\frac{1}{2 σ} {T_{i j} + 4 \frac{σ^{2}}{τ}})]

(2 . i v) = (3 . i v) = 0

(4 . i v) = \frac{A^{2}}{2} \exp [4 \frac{σ^{2}}{τ^{2}} - 2 \frac{T_{i j}}{τ}] [1 + erf (\frac{1}{2 σ} {T_{i j} - 4 \frac{σ^{2}}{τ}})]

By collecting all 16 terms, we will obtain the average squared weight change. To calculate the variance, we also need the squared average weight change, which we will calculate in the next section.

Average weight change

The average weight change for odd learning windows is given by (cmp. Equation 1 in the main text):

\begin{array}{ll} ⟨ Δ w_{i j} ⟩ & = \int_{- \infty}^{\infty} d t W (t) C_{i j} (t) \\ = μ \int_{0}^{\infty} d t \exp (- \frac{t}{τ}) C_{i j} (t) - μ \int_{- \infty}^{0} d t \exp (\frac{t}{τ}) C_{i j} (t) \\ = μ \int_{0}^{\infty} d t \exp (- \frac{t}{τ}) \int_{- \infty}^{\infty} d t^{'} f_{i} (t^{'}) f_{j} (t^{'} + t) \\ - μ \int_{- \infty}^{0} d t \exp (\frac{t}{τ}) \int_{- \infty}^{\infty} d t^{'} f_{i} (t^{'}) f_{j} (t^{'} + t) \end{array}

We again neglect the theta modulation of the firing fields. Evaluating the first addend yields:

\begin{array}{ll} μ \int_{0}^{\infty} d t \exp (- \frac{t}{τ}) \int_{- \infty}^{\infty} d t^{'} f_{i} (t^{'}) f_{j} (t^{'} + t) \\ = & \frac{A^{2} μ}{2 π σ^{2}} \int_{0}^{\infty} d t \exp (- \frac{t}{τ}) \int_{- \infty}^{\infty} d t^{'} \exp (- \frac{t^{' 2}}{2 σ^{2}}) \exp (- \frac{(t + t^{'} - T_{i j})^{2}}{2 σ^{2}}) \\ = & \frac{A^{2} μ}{2 π σ^{2}} \int_{0}^{\infty} d t \exp (- \frac{t}{τ}) \int_{- \infty}^{\infty} d t^{'} \exp (- \frac{t^{2} + 2 t^{' 2} + T_{i j}^{2} + 2 t t^{'} - 2 t T_{i j} - 2 t^{'} T_{i j}}{2 σ^{2}}) \\ = & \frac{A^{2} μ}{2 π σ^{2}} \exp (- \frac{T_{i j}^{2}}{2 σ^{2}}) \int_{0}^{\infty} d t \exp (- \frac{t^{2} - 2 (T_{i j} - \frac{σ^{2}}{τ}) t}{2 σ^{2}}) \int_{- \infty}^{\infty} d t^{'} \exp (- \frac{t^{' 2} + (t - T_{i j}) t^{'}}{σ^{2}}) \\ = & \frac{A^{2} μ}{2 \sqrt{π} σ} \exp (- \frac{T_{i j}^{2}}{2 σ^{2}}) \int_{0}^{\infty} d t \exp (- \frac{t^{2} - 2 (T_{i j} - \frac{σ^{2}}{τ}) t}{2 σ^{2}}) \exp (\frac{(t - T_{i j})^{2}}{4 σ^{2}}) \\ = & \frac{A^{2} μ}{2 \sqrt{π} σ} \exp (- \frac{T_{i j}^{2}}{4 σ^{2}}) \int_{0}^{\infty} d t \exp (- \frac{t^{2} - 2 (T_{i j} - 2 \frac{σ^{2}}{τ}) t}{4 σ^{2}}) \\ = & \frac{A^{2} μ}{2} \exp (- \frac{T_{i j}^{2}}{4 σ^{2}}) \exp [\frac{{(T_{i j} - 2 \frac{σ^{2}}{τ})}^{2}}{4 σ^{2}}] [1 + erf (\frac{T_{i j} - 2 \frac{σ^{2}}{τ}}{2 σ})] \\ = & \frac{A^{2} μ}{2} \exp (\frac{σ^{2}}{τ^{2}} - \frac{T_{i j}}{τ}) [1 + erf (\frac{T_{i j} - 2 \frac{σ^{2}}{τ}}{2 σ})] \end{array}

The second addend can be similarly evaluated:

\begin{aligned} - μ \int_{- \infty}^{0} d t \exp (\frac{t}{τ}) \int_{- \infty}^{\infty} d t^{'} f_{i} (t^{'}) f_{j} (t^{'} + t) \\ = & - \frac{A^{2} μ}{2 \sqrt{π} σ} \exp (- \frac{T_{i j}^{2}}{4 σ^{2}}) \int_{- \infty}^{0} d t \exp (- \frac{t^{2} - 2 (T_{i j} + 2 \frac{σ^{2}}{τ}) t}{4 σ^{2}}) \\ = & - \frac{A^{2} μ}{2} \exp (- \frac{T_{i j}^{2}}{4 σ^{2}}) \exp [\frac{{(T_{i j} + 2 \frac{σ^{2}}{τ})}^{2}}{4 σ^{2}}] [1 - erf (\frac{T_{i j} + 2 \frac{σ^{2}}{τ}}{2 σ})] \\ = & - \frac{A^{2} μ}{2} \exp (\frac{σ^{2}}{τ^{2}} + \frac{T_{i j}}{τ}) [1 - erf (\frac{T_{i j} + 2 \frac{σ^{2}}{τ}}{2 σ})] \end{aligned}

The average weight change thus reads:

\frac{1}{μ} ⟨ Δ w_{i j} ⟩ = \frac{A^{2}}{2} {\exp (\frac{σ^{2}}{τ^{2}} - \frac{T_{i j}}{τ}) [1 + erf (\frac{T_{i j} - 2 \frac{σ^{2}}{τ}}{2 σ})] - \exp (\frac{σ^{2}}{τ^{2}} + \frac{T_{i j}}{τ}) [1 - erf (\frac{T_{i j} + 2 \frac{σ^{2}}{τ}}{2 σ})]}

Equation A2-44 might show numerical instabilities for small $τ$ . These instabilities can be fixed using the following approximation for the error function proposed by Abramowitz, 1974:

\begin{array}{ll} erf (x) \approx 1 - (a_{1} t + a_{2} t^{2} + a_{3} t^{3}) \exp (- x^{2}), t = \frac{1}{1 + p x}, x \geq 0, \end{array}

where $p = 0.47047$ , $a_{1} = 0.3480242$ , $a_{2} = - 0.0958798$ , $a_{3} = 0.7478556$ . Along with a new set of variables

\begin{array}{lll} x_{1} = \frac{1}{2 σ} (2 \frac{σ^{2}}{τ} - T_{i j}) & x_{2} = \frac{1}{2 σ} (2 \frac{σ^{2}}{τ} + T_{i j}) \geq 0 because T_{i j} \geq 0 \\ u_{1} = \frac{1}{1 + p x_{1}} & u_{1}^{'} = \frac{1}{1 - p x_{1}}, & u_{2} = \frac{1}{1 + p x_{2}}, \end{array}

the approximation yields

\frac{1}{μ} ⟨ Δ w_{i j} ⟩ = \frac{A^{2}}{2} {\begin{cases} \exp (- \frac{T_{i j}^{2}}{4 σ^{2}}) [a_{1} u_{1} + a_{2} u_{1}^{2} + a_{3} u_{1}^{3} - a_{1} u_{2} - a_{2} u_{2}^{2} - a_{3} u_{2}^{3}], x_{1} \geq 0, x_{2} \geq 0 \\ 2 \exp (\frac{σ^{2}}{τ^{2}} - \frac{T_{i j}}{τ}) - \exp (- \frac{T_{i j}^{2}}{4 σ^{2}}) [a_{1} (u_{1}^{'} + u_{2}) + a_{2} (u_{1}^{' 2} + u_{2}^{2}) + a_{3} (u_{1}^{' 3} + u_{2}^{3})], x_{1} < 0 \end{cases}

Note that the exponential with the $\frac{σ^{2}}{τ^{2}}$ term vanishes when $x_{1} \geq 0$ , and only one addend contains the term for $x_{1} < 0$ . Therefore, this approximation results in improved numerical stability for small $τ$ . Equation A2-46 is shown in Figure 4A.

Variance and signal-to-noise ratio of the weight change

With all of the above results, we are now ready to state the variance and signal-to-noise ratio of the weight change:

\begin{array}{ll} \frac{1}{μ^{2}} var (Δ w_{i j}) & = \frac{1}{μ^{2}} (⟨ Δ w_{i j}^{2} ⟩ - ⟨ Δ w_{i j} ⟩^{2}) \\ = \frac{A^{3}}{4} {\exp [3 \frac{σ^{2}}{τ^{2}} + 2 \frac{T_{i j}}{τ}] [2 + C_{1} + D_{1} - 3 erf (\frac{T_{i j} + 3 \frac{σ^{2}}{τ}}{2 σ})] \\ - \exp [\frac{σ^{2}}{τ^{2}}] [4 - 2 C_{2} - D_{2} + D_{3} - 3 erf (\frac{T_{i j} + \frac{σ^{2}}{τ}}{2 σ}) + 3 erf (\frac{T_{i j} - \frac{σ^{2}}{τ}}{2 σ})] \\ + \exp [3 \frac{σ^{2}}{τ^{2}} - 2 \frac{T_{i j}}{τ}] [2 + C_{4} - D_{4} + 3 erf (\frac{T_{i j} - 3 \frac{σ^{2}}{τ}}{2 σ})]} \\ + \frac{A^{2}}{2} {\exp [4 \frac{σ^{2}}{τ^{2}} + 2 \frac{T_{i j}}{τ}] [1 - erf (\frac{1}{2 σ} {T_{i j} + 4 \frac{σ^{2}}{τ}})] \\ + \exp [4 \frac{σ^{2}}{τ^{2}} - 2 \frac{T_{i j}}{τ}] [1 + erf (\frac{1}{2 σ} {T_{i j} - 4 \frac{σ^{2}}{τ}})]} \end{array}

The signal-to-noise ratio is then given by:

\begin{array}{ll} SNR & = \frac{⟨ Δ w_{i j} ⟩}{std (Δ w_{i j})} = \frac{⟨ Δ w_{i j} ⟩}{\sqrt{var (Δ w_{i j})}} \end{array}

Equation A2-48 (with the variance from Equation A2-47 and the mean from Equation A2-44) is shown in Figure 4C. We observe that the analytical solution fits the numerical solution well for $τ ≳ 0.1$ s but numerical instabilities cause it to diverge for $τ ≲ 0.1$ s.

The numerical instability for $τ ≲ 0.1$ s is likely due to a combination of two factors: the exponential terms $\exp [σ^{2} / τ^{2}]$ become very large for small tau, and large arguments in the error function cause the terms ( $1 \pm erf (.)$ ) to be very close to zero. The product of the two is numerically unstable for small tau. Unfortunately, unlike in the case of the average weight change, we did not find an approximation which canceled out these exponential terms in the noise.

Data availability

Code and data are available at https://gitlab.com/e.reifenstein/synaptic-learning-rules-for-sequence-learning (copy archived at https://archive.softwareheritage.org/swh:1:rev:157c347a735a090f591a2b77a71b90d7de65bca5).

References

1. Abbott LF
2. Nelson SB
(2000) Synaptic plasticity: taming the beast
Nature Neuroscience 3 Suppl:1178–1183.

https://doi.org/10.1038/81453
- PubMed
- Google Scholar
Book
1. Abramowitz M
(1974)
Handbook of Mathematical Functions, With Formulas, Graphs, and Mathematical Tables

USA: Dover Publications, Inc.
- Google Scholar
(2011)
The integrals in Gradshteyn and Ryzhik. Part 19: The error function

SCIENTIA Series A Mathematical Sciences 21:25–42.
- Google Scholar
(2020) Sequence memory in the Hippocampal-Entorhinal region
Journal of Cognitive Neuroscience 32:2056–2070.

https://doi.org/10.1162/jocn_a_01592
- PubMed
- Google Scholar
1. Bi GQ
2. Poo MM
(1998) Synaptic modifications in cultured hippocampal neurons: dependence on spike timing, synaptic strength, and postsynaptic cell type
The Journal of Neuroscience 18:10464–10472.

https://doi.org/10.1523/JNEUROSCI.18-24-10464.1998
- PubMed
- Google Scholar
1. Bi G
2. Poo M
(2001) Synaptic modification by correlated activity: hebb's postulate revisited
Annual Review of Neuroscience 24:139–166.

https://doi.org/10.1146/annurev.neuro.24.1.139
- PubMed
- Google Scholar
(2017) Behavioral time scale synaptic plasticity underlies CA1 place fields
Science 357:1033–1036.

https://doi.org/10.1126/science.aan3846
- PubMed
- Google Scholar
1. Buzsáki G
(2002) Theta oscillations in the hippocampus
Neuron 33:325–340.

https://doi.org/10.1016/S0896-6273(02)00586-X
- PubMed
- Google Scholar
(2016) Flexible theta sequence compression mediated via phase precessing interneurons
eLife 5:e20349.

https://doi.org/10.7554/eLife.20349
- PubMed
- Google Scholar
1. Chance FS
(2012) Hippocampal phase precession from dual input components
Journal of Neuroscience 32:16693–16703.

https://doi.org/10.1523/JNEUROSCI.2786-12.2012
- PubMed
- Google Scholar
1. Cheng S
(2013) The CRISP theory of hippocampal function in episodic memory
Frontiers in Neural Circuits 7:88.

https://doi.org/10.3389/fncir.2013.00088
- PubMed
- Google Scholar
1. Cheng S
2. Frank LM
(2008) New experiences enhance coordinated neural activity in the hippocampus
Neuron 57:303–313.

https://doi.org/10.1016/j.neuron.2007.11.035
- PubMed
- Google Scholar
(2017) Memory replay in balanced recurrent networks
PLOS Computational Biology 13:e1005359.

https://doi.org/10.1371/journal.pcbi.1005359
- PubMed
- Google Scholar
(2015) Inheritance of Hippocampal Place Fields Through Hebbian Learning: Effects of Theta Modulation and Phase Precession on Structure Formation
Neural Computation 27:1624–1672.

https://doi.org/10.1162/NECO_a_00752
- PubMed
- Google Scholar
(2009) Hippocampal replay of extended experience
Neuron 63:497–507.

https://doi.org/10.1016/j.neuron.2009.07.027
- PubMed
- Google Scholar
1. Diba K
2. Buzsáki G
(2007) Forward and reverse hippocampal place-cell sequences during ripples
Nature Neuroscience 10:1241–1242.

https://doi.org/10.1038/nn1961
- PubMed
- Google Scholar
1. Dragoi G
2. Buzsáki G
(2006) Temporal encoding of place sequences by hippocampal cell assemblies
Neuron 50:145–157.

https://doi.org/10.1016/j.neuron.2006.02.023
- PubMed
- Google Scholar
1. Drew PJ
2. Abbott LF
(2006) Extending the effects of spike-timing-dependent plasticity to behavioral timescales
PNAS 103:8876–8881.

https://doi.org/10.1073/pnas.0600676103
- PubMed
- Google Scholar
1. Eichenbaum H
(2014) Time cells in the hippocampus: a new dimension for mapping memories
Nature Reviews Neuroscience 15:732–744.

https://doi.org/10.1038/nrn3827
- PubMed
- Google Scholar
(2002) Critical role of the hippocampus in memory for sequences of events
Nature Neuroscience 5:458–462.

https://doi.org/10.1038/nn834
- PubMed
- Google Scholar
1. Froemke RC
2. Poo MM
3. Dan Y
(2005) Spike-timing-dependent synaptic plasticity depends on dendritic location
Nature 434:221–225.

https://doi.org/10.1038/nature03366
- PubMed
- Google Scholar
1. Geisler C
2. Diba K
3. Pastalkova E
4. Mizuseki K
5. Royer S
6. Buzsáki G
(2010) Temporal delays among place cells determine the frequency of population theta oscillations in the hippocampus
PNAS 107:7957–7962.

https://doi.org/10.1073/pnas.0912478107
- PubMed
- Google Scholar
(2020) Characteristics of sequential activity in networks with temporally asymmetric Hebbian learning
PNAS 117:29948–29958.

https://doi.org/10.1073/pnas.1918674117
- PubMed
- Google Scholar
1. Haam J
2. Zhou J
3. Cui G
4. Yakel JL
(2018) Septal cholinergic neurons gate hippocampal output to entorhinal cortex via oriens lacunosum moleculare interneurons
PNAS 115:E1886–E1895.

https://doi.org/10.1073/pnas.1712538115
- PubMed
- Google Scholar
1. Harris KD
2. Henze DA
3. Hirase H
4. Leinekugel X
5. Dragoi G
6. Czurkó A
7. Buzsáki G
(2002) Spike train dynamics predicts theta-related phase precession in hippocampal pyramidal cells
Nature 417:738–741.

https://doi.org/10.1038/nature00808
- PubMed
- Google Scholar
1. Hasselmo ME
(1999) Neuromodulation: acetylcholine and memory consolidation
Trends in Cognitive Sciences 3:351–359.

https://doi.org/10.1016/S1364-6613(99)01365-0
- PubMed
- Google Scholar
Book
1. Hebb DO
(1949) The Organization of Behavior
New York: Wiley.

https://doi.org/10.1007/978-3-642-70911-1_15
- Google Scholar
1. Herweg NA
2. Kahana MJ
(2018) Spatial representations in the human brain
Frontiers in Human Neuroscience 12:297.

https://doi.org/10.3389/fnhum.2018.00297
- PubMed
- Google Scholar
(2003) Independent rate and temporal coding in hippocampal pyramidal cells
Nature 425:828–832.

https://doi.org/10.1038/nature02058
- PubMed
- Google Scholar
(2014) Modeling inheritance of phase precession in the hippocampal formation
Journal of Neuroscience 34:7715–7731.

https://doi.org/10.1523/JNEUROSCI.5136-13.2014
- PubMed
- Google Scholar
1. Jaramillo J
2. Kempter R
(2017) Phase precession: a neural code underlying episodic memory?
Current Opinion in Neurobiology 43:130–138.

https://doi.org/10.1016/j.conb.2017.02.006
- PubMed
- Google Scholar
1. Kahana MJ
(1996) Associative retrieval processes in free recall
Memory & Cognition 24:103–109.

https://doi.org/10.3758/BF03197276
- PubMed
- Google Scholar
(1999) Hebbian learning and spiking neurons
Physical Review E 59:4498–4514.

https://doi.org/10.1103/PhysRevE.59.4498
- Google Scholar
1. Korte M
2. Schmitz D
(2016) Cellular and system biology of memory: timing, molecules, and beyond
Physiological Reviews 96:647–693.

https://doi.org/10.1152/physrev.00010.2015
- PubMed
- Google Scholar
(2009) A specific role of the human hippocampus in recall of temporal sequences
Journal of Neuroscience 29:3475–3484.

https://doi.org/10.1523/JNEUROSCI.5370-08.2009
- PubMed
- Google Scholar
(2008) Temporal compression mediated by short-term synaptic plasticity
PNAS 105:4417–4422.

https://doi.org/10.1073/pnas.0708711105
- PubMed
- Google Scholar
1. Leibold C
2. Kempter R
(2006) Memory capacity for sequences in a recurrent network with biological constraints
Neural Computation 18:904–941.

https://doi.org/10.1162/neco.2006.18.4.904
- PubMed
- Google Scholar
1. Leibold C
2. Monsalve-Mercado MM
(2017) Traveling Theta Waves and the Hippocampal Phase Code
Scientific Reports 7:7678.

https://doi.org/10.1038/s41598-017-08053-3
- PubMed
- Google Scholar
1. Lewandowsky S
2. Murdock BB
(1989) Memory for serial order
Psychological Review 96:25–57.

https://doi.org/10.1037/0033-295X.96.1.25
- Google Scholar
1. Long NM
2. Kahana MJ
(2019) Hippocampal contributions to serial-order memory
Hippocampus 29:252–259.

https://doi.org/10.1002/hipo.23025
- PubMed
- Google Scholar
1. Lubenov EV
2. Siapas AG
(2009) Hippocampal theta oscillations are travelling waves
Nature 459:534–539.

https://doi.org/10.1038/nature08010
- PubMed
- Google Scholar
1. Magee JC
(2001) Dendritic mechanisms of phase precession in hippocampal CA1 pyramidal neurons
Journal of Neurophysiology 86:528–532.

https://doi.org/10.1152/jn.2001.86.1.528
- PubMed
- Google Scholar
1. Malerba P
2. Bazhenov M
(2019) Circuit mechanisms of hippocampal reactivation during sleep
Neurobiology of Learning and Memory 160:98–107.

https://doi.org/10.1016/j.nlm.2018.04.018
- PubMed
- Google Scholar
(1997) Regulation of synaptic efficacy by coincidence of postsynaptic APs and EPSPs
Science 275:213–215.

https://doi.org/10.1126/science.275.5297.213
- PubMed
- Google Scholar
(2009) Oscillations, phase-of-firing coding, and spike timing-dependent plasticity: an efficient learning scheme
Journal of Neuroscience 29:13484–13493.

https://doi.org/10.1523/JNEUROSCI.2207-09.2009
- PubMed
- Google Scholar
(2020) A Hippocampal Model for Behavioral Time Acquisition and Fast Bidirectional Replay of Spatio-Temporal Memory Sequences
Frontiers in Neuroscience 12:961.

https://doi.org/10.3389/fnins.2018.00961
- Google Scholar
(2002) Role of experience and oscillations in transforming a rate code into a temporal code
Nature 417:741–746.

https://doi.org/10.1038/nature00807
- PubMed
- Google Scholar
1. Mishra RK
2. Kim S
3. Guzman SJ
4. Jonas P
(2016) Symmetric spike timing-dependent plasticity at CA3-CA3 synapses optimizes storage and recall in autoassociative networks
Nature Communications 7:11552.

https://doi.org/10.1038/ncomms11552
- PubMed
- Google Scholar
(2018) Cortical travelling waves: mechanisms and computational principles
Nature Reviews Neuroscience 19:255–268.

https://doi.org/10.1038/nrn.2018.20
- PubMed
- Google Scholar
(1999) Replay and time compression of recurring spike sequences in the hippocampus
The Journal of Neuroscience 19:9497–9507.

https://doi.org/10.1523/JNEUROSCI.19-21-09497.1999
- PubMed
- Google Scholar
1. Ng EW
2. Geller M
(1969) A table of integrals of the Error functions
Journal of Research of the National Bureau of Standards, Section B: Mathematical Sciences 73B:1.

https://doi.org/10.6028/jres.073B.001
- Google Scholar
1. O'Keefe J
2. Dostrovsky J
(1971) The hippocampus as a spatial map. Preliminary evidence from unit activity in the freely-moving rat
Brain Research 34:171–175.

https://doi.org/10.1016/0006-8993(71)90358-1
- PubMed
- Google Scholar
1. O'Keefe J
2. Recce ML
(1993) Phase relationship between hippocampal place units and the EEG theta rhythm
Hippocampus 3:317–330.

https://doi.org/10.1002/hipo.450030307
- PubMed
- Google Scholar
1. Patel J
2. Fujisawa S
3. Berényi A
4. Royer S
5. Buzsáki G
(2012) Traveling theta waves along the entire septotemporal axis of the hippocampus
Neuron 75:410–417.

https://doi.org/10.1016/j.neuron.2012.07.015
- PubMed
- Google Scholar
(2009) Replay of rule-learning related neural patterns in the prefrontal cortex during sleep
Nature Neuroscience 12:919–926.

https://doi.org/10.1038/nn.2337
- PubMed
- Google Scholar
1. Pfister JP
2. Gerstner W
(2006) Triplets of spikes in a model of spike timing-dependent plasticity
Journal of Neuroscience 26:9673–9682.

https://doi.org/10.1523/JNEUROSCI.1425-06.2006
- PubMed
- Google Scholar
(2021) Phase precession in the human Hippocampus and entorhinal cortex
Cell.

https://doi.org/10.1016/j.cell.2021.04.017
- PubMed
- Google Scholar
1. Rebola N
2. Carta M
3. Mulle C
(2017) Operation and plasticity of hippocampal CA3 circuits: implications for memory encoding
Nature Reviews Neuroscience 18:208–220.

https://doi.org/10.1038/nrn.2017.10
- PubMed
- Google Scholar
(2012) Grid cells in rat entorhinal cortex encode physical space with independent firing fields and phase precession at the single-trial level
PNAS 109:6301–6306.

https://doi.org/10.1073/pnas.1109599109
- PubMed
- Google Scholar
Software
1. Reifenstein E
2. Kempter R
(2021) Synaptic learning rules for sequence learning , version swh:1:rev:157c347a735a090f591a2b77a71b90d7de65bca5
Software Heritage.

https://archive.softwareheritage.org/swh:1:dir:80da9d4f250f1ac976fd4d184f156c9b0819ebe7;origin=https://gitlab.com/e.reifenstein/synaptic-learning-rules-for-sequence-learning;visit=swh:1:snp:c5505832e809bd9e07eb3fb8a0dfb88de11d05d1;anchor=swh:1:rev:157c347a735a090f591a2b77a71b90d7de65bca5
1. Sato N
2. Yamaguchi Y
(2003) Memory encoding by theta phase precession in the hippocampal network
Neural Computation 15:2379–2397.

https://doi.org/10.1162/089976603322362400
- PubMed
- Google Scholar
1. Schmidt R
2. Diba K
3. Leibold C
4. Schmitz D
5. Buzsáki G
6. Kempter R
(2009) Single-trial phase precession in the hippocampus
Journal of Neuroscience 29:13232–13241.

https://doi.org/10.1523/JNEUROSCI.2270-09.2009
- PubMed
- Google Scholar
1. Schuck NW
2. Niv Y
(2019) Sequential replay of nonspatial task states in the human hippocampus
Science 364:eaaw5181.

https://doi.org/10.1126/science.aaw5181
- PubMed
- Google Scholar
Book
1. Shen E
2. Wang R
3. Zhang Z
(2007) Theta Phase Precession Enhance Single Trial Learning in an STDP Network
In: Wang R, Shen E, Gu F, editors. Advances in Cognitive Neurodynamics ICCN 2007 . Springer. pp. 109–114.

https://doi.org/10.1007/978-1-4020-8387-7_21
- Google Scholar
(2001) Rate, timing, and cooperativity jointly determine cortical synaptic plasticity
Neuron 32:1149–1164.

https://doi.org/10.1016/S0896-6273(01)00542-6
- PubMed
- Google Scholar
(1996) Theta phase precession in hippocampal neuronal populations and the compression of temporal sequences
Hippocampus 6:149–172.

https://doi.org/10.1002/(SICI)1098-1063(1996)6:2<149::AID-HIPO6>3.0.CO;2-K
- PubMed
- Google Scholar
(2008) Phase precession through synaptic facilitation
Neural Computation 20:1285–1324.

https://doi.org/10.1162/neco.2008.07-06-292
- PubMed
- Google Scholar
(1996) Population dynamics and theta rhythm phase precession of hippocampal place cell firing: a spiking neuron model
Hippocampus 6:271–280.

https://doi.org/10.1002/(SICI)1098-1063(1996)6:3<271::AID-HIPO5>3.0.CO;2-Q
- PubMed
- Google Scholar
1. Ulanovsky N
2. Moss CF
(2007) Hippocampal cellular and network activity in freely moving echolocating bats
Nature Neuroscience 10:224–233.

https://doi.org/10.1038/nn1829
- PubMed
- Google Scholar
1. Wilson MA
2. McNaughton BL
(1994) Reactivation of hippocampal ensemble memories during sleep
Science 265:676–679.

https://doi.org/10.1126/science.8036517
- PubMed
- Google Scholar
1. Wittenberg GM
2. Wang SS
(2006) Malleability of spike-timing-dependent plasticity at the CA3-CA1 synapse
Journal of Neuroscience 26:6610–6617.

https://doi.org/10.1523/JNEUROSCI.5388-05.2006
- PubMed
- Google Scholar
(2000) Hippocampal neurons encode information about different types of memory episodes occurring in the same location
Neuron 27:623–633.

https://doi.org/10.1016/S0896-6273(00)00071-4
- PubMed
- Google Scholar
1. Zhang JC
2. Lau PM
3. Bi GQ
(2009) Gain in sensitivity and loss in temporal contrast of STDP by dopaminergic modulation at hippocampal synapses
PNAS 106:13028–13033.

https://doi.org/10.1073/pnas.0900546106
- PubMed
- Google Scholar

Article and author information

Author details

Eric Torsten Reifenstein
1. Institute for Theoretical Biology, Department of Biology, Humboldt-Universität zu Berlin, Berlin, Germany
2. Bernstein Center for Computational Neuroscience Berlin, Berlin, Germany
Contribution
Conceptualization, Software, Formal analysis, Funding acquisition, Validation, Investigation, Visualization, Methodology, Writing - original draft, Project administration, Writing - review and editing

For correspondence
eric@bccn-berlin.de

Competing interests
No competing interests declared

"This ORCID iD identifies the author of this article:" 0000-0002-6898-0178
Ikhwan Bin Khalid

Institute for Theoretical Biology, Department of Biology, Humboldt-Universität zu Berlin, Berlin, Germany

Contribution
Validation, Investigation, Methodology, Writing - review and editing

Competing interests
No competing interests declared

"This ORCID iD identifies the author of this article:" 0000-0003-1783-2834
Richard Kempter
1. Institute for Theoretical Biology, Department of Biology, Humboldt-Universität zu Berlin, Berlin, Germany
2. Bernstein Center for Computational Neuroscience Berlin, Berlin, Germany
3. Einstein Center for Neurosciences Berlin, Berlin, Germany
Contribution
Conceptualization, Resources, Formal analysis, Supervision, Funding acquisition, Validation, Investigation, Visualization, Methodology, Writing - original draft, Project administration, Writing - review and editing

Competing interests
No competing interests declared

"This ORCID iD identifies the author of this article:" 0000-0002-5344-2983

Funding

Deutsche Forschungsgemeinschaft (01GQ1705)

Richard Kempter

Deutsche Forschungsgemeinschaft (GRK 1589/2)

Richard Kempter

Deutsche Forschungsgemeinschaft (SPP 1665)

Richard Kempter

Deutsche Forschungsgemeinschaft (SFB 1315)

Richard Kempter

The funders had no role in study design, data collection and interpretation, or the decision to submit the work for publication.

Acknowledgements

This work was funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation; Grants GRK 1589/2, SPP 1665, SFB 1315 - project-ID 327654276) and the German Federal Ministry for Education and Research (BMBF; Grant 01GQ1705). We thank Lukas Kunz, Natalie Schieferstein, Tiziano D’Albis, Paul Pfeiffer, and Adam Wilkins for helpful discussions and feedback on the manuscript. ETR and RK designed the research. ETR, IBK, and RK performed the research, wrote and discussed the manuscript. ETR, IBK, and RK declare no conflict of interest.

Copyright

This article is distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use and redistribution provided that the original author and source are credited.