Introduction

Although sex is a private and pleasurable activity, it may result in disease1. Largely because of human instinct, sexually transmitted infections (STIs) have continued to exist alongside human beings for a long time. In fact, STIs were described in ancient records such as the Ebers Papyrus and the Old Testament of the Bible in Leviticus 15: 2–332. STIs remain a worldwide health concern, with a global estimate of 340 million new cases of “curable” infections (e.g., syphilis, gonorrhea, chlamydia, and trichomoniasis) and millions of “incurable” infections (e.g., human immunodeficiency virus [HIV], herpes simplex viruses [HSV], human papillomaviruses [HPV], hepatitis B virus [HBV], and human T-lymphotropic virus type 1 [HTLV-1]) occurring annually among men and women aged 15–49 years3,4. The “incurable” viral STIs cannot be eradicated through medications that are currently available. Presently, some STIs that were formerly considered “curable” are spreading as STIs that are “incurable” because of resistance to antibiotics5,6.

It is difficult to accurately estimate mortality due to STIs because death certificates generally only record prevalent conditions, and STIs are rarely recorded on death certificates7. However, STIs contribute both directly and indirectly to human death. HIV has been well known as the virus that causes AIDS, which has a high mortality rate. In 2017, although the number of new infected people with HIV has begun to decline gradually, 36.9 million people were living with HIV/AIDS, and 940,000 people died of HIV-related illnesses, worldwide8,9. Hepatitis B and hepatitis C are also dangerous STIs, which increase the mortality rates from cirrhosis and liver cancer10. From 1990 to 2013, the estimated number of deaths caused by hepatitis, globally, increased from around 0.9 million to around 1.5 million10. HPV causes virtually all cervical cancer and associated cancers (i.e., oropharyngeal, vulvar, vaginal, penile, and anal cancers)11. Cervical cancer is among the most common cancers causing death for women in developing countries12. In 2018, there were 570,000 new cases of cervical cancer, worldwide, and 311,000 women died from cervical cancer13. Reviewing the current situation, Chesson et al. estimated the direct costs of major STIs at US$16.7 billion, including costs for gonorrhea, chlamydia, syphilis, trichomoniasis, hepatitis B, diseases associated with sexually transmitted HPV, genital HSV-2 infection, and HIV infection14,15.

In light of these concerns, mathematical models can provide ideas and knowledge that are helpful for understanding the epidemiology and control of STIs16. Many mathematical models have been built to understand the infection dynamics of STIs, including HIV/AIDS, syphilis, and gonorrhea16,17. The first mathematical model used for the explicit study of an STI (gonorrhea) was developed by Cooke and Yorke in 197318. The mathematical model of HIV transmission has been extensively studied since the late 1980s19,20,21. Simple models have the advantage of analytical tractability and can be used to explain the relative merits of various prevention options. However, the real world is replete with complexities22.

STIs occur through sexual contact networks, which are extremely complex. The overall picture of sexual networks is unclear because information about who has sex with whom is considered extremely sensitive. We do know that human sexual networks are highly heterogeneous: Most individuals have only a few sexual partners, but a few have hundreds23,24,25,26. Therefore, the heterogeneity of sexual contact is an important factor of the spread of STIs.

Most STIs can also be spread vertically over generations through mother-to-child transmission. There are various types of STIs, and their transmission processes are diverse. For example, the primary route of mother-to-child (vertical) transmission of HTLV-1 is breastfeeding; intrauterine transmission and transmission via saliva are also possible infection routes, but their transmission rates are low27. For HTLV-1 and HBV, children who are infected through mother-to-child transmission spread STIs through sexual contact after they become adults because HTLV-1 and HBV have long latency periods before the onset of symptoms and extremely low or zero mortality among infants infected through mother-to-child transmission28,29. In contrast, many other STIs (e.g., congenital syphilis, neonatal herpes, congenital HIV, and many other bacterial STIs) have high infant mortality rates or other serious consequences for infants30,31,32,33,34. Clearly, these high-mortality STIs will lead to different infection dynamics, compared with low-mortality STIs.

Understanding the long-term dynamics of various STIs requires a comprehensive model that includes both horizontal and vertical transmission. In a previous study, we tested a susceptible–infected model with horizontal and vertical transmission35. However, the previous model assumed that the pathogenic death rate coincided with the non-pathogenic death rate, that an individual could have sexual contact soon after birth, and that infections were incurable. In the present study, we improved the previous model and constructed a comprehensive model that takes into account adult mortality from infection, infant mortality caused by mother-to-child transmission, infertility or stillbirth caused by infection, and recovery with treatment. Thus, the comprehensive model can be considered a susceptible–infected–susceptible (SIS) model. This model includes three types of individuals: juveniles, adult women, and adult men. Here, juveniles are individuals who are not mature enough to have sexual intercourse. In addition, to reproduce heterogeneous sexual contacts, we assume that each individual has their own sexual activity. In the previous study, we considered the dynamics of sexual networks35; however, for simplicity, we assume sexual contacts to be well mixed in the present study.

When considering homogeneous populations, epidemiologists frequently use the basic reproduction number (R0), which is the number of secondary cases that one case would produce in a completely susceptible population. However, because our model includes three types of individuals, it was convenient to calculate a type-reproduction number for each type category rather than for the population as a whole36,37. If the type-reproduction numbers are larger than one, the basic reproduction number is also larger than one. The type-reproduction numbers have a significant meaning from a long-term public health perspective: STIs can spread when the type-reproduction numbers are larger than one, and STIs cannot survive in the long term when the type-reproduction numbers are less than one. In this article, we derive analytical formulas for the three type-reproduction numbers using the comprehensive model we propose. We show that the type-reproduction number for adult women is qualitatively the same as the basic reproduction number proposed in our previous work35.

Model

