Active Correlation Clustering

• Active correlation clustering is the process of partitioning items by selectively querying pairwise similarities through an oracle, balancing clustering quality and query cost.
• It employs query-efficient algorithms such as pivoting, triangle-based heuristics, and information-theoretic acquisition to manage trade-offs between accuracy and query budget.
• The methods offer practical guarantees like a worst-case bound of 3·OPT plus an additive O(n³/Q) error and adaptive strategies for noise-robust clustering.

Active correlation clustering is the study of correlation clustering when pairwise similarities are not fully available in advance and must be acquired selectively through queries to an oracle. In its standard form, correlation clustering seeks a partition of a set of items such that similar pairs are placed in the same cluster and dissimilar pairs are placed in different clusters; the active setting adds a second objective, namely to minimize the number of queried pairs while preserving clustering quality. The literature includes query-efficient pivoting algorithms with worst-case guarantees, adaptive and non-adaptive trade-off analyses, information-theoretic acquisition functions over latent partitions, generic noise-robust frameworks for real-valued similarities, and earlier transductive formulations for signed-network link classification (García-Soriano et al., 2020, Bressan et al., 2019, Aronsson et al., 2024, Aronsson et al., 2023, Cesa-Bianchi et al., 2013).

1. Formal problem and objective

Let $V=[n]$ be a set of items, and let the pairwise similarity information be given either as binary labels $s_{ij}\in\{+,-\}$, equivalently $s_{ij}\in\{0,1\}$, or as $y_{ij}\in\{+1,-1\}$. A clustering is a partition $\mathcal{P}$ of $V$ into disjoint clusters. In the canonical binary setting, the disagreement objective is

$$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$

with

$$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$

Equivalent formulations appear with $y_{ij}\in\{+1,-1\}$ and notation such as $L(C)$ or $s_{ij}\in\{+,-\}$0 for the same disagreement count (García-Soriano et al., 2020, Bressan et al., 2019, Aronsson et al., 2024).

A weighted generalization assigns asymmetric penalties $s_{ij}\in\{+,-\}$1 and $s_{ij}\in\{+,-\}$2 to positive and negative disagreements: $s_{ij}\in\{+,-\}$3 Several active-correlation-clustering works focus on the binary unweighted case for guarantees, while allowing weighted or real-valued extensions at the modeling level (García-Soriano et al., 2020, Aronsson et al., 2024).

In real-valued formulations, similarities are represented by a signed matrix $s_{ij}\in\{+,-\}$4 or $s_{ij}\in\{+,-\}$5, and the clustering objective is written as a violation cost. One form is

$s_{ij}\in\{+,-\}$6

where $s_{ij}\in\{+,-\}$7 if $s_{ij}\in\{+,-\}$8 and $s_{ij}\in\{+,-\}$9, or $s_{ij}\in\{0,1\}$0 and $s_{ij}\in\{0,1\}$1, and $s_{ij}\in\{0,1\}$2 otherwise. This is equivalent to the “max correlation” form

$s_{ij}\in\{0,1\}$3

since $s_{ij}\in\{0,1\}$4. This equivalence is central in later active-learning frameworks because it permits local-search solvers and Gibbs posteriors over partitions (Aronsson et al., 2024, Aronsson et al., 2023).

A distinct but related line studies active learning on signed graphs. There the graph need not be complete, edge labels are $s_{ij}\in\{0,1\}$5, and the correlation clustering index is

$s_{ij}\in\{0,1\}$6

with $s_{ij}\in\{0,1\}$7 counting positive inter-cluster edges and negative intra-cluster edges. That work emphasizes the two-cluster index $s_{ij}\in\{0,1\}$8, social balance, and bad cycles rather than direct clustering under a complete-graph oracle model (Cesa-Bianchi et al., 2013).

2. Active query models and oracle assumptions

