---
title: Quantitative Group Testing (QGT)
url: https://www.emergentmind.com/topics/quantitative-group-testing-qgt
type: topic
---

# Quantitative Group Testing (QGT)

Quantitative Group Testing (QGT) is the group-testing model in which each pooled test returns the exact number of defectives in the tested subset. In its standard linear form, with pooling matrix \(A\in\{0,1\}^{m\times n}\) and defective indicator \(x\in\{0,1\}^n\), the observation vector is \(y=Ax\), so each measurement is an integer count rather than a binary positive/negative label [2006.09074]. The central task is to recover \(x\), or equivalently its support, from \(m\ll n\) pooled tests [2512.07279]. The literature spans adaptive and non-adaptive designs, combinatorial and probabilistic signal models, noiseless and noisy observation channels, and both algorithmic and information-theoretic analyses [2601.11797].

## 1. Formal model and relation to neighboring testing paradigms

A common combinatorial formulation assumes exactly \(k\) defectives, so \(x\in\{0,1\}^n\) with \(\|x\|_0=k\), and the goal is exact support recovery from pooled counts [2006.09074]. Other works adopt a probabilistic sparse prior, for example \(x_j\sim \mathrm{Bernoulli}(K/N)\) independently so that \(\mathbb E[\|x\|_0]=K\), or a linear-prevalence regime in which the empirical defective fraction converges to a constant \(\pi\in(0,1)\) [2512.07279; 2309.15507]. These choices change both the performance criteria and the decoder design: worst-case combinatorial guarantees, average-case high-probability recovery, and thresholded error metrics all coexist in the literature.

Although many QGT papers use binary pooling matrices, the broader adder-channel view also allows non-binary test matrices in which an entry specifies the amount or concentration of a sample placed into a test. In that formulation, QGT is the exact adder model, and semi-quantitative models arise by quantizing the adder output [1210.2484]. This is useful when the physical assay is naturally quantitative but not fully precise.

The sharpest conceptual relation is with Semi-Quantitative Group Testing (SQGT). In the saturation-threshold model, if the exact QGT count in test \(\ell\) is \(y_\ell\), the SQGT output is \(s_\ell=Q(y_\ell)\) with \(Q(y)=\min\{y,\tau-1\}\). Thus SQGT is literally “QGT + output quantization” [2102.04519]. When \(\tau=2\), one recovers classical binary group testing; when \(\tau\) is large enough to distinguish all feasible counts, SQGT essentially becomes QGT [2102.04519]. A related capped-response formulation defines \(F_\alpha(Q\cap K)=\min\{|Q\cap K|,\alpha\}\), interpolating between binary testing at \(\alpha=1\) and full quantitative testing at \(\alpha=k\) [2112.02427].

## 2. Recovery criteria and information-theoretic scales

The most stringent target is exact recovery: given \(A\) and \(y\), output \(\hat x\in\{0,1\}^n\) such that \(\Pr(\hat x\neq x^*)\to 0\) in the asymptotic regime of interest [2601.11797]. In adaptive minimax formulations, the objective is instead to minimize the worst-case number of tests over all defective sets of a given size [1407.2283]. Noisy and adversarial settings often weaken the goal to bounded support error, false positive/false negative control, or exact recovery with vanishing probability of error under a random model [2309.15507; 2101.12653].

For noiseless non-adaptive QGT, one cited benchmark is the information-theoretic order \(\Theta\!\big(\frac{k\log(n/k)}{\log k}\big)\) [2601.11797]. In constructive algorithmic regimes, many explicit schemes operate at \(\Theta\!\big(K\log(N/K)\big)\) tests, which is near-optimal in sparse settings but still above the counting bound by a \(\log K\)-type factor [1901.07635; 1910.06845]. Deterministic capped-quantitative constructions attain
\[
\widetilde O\!\left(\min\left\{\left(\frac{k}{\alpha}\right)^2,\frac{n}{\alpha}\right\}+k\right)
\]
queries, within polylogarithmic factors of a lower bound
\[
\Omega\!\left(\min\left\{\left(\frac{k}{\alpha}\right)^2,\frac{n}{\alpha}\right\}+k\frac{\log(n/k)}{\log\alpha}\right),
\]
and for full QGT, \(\alpha=k\), this becomes \(\widetilde O(k)\) [2112.02427].

