---
title: Strongest-Stable-Set Operator
url: https://www.emergentmind.com/topics/strongest-stable-set-operator
type: topic
---

# Strongest-Stable-Set Operator

Searching arXiv for the cited papers to ground the response in current arXiv metadata.
arXiv search query: "1911.12179 Extended Formulations for Stable Set Polytopes of Graphs Without Two Disjoint Odd Cycles"
The expression **strongest-stable-set operator** appears in several non-equivalent formal roles in the arXiv literature. In graph theory and polyhedral combinatorics, it is associated with operators that generate or tighten descriptions of stable sets and stable set polytopes; in matching theory, it refers to Tarski-type re-equilibration maps on quasi-stable matchings; and in general choice theory it is tied to contraction-based constructions of stable-set variants over binary relations [0809.1806] [1305.7319] [1911.12179] [2407.21198] [2508.09798]. A common substrate is the stable set problem itself: for a graph \(G=(V,E)\),
\[
STAB(G)=\operatorname{conv}\{x\in\{0,1\}^{V}\mid x_v+x_w\le 1\ \forall vw\in E\},
\]
and many of the operators discussed below act by approximating, decomposing, or reconstructing this object and its analogues [1911.12179].

## 1. Terminological scope and formal settings

In the cited works, the phrase is attached to several operator families rather than to a single canonical map. The main settings are summarized below.

| Setting | Operator/formalism | Role |
|---|---|---|
| Graph stable sets | \(\Psi(G)\) | Family of local maximum stable sets |
| Stable set polytopes | Handelman, \(N_+\), \(\mathrm{LS}_+\) | Hierarchical tightening of relaxations toward \(STAB(G)\) |
| Decomposition frameworks | Master/servant, records, extended formulations | Composition of subproblems and compact polyhedral descriptions |
| Matching markets | Tarski operators \(\mathcal{T}^F,\mathcal{T}^W\) | Re-equilibration from quasi-stable to stable matchings |
| Choice theory | Contraction-based stable-set operators | Construction of stable, extended stable, socially stable, \(m\)-stable, and \(w\)-stable sets |

This plurality of meanings suggests that the term is best understood operationally: it denotes a procedure that extracts, tightens, or re-equilibrates a stable object under the structural rules of the ambient model. In graph optimization, the relevant operators are usually either combinatorial set-valued maps, such as \(\Psi\), or lift-and-project maps that move from a fractional relaxation toward the integer hull [0809.1806] [1305.7319] [2303.08971].

## 2. The Nemhauser–Trotter operator \(\Psi\) and local maximum stable sets

