---
title: Small-Set Vertex Expanders
url: https://www.emergentmind.com/topics/small-set-vertex-expanders
type: topic
---

# Small-Set Vertex Expanders

Searching arXiv for recent and foundational papers on small-set vertex expanders.
Small-set vertex expanders are graphs in which every sufficiently small vertex set has a large external neighborhood relative to its size. A standard formalization used in recent work is the \((\alpha,t)\)-expander condition: a graph \(G\) with \(n\) vertices is an \((\alpha,t)\)-expander if for every \(X\subseteq V(G)\) with \(|X|\le \alpha n/t\), one has \(|N(X)|\ge t|X|\) [2503.06826]. Related formulations appear in edge-expansion, conductance, and bipartite-neighborhood settings, and much of the literature studies algorithmic, extremal, probabilistic, and coding-theoretic consequences of these local expansion guarantees. In bounded-degree graphs, small-set edge expansion and small-set vertex expansion are tightly linked up to constant factors, so algorithms and structural theorems stated for edge expansion often translate directly to vertex expansion [1110.4319].

## 1. Definitions and equivalent viewpoints

For a graph \(G=(V,E)\) and a set \(S\subseteq V\), the external neighborhood is
\[
N(S)=\{v\in V\setminus S:\exists u\in S,\ (u,v)\in E\}.
\]
A common vertex-expansion ratio is
\[
h(S)=\frac{|N(S)|}{|S|}.
\]
A graph is a small-set vertex expander at scale \(\rho\) if all sets \(S\subseteq V\) with \(|S|\le \rho n\) satisfy \(h(S)\ge \alpha\) for some \(\alpha>0\). A more parameterized version, used explicitly in "Minors in small-set expanders" [2503.06826], is the \((\alpha,t)\)-expander condition:
\[
|X|\le \frac{\alpha n}{t}\quad\Longrightarrow\quad |N(X)|\ge t|X|.
\]
Here the expansion factor is \(t\), while the small-set regime is controlled by \(\alpha n/t\) [2503.06826].

A distinct but closely related formalism appears in left-regular bipartite graphs \(G=(L\sqcup R,E)\). For \(X\subseteq L\), one studies the left-to-right neighborhood \(N(X)\subseteq R\), and defines the \(t\)-th expansion constant by
\[
\alpha_G(t):=\min\left\{\frac{|N(X)|}{|X|}:X\subseteq L,\ 0<|X|\le t\right\}.
\]
Such a graph is a \((t,\alpha)\)-small-set-expander if every subset \(X\subseteq L\) with \(|X|\le t\) has at least \(\alpha|X|\) neighbors [2606.23579]. In that setting, the literature also studies unique-neighbor expansion and lossless expansion, where the neighborhood size is close to the maximum possible \(d|X|\) in a degree-\(d\) graph [2302.01212], [2504.15087], [2606.23579].

Another viewpoint comes from edge expansion. For an undirected graph \(G=(V,E)\), one may define
\[
\Phi(S)=\frac{\delta(S)}{|S|},
\]
where \(\delta(S)\) is the number or weight of edges crossing \((S,V\setminus S)\). In bounded-degree graphs with degrees in \([d_{\min},d_{\max}]\), the inequalities
\[
|E(S,V\setminus S)|\le d_{\max}|N(S)|,\qquad |E(S,V\setminus S)|\ge d_{\min}|N(S)|
\]
imply
\[
\frac{\delta(S)}{|S|}\approx d\cdot h(S)
\]
up to constant factors [1110.4319]. This is why algorithmic results for small-set edge expansion can often be interpreted as results about finding weakly expanding vertex sets or certifying their absence in bounded-degree graphs [1110.4319].

## 2. Parameter regimes and basic structural consequences

The \((\alpha,t)\)-expander definition emphasizes a regime in which \(\alpha\in(0,1)\) is fixed and \(t=t(n)\) may grow with \(n\). As \(t\) increases, the admissible set sizes \(|X|\le \alpha n/t\) shrink, but the required expansion factor increases [2503.06826]. This local nature distinguishes small-set expansion from global expansion up to \(n/2\), and it permits behaviors unavailable in standard global notions.

