---
title: Clique-Stars in Graph Theory & Stellar Studies
url: https://www.emergentmind.com/topics/clique-stars
type: topic
---

# Clique-Stars in Graph Theory & Stellar Studies

“Clique-Stars” is an *Editor’s term* for research settings in which clique-like and star-like structures jointly determine structure, algorithms, extremal behavior, or observed spatial organization. In graph theory, the term names a decomposition program built on clique cutsets and double-star cutsets for hereditary classes excluding most Truemper configurations [1707.03252]. In privacy-preserving graph mining, it denotes star-based local reports that support accurate \((p,q)\)-clique enumeration under Local Differential Privacy [2403.01788]. In Ramsey theory, it appears in problems contrasting cliques with stars, including both size Ramsey numbers for \(K_{1,k}\) versus \(K_n\) and 3-uniform hypergraph Ramsey numbers for \(K_4^{(3)}\) versus \(S_n^{(3)}\) [1601.06599] [2210.03545]. In algebraic graph theory, it refers to the generalized star–clique operation on arithmetical structures and the induced transformation of critical groups [2206.14836]. In stellar-population studies, the same label captures hierarchically clustered, clique-like assemblies of young stars across multiple spatial scales [1208.0543] [1101.1486].

## 1. Clique cutsets, double-star cutsets, and hereditary graph classes

In the structural graph-theoretic setting, the central objects are holes, antiholes, and Truemper configurations: thetas, pyramids, prisms, and wheels. A wheel is a pair \((H,x)\), where \(H\) is a hole and \(x \in V(G)\setminus V(H)\) has at least three neighbors in \(H\); a universal wheel has \(x\) complete to \(V(H)\), a twin wheel has \(x\) adjacent to exactly three consecutive vertices of \(H\) and to no other vertices of \(H\), and a proper wheel is any wheel that is neither universal nor twin. A clique cutset is a clique \(S \subseteq V(G)\) such that \(G-S\) is disconnected. A star cutset is a cutset contained in \(N_G[u]\) for one center \(u\), and a double-star cutset is a cutset \(S \subseteq N_G[u]\cup N_G[v]\) for adjacent centers \(u,v\in S\) such that \(G-S\) is disconnected [1707.03252].

The main ambient class is \(GUT\), the class of \((3PC,\text{ proper wheel})\)-free graphs, thus allowing possibly universal and twin wheels. Three subclasses are singled out: \(GU\), which is \((3PC,\text{ proper wheel},\text{ twin wheel})\)-free; \(GT\), which is \((3PC,\text{ proper wheel},\text{ universal wheel})\)-free; and \(GUTcap\text{-free}\), which is \((3PC,\text{ proper wheel},\text{ cap})\)-free. Each class admits a clique-cutset decomposition into a basic class: \(BUT\) for \(GUT\), \(BU\) for \(GU\), \(BT\) for \(GT\), and \(BUTcap\text{-free}\) for \(GUTcap\text{-free}\). The corresponding decomposition theorems state that every graph in the class either belongs to its basic class or admits a clique cutset [1707.03252].

The basic classes are described in terms of anticomponents, rings, hyperholes, hyperantiholes, and constrained low-\(\alpha\) pieces. A hyperhole is obtained by blowing up a hole into a cyclic sequence of cliques, and a ring is a more general cyclic clique chain satisfying nested neighborhood conditions within each block. Rings are crucial atoms: every hyperhole is a ring, every hole in a ring picks exactly one vertex per block, removing any block \(X_i\) yields a chordal graph, and any wheel inside a ring is necessarily a twin wheel. This extends the chordal paradigm beyond hole-free graphs: chordal graphs admit Dirac’s decomposition “either complete or with a clique cutset,” whereas the present classes retain clique-based decompositions while allowing rings, hyperholes, hyperantiholes, and certain wheels [1707.03252].

A decisive local restriction concerns vertex attachments to a hole. If \(H\) is a hole and \(x \notin H\) in a \(GUT\) graph, then either \(x\) is complete to \(H\), or \(x\) is a twin of some rim vertex, or \(x\) has at most two neighbors in \(H\) and they form a clique of two consecutive rim vertices. This restriction forces either ring structure or the existence of clique cutsets. Because no \(3PC\) and no wheel admits a clique cutset, the decomposition theorems also yield composition theorems: graphs in these classes can be obtained by repeatedly gluing basic atoms along cliques, except in the cap-free caveat noted for caps [1707.03252].