We consider a compartment model with six compartments: susceptible juveniles Sj(t), susceptible adult female Sf(t), susceptible adult male Sm(t), infected juveniles Ij(t), infected adult female If(t), and infected adult male Im(t). These variables represent the numbers of individuals belonging to the compartments at time t. Juveniles cannot have sexual intercourse, whereas adults can. Moreover, we assume that each adult has different sexual activity, as a congenital attribute. The model variables and parameters are summarized in Table 1.

Table 1 Explanation of notation (all variables and parameters are non-negative).

Dynamics of juveniles

The dynamics of Sj(t) and Ij(t) are assumed to be

$$\begin{array}{ccc}\frac{d{S}_{{\rm{j}}}(t)}{dt} & = & B\frac{{S}_{{\rm{f}}}(t)+(1-\alpha )(1-\delta ){I}_{{\rm{f}}}(t)}{{I}_{{\rm{f}}}(t)+{S}_{{\rm{f}}}(t)}-(\lambda +{\mu }_{{\rm{j}}}){S}_{{\rm{j}}}({\rm{t}})+{\eta }_{{\rm{j}}}{I}_{{\rm{j}}}(t),\\ \frac{d{I}_{{\rm{j}}}(t)}{dt} & = & B\frac{\alpha (1-\delta ){I}_{{\rm{f}}}(t)}{{I}_{{\rm{f}}}(t)+{S}_{{\rm{f}}}(t)}-(\lambda ^{\prime} +{\eta }_{{\rm{j}}}+{\mu }_{{\rm{j}}}^{\text{'}}){I}_{{\rm{j}}}(t).\end{array}$$
(1)

Here, B is the number of births per unit of time, δ is the rate of infertility or stillbirth, and α is the rate of vertical transmission from mother to infant. The parameters λ and λ′ are the maturing rates for susceptible and infected juveniles, respectively. Juveniles become adults at the maturing rate. Because the pathogenicity of infection may reduce the growth of infected juveniles, we set λ′ ≤ λ. The parameter ηj stands for the juvenile cure rate, where an infected juvenile becomes susceptible with the cure rate of ηj. The pathogenic premature mortality rate \({\mu }_{{\rm{j}}}^{\text{'}}\) is at least as large as the natural premature mortality rate μj (thus, \({\mu }_{{\rm{j}}}^{\text{'}}\ge {\mu }_{{\rm{j}}}\)). Here, the juvenile’s sex is not considered because there is no need to distinguish between sexes in the juvenile stage in this model.

Sexual activity

We assume that each adult individual has sexual activity a as part of their constitution. Anderson and May defined the degree of sexual activity as the number of sexual partners per unit of time17,21. In contrast, in network science, the degree of sexual activity is often defined as the number sexual partners that an individual has at the same time38. Here, we generalize degree of sexual activity to be a real number and define it as follows39,40. We assume that the sexual activity levels of women and men follow the distributions pf(a) and pm(a), respectively. We set the mean sexual activity levels a of women and men to one without losing generality:

$$\langle a\rangle ={\int }_{0}^{\infty }\,a{p}_{{\rm{f}}}(a)da={\int }_{0}^{\infty }\,a{p}_{{\rm{m}}}(a)da=1.$$
(2)

The total number of sexual contacts per unit of time is assumed to be f(Nf(t), Nm(t)), where Nf(t) = Sf(t) + If(t) and Nm(t) = Sm(t) + Im(t). Thus, the rates of having a sexual contact for a woman and a man are

$$af({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))/{N}_{{\rm{f}}}(t),\,af({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))/{N}_{{\rm{m}}}(t),$$
(3)

respectively. For example, if sexual contacts are modeled by mass action, f(Nf(t), Nm(t)) Nf(t)Nm(t). In this case, the rates of having a sexual contact for a woman and a man are proportional to aNm(t) and aNf(t), respectively. This is not very realistic because the number of sexual contacts a person has increases along with the population. Alternatively, if women dominate sexual contact, f(Nf(t), Nm(t)) Nf(t). In this case, the rates of having a sexual contact for a woman and a man are proportional to a and aNf(t)/Nm(t), respectively. This may be more suitable because men have less chance of contacting women when the number of women per men decreases. In any case, the sexual contacts are assumed to be well mixed. The average numbers of sexual contacts per unit of time for women and men are given as

$${k}_{{\rm{f}}}=\frac{f({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))}{{N}_{{\rm{f}}}(t)},\,{k}_{{\rm{m}}}=\frac{f({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))}{{N}_{{\rm{m}}}(t)},$$
(4)

respectively, because we set 〈a〉 = 1. Moreover, it is convenient to define the averages weighted by sexual activity:

$$\begin{array}{ccc}{c}_{{\rm{f}}} & = & \frac{f({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))}{{N}_{{\rm{f}}}(t)}{\int }_{0}^{\infty }\,{a}^{2}{p}_{{\rm{f}}}(a)da,\\ {c}_{{\rm{m}}} & = & \frac{f({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))}{{N}_{{\rm{m}}}(t)}{\int }_{0}^{\infty }\,{a}^{2}{p}_{{\rm{m}}}(a)da.\end{array}$$
(5)

These values correspond to the effective average over the distribution by degree of sexual activity, as defined by May and Anderson21, where cf and cm are not simply the mean but the mean plus the ratio of variance to the mean. High heterogeneity of sexual contacts means cfkf and cmkm.

Dynamics of adults

The number of susceptible adult women whose sexual activity is in the infinitesimal interval [a, a + da] is denoted as Sf(t, a)da. The same applies to Sm(t, a), If(t, a) and Im(t, a). Thus, we have

$$\begin{array}{ccc}{S}_{{\rm{f}}}(t) & = & {\int }_{0}^{\infty }\,{S}_{{\rm{f}}}(t,a)da,\,{S}_{{\rm{m}}}(t)={\int }_{0}^{\infty }\,{S}_{{\rm{m}}}(t,a)da,\,\\ {I}_{{\rm{f}}}(t) & = & {\int }_{0}^{\infty }\,{I}_{{\rm{f}}}(t,a)da,\,{I}_{{\rm{m}}}(t)={\int }_{0}^{\infty }\,{I}_{{\rm{m}}}(t,a)da.\end{array}$$
(6)

The dynamics of Sf(t, a), If(t, a), Sm(t, a) and Im(t, a) are expressed as

$$\begin{array}{ccc}\frac{{\rm{\partial }}{S}_{{\rm{f}}}(t,a)}{{\rm{\partial }}t} & = & \lambda (1-\gamma ){S}_{{\rm{j}}}(t){p}_{{\rm{f}}}(a)-{\mu }_{{\rm{f}}}{S}_{{\rm{f}}}(t,a)+{\eta }_{{\rm{f}}}{I}_{{\rm{f}}}(t,a)\\ & & -\,a{\beta }_{{\rm{m}}\to {\rm{f}}}{S}_{{\rm{f}}}(t,a){{\rm{\Theta }}}_{{\rm{m}}}(t)\frac{f({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))}{{N}_{{\rm{f}}}(t)},\\ \frac{{\rm{\partial }}{S}_{{\rm{m}}}(t,a)}{{\rm{\partial }}t} & = & \lambda \gamma {S}_{{\rm{j}}}(t){p}_{{\rm{m}}}(a)-{\mu }_{{\rm{m}}}{S}_{{\rm{m}}}(t,a)+{\eta }_{{\rm{m}}}{I}_{{\rm{m}}}(t,a)\\ & & -\,a{\beta }_{{\rm{f}}\to {\rm{m}}}{S}_{{\rm{m}}}(t,a){{\rm{\Theta }}}_{{\rm{f}}}(t)\frac{f({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))}{{N}_{{\rm{m}}}(t)},\\ \frac{{\rm{\partial }}{I}_{{\rm{f}}}(t,a)}{{\rm{\partial }}t} & = & {\lambda }^{^{\prime} }(1-\gamma ){I}_{{\rm{j}}}(t){p}_{{\rm{f}}}(a)-({\mu }_{{\rm{f}}}^{^{\prime} }+{\eta }_{{\rm{f}}}){I}_{{\rm{f}}}(t,a)\\ & & +\,a{\beta }_{{\rm{m}}\to {\rm{f}}}{S}_{{\rm{f}}}(t,a){{\rm{\Theta }}}_{{\rm{m}}}(t)\frac{f({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))}{{N}_{{\rm{f}}}(t)},\\ \frac{{\rm{\partial }}{I}_{{\rm{m}}}(t,a)}{{\rm{\partial }}t} & = & {\lambda }^{^{\prime} }\gamma {I}_{{\rm{j}}}(t){p}_{{\rm{m}}}(a)-({\mu }_{{\rm{m}}}^{^{\prime} }+{\eta }_{{\rm{m}}}){I}_{{\rm{m}}}(t,a)\\ & & +\,a{\beta }_{{\rm{f}}\to {\rm{m}}}{S}_{{\rm{m}}}(t,a){{\rm{\Theta }}}_{{\rm{f}}}(t)\frac{f({N}_{{\rm{f}}}(t),{N}_{{\rm{m}}}(t))}{{N}_{{\rm{m}}}(t)}.\end{array}$$
(7)

The parameter γ in the first terms on the right hand side of the above equations represents the proportion of men at the time of coming of age. If γ = 0.5, the same number of male and female juveniles grow to adulthood. The parameters μf, \({\mu }_{{\rm{f}}}^{\text{'}}\), μm, and \({\mu }_{{\rm{m}}}^{\text{'}}\) are the death rates for susceptible adult women, infected adult women, susceptible adult men, and infected adult men, respectively. Here, we set \({\mu }_{{\rm{f}}}^{\text{'}}\) ≥ μf and \({\mu }_{{\rm{m}}}^{\text{'}}\) ≥ μm because of pathogenicity. The parameters ηf and ηm are the cure rates for women and men, respectively. Note that the death and cure rates are assumed not to be directly dependent on sexual activity a. If ηj = ηf = ηm = 0, the infection is incurable, meaning that the model is of the susceptible–infected type. The probabilities of transmission per sexual contact are βm→f and βf→m for male-to-female and female-to-male transmission, respectively (0 ≤ βm→f, βf→m ≤ 1). Here, the variables Θf(t) and Θm(t) stand for the probabilities that the sexual partners of a man and a woman are infected, respectively. Because a sexual partner with sexual activity a is selected with the probability aNf(t, a)/Nf(t) or aNm(t, a)/Nm(t) and the probability that the sexual partner is infected is If(t, a)/Nf(t, a) or Im(t, a)/Nm(t, a), we have

$$\begin{array}{ccc}{\Theta }_{{\rm{f}}}(t) & = & {\int }_{0}^{\infty }\,\frac{a{I}_{{\rm{f}}}(t,a)}{{N}_{{\rm{f}}}(t)}da,\\ {\Theta }_{{\rm{m}}}(t) & = & {\int }_{0}^{\infty }\,\frac{a{I}_{{\rm{m}}}(t,a)}{{N}_{{\rm{m}}}(t)}da.\end{array}$$
(8)

Results

Disease-free case

First, we consider the disease-free case (Ij = If = Im = Θf = Θm = 0). The dynamics of population are rewritten as

$$\begin{array}{ccc}\frac{d{S}_{{\rm{j}}}(t)}{dt} & = & B-(\lambda +{\mu }_{{\rm{j}}}){S}_{{\rm{j}}}({\rm{t}}),\\ \frac{{\rm{\partial }}{S}_{{\rm{f}}}(t,a)}{{\rm{\partial }}t} & = & \lambda (1-\gamma ){S}_{{\rm{j}}}(t){p}_{{\rm{f}}}(a)-{\mu }_{{\rm{f}}}{S}_{{\rm{f}}}(t,a),\\ \frac{{\rm{\partial }}{S}_{{\rm{m}}}(t,a)}{{\rm{\partial }}t} & = & \lambda \gamma {S}_{{\rm{j}}}(t){p}_{{\rm{m}}}(a)-{\mu }_{{\rm{m}}}{S}_{{\rm{m}}}(t,a).\end{array}$$
(9)

There is a stable equilibrium state

$${\tilde{S}}_{{\rm{j}}}=\frac{B}{\lambda +{\mu }_{{\rm{j}}}},\,{\tilde{S}}_{{\rm{f}}}(a)=\frac{\lambda B(1-\gamma )}{{\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{p}_{{\rm{f}}}(a),\,{\tilde{S}}_{{\rm{m}}}(a)=\frac{\lambda B\gamma }{{\mu }_{{\rm{m}}}(\lambda +{\mu }_{{\rm{j}}})}{p}_{{\rm{m}}}(a),$$
(10)

where the tildes over the variables indicate that the values are for the disease-free equilibrium. In this case, from Eq. (4), we have

$$\frac{{k}_{{\rm{f}}}}{{k}_{{\rm{m}}}}=\frac{{\tilde{N}}_{{\rm{m}}}}{{\tilde{N}}_{{\rm{f}}}}=\frac{{\tilde{S}}_{{\rm{m}}}}{{\tilde{S}}_{{\rm{f}}}}=\frac{{\mu }_{{\rm{f}}}\gamma }{{\mu }_{{\rm{m}}}(1-\gamma )}.$$
(11)

Linearization

To derive the basic reproduction number, we linearize Eqs. (1) and (7) near the disease-free case—that is, we consider only the first order of Ij, If(a), Im(a), Θf, Θm and replace \({S}_{{\rm{j}}}={\tilde{S}}_{{\rm{j}}},\,{S}_{{\rm{f}}}(a)={\tilde{S}}_{{\rm{f}}}(a),\,{S}_{{\rm{m}}}(a)={\tilde{S}}_{{\rm{m}}}(a)\) in Eqs. (1) and (7).

$$\begin{array}{ccc}\frac{d{I}_{{\rm{j}}}(t)}{dt} & = & \frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )}{I}_{{\rm{f}}}(t)-({\lambda }^{{\rm{^{\prime} }}}+{\eta }_{{\rm{j}}}+{\mu }_{j}^{^{\prime} }){I}_{{\rm{j}}}(t),\\ \frac{{\rm{\partial }}{I}_{{\rm{f}}}(t)}{{\rm{\partial }}t} & = & {\lambda }^{{\rm{^{\prime} }}}(1-\gamma ){I}_{{\rm{j}}}(t)-({\mu }_{{\rm{f}}}^{^{\prime} }+{\eta }_{{\rm{f}}}){I}_{{\rm{f}}}(t)+{\beta }_{{\rm{m}}\to {\rm{f}}}\frac{\lambda B(1-\gamma )}{{\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{k}_{{\rm{f}}}{\Theta }_{{\rm{m}}}(t),\\ \frac{{\rm{\partial }}{I}_{{\rm{m}}}(t)}{{\rm{\partial }}t} & = & {\lambda }^{{\rm{^{\prime} }}}\gamma {I}_{{\rm{j}}}(t)-({\mu }_{{\rm{m}}}^{^{\prime} }+{\eta }_{{\rm{m}}}){I}_{{\rm{m}}}(t)+{\beta }_{{\rm{f}}\to {\rm{m}}}\frac{\lambda B\gamma }{{\mu }_{{\rm{m}}}(\lambda +{\mu }_{{\rm{j}}})}{k}_{{\rm{m}}}{\Theta }_{{\rm{f}}}(t),\\ \frac{{\rm{\partial }}{\theta }_{{\rm{f}}}(t)}{{\rm{\partial }}t} & = & {\lambda }^{{\rm{^{\prime} }}}\frac{{\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda B}{I}_{{\rm{j}}}(t)-({\mu }_{{\rm{f}}}^{^{\prime} }+{\eta }_{{\rm{f}}}){\theta }_{{\rm{f}}}(t)+{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{f}}}{\Theta }_{{\rm{m}}}(t),\\ \frac{{\rm{\partial }}{\theta }_{{\rm{m}}}(t)}{{\rm{\partial }}t} & = & {\lambda }^{{\rm{^{\prime} }}}\frac{{\mu }_{{\rm{m}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda B}{I}_{{\rm{j}}}(t)-({\mu }_{{\rm{m}}}^{^{\prime} }+{\eta }_{{\rm{m}}}){\theta }_{{\rm{m}}}(t)+{\beta }_{{\rm{f}}\to {\rm{m}}}{c}_{{\rm{m}}}{\Theta }_{{\rm{f}}}(t).\end{array}$$
(12)

Case without sexual transmission

Here, we consider a simple case where there is only mother-to-child transmission (βm→f = βf→m = 0). In this case, Eq. (12) is simplified to a three-dimensional system:

$$\begin{array}{ccc}\frac{d{I}_{{\rm{j}}}(t)}{dt} & = & \frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )}{I}_{{\rm{f}}}(t)-({\lambda }^{^{\prime} }+{\eta }_{{\rm{j}}}+{\mu }_{{\rm{j}}}^{^{\prime} }){I}_{{\rm{j}}}(t),\\ \frac{{\rm{\partial }}{I}_{{\rm{f}}}(t)}{{\rm{\partial }}t} & = & {\lambda }^{^{\prime} }(1-\gamma ){I}_{{\rm{j}}}(t)-({\mu }_{{\rm{f}}}^{^{\prime} }+{\eta }_{{\rm{f}}}){I}_{{\rm{f}}}(t),\\ \frac{{\rm{\partial }}{I}_{{\rm{m}}}(t)}{{\rm{\partial }}t} & = & {\lambda }^{^{\prime} }\gamma {I}_{{\rm{j}}}(t)-({\mu }_{{\rm{m}}}^{^{\prime} }+{\eta }_{{\rm{m}}}){I}_{{\rm{m}}}(t).\end{array}$$
(13)

In this case, we do not need to consider the dynamics of θf(t) and θm(t) because they do not affect Ij(t), If(t) or Im(t). We write the linearized system Eq. (13) in the form \(\dot{x}=(T+Q)x\), where matrix T corresponds to transmissions and matrix Q to transitions:

$$\begin{array}{rcl}T & = & (\begin{array}{ccc}0 & \frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )} & 0\\ \frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )} & 0 & 0\\ \frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )} & 0 & 0\end{array}),\\ Q & = & (\begin{array}{ccc}-({\lambda }^{\text{'}}+{\eta }_{{\rm{j}}}+{\mu }_{j}^{\text{'}}) & 0 & 0\\ 0 & -\frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )} & 0\\ 0 & 0 & -({\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}})\end{array}).\end{array}$$
(14)

