---
title: P-Stationary Points in ℓ0 Factor Analysis
url: https://www.emergentmind.com/topics/p-stationary-point
type: topic
---

# P-Stationary Points in ℓ0 Factor Analysis

Searching arXiv for the cited paper and closely related work on proximal stationarity and $\ell_0$ optimization.
A **P-stationary point**—short for **proximal-stationary point**—is a stationarity notion introduced for the nonconvex, nonsmooth $\ell_0$-regularized factor-analysis problem studied in " $\ell_0$ Factor Analysis: A P-Stationary Point Theory" [2409.01888]. In that setting, the objective is to decompose a sample covariance matrix into a low-rank component and a sparse component by solving
$$(\mathcal P)\qquad \min \; F(L,S):=f(L,S)+C\|S\|_0 \quad \text{subject to } (L,S)\in D:=\{L\succeq 0,\; S\succeq 0,\; L+S\succ 0\},$$
where $f$ is smooth and convex and $\|S\|_0$ counts the nonzero entries of $S$ [2409.01888]. Because the $\ell_0$ term is discrete and nonconvex, classical first-order KKT conditions do not directly provide an adequate stationarity concept for the $S$-variable. P-stationarity addresses this by replacing a subdifferential inclusion with a proximal fixed-point condition built from the hard-thresholding proximal map [2409.01888].

## 1. Problem setting and motivation

The underlying model arises in factor analysis for stationary time series, where one seeks a parsimonious covariance representation through a hidden low-rank plus sparse structure [2409.01888]. The same parsimonious modeling perspective is also described as important in systems and control [2409.01888]. The optimization model combines a smooth convex term $f(L,S)$ with an $\ell_0$ penalty on the sparse component $S$, under semidefinite and strict-positivity constraints on $(L,S)$.

Within this formulation, the variable $L$ encodes the low-rank-related part through the feasible set constraint $L\succeq 0$, while $S$ is constrained by $S\succeq 0$ and regularized by $C\|S\|_0$ [2409.01888]. The condition $L+S\succ 0$ prevents degeneracy of the total covariance model. The nonconvexity does not primarily come from the smooth term $f$, which is assumed smooth and convex, but from the combinatorial nature of $\|S\|_0$.

This structure motivates a stationarity concept that preserves the familiar KKT logic for the cone constraints while handling sparsity by means of the exact proximal operator of $\ell_0$. The paper identifies this as the natural analogue of first-order optimality for the problem class [2409.01888].

## 2. Formal definition

Definition 3 in the paper states that a feasible pair $(L^*,S^*)\in D$ is a **P-stationary point** of $(\mathcal P)$ if there exist symmetric multiplier matrices $\Lambda^*\succeq 0$, $\Theta^*\succeq 0$ and a scalar $\gamma>0$ such that the following conditions hold [2409.01888]:

1. **Primal feasibility**:
   $$L^*\succeq 0,\qquad S^*\succeq 0,\qquad L^*+S^*\succ 0.$$

2. **Dual feasibility**:
   $$\Lambda^*\succeq 0,\qquad \Theta^*\succeq 0.$$

3. **Complementary slackness**:
   $$\operatorname{tr}(\Lambda^*L^*)=0,\qquad \operatorname{tr}(\Theta^*S^*)=0.$$

4. **Stationarity in $L$**:
   $$\nabla_L f(L^*,S^*)-\Lambda^*=0.$$

5. **Proximal stationarity in $S$**:
   $$\operatorname{prox}_{\gamma C\|\cdot\|_0}\bigl[S^*-\gamma(\nabla_S f(L^*,S^*)-\Theta^*)\bigr]=S^*.$$

The proximal operator is applied element-wise through the hard-thresholding rule
$$\operatorname{prox}_{\gamma C|\cdot|_0}(s)=
\begin{cases}
0,& |s|\le \sqrt{2\gamma C},\\
s,& \text{otherwise}.
\end{cases}$$
This makes the sparsity mechanism explicit: the threshold $\sqrt{2\gamma C}$ determines whether an entry is forced to zero or retained [2409.01888].

The definition is asymmetric in $L$ and $S$. For $L$, ordinary gradient stationarity with semidefinite multipliers is sufficient. For $S$, the $\ell_0$ term necessitates a fixed-point condition under the proximal map, which encodes exact hard thresholding rather than convex relaxation.