The defining feature of active correlation clustering is that pairwise similarities are unknown a priori and are revealed only through queries. In the basic query-efficient model, an oracle receives a pair $s_{ij}\in\{0,1\}$9 and returns the binary label $y_{ij}\in\{+1,-1\}$0, and the algorithm may issue at most $y_{ij}\in\{+1,-1\}$1 such queries. Adaptive algorithms choose each new query from previous answers; non-adaptive algorithms fix all queries in advance, which enables parallel execution (García-Soriano et al., 2020).

A closely related adaptive model parameterizes the budget by a query-rate function $y_{ij}\in\{+1,-1\}$2, yielding a deterministic query cap $y_{ij}\in\{+1,-1\}$3. In that setting, the aim is again to minimize disagreement under a bounded number of pairwise similarity queries, but the analysis is phrased directly in terms of $y_{ij}\in\{+1,-1\}$4 and the resulting excess error $y_{ij}\in\{+1,-1\}$5, equivalently $y_{ij}\in\{+1,-1\}$6 (Bressan et al., 2019).

Later work broadens the oracle model in two directions. First, real-valued or signed similarities $y_{ij}\in\{+1,-1\}$7 can be queried rather than binary labels, with repeated queries averaged to reduce noise. Second, acquisition functions may select a batch of $y_{ij}\in\{+1,-1\}$8 pairs per iteration rather than a single pair at a time. One paper adopts a non-persistent oracle noise model with parameter $y_{ij}\in\{+1,-1\}$9, under which a query for $\mathcal{P}$0 returns $\mathcal{P}$1 with probability $\mathcal{P}$2, and otherwise a value sampled uniformly from $\mathcal{P}$3 with probability $\mathcal{P}$4; multiple queries per edge are averaged into the current estimate $\mathcal{P}$5 (Aronsson et al., 2024). A related framework uses non-persistent flip-like noise for similarities in $\mathcal{P}$6, with repeated querying and averaging as the default robustness mechanism (Aronsson et al., 2023).

The cold-start regime isolates a specific practical difficulty: no true initial pairwise similarities are available. In that setting, the initial similarity matrix $\mathcal{P}$7 is uninformative, for example all zeros, and uncertainty-only querying may be biased or redundant in early rounds. A warm-start alternative initializes $\mathcal{P}$8 from weak feature-based cluster assignments by setting $\mathcal{P}$9 for same-cluster pairs and $V$0 otherwise, but this prior may help or hurt depending on feature quality (Aronsson et al., 29 Sep 2025).

The signed-network literature uses a different active protocol. The learner sees the graph structure, chooses a query set of edges, receives their labels, and must predict the remaining unqueried edge labels without further feedback. The performance metric is the number of test mistakes relative to the query budget. That formulation is active in the transductive-learning sense, and its guarantees are expressed in terms of $V$1 rather than $V$2 for full correlation clustering on a complete graph (Cesa-Bianchi et al., 2013).

3. Algorithmic paradigms

A major algorithmic lineage is based on pivoting. The full-information baseline is QwickCluster, which repeatedly selects a random pivot and clusters it with its positive neighbors, achieving an expected $V$3-approximation. Query-efficient algorithms emulate this behavior under a limited budget and then terminate early (García-Soriano et al., 2020).

The adaptive query-efficient algorithm QECC proceeds as follows. It maintains a residual set $V$4, chooses a pivot $V$5 uniformly at random from $V$6, queries all pairs $V$7 with $V$8, forms the cluster $V$9, removes $$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$0 from $$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$1, and repeats while enough budget remains to query the whole neighborhood of the next pivot. When the budget is exhausted, all remaining vertices are output as singletons. A non-adaptive variant pre-samples $$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$2 pivots, queries their entire neighborhoods in parallel, then replays QwickCluster using only those pivots; remaining vertices again become singletons. Both variants run in $$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$3 time, and the non-adaptive form stores at most $$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$4 answers (García-Soriano et al., 2020).

