We investigate the probabilistic evolution of a near-critical bisexual branching process with mating depending on the number of couples in the population. We determine sufficient conditions which guarantee either the almost sure extinction of such a process or its survival with positive probability. We also establish some limiting results concerning the sequences of couples, females, and males, suitably normalized. In particular, gamma, normal, and degenerate distributions are proved to be limit laws. The results also hold for bisexual Bienaymé–Galton–Watson processes, and can be adapted to other classes of near-critical bisexual branching processes.
Improving Automated Symbolic Analysis of Ballot Secrecy for E-Voting Protocols: A Method Based on Sufficient Conditions
