Biosensor Architectures for High-Fidelity Reporting of Cellular Signaling

Understanding mechanisms of information processing in cellular signaling networks requires quantitative measurements of protein activities in living cells. Biosensors are molecular probes that have been developed to directly track the activity of specific signaling proteins and their use is revolutionizing our understanding of signal transduction. The use of biosensors relies on the assumption that their activity is linearly proportional to the activity of the signaling protein they have been engineered to track. We use mechanistic mathematical models of common biosensor architectures (single-chain FRET-based biosensors), which include both intramolecular and intermolecular reactions, to study the validity of the linearity assumption. As a result of the classic mechanism of zero-order ultrasensitivity, we find that biosensor activity can be highly nonlinear so that small changes in signaling protein activity can give rise to large changes in biosensor activity and vice versa. This nonlinearity is abolished in architectures that favor the formation of biosensor oligomers, but oligomeric biosensors produce complicated FRET states. Based on this finding, we show that high-fidelity reporting is possible when a single-chain intermolecular biosensor is used that cannot undergo intramolecular reactions and is restricted to forming dimers. We provide phase diagrams that compare various trade-offs, including observer effects, which further highlight the utility of biosensor architectures that favor intermolecular over intramolecular binding. We discuss challenges in calibrating and constructing biosensors and highlight the utility of mathematical models in designing novel probes for cellular signaling

Systems model of T cell receptor proximal signaling reveals emergent ultrasensitivity

Receptor phosphorylation is thought to be tightly regulated because phosphorylated receptors initiate signaling cascades leading to cellular activation. The T cell antigen receptor (TCR) on the surface of T cells is phosphorylated by the kinase Lck and dephosphorylated by the phosphatase CD45 on multiple immunoreceptor tyrosine-based activation motifs (ITAMs). Intriguingly, Lck sequentially phosphorylates ITAMs and ZAP-70, a cytosolic kinase, binds to phosphorylated ITAMs with differential affinities. The purpose of multiple ITAMs, their sequential phosphorylation, and the differential ZAP-70 affinities are unknown. Here, we use a systems model to show that this signaling architecture produces emergent ultrasensitivity resulting in switch-like responses at the scale of individual TCRs. Importantly, this switch-like response is an emergent property, so that removal of multiple ITAMs, sequential phosphorylation, or differential affinities abolishes the switch. We propose that highly regulated TCR phosphorylation is achieved by an emergent switch-like response and use the systems model to design novel chimeric antigen receptors for therapy

Funeral Programs-Book 1 (I-L)

https://digitalcommons.buffalostate.edu/aafp/1002/thumbnail.jp

Effects of Intracellular Calcium and Actin Cytoskeleton on TCR Mobility Measured by Fluorescence Recovery

Background: The activation of T lymphocytes by specific antigen is accompanied by the formation of a specialized signaling region termed the immunological synapse, characterized by the clustering and segregation of surface molecules and, in particular, by T cell receptor (TCR) clustering. Methodology/Principal Findings: To better understand TCR motion during cellular activation, we used confocal microscopy and photo-bleaching recovery techniques to investigate the lateral mobility of TCR on the surface of human T lymphocytes under various pharmacological treatments. Using drugs that cause an increase in intracellular calcium, we observed a decrease in TCR mobility that was dependent on a functional actin cytoskeleton. In parallel experiments measurement of filamentous actin by FACS analysis showed that raising intracellular calcium also causes increased polymerization of the actin cytoskeleton. These in vitro results were analyzed using a mathematical model that revealed effective binding parameters between TCR and the actin cytoskeleton. Conclusion/Significance: We propose, based on our results, that increase in intracellular calcium levels leads to actin polymerization and increases TCR/cytoskeleton interactions that reduce the overall mobility of the TCR. In a physiological setting, this may contribute to TCR re-positioning at the immunological synapse

Syntactic Markovian Bisimulation for Chemical Reaction Networks

