The Aubin Property for Generalized Equations over $C^2$-cone Reducible Sets

Basic Information

• Paper ID: 2509.14194
• Title: The Aubin Property for Generalized Equations over $C^2$-cone Reducible Sets
• Authors: Jiaming Ma, Defeng Sun (The Hong Kong Polytechnic University)
• Classification: math.OC (Optimization and Control)
• Publication Date: October 10, 2025 (arXiv v4)
• Paper Link: https://arxiv.org/abs/2509.14194

Abstract

This paper establishes the equivalence between the Aubin property and strong regularity for generalized equations over $C^2$-cone reducible sets. This result resolves a long-standing problem in variational analysis, extending the celebrated equivalence theorem for polyhedral sets to a broader class of non-polyhedral cases. The proof strategy breaks through traditional variational techniques by integrating insights from convex geometry and powerful tools from algebraic topology. The cornerstone of the analysis is a new fundamental lemma concerning the local structure of the normal cone mapping of arbitrary closed convex sets, revealing the variation pattern of normal cone dimensions in neighborhoods of boundary points. This geometric insight is crucial for applying degree theory, enabling us to prove that a key function associated with the problem has topological index $\pm1$. Through the homological version of the inverse mapping theorem, this implies that the function is a local homeomorphism, yielding strong regularity of the original solution mapping.

Research Background and Motivation

Core Problem

This paper studies the stability properties of solution mappings for generalized equations, specifically considering generalized equations of the form: $y \in \phi(x) + N_S(x) \quad \text{and} \quad y \in \phi(x) + N_S^{-1}(x), \quad x \in \mathbb{R}^n$

where $\phi: \mathbb{R}^n \to \mathbb{R}^n$ is a continuously differentiable function, $S \subset \mathbb{R}^n$ is a nonempty closed convex set, and $N_S$ is the normal cone mapping of $S$.

Research Significance

1. Theoretical Importance: The Aubin property and strong regularity are core concepts in variational analysis, describing different stability properties of solution mappings
2. Applied Value: Many optimization problems can be formulated as generalized equations of the above form, such as KKT systems and variational inequalities
3. Historical Problem: For polyhedral sets, the equivalence has been proven by Dontchev and Rockafellar, but for general non-polyhedral cases it has remained an open question

Limitations of Existing Methods

• The Dontchev-Rockafellar approach heavily relies on the structure of polyhedral sets and the associated piecewise affine normal mappings
• For general non-polyhedral cases, effective analytical tools are lacking
• Traditional variational techniques encounter difficulties when dealing with complex geometric structures

Research Motivation

The paper aims to answer a natural question: When $S$ is a $C^2$-cone reducible set, are the Aubin property and strong regularity of $\Phi^{-1}$ equivalent?

Core Contributions

1. Main Theorem: Proves the equivalence between the Aubin property and strong regularity of solution mappings for generalized equations over $C^2$-cone reducible sets
2. New Geometric Insight: Proposes a fundamental lemma (Lemma 9) concerning the local structure of normal cone mappings of closed convex sets, revealing the variation pattern of normal cone dimensions in boundary neighborhoods
3. Innovative Proof Method: Combines convex geometry with algebraic topology tools, particularly the application of degree theory
4. Unified Framework: Unifies existing stability results for nonlinear programming, nonlinear second-order cone programming, and nonlinear semidefinite programming under a single framework
5. Technical Breakthrough: Establishes local homeomorphism through topological index analysis and the homological inverse mapping theorem

Detailed Methodology

Problem Formulation

Given a $C^2$-cone reducible set $S$ and a $C^1$ function $\phi$, consider the set-valued mapping: $\Phi(x) = \phi(x) + N_S(x) \quad \text{or} \quad \Phi(x) = \phi(x) + N_S^{-1}(x)$

The objective is to prove that the Aubin property and strong regularity of $\Phi^{-1}$ near the point $(y_0, x_0) \in \text{gph}\Phi^{-1}$ are equivalent.

Core Technical Architecture

1. $C^2$-Cone Reduction Technique

Using Lemma 7, transform the $C^2$-cone reducible set $S$ through a $C^2$ homeomorphism $h$ into a standard cone $C$: $h(S \cap U) = C \cap V$

2. Function Transformation Chain

Transform the original problem into standard form through a series of transformations:

• Original function $\Phi^{-1}$ → Transformed function $N_0^{-1}$
• Obtain $N_1, N_2, N_3$ by adding strict stationarity terms
• Finally obtain functions of the form $N(x) = A(x - \Pi_K(x)) + \Pi_K(x)$

3. Degree Theory Analysis

Key Theorem 1: For the function $N(x) = A(x - \Pi_K(x)) + B\Pi_K(x)$, if $N$ is open near $x_0 \in K$ and discrete at $x_0$, then $|\text{ind}(N, x_0)| = 1$.

Proof Strategy:

• When $x_0 \in \text{ri}K$, $N$ is linear near $x_0$, easily yielding $|\text{ind}(N, x_0)| = 1$
• When $x_0 \in \text{rb}K$, use Lemma 10 to prove $AN_K(x_0) \cap \text{int}T_K(x_0) = \emptyset$
• Connect the indices at interior and boundary points through the local constancy of degree