The ACC algorithm of the adaptive-similarity-query literature is also a query-thrifty pivot method, but its pivot step is more selective. In each round it samples only $$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$5 pairs incident to the pivot; if any sampled pair is positive, it then queries all remaining pivot-adjacent pairs and forms a KwikCluster-style cluster, while otherwise the pivot becomes a singleton. ACC-ESS adds an early stopping strategy based on estimated residual edge density, stopping and declaring all residual nodes singletons when the residual graph appears too sparse. A separate amplification procedure, ACR, repeats ACC independently and uses min-tagging with majority vote to recover strongly knit sets exactly with high probability under explicit size conditions (Bressan et al., 2019).

A second paradigm decouples query selection from the downstream clustering solver. In the generic active-learning framework for pairwise similarities, each round alternates between solving correlation clustering on the current weighted signed graph and using an acquisition function to rank candidate edges for querying. The framework is solver-agnostic: local search, pivot methods, LP or ILP relaxations, and spectral or greedy solvers can be plugged in. The paper instantiates this with a dynamic-$$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$6 local-search MaxCor solver, repeated-query averaging, and query strategies such as uncertainty sampling, frequency, maxmin, and maxexp (Aronsson et al., 2023).

The maxmin and maxexp strategies are triangle-driven. A “bad triangle” is a triangle with exactly two positive and one negative edge under the current similarity estimates; such a triangle cannot be clustered without at least one disagreement. Maxmin selects

$$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$7

then queries the weakest edge in the most confidently inconsistent triangle. Maxexp replaces the minimum rule by an expected triangle cost under a Boltzmann distribution over the five clusterings of a triangle, controlled by a parameter $$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$8; as $$\text{cost}(\mathcal{P}) \;=\; \sum_{1 \le i < j \le n} \mathbf{1}[s_{ij} = +] \cdot \mathbf{1}[i,j \text{ in different clusters}] \;+\; \mathbf{1}[s_{ij} = -] \cdot \mathbf{1}[i,j \text{ in the same cluster}],$$9, maxexp reduces to maxmin (Aronsson et al., 2023).

A third paradigm uses information-theoretic acquisition. Here the latent clustering is modeled as a random partition under a Gibbs distribution

$$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$0

and acquisition is driven either by edge entropy or by mutual information between an edge relation and the latent partition. For an edge-level random variable $$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$1 indicating “different cluster” versus “same cluster,” entropy acquisition is

$$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$2

where $$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$3. Information gain is

$$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$4

Because exact computation is intractable, the method uses a mean-field factorization $$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$5, optimized by KL minimization, with fixed-point equations

$$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$6

These quantities give tractable approximations for $$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$7, $$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$8, $$\mathrm{OPT} \;=\; \min_{\mathcal{P}} \text{cost}(\mathcal{P}).$$9, and $y_{ij}\in\{+1,-1\}$0 (Aronsson et al., 2024).

Cold-start active correlation clustering modifies this information-theoretic line by introducing coverage-aware regionization. Given the current clustering $y_{ij}\in\{+1,-1\}$1, the edge set is partitioned into within-cluster regions $y_{ij}\in\{+1,-1\}$2 and between-cluster regions $y_{ij}\in\{+1,-1\}$3. For a chosen informativeness matrix $y_{ij}\in\{+1,-1\}$4, region masses $y_{ij}\in\{+1,-1\}$5 are normalized by region sizes $y_{ij}\in\{+1,-1\}$6 to form scores

$y_{ij}\in\{+1,-1\}$7

which determine how many queries to allocate to each region. Within a region, pairs are sampled according to entropy-based uncertainty, optionally implemented with a Gumbel perturbation for batch diversification. This is intended to counteract cold-start selection bias and early redundancy (Aronsson et al., 29 Sep 2025).

In signed networks, active algorithms do not directly optimize a clustering objective after each batch. Instead they query a spanning tree or a circuit cover and infer unqueried edge signs by parity along cycles. The algorithms scccc and cccc cover the graph with small circuits so that the load on any queried edge is controlled; mistakes on test edges are then bounded by the total contribution of $y_{ij}\in\{+1,-1\}$8-edges relative to an optimal two-cluster partition (Cesa-Bianchi et al., 2013).

4. Guarantees, trade-offs, and lower bounds

The central worst-case guarantee for query-efficient pivoting is

$y_{ij}\in\{+1,-1\}$9

