## Abstract

Antibodies have been shown to hinder the movement of herpes simplex virus virions in cervicovaginal mucus, as well as other viruses in other mucus secretions. However, it has not been possible to directly observe the mechanisms underlying this phenomenon, so the nature of virion–antibody–mucin interactions remain poorly understood. In this work, we analyzed thousands of virion traces from single particle tracking experiments to explicate how antibodies must cooperate to immobilize virions for relatively long time periods. First, using a clustering analysis, we observed a clear separation between two classes of virion behavior: freely diffusing and immobilized. While the proportion of freely diffusing virions decreased with antibody concentration, the magnitude of their diffusivity did not, implying an all-or-nothing dichotomy in the pathwise effect of the antibodies. Proceeding under the assumption that all binding events are reversible, we used a novel switch-point detection method to conclude that there are very few, if any, state switches on the experimental timescale of 20 s. To understand this slow state switching, we analyzed a recently proposed continuous-time Markov chain model for binding kinetics and virion movement. Model analysis implied that virion immobilization requires cooperation by multiple antibodies that are simultaneously bound to the virion and mucin matrix and that there is an entanglement phenomenon that accelerates antibody–mucin binding when a virion is immobilized. In addition to developing a widely applicable framework for analyzing multistate particle behavior, this work substantially enhances our mechanistic understanding of how antibodies can reinforce a mucus barrier against passive invasive species.

## Introduction

There are several mechanisms by which antibodies (Ab) produced by the immune system can interfere with and even prevent viral infection after an invasion. Antibodies have long been known to bind to surface epitopes on invading virions, rendering the pathogen ineffective either by blocking the epitope from binding to receptors on target cells, or signaling to other immune cells/molecules to inactivate the virus or destroy virus-infected cells. Recent experiments have revealed a previously under-appreciated mechanism: physical *hindrance* of virion motion and potentially the complete *immobilization* of virions in mucus secretions that lie on the epithelium (Wang et al. 2014; Newby et al. 2017). Specifically, the presence of virion binding, immunoglobulin G (IgG) antibody, was shown to directly decrease the mobility of the herpes simplex virus (HSV) virions in human cervicovaginal mucus (CVM) (Wang et al. 2014; Schroeder et al. 2018), as well as influenza and Ebola virus-like particles in human airway mucus (Yang et al. 2018). An example of the effect can be seen in Fig. 1, where we display virion trajectories for two populations of HSV virions, originally studied in Wang et al. (2014). The left and right columns show virion movement in the presence of low and high Ab concentrations, respectively. The degree of activity in the low Ab concentration is notably higher.

The possibility of using IgG to hinder the motion of different viruses in mucus provides a novel strategy for immunologists to develop methods to prevent and/or treat viral infection (Newby et al. 2017; Witten and Ribbeck 2017). Population-scale experimental methods have shown that Ab are slightly less mobile in mucus than in phosphate-buffered saline (Olmsted et al. 2001). The reduced diffusivity of Ab in mucus has been attributed to weak transient bonds between individual Ab and the polymeric microstructure of mucus, or “mucin mesh” (Olmsted et al. 2001). Meanwhile, many virions have been shown to diffuse unimpeded in mucus in the absence of a detectable Ab concentration (Olmsted et al. 2001; Wang et al. 2014). For this reason, the observation that virion mobility in CVM is impeded in the presence of Ab (even across the menstrual cycle) implies there must be some physicochemical mechanism at work (Wang et al. 2014; Schroeder et al. 2018).

Recently, the authors and collaborators have explored the possibility that Ab can work in tandem with the mucin mesh to hinder diffusing virions. (See Fig. 2 for an idealized schematic of the interactions.) In theory, as a virion diffuses through mucus, an array of Ab can accumulate on its surface. When a sufficient number of virion-bound Ab form low-affinity bonds to the mucin mesh, the virion can become tethered and essentially trapped. This hypothesis was introduced by Olmsted et al. (2001) and confirmed by Wang et al. (2014), by Newby et al. (2017), and by Schroeder et al. (2018). In 2014, Chen et al. (2014) introduced a stochastic/deterministic hybrid model for the immobilization of human immunodeficiency virus (HIV) by IgG in CVM and demonstrated the potential impact of the tandem effect of Ab–virion binding and Ab–mucus transient binding on the ability of viral populations to cross, enter, and pass through a thin mucosal layer. Later, Wessler et al. (2015) used numerical simulations to explore combinations of Ab–virion and Ab–mucus reaction kinetics that produce an optimal effect. Newby et al. (2017) further demonstrated that very-low-affinity Ab–mucus bonds optimize trapping of diffusing nanoparticles using experimental and simulated data along with providing theoretical arguments.

Underlying these mathematical models is a *Switching Diffusion Hypothesis*: that the chemical reactions responsible for virion (or nanoparticle) immobilization are reversible and, as a consequence, virions should switch between diffusive and immobilized states. When compared to the experimentally observable timescale of 10–20 s, the Ab–mucin kinetic rates are expected to be fast, while the Ab–virion kinetic rates are expected to be slow (see Table 1). It is not clear, however, whether the state switching between diffusion and immobilization should be on a faster or slower timescale than the observable 10–20 s.

In recent modeling efforts, (Chen et al. 2014; Wessler et al. 2015), the effect of surface-bound Ab on the diffusivity of a virion was assumed to be incrementally multiplicative. That is to say, there is a constant \(\alpha \in (0,1)\) such that the diffusivity has the following state-dependent form.

Here *D* is the diffusivity of the virion in mucus in the absence of Ab, *N*(*t*) is the number of virion-bound Ab, and *S*(*t*) is the subset of Ab simultaneously bound to the mucin mesh. This reduction in diffusivity is independent of *S*(*t*) because the number of simultaneously bound Ab changes so rapidly (relative to the number of bound Ab), the virion only feels the average effect of these changes, which is captured by the number of bound Ab, *N*(*t*). The parameter \(\alpha \) can be expressed in terms of the Ab–mucin binding and unbinding rates (\(m_{\text {on}}\) and \(m_{\text {off}}\), respectively) and the effective concentration [*M*] of binding sites on the surfaces of mucin fibers. If \(m_{\text {on}}[M]\) and \(m_{\text {off}}\) are very large, so that there are many on-and-off switches per second, then an effective diffusivity arises with a so-called knockdown factor \(\alpha = m_{\text {off}}/ (m_{\text {on}}[M] + m_{\text {off}})\) (Chen et al. 2014). In this way, we say that the Incremental Knockdown Hypothesis follows from assuming that the dynamics is in a *Fast Switching Regime*. That is to say, in this modeling regime, one assumes that [diffusion \(\rightleftarrows \) immobilization] switching is faster than the times between experimental observations and faster than what we plan to use as a simulation time step. We depict a typical trajectory of a virion under this hypothesis in Fig. 3(a). A virion rapidly changes between the immobilized (red) state and freely diffusing states (green). The resulting path has a reduced *effective diffusivity* that is well approximated by Eq. 1, and the virion exhibits qualitatively less movement than a virion predominately in the freely diffusing state (seen in blue).

Recent particle tracking experiments now make it possible to analyze virion behavior as it is modulated by various concentrations of Ab (Wang et al. 2014). In Fig. 1, we display two populations of HSV virions diffusing in CVM with 0 \(\upmu \text {g}/ \text {mL}\) and 1 \(\upmu \text {g}/ \text {mL}\) concentrations of exogenous HSV-binding IgG. There is qualitatively less virion movement in CVM with higher concentrations of Ab, but, as we argue below using path-by-path analysis, the trajectories of individual virions appear to resemble either that of a strictly immobilized virion or a strictly freely diffusing virion. This absence of observable switches between immobilized and freely diffusing states might seem to ratify the Fast Switching Hypothesis. However, closer analysis of the freely diffusing particles shows that the diffusivity of freely diffusing virions is essentially the same across all exogenous Ab concentrations. This contradicts the Incremental Knockdown Hypothesis, which predicts the diffusivity should decrease with increasing Ab concentration. While there are essentially no observable switches, and the diffusivity of the free population is not incrementally affected by Ab concentration, we find that the proportion of completely immobilized virions is unmistakably increasing with Ab concentration. (See also Wang et al. 2014.) This suggests an alternative hypothesis: we are in a *Slow Switching Regime* where switching takes place fast enough (less than the incubation period of thirty minutes) so that the experiments display different movement patterns, but slow enough (more than 20 s) so that we do not see switches in the observational time window.