Then, the spectral radius (dominant eigenvalue) of the next generation matrix −TQ−1 gives the reproduction number41,42. After some elementary algebra, we obtain the basic reproduction number for the case without sexual transmission.

$${\alpha }_{{\rm{eff}}}=\frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}}){\lambda }^{\text{'}}}{\lambda ({\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}})(\lambda ^{\prime} +{\eta }_{{\rm{j}}}+{\mu }_{{\rm{j}}}^{\text{'}})}.$$
(15)

Here, the amount αeff is the efficient vertical transmission rate.

Equation (15) can be intuitively understood as follows (see Fig. 1a). The number of births per unit of time in the disease-free equilibrium is

$$B=\frac{{\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )}{\tilde{S}}_{{\rm{f}}},$$
(16)

as is apparent from Eq. (10). Referring to Eq. (1), the average number of children born to an infected adult women per unit of time is

$$\frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )}.\,$$
(17)
Figure 1
figure 1

Intuitive derivation of Eqs. (15), (2022). (a) The two figures represent the processes through which daughters and sons are vertically infected by an infected adult woman, where the average production numbers of vertically infected juveniles are given by αeff and \(\frac{\gamma }{1-\gamma }{\alpha }_{{\rm{eff}}}\), respectively. (b) The average total number of female offspring infected vertically by a horizontally infected adult woman is derived by a geometric series with initial term αeff and geometric ratio αeff, which gives Eq. (21). (c) The average total number of male offspring infected vertically by a horizontally infected adult woman is derived similarly, giving Eq. (22).