One consequence is rapid neighborhood growth. If \(G\) is an \((\alpha,t)\)-expander and \(B_G(U,z)\) denotes the radius-\(z\) ball around a set \(U\), then
\[
|B_G(U,z)|\ge \min\{\alpha n,\ |U|(1+t)^z\},
\]
so balls grow exponentially until they hit size \(\alpha n\) [2503.06826]. This yields a diameter bound for connected \((\alpha,t)\)-expanders:
\[
\mathrm{diam}(G)\le \frac{3\log n}{\alpha\log t}
\]
[2503.06826]. A plausible implication is that large \(t\) forces short routing paths even though expansion is guaranteed only for relatively small sets.

A separate distributed-computing formalism studies \((\phi,\alpha)\)-vertex expanders, defined by
\[
\min_{\substack{S\subseteq V\\0<|S|\le \alpha n}}\frac{|N(S)\cap \overline S|}{|S|}\ge \phi.
\]
In that framework, there are no \((\phi,\alpha)\)-expanders for \(\alpha>1/(1+\phi)\), while if \(\alpha>1/(2+2\phi)\) then the graph has diameter at most \(O(\log_\phi n)\) [2508.18017]. The paper stresses that the regime \(\phi>1\) is possible only because expansion is required only up to \(\alpha n\), not up to \(n/2\) [2508.18017]. This suggests that small-set vertex expansion can support sublogarithmic or even constant-diameter behavior under local rather than global hypotheses.

In the left-regular bipartite setting, optimal local expansion is constrained combinatorially. If \(G\) has left degree \(d\) and \(n=|L|\ge |R|=m\), then
\[
\alpha_G(2)\le d-\frac12.
\]
More generally, if \(\alpha_G(2)=d-\frac12\), then for every integer \(t\le d\),
\[
\alpha_G(t)\le (d-1)+\frac{1}{t}
\]
[2606.23579]. The quantity \((d-1)+1/t\) is therefore a natural benchmark for optimal small-set expansion in such graphs [2606.23579].

## 3. Extremal and structural theory

A central recent theme is that strong local vertex expansion forces rich minor structure. "Minors in small-set expanders" [2503.06826] proves that for every fixed \(0<\alpha<1\) there exist \(\xi>0\) and \(n_0,t_0\) such that every \((\alpha,t)\)-expander on \(n\ge n_0\) vertices with \(t_0\le t\le \sqrt n\) contains a complete minor of order
\[
r\ge \xi\sqrt{\frac{nt}{\log n}}.
\]
The same paper proves that for every fixed \(0<\alpha<1\) there exist \(\xi>0\) and \(n_0,t_0\) such that every \((\alpha,t)\)-expander with \(n\ge n_0\) and \(t\ge t_0\) is \(m\)-minor-universal for
\[
m=\xi n\frac{\log t}{\log n},
\]
meaning it contains every graph \(H\) with at most \(m\) vertices and at most \(m\) edges as a minor [2503.06826].

These lower bounds are complemented by an upper bound valid for arbitrary graphs with average degree \(d>1\): there exists a graph with at most
\[
m=5n\frac{\ln(d+2)}{\ln n}
\]
vertices and edges that is not a minor of \(G\) [2503.06826]. The paper therefore concludes that when \(t=d^c\) for a constant \(c>0\), the minor-universality of \((\alpha,t)\)-expanders is optimal up to constant factors [2503.06826]. In its words, such small-set expanders are optimal graphs with the average degree \(d\) from the point of view of minor-universality [2503.06826].

The proofs rely on structural consequences of local expansion. One lemma yields a large induced subgraph \(G[X]\) that remains a \((\beta,t/4)\)-expander and satisfies a robust connectivity property: after deleting a small set \(R\), any partition \(X=R\cup A\cup B\) with \(|A|\) and \(|B|\) both sufficiently large still has an edge between \(A\) and \(B\) [2503.06826]. Another lemma shows that in a connected \((\alpha,t)\)-expander, a connected set can be found that intersects many prescribed subsets \(U_i\), with size bounded by
\[
\frac{25}{\alpha^2}\frac{n}{s}\log\Bigl(\frac{qs}{n}\Bigr)\cdot\frac{\log n}{\log t}
\]
when each \(|U_i|\ge s\) and \(qs\ge 2n\) [2503.06826]. These facts support iterative construction of branch sets for clique minors and sparse minors.