In this work, we develop and implement the tools necessary for making the preceding claims. To be specific, we use clustering analysis to partition virion paths into a few distinct behavioral patterns. We implement a Bayesian switch-point detection algorithm to assess the prevalence of switches in mobile virions. We develop a Markov chain model for virion–Ab–mucin interactions for use in our characterization of the dependence of virion motility on Ab concentration. A critical feature of this model is the possibility that virion immobilization requires multiple simultaneously surface-bound Ab and that a single virion–Ab–mucin binding event might lead to a cascade of such binding events, which would serve to enhance trapping. Using uncertainty quantification techniques, we explore the limitations of the available data, but argue there is a reasonable parameter regime that is fully consistent with experimental observations.

## Data Collection, Statistical Methods, and Mathematical Model

### Data Collection

Single particle tracking data of HSV virions were collected from seven different CVM samples at five added doses of exogenously anti-HSV-1 IgG (0, 0.033, 0.1, 0.333, 1.0) \(\upmu \text {g}/ \text {mL}\) with an incubation period of half an hour to one hour. For each sample, the virions were tracked for a duration of 20 s. The *x*-position and the *y*-position of all traces were observed at a time interval of \(\delta =1/15s\) . For all the experiments, the fluorescent viruses tracked were the HSV-1 mutant 166v, containing a VP22-GFP tegument protein that serves as an internal fluorophore. The diffusional motion of the fluorescent virions mixed into fresh human cervicovaginal mucus was visualized using an EMCCD camera (Evolve 512; Photometrics, Tucson, AZ) mounted on an inverted epifluorescence microscope (AxioObserver D1; Zeiss, Thornwood , NY), equipped with an Alpha Plan-Apo 100 *x* /1.46 NA objective, environmental (temperature and CO\(\_2\)) control chamber and an LED light source (Lumencor Light Engine DAPI/GFP/543/623/690). The position time series of virions were recorded using the MetaMorph imaging software resulting in videos (512 \(\times \) 512 pixels, 16-bit image depth) with temporal resolution of 66.7 ms and spatial resolution of 10 nm for 20 s. The *x*, *y* position time series were extracted from recorded videos using MetaMorph software. For a more detailed description of the collection process, see the Methods section in Wang et al. (2014).

### Statistical Tools for Virion Trajectory Analysis

We used standard statistical techniques to assess whether the behavior of each virion is consistent with the defining properties of Brownian motion (stationarity with Gaussian-independent increments) and to infer physical parameters.

#### Test for Gaussianity and Independence of Increments

We used normal quantile–quantile (qqnorm) plots to qualitatively verify that the path statistics are approximately Gaussian. The qqnorm plots for the increment processes had approximately linear relationships for all particles indicating that the *x* and *y* increment processes for all particles could be described as Gaussian. To construct such plots, we used the \(\texttt {qqnorm()}\) function in the R programming language found in the stats library.

Noting that if a Gaussian process has uncorrelated increments then the increments are independent, we tested for independence of increments by quantifying the statistical significance of their correlation. Let \(\{U_i(k) := X_i(k\delta ) - X_i((k-1)\delta )\}_{k=1}^n\) and \(\{V_i(k) := Y_i(k\delta ) - Y_i((k-1)\delta )\}_{k=1}^n\) denote the *i*th particle’s *x* and *y* increment processes, respectively. For the *i*th particle, we estimated the correlation between the *x* and *y* increment processes separated *h* time steps apart using the sample autocorrelation function, \({\mathcal {A}}_i(h; U)\) and \({\mathcal {A}}_i(h; V)\) used in the R programming language. If there are *n* increments of uniform duration \(\delta \), then for a time lag of \(h\delta \)

where \(\overline{U_i} := \frac{1}{n} \sum _{k=1}^n U_i(k)\) (Venables and Ripley 2013). We say the *i*th particle’s increment processes are anti-persistent (persistent) if both \({\mathcal {A}}_i(h = 1; X)\) and \({\mathcal {A}}_i(h = 1; Y)\) are below (above) the critical value for a \(95\%\) significance level and independent otherwise.

#### Mean-Squared Displacement

The primary statistical tool for describing a population of microparticle paths is the so-called *ensemble* mean-squared displacement (MSD), which we denote \(\langle {\mathcal {M}}(t) \rangle \). To calculate it, we first compute a *pathwise* MSD for each trajectory (denoted \({\mathcal {M}}_i(t)\) for the *i*th path) and then take an average over these functions. If there are *n* steps that are uniform of duration \(\delta \), then as defined in Qian et al. (1991),

For *t* between the time points \(\{k \delta \}\), we define \({\mathcal {M}}_i(t)\) by linear interpolation. The slope of the MSD displayed on a log–log scale provides an estimate for each particle’s diffusive exponent, \(\nu \), in the large time regime \(({\mathcal {M}}_i(t) \sim C t^\nu )\). Following standard particle tracking nomenclature, an individual path is said to be Brownian if \(\nu = 1\), subdiffusive if \(\nu \in (0,1)\), and stationary if \(\nu = 0\).

#### Effective Diffusivity

A fundamental quantity to measure for a Brownian path is its *diffusivity**D*. If (*X*(*t*), *Y*(*t*)) is the 2*d* position of the particle at time *t*, then its diffusivity is defined to be \(D := \lim _{t \rightarrow \infty } {\mathbb {E}}(X^2(t)+Y^2(t)) / 4t\). For a Brownian path with *n* steps of uniform duration \(\delta \), the maximum likelihood estimator (MLE) for its diffusivity has the form

shown in Appendix A. We refer to \(D_{\mathrm {eff}}\) as the path’s *effective diffusivity*. We note that this effective diffusivity is only a consistent estimator for *D* if the path has all the characteristics of Brownian motion, namely stationary, independent, Gaussian increments.

However, as seen in Fig. 4(a)–(c) there are many paths with anti-correlated increments. For such a process, “diffusivity” is not well defined. For those paths that can be described by Brownian motion, \(D_{\mathrm {eff}}\) does not account for observational error. Using the method proposed by Vestergaard et al. (2014), we found a typical variance of the localization error to be minor (of order \(0.01\,\upmu \hbox {m}^2/\hbox {s}\)) as compared to the effective diffusivity (of order \( 1 \upmu \hbox {m}^2/\hbox {s}\)) for such virions, see the SI Section 2 for further details and supporting figure. Nevertheless, we use \(D_{\mathrm {eff}}\) as a descriptor for these paths because this serves the purpose to distinguish between the particles in two different states by the clustering methods described below.

For a given collection of *N* particles, the *ensemble effective diffusivity* is the weighted average effective diffusivity of the tracked particles in the sample, denoted \(\langle D_{\text {eff}} \rangle \). When evaluating population statistics in particle tracking experiments, if particle paths are weighted independent of path length, then it has been shown that there is a bias toward highly mobile particles, further discussed in Sect. 2.3.1 (Wang et al. 2015). Based on that analysis, we report the effective diffusivity of an ensemble by taking an average weighted by path lengths. Let \(D_{\mathrm {eff}}^i\) denote the effective diffusivity of *i*th freely diffusing virion, which has path length \(n_i\). Then

#### Bias-Corrected and Accelerated Percentile (\(BC_a\)) Confidence Interval Method