Because the average duration for infected adult women is 1/(\({\mu }_{{\rm{f}}}^{\text{'}}\) + ηf), the average number of children born to an infected adult woman is

$$\frac{\alpha (1-\delta ){\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{\lambda (1-\gamma )({\mu }_{{\rm{f}}}^{^{\prime} }+{\eta }_{{\rm{f}}})}.\,$$
(18)

The probability that a juvenile survives and becomes an adult woman is

$$\frac{(1-\gamma )\lambda ^{\prime} }{\lambda ^{\prime} +{\eta }_{{\rm{j}}}+{\mu }_{{\rm{j}}}^{\text{'}}}.$$
(19)

The average number of daughters infected vertically by an infected adult woman is given by the product of Eqs. (18) and (19), which leads to Eq. (15). The value of αeff represents the average number of infected adult daughters of an infected adult woman in a completely susceptible population. Thus, the epidemic threshold is given by αeff = 1. Because α ≤ 1, λ′ ≤ λ, \({\mu }_{{\rm{j}}}^{\text{'}}\ge {\mu }_{{\rm{j}}}\), \({\mu }_{{\rm{f}}}^{\text{'}}\) ≥ μf, ηf ≥ 0, ηj ≥ 0, and δ ≥ 0, αeff is always less than one. Therefore, STIs cannot survive if they spread only by mother-to-child transmission. In the same way (see Fig. 1a), we can show that the average number of sons infected vertically by an infected adult woman is

$$\frac{\gamma }{1-\gamma }\,{\alpha }_{{\rm{eff}}}.$$
(20)

As is shown in Fig. 1b, the average number of adult women infected through consecutive mother-to-child transmissions from an infected adult woman is

$$\frac{{\alpha }_{{\rm{eff}}}}{1-{\alpha }_{{\rm{eff}}}}.$$
(21)

As is shown in Fig. 1c, the average number of adults men infected through consecutive mother-to-child transmissions from an infected adult woman is

$$\frac{\gamma }{1-\gamma }\,\frac{{\alpha }_{{\rm{eff}}}}{1-{\alpha }_{{\rm{eff}}}}.$$
(22)

Type-reproduction numbers for the general case

Here, we calculate the type-reproduction numbers for three compartments. First, to derive the type-reproduction number for women infected horizontally, we focus on adult women infected through sexual transmission and regard vertical transmissions as transitions. We rewrite the linearized system Eq. (12) in the form \(\dot{x}\) = (T + Q)x—that is,

$$\begin{array}{ccc}T & = & (\begin{array}{ccccc}0 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & {A}_{25}\\ 0 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & {A}_{45}\\ 0 & 0 & 0 & 0 & 0\end{array}),\\ Q & = & (\begin{array}{ccccc}-{A}_{11} & {A}_{12} & 0 & 0 & 0\\ {A}_{21} & -{A}_{22} & 0 & 0 & 0\\ {A}_{31} & 0 & -{A}_{33} & {A}_{34} & 0\\ {A}_{41} & 0 & 0 & -{A}_{44} & 0\\ {A}_{51} & 0 & 0 & {A}_{54} & -{A}_{55}\end{array}).\end{array}$$
(23)

Here, for example, A11 = λ′ + ηj + \({\mu }_{{\rm{j}}}^{\text{'}}\) and \({A}_{25}={\beta }_{{\rm{m}}\to {\rm{f}}}\frac{\lambda B(1-\gamma )}{{\mu }_{{\rm{f}}}(\lambda +{\mu }_{{\rm{j}}})}{k}_{{\rm{f}}}\). Calculating the dominant eigenvalue of −TQ−1, we obtain the type-reproduction number for adult women:

$${R}_{{\rm{f}}}=\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{c}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}+\frac{{\alpha }_{{\rm{eff}}}}{1-{\alpha }_{{\rm{eff}}}}\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{k}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}+\frac{\gamma }{1-\gamma }\frac{{\alpha }_{{\rm{eff}}}}{1-{\alpha }_{{\rm{eff}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{k}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}.$$
(24)

If Rf > 1, the STI can spread over the population. Our previous study treating a simpler model gave a similar formula35, where we called Eq. (24) the basic reproduction number over generations. This metric is the average number of sexually infected adult women generated from a sexually infected woman in a completely susceptible population. As is shown in Fig. 2b, the first term represents the propagation through only two types of horizontal transmission (female-to-male and male-to-female); the second term represents the propagation through vertically infected women and these two types of horizontal transmission; and the third term represents the propagation through vertically infected men and male-to-female horizontal transmission. Note that the first term is dominant in Eq. (24) because cmkm and cfkf if αeff is not close to one.

Figure 2
figure 2

Intuitive derivation of type-reproduction numbers: Eqs. (24), (26) and (28). (a) There are four basic processes of infection spread starting from an infected adult woman and two starting from an infected adult man. The top two processes (yellow and green) represent vertical transmission starting from a horizontally infected adult woman, where the average production numbers are calculated as in Fig. 1b,c. Note that these processes contain vertical transmission starting from a vertically infected adult woman. The middle two processes represent horizontal transmission from a horizontally (blue) or vertically (brown) infected woman. The bottom two processes represent horizontal transmission from a horizontally (purple) or vertically (red) infected man. The average production numbers are given by the product of the transmissibility (βf→m or βm→f), contact rate (cf, kf, cm or km), and duration (1/(\({\mu }_{{\rm{f}}}^{\text{'}}\) + ηf) or 1/(\({\mu }_{{\rm{m}}}^{\text{'}}\) + ηm)). (b) There are three paths starting from a horizontally infected adult woman and ending with a horizontally infected adult woman: two horizontal transmissions (HH), one vertical and two horizontal transmissions (VHH), and one vertical and one horizontal transmission (VH). Because the HH case is made up of the processes shown in blue and purple in (a), the reproduction rate RHH for the HH case is given by the product of their average production numbers. We can calculate the reproduction rates RVHH and RVH for the VHH and VH cases in the same way. Thus, the type-reproduction number for adult women is given by summing these rates: RHH + RVHH + RVH; thus, Eq. (24) is obtained. (c) The paths starting with a horizontally infected adult man and ending with a horizontally infected adult man are more complicated. The HH case (purple and blue) and the VHH case (purple, yellow, and brown) are similar to (b) (see the top two parts). The average production numbers of these cases are RHH and RVHH. In addition to these two cases, secondary infected women may vertically infect their sons, who may then infect other women (i.e., we can insert the green and red parts in the way; see the middle two parts). The average production numbers of these cases are RHHRVH and RVHHRVH. This procedure can be repeated (see the bottom two parts). Thus, the type-reproduction number for adult men is derived by a geometric series with geometric ratio RVH, and Eq. (26) is obtained. (d) The paths starting with an infected juvenile and ending with an infected juvenile are also complicated. The case through one woman is simple, and it is obvious that its reproduction rate is αeff. There are two cases through two women: One includes men infected horizontally (brown and purple), and the other includes those infected vertically (red). Inserting the blue and purple part in the way, we obtain two cases through three women. This procedure can be repeated. Considering two geometric series with geometric ratio RHH, we obtain the type-reproduction number for juveniles—Eq. (28).

Second, focusing on adult men infected through sexual transmission, the linearized system Eq. (12) in the form \(\dot{x}\) = (T + Q)x is given by

$$\begin{array}{ccc}T & = & (\begin{array}{ccccc}0 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & {A}_{34} & 0\\ 0 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & {A}_{54} & 0\end{array}),\\ Q & = & (\begin{array}{ccccc}-\,{A}_{11} & {A}_{12} & 0 & 0 & 0\\ {A}_{21} & -\,{A}_{22} & 0 & 0 & {A}_{25}\\ {A}_{31} & 0 & -\,{A}_{33} & 0 & 0\\ {A}_{41} & 0 & 0 & -\,{A}_{44} & {A}_{45}\\ {A}_{51} & 0 & 0 & 0 & -\,{A}_{55}\end{array}).\end{array}$$
(25)

Calculating the dominant eigenvalue of −TQ−1, we obtain the type-reproduction number for adult men:

$${R}_{{\rm{m}}}=\frac{\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{c}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}+\frac{{\alpha }_{{\rm{eff}}}}{1-{\alpha }_{{\rm{eff}}}}\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{k}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}}{1-\frac{\gamma }{1-\gamma }\frac{{\alpha }_{{\rm{eff}}}}{1-{\alpha }_{{\rm{eff}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{k}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}}.$$
(26)

We can intuitively derive Eq. (26) by enumerating all of the infection paths (see Fig. 2c). In the case of

$$\frac{\gamma }{1-\gamma }\frac{{\alpha }_{{\rm{eff}}}}{1-{\alpha }_{{\rm{eff}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{k}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}} < 1,$$

Equation (26) is meaningful, representing the average number of sexually infected adult men generated from a sexually infected man in a completely susceptible population. Otherwise, Rm diverges to infinity. It is obvious that Rm > 1 if and only if Rf > 1. Moreover, we emphasize that Rm > Rf if Rf > 1.

Finally, focusing juveniles infected through mother-to-child transmission, the linearized system Eq. (12) in the form \(\dot{x}\) = (T + Q)x is given by

$$\begin{array}{ccc}T & = & (\begin{array}{ccccc}0 & {A}_{12} & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 & 0\end{array}),\\ Q & = & (\begin{array}{ccccc}-{A}_{11} & 0 & 0 & 0 & 0\\ {A}_{21} & -{A}_{22} & 0 & 0 & {A}_{25}\\ {A}_{31} & 0 & -{A}_{33} & {A}_{34} & 0\\ {A}_{41} & 0 & 0 & -{A}_{44} & {A}_{45}\\ {A}_{51} & 0 & 0 & {A}_{54} & -{A}_{55}\end{array}).\end{array}$$
(27)

Calculating the dominant eigenvalue of −TQ−1, we obtain the type-reproduction number for adult men:

$${R}_{{\rm{j}}}={\alpha }_{{\rm{eff}}}(1+\frac{\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{k}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}+\frac{\gamma }{1-\gamma }\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{k}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}}{1-\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{c}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}}\,}).$$
(28)

We can intuitively derive Eq. (28) by enumerating all of the infection paths (see Fig. 2d). In the case of

$$\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{c}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}} < 1,$$

Equation (28) is meaningful because it represents the average number of vertically infected juveniles generated from a vertically infected juvenile in a completely susceptible population. If sexual transmission is frequent enough (i.e., \(\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{c}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}} > 1\)), Rj diverges to infinity. The divergence of Rj means that the spread of the STI cannot be stopped even if we eliminate mother-to-child transmission completely. It is obvious that Rj > 1 if and only if Rf > 1.

The type-reproduction numbers in Eqs. (24), (26) and (28) are independent of the number of births per unit of time B. Thus, regardless of the details of the birth process, these formulas are always valid for the equilibrium. Without mother-to-child transmission (α = 0 or αeff = 0), we obtain

$${R}_{{\rm{f}}}={R}_{{\rm{m}}}=\frac{{\beta }_{{\rm{f}}\to {\rm{m}}}{c}_{{\rm{f}}}}{{\mu }_{{\rm{f}}}^{\text{'}}+{\eta }_{{\rm{f}}}}\frac{{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}{{\mu }_{{\rm{m}}}^{\text{'}}+{\eta }_{{\rm{m}}}},$$
(29)

which agrees with May and Anderson’s result for heterosexual transmission, where they presented \({R}_{0}=\sqrt{{\beta }_{{\rm{f}}\to {\rm{m}}}{c}_{{\rm{f}}}{\beta }_{{\rm{m}}\to {\rm{f}}}{c}_{{\rm{m}}}}\) when ηf = ηm = 0 and \({\mu }_{{\rm{f}}}^{\text{'}}\) = \({\mu }_{{\rm{m}}}^{\text{'}}\) = 121. In this case, Rf and Rm coincide with the square of the conventional R0.

Graphical analysis

In Fig. 3, we show the relationship between the infection rate (vertical and horizontal) and the three type of reproduction numbers. Here, we set kf, km = 0.8, cf, cm = 20, μf, \({\mu }_{{\rm{f}}}^{\text{'}}\), μm, \({\mu }_{{\rm{m}}}^{\text{'}}\), μj, \({\mu }_{{\rm{j}}}^{\text{'}}\) = 1/50, ηf, ηm, ηj =0, δ = 0, and λ = λ′ = 1/15, and then αeff = α. When the vertical transmission rate is low or βm→fβf→m, there is almost no difference between Rf and Rm. Otherwise, when STI is not widespread, the type-reproduction number of females exceeds that of males (i.e., 1 > Rf > Rm); when the STI has already spread, the type-reproduction number of males is larger than that of females (i.e., Rm > Rf > 1). This result means that if an efficient vaccine for the STI exists, vaccination of females is more effective for containment of the STI than vaccination of males because herd immunity would be possible at vaccination rates above 1 − 1/Rf for females or 1 − 1/Rm for males.

Figure 3
figure 3

Graphical analysis of the three type-reproduction numbers. (ac) The three type-reproduction numbers (Rm, Rf, Rj) are plotted as a function of the geometric mean of the sexual transmission rates \(\sqrt{{\beta }_{{\rm{f}}\to {\rm{m}}}{\beta }_{{\rm{m}}\to {\rm{f}}}}\) for constant vertical transmission rate (α = 0.5), and (d–i) they are plotted as a function of α for constant sexual transmission rates. The left panels (a,d,g) represent the same sexual transmission rate (βf→m = βm→f), the middle panels (b,e,h) represent the case in which the sexual transmission rate from males to females is greater than that in the opposite direction (βm→f = 10βf→m), and the right panels (c,f,i) represent the case in which the sexual transmission rate from females to males is greater than that in the opposite direction (βf→m = 10βm→f). For the case that βf→mβm→f is large (d–f), Rj is not plotted because it diverges. The other parameters are set as kf, km = 0.8, cf, cm = 20, μf, \({\mu }_{{\rm{f}}}^{\text{'}}\), μm, \({\mu }_{{\rm{m}}}^{\text{'}}\), μj, \({\mu }_{{\rm{j}}}^{\text{'}}\) = 1/50, ηf, ηm, ηj = 0, δ = 0, λ = λ′ = 1/15, then αeff = α.

As far as the type-reproduction numbers are concerned, the effective increase in the cure rate ηm is equivalent to the effective decrease in βm→f. Similarly, the increase in mortality \({\mu }_{{\rm{m}}}^{\text{'}}\) due to the STI is equivalent to the decrease in βm→f. On the other hand, the increase in cure rate ηf is equivalent to the decrease in both βf→m and αeff, and the increase in mortality \({\mu }_{{\rm{f}}}^{\text{'}}\) is equivalent to the decrease in both βf→m and αeff. Equations (24), (26) and (28) do not explicitly include the mortality rate of juveniles (μj,\({\mu }_{{\rm{j}}}^{\text{'}}\)), but the type-reproduction numbers depend on μj and \({\mu }_{{\rm{j}}}^{\text{'}}\) through the efficient vertical transmission rate αeff, which decreases when \({\mu }_{{\rm{j}}}^{\text{'}}\) increases. Keeping cf/kf (cm/km) constant, increasing kf (km) corresponds to increasing βf→m (βm→f).

Discussion

In this article, we have presented a compartment model of STIs, considering both mother-to-child transmission and sexual transmission. The proposed model is of major importance because it takes into account the heterogeneity of sexual contacts, adult mortality from infection, infant mortality caused by mother-to-child transmission, infertility or stillbirth caused by infection, and recovery with treatment. Our model derives analytical formulas for the type-reproduction numbers Rf, Rm, and Rj. Because these metrics give the same epidemic threshold, it is convenient to use the simplest formula, Eq. (24). Equation (24) coincides qualitatively with the basic production number over generations that we proposed in previous work35.

The model proposed here allows us to understand how the various effects of mother-to-child transmission on juveniles will change the epidemic threshold. It should be emphasized that all effects of STIs on the juvenile period before reproductive age are expressed mathematically in αeff. For example, infant mortality and various disturbances to growth reduce αeff. Because αeff is not in the dominant term in Eq. (24), αeff does not strongly affect the epidemic threshold. In other words, the spreading efficiency of STIs will not be strongly altered even if various problems in the juvenile stage (i.e., mortality or stillbirth) are solved. In sum, we suggest that the heterogeneity of sexual contacts highly contributes to the spread of STIs, and mother-to-child transmission may work as an auxiliary infection route, contributing to the survival of STIs. This fact was derived from the mathematical analysis and is consistent with our previous work, which did not consider mortality from STIs35.

The analytical formulas for type-reproduction numbers can provide us with important insight into strategies to prevent the spreading of STIs. If there was an efficient vaccine, herd immunity would be possible at vaccination rates above 1 − 1/Rf for women or 1 − 1/Rm for men. Rm > Rf, as was shown above, because of mother-to-child transmission; therefore, our result means that if the number of vaccines and the amount of funds are limited, it is more efficient to concentrate the vaccine in women only. For example, in many countries, publicly funded HPV immunization programs target young adolescent girls, who are at the border between the juvenile period and adulthood43. According to our results, this intensive vaccination investment in young girls makes sense mathematically. To apply our results quantitatively to actual STIs, we need to estimate the model parameters using clinical epidemiological and demographic data on sexual behavior. However, it is difficult to estimate the infection rate (i.e., βm→f, βf→m, and α) and mortality rate (i.e., \({\mu }_{{\rm{j}}}^{\text{'}}\), \({\mu }_{{\rm{f}}}^{\text{'}}\), and \({\mu }_{{\rm{m}}}^{\text{'}}\)) of specific individual STIs because people frequently have more than one STI at the same time44. In addition, the data on the distribution of human sexual activity are insufficient45.

Nevertheless, we are able to form some preliminary qualitative conclusions. Many STIs have serious fetal consequences, such as TORCH infections46,47, which include toxoplasmosis, other diseases (syphilis, varicella-zoster, parvovirus), rubella, cytomegalovirus, and herpes infections. Most TORCH infections cause mild maternal morbidity and have serious fetal consequences, and the treatment of maternal infections often has no impact on fetal outcomes; thus, the recovery rate ηj for juveniles is nearly zero47. For incurable STIs such as HIV, HSV, HPV, HTLV-1, and antibiotic-resistant STIs, the proposed model is a susceptible–infected model (ηj = ηf = ηm = 0). For recovery with treatment, the recovery rates depend on the medical systems and treatment strategy. For example, it is possible that infected women are less aware of their infections than are infected men with the same STIs, ηf < ηm because the treatment of infected women and is not promoted to the same extent as is the treatment of infected men48,49. In addition, some STIs may inhibit children’s growth even when the infections are not fatal. For example, HSV can bring on central nervous system disorder30, and cytomegalovirus can lead to long-term neurological sequelae including unilateral and bilateral sensorineural hearing loss, mental retardation, cerebral palsy, and impaired vision from chorioretinitis50,51,52. In these cases, the maturing rate λ' for infected juveniles is lower than the maturing rate λ for susceptible juveniles.

The model proposed here did not consider some important factors that are related to the diffusion of STIs. First, we neglected some routes of transmission, such as needle sharing53,54,55 and blood transfusion56, because these routes were rare in ancient times and there are many efforts to reduce them now57,58. Moreover, only a few STIs are known to be transmitted by mosquito bites59. Here, we focused on understanding the diffusion contribution of sexual and mother-to-child transmission. Second, our model assumed that sexual contacts are well mixed, and the effects of sex workers55, marital status and age structure were not taken into account. The presence of sex workers will increase the heterogeneity of sexual contact. Marital status will affect the infection dynamics of STIs because marriage yields sustained sexual activity with a specific partner60. The age structure also will influence the diffusion of STIs61. Sexual transmission tends to occur among people of the same generation, whereas mother-to-child transmission propagates infections across generations; thus, our model may slightly underestimate the contribution of mother-to-child transmission. Third, homosexual contact was not considered here, although homosexual transmission is important, especially for the spread not of only HIV but also of HBV, syphilis etc.62. In this article, our aim was to understand the complex infection dynamics, simultaneously considering both unequal sexual transmission rates between males and females and mother-to-child transmission. If we also considered homosexual and bisexual networks, the infection dynamics would become extremely complicated. Thus, here, we have not discussed the spread of STIs through homosexual networks, such as men who have sex with men. Fourth, we have assumed that sexual activity is not inherited and does not depend on whether an individual is infected or not. In addition, we did not consider the correlation between sexual activity and fecundity. Constructing a model that takes into account the inheritance of sexual activity may reproduce the heterogeneous distribution of this variable. These limitations should be addressed in future research.

In conclusion, the comprehensive model proposed in this article can clarify the complex transmission of STIs. This model is prospective: It is meant to predict the spread of various STIs. We derived analytical formulas for three type-reproduction numbers, Rf, Rm, and Rj, and elucidated the relationships among them. However, the quantitative evaluation of these metrics for actual STIs remains a topic for future research. The quantitative application of our model has the potential to clarify which kinds of countermeasures will be effective in combating STIs.