# On the Effects on Cortical Spontaneous Activity of the Symmetries of the Network of Pinwheels in Visual Area V1

- 3.1k Downloads
- 1 Citations

## Abstract

This paper challenges and extends earlier seminal work. We consider the problem of describing mathematically the spontaneous activity of V1 by combining several important experimental observations including (1) the organization of the visual cortex into a spatially periodic network of hypercolumns structured around pinwheels, (2) the difference between short-range and long-range intracortical connections, the first ones being rather isotropic and producing naturally doubly periodic patterns by Turing mechanisms, the second one being patchy, and (3) the fact that the Turing patterns spontaneously produced by the short-range connections and the network of pinwheels have similar periods. By analyzing the PO maps, we are able to classify all possible singular points (the pinwheels) as having symmetries described by a small subset of the wallpaper groups. We then propose a description of the spontaneous activity of V1 using a classical voltage-based neural field model that features isotropic short-range connectivities modulated by non-isotropic long-range connectivities. A key observation is that, with only short-range connections and because the problem has full translational invariance in this case, a spontaneous doubly periodic pattern generates a 2-torus in a suitable functional space which persists as a flow-invariant manifold under small perturbations, for example when turning on the long-range connections. Through a complete analysis of the symmetries of the resulting neural field equation and motivated by a numerical investigation of the bifurcations of their solutions, we conclude that the branches of solutions which are stable over an extended range of parameters are those that correspond to patterns with an hexagonal (or nearly hexagonal) symmetry. The question of which patterns persist when turning on the long-range connections is answered by (1) analyzing the remaining symmetries on the perturbed torus and (2) combining this information with the Poincaré–Hopf theorem. We have developed a numerical implementation of the theory that has allowed us to produce the predicted patterns of activities, the planforms. In particular we generalize the contoured and non-contoured planforms predicted by previous authors.

### Keywords

Visual hallucinations Invariant torus Poincaré–Hopf## 1 Introduction

The primary area (V1) of the visual cortex is one of the first locations targeted by connections from the thalamus which relays (and processes) inputs from the retina. In some mammals like primates, cats or ferrets (see [1, 2, 3]), this cortical area is very precisely organized in modules, called cortical hypercolumns, which process visual attributes (like local orientation, spatial frequency) of different points in the visual field. Note that there is almost no experimental evidence of hypercolumns from histology (see [4]). Most of our knowledge derives from functional evidence, i.e. when an external stimulus is applied. In this work, we focus on the processing of the local orientation of visual stimuli which is reflected by the ability of some neurons to fire only when a drifting grating of specific (called preferred) orientation is presented in their receptive field. The distribution, on the cortical sheet, of the preferred orientation of these particular neurons (see [5, 6]) defines a *Preferred Orientation map* (hereafter called the PO map) which has a near lattice structure and which is continuous except at particular points called pinwheels.

It has been argued by several authors (Ermentrout [7], Bressloff and Cowan [8, 9]) that V1 is to some extent structured like a crystal: it can be approximated by a plane where the pinwheels are arranged in a doubly periodic lattice and the main features of cortical activity in V1 can be interpreted in this framework. This idealization naturally introduces symmetries in the problem, which makes deeper analysis accessible. As long as the pinwheels are nearly arranged on a periodic lattice we can expect that the main conclusions of our analysis will remain valid.

There is also experimental evidence (see below) that the spatial distribution of connections emanating from one neuron in V1 differs according to whether the connections are *local* (within one hypercolumn) or *long-range* (between different hypercolumns). Local connections are considered to be isotropic. In the absence of long-range connections the network (or field) of local connections would be Euclidean-invariant, that is, invariant under rigid displacements and reflections in the plane, a property that is transmitted to the model equations [7]. On the other hand, long-range connections are subject to the constraint of respecting the symmetries of the PO map, thereby reducing the full Euclidean group symmetries to a crystallographic subgroup associated with the lattice of pinwheels. Moreover, experimental observations suggest that the strength of long-range connections is significantly weaker than that of local connections, which allows for treating the long-range connections as a perturbation of the local ones.

However, as shown initially by Ermentrout and Cowan [7], spontaneous activity of V1 without long-range connections also produces naturally doubly periodic steady patterns by the Turing mechanism [10]. This fact has been at the origin of a series of papers where hallucinatory patterns (seen by patients under the influence of drugs or other stimuli of the visual cortex which are not coming from the thalamus) have been explained as Turing patterns bifurcating in V1 [8, 11]. It was assumed in these papers that the lattice of pinwheels can be itself approximated as a continuum in the plane, that is, every point in the plane is a pinwheel. Then the full system of connections, local and long-range, keeps translation invariance: any planar translation applied to a pattern yields another one, up to periodicity. Therefore a pattern is not an isolated solution but rather generates a manifold of solutions under the action of translations, which is called an *orbit* under the action of the group of translations. This orbit, thanks to the periodicity of the pattern, can be identified with a 2-torus in a suitable functional space. Moreover, as long as this torus is a *normally hyperbolic* manifold (it means here that steady-state patterns are hyperbolic along directions transversal to the orbit), it persists as a flow-invariant manifold under small perturbations.

When the lattice of pinwheels is discrete, long-range connections reduce the translation group \(\mathbb {R}^{2}\) to a discrete subgroup isomorphic to \(\mathbb {Z}^{2}\). Our aim in this paper is to study the effect of switching on such long-range connections on the tori of solutions of the system with local connections only. As in the above cited papers we assume that the strength of long-range connections is small compared to that of local connections. The introduction of the long-range connections destroys part of the symmetries but not all of them. The perturbed torus features these remaining symmetries. We classify possible dynamics on this invariant manifold by applying topological methods (the Poincaré–Hopf theorem) together with the symmetries. Numerical (direct) simulations of the equations then allow one to determine which phase portrait is actually observed among those which have been theoretically identified.

Our motivation for this work is to understand how introducing a discrete lattice of pinwheels would modify the states and dynamics of spontaneous activity in V1, and we expect this could have some consequences on the theory of hallucinations of Bressloff and Golubitsky et al. in [8].

The problem of the effect of long-range connections with discrete translation invariance on the Turing patterns which bifurcate when these connections are inactive has been addressed by Bressloff [12] (see also Baker and Cowan [13]) in the following context. These authors assumed that the periods of the patterns and of the lattice of pinwheels were not correlated. An analysis inspired by methods initially introduced for hydrodynamical systems allowed them to build Ginzburg–Landau equations, in order to describe the slow modulation of the bifurcating patterns under the effect of spatial periodic forcing due to the long-range connections.

