77 research outputs found

    Classical kinetic energy, quantum fluctuation terms and kinetic-energy functionals

    Get PDF
    We employ a recently formulated dequantization procedure to obtain an exact expression for the kinetic energy which is applicable to all kinetic-energy functionals. We express the kinetic energy of an N-electron system as the sum of an N-electron classical kinetic energy and an N-electron purely quantum kinetic energy arising from the quantum fluctuations that turn the classical momentum into the quantum momentum. This leads to an interesting analogy with Nelson's stochastic approach to quantum mechanics, which we use to conceptually clarify the physical nature of part of the kinetic-energy functional in terms of statistical fluctuations and in direct correspondence with Fisher Information Theory. We show that the N-electron purely quantum kinetic energy can be written as the sum of the (one-electron) Weizsacker term and an (N-1)-electron kinetic correlation term. We further show that the Weizsacker term results from local fluctuations while the kinetic correlation term results from the nonlocal fluctuations. For one-electron orbitals (where kinetic correlation is neglected) we obtain an exact (albeit impractical) expression for the noninteracting kinetic energy as the sum of the classical kinetic energy and the Weizsacker term. The classical kinetic energy is seen to be explicitly dependent on the electron phase and this has implications for the development of accurate orbital-free kinetic-energy functionals. Also, there is a direct connection between the classical kinetic energy and the angular momentum and, across a row of the periodic table, the classical kinetic energy component of the noninteracting kinetic energy generally increases as Z increases.Comment: 10 pages, 1 figure. To appear in Theor Chem Ac

    LNCS

    Get PDF
    A controller is a device that interacts with a plant. At each time point,it reads the plant’s state and issues commands with the goal that the plant oper-ates optimally. Constructing optimal controllers is a fundamental and challengingproblem. Machine learning techniques have recently been successfully applied totrain controllers, yet they have limitations. Learned controllers are monolithic andhard to reason about. In particular, it is difficult to add features without retraining,to guarantee any level of performance, and to achieve acceptable performancewhen encountering untrained scenarios. These limitations can be addressed bydeploying quantitative run-timeshieldsthat serve as a proxy for the controller.At each time point, the shield reads the command issued by the controller andmay choose to alter it before passing it on to the plant. We show how optimalshields that interfere as little as possible while guaranteeing a desired level ofcontroller performance, can be generated systematically and automatically usingreactive synthesis. First, we abstract the plant by building a stochastic model.Second, we consider the learned controller to be a black box. Third, we mea-surecontroller performanceandshield interferenceby two quantitative run-timemeasures that are formally defined using weighted automata. Then, the problemof constructing a shield that guarantees maximal performance with minimal inter-ference is the problem of finding an optimal strategy in a stochastic2-player game“controller versus shield” played on the abstract state space of the plant with aquantitative objective obtained from combining the performance and interferencemeasures. We illustrate the effectiveness of our approach by automatically con-structing lightweight shields for learned traffic-light controllers in various roadnetworks. The shields we generate avoid liveness bugs, improve controller per-formance in untrained and changing traffic situations, and add features to learnedcontrollers, such as giving priority to emergency vehicles

    A Dynamic Landscape for Antibody Binding Modulates Antibody-Mediated Neutralization of West Nile Virus

    Get PDF
    Neutralizing antibodies are a significant component of the host's protective response against flavivirus infection. Neutralization of flaviviruses occurs when individual virions are engaged by antibodies with a stoichiometry that exceeds a required threshold. From this “multiple-hit” perspective, the neutralizing activity of antibodies is governed by the affinity with which it binds its epitope and the number of times this determinant is displayed on the surface of the virion. In this study, we investigated time-dependent changes in the fate of West Nile virus (WNV) decorated with antibody in solution. Experiments with the well-characterized neutralizing monoclonal antibody (MAb) E16 revealed a significant increase in neutralization activity over time that could not be explained by the kinetics of antibody binding, virion aggregation, or the action of complement. Additional kinetic experiments using the fusion-loop specific MAb E53, which has limited neutralizing activity because it recognizes a relatively inaccessible epitope on mature virions, identified a role of virus “breathing” in regulating neutralization activity. Remarkably, MAb E53 neutralized mature WNV in a time- and temperature-dependent manner. This phenomenon was confirmed in studies with a large panel of MAbs specific for epitopes in each domain of the WNV envelope protein, with sera from recipients of a live attenuated WNV vaccine, and in experiments with dengue virus. Given enough time, significant inhibition of infection was observed even for antibodies with very limited, or no neutralizing activity in standard neutralization assays. Together, our data suggests that the structural dynamics of flaviviruses impacts antibody-mediated neutralization via exposure of otherwise inaccessible epitopes, allowing for antibodies to dock on the virion with a stoichiometry sufficient for neutralization

    Humoral Immune Responses of Dengue Fever Patients Using Epitope-Specific Serotype-2 Virus-Like Particle Antigens

    Get PDF
    Dengue virus (DENV) is a serious mosquito-borne pathogen causing significant global disease burden, either as classic dengue fever (DF) or in its most severe manifestation dengue hemorrhagic fever (DHF). Nearly half of the world's population is at risk of dengue disease and there are estimated to be millions of infections annually; a situation which will continue to worsen with increasing expansion of the mosquito vectors and epidemic DF/DHF. Currently there are no available licensed vaccines or antivirals for dengue, although significant effort has been directed toward the development of safe and efficacious dengue vaccines for over 30 years. Promising vaccine candidates are in development and testing phases, but a better understanding of immune responses to DENV infection and vaccination is needed. Humoral immune responses to DENV infection are complex and may exacerbate pathogenicity, yet are essential for immune protection. In this report, we develop DENV-2 envelope (E) protein epitope-specific antigens and measure immunoglobulin responses to three distinct epitopes in DENV-2 infected human serum samples. Immunoglobulin responses to DENV-2 infection exhibited significant levels of individual variation. Antibody populations targeting broadly cross-reactive epitopes centered on the fusion peptide in structural domain II were large, highly variable, and greater in primary than in secondary DENV-2 infected sera. E protein domain III cross-reactive immunoglobulin populations were similarly variable and much larger in IgM than in IgG. DENV-2 specific domain III IgG formed a very small proportion of the antibody response yet was significantly correlated with DENV-2 neutralization, suggesting that the highly protective IgG recognizing this epitope in murine studies plays a role in humans as well. This report begins to tease apart complex humoral immune responses to DENV infection and is thus important for improving our understanding of dengue disease and immunological correlates of protection, relevant to DENV vaccine development and testing

    Antibodies against the Envelope Glycoprotein Promote Infectivity of Immature Dengue Virus Serotype 2

    Get PDF
    Cross-reactive dengue virus (DENV) antibodies directed against the envelope (E) and precursor membrane (prM) proteins are believed to contribute to the development of severe dengue disease by facilitating antibody-dependent enhancement of infection. We and others recently demonstrated that anti-prM antibodies render essentially non-infectious immature DENV infectious in Fcγ-receptor-expressing cells. Immature DENV particles are abundantly present in standard (st) virus preparations due to inefficient processing of prM to M during virus maturation. Structural analysis has revealed that the E protein is exposed in immature particles and this prompted us to investigate whether antibodies to E render immature particles infectious. To this end, we analyzed the enhancing properties of 27 anti-E antibodies directed against distinct structural domains. Of these, 23 bound to immature particles, and 15 enhanced infectivity of immature DENV in a furin-dependent manner. The significance of these findings was subsequently tested in vivo using the well-established West Nile virus (WNV) mouse model. Remarkably, mice injected with immature WNV opsonized with anti-E mAbs or immune serum produced a lethal infection in a dose-dependent manner, whereas in the absence of antibody immature WNV virions caused no morbidity or mortality. Furthermore, enhancement infection studies with standard (st) DENV preparations opsonized with anti-E mAbs in the presence or absence of furin inhibitor revealed that prM-containing particles present within st virus preparations contribute to antibody-dependent enhancement of infection. Taken together, our results support the notion that antibodies against the structural proteins prM and E both can promote pathogenesis by enhancing infectivity of prM-containing immature and partially mature flavivirus particles

    Structural Insights into the Evolution of a Non-Biological Protein: Importance of Surface Residues in Protein Fold Optimization

    Get PDF
    Phylogenetic profiling of amino acid substitution patterns in proteins has led many to conclude that most structural information is carried by interior core residues that are solvent inaccessible. This conclusion is based on the observation that buried residues generally tolerate only conserved sequence changes, while surface residues allow more diverse chemical substitutions. This notion is now changing as it has become apparent that both core and surface residues play important roles in protein folding and stability. Unfortunately, the ability to identify specific mutations that will lead to enhanced stability remains a challenging problem. Here we discuss two mutations that emerged from an in vitro selection experiment designed to improve the folding stability of a non-biological ATP binding protein. These mutations alter two solvent accessible residues, and dramatically enhance the expression, solubility, thermal stability, and ligand binding affinity of the protein. The significance of both mutations was investigated individually and together, and the X-ray crystal structures of the parent sequence and double mutant protein were solved to a resolution limit of 2.8 and 1.65 Å, respectively. Comparative structural analysis of the evolved protein to proteins found in nature reveals that our non-biological protein evolved certain structural features shared by many thermophilic proteins. This experimental result suggests that protein fold optimization by in vitro selection offers a viable approach to generating stable variants of many naturally occurring proteins whose structures and functions are otherwise difficult to study

    A Recombinant Influenza A Virus Expressing Domain III of West Nile Virus Induces Protective Immune Responses against Influenza and West Nile Virus

    Get PDF
    West Nile virus (WNV) continues to circulate in the USA and forms a threat to the rest of the Western hemisphere. Since methods for the treatment of WNV infections are not available, there is a need for the development of safe and effective vaccines. Here, we describe the construction of a recombinant influenza virus expressing domain III of the WNV glycoprotein E (Flu-NA-DIII) and its evaluation as a WNV vaccine candidate in a mouse model. FLU-NA-DIII-vaccinated mice were protected from severe body weight loss and mortality caused by WNV infection, whereas control mice succumbed to the infection. In addition, it was shown that one subcutaneous immunization with 105 TCID50 Flu-NA-DIII provided 100% protection against challenge. Adoptive transfer experiments demonstrated that protection was mediated by antibodies and CD4+T cells. Furthermore, mice vaccinated with FLU-NA-DIII developed protective influenza virus-specific antibody titers. It was concluded that this vector system might be an attractive platform for the development of bivalent WNV-influenza vaccines
    corecore