This holds for both adaptive QECC and its non-adaptive variant, with running time $L(C)$0. The analysis decomposes the output error into the expected cost of running QwickCluster to completion, which contributes at most $L(C)$1, and the additional disagreements caused by early stopping. A key lemma bounds the number of positive edges missed by the first $L(C)$2 random pivots and their positive neighborhoods by at most $L(C)$3, yielding the additive $L(C)$4 term after substituting $L(C)$5 (García-Soriano et al., 2020).

The ACC and ACC-ESS guarantees have the same scaling. ACC satisfies

$L(C)$6

which is equivalently

$L(C)$7

ACC-ESS improves the constant in the additive term to $L(C)$8 in expectation while allowing instance-dependent query savings on clique unions, where its expected query usage can drop to $L(C)$9 under the stated condition on clique sizes (Bressan et al., 2019).

The matching lower-bound picture is explicit. For any $s_{ij}\in\{+,-\}$00 and any $s_{ij}\in\{+,-\}$01 with $s_{ij}\in\{+,-\}$02, any algorithm that achieves expected cost at most $s_{ij}\in\{+,-\}$03 must use at least

$s_{ij}\in\{+,-\}$04

queries, even adaptively. Consequently, the additive $s_{ij}\in\{+,-\}$05 dependence is optimal up to constants, purely multiplicative guarantees $s_{ij}\in\{+,-\}$06 require $s_{ij}\in\{+,-\}$07 queries in the worst case, and adaptivity does not improve the asymptotic query–error trade-off beyond constants (García-Soriano et al., 2020).

The 2019 results provide a complementary lower-bound characterization. In the general-OPT regime, if $s_{ij}\in\{+,-\}$08, then there exists a labeling for which

$s_{ij}\in\{+,-\}$09

For $s_{ij}\in\{+,-\}$10, any algorithm with budget $s_{ij}\in\{+,-\}$11 up to $s_{ij}\in\{+,-\}$12 must incur expected error at least

$s_{ij}\in\{+,-\}$13

This clarifies that the $s_{ij}\in\{+,-\}$14 upper bounds are near-tight for general $s_{ij}\in\{+,-\}$15, while the zero-noise or perfectly clusterable regime admits a different scaling barrier (Bressan et al., 2019).

Cluster-recovery guarantees are more specialized. For ACC, any $s_{ij}\in\{+,-\}$16-knit subset $s_{ij}\in\{+,-\}$17 admits a cluster $s_{ij}\in\{+,-\}$18 such that

$s_{ij}\in\{+,-\}$19

For strongly $s_{ij}\in\{+,-\}$20-knit sets with $s_{ij}\in\{+,-\}$21 and $s_{ij}\in\{+,-\}$22, ACR with $s_{ij}\in\{+,-\}$23 returns the exact set $s_{ij}\in\{+,-\}$24 with probability at least $s_{ij}\in\{+,-\}$25 (Bressan et al., 2019).

The signed-network active-learning results are expressed as mistake bounds rather than clustering approximations. For cccc,

$s_{ij}\in\{+,-\}$26

These bounds are worst-case over arbitrary signed graphs and depend on the two-cluster regularity measure $s_{ij}\in\{+,-\}$27, not on $s_{ij}\in\{+,-\}$28 over unrestricted partitions (Cesa-Bianchi et al., 2013).

A recurring misconception is that adaptivity is always essential for good query complexity. The query-efficient pivoting literature shows instead that non-adaptive QECC matches the optimal trade-off up to constants, although adaptive schemes can still improve constants or empirical behavior on particular datasets (García-Soriano et al., 2020). A different misconception is that recent entropy- or information-gain-based methods come with comparable formal guarantees; those papers state explicitly that they do not establish query-complexity, submodularity, adaptive monotonicity, or regret bounds in the nonparametric partition model they study (Aronsson et al., 2024, Aronsson et al., 2023, Aronsson et al., 29 Sep 2025).

5. Probabilistic, information-theoretic, and noise-robust formulations