There are, however, some experimental observations which suggest that in fact, due to synaptic plasticity, the periods of the pinwheel lattice and of the Turing patterns are close to each other [14, 15]. It is therefore not unrealistic to assume that these periods are in fact equal, which we do in this study. Our approach differs on another point: we do not assume the system to be close to bifurcation from homogeneous state. Therefore the validity range of our results goes well beyond bifurcation analysis, and allows a rigorous mathematical treatment in the spirit of Lauterbach and Roberts [16] about forced symmetry breaking of group orbits of equilibria with spherical symmetry.

The way in which neurons in V1 acquire orientation selectivity is still controversial as the connections from the thalamus provide a very small percentage of the inputs: 95 % of these inputs are made of recurrent connections, i.e. intracortical connections (see [17]). Despite this experimental evidence there are still two extreme attitudes to account for these facts: either we assume that the recurrent connections provide much of the input to each neuron, or that each neuron mostly follows the thalamic input, discarding the recurrent connections; see [18]. Our approach lies in between.

*V*of the neuron located at

**x**in the connected domain

*Ω*of \(\mathbb {R}^{2}\) representing V1:

**S**is the sigmoidal function with range \((0,1)\) and \(T/\sigma \) is the threshold. The slope is

*σ*at \(x=T/\sigma\). The domain

*Ω*is usually taken as the infinite plane. This is not an unrealistic approximation in the analysis, because the number of pinwheels in V1 is rather large, typically several thousands [8]. However, in numerical computations one has to choose a bounded domain and the simplest choice is a square with periodic boundary conditions: opposite sides are identified.

*J*represents the intracortical connections between neurons and \(I_{\mathrm{thalamus}}\) the thalamic input. Following [12], we decompose the connectivity function as follows:

**x**and

**y**:

### Remark 1

*Ω*with periodic boundary conditions when only local connections are turned on. The bifurcation parameter in abscissa is the slope

*σ*of the sigmoid function

**S**. It shows, as expected, two primary bifurcated branches: one of stripes and one of “spots”, which correspond to a periodic pattern with square symmetry. Near bifurcation other types of solutions branch off these primary branches. Observe that the stripes are always unstable and that the spots are stable in a small interval, up to the first secondary bifurcation. On the other hand two secondary branches of doubly periodic states bifurcate sub-critically and recover stability after bending back in the increasing

*σ*direction. These states are then stable on large intervals of values of

*σ*. In their stability domain they look pretty much like hexagonal patterns. In fact, they approximate the exact hexagonal patterns that would bifurcate on a domain with hexagonal symmetry (and periodic boundary conditions). If the size of

*Ω*is increased, these two branches come closer to each other and bifurcate closer from the primary bifurcation point. In the limit of a domain with infinite size, they merge into one branch, which bifurcates at the same point as the spots and stripes, and they correspond exactly to the hexagonal patterns which are well known from Turing theory of pattern formation. We compare this diagram to the case where the domain

*Ω*is an hexagon with periodic boundary conditions; see Fig. 1, bottom. We were able to find numerically the branches of spots (transcritical) and stripes (pitchfork). We did not compute the secondary branches because our point was to show that the hexagons (spots) are stable over an extended region.

Since we are interested in stable states, we can consider in the analysis, instead of these “imperfect hexagons”, the exact hexagonal patterns that will show up in an hexagonal lattice. This will make the analysis simpler and richer at the same time, and the results will still be relevant for the secondary “approximate” hexagonal patterns observed in Fig. 1, top. Despite the fact that square patterns (spots in Fig. 1, top) are stable only in a small region near bifurcation, we shall discuss both square and hexagonal patterns for completeness.

Our primary motivation here is to understand how the long-range connections with discrete lattice symmetry affect the dynamics of the network. This is made possible by using the fact that these connections act as a perturbation [19] of the dynamics generated by the local connections. Looking at the spontaneous activity, i.e. without thalamic input, is motivated by two reasons. The first reason is that it has been argued that the hallucinating patterns generated by some drugs can be explained by the spontaneous activity of networks [7, 8] similar to the one studied here. The second reason is that if we were to include an input with amplitude *ϵ* that we vary, it would be the same as working with a fixed amplitude but varying the slope of the sigmoid function **S** [21]. Hence, looking at the case of a thalamic input can be thought of as a deformation of the case considered here.

The paper is organized as follows. We first describe in Sect. 2 the Turing patterns that appear when the long-range connections are switched off. In Sect. 3 we compute the network symmetries that are induced by the long-range connections. We then study in Sect. 4 the perturbation of the Turing patterns, before drawing some conclusions in Sect. 5.

## 2 Turing Patterns in the Unperturbed Case

In this section, we formulate our assumptions on the symmetries of the unperturbed solutions,^{1} written \(V_{0}(\mathbf {x})\), that will be analyzed upon switching on the long-range connections. Since the computation of Turing patterns has been extensively documented in the literature (see for example [22, 23] for a review and [7] for neural fields), we will not cover it here and only briefly recall the main results. We have seen in the introduction that, when \(\epsilon_{\mathrm {LR}}=0\), the system is invariant under any translation in the periodic domain *Ω*. Adjusting *Ω* to be a square or an hexagon, branches of steady patterns with square or hexagonal symmetry bifurcate from the homogeneous state as the slope *σ* of the sigmoid function **S** reaches a threshold value. These patterns are stable in some range of values of *σ* as shown in Fig. 1. Stability here means “orbital stability”. Indeed any translation applied to such a state \(V_{0}\) gives another solution, thanks to the translational invariance. The group of translations acting in *Ω* (which has periodic boundaries) is the torus \(\mathbb {R}^{2}/\mathbb {Z}^{2}\), which, moreover, acts faithfully on any \(V_{0}\) with square or hexagonal pattern. Therefore the set (called *translation group orbit*) of translated states from \(V_{0}\) is a torus manifold. Moreover, this torus is an attractor if \(V_{0}\) is orbitally stable.

A central hypothesis of the current study is the assumption that the spatial period of \(V_{0}\) matches the spatial period of the PO map. The experimental data that support this assumption were already mentioned in the introduction. For example, we will not study the approximate “hexagonal” patterns (in the square cortex as in Fig. 1) because they do not satisfy our assumption. Also, the stripes^{2} patterns will not be studied here. Indeed, they have less symmetries and their study would only require minor modifications of the present argument.

## 3 Network Symmetries

*Ω*representing the primary visual cortex is a square or a hexagon with periodic boundary conditions (opposite sides are identified). Let \(\mathbf {e}_{1}\), \(\mathbf {e}_{2}\) be two vectors generating the lattice and \(\varOmega_{0}\) be a fundamental domain centered at the origin

*O*of

*Ω*(see Fig. 2). We choose \(\mathbf {e}_{1}\) and \(\mathbf {e}_{2}\) as unit vectors, making an angle of \(\pi/2\) in the square case, and of \(\pi/3\) in the hexagonal case. Then

*ℓ*being an arbitrary length scale. By construction there exists an integer

