 Research
 Open Access
 Published:
Methods to assess binocular rivalry with periodic stimuli
The Journal of Mathematical Neuroscience volume 10, Article number: 10 (2020)
Abstract
Binocular rivalry occurs when the two eyes are presented with incompatible stimuli and perception alternates between these two stimuli. This phenomenon has been investigated in two types of experiments: (1) Traditional experiments where the stimulus is fixed, (2) eyeswap experiments in which the stimulus periodically swaps between eyes many times per second (Logothetis et al. in Nature 380(6575):621–624, 1996). In spite of the rapid swapping between eyes, perception can be stable for many seconds with specific stimulus parameter configurations. Wilson introduced a twostage, hierarchical model to explain both types of experiments (Wilson in Proc. Natl. Acad. Sci. 100(24):14499–14503, 2003). Wilson’s model and other rivalry models have been only studied with bifurcation analysis for fixed inputs and different types of dynamical behavior that can occur with periodically forcing inputs have not been investigated. Here we report (1) a more complete description of the complex dynamics in the unforced Wilson model, (2) a bifurcation analysis with periodic forcing. Previously, bifurcation analysis of the Wilson model with fixed inputs has revealed three main types of dynamical behaviors: Winnertakesall (WTA), Rivalry oscillations (RIV), Simultaneous activity (SIM). Our results have revealed richer dynamics including mixedmode oscillations (MMOs) and a perioddoubling cascade, which corresponds to lowamplitude WTA (LAWTA) oscillations. On the other hand, studying rivalry models with numerical continuation shows that periodic forcing with high frequency (e.g. 18 Hz, known as flicker) modulates the three main types of behaviors that occur with fixed inputs with forcing frequency (WTAMod, RIVMod, SIMMod). However, dynamical behavior will be different with low frequency periodic forcing (around 1.5 Hz, socalled swap). In addition to WTAMod and SIMMod, cycle skipping, multicycle skipping and chaotic dynamics are found. This research provides a framework for either assessing binocular rivalry models to check consistency with empirical results, or for better understanding neural dynamics and mechanisms necessary to implement a minimal binocular rivalry model.
1 Introduction
In bistable perception, our perceptual experience evolves dynamically with fixed sensory inputs, thus providing a window into the intrinsic neural computations underlying the dynamics of sensory processing. Binocular rivalry is one example from a broad range of bistable or multistable perceptually ambiguous stimuli. It occurs when the two eyes are presented with incompatible monocular patterns (exclusively to one eye). Even though the patterns are fixed, perceptual awareness alternates every 1–5 s between two perceptual interpretations consistent with only one monocular pattern [3]. In other words, one of the monocular patterns is suppressed totally and the other one is dominant (thus winning the rivalry). This phenomenon has been investigated in a wide range of experimental approaches: human behavioral studies [1, 4], primate physiological experiments [5, 6], fMRI (functional magnetic resonance imaging) studies [7, 8], and EEG (electroencephalogram) recordings in humans [9]. Despite a long tradition of binocular rivalry research there are still questions about the neurocomputational basis and the underlying mechanisms of this phenomenon. In addition to experimental investigations, powerful tools such as mathematical modeling and bifurcation analysis have been utilized to explain this phenomenon [10–12], but many interesting questions remain.
There are contradictory ideas about whether rivalry takes place between neural populations associated with each eye or associated with stimulus features [1, 13]. The complex hierarchical architecture of visual cortical areas makes it difficult to associate object perception to a particular locus in cortex. The locus of visual perception and the level at which binocular rivalry is resolved are unknown. Previously, primary visual cortex (V1) had been considered as the locus of rivalry alternations and the phenomenon known as interocular eye rivalry [14–16]. According to this traditional interpretation, perceptual rivalry occurs as a result of competition between monocular driven neurons in primary visual cortex (V1) (eyebased rivalry). On the contrary, there are some studies which show correlation between perception during rivalry and activity in featureselective higher cortical areas whose inputs are pooled from both eyes (supporting stimulus rivalry) [5, 6]. In order to resolve this dispute, Logothetis et al. introduced a new stimulus paradigm, socalled Flicker and Swap (F&S) in which monocular stimuli were swapped between two eyes at 1.5 Hz (eyeswapping). The stimuli were flickered on and off at 18 Hz in order to reduce the subject’s awareness of the swap times [1]. The notion of eye rivalry predicts that a subject’s perception must follow the stimulus as it switches between the eyes. However, F&S experiments, similar to traditional experiments, showed that each period of perceptual dominance lasts on average around 2 seconds and spans over six to seven stimulus swaps [1]. It can be concluded from the F&S experiment that rivalry cannot be the result of suppressing one eye completely (and dominance of the other eye). These results suggest that the stimulus rivalry hypothesis is a more accurate interpretation than eye rivalry.
For decades, the common empirical paradigm for studying binocular rivalry has been through stimulation of each eye with fixed stimuli (always on) [17, 18]. Several computational models of binocular rivalry have been proposed that were able to capture temporal characteristics of traditional rivalry (eyebased) with a specific set of model parameters [10–12, 19–23]. The minimal properties required to implement a model that is compatible with the existing rivalry evidence is reciprocal inhibition between two monocular neural populations and a slow process (spikefrequency adaptation or synaptic depression) together with nonlinearity of the spike rate gain function [21]. Although these models posed different features in the implementation of reciprocal inhibition, slow processes and gain function, all of them show common qualitative characteristics for neural competition [11].
Wilson sought to explain the stimulus rivalry with a twostage model [2]. The first stage represents monocular neurons in primary visual cortex, and the second stage represents binocular neurons in later (higher) stages of processing (Fig. 1(A)). The Wilson model can account for maintained perceptual dominance across eye swaps with F&S stimuli [2]. However, this model predicts that monocular neural activity is not modulated during stimulus rivalry, which is contradicted by experimental evidence [24]. Whilst a later paper from Wilson [21] suggested these could be accounted for by descending connections to the monocular layer, Brascamp et al. claimed that it is possible to have stimulus rivalry without binocular contributions [24]. The Li et al. model [25] similar to the Wilson model [2] included a second stage to explain stimulus rivalry; however, unlike the Wilson model this second layer is responsible for attentional modulation rather than another layer of rivalry. Attentional modulation provides feedback to monocular layers, and thus stimulus rivalry can be seen in the first layer. Li et al. [25] also note that stimulus rivalry can occur without flicker in experiments if there are blank intervals before swaps times [26, 27], which was not captured by the Wilson model.
Traditional rivalry with a fixed stimulus in each eye was studied with the Wilson model [2]. Earlier work presented a bifurcation analysis of the Wilson model with fixed inputs and identified parameter regions with different dynamical behavior [11]. However, we found that a richer bifurcation structure exists at the crucial transition from winnertakeall to rivalry. Thus, a bifurcation analysis for fixed inputs that investigates all bifurcations occurring between different dynamical states is required. Furthermore, Wilson’s model and other rivalry models have been only studied using bifurcation analysis for fixed inputs, whilst the different dynamical behavior that can occur with periodically forced inputs have only been investigated at isolated parameter values with direct simulations (time histories) [2], although see [28]. In general, sensitivity to model parameters with periodic inputs has not been studied so far. To fully explain F&S experiments, we need to understand the bifurcations that distinguish different states such as perception following the stimulus swaps and perception being stable for many seconds. Thus, a complete bifurcation analysis of the model with fixed and periodic inputs with careful attention to complex dynamics phenomena is required.
We aim to properly explain and understand the dynamics of binocular rivalry and how they change with different kinds of inputs (traditional, flickering, swapping, and F&S stimuli). Here we focus on the Wilson model and we were successful in building a framework to study rivalry models with, not only fixed input, but also with periodic forcing. For a thorough dynamical analysis, we analyse the Wilson model with periodic input using numerical continuation tools. This allows us to investigate different dynamical regimes and boundaries between them (bifurcations), as computed for multiple parameters. The approach presented here is applicable to a range of models for bistable perception with periodically varying stimuli.
2 Methods
Here we focus on the twostage, hierarchical Wilson model which can explain both traditional and F&S experiments [2]. The first stage represents monocular neurons in primary visual cortex, and the second stage represents binocular neurons in higher cortical areas (Fig. 1(A)). These neurons selfadapt, as modelled by spikefrequency adaptation, and there is mutual inhibition between monocular neurons representing different eyes and grating orientations. We split the first level into two isolated subunits:
 (1)