We constructed confidence intervals for ensemble statistics based on the bootstrapping \(BC_a\) method due to its second-order accuracy and invariance under transformations. See Efron and Tibshirani (1994) for the formulation of confidence intervals using this method. We used the boot.ci() function in the R programming language found in the in the boot library to obtain the \(BC_a\) confidence intervals for the ensemble statistics as follows. First, we simulated 10,000 booted samples (with replacement) from an ensemble of *N* tracked particles weighted by the particle path lengths. The \(BC_a\) confidence interval is then the usual confidence interval constructed using this population of (weighted) bootstrap samples.

### Classification Scheme for Virion Paths

For each donor and concentration, we employed a hierarchical clustering algorithm to separate the HSV virions into distinct clusters based on a set of pathwise statistics: *x*-increment ACF, *y*-increment ACF, and \(\log 10\) transform of the effective diffusivity. We defined the dissimilarity measure between pairs of virions *i* and *j* by a weighted Euclidean distance *d*(*i*, *j*) with weights of 1 / 4, 1 / 4, and 1 / 2 for the differences in \({\mathcal {A}}_i(1; X)\), \({\mathcal {A}}_i(1; Y)\), and \(\log 10(D_{\mathrm {eff}})\), respectively. The dissimilarity measure between clusters was set to be the average linkage. That is to say, the dissimilarity between clusters *R* and *Q* is defined to be

Hierarchical clustering is an agglomerative clustering method (Kaufman and Rousseeuw 2009). The algorithm is initialized by setting each data point as a distinct cluster. During each iteration, clusters are merged together to minimize the dissimilarity between all clusters. The algorithm stops when all data points are in a single cluster. This process is depicted graphically through the dendrogram where clusters merge at a height equal to dissimilarity between them. We obtained the *k* cluster by cutting the resulting dendrogram at the uniform height yielding *k* clusters.

Because hierarchical clustering is an unsupervised clustering method, in which the number of clusters is not known *a priori*, the number of clusters has to be chosen by the practitioner. One such method of obtaining the number of clusters is called the elbow method. In this approach, the within-sum-of-squares values of the clusters (WSS) is computed and plotted for a range of cluster numbers. The WSS decreases with the number of clusters, and typically there is a bend or “elbow” in the graph that guides the selection of an appropriate number of clusters.

In all cases, there was a major drop in WSS from one to two clusters, but it was rarely clear how to specify the elbow among \(k = 2, 3,4\) or 5 clusters. We chose to use \(k = 4\) in almost all cases because the results were consistent with our biophysical intuition that there might be Freely Diffusing, Immobilized, Subdiffusive, and Outlier states. A few examples of each class are displayed in Fig. 1 of supplemental materials. Although we allowed for four clusters when labeling each cluster with a biological classification, clusters were typically merged together as the Subdiffusive and Outlier class were few in number.

#### “Frame-by-frame” Method to Compute Empirical Distribution of Each Cluster

It has been shown in Wang et al. (2015) that fast-moving particles are overestimated on shorter timescales in 2d particle tracking. This bias toward the fast-moving particles arises due to individual fast particles leaving and reappearing in the focal plane as distinct traces and to new particles entering and leaving the focal plane throughout the duration of the experiment. To minimize overestimating the freely diffusing population, we employed the “frame-by-frame” method developed in Wang et al. (2015) to compute the fraction of each population present in the data. The “frame-by-frame” method assigns each tracked particle a weight based on the number of frames the particle appears in the field of view, whereas in the conventional method each particle has the uniform weight of one. Under this weighting system, for a sample of size *N*, the weighted sample proportion of the *i*th state is given by

where \(\delta _{ik}\) is the Kronecker delta function.

### Mathematical Model for Asymptotic Probability of Immobilization

We mathematically model the dynamics of a virion under the Switching Diffusion Hypothesis by the following SDE:

where \(\varvec{W}(t)\) is standard 2d Brownian motion and the state-dependent diffusivity, *D*(*N*(*t*), *S*(*t*)), depends on two time-dependent processes: *N*(*t*), the number of antibodies bound to the surface of a focal virion at time *t*, and *S*(*t*), the subset of these antibodies simultaneously bound to mucin binding sites at time *t*. We establish a threshold parameter T. A virion is defined to be *immobilized* if there are at least *T* simultaneously bound antibodies, \(S(t) \ge T,\) and defined to be *freely diffusing* if there are fewer than *T* simultaneously bound antibodies, \(S(t)< T. \) Under this convention, the time-dependent diffusivity is given by

where the constant *D* is the diffusivity of the virion in mucus in the absence of Ab. In the following sections, we present a mathematical model that describes the asymptotic probability of the immobilized state when exposed to varying exogenous antibody concentrations.

#### Model Assumptions

Based on the initial population clustering analysis, there appears to a subpopulation of virions that do not interact with the antibodies. We define *q* to be the probability that a given virion will interact with the Ab population. Second, for the sake of simplicity, we assume that Ab–virion binding sites operate independently from each other. However, we allow for cooperativity among the Ab in binding to the mucosal environment. Once the virion has T simultaneously bound Ab–mucin–virion interactions \((S \ge T)\), the surface-bound antibodies might bind to the mucin fibers differently than if the virion was freely diffusing. We parameterize this by a multiplicative change in Ab–mucin binding rate through the introduction of the dimensionless parameter *c*. If \(c >1\), the parameter has a cascade effect, aiding in the immobilization process (D’Orsogna and Chou 2009; Goychuk et al. 2014; Holcman and Schuss 2014; Matsuda et al. 2014, Newby et al. 2017).

#### A Markov Chain Model for Virion–Ab–Mucin Dynamics

Let \(N_*\) denote the number of independent Ab binding sites on the surface of an HSV virion. Antibodies bind and unbind from these sites at rates \(k_{\text {on}}\) and \(k_{\text {off}},\) respectively, with dissociation constant \(k_{\text {d}}:= k_{\text {off}}/k_{\text {on}}\).

Virion-surface-bound antibodies interact with the surrounding mucosal medium, binding to and unbinding from mucin binding sites, at rates \(m_{\text {on}}\) and \(m_{\text {off}}\), with dissociation constant \(m_{\text {d}}:= m_{\text {off}}/ m_{\text {on}}.\) The total Ab concentration [*A*] is the sum of the exogenous \([A]_{\text {exo}}\) and endogenous \([A]_0\) Ab concentrations, and the total concentration of binding sites on mucin fibers is denoted [*M*]. See Table 1 for a comprehensive list of variables.

We model the Ab–virion interactions using a continuous-time Markov Chain (CTMC) assuming linear state transitions. If a given virion has *n* occupied (Ab-bound) surface binding sites at time *t*, then the CTMC transition rates are given by:

If there are *s* simultaneously bound Ab cross-linking the virion to mucin fibers at time *t* and *n* occupied virion-surface-binding sites, then the conditional Ab–mucin dynamics are modeled by a CTMC with state transition rates

for \(s \le n\), where

The function in Eq. 10 quantifies the impact immobilization has on the rate at which additional antibodies cross-link to the mucin fibers, i.e., the binding cascade effect, and results in a nonlinear transition rate when \(c \ne 1\). We note that the transition \((n,s) \rightarrow (n-1, s-1)\) is omitted from our analysis to facilitate with explicit likelihood calculations. This does not qualitatively affect our results because of the timescale separation between Ab–virion and Ab–mucin kinetics. Since we assume that (conditioned on number of Ab–virion bindings *N*) the stationary distribution of *S* is achieved rapidly, the initial “error” using \(S = s\) instead of \(S = s-1\) after an \(N = n \rightarrow n-1\) transition does not affect long-term dynamics.