## 2. Algorithmic consequences and \(\chi\)-boundedness

The decomposition theory has direct algorithmic consequences. Recognition is polynomial and robust in all four classes: \(GUT\) is recognized in \(O(n^6)\), \(GU\) in \(O(nm)\), \(GT\) in \(O(n^3)\), and \(GUTcap\text{-free}\) in \(O(n^5)\). The frameworks combine clique-cutset decomposition trees with atom recognition routines such as long-hole detection, ring detection in \(O(n^2)\), and true-twin quotients for rings and hyperholes [1707.03252].

Optimization problems split sharply by subclass. For maximum weight clique, the paper gives \(O(nm)\) algorithms for \(GU\) and \(GT\), and an \(O(n^3)\) algorithm for \(GUTcap\text{-free}\), while maximum weight clique is NP-hard for \(GUT\). For maximum weight stable set, the stated bounds are \(O(nm)\) for \(GU\), \(O(n^3+n^2m)\) for \(GT\), and \(O(n^3)\) for \(GUTcap\text{-free}\); the complexity for \(GUT\) remains open. For optimal vertex coloring, \(GU\) admits an \(O(nm)\) algorithm and \(GUTcap\text{-free}\) admits an \(O(n^3)\) algorithm, whereas coloring for \(GT\) and \(GUT\) is open. The obstruction in \(GT\) is explicit: coloring rings efficiently in polynomial time is unknown [1707.03252].

The \(\chi\)-boundedness theory is organized around small separators. The key double-star cutset theorem states that every \(G\in GUT\) satisfies at least one of the following: \(G\) is cap-free, or \(\omega(G)\ge 3\) and \(G\) admits a double-star cutset \(S\) of size at most \(R(\omega(G)-1,3)+4\omega(G)-7\). This separator reduces \(GUT\) graphs to cap-free instances and feeds into polynomial \(\chi\)-bounds via Ramsey theory and an isolation theorem for highly connected induced subgraphs [1707.03252].

The resulting bounds are explicit:
\[
\chi(G)\le \omega(G)+1 \quad \text{for } GU,
\]
\[
\chi(G)\le \left\lfloor \frac{3}{2}\omega(G)\right\rfloor \quad \text{for } GT \text{ and } GUTcap\text{-free},
\]
\[
\chi(G)\le 2\,\omega(G)^4 \quad \text{for } GUT.
\]
A sharper asymptotic statement is also proved for \(GUT\): there exists \(c>0\) such that for \(\omega(G)\ge 2\),
\[
\chi(G)\le c\cdot \frac{\omega(G)^4}{\log^2 \omega(G)}.
\]
The \(GU\) and \(GUTcap\text{-free}\) bounds are accompanied by explicit extremal constructions: the join of an odd hole and a clique gives \(\chi=\omega+1\) in \(GU\), and the join of \(k\ge 1\) copies of \(C_5\) gives \(\chi=\left\lfloor \tfrac32 \omega\right\rfloor\) in \(GUTcap\text{-free}\) [1707.03252].

## 3. Star-based local privacy for biclique counting

In privacy-preserving graph mining, Clique-Stars refers to the use of \(k\)-stars as the local primitive for estimating biclique counts in a bipartite graph \(G=(V=(U,L),E)\). A \((p,q)\)-clique is a complete bipartite subgraph \(K_{p,q}\), and its count is denoted \(f_{pq}(G)\). A \(k\)-star centered at \(v\) is the event that \(v\) is connected to all nodes in some \(k\)-subset \(S\) of its neighbors across the bipartite boundary. The key combinatorial identity is that \(K_{p,q}\) counts can be written as sums of binomial terms over shared neighborhoods, so observing \(k\)-stars allows estimation of the common-neighborhood sizes needed to recover \(f_{pq}(G)\) [2403.01788].

The privacy model is \(\epsilon\)-LDP. Each user constructs a \(k\)-stars neighboring list \(KS_i\) locally and perturbs each binary entry with Warner’s randomized response, where \(\mu=1/(e^\epsilon+1)\). The mechanism is two-round. In round 1, users send RR-noised \(k\)-stars lists to the collector. In round 2, users compute motif counts using only noisy data returned by the collector and send back final counts; because this second stage is post-processing, it does not consume additional privacy budget [2403.01788].

