Carathéodory-Based KKT Set Representation

• Carathéodory-Based KKT Set Representation is a decomposition method that leverages Carathéodory’s theorem to express KKT multipliers as sparse vectors determined by the rank of constraint matrices.
• It partitions the KKT set into a union of branches with explicit partial Lagrange-multiplier expressions, simplifying the analysis of polynomial generalized Nash equilibrium problems.
• The approach enables efficient global solutions via the Moment–SOS hierarchy, allowing complete certification of generalized Nash equilibria or their nonexistence.

A Carathéodory-based KKT set representation is a structured decomposition technique for the Karush-Kuhn-Tucker (KKT) sets arising in polynomial generalized Nash equilibrium problems (GNEPs) with quasi-linear (affine-in-own-strategy) constraints. Utilizing Carathéodory’s theorem for conic combinations, the approach expresses any KKT multiplier as a sparse vector with support size confined by the rank of the corresponding constraint matrix. This yields a union-of-branches description: the KKT set is represented as the union of finitely many smaller sets, each associated with a specific constraint support and given explicitly by partial Lagrange-multiplier expressions (pLMEs), leading to polynomial systems tractable by contemporary polynomial optimization solvers. This representation underpins numerically efficient global solution methods via the Moment–SOS hierarchy, allowing for complete computation or certification of nonexistence of generalized Nash equilibria in a broad class of polynomial GNEPs with many linear constraints (Choi et al., 2024).

1. Carathéodory’s Theorem in Multiplier Sparsity

Carathéodory’s theorem (conic case) states that, for any $y$ in the conic hull of $V\subset\mathbb{R}^n$, there exists a conic representation with at most $n$ vectors of $V$. Its crucial role in the KKT framework is to ensure that, for each player $i$ in a GNEP, the KKT multiplier $\lambda_i$ (associated with their linear constraints) can be replaced by an equivalent vector with at most $\mathrm{rank}(A_i)$ nonzero entries, where $A_i$ is the player’s constraint matrix. Thus, the support of multipliers in the KKT system can always be reduced to subsets of at most $r_i := \mathrm{rank}(A_i)$ coordinates, drastically reducing the complexity of the stationary points to consider (Choi et al., 2024).

2. KKT Conditions for Polynomial GNEPs with Quasi-Linear Constraints

Given an $N$-player GNEP where each player $V\subset\mathbb{R}^n$0 solves

$V\subset\mathbb{R}^n$1

with $V\subset\mathbb{R}^n$2 a polynomial and $V\subset\mathbb{R}^n$3 affine in $V\subset\mathbb{R}^n$4, the standard KKT system consists of:

• Stationarity: $V\subset\mathbb{R}^n$5,
• Primal feasibility: $V\subset\mathbb{R}^n$6,
• Dual feasibility: $V\subset\mathbb{R}^n$7,
• Complementarity: $V\subset\mathbb{R}^n$8.

The collection of all such conditions across players yields a polynomial system in $V\subset\mathbb{R}^n$9 whose real solutions describe the KKT set $n$0, encompassing all potential GNEs (Choi et al., 2024).

3. Partial Lagrange Multiplier Expressions and Carathéodory Decomposition

Defining $n$1 as the family of $n$2-element subsets $n$3 for which the submatrix $n$4 has full rank, one establishes, for each such $n$5, a partial Lagrange-multiplier expression (pLME): $n$6 with $n$7 for $n$8. Substituting the pLME into the remaining feasibility and complementarity conditions yields the "branch" KKT set

$n$9

with $V$0. The union-of-branches theorem states

$V$1

guaranteeing completeness: each KKT point lies in some branch $V$2, and every solution to a branch system arises from a valid KKT point (Choi et al., 2024).

4. Structured Polynomial Optimization for Each Branch

Once $V$3 is fixed, $V$4 is carved out by explicit polynomial equalities and inequalities in $V$5. To identify KKT points in $V$6, one minimizes a strictly convex polynomial objective

$V$7

where $V$8 is positive definite and $V$9 denotes the collection of monomials up to degree 2 in $i$0. The branch problem is

$i$1

which—if feasible—yields a unique KKT point per branch. To enumerate all KKT points in $i$2, this program is repeatedly solved with exclusion constraints to successively peel off isolated solutions. GNE status is certified by $i$3 polynomial subproblems checking optimality for each player at candidate KKT points (Choi et al., 2024).

5. Global Solution via Moment–SOS Hierarchy

Each branch subproblem is a polynomial optimization task of the form $i$4 subject to given polynomial equalities $i$5 and inequalities $i$6. The standard Lasserre (Moment–SOS) hierarchy is applied:

• A moment matrix $i$7 for measure representation,
• Localizing matrices $i$8 for inequalities,
• Linear constraints from equality conditions.

Under archimedean and genericity premises, the hierarchy will reach finite convergence. Satisfying a flat-extension condition on the rank of $i$9 allows extraction of all real minimizers. Feasibility failure at any branch immediately certifies the emptiness of that $\lambda_i$0 (Choi et al., 2024).

6. Correctness, Completeness, and Computational Characteristics

The theoretical guarantees underlying the approach include:

• Equivalence of the KKT system and the union of branch systems: every KKT point arises in some branch and vice versa (Theorem 3.2).
• The explicit enumeration of active constraint supports, via Carathéodory's theorem, reduces a potentially enormous KKT system into a finite—often tractable—collection of smaller polynomial systems (Theorem 3.3).
• Moment–SOS relaxation delivers finite-order global solutions for each branch subproblem under genericity (Theorem 5.2).
• The methodology yields a certified mechanism for finding all real GNEs or demonstrating their nonexistence in polynomial-GNEPs with quasi-linear constraints.

7. Illustrative Example

In a two-player GNEP with $\lambda_i$1 (number of linear constraints each) and $\lambda_i$2, one computes $\lambda_i$3 as all two-element subsets of $\lambda_i$4, yielding $\lambda_i$5 branches. For $\lambda_i$6, $\lambda_i$7, the explicit pLMEs are constructed, and substitution into the branch conditions leads to a polynomial system with four equations and eight inequalities in four variables. Solving via the described SDP hierarchy produces a singleton branch KKT set at $\lambda_i$8, which is the unique GNE. This demonstrates how only reduced-support multipliers—guaranteed by Carathéodory’s theorem—need to be considered, allowing decomposition of large KKT systems into manageable polynomial branch systems and facilitating complete, globally certified solution by Moment-SOS and SDP tools (Choi et al., 2024).