We show the impact immobilization threshold, *T*, and the cascade factor, *c*, have on the immobilization process in Fig. 3. Within each frame, it can be seen that a higher immobilization threshold allows for longer freely diffusion periods, while across frames a higher cascade factor leads to longer immobilized periods. In Fig. 3(d)–(f), we simulated realizations of the processes (*N*(*t*), *S*(*t*)) for various combinations of *T* and *c*. The number of bound antibodies, *N*(*t*), is displayed by the purple trajectory, and the number of simultaneously bound Ab with a low immobilization threshold, *S*(*t*) when \(T = 1\), and with a higher immobilization threshold, *S*(*t*) when \(T = 10\), are shown by the green and blue trajectory, respectively. Moving left to right, the factor by which the Ab–mucin binding rate changes after immobilization increases, \(c = 1, 20,\) and 200, respectively. In Fig. 3(a)–(c), we show how these processes dictate the movement of the virion. The virion with process (*N*(*t*), *S*(*t*) when \( T=1)\) is colored in green, while (*N*(*t*), *S*(*t*) when \(T=10)\) is colored in blue. For both trajectories, immobilized periods, \(S(t) \ge T\), are colored in red.

When immobilization does not affect the Ab–mucin binding rate (Fig. 3(d)), the process *S*(*t*) rapidly crosses the immobilization threshold (dashed line) resulting in a virion transitioning between states faster than the experimental time step (as shown in Fig. 3(a)), for both \(T = 1\) and \(T = 10\). By increasing the cascade factor (as shown in Fig. 3(e)–(f)), *S*(*t*) remains above the immobilization threshold, for observable periods. In this case, the simulated virions in Fig. 3(b), (c) change states on the experimental timescale of 20 seconds and longer than 20 s, respectively.

#### Our Approximation for the Stationary Probability of Being Immobilized

We assume that the antibody–virion dynamics are slow compared to the antibody–mucin dynamics. To approximate a virion’s long-term probability of being immobilized, we use a product of two factors. The first is the steady-state distribution for the number of surface-bound Ab, *N*(*t*). Then, we compute the stationary distribution for the number of simultaneously bound Ab, *S*(*t*), conditioned on each value \(N(t) = n\) (where \(n \in \{0, \ldots N_*\}\)).

We introduce the notation *b*(*x*, *n*, *p*) for the binomial probability mass function. That is, if \(X \sim \text {Binom}(n,p)\), then \({\mathbb {P}}\{X=x\} = b(x,n,p)\). Our approximation to the stationary distribution of immobilization can be understood as an average over the transitions of the fast process *S*(*t*). Let \(\sigma \) denote the time a particle spends in the immobilized state, and \(\tau \) the time a particle spends in the freely diffusing state. Then our approximation takes the form

where

The derivation of Eqs. 11 and 12 relies on Markov Chain Theory and Renewal Theory and can be found in Appendix B.

It follows from the law of total expectation and the timescale approximation, the expected time immobilized and expected time freely diffusing are, respectively:

We say that a parameter vector is in the *Slow Switching Regime* if, for all tested exogenous Ab concentrations, the average times spent in the immobilized and diffusing states are more than 20 s. To be precise, we define

### Switch-Point Detection

We develop an algorithm for detecting whether there is a *single* switch from diffusion to immobilization or immobilization to diffusion. The mathematical model presented in Sect. 2.4 (Eq. 7) assumes complete immobilization, but in fact immobilized virions exhibit spatial motion. Bernstein and Fricks (2016) account for this spatial motion by describing the bound state as a diffusing particle trapped in a potential well. Using an expectation–maximization algorithm, they provide an evolving probability for each particle that it is in an immobilized or diffusing state. In contrast to the many-switch paths considered by Bernstein and Fricks, we argue in Sect. 3.1.2 that the virion paths in our data set have at most one or two switches. We therefore developed and implemented a Bayesian algorithm that is designed to identify the presence of a single switch point.

To derive a likelihood function, we extend our SDE model Eq. 7 to include a path-specific trapping potential well, similar to Bernstein and Fricks (2016). Our extended model for a [diffusion \(\rightarrow \) immobilization] switch is

and for [immobilization \(\rightarrow \) diffusion], we have

where \({\mathbf {X}}(t) = (X(t), Y(t))^T\) and \({\mathbf {W}}(t)\) is 2d Brownian Motion. These SDEs are derived from the Langevin equation for particles diffusing in a quadratic (Hookean spring) potential well. The constant \({\tilde{\kappa }}= \kappa / \gamma \) where \(\kappa \) is the spring constant and \(\gamma \) is the viscous drag experienced by the particle. Due to the fluctuation–dissipation relationship, \(\gamma \) also appears in the diffusivity constant, which has the form \(D = k_B {\mathcal {T}} / \gamma \), where \(k_B\) is Boltzmann’s constant and \({\mathcal {T}}\) is the temperature of the fluid. To obtain an analytically trackable likelihood function, we introduce simplifying assumptions that (1) the switch occurs exactly at an observation time point, and (2) there is no measurement error. We derive the likelihood function in Appendix C.

We take a Bayesian approach to jointly estimate *D*, \({\tilde{\kappa }}\), and \(\tau \) under both switching scenarios using a Gibbs sampling algorithm. If the \(95\%\) credible region for \(\tau \) is completely contained within the interval [0.1\({T}_{\text {final}}\), 0.9\({T}_{\text {final}}\)] where \({T}_{\text {final}}\) is the duration of a path, then we say that path is a candidate for switching. For both switching scenarios, we estimated a false discovery rate for this criterion by simulating freely diffusing particles and setting the false discovery rate to the percent of simulated Brownian particles that were labeled as candidates for switching for the given switching model, as shown in Eqs. 16 or 15. Similarly, we estimated the power of criterion through simulation. For both scenarios, we simulated particles that switched states once and set the power to the fraction of paths that were candidates for switching. See Sect. 5 for more details on how these tests were constructed, and the results are presented in Sect. 3.1.2.

### Uncertainty Quantification

The model given by Eq. 11 depends on the parameter vector \( \varvec{}{\theta } = (T, c, N_*, q, [A]_0, k_{\text {d}}, m_{\text {off}}, \alpha ).\) In specifying the model to HSV-IgG data (Sect. 2.1) we set \(k_{\text {d}}= 0.8969\) (McKinley et al. 2014) and \(\alpha = 0.90\) (Olmsted et al. 2001). The Ab–mucin binding and unbinding rates have not been directly estimated. We assume they are fast compared to the experimental timescale and, for example, set \(m_{\text {off}}= 100s^{-1}\). To assess the remaining parameters, \( \varvec{}{\theta } = (T, c, N_*, q, [A]_0)\)—which are the immobilization threshold value, the binding cascade factor, the number of sites on the surface of virions, the virion–Ab interaction probability, and the endogenous Ab concentration—we employed the numerical method of profile likelihoods (Eisenberg and Hayashi 2014; Raue et al. 2009). We used the numerically obtained relationships among parameters to obtain conditions on \(\varvec{}{\theta }\) such that the Switching Diffusion Hypothesis (in the Slow Switching Regime) is consistent with the data.

In order to quantify the model’s error in predicting the immobilized fraction, for each donor *i*, we partitioned the paths according to exogenous Ab concentration \(\{[A]_j\}_{j=1}^5\) and introduced the following residual function:

where \({\widetilde{\pi }}([A]_j; \varvec{}{\theta })\) denotes the model evaluated at \([A]_j\) with parameters \(\varvec{}{\theta }\) (as defined in Eq. 11), while \(N_{ij}\) and \({\hat{p}}_{ij}\) are, respectively, the number of paths observed and the fraction that are immobilized in the *j*th subpopulation associated with donor *i*. Assuming a normal approximation to the binomial distribution, our residual function can be seen as the sum of five independent squared normal random variables, i.e., with a \(\chi ^2\)-distribution with 5 degrees of freedom.

#### Numerical Method of Profile Likelihoods to Deduce Parameter Identifiability

Because we assume normal approximation to the binomial distribution, working with a residual function is equivalent to using a likelihood function to define confidence intervals (Press et al. 1996; Raue et al. 2009). For ease of notation in this section, we will suppress the dependence on *i* when considering the residual function \(\chi ^2(\varvec{}{\theta })\) for donor *i*.