For the \(k\)-stars LDP estimator, the paper uses noisy local counts \(f_i\) of \((p,q)\)-cliques and \(s_i\) of \((p-1,q)\)-cliques, with debiasing
\[
\hat f_i=\frac{f_i-\mu s_i}{(1-2\mu)^{p-1}},
\qquad
\hat f_{pq}^{K}(G)=\sum_i \hat f_i.
\]
An absolute value correction replaces \(\hat f_i\) by
\[
\hat f_i=\frac{(f_i-\mu s_i)+|f_i-\mu s_i|}{2(1-2\mu)^{p-1}},
\]
motivated by the fact that unbiased correction can be negative in sparse graphs. A further \(k\)-stars sampling technique retains each RR-noised star with probability \(\rho\) to reduce cost and prune spurious stars [2403.01788].

The theoretical guarantees are exact. Both the edge-LDP baseline and the \(k\)-stars estimator are unbiased:
\[
E[\hat f_{pq}^{E}(G)]=f_{pq}(G),\qquad E[\hat f_{pq}^{K}(G)]=f_{pq}(G).
\]
If \(S=2N_{2,q}(G)+N_{1,q}(G)\), then
\[
\mathrm{Var}[\hat f_{pq}^{E}(G)] \le \frac{\mu(1-\mu)\cdot S}{(1-2\mu)^{2(p-1)q}\cdot ((p-1)q-((p-1)q+1)\mu^2)},
\]
whereas
\[
\mathrm{Var}[\hat f_{pq}^{K}(G)] \le \frac{\mu(1-\mu)\cdot S}{(1-2\mu)^{2(p-1)}\cdot ((p-1)-p\mu^2)}.
\]
The leading exponent drops from \((p-1)q\) to \((p-1)\), which is the main utility advantage. The privacy comparison theorem states that if a local mechanism provides \(\epsilon\)–\(k\)-stars LDP, then it also provides \((k\cdot 2^{k-1}/(2^k-1))\cdot \epsilon\) edge LDP [2403.01788].

Empirically, the method is evaluated on Gplus, IMDB, GitHub, and Facebook, using relative error and \(L_2\) loss. Across all datasets and settings, \(k\)-stars LDP outperforms edge LDP in relative error and \(L_2\) loss. The paper reports that absolute value correction reduces \(L_2\) loss by up to \(10^7\) orders of magnitude in sparse settings, and that \(k\)-stars sampling with \(\rho \approx 0.9\) cuts relative error by about three orders of magnitude [2403.01788].

## 4. Ramsey-theoretic clique–star phenomena

Clique–star interactions also appear in Ramsey theory. For graphs, the size Ramsey number \(\hat r(G,H)\) is the minimum number of edges of a graph \(F\) such that every red-blue coloring of \(E(F)\) yields a red copy of \(G\) or a blue copy of \(H\). The star is \(K_{1,k}\), and the clique is \(K_n\). Faudree and Sheehan conjectured that
\[
\hat r(K_{1,k},K_n)=
\begin{cases}
\binom{k(n-1)+1}{2}-\binom{k}{2}, & k\ge n \text{ or } k \text{ odd},\\[4pt]
\binom{k(n-1)+1}{2}-k(n-1)/2, & \text{otherwise},
\end{cases}
\]
but Pikhurko showed that this conjecture is false for \(n=3\) and \(k\ge 5\). Miralaei, Omidi, and Shahsiah proved that for a given \(k\ge 2\) and \(n\ge k^3+2k^2+2k\), the equality \(\hat r(K_{1,k},K_n)=\hat r^*(K_{1,k},K_n)\) does hold, thereby confirming the Faudree–Sheehan formula in this large-\(n\) regime [1601.06599].