Noise substantially changes the scaling. In additive Gaussian QGT with
\[
y=Ax^*+N,\qquad N_i\sim \mathcal N(0,\sigma^2),
\]
the least-squares estimator (LSE) achieves
\[
m = O\!\left(\frac{k\log(n/k)}{\log(1+k/\sigma^2)}\right),
\]
and the converse matches in order [2601.11797]. In the noisy Z-channel model, the LSE achieves
\[
m = O\!\left(\frac{k\log(n/k)}{\log(1+2C_p)}\right),
\]
while the converse remains of order \(k\log(n/k)\) with a \(p\)-dependent constant [2601.11797]. For adversarially perturbed combinatorial QGT with bounded additive noise \(\|n\|_\infty\le d_n\), \(d_n=\Theta(n^\delta)\), and tolerated output error \(k_n=\Theta(n^\kappa)\), the optimal non-adaptive pooling complexity is
\[
\Theta\!\left(\frac{1}{1-2\delta}\frac{n}{\log n}\right)
\]
up to a constant factor independent of \((n,\kappa,\delta)\), in the regime \(0<2\delta\le\kappa<1\) [2101.12653].

## 3. Adaptive and non-adaptive combinatorial methods

In adaptive combinatorial QGT, the classical exact result concerns nested noiseless test plans. For \(n\) items with exactly \(d\) defectives, the optimal nested minimax cost is
\[
N(n,d)=(l+1)d+k-1,
\]
where
\[
l=\left\lceil\log_2(n/d)\right\rceil-1,\qquad
k=\left\lceil n/2^l\right\rceil-d,
\]
and the optimal first split size is
\[
M(n,d)=n-2^l(d+k-1)
\]
for \(d\le n/2\) [1407.2283]. This yields a closed-form recursive strategy: test a subset of size \(M(n,d)\), observe the exact defective count in that subset, and recurse on the two induced subproblems. If the total number of defectives is unknown, the optimal nested plan first tests the entire population, because one quantitative test immediately reveals \(d\) [1407.2283]. For fixed \(d\), the nested optimum is order-optimal among all adaptive plans, with
\[
\lim_{n\to\infty}\frac{N(n,d)}{N^*(n,d)}\le \log_2 d
\]
[1407.2283].

A different non-adaptive viewpoint is the reduction of QGT to the intermediate problem “Subset Select.” Instead of recovering \(x\) directly, one first finds a set \(S\subseteq[n]\) of size \(m\) containing \(\operatorname{supp}(x)\). If the induced square submatrix \(A_S\) is full rank or nearly full rank, then exact recovery reduces to solving
\[
A_S z = y
\]
in polynomial time [2006.09074]. This decomposition separates combinatorial localization from algebraic disambiguation and shows that in random Bernoulli designs, exact support identification is not always the fundamental bottleneck [2006.09074].

A recent adaptive development is learning-based. One approach recursively partitions the \(n\)-dimensional QGT problem into repeated \(k\)-dimensional integer-vector identification tasks and then uses offline reinforcement learning with Decision Transformers to choose adaptive subset-sum queries [2509.01723]. If \(M_i\) is the number of reduced-dimension queries used at stage \(i\), the total number of QGT queries is
\[
\sum_{i=1}^{\log_2(n/k)} M_i + k,
\]
and if \(\mathbb E[M_i]=m\), the average becomes
\[
\log_2\!\left(\frac{n}{k}\right)m + k
\]
[2509.01723]. Empirically, this method matches the adaptive lower bound for \(k=2\) and, for \(k=3,\dots,8\), reduces the average number of queries below the classical non-adaptive information-theoretic bound [2509.01723]. The paper presents this as an experimental breakthrough rather than a theorem-driven one.

## 4. Sparse-graph, LDPC, and coding-theoretic constructions

A major line of QGT research uses sparse graph codes. In one construction, items are left nodes of a bi-regular bipartite graph, each right node corresponds to a bundle of quantitative tests, and each bundle carries a short signature matrix built from a binary \(t\)-error-correcting BCH code [1901.07635]. A right node is \(t\)-resolvable if it contains at most \(t\) defectives; its first test reveals exactly how many defectives it contains, and the BCH syndrome part identifies which local positions are active. A peeling decoder then iteratively removes recovered defectives from neighboring bins. The resulting test complexity is
\[
m = c(t)K\left(t\log_2\left(\frac{\ell N}{c(t)K}+1\right)+1\right)+1,
\]
with exact recovery with probability approaching one in the sub-linear regime \(K/N\to 0\), and for \(t\le 4\) the encoding and decoding complexities are
\[
\mathcal O\!\left(K\log^2\frac{N}{K}\right),\qquad
\mathcal O\!\left(K\log\frac{N}{K}\right)
\]
respectively [1901.07635]. The numerical density-evolution analysis identifies \(t=2\) as the choice minimizing the number of tests [1901.07635].

