This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

22institutetext: Jirong Yi, Raghu Mudumbai and Weiyu Xu. 22institutetext: Dept. of ECE, University of Iowa, Iowa City, IA, 52242
22email: [email protected]

Low-Cost and High-Throughput Testing of COVID-19 Viruses and Antibodies via Compressed Sensing: System Concepts and Computational Experiments

Jirong Yi    Raghu Mudumbai    Weiyu Xu
(Received: date / Accepted: date)
Abstract

Coronavirus disease 2019 (COVID-19) is an ongoing pandemic infectious disease outbreak that has significantly harmed and threatened the health and lives of millions or even billions of people. COVID-19 has also negatively impacted the social and economic activities of many countries significantly. With no approved vaccine available at this moment, extensive testing of COVID-19 viruses in people are essential for disease diagnosis, virus spread confinement, contact tracing, and determining right conditions for people to return to normal economic activities. Identifying people who have antibodies for COVID-19 can also help select persons who are suitable for undertaking certain essential activities or returning to workforce. However, the throughputs of current testing technologies for COVID-19 viruses and antibodies are often quite limited, which are not sufficient for dealing with COVID-19 viruses’ anticipated fast oscillating waves of spread affecting a significant portion of the earth’s population.

In this paper, we propose to use compressed sensing (group testing can be seen as a special case of compressed sensing when it is applied to COVID-19 detection) to achieve high-throughput rapid testing of COVID-19 viruses and antibodies, which can potentially provide tens or even more folds of speedup compared with current testing technologies. The proposed compressed sensing system for high-throughput testing can utilize expander graph based compressed sensing matrices developed by us Weiyuexpander2007 .

Keywords:
compressed sensing COVID-19 virus testing antibody testing pooling mixing expander graph sparse graph based sensing matrix

1 Introduction

The ongoing Covid-19 pandemic has already claimed thousands of human lives. In addition, it has also forced a worldwide shutdown of social life and commerce, and the resulting economic depression has caused tremendous suffering for millions of people.

In the absence of a vaccine, the experience of public health authorities in several countries has shown that large-scale shutdowns can only be safely ended if a systematic “test and trace” program singapore_covid19 ; salathe2020covid is put in place to control the spread of the virus. This, in turn, is predicated on the widespread availability of mass diagnostic testing. However, most countries including the US are currently experiencing a scarcity ranney2020critical of various medical resources including tests fair_allocation .

One simple method to increase the effective testing capacity by testing pooled samples of a number of test subjects collectively instead of testing samples from each person individually. This idea of “group testing” goes back many decades dorfman1943 and is based on the following intuition. If the rate of infection in the population is relatively low, statistically, most individual will test negative. With group testing, a single negative test result on a pooled sample immediately shows that all individuals in that pool are infection-free.

This potentially allows us to reduce the total number of tests per subject so the throughput of the existing testing infrastructure is increased hanel2020boosting i.e. a much larger number of people can be tested compared to individual testing while keeping the number of tests the same.

Pooling does have its risks. The additional pre-processing required for preparing the pooled samples could affect the accuracy of the test because of possible degradation or contamination of the RNA. Pooling also requires dilution of the individual samples, and this in turn may increase the chances of a false negative result. However, pooling tests have been successfully used for diagnostic testing for infectious diseases in the past Taylor512 ; arnold_2013 . Preliminary studies on the Covid-19 virus also show that pooling samples Yelin2020 can be effective with existing tests.

The current testing bottlenecks in the Covid-19 crisis has led to a resurgence of interest in using group testing methods for Covid-19 diagnosis. Specifically, there have been recent studies Sinnott-Armstrong2020 ; Shani-Narkiss2020.04.06.20052159 ; poolingStanfordcommunity into adapting pooling methods similar to dorfman1943 for Covid-19 testing. In zhu2020noisy , the authors studied noisy group testing for virus detection.

In this paper, we propose a different approach based on the compressed sensing theory OptimalRecovery Candes05 donoho_compressed_2006 for detection of viruses and antibodies using pooled sample testing. In compressed sensing, the measurement reading is not just a binary reading (‘positive’ or ‘negative’) as in group testing, but instead the measurement reading of compressed sensing can be real-numbered quantification of the quantity of target DNA in the pooled sample. The traditional group testing methods such as dorfman1943 can be thought of as special cases of the more powerful compressed sensing framework proposed in this paper. This is because the measurement reading of group testing is a binary reduction of the real-numbered quantification of compressed sensing. Through compressed sensing, it is possible to test nn persons for viruses by only using O(klog(n))O(k\log(n)) samples, where kk is the number of virus-infected persons. This is a significant reduction compared with testing each individual person, which would require nn testing. This can translate into an increase of test throughput in the order of n/(klog(n))n/(k\log(n)), which can be quite significant if the number of infected people is much smaller than the total population.

Indeed, the real-numbered quantification from compressed sensing can greatly help speed up the testing of viruses and reduce the cost of testing, by taking advantage of the sparsity of virus infections in the population. Compared with conventional group testing (including non-adaptive and adaptive group testing), compressed sensing has the following advantages:
(1) Compressed sensing uses real-numbered quantitative measurement results (quantification of target DNA etc. ) to infer virus infections or antibodies. These measurement readings contain more information about the collected samples than the binary readings of group testing. This will make inference from compressed sensing measurements more robust against noises an outliers in the measurements, and require fewer tests.

