Cyclic public goods games: Compensated coexistence among mutual cheaters stabilized by optimized penalty taxation

We study the problem of stabilized coexistence in a three-species public goods game in which each species simultaneously contributes to one public good while freeloading off another public good ("cheating"). The proportional population growth is governed by an appropriately modified replicator equation, depending on the returns from the public goods and the cost. We show that the replicator dynamic has at most one interior unstable fixed point and that the population becomes dominated by a single species. We then show that by applying an externally imposed penalty, or "tax" on success can stabilize the interior fixed point, allowing for the symbiotic coexistence of all species. We show that the interior fixed point is the point of globally minimal total population growth in both the taxed and untaxed cases. We then formulate an optimal taxation problem and show that it admits a quasilinearization, resulting in novel necessary conditions for the optimal control. In particular, the optimal control problem governing the tax rate must solve a certain second-order ordinary differential equation.