Maximum Entropy Relaxation of Multi-Way Cardinality Constraints for Synthetic Population Generation
This addresses a core problem in microsimulation and policy analysis for researchers and practitioners needing to handle complex, overlapping constraints efficiently.
The paper tackled the computational challenge of generating synthetic populations that satisfy multi-way cardinality constraints by proposing a maximum-entropy relaxation method, which matches constraints in expectation and shows increasing advantage over generalized raking as the number of attributes and ternary interactions grows.
Generating synthetic populations from aggregate statistics is a core component of microsimulation, agent-based modeling, policy analysis, and privacy-preserving data release. Beyond classical census marginals, many applications require matching heterogeneous unary, binary, and ternary constraints derived from surveys, expert knowledge, or automatically extracted descriptions. Constructing populations that satisfy such multi-way constraints simultaneously poses a significant computational challenge. We consider populations where each individual is described by categorical attributes and the target is a collection of global frequency constraints over attribute combinations. Exact formulations scale poorly as the number and arity of constraints increase, especially when the constraints are numerous and overlapping. Grounded in methods from statistical physics, we propose a maximum-entropy relaxation of this problem. Multi-way cardinality constraints are matched in expectation rather than exactly, yielding an exponential-family distribution over complete population assignments and a convex optimization problem over Lagrange multipliers. We evaluate the approach on NPORS-derived scaling benchmarks with 4 to 40 attributes and compare it primarily against generalized raking. The results show that MaxEnt becomes increasingly advantageous as the number of attributes and ternary interactions grows, while raking remains competitive on smaller, lower-arity instances.