*N*such that, by periodicity,

*Ω*. We further assume for convenience that \(\ell=2\pi\). The number

*N*will be adjusted to match the number of elementary cells produced in

*Ω*by the bifurcation of patterns when only local connections are active. The largest group of isometries leaving the lattice spanned by \(\varOmega_{0}\) invariant is \(\mathbf {D}_{k}\ltimes \mathbb {Z}_{2N}^{2}\) (\(k=4\) in the square lattice case and \(k=6\) in the hexagonal lattice case). Let us now describe how the pinwheels are distributed in

*Ω*. Pinwheels are the singular points of the PO map at which no orientation is preferred. Together with the orientation map they introduce an anisotropy in the lattice, reducing the symmetry group \(\mathbf {D}_{k}\ltimes \mathbb {Z}_{2N}^{2}\) of the lattice to a

*crystallographic*subgroup (see [24, 25], which is called, in the two-dimensional case, a

*wallpaper group*.

^{3}See [27] for a description of these groups and for the

*shortened crystallographic notation,*which is used in the following. It is well known that there are 17 such groups, up to isomorphism, see Fig. 3 for an illustration of these groups and the corresponding tilings.

However, there are restrictions on the number of possible patterns of pinwheels. First, we only consider square and hexagonal lattices. Second, in order to be biologically plausible the patterns built from the orientation map must be continuous except at the pinwheels. We have determined by inspection that over all possibilities, only those five patterns highlighted in Fig. 3 are compatible with these constraints. Among those five we have selected the two which are shown in Fig. 2, i.e. pmm and p3m1, because they best agree with the experimental data. Pinwheels are the points (black/white dots in the pictures) at which all colors meet. Each color in Fig. 2 defines an orientation, which we identify with an angle between \(-\pi/2\) and \(\pi/2\). In the case (a) of Fig. 2 the tiling is invariant by reflection across the thick black lines (which also give invariance by rotations of angle *π* around their intersection points). In the case (b) the thick black lines are also axes of reflection. Observe that this gives 3-fold rotational symmetries around their points of intersection. The corresponding group is named p3m1. In the following we shall refer to these two PO maps by the names of the associated wallpaper groups.

### Remark 2

We centered the hypercolumns around the pinwheels and used a uniform preferred orientation density such that the proportion of neurons coding for each orientation is the same for each orientation. This is done in order to avoid any preference of the network for a particular orientation. Note that pinwheels come in pairs called counterclockwise and clockwise: at a counterclockwise (respectively, clockwise) pinwheel, the orientation map shows increasing orientations when moving counterclockwise (respectively, clockwise) around it. Finally notice that the fundamental domain is either centered at a pinwheel (Fig. 2(a)), or it is not (Fig. 2(b)).

*Ω*, then the PO map is a map

*h*is a homomorphism of \(S^{1}\). From this, we can define an action of \(S^{1}\) on the map

*θ*as follows. Let \(\phi_{0}=\pi/2\) in the square case and \(\phi_{0}=2\pi/3\) in the hexagonal case and let \(\mathbf{R}_{\phi}^{\mathbf{p}}\) be the rotation of angle

*ϕ*centered on a pinwheel

**p**. Then, with the PO maps of Fig. 2,

**K**be the reflection w.r.t. a line passing through a pinwheel and parallel to the vector \(\mathbf {e}_{1}\) (horizontal axis). For the PO maps of Fig. 2,

**K**on the map

*θ*. In order to transfer these relations as (possible) symmetries of the network, we use the action of \(\mathbf {D}_{k}\ltimes \mathbb {Z}_{2N}^{2}\) on \(\mathrm {L}^{2}(\varOmega, \mathbb {R})\):

### Remark 3

Note that we could add an arbitrary value \(\theta_{0}\in ( -\frac{\pi}{2},\frac{\pi}{2} ]\) to the orientation map and still obtain an orientation map. Except when \(\theta_{0}=0\) or \(\pm\pi /2\), this would have the effect of breaking the reflection symmetry of *θ*, because applying the new reflection would not preserve the lattice. In the case of the tree shrew, the cortical coordinates (here assumed to be equal to visual field coordinates) must be such that the zero level of the PO map is parallel to the \(x_{1}\)-axis, because of the anisotropy of the long-range connections [28]. In this case, the reflection **K** acts indeed on the network. On the other hand, for the macaque, any value of \(\theta_{0}\) is relevant because the long-range connections are approximately isotropic [29]. Hence in this case the assumption that **K** acts on the network is somewhat artificial. Nevertheless the presence of a reflection symmetry has strong consequences on the dynamics and we shall subsequently consider both the reflection and the non-reflection cases.

We now draw an easy consequence of Eq. (4), which will play a major role in the following analysis.

### Lemma 3.1

*Let*\(\alpha \mathbf {e}_{1}\), \(\alpha>0\),

*be the vector between two closest pinwheels of different types in the direction*\(\mathbf {e}_{1}\).

*α*

*is the smallest distance between them*.

*Then*(4)

*implies that*

### Proof

Let us write \(\mathbf{R}_{\phi_{0}}^{\mathbf{p}_{cc}}\) (respectively, \(\mathbf{R}_{\phi_{0}}^{\mathbf{p}_{c}}\)) for the rotation of angle \(\phi_{0}\) around a counterclockwise (respectively, clockwise) pinwheel. According to (4) we have \((\mathbf{R}_{\phi_{0}}^{\mathbf{p}_{cc}})^{-1}\cdot\mathbf{R}_{\phi _{0}}^{\mathbf{p}_{c}}\cdot\theta= \theta+\phi_{0}\). From Lemma A.1 \((\mathbf{R}_{\phi_{0}}^{\mathbf{p}_{cc}})^{-1}\mathbf {R}_{\phi_{0}}^{\mathbf{p}_{c}}\mathbf {x}= \mathbf {x}+\mathbf{t}\) with \(\mathbf{t}= ((\mathbf{R}_{\phi_{0}}^{\mathbf{o}})^{-1}-\mathit{Id})(-\alpha \mathbf {e}_{1})\). This gives \(\mathbf{t}= \alpha(\mathbf {e}_{1}+\mathbf {e}_{2})\) and \(\mathbf {T}_{\mathbf{t}}\cdot \theta=\theta+\phi_{0}\). □

We have \(\alpha=\pi\) in the square case and \(\alpha=2\pi/3\) in the hexagonal case (cf. Fig. 2).

### 3.1 Model and Symmetries of the Long-Range Connections

^{4}with variance \(\sigma_{\theta}\approx35^{\circ}\). It produces inhomogeneous patchy connections.

### Remark 4

*H*is the Heaviside step function and \(P_{0}\) is some constant. It differs mainly

^{5}by the first factor, which enforces homogeneity of the connections. It is not clear to us that this factor in (8) enforces connections between neurons with similar preferred orientations. Establishing which one of the two factors proposed in (7) and (8) best agrees with observations requires one to perform more experiments.

We now turn to the examination of the invariance properties of the long-range connections with respect to the symmetries of the lattice of pinwheels and PO map. It is important to emphasize that the symmetries of the long-range connections *differ* from the symmetry groups pmm or p3m1 of the PO maps as we shall see below. The function \(J_{\mathrm{LR}}\) is invariant under a transformation \(\gamma\in \mathbf {D}_{k}\ltimes \mathbb {Z}_{2N}^{2}\) if \(J_{\mathrm{LR}}(\gamma \mathbf {x},\gamma \mathbf {y})=J_{\mathrm{LR}}(\mathbf {x},\mathbf {y})\) for all **x**, **y**. This implies that the equations are equivariant with respect to the action defined in the previous section for the transformation *γ*. We consider successively the cases of square and hexagonal lattices. However, there are some general features which are shared by both types of networks and we start by stating them.

### Lemma 3.2

*We have* \(J_{\mathrm{LR}}(\mathbf{R}^{\mathbf{p}_{cc}}_{\phi_{0}}\mathbf {x},\mathbf {R}^{\mathbf{p}_{cc}}_{\phi_{0}}\mathbf {y})=J_{\mathrm{LR}}(\mathbf {x},\mathbf {y})\).

### Proof

Note that in the square case the above result still holds for \(\epsilon =-1\) because \(2\phi=\pi\) in this case and \(J_{0}\) is an even function.

### Lemma 3.3

*Let* **K** *be the reflection across the horizontal axis*. *Assume that* (5) *holds*. *Then* \(J_{\mathrm{LR}}(\mathbf {K}\mathbf {x},\mathbf {K}\mathbf {y})=J_{\mathrm{LR}}(\mathbf {x},\mathbf {y})\).

### Proof

### Lemma 3.4

*Let* **t** *be the vector as in Lemma * 3.1. *Let* \(\gamma= \mathbf {T}_{\mathbf{t}}^{-1}\mathbf {R}^{\mathbf{p}_{c}}_{\phi_{0}}\). *Then* \(J_{\mathrm{LR}}(\gamma \mathbf {x}, \gamma \mathbf {y})=J_{\mathrm {LR}}(\mathbf {x},\mathbf {y})\).

### Proof

*γ*. Now, thanks to the previous relation:

*γ*to the previous equation gives the

*γ*invariance. □

We will use these lemmas to derive the generators of the symmetry group in the square and hexagonal cases. We will also compute the specific crystallographic group that they generate.

#### 3.1.1 The Square Case

We are now in a position to derive the symmetry group of the network equations. Note that the case of the Bressloff connectivity (8) leads to a different symmetry group. We start with the generators.

### Proposition 3.5

*We write*\(\mathbf{R}_{\phi_{0}}^{\mathbf{p}_{c}}\)

*the rotation of angle*\(\frac{\pi}{2}\)

*centered on a clockwise pinwheel*.

*For the*(pmm)

*PO map in Fig*. 2(a),

*the symmetry group associated with the connectivity*(7)

*in the case*\(\chi >0\), \(\epsilon_{\mathrm{LR}}\neq0\)

*is*:

- 1.
\(\varGamma= \langle \mathbf {K}, \mathbf{R}_{\phi_{0}}^{\mathbf {p}_{c}},\mathbf {T}_{\pi(\mathbf {e}_{1}+\mathbf {e}_{2})} \rangle\simeq(\mathbf {D}_{4}\ltimes(\mathbb{Z}/2N\mathbb{Z})^{2} )\)

*if*\(\theta_{0}\in\frac {\pi}{2}\mathbb{Z}\). - 2.
\(\varGamma= \langle\mathbf{R}_{\phi_{0}}^{\mathbf {p}_{c}},\mathbf {T}_{\pi(\mathbf {e}_{1}+\mathbf {e}_{2})} \rangle\simeq(\mathbf {C}_{4}\ltimes (\mathbb{Z}/2N\mathbb{Z})^{2} )\)

*otherwise*.

*Finally*,

*the subgroup of translation symmetries is the lattice*

### Proof

This is a direct consequences of the lemmas in the previous section. There is, however, a simplification in the square case, namely the translation \(\mathbf {T}_{\pi(\mathbf {e}_{1}+\mathbf {e}_{2})}\) is a symmetry. Indeed, using Lemma 3.1, it is straightforward to show that \(\mathbf {J}_{\mathrm{LR}}(\mathbf {T}_{\pi(\mathbf {e}_{1}+\mathbf {e}_{2})}x,\mathbf {T}_{\pi (\mathbf {e}_{1}+\mathbf {e}_{2})}y)=\mathbf {J}_{\mathrm{LR}}(x,y)\). Note that the translation \(\mathbf {T}_{\pi (\mathbf {e}_{1}+\mathbf {e}_{2})}\) commutes with \(\mathbf {T}_{2\pi \mathbf {e}_{1}}\) and \(\mathbf{R}_{\phi _{0}}^{\mathbf{p}_{c}}\). Finally, let us show that \(\mathbf {T}_{2\pi \mathbf {e}_{1}}\) is generated by the group elements listed in the lemma. Indeed, \(\mathbf {T}_{\pi (\mathbf {e}_{1}-\mathbf {e}_{2})}=(\mathbf{R}_{\phi_{0}}^{\mathbf{p}_{c}})^{-1}\mathbf {T}_{\pi (\mathbf {e}_{1}+\mathbf {e}_{2})}\) and \(\mathbf {T}_{2\pi \mathbf {e}_{1}} = \mathbf {T}_{\pi(\mathbf {e}_{1}-\mathbf {e}_{2})}+\mathbf {T}_{\pi(\mathbf {e}_{1}+\mathbf {e}_{2})}\).

To prove that the lattice of translations of the symmetry group is \(\mathcal{L} [\frac{\pi}{2}(\mathbf {e}_{1}+\mathbf {e}_{2}),\frac{\pi}{2}(\mathbf {e}_{1}-\mathbf {e}_{2}) ]\), we use the relation \(\mathbf {R}^{\mathbf {b}}(\mathbf {R}^{\mathbf {a}})^{-1}\mathbf {x}=\mathbf {x}+ (\mathbf {R}^{\mathbf{o}}-\mathit {Id})(\mathbf {a}-\mathbf {b})\) (see Lemma A.1) which is a translation. Using the rotations with axis \(\mathbf {a}=0\) and \(\mathbf {b}={\pi} \mathbf {e}_{1}\) allows one to conclude. □

The previous result gives the generators of the group. These groups are very well known as crystallographic groups in the literature (see [24, 25, 27] for an introduction). More precisely, we find that the symmetry group *Γ* of the equations, in the case \(\chi,\epsilon_{\mathrm{LR}}\neq0\), is the crystallographic group P4M if \(\theta_{0}\in\frac{\pi}{2}\mathbb{Z}\) and P4 otherwise.

It is interesting to note that \(\mathbf{D}_{2}\) is the point group associated to the pmm PO map, whereas the point group of the network equations can be \(\mathbf{D}_{4}\).

#### 3.1.2 The Hexagonal Case

The main difference with the square case is that the clockwise rotation is not a network symmetry because of the anisotropic function \(J_{0}\) in (7) when \(\chi>0\). Hence, only half of the pinwheels are centers of rotation for the network equations (1), namely the counterclockwise pinwheels. A direct consequence of the lemmas in the previous section is the following.

### Proposition 3.6

*For the*(p3m1)

*PO map in Fig*. 2(b),

*the symmetry group*

*Γ*

*associated with the connectivity*(7)

*in the case*\(\chi>0\), \(\epsilon_{\mathrm{LR}}\neq0\)

*is*:

- 1.
\(\varGamma= \langle \mathbf {K}, \mathbf{R}_{\phi_{0}}^{\mathbf {p}_{cc}},\mathbf {T}_{\frac{2\pi}{3}(e_{1}+e_{2})}^{-1}\mathbf{R}_{\phi _{0}}^{\mathbf{p}_{c}} ,\mathbf {T}_{2\pi e_{1}} \rangle\)

*if*\(\theta_{0}\in \frac{\pi}{2}\mathbb{Z}\). - 2.
\(\varGamma= \langle\mathbf{R}_{\phi_{0}}^{\mathbf {p}_{cc}},\mathbf {T}_{\frac{2\pi}{3}(e_{1}+e_{2})}^{-1}\mathbf{R}_{\phi _{0}}^{\mathbf{p}_{c}} ,\mathbf {T}_{2\pi e_{1}} \rangle\)

*otherwise*.

*Finally*,

*the subgroup of translation symmetries is the lattice*\(\mathcal{L} [{2\pi}e_{1},{2\pi}e_{2} ]\).

### Proof

The only thing left to prove is about the lattice of translations. We can look at (see Lemma A.1) \(\mathbf {T}_{\mathbf{t}}^{-1}\mathbf {R}^{\mathbf{p}_{c}}(\mathbf {R}^{\mathbf{p}_{cc}})^{-1}\mathbf {x}=\mathbf {x}+ (\mathbf {R}^{\mathbf{o}}-\mathit{Id})(\mathbf{p}_{cc}-\mathbf{p}_{c})-\mathbf{t}\) which is a translation where \(\mathbf{t}\equiv\frac{2\pi }{3}(e_{1}+e_{2})\). When computed for \(\mathbf{p}_{cc}-\mathbf{p}_{c}\in\{ \frac{2\pi}{3}e_{1},-\frac{2\pi}{3}e_{2},-\frac{4\pi}{3}e_{1}, \frac {4\pi}{3}e_{2}\}\), we do not find a sub-lattice of translations different from \(\mathcal{L} [{2\pi}e_{1},{2\pi}e_{2} ]\). □

As for the square lattice, we can identify the group in the hexagonal case. The symmetry group *Γ* of the equations, in the case \(\chi ,\epsilon_{\mathrm{LR}}\neq0\), is the crystallographic group p3m1 if \(\theta_{0}\in\frac{\pi}{2}\mathbb{Z}\) and P3 otherwise.

## 4 Forced Symmetry Breaking of Patterns

We now study the perturbation of the torus of translated states from \(V_{0}\) when it is an attractor. It is well known that in this case, a torus, flow-invariant manifold persists when the equations are perturbed, as long as the perturbations are small (and smooth) enough [30].

Our aim in this section is to determine how many steady-states do actually persist when the system is perturbed by turning on long-range connections \(\epsilon_{\mathrm{LR}}\neq0\), and which phase portrait is observed on the perturbed torus.

Our method is as follows. We first analyze the remaining symmetries on the perturbed torus when \(\epsilon_{\mathrm{LR}}\neq0\). This allows one to assert the persistence of some steady-states (equilibria) which stand for points of maximal isotropy for the action of *Γ* on the perturbed torus. Moreover, when these isotropy subgroups contain the *m*-fold rotation group \(\mathbf {C}_{m}\) with \(m\geq3\), these equilibria are foci (attractive or repulsive) or nodes (the case when the Jacobian matrix has a double real eigenvalue). Now, the topology of the torus is an important constraint for the distribution of equilibria of saddle and other types. This follows from the *Poincaré–Hopf theorem*, which can be found in an abundance of literature and textbooks, and which can be stated as follows:

### Theorem 4.1

*Let* \(\mathcal{V}\) *be a compact orientable surface and suppose that all equilibria of a vector field defined on* \(\mathcal{V}\) *are non*-*degenerate* (*i*.*e*. *hyperbolic*: *all eigenvalues of Jacobian matrices have non*-*zero real part*). *Let* *n* *be the number of equilibria on* \(\mathcal{V}\) *and* *p* *the number of those which are of* saddle *type* (*eigenvalues have opposite signs*). *Then* \(n-2p=\chi\), *the Euler characteristic of* \(\mathcal{V}\).

In our case \(\mathcal{V}\) is the torus, and hence \(\chi=0\). Therefore there are an equal number of equilibria of saddle type and of non-saddle type. These two pieces informations (symmetries and Poincaré–Hopf theorem) greatly help to classify the possible phase portraits on the torus. The idea of analyzing the dynamics on a group orbit of equilibria under symmetry-breaking perturbations was introduced by [16]. It was applied in a theoretical setting to the case when the group orbit is a torus of square patterns [31] or hexagonal patterns [32] with the aim of showing the existence of robust heteroclinic cycles under certain conditions. Our aim here is different and we only focus on the cases which correspond to our model.

We next consider the square and hexagonal cases and we list the simplest possible phase portraits, that is, with the minimal number of equilibria, assuming that these are the pictures which will naturally arise in our model, unless further degeneracies are assumed. Then direct numerical simulations of the dynamics on the perturbed torus allow us to fix the actual dynamics which is induced on the invariant tori when switching on the long-range connections. Then direct numerical simulations of the dynamics on the perturbed torus allow us to select the dynamics, among the ones we predicted, which is induced on the invariant tori when switching on the long-range connections.

### 4.1 On the Perturbed Torus

**a**is given by

**t**, we can further simplify the study of the perturbed torus by decomposing

**t**as follows:

### Remark 5

We cannot apply directly our method to the branch of stripes in Fig. 1, nor to the branch of hexagonal patterns, because the unperturbed torus generated by these patterns is not invariant by rotations.

### 4.2 Square Case

### Proposition 4.2

*Let us assume that there is a finite number of equilibria on the perturbed torus which are all non*-

*degenerate when*\(\epsilon_{\mathrm {LR}}\neq 0\), \(\chi\geq0\).

*For the lattice*pmm,

*there are at least eight equilibria on the perturbed torus*\(\mathcal{T}_{\epsilon_{\mathrm {LR}}}\),

*four of which are saddle*,

*and the other four are nodes*/

*foci*.

*They are given by*

*which are centers of rotation*.

### Proof

*Γ*-invariant, it implies that \(dF(\phi)\) commutes with the rotation (11). Simple linear algebra shows that \(dF(\phi)\) must be a rotation matrix, i.e. that \(\operatorname{Fix}(\langle \mathbf {R}^{\mathbf{o}}\rangle)\) is composed of nodes/foci. It remains to show that this is also true for \((0,\pi)\) and \((\pi,0)\). This follows from Lemma 3.4 and

*γ*being affine and \((0,\pi)\in\operatorname{Fix}(\gamma )\), we find that \(dF(0,\pi)\) commute with \(d\gamma=d\mathbf{R}^{o}\) seen as a map on the torus. This allows one to conclude that \((0,\pi)\) is a node/focus, and also \((\pi,0)\). Being fixed points of rotations, the four nodes/foci are center of rotation symmetry.

A convenient way to find the foci is to look at the fundamental domain in Fig. 2(a). These foci corresponds to the pinwheels in the fundamental domain.

In order to observe limit cycles numerically, we had to change the connectivity. Indeed, if we use the prefactor \(G_{\sigma_{\theta}}=\cos \) in (7), the imaginary part of the eigenvalues of the equilibria coming from the breaking of the reflection symmetry by choosing \(\theta_{0}\notin\frac{\pi}{2}\mathbb{Z}\) is tiny: at least 3 orders of magnitude smaller than the real part. In effect, even if we break the reflection symmetry, we observe a dynamics similar to the one in Fig. 4. To have larger imaginary parts, we connect neurons with opposite preferred orientation by choosing the prefactor \(G_{\sigma_{\theta}}=\sin\) in (7). We further choose the connectivity with largest imaginary part among connectivities in Appendix B. Note that despite varying almost all parameters, we only observed the two situations as in Figs. 4 and 5 (up to a time reversal of the absence of limit cycles), as if naturally, the network equations (1) produced the simplest possibilities for all parameters that we investigated.

### Remark 6

We would like to mention that great care was taken to code the equivariance and that numerically, the error on symmetries was around 10^{−16} for the 2-norm of an arbitrary vector of 2-norm around 37. The numerical errors on the equivariance relations comes mainly from the PO map *θ* (see Eqs. (4)–(6)). Therefore, we computed the PO map by first building its fundamental domain by rotating/reflecting a basic cell and then padding this fundamental domain to cover *Ω*. This numerical accuracy of the equivariance allows one to check the predicted values of the stationary points with great accuracy using a Newton algorithm. In particular, we find numerically in Fig. 4 that the points \((\mathbf {R}^{\mathbf{o}} )^{k}\cdot(\frac{\pi}{2},0 )\), \(k=0,\ldots, 3\) are indeed saddle points.

### 4.3 Hexagonal Case

We now consider the hexagonal lattice. This case is different from the square lattice because it seems from Proposition 3.6 that only counterclockwise pinwheels are center of rotations. However, it turns out that *γ* as in Lemma 3.4 is a rotation on the torus, hence yielding the other pinwheels as center of rotations.

### Proposition 4.3

*Let us assume that there is a finite number of equilibria on the perturbed torus which are all non*-*degenerate when* \(\epsilon_{\mathrm{LR}}\neq 0\), \(\chi\geq0\). *For the lattice* p3m1, *there are at least* 18 *equilibria on the perturbed torus* \(\mathcal{T}_{\epsilon_{\mathrm {LR}}}\), *nine of which are saddle and the other nine are nodes*/*foci*, *given by the lattice* \(\mathcal{L} [\frac{2\pi}{3}e_{1},\frac{2\pi }{3}e_{2} ]\) *which are centers of rotation*. *The subgroup of translation symmetries is the lattice* \(\mathcal{L} [\frac{2\pi }{3} (\mathbf {e}_{1}+\mathbf {e}_{2} ),\frac{2\pi}{3} (-\mathbf {e}_{1}+2\mathbf {e}_{2} ) ]\).

### Proof

We have shown that \(\mathcal{L} [\frac{2\pi}{3}e_{1},\frac{2\pi }{3}e_{2} ]\) is composed of centers of rotation. Using again Lemma A.1 with \(\mathbf {a}-\mathbf {b}\in\mathcal{L} [\frac {2\pi}{3}e_{1},\frac{2\pi}{3}e_{2} ]\), we find that the subgroup of translation symmetries is given by \(\mathcal{L} [\frac{2\pi }{3} (\mathbf {e}_{1}+\mathbf {e}_{2} ),\frac{2\pi}{3} (-\mathbf {e}_{1}+2\mathbf {e}_{2} ) ]\). □

*θ*. We then plot small edges or hexagonal patches depending on which a subset of the hypercolumn is activated.

^{6}and given that we need to numerically solve (1) for a very long time, the errors of the symmetries seem to build up. Nevertheless, we were still able to produce simulations, corresponding to one of the possible diagrams (see Fig. 7). Except for the points \((\frac{2\pi}{3},\frac {2\pi}{3} )\mathbb{Z}\), we find the stationary points predicted by Proposition 3.6 using a Newton algorithm. Around the points \((\frac{2\pi}{3},\frac{2\pi}{3} )\mathbb{Z}\), the Newton algorithm does not converge: this seems to be caused by the presence of saddle points (also predicted in Proposition 3.6 which produces the small kinks on the trajectories around the red points (see Fig. 8)).

In the numerical simulation displayed in Fig. 8, no periodic orbit was found. The simulation seems to correspond to the predicted dynamics shown in Fig. 7, middle. On the other hand, we observe the remarkable fact that the simulations also lead to simplest possible scenarios with the smallest number of stationary points and a periodic solution.

## 5 Discussion

In this work, we have extended the seminal and very influential work [8] on cortical hallucinations after the original work of Ermentrout and Cowan [7]. Our idea is to assume a discrete lattice of pinwheels (as opposed to a continuous one) and to describe the cortical activity in the laminar zone which is located in between pinwheels. This is important, for example, if we want to confront our predictions to optical imaging experiments. This approach has led us to shed some new light onto two outstanding questions. First, what are the possible lattices of pinwheels? They turn out to be closely related to the wallpaper groups. Second, what is the simplest spontaneous dynamics generated by these networks? They turn out to be determined by the perturbation of invariant tori.

The first question is natural but, to the best of our knowledge, has never been addressed theoretically, despite the fact that it allows one to apply the equivariant theory of dynamical systems in a very similar way to [8] albeit in a more biologically plausible setting. In [33] the authors describe a mechanism that allows them to describe the probability of observing a network of pinwheels with a given density, but because their equations are driven by white noise they lose all symmetries.

The second question is more subtle and in effect stems from numerical work where we found it very difficult to implement the ideas of [8, 12], at least for a square cortex. The computation of the bifurcation diagram in Fig. 1 led us to study the perturbation of solutions that were not close to bifurcation points (see the brown lines in Fig. 1), indeed this accounts for the most probable dynamics. As such, the bifurcation diagram shown in Fig. 1 is an indication of the difficulty to apply the theory of cortical hallucinations developed in [8] where it was assumed that such stereotyped cortical patterns could be explained by adjusting the network parameters close to bifurcations. Indeed, in such a setting, the validity of the theory shrinks rapidly with the size of the cortex and, as far as we know, for all practical purposes it is difficult to use it to account for observations. The problem is the same as in the work described in [12], where the author studies the perturbation of a system close to a bifurcation with a spatial forcing close to resonance. Secondary bifurcations might seriously restrict the validity of the approach.

Let us examine the consequences of our investigations onto our current understanding of the functioning of V1.

The first consequence can be drawn from Fig. 1; the hexagonal case is the “only” robust one from a modeling point of view. Indeed, even with the square lattice, the branches which are stable over an extended range of parameters, have a near hexagonal symmetry. Hence, there is a mismatch between the solution approximate symmetry and the network symmetry, which is only resolved in the case of the hexagonal pinwheel lattice.

The second consequence is that, within the class of pinwheel lattices that we consider, those displaying the reflection symmetry are non-generic (see Sect. 3). This induces the presence of foci and (possibly) limit cycles as described in Propositions 4.2 and 4.3. However, the imaginary part of the eigenvalues at the foci is very small for the excitatory long-range connections that are biologically plausible [28, 29] and this makes the observation of limit cycles difficult.^{7} To increase the imaginary part in simulations and observe limit cycles (see Fig. 5), we artificially use a connectivity that connects neurons with orthogonal preferred orientations e.g. \(G_{\sigma_{\theta}}=\sin\). This is different from [8] where all bifurcated patterns are stationary. Note that [11] reports time-periodic states in model similar to [8] but with additional symmetry.

Our work can be extended in several ways. First, there is a need for a bifurcation study of the dynamics on the torus w.r.t. the parameters \(\epsilon_{\mathrm{LR}}\), *χ*, etc. Indeed, we have not been very quantitative concerning the role of these parameters in shaping the dynamics. There are also lattices that have not been investigated (cmm, p4m and p6m in Fig. 2) and it would be interesting to study the kind of planforms they can produce. We have not looked at the case where the stripes are stable in the \(\mathbf{D}_{4}\)-pitchfork. That would be a minor modification of the present work but it would show another type of planforms. More generally, we have not discussed the cases where the unperturbed solution is a circle rather than a torus. Hence, it is desirable to classify the different planforms that can be produced from the unperturbed invariant manifolds for the different lattices. Another extension concerns the study of cases where the lattice of symmetry of the unperturbed torus \(\mathcal{T}_{0}\) and the pinwheel lattice differ. The perturbation from the long-range connections would act as a periodic forcing on the unperturbed torus. Some models are available [12, 13], but we believe that they lack an important component: synaptic plasticity. A relatively simple extension would be to consider the effect of synaptic/propagation delays [34, 35]. Synaptic delays [36] will not affect the unperturbed torus but are likely to increase the imaginary part of the eigenvalues which we found to be nonzero albeit small when the reflection symmetry is broken. Other very exciting extensions concern the modeling of the spatial frequency tuning and the ocular dominance domains. It would be very interesting to re-visit some recent work on binocular rivalry [37, 38] in the light of the conclusions presented in this paper.

## Footnotes

- 1.
In effect, doubly periodic solutions.

- 2.
They satisfy our assumption.

- 3.
In our case we could use the equivalent notion of

*color group*[26]. - 4.
It is periodic on \(( -\frac{\pi}{2},\frac{\pi}{2} ]\); see Appendix B.

- 5.
- 6.
It is in the order of 10

^{−13}. - 7.
Note that we did not study systematically the different biologically plausible connectivities.

## Notes

### Acknowledgements

We would like to thank Paul Bressloff for useful comments and discussions. We also would like to warmly thank Dr. Huiyuan Li for providing their library of Fast Fourier Transform on hexagonal lattice as described in [39].

This work was partially supported by the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement no. 269921 (BrainScaleS), no. 318723 (MatheMACS), and by the ERC advanced grant NerVi no. 227747 and by the Human Brain Project (HBP).

### References

- 1.Hubel DH, Wiesel TN. Receptive fields, binocular interaction and functional architecture in the cat visual cortex. J Physiol. 1962;160:106–54. CrossRefGoogle Scholar
- 2.Hubel DH, Wiesel TN. Functional architecture of macaque monkey. Proc R Soc Lond B. 1977;198:1–59. CrossRefGoogle Scholar
- 3.Kaschube M, Schnabel M, Löwel S, Coppola DM, White LE, Wolf F. Universality in the evolution of orientation columns in the visual cortex. Science. 2010;330(6007):1113–6. CrossRefGoogle Scholar
- 4.Lund JS, Angelucci A, Bressloff PC. Anatomical substrates for functional columns in macaque monkey primary visual cortex. Cereb Cortex. 2003;12:15–24. CrossRefGoogle Scholar
- 5.Blasdel GG, Salama G. Voltage-sensitive dyes reveal a modular organization in monkey striate cortex. Nature. 1986;321:579–85. CrossRefGoogle Scholar
- 6.Grinvald A, Lieke E, Frostig RD, Gilbert CD, Wiesel TN. Functional architecture of cortex revealed by optical imaging of intrinsic signals. Nature. 1986;324:361–4. CrossRefGoogle Scholar
- 7.Ermentrout GB, Cowan JD. A mathematical theory of visual hallucination patterns. Biol Cybern. 1979;34(3):137–50. CrossRefMATHMathSciNetGoogle Scholar
- 8.Bressloff PC, Cowan JD, Golubitsky M, Thomas PJ, Wiener MC. Geometric visual hallucinations, Euclidean symmetry and the functional architecture of striate cortex. Philos Trans R Soc Lond B. 2001;306(1407):299–330. CrossRefGoogle Scholar
- 9.Bressloff PC, Cowan JD. The visual cortex as a crystal. Phys D, Nonlinear Phenom. 2002;173(3–4):226–58. CrossRefMATHMathSciNetGoogle Scholar
- 10.Turing AM. The chemical basis of morphogenesis. Philos Trans R Soc Lond B, Biol Sci. 1952;237(641):37–72. CrossRefGoogle Scholar
- 11.Golubitsky M, Shiau LJ, Török A. Bifurcation on the visual cortex with weakly anisotropic lateral coupling. SIAM J Appl Dyn Syst. 2003;2(2):97–143. CrossRefMATHMathSciNetGoogle Scholar
- 12.Bressloff PC. Spatially periodic modulation of cortical patterns by long-range horizontal connections. Phys D, Nonlinear Phenom. 2003;185(3–4):131–57. CrossRefMATHMathSciNetGoogle Scholar
- 13.Baker TI, Cowan JD. Spontaneous pattern formation and pinning in the primary visual cortex. J Physiol (Paris). 2009;103(1):52–68. CrossRefGoogle Scholar
- 14.Kenet T, Bibitchkov D, Tsodyks M, Grinvald A, Arieli A. Spontaneously emerging cortical representations of visual attributes. Nature. 2003;425(6961):954–6. CrossRefGoogle Scholar
- 15.Mariño J, Schummers J, Lyon DC, Schwabe L, Beck O, Wiesing P, Obermayer K, Sur M. Invariant computations in local cortical networks with balanced excitation and inhibition. Nat Neurosci. 2005;8(2):194–201. CrossRefGoogle Scholar
- 16.Lauterbach R, Roberts M. Heteroclinic cycles in dynamical systems with broken spherical symmetry. J Differ Equ. 1992;100(1):22–48. CrossRefMATHMathSciNetGoogle Scholar
- 17.Douglas RJ, Koch C, Mahowald M, Martin KA, Suarez HH. Recurrent excitation in neocortical circuits. Science. 1995;269(5226):981–5. CrossRefGoogle Scholar
- 18.Finn IM, Priebe NJ, Ferster D. The emergence of contrast-invariant orientation tuning in simple cells of cat visual cortex. Neuron. 2007;54(1):137–52. CrossRefGoogle Scholar
- 19.Hirsch JA, Gilbert CD. Synaptic physiology of horizontal connections in the cat’s visual cortex. J Neurosci. 1991;11(6):1800–9. Google Scholar
- 20.Veltz R. Nonlinear analysis methods in neural field models [PhD thesis]. Université Paris Est; 2011. Google Scholar
- 21.Veltz R, Faugeras O. Local/global analysis of the stationary solutions of some neural field equations. SIAM J Appl Dyn Syst. 2010;9(3):954–98. CrossRefMATHMathSciNetGoogle Scholar
- 22.Hoyle RB. Pattern formation: an introduction to methods. Cambridge: Cambridge University Press; 2006. CrossRefGoogle Scholar
- 23.Coombes S, beim Graben P, Potthast R. Tutorial on neural field theory. In: Coombes S, beim Graben P, Potthast R, Wright J, editors. Neural fields. Berlin: Springer; 2014. p. 1–43. CrossRefGoogle Scholar
- 24.Coxeter HSM. Introduction to geometry. New York: Wiley; 1961. MATHGoogle Scholar
- 25.Miller W. Symmetry groups and their applications. New York: Academic Press; 1972. MATHGoogle Scholar
- 26.Senechal M. Color groups. Discrete Appl Math. 1979;1(1–2):51–73. CrossRefMATHMathSciNetGoogle Scholar
- 27.Schattschneider D. The plane symmetry groups: their recognition and notation. Am Math Mon. 1978;85:439–50. CrossRefMATHMathSciNetGoogle Scholar
- 28.Bosking WH, Zhang Y, Schofield B, Fitzpatrick D. Orientation selectivity and the arrangement of horizontal connections in tree shrew striate cortex. J Neurosci. 1997;17(6):2112–27. Google Scholar
- 29.Angelucci A, Levitt JB, Walton EJ, Hupe JM, Bullier J, Lund JS. Circuits for local and global signal integration in primary visual cortex. J Neurosci. 2002;22(19):8633–46. Google Scholar
- 30.Chossat P, Lauterbach R. Methods in equivariant bifurcations and dynamical systems. Singapore: World Scientific; 2000. CrossRefMATHGoogle Scholar
- 31.Hou C, Golubitsky M. An example of symmetry breaking to heteroclinic cycles. J Differ Equ. 1997;133(1):30–48. CrossRefMATHMathSciNetGoogle Scholar
- 32.Parker MJ, Gomes MGM, Stewart IN. Forced symmetry-breaking of square lattice planforms. J Dyn Differ Equ. 2006;18(1):223–55. CrossRefMATHMathSciNetGoogle Scholar
- 33.Wolf F, Geisel T. Spontaneous pinwheel annihilation during visual development. Nature. 1998;395(6697):73–8. CrossRefGoogle Scholar
- 34.Hutt A, Bestehorn M, Wennekers T. Pattern formation in intracortical neuronal fields. Netw Comput Neural Syst. 2003;14:351–68. CrossRefGoogle Scholar
- 35.Veltz R. Interplay between synaptic delays and propagation delays in neural fields equations. Rapport de recherche RR-8020, INRIA; 2013. Google Scholar
- 36.Roxin A, Brunel N, Hansel D. Role of delays in shaping spatiotemporal dynamics of neuronal activity in large networks. Phys Rev Lett. 2005;94(23):238103. CrossRefGoogle Scholar
- 37.Wilson HR, Blake R, Lee S-H. Dynamics of travelling waves in visual perception. Nature. 2001;412(6850):907–10. CrossRefGoogle Scholar
- 38.Kang M-S, Lee S-H, Kim J, Heeger D, Blake R. Modulation of spatiotemporal dynamics of binocular rivalry by collinear facilitation and pattern-dependent adaptation. J Vis. 2010;10(11):3. CrossRefGoogle Scholar
- 39.Li H, Sun J. Fast Fourier transform on hexagons. In: Current trends in high performance computing and its applications. Berlin: Springer; 2005. p. 357–62. CrossRefGoogle Scholar
- 40.Heroux M, Bartlett R, Hoekstra VHR, Hu J, Kolda T, Lehoucq R, Long K, Pawlowski R, Phipps E, Salinger A, Thornquist H, Tuminaro R, Willenbring J, Williams A. An overview of Trilinos. Technical report SAND2003-2927. Sandia National Laboratories; 2003. Google Scholar
- 41.Balay S, Abhyankar S, Adams MF, Brown J, Brune P, Buschelman K, Eijkhout V, Gropp WD, Kaushik D, Knepley MG, McInnes LC, Rupp K, Smith BF, Zhang H. PETSc Web page. http://www.mcs.anl.gov/petsc (2014).
- 42.Dalcin LD, Paz RR, Kler PA, Cosimo A. Parallel distributed computing using python. Adv Water Resour. 2011;34(9):1124–39. CrossRefGoogle Scholar

## Copyright information

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.