The irregular sparse-graph extension replaces the regular left degree by an optimized degree profile. With maximum left degree \(d\), average left degree \(\ell\), and a constant \(c(t,d)\) determined by density evolution, the test count becomes
\[
m = c(t,d)K\left(t\log\!\left(\frac{\ell N}{c(t,d)K}+1\right)+1\right),
\]
again with exact recovery of all defectives with probability approaching one [1910.06845]. For \(t\le 4\), the paper states testing and recovery complexities
\[
\mathcal O\!\left(N\log\frac{N}{K}\right),\qquad
\mathcal O\!\left(K\log\frac{N}{K}\right)
\]
and shows that irregular designs outperform both the earlier regular sparse-graph scheme and the contemporaneous method of Gebhard et al. in test count [1910.06845].

LDPC-based QGT reframes the pooling matrix as the parity-check matrix of a sparse Tanner graph. One variant replaces BCH component codes by simple single-parity-check constraints and then applies spatial coupling [2404.11463]. In that model, a check resolves all attached items whenever its residual count is \(0\) or equals its current degree, so the quantitative output itself supplies strong local information. The uncoupled LDPC rate is \(\Omega=v/c\), whereas the earlier GLDPC/BCH design uses
\[
\Omega=\frac{v}{c}\Big(t\lceil\log_2(c+1)\rceil+1\Big)
\]
tests per item [2404.11463]. At fixed \(\Omega=5\%\), the spatially coupled LDPC-QGT thresholds reported in Table III rise from \(0.4555\%\) to \(1.2816\%\), depending on \(v\), and the LDPC-based scheme substantially outperforms the original BCH-based design [2404.11463].

A further extension groups items into bundles of size \(q\) and introduces hidden non-binary variables
\[
z_f\in\{0,1,\dots,q\}
\]
representing the number of defectives within each bundle [2409.19621]. The physical tests remain ordinary QGT tests, but the decoder passes lower and upper bounds on these bundle counts, in a manner inspired by counter braids. At a test rate of \(5\%\), the asymptotic threshold improves from \(0.646\) for the binary baseline \(q=1\) to \(0.746\) for \(q=5\) and \(0.774\) for \(q=10\) in the reported table [2409.19621]. The paper interprets this as evidence that decoder-side non-binary structure can materially strengthen sparse-graph QGT without changing the measurement process itself.

For the binary LDPC-based construction, soft-decision belief propagation also helps. Instead of peeling only on deterministic implications, a sum-product decoder treats each test as an exact cardinality factor
\[
\mathbbm{1}\left\{\sum_{v\in N(c)} b_v = s\right\}
\]
and passes soft probabilities [2501.12167]. In simulation, the misdetection rate is consistently lower than that of peeling; at target \(P_{MD}\approx 10^{-3}\), the reported prevalence gains range from about \(0.02\) to about \(0.17\), with the largest gains at larger blocklengths [2501.12167].

## 5. Statistical inference, AMP, and learned decoders

Beyond combinatorial decoding, QGT admits statistical estimators based on approximate inference. A rigorous Approximate Message Passing (AMP) theory has been developed for pooled-data problems with Bernoulli pooling matrices, with QGT as the two-category special case [2309.15507]. After centering and scaling the Bernoulli design,
\[
\widetilde X_{ij}=\frac{X_{ij}-\alpha}{\sqrt{n\alpha(1-\alpha)}},
\]
the QGT model becomes
\[
\widetilde Y=\widetilde X\beta+\widetilde \Psi,
\]
and AMP state evolution applies despite the non-Gaussian design [2309.15507]. In the large-system linear-prevalence regime, the effective scalar channel for each coordinate is asymptotically Gaussian, and for thresholded AMP the paper derives exact limiting formulas
\[
\mathrm{FPR}\to \mathbb P\!\left[f_K(G_\beta^K)>\zeta\right],\qquad
\mathrm{FNR}\to \mathbb P\!\left[f_K(\mu_\beta^K+G_\beta^K)\le \zeta\right]
\]
[2309.15507]. This supplies a precise operating-curve description rather than only a success/failure threshold.