Technical Innovations

1. Normal Cone Dimension Variation Lemma (Lemma 9)

Core Insight: For a boundary point $x_0$ of a closed convex set $K$ and $u_0 \in \text{rb}N_K(x_0)$, there exist sequences $\{x_i\}, \{u_i\}$ converging to $x_0, u_0$ such that: $\dim N_K(x_i) < \dim N_K(x_0)$

This result reveals the local variation pattern of normal cone structure, which is crucial for degree theory analysis.

2. Strict Stationarity Technique

Utilize the class of strictly stationary functions in Lemma 5, and through Lemma 6 preserve topological index invariance while simplifying function structure.

3. Application of Homological Inverse Mapping Theorem

Through Lemma 3, when function $f$ is open near $x_0$ and discrete, and $|\text{ind}(f, x_0)| = 1$, then $f$ is a local homeomorphism at $x_0$.

Experimental Setup

This is a pure theoretical research paper with no numerical experiments. All results are obtained through rigorous mathematical proofs.

Theoretical Results

Main Theoretical Result

Theorem 4 (Main Theorem): Let $S \subset \mathbb{R}^n$ be a $C^2$-cone reducible set and $\phi: \mathbb{R}^n \to \mathbb{R}^n$ be a $C^1$ function. For the set-valued mapping: $\Phi(x) = \phi(x) + N_S(x) \quad \text{or} \quad \Phi(x) = \phi(x) + N_S^{-1}(x)$

the Aubin property and strong regularity of $\Phi^{-1}$ near $(y_0, x_0) \in \text{gph}\Phi^{-1}$ are equivalent.

Application Examples

1. p-order Cones: For $p \in [2,\infty]$, p-order cones are $C^2$-cone reducible, so the results apply to nonlinear p-order cone constrained optimization
2. q-order Cones: For $q \in [1,2]$, q-order cones (as dual cones) also satisfy the conditions
3. Semidefinite Programming: The positive semidefinite cone is $C^2$-cone reducible, unifying existing stability results for semidefinite programming

Related Work

Historical Development

1. Robinson (1980): Introduced the concept of strong regularity and linearized generalized equations
2. Dontchev-Rockafellar (1996): Proved equivalence for the polyhedral case
3. Chen et al. (2025): Equivalence results for specific nonlinear cone programming

Relationship Between This Work and Existing Work

• Extensibility: Extends polyhedral results to $C^2$-cone reducible sets
• Unification: Unifies results from multiple specific problems
• Methodological Innovation: Introduces topological methods to replace traditional variational techniques

Conclusions and Discussion

Main Conclusions

1. Successfully establishes the equivalence between the Aubin property and strong regularity for generalized equations over $C^2$-cone reducible sets
2. Provides a unified theoretical framework covering multiple important classes of optimization problems
3. The proof method is innovative, integrating geometric and topological tools

Limitations

1. Condition Restrictions: Results depend on the $C^2$-cone reducibility condition and do not apply to general closed convex sets
2. Proof Complexity: The proof involves multiple technical steps with a high threshold for understanding
3. Open Problems: The case of arbitrary closed convex sets remains open

Future Directions

1. Explore equivalence for more general classes of convex sets
2. Investigate further relaxations of the $C^2$-cone reducibility condition
3. Develop new technical tools to handle more complex geometric structures

In-Depth Evaluation

Strengths

1. Theoretical Importance: Resolves a long-standing open problem in variational analysis
2. Methodological Innovation: Successfully introduces algebraic topology tools into variational analysis, opening new research directions
3. Technical Depth: Lemma 9 on normal cone dimension variation has independent value
4. Unified Framework: Unifies multiple specific results under general theory
5. Rigorous Proofs: Mathematical arguments are complete and rigorous

Weaknesses

1. Scope of Applicability: The $C^2$-cone reducibility condition still has certain limitations
2. Constructiveness: Proofs are existence-based without providing concrete construction methods
3. Computational Complexity: Does not discuss computational complexity of related algorithms

Impact and Significance

1. Academic Value: Makes important contributions to variational analysis theory
2. Application Prospects: Provides unified stability analysis tools for multiple optimization problems
3. Methodological Inspiration: The introduction of topological methods may inspire research on related problems

Applicable Scenarios

1. Stability analysis of nonlinear second-order cone programming
2. Theoretical research on nonlinear semidefinite programming
3. Sensitivity analysis of general cone-constrained optimization problems
4. Research on variational inequalities and complementarity problems

References

The paper cites 22 important references, including:

• Dontchev & Rockafellar (1996): Classical results for the polyhedral case
• Robinson (1980, 1992): Foundational theory on strong regularity and normal mappings
• Rockafellar & Wets (1998): Standard textbook on variational analysis
• Chen et al. (2025): Latest related results
• Classical literature on degree theory and topology

This paper solves an important theoretical problem in variational analysis through innovative topological methods, making significant contributions to the development of optimization theory. Despite certain technical limitations, the methodological innovation and theoretical framework unification make it an important advance in the field.