When the Government Can't See the Network, It Picks the Wrong Tax — A Theory of Optimal Regulation Under Hidden Equilibria

Formal theory paper showing regulators face a discrete institutional choice — buy monitoring, accept certification, or audit reports — and each changes the optimal corrective charge. The switch between regimes is discontinuous.

Imagine you run a city water system with two neighborhoods. You know total consumption is stable — the aggregate meter barely moves. But behind that calm number, one neighborhood might be running pools while the other rations showers, or both might be using water moderately. The policy you need (targeted rebates vs. uniform pricing) depends entirely on which configuration is real, but your aggregate meter can't tell you. That's the core mechanism of this paper: aggregate outcomes follow a stable law that masks structurally distinct network equilibria, each requiring different interventions. The committed claim: in a two-population network game, a regulator jointly choosing a corrective activity charge and an information institution faces a discontinuous regime switch. Under cheap monitoring, you buy Gaussian signals and fine-tune policy. But below a cost threshold, you skip monitoring entirely and regulate hard with a blunt instrument. This isn't a smooth tradeoff — it's a cliff. The paper derives primitive conditions under which this discontinuity emerges. Three institutional architectures sit on the menu: government-purchased Gaussian monitoring (the regulator pays for data), signed certification (a third party verifies the network state), and truthful reporting backed by committed random audits (agents self-report, and the regulator commits to stochastic verification). Each institution changes not just the information available but the optimal regulation itself. Even when certification and truthful reporting reveal the same state variable, the costly audit regime favors less specialization and a higher corrective charge. Information design and policy design are not separable problems. The architecture is classical mechanism design married to network games with stable aggregate distributions. The paper works within the Bayesian persuasion / information design tradition (Kamenica-Gentzkow lineage) but the twist is that the hidden object is a network equilibrium configuration, not a simple hidden type. The stable-law aggregate is doing real structural work — it's what makes the identification problem hard and interesting. The corrective charge functions like a Pigouvian tax adjusted for network externalities. Integrity is where a theory paper like this must be evaluated differently. There's no empirical benchmark to beat — the validation is mathematical proof. The paper derives closed-form thresholds for institutional switching and claims monotonicity of the corrective charge in audit costs under an explicit interiority condition without requiring global concavity. That's a clean theoretical contribution. However, the institutional comparison is solved in a benchmark without feedback from anticipated policy, and the extension to policy feedback relies on local persistence under 'additional regularity conditions' — a common and honest but load-bearing caveat. The milestone question for this class of work is empirical testability. The paper produces sharp comparative statics: certification vs. auditing should produce different observed corrective charges even when they reveal the same state. That's a testable prediction in principle — look for regulatory regimes where the same information arrives via different institutional channels and check whether the tax instrument differs. The gap between 'in principle' and 'in practice' is wide, but the prediction is concrete enough to anchor future empirical work. The obvious next experiment not run: numerical simulation or calibration to a real regulatory setting. The paper is pure theory, and the institutional menu is explicitly limited. Adding a fourth institution (say, mandatory disclosure or algorithmic monitoring) would test robustness. My read: the authors are keeping the institutional menu tractable to get clean analytical results — this is (c), saving richer menus for the next paper. The restriction to two populations is also clearly a tractability choice, not a modeling belief.