🤖 AI Summary
This paper addresses the fundamental relationship between two classical nonlinear 0/1 experimental design problems—Maximum Entropy Sampling (MESP) and 0/1 D-optimality—whose theoretical connections have remained unclear.
Method: We establish a rigorous instance-wise mapping that reveals their exact equivalence, enabling bidirectional transformations of objective structures, feasible regions, and upper-bounding mechanisms.
Contribution/Results: Leveraging this equivalence, we transfer upper-bounding techniques across problems, deriving novel dominance relations and tight valid inequalities. Notably, several classical upper bounds—such as those based on eigenvalue relaxations or determinant inequalities—that are weak or ineffective in one problem become significantly stronger when mapped to the other. Numerical experiments integrating branch-and-bound with upper-bound propagation confirm that the equivalence framework not only deepens theoretical understanding of the problems’ inherent bounds but also yields computationally effective solution strategies. This work unifies previously disparate analyses and opens new avenues for algorithmic development in combinatorial optimal design.
📝 Abstract
We establish strong connections between two fundamental nonlinear 0/1 optimization problems coming from the area of experimental design, namely maximum entropy sampling and 0/1 D-Optimality. The connections are based on maps between instances, and we analyze the behavior of these maps. Using these maps, we transport basic upper-bounding methods between these two problems, and we are able to establish new domination results and other inequalities relating various basic upper bounds. Further, we establish results relating how different branch-and-bound schemes based on these maps compare. Additionally, we observe some surprising numerical results, where bounding methods that did not seem promising in their direct application to real-data MESP instances, are now useful for MESP instances that come from 0/1 D-Optimality.