A different structural characterization arises in bipartite optimal expanders. "Optimal Small Set Expanders and Their Codes" [2606.23579] proves that for a left-regular bipartite graph of degree \(d\), \(s\)-optimality,
\[
\alpha_G(t)\ge (d-1)+\frac{1}{t}\qquad\text{for all }t\le s,
\]
is equivalent to the girth condition
\[
g(G)>2s
\]
[2606.23579]. The forward implication uses the fact that the induced subgraph on \(X\cup N(X)\) is a forest whenever \(|X|\le s\), yielding
\[
|N(X)|\ge (d-1)|X|+1
\]
[2606.23579]. The reverse implication uses a shortest cycle of length \(2t\le 2s\) to produce a set \(X\) with \(|N(X)|=(d-1)|X|\), contradicting \(s\)-optimality [2606.23579]. This gives an exact combinatorial description of optimal small-set expansion in terms of local tree-likeness.

## 4. Random, spectral, and explicit constructions

Random regular graphs have long been known to be good expanders. "Local Improvement Gives Better Expanders" [1211.0524] improves Bollobás’s lower bounds on the edge expansion of random \(\Delta\)-regular graphs by observing that any low-expansion set can be transformed by local improvement into a locally optimal one, and such sets are much rarer [1211.0524]. The paper studies edge expansion
\[
i(G)=\min_{|S|\le n/2}\frac{c(S)}{|S|},
\]
where \(c(S)\) is the number of cut edges, and proves improved lower bounds for \(\Delta\ge 4\) [1211.0524]. Since in a \(\Delta\)-regular graph
\[
\frac{c(S)}{\Delta}\le |\partial_V(S)|\le c(S),
\]
these lower bounds imply corresponding lower bounds on vertex expansion up to a factor \(\Delta\) [1211.0524]. A plausible implication is that random regular graphs are stronger small-set vertex expanders than earlier union-bound analyses could certify.

Spectral expanders also provide natural examples of small-set vertex expanders. "Minors in small-set expanders" [2503.06826] states that if \(G\) is an \((n,d,\lambda)\)-graph with \(\lambda<d/4\), then \(G\) is a \((1/4, d^2/(4\lambda)^2)\)-expander [2503.06826]. This directly converts a spectral gap into local vertex expansion with expansion factor \(t=d^2/(4\lambda)^2\). The same paper positions random regular graphs, binomial random graphs \(G(n,p)\) with \(p\ge C\log n/n\), \(d\)-out random graphs, and spectral expanders \((n,d,\lambda)\) with \(\lambda\ll d\) as typical sources of small-set expanders [2503.06826].

Several recent papers address explicit constructions with stronger guarantees. "Explicit two-sided unique-neighbor expanders" [2302.01212] gives the first explicit two-sided construction of imbalanced unique-neighbor expanders. For large enough degrees \(d_1,d_2\), it constructs strongly explicit \((d_1,d_2)\)-biregular graphs in which small sets on both sides have \(\Omega(d_1|S|)\) unique neighbors, and subsets of size up to
\[
\exp(\Omega(\sqrt{\log |V(G_n)|}))
\]
expand losslessly [2302.01212]. The analysis uses a tripartite line product and a sharp characterization of induced subgraphs in biregular spectral expanders via the non-backtracking matrix and a generalized Moore bound [2302.01212].

"Explicit Lossless Vertex Expanders" [2504.15087] gives the first explicit constant-degree lossless vertex expanders. For any \(\varepsilon>0\) and sufficiently large \(d\), it constructs explicit \(d\)-regular graphs where every small set \(S\) has
\[
|N(S)|\ge (1-\varepsilon)d|S|,
\]
which implies
\[
|UN(S)|\ge (1-2\varepsilon)d|S|
\]
for the unique-neighbor set \(UN(S)\) [2504.15087]. The construction extends to biregular bipartite graphs of any constant imbalance, gives two-sided expansion on both sides, and admits a free group action, yielding new families of quantum LDPC codes of Lin and M. Hsieh with a linear time decoding algorithm [2504.15087].