A complementary line studies explicit estimators under several noise models. For non-adaptive QGT with Bernoulli design and exact sparsity \(k\), one paper analyzes both a correlation-based linear estimator and a combinatorial LSE in the noiseless, additive Gaussian, and noisy Z-channel settings [2601.11797]. In the Gaussian case, the LSE succeeds with
\[
m = O\!\left(\frac{k\log(n/k)}{\log(1+k/\sigma^2)}\right),
\]
and the converse matches in order; the simpler correlation decoder requires
\[
m = O\big((k+\sigma^2)\log n\big)
\]
[2601.11797]. The same paper shows that in the noiseless model the linear decoder succeeds with
\[
m \ge \left(\frac{16}{\ln 3}k + 8 - \frac{8}{\ln 3}\right)\log\!\bigl(k(n-k)\bigr)
\]
tests, which is polynomial-time but not information-theoretically optimal [2601.11797].

Learned inversion has also been explored directly. In a non-adaptive QGT model with sparse bounded integer perturbations,
\[
y=Ax+\eta,
\]
a fully connected neural network can be trained to map measurements to defect indicators [2512.07279]. The most distinctive claim is structural verifiability: the Jacobian of the trained network with respect to the input can be used to recover an estimate \(\hat A\) of the hidden pooling matrix [2512.07279]. Under
\[
N=100,\quad M=35,\quad K=6,\quad D=1,\quad S/N=0.06,\quad T=1000,
\]
moderate architectures recovered the pooling matrix with errors as low as \(0.14\%\), while a Level 5 model achieved \(F_1=0.95\) and success rate \(0.71\) [2512.07279]. The same paper is explicit that these are empirical rather than theorem-backed guarantees.

## 6. Extensions, applications, and neighboring measurement models

QGT is often idealized relative to physical assays. In PCR-based pooled testing, for example, the instrument produces cycle-threshold values rather than exact counts, so semiquantitative models are often a better measurement abstraction [2102.04519]. In that sense, SQGT provides a practically motivated intermediate layer: binary testing is too coarse, exact QGT may be too optimistic, and coarse quantized counts are often the natural compromise [2102.04519].

One qPCR screening study implements this viewpoint through a two-stage adaptive semiquantitative protocol that quantizes \(Ct\) values into three bins using thresholds \(\tau_1,\tau_2\) [2307.16352]. In simulations of \(10{,}000\) individuals at prevalence \(p=0.02\), the reported optimum uses group size \(g=15\) and requires \(1{,}989.8\) tests, compared with Dorfman’s \(g=8\) and \(2{,}623.6\) tests, a reduction of about \(24\%\); the corresponding false negative rates are about \(0.0946\) and \(0.0784\) [2307.16352]. These are SQGT rather than QGT results, but they illustrate how count-valued pooled information is translated into deployable laboratory workflows.

QGT also appears in monitoring and networking. In adaptive combinatorial QGT, heavy-hitter detection maps naturally to testing aggregated flows, where a quantitative test returns the number of heavy hitters in a subset of flows [1407.2283]. The same work reports simulation examples showing orders of magnitude improvement over two prevailing sampling-based approaches in detection accuracy and counter consumption, and explicitly mentions anomaly detection and wideband spectrum sensing in cognitive radio systems as further applications [1407.2283].

Structured priors can further change the role of quantitative information. For a single burst of positives in an ordered population, studied in a semiquantitative model, the minimum number of tests is shown to depend essentially only on the largest threshold \(\eta_s\), and an order-optimal scheme recovers any burst of length \(\ell\) using roughly
\[
\frac{\ell}{2\eta_s}+\log_{s+1}(n)
\]
measurements [2304.01365]. This suggests that when support structure is strong, saturation level can matter more than fine quantization. A plausible implication is that analogous structural priors in QGT can be at least as consequential as improvements in raw count resolution, though the interval result itself is proved in SQGT rather than exact QGT [2304.01365].

Across these developments, QGT occupies a central position: it is the exact-count model from which quantized, saturated, and application-specific variants are derived, and it remains a reference point for both information-theoretic benchmarks and algorithmic design.

Source: https://www.emergentmind.com/topics/quantitative-group-testing-qgt