To discuss identifiability of our model parameters, we use the nomenclature introduced by Raue et al. (2009). Our minimum residual estimator is defined to be \({\widehat{\theta }} := \text {argmin}[\chi ^2(\varvec{}\theta )]\). The *likelihood-based confidence region of level*\(\alpha \) for \(\varvec{}\theta \) is then defined to be

where \(\chi ^2(\alpha , df)\) is the \(\alpha \) quantile of the \(\chi ^2\) distribution with *df* degrees of freedom. When establishing a confidence interval for one of the parameters, we set \(df = 1\). When establish a confidence region for multiple parameters, we set *df* equal to the number of parameters (Press et al. 1996).

A parameter \(\theta _k\) is said to be *structurally identifiable* when there is a unique minimum of \(\chi ^2(\varvec{}{\theta })\) with respect \(\theta _k\), i.e., if there exists a unique \(\theta _k\) such that

Alternatively, \(\theta _k\) can be unidentifiable due to the structure of the model or because the quality and quantity of the data are insufficient in estimating \(\theta _k.\) For the former case, we say \(\theta _k\) is *structurally unidentifiable* if the set

is not unique and contains at least two elements whose \(\theta _k\) components are distinct. This often occurs when there is a functional relationship \(\phi \) among \(\theta _k\) and at least one other parameter, say \(\theta _j\) such that \(\chi \) can be expressed directly in terms of \(\phi (\theta _k,\theta _j)\). As for the latter, data-restricted type of unidentifiability, we say \(\theta _k\) is *practically unidentifiable* when a unique minimum exists of \(\chi ^2(\varvec{}{\theta })\) with respect to \(\theta _k\), but the likelihood-based confidence interval for \(\varvec{}{\theta }\) extends infinitely in increasing and/or decreasing values of \(\theta _k.\)

These definitions can be interpreted graphically using profile likelihoods. For residual function \(\chi ^2(\varvec{}{\theta })\), the *profile likelihood* of the *k*-th parameter defined to be

If \(\theta _k\) is a structurally identifiable parameter, then \(\chi _{\text {PL}}^2(\theta _k)\) exceeds the threshold \(\varDelta _{\alpha }\) for both increasing and decreasing values of \(\theta _k\) forming a deep valley around \({{\widehat{\theta }}}_k\). If \(\theta _k\) is structurally unidentifiable, the profile likelihood is flat. Lastly, if \(\theta _k\) is practically unidentifiable, \(\chi _{\text {PL}}^2(\theta _k)\) obtains a unique minimum but does not exceed \(\varDelta _{\alpha }\) in increasing and/or decreasing values of \(\theta _k,\) forming a shallow valley around \({{\widehat{\theta }}}_k.\)

We further investigate unidentifiable combinations of parameters by extending Eq. 19 to profile parameter \(\theta _j\) and \(\theta _k\) simultaneously,

Structural relationships between the two profile parameters manifest as flat valleys extending infinitely along the functional relationship in the contour plots of \(\chi ^2_{\text {PL}}(\theta _j, \theta _k )\). We note this flat valley only traces out the functional relationship \(\theta _j\) and \(\theta _k\) when the dimension of the parameter space is larger than 2.

## Results

### Data Do Not Support the Incremental Knockdown Hypothesis for a 20 s Time Frame

#### No Evidence of Fast Switching: Ensemble Effective Diffusivities of the Free Subpopulation are the *Same* Regardless of Exogenous Ab Concentration

For each donor/Ab–concentration combination, the associated sample of virions contained a clear division among the tracked particles’ MSD and ACF behavior. We used the classification scheme described in Sect. 2.3 to label each tracked virion as Immobilized, Freely Diffusing, Subdiffusive or Outlier. The Immobilized class was characterized by low effective diffusivity (\(< 10^{-1}\,\upmu \text {m}^2/\text {s}\)) and either anti-persistent or uncorrelated increment processes. Meanwhile, the Freely Diffusing class had uncorrelated increment processes and effective diffusivities larger than \(0.2\,\upmu \text {m}^2/\text {s}\). The Subdiffusive and Outlier classifications were rare and did not appear in all samples. For this reason, we removed these categories from the analysis but give a description of them in the SI. In Fig. 4(a)–(c), we display the results of the classification for Donor F08 at 0, 0.1, and 1 \(\upmu \text {g}/ \text {mL}\) added anti-HSV IgG in terms of \(D_{\mathrm {eff}}\) and the average of the *x*- and *y*-ACF, as defined in Sects. 2.2.3 and 2.2.1, respectively. The clear separation of groups and locations of the clusters were qualitatively similar for the other donors (further figures included in supplementary materials).

The pathwise MSDs for Donor F08 virions are displayed in Fig. 4(d)–(f), and we note the similarity of the Freely Diffusing category of virions across all three panels. The Incremental Knockdown Hypothesis would predict that freely diffusing virions would be “slower and slower” in the presence of more and more Ab. However, we found that the diffusivities of the Freely Diffusing classes are consistent across all exogenous Ab concentrations. In Fig. 5, we display this fact in two ways. In the left panel, we display the ensemble MSD averaged over the Freely Diffusing (green triangles) and Immobilized (red x’s) populations for each Ab concentration. There is remarkable overlap within each group. Moreover, in the right panel, we display the ensemble effective diffusivity for the Freely Diffusing class at the various exogenous Ab concentrations for all donors. While there is variation in the effective diffusivity, the overlapping \(BC_a\) confidence intervals indicate there is insufficient evidence to conclude the effective diffusivity decreases with antibody concentration. (We provide \(95\%\) weighted bootstrap confidence intervals for each estimate in Fig. 13 of supplementary material )

We can express this finding in terms of a statistical test by comparing the weighted ensemble effective diffusivity for the freely diffusing subpopulation at the two extreme Ab concentrations. We used a one-tailed paired difference hypothesis test:

for \([A]_1 = 0.0 \upmu \text {g}/ \text {mL}\) and \([A]_5 = 1.0 \upmu \text {g}/ \text {mL}.\) At an \(\alpha = 0.05\) level of significance, we failed to find significant evidence that the ensemble effective diffusivity of the freely diffusing population decreased when exogenous Ab concentration increased from zero exogenous Ab to the highest concentration \((t_{6} = 0.2567,\)*p* value\( = 0.4030 )\). We report the results of paired difference tests for all other combinations of the tested exogenous Ab concentration in Table 10 of supplementary materials.

#### Little Evidence of Switching on the Experimental Timescale

We found little evidence that virions switch between states on the experimental timescale of 20 s. If tracked particles were typically experiencing many subtle switches, we expect that their computed effective diffusivities would be diminished by a factor determined by the time spent immobilized. Moreover, because there are distinct behavioral regimes, the distribution of the increment processes is essentially a mixture of two Gaussian distributions (one for the Immobilized state and one for the Freely Diffusing state). This would manifest itself as a violation of linearity in qqnorm plots, which we do not see for the vast majority of HSV virion paths.

While the qqnorm test can identify paths that might experience switches, they do not affirm the presence of a switch. To this end, we developed a Bayesian method for identifying whether there is a single switch point in a given virion path, described in Sect. 2.5. We say a path of duration \({T}_{\text {final}}\) is a candidate for switching if the \(95\%\) credible region for \(\tau \) was completely contained within the interval [0.1\({T}_{\text {final}}\), 0.9\({T}_{\text {final}}\)]. The method was very effective on simulated data. When we applied the method to simulated Brownian motion (Freely Diffusing), we found a 0.0119 and 0.0080 False Discovery Rate of [diffusion \(\rightarrow \) immobilization] switches and [immobilization \(\rightarrow \) diffusion] switches, respectively. On the other hand, 96.38% of the simulated [diffusion \(\rightarrow \) immobilization] paths were correctly identified as [diffusion \(\rightarrow \) immobilization] switches, while 94.37% of the simulated [immobilization \(\rightarrow \) diffusion] paths were identified as [immobilization \(\rightarrow \) diffusion] switches (Table 2). Under this method, we found that 1.12\(\%\) of the Freely Diffusing class (1689 total tracked virions) were identified as [diffusion \(\rightarrow \) immobilization] switch candidates and 1.24\(\%\) of the free populations were [immobilization \(\rightarrow \) diffusion] switch candidates. We therefore concluded that state switches occurred relatively rarely on the experimental time scale.