At the bipartite local-optimality scale, "Optimal Small Set Expanders and Their Codes" [2606.23579] proves existence of \(s\)-optimal expanders for every \(s\) by random selection and cycle-removal from families of \(2\)-optimal graphs [2606.23579]. It also proves that an \(s\)-optimal expander must satisfy
\[
n\ge \sum_{j=0}^{s+1}(d-1)^j,
\]
showing that \(s\)-optimality forces the number of left vertices to grow exponentially in \(s\) for fixed degree \(d\) [2606.23579].

## 5. Algorithmic approximation and testing

Small-set vertex expansion is algorithmically subtle. A direct approximation result for vertex boundary minimization appears in "New Approximation Bounds for Small-Set Vertex Expansion" [2311.17001]. For a graph \(G=(V,E)\) and \(\delta\in(0,1/2]\), the \(\delta\)-Small-Set Vertex Expansion value is
\[
\phi_\delta(G)=\min_{S:|S|=\delta|V|}\frac{|\partial^V(S)|}{\min\{|S|,|S^c|\}}.
\]
For \(\delta\le 1/2\), this is simply \(|\partial^V(S)|/|S|\) [2311.17001]. The paper gives a randomized algorithm, running in time \(n^{\mathrm{poly}(1/\delta)}\), that outputs a set \(S\) of size \([0.99\delta n,1.01\delta n]\) with vertex expansion at most
\[
O\big(\sqrt{\phi^V_\delta(G)\,\log d\,\log(1/\delta)}\big)
\;+\;
O\big(d\,\log d\,\log^2(1/\delta)\big)\cdot \phi^V_\delta(G),
\]
where \(d\) is the maximum degree [2311.17001]. The method uses the basic SDP relaxation augmented with \(\mathrm{poly}(1/\delta)\) rounds of the Lasserre/SoS hierarchy and a Gaussian hyperedge rounding lemma [2311.17001]. The paper also proves integrality gaps showing that the \(\tilde O(d)\phi^*\) term reflects genuine limitations of the relaxation [2311.17001].

An earlier algorithmic route goes through hypergraph and edge-expansion reductions. "Approximation Algorithms for Hypergraph Small Set Expansion and Small Set Vertex Expansion" [1404.4575] gives an \(\tilde O(\delta^{-1}\sqrt{\log n})\) approximation algorithm for hypergraph small-set expansion, and via reductions obtains an \(\tilde O(\delta^{-1}\sqrt{\log n})\) approximation for Small Set Vertex Expansion [1404.4575]. It also gives an algorithm that finds a set with vertex expansion
\[
O\left(\delta^{-1}\sqrt{\phi^V \log d_{\max}}+\delta^{-1}\phi^V\right)
\]
up to the polylogarithmic factors detailed in the paper [1404.4575]. The analysis introduces hypergraph orthogonal separators and \(l_2\)–\(l_2\) separators, extending the graph-orthogonal-separator paradigm to hypergraphs [1404.4575].

The edge-expansion literature remains highly relevant because bounded-degree edge and vertex expansion are comparable. "Min-Max Graph Partitioning and Small Set Expansion" [1110.4319] gives a polynomial-time randomized algorithm that, for a parameter \(\rho\), returns a set \(S\) of size \(|S|\le (1+\varepsilon)\rho n\) and edge expansion
\[
\Phi(S)\le O_\varepsilon\!\left(\sqrt{\log n\cdot \log(1/\rho)}\right)\cdot \Phi_\rho
\]
in general graphs, and constant-factor bicriteria approximations in minor-free and bounded-genus graphs [1110.4319]. In bounded-degree graphs, these algorithms can be viewed as finding sets with poor vertex expansion or certifying their absence [1110.4319].

Property testing provides a sublinear-time perspective. "Testing Small Set Expansion in General Graphs" [1209.5052] studies conductance-based \((k,\phi)\)-expansion and gives testers in the adjacency-list and rotation-map models. The two-sided error tester in the adjacency-list model distinguishes \((k,\phi)\)-expanders from graphs \(\varepsilon\)-far from any \((k^*,\phi^*)\)-expander with
\[
k^*=\Theta(k\varepsilon),\qquad
\phi^*=\Theta\!\left(\frac{\phi^4}{\min\{\log(4m/k),\log n\}\cdot(\ln k)}\right),
\]
in time \(\widetilde O(\sqrt m\,\phi^{-4}\varepsilon^{-2})\) [1209.5052]. In bounded-degree graphs, such testers can be interpreted as testers for small-set vertex expansion because conductance and vertex expansion are comparable up to constants [1209.5052].

