Continuity of projected maps of heteroclinic networks in $\mathbb{R}^{4}$

Abstract

Stability of robust heteroclinic cycles and networks is typically studied by constructing return maps and analysing their associated transition matrices. This analysis can be simplified with the network's projected map, derived by projecting the linear action of the transition matrix onto a simplex. This projection produces a piecewise-smooth map, which is one-dimensional for heteroclinic networks in $\mathbb{R}^{4}$. We consider two such networks, the Kirk--Silber network and the $\Delta$-clique network. For the Kirk--Silber network, the projected map is discontinuous on its switching manifold, while it is continuous for the $\Delta$-clique network. In this paper, we address the dynamical phenomena that produce a discontinuity in the case of the Kirk--Silber network, and explain the value of the projected map at the switching manifold. We construct a completed return map near both networks, which captures the behaviour of all trajectories that begin near the network but may move away from it temporarily. We show that the discontinuity in the projected map of the Kirk--Silber network emerges due to two phenomena: first, there exists a discontinuity in a component of the completed return map in the limit as trajectories approach the Kirk--Silber network, as a result of the presence of a separatrix near the network, and, second, the procedure that defines the projected map. For the $\Delta$-clique network, there is no such separatrix, and so no such discontinuity emerges. This analysis is a necessary step towards understanding the more complicated dynamics observed near heteroclinic networks of five or more equilibria.