(2) Compressed sensing is known to require fewer measurements (or lower sample complexity) to infer virus infections than group testing. The sparsity kk that compressed sensing can handle for successful detection is allowed to grow linearly (proportionally) with nn, while the recoverable sparsity kk is of the order O(n)O(\sqrt{n}) for non-adaptive group testing du1993combinatorial . This will potentially translate higher testing throughput for compressed sensing than group testing.

(3) The inference results from compressed sensing not only reveal which persons test positive or negative, but also reveal a quantitative evaluation of infections for the persons who test positive. For example, it can reveal the viral loads (copies/ml) of persons who test positive. These quantitative results can help achieve better diagnosis and treatment of infected persons, and can also help study infectious power of viruses in different phases of infections.

There are broadly two types of tests for Covid-19: (a) serological tests that look for the presence of antibodies to the virus, or (b) swab tests that look for RNA from the live virus. While antibody tests have certain advantages e.g. can detect infections even after the subject has recovered, the most common tests currently used in the US and recommended by the CDC are swab tests. These tests use the Reverse Transcription Polymerase Chain Reaction (RT-PCR) process to selectively amplify DNA strands produced by viral RNA specific to the Covid-19 virus.

The RT-qPCR process which is considered the gold standard for the detection of mRNA consists of three distinct steps: (1) reverse transcription of RNA into cDNA, (2) selective amplification of a target DNA fragment using the Polymerase Chain Reaction (PCR), and (3) detection of the amplification product. While the simple “end-point” version of PCR only allows binary detection (presence or absence) of a target RNA sequence, the real-time or quantitative version of the PCR process (qPCR) Gibson01101996 also allows the quantification of the RNA i.e. it produces an estimate of the quantity of the RNA material present in the sample nolan2006quantification .

Some researchers Lamb2020 have proposed the Reverse Transcription Loop-Mediated Isothermal Amplification (RT-LAMP) as a potentially cheaper and faster alternative to RT-PCR for swab tests. While we focus on tests based on the RT-qPCR process, the methods proposed in this paper are also compatible with RT-LAMP Schmid-Burgk2020 and other DNA amplification methods.

In this paper, we propose to use compressed sensing to detect viruses and antibodies of COVID-19. Considering the physical and complexity constraints of pooling for compressed sensing, we identify sparse bipartite graph based measurement matrices for compressed sensing applied to this purpose. In particular, we propose to use expander graph based measurement matrices Weiyuexpander2007 for pooling or measurement designs.

As mentioned above, group testing has a long history of being used to detect pathogens, tracing back to World War II, and it has also recently been applied to testing COVID-19 viruses Sinnott-Armstrong2020 ; Shani-Narkiss2020.04.06.20052159 . To the best of our knowledge, this work might be the first to develop compressed sensing techniques for detecting viruses using qPCR and other tools, especially when applied to COVID-19 viruses 111The authors of this paper conceived the idea of performing group testing and compressed sensing for COVID-19 virus detection during the early outbreak in China, and the pandemic status of COVID-19 has motivated us to carry out this research. . On a related but different subject, we note that compressed sensing was proposed in ShentalGenetic2010 to study human genetics, and used to identity people with rare alleles (“allele is one of two or more alternative forms of a gene that arise by mutation and are found at the same place on a chromosome.”).

2 Compressed Sensing for High-Throughput Virus Detection: System Model and Problem Formulation

In this section, we describe the system architecture of using compressed sensing to speed up the testing of COVID-19 viruses or antibodies, including sensing matrix design and decoding algorithm design. We will focus on developing such systems using Polymerase Chain Reaction (PCR) machines, especially real-time PCR (quantitative PCR, qPCR or RT-PCR) machines, to test the viruses, though the concepts and ideas introduced in this paper extend to testing viruses using other technologies or platforms and also to testing antibodies. (We note that in the literature, there are inconsistencies about the meanings of “RT-PCR”, which are used as abbreviations for both reverse transcription PCR and real-time PCR.) We start by introducing some background knowledge on the real-time quantitative PCR PCRHandbook .

Refer to caption
Figure 1: Amplication plots of real-time polymerase chain reaction (PCR) taken from PCRHandbook . According to PCRHandbook , this figure is about “Relative fluorescence vs. cycle number.” “Amplification plots are created when the fluorescent signal from each sample is plotted against cycle number; therefore, amplification plots represent the accumulation of product over the duration of the real-time PCR experiment. The samples used to create the plots in this figure are a dilution series of the target DNA sequence.” PCRHandbook

The polymerase chain reaction (PCR) is one of the most powerful and widely used technologies in molecular biology to detect and quantify specific sequences within a DNA or cDNA template. Using PCR, specific sequences within a DNA or cDNA template can be copied, or “amplified”, to thousands or to a million times using sequence-specific oligonucleotides, heat-stable DNA polymerase, and thermal cycling kralik_basic_2017 . PCR theoretically amplifies DNA exponentially, doubling the number of target molecules with each amplification cycle.

To address the need of robust quantification of DNA, real-time polymerase chain reaction (real-time PCR) was developed based on the polymerase chain reaction (PCR). Real-time PCR is carried out in a thermal cycler (providing temperature conditions for each cycle of reactions), but with the capacity to illuminate each sample with a beam of light and detect the fluorescence emitted by the excited fluorophore PCRHandbook .

