Inverse Optimization Procedure

• Inverse optimization is a rigorous framework that infers latent cost functions and constraints from observed decision data.
• It leverages forward and inverse models, KKT reformulations, and weighted-sum approximations to reconcile noisy, multiobjective decisions.
• Scalable algorithms like ADMM and clustering enable efficient parameter recovery and preference distribution estimation with robust statistical guarantees.

Inverse Optimization Procedure

Inverse optimization is a rigorous mathematical framework for inferring hidden parameters of an optimization model based on observed decisions or trajectories. The procedure inverts the conventional direction of optimization: given observed solutions generated by agents, systems, or physical processes—possibly under noise, population heterogeneity, or multiple objectives—it aims to reconstruct cost functions, constraints, or preference distributions that rationalize those observations. This paradigm provides foundational tools for preference elicitation, behavior modeling, system identification, and learning in operations research, statistics, and engineering. The following sections survey the main methodologies, theoretical underpinnings, computational structures, and example applications of inverse optimization procedures, with emphasis on modern statistical and algorithmic developments.

1. Mathematical Formulation: Forward and Inverse Models

Inverse optimization is built upon the structure of a forward optimization problem, denoted as a parameterized program:

• Single-objective case: $\min_{x\in X(\theta)} f(x,\theta)$, with $x\in\mathbb{R}^n$, $X(\theta)=\{x:g(x,\theta)\leq 0\}$, and unknown parameter vector $\theta$.
• Multiobjective extension: $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$.

Assume observed decisions $\{y_i\}_{i=1}^N$ (possibly noisy). Each $y_i$ is assumed to be (approximately) generated by an optimal (or efficient, in the multiobjective case) solution $x^*(\theta)$ under unknown true $\theta_0$ and possibly unknown preferences (e.g., weights $w_i$ in multiobjective models).

The inverse optimization procedure defines a loss function that measures the fit between observed and model-generated decisions, for example:

• Single-objective loss: $x\in\mathbb{R}^n$0, where $x\in\mathbb{R}^n$1 is the solution set.
• Multiobjective loss: $x\in\mathbb{R}^n$2.

The population risk is $x\in\mathbb{R}^n$3, and empirical risk is $x\in\mathbb{R}^n$4. The inverse optimization problem is then

$x\in\mathbb{R}^n$5

subject to the condition that feasible $x\in\mathbb{R}^n$6 explain the data under the model parameter $x\in\mathbb{R}^n$7.

For multiobjective models, the efficient set $x\in\mathbb{R}^n$8 is approximated by weighted-sum representations $x\in\mathbb{R}^n$9, with $X(\theta)=\{x:g(x,\theta)\leq 0\}$0 sampled from the simplex $X(\theta)=\{x:g(x,\theta)\leq 0\}$1.

2. Mathematical Reformulation and Model Structure

Inverse optimization procedures are reformulated to admit tractable computation and analysis.

• Single-level reformulation: By sampling $X(\theta)=\{x:g(x,\theta)\leq 0\}$2 representative weights $X(\theta)=\{x:g(x,\theta)\leq 0\}$3, the efficient set $X(\theta)=\{x:g(x,\theta)\leq 0\}$4 is approximated by $X(\theta)=\{x:g(x,\theta)\leq 0\}$5. The assignment of observed $X(\theta)=\{x:g(x,\theta)\leq 0\}$6 to efficient solutions $X(\theta)=\{x:g(x,\theta)\leq 0\}$7 is tracked by binary variables $X(\theta)=\{x:g(x,\theta)\leq 0\}$8.
• Optimization model (IMOP-EMP-WS):

$X(\theta)=\{x:g(x,\theta)\leq 0\}$9

subject to $\theta$0, $\theta$1, $\theta$2.

• KKT-based single-level reformulation: For convex $\theta$3 and $\theta$4, each $\theta$5 is enforced by the KKT (Karush-Kuhn-Tucker) optimality conditions of the weighted-sum subproblem.

This yields a large-scale mixed-integer nonlinear program (MINLP) in $\theta$6. Direct solution of the full MINLP is intractable for large $\theta$7 and $\theta$8; hence, specialized scalable heuristics are developed.

3. Computational Algorithms: ADMM and Clustering-Based Methods

Two principal algorithmic approaches are used for solving large-scale inverse optimization problems in the multiobjective setting (Dong et al., 2018):

A. ADMM-Based Heuristic

• Partition the $\theta$9 observations into $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$0 disjoint blocks.
• Introduce local parameter copies $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$1 for each block and consensus variable $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$2 with dual variables $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$3.
• Solve the augmented Lagrangian form:

$$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$4

subject to $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$5.