In 3-uniform hypergraphs, the star \(S_n^{(3)}\) on \(n+1\) vertices has all \(\binom{n}{2}\) triples incident to a fixed center. The off-diagonal Ramsey number \(r(K_4^{(3)},S_n^{(3)})\) satisfies
\[
2^{\,c (\log n)^2}\le r\!\big(K_{4}^{(3)},S_n^{(3)}\big)\le 2^{\,c' n^{2/3}\log n}
\]
for positive constants \(c,c'\). The paper emphasizes that this is an unusual intermediate growth regime: both bounds are super-polynomial in \(n\) but sub-exponential in \(n\), unlike the more familiar behavior of many off-diagonal hypergraph Ramsey numbers against cliques [2210.03545].

The upper bound is obtained through a grid-graph Ramsey problem on \(K_N\square K_N\): determine the least \(N\) such that every 2-edge-coloring contains either a red rectangle or a blue \(K_n\). An explicit correspondence maps horizontal and vertical grid edges to triples of a bipartite 3-graph \(B^{(3)}(N,N)\), under which a red rectangle corresponds to a red \(K_4^{(3)}\) and a blue row- or column-clique corresponds to a blue \(S_n^{(3)}\). The lower bound uses a layered pseudorandom construction on a grid with no rectangles and controlled row/column sparsity [2210.03545].

For larger clique size, the phenomenon changes: for each fixed \(s\ge 5\), there exist constants \(c_s,c'_s>0\) such that
\[
2^{c_s n}\le r(K_s^{(3)},S_n^{(3)})\le 2^{c'_s n}.
\]
This isolates \(K_4^{(3)}\) as the pivotal case producing the intermediate regime [2210.03545].

## 5. Generalized star–clique operations and critical groups

In algebraic graph theory, clique–star interaction is encoded by the Keyes–Reiter generalized star–clique operation on arithmetical structures. An arithmetical structure on a finite, connected graph without loops is a pair \((d,r)\) satisfying
\[
(\operatorname{diag}(d)-A)r=0,
\]
with \(r\) primitive under the normalization \(\gcd(r_1,\dots,r_n)=1\). The associated matrix \(L=\operatorname{diag}(d)-A\) has rank \(n-1\), and the cokernel decomposes as
\[
\mathbb Z^n/\operatorname{im}(L)\cong \mathbb Z\oplus K(G;d,r),
\]
where \(K(G;d,r)\) is the critical group [2206.14836].

The generalized star–clique operation is performed at a chosen vertex \(v_n\). The new graph \(G'\) deletes \(v_n\), scales every edge not incident to \(v_n\) by \(d_n\), and adds \(\delta_{i,n}\delta_{n,j}\) parallel edges between each pair of neighbors \(v_i,v_j\) of \(v_n\). The updated parameters are
\[
d'_i=d_i d_n-\delta_{i,n}\delta_{n,i},
\qquad
r'_i=\frac{r_i}{\gcd(r_1,\dots,r_{n-1})}.
\]
At the matrix level,
\[
\ell'_{i,j}=\ell_{i,j}\ell_{n,n}-\ell_{i,n}\ell_{n,j},
\]
so \(L'\) is obtained from \(L\) by pivotal condensation along the last row and last column [2206.14836].

This matrix identity drives the critical-group analysis. If \(D_k(B)\) is the gcd of all \(k\times k\) minors of \(B\), then for all \(k\in [n-2]\),
\[
D_k(L')=d_n^{\,k-1}D_{k+1}^*(L),
\]
and consequently
\[
d_n^{\,k-1}D_{k+1}(L)\le D_k(L')\le (g_n(L))^2 d_n^{\,k-1}D_{k+1}(L),
\]
where \(g_n(L)\) is the gcd of the last row of \(L\). For critical-group orders this yields
\[
d_n^{\,n-3}|K(G;d,r)|\le |K(G';d',r')|\le (g_n(L))^2 d_n^{\,n-3}|K(G;d,r)|.
\]
Both bounds are sharp in the non-simple case [2206.14836].

The invariant factors are exact for simple graphs, equivalently when \(g_n(L)=1\). If
\[
K(G;d,r)\cong \bigoplus_{k=1}^{n-1}\mathbb Z/\alpha_k\mathbb Z,
\qquad
K(G';d',r')\cong \bigoplus_{k=1}^{n-2}\mathbb Z/\alpha'_k\mathbb Z,
\]
then
\[
\alpha'_1=\alpha_2,\qquad \alpha'_k=d_n\alpha_{k+1}\ \text{ for } k=2,\dots,n-2.
\]
Hence
\[
K(G';d',r')\cong \mathbb Z/\alpha_2\mathbb Z\oplus \bigoplus_{k=2}^{n-2}\mathbb Z/(d_n\alpha_{k+1})\mathbb Z,
\]
and \(|K(G';d',r')|=d_n^{\,n-3}|K(G;d,r)|\). In the classical case \(d_n=1\), the critical group is preserved [2206.14836].

## 6. Hierarchical stellar “cliques” and dispersing star complexes

In stellar-population studies, Clique-Stars denotes clustered young stars arranged in nested, clique-like groupings across scales. In the NGC 346/N66 region of the Small Magellanic Cloud, HST/ACS observations over a field of about \(90\times 90\) pc were analyzed with stellar density maps, Cartwright and Whitworth’s \(Q\) parameter, dendrograms, and the \(\Delta\)-variance wavelet transform. The stellar density maps were built on a regular grid with pixel size \(\approx 1.8''\) and smoothed with a Gaussian filter of FWHM \(\approx 2.8\) pixels \((\approx 5'')\). The central dominant aggregate is outlined by the \(1\sigma\) isopleth, and NGC 346 proper emerges around \(\ge 3\sigma\) [1208.0543].

The \(Q\) parameter combines the mean edge length of the minimum spanning tree and the mean pairwise separation, with \(Q\lesssim 0.8\) indicating hierarchical or fractal substructure. For NGC 346/N66, the MST analysis yields a \(Q\) that maps to a fractal dimension \(D\simeq 2.5\). The dendrogram reveals multiple levels of hierarchy concentrated inside the central aggregate outlined by the \(1\sigma\) isopleth. The \(\Delta\)-variance shows a power-law regime over lags \(\approx 4''\) to \(\approx 13''\), a best-fit spectral index \(\beta \simeq 2.8\), \(\alpha \simeq 0.8\), \(D_{\mathrm{fBm}}\simeq 2.6\), and a break in self-similarity at \(\ell \gtrsim 25\) pixels, i.e. \(\approx 40''\) \((\approx 11\) pc). Together these diagnostics indicate strong hierarchical, fractal-like clustering [1208.0543].

A related but dynamically different picture appears in the outer disk of M33. There the star–star separation function (S3F), defined as the histogram of all pairwise angular separations in an age-selected sample, was applied to bright main-sequence stars near the northern edge of the disk at \(R=8.3\) kpc. The 10 Myr sample shows a strong excess for separations \(r<250''\) \((<1.1\) kpc), with the width of the low-\(r\) peak indicating grouping scales \(<150''\) \((<700\) pc), and a second peak at \(r\approx 450''\) \((\approx 2.1\) kpc) caused by beating between two large young stellar complexes in the field [1101.1486].

By 40 Myr, clustering signatures broaden and weaken, with most stars separated by up to at least \(300''\) \((\approx 1.4\) kpc). By 100 Myr, the S3F is nearly flat between \(150''\) and \(400''\) \((\approx 0.7\)–\(1.9\) kpc), with no excess at \(r<150''\) and a minimum typical separation of \(\approx 50''\) \((\approx 0.25\) kpc). The observed redistribution is consistent with random velocities of order \(20\ \mathrm{km\ s^{-1}}\), which imply \(d\approx \sigma t \approx 2.05\) kpc over \(10^8\) yr. The paper further connects the disappearance of clustering by \(\sim 100\) Myr to cluster disruption, estimating characteristic birth masses of \(\sim 50\)–\(250\ M_\odot\) from the disruption law \(t_{\mathrm{dis}}\propto M^\gamma\) with \(\gamma=0.62\) and an inner-disk baseline \(t_{\mathrm{dis}}\approx 1\) Gyr for a \(10^4 M_\odot\) cluster [1101.1486].

Taken together, these astronomical uses of Clique-Stars describe two related phenomena: hierarchical clique-like assembly of young stars across scales in NGC 346/N66, and the rapid dispersal of initially compact, sub-kpc stellar groupings in the outer disk of M33. A plausible implication is that the term consistently marks settings in which local star-centered structure and larger clique-like organization are not alternatives but coupled descriptions of the same underlying system [1208.0543] [1101.1486].

Source: https://www.emergentmind.com/topics/clique-stars