In chemical reaction networks (CRNs) with stochastic semantics based on continuous-time Markov chains (CTMCs), the typically large populations of species cause combinatorially large state spaces. This makes the analysis very difficult in practice and represents the major bottleneck for the applicability of minimization techniques based, for instance, on lumpability. In this paper we present syntactic Markovian bisimulation (SMB), a notion of bisimulation developed in the Larsen-Skou style of probabilistic bisimulation, defined over the structure of a CRN rather than over its underlying CTMC. SMB identifies a lumpable partition of the CTMC state space a priori, in the sense that it is an equivalence relation over species implying that two CTMC states are lumpable when they are invariant with respect to the total population of species within the same equivalence class. We develop an efficient partition-refinement algorithm which computes the largest SMB of a CRN in polynomial time in the number of species and reactions. We also provide an algorithm for obtaining a quotient network from an SMB that induces the lumped CTMC directly, thus avoiding the generation of the state space of the original CRN altogether. In practice, we show that SMB allows significant reductions in a number of models from the literature. Finally, we study SMB with respect to the deterministic semantics of CRNs based on ordinary differential equations (ODEs), where each equation gives the time-course evolution of the concentration of a species. SMB implies forward CRN bisimulation, a recently developed behavioral notion of equivalence for the ODE semantics, in an analogous sense: it yields a smaller ODE system that keeps track of the sums of the solutions for equivalent species.Comment: Extended version (with proofs), of the corresponding paper published at KimFest 2017 (http://kimfest.cs.aau.dk/

A Role for Rebinding in Rapid and Reliable T Cell Responses to Antigen

Experimental work has shown that T cells of the immune system rapidly and specifically respond to antigenic molecules presented on the surface of antigen-presenting-cells and are able to discriminate between potential stimuli based on the kinetic parameters of the T cell receptor-antigen bond. These antigenic molecules are presented among thousands of chemically similar endogenous peptides, raising the question of how T cells can reliably make a decision to respond to certain antigens but not others within minutes of encountering an antigen presenting cell. In this theoretical study, we investigate the role of localized rebinding between a T cell receptor and an antigen. We show that by allowing the signaling state of individual receptors to persist during brief unbinding events, T cells are able to discriminate antigens based on both their unbinding and rebinding rates. We demonstrate that T cell receptor coreceptors, but not receptor clustering, are important in promoting localized rebinding, and show that requiring rebinding for productive signaling reduces signals from a high concentration of endogenous pMHC. In developing our main results, we use a relatively simple model based on kinetic proofreading. However, we additionally show that all our results are recapitulated when we use a detailed T cell receptor signaling model. We discuss our results in the context of existing models and recent experimental work and propose new experiments to test our findings

Allosteric activation of T cell antigen receptor signaling by quaternary structure relaxation

The mechanism of T cell antigen receptor (TCR-CD3) signaling remains elusive. Here, we identify mutations in the transmembrane region of TCRβ or CD3ζ that augment peptide T cell antigen receptor (pMHC)-induced signaling not explicable by enhanced ligand binding, lateral diffusion, clustering, or co-receptor function. Using a biochemical assay and molecular dynamics simulation, we demonstrate that the gain-of-function mutations loosen the interaction between TCRαβ and CD3ζ. Similar to the activating mutations, pMHC binding reduces TCRαβ cohesion with CD3ζ. This event occurs prior to CD3ζ phosphorylation and at 0°C. Moreover, we demonstrate that soluble monovalent pMHC alone induces signaling and reduces TCRαβ cohesion with CD3ζ in membrane-bound or solubilised TCR-CD3. Our data provide compelling evidence that pMHC binding suffices to activate allosteric changes propagating from TCRαβ to the CD3 subunits, reconfiguring interchain transmembrane region interactions. These dynamic modifications could change the arrangement of TCR-CD3 boundary lipids to license CD3ζ phosphorylation and initiate signal propagation

Heterogeneity assessment of functional T cell avidity.

The potency of cellular immune responses strongly depends on T cell avidity to antigen. Yet, functional avidity measurements are rarely performed in patients, mainly due to the technical challenges of characterizing heterogeneous T cells. The mean functional T cell avidity can be determined by the IFN-γ Elispot assay, with titrated amounts of peptide. Using this assay, we developed a method revealing the heterogeneity of functional avidity, represented by the steepness/hillslope of the peptide titration curve, documented by proof of principle experiments and mathematical modeling. Our data show that not only natural polyclonal CD8 T cell populations from cancer patients, but also monoclonal T cells differ strongly in their heterogeneity of functional avidity. Interestingly, clones and polyclonal cells displayed comparable ranges of heterogeneity. We conclude that besides the mean functional avidity, it is feasible and useful to determine its heterogeneity (hillslope) for characterizing T cell responses in basic research and patient investigation

Can Non-lytic CD8+T Cells Drive HIV-1 Escape?

The CD8+ T cell effector mechanisms that mediate control of HIV-1 and SIV infections remain poorly understood. Recent work suggests that the mechanism may be primarily non-lytic. This is in apparent conflict with the observation that SIV and HIV-1 variants that escape CD8+ T cell surveillance are frequently selected. Whilst it is clear that a variant that has escaped a lytic response can have a fitness advantage compared to the wild-type, it is less obvious that this holds in the face of non-lytic control where both wild-type and variant infected cells would be affected by soluble factors. In particular, the high motility of T cells in lymphoid tissue would be expected to rapidly destroy local effects making selection of escape variants by non-lytic responses unlikely. The observation of frequent HIV-1 and SIV escape poses a number of questions. Most importantly, is the consistent observation of viral escape proof that HIV-1- and SIV-specific CD8+ T cells lyse infected cells or can this also be the result of non-lytic control? Additionally, the rate at which a variant strain escapes a lytic CD8+ T cell response is related to the strength of the response. Is the same relationship true for a non-lytic response? Finally, the potential anti-viral control mediated by non-lytic mechanisms compared to lytic mechanisms is unknown. These questions cannot be addressed with current experimental techniques nor with the standard mathematical models. Instead we have developed a 3D cellular automaton model of HIV-1 which captures spatial and temporal dynamics. The model reproduces in vivo HIV-1 dynamics at the cellular and population level. Using this model we demonstrate that non-lytic effector mechanisms can select for escape variants but that outgrowth of the variant is slower and less frequent than from a lytic response so that non-lytic responses can potentially offer more durable control

Mathematical models for immunology:current state of the art and future research directions

The advances in genetics and biochemistry that have taken place over the last 10 years led to significant advances in experimental and clinical immunology. In turn, this has led to the development of new mathematical models to investigate qualitatively and quantitatively various open questions in immunology. In this study we present a review of some research areas in mathematical immunology that evolved over the last 10 years. To this end, we take a step-by-step approach in discussing a range of models derived to study the dynamics of both the innate and immune responses at the molecular, cellular and tissue scales. To emphasise the use of mathematics in modelling in this area, we also review some of the mathematical tools used to investigate these models. Finally, we discuss some future trends in both experimental immunology and mathematical immunology for the upcoming years