#### Fraction Immobilized Increases with Exogenous Antibody Concentration

While Ab concentration did not seem to affect the behavior of virions labeled Freely Diffusing, it did have a significant effect on the fraction of virions that were placed in this class. This is consistent with the findings reported in Wang et al. (2014). We computed the Immobilized fraction for each Donor/Ab–concentration sample using the method discussed in Sect. 2.3.1 and displayed the results in Fig. 6, where each curve in the panel (b) corresponds to a different donor. While there is heterogeneity in the fraction of Immobilized virions across donors, there is a visible overall increase in proportion immobilized from 0 to \(1 \ \upmu \text {g}/ \text {mL}\). This qualitative assessment is supported by statistical evidence provided by non-overlapping \(BC_a\) confidence intervals between the extreme exogenous Ab concentrations given in Fig. 12 of supplementary materials.

For each donor, the fraction of Immobilized virions increased with Ab concentration in the 0–0.333 \(\upmu \text {g}/ \text {mL}\) range and seemed to be saturated at higher Ab concentrations. We tested the significance of this observed trend by fitting a negative exponential growth model with predictors: exogenous antibody concentration and individual effect terms relative to Donor F08. Let \(\chi _k\) be the indicator function that a virion in the *k*th donor sample is in the immobilized state. Our negative exponential growth model takes the form

where \(\alpha _k\) and \(\beta _k\) are the effect terms for the *k*-th donor. We found the exogenous antibody concentration (\(\alpha _{\text {exo}} = 15.920\), *p* value\( < 0.001\)), the growth rate due to the baseline donor (\(\alpha _0 = -0.8427\), *p* value \(=\) 0.0043), and baseline saturation probability (\(\beta _0 = 0.9138\), *p* value\( <0.0001\)) were statistically significant in predicting the immobilization probability, whereas the constants accounting for deviations from the baseline due to donor sample were not significant. The model was fit using the R command *nls*() with the minimization algorithm set to Gauss–Newton’s method.

### The Simple Linear Model Predicts Fast Switching

The results from Sect. 3.1 provide evidence against the hypothesis that switching between the diffusing and immobilized states is fast relative to the experimental timescale. Our next goal was to determine whether there is a parameter regime that predicts slow switching while simultaneously being consistent with the exogenous Ab-dependent Immobilization data displayed in Fig. 6. This analysis depends strongly on two assumptions: (1) whether one virion-bound Ab is sufficient to cross-link the virion to mucin and (2) whether Ab–mucin binding rates increase when the virion is immobilized, the so-called cascade effect. We introduced two variables—*T*, the threshold number, and *c*, the cascade factor—in our general model to account for these possible effects. In recent works, it has been assumed either that \(T=c=1\) (Chen et al. 2014; Newby et al. 2017) or that \(T=1\) and \(c>1\) (Wessler et al. 2015). We refer to \(T=c=1\) as the simple linear model (SLM) because all the CTMC transition rates are linear. By computing the expected durations of the immobilized and diffusing states (Eq. 13, derivation in Appendix B.2), we were able to show that the data are not consistent with the SLM, or any case where \(T=1\).

We say a model is *consistent* with the observed data for a specified donor if there exists a parameter vector \(\varvec{}{\theta }\) that is within the 95% confidence region for the Immobilized Fraction data (denoted \(\varTheta _{\alpha , df}\), defined in Eq. 18) and also predicts expected state times larger than 20 s (denoted \(\varTheta _{\text {slow}}\), defined in Eq. 14). In Fig. 7, we demonstrate that the SLM is not consistent with the data for Donor F08. In the left panel, we show a 2d profile likelihood plot for the endogenous Ab concentration \([A]_0\) and number of virion-surface-binding sites \(N_*\). For each \(([A]_0,N_*)\) pair, we calculated the best fit for the remaining parameter *q*, the virion–Ab interaction probability, and displayed the residual value by the shading (darker means better fits). The black region represents the 95% confidence region for these two parameters. We uniformly sampled this confidence region, \(\varTheta _{0.05, 3}\), and displayed the predicted Immobilized Fraction curves for these parameter samples in panel (b) and the Ab–concentration-dependent expected state durations in panel (c). We note that all parameter combinations in \(\varTheta _{0.05, 3}\) had diffusing states that lasted less than 0.1 s for all values of \([A]_{\text {exo}}\). We repeated this analysis for all donors and in each case found that \(\varTheta _{0.05, 3}\cap \varTheta _{\text {slow}}= \emptyset \).

### Threshold and Binding Cascade Parameters Allow Slow Switching

By allowing the immobilization process to require multiple cross-linking antibodies, \(T > 1\), and for the Ab–mucin dynamics to be state dependent, \(c \ne 1\), we found both that (1) the subset of parameters that lead to slow switching is non-empty (\(\varTheta _{\text {slow}}\ne \emptyset \)) and (2) there is an overlap between slow-switching parameters and parameters that fit the Immobilized Fraction data well (\(\varTheta _{0.05, 5}\cap \varTheta _{\text {slow}}\ne \emptyset \)). For example, in Fig. 7 panels (d)–(f) we demonstrate this fact assuming \(T = 19\) for Donor F08. The 2*d* profile likelihood plot in panel (d) shows an inverse relationship between \(N_*\) and the cascade factor *c*. Again the black region corresponds to all \((c,N_*)\) pairs that appear in \(\varTheta _{0.05, 5}\). For a uniform sample of such pairs, in panel (e) we display the Immobilized Fraction predictions, and in panel (f) the corresponding expected immobilization and diffusion state durations. Only a small subset of \(\varTheta _{0.05, 5}\) allows for slow switches. We mark this subset in blue in all three panels. Notably, conditioned on \(T=19\), we have that \(N_*\le 120\), which is somewhat smaller than the typical estimate for \(N_*\). In the next section, we note that assuming higher values for *T* leads to higher allowable values for \(N_*\). This type of result holds for all donors: for sufficiently high assumed *T*, the corresponding parameters sets \(\varTheta _{0.05, 5}\) and \(\varTheta _{\text {slow}}\) overlap.

By testing over a range of \(\varvec{}{\theta }= (T,c, N_*, [A]_0)\), we uncovered some relationships among the components of the parameter vectors \(\varvec{}{\theta }\) that yield slow switching \(\varTheta _{\text {slow}}\). We first investigated the relationship between *T* and *c* by fixing \(N_*\) and \([A]_0\). Noting that \(\mathbb {E}_{\theta }(\tau )\) is independent of *c* and \(\mathbb {E}_{\theta }(\sigma )\) is an increasing function in *c*, we calculated the minimal *c* required to satisfy the slow-switching condition, labeling this value \(c_{\text {min}}\). Though we could not obtain an explicit relationship between T and \(c_{\text {min}}\), we found that virions with a large immobilization threshold *T* can only satisfy the slow-switching condition if there is a corresponding large cascade effect, large \(c_{\min }\). To visualize this, in Fig. 8(a) we display the parameter combinations of \((T, c, N_*= 300, [A]_0= 0.1)\) that yield \(\mathbb {E}_{\theta }(\tau )> 20\) (green) and \(\mathbb {E}_{\theta }(\sigma ) > 20\) (red) for all exogenous antibody concentrations between 0 and \(1 \upmu \text {g}/ \text {mL}\). The overlapping region (blue points) corresponds to \(\theta \in \varTheta _{\text {slow}}\), and the combinations of interest \((T,c_{\text {min}})\) are shown in black.