For the bipartite version, "Minimizing the Union: Tight Approximations for Small Set Bipartite Vertex Expansion" [1611.07866] studies the problem of finding \(S\subseteq U\) of size \(k\) minimizing \(|N(S)|\) in a bipartite graph \(G=(U,V,E)\). The paper proves an \(O(n^{1/4+\varepsilon})\)-approximation algorithm for SSBVE for any constant \(\varepsilon>0\), where \(n=|U|\), and shows matching hardness under an extension of the Dense vs Random conjecture to hypergraphs [1611.07866]. It also gives a \((1+\epsilon,\tilde O(\sqrt n))\)-bicriteria approximation for the more general SSVE problem on arbitrary graphs [1611.07866].

## 6. Expansion in partitions, geometry, and optimization

Small-set expansion governs more global partitioning tasks. In "Min-Max Graph Partitioning and Small Set Expansion" [1110.4319], the main partitioning theorem states that Min–Max \(k\)-Partitioning admits a bicriteria approximation
\[
\big(O_\varepsilon(\sqrt{\log n\log k}),\,2+\varepsilon\big),
\]
and the proof uses weighted small-set expansion and weighted \(\rho\)-unbalanced cut as the central primitives [1110.4319]. The algorithm repeatedly finds small low-boundary pieces and aggregates them into a global partition, so the existence or absence of weakly expanding small sets directly controls the achievable partition quality [1110.4319]. In bounded-degree graphs, the same story can be rephrased in vertex-expansion language.

Small-set expansion also appears in geometric rounding and spectral partitioning. "Rounding via Low Dimensional Embeddings" [2211.09729] works with \((\varepsilon,\gamma)\) small-set edge expanders and shows that several square-root losses in classical rounding can be avoided. One result states that if a regular graph is an \((\varepsilon,\gamma)\) small-set expander and contains a cut of fractional size at least \(1-\delta\), then one can find a cut of size at least
\[
1-O\left(\frac{\delta}{\varepsilon\gamma^6}\right)
\]
in polynomial time [2211.09729]. The paper’s main idea is to project a high-dimensional SDP solution into low dimension while roughly preserving \(\ell_2^2\) distances, then use low-dimensional geometry and small-set expansion to quantize the vector solution without incurring the usual square-root degradation [2211.09729]. In bounded-degree graphs, a plausible implication is that strong small-set vertex expansion should support analogous vertex-boundary rounding schemes, since the underlying obstruction is concentration of geometry on small poorly connected sets.

A distinct geometric-group-theoretic perspective appears in "Remarks on partitions into expanders" [2001.01522]. There the basic objects are \(\epsilon\)-F sets, namely nonempty vertex subsets \(A\) with \(|A|\le |X|/2\) and \(|\partial A|\le \epsilon|A|\), and the main theorem states that if a finite graph \(X\) has no \(\alpha\)-small \(\epsilon\)-F sets, then it can be partitioned into
\[
X=X_1\sqcup\cdots\sqcup X_k,\qquad k\le \left\lfloor \frac1\alpha\right\rfloor,
\]
where each \(X_i\) is \(\alpha\)-big and a \(\delta\)-expander for
\[
\delta=\frac{\epsilon}{4^k}
\]
[2001.01522]. Since the work is edge-based, in bounded-degree settings this also yields partitions into large vertex-expanding pieces [2001.01522]. The same paper proves that the existence of such partitions is a quasi-isometry invariant [2001.01522].

## 7. Unique neighbors, lossless expansion, and codes

A major branch of the subject concerns stronger neighborhood guarantees than mere linear expansion. In a graph \(G\), a vertex is a unique neighbor of a set \(S\) if it has exactly one neighbor in \(S\). Unique-neighbor expansion is stronger than ordinary vertex expansion, because it forbids excessive collisions in the neighborhood map [2302.01212].