The information-theoretic literature reframes active correlation clustering as posterior uncertainty reduction over partitions. The Gibbs posterior over partitions,

$s_{ij}\in\{+,-\}$29

provides a nonparametric probabilistic model with concentration parameter $s_{ij}\in\{+,-\}$30. The mean-field variational family

$s_{ij}\in\{+,-\}$31

approximates this posterior by minimizing KL divergence, leading to an objective that combines a quadratic similarity term and nodewise entropy. Under $s_{ij}\in\{+,-\}$32, the same-cluster probability of an edge becomes

$s_{ij}\in\{+,-\}$33

which directly induces entropy-based uncertainty scores (Aronsson et al., 2024).

Information gain evaluates the expected reduction in partition entropy from observing an edge. Exact computation would require recomputing the posterior under each possible edge outcome, so the paper proposes an efficient mean-field strategy that reuses the current $s_{ij}\in\{+,-\}$34 and $s_{ij}\in\{+,-\}$35 and applies local adjustments for “clamping” an edge to $s_{ij}\in\{+,-\}$36 or $s_{ij}\in\{+,-\}$37. The resulting acquisition function consistently outperforms entropy, triangle-based heuristics, and uniform querying in the experiments reported there, but at higher computational cost (Aronsson et al., 2024).

The generic active-learning framework for real-valued similarities is motivated by robustness and modularity. It treats the correlation clustering solver $s_{ij}\in\{+,-\}$38 and the query-selection module $s_{ij}\in\{+,-\}$39 as plug-ins, supports hard pairwise signs, real-valued similarities, and multiple queries per pair, and updates edge estimates by averaging all observations: $s_{ij}\in\{+,-\}$40 The framework deliberately avoids propagating inferred transitive constraints, because such propagation is brittle under noise; instead it uses triangle structure only to prioritize queries (Aronsson et al., 2023).

The triangle-based maxexp rule adds a probabilistic layer at the triangle level. For the five clusterings $s_{ij}\in\{+,-\}$41 of a triangle $s_{ij}\in\{+,-\}$42, it defines

$s_{ij}\in\{+,-\}$43

and scores each bad triangle by its expected cost $s_{ij}\in\{+,-\}$44. In the limit $s_{ij}\in\{+,-\}$45, this soft expected-cost ranking collapses to the maxmin rule, while as $s_{ij}\in\{+,-\}$46 it becomes proportional to a weighted sum of edge magnitudes (Aronsson et al., 2023).

The cold-start extension can be interpreted as adding an explicit exploration layer above entropy. The method defines within- and between-cluster regions from the current clustering, computes size-normalized region scores from one of several matrices $s_{ij}\in\{+,-\}$47 such as entropy, CC-cost contribution, frequency, or magnitude uncertainty, and then allocates batch queries proportionally across regions before applying entropy-based sampling within each region. This suggests an “explore-then-exploit” schedule: broad region coverage early, followed by more localized entropy querying once the global structure is less ambiguous (Aronsson et al., 29 Sep 2025).

6. Empirical findings, applications, and limitations

Empirical evaluation in the query-efficient pivoting literature uses synthetic graphs $s_{ij}\in\{+,-\}$48 and real graphs such as Cora, Citeseer, and Mushrooms, with metrics including total disagreement cost, precision of positive edges, recall of positive edges, and number of non-singleton clusters. QECC and the degree-biased heuristic QECC-heur consistently outperform a query-efficient baseline derived from affinity propagation under the same budget. As $s_{ij}\in\{+,-\}$49 increases, cost decreases and recall increases, while precision remains relatively stable. QECC-heur improves recall and often reduces cost at small $s_{ij}\in\{+,-\}$50, whereas non-adaptive QECC remains close to adaptive QECC with only a modest increase in cost and small decreases in recall and precision (García-Soriano et al., 2020).

The ACC study reports a clear empirical query–error trade-off across six datasets. On cora, ACC reaches clustering costs close to KwikCluster using an order of magnitude fewer queries. In the $s_{ij}\in\{+,-\}$51 case, the measured average cost is reported to be $s_{ij}\in\{+,-\}$52–$s_{ij}\in\{+,-\}$53 times lower than the theoretical bound $s_{ij}\in\{+,-\}$54, indicating that the worst-case analysis is conservative on those instances (Bressan et al., 2019).