We draw the conclusion that if \(N_*= 300\), then *T* must be at least 34 and *c* must be at least 63. If we increase the assumption about \(N_*\) while keeping \([A]_0\) fixed, then we found that the minimal allowable *T* and *c* for slow switching increase and decrease, respectively. We demonstrate this relationship in Fig. 8(b). For \([A]_0= 0.1 \upmu \text {g}/ \text {mL}\), the orange (circles) curve corresponds to the minimal *T* value (left *y*-axis) for the given \(N_*\) (*x*-axis) required such that \(\varvec{}{\theta } \in \varTheta _{\text {slow}}\) where \([A]_0= 0.1 \upmu \text {g}/ \text {mL}\). The brown (triangles) curve denotes the minimal *c* value (right *y* axis) required for the given \(N_*\), minimal *T*, and \([A]_0= 0.1 \upmu \text {g}/ \text {mL}\) to result in expected state times longer than 20 s.

### Model with Threshold and Binding Cascade Parameter is Unidentifiable

As implied by the results in the preceding section, we found that the introduction of \(T > 1\) and \(c \ne 1\) resulted in issues with identifiability. That is to say, it appears that the confidence region \(\varTheta _{0.05, 5}\) is infinite even when restricted to the subspace \(\varTheta _{0.05, 5}\cap \varTheta _{\text {slow}}\). We use the Immobilized Fraction data for Donor F08 to demonstrate this fact but provide information for each Donor in supplementary materials. Throughout this section, we will use the terminology defined in Sect. 2.6.

Over the full parameter space \(\varTheta \), the 1d profile likelihoods revealed that all three of the parameters *T*, *c*, and \(N_*\) are practically unidentifiable over the range we tested. The profile likelihoods are displayed in black in Fig. 9(a)–(c). When we profiled the parameters *T*, *c*, and \(N_*\) restricted to the Slow Switching Regime, \(\varTheta _{0.05, 5}\cap \varTheta _{\text {slow}}\), we found *T* is still practically unidentifiable over the range \(T \ge 19\), while *c* is practically unidentifiable a large range of positive values. The number of binding sites \(N_*\) does seem to be identifiable, with a deep valley centered around the unique minimum at approximately \(N_*= 120\). These profile likelihoods are represented in blue in Fig. 9(a)–(c). The dashed lines correspond to the 95% CI boundaries for each parameter. Since the blue curves are below the confidence interval, we can say that there exist parameter combinations in the Slow Switching Regime that reasonably fit the Immobilized Fraction data in Fig. 9(e).

## Discussion

We have developed mathematical models and statistical methods to analyze the behavior of HSV virions diffusing in CVM in the presence of various concentrations of cross-linking Ab. With a few exceptions, we found that particle paths can be partitioned into two basic categories: Freely Diffusing and Immobilized. While the fraction of Immobilized virions increases with Ab concentration, we found that the mobility of the Freely Diffusing class is not Ab–concentration dependent.

Because we expect all the individual bonds to be reversible, virions should switch between the Freely Diffusing and Immobilized states. Previously, it had been hypothesized that such switches are rapid with respect to the experimental timescale, but our analysis contradicts that assumption. This raises the question of whether or not it is possible for the basic kinetic model to produce “slow-switching” paths where switches occur on a timescale much larger than the experimental time window. We found that this is possible if the model allows for a lower bound on the number of Ab necessary to immobilize a virion and assuming a “cascade effect” in Ab–mucin binding that encourages entanglement.

Introducing these extra features leads to a fundamental issue with unidentifiability in the statistical analysis. We can make claims like “the minimum number of antibodies needed to immobilize a virion must be greater than 20 or so”, but we cannot be more specific. In order to do so, we would need to have access to time series that are much longer than what is currently experimentally feasible.

While we have shown that it is possible for reversible kinetics to be consistent with the path data, it might also be possible to explain the data with a model that assume all binding events are irreversible. Unfortunately the available data cannot distinguish between the two models. One possible resolution is to conduct experiments that explicitly control for the time between the introduction of Ab to the virion population and the observation of virion trajectories. Based on our model, in which we assume the immobilization process is reversible prior to the system reaching stationarity, switching should be more common when the number of antibodies bound to surface epitopes is low. Therefore, starting the tracking immediately enhances the probability of observing state switches before any long-lasting immobilization events occur.

On the other hand, observing virions at different time points long after Ab introduction will help determine whether or not the system reaches a stationary distribution. If so, there should be substantial information in analyzing how (or if) that stationary distribution depends on the Ab concentration, and the rate at which that stationary distribution is achieved.

From a biological point of view, this uncertainty about the true timescale of state switching prevents conclusive answers for the type of model presented by Chen et al. (2014). Namely, in order to characterize the percentage of virions that can pass through a mucosal layer within two hours, we must know whether state switching takes place on the order of minutes, days or longer. The analysis in this work simply served to eliminate the possibility of switching on a timescale of milliseconds or seconds, which was the standing assumption.

The statistical methods and mathematical model introduced here apply to a broad class of biological systems that are composed of distinct subpopulations. Our classification scheme based on path-by-path analysis detects subpopulation dynamics that can be masked when considering only overall ensemble behavior. Clustering and then analyzing subpopulation ensemble statistics provide insight on the way the proportion and dynamics of these subpopulation change in response to the environmental factors. The model proposed in Sect. 2.4 can be modified to describe the general scenario when nanoparticles work to entrap a diffusing pathogen by anchoring the pathogen to the surrounding environment.

## References

Bernstein J, Fricks J (2016) Analysis of single particle diffusion with transient binding using particle filtering. J Theor Biol 401:109–121

Chen A, McKinley SA, Wang S, Shi F, Mucha PJ, Forest MG, Lai SK (2014) Transient antibody-mucin interactions produce a dynamic molecular shield against viral invasion. Biophys J 106(9):2028–2036

D’Orsogna MR, Chou T (2009) Optimal cytoplasmic transport in viral infections. PLoS ONE 4(12):e8165

Efron B, Tibshirani RJ (1994) An introduction to the bootstrap. CRC Press, Boca Raton

Eisenberg MC, Hayashi MA (2014) Determining identifiable parameter combinations using subset profiling. Math Biosci 256:116–126

Goychuk I, Kharchenko VO, Metzler R (2014) How molecular motors work in the crowded environment of living cells: coexistence and efficiency of normal and anomalous transport. PLoS ONE 9(3):e91700

Holcman D, Schuss Z (2014) Time scale of diffusion in molecular and cellular biology. J Phys A: Math Theor 47(17):173001

Kaufman L, Rousseeuw PJ (2009) Finding groups in data: an introduction to cluster analysis, vol 344. Wiley, Hoboken

Matsuda H, Putzel GG, Backman V, Szleifer I (2014) Macromolecular crowding as a regulator of gene transcription. Biophys J 106(8):1801–1810

McKinley SA, Chen A, Shi F, Wang S, Mucha PJ, Forest MG, Lai SK (2014) Modeling neutralization kinetics of hiv by broadly neutralizing monoclonal antibodies in genital secretions coating the cervicovaginal mucosa. PLoS ONE 9(6):e100598

Newby J, Schiller JL, Wessler T, Edelstein J, Forest MG, Lai SK (2017) A blueprint for robust crosslinking of mobile species in biogels with weakly adhesive molecular anchors. Nat Commun 8(1):833

Norris JR (1998) Markov chains, vol 2. Cambridge University Press, Cambridge

Olmsted SS, Padgett JL, Yudin AI, Whaley KJ, Moench TR, Cone RA (2001) Diffusion of macromolecules and virus-like particles in human cervical mucus. Biophys J 81(4):1930–1937

Press WH, Teukolsky SA, Vetterling WT, Flannery BP (1996) Numerical recipes in Fortran 90, vol 2. Cambridge University Press, Cambridge

Qian H, Sheetz MP, Elson EL (1991) Single particle tracking analysis of diffusion and flow in two-dimensional systems. Biophys J 60(4):910–921

Raue A, Kreutz C, Maiwald T, Bachmann J, Schilling M, Klingmüller U, Timmer J (2009) Structural and practical identifiability analysis of partially observed dynamical models by exploiting the profile likelihood. Bioinformatics 25(15):1923–1929