"Explicit two-sided unique-neighbor expanders" [2302.01212] studies bipartite \((d_1,d_2)\)-biregular graphs \(Z=(L\cup R,E)\) in which small sets on both sides have many unique neighbors. It gives the first strongly explicit infinite family of two-sided imbalanced unique-neighbor expanders, and additionally guarantees that subsets of size up to
\[
\exp(\Omega(\sqrt{\log |V(Z_n)|}))
\]
expand losslessly on both sides [2302.01212]. The constructions are obtained from a tripartite line product of a large tripartite spectral expander and a constant-size unique-neighbor gadget [2302.01212].

"Explicit Lossless Vertex Expanders" [2504.15087] sharpens this by giving explicit constant-degree lossless vertex expanders. In a \(d\)-regular graph, lossless means that every small set \(S\) has
\[
|N(S)|\ge (1-\varepsilon)d|S|,
\]
with \(\varepsilon\to 0\) as \(d\to\infty\) in a family [2504.15087]. The paper proves this for explicit constant-degree graphs and for biregular bipartite graphs of any constant imbalance [2504.15087]. It further notes that the lossless condition implies at least \((1-2\varepsilon)d|S|\) unique neighbors [2504.15087]. These graphs admit a free group action and therefore realize new families of quantum LDPC codes of Lin and M. Hsieh with a linear time decoding algorithm [2504.15087].

"Optimal Small Set Expanders and Their Codes" [2606.23579] connects local expansion constants to coding properties in another way. Given a left-regular bipartite graph \(G=(L\sqcup R,E)\) of degree \(d\), it defines a binary linear code \(B(G)\subseteq \mathbb F_2^{|L|}\) by parity checks indexed by \(R\). The paper recalls the Sipser–Spielman criterion that if \(\alpha_G(h)>d/2\), then the minimum distance is at least \(h\), and if \(\alpha_G(h)>3d/4\), then the standard bit-flipping algorithm corrects up to \(h/2\) errors in linear time [2606.23579]. Using transfer bounds,
\[
\alpha_G(h)\ge d-\frac{h-1}{s}
\qquad\text{for all }h\ge s
\]
in \(s\)-optimal expanders [2606.23579], it derives decoding and cryptographic guarantees for expander-code-based key exchange protocols [2606.23579].

## 8. Small-set expansion in complexity and optimization theory

Small-set expansion, especially in its edge form, is deeply connected to the Unique Games Conjecture and the Small-Set Expansion Hypothesis. "Testing Small Set Expansion in General Graphs" [1209.5052] explicitly situates small-set expansion within the Unique Games and locally testable codes literature [1209.5052]. "New Approximation Bounds for Small-Set Vertex Expansion" [2311.17001] similarly emphasizes the role of SSVE in the Strong Unique Games problem and in reductions between graph and hypergraph partitioning [2311.17001].

A more direct SoS-based perspective appears in "Playing Unique Games on Certified Small-Set Expanders" [2006.09969]. That paper works with edge expansion and certifiable hypercontractivity, but it proves that if low-degree sum-of-squares proofs certify good small-set expansion of the underlying constraint graph, then one can solve affine Unique Games instances on that graph in polynomial time [2006.09969]. As corollaries, it gives the first polynomial-time algorithms for Unique Games on the noisy hypercube, the short code, and the Johnson graph [2006.09969]. The same paper also treats graphs that are not literal small-set expanders but whose non-expanding small sets are characterized by low-degree SoS proofs, notably the Johnson graph via restricted subcubes [2006.09969]. A plausible implication is that one fruitful notion of a “usable” small-set vertex expander in complexity theory is not only combinatorial expansion, but expansion or non-expansion that is recognizable inside a low-degree proof system.

This complexity-theoretic perspective intersects with approximation barriers. For bipartite small-set vertex expansion, "Minimizing the Union" [1611.07866] shows that the \(n^{1/4+\varepsilon}\)-approximation is tight under a hypergraph extension of the Dense vs Random conjecture, and it provides a matching \(n^{1/4-O(\epsilon)}\) Sherali–Adams integrality gap and an even worse SDP gap [1611.07866]. For general SSVE, "New Approximation Bounds for Small-Set Vertex Expansion" [2311.17001] proves SSEH-based hardness showing that even approximations depending arbitrarily on the degree can remain hard [2311.17001]. These results indicate that the algorithmic theory of small-set vertex expanders inherits much of the subtlety, and many of the barriers, already familiar from edge-based small-set expansion.

