1: \begin{abstract}

2: We study convergence properties of competing epidemic models of the \textit{Susceptible-Infected-Susceptible} ($SIS$) type. The SIS epidemic model has seen widespread popularity in modelling the spreading dynamics of contagions such as viruses, infectious diseases, or even rumors/opinions over contact networks (graphs). We analyze the case of \textit{two} such viruses spreading on overlaid graphs, with non-linear rates of infection spread and recovery. We call this the \textit{non-linear bi-virus model} and, building upon recent results, obtain precise conditions for \textit{global convergence} of the solutions to a \textit{trichotomy} of possible outcomes:  a virus-free state, a single-virus state, and to a coexistence state. Our techniques are based on the theory of \textit{monotone dynamical systems (MDS)}, in contrast to Lyapunov based techniques that have only seen partial success in determining convergence properties in the setting of competing epidemics. We demonstrate how the existing works have been unsuccessful in characterizing a large subset of the model parameter space for bi-virus epidemics, including all scenarios leading to coexistence of the epidemics. To the best of our knowledge, our results are the first in providing complete convergence analysis for the bi-virus system with non-linear infection and recovery rates on general graphs.

3: \end{abstract}