A central graph-theoretic meaning is the **local maximum stable set** operator. A set \(S\subseteq V(G)\) is a local maximum stable set of \(G\) if \(S\) is a maximum stable set in the subgraph induced by its closed neighborhood:
\[
S\in\Psi(G)\iff S\in\Omega(G[N[S]]).
\]
Here \(N[S]=S\cup N(S)\), and \(\Omega(G')\) denotes the set of all maximum stable sets of \(G'\) [0809.1806].

The basic structural fact is the Nemhauser–Trotter theorem: every local maximum stable set of a graph is a subset of some maximum stable set. Thus \(\Psi(G)\) captures a locally maximal, yet globally extensible, set system [0809.1806]. This is the sense in which \(\Psi\) functions as an operator on stable sets: it maps a graph to a family of stable sets with strong extension properties.

The paper "Graph Operations that are Good for Greedoids" [0809.1806] characterizes when \(\Psi(G)\) forms a greedoid under several graph operations. For a disjoint union \(G=\bigsqcup_i G_i\), one has \(S\in\Psi(G)\) iff \(S\cap V(G_i)\in\Psi(G_i)\) for each \(i\), and \(\Psi(G)\) is a greedoid iff each \(\Psi(G_i)\) is a greedoid. For a Zykov sum \(Z[G_1,\dots,G_p]\) with \(\alpha(Z)>1\), \(\Psi(Z)\) is a greedoid iff all \(\Psi(G_i)\) are greedoids, exactly one \(G_k\) is not complete, and \(\Psi(Z)=\Psi(G_k)\). For a corona \(X\circ\{H_1,\dots,H_n\}\), \(\Psi(G)\) is a greedoid iff each \(\Psi(H_i)\) is a greedoid [0809.1806].

These results place \(\Psi\) at the interface of graph structure and feasible-set geometry. In this usage, the strongest-stable-set operator is not a relaxation hierarchy but a graph-to-set-system map whose output can inherit accessibility and exchange.

## 3. Hierarchy operators for stable set optimization

A second meaning arises in relaxation hierarchies for the maximum stable set problem. The paper "Handelman's hierarchy for the maximum stable set problem" [1305.7319] defines, for order \(t\),
\[
\mathcal{H}_t=\left\{\sum_{\alpha,\beta\in\mathbb{N}^n,\ |\alpha|+|\beta|\le t} c_{\alpha,\beta}x^\alpha(1-x)^\beta:\ c_{\alpha,\beta}\ge 0\right\},
\]
and the corresponding Handelman bound
\[
p^{(t)}:=\inf\{\lambda:\lambda-p\in\mathcal{H}_t\}.
\]
For the stable set problem, the hierarchy is monotone, exact at order \(n\), and its exactness order is the **Handelman rank** [1305.7319].

This hierarchy is explicitly compared with other stable-set operators. The Sherali–Adams bound satisfies
\[
sa^{(t)}(G,w)\le p^{(t)}(G,w),
\]
while Lasserre dominates both:
\[
las^{(t)}(G,w)\le sa^{(t)}(G,w)\le p^{(t)}(G,w).
\]
The same paper states that the Lovász–Schrijver hierarchy often achieves exactness \(2\) steps faster than Handelman, and gives the representative relation \(ls^{(1)}(G,w)=p^{(3)}(G,w)\) [1305.7319]. In this literature, “strongest” refers to comparative tightening power inside a family of lift-and-project or moment-type operators.

Concrete graph classes make the operator viewpoint explicit. The order-\(2\) Handelman bound equals the fractional stability number, \(p^{(2)}(G,w)=\alpha^*(G,w)\). For weighted bipartite graphs, \(\operatorname{rk}_H(G,w)\le 2\); for odd cycles \(C_{2n+1}\), \(\operatorname{rk}_H(C_{2n+1})=3\); for odd wheels \(W_{2n+1}\), the rank is at most \(4\); and for vertex-transitive perfect graphs, \(\operatorname{rk}_H(G)=\omega(G)\) [1305.7319].

A related SDP-based line of work applies the Lovász–Schrijver \(N_+(\cdot)\) operator to compact stable set formulations. The paper "Application of the Lovász-Schrijver Lift-and-Project Operator to Compact Stable Set Integer Programs" [2407.19290] studies clique-based and nodal formulations and shows that the resulting SDP bounds are at least as strong as \(\theta(G)\). Its computational findings indicate that stronger upper bounds than \(\theta(G)\) can be accessed by a reasonable additional effort using the clique-based formulation on sparse graphs and the nodal-based one on dense graphs [2407.19290].

## 4. \(\mathrm{LS}_+\)-rank and the “strongest” classical lift-and-project operator

The most explicit use of “strongest” in the stable-set-operator literature concerns the Lovász–Schrijver SDP operator \(\mathrm{LS}_+\). For a graph \(G=(V,E)\), the fractional stable set polytope is
\[
\mathrm{FRAC}(G)=\{x\in[0,1]^V:x_i+x_j\le 1\ \forall\{i,j\}\in E\},
\]
and the \(\mathrm{LS}_+\)-rank \(r_+(G)\) is the least \(p\) such that
\[
\mathrm{LS}_+^p(\mathrm{FRAC}(G))=\mathrm{STAB}(G).
\]
The operator is defined through a lifted positive-semidefinite matrix system and repeated projection, with \(\mathrm{LS}_+^n(P)=P_I\) for sets \(P\subseteq[0,1]^n\) [2303.08971].

The paper "Stable Set Polytopes with High Lift-and-Project Ranks for the Lovász-Schrijver SDP Operator" [2303.08971] established families of graphs with asymptotically linear \(\mathrm{LS}_+\)-rank. For the graph family \(H_k\) on \(3k\) vertices, it proves
\[
r_+(H_k)\ge \frac{1}{16}|V(H_k)|,
\]
improving on the older \(\Theta(\sqrt{n})\) lower bounds from line graphs of odd cliques and matching the known upper bound \(r_+(G)\le \lfloor |V(G)|/3\rfloor\) up to constants [2303.08971].

The later paper "Stable Set Polytopes with Rank \(|V(G)|/3\) for the Lovász--Schrijver SDP Operator" [2501.07413] sharpens this picture decisively. It proves that for every positive integer \(\ell\), the smallest possible graph with \(\mathrm{LS}_+\)-rank \(\ell\) contains \(3\ell\) vertices, so \(n_+(\ell)=3\ell\), and this bound is sharp. It also states that for every positive integer \(\ell\) there exists a vertex-transitive graph on \(4\ell+12\) vertices with \(\mathrm{LS}_+\)-rank at least \(\ell\) [2501.07413].

In this line of work, the strongest-stable-set operator is therefore the operator that most aggressively collapses \(\mathrm{FRAC}(G)\) to \(\mathrm{STAB}(G)\) among the standard lift-and-project constructions considered. The rank results delimit its power: even the strongest classical operator may require \(\Theta(|V(G)|)\) iterations on explicit graph families [2501.07413].

## 5. Decomposition, extended formulations, and polyhedral operator behavior

A different operator perspective comes from polyhedral decomposition and compact extended formulations. The paper "Extended Formulations for Stable Set Polytopes of Graphs Without Two Disjoint Odd Cycles" [1911.12179] studies graphs with odd cycle packing number \(ocp(G)\le 1\), equivalently graphs without two disjoint odd cycles. It constructs a size-\(O(n^2)\) extended formulation for \(STAB(G)\) and shows that the maximum weight stable set problem can be solved in strongly polynomial time via the Artmann–Weismantel–Zenklusen algorithm for bimodular integer programs [1911.12179].

The structural input is that sufficiently connected such graphs either have odd cycle transversal number at most \(3\) or admit an even-face embedding in the projective plane; more generally, they decompose into a projective-planar core and bipartite attachments through a star decomposition. In the even-face embedded case, the construction maps node variables to edge variables and characterizes the stable set polytope by integer circulations in the dual graph with an additional parity constraint; in the general case, the authors glue extended formulations for the core and the bipartite pieces while preserving an overall \(O(n^2)\) extension complexity [1911.12179].

This paper also states an operator-theoretic consequence: facet-defining inequalities of \(STAB(G)\) for these graphs have a special edge-induced structure, simplifying the behavior of operators like the strongest-stable-set operator. The point is not merely algorithmic solvability. The authors emphasize that strongly polynomial optimization for bimodular programs does not by itself imply a compact extended formulation, whereas the explicit EF supplies a concrete linear description and new geometric information [1911.12179].

Related decomposition ideas appear in "Stable Sets and Graphs with no Even Holes" [1306.5594]. There the **master/servant decomposition**, rooted graphs, templates, and linearization by **records** provide a recursive framework for solving maximum weight stable set and for constructing compact systems. For cap-free graphs with no even holes, the paper proves polynomial-time solvability and compact extended formulations for the stable set polytope, and presents the strongest stable set operator as a recursive composition rule realized through clique cutsets, amalgams, and record variables [1306.5594].

## 6. Extensions beyond graph independence

Outside graph independence, the operator language reappears in matching and in general solution theory for binary relations. In "Lattice operations for the stable set in substitutable matching markets via re-equilibration dynamics" [2407.21198], the stable object is the lattice of stable matchings. The paper defines worker-quasi-stable and firm-quasi-stable matchings and introduces Tarski operators \(\mathcal{T}^F\) and \(\mathcal{T}^W\), interpreted as lay-off and vacancy chain dynamics. Fixed points of these operators are exactly the stable matchings, and joins or meets are computed by constructing a quasi-stable candidate and iterating the relevant Tarski operator until a fixed point is reached [2407.21198].

A complementary fractional viewpoint appears in "On the many-to-one strongly stable fractional matching set" [1905.12500]. For many-to-one markets with strict and \(q\)-responsive preferences, the paper characterizes the set of strongly stable fractional matchings as
\[
\mathrm{SSF}(P)=\bigcup_{u\in S(P)}\operatorname{Conv}(M_u),
\]
the union of the convex hulls of all connected sets of stable matchings. It also proves that every strongly stable fractional matching is a convex combination of stable matchings ordered in the common preferences of all firms [1905.12500]. In this setting, the operator is a convex-hull construction over connected components of the stable-matching space.

The most abstract extension is "A Characterization Framework for Stable Sets and Their Variants" [2508.09798], which studies stable sets, extended stable sets, socially stable sets, and \(m\)- and \(w\)-stable sets for irreflexive binary relations over infinite sets of alternatives. Its framework uses contraction onto strong components and topological conditions such as compactness, \(T_1\)-order separation, and Nachbin closedness. For the extended stable set, the paper states that a set \(\mathcal{E}\) is extended stable iff it selects exactly one element from each strong component of the contraction, thereby turning the strongest-stable-set operator into a component-selection rule under a topological existence theory [2508.09798].

Taken together, these usages show that the strongest-stable-set operator is not a single universally accepted formal object. In graph optimization it usually denotes a tightening or decomposition mechanism aimed at \(STAB(G)\); in matching it is a re-equilibration operator on quasi-stable states; and in abstract choice theory it is a contraction-based selector for stable-set variants. The common invariant is that the operator organizes stability by converting local admissibility, fractional feasibility, or quasi-stability into a structurally maximal stable object.

Source: https://www.emergentmind.com/topics/strongest-stable-set-operator