## 9. Dynamic and distributed consequences

Small-set vertex expansion also has dynamic consequences for information spread. "Towards Constant Time Multi-Call Rumor Spreading on Small-Set Expanders" [2508.18017] studies the \(k\)-PUSH&PULL rumor-spreading protocol on \((\phi,\alpha)\)-vertex expanders, where
\[
\min_{\substack{S\subseteq V\\0<|S|\le \alpha n}}\frac{|N(S)\cap\overline S|}{|S|}\ge \phi.
\]
For \(\phi>1\) and \(\alpha>1/(2+2\phi)\), the paper proves a diameter bound \(O(\log_\phi n)\) [2508.18017]. It then shows that \(k\)-PUSH&PULL completes in
\[
O\left(\left(\log_{\phi} n +\phi^{-1}\big(\alpha - \tfrac{1}{2+2\phi}\big)^{-1}\right)\log_{k} n\right)
\]
rounds with high probability, and in the common regime simplifies this to
\[
O(\log_{\phi} n\cdot \log_k n)
\]
[2508.18017]. The paper also proves a lower bound
\[
\Omega(\log_\phi n+\log_k n)
\]
[2508.18017]. This sharpens the contrast with conductance and edge expansion, where the best possible dependence on \(n\) remains logarithmic [2508.18017]. The result identifies small-set vertex expansion as a graph property that is particularly well suited for fast information dissemination.

## 10. Conceptual synthesis

Several distinct notions in the literature fall under the label “small-set vertex expander.” One is the direct neighborhood condition \(|N(X)|\ge t|X|\) for \(|X|\le \alpha n/t\) [2503.06826]. Another is the minimization problem of finding a size-\(\delta n\) set with minimum vertex boundary [2311.17001]. A third is the bipartite-neighborhood formalism \(\alpha_G(t)\) for left subsets of size at most \(t\) [2606.23579]. Still others arise from unique-neighbor or lossless requirements [2302.01212], [2504.15087]. These formulations are not identical, but they share the same governing principle: small subsets should force many external contacts, preferably with low collision.

A recurring theme is that local vertex expansion simultaneously behaves as a combinatorial, geometric, and algorithmic object. Combinatorially, it controls minors, diameter, and tree-like local structure [2503.06826], [2606.23579]. Geometrically, it supports quantization and low-dimensional rounding without square-root losses [2211.09729]. Algorithmically, it underlies approximation schemes, bicriteria partitioning routines, and sublinear testing procedures [1110.4319], [1209.5052], [1404.4575], [2311.17001]. In coding theory and pseudorandom constructions, stronger variants such as unique-neighbor and lossless expansion are the key combinatorial drivers of decoding and robustness [2302.01212], [2504.15087], [2606.23579].

A common misconception is that edge expansion and vertex expansion are interchangeable in complete generality. They are not: several papers explicitly stress that edge and vertex expansion are incomparable in general [2503.06826], [2302.01212]. However, in bounded-degree graphs, the two notions are tightly linked by the inequalities relating crossing edges and distinct boundary vertices [1110.4319], [1211.0524], [1209.5052]. This is why many of the deepest algorithmic advances still enter through edge expansion, then translate to vertex expansion in the sparse regime most relevant to expanders.

Another misconception is that strong local expansion must be a purely asymptotic or nonconstructive property. Recent work shows otherwise. There are now explicit constant-degree lossless vertex expanders [2504.15087], explicit two-sided unique-neighbor expanders [2302.01212], and explicit or probabilistic constructions of \(s\)-optimal bipartite expanders for every \(s\) [2606.23579]. These developments indicate that the subject has moved well beyond probabilistic existence and now supports finely structured constructions with algebraic symmetry and coding applications.

Small-set vertex expanders therefore occupy a central position at the intersection of graph minors, pseudorandomness, semidefinite and SoS optimization, coding theory, and distributed algorithms. Their modern theory is best viewed not as a single definition, but as a network of equivalent and near-equivalent local expansion principles whose precise form depends on whether the goal is structural analysis, algorithm design, hardness, or explicit construction.

Source: https://www.emergentmind.com/topics/small-set-vertex-expanders