competition between neurons representing the horizontal grating in the left eye (HL) and the vertical grating in the right eye (VR).
 (2)
competition between neurons representing the vertical grating in the left eye (VL) and the horizontal grating in the right eye (HR).
Spikerate equations for the first isolated subunit in the first stage of the Wilson model [2] are given by
Here \(J_{\mathrm{HL}}\) and \(J_{\mathrm{VR}}\) are inputs to populations representing a horizontal grating in the left eye and a vertical grating in the right eye, respectively. \(E_{i}\) is the firing rate of the excitatory population i (\(i={\mathrm{HL}},{\mathrm{VR}} \)), \(H_{i}\) is the adaptation variable, and \(I_{i}\) is the inhibitory firing rate. The asymptotic firing rate, the second term on the righthand side of the first and fourth expressions in (1), is determined by a Naka–Rushton function for positive values of its argument \((JgI)_{+}\), where \((JgI)_{+}=JgI\) if \(J\geq gI\) and \((JgI)_{+}=0\) if \(J < gI\) (Naka and Rushton 1966). The following values of the parameters are used: \(\tau = 20\mbox{ ms}\), \(\tau _{H}= 900\mbox{ ms}\), \(\tau _{I}= 11\mbox{ ms}\), as in the original paper [2]. The values of inhibition strength g and adaptation strength h are varied as part of the bifurcation analysis.
Here we only consider one of the isolated subunits in the first stage (marked by a dashed box in Fig. 1(A)). By this simplification, we will only have two populations of neurons which correspond to the monocular neurons sensitive to horizontal stimuli in the left eye (HL) and vertical stimuli in the right eye (VR). For the traditional experiment, we will not lose generality since each eye only receives horizontal or vertical stimuli and one of the subunits always has no inputs. For the periodically forced cases, both subunits have their own inputs (Fig. 1(B)). However, because of symmetry and the feedforward nature of the network we can carry out our analysis without the other subunit at monocular layer. We only investigate one of the subunits, which is further justified and considered along with the implications of our results for the full model in the discussion.
Stimuli for different cases: traditional rivalry, swap only, flicker only, F&S, and B&S are shown in Fig. 2. In order to produce periodic forcing stimuli, we add two ODEs to the main equations in (1), which describe a nonlinear oscillator,
with solutions: \(x_{s}(t) = \sin (2 \pi f_{s} t)\), \(y_{s}(t) = \cos (2 \pi f_{s} t) \), where \(f_{s}\) is the frequency of oscillations. In order to have a smooth square form wave rather than sinusoidal, we use a steep sigmoid,
with \(k=10 \). Thus our desirable periodic forcing for swap only (\(f_{s}=1.5 \mbox{ Hz} \)) and flicker only (\(f_{s}=18\mbox{ Hz} \)) cases can be applied by replacing \(J_{\mathrm{HL}}(t)=J_{\mathrm{VR}}(t)=x(t) \) in (1). For F&S stimuli, we have two forcing terms with different frequencies. Considering that the flickering frequency is an integer multiple of swap frequency (\(f_{f}=12 f_{s} \)), we first build the lower frequency forcing (\(x_{s} \)) using Eqs. (2), and the higher frequency forcing (\(x_{f} \)) can be computed by
Then the F&S stimuli can be produced from its components:
The nonlinear gain function that appears in the righthand side of the original Wilson model is a discontinuous function in its first derivative due to the rectification operation \((JgI)_{+} \). Numerical continuation routines require smooth systems of equations. In order to solve this problem we have used a steep sigmoid function to smooth out the transition at zero. So instead of the \((JgI)_{+} \) terms in (1), we substitute \(R(JgI) \) as:
Where \(k=30 \) defines the slope and \(\theta =0.05 \) defines the threshold. This becomes particularly important when we want to follow the locus of torus bifurcations (T) in the parameter plane. Further difficulties in following the locus of torus bifurcations were resolved by introducing a small parameter (\(\epsilon =0.001 \)) to break the \(\mathrm{HL} \leftrightarrow \mathrm{VR}\) symmetry in the first ODE in (1),
This removed a potential degeneracy in the torus bifurcation defining system that allowed for the computations to be completed. The numerical integration of the initial value problems were carried out in MATLAB using a fourthorder Runge–Kutta method with time step 0.1 ms. Numerical continuation was performed with the package AUTO07p, by and large using relatively standard constants, but notably increasing the mesh size (NTST) for the computation of periodic orbits in the forced cases and when the period became large [29]. Source code for the model is available in the GitHub repository farzanehdarki/Darki2020_methods: https://github.com/farzanehdarki/Darki2020_methods.
3 Results
3.1 Bifurcation analysis of traditional rivalry with fixed inputs
Previously, three main types of dynamical behaviors were found in many models of rivalry with fixed inputs (including the Wilson model): Winnertakeall (WTA), Rivalry oscillations (RIV), Simultaneous activity (SIM). The bifurcation diagram with fixed inhibition strength \(g=1.5\), and varying adaptation strength h, is presented in Fig. 3(A). A trivial symmetric equilibrium always exists, which is stable for large values of adaptation strength and corresponds to simultaneous activity (SIM) (Fig. 3(C)). This equilibrium loses its stability with decreasing adaptation strength and a stable limit cycle emerges from a supercritical Hopf bifurcation (H). These relaxation oscillations correspond to rivalry (RIV). For h increasing from zero on the symmetric unstable branch, a pair of unstable fixed point branches emerge at a pitchfork bifurcation (PF) with the \(E_{1}=E_{2}\) symmetry broken. The complementary branches undergo fold bifurcations (L) nearby but remain unstable. These two unstable fixed point branches go through two supercritical Hopf bifurcations and become stable. These two stable equilibria create a bistable parameter range known as winnertakeall (WTA), which exists for small h. The qualitative transformation of the system from RIV to WTA remains unclear and must involve as yet undetermined bifurcations at changes in stability on the RIV branch (Fig. 3(B), green curve).
In this study, a more complete numerical bifurcation analysis has been carried out to find other stable solutions in the small parameter gap between the WTA and RIV (Fig. 3(B)). As seen in Fig. 4(A), a pair of stable limit cycles emerge from two supercritical Hopf bifurcations (on upper and lower WTA branches) as adaptation strength is increased. These lowamplitude oscillations move around the topmost and bottommost of the five equilibrium branches existing between PF and L. We call this dynamical behavior lowamplitudewinnertakeall (LAWTA) since there is bistability like WTA behavior; however, the stable states are oscillatory solutions with very small amplitude around asymmetric unstable equilibria (Fig. 4(A)). By further increasing adaptation strength, a cascade of perioddoubling bifurcations emerges from the LAWTA branch (Fig. 4(C)). For example, one period of the original limit cycle emerging from a supercritical Hopf bifurcation looks like a sinusoidal signal with one peak and one trough. After the first perioddoubling bifurcation (PD), one period of oscillations will have two peaks and two troughs with tiny differences between the peak and trough amplitudes. As seen in Fig. 5, even after three PD bifurcations, the difference in amplitude between the 8 peaks remains small.
On the other side, the limit cycle emerging from the supercritical Hopf bifurcation (green branch labeled RIV in Fig. 3(A–B)) becomes unstable as adaptation strength decreases; however, the continuation software does not detect any bifurcation where the stability changes. This appears to be a global bifurcation which is not detectable by local analysis. We will refer to this putative global bifurcation at the change in stability at the RIV branch as the global bifurcation. Without any specific bifurcation in hand, we cannot follow any emerging stable branch. To tackle this issue we compute the stable periodic solution (assuming one exists, using numerical integration) for a specific value of adaptation strength (in a range between last PD and the change in stability on the RIV branch) and then follow any periodic solution branch using numerical continuation. On the right side of the global bifurcation, time simulations show relaxation oscillations that reach high amplitude rapidly and before relaxing to baseline (Fig. 6(B)). However, on the left side of the change in stability (close to the global bifurcation), we observe that in addition to high amplitude oscillations, one low amplitude oscillation appears (Fig. 6(C)). By further decreasing adaptation strength, there is always one high amplitude oscillation, but the number of low amplitude oscillations increases (Fig. 6(C–F)). The period of these oscillations increase sharply as we move toward a critical parameter value \(h\approx 4.22843\) (Fig. 6(A)). This complex behavior is known as mixedmode oscillations (MMOs) since it is a mixture of low and high amplitude oscillations. Using the approach described above we could compute stable branches on the left side of global bifurcation (Fig. 4(B)). Interestingly, stable solutions occur through a series of discrete branches. The discontinuous transitions from one branch segment to the next are similar to the spikeadding mechanism from [30]. The bifurcation structure here appears similar to the canardinduced MMOs identified in a spiking neuron model [31]. The sharp increase in amplitude of the limit cycle branch over a short parameter range emerging near the critical value of h (Fig. 6 caption) suggests the complex behavior in this region is also associated with canards. Bifurcation analysis of another simple rivalry model with 4 ODEs and different nonlinearity revealed a similar structure for MMOs through the interaction of canards and a singular Hopf point [32]. Whilst, there are some similarities with the MMOs found in the present study, a more rigorous approach would be needed to say whether these MMOs are canardinduced, Hopfinduced, or result from an interaction of both mechanisms. The global bifurcation and the transitions between MMO branches remain to be determined. The behaviors reported here are confined to a narrow region of the \((g,h)\) parameter plane near the lefthand locus of Hopf bifurcation (Fig. 4(D)).
Here, a more complete analysis has revealed MMOs emerge from high amplitude RIV oscillations (Fig. 4(B)) and a cascade of perioddoubling bifurcations emerge from LAWTA oscillations (Fig. 4(C)) which have not been reported before in the Wilson model. This analysis describes the mechanism of state transition from WTA to RIV which was not clear before. Whilst MMOs have been reported in another model of rivalry [32, 33], the appearance of a stable PD cascade has revealed richer dynamics in the Wilson model which may also play a part in the mechanisms that lead to appearance and disappearance of limit cycles associated with MMOs. An interesting avenue of investigation will be to understand how the lowamplitude PD cascade (Fig. 4(C)) interacts with periodic forcing. This provides the context to fully understand the periodically forced case.
3.2 Bifurcation analysis of binocular rivalry with periodic forcing
3.2.1 Flicker (18 Hz) only
Bifurcation analysis with the flickering stimulus shows that periodic forcing with high frequency (e.g. 18 Hz) modulates the three main types of behaviors that occur with fixed inputs. Instead of WTA and SIM fixed point branches in traditional rivalry with a fixed stimulus (Fig. 3(A)), modulated WTA (WTAMod) and modulated SIM (SIMMod) periodic solution branches are found with the flickering stimulus (Fig. 7(A)). Subsequently, the SIMMod branch undergoes a torus bifurcation (T) giving rise to a torus branch with aperiodic oscillations corresponding to modulated slow rivalry alternations (RIVMod). Following the torus bifurcation in the \((g,h)\) parameter plane defines the boundary of rivalry oscillations (Fig. 7(B)). The locus of a pitchfork bifurcation (BP) remains close to the lefthand torus curve (Fig. 7(B), not shown). It appears that the MMO branches and PD cascade identified for fixed inputs disappear with the introduction of flicker. This analysis found evidence that slow rivalry alternations RIVMod can exist at parameter values adjacent to regions where stimulusinduced oscillations exist (SIMMod). Time histories of these dynamical behaviors are shown in (Fig. 7(C)). These results are consistent with experiments: Flicker stimuli do not differ from the traditional rivalry case [13].
3.2.2 Swap (1.5 Hz) only
The dynamical behavior with low frequency periodic forcing (around 1.5 Hz, socalled swap) is different, and in addition to WTAMod behavior (for small values of adaptation strength) and SIMMod (for large values of adaptation strength), cycle skipping occurs through a PD bifurcation on the SIMMod branch (Fig. 8(A)). Cycle skipping refers to the response of each competing population to every other stimulus onset. This means two populations respond in turn to stimulus cycles and while one has high activity during a cycle the other one stays inactive (Fig. 9(A)). We note that the period of the perioddoubled solution is 1.333 s and is plausibly the result of a resonance with the fixedinput limitcycle, which has a period >2 s, for larger values of h [11]. SIMMod and cycle skipping have been reported in a simpler model of rivalry [34] and via direct simulations of the Wilson model in [25].
As seen in (Fig. 8(B–C)), the cycle skipping branch loses stability at a fold bifurcation (L) for decreasing h. For h increasing, branching off from the PD point on the WTAmod branch leads to a cascade of PD bifurcations (Fig. 8(D)). In order to find the possible stable periodic branches between the last PD and the fold bifurcation, we compute the stable periodic solution (assuming it exists) using numerical integration for a specific value of adaptation strength, and then start continuation from this solution. With this approach, we found a family of discontinuous branches, which correspond to multicycle skipping (Fig. 8(C)). On these branches, the number of stimulus cycles between switches of activity from one population to the other is variable and increases by one as the bifurcation parameter decreases (Fig. 9(A–E)). Here we found a small region of bistability between the onecycle skipping and twocycle skipping behaviors (at around \(h=0.05 \) in Fig. 8(C)). Therefore, in the full hierarchical model it would be possible to find an asymmetric solution where the HLVR units at the first stage behave differently. However, as explained in the discussion the model normally operates close to the SIMMod region, which is far away in parameter space from the cycle skipping region with bistability.
Another interesting behavior is the appearance of a chaotic attractor in a parameter range between the PD cascade and multicycle skipping family branches (Fig. 8(C)). Figure 9(F–G) represents chaotic firing activity for each population in a 200 s simulation. The number of cycles between switches does not show any regular or repeating pattern.
3.2.3 Flicker (18 Hz) & (1.5 Hz) Swap
The bifurcation structure with both high frequency flicker and low frequency swap appears to be analogous to bifurcation structure with swap only case (Fig. 10(A–B)). However, the righthand PD bifurcation point in the transition from cycle skipping to SIMMod moves down in adaptation strength. This is shown in a direct comparison of twoparameter bifurcation diagrams for the F&S and swap only cases in (Fig. 11(A)). In fact, with the same values of adaptation strength that we might expect cycle skipping from swap only case, with F&S stimulus we can get SIMmod, which turns out to be critical for obtaining slow alternations, see discussion.
3.2.4 Blanks (150 ms) & (1.5 Hz) Swap
Our result shows that the effect of blank insertion before swap times, similar to the effect of adding flicker to swap stimuli, moves the PD bifurcation point down the bifurcation parameter h (Fig. 11(B)), but to a much lesser extent than the introduction of flicker; compare Fig. 11(A) and (B).
4 Discussion
4.1 Summary
Earlier work with models of bistable perception has identified parameter ranges with winnertakeall dynamics (WTA), rivalry oscillations (RIV) and simultaneous activity (SIM) [35, 36]. Such regimes are known for the Wilson model as input strength is increased [11]. Our results show that the Wilson model with fixed inputs is capable of generating complex dynamical behaviors such as MMOs and LAWTA oscillations, previously not reported. We have also built a framework for studying rivalry models with periodic inputs using numerical continuation. Given symmetry between orientations (0° & 90°) and eyes (L&R), and the feedforward structure of the hierarchical Wilson model, it is sufficient to study one pair of units in the monocular layer. We found that periodic forcing with high frequency (e.g. 18 Hz, known as flicker) modulates the three main types of behaviors that occur with fixed inputs with forcing frequency (WTAMod, RIVMod, SIMMod). However, the dynamical behavior changes with low frequency periodic forcing (around 1.5 Hz, socalled swap), and in addition to WTAMod and SIMMod, cycle skipping and multicycle skipping behavior exist which can lead to chaotic dynamics. Cycle skipping behavior with swap stimuli (1.5 Hz fast alternations) is not consistent with experiments [13, 37], where we expect slow rivalry alternation (duration around 2 s). In order to understand the dynamics of the full hierarchical model with periodic forcing, we should consider that the inputs for the second layer of the Wilson model are the responses of populations selective to the same orientation from the first monocular layer (Fig. 1(A)). For example, if the isolated subunits in the first layer are in the SIMMod regime (Fig. 11(A)), the stimuli for the second layer will look like a fixed stimulus to the second layer (where SIMMod occurs in the first layer for the Swap only stimulus) or a flickering stimulus (where SIMMod occurs in the first layer for the F&S stimulus). This means the second layer is effectively stimulated with traditional or flickering stimuli and by selecting the current inhibition strength it is possible to get slow rivalry alternations in the second layer. This provides a deeper explanation of how the Wilson model produces slow alternations with the F&S (but not Swap only stimulus).
4.2 Rivalry model complexity and comparison with other models
There are other computational models that can capture properties of perceptual dominance durations in both types of experiments (traditional experiments and F&S experiments) [24, 25]. Brascamp’s model, with less complexity than Wilson’s, has only one layer of monocular units with the extension of inhibition to withineye and crosseye isoorientation connections [38, 39]. The model proposed by Brascamp et al. correctly reflects the fluctuations in monocular neurons; however, their model generates slow alternations only when the blank intervals before swaps are short. The Li et al. model [25] with another layer of attentional modulation (in addition to monocular and binocular layers) is the most sophisticated binocular rivalry model, accounting for a wide range of phenomena but with greatly increased complexity (14 ODEs).
MMOs have already been reported in a simpler rivalry model with four ODEs (without an inhibition equation in each subunit) through interactions of singular Hopf and canard [32, 33]. However, the LAWTA regime emerging through a PD cascade has not been reported before. The question arises as to whether there is a distinct mechanism (from say [32, 33]) specific in the Wilson model that leads to similar MMO dynamics. We found that by assuming instantaneous inhibition dynamics (\(\tau _{I} \to 0\) in Eqs. (1)) in the Wilson model, all of the complex behaviors with traditional stimuli still persist (Fig. 12). Thus any differences to the bifurcation structure across different models are likely due to the differences in the nonlinearity processing inputs to each unit. In the Wilson model the Hopf bifurcation is supercritical (subcritical in [32]) and stable branches emerging in a PD cascade appear to terminate (lose stability) at the hvalue where MMOs first emerge. The large increase in period and the large excursion in phase space required to jump from the PD branch to the fullamplitude MMO branches at a critical value of h are consistent with a canard mechanism, but more exotic than reported previously. Indeed, further analysis would be needed to resolve how the PD cascade terminates and the MMO branches emerge through a common mechanism.
4.3 Limitations of the Wilson model
As discussed in [24, 25], the Wilson model is only capable of generating slow perceptual alternations with the F&S stimulus, and it fails to do so with blank intervals inserted before each swap, socalled Blank & Swap (B&S) [26, 27]. Our results show that blank insertion similar to a flickering stimulus moves the boundaries up in the adaptation–inhibition strength plane (Fig. 11(B)), but to a lesser change than F&S. In order to be in the SIMMod area, which as discussed before is necessary for slow rivalry alternations at the second stage, adaptation strength needs to be increased or inhibition strength decreased. On the other hand, the existence of cycle skipping behavior with swap stimuli leads to perceptual alternation with a frequency half of the swap rate at the second stage [25], which to our knowledge is not consistent with empirical results [13, 37]. This reported limitation of the Wilson model could simply be avoided if the parameters had been set in a way that the model operated in the SIMMod regime. Our result casts a new light on binocular rivalry with periodic forcing and it is now clear that these two limitations of the Wilson model could be fixed by tuning model parameters.
4.4 Implications for experiments
Even though we showed that model parameters can be tuned for consistent behavior with experimental results, our results also predict apparently spurious dynamical behaviors such as cycle skipping with swap stimuli at the monocular level that has not been reported by experimental work. It is possible that this behavior (a 1.5 Hz fast alternation) was not distinguishable from 3 Hz fast alternation in perceptual reports. Future empirical studies could investigate the existence of such behavior at the early stages of visual processing with monocular contributions and at later stages, i.e. higher cortical layers where the activity would propagate.
4.5 Future work
Levelt’s propositions [17] with traditional rivalry are well known. However, they have not been investigated with F&S stimuli in any of the existing models of rivalry. It has been shown in experiments [1] that Levelt’s proposition II holds with F&S stimuli (whilst to our knowledge Levelt’s proposition IV has yet to be investigated). By implementation of these forcing cases with numerical continuation we now have the tools to determine constraints on models such that they are consistent Levelt’s propositions with periodic forcing [2].
The PD cascade found in the traditional rivalry case suggests the existence of chaotic dynamics in a small range of parameter between PD cascade and MMO branches. This could be checked by computing Lyapunov exponents for a continuoustime dynamical system. Note that these lowamplitude oscillations (LAWTA) appear to interact with periodic forcing to produce chaotic dynamics at high amplitude (Fig. 9).
Taking the unforced system and adding periodic inputs we might expect the fine structure from the traditional rivalry case to be washed out. This is true in e.g. the flicker case. However, we find in the swap case that the periodic forcing does interact with the deterministic dynamics to produce a family for cycle skipping branches and chaotic dynamics. Noise plays an important role in rivalry, and this is often considered in models [35]. It remains outside the scope of the current work to explore whether the regions of exotic dynamics found in the traditional case and in the swap case would be washed out by the inclusion of noise. Nevertheless, the introduction of noise to timescaleseparated dynamical systems (like the Wilson model) can introduce dynamics not present in the deterministic case, especially local to bifurcations [40]. Interactions between noise and the dynamics may modify the exotic dynamics reported here in an interesting way, and could expand the parameter regions where these states persist.
Our approach for studying perceptual bistability with periodic stimuli is applicable for a range of other stimuli including auditory streaming [41], motion illusions [28] and haptic bistability [42].
4.6 Conclusion
The main conclusions of this work are drawn together and presented here. First, the results of our study show that the transition from slow rivalry alternation to the WTA regime is much more complicated than previously reported. As shown in Shpiro et al. [35], the stochastic characteristic of the dominance durations in the presence of noise are best described near this boundary (transition from RIV to WTA). It would be of interest to see how these complex dynamics (MMOs & LAWTA) will interact with noise. Further analysis is needed to check whether these dynamical regimes persist or are modified in the presence of noise.
Second, several competition models have been proposed to describe binocular rivalry with periodic stimuli, however, interpretation of results from these models are based on a specific set of parameters. Here we introduced a method to assess whether the existing models of binocular rivalry are valid or not in a specific parameter regime and, more generally, to find the parameter regions where these models work. This research provides a framework for either assessing binocular rivalry models for consistency with empirical results, or for better understanding neural dynamics and the mechanisms necessary to implement a minimal binocular rivalry model.
Abbreviations
 BP:

Branch Point
 B&S:

Blanks and Swaps
 EEG:

Electroencephalogram
 fMRI:

Functional Magnetic Resonance Imaging
 F&S:

Flicker and Swaps
 H:

Hopf Bifurcation
 HL:

Horizontal Left
 HR:

Horizontal Right
 L:

Fold Bifurcation
 LAWTA:

Low Amplitude Winnertakeall
 MMOs:

Mixedmode Oscillations
 Mod:

Modulated
 PD:

Perioddoubling
 PF:

Pitchfork Bifurcation
 RIV:

Rivalry Oscillations
 SIM:

Simultaneous Activity
 T:

Torus Bifurcation
 VL:

Vertical Left
 VR:

Vertical Right
 WTA:

Winnertakeall
References
Logothetis NK, Leopold DA, Sheinberg DL. What is rivalling during binocular rivalry? Nature. 1996;380(6575):621–4.
Wilson HR. Computational evidence for a rivalry hierarchy in vision. Proc Natl Acad Sci. 2003;100(24):14499–503.
Blake R, Logothetis NK. Visual competition. Nat Rev Neurosci. 2002;3(1):13–21.
Wilke M, Logothetis NK, Leopold DA. Generalized flash suppression of salient visual targets. Neuron. 2003;39(6):1043–52.
Logothetis NK, Schall JD. Neuronal correlates of subjective visual perception. Science. 1989;245(4919):761–3.
Leopold DA, Logothetis NK. Activity changes in early visual cortex reflect monkeys’ percepts during binocular rivalry. Nature. 1996;379(6565):549–53.
Polonsky A, Blake R, Braun J, Heeger DJ. Neuronal activity in human primary visual cortex correlates with perception during binocular rivalry. Nat Neurosci. 2000;3(11):1153–9.
Tong F, Engel SA. Interocular rivalry revealed in the human cortical blindspot representation. Nature. 2001;411(6834):195–9.
Zhang P, Jamison K, Engel S, He B, He S. Binocular rivalry requires visual attention. Neuron. 2011;71(2):362–9.
Laing CR, Chow CC. A spiking neuron model for binocular rivalry. J Comput Neurosci. 2002;12(1):39–53.
Shpiro A, Curtu R, Rinzel J, Rubin N. Dynamical characteristics common to neuronal competition models. J Neurophysiol. 2007;97(1):462–73.
Curtu R, Shpiro A, Rubin N, Rinzel J. Mechanisms for frequency control in neuronal competition models. SIAM J Appl Dyn Syst. 2008;7(2):609–49.
Lee SH, Blake R. Rival ideas about binocular rivalry. Vis Res. 1999;39(8):1447–54.
Sengpiel F, Blakemore C, Harrad R. Interocular suppression in the primary visual cortex: a possible neural basis of binocular rivalry. Vis Res. 1995;35(2):179–95.
Sengpiel F, Freeman T, Blakemore C. Interocular suppression in cat striate cortex is not orientation selective. NeuroReport. 1995;6(16):2235–9.
Li B, Peterson MR, Thompson JK, Duong T, Freeman RD. Crossorientation suppression: monoptic and dichoptic mechanisms are different. J Neurophysiol. 2005;94(2):1645–50.
Levelt WJM. On binocular rivalry. Soesterberg, The Netherlands: Institutefor Perception RVOTNO; 1965.
Cao R, Braun J, Mattia M. Stochastic accumulation by cortical columns may explain the scalar property of multistable perception. Phys Rev Lett. 2014;113(9):098103.
Lehky SR. An astable multivibrator model of binocular rivalry. Perception. 1988;17(2):215–28.
Blake R. A neural theory of binocular rivalry. Psychol Rev. 1989;96(1):145–67.
Wilson HR. Minimal physiological conditions for binocular rivalry and rivalry memory. Vis Res. 2007;47(21):2741–50.
Salinas E. Background synaptic activity as a switch between dynamical states in a network. Neural Comput. 2003;15(7):1439–75.
Freeman AW. Multistage model for binocular rivalry. J Neurophysiol. 2005;94(6):4412–20.
Brascamp J, Sohn H, Lee SH, Blake R. A monocular contribution to stimulus rivalry. Proc Natl Acad Sci. 2013;110(21):8337–44.
Li HH, Rankin J, Rinzel J, Carrasco M, Heeger DJ. Attention model of binocular rivalry. Proc Natl Acad Sci. 2017;114(30):6192–201.
van Boxtel JJ, Knapen T, Erkelens CJ, van Ee R. Removal of monocular interactions equates rivalry behavior for monocular, binocular, and stimulus rivalries. J Vis. 2008;8(15):13.
Denison RN, Silver MA. Distinct contributions of the magnocellular and parvocellular visual streams to perceptual selection. J Cogn Neurosci. 2012;24(1):246–59.
Vattikuti S, Thangaraj P, Xie HW, Gotts SJ, Martin A, Chow CC. Canonical cortical circuit model explains rivalry, intermittent rivalry, and rivalry memory. PLoS Comput Biol. 2016;12(5):1004903.
Doedel EJ, Fairgrieve TF, Sandstede B, Champneys AR, Kuznetsov YA, Wang X. Auto07p: continuation and bifurcation software for ordinary differential equations (software package). 2007.
Nowacki J, Osinga HM, TsanevaAtanasova K. Dynamical systems analysis of spikeadding mechanisms in transient bursts. J Math Neurosci. 2012;2(1):7.
Ermentrout B, Wechselberger M. Canards, clusters, and synchronization in a weakly coupled interneuron model. SIAM J Appl Dyn Syst. 2009;8(1):253–78.
Curtu R, Rubin J. Interaction of canard and singular Hopf mechanisms in a neural model. SIAM J Appl Dyn Syst. 2011;10(4):1443–79.
Curtu R. Singular Hopf bifurcations and mixedmode oscillations in a twocell inhibitory neural network. Phys D: Nonlinear Phenom. 2010;239(9):504–14.
Jayasuriya S, Kilpatrick ZP. Effects of timedependent stimuli in a competitive neural network model of perceptual rivalry. Bull Math Biol. 2012;74(6):1396–426.
Shpiro A, MorenoBote R, Rubin N, Rinzel J. Balance between noise and adaptation in competition models of perceptual bistability. J Comput Neurosci. 2009;27(1):37–54.
Seely J, Chow CC. Role of mutual inhibition in binocular rivalry. J Neurophysiol. 2011;106(5):2136–50.
Blake R, Westendorf DH, Overton R. What is suppressed during binocular rivalry? Perception. 1980;9(2):223–31.
Baker DH, Meese TS, Summers RJ. Psychophysical evidence for two routes to suppression before binocular summation of signals in human vision. Neuroscience. 2007;146(1):435–48.
Moradi F, Heeger DJ. Interocular contrast normalization in human visual cortex. J Vis. 2009;9(3):13.
Berglund N, Gentz B. Stochastic dynamic bifurcations and excitability. In: Stochastic methods in neuroscience. 2008. p. 64–93.
Rankin J, Sussman E, Rinzel J. Neuromechanistic model of auditory bistability. PLoS Comput Biol. 2015;11(11):1004555.
Carter O, Konkle T, Wang Q, Hayward V, Moore C. Tactile rivalry demonstrated with an ambiguous apparentmotion quartet. Curr Biol. 2008;18(14):1050–4.
Acknowledgements
We thank Pete Ashwin and Jan Sieber for discussion and suggestions during this project. We thank HsinHung Li, Andrea Ferrario, and John Rinzel for valuable feedback on earlier versions of this manuscript.
Availability of data and materials
Source code for the model is available in the GitHub repository farzanehdarki/Darki2020_methods: https://github.com/farzanehdarki/Darki2020_methods.
Funding
Rankin acknowledges support from an Engineering and Physical Sciences Research Council (EPSRC) New Investigator Award (EP/R03124X/1) and from the EPSRC Centre for Predictive Modelling in Healthcare (EP/N014391/1).
Author information
Authors and Affiliations
Contributions
All authors were involved in the problem formulation, theoretical analysis, discussion of the results and writing the manuscript. FD implemented and carried out all numerical analysis and simulations. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare that they have no competing interests.
Consent for publication
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Darki, F., Rankin, J. Methods to assess binocular rivalry with periodic stimuli. J. Math. Neurosc. 10, 10 (2020). https://doi.org/10.1186/s13408020000878
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13408020000878
Keywords
 Bifurcation analysis
 Periodic forcing
 Rivalry model
 Traditional rivalry
 Flicker and switch rivalry