arXiv subjects

Connor Riddlesden

Publications and source records attributed to Connor Riddlesden.

5 recordsLinked to original sources

arXiv2026

Algorithms for Threshold Group Testing

We study the Threshold Group Testing (TGT) problem without a gap in the noiseless, non-adaptive setting, where the goal is to exactly recover a sparse binary vector from pooled test outcomes using as few tests as possible. In TGT, a test applied to a subset of items returns a positive outcome if the number of defective items in the subset reaches a prescribed threshold, and a negative outcome otherwise. Under the assumption of an analytic condition, TGT has been shown to undergo a sharp information-theoretic phase transition for exact recovery on the class of constant-column test designs. In this paper, we develop an efficient inference algorithm that achieves exact recovery with high probability using the minimum number of non-adaptive tests that are needed for the constant-column design, thereby matching the information-theoretic threshold of a natural benchmark test design. Our approach is based on a spatially coupled test design and admits a significantly simpler analysis than existing algorithms for related group testing problems. In particular, unlike previous methods for binary group testing, our algorithm does not rely on the analysis of intricate weighted sums. This leads to a more straightforward proof technique, while still allowing near-optimal performance guarantees.

cs.IT↗

arXiv2026

An Information-Theoretic Analysis of Threshold Group Testing

We study the Threshold Group Testing (TGT) problem in the noiseless and non-adaptive setting, where the objective is to exactly recover a sparse binary vector from pooled tests, using as few tests as possible. In TGT, each test applied to a subset of items returns a positive outcome if the number of 1's (defective items) in that subset meets or exceeds a specified threshold, and has a negative outcome otherwise. We investigate how the complexity of TGT compares to that of Classical Group Testing (CGT), corresponding to the special case of the threshold equal to one, and analyse the impact of increasing the threshold on the required number of tests. Our main contribution is the derivation of a sharp information-theoretic phase transition at $c_{\mathrm{inf}}^{\mathrm{TGT}}k\log(n/k)$ (non-adaptive) tests for TGT within the constant-column test design. The threshold constant $c_{\mathrm{inf}}^{\mathrm{TGT}}$ is expressed as a function of the prevalence of defectives and the threshold value. Our upper bound is derived under an analytic assumption, and we verify that this assumption is satisfied for a threshold value of 2. The value of $c_{\mathrm{inf}}^{\mathrm{TGT}}$ reveals that TGT on the constant-column design has the same information-theoretic behaviour as CGT in the low-prevalence regime. Yet, strikingly, at higher prevalences, the threshold leads to a significant reduction in the number of tests. On the other hand, we provide evidence that when the asymptotic proportion of defective items is positive, TGT actually becomes strictly harder than CGT (excluding trivial reductions).

cs.IT↗

arXiv2024

The number of random 2-SAT solutions is asymptotically log-normal

We prove that throughout the satisfiable phase, the logarithm of the number of satisfying assignments of a random 2-SAT formula satisfies a central limit theorem. This implies that the log of the number of satisfying assignments exhibits fluctuations of order $\sqrt n$, with $n$ the number of variables. The formula for the variance can be evaluated effectively. By contrast, for numerous other random constraint satisfaction problems the typical fluctuations of the logarithm of the number of solutions are {\em bounded} throughout all or most of the satisfiable regime.

cs.DM↗

arXiv2023

On a Near-Optimal \& Efficient Algorithm for the Sparse Pooled Data Problem

The pooled data problem asks to identify the unknown labels of a set of items from condensed measurements. More precisely, given $n$ items, assume that each item has a label in $\cbc{0,1,\ldots, d}$, encoded via the ground-truth $\SIGMA$. We call the pooled data problem sparse if the number of non-zero entries of $\SIGMA$ scales as $k \sim n^{\theta}$ for $\theta \in (0,1)$. The information that is revealed about $\SIGMA$ comes from pooled measurements, each indicating how many items of each label are contained in the pool. The most basic question is to design a pooling scheme that uses as few pools as possible, while reconstructing $\SIGMA$ with high probability. Variants of the problem and its combinatorial ramifications have been studied for at least 35 years. However, the study of the modern question of \emph{efficient} inference of the labels has suggested a statistical-to-computational gap of order $\log n$ in the minimum number of pools needed for theoretically possible versus efficient inference. In this article, we resolve the question whether this $\log n$-gap is artificial or of a fundamental nature by the design of an efficient algorithm, called \algoname, based upon a novel pooling scheme on a number of pools very close to the information-theoretic threshold.

math.PR↗

arXiv2023

Combinatorial Approach to ABV-packets for $\mathbf{GL_n}$

There exists a significant conjecture in the local Langlands correspondence that A-packets are ABV-packets. For the case $G=GL_n$, the conjecture reduces to ABV-packets for orbits of Arthur type in $GL_n$ being singletons, which is a specialisation of the wider conjecture known as the Open-Orbit conjecture. In this paper, we will prove the reduced conjecture since there exists a nice combinatorial description. The result first appeared in the associated Master's thesis, however we aim to use a slightly more simplified and succinct approach in this paper using results of Knight and Zelevinskii. We will also prove the partial ordering relation associated to the conjecture for multisegments of ladder type.

math.RT↗