arXiv subjects

Olga Scheftelowitsch

Publications and source records attributed to Olga Scheftelowitsch.

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

Inevitability of Polarization in Geometric Opinion Exchange

Polarization and unexpected correlations between opinions on diverse topics (including in politics, culture and consumer choices) are an object of sustained attention. However, numerous theoretical models do not seem to convincingly explain these phenomena. This paper is motivated by a recent line of work, studying models where polarization can be explained in terms of biased assimilation and geometric interplay between opinions on various topics. The agent opinions are represented as unit vectors on a multidimensional sphere and updated according to geometric rules. In contrast to previous work, we focus on the classical opinion exchange setting, where the agents update their opinions in discrete time steps, with a pair of agents interacting randomly at every step. The opinions are updated according to an update rule belonging to a general class. Our findings are twofold. First, polarization appears to be ubiquitous in the class of models we study, requiring only relatively modest assumptions reflecting biased assimilation. Second, there is a qualitative difference between two-dimensional dynamics on the one hand, and three or more dimensions on the other. Accordingly, we prove almost sure polarization for a large class of update rules in two dimensions. Then, we prove polarization in three and more dimensions in more limited cases and try to shed light on central difficulties that are absent in two dimensions.

cs.SI↗

arXiv2024

Noisy Linear Group Testing: Exact Thresholds and Efficient Algorithms

In group testing, the task is to identify defective items by testing groups of them together using as few tests as possible. We consider the setting where each item is defective with a constant probability $α$, independent of all other items. In the (over-)idealized noiseless setting, tests are positive exactly if any of the tested items are defective. We study a more realistic model in which observed test results are subject to noise, i.e., tests can display false positive or false negative results with constant positive probabilities. We determine precise constants $c$ such that $cn\log n$ tests are required to recover the infection status of every individual for both adaptive and non-adaptive group testing: in the former, the selection of groups to test can depend on previously observed test results, whereas it cannot in the latter. Additionally, for both settings, we provide efficient algorithms that identify all defective items with the optimal amount of tests with high probability. Thus, we completely solve the problem of binary noisy group testing in the studied setting.

cs.DM↗

arXiv2024

Bad local minima exist in the stochastic block model

We study the disassortative stochastic block model with three communities, a well-studied model of graph partitioning and Bayesian inference for which detailed predictions based on the cavity method exist [Decelle et al. (2011)]. We provide strong evidence that for a part of the phase where efficient algorithms exist that approximately reconstruct the communities, inference based on maximum a posteriori (MAP) fails. In other words, we show that there exist modes of the posterior distribution that have a vanishing agreement with the ground truth. The proof is based on the analysis of a graph colouring algorithm from [Achlioptas and Moore (2003)].

math.ST↗

arXiv2024

Noisy group testing via spatial coupling

We study the problem of identifying a small set $k\sim n^θ$, $0<θ<1$, of infected individuals within a large population of size $n$ by testing groups of individuals simultaneously. All tests are conducted concurrently. The goal is to minimise the total number of tests required. In this paper we make the (realistic) assumption that tests are noisy, i.e.\ that a group that contains an infected individual may return a negative test result or one that does not contain an infected individual may return a positive test results with a certain probability. The noise need not be symmetric. We develop an algorithm called SPARC that correctly identifies the set of infected individuals up to $o(k)$ errors with high probability with the asymptotically minimum number of tests. Additionally, we develop an algorithm called SPEX that exactly identifies the set of infected individuals w.h.p. with a number of tests that matches the information-theoretic lower bound for the constant column design, a powerful and well-studied test design.

cs.DM↗