## 3. Interpretation as a KKT analogue for $\ell_0$

The paper interprets conditions (a)–(c) as the usual linear-constraint KKT conditions for $L\succeq 0$ and $S\succeq 0$ [2409.01888]. Condition (d) is the vanishing of the Lagrangian gradient with respect to $L$. The distinctive element is condition (e), which replaces the nonexistent subdifferential inclusion for $\|S\|_0$ by a proximal-map fixed-point relation.

The paper also presents the equivalent inclusion
$$0\in \partial_S f(L^*,S^*)-\Theta^*+\frac{1}{\gamma}(S^*-V^*),$$
with
$$V^*=\operatorname{prox}_{\gamma C\|\cdot\|_0}(S^*-\gamma(\nabla_S f-\Theta^*)),$$
and equivalently
$$S^*\in \operatorname{prox}_{\gamma C\|\cdot\|_0}\bigl[S^*-\gamma(\nabla_S f(L^*,S^*)-\Theta^*)\bigr].$$
Because $\|\cdot\|_0$ is nonconvex and discrete, this proximal fixed-point condition is presented as the natural analogue of a first-order condition of the form $0\in \partial F$ in the nonsmooth setting [2409.01888].

The comparison with more classical stationarity notions is explicit. When $\|\cdot\|_0$ is replaced by a smooth or convex nonsmooth term, the $S$-condition reduces to the standard subgradient inclusion
$$0\in \nabla_S f(L^*,S^*)-\Theta^*+C\,\partial \|S^*\|.$$
The paper further notes that, in Clarke generalized-gradient language, one could require
$$0\in \partial_S^C F(L^*,S^*)-\Theta^*,$$
but P-stationarity is described as stronger and more explicit because it identifies which entries of $S^*$ are zero through the threshold $\sqrt{2\gamma C}$ and matches the exact form of the $\ell_0$ proximal operator [2409.01888].

A plausible implication is that P-stationarity is not merely a formal substitute for KKT, but a structure-preserving optimality notion tailored to exact sparsity, since it retains the combinatorial support information that convex surrogates typically blur.

## 4. Existence of solutions and the link to optimality

The paper establishes that $(\mathcal P)$ has at least one global minimizer under its standing assumptions: $f$ jointly strictly convex and smooth, $\|\cdot\|_0$ lower-semicontinuous, and $D$ nonempty [2409.01888]. It also states that the set of all global minimizers is bounded. The proof sketch proceeds by showing that $F$ is lower semicontinuous, that sublevel sets are closed and bounded because the objective diverges on the boundary or at infinity, and then invoking the Weierstrass theorem [2409.01888].

The central optimality result is Theorem 2, which gives a two-way relation between minimizers and P-stationary points under additional regularity. Assuming $\nabla f$ is Lipschitz on a level set with constant $K$, and $f$ is strictly convex, the theorem states [2409.01888]:

- If $(L^*,S^*)$ is a global minimizer and $S^*\succ 0$, then for any $\gamma\in (0,1/(2K))$ there exist multipliers $\Lambda^*,\Theta^*$ such that $(L^*,S^*,\Lambda^*,\Theta^*,\gamma)$ satisfies the P-stationarity conditions.
- Conversely, any P-stationary point is a local minimizer of $(\mathcal P)$.

The proof sketch given in the paper is informative about the role of the definition. For necessity, the optimization is split into a convex subproblem in $L$ and a convex subproblem in $S$, using classical KKT for the first and a KKT-plus-proximal argument for the second, with strong convexity and Lipschitz continuity controlling the proximal map [2409.01888]. For sufficiency, the proof partitions the index set of entries of $S$ into zero and nonzero entries at $S^*$, builds a local neighborhood that preserves the zero pattern, and then uses convexity, complementary slackness, and proximal properties to show local minimality [2409.01888].

This yields a particularly sharp characterization: global minimizers satisfy P-stationarity under the stated assumptions, while P-stationary points are guaranteed to be local minimizers. The paper therefore places P-stationarity between exact optimality and generic first-order criticality.

## 5. Threshold structure and local support identification