In traditional (endpoint) PCR, detection and quantification of the amplified sequence are performed at the end of the reaction after the last PCR cycle. In real-time quantitative PCR, PCR product (the amplified sequences) is measured at each PCR cycle. Namely, Real-time PCR can monitor the amplification of a targeted DNA module in the PCR in real time. By monitoring reactions during the exponential amplification phase of the reaction, users can determine the initial quantity of the target with great precision. The working physical principle of the RT-PCR is that it detects amplification of DNA in real time by the use of fluorescent reporter. The fluorescent reporter signal strength is directly proportional to the number of amplified DNA molecules.

Real-time PCR commonly relies on plotting fluorescence against the number of cycles on a logarithmic scale to perform DNA quantification. During the exponential amplification phase, the quantity of the target DNA template (amplicon) doubles every cycle. A threshold for detection of DNA-based fluorescence is set 3–5 times of the standard deviation of the signal noise above background. The number of cycles at which the fluorescence exceeds the threshold is called the threshold cycle (CtC_{t}) or, quantification cycle (CqC_{q}). One can then use this threshold cycle CtC_{t} to determine the quantity of target DNA in the sample. In ideal cases, if the threshold cycle of a DNA sample AA precedes that of another sample BB by NN cycles, then this DNA sample AA contains 2N2^{N} times more target DNAs than DNA sample BB at the beginning of the reaction. In practice, people often use the standard curve method for real-time PCR to determine the relation between threshold cycle CtC_{t} and target quantity.

2.1 Compressed Sensing System for High-Throughput Rapid Testing

In this subsection, we propose and describe a compressed sensing system to perform high-throughput rapid testing of COVID-19 and antibodies. We remark that this system also applies to testing of other types of viruses or antibodies.

Suppose that we have collected nn samples of nn persons, and we would like to test how many among them have viruses and what quantity of viruses they have. (It is also possible that we can collect more than 1 sample from a person, but for simplicity of presentations, we stick with 1 sample per person.) We use a non-negative vector xnx\in\mathbb{R}^{n} to denote the quantities of COVID-19 viruses in the samples of these nn persons, where xix_{i}, the ii-th element of xx, corresponds to the quantity of target DNA in the sample of the ii-th person, and \mathbb{R} is the set of real numbers. If the ii-th person is not infected or has no COVID-19 virus, xi=0x_{i}=0 or very close to 0; if instead the ii-th person is infected, xi>0x_{i}>0. If there are kk (kk can be small compared with nn) people affected among these nn persons, xx will have kk positive elements, and the rest of its elements are zero. This leads to a sparse xx, and we call such a vector kk-sparse vector, meaning it only has kk nonzero elements. When the vector xx is sparse, compressed sensing theories offer to greatly reduce the number of testings that need to be done to accurately infer xx Candes05 donoho_compressed_2006 . This implies high-throughput, fast and low-cost testing for detecting viruses. The basic idea of compressed sensing is to observe mixed or pooled samples of elements of xx through a wide measurement matrix (as introduced below). Compared with group testing, compressed sensing can correctly infer the real-numbered values of xx (which will be useful for research of different phases of infections, better diagnosis, treatment of infected persons), requires fewer testing to detect positive cases, and is more robust against noisy observations.

We then design mixing matrix EE of dimension m×nm\times n, where mm can be significantly smaller than nn. In fact, mm is the number of tests we will eventually need to run to detect viruses, and often we have mnm\ll n, thus making the tests more efficient and increasing the throughout of the tests. We let each element of EE be either 0 or 11. We denote the element of EE in the ii-th row and jj-th column as Ei,jE_{i,j}:

Ei,j={1if sample j participates in testing i,0otherwise.E_{i,j}=\begin{cases}1&\text{if sample $j$ participates in testing $i$,}\\ 0&\text{otherwise.}\end{cases} (1)

Namely, if Ei,j=1E_{i,j}=1, where 1im1\leq i\leq m and 1jn1\leq j\leq n, (part of) the jj-th person’s biological sample will be mixed with samples from other persons, and we will perform PCR (or other testing technologies) over this mixed sample in the ii-th test. Otherwise, the ii-th test will not involve the jj-th person. The sample of the jj-th person can be involved in multiple testings, the number of which is equal to the number of ’1’s in the jj-th column of EE.

Since a person’s sample is involved in multiple testings, we need to allocate a portion of that person’s sample for each of the involved testings of that person. Thus for each jj, 1jn1\leq j\leq n, we associate the jj-th person’s sample with an ”allocation” vector wjmw_{j}\in\mathbb{R}^{m}, whose elements are nonnegative and wj11\|w_{j}\|_{1}\leq 1 (the summation of wjw_{j}’s elements are no more than 1). For example, if the ii-element of wjw_{j} is 0.2, it means that 20 percent of the sample from the jj person participates in the ii-th testing.

Using wjw_{j}’s, we can form an allocation matrix WW as

W=[w1,w2,,wn].W=[w_{1},w_{2},...,w_{n}].

We define the actual measurement matrix AA of dimension m×nm\times n as

A=EW,A=E\odot W,

where \odot means elementwise multiplication.

Then the generalized compressed sensing testing result vector yny\in\mathbb{R}^{n} is given by

y=f(A×x)+v+e,y=f(A\times x)+v+e,

where each element of yy represents the measurement results of the DNA quantity in a single test (as can be computed by looking at the threshold cycle CtC_{t}’s value), f():mmf(\cdot):\mathbb{R}^{m}\rightarrow\mathbb{R}^{m} is a functional modeling non-linearity and randomness associated with the measurement process, vv is a random noise vector and ee can be a vector containing potential outliers.

As a special case, in an ideal real-time PCR, we can have f(Ax)=Axf(Ax)=Ax. However, this formulation is very general, and can be used to model other types of non-linearity or randomness in testing. For example, for a traditional end-point PCR or if we only use the real-time PCR to see whether viruses exist, the functional f()f(\cdot) can output a vector of ‘true’ or ‘false’ depending on whether the quantity of DNA samples is above a certain significance threshold. In this paper, we focus on the RT-PCR, and assume it is ideal in the sense that the quantity of DNA sample inferred from its readings is f(Ax)=Axf(Ax)=Ax. Compared with group testing, in our compressed sensing systems, the output yy can work with real numbers or other general formats such as the whole amplication plot of qPCR, and can glean more information from each test (or measurement) than binary information. Since compressed sensing can retain more information about the vector xx, in general fewer tests are needed for inferring xx or the support of xx. For example, compressed sensing can only use m=O(klog(nk))m=O(k\log(\frac{n}{k})) tests to fully recover xx, while group testing needs m=O(k2log(nk))m=O(k^{2}log(\frac{n}{k})) tests du1993combinatorial .

2.2 Design of Measurement Matrix AA

To achieve robust and rapid testing, we design the matrix AA in the following ways.

(1) Recall that we have the measurement matrix A=EWA=E\odot W, where EE is the mixing matrix and WW is the allocation matrix. The matrix EE is a 0-1 matrix with ’0’ or ’1’ elements. The number of ’1”s in the matrix EE should be small, thus making matrix EE a sparse matrix. This is because we would like the number of ’1’s in EE to be as small as possible in order to minimize the complexity of mixing samples from different persons, and minimize the probability of mistakes in mixing. For each column of EE, we also consider constraining the number of ‘1”s. This is because we do not want to dilute the quantity of the jj-th person’s sample too much by distributing it to too many tests. If it is distributed to too many tests, the quantity from the jj-th person for each individual test can be too little for going above the detection threshold of the PCR machines.

All these physical constraints and considerations motivate us to propose using sparse bipartite graph measurement matrices for the design of EE and AA. In particular, we propose to use the expander-graph based compressed sensing, which was proposed for general compressed sensing by one author of this paper Weiyuexpander2007 Sina . The expander graph based measurement matrix is a 0-1 matrix derived from expander bipartite graphs. It comes with efficient decoding algorithms and provable performance guarantees for testing. Moreover, the number of ’1’s in each column can be upper bounded for the expander graph based matrices, which complies with the physical constraint that a person’s sample cannot be distributed to too many samples.

(2) We have the freedom of designing the allocation matrix, but, for simplest presentations, in this paper, we can choose the simplest allocation design of evenly dividing the sample into the measurements involved. Namely, AA will be obtained by dividing each column of EE by the total number of ‘1’s in that column. It is entirely possible to use other allocation matrices for better performance or more efficient decoding.

(4) Considering physical and operational constraints, matrix AA cannot be too wide and too tall at the same time.

2.3 Detection (Decoding) algorithms from compressed mixed measurements

From the measurement result yy, one can infer the quantity of DNA sample (or viruses) associated with each person. Due to the extensive developments of compressed sensing Candes05 donoho_compressed_2006 over the last two decades, there are many decoding algorithms to infer xx from yy, such as basis pursuit (1\ell_{1} minimization), LASSO, message passing style algorithms Weiyuexpander2007 Donohomessagepassing , and greedy algorithms such as orthogonal matching pursuits. One can potentially choose any of these algorithms to do the decoding. We also notice that the signal xx is nonnegative, which can be used to boost the efficiency of compressed sensing AminNonnegativeExpander .

However, for detecting viruses or antibodies, we still need to choose or develop fast and robust decoding algorithms in this particular application. The reason is that many of the aforementioned algorithms have performance guarantees or good empirical performance when the dimensions of AA are very large or mm is asymptotically proportional to nn when nn goes to infinity. This is not the case for compressed sensing for virus detection, since we have a measurement matrix of finite and possible very limited sizes. Some of these algorithms can experience severe performance degradation because of size limitations of AA.

Because of the limited sizes of matrix AA, and to reduce the false positive rate and false negative rates of the testing, we can start with the following two algorithms, and the message passing style iterative algorithms for expander graphs Weiyuexpander2007 :

(1) 0\ell_{0} minimization.

This is equivalent to exhaustive search over all the possible sets of kk persons with viruses,and then solve for xx using an overdetermined systems for each of these sets using yy. Formally, if there is no noise in the observation, we are solving

minimizex0\displaystyle\text{minimize}\;\;\|x\|_{0}
subject toy=Ax,\displaystyle\text{subject to}\;\;y=Ax, (2)
x0.\displaystyle\;\;\;\;\;\;~{}~{}~{}~{}~{}~{}~{}~{}~{}~{}x\geq 0. (3)

where x0\|x\|_{0} is the number of non-zero elements in vector xx. The 0\ell_{0} minimization is an NP-hard problem. But the exhaustive search or its modifications might be good choice for this application, since it gives great performance in minimizing false positive rate and false negative rate. Since the problem of size of this application may not be big due to physical constraints, it can be computationally feasible.

(2) 1\ell_{1} minimization.

To reduce the computational complexity, we can often relax (2.3) to its closest convex approximation - the 1\ell_{1} minimization problem:

minimizex1\displaystyle\text{minimize}\;\;\|x\|_{1}
subject toy=Ax,\displaystyle\text{subject to}\;\;y=Ax, (4)
x0,\displaystyle\;\;\;\;\;\;\;~{}~{}~{}~{}~{}~{}~{}~{}~{}x\geq 0, (5)

where x1\|x\|_{1} is the sum of the absolute values of all the elements in xx.

After solving for the vector xx, we can set a threshold τ>0\tau>0 such that if xjτx_{j}\leq\tau, we declare the test is positive for the jj-th person; otherwise, we declare the testing result as negative.

It has been shown that the optimal solution of 0\ell_{0} minimization can be obtained by solving 1\ell_{1} minimization under certain conditions (e.g. Restricted Isometry Property or RIP) Candes05 candes_robust_2006 donoho_compressed_2006 Donoho06 DTCISS06 . A necessary and sufficient condition under which a vector xx with no more than kk nonzero elements can be uniquely obtained via 1\ell_{1} minimization is Null Space Condition (NSC), for example, see devore2 ; PreciseStability11 . While the RIP condition and NSC condition are normally satisfied for large-dimension matrix AA, there are algorithms which can precisely verify the null space condition for small-size problems, which will be especially useful for designing optimal pooling strategies or the compressed sensing matrices for detection of viruses. Juditsky TestingNull ChoTesting .

3 Numerical Experiments

In the experiments, we consider two types of binary pooling matrix: Bernoulli random matrix where each entry of the matrix is ‘0’ with probability 0.5, and is ‘1’ with probability 0.5, and measurement matrix obtained from an expander graph Weiyuexpander2007 where each column has a fixed number of ones. Experimenting with random Bernoulli pooling matrices can show the typical performance of such pooling matrices. In practice, one needs to work with deterministic pooling matrices. To design a deterministic matrices, one can use algorithms in ChoTesting to precisely verify the performance guarantee of a randomly generated matrix for virus testing. After the verification, we can then use it as a deterministic pooling matrix in practice.

For these two types of binary pooling matrix, we consider two different values for the number of people tested, i.e., n=120n=120 and n=60n=60. For each of the two values of length nn, we recover the value of xx with different sparsity (sparsity is the number of people infected in this group of people), i.e., k=3k=3 and k=5k=5. In the experiments, we set random kk entries of the signal of length nn to be random numbers within [5,10][5,10], while the other entries are set to be positive numbers close to 0.

When n=60n=60, for each kk and measurement matrix type, we take different measurements mm=1010,1515,2020,…, and 6060. For each possible mm, we run 100 trials to evaluate the successful recovery rate via solving

minxnx1,s.t.Ax=y,x0,\displaystyle\min_{x\in\mathbb{R}^{n}}\|x\|_{1},{\rm s.t.\ }Ax=y,x\geq 0, (6)

where Am×nA\in\mathbb{R}^{m\times n} is the measurement matrix, xx is the signal to be recovered, and ymy\in\mathbb{R}^{m} is the measurement vector. After a signal is decoded, we use a thresholding technique to identify the persons with viruses. For each trial, we set a threshold τ=0.5\tau=0.5. The signal entry will determined to be ‘positive’ with viruses, if the recovered value is at least τ\tau, and ‘negative’ if it is less than τ\tau. We then calculate the true positive rate (TPR),true negative rate (TNR), false positive rate (FPR), and false negative rate (DNR). We also consider the recovery success rate: if the reconstruction error (the Euclidean distance between the true signal xx and the recovered signal x^\hat{x}) is smaller than 10310^{-3}, we count the recovery as a success. The numerical results are shown in Figure 2 to Figure 5 for Bernoulli measurement matrices. Numerical results are shown in Figures 6 to 9 for expander graph based measurement matrices. As we can see from these figures, n=60n=60, we only need around m=20m=20 tests to achieve very low false negative rates and false positive rates, which means that we can increase the throughput of virus testing by nm3\frac{n}{m}\approx 3 times. For n=120n=120, we also need around m=20m=20 tests to achieve low false negative and false positive rates, which translates to around nm6\frac{n}{m}\approx 6 times increase in test throughput. For k=2k=2 and n=200n=200, when we use expander graph based pooling matrix with 5 ‘1’s in each column, we can already achieve a near zero false positive and false negative rates when m=20m=20. This translates to a 20020\frac{200}{20} folds of speedup in test throughput.

Refer to caption
Figure 2: n=60,k=3n=60,k=3. Binary measurement matrix with entries i.i.d. according to Bernoulli distribution.
Refer to caption
Figure 3: n=60,k=5n=60,k=5. Binary measurement matrix with entries i.i.d. according to Bernoulli distribution.
Refer to caption
Figure 4: n=120,k=3n=120,k=3.Binary measurement matrix with entries i.i.d. according to Bernoulli distribution.
Refer to caption
Figure 5: n=120,k=5n=120,k=5. Binary measurement matrix with entries i.i.d. according to Bernoulli distribution.
Refer to caption
Figure 6: n=60,k=3n=60,k=3. Expander measurement matrix with 5 ’1’s in each column.
Refer to caption
Figure 7: n=60,k=5n=60,k=5. Expander measurement matrix with 5 ’1’s in each column.
Refer to caption
Figure 8: n=120,k=3n=120,k=3. Expander measurement matrix with 5 ’1’s in each column.
Refer to caption
Figure 9: n=120,k=5n=120,k=5. Expander measurement matrix with 5 ’1’s in each column.

We also conduct experiments with noisy measurements, and the signal is recovered from noisy measurements by solving

minxnx1,s.tAxy2ϵ,x0,\displaystyle\min_{x\in\mathbb{R}^{n}}\|x\|_{1},~{}~{}{\rm s.t\ }\|Ax-y\|_{2}\leq\epsilon,x\geq 0, (7)

where ϵ>0\epsilon>0 is a parameter tuned to noise magnitude, and ymy\in\mathbb{R}^{m} is the noisy measurement vector. We follow the same setup as in previous section expect that for each trial of each set of parameter (m,n)(m,n), we add randomly generated noise vector vv with normalized magnitude 10310^{-3} to the measurements, namely y=Ax+vy=Ax+v. For each trial of each set of parameter, we treat the recovery as successful if it achieves a reconstruction error less than 10210^{-2}. The results of the recovery probabilities, false positive rates, and false negative rates are shown in the following figures from Figure 13 to Figure 20. Figure 10 shows the results for k=2k=2 and n=200n=200, demonstrating a possible increase of throughput by 10 times.

We can see that similar increases in testing throughput are also observed as in the noiseless cases. In fact, for a large range of reasonable noise levels, we can observe similar increases in testing throughput with low false positive rates and false negative rates.

Refer to caption
Figure 10: n=200,k=2n=200,k=2. Expander measurement matrix with 5 ’1’s in each column. Noisy measurements.

In another experiment, we numerically evaluate the performance of exhaustive search in detecting viruses. We take n=40n=40 and k=2k=2, and the number of measurements is taken as m=5m=5,66,77,88, 99, and 1010. For each set of (m,n,k)(m,n,k), we run 10 trials. In each trial, the pooling matrix is a Bernoulli random matrix. The measurement result is contaminated with random noise normalized to have a magnitude of 10310^{-3}. A trial is considered to have successful recovery if the recovery error is less than 10210^{-2} in the noisy case. In exhaustive search, since the true signal has sparsity of kk, we will simply perform brute force calculations over all the possible sets of kk infected persons. For each possible such set of cardinality kk, we extract the corresponding columns from the measurement matrix. By doing this, we get an overdetermined system, and solve it via the least squares method. There are totally (nk){n\choose k} possible such sets, which means we need to solve the least square (nk){n\choose k} times for each trial. The results are shown in Figure 11. As we can see, using only 1010 measurements, the false positive rate and false negative rates are very low (in fact 0 in this experiment). That amounts to a factor of 4010=4\frac{40}{10}=4 speedup in throughput of the test.

Refer to caption
Figure 11: Exhaustive search for binary measurement matrix with entries from Bernoulli distribution. The magnitude of the noise vector is set at 10310^{-3}.

We now look at the testing data of COVID-19 viruses from the state of Iowa. The rate of testing positive is around 8.7 percent by early April, meaning among all the tests carried out, 8.7 percent of them came back with a ‘positive’ result. We consider a microplate of 96 wells, and assume that the PCR machine can analyze 96 samples in one operational period. Then we do a computational experiment to answer, “using compressed sensing, for how many people these 96 compressed sensing (pooling) samples can correctly identify all the carriers of viruses present in that group of people?” In this experiment, we fix the number of measurements, namely mm, as 96. Then we vary the number of people nn, and randomly pick 8.7 percent of them (namely k=ceil(0.087n)k=ceil(0.087n), where ceil()ceil(\cdot) is the ceiling function) as virus carriers. We accordingly generate the virus quantity vector xx. We plot the successful recovery rate of xx, the false positive rate and false negative rate as functions of nn in Figure 12. As nn increases, there are more virus carriers, and false positive rates and false negative rates are expected to increase when m=96m=96 is fixed. We observe that for n300n\leq 300, these false positive rates and false negative rates stay very low. This means that, when 8.7 percent of people have viruses, using compressed sensing, the throughput of testing can grow to as much as 300963\frac{300}{96}\approx 3 times. For both Bernoulli random matrices and expander graph based matrices with 7 ‘1’s in one column, we observe similar behaviors. When the percent of people carrying viruses decreases, say to 11 percent, compressed sensing can even increase the throughput by more than 10 times.

Refer to caption
Figure 12: Rates versus Number of People Tested nn. The number of pooling measurement is m=96m=96, and k0.087×nk\approx 0.087\times n persons carry viruses. Binary measurement matrix with entries i.i.d. according to Bernoulli distribution.
Refer to caption
Figure 13: n=60,k=3n=60,k=3. Binary measurement matrix with entries i.i.d. according to Bernoulli distribution. Noisy measurements.
Refer to caption
Figure 14: n=60,k=5n=60,k=5. Binary measurement matrix with entries i.i.d. according to Bernoulli distribution. Noisy measurements.
Refer to caption
Figure 15: n=120,k=3n=120,k=3. Binary measurement matrix with entries i.i.d. according to Bernoulli distribution. Noisy measurements.
Refer to caption
Figure 16: n=120,k=5n=120,k=5. Binary measurement matrix with entries i.i.d. according to Bernoulli distribution. Noisy measurements.
Refer to caption
Figure 17: n=60,k=3n=60,k=3. Expander measurement matrix with 5 ’1’s in each column. Noisy measurements.
Refer to caption
Figure 18: n=60,k=5n=60,k=5. Expander measurement matrix with 5 ’1’s in each column.Noisy measurements.
Refer to caption
Figure 19: n=120,k=3n=120,k=3.Expander measurement matrix with 5 ’1’s in each column. Noisy measurements.
Refer to caption
Figure 20: n=120,k=5n=120,k=5.Expander measurement matrix with 5 ’1’s in each column. Noisy measurements.

4 Discussions

This paper focuses on non-adaptive compressed sensing, which can have the advantange of minimizing the latency in obtaining the test results for tested persons. However, it is totally possible to increase the throughout of testing by using adpative measurements for compressed sensing, as adopted in poolingStanfordcommunity ; Shani-Narkiss2020 for group testing.

References

  • (1) ARNOLD, M.E., SLOMKA, M.J., COWARD, V.J., MAHMOOD, S., RALEIGH, P.J., BROWN, I.H.: Evaluation of the pooling of swabs for real-time pcr detection of low titre shedding of low pathogenicity avian influenza in turkeys. Epidemiology and Infection 141(6), 1286–1297 (2013). DOI 10.1017/S0950268812001811
  • (2) Candes, E.J., Romberg, J., Tao, T.: Robust uncertainty principles: exact signal reconstruction from highly incomplete frequency information. IEEE Transactions on Information Theory 52(2), 489–509 (2006). DOI 10.1109/TIT.2005.862083
  • (3) Candès, E.J., Tao, T.: Decoding by linear programming. IEEE Transactions on Information Theory 51(12), 4203–4215 (2005)
  • (4) Candès, E.J., Tao, T.: Near optimal signal recovery from random projections: Universal encoding strategies? IEEE Trans. Inform. Theory 52(12), 5406–5425 (2006)
  • (5) Cho, M., Mishra, K.V., Xu, W.: Computable performance guarantees for compressed sensing matrices. EURASIP Journal on Advances in Signal Processing 2018 (2018). DOI 10.1186/s13634-018-0535-y
  • (6) Cohen, A., Dahmen, W., DeVore, R.: Compressed sensing and best kk-term approximation. J. Amer. Math. Soc. 22 (2009), 211-231 (2008)
  • (7) Donoho, D.: High-dimensional centrally symmetric polytopes with neighborliness proportional to dimension. Discrete and Computational Geometry 35(4), 617–652 (2006)
  • (8) Donoho, D., Malekib, A., Montanari, A.: Message-passing algorithms for compressed sensing. Proceedings of National Academy of Science (2009)
  • (9) Donoho, D., Tanner, J.: Thresholds for the recovery of sparse solutions via l1 minimization. In: Proceedings of the Conference on Information Sciences and Systems (2006)
  • (10) Donoho, D.L.: Compressed sensing. IEEE Transactions on Information Theory 52(4), 1289–1306 (2006). DOI 10.1109/TIT.2006.871582
  • (11) Dorfman, R.: The detection of defective members of large populations. The Annals of Mathematical Statistics 14(4), 436–440 (1943). URL http://www.jstor.org/stable/2235930
  • (12) Du, D., Hwang, F.: Combinatorial Group Testing and Its Appl. Series on Applied Mathematics Series. World Scientific (1993). URL http://books.google.com/books?id=b-57lhNsjU8C
  • (13) d’Aspremont, A., Ghaoui, L.: Testing the nullspace property using semidefinite programming. Mathematical Programming 127, 123–144 (2011). DOI 10.1007/s10107-010-0416-0
  • (14) Emanuel, E.J., Persad, G., Upshur, R., Thome, B., Parker, M., Glickman, A., Zhang, C., Boyle, C., Smith, M., Phillips, J.P.: Fair allocation of scarce medical resources in the time of covid-19. New England Journal of Medicine 0(0), null (0). DOI 10.1056/NEJMsb2005114. URL https://doi.org/10.1056/NEJMsb2005114
  • (15) Gibson, U.E., Heid, C.A., Williams, P.M.: A novel method for real time quantitative rt-pcr. Genome Research 6(10), 995–1001 (1996). DOI 10.1101/gr.6.10.995. URL http://genome.cshlp.org/content/6/10/995.abstract
  • (16) Hanel, R., Thurner, S.: Boosting test-efficiency by pooled testing strategies for sars-cov-2 (2020)
  • (17) Hogan, C.A., Sahoo, M.K., Pinsky, B.A.: Sample Pooling as a Strategy to Detect Community Transmission of SARS-CoV-2. JAMA (2020). DOI 10.1001/jama.2020.5445. URL https://doi.org/10.1001/jama.2020.5445
  • (18) Jafarpour, S., Xu, W., Hassibi, B., Calderbank, R.: Efficient and robust compressed sensing using high-quality expander graphs. IEEE Transactions on Information Theory (2009)
  • (19) Juditsky, A., Nemirovski, A.: On verifiable sufficient conditions for sparse signal recovery via 1\ell_{1} minimization. Math. Programmng 127, 57–88 (2008). DOI 10.1007/s10107-010-0417-z
  • (20) Khajehnejad, M.A., Dimakis, A.G., Xu, W., Hassibi, B.: Sparse recovery of nonnegative signals with minimal expansion. IEEE Transactions on Signal Processing 59(1), 196–208 (2011)
  • (21) Kralik, P., Ricchi, M.: A basic guide to real time PCR in microbial diagnostics: definitions, parameters, and everything. Frontiers in Microbiology 8, 108 (2017). Publisher: Frontiers
  • (22) Lamb, L.E., Bartolone, S.N., Ward, E., Chancellor, M.B.: Rapid detection of novel coronavirus (covid-19) by reverse transcription-loop-mediated isothermal amplification. medRxiv (2020). DOI 10.1101/2020.02.19.20025155. URL https://www.medrxiv.org/content/early/2020/02/24/2020.02.19.20025155
  • (23) Lee, V.J., Chiew, C.J., Khong, W.X.: Interrupting transmission of COVID-19: lessons from containment efforts in Singapore. Journal of Travel Medicine (2020). DOI 10.1093/jtm/taaa039. URL https://doi.org/10.1093/jtm/taaa039. Taaa039
  • (24) Nolan, T., Hands, R.E., Bustin, S.A.: Quantification of mrna using real-time rt-pcr. Nature protocols 1(3), 1559 (2006)
  • (25) Ranney, M.L., Griffeth, V., Jha, A.K.: Critical supply shortages—the need for ventilators and personal protective equipment during the covid-19 pandemic. New England Journal of Medicine (2020)
  • (26) Salathé, M., Althaus, C.L., Neher, R., Stringhini, S., Hodcroft, E., Fellay, J., Zwahlen, M., Senti, G., Battegay, M., Wilder-Smith, A., et al.: Covid-19 epidemic in switzerland: on the importance of testing, contact tracing and isolation. Swiss medical weekly 150(1112) (2020)
  • (27) Schmid-Burgk, J.L., Li, D., Feldman, D., Slabicki, M., Borrajo, J., Strecker, J., Cleary, B., Regev, A., Zhang, F.: Lamp-seq: Population-scale covid-19 diagnostics using a compressed barcode space. bioRxiv (2020). DOI 10.1101/2020.04.06.025635. URL https://www.biorxiv.org/content/early/2020/04/08/2020.04.06.025635
  • (28) Scientific, T.F.: Real-time PCR handbook. Nueva York, Estados Unidos de América: ThermofisherScientific (2014)
  • (29) Shani-Narkiss, H., Gilday, O.D., Yayon, N., Landau, I.D.: Efficient and practical sample pooling high-throughput pcr diagnosis of covid-19. medRxiv (2020). DOI 10.1101/2020.04.06.20052159. URL https://www.medrxiv.org/content/early/2020/04/07/2020.04.06.20052159
  • (30) Shani-Narkiss, H., Gilday, O.D., Yayon, N., Landau, I.D.: Efficient and practical sample pooling high-throughput pcr diagnosis of covid-19. medRxiv (2020). DOI 10.1101/2020.04.06.20052159. URL https://www.medrxiv.org/content/early/2020/04/07/2020.04.06.20052159
  • (31) Shental, N., Amir, A., Zuk, O.: Identification of rare alleles and their carriers using compressed se(que)nsing. Nucleic Acids Research 38(19), e179–e179 (2010). DOI 10.1093/nar/gkq675. URL https://doi.org/10.1093/nar/gkq675
  • (32) Sinnott-Armstrong, N., Klein, D., Hickey, B.: Evaluation of group testing for sars-cov-2 rna. medRxiv (2020). DOI 10.1101/2020.03.27.20043968. URL https://www.medrxiv.org/content/early/2020/03/30/2020.03.27.20043968
  • (33) Taylor, S.M., Juliano, J.J., Trottman, P.A., Griffin, J.B., Landis, S.H., Kitsa, P., Tshefu, A.K., Meshnick, S.R.: High-throughput pooling and real-time pcr-based strategy for malaria detection. Journal of Clinical Microbiology 48(2), 512–519 (2010). DOI 10.1128/JCM.01800-09. URL https://jcm.asm.org/content/48/2/512
  • (34) Xu, W., Hassibi, B.: Efficient compressive sensing with deterministic guarantees using expander graphs. In: IEEE Information Theory Workshop 2007, pp. 414–419 (2007). DOI 10.1109/ITW.2007.4313110
  • (35) Xu, W., Hassibi, B.: Precise stability phase transitions for 1\ell_{1} minimization: A unified geometric framework. IEEE Transactions on Information Theory 57(10), 6894 –6919 (2011). DOI 10.1109/TIT.2011.2165825
  • (36) Yelin, I., Aharony, N., Shaer-Tamar, E., Argoetti, A., Messer, E., Berenbaum, D., Shafran, E., Kuzli, A., Gandali, N., Hashimshony, T., Mandel-Gutfreund, Y., Halberthal, M., Geffen, Y., Szwarcwort-Cohen, M., Kishony, R.: Evaluation of covid-19 rt-qpcr test in multi-sample pools. medRxiv (2020). DOI 10.1101/2020.03.26.20039438. URL https://www.medrxiv.org/content/early/2020/03/27/2020.03.26.20039438
  • (37) Zhu, J., Rivera, K., Baron, D.: Noisy pooled pcr for virus testing (2020)