The generic real-valued framework evaluates synthetic data and datasets such as 20newsgroups, CIFAR10, MNIST, Cardiotocography, Ecoli, Forest Type Mapping, Mushrooms, User Knowledge Modeling, and Yeast. Clustering quality is measured by Adjusted Rand Index and Adjusted Mutual Information, along with runtime and AUC of ARI versus number of queries. Maxexp is reported to yield the fastest and most robust improvements, often reaching $s_{ij}\in\{+,-\}$55 under noise levels $s_{ij}\in\{+,-\}$56 and $s_{ij}\in\{+,-\}$57, while maxmin is strong but sometimes slower, and uncertainty and frequency are consistently weaker. QECC, COBRAS, and nCOBRAS degrade substantially under noise in those experiments (Aronsson et al., 2023).

The information-theoretic study evaluates 20newsgroups, CIFAR10, Cardiotocography, Ecoli, Forest Type Mapping, User Knowledge Modeling, Yeast, and synthetic Gaussian clusters. Across datasets and at noise levels $s_{ij}\in\{+,-\}$58 and $s_{ij}\in\{+,-\}$59, $s_{ij}\in\{+,-\}$60 and $s_{ij}\in\{+,-\}$61 consistently outperform maxexp, maxmin, and uniform querying, with information gain usually best. IMU-C ranks third and is substantially cheaper computationally, while also improving under higher noise. Runtime is governed mainly by the candidate set size $s_{ij}\in\{+,-\}$62 for information gain; $s_{ij}\in\{+,-\}$63 is described as a good trade-off, and $s_{ij}\in\{+,-\}$64 gives lower runtime with modest performance loss (Aronsson et al., 2024).

The cold-start study uses one synthetic dataset and five real datasets—CIFAR-10, 20 Newsgroups, Forest Type Mapping, User Knowledge Modeling, and MNIST—under oracle noise $s_{ij}\in\{+,-\}$65. Its key empirical claim is that coverage-aware methods, especially the Cost-hard variant, reach $s_{ij}\in\{+,-\}$66 faster than entropy-only and other baselines under both zero initialization and weak k-means warm start. Hard region memberships outperform soft mean-field memberships, and switching from coverage-aware allocation to pure entropy after $s_{ij}\in\{+,-\}$67 iterations on the synthetic dataset or $s_{ij}\in\{+,-\}$68 iterations on real datasets is reported to work well (Aronsson et al., 29 Sep 2025).

Several limitations recur across the literature. Query-efficient pivoting guarantees are stated for binary similarities on a complete graph and in expectation rather than with explicit high-probability bounds (García-Soriano et al., 2020). The 2019 recovery guarantees rely on knit or strongly knit structure and do not extend to arbitrary latent-cluster perturbations (Bressan et al., 2019). Information-theoretic and generic real-valued frameworks do not provide formal query-efficiency guarantees and depend on approximate inference, local-search quality, or heuristic batch diversification (Aronsson et al., 2024, Aronsson et al., 2023). Cold-start regionization is heuristic and can be misled when the current clustering is poor, especially under severe noise or class imbalance, although size normalization is intended to mitigate large-region bias (Aronsson et al., 29 Sep 2025).

Taken together, these results establish active correlation clustering as a family of methods for trading query budget against disagreement cost, recovery fidelity, or downstream clustering quality. The field spans worst-case optimal trade-offs of the form $s_{ij}\in\{+,-\}$69, adaptive schemes with recovery guarantees for structured clusters, entropy- and information-gain-driven querying over Gibbs posteriors, noise-robust triangle-based heuristics for real-valued similarities, and exploration-heavy strategies for the cold-start regime (García-Soriano et al., 2020, Bressan et al., 2019, Aronsson et al., 2024, Aronsson et al., 2023, Aronsson et al., 29 Sep 2025).