• Update $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$6, $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$7, $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$8 in alternating fashion.
• Each $$\min_{x\in X(\theta)} f(x,\theta) \equiv (f_1(x,\theta),\ldots,f_p(x,\theta))$$9 update solves an IMOP subproblem on a small batch.
• Empirical convergence in $\{y_i\}_{i=1}^N$0 iterations; substantial parallel speed-up.

B. Clustering-Based Heuristic (Kmeans-IMOP)

• Observe equivalence to $\{y_i\}_{i=1}^N$1-means clustering: If cluster assignments $\{y_i\}_{i=1}^N$2 are known, the objective simplifies as

$\{y_i\}_{i=1}^N$3

where $\{y_i\}_{i=1}^N$4 is cluster centroid.

• Alternate assignment of each $\{y_i\}_{i=1}^N$5 to nearest $\{y_i\}_{i=1}^N$6, and updating $\{y_i\}_{i=1}^N$7 by solving a reduced IMOP for cluster centroids.
• Guaranteed monotonic descent and finite convergence to a local optimum.

Both methods scale to $\{y_i\}_{i=1}^N$8 up to $\{y_i\}_{i=1}^N$9 and $y_i$0 up to $y_i$1; direct MINLP is only feasible for $y_i$2.

4. Statistical Guarantees: Consistency, Identifiability, and Preference Recovery

Under convexity, boundedness, and regularity assumptions (Dong et al., 2018), the procedure enjoys the following statistical properties:

• Uniform law of large numbers: $y_i$3 as $y_i$4.
• Uniform convergence in $y_i$5: $y_i$6 as $y_i$7, provided objective functions are strongly convex.
• Prediction consistency: Any empirical minimizer $y_i$8 satisfies $y_i$9 in probability where $x^*(\theta)$0 minimizes $x^*(\theta)$1.
• Identifiability (Hausdorff-semi-distance): The model is identifiable at $x^*(\theta)$2 if for all $x^*(\theta)$3, $x^*(\theta)$4.
• Preference recovery: Under bijectivity ($x^*(\theta)$5 one-to-one), recovered weights $x^*(\theta)$6 assigned to each $x^*(\theta)$7 converge to true $x^*(\theta)$8.
• Generalization bound: By Rademacher complexity, for minimizer $x^*(\theta)$9, with probability $\theta_0$0,

$\theta_0$1

These guarantees ensure estimator consistency, recovery of true parameters, and reliable estimation of population-wide preference heterogeneity.

5. Recovery of Population Preference Distributions

Beyond point estimation, the procedure supports population-level inference of preference distributions:

• After IMOP-EMP-WS solution, cluster assignments $\theta_0$2 yield $\theta_0$3.
• Each cluster corresponds to a sampled preference weight $\theta_0$4.
• The empirical distribution of $\theta_0$5, weighted by $\theta_0$6, estimates the population distribution of $\theta_0$7.
• Under identifiability and bijectivity, this empirical distribution converges to the true population distribution as $\theta_0$8.

This facilitates quantitative characterization of groupwise and aggregate variability in multiobjective tradeoff preferences, which is key in applications where individual-level precision is infeasible.

6. Numerical Case Studies and Computational Scaling

Several case studies demonstrate the empirical accuracy, scalability, and preference recovery of the procedure (Dong et al., 2018):

• Tri-objective linear program: Efficient faces are perfectly recovered; parameter errors decay to zero with $\theta_0$9 increasing.
• Quadratic program (RHS- and objective-learning): Both parameter and predictive errors decay with $w_i$0; ADMM yields $w_i$1 speedup over MINLP.
• Markowitz portfolio reconstruction ($w_i$2 assets): Noisy optimal portfolios under sampled normal weights; recovered expected-returns $w_i$3 generate efficient frontiers indistinguishable from ground truth; inferred weight distributions match generating distributions.
• Bi-criteria traffic assignment (network of 6 nodes, 2 OD pairs): Observed link flows under varied preferences accurately yield estimated OD demands convergent to true values.

In all cases, clustering and ADMM heuristics solve $w_i$4, $w_i$5 instances in minutes. Direct MINLP is prohibitively slow beyond $w_i$6. Empirical tests validate the theoretical consistency and identifiability results.

7. Significance and Limitations

The inverse optimization procedure described provides a powerful, scalable framework for parameter estimation, preference distribution recovery, and denoising in multiobjective decision environments. Its design accommodates noisy observations, population heterogeneity, and computational constraints via carefully constructed loss functions, convex reformulations, and efficient heuristics. The statistical guarantees ensure robust estimation under realistic data-generating mechanisms.

A plausible implication is that the approach extends naturally to more general multi-criteria and population mixture models, as well as to domain-specific inverse decision reconstruction problems. Limitations include reliance on convexity, necessity for identifiability, and restriction to settings where the efficient set can be approximated by weighted-sum formulations. Scalability, however, is preserved through ADMM and K-means-inspired decomposition techniques, validating its applicability in large-scale empirical studies and practical behavioral modeling.