Schroeder HA, Nunn KL, Schaefer A, Henry CE, Lam F, Pauly MH, Whaley KJ, Zeitlin L, Humphrys MS, Ravel J et al (2018) Herpes simplex virus-binding IgG traps HSV in human cervicovaginal mucus across the menstrual cycle and diverse vaginal microbial composition. Mucosal Immunol 11(5):1477

Venables WN, Ripley BD (2013) Modern applied statistics with S-PLUS. Springer, Berlin

Vestergaard CL, Blainey PC, Flyvbjerg H (2014) Optimal estimation of diffusion coefficients from single-particle trajectories. Phys Rev E 89(2):022726

Wang YY, Kannan A, Nunn KL, Murphy MA, Subramani DB, Moench T, Cone R, Lai SK (2014) IgG in cervicovaginal mucus traps HSV and prevents vaginal herpes infections. Mucosal Immunol 7(5):1036–1044

Wang YY, Nunn KL, Harit D, McKinley SA, Lai SK (2015) Minimizing biases associated with tracking analysis of submicron particles in heterogeneous biological fluids. J Controll Release 220:37–43

Wessler T, Chen A, McKinley SA, Cone R, Forest MG, Lai SK (2015) Using computational modeling to optimize the design of antibodies that trap viruses in mucus. ACS Infect Dis 2(1):82–92

Witten J, Ribbeck K (2017) The particle in the spider’s web: transport through biological hydrogels. Nanoscale 9(24):8080–8095

Yang B, Schaefer A, Wang YY, McCallen J, Lee P, Newby JM, Arora H, Kumar PA, Zeitlin L, Whaley KJ et al (2018) Zmapp reinforces the airway mucosal barrier against ebola virus. J Infect Dis 218:901–910

## Acknowledgements

The authors would like to thank Jay Newby, John Fricks, and Michelle Lacey for the helpful conversations that contributed to the development of this work.

## Author information

### Affiliations

### Corresponding author

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

NIH R01GM122082-01, NSF DMS-1462992, DMS 1664645, DMS-1517274, CAREER Award DMR-1151477, The David and Lucile Packard Foundation (2013–39274, S.K.L.), Eshelman Institute of Innovation.

## Electronic supplementary material

Below is the link to the electronic supplementary material.

## Appendices

### A Derivation of the MLE for D

From the defining properties of Brownian motion, the likelihood function of 2d Brownian motion defined by \(\mathrm {d}{\mathbf {X}}(t) = \sqrt{2 D} \mathrm {d}{\mathbf {W}}(t)\) has form

In terms of the increment process, \(U(k \delta )\) and \(V(k \delta )\), the \(\log \)likelihood is

Solving the likelihood equation \(\frac{\text {d}}{\text {d} D} \ell (D) = 0\), the ML estimator for *D* is given by

### B Mathematical Model in Sect. 2.4

We arrive at our approximation to the probability of immobilization Eq. 11 presented in Sect. 2.4 by averaging over the transitions of the number of antibodies simultaneously bound to the virion, *S*(*t*). To do this, we consider a simplified model in which the Ab–mucin binding rate is the same for both an immobilized virion and freely diffusing virion. That is the function defined in Eq. 10 is constant, \(g(s)\equiv c\). In this case, let \(S(t)|_{n,c}\) denote the Markov chain with transition rates:

First, we derive the stationary distribution for the number of bound antibodies, *N*(*t*), and the conditional number of simultaneously bound antibodies assuming \(g(s) \equiv c \), \(S(t)|_{n,c}\). Then we compute the expected duration of the Immobilized state and the Freely Diffusing state of a virion from those quantities assuming \(g(s)\equiv c\). Finally, we obtain Eq. 11 using the results of the previous two steps.

### B.1 Stationary Distribution of the Two Processes *N*(*t*) and \(S(t)|_{{n;c}}\)

We model the two processes *N*(*t*) and \(S(t)|_{n;c}\) as CTMC with transition rates given by Eqs. 8 and 26, respectively. Because they are irreducible Markov chains with a finite state space, there exists a unique stationary distribution, and convergence is exponential. Under the assumption that the Ab binding sites on the surface of a virion operate independently, the process *N*(*t*) follows a binomial distribution with \(N_*\) trials and a time-dependent success probability. Evoking a classical result from Renewal Theory, the steady-state success probability is given by the long-run fraction of being in the bound state, so that

By assuming \(g(s)\equiv c\), each antibody bound to the virion interacts with the mucin fibers independently, so that \(S(t)|_{n;c}\) is a binomial random variable with *n* trials and time-dependent success probability. It follows from the same reasoning as above, that

is the unique stationary distribution.

### B. 2 Expected Duration of the Freely Diffusing and Immobilized States

We derive the expected duration of the the Freely Diffusing state and Immobilized states of a virion by considering the simplified model when the number of simultaneous bound antibodies has transition rates as given in Eq. 26.

We introduce the following notations \(\tau _{T;c}\) and \(\sigma _{T;c}\) to denote the time the process \(S_{n;c}\) spends in the freely diffusing state and immobilized state, respectively. The expected duration of the Freely Diffusing state is simply the expected hitting time of state *T*, given \({S}_{n; c}\) starts with \(T-1\) simultaneously bound antibodies. By solving a system of linear equations for the vector of expecting hitting times of state *T*, see Norris (1998), yields

Similarly, the expected duration of the Immobilized state is the expected hitting time of state \(T-1\) given \({S}_{n; c}\) starts in state *T*. By solving a system of linear equations for the vector of expecting hitting times of state \(T-1\),

We observe that the transition rates of a Freely Diffusing virion are the same as a virion modeled by the simplified transition rates given by Eq. 26, specifically for \(c = 1\). The transition rates of an immobilized virion are the same as a virion modeled by the simplified transition rates as given in Eq. 26. Hence, the following equalities hold

Explicitly, the duration of the Freely Diffusing state and the Immobilized state of a virion are given by

respectively.

### B.3 Asymptotic Probability of Number of Bound Antibodies

We are now ready to derive our timescale approximation of the asymptotic probability of immobilization function (Eq. 11). By conditioning on the slow process, the antibody–virion dynamics,

An application in Renewal Theory leads to the stationary probability of immobilization for the conditional process *S*(*t*) of the form

Plugging in the results from Appendix B.1 and B.2 gives Eq. 11.

### C Derivation of Likelihoods

We derive the likelihood of Eqs. 15 and 16 from the exact solution of the SDEs under the assumptions that the switch point, \(\tau \), occurs at a time measurement, and the true 2d position of the particle is \({\mathbf {X}}(t) =(X(t),Y(t)).\) We denote the time measurement \(t_k = k \delta \) for \(k = 1, \dots n\), where \(t_0 = 0\) and \(t_n = T\), and \({\mathbf {X}}(t_k) = {\mathbf {X}}_k.\)

For the [diffusion \(\rightarrow \) immobilization] model, when \(t > \tau \) the SDE is linear with additive noise. Hence, a conditional exact solution can be expressed using Duhamel’s formula,

It follows immediately from the definition of Brownian motion and from an application of Ito’s isometry,

where \(\rho = e^{-{\tilde{\kappa }}\delta }\). Because the solutions to SDEs satisfy the Markov property,

The likelihood equation for the [immobilization \(\rightarrow \) diffusion] switching model derivation is similar to that [diffusion \(\rightarrow \) immobilization] switching model, but now we assume the immobilized particle is centered around the origin. Under the same reasoning as above

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Jensen, M.A., Wang, YY., Lai, S.K. *et al.* Antibody-Mediated Immobilization of Virions in Mucus.
*Bull Math Biol* **81, **4069–4099 (2019). https://doi.org/10.1007/s11538-019-00653-6

Received:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s11538-019-00653-6

### Keywords

- Mucosal immunology
- Particle tracking
- Switching diffusion
- Uncertainty quantification

### Mathematics Subject Classification

- 92B05
- 62-07
- 60J70