Probability of Quota Violations in Divisor Apportionment Methods with Nonzero Allocations

Apportionment assigns indivisible items among groups. By the Balinski-Young theorem, no method can satisfy both house monotonicity and the quota rule. This paper investigates quota violations caused by nonzero allocation constraints, and derives exact probability formulas for their frequency. Such violations occur in systems like the U.S. House of Representatives, where each state is guaranteed at least one seat. We analyze the three-state case, introduce the $τ$ statistic to parametrize population distributions, and prove an Asymptotic Quota Stabilization theorem: for fixed $τ$, quota behavior stabilizes as populations grow, yielding probability results for quota violations determined by the set of ultimately violatory $τ$ values. Applying this framework to the five classical divisor methods, we derive exact probability formulas. Additionally, we show that as the number of seats $M \to \infty$, these probabilities converge to method-specific constants. These results provide a precise, quantitative foundation for evaluating the fairness and frequency of quota violations in constrained apportionment systems.