The hard-thresholding form of the proximal map gives P-stationarity an entrywise interpretation. Section III.A recalls that $\operatorname{prox}_{\gamma C|\cdot|_0}$ is the hard-thresholding operator, and the paper notes that P-stationarity explicitly “locks in” which entries of $S^*$ are zero through inequalities of the form
$$|s^*_{ij}-\gamma(\theta^*_{1,ij}-\theta^*_{ij})|\gtrless \sqrt{2\gamma C}$$
[2409.01888]. The exact zero pattern is therefore encoded by the balance between the smooth gradient term, the multiplier term, and the threshold set by $\gamma$ and $C$.

Remark 3.1 emphasizes a limiting case: when $S^*$ is positive definite and hence has no zero entries, the proximal condition reduces to the usual gradient-equals-zero stationarity [2409.01888]. This shows that P-stationarity is compatible with the classical smooth picture when sparsity is absent, while remaining meaningful when zero entries are essential to the model.

The paper also discusses the role of the parameter $\gamma$. The necessity of choosing $\gamma$ small enough, specifically $\gamma<1/(2K)$ in Theorem 2(1), is illustrated numerically: if $\gamma$ is too large, the proximal step immediately zeros out all entries; if too small, the proximal step is nearly the identity and no sparsity is enforced [2409.01888]. This suggests that P-stationarity formalizes a scale-dependent trade-off: the data-fit signal carried by $\nabla f$ competes directly against the sparsity-inducing hard-threshold level $\sqrt{2\gamma C}$.

## 6. Role in ADMM design and convergence analysis

The paper uses P-stationarity not only as an optimality concept but also as the target limit condition for its algorithmic framework. In Section IV, an ADMM algorithm is designed for $(\mathcal P)$ by introducing splitting variables $U\approx L$ and $V\approx S$ and augmenting the Lagrangian [2409.01888]. The $S$-update is given by
$$S^{k+1}=\operatorname{prox}_{\gamma C\|\cdot\|_0}\bigl[S^k-\gamma(\nabla_S f(L^{k+1},S^k)-\Theta^k+\rho(S^k-V^k))\bigr].$$

The convergence analysis is organized around the same proximal structure. By choosing $\gamma\le 1/(K+2\rho)$, Lemma 6 shows that the augmented Lagrangian $\mathcal L_\rho$ decreases sufficiently at each iteration [2409.01888]. Proposition 4 establishes boundedness of the iterates, and Proposition 5 shows that successive differences converge to zero [2409.01888]. Proposition 6 then states that any cluster point $(L^*,S^*,U^*,V^*,\Lambda^*,\Theta^*)$ of the full ADMM sequence satisfies the limit-point KKT conditions of each subproblem [2409.01888].

The paper’s key conclusion is that these limit-point KKT conditions are exactly the P-stationarity conditions of Definition 3 for $(L^*,S^*)$ [2409.01888]. Hence every limit point of the ADMM is a P-stationary point, and by Theorem 2, a local minimizer. In this way, P-stationarity functions as the bridge between the nonconvex optimization model and the asymptotic interpretation of the algorithm’s output.

## 7. Conceptual status and related interpretations

P-stationarity is presented as the “right” analogue of KKT for problems involving $\ell_0$ [2409.01888]. The reason is structural rather than rhetorical: the usual KKT template remains intact for the cone constraints and the smooth $L$-component, while the $S$-component is expressed through the exact proximal geometry of the $\ell_0$ penalty. This avoids invoking a direct subdifferential set-inclusion for an object that is discrete and nonconvex.

A common misconception is to treat any criticality notion for $\ell_0$ problems as interchangeable with convex-subgradient stationarity. The formulation in [2409.01888] shows that this is not the case. P-stationarity is stronger and more explicit than a generalized-gradient condition because it specifies support behavior through the hard-thresholding rule itself. The zero pattern is therefore part of the stationarity statement, not an incidental byproduct.

Another possible misconception is that proximal conditions are merely algorithmic artifacts. In the framework of [2409.01888], the proximal fixed-point is instead an intrinsic variational characterization: it appears in the definition of stationary points, in the optimality theory connecting stationary points to local minimizers, and in the ADMM convergence proof. A plausible implication is that the concept is valuable precisely because it unifies modeling, theory, and computation within the same nonsmooth nonconvex formalism.

Taken together, these results position P-stationary points as a rigorous first-order notion for exact-sparsity factor-analysis models, combining primal-dual feasibility, complementary slackness, classical smooth stationarity in $L$, and hard-thresholding fixed-point stationarity in $S$ [2409.01888].

Source: https://www.emergentmind.com/topics/p-stationary-point